Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Subdividing simplicial virtual resolutions with homology
While sporadic examples of virtual resolutions with homology have been constructed, their occurrence is not well understood or controlled. Our results build a new set of tools for studying virtual resolutions of monomial ideals as arising from simplicial complexes, including characterizing them by the acyclicity of certain induced subcomplexes. Using this characterization, we give a description of minimal simplicial complexes supporting virtual resolutions as well as a technique for removing homology from simplicial virtual resolutions.
Uniformly balanced $H$-factors in multicoloured complete graphs
A balanced colouring of a graph is one in which every colour appears the same number of times. Given a fixed graph $H$ on $r$ vertices and a balanced $k$-colouring of the complete graph $K_{nrk}$, Hollom (2025) asked the following question: can we always find an $H$-factor $F$ covering all vertices of the complete graph $K_{nrk}$ such that the inherited colouring of $F$ is almost balanced? This is known to be the case for palettes of only two colours, or when $H$ is only a single edge. We answer the above question in full, finding an $H$-factor which is at most $C_{r,k}$ edges away from being balanced, where $C_{r,k}$ depends only on $r$ and $k$. In fact, we work in the more general setting wherein our palette of colours is a subset of $\mathbb{S}^{d-1}$, and find an $H$-factor where the sum of the colours of all edges has bounded Euclidean norm.
Geometry of in-in correlators
We introduce a family of polytopes -- in-in zonotopes -- whose boundary structure organizes the contributions to scalar equal-time correlators in flat space computed via the in-in formalism. We provide explicit Minkowski sum and facet descriptions of these polytopes, and show that their boundaries factorize into products of graphical zonotopes and lower-dimensional in-in zonotopes, thereby mimicking the factorization structure of the correlators themselves. Evaluating their canonical forms at the origin -- equivalently, calculating the volume of the dual polytope -- reproduces the correlator. Finally, in a simple example, we show that the wavefunction decomposition of the correlator corresponds to a subdivision of the dual polytope.
On the Number of Almost Empty Monochromatic Triangles
In this paper, we consider the problem of counting almost empty monochromatic triangles in colored planar point sets, that is, triangles whose vertices are all assigned the same color and that contain only a few interior points. Specifically, we show that any $c$-coloring of a set of $n$ points in the plane in general position (that is, no three on a line) contains $Ω(n^2)$ monochromatic triangles with at most $c-1$ interior points and $Ω(n^{\frac{4}{3}})$ monochromatic triangles with at most $c-2$ interior points, for any fixed $c \geq 2$. The latter, in particular, generalizes the result of Pach and Tóth (2013) on the number of monochromatic empty triangles in 2-colored point sets, to the setting of multiple colors and monochromatic triangles with a few interior points. We also derive the limiting value of the expected number of triangles with $s$ interior points in random point sets, for any integer $s \geq 0$. As a result, we obtain the expected number of monochromatic triangles with at most $s$ interior points in random colorings of random point sets.
Sedentary quantum walks on bipartite graphs
If a quantum walk starting on a vertex tends to stay at home, then that vertex is said to be sedentary. We prove that almost all planar graphs and almost all trees contain at least two sedentary vertices for any assignment of edge weights -- a result that suggests vertex sedentariness is a common phenomenon in trees and planar graphs. For weighted bipartite graphs, we show that a vertex is not sedentary whenever 0 does not belong to its eigenvalue support. Consequently, each vertex in a nonsingular weighted bipartite graph is not sedentary, a stark contrast to weighted trees and weighted planar graphs. A corollary of this result is that every vertex in a bipartite graph with a unique perfect matching is not sedentary for any assignment of edge weights. We also construct new families of weighted bipartite graphs with sedentary vertices using the bipartite double and subdivision operations. Finally, we show that unweighted paths and unweighted even cycles contain no sedentary vertices.
Edge Inversions in $(P_k)$-closed Groups
We construct $(P_2)$-closed groups acting on $T_3$ in which all edge inversions have infinite order. This provides a negative answer to a question posed by Tornier. We also construct a family of $(P_2)$-closed groups for which the smallest order of an edge inversion is an arbitrarily high finite number.
Asymptotic number of edge-colored regular graphs
We prove a formula for the asymptotic number of edge-colored regular graphs with a prescribed set of allowed vertex-incidence structures. The formula depends on specific critical points of a polynomial encoding the vertex-incidences. As an application, we compute the expected number of proper $c$-edge-colorings of a large random $k$-regular graph.
$G_δ$ Circle Squaring
We show that a circle and square of the same area in $\mathbb{R}^2$ are equidecomposable by translations using $\mathbfΔ^0_2$ pieces. That is, pieces which are simultaneously $F_σ$ and $G_δ$ sets. This improves a result of Máthé-Noel-Pikhurko and is the best possible complexity in terms of the Borel hierarchy. More generally we show that bounded sets $A,B \subseteq \mathbb{R}^n$ with small enough boundaries and the same nonzero Lebesgue measure are equidecomposable with pieces that are countable unions of finite Boolean combinations of translates of $A,B$, and open sets. The improvement comes from constructions of low complexity toasts and related objects which should be independently useful within Borel combinatorics.
The arc chromatic number for Galois projective planes, affine planes and Euclidean grids
We establish that the minimum number of arcs required to partition the Galois projective plane $\text{PG}(2,q)$ is $q+1$. Furthermore, we determine the exact value for a fractional variant of this problem.
We extend our analysis to affine planes $\text{AG}(2,q)$, proving that they can be partitioned into $q$ arcs. In particular, we show that this partition is tight when $q$ is an odd prime power, and that a $(q-1)$-partition is attainable for $q=2^k$ with $k \in \{1,2,3\}$. For $q=2^k$ with $k \geq 4$, we provide bounds between two possible values.
Finally, we apply these results to Euclidean grids, demonstrating that a partition into $(1+ε)n$ sets in general position exists for any $ε> 0$ and sufficiently large $n$. We also present exact minimal partitions for small Euclidean grids.
Signless Laplacian spectral conditions: Forbidden $4$-cycle and star embeddings
The signless Laplacian spectral radius has emerged as a crucial spectral parameter in network science. This paper establishes new extremal results in spectral graph theory by investigating the signless Laplacian spectral radius ($Q$-index) of graphs with forbidden subgraphs. We present a $Q$-spectral analog of classical Nosal-type theorems, providing sharp conditions that guarantee the existence of either a $4$-cycle or a large star $K_{1,m-k}$ in a graph. The main theorem states that for integers $k \geq 0$ and graphs $G$ with size $m \geq \max\{7k+31, k^2+8(k+1)\}$, if $q(G) \geq q(S^+_{m,k+1})$, then $G$ must contain a $4$-cycle or $K_{1,m-k}$, unless $G$ is isomorphic to the extremal graph $S^+_{m,k+1}$ formed by adding $k+1$ independent edges to the star $K_{1,m-k-1}$. This result refines previous work on star embeddings by Wang and Guo [Journal of Algebraic Combinatorics, 59 (2024) 213--224], and completes the $Q$-spectral counterpart to Wang's adjacency spectral theorem for $4$-cycle containment [Discrete Math., 345 (2022) 112973]. Our analysis reveals new insights into how signless Laplacian eigenvalues encode graph structure, with tight bounds demonstrated through explicit extremal graph constructions and asymptotic analysis.
Transversal and Hamiltonicity in a bipartite graph collection
Let $\mathbf{G}=\{G_1,\dots,G_{2n-1}\}$ be a collection of $2n-1$ bipartite graphs on the same bipartition $V=(X,Y)$ with $|X|=|Y|=n$. For a path $P$ with $V(P)=V$ and $|E(P)|=2n-1$, if there exists an injection $φ$: $E(P)\rightarrow [2n-1]$ such that $e\in E(G_{φ(e)})$ for each $e\in E(P)$, then we say that $P$ is a $\mathbf{G}$-transversal isomorphic to a Hamiltonian path. A bipartite graph collection $\mathbf{G}$ is called Hamiltonian connected if for any two vertices $x\in X$ and $y\in Y$, there exists a $\mathbf{G}$-transversal isomorphic to a Hamiltonian path between $x$ and $y$. In this paper, we give the minimum degree conditions to ensure the existence of a $\mathbf{G}$-transversal isomorphic to a Hamiltonian path and the Hamiltonian connectivity of $\mathbf{G}$, which improve the results of [Hu, Li, Li and Xu, Discrete Math., 2024.]
Topological traps in evolutionary games
How cooperation originates and persists among self-interested individuals is a central question in the social and behavioural sciences. In the canonical two-dimensional spatial Prisoner's Dilemma with unconditional imitation introduced by Nowak and May (1992), simulations on a Moore lattice show an abrupt drop in cooperation near the temptation $T\approx5/3$, yet even under these harsh conditions cooperative structures can still arise. However, the nucleation rates of these motifs, and their contribution along the full cooperation curve had not been quantified. Here we show, using large-scale Monte Carlo simulations combined with automatic cluster classification, that on the Moore lattice for $T\ge5/3$ residual cooperation is sustained exclusively by $3\times3$ (or larger) rectangular cooperator bricks, whereas on degree-8 random-regular graphs for $T\gtrsim1.5$ it is dominated by star-like motifs (1 hub + 8 leaves). Once the dynamics becomes nucleation limited, the macroscopic cooperation level is therefore governed by the statistics of a few exceptionally resilient shapes, rather than by many different cooperator motifs. Furthermore, we show that the lattice cooperation collapse near $T=5/3$ is kinetic rather than critical: the reduction in cooperation is not due to a loss of growth capacity of rectangular bricks, but to the progressive destabilisation of the subcritical motifs that dominate just below this threshold. Our results show that residual cooperation at high temptation is a rare-event nucleation phenomenon governed by a small set of topological traps, and highlight the value of motif-level analysis for explaining and engineering cooperation in spatial, social, and technological networks.
On asymptotically tight bounds for the open conflict-free chromatic indexes of nearly regular graphs
An edge colouring $c$ of a graph $G$ is called conflic-free if every non-isolated edge of $G$ has a uniquely coloured neighbour in its open edge neighbourhood. The least number of colours admitting such a colouring is denoted by $χ'_{\rm OCF}(G)$, or $χ'_{\rm pOCF}(G)$ if we additionally require $c$ to be proper.
Our main result implies in particular that $χ'_{\rm OCF}(G) \le \log_2 Δ+ O(\ln\lnΔ)$ for nearly regular graphs $G$ with maximum degree $Δ$, which is asymptotically optimal, as witnessed by the complete graphs. For proper colourings, we moreover show that $χ'_{\rm pOCF}(G) \le Δ+ O(\ln Δ)$ in the same regime. These results improve existing bounds stemming from related colouring models and transfer directly to random graphs' setting.
The proofs combine decomposition techniques with probabilistic arguments and structural properties of edge neighbourhoods.
On Lines Crossing Pairwise Intersecting Convex Sets in Three Dimensions
The 1913 Helly's theorem states that any family ${\cal K}$ of $n\geq d+1$ convex sets in ${\mathbb R}^d$ can be pierced by a single point if and only if any $d+1$ of ${\cal K}$'s elements can. In 2002 Alon, Kalai, Matoušek and Meshulam ruled out the possibility of similar criteria for the existence of lines crossing multiple convex sets in dimension $d\geq 3$ -- for any $k\geq 3$, they described arbitrary large families ${\cal K}$ of convex sets in ${\mathbb R}^3$ so that any $k$ elements of ${\cal K}$ can be crossed by a line yet no $k+4$ of them can.
Let ${\cal K}$ be a family of $n$ pairwise intersecting convex sets in ${\mathbb R}^3$. We show that there exists a line crossing $Θ(n)$ elements of ${\cal K}$. This resolves the most extensively studied variant of a problem by Martínez, Roldán-Pensado and Rubin (Discrete Comput. Geom. 2020) which was highlighted by Bárány and Kalai (Bull. Amer. Math. Soc. 2021). Our result adds to the very few sufficient (and non-trivial) conditions that have been known for the existence of line transversals to large families of convex sets.
Our argument is based on a Ramsey-type result of independent interest for families of pairwise intersecting convex sets in ${\mathbb R}^2$, and the structure of line arrangements in ${\mathbb R}^3$.
Rigidity-Induced Scaling Laws in Unit Distance Graphs: The Algebraic Collapse of Dense Substructures
We revisit the classical Unit Distance Problem posed by Erdős in 1946. While the upper bound of $O(n^{4/3})$ established by Spencer, Szemer'edi, and Trotter (1984) is tight for systems of pseudo-circles, it fails to account for the algebraic rigidity inherent to the Euclidean metric. By integrating structural rigidity decomposition with the theory of Cayley-Menger varieties, we demonstrate that unit distance graphs exceeding a critical density must contain rigid bipartite subgraphs. We prove a "Flatness Lemma," supported by symbolic computation of the elimination ideal, showing that the configuration variety of a unit-distance $K_{3,3}$ (and by extension $K_{4,4}$) in $\mathbb{R}^2$ is algebraically singular and collapses to a lower-dimensional locus. This dimensional reduction precludes the existence of the amorphous, high-incidence structures required to sustain the $n^{4/3}$ scaling, effectively improving the upper bound for non-degenerate Euclidean configurations.
Markov chains of $Z$-oriented triangulations of surfaces
We consider triangulations of closed $2$-dimensional (not necessarily orientable) surfaces. Any minimal set of zigzags that double covers the set of edges provides a $z$-orientation of the triangulation. We introduce Markov chains of $z$-oriented triangulations. Our main result is a characterization of their ergodicity. This topic is closely connected to coloring of Eulerian triangulations.
Generalizing Eulerian Numbers via Semipermutations: Topological and Combinatorial Aspects
In a paper by Lin an interesting family of semipermutations comes out to index the elements of a cohomology basis of a Hessenberg type variety. The corresponding Betti numbers are a generalization of Eulerian numbers. We show three different subsets of the symmetric group that are in bijection with the set of these semipermutations. These bijections preserve the statistics lec and des: one of these is obtained by an algebraic-topological argument, the others are explicitly described in combinatorial terms.
On the area-depth symmetry on Łukasiewicz paths
In an effort to further understanding $q,t$-Catalan statistics, a new statistic on Dyck paths called $\mathtt{depth}$ was proposed in Pappe, Paul and Schilling (2022) and was shown to be jointly equi-distributed with the well-known $\mathtt{area}$ statistics. In a recent preprint, Qu and Zhang (2025) generalized $\mathtt{depth}$ to so-called ``$\vec{k}$-Dyck paths''. They showed that $\mathtt{area}$ and $\mathtt{depth}$ are also jointly equi-distributed over such paths with a fixed multiset of up-steps and a given first up-step, and they conjectured that the same holds when also fixing the last up-step. In this short note, we settle this conjecture on the more general context of Łukasiewicz paths by interpreting $\mathtt{area}$ and $\mathtt{depth}$ under the classical bijection between Łukasiewicz paths and plane trees, through which the symmetry is transparent.
Flow-based Extremal Mathematical Structure Discovery
The discovery of extremal structures in mathematics requires navigating vast and nonconvex landscapes where analytical methods offer little guidance and brute-force search becomes intractable. We introduce FlowBoost, a closed-loop generative framework that learns to discover rare and extremal geometric structures by combining three components: (i) a geometry-aware conditional flow-matching model that learns to sample high-quality configurations, (ii) reward-guided policy optimization with action exploration that directly optimizes the generation process toward the objective while maintaining diversity, and (iii) stochastic local search for both training-data generation and final refinement. Unlike prior open-loop approaches, such as PatternBoost that retrains on filtered discrete samples, or AlphaEvolve which relies on frozen Large Language Models (LLMs) as evolutionary mutation operators, FlowBoost enforces geometric feasibility during sampling, and propagates reward signal directly into the generative model, closing the optimization loop and requiring much smaller training sets and shorter training times, and reducing the required outer-loop iterations by orders of magnitude, while eliminating dependence on LLMs. We demonstrate the framework on four geometric optimization problems: sphere packing in hypercubes, circle packing maximizing sum of radii, the Heilbronn triangle problem, and star discrepancy minimization. In several cases, FlowBoost discovers configurations that match or exceed the best known results. For circle packings, we improve the best known lower bounds, surpassing the LLM-based system AlphaEvolve while using substantially fewer computational resources.
The size of $k$-th order generalized Fibonacci cubes
Let $k\geq2$. Then the $k$-th order Fibonacci cube $Γ^{(k)}_{n}$ is the subgraph of the hypercube $Q_{n}$ induced by vertices without $k$ consecutive $1$s. The case $k=2$ corresponds to the classic Fibonacci cube $Γ_{n}$. There are three kinds of calculation formulas of the size of $Γ_{n}$: the iteration form $|E(Γ_{n})|=|E(Γ_{n-1})|+|E(Γ_{n-2})|+F_{n}$ (Hsu, 1993), %iteration form the convolution form $|E(Γ_{n})|=\mathop{\sum}\limits_{i=1}^{n}F_{i}F_{n-i+1}$ (Klavžar, 2005) %convolution form and the linear form $|E(Γ_{n})|=\frac{nF_{n+1}+2(n+1)F_{n}}{5}$ (Munarini et al., 2001). %linear form Belbachir and Ould-Mohamed (2020) studied the iteration and convolution formulas of the size of $Γ^{(3)}_{n}$. Very recently, Mollard (2025) deduced the iteration formula of the size of $Γ^{(k)}_{n}$ for $k\geq2$. In this paper, we give the the formulas of convolution and linear forms of $|E(Γ^{(k)}_{n})|$ for all $k\geq2$. Specifically, we obtain the formula of $|E(Γ^{(k)}_{n})|$ in terms of convolved $k$-th order Fibonacci numbers and the formula of $|E(Γ^{(k)}_{n})|$ of linear expression of $k$ consecutive $k$-th order Fibonacci numbers.