Proofs of two conjectures on infinite families of congruences of overcubic partition triples

A principal tool used in construction of crossing-critical graphs are tiles. In the tile concept, tiles can be arranged by gluing one tile to another in a linear or circular fashion. The series of tiles with circular fashion form an infinite graph family. In this way, the intersection number of this family of graphs can be determined. In this research, has been formed an infinite family graphs Q_((1,s,b) ) (n) with average degree r between 3.5 and 4. The graph formed by gluing together many copies of the tile P_((1,s,b) ) in circular fashion, where the tile P_((1,s,b) ) consist of two identical pieces of tile. And then, the graph embedded into the book to determine the pagenumber that can be formed. When embed graph into book, the vertices are put on a line called the spine and the edges are put on half-planes called the pages. The results obtained show that the graph Q_((1,s,b) ) (n) has 10-crossing-critical and book embedding of graph has 4-page book.

We investigate Class-Uniformly Resolvable Designs, which are resolvable designs in which each of the resolution classes has the same number of blocks of each size. We derive the fully general necessary conditions including a number of extremal bounds. We present two general constructions. We primarily consider the case of block sizes 2 and 3, where we find two infinite extremal families and finish two other infinite families by difference constructions. We present tables showing the current state of knowledge in the case of block size 2 and 3 for all orders up to 200. © 2001 John Wiley & Sons, Inc. J Combin Designs 8: 79–99, 2001

At this time, technology is developing very quickly and is increasingly sophisticated. This technological development is certainly closely related to the development of computer technology. A computer is able to control a series of electronic devices using an IC chip that can be filled with programs and logic called microprocessor technology. A microprocessor is a digital component of the VLSI (Very Large Scale Integration) type with very high circuit complexity that is capable of carrying out the functions of a CPU (Central Processing Unit). Among many applications, the problem of crossing number very interesting and important because of its application in the optimization of chip are required in a circuit layout of VLSI. Crossing number used to obtain the lower bound on the amount of chip area of VLSI devices like microprocessor and memory chips additionally, crossings in the circuit layout could cause short circuit and therefore worth minimized independent of the chip area consideration. Some graph can be seen as built by small pieces. A principal tool used in construction of crossing-critical graphs are tiles. In the tile concept, tiles can be arranged by gluing one tile to another in a linear or circular fashion. The series of tiles with circular fashion form an infinite graph family. In this way, the intersection number of this family of graphs can be determined. In this research, has been formed an infinite family graphs The graph formed by gluing together many copies of the tile in circular fashion, where the tile consists of identical tile sections. The results obtained show that the graph has 3-crossing-critical of a graph.

Results about the total chromatic number and the conformability of some families of circulant graphs

In a projective plane $\mathit{PG}(2,\mathbb{K})$ defined over an algebraically closed field $\mathbb{K}$ of characteristic 0, we give a complete classification of 3-nets realizing a finite group. An infinite family, due to Yuzvinsky (Compos. Math. 140:1614---1624, 2004), arises from plane cubics and comprises 3-nets realizing cyclic and direct products of two cyclic groups. Another known infinite family, due to Pereira and Yuzvinsky (Adv. Math. 219:672---688, 2008), comprises 3-nets realizing dihedral groups. We prove that there is no further infinite family. Urzua's 3-nets (Adv. Geom. 10:287---310, 2010) realizing the quaternion group of order 8 are the unique sporadic examples. If p is larger than the order of the group, the above classification holds in characteristic p>0 apart from three possible exceptions $\rm{Alt}_{4}$ , $\rm{Sym}_{4}$ , and $\rm{Alt}_{5}$ . Motivation for the study of finite 3-nets in the complex plane comes from the study of complex line arrangements and from resonance theory; see (Falk and Yuzvinsky in Compos. Math. 143:1069---1088, 2007; Miguel and Buzunariz in Graphs Comb. 25:469---488, 2009; Pereira and Yuzvinsky in Adv. Math. 219:672---688, 2008; Yuzvinsky in Compos. Math. 140:1614---1624, 2004; Yuzvinsky in Proc. Am. Math. Soc. 137:1641---1648, 2009).

This thesis divides naturally into two parts, each concerned with the extent to which the theory of $L(\mathbf {R})$ can be changed by forcing.The first part focuses primarily on applying generic-absoluteness principles to how that definable sets of reals enjoy regularity properties. The work in Part I is joint with Itay Neeman and is adapted from our paper Happy and mad families in $L(\mathbf {R})$ , JSL, 2018. The project was motivated by questions about mad families, maximal families of infinite subsets of $\omega $ of which any two have only finitely many members in common. We begin, in the spirit of Mathias, by establishing (Theorem 2.8) a strong Ramsey property for sets of reals in the Solovay model, giving a new proof of Törnquist’s theorem that there are no infinite mad families in the Solovay model.In Chapter 3 we stray from the main line of inquiry to briefly study a game-theoretic characterization of filters with the Baire Property.Neeman and Zapletal showed, assuming roughly the existence of a proper class of Woodin cardinals, that the boldface theory of $L(\mathbf {R})$ cannot be changed by proper forcing. They call their result the Embedding Theorem, because they conclude that in fact there is an elementary embedding from the $L(\mathbf {R})$ of the ground model to that of the proper forcing extension. With a view toward analyzing mad families under $\mathsf {AD}^+$ and in $L(\mathbf {R})$ under large-cardinal hypotheses, in Chapter 4 we establish triangular versions of the Embedding Theorem. These are enough for us to use Mathias’s methods to show (Theorem 4.5) that there are no infinite mad families in $L(\mathbf {R})$ under large cardinals and (Theorem 4.9) that $\mathsf {AD}^+$ implies that there are no infinite mad families. These are again corollaries of theorems about strong Ramsey properties under large-cardinal assumptions and $\mathsf {AD}^+$ , respectively. Our first theorem improves the large-cardinal assumption under which Todorcevic established the nonexistence of infinite mad families in $L(\mathbf {R})$ . Part I concludes with Chapter 5, a short list of open questions.In the second part of the thesis, we undertake a finer analysis of the Embedding Theorem and its consistency strength. Schindler found that the the Embedding Theorem is consistent relative to much weaker assumptions than the existence of Woodin cardinals. He defined remarkable cardinals, which can exist even in L, and showed that the Embedding Theorem is equiconsistent with the existence of a remarkable cardinal. His theorem resembles a theorem of Harrington–Shelah and Kunen from the 1980s: the absoluteness of the theory of $L(\mathbf {R})$ to ccc forcing extensions is equiconsistent with a weakly compact cardinal. Joint with Itay Neeman, we improve Schindler’s theorem by showing that absoluteness for $\sigma $ -closed $\ast $ ccc posets—instead of the larger class of proper posets—implies the remarkability of $\aleph _1^V$ in L. This requires a fundamental change in the proof, since Schindler’s lower-bound argument uses Jensen’s reshaping forcing, which, though proper, need not be $\sigma $ -closed $\ast $ ccc in that context. Our proof bears more resemblance to that of Harrington–Shelah than to Schindler’s.The proof of Theorem 6.2 splits naturally into two arguments. In Chapter 7 we extend the Harrington–Shelah method of coding reals into a specializing function to allow for trees with uncountable levels that may not belong to L. This culminates in Theorem 7.4, which asserts that if there are $X\subseteq \omega _1$ and a tree $T\subseteq \omega _1$ of height $\omega _1$ such that X is codable along T (see Definition 7.3), then $L(\mathbf {R})$ -absoluteness for ccc posets must fail.We complete the argument in Chapter 8, where we show that if in any $\sigma $ -closed extension of V there is no $X\subseteq \omega _1$ codable along a tree T, then $\aleph _1^V$ must be remarkable in L.In Chapter 9 we review Schindler’s proof of generic absoluteness from a remarkable cardinal to show that the argument gives a level-by-level upper bound: a strongly $\lambda ^+$ -remarkable cardinal is enough to get $L(\mathbf {R})$ -absoluteness for $\lambda $ -linked proper posets.Chapter 10 is devoted to partially reversing the level-by-level upper bound of Chapter 9. Adapting the methods of Neeman, Hierarchies of forcing axioms II, we are able to show that $L(\mathbf {R})$ -absoluteness for $\left |\mathbf {R}\right |\cdot \left |\lambda \right |$ -linked posets implies that the interval $[\aleph _1^V,\lambda ]$ is $\Sigma ^2_1$ -remarkable in L.Abstract prepared by Zach Norwood.E-mail: zachnorwood@gmail.com

On regular induced subgraphs of generalized polygons

Irreducible Artin groups of finite type can be parametrized via their associated Coxeter diagrams into six sporadic examples and four infinite families, each of which is further parametrized by the natural numbers. Within each of these four infinite families, we investigate the relationship between elementary equivalence and isomorphism. For three out of the four families, we show that two groups in the same family are equivalent if and only if they are isomorphic; a positive, but weaker, result is also attained for the fourth family. In particular, we show that two braid groups are elementarily equivalent if and only if they are isomorphic. The [Formula: see text] fragment suffices to distinguish the elementary theories of the groups in question. As a consequence of our work, we prove that there are infinitely many elementary equivalence classes of irreducible Artin groups of finite type. We also show that mapping class groups of closed surfaces — a geometric analogue of braid groups — are elementarily equivalent if and only if they are isomorphic.

We provide an exhaustive description of all simply connected positively curved cohomogeneity one manifolds. The description yields a complete classification in all dimensions but 7, where in addition to known examples, our list contains one exceptional space and two infinite families not yet known to carry metrics of positive curvature. The infinite families also carry a 3-Sasakian metric of cohomogeneity one, which is associated to a family of selfdual Einstein orbifold metrics on the 4-sphere constructed by Hitchin.

Infinite families of optimal systems of biangular lines related to representations of [formula omitted

Unified N=2 Maxwell-Einstein supergravity theories (MESGTs) are supergravity theories in which all the vector fields, including the graviphoton, transform in an irreducible representation of a simple global symmetry group of the Lagrangian. As was established long time ago, in five dimensions there exist only four unified Maxwell-Einstein supergravity theories whose target manifolds are symmetric spaces. These theories are defined by the four simple Euclidean Jordan algebras of degree three. In this paper, we show that, in addition to these four unified MESGTs with symmetric target spaces, there exist three infinite families of unified MESGTs as well as another exceptional one. These novel unified MESGTs are defined by non-compact (Minkowskian) Jordan algebras, and their target spaces are in general neither symmetric nor homogeneous. The members of one of these three infinite families can be gauged in such a way as to obtain an infinite family of unified N=2 Yang-Mills-Einstein supergravity theories, in which all vector fields transform in the adjoint representation of a simple gauge group of the type SU(N,1). The corresponding gaugings in the other two infinite families lead to Yang-Mills-Einstein supergravity theories coupled to tensor multiplets.

Constructing goal-minimally [formula omitted]-diametric graphs by lifts

We revisit the classic problem of proving safety over parameterised concurrent systems, i.e., an infinite family of finite-state concurrent systems that are represented by some finite (symbolic) means. An example of such an infinite family is a dining philosopher protocol with any number n of processes (n being the parameter that defines the infinite family). Regular model checking is a well-known generic framework for modelling parameterised concurrent systems, where an infinite set of configurations (resp. transitions) is represented by a regular set (resp. regular transducer). Although verifying safety properties in the regular model checking framework is undecidable in general, many sophisticated semi-algorithms have been developed in the past fifteen years that can successfully prove safety in many practical instances. In this paper, we propose a simple solution to synthesise regular inductive invariants that makes use of Angluin's classic L∗ algorithm (and its variants). We provide a termination guarantee when the set of configurations reachable from a given set of initial configurations is regular. We have tested L∗ algorithm on standard (as well as new) examples in regular model checking including the dining philosopher protocol, the dining cryptographer protocol, and several mutual exclusion protocols (e.g. Bakery, Burns, Szymanski, and German). Our experiments show that, despite the simplicity of our solution, it can perform at least as well as existing semi-algorithms.

A graph is symmetric or 1-regular if its automorphism group is transitive or regular on the arc set of the graph, respectively. We classify the connected pentavalent symmetric graphs of order 2p 3 for each prime p. All those symmetric graphs appear as normal Cayley graphs on some groups of order 2p 3 and their automorphism groups are determined. For p = 3, no connected pentavalent symmetric graphs of order 2p 3 exist. However, for p = 2 or 5, such symmetric graph exists uniquely in each case. For p ≥ 7, the connected pentavalent symmetric graphs of order 2p 3 are all regular covers of the dipole Dip5 with covering transposition groups of order p 3, and they consist of seven infinite families; six of them are 1-regular and exist if and only if 5 | (p-1), while the other one is 1-transitive but not 1-regular and exists if and only if 5 | (p± 1). In the seven infinite families, each graph is unique for a given order.

The problem of tiling rectangles by polyominoes generated large interest. A related one is the problem of tiling parallelograms by twisted polyominoes. Both problems are related with tilings of (skewed) quadrants by polyominoes. Indeed, if all tilings of a (skewed) quadrant by a tile set can be reduced to a tiling by congruent rectangles (parallelograms), this provides information about tilings of rectangles (parallelograms). We consider a class of tile sets in a square lattice appearing from arbitrary dissections of rectangles in two L-shaped polyominoes and from symmetries of these tiles about the first bisector. Only translations of the tiles are allowed in a tiling. If the sides of the dissected rectangle are coprime, we show the existence of tilings of all (skewed) quadrants that do not follow the rectangular (parallelogram) pattern. If one of the sides of the dissected rectangle is 2 and the other is odd, we also show tilings of rectangles by the tile set that do not follow the rectangular pattern. If one of the sides of the dissected rectangle is 2 and the other side is even, we show a new infinite family of tile sets that follows the rectangular pattern when tiling one of the quadrants. For this type of dis-section, we also show a new infinite family that does not follow the rectangular pattern when tiling rectangles. Finally, we investigate more general dissections of rectangles, with. Here we show infinite families of tile sets that follow the rectangular pattern for a quadrant and infinite families that do not follow the rectangular pattern for any quadrant. We also show, for infinite families of tile sets of this type, tilings of rectangles that do not follow the rectangular pattern.