Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.32789

Triangle-Free Sets in Exact-Distance Hamming Graphs

Bence Csajbók·Padmini Mukkamala·Zoltán Lóránt Nagy
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $T_q(n,r)$ be the largest size of a vertex set inducing a triangle-free subgraph of the graph on $[q]^n$ whose edges join words at Hamming distance $r$. We study this quantity for fixed alphabet size and fixed distance, with particular emphasis on the ternary cube. Alphabet restriction transfers the binary fixed-distance theorem of Balogh, Chen, and Li to give $T_q(n,2h)=O_h(q^n/n^h)$. We extend the known distance-one formula and distance-two order to arbitrary integer alphabet sizes, obtaining $T_q(n,1)=2q^{n-1}$ and $T_q(n,2)=Θ_q(q^n/n)$, and establish $T_3(n,4)=Θ(3^n/n^2)$. For general fixed distance, we prove \[ T_q(n,r)=Ω_{q,r}\!\left( \frac{q^n\sqrt{\log n}}{n^{(r+\lfloor r/2\rfloor)/2}} \right)\qquad(q\ge3), \] while we show that $T_q(n,r)=Ω_{q,r}(q^n/n^{\lfloor(q-1)r/q\rfloor})$ holds for prime-power $q$ and $r\ge2$ via the extended BCH parity-check constructions. At distance three, we construct coordinate weights avoiding bounded-coefficient three-term relations and obtain \[ T_q(n,3)\ge q^n/[n\exp(O_q(\sqrt{\log n}))]. \] Our main ternary construction combines cap partitions, multicolor triangle Ramsey colorings, and a quadratic map to obtain \[ T_3(n,3)=Ω\!\left( \frac{\log\log n}{\log n}\,3^n\right). \] A coordinate-line counting argument gives the complementary upper bound $T_3(n,3)\le(5/27+O(n^{-1}))3^n$, together with an explicit bound for every fixed $q\ge3$. Whether the ternary density tends to zero remains open.

Explore related subjects

math.CO

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Bence Csajbók, Padmini Mukkamala, Zoltán Lóránt Nagy. 2026-10-23. Triangle-Free Sets in Exact-Distance Hamming Graphs. https://arxiv.org/abs/2610.32789

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

The evolution of random subgraphs of the permutahedron

In their seminal paper introducing the theory of random graphs, Erdős and Rényi considered the evolution of the structure of a random subgraph of $K_n$ as the density increases from $0$ to $1$, identifying two key points in this evolution -- the percolation threshold, where the order of the largest component seemingly jumps from logarithmic to linear in size, and the connectivity threshold, where the subgraph becomes connected. Similar phenomena have been observed in many other random graph models, and in particular, works of Ajtai, Komlós and Szemerédi and of Erdős and Spencer determine corresponding thresholds for random subgraphs of the hypercube. The permutahedron, like the hypercube, has many equivalent representations, and arises as a natural object of study in many areas of combinatorics. In particular, as a highly-symmetric simple polytope, like the $n$-simplex and $n$-cube, percolation on the permutahedron arises naturally as an analogue to the Erdős-Rényi random graph and the percolated hypercube. We determine the percolation threshold and the connectivity threshold for random subgraphs of the permutahedron. Along the way we develop a novel graph exploration technique which can be used to find exponentially large clusters after percolation in high-dimensional geometric graphs, and we initiate the study of the isoperimetric properties of the permutahedron.

math.CO↗
arXiv2026

Chromatic Ramsey numbers and two-color Turán densities

Given a graph $G$, its $2$-color Turán number $\mathrm{ex}^{(2)}(n,G)$ is the maximum number of edges in an $n$-vertex graph, such that the edges can be colored with two colors avoiding a monochromatic copy of $G$. Let $π^{(2)}(G)=\lim_{n\to\infty}\mathrm{ex}^{(2)}(n,G)/\binom{n}{2}$ be the $2$-color Turán density of $G$. What real numbers in the interval $(0,1)$ are realized as the $2$-color Turán density of some graph? It is known that $π^{(2)}(G)=1-(R_χ(G)-1)^{-1}$, where $R_χ(G)$ is the chromatic Ramsey number of $G$. Burr, Erdős, and Lovász showed that $(k-1)^2+1\leq{R_χ(G)}\leq{R(k)}$, for any $k$-chromatic graph $G$, where $R(k)$ is the classical Ramsey number. However, it is an open problem to determine how many distinct values between $(k-1)^{2}+1$ and $R(k)$ can be realized as $R_χ(G)$ of some $k$-chromatic graph $G$ for general $k$. In this paper, among others, we prove that there are $Ω(k)$ different values of $R_χ(G)$ among $k$-chromatic graphs $G$. This sheds more light onto the possible $2$-color Turán densities of graphs.

math.CO↗
arXiv2026

Subset selection problems in planar point sets

Given a finite point set satisfying condition $\mathcal{A}$, the subset selection problem asks, how large of a subset satisfying condition $\mathcal{B}$ can be extracted? In this paper, we make progress on three instances of subset selection problems in planar point sets. Let $n,s\in\mathbb{N}$ with $n\geq s$, and let $P\subseteq\mathbb{R}^2$ be a set of $n$ points, where at most $s$ points lie on the same line. Firstly, we select a general position subset of $P$. This problem was proposed by Erdős under the regime when $s$ is a constant. For $s$ being non-constant, we give new lower and upper bounds on the maximum size of such a subset. In particular, we show that in the worst case such a set can have size at most $O(n^{5/6+o(1)}/\sqrt{s})$ when $3\leq s\leq n^{1/3}$ and $O(n/s)$ when $n^{1/3}\leq s\leq n$. Secondly, we select a monotone general position subset of $P$, that is, a subset in general position where the points are ordered from left to right and their $y$-coordinates are either non-decreasing or non-increasing. We present bounds on the maximum size of such a subset. In particular, when $s=Ω(\sqrt{n})$, our upper and lower bounds differ at most by a logarithmic factor. Lastly, we select a subset of $P$ with pairwise distinct slopes. This problem was initially studied by Erdős, Graham, Ruzsa, and Taylor on the grid. We show that for $s=O(\sqrt{n})$ such a subset of size $Ω((n/\log{s})^{1/3})$ can always be found in $P$. When $s=Θ(\sqrt{n})$, this matches a lower bound given by Zhang on the grid. As for the upper bound, we show that in the worst case such a subset has size at most $O(\sqrt{n})$ for $2\leq s\leq n^{3/8}$ and $O((n/s)^{4/5})$ for $n^{3/8}\leq s=O(\sqrt{n})$. The proofs use a wide range of tools such as incidence geometry, probabilistic methods, the hypergraph container method, and additive combinatorics.

math.CO↗