Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Rotationally Symmetric Tilings with Convex Pentagons and Hexagons
Published in Elemente der Mathematik 71(4) 2016
• View Publication
• BIB
In contrast to many known results concerning periodic tilings of the Euclidean plane with pentagons, here tilings with rotational symmetry are investigated. A certain class of convex pentagons is introduced. It can be shown that for any given symmetry type $\mathbf{C}_{n}$ or $\mathbf{D}_{n}$ there exists a monohedral tiling generated by a pentagon from this class. For $n>1$ each of these tilings is also a spiral tiling with $n$ arms. As a byproduct it follows that the same holds for convex hexagons.
Decomposing highly edge-connected graphs into paths of any given length
Published
• View Publication
• BIB
In 2006, Barát and Thomassen posed the following conjecture: for each tree $T$, there exists a natural number $k_T$ such that, if $G$ is a $k_T$-edge-connected graph and $|E(G)|$ is divisible by $|E(T)|$, then $G$ admits a decomposition into copies of $T$. This conjecture was verified for stars, some bistars, paths of length $3$, $5$, and $2^r$ for every positive integer $r$. We prove that this conjecture holds for paths of any fixed length.
Generating maps on surfaces
Published
• View Publication
• BIB
We describe procedures for generating all 2-cell embedded simple graphs with up to a fixed number of vertices on a given surface. We also modify these procedures to generate closed 2-cell embeddings and polyhedral embeddings. We give results of computer implementations of these procedures for seven surfaces: the sphere, the torus, the double torus, the projective plane, the Klein bottle, the triple cross surface, and the quadruple cross surface.
Another dual of MacMahon's theorem on plane partitions
Published
• View Publication
• BIB
In this paper we introduce a counterpart structure to the shamrocks studied in the paper "A dual of Macmahon's theorem on plane partitions" by M. Ciucu and C. Krattenthaler (Proc. Natl. Acad. Sci. USA, vol. 110 (2013), 4518-4523), which, just like the latter, can be included at the center of a lattice hexagon on the triangular lattice so that the region obtained from the hexagon by removing it has its number of lozenge tilings given by a simple product formula. The new structure, called a fern, consists of an arbitrary number of equilateral triangles of alternating orientations lined up along a lattice line. The shamrock and the fern seem to be the only structures with this property. It would be interesting to understand why these are the only two such structures.
Parallel algorithms and concentration bounds for the Lovasz Local Lemma via witness DAGs
Published in ACM Transactions on Algorithms 13(4), Article #53 (2017)
• View Publication
• BIB
The Lovász Local Lemma (LLL) is a cornerstone principle in the probabilistic method of combinatorics, and a seminal algorithm of Moser & Tardos (2010) provides an efficient randomized algorithm to implement it. This can be parallelized to give an algorithm that uses polynomially many processors and runs in $O(\log^3 n)$ time on an EREW PRAM, stemming from $O(\log n)$ adaptive computations of a maximal independent set (MIS). Chung et al. (2014) developed faster local and parallel algorithms, potentially running in time $O(\log^2 n)$, but these algorithms require more stringent conditions than the LLL.
We give a new parallel algorithm that works under essentially the same conditions as the original algorithm of Moser & Tardos but uses only a single MIS computation, thus running in $O(\log^2 n)$ time on an EREW PRAM. This can be derandomized to give an NC algorithm running in time $O(\log^2 n)$ as well, speeding up a previous NC LLL algorithm of Chandrasekaran et al. (2013).
We also provide improved and tighter bounds on the run-times of the sequential and parallel resampling-based algorithms originally developed by Moser & Tardos. These apply to any problem instance in which the tighter Shearer LLL criterion is satisfied.
On the roots of hypergraph chromatic polynomials
Let $G = (V,E)$ be a finite, simple, connected graph with chromatic polynomial $P_G(q)$. Sokal \cite{sokal} proved that the roots of the chromatic polynomial of $G$ are bounded in absolute value by $KD$ where, $D$ is the maximum degree of the graph and $7< K < 8$ is a constant. In this paper we generalize this result to uniform hypergraphs. To prove our results we will use the theory of the bounded exponential type graph polynomials.
Monte Carlo estimation of the number of tatami tilings
Published in Int.J.Mod.Phys.C 27(2016)1650128
• View Publication
• BIB
Motivated by the way Japanese tatami mats are placed on the floor, we consider domino tilings with a constraint and estimate the number of such tilings of plane regions. We map the system onto a monomer-dimer model with a novel local interaction on the dual lattice. We use a variant of the Hamiltonian replica exchange Monte Carlo method and the multi-parameter reweighting technique to study the model. The properties of the quantity are studied beyond exact enumeration and combinatorial method. The logarithm of the number of the tilings is linear in the boundary length of the region for all the regions studied.
Combinatorial Intricacies of Labeled Fano Planes
Published in Entropy 18/9 (2016) Art. No. 312
• View Publication
• BIB
Given a seven-element set $X = \{1,2,3,4,5,6,7\}$, there are 30 ways to define a Fano plane on it. Let us call a line of such Fano plane, that is to say an unordered triple from $X$, ordinary or defective according as the sum of two smaller integers from the triple is or is not equal to the remaining one, respectively. A point of the labeled Fano plane is said to be of order $s$, $0 \leq s \leq 3$, if there are $s$ {\it defective} lines passing through it. With such structural refinement in mind, the 30 Fano planes are shown to fall into eight distinct types. Out of the total of 35 lines, nine ordinary lines are of five different kinds, whereas the remaining 26 defective lines yield as many as ten distinct types. It is shown, in particular, that no labeled Fano plane can have all points of zeroth order, or feature just one point of order two. A connection with prominent configurations in Steiner triple systems is also pointed out.
General Cheeger inequalities for p-Laplacians on graphs
Published
• View Publication
• BIB
We prove Cheeger inequalities for p-Laplacians on finite and infinite weighted graphs. Unlike in previous works, we do not impose boundedness of the vertex degree, nor do we restrict ourselves to the normalized Laplacian and, more generally, we do not impose any boundedness assumption on the geometry. This is achieved by a novel definition of the measure of the boundary which is using the idea of intrinsic metrics. For the non-normalized case, our bounds on the spectral gap of p-Laplacians are already significantly better for finite graphs and for infinite graphs they yield non-trivial bounds even in the case of unbounded vertex degree. We, furthermore, give upper bounds by the Cheeger constant and by the exponential volume growth of distance balls.
A greedy algorithm for the minimization of a ratio of same-index element sums from two positive arrays
Consider two ordered positive real number arrays of equal size. The problem is to find such set of indices of given size that the ratio of the sums of the array elements with those indices is minimized. In this work, in order to mitigate the exponential complexity of the brute force search, we present a greedy algorithm applied to the search of such an index set. The main result of the paper is the theorem that states that the algorithm eliminates from candidates all index sets that do not contain any elements from the greedily selected set. We additionally prove exactness for a particular case of a ratio of the sums of only two elements.
Cliques in C_4-free graphs of large minimum degree
A graph $G$ is called $C_4$-free if it does not contain the cycle $C_4$ as an induced subgraph. Hubenko, Solymosi and the first author proved (answering a question of Erd\H os) a peculiar property of $C_4$-free graphs: $C_4$ graphs with $n$ vertices and average degree at least $cn$ contain a complete subgraph (clique) of size at least $c'n$ (with $c'= 0.1c^2n$). We prove here better bounds (${c^2n\over 2+c}$ in general and $(c-1/3)n$ when $ c \le 0.733$) from the stronger assumption that the $C_4$-free graphs have minimum degree at least $cn$. Our main result is a theorem for regular graphs, conjectured in the paper mentioned above: $2k$-regular $C_4$-free graphs on $4k+1$ vertices contain a clique of size $k+1$. This is best possible shown by the $k$-th power of the cycle $C_{4k+1}$.
There is no (75,32,10,16) strongly regular graph
Published
• View Publication
• BIB
We show that there is no (75,32,10,16) strongly regular graph. The result is obtained by a mix of algebraic and computational approaches. The main idea is to build large enough induced structure and apply the star complement technique. Our result implies that there is no regular two-graph on 76 vertices and no partial geometry with parameters pg(4,7,2). In particular, it implies that there is no (76,35,18,14) strongly-regular graph. In order to solve this classification problem we also develop an efficient algorithm for the problem of finding a maximal clique in a graph.
Large Cross-free sets in Steiner triple systems
Published
• View Publication
• BIB
A {\em cross-free} set of size $m$ in a Steiner triple system $(V,{\cal{B}})$ is three pairwise disjoint $m$-element subsets $X_1,X_2,X_3\subset V$ such that no $B\in {\cal{B}}$ intersects all the three $X_i$-s. We conjecture that for every admissible $n$ there is an STS$(n)$ with a cross-free set of size $\lfloor{n-3\over 3}\rfloor$ which if true, is best possible. We prove this conjecture for the case $n=18k+3$, constructing an STS$(18k+3)$ containing a cross-free set of size $6k$. We note that some of the $3$-bichromatic STSs, constructed by Colbourn, Dinitz and Rosa, have cross-free sets of size close to $6k$ (but cannot have size exactly $6k$).
The constructed STS$(18k+3)$ shows that equality is possible for $n=18k+3$ in the following result: in every $3$-coloring of the blocks of any Steiner triple system STS$(n)$ there is a monochromatic connected component of size at least $\lceil{2n\over 3}\rceil+1$ (we conjecture that equality holds for every admissible $n$).
The analogue problem can be asked for $r$-colorings as well, if $r-1 \equiv 1,3 \mbox{ (mod 6)}$ and $r-1$ is a prime power, we show that the answer is the same as in case of complete graphs: in every $r$-coloring of the blocks of any STS$(n)$, there is a monochromatic connected component with at least ${n\over r-1}$ points, and this is sharp for infinitely many $n$.
Ramsey number of a connected triangle matching
Published
• View Publication
• BIB
We determine the $2$-color Ramsey number of a {\em connected} triangle matching $c(nK_3)$ which is any connected graph containing $n$ vertex disjoint triangles. We obtain that $R(c(nK_3),c(nK_3))=7n-2$, somewhat larger than in the classical result of Burr, Erd\H os and Spencer for a triangle matching, $R(nK_3,nK_3)=5n$. The motivation is to determine the Ramsey number $R(C_n^2,C_n^2)$ of the square of a cycle $C_n^2$. We apply our Ramsey result for connected triangle matchings to show that the Ramsey number of an "almost" square of a cycle $C_n^{2,c}$ (a cycle of length $n$ in which all but at most a constant number $c$ of short diagonals are present) is asymptotic to $7n/3$.
Vertex covers by monochromatic pieces - A survey of results and problems
Published
• View Publication
• BIB
This survey is devoted to problems and results concerning covering the vertices of edge colored graphs or hypergraphs with monochromatic paths, cycles and other objects. It is an expanded version of the talk with the same title at the Seventh Cracow Conference on Graph Theory, held in Rytro in September 14-19, 2014.
Partitioning 2-edge-colored graphs by monochromatic paths and cycles
Published in Combinatorica 34, 5, 507-526 (2014)
• View Publication
• BIB
We present results on partitioning the vertices of $2$-edge-colored graphs into monochromatic paths and cycles. We prove asymptotically the two-color case of a conjecture of Sárközy: the vertex set of every $2$-edge-colored graph can be partitioned into at most $2α(G)$ monochromatic cycles, where $α(G)$ denotes the independence number of $G$. Another direction, emerged recently from a conjecture of Schelp, is to consider colorings of graphs with given minimum degree. We prove that apart from $o(|V(G)|)$ vertices, the vertex set of any $2$-edge-colored graph $G$ with minimum degree at least $(1+\eps){3|V(G)|\over 4}$ can be covered by the vertices of two vertex disjoint monochromatic cycles of distinct colors. Finally, under the assumption that $\overline{G}$ does not contain a fixed bipartite graph $H$, we show that in every $2$-edge-coloring of $G$, $|V(G)|-c(H)$ vertices can be covered by two vertex disjoint paths of different colors, where $c(H)$ is a constant depending only on $H$. In particular, we prove that $c(C_4)=1$, which is best possible.
Improvements on the density of maximal 1-planar graphs
A graph is 1-planar if it can be drawn in the plane such that each edge is crossed at most once. A graph, together with a 1-planar drawing is called 1-plane. Brandenburg et al. showed that there are maximal 1-planar graphs with only $\frac{45}{17}n + O(1)\approx 2.647n$ edges and maximal 1-plane graphs with only $\frac{7}{3}n+O(1)\approx 2.33n$ edges. On the other hand, they showed that a maximal 1-planar graph has at least $\frac{28}{13}n-O(1)\approx 2.15n-O(1)$ edges, and a maximal 1-plane graph has at least $2.1n-O(1)$ edges.
We improve both lower bounds to $\frac{20n}{9}\approx 2.22n$.
Ear-decompositions and the complexity of the matching polytope
The complexity of the matching polytope of graphs may be measured with the maximum length $β$ of a starting sequence of odd ears in an ear-decomposition. Indeed, a theorem of Edmonds and Pulleyblank shows that its facets are defined by 2-connected factor-critical graphs, which have an odd ear-decomposition (according to a theorem of Lovász). In particular, $β(G) \leq 1$ if and only if the matching polytope of the graph $G$ is completely described by non-negativity, star and odd-circuit inequalities. This is essentially equivalent to the h-perfection of the line-graph of $G$, as observed by Cao and Nemhauser.
The complexity of computing $β$ is apparently not known. We show that deciding whether $β(G)\leq 1$ can be executed efficiently by looking at any ear-decomposition starting with an odd circuit and performing basic modulo-2 computations. Such a greedy-approach is surprising in view of the complexity of the problem in more special cases by Bruhn and Schaudt, and it is simpler than using the Parity Minor Algorithm.
Our results imply a simple polynomial-time algorithm testing h-perfection in line-graphs (deciding h-perfection is open in general). We also generalize our approach to binary matroids and show that computing $β$ is a Fixed-Parameter-Tractable problem (FPT).
Colored graphs without colorful cycles
Published in Combinatorica 27 (2007), no. 4, 407-427
• Search Publication
A colored graph is a complete graph in which a color has been assigned to each edge, and a colorful cycle is a cycle in which each edge has a different color. We first show that a colored graph lacks colorful cycles iff it is Gallai, i.e., lacks colorful triangles. We then show that, under the operation $m\circ n\equiv m+n-2$, the omitted lengths of colorful cycles in a colored graph form a monoid isomorphic to a submonoid of the natural numbers which contains all integers past some point. We prove that several but not all such monoids are realized.
We then characterize exact Gallai graphs, i.e., graphs in which every triangle has edges of exactly two colors. We show that these are precisely the graphs which can be iteratively built up from three simple colored graphs, having $2$, $4$, and $5$ vertices, respectively. We then characterize in two different ways the monochromes, i.e., the connected components of maximal monochromatic subgraphs, of exact Gallai graphs. The first characterization is in terms of their reduced form, a notion which hinges on the important idea of a full homomorphism. The second characterization is by means of a homomorphism duality.
Periods in missing lengths of rainbow cycles
Published in Journal of Graph Theory 61 (2009), no. 2, 98-110
• Search Publication
A cycle in an edge-colored graph is said to be rainbow if no two of its edges have the same color. For a complete, infinite, edge-colored graph $G$, define $\mathfrak{S}(G)=\{n\ge 2\;|\;\text{no $n$-cycle of $G$ is rainbow}\}$. Then $\mathfrak{S}(G)$ is a monoid with respect to the operation $n\circ m = n+m-2$, and thus there is a least positive integer $π(G)$, the period of $\mathfrak{S}(G)$, such that $\mathfrak{S}(G)$ contains the arithmetic progression $\{N+kπ(G)\;|\;k\ge 0\}$ for some sufficiently large $N$.
Given that $n\in\mathfrak{S}(G)$, what can be said about $π(G)$? Alexeev showed that $π(G)=1$ when $n\ge 3$ is odd, and conjectured that $π(G)$ always divides $4$. We prove Alexeev's conjecture:
Let $p(n)=1$ when $n$ is odd, $p(n)=2$ when $n$ is divisible by four, and $p(n)=4$ otherwise. If $2<n\in\mathfrak{S}(G)$ then $π(G)$ is a divisor of $p(n)$. Moreover, $\mathfrak{S}(G)$ contains the arithmetic progression $\{N+kp(n)\;|\;k\ge 0\}$ for some $N=O(n^2)$. The key observations are: If $2<n=2k\in\mathfrak{S}(G)$ then $3n-8\in\mathfrak{S}(G)$. If $16\ne n=4k\in\mathfrak{S}(G)$ then $3n-10\in\mathfrak{S}(G)$.
The main result cannot be improved since for every $k>0$ there are $G$, $H$ such that $4k\in\mathfrak{S}(G)$, $π(G)=2$, and $4k+2\in\mathfrak{S}(H)$, $π(H)=4$.