Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Cayley graph diameters for fixed cycle types are eventually quasipolynomial
Given a cycle type, the corresponding conjugacy class of $S_n$ generates either $S_n$ or $A_n$ for sufficiently large $n$. We prove that the sequence of diameters of Cayley graphs is eventually polynomial on residue classes for any fixed cycle type. This result is also extended to finite unions of conjugacy classes.
Optimal Bounds on Spanning Tree Embeddings
We prove that the number of labelled embeddings of any $n$-vertex tree $T$ into an $n$-vertex graph $G$ of maximum degree $d$ satisfies $$ \mathrm{inj}(T,G) \leq (d/e)^n \exp(o_d(1) n). $$ The bound is sharp up to determining $o_d(1)$, even for paths, and the dependence of the error $\exp(o_d(1)n)$ on $d$ is necessary. As an immediate corollary, we obtain an optimal anticoncentration bound for the isomorphism class of a uniformly random spanning tree in a connected $d$-regular graph, answering a conjecture of H. Lee. The proof combines Brégman's inequality with entropy methods.
Can one hear the shape of a lattice random walk?
We construct distinct high-dimensional mean-zero finite range lattice random walks having pairwise-equal return probabilities for all step counts. The same examples provide pairwise-distinct shapes of discretizations of the standard Laplacian with pairwise-equal density state functions.
The main contribution is a reconstruction theorem: to a colored trivalent graph one associates a quantum Clebsch--Gordan polytope, and this association is a full functor, in particular from the polytope one can uniquely recover the original graph. These polytopes appear as moment polytopes of toric degenerations of character varieties (moduli spaces of rank-2 bundles on curves), yielding a combinatorial non-abelian Torelli theorem. In symplectic geometry, the reconstruction theorem implies that monotone Lagrangian tori on odd character varieties associated with these degenerations are pairwise non-Hamiltonian isotopic. These results, and some of the applications, arose from the study of mirror symmetry for moduli spaces of vector bundles, and of the related Laurent phenomenon for mutations of graph potentials.
Perfect state transfer on mixed graphs: complete classes and transfer times
For perfect state transfer (PST) on unweighted mixed graphs, we classify the normalized transfer times of complete PST classes. A finite set $Λ\subset\mathbb R/\mathbb Z$ containing zero occurs at a nonstationary periodic vertex if and only if $\cos(2π(x-y))\in\mathbb Q$ for all $x,y\inΛ$. Every admissible set has a connected oriented realization. We also classify the possible return phases of oriented realizations at the minimum vertex period. Transfers at rational multiples of the common minimum vertex period partition a complete class into sets of size at most six, or at most three in an oriented graph with return phase $-1$; both bounds are sharp. We construct complete classes of every finite size, including classes in which all transfers between distinct vertices occur at irrational multiples of the period and no switching automorphism maps a class vertex to a distinct class vertex. We also characterize simultaneous realization in connected oriented graphs with prescribed relative minimum vertex periods and return phases. The proof combines an imaginary quadratic field restriction with an unweighted construction that selects the complete target set.
Maximum $2$-scattered subspaces of $V(r,q^6)$
For every prime power $q$ and every integer $r\geq5$ coprime to $6$, we construct a maximum $2$-scattered $\mathbb{F}_q$-subspace of $V(r,q^6)$. The construction is a two-dimensional $\mathbb{F}_{q^r}$-subspace of $\mathbb{F}_{q^{6r}}$, viewed as an $r$-dimensional vector space over $\mathbb{F}_{q^6}$. A trace argument reduces the proof to the complementarity of two $\mathbb{F}_{q^r}$-subspaces. We establish this complementarity by separating two cases, which lead to a cubic polynomial obstruction and a quadratic norm obstruction. The associated rank-metric code is a $[2r,r,4]_{q^6/q}$ MRD code equivalent to its dual. Taking the cases $r=5,7$ and direct sums with the standard dimension-three construction gives maximum $2$-scattered subspaces of $V(r,q^6)$ for every $q$ and every $r\geq3$ except $r=4$. When $q$ is an odd power of $2$, the known dimension-four construction also covers this remaining case.
A cubical approach to homology theories for hypergraphs
We introduce three homology theories for hypergraphs, namely $Γ$-homology, $\Box$-homology, and $\times$-homology, and show that they are pairwise non-isomorphic and distinct from the embedded homology of hypergraphs. We further introduce a notion of homotopy for hypergraphs that extends the discrete homotopy theory of graphs. Among the homology theories considered, we prove that $\Box$-homology is invariant under this homotopy, whereas $Γ$-homology and $\times$-homology fail to satisfy homotopy invariance. Based on excision, we also identify a distinctive structural behavior exhibited by $Γ$-homology that further differentiates it from $\Box$-homology.
A duality-preserving extension of the Worley-Sagan insertion and Haiman's mixed insertion for the hyperoctahedral group
The Worley-Sagan insertion and Haiman's mixed insertion are insertion algorithms for shifted Young tableaux, and each of them gives a Robinson-Schensted-type correspondence between the symmetric group of degree $n$ and a set consisting of certain pairs of same-shape shifted Young tableaux with $n$ cells. It is a known fact that these two insertions are dual to each other. Our purpose is to give an extension of these two insertions without losing the duality relationship. The extended ones will be insertions producing pairs of shifted tableaux from colored permutations. Our extension of the Worley-Sagan insertion is different from the restriction of Sagan's own "Knuth version" to colored permutations. In proving the duality between our extended insertions, we "embed" them into Shimozono and White's doubly mixed insertion for unshifted tableaux by "doubling" shifted tableaux and use the self-duality of the doubly mixed insertion shown by Shimozono and White.
Polynomial-in-$r$ bounds for forbidden traces of uniform hypergraphs
We give a general principle that converts fixed-uniformity bounds for forbidden traces into bounds with polynomial dependence on the uniformity. More precisely, let $H$ be a fixed set system on $h\ge1$ vertices, and suppose that, for some $α\ge0$, $\operatorname{ex}_j(m,\operatorname{Tr}(H))=O_{H,j}(m^α)$ for every fixed integer $j\ge1$. Then, for every $\varepsilon>0$, there is a constant $C_{H,α,\varepsilon}$ such that \[
\operatorname{ex}_r(m,\operatorname{Tr}(H))
\le C_{H,α,\varepsilon} r^{h-1-α+\varepsilon}m^α\] for all $m\ge r\ge2$.
In particular, for trace-$C_4$-free hypergraphs and every $\varepsilon>0$ there is a constant $C_\varepsilon$ such that \[
\operatorname{ex}_r(m,\operatorname{Tr}(C_4))
\le C_\varepsilon r^{3/2+\varepsilon}m^{3/2} \] for all $m\ge r\ge2$. We also construct trace-$C_4$-free $r$-graphs showing that \[ \operatorname{ex}_r(m,\operatorname{Tr}(C_4)) \ge c r^{1/2}m^{3/2} \] for an absolute constant $c>0$, for every fixed $r\ge3$ and all sufficiently large $m$ (depending on $r$).
On Hypergraph Colorings and Completely Independent Spanning Trees in Chordal Graphs
In this paper, we study the existence problem of completely independent spanning trees (CIST) in chordal graphs through appropriate hypergraph representations and their panchromatic and bipanchromatic colorings. First, we disprove a conjecture stating an exact relationship between the panchromatic number, the bipanchromatic number, and the minimum number of unique colors in an optimal panchromatic coloring of a hypergraph. Then, by relating CIST to panchromatic and bipanchromatic colorings of the associated hypergraphs, we derive structural conditions for their existence in chordal graphs and specifically strictly chordal graphs.
Hedetniemi's Conjecture for Uncountable Complementary Graphs
We study the complementary version of Hedetniemi's problem for infinite graphs. We prove that if a graph $G$ and its complement $\overline{G}$ are both uncountably chromatic while their categorical product is countably chromatic, then $|V(G)|=ω_1$. Assuming $\diamondsuit$, we construct a graph $G$ on $ω_1$ such that $χ(G)=χ(\overline{G})=ω_1$ and $χ(G\times\overline{G})=ω$; the construction uses two suitably chosen minimal Countryman lines. We also define a c.c.c. forcing of cardinality $ω_1$ that adds a graph with the same properties. It remains open whether ZFC alone proves the existence of such a graph.
On the number of cokernel-closed additive subcategories for uniformly oriented $A_n$ quivers
We study the integer sequence that enumerates cokernel-closed, idempotent split, full, additive subcategories of the category of finite dimensional complex representations of a uniformly oriented $A_n$ quiver. Using a combinatorial model, we describe a non-obvious connection of this sequence to Catalan numbers and derive an implicit recurrence. We also describe some basic properties of the lattice underlying the sequences, in particular, we give an explicit description of the meet irreducible elements of that lattice.
From stylic monoid to Catalan monoid
The stylic monoid $\mathrm{Styl}_n$, introduced by Abram and Reutenauer, is the quotient of the plactic monoid by the relations $x^2=x$, and its elements are represented by $N$-tableaux. Volkov showed that the Catalan monoid $\mathrm{Cat}_n$ of order-preserving, order-decreasing self-maps of $\{0,1,\ldots,n\}$ is a quotient of $\mathrm{Styl}_n$. However, the quotient map is defined on generators, and it is not apparent how to see, from an $N$-tableau, the map in $\mathrm{Cat}_n$ it corresponds to. In this paper we give a simple visual way to read off this map, and some of its main properties, from the $N$-tableau.
The new ingredient is that we do not insist on drawing an $N$-tableau as a classical Young tableau: we allow the entries of each row to be shifted relative to the row below, as long as each entry stays above a smaller one. We call this a positioning, and prove that the column word read from any positioning is plactically equivalent to the usual column word; so every positioning can be used to compute the quotient map. We work with the tight positioning, in which each entry is pushed as far right as possible, and define the full core of an $N$-tableau: the part of each column that climbs by consecutive values from the bottom row. We call an $N$-tableau full if it equals its full core. We prove that passing to the full core does not change the image in $\mathrm{Cat}_n$, that full $N$-tableaux are in bijection with $\mathrm{Cat}_n$, and we show how to read the corresponding map directly off a full $N$-tableau.
An independent computer-assisted proof of the Chen-Raspaud conjecture for k=4
We give an independent computer-assisted proof of the k=4 case of the Chen-Raspaud conjecture. We prove that every graph G with odd-girth(G) >= 9 and mad(G) < 9/4 admits a homomorphism to the Kneser graph K(9,4). The proof combines a minimal-counterexample argument with a rooted star replacement, exact finite computations in K(9,4), and a final charging argument. After all reducible local types are removed, the unique positive local type is (3,3,4). Its unit excess is transferred through its 4-thread to a relative with sufficient negative capacity. The computer-assisted statements used in the proof are certified by exact C++ bitset verifiers, and a separate Python implementation provides an independent cross-check; the complete source code and raw certificates accompany the manuscript.
Diagonal Specht ideals and their varieties
We study the diagonal Specht ideals $I_λ\subseteq\mathcal{R}_{m,n}:=\mathbb{C}[\mathbf{x}_1,\dots,\mathbf{x}_m]$, $\mathbf{x}_r=(x_{r,1},\dots,x_{r,n})$, generated by the $λ$-isotypic component of $\mathcal{R}_{m,n}$ for the diagonal action of $S_n$. We characterize the set of zeros of $I_λ$ as $V_λ=\bigcup_{μ\not\trianglelefteqλ}H_μ$ and prove that $λ\mapsto V_λ$ is an isomorphism of posets from $(\mathcal{P}_n,\trianglelefteq)$ to $(\{V_λ:λ\in \mathcal{P}_n\},\supseteq)$ for all $m$, while $λ\mapsto I_λ$ is an isomorphism of posets from $(\mathcal{P}_n,\trianglelefteq)$ to $(\{I_λ:λ\in \mathcal{P}_n\},\subseteq)$ if and only if $m=1$ or $n\leq3$. Unlike the case $m=1$, where Specht ideals are always radical, radicality in the diagonal setting depends on $λ$ and $m$. We prove radicality for hook partitions of length at most three by providing explicit Gröbner bases, and we develop three criteria for non-radicality via content, multidegree, and total degree, showing in particular that $I_λ$ is not radical for any non-hook partition $λ$ when $m\geq\operatorname{len}(λ)$. Using the $\operatorname{GL}_m(\mathbb{C})$-action on $\mathcal{R}_{m,n}$, we show that $I_λ$ is radical for all $m$ if and only if it is radical for $m=n$. Finally, for $m\geq2$, we prove that $\mathcal{R}_{m,n}/I_λ$ is Cohen-Macaulay if and only if $λ=(n)$ or $λ=(n-1,1)$, and the same is true for $\mathcal{R}_{m,n}/\operatorname{rad}(I_λ)$.
Unimodality of Forest Independence Polynomials
For a finite forest $F$ let $i_k(F)$ be the number of independent sets of $F$ with $k$ vertices. Zhang and Li proved that the sequence $i_0(F),i_1(F),\dots,i_{α(F)}(F)$ is unimodal for every finite forest $F$, which answers Erdős Problem 993. We give a second proof. It starts from their decomposition relative to a fixed independent set and from the bounds of Zhang and Li and of Fang, Lu, Nevo, Yao and Zheng that confine a valley of the sequence to an explicit window of ranks. For a forest with at least $25$ vertices, one moment argument excludes a valley at every rank of the window: at the activity where the hard-core mean equals the rank, the size of a random independent set is a mixture of binomial laws over an independent set of maximum weight, a valley is a moment inequality for this mixture, and it is excluded by duality given three bounds that hold for every forest, on the variance of the number of free vertices and on its Laplace transforms, and on the variance ratio. The variance bound is proved by hand up to finitely many interval checks and the other two bounds are verified by computer on finite interval-arithmetic coverings; on the resulting parameter domain a valley is excluded by exact tests on finitely many rational boxes while the mean number of free vertices is below an explicit starting mean between $19$ and $50$, and above it by one inequality, with explicit constants, for the fibers of a weighted valley kernel, proved by hand up to a finite list of explicit checks and averaged over the mixture. Forests with at most $24$ vertices are treated by exact counting, by hand except for exact rational evaluations of two explicit formulas at $43$ parameter triples. No forest is enumerated. A formal proof of the theorem in Lean 4 accompanies the paper.
Stability of plethysm coefficients and modified polynomial induction
The plethysm coefficient $\langle h_n[h_m], s_λ\rangle$ is the multiplicity of the Weyl module $W_λ(\mathbb{C}^N)$ in the representation $\mathrm{Sym}^n(\mathrm{Sym}^m(\mathbb{C}^N))$ of $GL_N(\mathbb{C})$. We give short proofs of two stability results: the theorem of Bowman and Paget that $\langle h_n[h_m], s_{λ[mn]} \rangle$ is constant for $m, n \geq |λ|$, and Brion's theorem that $\langle h_n[h_{m+d}],\allowbreak s_{λ+(nd)} \rangle$ stabilizes as $d \to \infty$. A key step is the stability of vector partition functions. We show that the stable value in the theorem of Bowman and Paget equals $\langle h_{\lfloor|λ|/2\rfloor}[H-h_1], s_λ\rangle$. Our main new result connects this stable value to the multiplicity of the Weyl module in a representation of $GL_{|λ|}(\C)$. We give a formula for the stable Foulkes' coefficient in terms of a certain vector-partition function.
Topological and Geometric Perspectives on Homomorphism Indistinguishability
Two graphs $G$ and $H$ are homomorphism indistinguishable over a graph class $\mathcal{F}$ if, for every graph $F \in \mathcal{F}$, the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphisms from $F$ to $H$. Lovász (Acta Mathematica Academiae Scientiarum Hungarica, 1967) showed that two graphs are isomorphic if, and only if, they are homomorphism indistinguishable over all graphs. Subsequently, homomorphism indistinguishability relations of a long list of natural graph classes have been equated with natural graph isomorphism relaxations.
Given the wealth of such results, Atserias, Kolaitis, & Wu (LICS 2021) asked for an axiomatic characterisation of homomorphism indistinguishability relations. By exhibiting topological and geometric structure associated with homomorphism indistinguishability, we derive such an axiomatic characterisation. Here, a central ingredient is a novel characterisation of graph parameters of the form $\hom(F, \star)$ for some graph $F$ alternative to a previous result of Lovász & Schrijver (JCTA 2010). Moreover, we investigate the topology of homomorphism indistinguishability and discuss repercussions for the Ulam--Kelly Reconstruction Conjecture.
A forbidden-induced-subgraph characterization of beautiful graphs
A graph is beautiful if each of its induced subgraphs is the intersection graph of all maximal nonempty 1-rectangles of a binary matrix, with adjacency defined by a common cell. Beautiful graphs were introduced as a hereditary class of Berge graphs, but a complete forbidden-induced-subgraph characterization was not obtained. We prove that a finite graph is beautiful if and only if it has no induced $C_4$, gem, net, watch, or odd hole. More precisely, these graphs are exactly the $C_4$-free comparability graphs admitting a partial order in which every interval is a chain. The proof constructs such an order from inclusion-maximal closed neighbourhoods: their representatives induce a bipartite graph whose domination regions admit compatible orientations. One order matrix then represents the graph and, through its principal submatrices, every induced subgraph. The representation step is formulated using classical double-bound graphs and the established correspondence between maximal bicliques and interval-intersection-closed posets. Consequences include polynomial-time recognition, the exact minimal obstruction families, and a corrected characterization in the $K_4$-free case.
Carlet's cyclic-additive conjecture for the Kasami monomials
Let $K$ be a finite field of characteristic two with $|K| = 2^{n}$, let $\gcd(k,n) = 1$, let $d_{k} = 4^{k} - 2^{k} + 1$ be the Kasami exponent, and let $Δ_{k} = \{(b+1)^{d_{k}} + b^{d_{k}} + 1 : b \in K\}$ be the image of the normalised derivative of the Kasami monomial in the direction $1$. We show that, for all distinct nonzero $v_{1},v_{2} \in K$, \[
\bigl|\{(x,y,z) \in Δ_{k}^{3} :
v_{1}x + v_{2}y + (v_{1}+v_{2})z = 0\}\bigr| = 2^{2n-3}. \] This establishes the cyclic-additive difference-set condition introduced by Carlet and later posed for the Kasami functions at NSUCRYPTO~2019. Starting from the known half-size property of the derivative image, we express the Fourier correction as twisted root counts and prove their required nonnegativity by an incidence argument on the Fermat cubic. An exact average over the slopes then forces equality pointwise. The argument covers every admissible pair $(n,k)$ and has been formalised and machine-checked in Lean~4 with Mathlib.
Encoding level-3 semi-directed phylogenetic networks by quarnets and quinnets
Phylogenetic networks generalize phylogenetic trees as models of evolutionary history, allowing lineages to merge as well as to diverge. For many types of genetic data the root position of such a network cannot be recovered, so that only a semi-directed network can be inferred: a mixed graph in which only the edges entering a reticulation vertex are directed. A common strategy for inferring such a network is to first infer the subnetwork it induces on each set of $k\geq 3$ of its leaves, called a $k$-net, and then to assemble these pieces. This can only succeed if the $k$-nets determine the network, in which case that network is said to be encoded by its $k$-nets. Semi-directed networks of level-1 and 2, those whose biconnected components contain at most one, respectively two, reticulations, are known to be encoded by their $4$-nets, or quarnets, whereas level-3 networks are not. Even so, in this paper we show that level-3 semi-directed networks are encoded by their $5$-nets, or quinnets, and we characterize the limitation of quarnets exactly: we show that a single previously reported counterexample captures the only obstruction, every other level-3 network being encoded by its quarnets. Our proofs rest on a collection of encoding results for individual structural features of a network, which we establish for networks of arbitrary level and which are of independent interest.