Showing 20 papers (Total: 84460 papers, 48641 authors in database)
No lattice tiling of $\mathbb{Z}^n$ by Lee Sphere of radius 2
Published in Journal of Combinatorial Theory, Series A, Vol. 171, April 2020
• View Publication
• BIB
We prove the nonexistence of lattice tilings of $\mathbb{Z}^n$ by Lee spheres of radius $2$ for all dimensions $n\geq 3$. This implies that the Golomb-Welch conjecture is true when the common radius of the Lee spheres equals $2$ and $2n^2+2n+1$ is a prime. As a direct consequence, we also answer an open question in the degree-diameter problem of graph theory: the order of any abelian Cayley graph of diameter $2$ and degree larger than $5$ cannot meet the abelian Cayley Moore bound.
On the isometric path partition problem
Published
• View Publication
• BIB
The isometric path cover (partition) problem of a graph is to find a minimum set of isometric paths which cover (partition) the vertex set of the graph. The isometric path cover (partition) number of a graph is the cardinality a minimum isometric path cover (partition). We prove that the isometric path partition problem and the isometric $k$-path partition problem for $k\geq 3$ are NP-complete on general graphs. Fisher and Fitzpatrick \cite{FiFi01} have shown that the isometric path cover number of $(r\times r)$-dimensional grid is $\lceil 2r/3\rceil$. We show that the isometric path cover (partition) number of $(r\times s)$-dimensional grid is $s$ when $r \geq s(s-1)$. We establish that the isometric path cover (partition) number of $(r\times r)$-dimensional torus is $r$ when $r$ is even and is either $r$ or $r+1$ when $r$ is odd. Then, we demonstrate that the isometric path cover (partition) number of an $r$-dimensional Benes network is $2^r$. In addition, we provide partial solutions for the isometric path cover (partition) problems for cylinder and multi-dimensional grids.
Hamilton cycles in vertex-transitive graphs of order a product of two primes
A step forward is made in a long standing Lovász's problem regarding hamiltonicity of vertex-transitive graphs by showing that every connected vertex-transitive graph of order a product of two primes, other than the Petersen graph, contains a Hamilton cycle. Essential tools used in the proof range from classical results on existence of Hamilton cycles, such as Chvátal's theorem and Jackson's theorem, to certain results on polynomial representations of quadratic residues at primitive roots in finite fields.
On the joint distribution of the marginals of multipartite random quantum states
Published in "The joint distribution of the marginals of multipartite random quantum states." Random Matrices: Theory and Applications (2019): 2050010
• View Publication
• BIB
We study the joint distribution of the set of all marginals of a random Wishart matrix acting on a tensor product Hilbert space. We compute the limiting free mixed cumulants of the marginals, and we show that in the balanced asymptotical regime, the marginals are asymptotically free. We connect the matrix integrals relevant to the study of operators on tensor product spaces with the corresponding classes of combinatorial maps, for which we develop the combinatorial machinery necessary for the asymptotic study. Finally, we present some applications to the theory of random quantum states in quantum information theory.
Asymptotically good edge correspondence colouring
Published
• View Publication
• BIB
We prove that every simple graph with maximum degree $Δ$ has an edge correspondence colouring with $Δ+o(Δ)$ colours.
A short exposition of S. Parsa's theorems on intrinsic linking and non-realizability
Published in Discr. Comp. Geom. 65:2 (2021), 584-585
• View Publication
• BIB
We present a short exposition of the following results by S. Parsa.
Let $L$ be a graph such that the join $L*\{1,2,3\}$ (i.e. the union of three cones over $L$ along their common bases) piecewise linearly (PL) embeds into $\mathbb R^4$. Then $L$ admits a PL embedding into $\mathbb R^3$ such that any two disjoint cycles have zero linking number.
There is $C$ such that every 2-dimensional simplicial complex having $n$ vertices and embeddable into $\mathbb R^4$ contains less than $Cn^{8/3}$ simplices of dimension 2.
We also present the analogue of the second result for intrinsic linking.
Inequalities of Riesz-Sobolev type for compact connected Abelian groups
Published
• View Publication
• BIB
A version of the Riesz-Sobolev convolution inequality is formulated and proved for arbitrary compact connected Abelian groups. Maximizers are characterized and a quantitative stability theorem is proved, under natural hypotheses. A corresponding stability theorem for sets whose sumset has nearly minimal measure is also proved, sharpening recent results of other authors. For the special case of the group $\mathbb{R}/\mathbb{Z}$, a continuous deformation of sets is developed, under which an appropriately scaled Riesz-Sobolev functional is shown to be nondecreasing.
Ranked Schröder Trees
Published
• View Publication
• BIB
In biology, a phylogenetic tree is a tool to represent the evolutionary relationship between species. Unfortunately, the classical Schröder tree model is not adapted to take into account the chronology between the branching nodes. In particular, it does not answer the question: how many different phylogenetic stories lead to the creation of n species and what is the average time to get there? In this paper, we enrich this model in two distinct ways in order to obtain two ranked tree models for phylogenetics, i.e. models coding chronology. For that purpose, we first develop a model of (strongly) increasing Schröder trees, symbolically described in the classical context of increasing labeling. Then we introduce a generalization for the labeling with some unusual order constraint in Analytic Combinatorics (namely the weakly increasing trees). Although these models are direct extensions of the Schröder tree model, it appears that they are also in one-to-one correspondence with several classical combinatorial objects. Through the paper, we present these links, exhibit some parameters in typical large trees and conclude the studies with efficient uniform samplers.
Circulant matrices and Galois-Togliatti systems
Published
• View Publication
• BIB
The goal of this article is to compare the coefficients in the expansion of the permanent with those in the expansion of the determinant of a three-lines circulant matrix. As an application we prove a conjecture concerning the minimality of Galois-Togliatti systems.
What is an answer? - remarks, results and problems on PIO formulas in combinatorial enumeration, part I
For enumerative problems, i.e. computable functions f from N to Z, we define the notion of an effective (or closed) formula. It is an algorithm computing f(n) in the number of steps that is polynomial in the combined size of the input n and the output f(n), both written in binary notation. We discuss many examples of enumerative problems for which such closed formulas are, or are not, known. These problems include (i) linear recurrence sequences and holonomic sequences, (ii) integer partitions, (iii) pattern-avoiding permutations, (iv) triangle-free graphs and (v) regular graphs. In part I we discuss problems (i) and (ii) and defer (iii)--(v) to part II. Besides other results, we prove here that every linear recurrence sequence of integers has an effective formula in our sense.
Additive Volume of Sets Contained in Few Arithmetic Progressions
A conjecture of Freiman gives an exact formula for the largest volume of a finite set $A$ of integers with given cardinality $k = |A|$ and doubling $T = |2A|$. The formula is known to hold when $T \le 3k-4$, for some small range over $3k-4$ and for families of structured sets called chains. In this paper we extend the formula to sets of every dimension and prove it for sets composed of three segments, giving structural results for the extremal case. A weaker extension to sets composed of a bounded number of segments is also discussed.
An Upper Bound on the Number of $(132,213)$-Avoiding Cyclic Permutations
Published in Discrete Math. 342(6) (2019), 1762-1771
• View Publication
• BIB
We show a $n^2 \cdot 2^{n/2}$ upper bound on the number of $(132,213)$ avoiding cyclic permutations. This is the first nontrivial upper bound on the number of such permutations. We also construct an algorithm to determine whether a $(132,213)$ avoiding permutation is cyclic that references only the permutation's layer lengths.
Stronger sum-product inequalities for small sets
Published
• View Publication
• BIB
Let $F$ be a field and a finite $A\subset F$ be sufficiently small in terms of the characteristic $p$ of $F$ if $p>0$.
We strengthen the "threshold" sum-product inequality $$|AA|^3 |A\pm A|^2 \gg |A|^6\,,\;\;\;\;\mbox{hence} \;\; \;\;|AA|+|A+A|\gg |A|^{1+\frac{1}{5}},$$ due to Roche-Newton, Rudnev and Shkredov, to
$$|AA|^5 |A\pm A|^4 \gg |A|^{11-o(1)}\,,\;\;\;\;\mbox{hence} \;\; \;\;|AA|+|A\pm A|\gg |A|^{1+\frac{2}{9}-o(1)},$$ as well as $$ |AA|^{36}|A-A|^{24} \gg |A|^{73-o(1)}. $$ The latter inequality is "threshold-breaking", for it shows for $ε>0$, one has $$|AA| \le |A|^{1+ε}\;\;\;\Rightarrow\;\;\; |A-A|\gg |A|^{\frac{3}{2}+c(ε)},$$ with $c(ε)>0$ if $ε$ is sufficiently small.
This implies that regardless of $ε$, $$|AA-AA|\gg |A|^{\frac{3}{2}+\frac{1}{56}-o(1)}\,.$$
Discrete Decreasing Minimization, Part II: Views from Discrete Convex Analysis
We continue to consider the discrete decreasing minimization problem on an integral base-polyhedron treated in Part I. The problem is to find a lexicographically minimal integral vector in an integral base-polyhedron, where the components of a vector are arranged in a decreasing order. This study can be regarded as a discrete counter-part of the work by Fujishige (1980) on the lexicographically optimal base and the principal partition of a base-polyhedron in continuous variables. The objective of Part II is two-fold. The first is to offer structural views from discrete convex analysis (DCA) on the results of Part I obtained by the constructive and algorithmic approach. The second objective is to pave the way of DCA approach to discrete decreasing minimization on other discrete structures such as the intersection of M-convex sets, flows, and submodular flows.
We derive the structural results in Part I from fundamental facts on M-convex sets and M-convex functions in DCA. A direct characterization is given to the canonical partition, which was constructed by an iterative procedure in Part I. This reveals the precise relationship between the canonical partition for the discrete case and the principal partition for the continuous case. Moreover, this result entails a proximity theorem, stating that every decreasingly minimal element is contained in the small box containing the (unique) fractional decreasingly minimal element (the minimum-norm point), leading further to a continuous relaxation algorithm for finding a decreasingly minimal element of an M-convex set. Thus the relationship between the continuous and discrete cases is completely clarified.
Furthermore, we present DCA min-max formulas for network flows, the intersection of two M-convex sets, and submodular flows.
The Eulerian distribution on involutions is indeed $γ$-positive
Published
• View Publication
• BIB
Let $\mathcal I_n$ and $\mathcal J_n$ denote the set of involutions and fixed-point free involutions of $\{1, \dots, n\}$, respectively, and let $\text{des}(π)$ denote the number of descents of the permutation $π$. We prove a conjecture of Guo and Zeng which states that $I_n(t) := \sum_{π\in \mathcal I_n} t^{\text{des}(π)}$ is $γ$-positive for $n \ge 1$ and $J_{2n}(t) := \sum_{π\in \mathcal J_{2n}} t^{\text{des}(π)}$ is $γ$-positive for $n \ge 9$. We also prove that the number of $(3412, 3421)$-avoiding permutations with $m$ double descents and $k$ descents is equal to the number of separable permutations with $m$ double descents and $k$ descents.
Minimal covers of hypergraphs
Published in Discrete Math. 342:11 (2019), 3043-3046
• View Publication
• BIB
For a hypergraph $H=(V,\mathcal E)$, a subfamily $\mathcal C\subseteq \mathcal E$ is called a cover of the hypergraph if $\bigcup\mathcal C=\bigcup\mathcal E$. A cover $\mathcal C$ is called minimal if each cover $\mathcal D\subseteq\mathcal C$ of the hypergraph $H$ coincides with $\mathcal C$. We prove that for a hypergraph $H$ the following conditions are equivalent: (i) each countable subhypergraph of $H$ has a minimal cover; (ii) each non-empty subhypergraph of $H$ has a maximal edge; (iii) $H$ contains no isomorphic copy of the hypergraph $(ω,ω)$. This characterization implies that a countable hypergraph $(V,\mathcal E)$ has a minimal cover if every infinite set $I\subseteq V$ contains a finite subset $F\subseteq I$ such that the family of edges $\mathcal E_F:=\{E\in\mathcal E:F\subseteq E\}$ is finite. Also we prove that a hypergraph $(V,\mathcal E)$ has a minimal cover if $\sup\{|E|:E\in\mathcal E\}<ω$ or for every $v\in V$ the family $\mathcal E_v:=\{E\in\mathcal E:v\in E\}$ is finite.
Large deviations and one-sided scaling limit of randomized multicolor box-ball system
Published
• View Publication
• BIB
The basic $κ$-color box-ball (BBS) system is an integrable cellular automaton on one dimensional lattice whose local states take $\{0,1,\cdots,κ\}$ with $0$ regarded as an empty box. The time evolution is defined by a combinatorial rule of quantum group theoretical origin, and the complete set of conserved quantities is given by a $κ$-tuple of Young diagrams. In the randomized BBS, a probability distribution on $\{0,1,\cdots,κ\}$ to independently fill the consecutive $n$ sites in the initial state induces a highly nontrivial probability measure on the $κ$-tuple of those invariant Young diagrams. In a recent work \cite{kuniba2018randomized}, their large $n$ `equilibrium shape' has been determined in terms of Schur polynomials by a Markov chain method and also by a very different approach of Thermodynamic Bethe Ansatz (TBA). In this paper, we establish a large deviations principle for the row lengths of the invariant Young diagrams. As a corollary, they are shown to converge almost surely to the equilibrium shape at an exponential rate. We also refine the TBA analysis and obtain the exact scaling form of the vacancy, the row length and the column multiplicity, which exhibit nontrivial factorization in a one-parameter specialization.
Set-partition tableaux and representations of diagram algebras
Published
• View Publication
• BIB
The partition algebra is an associative algebra with a basis of set-partition diagrams and multiplication given by diagram concatenation. It contains as subalgebras a large class of diagram algebras including the Brauer, planar partition, rook monoid, rook-Brauer, Temperley-Lieb, Motzkin, planar rook monoid, and symmetric group algebras. We give a construction of the irreducible modules of these algebras in two isomorphic ways: first, as the span of symmetric diagrams on which the algebra acts by conjugation twisted with an irreducible symmetric group representation and, second, on a basis indexed by set-partition tableaux such that diagrams in the algebra act combinatorially on tableaux. The first representation is analogous to the Gelfand model and the second is a generalization of Young's natural representation of the symmetric group on standard tableaux. The methods of this paper work uniformly for the partition algebra and its diagram subalgebras. As an application, we express the characters of each of these algebras as nonnegative integer combinations of symmetric group characters whose coefficients count fixed points under conjugation.
Simply Generated Unrooted Plane Trees
Published
• View Publication
• BIB
We study random unrooted plane trees with $n$ vertices sampled according to the weights corresponding to the vertex-degrees. Our main result shows that if the generating series of the weights has positive radius of convergence, then this model of random trees may be approximated geometrically by a Galton--Watson tree conditioned on having a large random size.
This implies that a variety of results for the well-studied planted case also hold for unrooted trees, including Gromov--Hausdorff--Prokhorov scaling limits, tail-bounds for the diameter, distributional graph limits, and limits for the maximum degree. Our work complements results by Wang~(2016), who studied random unrooted plane trees whose diameter tends to infinity.
Detecting strong cliques
A strong clique in a graph is a clique intersecting every maximal independent set. We study the computational complexity of six algorithmic decision problems related to strong cliques in graphs and almost completely determine their complexity in the classes of chordal graphs, weakly chordal graphs, line graphs and their complements, and graphs of maximum degree at most three. Our results rely on connections with matchings and relate to several graph properties studied in the literature, including well-covered graphs, localizable graphs, and general partition graphs.