arXiv++ Combinatorics

For a fixed integer $k\ge 2$, let $kK_3$ denote the vertex-disjoint union of $k$ triangles. A recent fixed-size spectral theorem of Das and Yamini asserts that, for all sufficiently large $m$, every $kK_3$-free graph $G$ of size $m$ satisfies $λ(G)\le (k-1)+\sqrt{m-k(k-1)},$ and equality holds if and only if $(2k-1)\mid m$ and $ G\cong \bigl(K_{2k-1}\vee qK_1\bigr)\cup tK_1,\, q=\frac{m}{2k-1}-(k-1) $ for some $t\ge 0$. They explicitly posed the open problem: Let $k\ge 2$ be fixed and $\ell$ be a residue in $\{1,\dots,2k-2\}$. For all sufficiently large integers $m\equiv \ell\pmod{2k-1}$, determine the exact value of $\max\bigl\{λ(G): e(G)=m,\ G\text{ is }kK_3\text{-free}\bigr\}, $ and characterize all graphs attaining this maximum. In this paper, using the positive-defect version of the bounded-core method for divisible sizes together with several new ideas developed in this paper, we give a complete solution to the aforementioned open problem.

For every $N\ge36$, we realise any prescribed monic irreducible binary polynomial of degree $N$ as the characteristic polynomial of a linear hybrid cellular automaton on a near-square region of exactly $N$ cells. The transition matrix is Moore-local with a null boundary and has at most $3N-1$ directed nonself dependencies. The dependency graph retains a bidirectional Hamilton path; its indegree, outdegree and underlying undirected degree are at most six. The underlying graph contains an explicit square grid minor of side proportional to $\sqrt N$. The deterministic synthesis takes $O(N^3)$ bit operations. The construction combines a local similarity transformation with a transport potential and joint routing across consecutive row gaps. Exact verification of finite certificates, followed by induction, proves the required routing inequalities for every admissible width. We also give an entirely analytic construction with fewer than $7N/2$ dependencies and prove a lower bound of $5N/2-O(\sqrt N)$ for the retained path and full rectangular grid minor. This lower bound is sharp when the characteristic polynomial is unrestricted.

Every balanced instance of the stable marriage problem with strict complete preferences has a unique finest partition into prime blocks, and that single partition simultaneously factors three different structures: the reachable execution digraph as a Cartesian product, the proposal-prefix antimatroid as a direct sum, and the stable-matching lattice as a direct product. The converse fails, and fails at every size from two on: two explicit families share the identical Boolean-cube execution while one is maximally decomposable with a single stable matching and the other is prime with n. Uniqueness yields an exact census, a recursion counting the prime instances at every size, under which exactly 88,478,208 of the 110,075,314,176 profiles with four agents on each side are decomposable and the decomposable fraction is asymptotically n! / n^(2n). The blocks are characterised as the square components of the mutual-rank filtration, so the partition is computable in polynomial time and the factorisation is a tool rather than only a fact.

Let $G$ be a connected graph with minimum degree at least two, positive Lin-Lu-Yau Ricci curvature, and no $K_{2,t}$ minor, where $t\ge 3$ is an integer. We first establish tight upper bounds on the maximum degree of $G$ by showing that $Δ(G)\le 2t+3$ for $t=4$, $Δ(G)\le 2t+4$ for $t\in\{5,6\}$, and $Δ(G)\le 2t+2$ for all $t\ge7$. We then prove that $G$ has at most $10$ vertices for $t=3$, and at most $(t+1)\left(Δ(G)^2(Δ(G)-1)/2+1\right)$ vertices for all $t\ge 4$.

The theory of finite translation planes is intimately tied to the theory of spreads of PG(3,q), where a spread is a partition of PG(3,q) into $q^2+1$ pairwise disjoint lines. A traditional method of generating spreads begins with the regular spread and identifies sets of lines therein that can be replaced with other lines to create a new spread, such as reguli, Bruen chains, and nests. This work provides computational algorithms to enumerate all possible replaceable sets consisting of reguli, chains and nests in the regular spreads of PG(3,q) for $q \le 11$. Additional results include a refinement to Baker and Ebert's (q-1)-nests which expands that infinite family, and counterexamples to the long-standing conjecture that a t-nest of reguli in PG(3,q) must be replaceable if $t \le q$.

The Firefighter Problem models a spreading process (originally a fire, alternatively an infection or rumour, for example) on a graph. A defender saves a single vertex per turn; after each defence, the fire spreads to the unburned and undefended neighbours of all burning vertices. Deciding whether a strategy exists for the defender to protect some targeted number of vertices is computationally hard in graphs in general, but tractable in some restricted cases. Inspired by research into spreadable rabies vaccines for bats, we study a variant of the Firefighter problem in which defence also spreads. Some approximation results are already known for this problem; we provide algorithmic and hardness results, as well as containment results for the infinite $n$-dimensional Cartesian and strong grid graphs.

The recursive-line and signed Zarankiewicz numbers maximize the number of squares in augmentations of a maximum $C_4$-free base, subject to two sufficient irreducibility criteria. The count includes one square per base cell and one per selected pair of unused cells. We compare these parameters with the second-order number, which uses irreducibility itself. Every maximum $m\times n$ base admits a recursive-line augmentation with at least $mn/2-C\max(m,n)$ squares, for an absolute constant $C$. Combining this bound with a two-column extension of known fixed-width families, we show that all three parameters are asymptotically equivalent, uniformly as the larger dimension tends to infinity. For individual displays, a transfer graph shows that once the signed closure identifies every selected pair, the signed criterion is equivalent to irreducibility. We determine the second-order number for every six-column rectangle and give eventual exact formulas for all three numbers at widths seven, nine and eleven. We also prove signed and recursive-line equality at $8\times7$ and, together with earlier values, whenever the shorter side is at most six, except possibly at $14\times4$. The exact-value results are computer-assisted, using exhaustive enumeration, checked propositional refutations and symbolic certificates with a proved lifting argument for arbitrary lengths.

For each fixed $n$, we prove a positive lower bound for the diameter of a compact simple geodesic $n$-gonal monotile of the hyperbolic plane. We also prove a positive lower bound for the area of such a tile in a finite monohedral tiling of a closed hyperbolic surface, independent of the topology and metric. Both bounds become independent of $n$ for vertex-proper tilings, in which every genuine tile vertex belongs to at least three distinct tiles. This includes tilings by convex polygons. Reflex angles and non-edge-to-edge incidences are allowed. After qualitative proofs, we obtain explicit constants from a sharp gap estimate for packing polytopes with arbitrarily coupled nonnegative integer constraints. Exact corner balance applies on closed surfaces; in the plane, covering duality and ball counts give a boundary factor depending on the tile diameter. Following Zare, we give, for each integer $q\ge2$, a geodesic construction with $2q+3$ sides and diameter less than $3/q$, showing that side counts cannot be unrestricted without an additional condition. The closed-surface results extend to regular curved sides. The geometric constants are effective but are not claimed to be optimal.

In this paper we give necessary conditions for 4-class association schemes that are generated by double covers of strongly regular graphs. These conditions are applied to open cases for diameter 4 antipodal distance-regular graphs. Using these conditions we are able to show the nonexistence of four cases in the table of Brouwer, Cohen and Neumeier: $\{20,18,3,1;1,3,18,20\}$, $\{22,21,3,1;1,3,21,22\}$, $\{ 54,50,5,1;,1,5,50,54 \}$, $\{ 170,162,9,1;,1,9,162,170 \}$. More generally, we show there is no distance-regular graph with intersection array $\{k,b_1,b_2,1;1,b_2,b_1,k \}$ where $b_2 \neq 1$ and $\frac{ k b_1 }{4}(1+k+\frac{ k b_1 }{2b_2})$ is odd. Tables are also given for more general 4-class association schemes generated by double covers of strongly regular graphs.

In this paper, we compute the orders of upper triangular symplectic Renner monoids using admissible sets. We obtain both recursive and closed-form formulas for these orders. We then derive their exponential generating functions and establish connections between these functions and the Laguerre polynomials.

We study the realization problem for point schemes of skew polynomial algebras. We approach this problem combinatorially by translating it into the study of certain $3$-uniform hypergraphs, which we call point hypergraphs. We first give a homological criterion characterizing point hypergraphs. Using this criterion, we study hypergraphs obtained by deleting triangles from triangulations of connected orientable closed surfaces. Deleting exactly one triangle always gives a non-point hypergraph. When the triangulation has no separating nonfacial $3$-cycles, deleting either no triangles or at least two triangles gives a point hypergraph, and the one-triangle deletions are minimal non-point hypergraphs with respect to taking induced sub-hypergraphs. It follows that point hypergraphs cannot be characterized by finitely many forbidden induced sub-hypergraphs. Next, for each point hypergraph, we construct an affine moduli variety of skew polynomial algebras realizing it, and determine its dimension. For point hypergraphs arising from the above surface construction, we obtain an explicit dimension formula in terms of the number of vertices, the Euler characteristic, and the number of deleted triangles. Finally, we characterize point hypergraphs on six vertices in terms of a four-vertex local condition together with a single exceptional obstruction.

We show that there exists $C\in\mathbb{N}$ such that $K_t$-minor free graphs are $Ct$-colorable. The proof was found by GPT-6 Astra, following the directions by the authors.

The quantum $n$-coloring problem, given graph $G$, asks whether there exists a perfect quantum strategy for the $n$-coloring game of $G$. Previously it was known that quantum $n$-coloring is undecidable only for $n=3$. We extend this to all $n\geq 3$ with one elementary reduction. Letting $G'=(G\square K_3)\lor K_{n-3}$, we show that $G$ is quantum $3$-colorable if and only if $G'$ is quantum $n$-colorable.

For K-unstable toric varieties, Székelyhidi's optimal test-function $Θ_{P}$ is a mysterious concave function over the moment polytope $P$, which gives the maximal destabilizer for K-stability, and encodes the limiting behavior of the divergent Calabi flow. As balanced norms quantize cscK metrics, we show that $Θ_{P}$ can be quantized by the maximal destabilizers for Chow-stability, which are given by the shortest GKZ vectors, i.e., the least norm point on the secondary polytope for the set $P\cap k^{-1}\mathbb{Z}^{n}$. Properties and algorithm for general sGKZ vectors are given. Our result may provide a new method to detect the K-unstability of toric varieties.

Odd girth and the sum of the largest and smallest adjacency eigenvalues are two common indicators of how close a graph is to being bipartite. This paper investigates the asymptotic behavior of this eigenvalue sum under odd-girth constraints. We study the associated abstract moment problem over finite real lists satisfying the vanishing odd-moment identities imposed by odd girth at least $g$ and the standard second-moment bound for graph spectra. We prove that the supremum of $(λ_1+λ_n)/n$ over these lists lies between $(1-o(1))(\log g)^2/g^3$ and $(10/7+o(1))(\log g)^2/g^3$ as $g\to\infty$ through the odd integers. The upper bound applies in particular to graphs of odd girth at least $g$. For regular graphs of odd girth $g\geq5$, we obtain a stronger bound $(λ_1+λ_n)/n \leq 12/((g-1)(g-2)(g-3))$, which is optimal up to a constant factor.

A backbite on a Hamiltonian path of a graph $G$ adds an edge of $G$ from an endpoint $u$ of the path to a vertex $v$ and deletes an edge of the path at $v$ so that the result is again a Hamiltonian path. We study the connectivity of the reconfiguration graph $R(G)$, whose vertices are the Hamiltonian paths of $G$, with two adjacent when a single backbite carries one to the other. We prove that $R(G)$ is connected whenever $G$ contains the square of a Hamiltonian path as a spanning subgraph, and that any two Hamiltonian paths can be reconfigured using $O(n^2)$ backbites. Combining the theorem with known results on spanning squared paths gives connectivity for every graph with $δ(G)\ge\lceil\frac{2n-1}3\rceil$, for the circulants $\mathrm{Circ}(n;S)$ with $a,2a\in S$ for some $a$ coprime to $n$, and, with high probability, for the random graph $G(n,p)$ with $p\ge c/\sqrt n$, for a sufficiently large constant $c$. In the other direction, graphs with arbitrarily high connectivity may have disconnected reconfiguration graphs. For every $n\ge8$ and every $1\le m\le\lfloor n/2\rfloor-3$ we construct a graph on $n$ vertices with $κ=λ=δ=m$ whose reconfiguration graph is disconnected, with at least $(n-2m-4)!$ components. We conjecture that $δ(G)\ge n/2$ suffices for connectivity.

In 1949, De Bruijn and Erdős considered infinite stick-breaking sequences. In this work, we consider finite sequences and prove that an infinite sequence that is due to De Bruijn, Erdős, and Toulmin is in some sense unique.

Let $f(d)$ be the smallest integer such that every connected bridgeless graph of diameter $d$ admits an orientation with directed diameter at most $f(d)$. Chvátal and Thomassen (1978) proved $\left\lceil{d^2}/{2}\right\rceil+d\le f(d) \le 2d^2+2d$. In this paper, we prove that $f(d)\le \left\lceil d^2/2\right\rceil+6d$, which shows $f(d)= d^2/2+Θ(d)$ and determine the leading quadratic coefficient of $f(d)$. The key method of our proof is to construct a central subgraph $H$ such that it admits a strong orientation of diameter $O(d)$ and the distance between $H$ and every vertex outside $H$ is at most $ d/2 $.

The two-block odd partition function \(a(n)\) is the signed enumeration of partitions into exactly two distinct part sizes, each occurring an odd number of times. By separating the underlying representations according to the \(2\)-adic valuations of the two part sizes, we obtain a signed decomposition, completed by two classical theta-function evaluations, which explains the structural relation \(a(2^km)=a(m)+(2^{k-1}-1)σ(m)\), where \(m\) is odd, \(k\ge1\), and \(σ(m)\) is the sum-of-divisors function. Combined with a previously established arithmetic formula for \(a(n)\), this relation yields congruences along the dyadic progressions \(2^k(4n+3)\), as well as the families \(a\!\left(2^\alpha3^β(12n+11)\right)\equiv0\pmod3\) and \(a\!\left(2^α(18n+15)\right)\equiv0\pmod3\). We also use a factorization of the generating function of \(a(n)\) involving \(\operatorname{pod}(n)\), the number of partitions in which odd parts are distinct and even parts are unrestricted, to establish a uniform reduction modulo every odd prime of the associated auxiliary series. The resulting theta-weighted sums involving \(\operatorname{pod}(n)\) are congruent to \(a(n)\) and therefore admit explicit evaluations involving the sum-of-divisors function and the character divisor sum associated with the nonprincipal Dirichlet character modulo \(4\). As special cases, we obtain infinite families of weighted congruences modulo \(3\), \(5\), and \(13\).

We prove the Baker--Rumely conjecture that the tau invariant of a metrized graph admits a positive lower bound proportional to its total length, with an absolute constant. We also construct simple cubic metrized graphs whose normalized tau invariants tend to $59/7260<1/108$, disproving the proposed universal constant $1/108$. The lower bound is independent of the genus, the number of edges, and the distribution of edge lengths. Its proof combines a second-moment inequality for Euclidean lattices with a partition of the edge coordinates of a cycle lattice into three independent sets. The counterexamples have only two edge lengths and admit an elementary resistance calculation. Through the tropical moment identity, the lower bound also gives a uniform estimate for the non-archimedean terms in height formulas for Jacobians.

The Riemann hypothesis is equivalent to $F(x)$ belonging to the Laguerre--Pólya class. Brändén [J. Reine Angew. Math., 2011] proved that if an entire function in the Laguerre--Pólya class has nonnegative Taylor coefficients, then its coefficient sequence is infinitely log-concave. Consequently, the Riemann hypothesis implies the infinite log-concavity of $(λ_n)_{n\ge0}$. In this paper, we prove that the sequence $(λ_n)_{n\ge0}$ is strictly infinitely log-concave. This resolves a conjecture of Zhu [Math. Z., 2023]. The proof combines explicit complex-analytic estimates for the iterated logarithmic ratios, rigorous interval arithmetic for a finite range of indices, and a global closure argument.

Let $λ_1(n,Δ)$ be the maximum adjacency spectral radius among connected nonregular simple graphs of order $n$ and maximum degree $Δ$. Using effective resistance bounds, explicit comparison graphs and a one-dimensional Wirtinger inequality, we prove that, for every fixed integer $Δ\ge3$, $λ_1(n,Δ)=Δ-\frac{c_Δπ^2}{4n^2}+O_Δ(n^{-5/2})$, where $c_Δ=Δ-1$ for odd $Δ$ and $c_Δ=2(Δ-2)$ for even $Δ$. This proves the asymptotic conjecture posed by Liu [J. Combin. Theory Ser. B 169 (2024), Conjecture 7.1].

Let $G$ be a graph. Under an \emph{injective edge coloring} of $G$, any two edges at distance $2$ or belonging to a common triangle receive distinct colors. The \emph{injective chromatic index} of $G$, denoted by $χ'_{inj}(G)$, is the smallest integer $k$ such that $G$ admits an injective edge coloring with $k$ colors. Let $Δ$ be the maximum degree of $G$. Ferdjallah et al.~proved that $χ'_{inj}(G) \le 2(Δ-1)^2$. In this paper, we improve this bound by proving that $χ'_{inj}(G) \le 2(Δ- 1)^2 -Δ+ 3$ if $Δ\ge 4$.

Let $r\geq 2$ be an integer. An $r$-partite graph $Γ$ with vertex partition $V_1,\ldots,V_r$ is $2$-balanced if there exists a positive integer $n$ such that $n\leq |V_i|\leq 2n$ for every $i\in[r]$. For an integer $\ell\geq3$, let $C_\ell$ denote the cycle of length $\ell$, and define $\hatδ(Γ)=\min\{d_Γ(v,V_i)/|V_i|:i\in[r],\ v\in V(Γ)\setminus V_i\}$. Let $\hatδ^r_{C_\ell}$ denote the $C_\ell$-decomposition threshold for $2$-balanced $r$-partite graphs, that is, the least nonnegative real number $δ$ such that, for every $\varepsilon>0$, there exists $n_0$ such that every $C_\ell$-divisible $2$-balanced $r$-partite graph $G$ with $\min_i|V_i|>n_0$ and $\hatδ(G)\geqδ+\varepsilon$ admits a $C_\ell$-decomposition. We prove that $\hatδ^{r}_{C_4}=\frac{2}{3}$ and $\hatδ^{r}_{C_{2k}}=\frac{1}{2}$ for every $r\geq2$ and every $k\geq3$.

For an odd prime power $q$, a BLT-set $\mathcal B$ is a set of $(q+1)$ points of $\mathcal Q(4,q)$ such that every point of $\mathcal Q(4,q)$ is collinear with at most two points of $\mathcal B$. We complete the classification of BLT-sets of $\mathcal Q(4,q)$ admitting a non-solvable transitive automorphism group. Nelson and Penttila completed the classification of BLT-sets $\mathcal B$ with a non-solvable transitive automorphism group acting irreducibly on the underlying $5$-dimensional vector space. In this paper, we prove that a BLT-set with a non-solvable transitive full automorphism group acting reducibly on the underlying $5$-dimensional vector space is either a classical BLT-set or a Kantor semifield BLT-set.

Motivated by the EPPA problem for finite tournaments,we consider various extension properties for partial permutations. We show that for any set $Π$ of prime numbers, the $Π$-extension property is equivalent to the $Π$-LERF. As a consequence of known results, the odd-extension property is then equivalent to the EPPA for finite tournaments. To study the $Π$-extension property, we reformate the property using the concepts of EP problems and $Π$-solutions. We then show that the existence of a $Π$-solution for an EP problem depends entirely on its fundamental group. In particular, when the fundamental group is trivial or cyclic, the EP problem has a $Π$-solution for any $Π$. These extend some known results of Huang, Pawliuk, Sabok and Wise [HPSW19]. We give examples of EP problems without nilpotent-solutions; they witness that the $p$-extension property and the $p$-LERF fail for any prime $p$. Then we consider a special kind of EP problems whose fundamental groups have two generators. We show that any 1-weakly wandering problem has a $Π$-solution for any $Π$. For 2-weakly wandering problems, we show that they all have odd-solutions and we completely characterize those without nilpotent-solutions.

We prove several conjectures from the On-Line Encyclopedia of Integer Sequences about the lower and upper Wythoff sequences and the Fibonacci word. Among them are two of Kimberling's three conjectures on the number of ways to write $n=\lfloor hφ\rfloor+\lfloor kφ^2\rfloor$ with $h,k\ge1$ (A259598): exactly one way if and only if $n+1=2F$ for a Fibonacci number $F\ge2$, and exactly two ways if and only if $n+1\ge7$ is a Lucas number. The third conjecture, that no way exists if and only if $n+1$ is a Fibonacci number, was proved earlier by Kawsumarng et al. We also observe that Kimberling's conjecture on the gaps of the sums of two distinct terms of A003622 and of their complement (A333308, A333309) follows, after a shift by $2$, from earlier Walnut results of Shallit and of Bosma et al. on A260317, and we re-verify it. Next, we prove Kimberling's five 2025 conjectures on the gaps between positions where the Fibonacci word and the "Lucas word" take prescribed values (A383423-A383427). Finally, we prove a conjecture of Mathar on A285383, and we point out that a conjecture of Schmidt on A003250 follows from theorems of Carlitz, Scoville and Vaughan (1973); we also confirm it with Walnut. Most proofs are decision procedures run in the free prover Walnut, and we supply the complete command file.

Every group $G$, of arbitrary cardinality, admits a right-invariant metric with at most five values whose isometry group is exactly the group $Ξ(G)$ of permutations preserving every inverse-pair difference. Five is sharp. Writing $N(G)$ for the least number of values, including zero, we obtain $N(G)=1$ for the trivial group, $N(G)=2$ for $C_2$ and $C_3$, $N(G)=3$ for every other group outside an explicitly listed set $\mathcal{E}$ of 24 finite groups, $N(G)=4$ on $\mathcal{E}\setminus\{C_2^3, C_3^2\}$, and $N(C_2^3)=N(C_3^2)=5$. The exact result combines Cayley-graph realization theorems with verified finite certificates and hand proofs of the lower bounds. Separately, a uniform constructive 32-value bound uses subgroup-entry ranks, sign-variation conflict labels, and short-word rigidity, but no Cayley-index input or computation. In Knill's right-translation sense, a right-invariant metric on $G$ is naturalizing when every group law on its underlying set with isometric right translations is isomorphic to $G$; a group is natural when it admits such a metric. We prove that an abelian group $A$ is natural if and only if $2A=A$ or $2A=\{0\}$, and a nonabelian group is natural if and only if it is not generalized dicyclic. Every natural group admits a naturalizing metric with at most five values, and this bound is sharp.

We determine the complete eigenvalue region of the following Markov chains on $2q$ states, for $q\ge2$. The states are $A_0,\ldots,A_{q-1}$ and $B_0,\ldots,B_{q-1}$. Each transition $A_j\to A_{j+1}$ and $B_j\to B_{j+1}$, for $0\le j<q-1$, has probability one. From $A_{q-1}$, the chain moves to $A_0$ with probability $a$ and to $B_0$ with probability $1-a$. From $B_{q-1}$, it moves to $B_0$ with probability $b$ and to $A_j$ with probability $(1-b)p_j$. Here $a,b\in[0,1]$ and $p_j\ge0$ with $\sum_{j=0}^{q-1}p_j=1$; these parameters vary over all permitted values. Every segment from zero to an attainable eigenvalue lies in the region. Its unit-circle points are exactly the roots of unity of order at most $2q$, as for unrestricted stochastic matrices of the same order, yet the full region is strictly smaller. It excludes $0<|\operatorname{Arg}λ|<π/q$. For odd $q$, the final nonreal boundary arc ends at a negative real point inside the unit disk; the remaining interval to $-1$ is also boundary. Every transition matrix has the same characteristic polynomial as one with $a=b$. Among $q+1$ fixed matrices in this balanced family, convex combinations of at most three realize every attainable eigenvalue, and two suffice on the boundary. Both bounds are sharp within this set. Consecutive reduced fractions in $[1/(2q),1/2]$ with denominators at most $2q$ select the upper nonreal boundary constructions. Each boundary radius is the unique solution of an equation whose left-hand side increases strictly with the radius.

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 [12] proposed the following conjecture: When $m-\binom{k}{2}$ is divisible by $k$ and $m$ is large, 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$. For nonzero residue class, Yu, Zhang, and Zhang [13] proposed the following conjecture: Let $r$ be a nonzero remainder when $m-\binom{k}{2}$ is divided by $k$ and $m$ is large. 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$. Very recently, Fang, Zhai and Zhang [4] confirmed the Yu--Li--Peng conjecture for $k\ge 2$. Chen, Gao and Li [2] confirmed Yu-Zhang-Zhang conjecture for $k\ge 3$. When $k=2$, then $W_5=K_1\vee C_4$. For large odd $m$, determining $\operatorname{spex}(m,W_5)$ is still open. In this paper we address the odd-size problem. Our result disproved Yu-Zhang-Zhang conjecture for $k= 2$. In our proof, a universal defect bound shows that only $O(1)$ edges can lie outside the dense core. Perron localization then reduces this to at most one edge. A discrete defect inequality forces the complete bipartite crossing and quantizes the two matching deficiencies. Exact quotient-polynomial comparisons eliminate the remaining cross-edge and odd--odd candidates.

We develop a variational framework for extremal Lin--Lu--Yau curvature under positive edge reweighting with the combinatorial metric fixed. For a connected locally finite graph $G$, define \[ \Kmax(G) := \sup_{w>0}\inf_{e\in E(G)}κ_{\LLY}^w(e). \] This invariant relates edgewise discrete curvature to global combinatorial and topological data. In the high-girth regime, we prove for every connected locally finite graph the exact identity \[ \Kmax(G)=\frac4{\mad(G)}-2, \] with the convention $1/\infty=0$. The formula is also equivalent to a normalized Euler-characteristic density: \[ \Kmax(G) = \inf_{\substack{H\subseteq G\text{ finite}\\E(H)\ne\varnothing}} \frac{2(c(H)-β(H))}{|E(H)|}. \] For arbitrary locally finite graphs, a nonnegative short-cycle surplus yields girth-dependent density bounds, with rigidity results in the finite case. We also classify the locally finite graphs of girth at least $6$ admitting a positive edge weight with nonnegative curvature on every edge: they are precisely the trees and the finite cycles.

We have previously, for a given positive integer $n$, explicitly characterized by certain linear inequalities the $\mathfrak{k}$-highest weight tableaux of shape length $2n$ or $2n-1$ produced by $1$-$0$-slack recording tableaux in the quantum Littlewood-Richardson (LR) rule. We now extend that characterization for lower shape lengths. Then using the composition of promotion operators defining the Naito-Suzuki-Watanabe bijection between $\mathfrak{k}$-highest weight tableaux and $\widehat{\mathfrak{g}}$-dominant tableaux, we also explicitly characterize by certain linear inequalities the corresponding $\widehat{\mathfrak{g}}$-dominant tableaux when the shape length is $2n$ or $2n-1$. In addition, when the given $n$ is $3$ or $ 4$ the $\mathfrak{k}$-highest weight and the $\widehat{\mathfrak{g}}$-dominant tableaux via $1$-$0$-slack recording tableaux are characterized by linear inequalities for lower shape lengths. Since recording tableaux in the quantum Littlewood-Richardson rule are in natural bijection with Littlewood-Richardson-Sundaram (LRS) tableaux, we relate our results on the inverse quantum LR rule with other two bijections for the Naito-Sagaki conjecture and establish bijections between $\mathfrak{k}$-highest weight tableaux, $\widehat{\mathfrak{g}}$-dominant tableaux and the lattice points in a (disjoint) union of flagged hive polytopes.

These lecture notes are based on three courses given at Nagoya University. Their purpose is to give a beginner-friendly introduction to multiple zeta values and several of their variants, such as finite and symmetric multiple zeta values, q-analogues of multiple zeta values, and multiple Eisenstein series. These notes will be updated in the future.

Squeezed balls and spheres, introduced by Kalai, form a rich class of triangulated complexes arising from subcomplexes of cyclic polytopes, with well-understood shellability properties. Recently, Novik and Zheng introduced relative squeezed balls, obtained as differences of squeezed balls, and used them to construct large families of highly neighborly simplicial spheres. While these complexes are known to be constructible, their shellability has remained open. In this paper, we resolve this question by proving that both relative squeezed balls and their boundary complexes are shellable. We provide explicit shelling orders and characterize restriction faces, thereby establishing strong combinatorial structure for this new class of complexes.

A proper colouring of a graph $G$ is $β$-frugal if every colour appears at most $β$ times in the neighbourhood of each vertex. Let $χ_β(G)$ denote the minimum number of colours required for a $β$-frugal colouring of $G$. For a fixed frugality $β$, Hind et al. showed that $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β})$, and a bipartite construction of Alon certifies the tightness of this upper bound up to a constant factor. Using a sparse hypergraph colouring theorem of Li and Postle, we show that for all fixed $β\ge 2$ and $t\ge 2$, if $G$ excludes either $C_{2t}$ or $K_{β,t}$ as a subgraph, then $χ_β(G) = \mathcal{O}(Δ(G)^{1 + 1/β} / (\logΔ(G))^{1/β})$. Furthermore, we show that these upper bounds are tight up to a constant factor due to the existence of graphs $G$ with arbitrarily large maximum degree $Δ$ and girth such that $χ_β(G) = Ω(Δ^{1 + 1/β} / (\logΔ)^{1/β})$. Finally, we show that excluding an arbitrary bipartite subgraph does not necessarily reduce the order of growth of $χ_β$, as there exist $K_{4^{β+1},4^{β+1}}$-free graphs $G$ with arbitrarily large maximum degree $Δ$ such that $χ_β(G) = Ω(Δ^{1 + 1/β})$.

We study the maximum dimension $d=d(n,p)$ for which an Erdős-Rényi $G(n,p)$ random graph is $d$-rigid. Our main results reveal two different regimes of rigidity in $G(n,p)$ separated at $p_c=C_*\log n/n,~C_*=2/(1-\log 2)$ -- the point where the graph's minimum degree exceeds half its average degree. We show that if $p < (1-\varepsilon)p_c $, then $d(n,p)$ is asymptotically almost surely (a.a.s.) equal to the minimum degree of $G(n,p)$. In contrast, if $p_c \leq p = o(n^{-1/2}) $ then $d(n,p) $ is a.a.s. equal to $(1/2 + o(1))np$. The second result confirms, in this regime, a conjecture of Krivelevich, Lew, and Michaeli.