arXiv++ Combinatorics

A vertex $v$ of a graph $G$ $ve$-dominates every edge incident with a vertex in its closed neighborhood $N_{G}[v]$. A set of vertices is a vertex-edge dominating set ($ve$-dominating set) if every edge of $G$ is $ve$-dominated by some vertex in the set. The minimum cardinality of such a set is the vertex-edge domination number $γ_{ve}(G)$, also known as the isolation number. In this paper, we study the effect of vertex removal on $γ_{ve}(G)$, establish sharp bounds on $γ_{ve}(G-v)$ and characterize the vertices whose removal decreases, preserves, or increases $γ_{ve}(G)$. Let $V^0(G)$ and $V^+(G)$ denote the sets of vertices whose removal preserves and increases $γ_{ve}(G)$, respectively, and let $V_{\mathrm{fix}}^0(G)$ consist of the vertices in $V^0(G)$ belonging to every minimum $ve$-dominating set. We prove that \[ |V^0(G)|\geq3|V_{\mathrm{fix}}^0(G)|+\sum_{v\in V^+(G)} \bigl(γ_{ve}(G-v)-γ_{ve}(G)+1\bigr). \] In particular, $|V^0(G)|\geq 2|V^+(G)|$. We also prove that every vertex in $V_{\mathrm{fix}}^0(G)$ lies on a cycle and that $V^0(T)\neq\emptyset$ for every tree $T$ of order at least three.

The cactus group acts on tensor products of crystals and, through Bender--Knuth involutions, on semistandard Young tableaux. We show that the big cactus group $J'_n=π_1^{\mathfrak S_n}(\overline M_{0,n}(\mathbb R))$, $n\ge3$, is obtained from the cactus group by imposing $n-1$ Dynkin-reversal relations, which say that conjugation by the full reversal acts on the Bender--Knuth generators by the Dynkin diagram automorphism; the quotient map is induced by forgetting the distinguished marked point. We give a second presentation, in which these relations are replaced by the requirement that every reduced word for the longest element of $\mathfrak S_n$ adapted to an orientation of $A_{n-1}$ represents the full reversal. These relations also hold on rectangular tableaux, where every adapted reduced word therefore acts as evacuation, and on invariant tensors: for finite normal crystals of any complex semisimple Lie algebra, the cactus action on invariants factors through $J'_n$. We prove the latter combinatorially in type $A$ and in general via Gaudin eigenline coverings. Haiman's promotion relation follows from a single adapted-word relation, but for $n\ge4$ it is strictly weaker than the whole family.

Given a finite planar point set $X=\{x_1,\ldots,x_n\}$, let $a_1<a_2< \cdots < a_s$ denote the $s \leq {n \choose 2}$ different (Euclidean) distances between points in $X$. The aim is to retain as many of the points as possible such that certain imposed inter-pair distances are avoided. For example, we show that: (A) Given a set $X$ of $n$ points in the plane, an independent set of size $0.2293 n$ in the unit distance graph determined by $X$ can be found in $O(n^2)$ time. For any fixed $k \in \mathbf{N}$ there exists a constant $c_k>0$ such that for any set $X$ of $n$ points in the plane, and set $D$ of size $k$, there exists a subset $X' \subseteq X$ of size $|X'| \geq c_k |X|$ in which no pair of points is at some distance in $D$ (we say that $X'$ avoids distances in $D$). Such a set can be found efficiently. (B) (i) There is a subset of $X$ of size $n/2$ that avoids the maximum distance; this bound cannot be improved. (ii) There is a subset of $X$ of size $8n/47$ that avoids both the minimum and maximum distance; on the other hand, there exists $X$ such that at most $5n/16$ points can be retained with this property. (iii) There is a subset of $X$ of size $n/7$ whose diameter is at most half the original diameter; on the other hand, there exists $X$ such that at most $n/6$ points can be retained with this property. (C) (i) For any $\varepsilon>0$, a $(1-\varepsilon)$-approximation for \textsc{MIS} in the minimum distance graph of $n$ points in the plane can be found in $2^{O(1/\varepsilon)} n^{O(1)}$ time. (ii) Given a set $X$ of $n$ points in the plane, a maximum independent set in the graph of diameters can be computed in $O(n^2)$ time. The techniques used to handle the planar case can be extended to $\mathbf{R}^d$ for any fixed dimension $d$.

We prove that for every integer $d \geq 3$, there exists $α<1$ such that the maximum dimension of an $n$-element poset containing no standard example of order $d$ as an induced subposet is $\mathcal{O}_d(n^α)$. For $d=3$, we obtain an upper bound $\mathcal{O}(n^{2/3}\log n)$, while we also construct a family of $S_3$-free posets with dimension $Ω(n^{1/3}/\log n)$. The proofs were found by OpenAI's ChatGPT-6 Astra.

A single-track Gray code of length $n$ is a cyclic Gray code of $n$-bit words in which every column is a cyclic shift of the first. For prime $n$ the longest possible period is $2^n-2$. Whether it is attained for every prime has been open since Hiltgen, Paterson and Brandestini introduced these codes in 1996, and optimal codes were known for primes $n\le 19$. We show that a conjecture of Degni and Drisko (2007) on the reflected Gray code order of necklaces implies optimal single-track Gray codes for every prime. Their list of necklaces, conjecturally a Gray path for prime $n$, closes into a Hamilton cycle of the necklace graph after $(n-3)/2$ explicit Pósa rotations, and such a cycle lifts to an optimal code. This implication is formalized in Lean 4. Together with computation it gives optimal single-track Gray codes for every odd prime $n\le 47$: for $n\le 37$ explicit codes checked word by word by a program independent of the generator, and for $n=41$, $43$ and $47$ codes obtained from the implication after the Degni-Drisko property was verified at these lengths by two independently written programs.

The problem posed by Hoffman, namely, to characterize graphs whose second largest adjacency eigenvalue is at most \(1\), was first studied by D.~M.~Cvetković in 1982 [\textit{Publ. Inst. Math. (Beograd)} \textbf{31} (1982), 15--20]. In this paper, we completely characterize all connected planar graphs whose second largest eigenvalue does not exceed $1$.

For a fixed nonempty finite set $L$ of positive integers and $k=\max L\ge2$, let $\binom{[n]}{L}=\bigcup_{\ell\in L}\binom{[n]}{\ell}$ denote the non-uniform hypergraph whose edge set consists of all $\ell$-subsets of $[n]$ for $\ell\in L$. A $1$-factor of a hypergraph $H$ is a collection of pairwise disjoint edges whose union is $V(H)$. We say $H$ is $1$-factorable if $E(H)$ can be partitioned into $1$-factors. In this paper, we study the 1-factorability of $\binom{[n]}{L}$. Earlier work of He, Huang, and Ma shows that, for all sufficiently large $n$, $1$-factorability can occur only in the residue classes $0$ and $-1$ modulo $k$: it always occurs in class $0$, whereas it occurs in class $-1$ only if $k-1\in L$. We determine exactly when $1$-factorability occurs in this exceptional class. More precisely, we define a finite gcd-peeling algorithm on $L\setminus\{k-1,k\}$ and prove that $\binom{[qk-1]}{L}$ is $1$-factorable if and only if the algorithm accepts. As a consequence, our result provides a criterion for the $1$-factorability of $\binom{[n]}{L}$ and confirms the conjecture posed by He, Huang, and Ma.

Bastien and Khormali (2025) conjectured that a nontrivial link-irregular tournament with $n$ vertices exists if and only if $n \ge 6$. Their work establishes the conjecture for $n \le 100$. We present a probabilistic argument for the existence of link-irregular tournaments with $n$ vertices when $n \ge 9$ to resolve the conjecture. In fact, we show that a random tournament is asymptotically almost surely link-irregular.

For integers $n\ge m\ge1$, let $S(n,m)$ be the double star obtained by joining the centers of $K_{1,n}$ and $K_{1,m}$. Ruotolo and Song proved the upper bound $r(S(n,m);k)\le kn+m+2$ under the condition $(n+1)\lceil\frac{n+1}{k-1}\rceil >m((k-1)n+m)$, as well as the matching lower bound for odd $k$. Zhao, Mao and Zhou proved the matching lower bound for even $k$ and even $n$. We establish the remaining lower bound for even $k\ge6$ and odd $n$ through a new edge-coloring construction. Combining these results, we obtain $r(S(n,m);k)=kn+m+2$ for all integers $k\ge5$ and $n\ge m\ge1$ satisfying $(n+1)\lceil\frac{n+1}{k-1}\rceil >m((k-1)n+m)$. We also determine the four-color Ramsey number for $m\ge2$ and odd $n\ge15m$, showing that $r(S(n,m);4)=4n+m+1$.

We study the change in the trace norm and the centred energy of the $A_α$-matrix of a graph under vertex deletion. A pinching argument proves that the trace norm is nondecreasing under passage from an induced subgraph to the original graph, and gives a lower bound in terms of the edges induced by the deleted vertices. Exact perturbation spectra yield sharp upper bounds for deleting a vertex or an independent set of vertices with a common neighbourhood. For $0<α<1/2$, equality in these upper bounds is characterized by star and complete bipartite components, respectively. For the centred energy, we derive explicit deletion bounds and classify all connected equality graphs for $0\leα<1$: the extremal graphs are stars and complete bipartite graphs for single-vertex and independent-twin deletion, respectively. We also characterize equality in the general-set trace-norm lower bound and prove strictness of the total centred-energy inequality for connected nonregular graphs when $0<α<1$. Examples show that centred local energy can be negative and that the degree deviation term cannot be omitted in general.

A coloring of the edges of a complete graph with $r$ colors is balanced if the edges among any $r+1$ vertices use all $r$ colors. Erdős and Gyárfás (1999) conjectured that for all $r\ge3$ the complete graph $K_{r^2+1}$ has no balanced $r$-coloring. They proved the conjecture for $r=3$ and $r=4$. We prove the conjecture for $r=5$, the first new case settled in over two decades. There is no balanced $5$-coloring of $K_{26}$, and since $K_{25}$ has one, $K_{25}$ is the largest complete graph admitting a balanced $5$-coloring. We design a reduce--dispatch--enumerate workflow, where every machine step produces an artifact that can be independently checked. First, we use a machine-checked (Lean 4) proof to reduce the conjecture to a single extremal statement about the color class with the fewest edges: no graph on $26$ vertices has between $55$ and $65$ edges while every $6$ of its vertices span between $1$ and $11$ edges. We then search on the sparse class instead of its dense complement, which makes enumeration up to isomorphism feasible. With classical stability theorems for $K_6$-free graphs, we dispatch the five near-extremal edge counts analytically. For the exhaustive enumeration on the remaining six edge counts, we design efficient encodings with SAT modulo symmetries and parallel cube-and-conquer. We also certify all eleven edge counts: each of the $12{,}296$ subproblems carries a clausal refutation checked by the independent verifier drat-trim, and all $273{,}503{,}938$ symmetry-breaking clauses are also validated against the vertex permutations that justify them.

We consider a notion of $ω$-circular $*$-distribution $μ_ω$, defined in terms of a parameter $ω\in \mathbb{C}$ with $| ω|=1$. This $*$-distribution appears as limit law in an algebraic central limit theorem (CLT) for $ω$-commuting unitaries, and interpolates between the Fermionic setting (at $ω= -1$) and the Bosonic one (at $ω= 1$). On a combinatorial level, $μ_ω$ is described in terms of pair-partitions of sets $\{1, ... ,2n\}$, where one has a total order among the $n$ pairs of the partition and where every pair is assigned a direction, to the effect that one can define the sign of a crossing between two pairs. The main goal of the paper is to study a significant subspace, with "Fock space" flavour, of the $L^2$-space associated to a natural multi-variate version of $μ_ω$. The inner product on this subspace is defined by a sesquilinear form $\langle \cdot \, , \, \cdot \rangle_ω$ on non-commutative polynomials. We explicitly describe $\langle \cdot \, , \, \cdot \rangle_ω$ in terms of some tractable non-negative definite functions on symmetric groups, and we prove that it is non-degenerate if and only if $ω$ is not a root of unity.

A family of nonempty sets is $r$-cover-free if no member is contained in the union of at most $r$ other members. Let $T(r)$ denote the least $n$ for which there is an $r$-cover-free family on $n$ points with more than $n$ members. In this paper, we prove that $T(r)\ge(r+1)^2$ for every integer $r\ge1$, confirming the strong form of the Erdős--Frankl--Füredi cover-free conjecture. In particular, $T(r)=(r+1)^2$ whenever $r+1$ is a prime power.

A lattice polytope $\mathcal{P} \subset \mathbb{R}^n$ of dimension $n$ is called nearly Gorenstein if $\mathcal{P}$ is normal and if its Ehrhart ring is a nearly Gorenstein ring. We study nearly Gorenstein polytopes arising from discrete polymatroids of bounded powers of edge ideals. Especially, it is shown that every nearly Gorenstein polytope coming from either a complete graph or a complete bipartite graph is level.

We investigate rainbow pancyclicity and vertex-pancyclicity of graph systems satisfying a local Ore-type degree condition. All graphs in the system share the same vertex set. We prove that if each graph is 2-connected and satisfies our local Ore condition, then the graph system is either rainbow pancyclic and vertex-pancyclic for cycles of length from 4 to n, or all graphs are identical balanced complete bipartite graphs on an even vertex set. A stronger degree threshold ensures full rainbow vertex-pancyclicity. All thresholds we obtain are tight. Our proofs rely on cycle extension techniques and neighborhood separation arguments.

We give a uniform, explicit and elementary recursive construction of two-dimensional arrays with perfect (ideal) periodic autocorrelation over a \emph{fixed} alphabet of $K$ roots of unity and \emph{unbounded} size: for every integer $K\ge2$ and every $n\ge1$ a perfect $K^n\times K^n$ array whose entries are $K$-th roots of unity, given by a nested sum of floor terms. The construction works with \emph{twisted} (quasi-perfect) arrays indexed by a type $v\in\Z_K^2$, of which ordinary perfect arrays are the type $v=0$ members. For $K=2$ the types are Jedwab's generalised perfect binary arrays and the recursion specialises to the doubling constructions of Jedwab--Mitchell and Wild; for prime $K$ the arrays are the relative difference sets whose existence in abelian $p$-groups was settled by Ma and Schmidt; and the bare existence of perfect $K^n\times K^n$ arrays over $K$ roots of unity follows, for every $K$, from recent constructions of group-invariant Butson Hadamard matrices. The contribution of this note is therefore not existence but the calculus: types with arbitrary entries in $\Z_K^2$; three spectral lemmas (a twisted periodic extension of a type-$v$ array has a flat spectrum supported on one coset of $K\Z^2$; interleaving arrays whose spectra are flat on disjoint cosets gives a perfect array; and a shear of the index plane with a floor-function carry permutes types through the action of $SL_2(\Z_K)$ on $\Z_K^2$, whose orbits are the classes $\gcd(v_1,v_2,K)=g$); a one-directional lift that produces every type at side $KM$ from every type at side $M$ for arbitrary $K$; and the resulting closed index function, which is the recursive form of the floor-function arrays of \cite{Blake2017}.

We show that for all positive, nonincreasing, convex functions $f : (0, \infty) \to (0,\infty)$ and for any collection of $n$ points $x_i \in \mathbb{R}$ with $x_1 < x_2 < \ldots < x_n$ and $n$ even, the Pfaffian of the skew matrix defined by $f(x_j - x_i)$ above the diagonal is positive. More generally, we establish coefficientwise nonnegativity for Pfaffians arising from interval decompositions, which also yields quantitative lower bounds for singly and doubly bordered Pfaffians. Choosing $f(r) = r^{-2}$ proves the three nonvanishing assertions in the conjecture of Albouy and Moeckel. Further, we show that the rainbow bound (the product over the nested matching $\{1,n\}, \{2,n-1\}, \ldots \{n/2, n/2 + 1\}$) is the unique single-matching product that bounds $\mathrm{Pf}(A_f(x))$ below uniformly over $x$ and $f$ positive, nonincreasing, convex.

Matroid Stanley-Reisner rings admit essential deformation obstructions of arbitrarily high order over every field, already at corank three. For each $m\ge3$, we construct a connected cosimple matroid and $m$ fine-homogeneous first-order classes whose proper subcollections integrate jointly and whose pairwise primary cup products vanish. A specified joint $(m-1)$-jet nevertheless has no lift to order $m$, even without preserving the grading. The construction rests on formulas for every multigraded component of the second cotangent cohomology $T^2$ and of its primary cup image, expressed through flats and parallel classes of the dual matroid. These formulas show that $T^2$ vanishes exactly when every connected component has corank at most two, or equivalently when there is no $U_{1,4}$-minor. This proves a conjecture of Constantinescu, Klein, Nguyen, Singh, and Venturello (2025) and characterizes formal smoothness of the affine deformation functor. For the duals of rank-three truncations of $U_{2,m}\oplus U_{2,n}$, $m,n\ge3$, each nonzero homogeneous class modulo the primary cup image is realized as a higher-order obstruction, and the quotient has an explicit presentation with $m+n-2$ minimal homogeneous generators.

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.

In this paper, we study the behavior of biquandle-based invariants of virtual knotoids under their connected sum. We first show that the fundamental biquandle of the connected sum of two virtual knotoids is the pushout of a span in the category of biquandles. By applying the Hom functor to this pushout description, we obtain the correspondence between biquandle colorings of $K_1 \# K_2$ and compatible pairs of colorings of summands. This provides a categorical explanation of a known matrix product formula for biquandle counting matrices under connected sum. We then study the behavior of biquandle virtual bracket invariants under connected sum. We introduce normalized multiset invariants derived from biquandle virtual brackets and show that they are strictly stronger than their unnormalized versions in certain cases by an explicit example. Furthermore, we show that for each coloring of the connected sum $K_1 \# K_2$ corresponding to a compatible pair of colorings of the summands $K_1$ and $K_2$, the normalized biquandle virtual bracket value factors as the product of the normalized values of the summands. Building on this, we obtain connected-sum formulas for the normalized multiset invariants defined by utilizing biquandle virtual brackets. When the coefficient ring is a number ring, the normalized bracket multisets can be encoded by polynomials and matrices with polynomial entries. We introduce an induced matrix product $\odot$ and show that the normalized biquandle virtual bracket matrices satisfy \begin{equation} \widetilde{M}_X^β(K_1 \# K_2) = \widetilde{M}_X^β(K_1) \odot \widetilde{M}_X^β(K_2). \end{equation}

Using a dioid algebraic structure, we show that there exist spherically symmetric trees $T(2^m 1^n)$ whose independence polynomials exhibit multiple breaks in log-concavity, a result established by estimating the asymptotic growth of the coefficients of these polynomials. Provided the parameter $n$ is a sufficiently large odd integer, the number of breaks is bounded below by the Jacobsthal numbers. This result affirmatively answers a question raised by F. Bencs [D. Galvin, Trees with non log-concave independent set sequences, arXiv 2502.10654.v2].

A direction of the affine plane $\mathbb{F}_p^2$ is special for a set if the lines in that direction do not all meet the set in the same number of points. We classify, for every prime $p\ge5$, the subsets of $\mathbb{F}_p^2$ with exactly four special directions. There are $54$ affine-equivalence classes, occurring only for $p=5,7,11,13,17$, and we give explicit representatives. In particular, $17$ is the largest prime admitting such a set, which answers a question of Ghidelli, Kiss and Somlai, and over $\mathbb{F}_{13}$ the minimum size is $65$, attained by exactly two classes. The key structural fact is that the projection polynomials of such a set share a vertex: the set is either centrally symmetric about this point or differs from its reflection by exchanging one full line with one empty line. We also show that, over an odd prime field, a Boolean function on $\mathbb{F}_p^d$ with exactly four active projective Fourier lines is pulled back from a plane, so the classification extends to every dimension. The classification and the exclusion of the primes $19\le p<2048$ are computer-assisted; the structural results and the exclusion of larger primes are proved directly.

For $n$ points in the plane and $\varepsilon>0$, we construct a $(1+\varepsilon)$-spanner with $O(n/\varepsilon)$ edges in which every edge has $\tilde{O}(1/\varepsilon^3)$ crossings, the total number of crossings is $\tilde{O}(n/\varepsilon^4)$, and the ratio between the lengths of any two crossing edges is $O(1/\varepsilon^2)$. Our spanner construction substantially improves on the previous upper bound for the number of crossings in a $(1+\varepsilon)$-spanner, and it is the first spanner construction that ensures $O(1)$ crossings per edge for any constant $\varepsilon>0$. In contrast, we construct $n$ points in the plane for which every $(1+\varepsilon)$-spanner has $Ω(n/\varepsilon^3)$ crossings, $n$ points for which every $(1+\varepsilon)$-spanner has an edge with $Ω(1/\varepsilon^{5/2})$ crossings, and 4 points for which every $(1+\varepsilon)$-spanner contains two crossing edges where one is $Ω(1/\varepsilon)$ times longer than the other.

The inertia bound, introduced by Cvetković in 1971, is a fundamental result in spectral graph theory that provides an upper bound for the independence number of a graph in terms of spectral information about a weighted adjacency matrix of the graph. Recently, this bound has been extended to the so-called inertia-type bounds for estimating the independence and chromatic numbers of graph powers ($k$-independence number and distance-$k$ chromatic number of a graph). These bounds have recently found applications in coding theory and quantum information theory. The inertia-type bounds depend on the choice of a polynomial of degree $k$ and on the eigenvalues of the graph. Currently, optimizing these bounds requires solving several MILPs, which quickly becomes computationally demanding as the graph size or $k$ grows. This computational barrier is a major obstacle to the practical use of these bounds. Moreover, we have a limited theoretical understanding of their performance, even for small $k$. In this paper, we investigate their optimization and complexity. In particular, we improve the MILP formulations, reducing their computational burden and significantly decreasing the running time. Furthermore, we show that the optimization problems associated with the bounds are solvable in polynomial arithmetic time for every fixed $k$, given exact spectral input.

The celebrated Erdős-Hajnal conjecture says that any graph without a fixed induced subgraph $H$ contains a very large homogeneous set. A direct analog of this conjecture is not true for hypergraphs. In this paper we present two natural variants of this problem which do hold for hypergraphs. We show that for every $r \geq 3$, $m \geq m_0(r)$ and $0 \leq f \leq \binom{m}{r}$, if an $r$-graph $G$ does not contain $m$ vertices spanning exactly $f$ edges, then $G$ contains much larger homogeneous sets than what is guaranteed to exist in general $r$-graphs. We also prove that if a $3$-graph $G$ does not contain homogeneous sets of polynomial size, then for every $m \geq 3$ there are $Ω(m^3)$ values of $f$ such that $G$ contains $m$ vertices spanning exactly $f$ edges. This makes progress on a problem of Axenovich, Bradač, Gishboliner, Mubayi and Weber.

The purpose of this paper is to apply previous work on dormant opers to the study of the moduli space of stable bundles in positive characteristic. We affirmatively resolve the rank $2$ case of a conjecture proposed by the second author, which predicts a direct relationship between the number of higher-level dormant $\mathrm{PGL}_2$-opers and the generic degree of the generalized Verschiebung map for rank $2$ stable bundles induced by Frobenius pull-back. As a consequence, for a general smooth projective curve of genus $g>1$ in characteristic $p>2$, we obtain a procedure for explicitly determining these generic degrees by counting certain combinatorial objects and, in particular, compute $\mathrm{deg}(\mathrm{Ver}^2_1)$ as a polynomial in $p$ for $3\leq g\leq 10$.

We present several max-min and minimax characterizations of Cheeger $k$-constants in weighted forests, thereby providing the first combinatorial analogue of the Courant-\\Fischer-Weyl minimax principle. As for applications, we prove that the forest 1-Laplacian variational eigenvalues are independent of the choice of typical indexes; we propose a refined higher order Cheeger inequality which establishes a relationship between Miclo's multiway Cheeger constants and the variational eigenvalues of graph $p$-Laplacians; and we show a purely combinatorial proof for the equality $h_k=λ_k(Δ_1)$ on trees which connects the 1-Laplacian variational eigenvalues and the multiway Cheeger constants.

We consider Whitehead's integral formula and propose an algorithm for computing the Hopf invariant for simplicial mappings.

Let $G$ be a classical group defined over the complex numbers with a Borel subgroup $B$. Choose a holomorphic involution of $G$ and let $K$ be its set of fixed points. The group $K$ acts on the flag variety $G/B$ with finitely many orbits and Brion has derived a general formula for the cohomology classes of the corresponding orbit closures as linear combinations of Schubert classes. This article provides a uniform description of the sets of Weyl group elements (which we refer to as Brion atoms) that index the terms in this formula. We also include some applications of our classifications, including a refinement of Brion's cohomology formula.

We identify universal polar dual pairs of spherical codes $C$ and $D$ such that for a large class of potential functions $h$ the minima of the discrete $h$-potential of $C$ on the sphere occur at the points of $D$ and vice versa. Moreover, the minimal values of their normalized potentials are equal. These codes arise from the known hierarchies of sharp codes embedded in the even unimodular extremal lattices $E_8$ and $Λ_{24}$ (Leech lattice). This embedding allows us to use the lattices' properties to find new universal polar dual pairs. In the process we extensively utilize the interplay between the binary Golay codes and the Leech lattice. As a byproduct of our analysis, we identify a new universally optimal (in the sense of energy) code in the projective space $\mathbb{RP}^{21}$ with $1408$ points (lines). Furthermore, we extend the Delsarte-Goethals-Seidel definition of derived codes from their seminal $1977$ paper and generalize their Theorem 8.2 to show that if a $τ$-design is enclosed in $k\leq τ$ parallel hyperplanes, then each derived code is a $(τ+1-k)$-design in the ambient subspace.

Let $Q^d_p$ be the random subgraph of the $d$-dimensional binary hypercube obtained after edge-percolation with probability $p$. It was shown recently by the authors that, for every $\varepsilon > 0$, there is some $c = c(\varepsilon)>0$ such that, if $pd\ge c$, then typically $Q^d_p$ contains a cycle of length at least $(1-\varepsilon)2^d$. We strengthen this result to show that, under the same assumptions, typically $Q^d_p$ contains cycles of all even lengths between $4$ and $(1-\varepsilon)2^d$.

The $3$-path isolation number of a connected $n$-vertex graph $G$, denoted by $ι(G,P_3)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ intersects the vertex sets of the $3$-vertex paths of $G$, meaning that no two edges of $G-N[D]$ intersect. Zhang and Wu proved that $ι(G,P_3) \leq 2n/7$ unless $G$ is a $3$-path or a $3$-cycle or a $6$-cycle. The bound is attained by infinitely many graphs having induced $6$-cycles. Huang, Zhang and Jin proved that if $G$ has no $6$-cycles, or $G$ has no induced $5$-cycles and no induced $6$-cycles, then $ι(G, P_3) \leq n/4$ unless $G$ is a $3$-path or a $3$-cycle or a $7$-cycle or an $11$-cycle. They asked if the bound still holds asymptotically for connected graphs having no induced $6$-cycles. More precisely, taking $f(n)$ to be the maximum value of $ι(G,P_3)$ over all connected $n$-vertex graphs $G$ having no induced $6$-cycles, their question is whether $\limsup_{n \to\infty}\frac{f(n)}{n} = \frac{1}{4}$. We verify this by proving that $f(n) = \left \lfloor (n+1)/4 \right \rfloor$. Therefore, induced $6$-cycles solely account for the jump to the bound $2n/7$. The proof hinges on further proving that if $G$ is such a graph and $ι(G, P_3) = (n+1)/4$, then $ι(G-v, P_3) < ι(G, P_3)$ for each vertex $v$ of $G$. This new idea promises to be of further use. We also prove that if the maximum degree of such a graph $G$ is at least $5$, then $ι(G,P_3) \leq n/4$.

We study the persistence probabilities of a moving average process of order one with uniform innovations. We identify a number of regions-characterized by the location of the uniform distribution and the coupling parameter of the process-where the persistence probabilities have qualitatively different behaviour. We obtain the generating functions of the persistence probabilities explicitly in all possible regions. In some of the regions, the persistence probabilities can be expressed explicitly in terms of various combinatorial quantities.

We exhibit the joint symmetric distribution of the following two parameters on the set of unlabeled, simple, connected graphs with $n$ vertices. The first parameter is the maximal number of leaves attached to a vertex. The second parameter is the size of the largest set of vertices sharing the same closed neighborhood minus $1$. Apparently, this is the first example of a natural, non-trivial equidistribution of graph parameters on unlabeled connected graphs on a fixed set of vertices. Our proof is enumerative, using the theory of species. Exhibiting an explicit bijection interchanging the two parameters remains an open problem.

We find necessary and sufficient conditions for the Law of Large Numbers for random discrete $N$-particle systems with the deformation (inverse temperature) parameter $θ$, as their size $N$ tends to infinity simultaneously with the inverse temperature going to zero. Our conditions are expressed in terms of the Jack generating functions, and our analysis is based on the asymptotics of the action of Cherednik operators obtained via Hecke relations. We apply the general framework to obtain the LLN for a large class of Markov chains of $N$ nonintersecting particles with interaction of log-gas type, and the LLN for the multiplication of Jack polynomials, as the inverse temperature tends to zero. We express the answer in terms of novel one-parameter deformations of cumulants and their description provided by us recovers previous work by Bufetov--Gorin [Geom. Funct. Anal. 25 (2015), no. 3, 763-814] on quantized free cumulants when $θ=1$, and by Benaych-Georges--Cuenca--Gorin [Comm. Math. Phys. 394 (2022), no. 2, 735-795] after a deformation to continuous space of random matrix eigenvalues. Our methods are robust enough to be applied to the fixed temperature regime, where we recover the LLN of Huang [Adv. Math. 380 (2021), Paper No. 107545, 91].