contain ↗ reference
7689 papers tagged with this keyword
On the Guy-Kelly Conjecture for the No-Three-In-Line Problem
We provide details of the error Gabor Ellmann found in 2004 in a heuristic argument of Guy and Kelly on this problem. This led to a correction of their conjectured upper bound for the no-three-in-line problem. However, details of the issue and its correction, including the actual location of the issue, while simple, do not seem to have appeared in the literature previously. That said, very recent work of Prellberg [5] does contain a derivation of the corrected conjectured upper bound.
Most probably trangle-free graphs
The celebrated Mantel's theorem states that any triangle-free graph on $n$ vertices contains at most $\left\lfloor n^2/4\right\rfloor$ edges. It is natural to ask how many triangles must exist in a graph with more than $\left\lfloor n^2/4\right\rfloor$ edges--a problem known as the Erdős-Rademacher problem. In this paper, we propose a probabilistic variant of this classic problem. Specifically, given an $n$-vertex graph $G$ with $\left\lfloor n^2/4\right\rfloor+i$ ($i>0$) edges, we choose the edges of $G$ independently with probability $p$, and the resulting new graph is triangle-free with a certain probability. Our goal is to maximize this probability by choosing $G$ appropriately. For the case where $G$ has $ \left\lfloor n^2/4\right\rfloor +1$ edges, we determine the exact maximum probability.
Largest Sidon subsets in weak Sidon sets
A finite set $ S \subset \mathbb{R} $ is called a Sidon set if all sums $ x+y $ with $ x,y \in S $ and $ x \le y $ are distinct, and a weak Sidon set if all sums $ x+y $ with $ x,y \in S $ and $ x < y $ are distinct. For a finite set $ A \subset \mathbb{R} $, let $ h(A) $ denote the maximum size of a Sidon subset of $ A $, and define $$ g(n) := \min\{\, h(A) : A \subset \mathbb{R},\ |A| = n,\ A \text{ is a weak Sidon set} \,\}. $$ Sárközy and Sós asked whether the limit $ \lim_{n\to\infty} g(n)/n $ exists and, if so, to determine its value. We resolve this problem completely by determining $g(n)$ exactly: $$ g(n)=\left\lceil \frac{n+1}{2}\right\rceil \qquad\text{for all } n\ge 1. $$ In particular, $\lim_{n\to\infty} g(n)/n=\frac12$.
We also investigate a related problem of Erdős concerning a local difference condition. A finite set $ A \subset \mathbb{R} $ is called a $(4,5)$-set if every $4$-element subset of $A$ determines at least five distinct values among its six pairwise absolute differences. Erdős asked for the optimal constant $ c_* > 0 $ such that every $(4,5)$-set of size $ n $ contains a Sidon subset of size at least $ c_* n $. Gyárfás and Lehel reduced this to an extremal problem of $3$-uniform hypergraphs and proved $\frac{1}{2} + \frac{1}{141 \cdot 76} \le c_* \le \frac{3}{5}$. We improve both bounds by establishing $$ \frac{9}{17} \le c_* \le \frac{4}{7}, $$ where the lower bound uses a reformulation of the extremal problem, and the upper bound follows from an explicit construction together with a convenient characterization of $c_*$.
The Multicolor Size-Ramsey Number of Bipartite Long Subdivisions
For a positive integer $r$, the $r$-color size-Ramsey
number~$\widehat{R}_r(H)$ of a graph $H$ is the minimum number of
edges in a graph $G$ such that every $r$-edge coloring of $G$
contains a monochromatic copy of $H$. For a graph~$H$ and a
function $σ:E(H)\to \mathbb{N}$, the \emph{subdivision}
$H^σ$ is obtained by replacing every $e \in E(H)$ with a path
of length $σ(e)$. In~\cite{javadi25:_induced_long} it is shown
that for all integers $r,\, D\geq 2 $, there exists a constant
$c=c(r, D)$ such that for every graph $ H $ with maximum degree $D$
if $H^σ$ is a subdivision of~$H$ in which
$σ(e) > c \log n $ for every $e \in E(H)$, where
$n=|V(H^σ)|$, then
$ \widehat{R}_r(H^σ) = O\big(2^{34r}
r^6 \log^5(r) D^5\log D\big)n. $ We improve upon this result in the case that~$H^σ$
is a bipartite graph and the number of colors~$r$ is large using a
significantly different argument, obtaining the bound
$ \widehat{R}_r(H^σ) \leq r^{400D \log D} \, n $.
Spectral radius, toughness, binding number and $k$-factor of graphs
A $k$-regular spanning subgraph of $G$ is called a $k$-factor. In this paper, we provide spectral radius and edge conditions to ensure that a graph $G$ with $δ(G)\ge k$ admits a $k$-factor. Fan, Lin and Lu [European J. Combin. 110 (2023) 103701] presented a tight sufficient condition in terms of the spectral radius for a connected 1-tough graph to contain a connected 2-factor (Hamilton cycle). Then it is interesting to consider the following problem: What is the spectral radius condition to guarantee the existence of a $k$-factor with $k\ge3$ in a connected 1-tough graph $G$ with $δ(G)\ge k$? We completely solve this problem, and we further obtain a sufficient spectral radius condition for the existence of a $k$-factor in a connected 1-binding graph, which solves an important problem posed by Fan and Lin [Electron. J. Combin. 31 (2024) 1--30].
The perturbation threshold of degenerate graphs
We show that for any $d\ge 2$ and $Δ>0$ there exists $η>0$ such that the following holds: Let $G$ be an $n$-vertex graph with at least $Ω(n^2)$ edges and let $H$ be an $n$-vertex $d$-degenerate graph with maximum degree at most $Δ$. Then with high probability, $G \cup G(n, n^{-1/d - η})$ contains a copy of $H$. We also prove that the same conclusion extends to $d$-regular graphs with $d\ge 4$ satisfying a certain edge expansion property, with the threshold improved to $n^{-2/d - η}$. Such a property is satisfied by almost all
$d$-regular graphs and for even $d$, by the $(d/2)$-th power of a Hamilton cycle.
Linear clique-width and modular decomposition
A hereditary class of graphs has bounded clique-width if and only if its prime members do, but this lifting property fails for linear clique-width. We prove that a hereditary class has bounded linear clique-width if and only if its prime members do and it contains neither all quasi-threshold graphs nor all complements of quasi-threshold graphs. This generalizes a result of Brignall, Korpelainen, and Vatter, who established the result for cographs.
Intrinsic linking of a simplicial $n$-complex embedded in $\mathbb{R}^{2n}$
Published
• View Publication
• BIB
We demonstrate the existence of minimal simplicial $n$-complexes which inevitably contain a nonsplittable two-component link formed by an $(n-1)$-sphere and an $n$-sphere in any embedding into $\mathbb{R}^{2n}$. This provides a higher-dimensional generalization of graphs that are not non-separating planar.
Ramsey theory of low-degree semialgebraic relations
We prove that hypergraphs defined by low-degree polynomial inequalities contain large homogeneous subsets. Formally, let $H$ be an $r$-uniform hypergraph on $N$ vertices that is semialgebraic of constant description complexity, and each defining polynomial has degree at most $D$. Then $H$ contains a clique or an independent set of size $n$, where $N\leq \mbox{tw}_{3D^3}(n)$.
On constructing small subgraphs in the budget-constrained random graph process
Consider the budget-constrained random graph process introduced by Frieze, Krivelevich and Michaeli, where each time an edge is offered through the (standard) random graph process we must irrevocably decide whether to "purchase" this edge or not, with our goal being to construct a graph which satisfies some property within a given time $t$ and while purchasing at most $b$ edges. We consider the problem of constructing graphs containing certain fixed small subgraphs.
We provide an optimal strategy for building a graph which contains a copy of $K_4$, showing that budget $b=ω(\max\{n^8/t^5,n^2/t\})$ suffices and that if $b=o(\max\{n^8/t^5,n^2/t\})$ then no strategy can a.a.s. produce a graph containing a copy of $K_4$. This resolves a problem raised by Iľkovič, León and Shu. More generally, we obtain analogously tight results for containing a wheel of any fixed size, or a graph consisting of a tree plus one additional universal vertex. We also tackle the problem of constructing graphs containing a copy of $K_5$, obtaining both lower and upper bounds on the optimal budget, though a gap remains in this case.
On Sets of Monochromatic Objects in Bicolored Point Sets
Let $P$ be a set of $n$ points in the plane, not all on a line, each colored \emph{red} or \emph{blue}. The classical Motzkin--Rabin theorem guarantees the existence of a \emph{monochromatic} line. Motivated by the seminal work of Green and Tao (2013) on the Sylvester-Gallai theorem, we investigate the quantitative and structural properties of monochromatic geometric objects, such as lines, circles, and conics.
We first show that if no line contains more than three points, then for all sufficiently large $n$ there are at least $n^{2}/24 - O(1)$ monochromatic lines. We then show a converse of a theorem of Jamison (1986): Given $n\ge 6$ blue points and $n$ red points, if the blue points lie on a conic and every line through two blue points contains a red point, then all red points are collinear. We also settle the smallest nontrivial case of a conjecture of Milićević (2018) by showing that if we have $5$ blue points with no three collinear and $5$ red points, if the blue points lie on a conic and every line through two blue points contains a red point, then all $10$ points lie on a cubic curve. Further, we analyze the random setting and show that, for any non-collinear set of $n\ge 10$ points independently colored red or blue, the expected number of monochromatic lines is minimized by the \emph{near-pencil} configuration. Finally, we examine monochromatic circles and conics, and exhibit several natural families in which no such monochromatic objects exist.
On the discrete Heine-Shephard problem for four lattice polygons
We study the set of square-free parts of volume polynomials associated with four planar lattice polytopes. This is motivated by the problem of describing possible pairwise intersection numbers of four curves in $(\mathbb{C}^*)^2$ with prescribed Newton polytopes and generic coefficients. It is known that for arbitrary convex bodies in $\mathbb{R}^2$, the corresponding square-free polynomials are characterized by the Plücker-type inequalities. We show that this characterization fails in the lattice setting: the interior of the space defined by the Plücker-type inequalities contains integer polynomials that are and are not realizable by lattice polytopes. This phenomenon arises from additional arithmetic constraints on the mixed areas of lattice polytopes. These constraints become apparent when we study a "discrete diagram", which maps a pair of planar lattice polytopes to their mixed area together with their lattice widths in a given direction.
Nordhaus-Gaddum inequalities for the number of 1-nearly independent vertex subsets
For a graph $G$, a vertex subset is called \emph{$1$-nearly independent} if the subgraph it induces contains exactly one edge. Let $σ_1(G)$ denote the number of such subsets in $G$. In this paper, we study Nordhaus-Gaddum type inequalities for $σ_1$, that is, bounds on the sum $σ_1(G)+σ_1(\overline{G})$, where $\overline{G}$ denotes the complement of $G$.
We establish that, for any $n$-vertex graph $G$, we have $σ_1(G)+σ_1(\overline{G})\geq n(n-1)/2,$ with equality if and only if $G$ is either complete or edgeless. We further obtain that among all trees of order $n$, the star $K_{1,n-1}$ uniquely minimises $σ_1(T)+σ_1(\overline{T})$. Finally, we prove that for all graphs of order $n \ge 6$, \[ σ_1(G)+σ_1(\overline{G}) \le \frac{27}{64}\,2^{n} + \frac{1}{2}(n+2)(n-3), \] with equality if and only if $G$ or $\overline{G}$ is isomorphic to $3K_2 \cup \overline{K_{n-6}}$.
Long cycles in vertex transitive digraphs
One of the most well-known conjectures concerning Hamiltonicity in graphs asserts that any sufficiently large connected vertex transitive graph contains a Hamilton cycle. In this form, it was first written down by Thomassen in 1978, inspired by a closely related conjecture due to Lovász from 1969. It has been attributed to several other authors in a survey on the topic by Witte and Gallian in 1984.
The analogous question for vertex transitive digraphs has an even longer history, having been first considered by Rankin in 1946. It is arguably more natural from the group-theoretic perspective underlying this problem in both settings. Trotter and Erdős proved in 1978 that there are infinitely many connected vertex transitive digraphs which are not Hamiltonian. This left open the very natural question of how long a directed cycle one can guarantee in a connected vertex transitive digraph on $n$ vertices.
In 1981, Alspach asked if the maximum perimeter gap (the gap between the circumference and the order of the digraph) is a growing function in $n$. We answer this question in the affirmative, showing that it grows at least as fast as $(1-o(1)) \ln n$. On the other hand, we prove that one can always find a directed cycle of length at least $Ω(n^{1/3})$, establishing the first lower bound growing with $n$, providing a directed analogue of a famous result of Babai from 1979 in the undirected setting.
Positive Charts of Toric Varieties
Published
• View Publication
• BIB
We construct affine charts of a smooth projective toric variety which contain its nonnegative points, and which admit a closed embedding into the total coordinate space of Cox's quotient construction. We show that such positive charts arise from smooth subcones of the nef cone. To each positive chart we associate an algebraic moment map, the fibers of which are the critical points of a monomial function in Cox coordinates. This work provides a toric framework for the theory of $u$-equations in positive geometry.
Remarks on the inverse Littlewood conjecture
Published
• View Publication
• BIB
The Littlewood conjecture, proven by Konyagin and McGehee-Pigno-Smith in the 1980s, states that if $A\subset \mathbb{Z}$ is a finite set of integers with $\lvert A\rvert=N$ then $\| \widehat{1_A}\|_1\geq c\log N$ for some absolute constant $c > 0$. We explore what structure $A$ must have if $\| \widehat{1_A}\|_1\leq K\log N$ for some constant $K$. Under such an assumption we prove, for instance, that $A$ contains a subset $A'\subseteq A$ with $\lvert A\rvert \geq N^{0.99}$ such that $\lvert A'+A'\rvert \ll K^{O(1)}\lvert A'\rvert$. As a consequence, for any $k\geq 3$, if $N$ is sufficiently large depending on $k$ and $K$, then $A$ must contain an arithmetic progression of length $k$. A byproduct of our analysis is a (slightly) improved bound for the constant $c$.
On the Gap Structure of Generalized Stirling Numbers
Katugampola's 2015 study of generalized fractional differential operators produced triangular arrays of integer coefficients indexed by a fractional order r and by dimensions n and k, but no combinatorial interpretation has been established for any fractional order. We give the first such interpretation, with two main results: (i) a complete combinatorial interpretation for r = 1/2 and n = 1,2,3, and (ii) a rigorous proof that this interpretation cannot extend to n >= 4 within the same framework. For n = 1,2,3, we show that the coefficients for r = 1/2 count binary sequences satisfying two conditions: they contain at least one symbol B, and they have gap <= 1, where the gap is the distance between the first and last occurrence of B. Each sequence is assigned a type k by a parity-dependent rule involving the gap value, and exhaustive enumeration matches Katugampola's coefficients exactly. We then prove an obstruction theorem showing that the gap <= 1 condition forces any such model to produce at most two distinct types per row, whereas Katugampola's array requires at least three types for every n >= 4. Thus the gap <= 1 binary-sequence interpretation works if and only if n = 1,2,3. Our results turn a computational observation into a rigorous impossibility theorem and provide guidance for future attempts to obtain complete combinatorial interpretations of fractional-calculus coefficients.
Power monoids and their arithmetic: a survey
The non-empty finite subsets of a multiplicatively written monoid form a monoid in their own right, and so do the finite subsets that contain the identity element. Partly due to their unusual arithmetic properties, these structures, known as power monoids, have attracted increasing attention in recent years and have in turn stimulated growing interest in new perspectives in factorization theory, better suited to non-cancellative settings. We survey these developments and briefly review some related aspects.
Hamilton Cycles in Semisymmetric Graphs
Published
• View Publication
• BIB
In light of Lovász's longstanding question on the existence of Hamilton paths in vertex-transitive graphs, this paper considers a natural variant: what if vertex-transitivity is relaxed, yet a high degree of symmetry--specifically edge-transitivity--is retained? To investigate this, we focus on the class of semisymmetric graphs, which are regular, edge-transitive, but not vertex-transitive. In this paper, it will be shown that every connected semisymmetric graph of order $2pq$, where $p$ and $q$ are two distinct primes contains a Hamilton cycle and that every connected cubic semisymmetric graph of order less than 3000 contains a Hamilton cycle too. Based on these observations, the following question is posed: construct a connected semisymmetric graph which has no Hamilton cycle.
Large expander subgraphs in high genus triangulations
We prove that random triangulations of high genus contain very large expander subgraphs, answering a question of Benjamini. Our approach relies on new general criteria for arbitrary graphs to contain large expander subgraphs.