contain ↗ reference
7689 papers tagged with this keyword
Kronecker products, characters, partitions, and the tensor square conjectures
Published
• View Publication
• BIB
We study the remarkable Saxl conjecture which states that tensor squares of certain irreducible representations of the symmetric groups S_n contain all irreducibles as their constituents. Our main result is that they contain representations corresponding to hooks and two row Young diagrams. For that, we develop a new sufficient condition for the positivity of Kronecker coefficients in terms of characters, and use combinatorics of rim hook tableaux combined with known results on unimodality of certain partition functions. We also present connections and speculations on random characters of S_n.
On k-wise intersecting families of vertex sets in perfect matchings
We consider the following generalization of the seminal Erdős-Ko-Rado theorem, due to Frankl. For k>= 2, let F be a k-wise intersecting family of r-subsets of an n element set X, i.e. any k sets in F have a nonempty intersection. If r<= (k-1/k)n, then |F|<={n-1 \choose r-1}. We extend Frankl's theorem in a graph-theoretic direction. For a graph G, and r>=1, let P^r(G) be the family of all r-subsets of the vertex set of G such that every r-subset is either an independent set or contains a maximum independent set. We will consider k-wise intersecting subfamilies of this family for the graph M_n, where M_n is the perfect matching on 2n vertices, and prove an analog of Frankl's theorem. This result can also be considered as an extension of a theorem of Bollobás and Leader for intersecting families of independent vertex sets in M_n.
A problem of Erdos and Sos on 3-graphs
Published
• View Publication
• BIB
We show that for every positive epsilon there exist positive delta and n_0 such that every 3-uniform hypergraph on n>=n_0 vertices with the property that every k-vertex subset, where k>=delta*n, induces at least (1/4 + epsilon)*{k \choose 3} edges, contains K4- as a subgraph, where K4- is the 3-uniform hypergraph on 4 vertices with 3 edges. This question was originally raised by Erdos and Sos. The constant 1/4 is the best possible.
Towards a Ryll-Nardzewski-type Theorem for weakly oligomorphic structures
Published
• View Publication
• BIB
A structure is called weakly oligomorphic if it realizes only finitely many n-ary positive existential types for every n. The goal of this paper is to show that the notions of homomorphism-homogeneity, and weak oligomorphy are not only completely analogous to the classical notions of ultrahomogeneity and oligomorphy, but are actually closely related. A first result is a Fraïssé-type theorem for homomorphism-homogeneous relational structures. Further we show that every weakly oligomorphic homomorphism-homogeneous structure contains (up to isomorphism) a unique homogeneous, homomorphism-homogeneous core, to which it is homomorphism-equivalent. As a consequence, we obtain that every countable weakly oligomorphic structure is homomorphism-equivalent with a finite or ω-categorical structure. Another result is the characterization of positive existential theories of weakly oligomorphic structures as the positive existential parts of ω-categorical theories. Finally, we show, that the countable models of countable weakly oligomorphic structures are mutually homomorphism-equivalent (we call first order theories with this property weakly ω-categorical). These results are in analogy with part of the Engeler-Ryll-Nardzewski-Svenonius-theorem.
Proving the Pressing Game Conjecture on Linear Graphs
Published
• View Publication
• BIB
The pressing game on black-and-white graphs is the following: Given a graph $G(V,E)$ with its vertices colored with black and white, any black vertex $v$ can be pressed, which has the following effect: (a) all neighbors of $v$ change color, i.e. white neighbors become black and \emph{vice versa}, (b) all pairs of neighbors of $v$ change connectivity, i.e. connected pairs become unconnected, unconnected ones become connected, (c) and finally, $v$ becomes a separated white vertex. The aim of the game is to transform $G$ into an all white, empty graph. It is a known result that the all white empty graph is reachable in the pressing game if each component of $G$ contains at least one black vertex, and for a fixed graph, any successful transformation has the same number of pressed vertices.
The pressing game conjecture is that any successful pressing path can be transformed into any other successful pressing path with small alterations. Here we prove the conjecture for linear graphs. The connection to genome rearrangement and sorting signed permutations with reversals is also discussed.
On the approximate shape of degree sequences that are not potentially $H$-graphic
Published
• View Publication
• BIB
A sequence of nonnegative integers $π$ is {\it graphic} if it is the degree sequence of some graph $G$. In this case we say that $G$ is a \textit{realization} of $π$, and we write $π=π(G)$. A graphic sequence $π$ is {\it potentially $H$-graphic} if there is a realization of $π$ that contains $H$ as a subgraph.
Given nonincreasing graphic sequences $π_1=(d_1,\ldots,d_n)$ and $π_2 = (s_1,\ldots,s_n)$, we say that $π_1$ {\it majorizes} $π_2$ if $d_i \geq s_i$ for all $i$, $1 \leq i \leq n$. In 1970, Erdős showed that for any $K_{r+1}$-free graph $H$, there exists an $r$-partite graph $G$ such that $π(G)$ majorizes $π(H)$. In 2005, Pikhurko and Taraz generalized this notion and showed that for any graph $F$ with chromatic number $r+1$, the degree sequence of an $F$-free graph is, in an appropriate sense, nearly majorized by the degree sequence of an $r$-partite graph.
In this paper, we give similar results for degree sequences that are not potentially $H$-graphic. In particular, there is a graphic sequence $π^*(H)$ such that if $π$ is a graphic sequence that is not potentially $H$-graphic, then $π$ is close to being majorized by $π^*(H)$. Similar to the role played by complete multipartite graphs in the traditional extremal setting, the sequence $π^*(H)$ asymptotically gives the maximum possible sum of a graphic sequence $π$ that is not potentially $H$-graphic.
The Erdős-Hajnal Conjecture for Paths and Antipaths
Published in Journal of Combinatorial Theory, Series B, 113:261-264, 2015
• View Publication
• BIB
We prove that for every k, there exists $c_k>0$ such that every graph G on n vertices not inducing a path $P_k$ and its complement contains a clique or a stable set of size $n^{c_k}$.
On Some Zarankiewicz Numbers and Bipartite Ramsey Numbers for Quadrilateral
Published in Dybizbański Janusz, Dzido Tomasz, Radziszowski Stanislaw, Ars Combinatoria, 2015, vol. 119, s.275-287
• Search Publication
The Zarankiewicz number $z(m,n;s,t)$ is the maximum number of edges in a subgraph of $K_{m,n}$ that does not contain $K_{s,t}$ as a subgraph. The bipartite Ramsey number $b(n_1, \cdots, n_k)$ is the least positive integer $b$ such that any coloring of the edges of $K_{b,b}$ with $k$ colors will result in a monochromatic copy of $K_{n_i,n_i}$ in the $i$-th color, for some $i$, $1 \le i \le k$. If $n_i=m$ for all $i$, then we denote this number by $b_k(m)$. In this paper we obtain the exact values of some Zarankiewicz numbers for quadrilateral ($s=t=2$), and we derive new bounds for diagonal multicolor bipartite Ramsey numbers avoiding quadrilateral. In particular, we prove that $b_4(2)=19$, and establish new general lower and upper bounds on $b_k(2)$.
The automorphism group of a self-dual [72,36,16] code does not contain S_3, A_4, or D_8
Published
• View Publication
• BIB
A computer calculation with Magma shows that there is no extremal self-dual binary code C of length 72, whose automorphism group contains the symmetric group of degree 3, the alternating group of degree 4 or the dihedral group of order 8. Combining this with the known results in the literature one obtains that Aut(C) has order at most 5 or isomorphic to the elementary abelian group of order 8.
Turán Numbers for Forests of Paths in Hypergraphs
Published
• View Publication
• BIB
The Turán number of an r-uniform hypergraph H is the maximum number of edges in any r-graph on n vertices which does not contain H as a subgraph. Let P_l^(r) denote the family of r-uniform loose paths on l edges, F(k,l) denote the family of hypergraphs consisting of k disjoint paths from P_l^(r), and P'_l^(r) denote an r-uniform linear path on l edges. We determine precisely ex_r(n;F(k,l)) and ex_r(n;k*P'_l^(r)), as well as the Turán numbers for forests of paths of differing lengths (whether these paths are loose or linear) when n is appropriately large dependent on k,l,r, for r>=3. Our results build on recent results of Füredi, Jiang, and Seiver who determined the extremal numbers for individual paths, and provide more hypergraphs whose Turan numbers are exactly determined.
Non-Uniqueness of Minimal Superpermutations
Published in Discrete Mathematics, 313:1553-1557, 2013
• View Publication
• BIB
We examine the open problem of finding the shortest string that contains each of the n! permutations of n symbols as contiguous substrings (i.e., the shortest superpermutation on n symbols). It has been conjectured that the shortest superpermutation has length $\sum_{k=1}^n k!$ and that this string is unique up to relabelling of the symbols. We provide a construction of short superpermutations that shows that, if the conjectured minimal length is true, then uniqueness fails for all n >= 5. Furthermore, uniqueness fails spectacularly; we construct more than doubly-exponentially many distinct superpermutations of the conjectured minimal length.
Proof of a conjecture of Thomassen on Hamilton cycles in highly connected tournaments
Published
• View Publication
• BIB
A conjecture of Thomassen from 1982 states that for every k there is an f(k) so that every strongly f(k)-connected tournament contains k edge-disjoint Hamilton cycles. A classical theorem of Camion, that every strongly connected tournament contains a Hamilton cycle, implies that f(1)=1. So far, even the existence of f(2) was open. In this paper, we prove Thomassen's conjecture by showing that f(k)=O(k^2*log^2(k)). This is best possible up to the logarithmic factor. As a tool, we show that every strongly 10^4*k*log(k)-connected tournament is k-linked (which improves a previous exponential bound). The proof of the latter is based on a fundamental result of Ajtai, Komlós and Szemerédi on asymptotically optimal sorting networks.
Supersaturation in the Boolean lattice
Published in Integers 14A (2014): #A4
• Search Publication
We prove a "supersaturation-type" extension of both Sperner's Theorem (1928) and its generalization by Erdos (1945) to k-chains. Our result implies that a largest family whose size is x more than the size of a largest k-chain free family and that contains the minimum number of k-chains is the family formed by taking the middle (k-1) rows of the Boolean lattice and x elements from the k-th middle row. We prove our result using the symmetric chain decomposition method of de Bruijn, van Ebbenhorst Tengbergen, and Kruyswijk (1951).
Structure and enumeration of (3+1)-free posets
Published in Annals of Combinatorics 18 (2014) 645-674
• View Publication
• BIB
A poset is (3+1)-free if it does not contain the disjoint union of chains of length 3 and 1 as an induced subposet. These posets play a central role in the (3+1)-free conjecture of Stanley and Stembridge. Lewis and Zhang have enumerated (3+1)-free posets in the graded case by decomposing them into bipartite graphs, but until now the general enumeration problem has remained open. We give a finer decomposition into bipartite graphs which applies to all (3+1)-free posets and obtain generating functions which count (3+1)-free posets with labelled or unlabelled vertices. Using this decomposition, we obtain a decomposition of the automorphism group and asymptotics for the number of (3+1)-free posets.
Cores of random graphs are born Hamiltonian
Published
• View Publication
• BIB
Let $(G_t)_{t \geq 0}$ be the random graph process ($G_0$ is edgeless and $G_t$ is obtained by adding a uniformly distributed new edge to $G_{t-1}$), and let $τ_k$ denote the minimum time $t$ such that the $k$-core of $G_t$ (its unique maximal subgraph with minimum degree at least $k$) is nonempty. For any fixed $k\geq 3$ the $k$-core is known to emerge via a discontinuous phase transition, where at time $t=τ_k$ its size jumps from 0 to linear in the number of vertices with high probability. It is believed that for any $k\geq 3$ the core is Hamiltonian upon creation w.h.p., and Bollobás, Cooper, Fenner and Frieze further conjectured that it in fact admits $\lfloor(k-1)/2\rfloor$ edge-disjoint Hamilton cycles. However, even the asymptotic threshold for Hamiltonicity of the $k$-core in $G(n,p)$ was unknown for any $k$. We show here that for any fixed $k\ge 15$ the $k$-core of $G_t$ is w.h.p. Hamiltonian for all $t \geq τ_k$, i.e., immediately as the $k$-core appears and indefinitely afterwards. Moreover, we prove that for large enough fixed $k$ the $k$-core contains $\lfloor (k-3)/2\rfloor$ edge-disjoint Hamilton cycles w.h.p. for all $t\geq τ_k$.
The Erdős-Hajnal conjecture for rainbow triangles
Published
• View Publication
• BIB
We prove that every 3-coloring of the edges of the complete graph on n vertices without a rainbow triangle contains a set of order Omega(n^{1/3}log^2 n) which uses at most two colors, and this bound is tight up to a constant factor. This verifies a conjecture of Hajnal which is a case of the multicolor generalization of the well-known Erdős-Hajnal conjecture. We further establish a generalization of this result. For fixed positive integers s and r with s at most r, we determine a constant c_{r,s} such that the following holds. Every r-coloring of the edges of the complete graph on n vertices without a rainbow triangle contains a set of order Omega(n^{r(r-1)/s(s-1)}(\log n)^{c_{r,s}}) which uses at most s colors, and this bound is tight apart from the implied constant factor. The proof of the lower bound utilizes Gallai's classification of rainbow-triangle free edge-colorings of the complete graph, a new weighted extension of Ramsey's theorem, and a discrepancy inequality in edge-weighted graphs. The proof of the upper bound uses Erdős' lower bound on Ramsey numbers by considering lexicographic products of 2-edge-colorings of complete graphs without large monochromatic cliques.
Knots in collapsible and non-collapsible balls
Published in Electronic Journal of Combinatorics 20 (2013), No.3, Paper P31, 29 pages
• View Publication
• BIB
We construct the first explicit example of a simplicial 3-ball B_{15,66} that is not collapsible. It has only 15 vertices. We exhibit a second 3-ball B_{12,38} with 12 vertices that is collapsible and evasive, but not shellable. Finally, we present the first explicit triangulation of a 3-sphere S_{18, 125} (with only 18 vertices) that is not locally constructible. All these examples are based on knotted subcomplexes with only three edges; the knots are the trefoil, the double trefoil, and the triple trefoil, respectively. The more complicated the knot is, the more distant the triangulation is from being polytopal, collapsible, etc. Further consequences of our work are:
(1) Unshellable 3-spheres may have vertex-decomposable barycentric subdivisions.
(This shows the strictness of an implication proven by Billera and Provan.)
(2) For d-balls, vertex-decomposable implies non-evasive implies collapsible, and for d=3 all implications are strict.
(This answers a question by Barmak.)
(3) Locally constructible 3-balls may contain a double trefoil knot as a 3-edge subcomplex.
(This improves a result of Benedetti and Ziegler.)
(4) Rudin's ball is non-evasive.
On traceability of claw-o_{-1}-heavy graphs
Published
• View Publication
• BIB
A graph is called traceable if it contains a Hamilton path, i.e., a path passing through all its vertices. Let $G$ be a graph on $n$ vertices. $G$ is called claw-$o_{-1}$-heavy if every induced claw ($K_{1,3}$) of $G$ has a pair of nonadjacent vertices with degree sum at least $n-1$ in $G$. In this paper we show that a claw-$o_{-1}$-heavy graph $G$ is traceable if we impose certain additional conditions on $G$ involving forbidden induced subgraphs.
Non-overlapping codes
Published
• View Publication
• BIB
We say that a $q$-ary length $n$ code is \emph{non-overlapping} if the set of non-trivial prefixes of codewords and the set of non-trivial suffices of codewords are disjoint. These codes were first studied by Levenshtein in 1964, motivated by applications in synchronisation. More recently these codes were independently invented (under the name \emph{cross-bifix-free} codes) by Bajić and Stojanović.
We provide a simple construction for a class of non-overlapping codes which has optimal cardinality whenever $n$ divides $q$. Moreover, for all parameters $n$ and $q$ we show that a code from this class is close to optimal, in the sense that it has cardinality within a constant factor of an upper bound due to Levenshtein from 1970. Previous constructions have cardinality within a constant factor of the upper bound only when $q$ is fixed.
Chee, Kiah, Purkayastha and Wang showed that a $q$-ary length $n$ non-overlapping code contains at most $q^n/(2n-1)$ codewords; this bound is weaker than the Levenshtein bound. Their proof appealed to the application in synchronisation: we provide a direct combinatorial argument to establish the bound of Chee \emph{et al}.
We also consider codes of short length, finding the leading term of the maximal cardinality of a non-overlapping code when $n$ is fixed and $q\rightarrow \infty$. The largest cardinality of non-overlapping codes of lengths $3$ or less is determined exactly.
Long paths and cycles in random subgraphs of H-free graphs
Published
• View Publication
• BIB
Let $\mathcal{H}$ be a given finite (possibly empty) family of connected graphs, each containing a cycle, and let $G$ be an arbitrary finite $\mathcal{H}$-free graph with minimum degree at least $k$. For $p \in [0,1]$, we form a $p$-random subgraph $G_p$ of $G$ by independently keeping each edge of $G$ with probability $p$. Extending a classical result of Ajtai, Komlós, and Szemerédi, we prove that for every positive $\varepsilon$, there exists a positive $δ$ (depending only on $\varepsilon$) such that the following holds: If $p \ge \frac{1+\varepsilon}{k}$, then with probability tending to $1$ as $k \to \infty$, the random graph $G_p$ contains a cycle of length at least $n_{\mathcal{H}}(δk)$, where $n_{\mathcal{H}}(k)>k$ is the minimum number of vertices in an $\mathcal{H}$-free graph of average degree at least $k$. Thus in particular $G_p$ as above typically contains a cycle of length at least linear in $k$.