Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Duality theorems for blocks and tangles in graphs
Published
• View Publication
• BIB
We prove a duality theorem applicable to a a wide range of specialisations, as well as to some generalisations, of tangles in graphs. It generalises the classical tangle duality theorem of Robertson and Seymour, which says that every graph either has a large-order tangle or a certain low-width tree-decomposition witnessing that it cannot have such a tangle.
Our result also yields duality theorems for profiles and for $k$-blocks. This solves a problem studied, but not solved, by Diestel and Oum and answers an earlier question of Carmesin, Diestel, Hamann and Hundertmark.
On edges not in monochromatic copies of a fixed bipartite graph
Published
• View Publication
• BIB
Let $H$ be a fixed graph. Denote $f(n,H)$ to be the maximum number of edges not contained in any monochromatic copy of $H$ in a 2-edge-coloring of the complete graph $K_n$, and $ex(n,H)$ to be the {\it Turán number} of $H$. An easy lower bound shows $f(n,H)\ge ex(n,H)$ for any $H$ and $n$. In \cite{KS2}, Keevash and Sudakov proved that if $H$ is an edge-color-critical graph or $C_4$, then $f(n,H)= ex(n,H)$ holds for large $n$, and they asked if this equality holds for any graph $H$ when $n$ is sufficiently large. In this paper, we provide an affirmative answer to this problem for an abundant infinite family of bipartite graphs $H$, including all even cycles and complete bipartite graphs $K_{s,t}$ for $t>s^2-3s+3$ or $(s,t)\in\{(3,3),(4,7)\}$. In addition, our proof shows that for all such $H$, the 2-edge-coloring $c$ of $K_n$ achieves the maximum number $f(n,H)$ if and only if one of the color classes in $c$ induces an extremal graph for $ex(n,H)$. We also obtain a multi-coloring generalization for bipartite graphs. Some related problems are discussed in the final section.
Enumeration of Domino Tilings of an Aztec Rectangle with boundary defects
Published in Advances in Applied Mathematics, Vol. 89, August 2017, 41--66
• View Publication
• BIB
Helfgott and Gessel gave the number of domino tilings of an Aztec Rectangle with defects of size one on the boundary of one side. In this paper we extend this to the case of domino tilings of an Aztec Rectangle with defects on all boundary sides.
Weyl group $q$-Kreweras numbers and cyclic sieving
Published
• View Publication
• BIB
The paper concerns a definition for $q$-Kreweras numbers for finite Weyl groups $W$, refining the $q$-Catalan numbers for $W$, and arising from work of the second author. We give explicit formulas in all types for the $q$-Kreweras numbers. In the classical types $A, B, C$, we also record formulas for the $q$-Narayana numbers and in the process show that the formulas depend only on the Weyl group (that is, they coincide in types $B$ and $C$). In addition we verify that in the classical types $A,B,C,D$ that the $q$-Kreweras numbers obey the expected cyclic sieving phenomena when evaluated at appropriate roots of unity.
Highest rank of a polytope for $A_n$
Published in Proc. London Math. Soc. 115 (2017), 135-176
• View Publication
• BIB
We prove that the highest rank of a string C-group constructed from an alternating group $Alt_n$ is 0 if $n=3, 4, 6, 7, 8$; 3 if $n=5$; 4 if $n=9$; 5 if $n=10$; 6 if $n=11$; and $\lfloor\frac{n-1}{2}\rfloor$ if $n\geq 12$. This solves a conjecture made by the last three authors in 2012.
New super congruences involving Bernoulli and Euler polynomials
Let $p>3$ be a prime, and let $a$ be a rational p-adic integer with $a\not\equiv 0\pmod p$. In this paper we establish congruences for $$\sum_{k=1}^{(p-1)/2}\frac{\binom ak\binom{-1-a}k}k, \quad\sum_{k=0}^{(p-1)/2}k\binom ak\binom{-1-a}k \quad\text{and}\quad\sum_{k=0}^{(p-1)/2}\frac{\binom ak\binom{-1-a}k}{2k-1}\pmod {p^2}$$ in terms of Bernoulli and Euler polynomials. We also give some transformation formulas for congruences modulo $p^2$.
On large subsets of $F_q^n$ with no three-term arithmetic progression
Published
• View Publication
• BIB
In this note, we show that the method of Croot, Lev, and Pach can be used to bound the size of a subset of $F_q^n$ with no three terms in arithmetic progression by $c^n$ with $c < q$. For $q=3$, the problem of finding the largest subset with no three terms in arithmetic progression is called the `cap problem'. Previously the best known upper bound for the cap problem, due to Bateman and Katz, was $O(3^n / n^{1+ε})$.
On the principal eigenvectors of uniform hypergraphs
Published
• View Publication
• BIB
Let $\mathcal{A}(H)$ be the adjacency tensor of $r$-uniform hypergraph $H$. If $H$ is connected, the unique positive eigenvector $x=(x_1,x_2,\ldots,x_n)^{\mathrm{T}}$ with $||x||_r=1$ corresponding to spectral radius $ρ(H)$ is called the principal eigenvector of $H$. The maximum and minimum entries of $x$ are denoted by $x_{\max}$ and $x_{\min}$, respectively. In this paper, we investigate the bounds of $x_{\max}$ and $x_{\min}$ in the principal eigenvector of $H$. Meanwhile, we also obtain some bounds of the ratio $x_i/x_j$ for $i$, $j\in [n]$ as well as the principal ratio $γ(H)=x_{\max}/x_{\min}$ of $H$. As an application of these results we finally give an estimate of the gap of spectral radii between $H$ and its proper sub-hypergraph $H'$.
Minimum distance of Line Orthogonal Grassmann Codes in even characteristic
Published in J. Pure Applied Algebra 222:10 (2018), 2975-2988
• View Publication
• BIB
In this paper we determine the minimum distance of orthogonal line-Grassmann codes for $q$ even. The case $q$ odd was solved in "I. Cardinali, L. Giuzzi, K. Kaipa, A. Pasini, Line Polar Grassmann Codes of Orthogonal Type, J. Pure Applied Algebra."
We also show that for $q$ even all minimum weight codewords are equivalent and that symplectic line-Grassmann codes are proper subcodes of codimension $2n$ of the orthogonal ones.
Coloring Factors of Substitutive Infinite Words
Published
• View Publication
• BIB
In this paper, we consider infinite words that arise as fixed points of primitive substitutions on a finite alphabet and finite colorings of their factors. Any such infinite word exhibits a "hierarchal structure" that will allow us to define, under the additional condition of strong recognizability, certain remarkable finite colorings of its factors. In particular, we generalize two combinatorial results by Justin and Pirillo concerning arbitrarily large monochromatic $k$-powers occurring in infinite words, in view of a recent paper by de Luca, Pribavkina and Zamboni, we will give new examples of classes of infinite words $\mathbf{u}$ and finite colorings that do not allow infinite monochromatic factorizations $\mathbf{u}=\mathbf{u}_1\mathbf{u}_2\mathbf{u}_3\ldots$.
Subword Complexity and (non)-automaticity of certain completely multiplicative functions
Published
• View Publication
• BIB
In this article, we prove that for a completely multiplicative function $f$ from $\mathbb{N}^*$ to a field $K$ such that the set $$\{p \;|\; f(p)\neq 1_K \;\mbox{and }p \mbox{ is prime}\}$$ is finite, the asymptotic subword complexity of $f$ is $Θ(n^t)$, where $t$ is the number of primes $p$ that $f(p)\neq 0_K, 1_K$. This proves in particular that sequences like $((-1)^{v_2(n)+v_3(n)})_n$ are not $k$-automatic for $k\geq 2$.
The exact power law and Pascal pyramid
Published in International Journal of Mathematics and Mathematical Sciences, vol. 2017, Article ID 9143747, 2017
• View Publication
• BIB
Let $ω_0, ω_1,\ldots, ω_n$ be a full set of outcomes (letters, symbols) and let positive $p_i$, $i=0,\ldots,n$, be their probabilities ($\sum_{i=0}^n p_i=1$). Let us treat $ω_0$ as a stop symbol; it can occur in sequences of symbols (we call them words) only once, at the very end. The probability of a word is defined as the product of probabilities of its letters. We consider the list of all possible words sorted in the non-increasing order of their probabilities. Let $p(r)$ be the probability of the $r$th word in this list. We prove that if at least one of ratios $\log p_i/\log p_j$, $i,j\in\{ 1,\ldots,n\}$, is irrational, then the limit $\lim_{r\to\infty} p(r)/r^{1/γ}$ exists and differs from zero; here $γ$ is the root of the equation $\sum_{i=1}^n p_i^γ=1$. Some weaker results were established earlier. We are first to write an explicit formula for this limit constant at the power function; it can be expressed (rather easily) in terms of the entropy of the distribution~$(p_1^γ,\ldots,p_n^γ)$.
Minimum number of edges that occur in odd cycles
Published
• View Publication
• BIB
If a graph has $n\ge4k$ vertices and more than $n^2/4$ edges, then it contains a copy of $C_{2k+1}$. In 1992, Erdős, Faudree and Rousseau showed even more, that the number of edges that occur in a triangle is at least $2\lfloor n/2\rfloor+1$, and this bound is tight. They also showed that the minimum number of edges that occur in a $C_{2k+1}$ for $k\ge2$ is at least $11n^2/144-O(n)$, and conjectured that for any $k\ge2$, the correct lower bound should be $2n^2/9-O(n)$. Very recently, Füredi and Maleki constructed a counterexample for $k=2$ and proved asymptotically matching lower bound, namely that for any $\varepsilon>0$ graphs with $(1+\varepsilon)n^2/4$ edges contain at least $(2+\sqrt{2})n^2/16 \approx 0.2134n^2$ edges that occur in $C_5$.
In this paper, we use a different approach to tackle this problem and obtain the following stronger result: Any $n$-vertex graph with at least $\lfloor n^2/4\rfloor+1$ edges has at least $(2+\sqrt{2})n^2/16-O(n^{15/8})$ edges that occur in $C_5$. Next, for all $k\ge 3$ and $n$ sufficiently large, we determine the exact minimum number of edges that occur in $C_{2k+1}$ for $n$-vertex graphs with more than $n^2/4$ edges, and show it is indeed equal to $\lfloor\frac{n^2}4\rfloor+1-\lfloor\frac{n+4}6\rfloor\lfloor\frac{n+1}6\rfloor=2n^2/9-O(n)$. For both results, we give a structural description of the extremal configurations as well as obtain the corresponding stability results, which answer a conjecture of Füredi and Maleki.
The main ingredient is a novel approach that combines the flag algebras together with ideas from finite forcibility of graph limits. This approach allowed us to keep track of the extra edge needed to guarantee an existence of a $C_{2k+1}$. Also, we establish the first application of semidefinite method in a setting, where the set of tight examples has exponential size, and arises from different constructions.
Colored Eulerian Polynomials and the Colored Permutohedron
This paper introduces a colored generalization of the Eulerian polynomials, denoted the $α$-colored Eulerian polynomials. We first compute these polynomials by taking the $h$-vector of the $α$-colored permutohedron, a colored analog of the permutohedron which we develop. We also arrive at the $α$-colored Eulerian polynomials combinatorially by defining a new notion of descent for colored permutations.
Towards a polynomial basis of the algebra of peak quasisymmetric functions
Published in J. Algebraic Combin. 44 (2016), No. 4, 931-946
• View Publication
• BIB
Hazewinkel proved the Ditters conjecture that the algebra of quasisymmetric functions over the integers is free commutative by constructing a nice polynomial basis. In this paper we prove a structure theorem for the algebra of peak quasisymmetric functions (PQSym) over the integers. It provides a polynomial basis of PQSym over the rational field, different from Hsiao's basis, and implies the freeness of PQSym over its subring of symmetric functions spanned by Schur's Q-functions.
A Study of $k$-dipath Colourings of Oriented Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (February 1, 2018) dmtcs:1520
• View Publication
• BIB
We examine $t$-colourings of oriented graphs in which, for a fixed integer $k \geq 1$, vertices joined by a directed path of length at most $k$ must be assigned different colours. A homomorphism model that extends the ideas of Sherk for the case $k=2$ is described. Dichotomy theorems for the complexity of the problem of deciding, for fixed $k$ and $t$, whether there exists such a $t$-colouring are proved.
The structure theory of Nilspaces I
Published
• View Publication
• BIB
This paper forms the first part of a series by the authors [GMV2,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. Antolín Camarena and Szegedy proved that from these axioms it follows that (certain) nilspaces are isomorphic (in a strong sense) to an inverse limit of nilmanifolds. The aim of our project is to provide a new self-contained treatment of this theory and give new applications to topological dynamics.
This paper provides an introduction to the project from the point of view of applications to higher order Fourier analysis. We define and explain the basic definitions and constructions related to cubespaces and nilspaces and develop the weak structure theory, which is the first stage of the proof of the main structure theorem for nilspaces. Vaguely speaking, this asserts that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group.
We also make some modest innovations and extensions to this theory. In particular, we consider a class of maps that we term fibrations, which are essentially equivalent to what are termed fiber-surjective morphisms by Anatolín Camarena and Szegedy, and we formulate and prove a relative analogue of the weak structure theory alluded to above for these maps. These results find applications elsewhere in the project.
The structure theory of Nilspaces II: Representation as nilmanifolds
Published
• View Publication
• BIB
This paper forms the second part of a series by the authors [GMV1,GMV3] concerning the structure theory of nilspaces of Antolín Camarena and Szegedy. A nilspace is a compact space $X$ together with closed collections of cubes $C_n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$ satisfying some natural axioms. From these axioms it follows that a nilspace can be built as a finite tower of extensions where each of the successive fibers is a compact abelian group.
Our main result is a new proof of a result due to Antolín Camarena and Szegedy [CS12], stating that if each of these groups is a torus then $X$ is isomorphic (in a strong sense) to a nilmanifold $G/Γ$. We also extend the theorem to a setting where the nilspace arises from a dynamical system $(X,T)$. These theorems are a key stepping stone towards the general structure theorem in [GMV3] (which again closely resembles the main theorem of [CS12]).
The main technical tool, enabling us to deduce algebraic information from topological data, consists of existence and uniqueness results for solutions of certain natural functional equations, again modelled on the theory in [CS12].
The structure theory of Nilspaces III: Inverse limit representations and topological dynamics
Published
• View Publication
• BIB
This paper forms the third part of a series by the authors [GMV1,GMV2] concerning the structure theory of nilspaces. A nilspace is a compact space $X$ together with closed collections of cubes $C^n(X)\subseteq X^{2^n}$, $n=1,2,\ldots$, satisfying some natural axioms. Our goal is to extend the structure theory of nilspaces obtained by Antolín Camarena and Szegedy, and to provide new proofs.
Our main result is that, under the technical assumption that $C^n(X)$ is a connected space for all $n$, then $X$ is isomorphic (in a strong sense) to an inverse limit of nilmanifolds. This is a direct and slight generalization of the main result of Antolín Camarena and Szegedy.
We also apply our methods to obtain structure theorems in the setting of topological dynamics. Specifically, if $H$ is a group (subject to very mild topological assumptions) and $(H,X)$ is a minimal dynamical system, then we give a simple characterization of the maximal pronilfactor of $X$. This generalizes the case $H = \mathbb{Z}$, which is a theorem of Host, Kra and Maass, although even in that case we give a significantly different proof.
Maximum Semidefinite and Linear Extension Complexity of Families of Polytopes
Published
• View Publication
• BIB
We relate the maximum semidefinite and linear extension complexity of a family of polytopes to the cardinality of this family and the minimum pairwise Hausdorff distance of its members. This result directly implies a known lower bound on the maximum semidefinite extension complexity of 0/1-polytopes. We further show how our result can be used to improve on the corresponding bounds known for polygons with integer vertices.
Our geometric proof builds upon nothing else than a simple well-known property of maximum volume inscribed ellipsoids of convex bodies. In particular, it does not rely on factorizations over the semidefinite cone and thus avoids involved procedures of balancing them as required, e.g., in [Briet, Dadush & Pokutta 2015]. We hope that revealing the geometry behind the phenomenon opens doors for further results.
Moreover, we show that the linear extension complexity of every d-dimensional 0/1-polytope is bounded from above by O(2^d / d).