math.CO ↗ arXiv
7121 papers in this category
No-$(k+1)$-in-line problem for $k \geqslant 3$
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.
The list coloring number of uncrowded hypergraphs
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.
Calculating the natural density of Mersenne numbers using nonstandard mathematical analysis
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.
Necklaces and Lyndon words in colexicographic order
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.
The microscopic weighting on a metric space
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.
An improved lower bound for odd integers not of the form $p+2^a+2^b$
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). \]
On a complete characterization of path-free complexes associated with complete multipartite graphs
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.
The Minkowski grid has robustly many repeated distances
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.
The last distribution-equivalence class of mesh patterns of length 2
We prove the remaining conjectural distribution-equivalence of mesh patterns of length 2 from 2019. This completes the classification of distribution-equivalence and Wilf-equivalence classes for mesh patterns of length 2. Consequently the numbers of such classes are 105 and 46, respectively. We approach this by constructing a marked occurrence bijection, in the spirit of the cluster method for consecutive patterns.
Sequential cable constructions and linear rank-width
We introduce split-free cable terms and cable plays, a sequential graph-construction language whose live cables impose uniform GF(2)-row behaviour across the current cut. Every play of width w gives a birth-order layout whose cutrank is at most half of w, rounded down, so the sequential split-free width is at least twice the linear rank-width. At the first nontrivial level we prove an exact characterization: a connected graph with at least two vertices has linear rank-width at most one exactly when it admits a stream, equivalently a singleton-birth play of width at most four. We show that unrestricted term width and sequential width differ unboundedly on trees, calibrate the construction on the net graph, and formulate an affine upper-bound conjecture relating sequential split-free width to linear rank-width. For the rank-two case we prove a two-accumulator scheduling criterion that yields width-six plays under a natural future-uniformity hypothesis.
A Stretched-Exponential Bound for an Erdos--Graham Unit-Fraction Problem
For a finite multiset $A$ of positive integers, write $\mathcal{R}(A)=\sum_{a\in A}a^{-1}$ and let $\varepsilon(A)$ be the distance from $1$ to the largest reciprocal subsum of $A$ that does not exceed $1$. Erdős and Graham proved that $\varepsilon(A)\ll K^{-2}$ whenever $\mathcal{R}(A)>K$, and asked whether one always has $\varepsilon(A)\leq \exp(-cK)$ for an absolute constant $c>0$. We prove the stretched-exponential estimate $$ \varepsilon(A)\leq \exp\bigl(-c\sqrt{K\log K}\bigr) $$ for all sufficiently large $K$.
The Complexity of Weak Saturation for Complete graphs and Balanced Complete Bipartite Graphs
For graphs $F$ and $H$, a spanning subgraph $G$ of $F$ is weakly $H$-saturated in $F$ if the edges in $E(F)\setminus E(G)$ can be added one at a time, each addition creating a new copy of $H$. Recently, Tancer and Tyomkyn proved that, given an $n$-vertex graph $F$, deciding whether $\mathrm{wsat}(F,K_3)=n-1$ is NP-hard. In this paper, we study the decision version of the weak saturation problem and show that, for every fixed integer $r\ge 3$, given a graph $F$ and an integer $k$, deciding whether $\mathrm{wsat}(F,H)\le k$ is NP-complete when $H\in\{K_r,K_{r,r}\}$. Our approach uses new graph-theoretic and topological ideas and techniques, yielding new constructions that build on the construction of Tancer and Tyomkyn. In particular, our proofs further reveal a connection between weak saturation and the flag-no-square property, a fundamental property in topology that is of independent interest.
Uniform mixing and $ε$-uniform mixing on cycles
We study continuous-time quantum walks on cycles. We prove two complementary results. Firstly, the cycle $C_9$ does not admit uniform mixing at any time. Using the similar idea and Dickson polynomials, we prove that $C_{15}$ does not admit uniform mixing at any time neither. Secondly, for every prime $p$, we show that the cycle $C_{p^2}$ admits $ε$-uniform mixing.
Log-concavity and log-convexity in the theory of the Graham--Knuth--Patashnik recurrences
We study the triangular array $T(n,k;μ)$ defined by the Graham--Knuth--Patashnik recurrences $$ T(n,k) \;=\; (αn + βk + γ) \, T(n-1,k) +
(α' n + β' k + γ') \, T(n-1,k-1) $$ with initial condition $T(0,k)=δ_{k,0}$ and parameters $μ=(α,β,γ,α',β',γ')$, which are considered to be indeterminates. We first prove that, for any fixed $n\ge 0$, the sequence $(T(n,k;μ))_{k\ge 0}$ is strongly log-concave with the coefficientwise partial order in the variables $α,β,γ,α',β',γ'$. Moreover, we show that the sequence of the corresponding row-generating polynomials $(P_n(x;μ))_{n\ge 0}$ is strongly log-convex with the coefficientwise partial order in the variables $x$ and $α,β,γ,α',β',γ'$. Finally, we show that this sequence is coefficientwise Hankel-totally positive of order 2 with the same partial order.
Ordered alternating paths and the depth of symbolic powers of cover ideals of graphs
Let $G$ be a simple graph with cover ideal $J(G)$ in a polynomial ring $S$ in $|V(G)|$ variables. For a matching $M$ of $G$, we denote by $\ell(M)$ the length of the longest $M$-alternating path in $G$. We define $α_t(G)$ to be the maximum size of an ordered matching $M$ of $G$ such that $\ell(M) \le 2t-1$. We then prove that $$\operatorname{depth}(S/J(G)^{(t)}) \le |V(G)| - 1 - α_t(G)$$ for all $t \ge 1$, where $J(G)^{(t)}$ denotes the $t$-th symbolic power of $J(G)$, and that equality holds when $G$ is a forest.
Chromatic Completeness and the Independence of Geometric Obstruction
We establish a strict logical separation between two distinct phenomena in orthogonality hypergraphs: chromatic completeness, the possibility of assigning a single globally consistent nondegenerate spectrum to all contexts, and geometric coordinatizability, the existence of a faithful orthogonal representation by rays. A strong chromatic number larger than the Hilbert-space dimension obstructs only the former. It does not, by itself, obstruct the existence of a faithful orthogonal representation. We make this separation explicit by comparing two three-dimensional examples with the same strong chromatic number. A completed 25-ray version of the Yu-Oh configuration has strong chromatic number four and nevertheless possesses an explicit faithful orthogonal representation in R^3. Conversely, Greechie's G_{32} hypergraph also has strong chromatic number four, and has a separating and unital set of two-valued states, but we give an elementary algebraic proof that it admits no faithful orthogonal representation in C^3. The obstruction in G_{32} is therefore not chromatic but projective-geometric: the incidence relations force two distinct atoms to collapse onto the same ray.
On the structure of dense graphs with given odd girth
A classical theorem of Andrásfai, Erdős, and Sós states that every $n$-vertex graph $G$ with odd girth at least $2k+1$ and minimum degree $δ(G)>\frac{2n}{2k+1}$ is bipartite (i.e., homomorphic to $K_2$). Messuti and Schacht proved that the same odd girth condition with $δ(G)>\frac{3n}{4k}$ forces a homomorphism to $C_{2k+1}$.
In this paper, we strengthen the above results by showing that every $n$-vertex graph $G$ with odd girth at least $2k+1$ and minimum degree $δ(G)>\frac{4n}{6k-1}$ is homomorphic to the Möbius ladder on $4k$ vertices. This answers a question of Messuti and Schacht and generalizes a result of Brandt and Ribe-Baumann.
Connected graphs with a large dissociation numberattaining the minimum spectral radius
A dissociation set in a graph is a subset of vertices that induces a subgraph of maximum degree at most one, which is a natural generalization of the notion of an independent set. The dissociation number of a graph is defined as the maximum cardinality of a dissociation set. This paper studies the minimum spectral radius of connected graphs with a given order $n$ and a given dissociation number $ψ$. For $ψ=n-k$ with $k\ge 4$ fixed and $n$ sufficiently large, we establish both upper and lower bounds for this minimum spectral radius and prove the extremal graphs must belong to a specific graph class.
Strong Subgraph-Count Stability in $C_{2\ell+1}$-Free Graphs
Starting from the stability theorem of Erdős and Simonovits, stability problems for graphs forbidding a fixed subgraph have been studied in terms of edge numbers, spectral radii and subgraph counts. Let $\mathcal{N}(F,G)$ denote the number of unlabeled copies of $F$ in $G$. It is known that, for every fixed path $P_t$ and even cycle $C_{2a}$, the maximum number of copies in an $n$-vertex $C_{2\ell+1}$-free graph is attained by the bipartite Turán graph $T_{n,2}$.
In this paper we obtain strong structural stability for $C_{2\ell+1}$-free graphs in terms of copies of paths and even cycles. For fixed $\ell\ge2$ and $3\le r\le2\ell-1$, we show that if an $n$-vertex $C_{2\ell+1}$-free graph contains at least as many copies of $P_t$ or $C_{2a}$ as the corresponding suspended extremal construction, then it has the corresponding suspension structure. This gives exact high-chromatic extremal theorems for paths and even cycles.
We also prove a counting theorem for nearly complete bipartite graphs. It shows that, for every fixed matching-admissible connected bipartite graph $F$, both imbalance between the two parts and missing cross-edges decrease the number of copies of $F$ by a term with a specified main coefficient. This theorem is independent of the forbidden odd cycle and converts subgraph-count assumptions into the edge bounds needed for the structural theorem.
Counting even cycles and even paths with bounded circumference
For an integer $L$, write $C_{\ge L}$ for the family of cycles of length at least $L$. For $L=2a$ let $H(n,L)=K_a+\overline K_{n-a}$, and for $L=2a+1$ let $H(n,L)$ be obtained from $K_a+\overline K_{n-a}$ by adding one edge inside the independent part. We prove sharp results for two even target graphs, namely even cycles $C_{2s}$ and even paths $P_{2r+1}$. For even cycles, with $s\ge3$ and $L\ge2s$, we have \[
\mathrm{ex}(n,C_{2s},C_{\ge L+1})=C_{2s}(H(n,L)) \] for all sufficiently large $n$. Together with the known $C_4$ case of Zhu, Győri, He, Lv, Salia and Xiao~[Bull. Lond. Math. Soc. 55 (2023)], this verifies the even-cycle case of their conjecture on $\mathrm{ex}(n,C_k,C_{\ge L+1})$. For even paths, with $r\ge2$ and $L\ge2r$, we have \[
\mathrm{ex}(n,P_{2r+1},C_{\ge L+1})=N(P_{2r+1},H(n,L)) \] for all sufficiently large $n$. We also derive the corresponding exact results when the forbidden graph is a path $P_{p+1}$, sharpening the relevant even-cycle and even-path asymptotic results of Győri, Salia, Tompkins and Zamora~[Discrete Math. Theor. Comput. Sci. 21 no. 1 (2019)].