English
Related papers

Related papers: Zero-one laws for k-variable first-order logic of …

200 papers

It is not hard to write a first order formula which is true for a given graph G but is false for any graph not isomorphic to G. The smallest number $(G) of nested quantifiers in a such formula can serve as a measure for the ``first order…

Combinatorics · Mathematics 2007-05-23 Jeong Han Kim , Oleg Pikhurko , Joel Spencer , Oleg Verbitsky

In this paper, we present an elementary proof of a theorem of Serre concerning the greatest eigenvalues of $k$-regular graphs. We also prove an analogue of Serre's theorem regarding the least eigenvalues of $k$-regular graphs: given…

Combinatorics · Mathematics 2007-05-23 Sebastian M. Cioaba

The bandwidth theorem [Mathematische Annalen, 343(1):175--205, 2009] states that any $n$-vertex graph $G$ with minimum degree $\big(\tfrac{k-1}{k}+o(1)\big)n$ contains all $n$-vertex $k$-colourable graphs $H$ with bounded maximum degree and…

Combinatorics · Mathematics 2020-05-13 Peter Allen , Julia Böttcher , Julia Ehrenmüller , Anusch Taraz

Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. Suppose that X is infinite, connected and of bounded degree. A first-order sentence in the language of X is almost surely true…

Logic · Mathematics 2007-06-05 Robert H. Gilman , Yuri Gurevich , Alexei Miasnikov

A set of vertices is $k$-sparse if it induces a graph with a maximum degree of at most $k$. In this missive, we consider the order of the largest $k$-sparse set in a triangle-free graph of fixed order. We show, for example, that every…

Combinatorics · Mathematics 2025-06-17 Tınaz Ekim , Burak Nur Erdem , John Gimbel

We consider $k$-cop-win graphs in the binomial random graph $G(n,1/2).$ It is known that almost all cop-win graphs contain a universal vertex. We generalize this result and prove that for every $k \in N$, almost all $k$-cop-win graphs…

Combinatorics · Mathematics 2014-06-12 Pawel Pralat

Let $G$ be a connected graph of order $n$, $F_k$ be a fan consisting of $k$ triangles sharing a common vertex, and $tF_k$ be $t$ vertex-disjoint copies of $F_k$. Brennan (2017) showed the Ramsey number $r(G,F_k)=2n-1$ for $G$ being a…

Combinatorics · Mathematics 2025-07-15 Ting Huang , Yanbo Zhang , Yaojun Chen

We prove that for $k+1\geq 3$ and $c>(k+1)/2$ w.h.p. the random graph on $n$ vertices, $cn$ edges and minimum degree $k+1$ contains a (near) perfect $k$-matching. As an immediate consequence we get that w.h.p. the $(k+1)$-core of $G_{n,p}$,…

Combinatorics · Mathematics 2021-07-09 Michael Anastos

Let $G$ be a graph with adjacency matrix $A(G)$ and let $D(G)$ be the diagonal matrix of the degrees of $G$. For any real $\alpha\in [0,1]$, Nikiforov \cite{VN1} defined the matrix $A_{\alpha}(G)$ as $$A_{\alpha}(G)=\alpha…

Combinatorics · Mathematics 2020-02-28 Huiqiu Lin , Jie Xue , Jinlong Shu

In 2016, a breakthrough result of Chechik and Wulff-Nilsen [SODA '16] established that every $n$-node graph $G$ has a $(1+\varepsilon)(2k-1)$-spanner of lightness $O_{\varepsilon}(n^{1/k})$, and recent followup work by Le and Solomon [STOC…

Data Structures and Algorithms · Computer Science 2025-01-15 Greg Bodwin

It has been shown in the late 1960s that each formula of first-order logic without constants and function symbols obeys a zero-one law: As the number of elements of finite models increases, every formula holds either in almost all or in…

Logic in Computer Science · Computer Science 2021-05-26 Rineke Verbrugge

We determine the sharp threshold for Hamilton cycles in randomly perturbed sparse graphs. For any $\alpha=\alpha(n)=o(1)$, let $G_{\alpha}$ be an $n$-vertex graph with minimum degree $\delta(G_{\alpha})\ge\alpha n$. We prove that if…

Combinatorics · Mathematics 2026-05-29 Guorui Ma , Zhifei Yan

We prove asymptotic 0-1 Laws satisfied by diagrams of unimodal sequences of positive integers. These diagrams consist of columns of squares in the plane, and the upper boundary is called the shape. For various types, we show that, as the…

Number Theory · Mathematics 2020-11-10 Walter Bridges

We study the model $G_\alpha\cup G(n,p)$ of randomly perturbed dense graphs, where $G_\alpha$ is any $n$-vertex graph with minimum degree at least $\alpha n$ and $G(n,p)$ is the binomial random graph. We introduce a general approach for…

Combinatorics · Mathematics 2019-08-01 Julia Böttcher , Richard Montgomery , Olaf Parczyk , Yury Person

When $k|n$, the tree $\mathrm{Comb}_{n,k}$ consists of a path containing $n/k$ vertices, each of whose vertices has a disjoint path length $k-1$ beginning at it. We show that, for any $k=k(n)$ and $\epsilon>0$, the binomial random graph…

Combinatorics · Mathematics 2014-05-27 Richard Montgomery

Consider a graph G = G(k,d,s) with vertex set the set of all k-letter words over an alphabet of size d. An edge e = vw is in E iff v is distinct from w and the last(first) k-s letters of v are identical to the first(last) k-s letters of w.…

Combinatorics · Mathematics 2007-05-23 Anant Godbole , Debra Knisley , Rick Norwood

Order statistics of periodic, Gaussian noise with 1/f^{\alpha} power spectrum is investigated. Using simulations and phenomenological arguments, we find three scaling regimes for the average gap d_k=<x_k-x_{k+1}> between the k-th and…

Statistical Mechanics · Physics 2013-05-29 N. R. Moloney , K. Ozogany , Z. Racz

Let $\mathcal{H}$ be a given finite (possibly empty) family of connected graphs, each containing a cycle, and let $G$ be an arbitrary finite $\mathcal{H}$-free graph with minimum degree at least $k$. For $p \in [0,1]$, we form a $p$-random…

Combinatorics · Mathematics 2014-01-17 Michael Krivelevich , Wojciech Samotij

For a sequence of random graphs, the limit law we refer to is the existence of a limiting probability of any graph property that can be expressed in terms of predicate logic. A zero-one limit law is shown by Shelah and Spencer for…

Probability · Mathematics 2024-08-15 Alperen Özdemir

Recently, Kostochka and Yancey proved that a conjecture of Ore is asymptotically true by showing that every $k$-critical graph satisfies $|E(G)|\geq\left\lceil\left(\frac{k}{2}-\frac{1}{k-1}\right)|V(G)|-\frac{k(k-3)}{2(k-1)}\right\rceil.$…

Combinatorics · Mathematics 2021-07-05 Ron Gould , Victor Larsen , Luke Postle
‹ Prev 1 3 4 5 6 7 10 Next ›