contain ↗ reference
7689 papers tagged with this keyword
A new proof of the density Hales-Jewett theorem
The Hales-Jewett theorem asserts that for every r and every k there exists n such that every r-colouring of the n-dimensional grid {1,...,k}^n contains a combinatorial line. This result is a generalization of van der Waerden's theorem, and it is one of the fundamental results of Ramsey theory. The theorem of van der Waerden has a famous density version, conjectured by Erdos and Turan in 1936, proved by Szemeredi in 1975, and given a different proof by Furstenberg in 1977. The Hales-Jewett theorem has a density version as well, proved by Furstenberg and Katznelson in 1991 by means of a significant extension of the ergodic techniques that had been pioneered by Furstenberg in his proof of Szemeredi's theorem. In this paper, we give the first elementary proof of the theorem of Furstenberg and Katznelson, and the first to provide a quantitative bound on how large n needs to be. In particular, we show that a subset of {1,2,3}^n of density delta contains a combinatorial line if n is at least a tower of 2's of height O(1/delta^3). Our proof is reasonably simple: indeed, it gives what is arguably the simplest known proof of Szemeredi's theorem.
Chordality and hyperbolicity of a graph
Published
• View Publication
• BIB
Let $G$ be a connected graph with the usual shortest-path metric $d$. The graph $G$ is $δ$-hyperbolic provided for any vertices $x,y,u,v$ in it, the two larger of the three sums $d(u,v)+d(x,y),d(u,x)+d(v,y)$ and $d(u,y)+d(v,x)$ differ by at most $2δ.$ The graph $G$ is $k$-chordal provided it has no induced cycle of length greater than $k.$ Brinkmann, Koolen and Moulton find that every 3-chordal graph is 1-hyperbolic and is not 1/2-hyperbolic if and only if it contains one of two special graphs as an isometric subgraph. For every $k\geq 4,$ we show that a $k$-chordal graph must be $\frac{\lfloor \frac{k}{2}\rfloor}{2}$-hyperbolic and there does exist a $k$-chordal graph which is not $\frac{\lfloor \frac{k-2}{2}\rfloor}{2}$-hyperbolic. Moreover, we prove that a 5-chordal graph is 1/2-hyperbolic if and only if it does not contain any of a list of six special graphs (See Fig. 3) as an isometric subgraph.
Bandwidth, expansion, treewidth, separators, and universality for bounded degree graphs
We establish relations between the bandwidth and the treewidth of bounded degree graphs G, and relate these parameters to the size of a separator of G as well as the size of an expanding subgraph of G. Our results imply that if one of these parameters is sublinear in the number of vertices of G then so are all the others. This implies for example that graphs of fixed genus have sublinear bandwidth or, more generally, a corresponding result for graphs with any fixed forbidden minor. As a consequence we establish a simple criterion for universality for such classes of graphs and show for example that for each gamma>0 every n-vertex graph with minimum degree ((3/4)+gamma)n contains a copy of every bounded-degree planar graph on n vertices if n is sufficiently large.
Random 3-noncrossing partitions
In this paper, we introduce polynomial time algorithms that generate random 3-noncrossing partitions and 2-regular, 3-noncrossing partitions with uniform probability. A 3-noncrossing partition does not contain any three mutually crossing arcs in its canonical representation and is 2-regular if the latter does not contain arcs of the form $(i,i+1)$. Using a bijection of Chen {\it et al.} \cite{Chen,Reidys:08tan}, we interpret 3-noncrossing partitions and 2-regular, 3-noncrossing partitions as restricted generalized vacillating tableaux. Furthermore, we interpret the tableaux as sampling paths of Markov-processes over shapes and derive their transition probabilities.
Complete subgraphs in multipartite graphs
Published
• View Publication
• BIB
Turan's Theorem states that every graph of a certain edge density contains a complete graph $K^k$ and describes the unique extremal graphs. We give a similar Theorem for l-partite graphs. For large l, we find the minimal edge density $d^k_l$, such that every $\ell$-partite graph whose parts have pairwise edge density greater than $d^k_l$ contains a $K^k$. It turns out that $d^k_l=(k-2)/(k-1)$ for large enough l. We also describe the structure of the extremal graphs.
For the case of triangles we show that $d^3_{13}=1/2$, disproving a conjecture by Bondy, Shen, Thomasse and Thomassen.
The extremal function for partial bipartite tilings
Published in European J. Combin. 33 (2012), no. 5, 807-815
• View Publication
• BIB
For a fixed bipartite graph H and given number c, 0<c<1, we determine the threshold T_H(c) which guarantees that any n-vertex graph with at edge density at least T_H(c) contains $(1-o(1))c/v(H) n$ vertex-disjoint copies of H. In the proof we use a variant of a technique developed by Komlos~\bcolor{[Combinatorica 20 (2000), 203-218}]
Self-adjoint symmetry operators connected with the magnetic Heisenberg ring
Published
• View Publication
• BIB
We consider symmetry operators a from the group ring C[S_N] which act on the Hilbert space H of the 1D spin-1/2 Heisenberg magnetic ring with N sites. We investigate such symmetry operators a which are self-adjoint (in a sence defined in the paper) and which yield consequently observables of the Heisenberg model. We prove the following results: (i) One can construct a self-adjoint idempotent symmetry operator from every irreducible character of every subgroup of S_N. This leads to a big manifold of observables. In particular every commutation symmetry yields such an idempotent. (ii) The set of all generating idempotents of a minimal right ideal R of C[S_N] contains one and only one idempotent which ist self-adjoint. (iii) Every self-adjoint idempotent e can be decomposed into primitive idempotents e = f_1 + ... + f_k which are also self-adjoint and pairwise orthogonal. We give a computer algorithm for the calculation of such decompositions. Furthermore we present 3 additional algorithms which are helpful for the calculation of self-adjoint operators by means of discrete Fourier transforms of S_N. In our investigations we use computer calculations by means of our Mathematica packages PERMS and HRing.
Menger's and Hurewicz's Problems: Solutions from "The Book" and refinements
Published
• View Publication
• BIB
We provide simplified solutions of Menger's and Hurewicz's problems and conjectures, concerning generalizations of sigma-compactness. The reader who is new to this field will find a self-contained treatment in Sections 1, 2, and 5.
Sections 3 and 4 contain new results, based on the mentioned simplified solutions. The main new result is that there is a set of reals X of cardinality equal to the unbounding number b, and which has the following property:
"Given point-cofinite covers U_1,U_2,... of X, there are for each n sets u_n,v_n in U_n, such that each member of X is contained in all but finitely many of the sets u_1 union v_1,u_2 union v_2,..."
This property is strictly stronger than Hurewicz's covering property, and by a result of Miller and the present author, one cannot prove the same result if we are only allowed to pick one set from each U_n.
Imperfect friezes of integers
Published in Boletim da Sociedade Portuguesa de Matemática, vol 67, October, 201-208, 2012
• Search Publication
We show that for any positive forward density subset N \subset Z, there exists an integer m>0, such that, for all n>m, N contains almost perfect n-scaled reproductions of any previously chosen finite set of integers.
Some combinatorial aspects of constructing bipartite-graph codes
Published
• View Publication
• BIB
We propose geometrical methods for constructing square 01-matrices with the same number n of units in every row and column, and such that any two rows of the matrix contain at most one unit in common. These matrices are equivalent to n-regular bipartite graphs without 4-cycles, and therefore can be used for the construction of efficient bipartite-graph codes such that both the classes of its vertices are associated with local constraints. We significantly extend the region of parameters m,n for which there exist an n-regular bipartite graph with 2m vertices and without 4-cycles. In that way we essentially increase the region of lengths and rates of the corresponding bipartite-graph codes. Many new matrices are either circulant or consist of circulant submatrices: this provides code parity-check matrices consisting of circulant submatrices, and hence quasi-cyclic bipartite-graph codes with simple implementation.
Graphs having many holes but with small competition numbers
Published in Applied Mathematics Letters 24 (2011) 1331-1335
• View Publication
• BIB
The competition number k(G) of a graph G is the smallest number k such that G together with k isolated vertices added is the competition graph of an acyclic digraph. A chordless cycle of length at least 4 of a graph is called a hole of the graph. The number of holes of a graph is closely related to its competition number as the competition number of a graph which does not contain a hole is at most one and the competition number of a complete bipartite graph $K_{\lfloor \frac{n}{2} \rfloor, \lceil \frac{n}{2} \rceil}$ which has so many holes that no more holes can be added is the largest among those of graphs with n vertices. In this paper, we show that even if a connected graph G has many holes, the competition number of G can be as small as 2 under some assumption. In addition, we show that, for a connected graph G with exactly h holes and at most one non-edge maximal clique, if all the holes of G are pairwise edge-disjoint and the clique number $ω= ω(G)$ of G satisfies $2 \leq ω\leq h+1$, then the competition number of G is at most $h - ω+ 3$.
The excluded minor structure theorem with planarly embedded wall
Published
• View Publication
• BIB
A graph is nearly embedded in a surface if it consists of graph $G_0$ that is embedded in the surface, together with a bounded number of vortices having no large transactions. It is shown that every large wall (or grid minor) in a nearly embedded graph, many rows of which intersect the embedded subgraph $G_0$ of the near-embedding, contains a large subwall that is planarly embedded within $G_0$. This result provides some hidden details needed for a strong version of the Robertson and Seymour's excluded minor theorem as presented in [K. Kawarabayashi, B. Mohar, Some recent progress and applications in graph minor theory, Graphs Combin. 23 (2007) 1-46].
Ascent sequences and upper triangular matrices containing non-negative integers
Published
• View Publication
• BIB
This paper presents a bijection between ascent sequences and upper triangular matrices whose non-negative entries are such that all rows and columns contain at least one non-zero entry. We show the equivalence of several natural statistics on these structures under this bijection and prove that some of these statistics are equidistributed. Several special classes of matrices are shown to have simple formulations in terms of ascent sequences. Binary matrices are shown to correspond to ascent sequences with no two adjacent entries the same. Bidiagonal matrices are shown to be related to order-consecutive set partitions and a simple condition on the ascent sequences generate this class.
Technical details regarding infinite families of crossing-critical graphs with prescribed average degree and crossing number
Siran constructed infinite families of k-crossing-critical graphs for every k > 2 and Kochol constructed such families of simple graphs for every k > 1. Richter and Thomassen argued that, for any given k > 0 and r > 5, there are only finitely many simple k-crossing-critical graphs with minimum degree r. Salazar observed that the same argument implies such a conclusion for simple k-crossing-critical graphs of prescribed average degree r > 6. He established the existence of infinite families of simple k-crossing-critical graphs with any prescribed rational average degree r in [4, 6) for infinitely many k and asked about their existence for r in (3, 4). The question was partially settled by Pinontoan and Richter, who answered it positively for r in (3.5, 4).
The present contribution uses two new constructions of crossing critical simple graphs along with the one developed by Pinontoan and Richter to unify these results and to answer Salazar's question by the following statement: there exist infinite families of simple k-crossing-critical graphs with any prescribed average degree r in (3, 6), for any k greater than some lower bound N(r). Moreover, a universal lower bound N(I) on k applies for rational numbers in any closed interval I contained in (3, 6).
This Mathematica notebook is presented as a supplement of the paper with the aforementioned results. It contains technical details omitted in the paper and can be used as a hint of how to rigorously verify the constraints that are imposed on the parameters in the main construction of the paper. The reader may either use Mathematica or some other software to verify the listed claims, or may derive them in a more clear, oldfashioned way. As the notebook is not self-contained, it is advisable to read the paper before.
On Minimum Saturated Matrices
Published
• View Publication
• BIB
Motivated by the work of Anstee, Griggs, and Sali on forbidden submatrices and the extremal sat-function for graphs, we introduce sat-type problems for matrices. Let F be a family of k-row matrices. A matrix M is called F-admissible if M contains no submatrix G\in F (as a row and column permutation of G). A matrix M without repeated columns is F-saturated if M is F-admissible but the addition of any column not present in M violates this property. In this paper we consider the function sat(n,F) which is the minimum number of columns of an F-saturated matrix with n rows. We establish the estimate sat(n,F)=O(n^{k-1}) for any family F of k-row matrices and also compute the sat-function for a few small forbidden matrices.
A cubical antipodal theorem
The classical Lusternik-Schnirelman-Borsuk theorem states that if a d-sphere is covered by d+1 closed sets, then at least one of the sets must contain a pair of antipodal points. In this paper, we prove a combinatorial version of this theorem for hypercubes. It is not hard to show that for any cover of the facets of a d-cube by d sets of facets, at least one such set contains a pair of antipodal ridges. However, we show that for any cover of the ridges of a d-cube by d sets of ridges, at least one set must contain a pair of antipodal k-faces, and we determine the maximum k for which this must occur, for all dimensions except d=5.
Edge-disjoint Hamilton cycles in graphs
Published
• View Publication
• BIB
In this paper we give an approximate answer to a question of Nash-Williams from 1970: we show that for every α> 0, every sufficiently large graph on n vertices with minimum degree at least (1/2 + α)n contains at least n/8 edge-disjoint Hamilton cycles. More generally, we give an asymptotically best possible answer for the number of edge-disjoint Hamilton cycles that a graph G with minimum degree δmust have. We also prove an approximate version of another long-standing conjecture of Nash-Williams: we show that for every α> 0, every (almost) regular and sufficiently large graph on n vertices with minimum degree at least $(1/2 + α)n$ can be almost decomposed into edge-disjoint Hamilton cycles.
On (2,3)-agreeable Box Societies
Published
• View Publication
• BIB
The notion of $(k,m)$-agreeable society was introduced by Deborah Berg et al.: a family of convex subsets of $\R^d$ is called $(k,m)$-agreeable if any subfamily of size $m$ contains at least one non-empty $k$-fold intersection. In that paper, the $(k,m)$-agreeability of a convex family was shown to imply the existence of a subfamily of size $βn$ with non-empty intersection, where $n$ is the size of the original family and $β\in[0,1]$ is an explicit constant depending only on $k,m$ and $d$. The quantity $β(k,m,d)$ is called the minimal \emph{agreement proportion} for a $(k,m)$-agreeable family in $\R^d$.
If we only assume that the sets are convex, simple examples show that $β=0$ for $(k,m)$-agreeable families in $\R^d$ where $k<d$. In this paper, we introduce new techniques to find positive lower bounds when restricting our attention to families of $d$-boxes, i.e. cuboids with sides parallel to the coordinates hyperplanes. We derive explicit formulas for the first non-trivial case: the case of $(2,3)$-agreeable families of $d$-boxes with $d\geq 2$.
Hamilton decompositions of regular tournaments
Published
• View Publication
• BIB
We show that every sufficiently large regular tournament can almost completely be decomposed into edge-disjoint Hamilton cycles. More precisely, for each η>0 every regular tournament G of sufficiently large order n contains at least (1/2-η)n edge-disjoint Hamilton cycles. This gives an approximate solution to a conjecture of Kelly from 1968. Our result also extends to almost regular tournaments.
Polyhedral Surfaces in Wedge Products
We introduce the wedge product of two polytopes. The wedge product is described in terms of inequality systems, in terms of vertex coordinates as well as purely combinatorially, from the corresponding data of its constituents. The wedge product construction can be described as an iterated ``subdirect product'' as introduced by McMullen (1976); it is dual to the ``wreath product'' construction of Joswig and Lutz (2005).
One particular instance of the wedge product construction turns out to be especially interesting: The wedge products of polygons with simplices contain certain combinatorially regular polyhedral surfaces as subcomplexes. These generalize known classes of surfaces ``of unusually large genus'' that first appeared in works by Coxeter (1937), Ringel (1956), and McMullen, Schulz, and Wills (1983). Via ``projections of deformed wedge products'' we obtain realizations of some of the surfaces in the boundary complexes of 4-polytopes, and thus in R^3. As additional benefits our construction also yields polyhedral subdivisions for the interior and the exterior, as well as a great number of local deformations (``moduli'') for the surfaces in R^3. In order to prove that there are many moduli, we introduce the concept of ``affine support sets'' in simple polytopes. Finally, we explain how duality theory for 4-dimensional polytopes can be exploited in order to also realize combinatorially dual surfaces in R^3 via dual 4-polytopes.