math.CO ↗ arXiv
5274 papers in this category
Infinitesimal finite forcibility and step kernels
We characterize infinitesimal finite forcibility for bounded symmetric real kernels. We prove that the graph-density gradients at a kernel span a finite-dimensional space if and only if the kernel is a step kernel. Combined with known finite-forcing results for step kernels, this gives a positive answer to a question of Lovász and Szegedy on whether every infinitesimally finitely forcible kernel is finitely forcible. The proof combines spectral methods with a compression argument based on book graphs.
TENSKEL: A Combinatorial Observable Tensor for Structured Measurement and Reconstruction
Many imaging problems seek to reconstruct underlying configurations from partial observable measurements. While reconstruction algorithms operate on these measurements, the observable organization induced by the measurement process is rarely represented explicitly.
We introduce TENSKEL, a combinatorial observable framework for structured measurement and reconstruction based on tensor representations defined over discrete domains. Starting from a binary latent ensemble, the framework constructs a hierarchy of tensors coupling measurement contexts to a latent Pascal organization through successive aggregation and folding operations. Each measurement context induces an observable partition of the same latent ensemble, and the resulting tensor formulation makes explicit the associated combinatorial multiplicities, shell organization, degeneracies, and induced reconstruction geometry.
Rather than introducing a new reconstruction algorithm, this framework provides a mathematical representation of how latent configurations become organized under observation. The induced tensor kernel characterizes similarities between latent coordinates through their measurement-context responses, while regularized inversion provides a structured reconstruction of the latent representation from observable measurements. The binary construction further admits a natural multinomial extension to discrete simplex-supported latent representations.
Connections to Pascal cellular automata and structured discrete color mappings illustrate respectively compressed and multinomial realizations of the framework. More generally, TENSKEL provides a combinatorial basis for reasoning about the organization induced by observation, with potential relevance to computational imaging, inverse problems, structured sensing, and quantum-inspired measurement formulations.
Generalized Steinhaus triangles generated by canonical basis vectors: periodicity and weight formulas
A generalized Steinhaus $s$-triangle is obtained from a binary sequence by repeatedly replacing each block of $s$ consecutive entries by its sum modulo $2$. We study the triangles generated by canonical basis vectors. Expressing their entries through bi$^{s}$nomial coefficients, we prove that the truncated coefficient profiles of the successive rows are purely periodic and determine their exact period. This periodicity yields a power-of-two derivative identity and a decomposition into identical finite blocks. We consequently obtain an exact recurrence for the number of ones and show that, on every residue class, this weight is an affine function of the length. We also derive a rational generating function, determine the asymptotic growth rate, and prove that these canonical triangles have zero density of ones. Explicit formulas are obtained for the first two canonical vectors and for the block weight in the classical case. These results provide a unified description of the periodic and enumerative structure of generalized Steinhaus triangles generated by canonical basis vectors.
An application of Jacobi's residue formula and proofs of some other conjectures on binomial coefficients
We prove seven conjectures involving binomial coefficients. These conjectures appear in The On-Line Encyclopedia of Integer Sequences (OEIS). Among these is an application of Jacobi's residue formula. We also apply MacMahon's master theorem to give a new and independently obtained proof of a recently established result.
Almost Every Graph Is Reconstructible from Its Token Graphs
Let $F_k(G)$ denote the $k$-token graph of a finite graph $G$. The graph $F_k(G)$ is a spanning subgraph of $J(n,k)$, but its vertices are not given their $k$-subset labels. We show that, for fixed-density random graphs, the Johnson adjacency relation can be determined from common-neighbor counts. For every fixed $p\in(0,1)$ and $G_n\sim G(n,p)$, the probability that $G_n$ is reconstructible from $F_k(G_n)$ for every $1\le k\le n-1$ is at least $1-(1+o(1))n(1-p)^{n-1}$. In particular, asymptotically almost every labeled $n$-vertex graph $G$ is reconstructible from $F_k(G)$ for every nontrivial rank $2\le k\le n-2$. The same density-one conclusion for isomorphism classes is outlined in Remark.
The species of interval orders
We show that, in the ring of virtual species, \[
\mathcal{I}=\sum_{m\geq 0}(-1)^m\prod_{i=1}^{m}\bigl((E^{-1})^i-1\bigr), \] where $\mathcal{I}$ is the species of interval orders and $E^{-1}$ is the multiplicative inverse of the species $E$ of sets. The right-hand side is the virtual species of signed ballot matrices introduced by Claesson and Hannah. They showed that its signed cardinality counts labeled interval orders. We strengthen this to a species identity, which we prove twice: first algebraically and then bijectively, using a natural sign-reversing involution. The cycle index series of $\mathcal{I}$ specializes to the generating series for labeled and unlabeled interval orders. We describe the automorphism group of an interval order as a Young subgroup and prove the identity $\mathcal{I}=\mathcal{R}\circ E_+$, where $\mathcal{R}$ is the species of rigid interval orders. We also show that Glaisher's T-number $T_n$ counts the $24$-colored interval orders on $[n]$ in which no isolated element has color $24$.
Rank--Average-Degree Bound for Graph Energy
We prove that the energy ${\mathcal E}(G)$ of any simple graph $G$ of order $n\ge5$ satisfies \[
{\mathcal E}\ge r(G)+\bar d(G)-1, \] where $r(G)$ and $\bar d(G)$ denote, respectively, the rank of the adjacency matrix and the average degree of $G$. We also characterize all extremal graphs. As consequences, our result settles five previously conjectured lower bounds for the energy of nonsingular graphs in their stated ranges, namely \[
\begin{gathered}
{\mathcal E}(G)\ge n-1+\bar d(G),\qquad
{\mathcal E}(G)\geΔ(G)+δ(G),\qquad
{\mathcal E}(G)\ge2\sqrt{\bar d(G) (n-1)},
{\mathcal E}(G)\ge\frac{M_1(G)}{m},\qquad
{\mathcal E}(G)\ge\frac{M_1(G)}{2m}+\frac{2m}{n},
\end{gathered} \] where $m$ is the number of edges, $Δ(G)$ and $δ(G)$ are the maximum and minimum degrees, and the first Zagreb index $ M_1(G)$ is the sum of degree squares.
A One-Third Bound for the Maker--Breaker Degree Game
Let \(H\) be a finite hypergraph with rank $r$ and minimum degree \(d\). In the Maker--Breaker degree game, Maker and Breaker alternately claim previously unclaimed hyperedges of \(H\), with Maker moving first, and Breaker seeks to maximize the minimum degree $δ(H_{\mathrm B})$ of his spanning subhypergraph $H_{\mathrm B}$. We prove that, for every fixed \(r\ge2\) and all sufficiently large \(d\), Breaker has a deterministic strategy satisfying \[ δ(H_{\mathrm B})\ge \frac{d}{r+1}-\sqrt{d\log d}. \] For graphs, this improves the classical universal lower bound \(d/4\) to \(d/3-\sqrt{d\log d}\). The proof introduces a virtual balancing process, encodes local imbalance by a multiplicative risk, and keeps the resulting risk vector in the Shearer region throughout the game.
Laziness of Quantum Walks on Graphs
The trace of the average mixing matrix of a quantum walk measures the "laziness" of the walk: the higher the trace, the more likely that the walker returns home in the long run. In this paper, we develop tools to study this graph invariant arising from Laplacian quantum walks.
It is known that the complete graph $K_n$ is the laziest connected graph on $n$ vertices. Using our machinery, we show that the star $S_n$ is the second laziest connected graph on $n$ vertices (and hence the laziest tree on $n$ vertices), the complete multipartite graph $K_{n-2,1,1}$ is the third laziest connected graph on $n$ vertices, and the double star $DS(n-3,1)$ is the second laziest tree on $n$ vertices. We also show that on the same number of vertices, more unbalanced double stars are lazier.
Resistance Curvature: Recognition, Polyhedral Structure, and Graph Products
Resistance curvature, introduced by Devriendt and Lambiotte, is a novel discrete curvature notion defined through effective resistance. A graph is called resistance nonnegative if there exists a choice of positive edge weights for which the resistance curvature is nonnegative at every vertex. This property has a notable combinatorial interpretation in terms of random spanning trees: a graph is resistance nonnegative if and only if it admits a distribution on its spanning trees under which every vertex has expected degree at most two. The resistance nonnegativity can also be characterized by the tree double matching polytope. These characterizations reveal strong connections among resistance curvature, effective resistance, spanning tree distributions, matching theory, and polyhedral combinatorics. Based on the sign of the curvature, Devriendt introduced the classes of resistance nonnegative (RN), resistance positive (RP), and strictly resistance nonnegative (SRN) graphs, and posed several questions concerning their recognition, polyhedral structure, and structural properties.
In this paper, we first answer Devriendt's question on the computational complexity of recognizing RN, RP, and SRN graphs by proving that all three classes can be recognized in polynomial time. We then address his question concerning the tree double matching polytope $Θ(G)$. Further, we characterize the vertices of $Θ(G)$ in terms of full-rank systems of tight constraints. Whenever $Θ(G)\neq\emptyset$, we also determine the least positive integer $k_G$ such that $k_GΘ(G)$ is a lattice polytope. Finally, for every finite Cartesian product of paths, we explicitly construct an average point satisfying the condition for resistance nonnegativity, thereby obtaining that such graphs are RN. We further characterize the classes of such Cartesian product graphs that are RP or SRN.
A new lower bound for two-color van der Waerden numbers
The van der Waerden number $w(k)$ is the smallest positive integer $N$ such that every two-coloring of $\{1,2,\ldots,N\}$ contains a monochromatic $k$-term arithmetic progression. We prove that $w(k) \geq (1-o(1))k2^{k-1}$ holds for all positive integers $k$. This verifies a conjecture of Erdős. In 1968, Berlekamp proved the same result when $k-1$ is prime. The coloring for general $k$ can be viewed as a product of Berlekamp's colorings for various primes. It was found by ChatGPT 5.6 Sol Pro.
On the Greedoid Tutte Polynomial for simple rooted graphs
The Tutte polynomial, through its rank-generating formula, provides a unified framework for describing various combinatorial structures of graphs and matroids, and serves as an important polynomial invariant connecting graph theory, matroid theory, and their related applications. Let $G=(V(G),E(G),r(G))$ be a simple rooted graph, where $V(G)$ is the vertex set, $E(G)$ is the edge set, and $r(G)$ is the root. Let $Γ(G)$ be the greedoid induced by the rooted graph $G$, and let its greedoid Tutte polynomial be denoted by $T(Γ(G);x,y)$. Let $r=r(G)$, $L_r(G)=\{v\in V(G)\setminus\{r\}: rv\in E(G),\ d_G(v)=1\}$, and $\ell_r(G)=|L_r(G)|$. Gordon and McMahon proposed the following conjecture: for rooted graphs, $\operatorname{ord}_{x}T(Γ(G);x,y)=\ell_r(G)$, where $\operatorname{ord}_{x}T(Γ(G);x,y)=\max\{a\in\mathbb Z_{\geq0}:x^a\mid T(Γ(G);x,y)\}$, that is, the highest power of $x$ dividing $T(Γ(G);x,y)$ is equal to the number of leaf vertices adjacent to the root. In this paper, we proved that this conjecture holds for all simple rooted graphs.
A cube-root phase transition in tree-child networks and the enumeration threshold for galled networks
We prove two surprising results about phylogenetic networks. First, we show that the structure of tree-child networks with $n$ leaves and $k$ reticulation nodes undergoes a sharp phase transition at $n^{1/3}$: if $k=o(n^{1/3})$, then a random tree-child network is almost surely a semi-simplex tree-child network, whereas if $k/n^{1/3}\rightarrow\infty$ and $k=o(n^{1/2})$, it is almost surely not. Second, we show that this result implies that the asymptotic counting formula for galled networks with $n$ leaves and a fixed number $k$ of reticulation nodes remains valid in the range $k=o(n^{1/3})$, but not beyond. This is in strong contrast to recently established results for the asymptotic counting formulas for tree-child and normal networks with $n$ leaves and $k$ reticulation nodes, which are valid in the (optimal) range $k=o(n^{1/2})$.
Borel completeness of the class of countable Steiner triple systems
We show that the isomorphism relation for countable Steiner triple systems is Borel complete, that is, the isomorphism relation for arbitrary countable structures is Borel reducible to that for countable Steiner triple systems. To prove it, we construct a faithful Borel reduction from countable graphs to countable Steiner triple systems, that is, a Borel assignment $θ$ that associates every countable graph $G$ with a countable Steiner triple system $θ(G)$ so that $G\cong G'$ if and only if $θ(G)\congθ(G')$. Moreover, $θ$ preserves automorphisms which means that $\mathrm{Aut}(G)\cong\mathrm{Aut}(θ(G))$.
A Method of Construction of Pairwise Additive Balanced Incomplete Block Designs
The existence of sets of balanced incomplete block (BIB) designs with pairwise additivity, called pairwise additive BIB designs, has been studied through direct and recursive constructions in the literature. This paper presents a new method of constructing such designs from affine resolvable semi-regular group divisible (ARSRGD) designs. Since many known ARSRGD designs are obtained from generalized Hadamard matrices, we also describe the corresponding construction of pairwise additive BIB designs from generalized Hadamard matrices. Using the construction together with known existence results for generalized Hadamard matrices, we obtain several new infinite series of pairwise additive BIB designs, including designs with parameter sets whose existence was previously unknown.
Rigidity of expanders and pseudorandom graphs
A graph $G=(V,E)$ is called $d$-rigid if, for a generic embedding of its vertices in $\mathbb{R}^d$, the only continuous motions of the vertices preserving the distances between all pairs of adjacent vertices are those induced from the isometries of $\mathbb{R}^d$ (that is, translations and rotations of the whole graph). In this paper, we study rigidity properties of pseudorandom graphs.
First, we consider $C$-expander graphs, a class of graphs recently studied in the context of Hamiltonicity of pseudorandom graphs. These are $n$-vertex graphs for which every vertex set $A$ of size smaller than $n/(2C)$ has a neighbourhood of size at least $C|A|$, and for every pair of disjoint sets $A,B$ of size at least $n/(2C)$ each, there is at least one edge between $A$ and $B$. We show that for every $C\ge 8$ and every integer $n\ge 9C$, every $n$-vertex $C$-expander is $\lfloor C/8\rfloor$-rigid.
Next, we study $(n,r,λ)$-graphs, which are $n$-vertex $r$-regular graphs whose non-trivial adjacency eigenvalues are bounded in absolute value by $λ$. This is a well-known family of graphs, known to possess various pseudorandom properties. We prove that there exist absolute constants $c_1,c_2>0$ such that every $(n,r,λ)$-graph $G$ with $λ\le c_1r$ is $\lfloor c_2r\rfloor$-rigid.
Our results are sharp up to the value of the universal constants involved, and they improve and extend previous work by the authors on the rigidity of random and pseudorandom graphs.
Characterisations of finite groups with exponent $q$ via their power graphs
The power graph $P(G)$ of a finite group $G$ is the graph with vertex set $G$ and edge set $E(P(G))=\{uv:\ u,v \in G,\ u \neq v,\ u \in \langle v \rangle \ \text{or}\ v \in \langle u \rangle\},$ where $\langle x\rangle$ denotes the cyclic subgroup generated by $x$. In this paper, we characterise all the finite groups with exponent $q$ whose power graphs are friendship graphs, firefly-type graphs, or torch graphs. We prove that the power graph of a finite group $G$ with exponent $q$ is a friendship graph if and only if $q=3$. In particular, in the abelian case, this is equivalent to $G\cong\mathbb{Z}_3^{n}$. We further show that, among all the symmetric and alternating groups, only $S_3$ and $A_4$ have firefly-type power graphs, whereas no finite group has a power graph isomorphic to a torch graph. Finally, we determine the generalised distance spectra $D_α$-spectra of these graph classes.
Non-bijective scaling limits and phase transitions of planar maps
We prove that the uniform random non-separable planar map with $n$ edges admits the Brownian sphere as Gromov--Hausdorff--Prokhorov scaling limit as $n$ tends to infinity. Our proof introduces a non-bijective ``common-core transfer method'' that constitutes a novel and universal proof strategy for scaling limits of random discrete structures. As an application, we complete the phase diagram for limiting shapes of block-weighted planar maps by Stufler~(2019). We describe phases with limits given by the Brownian sphere, stable trees, and Brownian sphere decorated stable trees recently introduced by S{é}nizergues, Stef{á}nsson and Stufler~(2023).
Abelian maximal pattern complexity of two-dimensional words
In this paper, we study the maximal pattern complexity of two dimensional words up to Abelian equivalence. We establish a lower bound for the Abelian maximal pattern complexity of two-dimensional words that are nondoubly periodic by projection, under either the existence of a transverse recurrence direction or strong recurrence. We further show that this bound is sharp. As a consequence, we obtain the exact complexity for strongly recurrent binary non-doubly periodic words and a boundedness criterion for double periodicity.
Domination game and total domination game played on Sierpiński graphs
The game domination numbers $γ_{\rm g}$ and $γ_{\rm g}^\prime$, and the game total domination numbers $γ_{\rm{tg}}$ and $γ_{\rm{tg}}^\prime$ are investigated on Sierpiński graphs $S_p^n$. For the domination game, the trivial bounds arising from the known domination number and the Grundy domination number of $S_p^n$ are significantly improved by proving that $(2p-3)p^{n-2}\leq γ_{\rm g}(S_p^n), γ_{\rm g}^\prime(S_p^n) \leq (2p-2)p^{n-2}$. For the total domination game the bounds $γ_{\rm{tg}}(S_p^n), γ_{\rm{tg}}^\prime(S_p^n) \geq (2p-2)p^{n-2}$ are established.