math.CO ↗ arXiv
5274 papers in this category
Factorization of invariant polynomials and generalized spectral characterizations of graphs
The problem of characterizing graphs by their generalized spectra has received significant attention in recent years. This paper provides a complete proof of a conjecture proposed by Wang, Wang, and Zhu (European J. Combin., 2023), which asserts that the square-root polynomial of the invariant polynomial $Φ_p(G;x) \in \mathbb{F}_p[x]$ can replace its square-free part to yield a more effective criterion for a graph to be determined by its generalized spectrum (DGS). A key ingredient of our proof is a novel algebraic factorization: we show that the polynomial $Φ_p(G;x)$ is the product of the characteristic polynomials of the adjacency operator restricted to the left null space of the walk matrix and its radical, respectively. Based on this refined DGS-criterion, a broad family of DGS-graphs is constructed via rooted products, significantly generalizing the recent result of Wang, Shen, and Mao (Discrete Appl. Math., 2026).
A short proof of Mathar's 2013 recurrence conjecture for the Meixner sequence A214615
For the OEIS sequence A214615, defined by $a(n) = M_{n}(1)$ where $M_{n}$ is the $n$-th Meixner polynomial satisfying $M_{n+1}(x) = x\,M_{n}(x) - n^{2}\,M_{n-1}(x)$, R.~J.~Mathar contributed on 6~March 2013 the conjectured order-2 P-recursive recurrence $a(n) - a(n-1) + (n-1)^{2}\,a(n-2) = 0$ for $n \ge 2$. We give a one-page proof. The exponential generating function $F(t) = \exp\!\bigl(\arctan t\bigr)/\sqrt{1+t^{2}}$ satisfies the first-order linear ODE $(1+t^{2})\,F'(t) = (1-t)\,F(t)$, and Mathar's recurrence then falls out by reading off the coefficient of $t^{n}/n!$. Both steps are short. The supplementary archive includes a SymPy script that checks the ODE identically and the recurrence numerically up to $n = 500$.
Gluing diagrams part 1: A constructive solution for the Higman-Thompson group isomorphism problem
This paper introduces gluing diagrams a combinatorial tool to construct homomorphisms between the shift pseudogroups of directed graphs and thus also their full groups of shifts. We will establish which of these diagrams produce isomorphisms. As an application, using the interpretation of Higman-Thompson groups as full groups of shifts of specific graphs, we will describe a procedure that constructs gluing diagrams that explicitly describe the isomorphisms between Higman-Thompson groups, conjectured by Higman and whose existence was proven by Pardo arXiv:1006.1759.
Almost planar finitely presented groups
We show that finitely presented groups which admit $k$-planar Cayley graphs contain finite-index subgroups with planar Cayley graphs. More generally, we answer a question of Georgakopoulos and Papasoglu in the special case of coarsely simply connected graphs: a $k$-planar, coarsely simply connected, connected, locally finite, quasi-transitive graph is quasi-isometric to a planar graph.
Closed form logical error rate approximations for surface codes
We propose a novel method to calculate logical error rates in surface codes, assuming independent and identically distributed physical errors. We show how to use our method to analyze hypothetical quantum computers with various configurations and select designs with lower error rates. Currently, this requires expensive classical simulations of quantum decoders for various distances and physical error rates or inaccurate extrapolation from minimal experimental data. Instead, we use the symmetry of the problem to count the configurations that result in a logical error with our novel software. Given a physical error rate, we can deduce the probability of a logical error, to provably good accuracy. We include an analysis of measurement errors to allow a more complete comparison of different surface code implementations.
Cyclic Sieving Phenomenon for Independent sets of graphs
In this paper, we present examples of the cyclic sieving phenomenon coming from studying independent sets in graphs of a fixed size k. Given a graph G, and a cyclic group C acting on the graph, then C also acts on the collection of independent sets of G of a fixed size k. We exhibit cyclic sieving phenomena for a cyclic group acting on the collection of independent sets of powers of cycle graphs. As a corollary, we also find a closed formula for the number of independent sets of a given size in the power of a cycle graph, and in the power of a path. We also show how the graph construction of whiskering can be used to obtain new cyclic sieving phenomena from old phenomena. We also discuss recursive techniques to exhibit cyclic sieving phenomena for the independent sets of gear graphs, helm graphs, and book graphs.
Combinatorial aspects of normal ordering of 3-dimensional skew polynomial rings
In this paper, we discuss combinatorial aspects of normal ordering of 3-dimensional skew polynomial rings defined and classified by Bell and Smith \cite{BellSmith1990}. With some help of the Mathematical software \texttt{SageMath}, we are able to reduce the length of computation of PBW forms and normal orderings appearing in commutation rules of these algebras.
Linearly distributive coherence in the absence of units
Coherence in a monoidal category asserts that all morphisms built from structural isomorphisms with a fixed source and target coincide. These structural isomorphisms include, in particular, the associators. Linearly distributive categories carry two tensor products, with structural morphisms given by associators and distributors relating the two tensor products. In several examples, including Grothendieck--Verdier categories, also known as $\ast$-autonomous categories, these distributors need not be invertible.
We give a self-contained proof that linearly distributive categories without units are coherent, while units may obstruct coherence. With the same techniques, we also establish an analogous coherence result for Frobenius linearly distributive functors without units. These results admit a reformulation in terms of directed paths in associahedra and multiplihedra.
On the largest Sidon subset in a finite subset of $\mathbb{R}^N$
We obtain a new lower bound on the largest Sidon subset of an arbitrary finite set of integers. If $H(n)$ denotes the minimum, over all $n$-element subsets of $\mathbb Z$, of the largest Sidon subset they contain, we prove that $H(n) \geqslant \left(\frac{1}{3\sqrt 3}+o(1)\right)\sqrt n \gtrsim 0.19\sqrt n$. This improves a lower bound of Abbott related to a conjecture of Erdős on Sidon subsets of arbitrary sets of integers. The main ingredient is a compression lemma which produces, from any finite set of integers, a large subset admitting an injective Freiman $2$-morphism into a cyclic group. Combined with Singer's covering of $\mathbb Z/(q^2+q+1)\mathbb Z$ by Sidon sets, this yields the stated bound.
We further extend the result to finite subsets of $\mathbb R^N$, uniformly in the dimension, by means of a projection argument and a Dirichlet approximation preserving Sidon's equation. As a consequence, every set of $n$ points in $\mathbb R^N$ contains a Sidon subset of cardinality at least $\left(\frac{1}{3\sqrt 3}+o(1)\right)\sqrt n$. We also discuss an adaptation to $B_2[g]$ sets, obtaining a lower bound of order $\frac{1}{3\sqrt 3}\sqrt{gn}$, and explain how the method can be adapted to other linear additive constraints.
Analytic summation of series involving higher-order derivatives of Chebyshev polynomials of the second kind and their applications to convolved linear recurrent sequences
This paper considers functional series whose terms are higher-order derivatives of Chebyshev polynomials of the second kind, where the degree of the polynomial is related to the order of the derivative. Analytic summation is used to determine the rational functions to which these series converge. These functions are expressed in terms of Chebyshev polynomials evaluated at a specific argument. Connections are established between derivatives of Chebyshev polynomials of the second kind and special numerical sequences generated by linear recurrence relations. New closed-form formulas are obtained for the sums of the series at various values of the argument. As consequences, combinatorial identities are derived for the Fibonacci, Lucas, and Pell numbers, for sections of the Fibonacci sequence, and for their convolutions. By means of analytic continuation, sums of formally divergent series are obtained, which in special cases correspond to the classical Euler formulas.
A Partition-Based Generating Function for Row-Convex Polyominoes
An alternative generating function is proposed to enumerate row-convex polyominoes without internal holes on a discrete grid. The approach is based on integer partitions of the total area, where each partition corresponds to a sequence of row lengths, and the product of all permutations of the parts accounts for all possible horizontal alignments of consecutive rows. Summing over the products yields a formula for the total number of convex polyominoes of a given size. Numerical examples are provided for small areas, and the exact generating function is derived via a transfer series argument, establishing the asymptotic growth S(N) as A2^(N) cos(N*theta) + phi) with theta = arctan(sqrt(7)/3). The method establishes a direct connection between integer partitions and polyomino enumeration, offering a simple yet effective framework for both exact and asymptotic combinatorial analysis. Potential applications include shape priors in discrete image analysis, grid-based modeling, and combinatorial generation of convex structures.
Improving SAT Solvers on Orthogonal Latin Square Problems
Latin squares are $n\times n$ matrices containing $n$ symbols, where each symbol appears exactly once in each row and column. They were studied by Euler, later popularized through Sudoku, and remain a rich source of difficult combinatorial search problems. Two Latin squares are orthogonal mates if, when overlaid, no ordered pair of symbols repeats. Pairs of orthogonal Latin squares exist for every order except 2 and 6, but finding orthogonal Latin squares computationally can be challenging.
Satisfiability (SAT) solvers are strong at combinatorial search and have been used to resolve a number of various kinds of orthogonal Latin square problems. On the other hand, SAT solvers lack domain knowledge about Latin squares, such as the Euler-Parker algorithm for orthogonal mate construction. In this paper, we propose a hybrid method combining a SAT solver with the Euler-Parker algorithm (implemented using a Diophantine system solver) and show that the resulting solver is effective at finding certain kinds of orthogonal Latin squares. For example, certain pairs of $10\times10$ orthogonal Latin squares whose existence was unknown for over 25 years were recently found by Bright, Keita, and Stevens using a SAT solver. The hardest cases could not be solved by the SAT solver CaDiCaL within seven days, but CaDiCaL augmented with an external Euler-Parker algorithm solves these cases in a median of around 5,100 seconds.
A local Turán inequality for walks and the spectral radius
For a vertex $v$, let $c_G(v)$ be the order of the largest clique containing $v$, and let $w_r(v)$ be the number of walks with $r$ vertices starting at $v$. We prove that, for every finite simple graph $G$ and every integer $r\ge 1$, \begin{flalign*}
λ_1(G)^r
\le
\sum_{v\in V(G)} w_r(v)\frac{c_G(v)-1}{c_G(v)}. \end{flalign*} This confirms a conjecture of Kannan, Kumar, and Pragada. It strengthens Nikiforov's walk inequality and extends, in a unified form, the localized Wilf theorem and the degree-local Turán inequality of Liu and Ning. The proof is based on the stationary distribution of a Markov chain whose transition matrix is constructed from a Perron vector of $A(G)$, together with a weighted local spectral Turán theorem. We determine all the extremal graphs.
Trees and Graphs with Non Log-concave Dominating Set Sequence via AI Tools
We give new examples of graphs and trees with dominating set sequences that are not log-concave. These examples were generated by PatternBoost, a transformer-based reinforcement learning software developed by Charton-Ellenberg-Wagner-Williamson. We also show: for any positive integer $m$, there exists a tree whose dominating set sequence is not log-concave for at least $m$ indices by modifying a similar construction of Bautista-Ramos for the independent set sequence. We show that a large class of caterpillar graphs has log-concave dominating set sequences. A continuous analogue of the sequence is also log-concave for all graphs.
On conjectural fermionic formulas for the Macdonald index in Argyres-Douglas theories
We prove a fermionic-bosonic duality relation for the Macdonald index in Argyres-Douglas theories of type $(A_1, D_{2k+1})$, thereby yielding a conjectural fermionic formula due to Andrews et al. Our duality is built upon a new conjugate Bailey pair to be established using techniques from orthogonal polynomials and basic hypergeometric series. In addition, this fermionic formula implies another sum-like expression for the Macdonald index conjectured by Kim, Kim, and Song.
Perfect state transfer in Grover walks on dihedral Cayley graphs
The paper investigates perfect state transfer (PST) in Grover walks on Cayley graphs over the dihedral group $D_n$. The Grover walk is a discrete-time quantum walk widely studied in quantum information processing. A Cayley graph $\operatorname{Cay}(Γ,S)$ is called normal if $S$ is the union of some conjugacy classes of the group $Γ$; otherwise, it is called non-normal. Most existing studies have been restricted to Cayley graphs over abelian groups. In contrast, we investigate both normal and non-normal cases for Cayley graphs over the non-abelian group $D_n$. By examining the parity of $n$ and the normality of the Cayley graph, we obtain a complete characterization of PST on $\operatorname{Cay}(D_n,S)$. In particular, we establish necessary and sufficient conditions for the occurrence of PST in all possible cases, and prove that PST does not occur for normal Cayley graphs when $n$ is odd. Furthermore, we construct several infinite families of normal and non-normal Cayley graphs $\operatorname{Cay}(D_n,S)$ that exhibit PST, illustrating the application of the main result. Our approach is based on the representation theory of the dihedral group.
Word-Representability of Shift Graphs
A graph $G=(V,E)$ is word-representable if there exists a word $w$ over the alphabet $V$ such that letters $x$ and $y$ alternate in $w$ if and only if $xy\in E$. For integers $n>k>0 $, the shift graph $G(n,k)$ is the graph whose vertex set consists of all increasing $k$-tuples $(x_1,x_2,\dots,x_k)$ with $1\le x_1<x_2<\cdots<x_k\le n$, where two vertices $(x_1,\dots,x_k)$ and $(y_1,\dots,y_k)$ are adjacent whenever $x_{i+1}=y_i$ for all $1\le i\le k-1$ or $y_{i+1}=x_i$ for all $1\le i\le k-1$. Shift graphs are classical examples of sparse graphs having arbitrarily high chromatic number and odd girth. We further observe that shift graphs arise naturally as induced subgraphs of simplified de Bruijn graphs. Although simplified de Bruijn graphs contain non-word-representable members in general, we prove that the entire class of shift graphs is word-representable. We also introduce a natural generalization of shift graphs in which adjacency is defined by more than one shift condition, and show that these generalized shift graphs are likewise word-representable. As a consequence, we obtain an explicit family of graphs exhibiting a contrast between line graph and line digraph constructions: there exists a family of word-representable graphs whose line graphs are not word-representable when the number of vertices is at least $5$, while their line digraphs are word-representable.
On the approximation of permutons
We study the optimal rectangular-discrepancy approximation of permutons by finite permutations. We transfer bounds from discrepancy theory to this more restricted setup. Moreover, we show that superlinear approximation can occur only for permutons supported by graphs of measure-preserving functions, and demonstrate how the local regularity of this function obstructs approximability. We also consider the biased Brownian separable permuton and prove a lower bound on its approximation error by showing that its supporting measure-preserving function has Lipschitz points almost surely.
Graceful labelings of spiders with three-edge legs and pendant leaves at the center
A graph $G$ on $m$ edges is graceful if there is an injection $f : V(G) \to \{0, 1, \ldots, m\}$ whose induced edge labels $\{|f(u) - f(v)| : uv \in E(G)\}$ are exactly $\{1, 2, \ldots, m\}$. Ringel and Kotzig conjectured in 1964 that every tree is graceful. A computer check has confirmed this for all trees on at most 35 vertices (Fang 2010), but no general proof is known. Here we exhibit an infinite family of trees that escapes the named spider results of Bahls--Lake--Wertheim, Panpa--Poomsa-ard, and Panpa--Imnang--Wasuanankul: the family $T(k, m)$ of spiders with $k$ legs of length $3$ together with $m$ pendant leaves at the centre. We prove every such tree is graceful for all $k \ge 1$ and $m \ge 0$. The argument splits into two short lemmas. The first is a pendant-extension lemma that applies whenever the underlying graceful labeling sends the centre to $0$; the second is the base case, namely that $S_{k, 3}$ admits exactly such an apex-zero labeling, a fact already implicit in Bahls--Lake--Wertheim (2010). What is new is the explicit identification of $T(k, m)$ and the observation that the family is closed under both pendant addition and the apex-zero condition, so it includes infinitely many trees not handled by the named theorems above.
A characterization for positive semi-definite matrix products
A well-known fact in linear algebra is that $A^T A$ is always positive semi-definite for any real matrix $A$. We consider a generalization of this fact via the following decision problem. Given a symbolic product of length $k$, consisting of $\ell$ variables and their transposes, such as $ABB^TCA^T$, does there exist an $n\in\mathbb N$ and an assignment of matrices from $\mathbb R^{n\times n}$ such that the resulting matrix product has a negative eigenvalue? We show that this problem is decidable and provide a simple characterization of those symbolic products that have only non-negative real eigenvalues for any assignment of matrices. This characterization can also be understood as a matrix analogue of the positive graph conjecture by Camarena, Csóka, Hubai, Lippner, and Lovász, and the proof relies on this surprising connection to graph theory.