arXiv++ Combinatorics

Phylogenetic trees are rooted trees with branch lengths that record genetic divergence or elapsed time, and quantifying differences between them is central to a wide range of evolutionary and epidemiological analyses. Graph-polynomial encodings of rooted trees provide an accurate, interpretable, and computationally efficient way to compare tree shapes, but existing polynomial encodings must be paired with auxiliary structures to study rooted trees with branch lengths. We introduce a bivariate polynomial encoding that incorporates branch lengths directly into a recursive computation from the leaf vertices to the root vertex of a tree. We prove that, for rooted trees with branch lengths and no vertices of degree two, which include all standard phylogenetic trees, two trees have the same polynomial if and only if their underlying unlabeled trees are isomorphic and the branch lengths of corresponding edges are equal. We apply the polynomial encoding to three published HIV-1 phylogenies sampled in different epidemiological settings and show that it accurately separates the three datasets based on their tree topologies and branch lengths, outperforming previous polynomial-based approaches for analyzing rooted trees with branch lengths.

We consider the set of matchings of a graph and a local change operation, called a flip, between them. In the combinatorial setting, the base graphs are either complete graphs or complete bipartite graphs, and in the geometric setting, the graphs are embedded on point sets in the plane, with the requirement that edges must be drawn as straight lines and must not cross. For base graphs with an even number of vertices, we consider perfect matchings, i.e., all vertices are matched, and for base graphs with an odd number of vertices, we consider almost-perfect matchings, i.e., all but one vertex of the graph are matched. A 2-flip between two perfect matchings exchanges two edges, and a 1-flip between two almost-perfect matchings exchanges one edge. The corresponding flip graph has the set of perfect or almost-perfect matchings as vertices, with pairs of them connected by an edge if they differ in a 2-flip or 1-flip, respectively. In this work, we provide a comprehensive picture of Hamiltonicity properties of these flip graphs. We prove that the flip graphs in the combinatorial setting are Hamilton-connected, i.e., they admit a Hamilton path between any two vertices, or, if the flip graphs are bipartite, we prove that they are Hamilton-laceable, i.e., they admit a Hamilton path between any two vertices from different partition classes. In the geometric setting, we prove that any path in them misses exponentially many vertices, in particular, they have no Hamilton paths or cycles. For points in convex position and almost-perfect matchings under 1-flips, we complement this by constructing a cycle in the flip graph that visits almost all vertices.

Let $R(G,p)$ be the normalized rigidity matrix of a framework $(G,p)$ in $\mathbb R^d$, and let \[ L(G,p)=R(G,p)R(G,p)^{T} \] be the associated stiffness matrix. We study the extremal eigenvalues of $L(K_n,p)$ for complete frameworks whose vertices lie on the unit sphere and have centroid at the origin. Our main result shows that, whenever $d\ge2$ and the image of $p$ contains at least three distinct points, the second largest eigenvalue of $L(K_n,p)$ is exactly $n/2$. This settles the eigenvalue part of a conjecture of Lew et al. [Israel J. Math. 256, 2023]. We further construct an infinite family of examples, given by regular polygons embedded in a two-dimensional subspace, for which the eigenvalue $n/2$ has multiplicity $2n-4$. Consequently, the multiplicity predicted in the conjecture is not correct in general. Our results reveal a dichotomy: the value of the second largest eigenvalue is universal, while its multiplicity is sensitive to the geometry of the underlying point configuration.

A measurable set $A\subseteq \mathbb S^{d-1}$ is called zero-sum-free if there are no $\boldsymbol{x},\boldsymbol{y},\boldsymbol{z}\in A$ with $\boldsymbol{x}+\boldsymbol{y}+\boldsymbol{z}=\boldsymbol{0}$. Bukh asked whether every zero-sum-free measurable subset of $\mathbb S^{d-1}$, for $d\ge3$, has normalized surface measure at most $\frac{1}{2}$. He also pointed out that even the asymptotic behavior as $d\to\infty$ was unknown. We answer Bukh's asymptotic question by proving that every such set has normalized surface measure at most $\frac{\lfloor (d+1)^2/2\rfloor}{d(d+1)}=\frac{1}{2}+O\left(\frac{1}{d}\right).$ Since the lower bound $\frac{1}{2}$ comes from open hemispheres, this determines the asymptotic extremal density. By monotonicity, upper bounds in low-dimensional cases are especially important. We use a stability argument to improve the bound from $\frac{3}{5}$ to $\frac{71}{120}$ in dimensions $4$ and $5$.

We generalize Gessel's Formula for the number of Latin rectangles to partial Latin rectangles and non-attacking rook placements in a tridimensional chessboard. We also derive explicit short formulas for the generating series of the numbers of non-attacking rook placements on a chessboard with $2$ or $3$ levels. These series also count partial Latin rectangles with $2$ or $3$ rows. The results are obtained following methods developed by MacMahon and Gessel for counting Latin squares and Latin rectangles, by means of scalar products of multisymmetric functions.

We prove that the number of lozenge tilings of a certain triangular region $\mathcal{T}_n$ is given by the formula \[T_n=\prod_{\substack{1\leq a<b\leq 3n+2\\(a,b)\not=(n+1,2n+2)}}\left|1+ζ^a+ζ^b\right|^{1/3},\] where $ζ=e^{2πi/(3n+3)}$. This answers a question of Ciucu and Krattenthaler, both by finding the exact formula and by explaining why $T_n$ has many prime factors. The proof reduces the lozenge tiling enumeration problem to evaluating the determinant of the bipartite adjacency matrix $M_n$ of the dual graph of $\mathcal{T}_n$, and then evaluates this determinant by diagonalising $M_n$.

After $n$ radial cuts of a circular cake, it is divided into $n$ slices. Call an adjacent pair of slices a portion. We exhibit an infinite sequence of cuts such that the ratio between the maximum and minimum sizes of a portion never exceeds 1.755. This improves on the trivial upper bound of 2, disproving a conjecture of Korsky.

We study the interplay between graded families of ideals in $\mathbb{K}$-domains and their associated convex regions. These regions, called Newton-Okounkov regions, arise naturally from graded families of ideals associated to a valuation with one-dimensional leaves. Our main focus is to compute asymptotic resurgence number of a pair of graded families of ideals. By combining techniques from Attouch--Wets topology and convex-geometric properties of Newton-Okounkov regions, we characterize the asymptotic resurgence number through containment relations between the pair of corresponding Newton-Okounkov regions.

The flip graph of an origami crease pattern has the flat-foldable mountain-valley assignments as vertices, and an edge joins two of them that differ by a single face flip. A basic invariant of this graph is the degree sequence, which counts the vertices of each degree. On the $m\times n$ Miura-ori, this sequence is known as a bivariate polynomial only for small degrees, each count obtained by a separate argument whose casework grows with the degree. This paper gives one uniform construction that expresses, for every degree $d$, the number of degree-$d$ vertices as a single symmetric polynomial $p_d(m,n)$ for all sufficiently large $m,n$. Subject to a single degree bound, this polynomial has total degree $d-2$, growing for $d\ge5$ as an explicit multiple of $m^{d-2}+n^{d-2}$; the bound is proved here when the count splits into independent row and column factors, and open otherwise. The region is $m,n\ge\max(d-1,2)$; through $d=7$, the polynomials are computed in closed form and the bound is verified in every case. Below this region, the count departs from $p_d$ by a correction whose leading coefficient, through degree eleven, is $-4$ times a Baxter number. Each $p_d$ thus counts the Miura-ori's flat-foldable assignments admitting exactly $d$ single face flips.

Recent work of Lam, Bychkov-Gorbounov-Kazakov-Talalaev, and Chepuri-George-Speyer gave a stratification of the totally nonnegative Lagrangian Grassmannian into electroid cells parameterized by cactus networks, paralleling Postnikov's stratification of the totally nonnegative Grassmannian by positroid cells. Electroid varieties arise as an algebro-geometric extension of electroid cells. The combinatorics of these varieties was studied by Lam in 2018. We build on this work and study the geometric properties of electroid varieties. In analogy to results of Knutson, Lam, and Speyer on positroid varieties, we show that electroid varieties are reduced, irreducible, regular in codimension one, compatibly Frobenius split, and form a stratification. We also show a decomposition of certain electroid varieties as a product of two electroid varieties. As a consequence, the grove measurement map that embeds electroid cells can be extended algebraically to embed an algebraic torus.

Let $A$ be an arbitrary $2\times 2$ matrix. In \cite{Cisneros:PhD,Cisneros:I2x2M} I gave a formula for the trace of the $k$-th symmetric power of $A$ in terms of the anti-diagonal entries of $A^{k+1}$ and $A$. This was based on formulae that I found for the entries of the $k$-th power $A^k$ of the matrix $A$ in terms of its entries but I only sketched the idea of how I obtained such formulae. In this article I give the full proof of those formulae by counting some walks of length $k$ over the complete digraph of order $2$. I compare them with formulae for $A^k$ given by Mc Laughlin in \cite{McLaughlin:CIDnP2x2M} and by Williams in \cite{Williams:nthP2x2M}. This leads to combinatorial identities, in particular expressions for Fibonacci and Lucas numbers.

We construct an acyclic augmented chain complex of abelian groups whose entry in degree $n > 0$ is free on the set of noncrossing partitions of degree $n-1$ equipped with a $\{0, 1\}$-labelling of their gaps. The definition of the differential in this complex is related, via a restricted Leibniz rule, to the gap-insertion operad of Ebrahimi-Fard, Foissy, Kock, and Patras. We conjecture that this augmented chain complex is the linearisation of a polygraph presenting a self-dual model of the coherent walking $ω$-equivalence constructed by the author, Loubaton, Ozornova, and Rovelli, and provide evidence for this conjecture.

The goal of the minimal model program for the Hilbert scheme of points on a surface aims is to describe the (stable) base loci of all divisors, their associated birational models, and the maps between them. We answer all of these questions for the Hilbert scheme of points on the blowup of the affine plane at the origin. The birational models are Brill-Noether loci in a larger Hilbert scheme, and nested variants thereof, and the wall-crossing maps are described as explicit projections. We also establish several new facts about the homogeneous coordinate ring of this Hilbert scheme, including finding the minimal set of line bundles whose sections generate the ring.

A square matrix is said to be Hessenberg whenever each entry below the subdiagonal is zero, and each entry on the subdiagonal is nonzero. A Hessenberg matrix is called circular whenever the top-right corner entry is nonzero, and every other entry above the superdiagonal is zero. A circular Hessenberg pair consists of two diagonalizable linear maps on a nonzero finite-dimensional vector space, that each act on an eigenbasis of the other one in a circular Hessenberg fashion. In 2022, Jae-ho Lee conjectured that a circular Hessenberg pair satisfies two relations called the tridiagonal relations. In the present paper, we prove Lee's conjecture. Our proof is not elementary.

We attach to a finite group $G$ and a structured payoff probe $φ$ an integer \emph{payoff-difference lattice} $M_φ(G)$ and its \emph{conductor} $C_φ(G)$: the primes at which $M_φ(G)$ loses rank modulo $p$. Our main result is an exact computation: for any CA-group the commuting conductor is rad$(b-1)$, where $b$ is the number of maximal abelian subgroups. In particular, conductor primes need not divide $|G|$: the prime $3$ occurs for a $2$-group of order $64$ with $b=7$. The commuting Smith spectrum is an invariant of the isoclinism class and obeys an exact direct-product law, giving ${\rm C_{comm}}(G\times H) = {\rm C_{comm}}(G) \cup {\rm C_{comm}}(H)$ unconditionally. A Galois-orbit-trace character probe reads a complementary layer: an index-$2$ subgroup forces $2\in {\rm C_{char}}(G)$ while no odd prime is forced, and ${\rm C_{comm}}(D_{2q}) = \{q\}$, ${\rm C_{char}}(D_{2q}) = \{2\}$ for all odd primes $q$. Certified exhaustive computation ($|G|\le128$ commuting, $|G|\le64$ character) and a deformation-family analysis support the general program: classify the Smith torsion of the compressed centralizer-type incidence matrix $B_G$.

We formulate compactifications of continuous maps naturally. We consider real analytic functions mainly. We are interested in topological properties and combinatorial ones of explicit resulting maps. For understanding them, we use their Reeb spaces, being quotient spaces of the spaces of the domains of the functions and defined by the equivalence relation identifying two points in same components of their level sets. They are known to be $0$- or $1$-dimensional (metrizable) cell-complexes, in our situations or more general certain tame cases. Reeb spaces have been important in understanding topological properties and combinatorial ones of functions and spaces roughly, since the last century. These compactifications have been explicitly studied by the author previously and recently. We have obtained real algebraic functions whose Reeb spaces are not so complicated and which seem to be of most natural and simplest. We present new discussions and examples.

Let $P_n=\mathrm{Cay}(S_n,\{r_2,\ldots,r_n\})$ be the pancake graph, with prefix reversals acting on the right. Conjugating Zaks' suffix-reversal permutation Gray code by the full reversal gives a distinguished Hamiltonian cycle $Z_n$ in $P_n$. We determine the stabilizer of this particular cycle under the left regular action of $S_n$. If $ρ=r_{n-1}r_n=[n,1,2,\ldots,n-1]$, then, for every $n\ge3$, $\mathrm{Stab}_{L(S_n)}(Z_n)=\langle L_ρ,L_{r_n}\rangle\cong D_n$, where $D_n$ denotes the dihedral group of order $2n$. The inclusion $\supseteq$ follows from the recursive block decomposition $W_n=(W_{n-1}r_n)^{n-1}W_{n-1}$ and from the palindromy $W_n^R=W_n$. The reverse inclusion follows from a general cyclic-order rigidity lemma: if a Hamiltonian cycle on a finite group is invariant under $L_a$, with $\mathrm{ord}(a)\ge3$, then every left translation preserving the same cycle conjugates $a$ to $a$ or $a^{-1}$. For $n\ge5$, Deng-Zhang's automorphism theorem gives the same stabilizer inside $\mathrm{Aut}(P_n)$; the exceptional ranks are handled separately. We also compute the compression factor of $Z_n$: it is $n$ for $n\ge4$ and $6$ for $n=3$.

This paper develops a systematic method for determining particular solutions of the $k$th-order linear nonhomogeneous recurrence relation $$a_n + c_1 a_{n-1} + \cdots + c_k a_{n-k} = \sum_{j=1}^J p_j(n){r_j}^n$$ with $n \geq k$, $c_k \neq 0$, $r_j \neq 0$. Here each $p_j(n)$ is a polynomial. The main result is the following: for the characteristic polynomial $c(t)=t^k+c_1t^{k-1}+\cdots+c_k$, if $s_j$ denotes the multiplicity of $r_j$ as a root of $c(t)$ ($s_j=0$ when $r_j$ is not a root), then there exists a particular solution of the form $q_n=\sum_{j=1}^J b_j(n)n^{s_j}r_j^n$, where each $b_j(n)$ is a polynomial of the same degree as $p_j(n)$. This result parallels the method of undetermined coefficients for linear ODEs with constant coefficients and yields a systematic procedure for determining the form of particular solutions.

We propose several approaches for bounding the minim\-um distances of the family of quasi-cyclic LDPC codes in the 5G NR standard. In particular, we show that the high-rate [9984, 8448] and the low-rate [25344, 8448] BG1 5G LDPC codes have minimum distances in the ranges {8..14} and {22..57}, respectively. Also we propose a new early termination approach based on circulant modular reduction, which significantly lowers syndrome calculation complexity for the LDPC decoder.

Let \(\mathcal{B}_n\) be the Boolean lattice of all subsets of \([n]\) and let \(\mathcal{P}_{n;\ell,u}\) be the subposet of \(\mathcal{B}_n\) induced by the consecutive levels \(\ell,\ell+1,\ldots,u\). We determine $ν_{n;\ell,u}$, the maximum size of a family of pairwise disjoint maximal intervals in $\mathcal P_{n;\ell,u}$, whenever \(u\le ({n+\ell^2})/({\ell+1})\). This completely settles Engel's problem~[Combin. Probab. Comput., 1996]. The proof is constructive. We also record consequences for weakly cross-intersecting set-pair systems and discuss the three-level case.

This note aims to provide a direct combinatorial proof of the Gessel--Reutenauer--Wachs formula for $q$-derangement numbers in the setting of decorated permutations, without using the $q$-binomial inversion formula. Decorated permutations, introduced by Postnikov in his study of the totally nonnegative Grassmannian, provide a natural framework for Chen's signed fixed-point model. Our proof is based on a major-index generating function for decorated permutations with a fixed number of signed fixed points, together with a sign-reversing and descent-set-preserving involution, thereby answering a question raised by Chen. This involution was discovered through human--AI collaboration.

For the Erdős--Frankl--Pach problem on uniform set systems of bounded VC-dimension, the Ahlswede--Khachatrian/Mubayi--Zhao construction has long served as the standard lower-bound benchmark. We develop a recursive lifting method that goes beyond this benchmark in every dimension \(d\ge3\), proving that for every \(d\ge3\) and \(n\ge d+3\), \[ M_d(n)\ge \binom{n-1}{d}+\binom{n-4}{d-2}+M_{d-3}(n-5). \] The proof is elementary and proceeds through explicit trace obstructions. We also record a further recursive improvement in the concluding remarks.

We establish a correspondence between two structures arising in the geometry of hyperplane arrangements: Euclidean $\vee$-systems and real polyhedral Kähler (PK) arrangements. We prove that every irreducible Euclidean $\vee$-system determines a real PK arrangement, and conversely that every real PK arrangement arises this way. As a result, we show that the moduli space of Euclidean $\vee$-systems in a fixed projective class is homeomorphic to the relative interior of a polytope. We also give a direct proof that the hyperplane arrangement associated with a Euclidean $\vee$-system is simplicial. Among the currently known simplicial line arrangements, we identify precisely those that arise from $\vee$-systems. As a consequence, we prove that the Schreiber--Veselov catalog is complete for irreducible rank-three Euclidean $\vee$-systems with at most $27$ vectors.

Given a nonnegative matrix $X$, a factorization rank $r$ and a real parameter $p$, entrywise power matrix factorization (EPMF) looks for a low-rank matrix $X_r$ such that $X = |X_r|^{\circ p}$ (exact case) or $X \approx |X_r|^{\circ p}$ (approximate case), where $(\cdot)^{\circ p}$ denotes the component-wise exponent. EPMF includes the modulus model ($p=1$) and component-wise square factorization ($p=2$) as special cases, the latter being closely related to the square root rank. We analyze the computational complexity of the exact decision problem and the Frobenius-norm approximation problem, and establish a complete complexity landscape. In the exact case, we show that EPMF is equivalent to the combinatorial problem of flipping the signs of the entries of a given matrix $X$ to obtain a rank-$r$ matrix, which we refer to as the signing problem. We first show that the signing problem, and hence exact EPMF, is strongly NP-hard, improving a weak NP-hardness result for the square-root-rank of Fawzi et al. (Math. Prog., 2015). We then show that the signing problem can be solved in polynomial-time when $r$ is fixed. Moreover, when the rank $r$ is part of the input, we show that for generic matrices the algorithm is fixed-parameter tractable (FPT) in the parameter $r$; in fact, the running time is linear in the input size $X$. In the approximate case using the Frobenius norm as an error measure, we show that EPMF is NP-hard, already when $r=2$, the smallest nontrivial case.

Steinerberger curvature encodes the global distance geometry of a graph through an equilibrium measure. In this paper, we derive explicit curvature formulas for undirected Cayley graphs of dihedral groups $D_n$ and generalized quaternion groups $Q_{4m}$. We then extend Steinerberger curvature to strongly connected simple digraphs by introducing in-curvature and out-curvature, reflecting the asymmetry of directed distances. For these directed curvatures, we establish structural properties, including negativity criteria and a permutation relation between in- and out-curvature. Our main results are directed analogues of the Bonnet--Myers, Cheng and Lichnerowicz theorems, together with reverse Bonnet--Myers inequalities for directed diameter and out-radius, and an upper bound for in-radius in terms of total curvature.

We show that given completely multiplicative functions $f_1,\dots,f_d$ taking values in the unit circle, there exist Pythagorean triples (i.e., integer solutions to $x^2+y^2=z^2$) with $f_i(x),f_i(y),f_i(z)$ all arbitrarily close to $1$ for all $i$. This is a new special case of the conjecture that any finite colouring of $\mathbb{N}$ has a monochromatic Pythagorean triple. Our proof combines vanishing averages for aperiodic functions with concentration estimates for pretentious functions. A similar proof is applied to obtain the analogous statement for more general equations of the form $ax^2+by^2=cz^2$ whenever $a,b,c$ are perfect squares satisfying the Rado's condition.

For $q\ge 1$, the $q$-th squarefree power $I(G)^{[q]}$ of the edge ideal of a graph $G$ is generated by the squarefree monomials supported on $q$-matchings of $G$; it is the Stanley--Reisner ideal of the complex $Δ_q(G)=\{F\subseteq V(G):ν(G[F])<q\}$, where $ν$ denotes matching number. We prove a general formula for the matching number of an arbitrary graph join, \[ ν(G\ast H) = \min\Big(ν(G)+|V(H)|,\ \ ν(H)+|V(G)|,\ \ \Big\lfloor\tfrac{|V(G)|+|V(H)|}{2}\Big\rfloor\Big), \] via the Tutte--Berge formula, and use it to decompose $Δ_q(G\ast H)$ for arbitrary graphs $G,H$. Specializing to the wheel graph $\mathcal{W}_n = \mathcal{C}_n\ast\mathcal K_1$, we determine the Krull dimension and height of $R/I(\mathcal{W}_n)^{[q]}$ exactly for all $n\ge 3$, $1\le q\le\lfloor n/2\rfloor$, and -- combining our matching-number computations with a recent Tutte-type Cohen-Macaulayness criterion of Ficarra and Moradi -- prove that at the \emph{top} squarefree power $q=ν(\mathcal{W}_n)=\lceil n/2\rceil$, the ideal $I(\mathcal{W}_n)^{[ν(\mathcal{W}_n)]}$ is literally the squarefree Veronese ideal, so that $R/I(\mathcal{W}_n)^{[ν(\mathcal{W}_n)]}$ is Cohen-Macaulay with \[ {\rm dim} = {\rm depth} = {\rm reg}\big(R/I(\mathcal{W}_n)^{[ν(\mathcal{W}_n)]}\big) = 2\Big\lceil\frac n2\Big\rceil-1. \] This resolves all four classical invariants at the top power, and confirms there the pattern depth$(R/I(\mathcal{W}_n)^{[q]}) = 2q-1$ that our computational data (now extended to $n\le13$, every valid $q$) suggests holds throughout. We prove a general depth formula for squarefree powers of cone graphs, via a Betti-splitting exact sequence, that reduces this pattern to two more tractable statements about the underlying cycle alone; both are verified computationally in every case checked but left open in general.

In a previous work, we defined the complex of cluster parking functions. On one side, they encode the type-refined enumeration of faces of the cluster complex, and on the other side, they have a reduced homology which is isomorphic to (ungraded) diagonal coinvariants. The goal of this work is to take into account the underlying dihedral symmetry. We thus have a product of a dihedral group and a symmetric group (there is a precise conjecture in the case of other finite Coxeter groups, but we focus on symmetric groups because of technicalities about diagonal coinvariants beyond this case). Under the action of the product group, the reduced homology of cluster parking functions is conjecturally isomorphic to diagonal coinvariants up to tensoring by a sign character of the dihedral group. This isomorphism can be reformulated as a dihedral sieving phenomenon. The main technical contribution is the definition of the dihedral automorphism group of cluster parking functions, and we discuss various features of the reduced homology character and its conjectural connection with diagonal coinvariants.

We develop a theory of symmetric infinitesimal rigidity for bar-joint frameworks in the hyperbolic plane, where symmetry is given by a Fuchsian group acting by isometries. Using the language of gain graphs and the orbit rigidity matrix, we reduce rigidity questions for infinite symmetric frameworks in the upper-half plane H to finite combinatorial conditions. Our main result provides a combinatorial characterisation of the infinitesimal rigidity for Gamma-symmetric frameworks, which are as generic as possibly allowed by the symmetry, when Gamma is a surface group. Namely, we show that a Gamma-gain graph is Gamma-isostatic if and only if it satisfies certain matroidal sparsity conditions. In particular, if Gamma is not cyclic then the appropriate combinatorial condition is (2,3,1,0)-gain tightness. Via the correspondence between Gamma-symmetric frameworks in H and finite frameworks on the quotient surface H/Gamma, this yields a characterisation of infinitesimal rigidity for frameworks on compact Riemann surfaces of genus at least 2.

In 2017, McDiarmid and Yolov introduced the bipartite-hole-number $\widetildeα(G)$ and proved that $δ(G)\ge \widetildeα(G)$ forces a Hamilton cycle. They also gave a sufficient condition for packing edge-disjoint Hamilton cycles, and asked whether this condition is sharp or can be relaxed. For integers $a,k\ge 2$, let $f(a,k)$ be the least integer $d$ such that every graph $G$ on at least three vertices with $\widetildeα(G)\le a$ and $δ(G)\ge d$ contains $k$ pairwise edge-disjoint Hamilton cycles. We prove that $f(a,k)=Θ\left(a+k+\frac{ak}{\log(k+2)}\right).$ The upper bound uses a deletion lemma for the bipartite-hole-number together with the McDiarmid--Yolov Hamiltonicity theorem and a greedy packing argument. The lower bound is obtained from three extremal constructions, the logarithmic one using a sparse random auxiliary graph with no prescribed bipartite hole.

In this paper, we present a new construction of divisible design graphs with new parameters, obtained by plugging a difference set of a quotient group into a known construction of antipodal distance-regular graphs of diameter 3. Also, we show that in characteristic 2 the new divisible design graphs are Cayley graphs over an elementary abelian 2-group.

$2$-designs admitting a flag-transitive automorphism group $G$ with socle $PSL(2,q)$, where $q=p^{f}\geq 4$, are investigated in both the point-primitive and point-imprimitive cases. In the latter case, a complete classification is achieved, and three known examples occur, namely: the complementary designs of $PG(3,2)$ and $PG(3,4)$, and the $2$-$(36,8,4)$ design constructed by Devillers and Praeger in [14]. In the point-primitive case, apart from the Witt-Bose-Shrikhande linear spaces of even order $q$, $48$ sporadic examples are classified. Surprisingly, one of these numerical examples is the linear space with $v=496$ and $k=4$ admitting $PΓL(2,2^{5})$ as a flag-transitive automorphism group, which was missing in the 1990 classification by Buekenhout et al. [7,36,12].

We prove that the maximal normalized surface measure of a spherical set in d dimensions avoiding solutions to x + y + z = 0 approaches 1/2 as d goes to infinity. This gives a partial answer to a question of Bukh, who conjectured 1/2 to be the optimal bound for all d >= 3.

We investigate metric dimension and the localization game for several families of directed analogues of strongly regular graphs and their generalizations, adapting a probabilistic method of Babai (1980) for bounding the size of resolving sets in undirected strongly regular graphs. We derive upper bounds on the localization number and metric dimension depending on the order of the graph and the maximum number of common out-neighbours for a pair of vertices. We consider normally regular digraphs, so-called "ordinary graphs", classes of Deza digraphs, divisible design digraphs, nearly doubly regular tournaments, and certain doubly regular team tournaments. In particular, for asymmetric normally regular digraphs on $n$ vertices, we show that these invariants are bounded above by $O(\sqrt{n} \log n)$, and improve this to $O(\log n)$ for a class of doubly regular team tournaments.

What is the maximum number of points one can place in an $n \times n$ grid such that every Euclidean line contains at most $k$ points? For $k = 2$, this is the notorious no-three-in-line problem of Dudeney. In this paper, we resolve this problem for all other $k$ (and sufficiently large $n$). Namely, for $k \geqslant 3$ and sufficiently large $n$, we show that this maximum is exactly $kn$. To prove this, our key observation is that in the regime $k \geqslant 3$, the problem is dominated in a certain statistical sense by the influence of a small number of "heavy" lines with many grid points. We apply a result of Ehard-Glock-Joos on pseudorandom hypergraph matchings to construct a set of size $kn - o(n)$ with at most $k$ points on each heavy line, and then a crude deletion argument yields a no-$(k+1)$-in-line set of nearly the same size. Finally, we use a randomised switching procedure to complete the construction (building upon ideas of Simkin and Luria). Using similar ideas, we also address the no-four-on-a-circle problem of Erdős and Purdy. Namely, we prove the existence of a set of $2n - o(n)$ points in the $n \times n$ grid such that no four of these points lie on a circle or a line, improving on the previous construction of size $n - o(n)$ due to Dong and Xu.

We prove that for every fixed integer $r\geq 2$ and every $\varepsilon>0$, every sufficiently large finite uncrowded $(r+1)$-uniform hypergraph of maximum degree $Δ$ has list chromatic number at most \[ (1+\varepsilon)\left(\frac{rΔ}{\logΔ}\right)^{1/r}. \] The proof is a semi-random list-coloring nibble carried out directly on the original hypergraph. We encode the remaining coloring problem by active edge-color constraints and control all residual sizes through a binomial degree bound. After the nibble reaches a sparse terminal state, the coloring is completed by a Rosenfeld-style counting argument.

Currently, among the open (unsolved) problems in number theory is the following: it is unknown what is the natural density of the sequence of Mersenne numbers in the set of natural numbers. In the paper, using methods of nonstandard mathematical analysis, we obtain the following equation: the natural density of Mersenne numbers (some infinitesimal value $e$) multiplied by the sum of the reciprocals of odd numbers (the infinitely large value ω = 1 + 1/3 + 1/5 + ...) is equal to 1, or the equality $e$ = 1/ω is true. In nonstandard analysis, the resulting infinitesimal numbers $e$ and 1/ω are considered equivalent. We obtained this result by working with a two-dimensional matrix of non-negative integers, where odd numbers are separated from even ones by the Pepis-Kalmar pairing function.

We present the first constant-amortized-time algorithms for generating all length-$n$ necklaces and Lyndon words over a $k$-letter alphabet in colexicographic order, for arbitrary $k\geq 2$. Our approach introduces a novel class of words called \emph{quasinecklaces}, which serve as an easily generated superset of necklaces through which all necklaces can be efficiently identified. We derive a formula for the number $Q_k(n)$ of length-$n$ quasinecklaces and show that $Q_k(n)$ is proportional to the number of length-$n$ necklaces, which is the key property needed to achieve constant amortized time. We also apply our results to efficiently generate a well-known de Bruijn sequence and efficiently generate necklaces and Lyndon words subject to a weight constraint.

We introduce the microscopic weighting, a canonical signed measure of mass one that can be associated to almost any finite metric space. The microscopic weighting is obtained as the small-scale limit of the weightings used to define the magnitude function. We give general criteria for its existence, proving in particular that every finite space of strictly negative type admits a microscopic weighting; this includes every finite subset of Euclidean or hyperbolic space and every finite tree. Heuristically speaking, the microscopic weighting distributes its mass as widely as possible across a space, assigning greater weight to sparse or outlying regions and emphasizing points on the boundary. Indeed, we show that on a finite space of negative type the microscopic weighting can be characterized (when it exists) as an optimizing measure for an energy integral determined by the distance function. Alternatively, it can be characterized in terms of the geometry of the Schoenberg embedding. Each of these interpretations also clarifies the information carried by the derivative of the magnitude function at zero. Though our main focus in this paper is on finite metric spaces, we lay the groundwork to extend the theory to compact subsets of Euclidean space. In that setting, we observe that the microscopic weighting must be understood as a distribution rather than as a measure.

Let $x$ be sufficiently large and \[ N(x)=\big|\bigl\{n\le x:n\ \text{is odd and }n\ne p+2^a+2^b \textrm{ with } p \text{ a prime and } a,b\in \mathbb{N}\bigr\}\big|. \] Motivated by Crocker's result \[ N(x)\gg \log\log x, \] Erd\H os repeatedly asked whether there is an absolute constant $c_0$ such that $N(x)>c_0x$. Pan \cite{Pan} proved in 2011 that \[ N(x)\gg x\exp\!\left( -C_0\frac{\log\log\log\log x}{\log\log\log x}\log x \right), \] where $C_0>0$ is an absolute constant. We improve on Pan's result by showing that, given any $η>0$, for all sufficiently large $x$, \[ N(x)\gg_ηx\exp\left(-(4+η)\frac{\log\log\log x}{\log\log x}\log x\right). \]

Let $G$ be a graph and let $\PF_t(G)$ denote the simplicial complex whose faces are vertex subsets whose induced subgraphs contain no path on $t$ vertices. These complexes encode a forbidden-subgraph condition as a family of allowed vertex subsets. In this paper, we study $t$-path-free complexes of complete multipartite graphs. Let \[ G=K_{n_1,\dots,n_m}, \qquad n_1\le\cdots\le n_m. \] We first obtain an explicit structural decomposition of $\PF_t(G)$ as a union of join complexes, together with an additional lower-dimensional size-truncation term. Using this decomposition, we show that for $t\le 2n_{m-1}-2$ the complex $\PF_t(G)$ is not sequentially Cohen-Macaulay, while for $t\ge 2 n_{m-1}-1$ it is vertex decomposable. Consequently, we obtain a complete characterization for complete multipartite graphs: $\PF_t(G)$ is vertex decomposable if and only if $t\ge 2n_{m-1}-1$. Equivalently, this is also exactly the range in which $\PF_t(G)$ is shellable and sequentially Cohen-Macaulay. We further analyze the topology via a Mayer-Vietoris spectral sequence: for complete bipartite graphs, we determine the full homotopy type as an explicit wedge of spheres in all cases.

We show that there exists a constant $δ> 0$ such that for any positive integer $n$ there exists a set of $n$ points $P \subset \mathbb{R}^2$ with the following property: for every subset $A \subseteq P$ of size $|A| \geq 2$, \[ \max_{λ>0} \#\{(a,b)\in A \times A: a\ne b,\ \lvert a-b\rvert=λ\} \gtrsim \frac{|A|^2}{n^{1-δ}}.\] Our result is a vertical amplification of a robust Ramanujan estimate recently established by Croot-Mao-Pohoata-Sheffer-Yip for arbitrary subsets of the ordinary square grid, and is inspired by recent constructions for the Erdős unit distance problem and the Elekes-Rónyai problem. Taking $A=P$, the inequality above gives a distance occurring $n^{1+δ}$ times in $P$; thereby a scaled copy of $P$ is a counterexample for the unit-distance conjecture. In addition, the same inequality shows that (1) all subsets of $P$ of size $\gtrsim n^{1-δ}$ must contain isosceles triangles, and (2) all subsets of $P$ of size $\gtrsim n^{1/2-δ}$ must contain repeated distances. These features give polynomially improved estimates for old problems of Erdős. The existence of a set satisfying property (1) confirms a conjecture of Erdős from 1980, whereas the existence of a set with property (2) answers a question of Conlon-Fox-Gasarch-Harris-Ulrich-Zbarsky in the negative.