arXiv++ Combinatorics

We study higher cluster tilting objects through covering functors from derived categories of hereditary algebras. The covering formalism reduces the existence problem to the equivariant problem of finding \(G\)-stable \(d\)-cluster tilting objects in \(d\)-cluster categories. For triangulated categories with finitely many indecomposable objects this gives a complete ADE existence criterion and explicit counting formulas. We also prove that, in finite Frobenius models, the endomorphism algebras of all \(d\)-cluster tilting objects are derived equivalent. Applications are given to Cohen--Macaulay finite categories, finite noncommutative crepant resolutions, and rigidity dimensions of representation-finite self-injective algebras.

In this paper, we show that for any integer \(v \ge 8\) with \(v \ne 9,11,23\), a quantum Latin square of order $v$ exists for every cardinality \(c \in [v,\,v^{2}] \setminus \{\,v+1\,\}\).

We exhibit a connected natural unit interval graph on $13$ vertices whose chromatic quasisymmetric function has an elementary-basis coefficient that is positive, palindromic, and unimodal, but not log-concave. For the Hessenberg function $h=(2,4,4,6,7,10,10,10,10,12,12,13,13)$ and $λ=(6,5,1,1)$, the coefficients of $q^5,q^6,q^7$ in $[e_λ]X_{G(h)}(\mathbf{x};q)$ are $1,6,38$; hence $6^2<1\cdot38$. This disproves Conjecture 5.3 of Abreu--Nigro and its later formulations by Tom and by Sagan--Tom. The calculation is certified by a standalone deterministic verifier using exact integer and rational arithmetic.

Since manuscript \cite{R}, recently posted on arXiv, is closely related to our previous work, we would like to clarify some facts about it. Namely, we would like to point out that several results in \cite{R} are already known (Theorem 1 and Corollaries 2, 3 and 4) and some observations regarding our work \cite{FJ} are not correct. We also notice that Rédei's Theorem, a classical result in graph theory, gives a simple tool to show Theorems 5 and 9.

We find necessary and sufficient conditions for the rank of the signless incidence matrix of a weakly connected oriented graph with non-zero complex edge weights. We use this to find the combinatorial formulas for the Moore-Penrose inverse of the complex signless incidence and complex signless Laplacian matrix of a weakly connected oriented graph with non-zero complex edge weights. This resolves the open problem posed in the concluding remarks of Barik et. al. (Discrete Mathematics 349 (9), 115117, 2026).

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

Let $G=(V,E)$ be a simple graph, and let $k\geq 2$ be an integer. For an edge labeling $h:E(G)\to \mathbb{Z}_{k} \backslash \{0\}$, define the induced vertex label by \[ h^+(v)=\sum_{e \ni v} h(e) \pmod{k}. \] For $t\in \mathbb Z_k$, we say that $G$ is \emph{$t$-sum $\mathbb Z_k$-magic} if there exists such a labeling $h$ satisfying \[ h^+(v)=t \qquad\text{for all }v\in V. \] We say that $G$ is \emph{$\mathbb Z_k$-magic} if $G$ is $t$-sum $\mathbb Z_k$-magic for some $t\in \mathbb Z_k$. Similarly, if there exists an edge labeling $h: E(G) \to \mathbb{Z}_{k} \backslash \{0\}$ such that the induced vertex labeling $h^+(v)=\sum_{e\ni v} h(e)$ (mod $k$) is injective, then $G$ is called \emph{$\mathbb{Z}_{k}$-antimagic}. In this paper, we use the Combinatorial Nullstellensatz to analyze these two types of magic graph labelings.

A rotation of a permutation is a new permutation obtained by moving the first several terms of the permutation to the end of the permutation. A circular permutation is the set of all rotations of a permutation. The enumerations of permutations and circular permutations avoiding patterns of length three and four are well studied. In this paper, we provide exact formulas for the number of permutations whose first $k\geq 2$ rotations all avoid a given pattern of length three, as well as the number of permutations whose first three rotations respectively avoid the rotations of a given pattern of length three. In contrast to permutations and circular permutations avoiding patterns of length three, the Wilf-equivalence classes under study are entirely determined by complements and reverses. We also classify and enumerate permutations whose first two rotations avoid different patterns of length three.

Given a coloring $c$ and an even $k\ge 4$, a nontrivial $k$-term arithmetic progression~($k$-AP) $a,a+d,\ldots,a+(k-1)d$ is called symmetrically colored if $c(a+(i-1)d)=c(a+(k-i)d)$, $\forall i\in[k/2]$. Deng, Tidor, and Zhao asked whether $[N]$ admits a coloring with $N^{o(1)}$ colors and no such 4-APs, and gave an $O(N^{\log_{22}3})$-coloring of $[N]$. We give an $O_k(p)$-coloring of $\mathbb Z/p^{k^2/4}\mathbb Z$ without such $k$-APs for every even $k\ge 4$ and every prime $p>k$, and hence an $O(N^{4/k^2})$-coloring of $[N]$, improving the exponent in the upper bound for $4$-APs from $\log_{22}3$ to $1/4$. The construction combines a carry-control coloring of base-$p$ digits with a layered field norm mapping. Together with Behrend-style product colorings, our result for $4$-APs gives $h(N)\leq N^{1/4+o(1)}$ in Erdős's Problem~160 on coloring every nontrivial 4-AP with at least three colors. This result also yields $ρ_4(α)=O_\varepsilon(α^{5-\varepsilon})$ for every $\varepsilon>0$, improving the bound toward Ruzsa's question. Our result for $k$-APs disproves Gowers' conjectured lower bound for all even $k\ge6$ for the first time.

Let $h \geq 2$, and let $\mathbf{b} = (b_1,\dots,b_h)\in \mathbb{Z}^h$ be a zero-sum vector with nonzero coordinates. For a set $A=\{a_1<a_2<\cdots\}\subseteq\mathbb{N}$, let $r_{A,\mathbf{b}}(n)$ denote the number of $h$-tuples $(x_1,\ldots,x_h)$ of pairwise distinct elements of $A$ satisfying $b_1x_1+\cdots+b_hx_h=n$. We study density restrictions on sets $A$ for which these representation counts remain small, obtaining analogues of the classical density theorem for infinite Sidon sets. In the case $\mathbf{b} = (c_1,-c_1,\dots,c_k,-c_k)$, we prove that if $A(x)/(x/\log x)^{1/2k}\to\infty$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\to\infty$, whereas if $A(x)\gg x^{1/2k}$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\gg\log x$. This recovers Chen's theorem on $B_{2k}$-sequences. For general zero-sum vectors $\mathbf{b}$, we prove analogous bounds under gap conditions: if $a_{n+1}-a_n=o(n^{h-1}\log n)$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\to\infty$, whereas if $a_{n+1}-a_n\ll n^{h-1}$, then $\frac{1}{x}\sum_{|n|\leq x} r_{A,\mathbf{b}}(n)\gg\log x$.

A Legendre pair of length 333 would yield a Hadamard matrix of order 668, the smallest order presently unresolved by the Hadamard conjecture. We study the structured case in which both sequences are fixed by a common subgroup $H\leq(\mathbb Z/333\mathbb Z)^\times$ acting by coordinate multiplication. We prove that such a pair can exist only when $|H|\leq 6$. After a mod-3 compression reduces the problem to an order-108 kernel, there are exactly 30 subgroups. We exclude 21 of them, including all 19 subgroups of order at least 9. The final order-9 subgroup is eliminated analytically: its orbit structure restricts the 9-compressed entries to $\{\pm1,\pm17,\pm19,\pm35,\pm37\}$; the Legendre equations force a $+17,-17$ pair in one compressed sequence, and a single-shift autocorrelation bound then contradicts the required compressed correlation. The remaining exclusions use full-image compression, a row-sum congruence, exact meet-in-the-middle enumeration, and proof-carrying pseudo-Boolean encodings. The solver-assisted cases are accompanied by independently checked DRAT proofs or direct arithmetic certificates. The result constrains fixed common-multiplier symmetry only; the unrestricted existence problems remain open.

We define via generators and relations an extended version of the matroidal Schur algebras introduced in earlier work of the author with Tom Braden. In the case of projective geometries, we relate the representation theory of the resulting algebras to the structure of the modular Steinberg representation of $GL(n,q)$. In the general case we show that the extended matroidal Schur algebras have a triangular, or Reedy, decomposition and are thus quasi-hereditary. We also obtain a new description of the original matroidal Schur algebras and clarify the connection to the flag spaces of Brylawski--Varchenko.

In this paper, we study the random walk on the symmetric group $\mathfrak{S}_n$ generated by the conjugacy class of $k$-cycles, where $2\le k=o(n/(\log n)^4)$. We prove that the walk exhibits hitting-time mixing: at the first time when every card has been touched, the distribution is already close to equilibrium. For odd $k$, the equilibrium measure is the uniform measure on $\mathfrak{A}_n$. For even $k$, the walk first mixes to the parity mixture determined by the hitting time, and in our range this mixture is asymptotically $U_{\mathfrak{S}_n}$. Our argument combines a refined fixed-time approximation for the random $k$-cycle walk near the cutoff window with an auxiliary marking scheme inspired by Jain-Sawhney's work (arXiv:2410.23944) on random transpositions. The main new feature is a parity-compatible coupling which handles both odd and even $k$-cycles in a unified framework. We also prove a hitting-time mixing result in the opposite regime $k\ge n-o(n^{1/2})$, and formulate a conjecture for all $2\le k\le n-1$.

The class of 2-distance-transitive graphs naturally generalizes distance-transitive graphs and plays a central role in algebraic graph theory. Classifying such graphs for a prescribed underlying group is a key open problem. A vertex-transitive graph $Γ$ is said to be $2$-distance-transitive if, for each $i\in \{1,2\}$, any two pairs of vertices with identical distance $i$ in $Γ$ can be mapped to each other via some automorphism of the graph. In this paper, we present a complete classification of all $2$-distance-transitive Cayley graphs of the semi-dihedral groups.

Let \(f(k)\) be the minimum integer \(N\) such that any red--blue edge-coloring of the ordered complete graph on \(N\) vertices contains a set of \(k\) vertices whose induced coloring is admissible. In this note, we obtain the exact value of $f(k)$ for $k\ge 3$, which confirms a conjecture posed by Bradač, Liu, Wu and Xu.

We provide a direct injection for the well-known strong log-convexity of the Bell numbers $B_n$, that is $B_mB_n\le B_{m-1}B_{n+1}$ for every $1\le m\le n$. Our injection $Π_m\timesΠ_n\to Π_{m-1}\timesΠ_{n+1}$, where $Π_n$ denotes the set of all partitions of $[n]$, preserves the total number of blocks in the pair of partitions. In other words, it is also an injection for the strong $q$-log-convexity of Touchard polynomials, a result established by Chen, Wang, and Yang using analytical arguments. As an application of the injection, we also recover a related result of Chern, Diaconis, Kane, and Rhoades.

For a graph $G$ of order $n$, with adjacency eigenvalues $λ_1(G) \geq \cdots \geq λ_n(G)$, the \emph{energy} of $G$ is defined to be \[\mathcal{E}(G)=\sum_{i=1}^{n} |λ_i(G)|.\] A well-known conjecture from the 1980s by Fajtlowicz states that for any graph $G$, \[\mathcal{E}(G) \ge 2\left(n-α(G)\right),\] where $α(G)$ denotes the independence number. We prove this conjecture.

L. Babai introduced a method for constructing a cubic graph whose automorphism group is isomorphic to a given finite group $G$, obtained by modifying a corresponding Cayley graph of $G$. Building on this approach, we construct a cubic graph that admits a polyhedral map whose automorphism group, as well as the automorphism group of the polyhedral map itself, is isomorphic to $G$.

Using cubic cyclotomic classes, character theory, and product constructions motivated by generalized Denniston partial difference sets, we construct negative Latin-square-type partial difference sets in $\mathbb{F}_{2^6}^{+}\times\mathbb{Z}_4^4$, $\mathbb{Z}_4^4\times\mathbb{F}_{2^{10}}^{+}$, $\mathbb{F}_{2^{10}}^{+}\times\mathbb{Z}_8^4$, $\mathbb{Z}_8^4\times\mathbb{F}_{2^{14}}^{+}$, and $\mathbb{Z}_4^4\times\mathbb{Z}_{16}^2$. The first four constructions replace cubic cyclotomic partitions by partitions of non-elementary abelian 2-groups having the same character-value patterns. To the best of our knowledge, these are the first partial difference sets with the stated parameters in the indicated groups.

Shan~[J. Graph Theory (2026)] proved that every 23-tough $(P_4\cup P_1)$-free graph on at least three vertices is Hamiltonian. We improve this bound to 7 by replacing the final cut analysis in Shan's framework with an asymmetric separation criterion and a cograph covering lemma.

We investigate maximal Boolean sublattices of the partition lattice Part(U) of a finite universe U. First, any largest size Boolean sublattice of Part(U) can be formed using all partitions whose blocks are subtrees of a tree with vertex set U. It is shown that a maximal Boolean sublattice of Part(U) always contains the least and the largest elements of Part(U). Boolean sublattices B of PartU containing 0 are characterized by a certain condition imposed on the cycles of a linear hypergraph corresponding to the atoms of B on the set U. We show that B can be extended to a Boolean sublattice of Part(U) with a largest size, if and only if the hypergraph induced by its atoms is a hypertree. This is the case when B is formed by all the partitions whose blocks are intervals in a generalized sense. The main result states that all partition lattices of height at least three have maximal Boolean sublattices for all possible dimensions at least three

In this note we construct colorings of Euclidean space $\mathbb{R}^n$ with finitely many colors such that any two points at unit distance have different colors and, in addition, each color class is dense in $\mathbb{R}^n$. In particular, 12 dense colors suffice to color $\mathbb{R}^2$. In arbitrary dimension, we show that $nχ(\mathbb{R}^n)+1$ colors suffice, where $χ(\mathbb{R}^n)$ denotes the chromatic number of $\mathbb{R}^n$ in the standard formulation.

A square-adjoining rectangle game generates the Fibonacci numbers and the Fibonacci spiral from a simple geometric rule. If one starts from a square, the four possible first moves are all equivalent by rotation. If one starts instead from a non-square rectangle, there are still four geometric placements for the first square, but they split into exactly two equivalence classes: long-side-first and short-side-first. We show that both classes are governed by the same Fibonacci-type recursion with different initial conditions, and that in both cases the successive aspect ratios converge to the golden ratio (phi). We then add a brief geometric remark: the Hypotenuse-Axis Intercept (HAI) construction from a right triangle produces a natural ordered seed whose outward and inward branches determine precisely those two first-move classes.

We certify, exactly, the coordinate fields of a faithful planar realization of two neighbouring triangle-free Exoo-Ismailescu unit-distance graphs (UDGs), and show they realize the two opposite extremes of the constructibility hierarchy. The 17-vertex graph EI17 (House of Graphs 51375) is the smallest triangle-free UDG with chromatic number 4; the 19-vertex graph EI19 (HoG 51376) is its state-of-the-art origami neighbour. In both, fixing a rational base edge, the remaining vertices are intersections of unit circles -- each on the radical axis of its two neighbours, a tower of square roots over the free angles -- and a small closure system locks the realization. For EI19 the base lies in Q(sqrt 2, sqrt 5, sqrt 7) and a single free angle has an irreducible degree 12 = 2^2*3 minimal polynomial with Galois group the solvable transitive group 12T236 (order 2304 = 2^8*3^2): not ruler-and-compass, but origami-constructible (the cubic Beloch fold O6 necessary, in casus irreducibilis). For EI17 two free angles are locked by two closures, whose resultant is irreducible of degree 20 = 2^2*5 with Galois group the full symmetric group S20 (a Frobenius census exhibits a 17-cycle, forcing A20 by Jordan, and an odd 20-cycle, raising it to S20): non-solvable, so the coordinates are not expressible by radicals -- neither compass nor origami of any fold order. Thus the smallest triangle-free 4-chromatic UDG is the generic, maximally exotic case, the exact opposite of its origami neighbour. We give the full certification pipeline as explicit algorithms, record two methodological pitfalls, and read the pair through a conjectural bridge between the Laman number and the Galois group.

Let $Γ$ be a straight-line crossing-free drawing of a tree $T$. A \emph{bad pair} in $Γ$ is a pair of non-adjacent vertices of $T$ whose Euclidean distance in $Γ$ is smaller than the length of the longest edge in the path connecting them in~$Γ$. When $Γ$ has no bad pairs, $Γ$ is a Euclidean Minimum Spanning Tree of its vertex set (or EMST-drawing for short). Deciding whether a tree of maximum degree at most six admits an EMST-drawing is known to be \NP-hard. In contrast, we characterize those caterpillars that admit an EMST-drawing. The characterization gives rise to a linear-time algorithm that decides if a caterpillar admits an EMST-drawing, and in the affirmative case, computes such a drawing. For caterpillars of maximum degree six, we further present a linear-time algorithm to compute a crossing-free straight-line drawing with the minimum number of bad pairs. For $n$-vertex trees with maximum vertex degree $Δ$, we prove the $Δ^2n\log n$ upper bound on the minimum number of bad pairs. In the special case of stars, we construct a drawing with the minimum number of bad pairs.

In this paper, we introduce the $(r,d)$-Stirling numbers of the second kind, a new generalization of the $r$-Stirling numbers obtained by imposing a distance restriction: for any two elements $i$ and $j$ within the same subset, we require that $|i-j|>d$. We establish recurrence relations, an explicit formula, ordinary and exponential generating functions, a reduction identity connecting these numbers to the standard $r$-Stirling numbers, and several combinatorial identities.

Let \(F\subseteq\binom{V}{q}\) be a \(q\)-uniform family on a finite vertex set \(V\). Write \(s_r(F)\) for the sum of the \(r\) largest eigenvalues of its simplicial up-Laplacian and \(d_F(v)\) for the degree of \(v\in V\). Then $D_r(F)=\sum_{v\in V}\min\{d_F(v),r\}$ is the \(r\)-th partial sum of the conjugate degree sequence of \(F\). The majorization assertion in the Duval--Reiner conjecture [Trans. Amer. Math. Soc., 2002] states that \(s_r(F)\le D_r(F)\) for every \(q\)-uniform family \(F\) and every \(r\ge1\). We disprove this assertion in two complementary senses: for every \(r\ge5\), there is a strict counterexample at index \(r\) in some uniformity, while every uniformity \(q\ge3\) admits a strict counterexample at some index \(r\ge5\). In contrast, we prove the universal inequality \(s_2(F)\le D_2(F)\) and classify all equality cases. The counterexamples are obtained from two \(3\)-uniform seeds with explicitly computed characteristic polynomials through defect-preserving ridge-whiskering and set-complement duality. For the second partial sum, core completion reduces the problem to the boundary matrix of a complete simplex, where Ky Fan variational and compression arguments yield both the inequality and its equality classification.

The KP equation is a prototypical $(2+1)$-dimensional integrable PDE. Its soliton solutions are famously parametrized by the Sato Grassmannian. In seminal work, Kodama and Williams made the surprising discovery that the combinatorics of soliton solutions are intimately related to the combinatorics of the totally positive Grassmannian as pioneered by Postnikov. They introduced novel algorithmic methods inspired by polyhedral structures arising from tropical geometry. Soliton solutions to the 2D Toda lattice and the Davey--Stewartson equation, two closely related integrable systems with soliton solutions, are also classified by the Sato Grassmannian. Kodama suggested that the methods of his work with Williams could generalize to these two integrable equations. In this work, we show that this is indeed the case. We derive algorithms to produce contour plots from elements in the totally nonnegative Grassmannian in both cases. In the asymptotic setting, we recover and refine previous work of Biondini and Wang; as well as Biondini, Kireyev and Maruno.

Classical shuffle products on permutations and binary planar rooted trees (i.e., on the vertices of permutohedra and associahedra) admit descriptions in terms of intervals in the weak Bruhat order and the Tamari order, respectively. Palacios and Ronco extended these products as well as their interval description to surjections and planar rooted trees (i.e. on all faces of permutohedra and associahedra). In this article, we present a broad generalisation of this phenomenon. We show that the shuffle product on faces of certain families of nestohedra admits an interval description with respect to the generalised flip order, a partial order defined on the faces of nestohedra through elementary splitting and fusion operations on the tree-like combinatorial objects encoding them. The generalised flip order extends the flip order of Barnard and McConville from vertices to all faces of nesthedra. We further compare it with the facial weak order of Dermenjian-Hohlweg-Pilaud and the generalised Tamari order of Ronco, and we provide its characterisation in terms of (generalised) inversions.

Let $G$ be a graph with chromatic number $χ(G)$, clique number $ω(G)$ and zero forcing number $Z(G)$. We establish new lower bounds on $Z(G)$ in terms of induced triangle-free subgraphs. In particular, we show that if a graph $G$ contains an induced triangle-free subgraph $H$ with minimum degree $δ(H) \ge 3$, then $Z(G)\geδ(H)+1$. Motivated by this result and the bound $χ(G) \leq Z(G) + 1 $ by Taklimi (2013), we conjecture that \begin{equation*} χ(G) \leq \left \lceil \frac{ω(G)+Z(G)+1}{2}\right\rceil. \end{equation*} As supporting evidence, we prove that the conjecture holds for triangle-free regular graphs and also provide numerical evidence.

Let $G$ be a connected simple vertex-transitive graph on $n$ vertices with degree $d$, and let $G_p$ be the random spanning subgraph obtained by retaining each edge independently with probability $p$. Motivated by a conjecture of Bedert, Draganić, Müyesser, and Pavez-Signé on Hamilton cycles in percolated Cayley graphs, we establish its matching and $2$-factor consequences for the larger class of all connected vertex-transitive host graphs. First, for every $A>0$, there is $C=C(A)>0$ such that, for every $N\ge n$, the condition $(1-p)^d\le N^{-C}$ implies, with probability at least $1-N^{-A}$, that $G_p$ has a perfect matching when $n$ is even and that $G_p-v$ has a perfect matching for every vertex $v$ when $n$ is odd. Second, if $ν_2(H)$ is the maximum number of pairwise edge-disjoint spanning $2$-factors in $H$, then, for every $A>0$ and $0<ε<1$, \[ ε^2pd\ge64(A+6)\log(2n) \] implies \[ \mathbb P\left( ν_2(G_p)\ge\left\lfloor(1-ε)\frac{pd}{2}\right\rfloor \right)\ge1-n^{-A}. \] Consequently, $pd\ge C\log n$ guarantees both the appropriate matching property and a spanning $2$-factor with high probability, uniformly over all connected vertex-transitive graphs. If $pd/\log n\to\infty$, then $ν_2(G_p)=(1+o(1))pd/2$ with high probability. The coefficient $1/2$ is best possible because each spanning $2$-factor contains $n$ edges, whereas $G_p$ contains about $pnd/2$ edges.

We show that there exist graphons that interpolate between Riemannian manifolds and weighted geometric graphs. Specifically, the graph-to-manifold approximation used in manifold learning can be regarded as the composition of a graph-to-graphon convergence and a graphon-to-manifold convergence in a certain sense. Furthermore, we establish a monotonicity inequality which reveals an implicit relationship between numerous combinatorial parameters and geometric quantities on graphons. Using this inequality, we find relations among conductance, maxcut problem, capacity, and packing radius, as well as their limiting behaviours under graph-to-graphon and graphon-to-manifold convergences; some of these relations are novel even for simple graphs and closed manifolds.

For the neighborhood seed associated with the four-vertex path $P_4$, the diamond operations do not recover all Boolean-lattice pseudo-roots. The corresponding question for unrestricted rational operations in the free skew field is subtler: the seed map has an invertible linearization and therefore a unique formal inverse near every generic scalar point. We prove that this formal inverse is not free rational. A symmetric one-parameter curve of $2 \times 2$ matrix outputs has a formal inverse whose coefficient field contains an element of degree three over $\mathbb{Q}(t)$. An exact elimination in a quadratic Pauli algebra produces the irreducible cubic. Its conjugate inverse branches are unramified, forcing the generic matrix degree of the seed map to be at least three in every size $n \ge 2$. This contradicts the degree-one consequence of any free rational inverse. The same matrix-degree argument, without specializing a hypothetical inverse, extends the obstruction to every graph containing an induced $P_4$.

Let $G=(V,E)$ be a finite connected graph with boundary $B$. We prove that for a generic positive edge weight function $w \in \mathbb{R}^{|E|}$, the Steklov eigenvalues of $(G,B,w)$ are simple and every Steklov eigenfunction does not vanish on the boundary. More precisely, the exceptional weights are contained in a zero set of a non-identically zero polynomial and hence form a set of Lebesgue measure zero and Hausdorff dimension at most $|E|-1$. Our results provide a discrete extension of the genericity theorem for the Steklov problem on compact manifolds.

In this paper we prove that whenever a projective plane of odd order n contains an oval, it may be used to construct a triple array with n + 1 rows, n.n columns and n(n + 1) symbols. In particular, for any odd prime power s, we use the projective plane over the field of order s to construct an explicitly given (s + 1) times s.s triple array on s(s + 1) symbols. This is only the third infinite series of triple arrays (up to transposition) to be found. Our construction proves a recent conjecture of Gordeev and Ohman (2025) in the case of odd prime powers.

Sequence A339987 of the OEIS counts (3,1)-regular graphs having one more vertex than edges by half the number of vertices. A recurrence relation satisfied by this sequence was guessed by Kauers and Koutschan in 2023. We confirm it in three ways: first, by a representation as the diagonal of a triple sum and an elaborate variant of traditional creative telescoping that makes an a posteriori validation possible; second, by a residue representation and a direct calculation by reduction-based creative telescoping; third, by a combinatorial recurrence on graph families and a calculation by differential elimination. Each of those three approaches leads to a formally complete proof and involves a computer calculation in one way or another.

Let $s, t\ge2 $ be integers. A graph $G$ is $(s,t)$-splittable if $V(G)$ can be partitioned into two sets $S$ and $T$ such that $χ(G[S ]) \ge s$ and $χ(G[T ]) \ge t$. The Erdős-Lovász Tihany Conjecture from 1968 asserts that every graph $G$ satisfying $ω(G)<χ(G)=s+t-1$ is $(s,t)$-splittable. A vertex of a graph is bisimplicial if the set of its neighbors can be expressed as the union of two cliques. Let $G$ be a graph with $ω(G)<χ(G)=s+t-1$. We prove that if $G$ does not contain $C_4$ as an induced subgraph and every induced subgraph of $G$ has a bisimplicial vertex, then $G$ is $(s,t)$-splittable. Combining our result with a recent result of Chudnovsky and Seymour, which states that every non-empty even-hole-free graph has a bisimplicial vertex, we obtain that the Erdős-Lovász Tihany Conjecture holds for all even-hole-free graphs.

For a connected graph $G$ and a set $S\subset V(G)$, the Steiner distance $d_G(S)$ is the minimum number of edges in a connected subgraph of $G$ containing $S$. The Steiner-Wiener $k$ index is defined by $\mathrm{SW}_k(G) = \sum_{S\subset V(G), |S|=k} d_G(S)$. We study the inverse problem for this invariant restricted to trees: for fixed $k$, which positive integers occur as $\mathrm{SW}_k(T)$ for a finite tree $T$? We prove that all sufficiently large positive integers occur as $\mathrm{SW}_k(T)$ for some finite tree $T$ if and only if $k$ is even. For odd $k$, we further show that the set of attainable values has asymptotic density of order $k^{-δ}(\log k)^{-3/2}$, where $δ$ is the Erdős-Tenenbaum-Ford constant.

We show that for every fixed $\varepsilon>0$, there exist arbitrarily large families of point-line pairs $(x_1,\ell_1),\ldots,(x_n,\ell_n)$ in $[0,1]^2$, with $x_i \in \ell_i$ for all $i$, and such that $\operatorname{dist}(x_i,\ell_j)\ge n^{-2/3-\varepsilon}$ for all $i \neq j$. Combined with a previous result of Cohen, the author, and Zakharov, this solves the minimal distance problem.