math.CO ↗ arXiv
7121 papers in this category
Temperley-Lieb Immanants of Ribbon Decomposition Matrices
Ribbon decomposition matrices give determinantal formulas for skew Schur functions that include as special cases the classical Jacobi-Trudi, Giambelli, and Lascoux-Pragacz formulas. We prove that certain elements of Lusztig's dual canonical basis, called Temperley-Lieb immanants, are Schur-positive when evaluated on ribbon decomposition matrices. We conjecture that this positivity holds for all elements of the dual canonical basis. This is known in the special case of Jacobi-Trudi matrices by a result of Haiman.
Bootstrapping Tensor Integrals
This work proposes a bootstrapping with positivity methodology to study random $U(N)^{D}$ invariant tensors in the large $N$ limit. As has been done for $U(N)$ invariant random matrices, we combine the Dyson-Schwinger equations and positivity constraints of moments to approximate the moments of such tensor models. As examples, we bootstrap the quartic and two hexic rank three tensor models. All models studied converge quickly, and for those which have known analytic formulae, they converge to such solutions. We conjecture new explicit formulae for all moments of the rank three quartic model and support this conjecture using bootstrapped results and explicit double-series computations with 'feyntensor'.
Group Structure from Subgroup and Cyclic Subgroup Counts
For a finite group \(G\), let \(\sub(G)\) be the number of subgroups of \(G\), let \(\cyc(G)\) be the number of cyclic subgroups, and let \(π(G)\) be the number of distinct prime divisors of \(|G|\). We study the normalized counts \(λ(G)=\sub(G)/2^{π(G)}\) and \(η(G)=\cyc(G)/2^{π(G)}\). We prove that \(η(G)<5/4\) or \(λ(G)<3/2\) implies that \(G\) is cyclic of squarefree order. The inequalities \(η(G)<2\) and \(λ(G)<5/2\) each force all Sylow subgroups to be cyclic, and hence imply metacyclicity. For the subgroup count, we give an exact arithmetic criterion in the parameters of the corresponding \(ZM\)-presentation. We determine all values with \(1<η(G)<2\) and \(1<λ(G)<5/2\), and prove that \(λ(G)<59/8\) or \(η(G)<4\) implies solvability. Both solvability bounds are sharp. We also describe how cyclic direct factors of coprime order affect the two normalized counts.
Permutation modules for Ramsey structures
Suppose $R$ is a commutative ring and $G$ is a group acting on a set $W$. We consider the $RG$-module $RW$ in the case where $G$ is the automorphism group of an $ω$-categorical structure $M$ and $W$ is, for example, $M^n$ (for $n \in \mathbb{N}$). We develop methods which may provide information about two questions in the case where $R$ is a field $F$: whether $FW$ has a.c.c. on submodules; and in the case where $M$ is finitely homogeneous, whether $FW$ is of finite composition length. In the case where $M$ is a Ramsey structure and so $G$ is extremely amenable, we give a simple `decision procedure' for membership in a submodule of $RW$ specified by a given generating set. If $F$ is a field, we show that there is a duality between submodules of $FW$ and the topological $FG$-module of definable functions from $W$ to $F$.
The Spectrum of Triangle-free Graphs
Published
• View Publication
• BIB
Denote by $q_n(G)$ the smallest eigenvalue of the signless Laplacian matrix of an $n$-vertex graph $G$. Brandt conjectured in 1997 that for regular triangle-free graphs $q_n(G) \leq \frac{4n}{25}$. We prove a stronger result: If $G$ is a triangle-free graph then $q_n(G) \leq \frac{15n}{94}< \frac{4n}{25}$. Brandt's conjecture is a subproblem of two famous conjectures of Erdős:
(1) Sparse-Half-Conjecture: Every $n$-vertex triangle-free graph has a subset of vertices of size $\left\lfloor\frac{n}{2}\right\rfloor$ spanning at most $n^2/50$ edges.
(2) Every $n$-vertex triangle-free graph can be made bipartite by removing at most $n^2/25$ edges.
In our proof we use linear algebraic methods to upper bound $q_n(G)$ by the ratio between the number of induced paths with 3 and 4 vertices. We give an upper bound on this ratio via the method of flag algebras.
Sharp Embeddings of Layer-Rainbow Cubes and Orthogonal Pairs
We determine the exact extension threshold for one-factorizations of complete tripartite $3$-uniform hypergraphs. Equivalently, for $n>m$, every order-$m$ layer-rainbow cube embeds in one of order $n$ if and only if $n\ge2m$. We then study injectively orthogonal pairs, in which no ordered pair of symbols is repeated. Such pairs exist in every positive order except $2$, and every order-$m$ pair with $m\ge3$ embeds in every order $n\ge3m$. At the sharp order $2m$, embedding occurs exactly when the pair has a disjoint mate. The symbol-pair graph carries three distinguished one-factorizations whose triple intersections recover the cube, yielding several sufficient conditions for sharp embedding, including a finite-group construction. Finally, layer-rainbow cubes are proper $n^2$-colorings of the square of the Hamming graph, and the three one-factorizations of an orthogonal pair recover the Hamming geometry of the cells.
Structure, Coloring, and Perfect Divisibility of $(P_2\cup P_4, C_3)$-Free Graphs
Goedgebeur and Schaudt [J. Graph Theory 87 (2018), 188-207] conjectured that every $4$-vertex-critical $(P_7,C_3)$-free graph belongs to a family of seven explicitly defined graphs. In this paper, we establish a structural theorem for connected $(P_2\cup P_4,C_3)$-free graphs. As a consequence, we prove that the Mycielski-Grötzsch graph is the unique $4$-vertex-critical graph in this class, thereby confirming the conjecture of Goedgebeur and Schaudt for $(P_2\cup P_4,C_3)$-free graphs. Our structural theorem also yields a characterization of the chromatic number of these graphs and an $O(n^4)$-time algorithm for deciding whether an $n$-vertex $(P_2\cup P_4,C_3)$-free graph is $3$-colorable.
We further study perfect divisibility in the larger class of $(P_2\cup P_4,\text{bull})$-free graphs. We prove that a $(P_2\cup P_4,\text{bull})$-free graph is perfectly divisible if and only if it is Mycielski-Grötzsch graph-free. This result generalizes the main theorem of Deng and Chang [Graphs Combin. 41 (2025), 63].
On Few-Distance Sets in the Plane
Let $g(k)$ be the maximum size of a planar set that determines at most $k$ distances. We prove $$\fracπ{3\,C(Λ_{hex})}\ k\sqrt{\log k} (1+o(1)) \le g(k) \le C k\log k,$$ so $g(k) \asymp k\sqrt{\log k}$ with an explicit constant from the hexagonal lattice. For any arithmetic lattice $Λ$ we show $$g_Λ(k)\ge (π/4) S^*(Λ) k\sqrt{\log k} (1+o(1)).$$ We also give quantitative stability: unless $X$ is line-heavy or has two popular nonparallel shifts, either almost all ordered pairs lie below a high quantile of the distance multiset (near-center localization), or a constant fraction of $X\cap W$ lies in one residue class modulo $2Λ$.
Restricted inversion polynomials
For a finite subset $I$ of positive integers, the descent polynomial $\mathcal{D}(I;n)$ counts the number of permutations in $S_n$ that have descent set $I$. We generalize descent polynomials by considering permutations with a specific subset $S$ of common inversions called $\mathbf{h}$-inversions, where $\mathbf{h} = (\mathbf{h}(1), \mathbf{h}(2), \ldots )$ is a weakly increasing sequence of positive integers such that $\mathbf{h}(i)> i$. We prove that this more general count, denoted by $\mathcal{I}_\mathbf{h}(S;n)$, is also a polynomial. We give three explicit expansions for $\mathcal{I}_\mathbf{h}(S;n)$, prove the coefficients for two of these expansions are log-concave, and define a graded generalization.
Spectrally symmetric orientations of graphs
The Hermitian adjacency matrices of digraphs based on the sixth root of unity were introduced in [B. Mohar, A new kind of Hermitian matrices for digraphs, Linear Alg. Appl. (2020)]. They appear to be the most natural choice for the spectral theory of digraphs. Undirected graphs have adjacency spectrum symmetric about 0 if and only if they are bipartite. The situation is more complex for the Hermitian spectra of digraphs. In this paper we study non-bipartite oriented graphs with symmetric Hermitian spectra. Our main result concerns the extremal problem of maximizing the density of spectrally symmetric oriented graphs. The maximum possible density is shown to be between 31/36} and 10/11. Furthermore, we give a necessary condition for an oriented graph to be spectrally symmetric based on the adjacency spectrum of the underlying graph. This allows us to show that line graphs of sufficiently dense graphs do not admit spectrally symmetric orientations. We also show how to construct infinite families of spectrally symmetric graphs using 1-sums.
The Full P-vertex Problem and Perfect Matchings for Bipartite Graphs
In a recent work, Sharma and Panda~\cite{sharma} showed that every bipartite graph with a perfect matching has property (P), and proved the converse for trees and unicyclic bipartite graphs (i.e., bipartite graphs with cycle rank $m(G) \le 1$). In this paper, we extend this result to broader classes of bipartite graphs. We first show that every bipartite graph with property (P) is balanced. We prove that the converse holds for all bipartite graphs with cycle rank $m(G)$ at most three, and further establish it for several additional families of bipartite graphs. Finally, we derive algebraic constraints for balanced bipartite graphs without perfect matchings and use them to identify a family of bipartite graphs that does not have property (P).
Maximizing entropy for power-free languages
A power-free language is characterized by the number of symbols used and a limit on how many times a block of symbols can repeat consecutively. For certain values of these parameters, it is known that the number of legal words grows exponentially fast with respect to length. In the terminology of dynamical systems and ergodic theory, this means that the corresponding shift space has positive topological entropy.
We prove that in many cases, this shift space has a unique measure of maximal entropy. The proof uses a weak analogue of Bowen's specification property. The lack of any periodic points in power-free shift spaces stands in striking contrast to other applications of specification-based techniques, where the number of periodic points often has exponential growth rate given by the topological entropy.
New cosystolic high-dimensional expanders from KMS groups
Cosystolic expansion is a high-dimensional generalization of the Cheeger constant for simplicial complexes. Originally, this notion was motivated by the fact that it implies the topological overlapping property, but more recently it was shown to be connected to problems in theoretical computer science such as list agreement expansion and agreement expansion in the low soundness regime.
There are only a few constructions of high-dimensional cosystolic expanders and, in dimension larger than $2$, the only known constructions prior to our work were (co-dimension 1)-skeletons of quotients of affine buildings. In this paper, we give the first coset complex construction of cosystolic expanders for an arbitrary dimension. Our construction is more symmetric and arguably more elementary than the previous constructions relying on quotients of affine buildings.
The coset complexes we consider arise from finite quotients of Kac--Moody--Steinberg (KMS) groups and are known as KMS complexes. KMS complexes were introduced in recent work by Grave de Peralta and Valentiner-Branth where it was shown that they are local-spectral expanders. Our result is that KMS complexes, satisfying some minor condition, give rise to infinite families of bounded degree cosystolic expanders of arbitrary dimension and for any finitely generated Abelian coefficient group.
This result is achieved by observing that proper links of KMS complexes are joins of opposition complexes in spherical buildings. In order to show that these opposition complexes are coboundary expanders, we develop a new method for constructing cone functions by iteratively adding sets of vertices. Hence we show that the links of KMS complexes are coboundary expanders. Using the prior local-to-global results, we obtain cosystolic expansion for the (co-dimension 1)-skeletons of the KMS complexes.
Peak state transfer in continuous quantum walks
We introduce and study peak state transfer, a notion of high state transfer in qubit networks modeled by continuous-time quantum walks. Unlike perfect or pretty good state transfer, peak state transfer does not require fidelity arbitrarily close to 1, but crucially allows for an explicit determination of the time at which transfer occurs. We provide a spectral characterization of peak state transfer, which allows us to find many examples of peak state transfer, and we also establish tight lower bounds on fidelity and success probability. As a central example, we construct a family of weighted path graphs that admit peak state transfer over arbitrarily long distances with transfer probability approaching $π/4 \approx 0.78$. These graphs offer exponentially improved sensitivity over known perfect state transfer examples such as the weighted paths related to hypercubes, making them practical candidates for efficient quantum wires.
Resolving subcategories for gentle algebras I: Monogeneous resolving subcategories for gentle trees
This paper is the first part of a series that intends to study resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$.
In a general setting, we improve the precision of Takahashi's algorithm for resolving closure calculations in well-behaved abelian categories. Then, we modify the geometric model of Baur--Coelho-Simões and Opper--Plamondon--Schroll to compute such subcategories for gentle quivers that have a finite global dimension.
Finally, we focus on gentle quivers $(Q,R)$ such that $Q$ is a directed tree, and we study monogeneous resolving subcategories, which are the ones generated by a single non-projective indecomposable $\mathbb{K}Q/\langle R \rangle$-module. Moreover, we prove that these subcategories are the join-irreducible elements of the poset of all resolving subcategories ordered by inclusion.
On the intersection of pairs of trees
Published in European Journal of Combinatorics 139 (2027), 104437
• View Publication
• BIB
We consider the number of common edges in two independent random spanning trees of a graph $G$. For complete graphs $K_n$, we give a new proof of the fact, originally obtained by Moon, that the distribution converges to a Poisson distribution with expected value $2$. This is applied to show a Poisson limit law for the number of common edges in two independent random spanning trees of an Erdős--Rényi random graph $G(n,p)$ for constant~$p$, as well as a central limit theorem in the case where $p\to 0$ and $p\geq n^{-2/3+\varepsilon}$. We also use the same method to prove an analogous result for complete multipartite graphs.
Perfect codes in weakly metric association schemes
The Lloyd Theorem of (Solé, 1989) is combined with the Schwartz-Zippel Lemma of theoretical computer science to derive non-existence results for perfect codes in the Lee metric, NRT metric, mixed Hamming metric, and for the sum-rank distance. The proofs are based on asymptotic enumeration of integer partitions. The framework is the new concept of {\em polynomial} weakly metric association schemes.
A connection between this notion and the recent theory of multivariate P-polynomial schemes of ( Bannai et al. 2025) and of $m$-distance regular graphs ( Bernard et al 2025) is pointed out.
The additive-square-free spectrum below 139
For a finite real alphabet $T$, let $g(T)$ be the supremum of the lengths of words over $T$ containing no two adjacent nonempty blocks of equal length and equal sum. We classify all four-element alphabets with $g(T)<139$. Up to affine equivalence, these are the known endpoint-sum family and seven isolated classes. Exhaustive finite searches give the isolated values, while 77 explicit words prove that every remaining real alphabet admits a word of length 139. The latter argument uses exact intersections of finite unions of lines, so it covers irrational parameters as well. The cutoff is sharp because $g(\{0,2,3,7\})=139$. We also obtain a sharp cutoff of 167 within the family $\{0,1,x,x+2\}$, $x>1$. The required supplement prints the word certificates and specifies the complete-search evidence.
Periodic Joint Co-tiles of Independent Tiles
For every $d\geq2$, we prove that $d-1$ independent finite tiles in $\Z^d$ admit a fully periodic joint co-tile whenever they admit a joint co-tile. Here independence means that the tiles contain the origin and every choice of one nonzero vector from each tile is linearly independent. This removes property $(\star)$ from the periodic existence theorem of Meyerovitch, Sanadhya and Solomon and recovers Bhattacharya's theorem when $d=2$. More generally, we prove periodic existence for any finite family admitting a joint co-tile whose indicator is a fully periodic real function plus finitely many bounded real functions, each invariant under a subgroup of rank $d-1$. Extending the Boolean normal-form method of Greenfeld and Tao, we obtain a configuration in the translation orbit closure whose restrictions to cosets of a finite-index lattice are either invariant under a rank-$(d-1)$ subgroup or given by a three-term affine fractional-part formula with density one half. The tiling equations pair the restrictions given by this formula and determine a finite bipartite graph. A two-coloring replaces those restrictions by constants while preserving every tiling equation. We deduce a characterization of periodic tilability by independent companions and a decision algorithm for families containing an independent $(d-1)$-subfamily, with the dimension as part of the input.
Arithmetic triangular structures in the transfer-matrix of finite Kronig-Penney models
This work provides a complete analytical characterization of the transfer- matrix structure associated with the finite Kronig-Penney model consisting of one-dimensional arrays of Dirac delta potentials recently introduced by Figueroa et al. (2025). Although their study identified the emergence of specific transfer-matrix entries and related combinatorial coefficients, a rig- orous derivation of the corresponding closed-form expressions has not yet been established. By expressing the N th power of the unit-cell transfer ma- trix in terms of Chebyshev polynomials of the second kind, we obtain explicit closed-form representations for the global transmission and reflection ampli- tudes. The proposed formulation reveals a previously unrecognized structural correspondence between multiple quantum scattering processes, discrete con- volutional patterns, and hypercomplex combinatorial structures.