arXiv++ Combinatorics

For integers $k\ge3$ and $0\le \ell<k$, we call a graph $(\ell\bmod k)$-cycle-restricted if every cycle has length congruent to $\ell$ modulo $k$. Akbari, Jamaali, Mahmoody, and Seyed Fakhari [On the size of graphs whose cycles have length divisible by a fixed integer, Australas. J. Combin. 45 (2009), 67--72] determined the maximum number of edges in a $2$-connected $(0\bmod k)$-cycle-restricted graph and characterized the graphs attaining equality. In this paper, we determine the maximum number of edges in a $2$-connected $(\ell\bmod k)$-cycle-restricted graph for every $\ell \neq 0$, and completely characterize all graphs attaining equality. Combined with the result of Akbari et al., our result gives a complete solution for all residue classes modulo $k$.

In a previous work, we defined a quotient graph of the Bruhat-Tits tree associated to the degree two special linear group over a local field whose vertex set is in correspondence with the maximal orders in a certain number of spinor genera. This graph has been applied to the study of the structure of some arithmetic groups, their presentations and their (co)homology groups. The genera of Eichler orders, which, for instance, are related to the problem of finding a basis that simultaneously splits two vector bundles with the same generic fiber, can often be described in terms of simpler genera via quotients. Furthermore, some embedding problems of orders can be studied via quotient graphs. These results provide a geometric framework for the study of maximal orders over function fields. In this article, we extend that construction to a higher dimensional setting through the use of singular chain complexes. Then we describe the set of vertices in this quotient that correspond to split maximal orders and the topology of the corresponding region of the quotient complex. More precisely, we show that these ``split vertices'' fall into a finite number of quotients of apartments by suitable subgroups of the corresponding Weyl group, the symmetric group. We relate these ``quotient apartments'' with the cuspidal sectors defined by previous authors who studied the quotient by the group of integral points of the special linear group. Both quotients are indeed related by a ramified cover that is unramified on cusps, as proved here.

The Game of Cycles, invented by Francis Su, is a two-player game in which the players take turns drawing arrows on the edges of a plane graph, never creating a sink or a source. On a tree only the sink-source rule matters, and the player who makes the last move wins. Several authors conjectured that on a tree the second player wins exactly when the number of markable edges is even. We show that this parity conjecture is false, and we explain why. The explanation is a hidden game of Nim: a path segment that is blocked by an arrow at one end and free at the other behaves exactly like a nim heap whose size is its length. Combined with a calculus for cutting and gluing trees at vertices next to leaves, this shows that the conjecture fails as soon as a single tree has Grundy value at least 2. The smallest counterexamples have 15 vertices. Trees with Grundy values 2 and 4 first appear at 17 vertices, and every value up to 63 occurs, which answers a question of Fokkink and Zandee. We also refute a related conjecture of Zandee. We then look closely at spiders. The spiders S(2,3,z) violate the conjecture for every z >= 14. The Grundy values of S(1,2j,z) are given by an exact formula governed by binary carries. For 99 pairs (x,y), the value of S(x,y,z) is eventually the parity of z. On the positive side, the conjecture holds for all trees in which every thread has at most two edges, and this bound is sharp. Along the way we prove a twin-branch reduction, give an algorithm that is polynomial for spiders with a fixed number of legs, and collect the questions that we could not answer. The boldest asks whether every non-negative integer is the Grundy value of some tree.

Chromatic choosability is a fundamental notion in list coloring. A graph $G$ is chromatic-choosable if its chromatic number $χ(G)$ equals its list chromatic number $χ_{\ell}(G)$. In 1990, Kostochka and Sidorenko introduced the list color function of a graph $G$, denoted by $P_{\ell}(G,m)$, which is the list-coloring analogue of its chromatic polynomial $P(G,m)$. A graph $G$ is enumeratively chromatic-choosable if $P_{\ell}(G,m)=P(G,m)$ for every $m \in \mathbb{N}$. In 2002, Ohba proved that for every graph $G$, there exists an $N \in \mathbb{N}$ such that $K_p \vee G$ is chromatic-choosable whenever $p \geq N$. Allred and Mudrock recently conjectured that an analogous statement holds for enumerative chromatic choosability. In this paper, we prove that $K_1 \vee G$ is enumeratively chromatic-choosable whenever $G$ is a theta graph. Our proof combines classical inequalities, the polynomial method, and ideas from DP (or correspondence) coloring.

The Fibonacci, Lucas, and Pell sequences satisfy certain families of ``polynomial'' identities. While a few members of these families are well-known, we are not able to find a general statement of these identities in the mathematical literature. We show that such polynomial identities exist for many generalized Fibonacci sequences, and we classify sequences that have these identities obtained by two distinct approaches. One approach uses the Girard-Waring formula, while the other relies on Binet's formula and linear algebra.

A central problem in zero-sum theory is to determine the Davenport constant of a finite abelian group. For a finite abelian group $G\cong C_{n_1}\oplus\cdots\oplus C_{n_r}$, with $1<n_1\mid\cdots\mid n_r$, let $\mathsf D(G)$ be the least integer $t$ such that every sequence of $t$ elements of $G$ contains a nonempty zero-sum subsequence, and denote $\mathsf D^*(G):= 1+\sum_{i=1}^r(n_i-1)$. The standard construction shows that $\mathsf D(G)\ge\mathsf D^*(G)$. Equality holds for several important classes of groups but fails in general, and even the question whether $\mathsf D(G)/\mathsf D^*(G)$ is bounded by an absolute constant remains open. In this paper, we prove the upper bound \[ \mathsf D(G)<4.86\,\exp(G)\frac{\log|G|}{\log\exp(G)} \] for every finite abelian group. When $|G|$ is large compared with $\exp(G)$, it improves the previous classical upper bound by a factor of order $\log\exp(G)$. We also prove that, for almost all finite abelian groups (counting isomorphism classes by order), \[ \mathsf D(G)\sim\exp(G)\frac{\log|G|}{\log\exp(G)}\sim\mathsf D^*(G). \] We also study the difference $\mathsf D(G)-\mathsf D^*(G)$: for every function $L$ with $L(x)\to\infty$, almost all groups satisfy $\mathsf D(G)-\mathsf D^*(G)\le L(\mathsf D^*(G))$. However, for every fixed $C\ge0$, the groups with $\mathsf D(G)-\mathsf D^*(G)>C$ have positive lower density.

Let $K>1$ be a real number and let $A\subsetneq \mathbb Z$ be a finite and nonempty subset. Suppose $|A+A|<K|A|$. A fundamental open problem is to characterize the size of higher iterated sumsets $nA = A+\cdots+A$ ($n$-fold sumset). In 2004, Terry Tao formally posed the problem of determining the optimal growth function governing iterated sumsets of small-doubling sets. In this manuscript, we give a solution to this long-standing open problem for large enough $n$.

A bisection of a graph is a partition of its vertex set into two parts whose sizes differ by at most one. We prove that every graph with $m$ edges and maximum degree at most $k$ has a bisection of size at least $\frac{k+1}{2k}m$ when $k$ is odd, and at least $\frac{k+2}{2(k+1)}m$ when $k$ is even. Both bounds are sharp, with equality for complete graphs. This establishes the unweighted case of the bisection conjecture of Gerke, Gutin, Yeo and Zhou (arXiv 2024), removes the additive error from the corresponding bounds of Lee, Loh and Sudakov (JCTB 2013), and extends the odd-degree regular case proved by Bollobás and Scott (JGT 2004) to arbitrary graphs of bounded maximum degree. The proof combines the matching-and-pairing method with the Gallai--Edmonds decomposition. Hall's theorem controls the number of uncovered factor-critical components whose internal degrees are all even. A boundary-edge count bounds this obstruction by the total degree deficiency, while the remaining uncovered components supply the required pairing gain.

Richardson varieties provide geometric representatives for products of Schubert classes, with stratifications indexed by the subintervals of Bruhat intervals. We construct analogous geometric models for tilted Bruhat intervals for all split connected reductive groups. Our construction uses Richardson varieties in affine flag varieties and yields abstract tilted Richardson varieties whose isomorphism classes, together with their labeled stratifications, are independent of the choices involved. We obtain an explicit formula for the point-counting polynomials of their open parts in terms of increasing minimal weight paths, extending Dyer's formula for Kazhdan--Lusztig $R$-polynomials. Over the real numbers, their totally nonnegative parts are regular CW complexes homeomorphic to closed balls, which gives a natural geometric realization of the posets of tilted Bruhat subintervals in all Lie types. Over the complex numbers, we prove that their fundamental classes push forward under a continuous loop evaluation map to the Poincaré duals of the minimal-degree coefficients of quantum Schubert products.

Let $E$ be the exterior algebra of an $n$-dimensional vector space over a field, let $F$ be a graded free $E$-module with $r$ generators of degrees $d_1 \le \dots \le d_r$, and let $M$ range over the monomial submodules of Amata and Crupi. The Hilbert function of $F/M$ is a shifted sum of $f$-vectors of simplicial complexes; the companion paper determines the convex hull of such sums, and here we count them. For $r = 1$ the count is Linusson's (1999); we show that no new recursion is needed for general $r$. Using two statistics of an $f$-vector -- its top nonvanishing degree and the initial degree of the corresponding ideal -- we prove that the number of achievable Hilbert functions is a product of $r-1$ transfer matrices, one per generator-degree gap, with entries differences of Linusson's refined counts $E^p(n,k)$. The rank enters only as the length of a matrix product. The same holds for the proper variant. Consequences: a linear recurrence in $r$ for constant gaps, with exact exponential asymptotics $K λ^r$ when the gap is positive; polynomiality in $r$ when all gaps vanish; a threshold beyond which the count is a plain power; and polynomiality in the number of vertices.

Let $D$ be a finite simple minimally strongly $k$-connected digraph, where $k\ge 2$, and let $n=|V(D)|$. Mader proved in 1985 that $|A(D)|\le 2k(n-k)$ for all sufficiently large $n$, with equality if and only if $D\cong \overleftrightarrow{K}_{k,n-k}$ (JCTB 1985). We prove that this bound holds whenever $n\ge 3k-1$ and that the order threshold $3k-1$ is best possible. Moreover, if $n\ge 3k$, then equality holds if and only if $D\cong \overleftrightarrow{K}_{k,n-k}$. The threshold $3k$ is also best possible. These results resolve the conjecture of Mader in (JCTB 1985).

Let $G$ be a finite bipartite graph and let $\widetilde G$ be an $M$-fold cover. We compare independent sets of $\widetilde G$ with those of the trivial cover, consisting of $M$ disjoint copies of $G$, after prescribing how many vertices are selected above each vertex of $G$. A conjecture from 2011, motivated by the Bethe approximation, asserts that the trivial cover maximizes every such count. We prove this for every feasible occupation profile whose active graph has treewidth at most two or is chordal bipartite. Equality holds exactly when the restricted cover is flat, meaning that fibre relabelings make it trivial. For $M\ge2$ and positive feasible occupations, a nonflat cover of a connected bipartite graph of treewidth at most two has a deficit of at least twice the coefficient of $p_G^{M-2}$ with every occupation reduced by one. A holonomy-dependent bound improves the factor to three for odd-order holonomy; both uniform constants are sharp. Comparison and rigidity survive finite compositions along an edge or a vertex, and quantitative bounds from one piece propagate to the whole graph, giving results beyond the two original classes. On any bipartite base, the first nonzero homogeneous defect is determined by the shortest cycles with nontrivial holonomy. At singleton occupations, our counts are numbers of DP-colorings of full covers. The dual DP color function on these classes and their finite seam compositions equals the chromatic polynomial, with equality attained precisely by canonical labelings. Dong's chromatic-polynomial inequality then yields the Dual-DP Shameful inequality on the same graph class. The main theorems have been formalized in Lean 4.

We study a conjecture of Conlon, Fox, Gunby, He, Mubayi, Suk, Verstraëte, and Yu, which characterizes the $3$-graphs $H$ for which the off-diagonal Ramsey number $r(H,n)$ is polynomial. We prove the conjecture for $3$-graphs with at most five tight components. Additionally, we show that the full conjecture is equivalent to its specialization to linear $3$-graphs. We prove quasipolynomial upper bounds for a class of `forward-doubleable' $3$-graphs, which includes the Fano plane. Finally, we give an exponential lower bound for `non-forward-laminar' $3$-graphs and use this to completely classify the Ramsey growth of a natural family of 3-graphs called chains.

We characterize the generic consistency of vertical systems in terms of the iterated circuits of the column matroid of the coefficient matrix. More precisely, we prove that such a system is generically consistent if and only if there exists an iterated circuit such that the dimension of the Minkowski sum of the associated Newton polytopes is equal to the rank of the coefficient matrix. We also give an equivalent characterization in terms of $G$-spanning flags of the dual matroid. With this, we derive a combinatorial formula for the codimension of the locus of parameter values for which the system has a solution, extending known results on dual defects of toric varieties. When this locus has codimension one, its defining equation yields a generalization of the sparse resultant to vertical systems, which applies also to $\mathcal{A}$-discriminants. Finally, we characterize when the solution set is contained, for generic parameter values, in a finite union of hyperplanes parallel to a coordinate hyperplane.

Let $u_k^{(r)}(H,p)$ be the maximum, over all $k$-vertex $r$-uniform hypergraphs $F$, of the absolute difference between the number of induced copies of $F$ in $H$ and its expectation in the binomial random $r$-graph with the same number of vertices as $H$ and edge probability $p$. Let $u_k^{(r)}(n,p)$ be the minimum of $u_k^{(r)}(H,p)$ over all $n$-vertex $r$-uniform hypergraphs, and let $D_r(n,p)$ be the distance from $p\binom nr$ to the nearest integer. For fixed $r\ge3$, $k\ge2r$ and $\varepsilon>0$, the quantity $u_k^{(r)}(n,p)$ has order $\max\!\left\{D_r(n,p),p(1-p)\right\}n^{k-r}$ whenever $p(1-p)n^{\lfloor r/2\rfloor/(\binom{2r-2}{r}-1)}\ge\varepsilon$. Using local moment estimates and switchings in a sparse reservoir, we construct one hypergraph with the nearest-integer edge count that controls all induced orders simultaneously.

In this paper we study pairwise compatibility graphs whose witness tree is required to be an unweighted caterpillar. This is a natural restriction of PCGs, in the same line of research as the study of star witnesses, which led to the class of double-threshold graphs. In the caterpillar case, we show that this restriction is equivalent to a one-dimensional difference-labelling problem: a graph admits such a representation if and only if its vertices can be assigned integer labels so that adjacency is determined exactly by whether the absolute difference of two labels belongs to a given interval. Using this characterization, we derive structural properties of the class, including bounded twin-width, and study its relation with familiar graph families. We show that the class contains cycles and two-dimensional grids, while it excludes natural obstructions such as the subdivided star $S_{2,2,2,2,2}$, the cube graph $Q_3$, the wheel $W_6$, and the complement of the $3$-sunlet. We also consider restricted representations, including centipede witnesses and representations with a given interval and we give a polynomial-time recognition algorithm when the interval is fixed.

The reflection complexity of a sequence, introduced recently by Allouche, Campbell, Li, Shallit, and Stipulanti, counts the factors of a given length up to reversal. We generalize this notion considering a group $G$ generated by antimorphisms over a given alphabet $\mathcal A$. The $G$-complexity of a sequence over $\mathcal A$ counts the factors of a given length up to the action of $G$. For $G$ generated by the reflection alone, the $G$-complexity coincides with the reflection complexity. We characterize eventual periodicity in terms of the $G$-complexity. Then we focus on the binary alphabet and the group $H$ generated by reflection and the antimorphism exchanging letters. We provide a simple formula for the $H$-complexity in the case of $H$-rich sequences and determine the precise values for complementary symmetric Rote sequences and generalized binary Thue-Morse sequences. Finally, we describe the aperiodic recurrent sequences having the minimum $H$-complexity -- they are exactly the complementary symmetric Rote sequences, while the binary sequences with the minimum reflection complexity correspond to the Sturmian sequences.

We establish sharp projection inequalities for $k$-antichains under orders defined by open convex cones. For integers $n\geq2$ and $k\ge 1$, let $C\subsetneq\mathbb R^n$ be a nonempty open convex cone. A set $A\subseteq\mathbb R^n$ is a $k$-antichain with respect to the order $x\prec_C y\iff y-x\in C$ if it contains no chain $x^1\prec_C\cdots\prec_C x^{k+1}$. For every such set $A$ and every $v\in C$, we prove \[ \mathcal H^{n-1}(A) \leq k\frac{\|v\|}{α_C(v)} \mathcal H^{n-1}(P_v(A)), \] where $P_v$ is the orthogonal projection onto $v^\perp$, $\mathcal H^{n-1}$ denotes normalized Hausdorff outer measure, and $α_C(v)$ is the minimum of $\langleξ,v\rangle$ over unit vectors in the dual cone $C^*$. In particular, every weak antichain $A\subseteq\mathbb R^n$ satisfies $\mathcal H^{n-1}(A)\leq\mathcal H^{n-1}(Δ_i(A))$ for each $i$, where $Δ_i(x)=(x_j-x_i)_{j\ne i}$. This proves the skewed projection conjecture of Engel, Mitsis, Pelekis and Reiher. As an application, we recover the bound $\mathcal H^{n-1}(A)\leq kn$ for $k$-antichains in the unit cube under the coordinatewise order.

We prove that every finite simple triangle-free graph $G$ on $n\geq1$ vertices satisfies $q_{\min}(G)\leq7n/50$, where $q_{\min}(G)$ is the least eigenvalue of its signless Laplacian matrix $Q_G=D_G+A_G$, with $D_G$ the diagonal matrix of vertex degrees and $A_G$ the adjacency matrix. The constant is sharp, since the Higman--Sims graph and its balanced blow-ups attain equality, as shown by de Lima, Nikiforov and Oliveira (2016). This proves the bound conjectured by Balogh, Clemen, Lidický, Norin and Volec (2023). The proof uses five test column vectors associated with an ordered edge to obtain a matrix Rayleigh inequality. Our use of local Rayleigh inequalities together with flag-algebra semidefinite programming is inspired by Zhou (2026). We use semidefinite programming and rational approximation to find the required positive semidefinite matrices, and complete the proof by exact correction and verification.

We define a $d$-cube in a graph $G$ to be monophobic in $G$ if, whenever it supports a $d$-face of a discrete singular $d+1$-cube, it must also support another face. In many cases, the presence of such cubes implies the nontriviality of discrete cubical homology and homotopy groups associated with $G$. We describe several large classes of examples and characterize the property completely when $d=2$.

For a subset $A$ of a finite abelian group $G$, let $Σ_k(A)$ denote the set of sums of $k$ distinct elements of $A$, and let $Σ(A)=\bigcup_{k\ge1}Σ_k(A)$. The problem of determining when $Σ(A)=G$ goes back to Erdős and Heilbronn. Nguyen and Vu later formulated the corresponding fixed-length question: for a prescribed $k$, when does $Σ_k(A)=G$? For groups of odd order, we prove the sharp large-order threshold $|A|>|G|/3+1$, which forces $Σ_k(A)=G$ throughout the entire middle range $4\le k\le |A|-4$. This determines the limiting thresholds posed by Girard, Griffiths and Hamidoune. If $p$ is the least prime divisor of $|G|$, then, for fixed odd $p$ and sufficiently large $|G|$, the exact threshold $|A|\ge |G|/p+p-1$ forces covering throughout the middle range beginning at $2p-2$. Thus, throughout this range, prescribing the number of summands does not change the sharp covering threshold. For $3\le k\le2p-3$, the restricted and ordinary $k$-fold covering problems have the same asymptotic threshold. As an application to MDS elliptic codes on an elliptic curve $E/\F_q$, we sharpen the half-scale conjecture of Li, Wan and Zhang, obtaining the sharp $1/3$-scale bound when $|E(\F_q)|$ is odd and, more generally, the exact bound determined by the least prime divisor of $|E(\F_q)|$.

An edge labeling of a connected graph $G=(V, E)$ is called a local antimagic labeling if it is a bijection $f: E\rightarrow \{1, 2, \cdots, \left | E \right | \}$ such that for any pair of adjacent vertices $u$ and $v$, $f^{+}(u)\neq f^{+}(v)$ where $f^{+}(x)=\sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted $χ_{la}(G)$, is the minimum number of distinct induced vertex labels across all possible local antimagic labelings of $G$. This paper investigates two families of graphs $G(m^{[n]})$ (a graph class constructed by augmenting a bipartite structure $B(m^{[n]})$ with cyclic edges) and $K_{1,s}\times C_n$ (the direct product of a star $K_{1,s}$ and a cycle $C_n$). Under the conditions odd integer $m\ge 1$ and even integer $n\ge 4$, we establish the exact values of $χ_{la}(G(m^{[n]}))$ and $χ_{la}(K_{1,s}\times C_n)$ for various $s$. Furthermore, we characterize several graph families achieving $χ_{la}(G)=2$ or $3$.

Identities of spanning forest polynomials can come from determinantal identities such as the classical Dodgson identity. They can also be useful in quantum field theory calculations, particularly the quadratic ones. To better understand the structure of spanning forest polynomial identities, we look at when identities on a given graph are generic for all graphs, we ask about dimensions of spaces of spanning forest identities indexed by certain parameters, and we set up a framework that we hope will be helpful for further progress in these directions. As part of this framework, we identify a family of maps naturally given by the all-minors matrix-tree theorem, and we show that their ranks are counted by the Narayana numbers via explicit construction of bases.

We study the homogeneous Kuramoto model on random 3-regular graphs. A connected graph $G$ is globally synchronizing if, for almost every initial condition, the gradient flow converges to a fully synchronized state, in which all phases coincide. It has been conjectured by Bandeira [Oberwolfach Rep. 21 (2024) 1163-1226] that a random 3-regular graph $G_{2n,3}$ is globally synchronizing with high probability. We disprove this conjecture in a strong way: $G_{2n,3}$ is not globally synchronizing with probability tending to 1.

Given an $n\times n$ symmetric matrix $M$ with largest eigenvalue $λ_1\geq 0$, it is easy to show that the solution of the optimisation problem $\max_{v\in [-1,1]^n}v^TMv$ is at most $λ_1 n$. We prove the following converse: if every $n'\times n'$ principal submatrix of $M$ has maximal eigenvalue at least $λ$, then $\max_{v\in [-1,1]^n}v^TMv\geq λ(n-n'+1)$. This allows us to lift results about the second largest and the smallest eigenvalue of graphs to the (a priori more difficult) setting of positive discrepancy and MaxCut. Using this new connection, we prove that every $n$-vertex $m$-edge graph that is far from a disjoint union of cliques has a cut of size at least $m/2+n^{5/4-o(1)}$, which is sharp up to the $o(1)$-term. Moreover, we prove that every $d$-regular $n$-vertex graph has bisection width at most $dn/4-Ω_{\varepsilon}(d^{1/3}n)$ for $d\leq (1-\varepsilon)n/2$, which is optimal for $d=Ω(n)$. This confirms a conjecture of Räty, Sudakov and Tomon.

We study the problem of determining upper bounds on the maximal binary rank, $b_d$, of a $0,1$ matrix with real rank $d$, for small constant $d$. We prove a general upper bound of $b_d \leq \left\lfloor \sqrt{d2^d + 2d}\right\rfloor -1$. We also develop a general dimension reduction technique of bounding $b_d$ using known upper bounds on $b_{d-1}$ and $b_{d-2}$, as well as prove interesting general structural results on extremal matrices with binary rank $b_d$. This allows us to get improved non-trivial upper bounds on $b_d$ for constant values of $d$, which imply tight bounds on $b_d$ for $3 \leq d \leq 5$. Our results also imply bounds on the equivalent problem of finding the minimum number of bicliques needed to partition the edges of a bipartite graph whose reduced adjacency matrix has real rank at most $d$.

We exhibit simple, rotationally symmetric Venn diagrams with 17 curves, with 19 curves and with 23 curves: $n$ Jordan curves carried to one another by rotation through $2π/n$, with every one of the $2^n$ regions present and connected and, since the diagrams are simple, every crossing on exactly two curves. Symmetric Venn diagrams exist for every prime number of curves (Griggs, Killian and Savage, 2004), but those diagrams have many curves through a point; simple ones were known only up to 13 curves (Mamakani and Ruskey, 2014). Four 17-curve, twelve 19-curve and six 23-curve diagrams were found by a Metropolis walk on rotation-invariant quadrangulations of the sphere in which regions may temporarily be duplicated, started from the Griggs-Killian-Savage diagram with its multiple crossings resolved. At 23 curves the walk was held for two weeks by duplicated regions near the poles; the two lineages that finished were the first whose $E=92$ states had none. Every diagram is given by a machine-checkable certificate; one certificate each of the 17-, 19- and 23-curve sizes has been verified by a formal proof in Lean 4. All of the diagrams are non-monotone, which is why the crossing-sequence searches that found the 11- and 13-curve diagrams could not have found them.

A sub-quorum coloring is a partial vertex coloring in which every colored vertex sees at least half of its colored closed neighborhood in its own color. We study the maximum number of colors $\psq(G)$ from structural, algorithmic and extremal viewpoints. Every $2$-independent set yields a sub-quorum coloring, so $\psq(G)\geβ_2(G)$. We prove the degree bound $\psq(G)\le Δ(G)|V(G)|/(Δ(G)+δ(G)-1)$ for $δ(G)\ge2$, and obtain an exact matching characterization for graphs of maximum degree at most three. Consequently every cubic graph of order $n$ satisfies $n/2\le\psq(G)\le3n/5$, with a stability identity at the upper endpoint. For trees we give an edge representation and a linear-time dynamic program that computes both $\psq(T)$ and an optimal coloring; we also show on the double star $S_{2,2}$ that $\psq$ can exceed the dissociation number even on trees. We prove NP-completeness even for bipartite graphs and determine exact values for several classical families. For rectangular grids, we formulate the conjecture $\psq(G_{m,n})=β_2(G_{m,n})=F(m,n)$, recover the dissociation-number formula from known $3$-path vertex-cover results, prove the ladder case directly, and verify the conjecture for every fixed width $2\le m\le11$; widths $3$ through $11$ use exact transfer certificates. For hypercubes we prove $\psq(Q_n)=β_2(Q_n)=2^{n-1}$ for every $n\ge2$. Finally, a Nordhaus--Gaddum argument gives $\psq(G)+\psq(\overline G)>\log_2 |V(G)|$ and leads to a complementary upper-bound problem.

For a finite abelian group $G$, let $μ_2(G)$ be the minimum number of positive eigenvalues of an entrywise positive real symmetric group-circulant matrix whose entrywise square is positive definite. We prove that $μ_2(G)\le5$ precisely when $|G|\le15$, and that $μ_2(G)=6$ precisely when $|G|=16$ or $G$ is cyclic of order $18$, $20$ or $22$. For the noncyclic groups of order at most fifteen, the minimum is three for $C_2^2$ and five otherwise. If the positive Fourier support of such a matrix is $\{0,\pm r_1,\ldots,\pm r_d\}$, where $d\ge1$ and all $2d+1$ displayed elements are distinct, then there are integers $α_1,\ldots,α_d$, not all zero, such that $\sum_iα_i r_i=0$ and $\sum_i|α_i|\le\max\{5,d+2\}$. The bound five is sharp for $d=2$ and $d=3$.

Green's arithmetic regularity lemma over $G=\F_2^n$ has tower-type lower bounds. We show that the large order properties in the Hosseini--Lovett--Moshkovitz--Shapira (HLM) construction survive sparse edits. If $d$ is the top block dimension, then changing at most $|G|/16$ points of the top HLM set $A_s$ still leaves a half-graph of height $d/8$. For a suitable choice of the HLM maps, changing at most $\eps|G|$ points of a superlevel set of the averaged witness still leaves a half-graph of height $d/(8\sqrt{s})\ge{\rm twr}(s-2)$. The proofs use Sauer's lemma and the binary code formed by the top-level row traces.

The size-Ramsey number $\widehat{R}_k(\mathcal G)$ of a $k$-uniform hypergraph $\mathcal G$ is the minimum number of edges in a $k$-uniform hypergraph $\mathcal H$ such that every $2$-edge-coloring of $\mathcal H$ contains a monochromatic copy of $\mathcal G$. Fox asked whether, for fixed $2\le \ell<k$, the size-Ramsey number of every $k$-uniform relaxed $\ell$-tree on $n$ vertices is bounded by a polynomial in $n$, as recorded by Dudek, La Fleur, Mubayi and Rödl. We give a negative answer when $\ell+1\le k\le 2\ell-2$. More precisely, for every sufficiently large $n$, we construct a $k$-uniform relaxed $\ell$-tree $\bar{\mathcal T}_{n,\ell}^{(k)}$ on exactly $n$ vertices such that \[ \widehat{R}_k\bigl(\bar{\mathcal T}_{n,\ell}^{(k)}\bigr) \ge 2^{c_{k,\ell}n^{\,1-1/(2\ell-k)}}, \] where $c_{k,\ell}>0$ depends only on $k$ and $\ell$. Moreover, any two distinct edges of the construction intersect in at most $2\ell-k-1$ vertices. In contrast, for $k\ge 2\ell$, we prove that every $k$-uniform relaxed $\ell$-tree $\bar{\mathcal T}_{n,\ell}^{(k)}$ on $n$ vertices satisfies \[ \widehat{R}_k\bigl(\bar{\mathcal T}_{n,\ell}^{(k)}\bigr) =O_{k,\ell}(n^{2k}). \]

The three gap theorem states that the points of the Kronecker sequence $α,2α,\ldots,Nα$, considered modulo one, divide the circle into intervals of at most three distinct lengths. In a two-dimensional nearest-neighbour analogue, Haynes and Marklof proved that the Kronecker sequence modulo an arbitrary unimodular lattice determines at most five distinct nearest-neighbour distances in the Euclidean norm, and that this bound is sharp. Dettmann subsequently constructed examples attaining five distinct distances for every $\ell_p$-norm, $1\leq p\leq\infty$. We prove the corresponding upper bound for every norm on $\mathbb R^2$: for every full-rank lattice $L$, every $α\in\mathbb R^2$, and every $N\in\mathbb N$, the number of distinct nearest-neighbour distances is at most five. For every norm, this bound is attained for some $L$ and $α$. For strictly convex norms, the proof extends the lattice-theoretic argument of Haynes and Marklof by replacing the Euclidean angular estimates with a cone lemma based on a proper Brass angular measure. The result for arbitrary norms is then obtained by a strictly convex perturbation and a limiting argument.

For fixed integers $k,\ell$ with $0\leq\ell<3k$, we study the problem of deciding whether a graph is $(k,\ell)$-sparse, a notion arising in combinatorial optimization and rigidity theory. Standard pebble-game algorithms take $O(n^2)$ time for $0\leq\ell<2k$ and $O(n^3)$ time for $2k\leq\ell<3k$, although faster algorithms were known for some parameter choices. We develop efficient recognition algorithms using bounded-indegree orientations, reductions to rooted arc-connectivity, augmenting paths, and centroid decomposition. For $0\leq\ell<2k$, they run in $O(n^{1+o(1)})$ time, yielding the first subquadratic bound valid throughout the entire range. Purely combinatorial implementations run in $O(n\sqrt n)$ time throughout this range. For graphs with $O(n)$ edges, we also improve the purely combinatorial running time for decomposing the edge set into a fixed number of forests, or certifying that no such decomposition exists, from $O(n\sqrt{n\log n})$ to $O(n\sqrt n)$. For simple graphs with $2k\leq\ell<3k$, the general recognition algorithm runs in $O(n^2)$ time when $\ell\leq2k+2$ and in $O(n^2\log n)$ time otherwise. When $\ell=2k$ and $k\leq3$, a specialized algorithm improves this to $O(n^{1+o(1)})$ and admits a purely combinatorial $O(n\sqrt n)$ implementation. Whenever the input graph is not $(k,\ell)$-sparse, our recognition algorithms return an explicit violating vertex set.

In this paper we consider sets $S$ of vertices of the $n \times n$ grid graph $G_n$ where the induced subgraph $G_S$ having vertex set $S$ contains no $4$-cycles. We first quickly establish the maximum size of any such induced subgraph. Then, for even $n$ we estimate the number of $4$-cycle-free induced subgraphs of maximum and near-maximum size. If ${\mathcal F}_\varepsilon$ denotes the family of $4$-cycle-free induced subgraphs with at least $(3/4-\varepsilon)n^2$ vertices, then we show $$ \log|{\mathcal F}_0|=(1+o(1))n\log n. $$ Then, we also establish exponential upper and lower bounds for $|{\mathcal F}_\varepsilon|$. This estimate is proved using a local letter-pattern encoding of the unique missing vertex in a set of $2\times2$ blocks that tile the grid; the upper bound for $|{\mathcal F}_\varepsilon|$ uses a coarser block tiling (using larger blocks). We discuss the problem of closing the gap between our upper and lower bounds for $|{\mathcal F}_\varepsilon|$, and a possible defect-container approach.

For an integer tuple $(a_0,a_1,\ldots,a_d)$ with $a_i\neq0$ for $i=1,\ldots,d$, we define the associated Hilbert cube by \[ H(a_0;a_1,\ldots,a_d) = \left\{ a_0+\sum_{i=1}^d \varepsilon_i a_i: \varepsilon_i\in\{0,1\} \right\}. \] We call $(a_0,a_1,\ldots,a_d)$ a $d$-dimensional Hilbert-cube presentation. We prove that there are $\gg N^{1/4}$ reduced Hilbert-cube presentations $(a_0,a_1,a_2,a_3)$ with $a_0,a_1,a_2,a_3\in[0,N]$ such that \[ H(a_0;a_1,a_2,a_3)\subset \mathcal{S}, \] where $\mathcal{S}=\{m^2:\;m\in\Z\}$. Moreover, we prove that for each $i, j\in\{0, 1, 2, 3\}$ with $i<j$, the set $$ \left\{\frac{a_{i}}{a_{j}}:\;H(a_{0}; a_{1}, a_{2}, a_{3})\subset \cal{S} \;\text{and}\;a_{i}>0\;\text{for}\;i=0, 1, 2, 3\;\right\} $$ is dense in the set of positive real numbers (in the Euclidean topology).

Oriented discrepancy concerns the existence of prescribed subgraphs whose edges exhibit a substantial imbalance between the two directions. The Hamilton cycle case was first investigated by Gishboliner, Krivelevich, and Michaeli. Subsequently, Freschi and Lo established a sharp minimum-degree result and raised the question of whether a corresponding Ore-type theorem holds. For an oriented graph $G$ on $n$ vertices, define $σ_2(G):=\min\{d_G(x)+d_G(y):x\neq y,\ xy,yx\notin E(G)\},$ with $σ_2(G):=2(n-1)$ when $G$ is a tournament. Given a cycle $C$ in an oriented graph, let $σ_{\max}(C)$ denote the maximum number of edges oriented consistently with one of the two traversal directions of $C$. We prove that for every $γ>0$ there exists $n_0$ such that every oriented graph $G$ on $n\ge n_0$ vertices with $σ_2(G)\ge n$ contains a Hamilton cycle $C$ satisfying $$ σ_{\max}(C)\geq \max\left\{\frac n2,\frac{σ_2(G)}2-γn\right\}. $$ This partially answers a question of Freschi and Lo and gives an asymptotic affirmative answer to a conjecture of Ai et al. The bound is asymptotically best possible.

We study the distribution of output values produced by all fully bracketed implication terms on $n$ distinct variables in Gödel $m$-valued logic on the finite chain $V_m$. The Catalan decomposition of bracketings yields a stratified system of recurrences for the output counts. Passing to tail sums reduces this system to a finite iteration of a single map $Φ_x$ and its inverse branch $Ψ_x$. For each fixed $m$, this reduction gives a common dominant square-root singularity at $r=1/(4m)$, coefficient asymptotics of order $(4m)^n n^{-3/2}$, and limiting proportions for every truth level. In the four-valued case these proportions are obtained explicitly in nested radicals. The main new phenomenon appears when the number of truth values also tends to infinity. If $K_m$ denotes the output level under the limiting $n\to\infty$ distribution and $X_m=K_m/(m-1)$, then $X_m\Rightarrow X$, where $X$ has density $(1+2t)^{-3/2}$ on $[0,1)$ together with an atom of mass $1/\sqrt{3}$ at $1$. In particular, the top mass converges to $1/\sqrt{3}$, while the bottom mass is asymptotic to $1/m$. We further show that the same probability law arises intrinsically when Gödel implication is defined directly on $[0,1]$ and valuations are sampled from Lebesgue product measure: the continuum tail generating function satisfies an exact first-order differential equation whose critical specialization is the ODE appearing in the finite-chain Euler limit. We also record a root-split refinement whose pair-count generating functions factor as products of the level generating functions and inherit the same square-root scale.

We introduce a new variety of universal algebras with two binary operations, called \emph{Płonka bi-magmas}, and use them to construct novel solutions to the set-theoretic Yang-Baxter (YB) equation. We establish explicit structural and classification results for Płonka bi-magmas, which allow for a detailed study of the induced families of YB-solutions. In particular, we identify and classify several naturally arising classes of YB-solutions from the universal algebra perspective, including the so-called bi-connected and ideal-simple ones. For instance, we prove that there are only countably many isomorphism classes of induced YB-solutions which are ideal-simple, and characterize them in terms of the odometer transformations familiar from ergodic theory. In particular, if $X$ is a finite set with $|X| = n$, then the number of isomorphism classes of all the induced ideal-simple YB-solutions on $X$ is equal to the sum of all divisors of $n$.

For some positive integer $m$, a real polynomial $P(x)=\sum\limits_{k=0}^ma_kx^k$ with $a_k\geqslant 0$ is called {log-concave} (resp. ultra log-concave) if $a_k^2\geqslant a_{k-1}a_{k+1}$ (resp. $a_k^2\geqslant \left(1+\frac{1}{k}\right)\left(1+\frac{1}{m-k}\right)\cdot$ $a_{k-1}a_{k+1}$) for all $1\leqslant k\leqslant m-1$. If $P(x)$ has only real roots, then it is called {real-rooted}. It is well-known that the conditions of log-concavity, ultra log-concavity and real-rootedness are ever-stronger. %A famous theorem due to Newton states that if a real polynomial with non-negative coefficients is real-rooted, then it is log-concave. For a graph $G$, a dependent set is a set of vertices which is not independent, i.e., the set of vertices whose induced subgraph contains at least one edge. The dependence polynomial of $G$ is defined as $D(G, x):=\sum\limits_{k\geqslant 0}d_k(G)x^k$, where $d_k(G)$ is the number of dependent sets of size $k$ in $G$. Horrocks proved that $D(G, x)$ is log-concave for every graph $G$ [J. Combin. Theory, Ser. B, 84 (2002) 180--185]. In the present paper, we prove that, for a graph $G$, $D(G, x)$ is ultra log-concave if $G$ is $(K_2\cup 2K_1)$-free or contains an independent set of size $|V(G)|-2$, and give the characterization of graphs whose dependence polynomials are real-rooted. Finally, we focus more attention to the problems of log-concavity about independence systems and pose several conjectures closely related the famous Mason's Conjecture.

We show that the set of atoms of the limiting empirical marginal distribution in the random $2$-SAT model is $\mathbb Q \cap (0,1)$, for all clause-to-variable densities up to the satisfiability threshold. While for densities up to $1/2$, the measure is purely discrete, we additionally establish the existence of a nontrivial continuous part for any density in $(1/2, 1)$. Our proof is based on the construction of a random variable with the correct distribution as the the root marginal of a multi-type Galton-Watson tree, along with a subsequent analysis of the resulting almost sure recursion.

In this note we study the asymptotic popularity, that is, the limit probability to find a given consecutive pattern at a random position in a random permutation in the eighteen classes of permutations avoiding at least two length 3 consecutive patterns. We show that for ten classes, this popularity can be readily deduced from the structure of the permutations. By combining analytical and bijective approaches, we study in detail two more involved cases. The problem remains open for five classes.

Given an origami crease pattern $C=(V,E)$, a straight-line planar graph embedded in a region of $\mathbb{R}^2$, we assign each crease to be either a mountain crease (which bends convexly) or a valley crease (which bends concavely), creating a mountain-valley (MV) assignment $μ:E\to\{-1,1\}$. An MV assignment $μ$ is locally valid if the faces around each vertex in $C$ can be folded flat under $μ$. In this paper, we investigate locally valid MV assignments of the Miura-ori, $M_{m,n}$, an $m\times n$ parallelogram tessellation used in numerous engineering applications. The origami flip graph $OFG(C)$ of $C$ is a graph whose vertices are locally valid MV assignments of $C$, and two vertices are adjacent if they differ by a face flip, an operation that swaps the MV-parity of every crease bordering a given face of $C$. We enumerate the number of vertices and edges in $OFG(M_{2,n})$ and prove several facts about the degrees of vertices in $OFG(M_{2,n})$. By finding recurrence relations, we show that the number of vertices of degree $d$ and $2n-a$ (for $0\leq a$) are both described by polynomials of particular degrees. We then prove that the diameter of $OFG(M_{2,n})$ is $\lceil \frac{n^2}{2}\rceil$ and find lower bounds on the diameter of $OFG(M_{m,n})$ using techniques from $3$-coloring reconfiguration graphs.

In this paper, our purpose is to find some techniques to identify inhomogeneous Kazhdan-Lusztig ideals. A set of generators of a Kazhdan-Lusztig ideal corresponds to some minors in some southwest submatrices inside some ambient matrix. We have defined a notion called a path inside a square matrix as a tool to work with determinants of the above mentioned minors. Using paths, we derive necessary and sufficient conditions for when such minors are inhomogeneous, singular, non-singular, and when there is divisibility between two terms of two such distinct minors. As a conclusion, we first provide an algorithm through which we can identify some sufficient conditions for a Kazhdan-Lusztig ideal to be inhomogeneous (by utilizing all the above mentioned results). Secondly, we provide certain sufficient conditions for a Kazhdan-Lusztig ideal to be standard homogeneous, and then we also prove that under certain assumptions, these conditions are also necessary for a Kazhdan-Lusztig ideal to be standard homogeneous.

In combinatorial optimization, ordinal costs can be used to model the quality of elements whenever numerical values are not available. When considering, for example, routing problems for cyclists, the safety of a street can be ranked in ordered categories like safe (separate bike lane), medium safe (street with a bike lane) and unsafe (street without a bike lane). However, ordinal optimization may suggest unrealistic solutions with huge detours to avoid unsafe street segments. In this paper, we investigate how partial preference information regarding the relative quality of the ordinal categories can be used to improve the relevance of the computed solutions. By introducing preference weights which describe how much better a category is at least or at most, compared to the subsequent category, we enlarge the ordinal dominance cone. This leads to a smaller set of alternatives, i. e., of ordinally efficient solutions. The corresponding weighted ordinal ordering cone is a polyhedral cone and we provide descriptions via its extreme rays and via its facets. The latter implies a linear transformation to an associated multi-objective optimization problem w. r. t. Pareto dominance. This paves the way for the application of standard multi-objective solution approaches. We demonstrate the usefulness of the weighted ordinal ordering cone by investigating a safest path problem with different preference weights. Moreover, we investigate the interrelation between the weighted ordering cone to standard dominance concepts of multi-objective optimization, like, e. g., Pareto dominance, lexicographic dominance and weighted sum dominance.