Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Kneser graphs are Hamiltonian
Published
• View Publication
• BIB
For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two disjoint sets. It has been conjectured since the 1970s that all Kneser graphs admit a Hamilton cycle, with one notable exception, namely the Petersen graph $K(5,2)$. This problem received considerable attention in the literature, including a recent solution for the sparsest case $n=2k+1$. The main contribution of this paper is to prove the conjecture in full generality. We also extend this Hamiltonicity result to all connected generalized Johnson graphs (except the Petersen graph). The generalized Johnson graph $J(n,k,s)$ has as vertices all $k$-element subsets of an $n$-element ground set, and an edge between any two sets whose intersection has size exactly $s$. Clearly, we have $K(n,k)=J(n,k,0)$, i.e., generalized Johnson graph include Kneser graphs as a special case. Our results imply that all known natural families of vertex-transitive graphs defined by intersecting set systems have a Hamilton cycle, which settles an interesting special case of Lovász' conjecture on Hamilton cycles in vertex-transitive graphs from 1970. Our main technical innovation is to study cycles in Kneser graphs by a kinetic system of multiple gliders that move at different speeds and that interact over time, reminiscent of the gliders in Conway's Game of Life, and to analyze this system combinatorially and via linear algebra.
Generalized recursive atom ordering and equivalence to CL-shellability
Published in Combinatorial Theory 4 (1) (2024), 44 pages
• View Publication
• BIB
Björner and Wachs introduced CL-shellability as a technique for studying the topological structure of order complexes of partially ordered sets (posets). They also introduced the notion of recursive atom ordering, and they proved that a finite bounded poset is CL-shellable if and only if it admits a recursive atom ordering.
In this paper, a generalization of the notion of recursive atom ordering is introduced. A finite bounded poset is proven to admit such a generalized recursive atom ordering if and only if it admits a traditional recursive atom ordering. This is also proven equivalent to admitting a CC-shelling (a type of shelling introduced by Kozlov) with a further property called self-consistency. Thus, CL-shellability is proven equivalent to self-consistent CC-shellability. As an application, the uncrossing posets, namely the face posets for stratified spaces of planar electrical networks, are proven to be dual CL-shellable.
Minimizing the Sombor Index among Trees with Fixed Degree Sequence
Vertex-degree-based topological indices have recently gained a lot of attention from mathematical chemists. One such index that we focus on in this paper is called Sombor index. After its definition in late 2020, the Sombor index was quickly recognized as a valuable research topic. In this paper we partially answer the open question of finding the extremal trees with respect to this index for a fixed degree sequence. Particularly we focus on the lower bound and proceed to show that greedy tree minimizes the Sombor index for a given degree sequence.
A symmetric chain decomposition of $L(5,n)$
Published
• View Publication
• BIB
We give a constructive proof that Young's lattice $L(5, n)$ has a partition into saturated symmetric chains.
Induced subgraphs and tree-decompositions VII. Basic obstructions in $H$-free graphs
Published in Journal of Combinatorial Theory, Series B, Volume 164, January 2024, Pages 443-472
• View Publication
• BIB
We say a class $\mathcal{C}$ of graphs is clean if for every positive integer $t$ there exists a positive integer $w(t)$ such that every graph in $\mathcal{C}$ with treewidth more than $w(t)$ contains an induced subgraph isomorphic to one of the following: the complete graph $K_t$, the complete bipartite graph $K_{t,t}$, a subdivision of the $(t\times t)$-wall or the line graph of a subdivision of the $(t \times t)$-wall. In this paper, we adapt a method due to Lozin and Razgon (building on earlier ideas of Weißauer) to prove that the class of all $H$-free graphs (that is, graphs with no induced subgraph isomorphic to a fixed graph $H$) is clean if and only if $H$ is a forest whose components are subdivided stars.
Their method is readily applied to yield the above characterization. However, our main result is much stronger: for every forest $H$ as above, we show that forbidding certain connected graphs containing $H$ as an induced subgraph (rather than $H$ itself) is enough to obtain a clean class of graphs. Along the proof of the latter strengthening, we build on a result of Davies and produce, for every positive integer $η$, a complete description of unavoidable connected induced subgraphs of a connected graph $G$ containing $η$ vertices from a suitably large given set of vertices in $G$. This is of independent interest, and will be used in subsequent papers in this series.
New bounds of extended energy of a graph
The extended adjacency matrix of a graph with $n$ vertices is a real symmetric matrix of order $n\times n$ whose $(i,j)$-th entry is the average of the ratio of the degree of the vertex $i$ to that of the vertex $j$ and its reciprocal when $i,j$ are adjacent and zero otherwise. The aggregate of absolute eigenvalues of the extended adjacency matrix is termed the extended energy.
In this paper, the concept of extended vertex energy is introduced, and some bounds of extended vertex energy are obtained. From there, we establish some new upper bounds of the extended energy of a graph involving order, size, largest, and smallest degree. We show that those are improvements of some existing bounds. Through direct manipulation, we have also established some more upper and lower bounds of extended energy, which are either better or incomparable with the existing bounds. Finally, some improved bounds of Nordhaus-Gaddum-type are found.
Sandpile solitons in higher dimensions
Published in Arnold Mathematical Journal, 9 (2023), no. 3, 435--454
• View Publication
• BIB
Let $p\in\mathbb Z^n$ be a primitive vector and $Ψ:\mathbb Z^n\to \mathbb Z, z\to \min(p\cdot z, 0)$. The theory of {\it husking} allows us to prove that there exists a pointwise minimal function among all integer-valued superharmonic functions equal to $Ψ$ "at infinity".
We apply this result to sandpile models on $\mathbb Z^n$. We prove existence of so-called {\it solitons} in a sandpile model, discovered in 2-dim setting by S. Caracciolo, G. Paoletti, and A. Sportiello and studied by the author and M. Shkolnikov in previous papers. We prove that, similarly to 2-dim case, sandpile states, defined using our husking procedure, move changeless when we apply the sandpile wave operator (that is why we call them solitons).
We prove an analogous result for each lattice polytope $A$ without lattice points except its vertices. Namely, for each function $$Ψ:\mathbb Z^n\to \mathbb Z, z\to \min_{p\in A\cap \mathbb Z^n}(p\cdot z+c_p), c_p\in \mathbb Z$$ there exists a pointwise minimal function among all integer-valued superharmonic functions coinciding with $Ψ$ "at infinity". The laplacian of the latter function corresponds to what we observe when solitons, corresponding to the edges of $A$, intersect (see Figure~1).
Sailing League Problems
Published in Journal of Combinatorial Designs, 32 (2024), 171-189
• View Publication
• BIB
We describe a class of combinatorial design problems which typically occur in professional sailing league competitions. We discuss connections to resolvable block designs and equitable coverings and to scheduling problems in operations research. We in particular give suitable boolean quadratic and integer linear optimization problem formulations, as well as further heuristics and restrictions, that can be used to solve sailing league problems in practice. We apply those techniques to three case studies obtained from real sailing leagues and compare the results with previously used tournament plans.
The Palindromic Trees
The family of trees with palindromic characteristic polynomials is characterized. Large families of graphs with this property are found as well.
Multiple zeta values, WZ-pairs and infinite sums computations
Published
• View Publication
• BIB
We combine the powerful method of Wilf-Zeilberger pairs with systematic theory of multiple zeta values to prove a large number of series identities due to Z.W. Sun, many of them have been long standing conjectures.
Universal Limit Theorem for Spectra of iterated inclusion-uniform Subdivisions
The main object of this work is the top-dimensional Laplacian operator of a simplicial complex $K$. We study its spectral limiting behavior under a given non-trivial subdivision procedure $\text{div}$. It will be shown that in case $\text{div}$ satisfies a property we call inclusion-uniformity its spectrum converges to a universal limiting distribution only depending on the dimension of $K$. This class of subdivisions contains important special cases such as the edgewise subdivision $\text{esd}_r$ for $r\geq 2$ and dimension $d=2$ or the barycentric subdivision $\text{sd}$. This parallels a result of Brenti and Welker showing that the roots of $f$-polynomials of iterated barycentric subdivisions converge to a universal set of roots only depending on the dimension of $K$.
Furthermore we determine the family of universal limiting functions for the particular subdivision where the top dimensional faces are replaced by a cone over their boundary. We will show that this choice of $\text{div}$ is the natural generalization of graph subdivision in the spectral sense. These limits are obtained by explicit spectral decimation of the sequence of its dual graphs which is represented as a sequence of Schreier graphs on a rooted regular tree.
Finally we will point out that a generic sequence of iterated subdivisions can be realized by a sequence of graphs as in spectral analysis on fractals. We will give a construction of a self-similar sequence of graphs which dualizes the iterated application of subdivision.
Complete resolution of the circulant nut graph order-degree existence problem
Published in Ars Math. Contemp. 24 (2024) #P4.03
• View Publication
• BIB
A circulant nut graph is a non-trivial simple graph such that its adjacency matrix is a circulant matrix whose null space is spanned by a single vector without zero elements. Regarding these graphs, the order-degree existence problem can be thought of as the mathematical problem of determining all the possible pairs $(n, d)$ for which there exists a $d$-regular circulant nut graph of order $n$. This problem was initiated by Bašić et al. and the first major results were obtained by Damnjanović and Stevanović, who proved that for each odd $t \ge 3$ such that $t\not\equiv_{10}1$ and $t\not\equiv_{18}15$, there exists a $4t$-regular circulant nut graph of order $n$ for each even $n \ge 4t + 4$. Afterwards, Damnjanović improved these results by showing that there necessarily exists a $4t$-regular circulant nut graph of order $n$ whenever $t$ is odd, $n$ is even, and $n \ge 4t + 4$ holds, or whenever $t$ is even, $n$ is such that $n \equiv_4 2$, and $n \ge 4t + 6$ holds. In this paper, we extend the aforementioned results by completely resolving the circulant nut graph order-degree existence problem. In other words, we fully determine all the possible pairs $(n, d)$ for which there exists a $d$-regular circulant nut graph of order $n$.
An inverse result for Wang's theorem on extremal trees
Published in Filomat 38 (2024) 1085-1099
• View Publication
• BIB
Among all trees on $n$ vertices with a given degree sequence, how do we maximise or minimise the sum over all adjacent pairs of vertices $x$ and $y$ of $f(\mathrm{deg} x, \mathrm{deg} y)$? Here $f$ is a fixed symmetric function satisfying a 'monotonicity' condition that \[
f(x, a) + f(y, b) > f(y, a) + f(x, b) \quad \mbox{for any $x > y$ and $a > b$} . \] These functions arise naturally in several areas of graph theory, particularly chemical graph theory.
Wang showed that the so-called 'greedy' tree maximises this quantity, while an 'alternating greedy' tree minimises it. Our aim in this paper is to solve the inverse problem: we characterise precisely which trees are extremal for these two problems.
Splitting matchings and the Ryser-Brualdi-Stein conjecture for multisets
Published
• View Publication
• BIB
We study multigraphs whose edge-sets are the union of three perfect matchings, $M_1$, $M_2$, and $M_3$. Given such a graph $G$ and any $a_1,a_2,a_3\in \mathbb{N}$ with $a_1+a_2+a_3\leq n-2$, we show there exists a matching $M$ of $G$ with $|M\cap M_i|=a_i$ for each $i\in \{1,2,3\}$. The bound $n-2$ in the theorem is best possible in general. We conjecture however that if $G$ is bipartite, the same result holds with $n-2$ replaced by $n-1$. We give a construction that shows such a result would be tight. We also make a conjecture generalising the Ryser-Brualdi-Stein conjecture with colour multiplicities.
On the Size of Chromatic Delaunay Mosaics
Published
• View Publication
• BIB
Given a locally finite set $A \subseteq \mathbb{R}^d$ and a coloring $χ\colon A \to \{0,1,\ldots,s\}$, we introduce the chromatic Delaunay mosaic of $χ$, which is a Delaunay mosaic in $\mathbb{R}^{s+d}$ that represents how points of different colors mingle. Our main results are bounds on the size of the chromatic Delaunay mosaic, in which we assume that $d$ and $s$ are constants. For example, if $A$ is finite with $n = \#{A}$, and the coloring is random, then the chromatic Delaunay mosaic has $O(n^{\lceil{d/2}\rceil})$ cells in expectation. In contrast, for Delone sets and Poisson point processes in $\mathbb{R}^d$, the expected number of cells within a closed ball is only a constant times the number of points in this ball. Furthermore, in $\mathbb{R}^2$ all colorings of a dense set of $n$ points have chromatic Delaunay mosaics of size $O(n)$. This encourages the use of chromatic Delaunay mosaics in applications.
$λ$-quiddity and subgroups generated by an algebraic number
During his work devoted to Coxeter's friezes, M. Cuntz initiated the study of the notion of $λ$-quiddity and raised the problem of the study of this over some subsets of $\mathbb{C}$. The objective of this text is to bring some new elements of response in the case of some cyclic subgroups of ($\mathbb{C},+$) generated by an algebraic number. In particular, we will study the cases of subgroups generated by $a+b\sqrt{k}$.
Hilbert-Poincaré series of matroid Chow rings and intersection cohomology
Published in Advances in Mathematics, Volume 449, July 2024, no. 109733
• View Publication
• BIB
We study the Hilbert series of four objects arising in the Chow-theoretic and Kazhdan-Lusztig framework of matroids. These are, respectively, the Hilbert series of the Chow ring, the augmented Chow ring, the intersection cohomology module, and its stalk at the empty flat. We develop a parallelism between the Kazhdan-Lusztig polynomial of a matroid and the Hilbert series of its Chow ring. This extends to a parallelism between the $Z$-polynomial of a matroid and the Hilbert series of its augmented Chow ring. This suggests to bring ideas from one framework to the other. Our two main motivations are the real-rootedness conjecture for all of these polynomials, and the problem of computing them. We provide several intrinsic definitions of these invariants; also, by leveraging that they are valuations under matroid polytope subdivisions, we deduce a fast way for computing them for a large class of matroids. Uniform matroids are a case of combinatorial interest; we link the resulting polynomials with certain real-rooted families such as the (binomial) Eulerian polynomials, and we settle a conjecture of Hameister, Rao, and Simpson. Furthermore, we prove the real-rootedness of the Hilbert series of the augmented Chow rings of uniform matroids via a result of Haglund and Zhang; and in addition, we prove a version of a conjecture of Gedeon in the Chow setting: uniform matroids maximize coefficient-wisely these polynomials for matroids with fixed rank and size. By relying on the nonnegativity of the Kazhdan-Lusztig polynomials and the semi-small decompositions of Braden, Huh, Matherne, Proudfoot, and Wang, we strengthen the unimodality of the Hilbert series of Chow rings, augmented Chow rings, and intersection cohomologies to $γ$-positivity, a property for palindromic polynomials that lies between unimodality and real-rootedness; this settles a conjecture of Ferroni, Nasr, and Vecchi.
A Sylvester-Gallai-type theorem for complex-representable matroids
Published
• View Publication
• BIB
The Sylvester-Gallai Theorem states that every rank-$3$ real-representable matroid has a two-point line. We prove that, for each $k\ge 2$, every complex-representable matroid with rank at least $4^{k-1}$ has a rank-$k$ flat with exactly $k$ points. For $k=2$, this is a well-known result due to Kelly, which we use in our proof. A similar result was proved earlier by Barak, Dvir, Wigderson, and Yehudayoff and later refined by Dvir, Saraf, and Wigderson, but we get slightly better bounds with a more elementary proof.
c-functions and Macdonald polynomials
Published
• View Publication
• BIB
This is a paper about $c$-functions and Macdonald polynomials. There are $c$-function formulas for $E$-expansions of $P_λ$ and $A_{λ+ρ}$, principal specializations of $P_λ$ and $E_μ$, for Macdonald's constant term formulas, and for the norms of Macdonald polynomials. Most of these follow from the creation formulas for Macdonald polynomials, providing alternative proofs to several results from Macdonald (2003). In addition, we prove the Boson-Fermion correspondence in the Macdonald polynomial setting and the Weyl character formula for Macdonald polynomials.
Slicing all Edges of an $n$-cube Requires $n^{2/3}$ Hyperplanes
Published
• View Publication
• BIB
Consider the $n$-cube graph with vertices $\{-1,1\}^n$ and edges connecting vertices with hamming distance $1$. How many hyperplanes in $\mathbb{R}^n$ are needed in order to dissect all edges? We show that at least $\widetildeΩ(n^{2/3})$ are needed, which improves the previous bound of $Ω(n^{0.51})$ by Yehuda and Yehudayoff.