math.CO ↗ arXiv
7121 papers in this category
On the transitivity of Gilbert graphs and their complements
Published
• View Publication
• BIB
The Gilbert graph $\text{Gilbert}(q,n,d)$, which arises naturally in graph theory and coding theory, is the regular graph on $\mathbb{F}_q^n$ in which two vertices are adjacent if their Hamming distance is less than $d$, and it is vertex-transitive. We classify all parameters $(q,n,d)$ for which $\text{Gilbert}(q,n,d)$ is edge-transitive or distance-transitive, and separately classify all parameters for which its complement has these properties. We prove that $\text{Gilbert}(q,n,d)$ is edge-transitive if and only if it is distance-transitive, and that this occurs precisely when $d=2$, $(q,d)=(2,3)$, or $(q,d)=(2,n)$. For the complement graphs, we determine all parameters yielding edge- or distance-transitivity using spectral methods based on Krawtchouk polynomials and the structure of the Hamming association scheme. In contrast to the Gilbert graphs, where the parameter sets corresponding to edge- and distance-transitivity coincide, we show that for their complements the set of parameters yielding distance-transitivity is strictly contained in the set yielding edge-transitivity. As an application, we compute the exact values of the Lovász $\vartheta$-function of Gilbert graphs, as well as of their complements, in all cases where either one of them is edge-transitive.
Complexity of Linear Subsequences of Fibonacci-Automatic Sequences
Published
• View Publication
• BIB
We construct automata with input(s) in Fibonacci representation (also known as Zeckendorf representation) recognizing some basic arithmetic relations and study their number of states. We also consider some basic operations on Fibonacci-automatic sequences and discuss their state complexity. Furthermore, as a consequence of our results, we improve a bound in a recent paper of Bosma and Don. We also discuss the state complexity and runtime complexity of using a reasonable interpretation of Büchi arithmetic to actually construct some of the studied automata recognizing relations.
Moment inequalities for Chow polynomials of matroids and bounds on Chern numbers
The Chow polynomial of a matroid is a fundamental invariant whose coefficients exhibit strong positivity properties, including $γ$-positivity. We interpret the normalized Chow coefficients as a probability distribution and establish new inequalities for its central moments. As consequences, we obtain bounds on the number of flags of flats and inequalities on the roots of the Chow polynomial.
We further relate these moment inequalities to algebraic geometry via the Hirzebruch $χ_y$-genus. This yields new inequalities for matroidal Chern numbers. In particular, for any matroid of rank $d+1$, we prove that $c_1c_{d-1}\le c_d$, with equality if and only if $d=1$ or the simplification of the matroid is Boolean.
Super-immanants and Littlewood correspondences
In this paper, we introduce the notion of super-immanants for supermatrices over a supercommutative algebra. Using the super Schur-Weyl duality we show that the super immanants play a significant role in covariant tensor representations of the general linear Lie superalgebra. Among various things, we obtain a supertrace formula for super-immanants, which generalizes Kostant's trace formula to the super setting. Furthermore, we show that the Littlewood correspondences between super-immanants and supersymmetric polynomials establish an isomorphism between their corresponding algebras.
Turán-type and tiling problems in oriented graphs
Given $a,b,c\in\mathbb N$, let $D_{a,b,c}$ be the tournament on $a+b+c$ vertices obtained by replacing the vertices of the directed triangle $C_3$ with transitive tournaments $TT_a$, $TT_b$, and $TT_c$, respectively. Keevash and Sudakov (2009) showed that every sufficiently large oriented graph $G$ on $n$ vertices with $δ^{0}(G)\geqslant (1/2-o(1))n$ contains a $C_3$-tiling, equivalently a $D_{1,1,1}$-tiling, covering all but at most three vertices. We generalize this result to arbitrary blow-ups $D_{a,b,c}$. Specifically, for any fixed $a,b,c$, every sufficiently large oriented graph $G$ on $n$ vertices with $δ^{0}(G)\geqslant (1/2-o(1))n$ contains a $D_{a,b,c}$-tiling covering all but at most $2(a+b+c)-3$ vertices. Moreover, this bound is essentially sharp. We also establish a stronger stability result: if $(a+b+c)\mid n$, then either $G$ contains a $D_{a,b,c}$-factor, or $G$ is close to an extremal graph.
Our interest in $D_{a,b,c}$ is also motivated by oriented Turán theory: a seminal theorem of Bollobás and Häggkvist (1990) shows that a tournament $T$ is Turánable (i.e., contained in every sufficiently large regular tournament) if and only if $T\subseteq D_{s,s,s}$ for some $s$. Complementing our tiling results, we also investigate related semi-degree thresholds for powers of directed cycles and paths. In particular, we present two $n$-vertex constructions that give lower bounds, showing that the minimum semi-degree thresholds for $C^2_l$ with $l\not\equiv 0\pmod 6$ and for $P^2_l$ with $l\geqslant 7$ are at least $4n/9$ and $3n/8$, respectively.
Compatible Hamilton cycles in graphs with large minimum degree
The renowned theorem of Dirac states that if $G$ is a graph with minimum degree at least $n/2$ then $G$ has a Hamilton cycle. A natural generalisation asks what properties of an edge-colouring of $G$ guarantee the existence of a properly edge-coloured Hamilton cycle in $G$. This concept can be further generalised as follows: an \emph{incompatibility system} for $G$ is a set~$\mathcal{F}$ of `forbidden' pairs of adjacent edges, that is, $\mathcal{F}\subseteq \{\{uv,vw\}\in \binom{E(G)}2\}$. A cycle in $G$ is then \emph{compatible} if no two of its edges form a pair in $\mathcal{F}$. The system $\mathcal{F}$ is called \emph{$μn$-bounded} if for all $v\in V(G)$ and $uv\in E(G)$, there are at most $μn$ pairs $\{uv,vw\}\in \mathcal{F}$. How small must $μ$ be to guarantee the existence of a compatible Hamilton cycle in $G$? Krivelevich, Lee and Sudakov showed that $μ=10^{-16}$ suffices (for $n$ large), while an example of Bollobás and Erdős shows that $μ\leq 1/4$ is necessary. We significantly reduce this gap for large graphs of minimum degree at least $(1/2+\varepsilon)n$, by showing that $μ=1/8$ suffices but $μ\leq 1/6$ is necessary for such graphs. In fact, we give more precise bounds which are functions of $δ(G)/n$.
Cayley colour integral groups
A finite group $G$ is said to be Cayley integral if every undirected Cayley graph $\operatorname{Cay}(G,S)$ on $G$ is integral. In this paper, we introduce three natural extensions of this concept; namely as: Cayley colour integral, $\mathfrak{F}$-Cayley colour integral and normal Cayley integral groups. We characterize the first two families in its entirety. The last family of groups is shown to be coinciding with inverse semi-rational groups introduced by Chillag and Dolfi, thereby providing an alternative characterization for the same. We also establish an inclusion hierarchy among these families.
Bollobás-Meir TSP Conjecture Holds Asymptotically
In 1992, Bollobás and Meir showed that for every $k \geq 1$ there exists a constant $c_k$ such that, for any $n$ points in the $k$-dimensional unit cube $[0, 1]^k$, one can find a tour $x_1, \dots, x_n$ through these $n$ points with $\sum_{i = 1}^n |x_i - x_{i + 1}|^k \leq c_k$, where $x_{n + 1} = x_1$ and $|x - y|$ is the Euclidean distance between $x$ and $y$. Remarkably, this bound does not depend on $n$, the number of points. They conjectured that the optimal constant is $c_k = 2 \cdot k^{k / 2}$ and showed that it cannot be taken lower than that. This conjecture was recently revised for $k = 3$ by Balogh, Clemen and Dumitrescu, who showed that $c_3 \geq 2^{7/2} > 2 \cdot 3^{3/2}$. It remains open for all $k > 2$, with the best known upper bound $c_k \leq 2.65^k \cdot k^{k / 2} \cdot (1 + o_k(1))$.
We significantly narrow the gap between lower and upper bounds on $c_k$, reducing it from exponential to linear. Specifically, we prove that $c_k \leq 2\mathrm{e}(k + 1) \cdot k^{k / 2}$ and $c_k = k^{k / 2} \cdot (2 + o_k(1))$, the latter establishing the conjecture asymptotically. We also obtain analogous results for related problems on Hamiltonian paths, spanning trees and perfect matchings in the unit cube. Our main tool is a new generalization of the ball packing argument used in earlier works.
Kirchhoff index of a nested geometric graph with weighted multiple edges
Kirchhoff index, Kf(G), introduced by Klein and Randic in 1993, represents the total effective resistances between all pairs of vertices in a graph G, where each edge is regarded as a resistor. In this paper, the Kirchhoff indices of a particular sequence of nested geometric graphs with weighted multiple edges, denoted by Gn, are investigated. A recurrence relation for the characteristic polynomial of the Laplacian matrix L(Gn) is derived, and an explicit formula for Kf(Gn) is obtained. These facilitate the analysis of the variation of Kf(Gn) as as n goes to infinity. Consequently, Kf(Gn) is shown to grow asymptotically linearly, characterized by a specific asymptotic formula. In the course of this derivation, a recurrence relation for the determinant of a block tridiagonal matrix is established. The Kirchhoff index of a 4-regular graph constructed from Gn is also determined.
Alternating geometric progressions modulo one and Sturmian words
Let $b\ge 2$ be an integer. Using Sturmian words we describe all irrational real numbers $ξ$ such that the image in $\mathbb{R}/\mathbb{Z}$ of the sequence $(ξ(-b)^n)_{n\ge 0}$ is contained in an interval of length $b^{-1}+b^{-2}-b^{-3}$. In previous work (arXiv:2603.16794) we showed that the image cannot be contained in a shorter interval.
The complete picture for clique factors in randomly perturbed graphs
A randomly perturbed graph $G^p = G_α\cup G_{n,p}$ is obtained by taking a deterministic $n$-vertex graph $G_α= (V, E)$ with minimum degree $δ(G)\geq αn$ and adding the edges of the binomial random graph $G_{n,p}$ defined on the same vertex set $V$. For which value $p$ (depending on $α$) does the graph $G^p$ contain a $K_r$-factor -- a spanning collection of vertex-disjoint copies of $K_r$ -- with high probability? The order of magnitude of the minimum such $p$ was determined whenever $α\neq 1- \frac{s}{r}$ for an integer $s$ by Balogh, Treglown and Wagner, and by Han, Morris and Treglown. In earlier work, the first three authors determined this threshold probability $p_s$ up to a constant factor for all values of $α= 1-\frac{s}{r}\leq \frac 12$. Here, we complete the picture by establishing $p_s$ in the remaining case $α> \frac12$. A key ingredient in our approach is an extremal result of independent interest: we prove a fractional stability version of a tiling theorem due to Shokoufandeh and Zhao.
The Complete Intersection property for binomial ideals of collections of cells
In this paper, we provide a combinatorial characterization of those collections of cells whose inner $2$-minor ideals are complete intersections. More precisely, given a collection of cells $\mathcal C$ and its associated inner $2$-minor ideal $I_{\mathcal C}$, we prove that $I_{\mathcal C}$ is a complete intersection if and only if $\mathcal C$ is a chessboard.
Trace identities for quiver representations
We give an expression for the determinant of the twisted Laplacian associated with any linear representation of a finite quiver in terms of traces of the holonomy of its cycles. To establish this expression, we prove a general identity for the determinant of a block matrix in terms of traces of products of its blocks. We give two proofs, one purely enumerative and one using generating series.
In the special case of a finite graph equipped with a vector bundle and a connection, the twisted Laplacian determinant admits a combinatorial interpretation as a weighted count of tuples of oriented cycle-rooted spanning forests, where the weights involve traces of holonomies along cycles formed by combining the edges of the forests.
CayleyPy-4: AI-Holography. Towards analogs of holographic string dualities for AI tasks
This is the fourth paper in the CayleyPy project, which applies AI methods to the exploration of large graphs. In this work, we suggest the existence of a new discrete version of holographic string dualities for this setup, and discuss their relevance to AI systems and mathematics. Many modern AI tasks -- such as those addressed by GPT-style language models or RL systems -- can be viewed as direct analogues of predicting particle trajectories on graphs. We investigate this problem for a large family of Cayley graphs, for which we show that surprisingly it admits a dual description in terms of discrete strings. We hypothesize that such dualities may extend to a range of AI systems where they can lead to more efficient computational approaches. In particular, string holographic images of states are proposed as natural candidates for data embeddings, motivated by the "complexity = volume" principle in AdS/CFT.
For Cayley graphs of the symmetric group S_n, our results indicate that the corresponding dual objects are flat, planar polygons. The diameter of the graph is equal to the number of integer points inside the polygon scaled by n. Vertices of the graph can be mapped holographically to paths inside the polygon, and the usual graph distances correspond to the area under the paths, thus directly realising the "complexity = volume" paradigm. We also find evidence for continuous CFTs and dual strings in the large n limit. We confirm this picture and other aspects of the duality in a large initial set of examples. We also present new datasets (obtained by a combination of ML and conventional tools) which should be instrumental in establishing the duality for more general cases.
Separators for intersection graphs of spheres
We prove the existence of optimal separators for intersection graphs of balls and spheres in any dimension $d$. One of our results is that if an intersection graph of $n$ spheres in $\mathbb{R}^d$ has $m$ edges, then it contains a balanced separator of size $O_d(m^{1/d}n^{1-2/d})$. This bound is best possible in terms of the parameters involved. The same result holds if the balls and spheres are replaced by fat convex bodies and their boundaries.
Cyclotomic generating functions, empty weighted complete intersections and positivity
We give a sufficient combinatorial condition for the non-negativity of the coefficients of polynomial quotients of products of $q$-integers, also known as cyclotomic generating functions (CGFs). This slightly extends work by Iano-Fletcher, Pizzato, Sano and Tasin, who studied this condition as a criterion for quasismoothness of complete intersections in weighted projective spaces. As a consequence, we solve a problem by Billey and Swanson, prove most cases of an unpublished conjecture by Stanton and most cases of two conjectures by Gatzweiler and Krattenthaler. We also study sufficient conditions given by structural properties of the division lattice.
Entropy of affine permutations and universality of affine atomic lengths
We introduce and study the notion of entropy of affine permutations and prove that it coincides with the atomic length associated with the sum of the fundamental weights for a type $A$ affine root system, as defined by the first two authors. We then establish an analogue of the Granville-Ono theorem by showing that any nonnegative integer can be realised as the entropy of an affine permutation or alternatively, as the size of a core multipartition as introduced by the last two authors. Our proof uses an additive combinatorics theorem due to Hall on difference sets of permutations modulo $n$. More generally, we give a polynomial expression of the atomic length associated with any dominant weight in affine type $A$ and investigate the problem of its universality. Beyond type $A$, we are able to prove that the entropy of affine type $C_n$ permutations is universal when $2n+1$ is prime. This is achieved by establishing an analogue of Hall's theorem for the hyperoctahedral group based on Alon's combinatorial Nullstellensatz. We also propose conjectures generalising the results presented in the paper, each supported by computational evidence. Finally, we show that in any affine classical type, the problem of the universality of the atomic length simplifies in large rank when the weight considered is conveniently adjusted.
Flip Distance of Non-Crossing Spanning Trees: NP-Hardness and Improved Bounds
We consider the problem of reconfiguring non-crossing spanning trees on point sets. For a set $P$ of $n$ points in general position in the plane, the flip graph $F(P)$ has a vertex for each non-crossing spanning tree on $P$ and an edge between any two spanning trees that can be transformed into each other by the exchange of a single edge. This flip graph has been intensively studied, lately with an emphasis on determining its diameter diam$(F(P))$ for sets $P$ of $n$ points in convex position. The current best bounds are $\frac{14}{9}n-O(1) \leq$ diam$(F(P))<\frac{15}{9}n-3$ [Bjerkevik, Kleist, Ueckerdt, and Vogtenhuber; SODA 2025]. The crucial tool for both the upper and lower bound are so-called *conflict graphs*, which the authors stated might be the key ingredient for determining the diameter (up to lower-order terms).
In this paper, we pick up the concept of conflict graphs and show that this tool is even more versatile than previously hoped. As our first main result, we use conflict graphs to show that computing the flip distance between two non-crossing spanning trees is NP-hard, even for point sets in convex position. Interestingly, the result still holds for more constrained flip operations, concretely, compatible flips (where the removed and the added edge do not cross) and rotations (where the removed and the added edge share an endpoint). Extending the line of research from [BKUV SODA25], we present new insights on the diameter of the flip graph. Their lower bound is based on a constant-size pair of trees, one of which is *stacked*. We show that if one of the trees is stacked, then the lower bound is indeed optimal up to a constant term, that is, there exists a flip sequence of length at most $\frac{14}{9}(n-1)$ to any other tree. Lastly, we improve the lower bound on the diameter of the flip graph $F(P)$ for $n$ points in convex position to $\frac{11}{7}n-o(n)$.
Generalizing Saito's Criterion for Nonfree Arrangements
Saito's criterion is a foundational result that algebraically characterizes free hyperplane arrangements via the determinant of a square matrix of logarithmic derivations. It is natural to ask whether this criterion can be generalized to the non-free setting. To address this, we formulate a general problem concerning the maximal minors of a $p \times \ell$ ($p \geq \ell$) derivation matrix and the algebraic relations among their associated coefficients. Focusing on strictly plus-one generated (SPOG) arrangements, we completely solve this minor-based recognition problem under the assumption that $\operatorname{pd} D(\mathcal{A}) \leq 1$. As a direct consequence, we obtain a purely algebraic, necessary and sufficient characterization of SPOG arrangements in dimension three. Ultimately, this framework provides a computable bridge to post-free arrangement theory.
Maximum packings in graphs forbidding given rainbow cycles
Motivated by the Ruzsa-Szemerédi problem, Imolay, Karl, Nagy, and Váli studied a variant of Turán number $ex_F(n,G)$ (called the $F$-multicolor Turán number of $G$), defined as the maximum number of edge-disjoint copies of $F$ on $n$-vertex set such that there is no copies of $G$ whose edges come from distinct copies of $F$. They proved that if there is no homomorphism from $G$ to $F$, then $n^2/v(F)^2+o(n^2)\leq ex_F(n,G)\leq ex(n,G)/e(F)+o(n^2)$, and otherwise $ex_F(n,G) = o(n^2)$. The quantity $ex_F(n,G)$ asymptotically equals the maximum size of an $F$-packing in an $n$-vertex $G$-free graph, and attains the upper bound $ex(n,G)/e(F)+o(n^2)$ if and only if $χ(G) > χ(F)$. In this paper, we provide conditions under which $ex_F(n,G)$ does not achieve the lower bound $n^2/v(F)^2 + o(n^2)$, and describe additional graph pairs that attain this lower bound via graph blow-ups. Especially, we proved that $ex_{C_k(s)}(n,C_{k-2})=n^2/(sk)^2+o(n^2)$ for any $k\geq 5$. For degenerate cases, we show that if $χ(F) = 3$ and $G$ and $F$ share the same odd girth, then $ex_F(n,G)$ satisfies the $(6,3)$-type bound $n^{2-o(1)}$, generalizing a result of Kovács and Nagy. We also prove that $ex_{C_{2k+1}}(n,C_{2\ell+1})=O(n^{1+1/(\ell-k+1)})$ for any integers $k,\ell$ with $\ell>k$, extending a result of Füredi and Özkahya.
Additionally, we establish $ex_{C_4}(n,C_4)=\sqrt{2}n^{3/2}/8+O(n)$.