arXiv++ Combinatorics

A well known result due to Lakshmibai and Sandhya states that smooth Schubert varieties of type A correspond to permutations that avoid the patterns 3412 and 4231. It was later shown by the second author and Slofstra that staircase diagrams over a simply-laced Dynkin diagram are in bijection with smooth Schubert varieties of the corresponding type. We explore how the poset structure of staircase diagrams is connected with pattern avoidance on smooth permutations. As an application, we enumerate several subclasses of smooth permutations which are characterized by pattern avoidance. These subclasses include the class of polished permutations which were studied by Gaetz and Gao.

We report a novel polyhedral surface of genus~3 embedded in $\mathbb{R}^3$ with eight planar, simple, non-convex nonagonal faces, 24 vertices and 36 edges, in which every two faces share at least one edge: 20 pairs of faces share one edge and 8 pairs share two collinear edges. Its face planes are $3x-4y-2z=5$, $-2x+5y-5z=3$ and their images under the half-turns about the three coordinate axes, and all vertices are rational. The polyhedron has the same face vector, face sizes and number of edge multiplicities as the polyhedron described by Mizhaev, but it is not combinatorially equivalent to it. Our realisation has the symmetry group $D_2$ of order~4, whereas Mizhaev's polyhedron has a rotoreflection symmetry. The example was found by a computational geometric search, and all its properties were verified in exact rational arithmetic.

Given a finite transitive group $G\leq \operatorname{Sym}(Ω)$, the derangement graph $Γ_G$ is the graph whose vertex set is $G$, and two vertices $g$ and $h$ are adjacent if the ratio $h^{-1}g$ is a fixed-point-free permutation. In this paper, we show that the automorphism group of the derangement graph of the transitive permutation group corresponding to the natural action of $\operatorname{PGL}_{2}(q)$ on the projective line $\operatorname{PG}_{1}(q)$ is \begin{align*} \operatorname{Aut}(Γ_{\operatorname{PGL}_{2}({q})}) = \left(L_{\operatorname{PGL}_2(q)}\times R_{\operatorname{PGL}_2(q)}\right) \rtimes \left(\langle ψ\rangle \times γ_{\operatorname{Aut}(\mathbb{F}_q)}\right), \end{align*} where $L_{\operatorname{PGL}_2(q)}$ is the left-regular representation of $\operatorname{PGL}_2(q)$, $R_{\operatorname{PGL}_2(q)}$ is the right-regular representation of $\operatorname{PGL}_2(q)$, $γ_{\operatorname{Aut}(\mathbb{F}_q)}$ is the group of conjugation by elements of $\operatorname{Aut}(\mathbb{F}_q)$, and $ψ: \operatorname{PGL}_2(q) \to \operatorname{PGL}_2(q)$ such that $ψ(x) = x^{-1}$.

Santos asked when intersections of dilated Hadamard simplices with cubes are integral, smooth, or normal, in a prescribed affine lattice. We construct a nonintegral example in dimension eleven and prove that no smaller-dimensional example exists. We characterize smoothness completely and show that every smooth member of this family is normal. An explicit example in dimension fifteen shows that integrality alone does not imply normality. For Sylvester simplices of order at least sixteen, we establish a sharp uniform integrality bound and construct counterexamples immediately below it. We also obtain sufficient normality bounds for general Hadamard simplices and stronger bounds for the Sylvester family. The proofs use integer decomposition for boxes with separated corner cuts and rounding under three signed slab constraints. All numbered results have formal counterparts verified in Lean.

We prove that there is an absolute positive constant $c$ such that every bipartite graph with $N$ vertices in each part and at least $N^2/2$ edges contains a complete bipartite graph $K_{t,t}$ whenever $N\ge c\, 2^{t}$. This improves the classical Kővári-Sós-Turán bound requiring $N$ of order $t\,2^t $. As a consequence, the diagonal bipartite Ramsey number has upper bound $b(t,t)=O(2^t)$, improving the previous best bound $b(t,t) = O(2^t\, \log t )$ due to Conlon. The proof was found by GPT-6 Astra, and the method will probably have further applications.

The following is a natural and fundamental question for a graph $G$: if an induced subgraph $H$ of $G$ has $x$ more vertices than a maximum independent set, what can be said about the maximum degree of $H$ as a function of $x$? The case $x=1$ is already of considerable interest. For example, in his celebrated proof of the sensitivity conjecture, Hao Huang showed that every induced subgraph of the hypercube $Q_n$ on more than $2^{n-1}$ vertices has maximum degree at least $\sqrt{n}$. Chung, Fúredi, Graham, and Seymour proved that this bound is tight. In this paper, we study this question when $G$ is either the $n$-fold Hamming product or the $n$-fold tensor product of a triangle. For both graphs, we determine the exact minimum possible average degree of an induced subgraph of a prescribed size. We also prove that the tensor product exhibits several Huang-like phenomena. For the Hamming product, we show that, for several size densities and large $n$, the minimum possible maximum degree is asymptotically equal to the minimum possible average degree. Finally, we extend several of the results from the triangle to an arbitrary complete graph $K_k$.

Let $G_n$ be the bipartite complement of the even cycle $C_{2n}$, and let $J_{G_n}$ be its binomial edge ideal. For $n\geq5$, we study the interaction between the combinatorial structure of $G_n$ and the algebraic invariants of $S_{G_n}/J_{G_n}$. Our main combinatorial ingredient is a classification of the subsets of $V(G_n)$ having the cut point property, obtained through an analysis of disconnected induced subgraphs of $G_n$. We use this classification to describe the minimal primes and to study dimension and degree-theoretic invariants of $J_{G_n}$ and $S_{G_n}/J_{G_n}$. We also study local Vasconcelos numbers, graded Betti numbers and the Hilbert series, and obtain information on projective dimension and depth. Finally, we analyze induced paths in $G_n$ and derive corresponding bounds for the Castelnuovo--Mumford regularity.

Let $\mathcal{F}^{m}=\{A\subset[m]\}$, endowed with the symmetric difference metric and the Cardinality Reverse-Lexicographic order. That way, we compute the homotopy type $\operatorname{Čech}\left(\mathcal{F}_{\preceq a}^m; \frac{r}{2}=1\right)$ by relating it to consecutively adding vertices of $\mathbb{I}^m$, the unit hypercube of $m$th dimension, to point $0$. Further, for higher $r$, we propose a conjecture regarding contractibility of a subcomplex implying a formula for the exact number of wedges of $\mathbb{S}^ 3$'s and $\mathbb{S}^ 4$'s in the $\operatorname{Čech}$ complex.

In the game of \emph{flow over time}, infinitesimal flow particles aim to travel from a source to a sink in a network as quickly as possible. Under the Vickrey bottleneck model, the congestion effects on network edges are captured through FIFO queues, which arise when the inflow into an edge exceeds its capacity. This work addresses two open conjectures about the game: 1) the characterization of networks that are immune to Braess's paradox, and 2) the monotonicity relationship between the network inflow rate and the overall flow makespan. We show that a single class of network topologies, called \emph{chains of bipolar pseudo-arborescences} (\emph{BPAs}), fully resolves the first conjecture and yields partial progress on the second. Chains of BPAs constitute precisely the cases left open by Macko et al.~(2013) in their study of Braess's paradox for flow over time. By structurally characterizing the dynamic evolution of Nash flows over time on such networks, we prove that removing edges from these networks never decreases the maximum equilibrium latency. Combined with the results of Macko et al., this establishes a necessary and sufficient condition: \emph{a network does not admit Braess's paradox for flow over time if and only if it is a chain of BPAs}, thereby resolving their conjecture. Furthermore, we confirm the monotonicity conjecture of Correa et al.~(2021) for all chains of BPAs. This result strictly generalizes the previously known monotonicity for chains of parallel paths under uniform inflows.

For a graph $G$, we write $\mathrm{mad}(G)$ for its maximum average degree and $\mathrm{diam} G$ for its diameter. Let $R_k(G)$ be the graph whose vertices are the proper colorings of $G$ with $k$ colors, where two colorings are adjacent when they differ at one vertex. Feghali (JCTB, 2021) proved that, for fixed integers $d,k\ge 1$ with $k\ge d+1$ and every $\varepsilon>0$, every $n$-vertex graph $G$ satisfying $\mathrm{mad}(G)\le d-\varepsilon$ has $\mathrm{diam} R_k(G)=O_{d,k,\varepsilon}(n(\log n)^{d-1})$. In this article, we prove that \[ \mathrm{diam} R_k(G)=O_{d,k,\varepsilon}\!\left( n(\log n)^{\left\lfloor (d-1)/(k-d)\right\rfloor} \right), \] which extends the result proved by Feghali directly. The proof uses a partition into independent layers and removes $k-d$ colors at each recursive stage. We also improve the bound on the number of layers and determine the best possible linear coefficient in the forest case. More precisely, for $0<\varepsilon<2$, every $n$-vertex graph $G$ with $\mathrm{mad}(G)\le2-\varepsilon$ satisfies $\mathrm{diam} R_3(G)\leρ_M n$, where $M=\lfloor2/\varepsilon\rfloor$, $ρ_M=\max_{1\le m\le M}D_m/m$, and $D_m$ is the largest diameter of $R_3(T)$ over all trees $T$ on $m$ vertices. Moreover, the coefficient $ρ_M$ is best possible.

In 1975, Kaplansky conjectured that every five-dimensional division algebra over a sufficiently large finite field is a field or a twisted field. We disprove this conjecture. For every prime power $q=p^e\equiv1\pmod3$ and every $n\ge5$ with $\gcd(n,6)=1$, we construct semifields of order $q^n$. For fixed $q,n$, the family represents $φ(n)$ isotopy classes if $p\equiv1\pmod3$, and $φ(n)/2$ if $p\equiv2\pmod3$, where $φ$ is Euler's totient function. Using new isotopy invariants and the structural properties of our construction, we prove that none of these semifields is isotopic to a finite field or an Albert's generalized twisted field. In particular, the five-dimensional specialization gives infinitely many pairwise nonisotopic counterexamples to Kaplansky's conjecture over arbitrarily large finite fields. More generally, for each prime dimension $n\ge5$, the examples occur over arbitrarily large fields in every characteristic other than three, contradicting the classification asserted by Menichetti in 1996, whose proof contains gaps.

We show that optimally pseudorandom $K_4$-free graphs of order $n$ and degree $d = Θ(n^{4/5})$ exist by constructing a graph in the split Cayley hexagon, matching the known upper bound. This resolves the first open case for $K_k$-free graphs after $k=3$ for which Alon gave a tight construction in 1994. This has a variety of implications for $K_4$-free pseudorandom graphs. Furthermore, it implies an explicit lower bound on the Ramsey number of $r(4, t) \geq t^{1.\overline{6} - o(1)}$, improving the previous record by Kostochka, Pudlák, and Rödl of $r(4, t) \geq t^{1.6-o(1)}$.

The dominated coloring of a graph $G$ is a proper vertex coloring such that each color class is dominated by a vertex. The minimum number of colors required for a dominated coloring of a graph $G$ is called the dominated chromatic number of the graph $G$ and is denoted by $χ_{dom}(G)$. A graph $G$ is said to be chromatic dominated if $χ(G)=χ_{dom}(G)$. In this paper, we characterized the perfect graphs, which are chromatic dominated. Also, we studied the dominated chromatic number of some classes of unicyclic graphs.

A mixed graph $M=(V,E\cup A)$ is acyclic if its directed part $(V,A)$ is an acyclic digraph. In this note we study the so-called orientation completion problem for the class of acyclic mixed graphs. That is, given an acyclic mixed graph $M$ and a property ${\cal P}$; can we orient the edges of $M$ so that the resulting digraph is acyclic and has property ${\cal P}$. We prove that one can decide in polynomial time whether $M$ can be completed to an acyclic digraph with an out-branching from a prescibed vertex $s$, while it is NP-complete to decide whether $M$ has an acyclic orientation which has both an out-branching and an in-branching (a bipolar orientation). We show that it is NP-complete to decide whether $M$ can be oriented so that it contains a directed path between two prescribed vertices. Finally we describe a polynomial algorithm for deciding whether an acyclic digraph $D$ has an out-branching $B^+_s$ such that the digraph $D-A(B^+_s)$ is connected (in the underlying sense). Based on this we pose as an open problem the complexity of deciding whether the edges of an acyclic mixed graph can be oriented so that the result is an acyclic digraph with a non-separating out-branching.

Non-commutative friezes have been introduced by Berenstein and Retakh and studied further by the authors. In this paper we consider non-commutative friezes over normed division rings, like for instance Hamilton's quaternions or more general quaternion algebras. We address the fundamental question in the theory of friezes of whether over a certain subset there are finitely or infinitely many non-commutative friezes (with 1's on the boundary) for any height. As an application of a theorem bounding the norm of quiddity entries we deduce that for every norm-finite subset of a normed division ring there are only finitely many such non-commutative friezes for every height. In particular this result applies to the Lipschitz quaternions and the Hurwitz quaternions of Hamilton's quaternions. We then study more generally non-commutative friezes over Lipschitz subrings of non-split quaternion algebras $(a,b)_{\mathbb{Q}}$. We determine the frieze subrings for all $a,b<0$, and as a consequence we see that all such non-commutative friezes are known if $a\le -4$ and $b\le -4$.

We show that every polytope $P\subseteq[0,1]^n$, and more generally every compact convex set, has Chvátal rank at most $12.22n^2+n\log_2 n+2n+4$. This improves the $O(n^2\log n)$ bound of Eisenbrand and Schulz and, together with the $Ω(n^2)$ lower bound of Rothvoß and Sanità, shows that the maximum Chvátal rank of a polytope in $[0,1]^n$ is $Θ(n^2)$. More precisely, if $P$ contains an integer point, then for every $c\in\mathbb{Z}^n\setminus\{0\}$ the inequality $cx\le\max\{cy: y\in P\cap\mathbb{Z}^n\}$ is valid for the $k$-th Chvátal closure of $P$ for some $k\le 12.22n^2+2n+2\log_2\|c\|_\infty+4$. Following Eisenbrand and Schulz, we derive this inequality along a chain of coarser and coarser integer vectors, but instead of halving the vector in each step, we round $τc$ for a scale $τ$ chosen freely in each dyadic window $[2^{-t-1},2^{-t}]$. The main new ingredient is a multiscale version of Dirichlet's approximation theorem, proved by an elementary volume argument: for every $c\in\mathbb{R}^n$, the $\ell_1$-distances of $τc$ to $\mathbb{Z}^n$, minimized within each dyadic window and summed over all windows, total less than $1.222n^2$, independently of $\|c\|_\infty$.

We determine weak $k$-metric dimensions for several families of Hamming graphs. For $n\ge3$, $m>n$, and $3\le k\le2n$, a cyclic construction proves Conjecture 6.1 of Fernández, Klavžar, Kuziak, Muñoz-Márquez and Yero (2026) on $K_n\square K_m$. For these rectangular products, we also prove that $\operatorname{wdim}_2(K_n\square K_m)=m$ exactly when $m\ge2n-2$. For hypercubes $Q_d$ with $d\ge2$, we show that consecutive parameters $2s-1$ and $2s$ have identical weak resolving sets. Near the maximum parameter, a reduction to restricted-distance binary codes determines $\operatorname{wdim}_{2^d-t}(Q_d)$ for every feasible deficit $0\le t\le15$. For $L\ge1$ and $t\in\{2L,2L+1\}$, we prove the stabilization formula $\operatorname{wdim}_{2^d-t}(Q_d)=2^d-L$ for $d\ge2^L+1$, and show that this threshold is sharp. For each fixed $q\ge3$ and deficit $t$, we also determine $\operatorname{wdim}_{2q^{d-1}-t}(K_q^{\square d})$ in all sufficiently large dimensions, with an explicit sufficient condition.

For a graph $H$, the anti-Ramsey number $\operatorname{ar}(n,H)$ is the maximum number of colors in an edge-coloring of $K_n$ containing no rainbow copy of $H$, where a copy is rainbow if its edges have pairwise distinct colors. Let $s,t$ be nonnegative integers with $s+t\ge2$, and let $H_{s,t}$ be a graph consisting of $s$ triangles and $t$ odd cycles of fixed lengths at least $5$, all sharing exactly one common vertex and otherwise pairwise vertex-disjoint. Liu et al. (2024) determined $\operatorname{ar}(n,H_{s,0})$ for $s\ge3$ and $n\ge50s^2$. In this paper, we determine the exact value of $\operatorname{ar}(n,H_{s,t})$ for every fixed $H_{s,t}$ with $t\ge1$ and all sufficiently large $n$.

We give an elementary proof that every positive rational number $a/b$ with $b$ squarefree is a finite sum of distinct unit fractions $1/n$, where each $n$ is a product of two distinct primes (Erdős Problem #306). After a reduction to small targets, we take a single complete bipartite graph between the primes in $(y^2,2y^2]$, together with $2$ and the primes of $b$, and a tuned initial segment of the primes in $(y^8,y^9]$, and show that some subgraph has reciprocal sum congruent to $a/b$ modulo $1$; the small total mass then forces equality. Writing the number of such subgraphs as a finite Fourier sum, we sort the frequencies into three cases using a table indexed by the two sides of the graph. The small integer frequencies give a positive main term, and all other frequencies are negligible by a divisor-counting argument and a no-wrap-around form of the Chinese remainder theorem. The only inputs about primes are Chebyshev-type bounds. The circle-method framework comes from Tang's Lean development, which gave the first proof; our construction removes its anchor-synchronisation step. The proof has been formalised in Lean 4, apart from a cited inequality of Ramanujan. This work is a human-AI collaboration: AI tools contributed substantially to the construction, the experiments and the writing.

Let $I\subseteq S$ be a monomial ideal with minimal generator degrees between $e$ and $d$, where $2\leq e\leq d$. We prove that if $t_a(S/I)<ea$, then $$ t_{a+b}(S/I)\leq t_a(S/I)+ \left\lceil\frac{(2d-1)b}{2}\right\rceil $$ for $a\geq2$, $b\geq0$, and $a+b\leq\operatorname{pd}_S(S/I)$. Consequently, $$ t_{a+b}(S/I)\leq ae+db-1-\left\lfloor\frac b2\right\rfloor. $$ In particular, if $t_2(S/I)<2e$, then $$ t_i(S/I)\leq \left\lceil\frac{(2d-1)i}{2}\right\rceil-2(d-e) $$ for $2\leq i\leq\operatorname{pd}_S(S/I)$. We also obtain a regularity bound and give a quadratic family in which our estimate for the last shift is smaller than every bound obtained from ordinary subadditivity. The constant $2d-1$ is sharp for $d=2$.

We derive new exact formulae for elliptic genera in two spacetime dimensions with $\mathcal{N}\ge 2$ supercharges, as well as their one- and zero-dimensional counterparts (for Witten indices and matrix-model partition functions). Our results are written as a discrete sum over geometric/combinatorial structures of crystals introduced previously by the authors. The contribution from each crystal may be expressed in terms of the boundary data of a finite substructure of the crystal called the molecules. Our results provide vast generalisations of the celebrated Nekrasov partition function enumerated by the Young diagrams, and uncover new combinatorics underlying the crystal melting. We also analyse the thermodynamic limit of crystals arising from two-dimensional $\mathcal{N}=(0,2)$ theories associated with toric Calabi-Yau fourfolds, where a projection of the Calabi-Yau geometry emerges in the limit.

We disprove the Reiner--Shimozono conjecture that products of key polynomials have nonnegative expansions in Demazure atoms. By relaxing the defining relations of Demazure modules, we obtain an exact coefficient-extraction formula that yields an explicit infinite family of counterexamples, including negative coefficients in twenty-eight variables. These examples answer van der Kallen's long-standing open question on relative Schubert filtrations negatively, already for tensor products of two dual Joseph modules. For individual atom coefficients, we give a sufficient criterion for positivity that is checkable in polynomial time in the binary input length, uniformly in rank. For each fixed rank $n\ge4$, this criterion recognizes a nonvanishing proportion of the positive atom coefficients as the bound on the composition entries tends to infinity.

We construct a family of finite local rings whose annihilating-ideal graphs are naturally described by orthogonality of subspaces of $\mathbb{F}_2^n$. For $n=4$ we determine the clique and chromatic numbers exactly and obtain \[ ω(\AG(R_4))=5<6=χ(\AG(R_4)). \] Thus $\AG(R_4)$ is not weakly perfect, and the Behboodi--Rakeei conjecture fails for non-reduced commutative rings.

Let $σ\mathrm{Mex}(n)$ and $σ_e\mathrm{Mex}(n)$ denote the sum of minimal excludants and sum of even minimal excludants over all overpartitions, respectively. In this work, we study these two combinatorial objects from an arithmetic perspective. We prove that, for $n\geq 0$, $σ_e\mathrm{Mex}(n)\equivσ\mathrm{Mex}(n)-\bar{p}_{\geq 2}(n)\pmod{2^2}$, where $\bar{p}_{\geq 2}(n)$ denotes the number of overpartitions of $n$ with all parts at least $2$, and obtain relation with basic hypergeometric series. Furthermore, we prove the asymptotic behavior of $σ\mathrm{Mex}(n)$, $σ_e\mathrm{Mex}(n)$, and $\bar{p}_{\geq 2}(n)$ as $n\to\infty$. In particular, we prove that $σ\mathrm{Mex}(n)\sim 2\,σ_e\mathrm{Mex}(n).$

Let $σ_{n,d}$ denote the elementary symmetric Boolean function of $n$ variables and degree $d$. Previous work determined $C(σ_{n,d})$ when $d$ is odd or a power of two, but the general even non-power-of-two case remained open. We determine the certificate complexity for every degree $1\le d\le n$, thereby completing the classification for elementary symmetric Boolean functions. Writing $d=2^t m$ with $m$ odd, we obtain an explicit formula in which the possible deficit from the maximal value $n$ is controlled by $2^t$, while the exact value is determined by a binary containment condition involving $m$. In particular, \[ n-2^{ν_2(d)}+1\le C(σ_{n,d})\le n, \] and we characterize when the upper bound is attained. Moreover, we determine the least positive period of the certificate-complexity deficit $Δ_d(n)=n-C(σ_{n,d})$: it is $1$ for odd $d$, equals $d$ when $d$ is a power of two, and equals $2^{\lfloor\log_2 d\rfloor+1}$ for even non-power-of-two $d$. This least-period problem is distinct from the classical periodicity of the underlying value sequence $\binom{j}{d}\bmod 2$. The known odd-degree and power-of-two formulas are recovered as special cases.

For a fixed integer $k\ge 2$, let $W_{2k+1}=K_1\vee C_{2k}$ be an odd wheel graph. The fixed-size spectral extremal problem aims to determine \[ \operatorname{spex}(m,W_{2k+1}):=\max\{ρ(G): e(G)=m,\ G \text{ is } W_{2k+1}\text{-free}\}, \] where $ρ(G)$ denotes the adjacency spectral radius. Based on this problem, Yu, Li, and Peng [18] proposed the following conjecture: For large $m$, every $W_{2k+1}$-free graph of size $m$ satisfies $ρ(G)^2-(k-1)ρ(G)\le m-\binom{k}{2}$ with equality precisely for $K_k\vee qK_1$ and $m-\binom{k}{2}=kq$. Very recently, Fang, Zhai and Zhang [7] confirmed the Yu--Li--Peng conjecture. When $m$ is large, $k\ge 2$ and $m-\binom{k}{2}$ is not divisible by $k$, the exact solution for the above problem is still open. Regarding this problem, Yu, Zhang, and Zhang [19] proposed the following conjecture: Let $r$ be a nonzero remainder when $m-\binom{k}{2}$ is divided by $k$. Then $S_{k,m}$ is the unique graph among $W_{2k+1}$-free graphs of size $m$ having maximum spectral radius, where $S_{k,m}$ is obtained from $K_k\vee qK_1$ by adding a vertex $z$ and joining it to exactly $r$ vertices of the $K_k$. In this paper we address this problem in each nonzero residue class. Our result completely settles the Yu-Zhang-Zhang conjecture for $k\ge 3$.

We prove commutation relations between the ordinary type A crystal operators and a sign-reversing involution on semistandard set-valued tableaux of skew shape. We describe the involution by Boolean fibers with fixed maximum entries. It commutes with every raising operator except the one indexed by the entry changed by the involution. We characterize commutation at this exceptional raising operator and for lowering operators away from the two colors involving that entry using the box where the involution acts and reduced signatures. We construct a bijection from these tableaux to decorated five-vertex states that preserves weight and excess, subject to a restriction on nontrivial bumps determined by the inner partition. Rotation with alphabet reversal yields the dual statements.

Classical Turán theory shows that, without additional constraints, the extremal structure of $F$-free graphs is governed by the chromatic number of $F$ and is asymptotically the balanced Turán graph. We investigate how prescribing a large maximum degree changes this picture and leads to an unbalanced Turán problem. Let $F$ be a graph with $χ(F)=r+1\ge3$, and let $\lceil(r-1)n/r\rceil\leΔ\le n-1$. We study the maximum number of edges and adjacency spectral radius of an $n$-vertex $F$-free graph with maximum degree exactly $Δ$. For $F=K_{r+1}$, the unbalanced $r$-partite graph $S_{n,Δ}^{(r)}=(n-Δ)K_1\vee T(Δ,r-1)$ is the unique maximizer of both quantities. Let $a(F)$ be the minimum size of an independent set $I$ such that $χ(F-I)\le r$. If $a(F)=1$, we prove edge and spectral stability with respect to $S_{n,Δ}^{(r)}$. If $a(F)>1$, the extremal values are $t(n,r)+o(n^2)$ and $ρ(T(n,r))+o(n)$, respectively, and every extremal graph differs from $T(n,r)$ in $o(n^2)$ edges, uniformly all $\lceil(r-1)n/r\rceil\leΔ\le n-1$. We further establish a general spectral transfer principle: for finite forbidden families, a decomposition-family bound of order $O(n^{1+s})$ yields a spectral bound with error $O(n^s)$ for $0\le s<1$.

We introduce the \emph{intersection orbital graph} $Γ(G_1, G_2; Ω)$ associated with two permutation groups $G_1, G_2 \leq \mathrm{Sym}(Ω)$ on a finite set $Ω$.

The well-known hard-core model on the triangular lattice $\mathbb A$ is an interaction model defined on the independent sets of the lattice, parameterized by an activity parameter $λ> 0$. In this work, we consider an extension of this model to maximal independent sets, which we call the maximal hard-core model. We show that in the high-activity regime ($λ> 10^6$), the model admits at least two Gibbs measures on maximal independent sets in $\mathbb A$. In the low-activity regime ($λ$ close to $0$), we apply Pirogov-Sinai theory to characterize extremal periodic Gibbs measures of the model. Finally, we derive bounds on the capacity of a recoverable system on the lattice associated with the maximal hard-core model.

This is an introduction to free probability, with all the needed preliminaries included. We first discuss the most basic noncommuting variables, namely the usual matrices, followed by the basic random matrices, and with a look into Lie groups too. Then we present, following Voiculescu, the main concepts and tools of free probability, notably with the various limiting theorems that can be obtained. We then go on a more technical discussion, featuring cumulants, functional transforms and group theory, on the correspondence between classical and free. Finally, we discuss matrix modeling questions for the various more specialized free laws and objects that can be imagined.

We prove that if a finite poset $Q$ satisfies the Gold Partition Conjecture, and $P$ is a finite poset, then for any $i\in P$ the lexicographic sum $P\circ_iQ$ of $P$ with $Q$ on the point $i$, satisfies the Gold Partition Conjecture. Let $L(P)$ be the set of linearizations of $P$, $e(P)=\#L(P)$, $ \mathbb{P}(x<y)=\frac{\#\{f\in L(P)|x<_f y\}|}{e(P)}$, and $δ(P)=\max_{x,y\in P}\min\{\mathbb{P}(x<y),$ $\mathbb{P}(y<x)\}$. We describe the behavior of those numbers when $P$ is a lexicographic sum. Namely, $\prod_{i=1}^n e(Q_i)\,$ divides $\,e(P( Q_1,\dots,Q_{|P|}))$, and $δ(P(Q_1,\dots,Q_n))\geq \max_{1\leq i\leq n}\{ δ(Q_i)\}$.

An integer partition of $n$ is called graphical if its parts form a degree sequence of a simple graph. While unrestricted graphical partitions have been extensively studied, much less is known when the parts are restricted to a prescribed set. In this work, we investigate the probability that a uniformly random partition of an even integer $n$, subject to such restrictions, is graphical. We establish an upper bound on this probability expressed solely in terms of the Durfee square of the partition. Additionally, we evaluate the most-probable size of the Durfee square, depending solely on $n$ and the restrictions on the parts. Thus, we establish typical bounds on the probability that such random partitions are graphical. Our approach employs the Nash-Williams graphical condition, the saddle-point method and Edgeworth expansions.

Recoverable systems provide coarse models of data storage on the two-dimensional square lattice, where each site reconstructs its value from neighboring sites according to a specified local rule. To study the typical behavior of recoverable patterns, this work introduces an interaction potential on the local recovery regions of the lattice, which defines a corresponding interaction model. We establish uniqueness of the Gibbs measure at high temperature and derive bounds on the entropy in the zero- and low-temperature regimes. For the recovery rule under consideration, exactly recoverable configurations coincide with maximal independent sets of the grid. Relying on methods developed for the standard hard-core model, we show phase coexistence at high activity in the maximal case. Unlike the standard hard-core model, however, the maximal version admits nontrivial ground states even at low activity, and we manage to classify them explicitly. We further verify the Peierls condition for the associated contour model. Combined with Pirogov-Sinai theory, this shows that each ground state gives rise to an extremal Gibbs measure, proving phase coexistence at low activity.

Let $M$ be a left $R$-module. We define the \emph{homomorphism submodule graph} $Γ_{\mathrm{Hom}}(M)$ as the simple graph whose vertices are the proper submodules of $M$, with an edge between distinct vertices $N_1$ and $N_2$ if and only if $\mathrm{Hom}_R(N_1, M/N_2) \ne 0$ or $\mathrm{Hom}_R(N_2, M/N_1) \ne 0$. This graph encodes homological information about $M$ and reflects its internal structure. We compute $Γ_{\mathrm{Hom}}(M)$ for semisimple and uniserial modules, establish precise correspondences between graph-theoretic and algebraic properties, and prove that for modules over Artinian local rings, the isomorphism type of $M$ is determined by $Γ_{\mathrm{Hom}}(M)$. We also show that over commutative rings with identity, the graph is always chordal, and we relate its spectral radius to composition length in natural families.

Let $R$ be a commutative ring with identity. We introduce a novel bipartite graph $\mathcal{B}(R)$, the \textit{bipartite zero-divisor--unit graph}, whose vertex set is the disjoint union of the nonzero zero-divisors $Z(R)^*$ and the unit group $U(R)$. A vertex $z \in Z(R)^*$ is adjacent to $u \in U(R)$ if and only if $z + u \in Z(R)$. This construction provides an \textit{additive} counterpart to the well-established \textit{multiplicative} zero-divisor graphs. We investigate fundamental graph-theoretic properties of $\mathcal{B}(R)$, including connectedness, diameter, girth, chromatic number, and planarity. Explicit descriptions are given for rings such as $\mathbb{Z}_n$, finite products of fields, and local rings. Our results are sharpest for \textit{finite reduced rings}, where $\mathcal{B}(R)$ yields a graphical characterization of fields and serves as a complete invariant: $\mathcal{B}(R) \cong \mathcal{B}(S)$ implies $R \cong S$ for finite reduced rings $R$ and $S$. The graph also reveals structural distinctions between reduced and non-reduced rings, underscoring its utility in the interplay between ring-theoretic and combinatorial properties.

We prove that the canonical orientation of the generalized Kneser graph $KG(n,k,s)$ contains a directed Hamiltonian cycle for all integers $s \geq 3$ and $n>sk$. Furthermore, we establish that the dichromatic number of this oriented graph is exactly $k$. As a special case, our results apply to the $s$-stable Kneser graphs $K_{s\text{-stab}}(n,k)$, resolving their directed Hamiltonicity and dichromatic number. Our proof adapts the class graph framework of Ledezma and Pastine to the directed setting, leveraging cyclic rotations and friend class adjacencies to construct a single directed cycle spanning all vertices. This work provides a unified and strengthened perspective on the Hamiltonian properties of Kneser-type graphs.

In this work, we obtain a Hall--Littlewood expansion of the chromatic quasisymmetric function arising from a natural unit interval order and describe the coefficients in terms of linked rook placements. Applying the Carlsson--Mellit relation between chromatic quasisymmetric functions and unicellular LLT polynomials, we also obtain a combinatorial description for the coefficients of the unicellular LLT polynomials expanded in terms of the modified transformed Hall--Littlewood polynomials.

We recall that a parking function of length $n+1$ is said to be prime if removing any instance of 1 yields a parking function of length $n$. In this article, we study prime parking functions from multiple lenses. We derive an explicit formula for the average value of the total displacement of prime parking functions. We present a formula for the displacement-enumerator of prime parking functions that involves a sum over Łukasiewicz paths. We describe the one-to-one correspondence between parking functions and labeledŁukasiewicz paths via Dyck paths. We introduce the concept of $\ell$-forward differences and use this as a vehicle for examining ties, ascents, and descents in prime parking functions. We establish a link between Schur functions corresponding to the partition $(i,1^{n-i})$ and fundamental quasisymmetric functions indexed by prime parking function tie sets of size $n-i.$

In Bipartite minors [Journal of Combinatorial Theory, Series B, 2016], Chudnovsky et al. introduced the bipartite minor relation (a quasi-order on the class of bipartite graphs similar to the minor relation on general graphs) and asked whether it is a well-quasi-order. We answer this question negatively by giving an infinite set of 2-connected bipartite graphs that are pairwise incomparable with respect to the bipartite minor relation. We additionally give two infinite sets of pairs of bipartite graphs: one set of pairs G, H such that H is a bipartite minor, but not a minor, of G, and one set of pairs G, H such that H is a minor, but not a bipartite minor, of G.