arXiv++ Combinatorics

The Linearity Conjecture states that in the projective plane PG(2,$q$), $q=p^h$, every minimal blocking set (w.r.t. lines) is a linear point set over some subfield of ${\mathbb F}_q$. This paper contains the proof of the Linearity Conjecture for $p^e\ne 3,4$, where $e$ is the exponent of the blocking set. The text contains 3 concatenated parts. In Part 0, we give a guide for reading Parts 1 and 2. Part 1 develops a great part of the method, and the case $p^e=2$ is solved. In Part 2 we prove the Linearity Conjecture for $p^e\geq 5$.

Barnette's conjecture states that every cubic 3-connected bipartite planar graph has a Hamiltonian cycle. We present a digested exposition of OpenAI's generated proof of Barnette's conjecture \cite{openai-barnette}.

We prove that every hereditary Cayley permutation class with finitely many simple members has a finite basis and an algebraic generating function. We first show that every simple Cayley permutation of length at least two contains a simple pattern obtained by deleting one or two letters, and that the only exceptional Cayley permutations are the simple parallel alternations and their symmetries. We then characterize substitution-closed classes by the simplicity of their basis elements and show that classes with finitely many simple members are partially well ordered. Given the simple members and the basis of such a class, we construct a finite system of functional equations and compute an annihilating polynomial.

We study how covering a graph by a small number of shortest or approximately shortest paths/walks constrains its treewidth and pathwidth. A path or walk is $(α,β)$-quasi-shortest for $α\geq1$ and $β\geq 0$ if each contiguous segment has length at most $α$ times the distance between its endpoints plus $β$. For graphs vertex-covered by $k$ shortest paths, we establish the first known polynomial pathwidth bound of $O(k^3)$. For edge-coverage, we improve the previously known $O(k^4)$ upper bound to $O(k^2\log k)$. As a main ingredient of the proofs, we first show that if the vertices of a graph can be covered by $k$ $(α,β)$-quasi-shortest paths or walks, then its treewidth is $O_{α,β}(k^2)$; this is a consequence of the fact that such graphs have linear metric growth and the technique developed in [Campbell et al., E-JC 2023]. To obtain the above pathwidth upper bounds, we combine this result with techniques from the literature in a nontrivial way. On the other hand, we show that there exist connected bipartite cubic graph whose edges can be covered by $k$ shortest paths and whose pathwidth is $Ω(k\log k)$, providing the first superlinear lower bound. For graphs covered by $k=2$ $(α,0)$-quasi-shortest paths with $α>1$, we show that, unlike treewidth and unlike the case $α=1$ and $β=0$ of exact shortest paths, the pathwidth may be unbounded. Finally, for every fixed rationals $α\geq1$ and $β\geq 0$, we give XP algorithms with a running time of $n^{f(k,α,β)}$ for some function~$f$ that decide whether the vertices of a graph can be covered by at most $k$ $(α,β)$-quasi-shortest paths or walks. The algorithms combine our treewidth upper bounds with an algorithmic meta-theorem from [Dreier et al., LICS 2025]. [abstract shortened to meet the arXiv requirements]

Smith's remoteness function records how long an impartial game lasts when the winner wins as quickly as possible and the loser delays defeat. For the generalized Wythoff game $\mathrm{WYT}(a,b)$, in which two positive integer parameters $a$ and $b$ determine which simultaneous removals from the two piles are allowed, we give a formula for the remoteness of every position, building on the known values at losing positions. The formula depends on two indices: a local index determined by the coordinates of the losing positions in a window of length $b$ ending at the smaller pile, and the integer part of the pile difference divided by $a$. When $b=1$, complementary Beatty sequences make the local index explicit, which gives an explicit formula for $\mathrm{WYT}(a,1)$, including classical Wythoff's game. We also show that if each attempted move in a finite impartial game independently fails with a fixed probability and passes the turn, the probability that the player to move wins under optimal play is an explicit exponential function of remoteness. For every success probability strictly between $0$ and $1$, the optimal attempts are exactly the moves that reduce remoteness by one.

We investigate the longest increasing subsequences (LIS) of random permutations distributed under the Luce model with weights $θ_1^{(n)} \ge \ldots \ge θ_n^{(n)}$. Our first main result provides a general formula for the growth rate of the LIS. For example, we get that the LIS of Luce permutations with Sukhatme weights $θ_k^{(n)} = n-k+1$ grows like $\sqrt{n}$. We also give simple conditions for the LIS to be of order $n^β$, for any given $β\in[1/2,1)$. Our second main result states that, if the weights are of the form $θ_k^{(n)} = f\big( (k-1)/n \big)$ for a sufficiently regular function $f$, then the LIS divided by $2\sqrt{n}$ converges in probability to a constant $K(f)$ described by a variational problem. Throughout, we make extensive use of coupling techniques; in particular, to prove our second main result, we argue that Luce random permutations behave similarly to random permutations sampled from the ``Luce permuton''.

The canonical double cover $BX$ of a graph $X$ is the direct product $X\times K_2$. A graph $X$ is stable if every automorphism of $BX$ is induced by automorphisms of $X$ and $K_2$, and unstable otherwise. We prove several asymptotic results on stable and unstable graphs. In particular, we show that the automorphism group of the canonical double cover of almost every graph has order $2$, and consequently that almost all graphs are stable. We also prove that the dominant sources of instability are having twins and being disconnected, in that order, and that graphs arising from a known construction are the next step in this hierarchy.

By the Marcus-Tardos Theorem (formerly the Stanley-Wilf Conjecture), every permutation class other than the class of all permutations has a finite upper growth rate, meaning that the $n$th root of the number of permutations of length $n$ in the class has a finite limit superior. It has long been conjectured that this limit superior is in fact always a proper limit. We disprove this by constructing a permutation class whose upper and lower growth rates differ. The construction uses grid classes with cubic row-column graphs of increasing girth, obtained from Haar graphs of finite 2-groups. The corresponding hereditary property of ordered graphs also disproves an analogous 2006 conjecture of Balogh, Bollobás, and Morris. Along the way, we show that every proper permutation class with a D-finite generating function has a proper growth rate. We also establish refined enumerative bounds for grid classes, which lead to a short proof of Albert and Vatter's generalization of Bevan's Theorem on the growth rates of grid classes.

We extend the simultaneous popular polynomial difference theorem of Conlon, Dong, and the author to polynomial shifts along prescribed directions in $\mathbb{F}_p^D$. Let $P_1,\ldots,P_k\in\mathbb{Z}[t]$ be linearly independent polynomials with zero constant terms, and let $v_1,\ldots,v_k\in\mathbb{Z}^D\setminus\{0\}$. We show that, for every $\varepsilon>0$, every sufficiently large prime $p$, and every $A\subseteq\mathbb{F}_p^D$ of density $α$, there exists a nonzero $d\in\mathbb{F}_p$ such that \[ \mathbb{E}_{\underline{x}\in\mathbb{F}_p^D} \mathbf{1}_A(\underline{x}) \prod_{\substack{1\leq i\leq k\\ ω_i=1}} \mathbf{1}_A\bigl(\underline{x}+P_i(d)v_i\bigr) \geq α^{\,1+\sum_{i=1}^kω_i}-\varepsilon \] simultaneously for every $ω\in\{0,1\}^k$. The main new ingredient is a directional arithmetic regularity decomposition adapted to mixed directional box norms.

For a graph $G$, let $\text{cg}(G)$ be the maximum $k\in \mathbb N$ for which $G$ contains a $k$-vertex cograph as an induced subgraph. The Erdős-Hajnal conjecture asserts that for every proper hereditary graph class $\mathcal{G}$, there exists $γ\in(0,1]$ such that every $n$-vertex graph $G\in\mathcal{G}$ satisfies $\text{cg}(G)\geq n^γ$. This is still open; however, for some hereditary classes, one may guarantee much stronger bounds. For instance, every chordal graph $G$ on $n\geq 2$ vertices satisfies $\text{cg}(G)\geq n/(2\log n)$. Paul Seymour asked whether this bound is optimal up to a constant factor. We answer this affirmatively, even for interval graphs: For every integer $n\geq 2$, we construct an $n$-vertex interval graph $G$ with $\text{cg}(G)<64n/\log n$.

We give a matroid-theoretic analogue of Gaussian elimination and use it to construct, for every matroid M, the syzygy matroid Syz(M) on the collection of circuits of M. Dualizing the construction yields the combinatorial adjoint Adj(M) on the collection of maximal proper flats of M, and the two are related by Adj(M) \simeq Syz(M*). Neither construction depends on a realization. We determine Syz(M) when M is U_{k,k+3} or the Vamos matroid V_{8}. We also show that Adj(M) is an adjoint of M when M has rank 3. When M has rank 4 and V_{8} is a restriction of M, Adj(M) has rank 3 and is not an adjoint of M.

Temporal graphs are graphs whose edge relation changes in discrete time steps. The Temporal Exploration Problem (TEXP) asks for a temporal walk that visits all vertices. We show that every connected temporal graph with $n$ vertices can be explored in $O(qn\log^3(n))$ time steps, where $q$ is the number of vertex color classes induced by the 2-dimensional Weisfeiler-Leman (2-WL) coloring. For small $q$, our bound substantially improves on the known worst-case bound of $Θ(n^2)$ in general connected temporal graphs. A corresponding walk can be constructed in deterministic polynomial time. The upper bound is complemented by lower bounds of $Ω(n\log(n))$ when $q$ is constant and $Ω(qn)$ when $1 \leq q \leq n$. We also apply our techniques to the Temporal Rendezvous Problem (TRP), in which two agents that do not communicate have to meet on a vertex of the temporal graph. Our exploration algorithm yields that, with only polynomial-time computational power, the agents can meet in $O(n\log^3(n))$ time steps, leaving a gap of only $\log^2(n)$ to the known lower bound. Dogeas, Erlebach, Kammer, Meintrup, and Moses Jr. [ICALP'24] have shown an $O(rn^{1+ε})$ bound for TEXP, for every fixed $ε> 0$, where $r$ is the number of orbits, and an $O(n^{1+ε})$ bound for TRP. Both results require superpolynomial computation time. Our contribution improves upon these results in several ways. First, the dependence on $n$ in the upper bounds on the number of time steps is decreased from $n^{1+ε}$ to $n\log^3(n)$ for both TEXP and TRP. Second, for TEXP, we bound the number of time steps linearly by the parameter q, which is efficiently computable and upper bounded by $r$. Third, we provide novel deterministic polynomial-time algorithms for both TEXP and TRP.

We study the polytope of anti-diagonal X-rays of k x k doubly stochastic matrices, the image of the Birkhoff polytope under the map that sums the entries along each anti-diagonal. Its facets other than the coordinate facets are the minimal joint tail bounds for lattice laws of a sum of two dependent uniform random variables. We give an exact facet criterion in terms of the allowed edges of a tight graph. For rays of the underlying tropical fan, total support of the tight graph suffices for a facet but is not necessary, as an example with k=19 shows. Up to affine functions and positive scaling, the potentials that define a facet form a polytope whose vertices are its rays. Facets propagate by padding and by grid refinement under explicit hypotheses. We give infinite families of facets from no step potential, facets of quadratic height, superpolynomially many facets, and a classification of three-step potentials. Total support of a step potential is characterized by a Hall-type condition on block starts; with computer assistance, total support decides facets of step potentials for k<=26. The facet counts up to k=12 are found directly for k<=3 and, for k>=4, come from an enumeration by a provably complete algorithm; an independent exact recomputation reproduces its ray lists for 5<=k<=12.

In this paper, we establish a tight upper bound for the size of a $(v,5,3,1)$ optical orthogonal code (OOC) and call such a code optimal when it achieves this upper bound. In addition, if an optimal OOC has the property that all non-identity elements of $\mathbb{Z}_v$ are covered by the list of differences of its codeword-sets then it is called perfect. In this paper, we present direct and recursive constructions for infinite classes of optimal and perfect $(v,5,3,1)$-OOCs.

In 1966, Tutte defined $k$-connected matroids for each $k \ge 2$. Robertson and Seymour built on Tutte's idea to define tangles as a way to identify highly connected parts of a matroid. Motivated by tangles, a set $Z$ in a matroid $M$ has been defined to be $3$-connected if, for each $j$ in $\{1,2\}$, there is no $j$-separation $(X,Y)$ of $M$ such that each of $|Z \cap X|$ and $|Z \cap Y|$ is at least $j$. This paper solves a problem of Whittle for $k= 3$ by proving that a minor-minimal matroid having $Z$ as a $3$-connected set has at most $3|Z| - 4$ elements. We also identify the matroids for which this bound is attained.

Macdonald polynomials are an important family of orthogonal polynomials that have applications to statistical physics. Corteel, Mandelshtam, and Williams proved a combinatorial model involving multiline queues for partitions; however, their work does not apply to weak compositions in general. We conjecture a first step towards this direction via a variant of the nonattacking filling model for nonsymmetric Macdonald Polynomials $E_μ$. This new model compresses the classical nonattacking filling model of Haglund, Haiman, and Loehr and mirrors the concept of trivial pairs in the multiline queue model. We prove it for a large family of weak compositions and explain the difficulty of extending this proof to the general case.

Let $C(m,n)$ denote the probability that, among $n$ independent uniformly random permutations of $m$ labels, there exists a label that precedes every other label in a strict majority of the permutations. We prove that $C(m,n)>C(m,n+2)$ for $m \ge 3$ and odd $n \ge 1$, and that $C(m,n)>C(m+1,n)$ for $m \ge 2$ and odd $n \ge 3$. These results establish Kelly's two monotonicity conjectures for odd electorates. The proofs use integral representations involving probabilities associated with sums of independent Bernoulli random variables.

The random hypergraph process starts with an empty hypergraph on $n$ vertices and adds a uniformly chosen missing edge at each step. For even $n$, we prove that, with high probability, a $3$-uniform loose Hamilton cycle appears when the last isolated vertex disappears. The approach developed here adapts arguments from Kahn's work on perfect matchings. It can also be extended to obtain the corresponding hitting-time theorems for $r=2$ and every fixed $r\ge4$ satisfying $(r-1)\mid n$. Furthermore, it can be used to estimate the numbers of loose Hamilton cycles at these hitting times for every fixed $r\ge2$, up to a factor of $\exp\{o(n)\}$.

Using the Hodge-Riemann relations for matroid Chow rings, we establish a weighted inequality for flats of a loopless matroid. As applications, we prove the points-lines-planes conjecture and Brylawski's conjecture on the ultra-log-concavity of Whitney numbers of the first kind. We also characterize the cases of equality in both inequalities.

An $n$-player game in normal form is said to be of format $\boldsymbol{d} = (d_1, \dots, d_n)$ if the $i$-th player has $d_i$ options for $1 \le i \le n$, and is said to be balanced if $d_n - 1 \le \sum_{i=1}^{n-1}(d_i - 1)$. The Nash equilibria of the game correspond to solutions of the system of indifference equations for the game, with payoff differences as coefficients and strategy probabilities as variables. As such, the mixed discriminant of this system gives some information about which games could have an unusual number of totally mixed Nash equilibria. This mixed discriminant can be regarded as an $\mathcal{A}$-discriminant for some matrix $\mathcal{A}$ in the sense of [Gelfand--Kapranov--Zelevinsky 1994], and the convex hull of the columns of $\mathcal{A}$ is a polytope, which we call the Nashtope. We study this $\mathcal{A}$-discriminant for each balanced game format with at least three players. This discriminant is a subset of the Nash discriminant variety introduced in [Abo--Portakal--Sodomaco 2026]. We compute the codimension and degree of this discriminant for all balanced game formats, including on-boundary formats, using the Euler obstruction formula in [Matsui--Takeuchi 2011]. Our $\mathcal{A}$-discriminant locus corresponds to a special multigraded Hurwitz locus studied in [Pratt--Sodomaco--Sturmfels 2026]. As a consequence of [Pokidkin 2026], we obtain the codimensions and degrees of the irreducible components of the Nash discriminant variety for each balanced game format with at least three players, fully resolving Problem 3.8 of [Abo--Portakal--Sodomaco 2026].

We study permutations covered by overlapping occurrences of a consecutive pattern. Special cases of this have been studied for consecutive patterns and via the cluster method. We study enumeration sequences obtained by repeating a fixed overlap. We elicit many structural properties of such pattern covers, mainly in terms of posets whose linear extensions are in bijection with the permutations in question. The enumeration of these permutations for different patterns gives rise to a great variety of sequences, many classical, but most of them not found in the OEIS. We conjecture that, essentially, all these sequences are moments of probability measures on the real line. We develop an enumerative and order-theoretic framework for this. For overlap 1 we give a generating function whose coefficients enumerate permutations covered by any fixed pattern with any fixed number of occurrences. For overlap at most half the pattern length we derive a polynomial-time enumeration formula. We associate to each pattern, overlap, and number of occurrences a poset whose linear extensions are the corresponding permutations. The regularity of this poset construction makes possible a structural analysis that in many cases leads to enumerative formulas for large classes of patterns. We prove uniform restrictions on the local structure of the Hasse diagrams, describe their branches (pendant chains) in terms of the corresponding patterns, and characterize when the poset is a tree or chain or subdivisions of a grid. Some of these constructions yield explicit families of formulas and explain unexpected equinumerations. In a forthcoming paper we investigate the sequences arising here from a probabilistic perspective, viewing them both as point processes and as moment sequences. We also obtain integral and matrix representations for important overlap 1 and 2 classes of pattern-covering sequences.

Finite Toeplitz truncation does not, in general, preserve multiplication. For products of $m$ $N\times N$ tridiagonal Toeplitz matrices with symbols $z+z^{-1}+a_h$, we make the two boundary corrections in Widom's product formula for finite sections explicit. The method of images gives two Hankel corrections when $m\le N+2$, a sharp uniform degree bound. For $N\ge m-1$, the ratio of the determinant of the matrix product to the Toeplitz determinant with the product symbol reduces, whenever defined, to a determinant of order $2(m-1)$, which reversal symmetry splits into two determinants of order $m-1$. A rectangular Schur polynomial gives an exact formula for the Toeplitz determinant with the product symbol, including when roots coincide. For symbols nonzero on the unit circle, classical identities for rational symbols give an exact $m\times m$ determinant formula for the ratio, with an explicit confluent form for repeated roots. With $ρ_h$ the zero of $z+z^{-1}+a_h$ in $|z|<1$, the limit is $\prod_{i<j}(1-ρ_iρ_j)^2$ as $N\to\infty$ at fixed $m,a_h$. For rectangular domino tilings, these formulas compare the classical Kasteleyn--Temperley--Fisher product with the banded Toeplitz determinant formed from the product symbol. We obtain the first exponentially small correction at fixed width and relate this comparison to the Toeplitz determinant furnished by the dual Cauchy identity.

For a bipartite graph $H$, let $\operatorname{br}_3(H)$ be the least integer $N$ such that every three-colouring of $K_{N,N}$ contains a monochromatic copy of $H$. We prove that $\operatorname{br}_3(C_{2n})=3n$ for all sufficiently large $n$, and give the lower bound for every $n\ge2$. For the upper bound, we reduce a counterexample to a finite rational weighted profile. Cycle extension and vertex-cover arguments force the critical components to have six unique minimum covers which partition the profile. The remaining component supports give a contradiction.

We study the topological degree on the positive orthant of a map $F:\mathbb{R}^n_{>0}\to\mathbb{R}^n$ whose components are real polynomials, possibly with real exponents, with the same support $\mathcal{A}$ of $N=n+k+1$ monomials. This degree is well defined under a half-space condition on the columns of the coefficient matrix indexed by the faces of the Newton polytope, which holds for generic exponents and coefficients. We give three formulas for it, all in terms of signs of maximal minors. The first one is a Viro formula: the degree is a signed count of the simplices of a regular triangulation of $\mathcal{A}$ which are positively decorated in the sense of Bihan, Santos and Spaenlehauer. The second one is a sum over the facets of the Newton polytope, and the third one a sum over the vertices of the polyhedron of the Gale dual system. As a consequence, the degree only depends on the oriented matroids of the exponent and coefficient matrices restricted to the vertices of the Newton polytope. We also obtain a Descartes rule of signs for the degree and, in the generic case, the upper bound $|°F|<\frac12\min(M(n,N),M(k,N))$, where $M(d,N)$ is the largest number of facets of a $d$-polytope with $N$ vertices. This bound is sharp when $n=2$ or $k=2$. Using the H-duality of Bihan, Dickenstein and Forsgård, we show that the set of possible degrees is symmetric in $n$ and $k$. Since a nonzero degree forces a positive zero, our formulas give sign conditions for the existence of positive solutions, as well as parity statements for their number.

We prove an essentially optimal uniform upper bound for the number of integer symplectic matrices inside a box of expanding side length and arbitrary centre.

Long weighted walks seem to sample mod-$t$ flows uniformly, but at even moduli a persistent parity bias survives. Writing $C_G(t)$ for the flow polynomial of a connected graph $G$ of genus $g$, the proportion of nowhere-zero flows under uniform sampling is $C_G(t)/t^g$. For arbitrary positive directed weights and all moduli, we determine the exact leading corrections for both closed walks and nonbacktracking closed walks, which we call circuits. Only the circuit result requires $g\ge2$. For closed walks, the canonical character governs the leading correction through the canonical modulating flow polynomial $D_G$; for circuits, the period character, when it exists, governs the leading correction through the period modulating flow polynomial $D_{G,η}$. At even moduli these give parity-dependent corrections: the two mechanisms coincide on nonbipartite graphs and separate only in the bipartite circuit problem. More generally, each integral-homology character $ζ$ determines a balanced-dichromatic specialization $D_{G,ζ}$. These polynomials form a character-indexed family whose finite-order members give Fourier coefficients of the nowhere-zero flow set and whose retained edge sets are the central sets of a gain semimatroid. We further show that $D_G$ is a cycle-matroid invariant and a signed-Tutte specialization satisfying signed deletion-contraction. Finally, an integral nowhere-zero approximation theorem implies that asymptotically almost every weighted circuit traverses every edge.

We study spanning quadrangulations of even triangulations of real projective spaces, using the higher-dimensional notion of quadrangulation introduced by Kaiser and Stehl\'ık. We prove that every even triangulation of $\RP^d$, where $d\ge 2$, admits a spanning bipartite quadrangulation. Moreover, such a triangulation admits a spanning non-bipartite quadrangulation if and only if it is not balanced; if it is balanced, every spanning quadrangulation is bipartite. Our proofs use coloring monodromy: its orbits yield bipartite quadrangulations, while a covering-space construction gives non-bipartite ones. %In dimension three, a bipartite quadrangulation can always be chosen to induce $K_{2,2}$ on each tetrahedron. More generally, we establish a sufficient condition for the existence of spanning bipartite quadrangulations on closed manifolds in terms of the monodromy action, and derive a consequence involving the fundamental group.

Discrete homotopy theory is a combinatorial homotopy theory defined for discrete objects. Barcelo--Severs--White conjectured that the homotopy groups of complements of $k$-parabolic subspace arrangements are isomorphic to the discrete homotopy groups of graphs associated with the Coxeter complexes. We show that this correspondence fails in general by giving a counterexample in degree two for the $4$-parabolic subspace arrangement of type $A_5$.

Let $q$ be an odd prime power, let $d\ge3$ be odd, and let $S_j=\{ξ\in \mathbb F_q^d:ξ_1^2+\cdots+ξ_d^2=j\}$, where $j\ne 0$. We prove the sharp extension estimate ${L^{4(d+1)/(3d+1)}(S_j, dσ)\to L^4(\mathbb F_q^d,dc)}$ whenever $η_q((-1)^{(d-1)/2}j)=-1$, where $η_q$ is the quadratic character. This confirms the odd-dimensional spherical extension conjecture of Koh, Pham, and Vinh over every finite field of odd characteristic. Together with the known estimate in the complementary sign class, this determines the sharp ${L^p\to{L^4}}$ extension range for all nonzero-radius spheres in odd dimensions. We also apply the endpoint estimate to obtain sufficient conditions for the unique recovery of sparse signals from incomplete Fourier data.

In a digraph $D$, a set $Q$ of vertices is a quasi-kernel if $Q$ is an independent set and every vertex in $D$ can be reached from $Q$ via at most two edges. The small quasi-kernel conjecture by Erdős and Székely predicts that every source-free $n$-vertex digraph contains a quasi-kernel of size at most $n - n/2$. Chvátal and Lovász' 1974 work implies a bound of $n - \sqrt{n}+1$. In 2024, Sprio shows the bound $n - \frac{1}{4} \sqrt{n \log_2 n}$. We show that there always is a quasi-kernel of size at most $n - \frac{1}{51}n^{2/3} / \ln^{2/3}(n)$. For the related large quasi-kernel conjecture by Spiro, we show that there always is a quasi-kernel $Q$ with $|N^+[Q]| \ge 0.2917 \cdot n^{2/3} / \ln^{2/3}(n)$.

We study the connected coloring game on corona products of graphs. For connected graphs $G$ and $H$, we prove the sharp upper bound $χ_{cg}(G\circ H)\leq\max\{Δ(G),Δ(H)+1\}+1$ and establish a further bound using the Bob-start ordinary coloring game on the second factor. We show that the difference between the Alice-start and Bob-start connected game chromatic numbers can be arbitrarily large in either direction. We further prove that a connected subgraph may have arbitrarily larger connected game chromatic number than its ambient connected graph, and that $χ_{cg}(G\circ H)$ cannot be bounded in terms of $χ_{cg}(G)$ and $χ_{cg}(H)$ alone, even when both factors have connected game chromatic number $2$. We also obtain corona products for which the difference $χ_g-χ_{cg}$ is arbitrarily large and construct infinitely many connected graphs with $χ_g<χ_{cg}$. Finally, for corona products of trees, we prove the universal upper bound $5$, characterize those attaining the value $3$, give structural sufficient conditions for the value $4$, and exhibit a broad family attaining the value $5$.

We prove that the generalized threshold Ramsey number R(5,10;5,8) equals 21. This number corresponds to the set Ramsey number r_5(10,8) introduced by Harborth. The proof is computer-assisted. We first enumerate all (4,6;5,8)-good and (5,10;4,4)-good graphs. Then we apply the lucky-vertex inequality derived from the McKay--Radziszowski edge identity to filter candidate pairs for a gluing search, and encode the remaining cases as SAT instances. The search yields exactly 17 non-isomorphic (5,10;5,8;20)-good graphs. Finally, we exclude all one-vertex extensions of these 17 graphs, which proves that no (5,10;5,8;21)-good graph exists.Additionally, we update the tabulation of small set Ramsey numbers r_5(m,n) for 1 <= m,n <= 10.

For a semigroup $S$ (written multiplicatively), let $\mathcal P(S)$ denote the semigroup of all non-empty subsets of $S$ under setwise multiplication. The finitary power semigroup $\mathcal P_\text{fin}(S)$ is the subsemigroup of $\mathcal P(S)$ consisting of all non-empty finite subsets of $S$. Kobayashi's problem asks for which classes $\mathcal O$ of semigroups every isomorphism $\mathcal P(H) \to \mathcal P(K)$ with $H, K \in \mathcal O$ maps singletons bijectively onto singletons and hence induces an isomorphism $H \to K$. We give an affirmative answer for inverse semigroups, extending previous results for groups, semilattices, and, more generally, Clifford semigroups. We also establish the corresponding rigidity theorem for finitary power semigroups. To this end, we develop a new framework that provides a common approach to both settings.

We study the strict and monotone $(1:b)$ Avoider--Enforcer games on the edges of the complete graph $K_n$. We prove that, for integers $n\ge2$ and $b\ge6n$, Avoider can keep his graph a forest after every move, except possibly the last. Thus, his final graph contains at most one cycle. This answers Question~10 of Clemens, Ehrenmüller, Person, and Tran, which asks whether a bias linear in $n$ is sufficient.

We determine the minimum number of directional commands needed to solve alevel of Order of the Sinking Star, modeled as a crystal-exchangepuzzle on an 11*11 board. A command swapsthe player with the nearest crystal in the selected row or column, regardlessof distance; only an empty ray permits an ordinary unit walk. Two gates admitthe player to the exit exactly while all sixteen crystals occupy their targetcells. We give an explicit 93-command solution and exclude every shortersolution by an exact, cost-bounded breadth-first search. The search representsa position by its seventeen occupied cells and one active cell. Its admissibleheuristic partitions command costs between a compressed core abstraction andresidual motion, strengthened by a necessary activation detour and a cornervisit condition. The completed computation retained 605,349,215 occupied setsand 1,863,925,136 states. We prove the reductions and pruning conditions,describe the exact storage scheme, and provide source code, execution logs,and a reproduction driver. The result is a computer-assisted proof for thespecified instance, with an explicit implementation trust boundary.

A graph $H$ is called common if the number of monochromatic copies of $H$ in a $2$-edge-colouring of a large complete graph is asymptotically minimized by the random colouring with an equal proportion of each colour. Grzesik, Lee, Lidický and Volec conjectured that every $k$-apex of any connected Sidorenko graph is common. Recently, Kr{á}l', Krnc and Lamaison proved that the $k$-apex of any tree is common for $k\leq 5$. In this paper, we extend their result by showing that for every positive integer $k$, the $k$-apex of any tree or any forest with average degree at least one is common. Our proof involves an application of the entropy method.

Latin tableaux generalize Latin squares to Young diagrams and have interesting connections to linear algebra and Rota's basis conjecture. Conjecturally, a partition admits Latin tableaux if and only if it belongs to a special class called wide partitions. We prove that various classes of wide partitions admit Latin tableaux. We extend these classes further by showing that the number of Latin tableaux is weakly increasing over certain operations on wide partitions. Additionally, we establish an explicit formula for the number of Latin tableaux using (0,1)-matrices and matrix permanents.

Let $C$ be an $[n,k,d]_q$ Griesmer code, where $q=p^f$ with $p$ prime, and write $e=ν_p(d)$. Ward conjectured that $C$ is $p^{\max\{0,e-f+1\}}$-divisible. In this paper, we prove this conjecture.

Given a graph sequence $\{G_n\}_{n\in\mathbb{N}}$, denote by $T_n$ the number of monochromatic edges when the vertices of $G_n$ are independently colored red or blue with probabilities $p$ and $1-p$, respectively. We characterize the asymptotic normality of $T_n$, after centering and scaling to unit variance, in terms of subgraph (motif) counts and standardized moments. One of the highlights of our results is a {\it third moment phenomenon}: for every fixed $p\in(0,1)\backslash\{\frac12\}$, asymptotic normality holds if and only if the standardized third moment converges to zero. The more familiar {\it fourth moment condition}, which requires the standardized fourth moment to converge to $3$, gives an equivalent characterization except at the two exceptional probabilities $p=\frac{1\pm1/\sqrt3}{2}$. At these values, the standardized fourth moment converges to $3$ for every graph sequence with a diverging number of edges, even when Gaussian convergence fails. In contrast, in the balanced case $p=\frac12$, the fourth moment condition characterizes asymptotic normality, while the third moment condition is insufficient. These results identify three distinct regimes for moment characterizations of Gaussian convergence, determined by the coloring probability. We further show that the third moment condition remains sufficient in the sparse regime, where $p=p_n \to 0$. As an application, we derive the limiting null distribution of two-sample statistics based on undirected $K$-nearest-neighbor graphs in the Poissonized setting, identifying sharp growth conditions on $K$ for asymptotic normality.

A rational with denominator a power of two is said to be dyadic. A long standing conjecture of Paul Seymour predicts that for an ideal clutter, the dual of the set covering problem always admits an optimal solution where all variables take dyadic values. We present a local version of this conjecture, and motivate it by proving an important special case.

We give a combinatorial proof that every simple convex $3$-polytope admits a small cover without using the Four Color Theorem. We also prove that the assertion that every simple plane triangulation admits a mod~$2$ characteristic function with at most five values is equivalent to the Four Color Theorem.

Graph covers preserve the local structure of a graph while allowing its global structure to change substantially. In this paper, we study how such changes in cyclic covers affect nowhere-zero flow properties. For a fixed integer $\ell \ge 2$, we show that for every bridgeless graph $G$, there exists an $\ell$-fold cyclic cover of $G$ that admits a nowhere-zero $3$-flow if $\ell$ is even and a nowhere-zero $4$-flow if $\ell$ is odd. These bounds are best possible in general. For odd $\ell$, we further investigate which bridgeless graphs admit an $\ell$-fold cyclic cover with a nowhere-zero $3$-flow.

The two-stack sortable permutations of length $n$ are known to be equinumerous with permutations of length $n$ avoiding the dashed patterns $3\text{-}1\text{-}4\text{-}2$ and $2\text{-}41\text{-}3$. In this paper, we confirm an intriguing conjecture posed by Claesson, Kitaev, and Steingrímsson, which asserts that the quadruple $(\comp,\asc,\ldr,\rmax)$ is equidistributed on these two permutation classes. Here $\comp$ and $\asc$ count the number of components and ascents, respectively, $\ldr$ denotes the length of the initial decreasing run, and $\rmax$ denotes the number of right-to-left maxima. This is accomplished by constructing bijections between two-stack sortable permutations and $β(1,0)$-trees.

In this paper, we investigate Pappus configurations in the finite affine Hall plane. In particular, we show that for any two lines $\ell_1,\ell_2$ and for any triple of points on $\ell_1$ there is a triple of points on $\ell_2$ that are contained in a Pappus configuration, thus improving on the results of [F. Lazebnik and L. Leshock. On Pappus configurations in Hall planes. Des. Codes Cryptogr. 90 (2022), 1203--1219.].

Given a poset $P$ with no maximal element the question naturally arises of when $P$ can be partitioned into $ω$-chains. In this paper we give general criterion for when this can be done. We show that in the case when a poset with no maximal element is countable or a well-founded forest, then it can always be partitioned into $ω$-chains. We then introduce the lifting property for posets with no maximal element and show that a poset can be partitioned into $ω$-chains if and only if it has the lifting property.

Let $μ(G)$ and $q(G)$ be the Laplacian and signless Laplacian spectral radii of a graph $G$. Li, Wang and Guo (2026) conjectured that, if $H$ with $|V(H)|\geq 1$ is an induced subgraph of a graph $G$, then $μ(G)\le\max\limits_{v\in V(H)}μ(H_v^t)$ and $q(G)\le\max\limits_{v\in V(H)}q(H_v^t)$, where $t=e(G)-e(H)$ and $H_v^t$ is the graph obtained from $H$ by adding $t$ pendant edges to $v\in V(H)$. We prove this conjecture by establishing a spectral comparison theorem for a broader family of positive semidefinite graph matrices which includes the Laplacian and signless Laplacian matrices. We also characterize all equality cases for the prescribed subgraph $H$ with $e(H)\geq 1$ and $t\geq 1$.

A family of sets is intersecting if any two of its sets intersect, and non-trivial intersecting if there is not any element which appears in every set of the family. The study of intersection problems (or Erdős-Ko-Rado problems) on families of sets is one of the most important topics in extremal combinatorics. A natural extension of the Erdős-Ko-Rado problem in direct products setting was introduced by Frankl, and developed by Alon and Katona et al. In 2018, Kwan, Sudakov and Vieira [J. Combin. Theory, Ser. A 156 (2018), 44--60] determine the maximum size of a non-trivial intersecting direct product family under the assumption that the sizes of all parts are sufficiently large relative to the set sizes in all parts. Meanwhile, they raised the question of whether this result holds for the size of each part which depends only on its corresponding set size, and the question of characterizing the extremal families. In the present paper, we answere these two questions. Furthermore, the bounds on the size of each part in our result are best possible.1

The dichromatic number of a tournament is the minimum number of colors needed to color the vertices so that no directed cycle is monochromatic. Nguyen, Scott, and Seymour (2025) asked whether every tournament with dichromatic number $2k$ has a vertex whose out-neighborhood induces a subtournament of dichromatic number at least $k$. We answer their question negatively by finding an example with dichromatic number $Ω(k^2)$. Furthermore, this quadratic bound is tight up to a constant factor; we show that for every integer $k \geq 1$, every tournament of dichromatic number $Ω(k^2)$ contains a vertex whose out-neighborhood induces a subtournament of dichromatic number more than $k$. This improves the previous best bound $\mathcal{O}(k^2\log k)$ due to Colinot and Newman (2026). To show this, we prove that every tournament of fractional dichromatic number $c$ has a dominating set of size at most $5c-1$. The proof uses Brouwer's fixed point theorem.

Motivated by the Kruskal counting procedure, this paper investigates a combinatorial elimination process defined on a deck consisting of $m$ copies of each value $1,2,\ldots,n$. Starting from an arbitrary arrangement of the $mn$ cards, the process repeatedly removes a number of consecutive cards equal to the value of the first remaining card. This generates a sequence of elimination steps whose length determines $T$, representing the total number of iterations required to exhaust the deck. The main objective of this paper is to analyze an upper bound $σ(m,n)$ for $T$, valid for every initial configuration of the deck, and to show that this bound is attained by a specific configuration.

Let $R$ be a commutative ring with identity, let $G$ be an abelian group, and fix $u\in R[G]^\times$. For each component-labeled oriented link diagram $(D,σ)$, we construct a finitely presented $R[G]$-module $M_u(D,σ;R[G])$ with a universal affine coloring $U_{D,σ}$. Every affine coloring with values in an $R[G]$-module factors uniquely through $U_{D,σ}$ by a module homomorphism. Thus the module represents the affine coloring functor. Each specified colored Reidemeister move induces a unique module isomorphism compatible with coloring transport, and the module isomorphism class is a colored-link invariant. The representing modules and universal colorings commute with arbitrary scalar extension, without a flatness assumption. For classical links, simultaneous rescaling of the component labels removes the common deformation unit. For any multibiquandle, associated-biquandle colorings decompose into fibers indexed by component labelings. For finite targets and palettes, we define a color-profile polynomial recording the joint distribution of fiber sizes and numbers of palette labels used, and prove its invariance under oriented link isotopy. In the affine case, the representing modules determine these fibers, and their specialized dimensions determine the coloring counts over finite fields. The color-profile polynomial is not determined, in general, by the full unweighted distribution of coloring-fiber sizes. It therefore retains information beyond the associated-biquandle coloring count.

Let $F$ be a finite simple graph with $m$ vertices and at least two edges, and let $p\in(0,1]$. We prove that a graph sequence is $p$-quasirandom if and only if the symmetrized counts of copies of $F$ across every balanced partition into $m$ classes have the asymptotics predicted by the random graph with edge probability $p$. This settles a conjecture of Janson and Sós for all such $F$, including graphs with isolated vertices. The proof completes their graph-limit reduction by a concavity argument for a sum of fractional powers determined by the degree sequence of $F$. We also show that a symmetrized subgraph kernel of positive mean can be additive in its coordinates only when the underlying graphon is constant almost everywhere. This rigidity result yields a quasirandomness criterion for generalized restricted subgraph counts, resolving a further conjecture of Janson.

The Delange function of base $3$ is the continuous function $T(x)=\sum_{j\ge0}3^{-j}τ(3^jx)$ of Takagi type, where $τ(x)=2\min\{\mathrm{dist}(x,\mathbb{Z}),1/3\}$. Multiplied by $3^n$, its values at the points $m/3^n$ are the smallest numbers $ξ_n(m)=2(nm-S_3(m))$ of edges leaving a set of $m$ vertices in the ternary Hamming cube $Q_n^3$, where $S_3(m)=\sum_{j<m}s_3(j)$ and $s_3$ is the ternary digit sum. Both facts are known. We show that the local minima of $T$ are exactly the ternary rationals $m/3^n$, and that the local maxima are exactly the points $(m+1/2)/3^n+k$ with integers $k$, $m$, $n$ such that $n\ge0$, $0\le m<3^n$ and $s_3(m)=n$. We also characterize, in terms of the ternary digits $ξ_1,ξ_2,\ldots$ of $x$, when $T$ has an infinite derivative at $x$ from one or both sides. At a ternary rational the right derivative is $+\infty$ and the left derivative is $-\infty$. At every other point, the right derivative is $+\infty$ exactly when $\sum_{j\le n}(1-ξ_j)\to+\infty$. The condition for the left derivative to be $+\infty$ is stronger and also involves the lengths of the maximal strings of zeros among the digits. For the value $-\infty$ the two sides are exchanged and the roles of zeros and twos are swapped. In particular, $T$ has an infinite derivative at every rational point that is not a ternary rational and whose period has different numbers of zeros and twos. We also determine the maximum of $ξ_n(m)$ over every block of sizes $a3^k\le m\le(a+1)3^k$, describe by the ternary digits of $h$ the sizes $h$ for which the $h$-extra edge connectivity of $Q_n^3$ equals $ξ_n(h)$, and compute the Fourier coefficients of $T$ and its variation at each level. Finally, we determine the level set at height $3/4$, which has dimension $\log2/\log9$, and show that no level set has a larger upper box dimension and that $\{x\in[0,1]:T(x)=y\}$ is finite for almost every $y$.

A set $S$ of positive integers is $2$-large if every two-coloring contains arbitrarily long monochromatic arithmetic progressions with common difference in $S$. We prove that every such set meets every nil-Bohr neighborhood of $0$. This proves a conjecture of the first author and gives a sharp answer to a question of Host, Kra, and Maass. We also show that, for every fixed nil-Bohr neighborhood $B$ of $0$ and every $\varepsilon>0$, restricting the common difference to $B$ increases the extremal number for $k$-term arithmetic progressions by at most a factor of $1+\varepsilon$, provided $k$ is sufficiently large.

We study which graph classes determine every graph with simple spectrum up to isomorphism by homomorphism counts from their members. We show that such a class has unbounded treewidth and Euler genus and contains a graph with the complete graph on seven vertices as a minor. To prove these conditions, we construct pairs of non-isomorphic cospectral graphs with simple spectrum, each bipartite, nonsingular and of maximum degree at most six. The construction attaches rooted trees to Cai-Furer-Immerman graphs and preserves homomorphism indistinguishability over every minor-closed class. We then prove that subcubic homomorphism counts determine every graph whose adjacency matrix has kernel dimension at most one. This extends the known result for nonsingular graphs and applies to all graphs with simple spectrum. We also prove that two graphs have the same subcubic homomorphism counts if and only if they have the same number of vertices and there is a bijective linear isometry between the images of their adjacency matrices that intertwines the adjacency operators and preserves the coordinatewise trilinear forms. Finally, we prove that homomorphism counts from the single-vertex graph and from subdivisions of any sequence of connected cubic graphs have the same distinguishing power as subcubic homomorphism counts if every complete graph is a minor of some member of the sequence.

We study how the ranks of factors in a positive semidefinite slack factorization constrain its size. We bound the number of low-rank vertex factors in any fixed factorization, and use this to determine the asymptotic order of the minimum factorization size under any fixed bound on vertex-factor ranks: $Θ(n\log n)$ for permutahedra $Π_n$ and $Θ(\log N)$ for regular $N$-gons. In the rank-one case this gives the order of the minimum dimension of a space of real functions on the vertices in which every facet slack is a sum of squares, with no symmetry or degree restriction. For unrestricted lifts, the bound gives $\mathrm{xc}_{\mathrm{PSD}}(Π_n)\ge n+\log_3 n-O(1)$, and shows that a permutahedron factorization of linear size would need vertex factors of rank $Ω(\log n)$ at all but a vanishing fraction of vertices. We also prove that every polytope of real positive semidefinite rank at most four has at most twelve vertices, and construct explicit size-four lifts for every square-symmetric octagon, so eight is attained. The upper bound combines a count of the polygon corners reached by curves of rank-one factors with incidence constraints on factor ranks. Whether eight is the maximum remains open.

In 2012, Mirtabatabaei and Bullo studied heterogeneous Hegselmann--Krause models of opinion dynamics, where different agents may have different confidence or influence bounds. They conjectured that opinion vectors always converge, a fundamental problem that remains open. In support of this main conjecture they gave some partial results and made some auxiliary conjectures. Here we give counterexamples to two of these auxiliary conjectures, and even to one theorem in their paper. We explain why these disproved conjectures and false theorem nevertheless likely remain valid for almost all initial opinion vectors. In the last section (Section 7), we describe the role of AI in the production of the results in this paper.

We prove that every spanning subgraph $H$ of an $n$-vertex $(p,β)$-bijumbled graph, satisfying $δ(H)\geq(1/2+\varepsilon)pn$, where $\varepsilon > 0$ is arbitrarily small yet fixed, admits a rainbow Hamilton cycle under any globally $μpn$-bounded colouring, provided that $β\leq cpn$ and $pn\geq M$, where $μ$, $c$, and $M$ are positive constants depending solely on $\varepsilon$; in particular, $pn$ may be taken to be a sufficiently large constant. This answers a question of Coulson, Keevash, Perarnau and Yepremyan for random graphs and extends it to deterministic pseudorandom hosts. In fact, we prove that $H$ admits at least $(apn)^n$ rainbow Hamilton cycles, where $a > 0$ is a constant depending solely on $\varepsilon$. If $pn\geq D\log n$, then, upon fixing a coloured $H$, retaining each edge independently with probability $D\log n/(pn)$ preserves rainbow Hamiltonicity asymptotically almost surely. The logarithmic degree requirement is needed only for this percolation conclusion. All three conclusions also hold with rainbowness replaced by avoidance of prescribed pairs of edges, provided that each edge has at most $μpn$ conflicting partners. Our proofs use spread measures and the lopsided local lemma.

An induced matching is a matching that forms an induced subgraph. A graph is $t$-color-critical if removing some induced matching of size $t$ lowers its chromatic number, but removing any $t-1$ vertices does not. Let $F$ be a $t$-color-critical graph with $χ(F)=r+1$. For sufficiently large $n$, Simonovits determined the unique edge-extremal $F$-free graph on $n$ vertices. Recently, Zheng, Li and Li [Linear Algebra Appl.\ 730 (2026) 546--565] conjectured that, for $t\ge 2$ and $r\ge 3$, the join $K_{t-1}\vee T_{n-t+1,r}$ uniquely maximizes the signless Laplacian spectral radius among all $n$-vertex $F$-free graphs when $n$ is sufficiently large. In this paper, we prove this conjecture. In contrast to the usual spectral arguments, our proof of this conjecture relies on two techniques of a rather different flavour. Our first technique is an analogue of Zykov symmetrization for the signless Laplacian matrix. Our second technique is an induction on $n$, from which we obtain the lower bound on the smallest entry of the Perron vector of a signless Laplacian spectral extremal graph rather than a structural statement.

We propose a notion of simplicity for Cayley permutations that is compatible with inflation and agrees, under a natural relational encoding, with indecomposability in the sense of Schmerl and Trotter. We establish a substitution decomposition analogous to that of permutations, in which the components are modules of the associated relational structure. We use it to enumerate simple Cayley permutations as well as simple restricted growth functions.

Graphs defined over finite rings are well studied in the literature. The study of these graphs benefits from rich connections between several areas of mathematics, including number theory, algebra, combinatorics, and graph theory, and these connections often lead to interesting interactions between algebraic and combinatorial structures. In this article, we investigate gcd-graphs defined over matrix rings with coefficients in finite fields. We show that these graphs exhibit several interesting graph-theoretic properties. Along the way, we also prove some results on the structure of matrix rings, which may be of independent interest.

Bergeron, Garsia, Haiman, and Tesler (1999) introduced two Schur positivity conjectures concerning the action of the $\nabla$ operator on modified Hall--Littlewood polynomials. Although the proofs of the celebrated compositional shuffle conjecture and its rational generalization, along with various symmetric function identities, have largely resolved these conjectures in the affirmative, we provide an elegant alternative proof driven by $q$-series techniques. Through this approach, we derive explicit Schur function expansions for two-column partitions and extend our results to arbitrary positive powers $\nabla^k$.

We introduce the degree filtration on the discrete cubical chain complex of a graph, defined in terms of the maximal injective dimension of the facets of singular $n$-cubes, and study the degree spectral sequence which arises from this filtration. This spectral sequence interpolates between the discrete cubical homology of a graph $H_n(G)$ and the injective homology $H_n^{inj}(G)$, a variant of the discrete cubical homology based on injective singular cubes. Building on the work of Greene and the first author, we introduce the combinatorial condition of quasimonophobicity on graphs, and show quasimonophobicity implies both the vanishing of the degree spectral sequence in certain bidegrees, and implies $H_n^{inj}(G)$ is isomorphic to the homology of the CW complex obtained by ``filling in'' subcubes of the graph. These results are applied to compute $H_2(G_n^{sph})$ for the Greene sphere graphs $G^{sph}_n$.

We establish a connection between linear complementary dual (LCD) codes and caps in projective space. Using this framework and the structure theory of maximal binary caps, we derive nonexistence theorems for binary LCD codes with minimum distance at least $4$, providing computation-free proofs that were previously obtained only through exhaustive search. As an application, we completely determine the optimal minimum distances for codimensions $7$ and $8$ for the first time. The framework applies to ternary LCD codes and quaternary Hermitian LCD codes, where it reduces the problem to the structure of large caps. Using known results on large caps, we determine the optimal minimum distances of ternary LCD codes of codimension $6$ for all lengths, and we explain why the phenomena behind the binary nonexistence theorems, such as the dependence on the parity of the length, have no counterpart for these codes.

We investigate the domination polynomial of the co-maximal graph $Γ(\mathbb{Z}_n)$ related to the ring of integers modulo $n$. Such a polynomial encodes domination sets of all possible sizes, a NP-hard problem for general graph. We give exact formulas for prime powers, integers with two distinct prime divisors, and products of three distinct primes. A prime-support decomposition gives a finite explicit formula for arbitrary $n$, including repeated prime factors. Further results determine the highest coefficients, the precise threshold beyond which every vertex subset dominates, and the number of non-dominating subsets. We discuss unimodality and log-concavity, and derive justified bounds for nonzero domination roots using the Eneström--Kakeya theorem.

We define the supermodular rank of a function on a lattice. This is the smallest number of terms needed to decompose it into a sum of supermodular functions. The supermodular summands are defined with respect to different partial orders. We characterize the maximum possible value of the supermodular rank and describe the functions with fixed supermodular rank. We analogously define the submodular rank. We use submodular decompositions to optimize set functions. Given a bound on the submodular rank of a set function, we formulate an algorithm that splits an optimization problem into submodular subproblems. We show that this method improves the approximation ratio guarantees of several algorithms for monotone set function maximization and ratio of set functions minimization, at a computation overhead that depends on the submodular rank.

A copy of a graph $F$ is called an $F$-copy. For any graph $G$, the $F$-isolation number of $G$, denoted by $ι(G,F)$, is the size of a smallest subset $D$ of the vertex set of $G$ such that the closed neighbourhood $N[D]$ of $D$ in $G$ intersects the vertex sets of the $F$-copies contained by $G$ (equivalently, $G-N[D]$ contains no $F$-copy). Thus, $ι(G,K_1)$ is the domination number $γ(G)$ of $G$, and $ι(G,K_2)$ is the vertex-edge domination number of $G$. Settling a conjecture of Zhang and Wu, the present first author proved that if $F$ is a $k$-edge graph, $γ(F) = 1$ (that is, $F$ has a vertex that is adjacent to all the other vertices of $F$), and $G$ is a connected $m$-edge graph, then $ι(G,F) \leq \frac{m+1}{k+2} $ unless $G$ is an $F$-copy or $F$ is a $3$-vertex path and $G$ is a $6$-cycle. The graphs that attain the bound were determined for $0 \leq k \leq 1$ by Fenech, Kaemawichanurat and the present first author, and for $k = 2$ by Zhang and Wu. In this paper, we determine them for $k \geq 3$. Our result was also conjectured by Zhang and Wu.

We consider singular (aka genus $0$) walks in the quarter plane and their associated generating functions $Q(x,y,t)$, which enumerate the walks starting from the origin, of fixed endpoint (encoded by the spatial variables $x$ and $y$) and of fixed length (encoded by the time variable $t$). We first prove that the previous series can be extended up to a universal value of $t$ (in the sense that this holds for all singular models), namely $t=\frac{1}{2}$, and we provide a probabilistic interpretation of $Q(x,y,\frac{1}{2})$. As a second step, we refine earlier results in the literature and show that $Q(x,y,t)$ is indeed differentially transcendental for any $t\in(0,\frac{1}{2}]$. Moreover, we prove that $Q(x,y,\frac{1}{2})$ is strongly differentially transcendental. As a last step, we show that for certain models the series expansion of $Q(x,y,\frac{1}{2})$ is directly related to Bernoulli numbers. This provides a second proof of its strong differential transcendence.