English
Related papers

Related papers: First order distinguishability of sparse random gr…

200 papers

In this paper, we study existential monadic second order (EMSO) properties of undirected graphs. In 2001, J.-M. Le Bars proved that there exists an EMSO sentence about undirected graphs such that the probability that it is true does not…

Combinatorics · Mathematics 2019-09-10 Maksim Zhukovskii

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

Given an $n\times n$ symmetric matrix $W\in [0,1]^{[n]\times [n]}$, let $\mathcal{G}(n,W)$ be the random graph obtained by independently including each edge $jk$ with probability $W_{jk}$. Given a degree sequence ${\bf d}=(d_1,\ldots,…

Combinatorics · Mathematics 2024-12-11 Pu Gao , Yuval Ohapkin

The distinguishing number of a graph $G$ is the smallest positive integer $r$ such that $G$ has a labeling of its vertices with $r$ labels for which there is no non-trivial automorphism of $G$ preserving these labels. Albertson and Collins…

Logic · Mathematics 2008-04-28 C. Laflamme , L. Nguyen Van Thé , N. W. Sauer

We prove that the family of largest cuts in the binomial random graph exhibits the following stability property: If $1/n \ll p = 1-\Omega(1)$, then, with high probability, there is a set of $n - o(n)$ vertices that is partitioned in the…

Combinatorics · Mathematics 2024-02-23 Ilay Hoshen , Wojciech Samotij , Maksim Zhukovskii

A graph with a trivial automorphism group is said to be rigid. Wright proved that for $\frac{\log n}{n}+\omega(\frac 1n)\leq p\leq \frac 12$ a random graph $G\in G(n,p)$ is rigid whp. It is not hard to see that this lower bound is sharp and…

Combinatorics · Mathematics 2018-06-25 Nati Linial , Jonathan Mosheiff

A seminal palette sparsification result of Assadi, Chen, and Khanna states that in every $n$-vertex graph of maximum degree $\Delta$, sampling $\Theta(\log n)$ colors per vertex from $\{1, \ldots, \Delta+1\}$ almost certainly allows for a…

Data Structures and Algorithms · Computer Science 2024-11-05 Abhishek Dhawan

In this paper, we prove the first-order convergence law for the uniform attachment random graph with almost all vertices having the same degree. In the considered model, vertices and edges are introduced recursively: at time $m+1$ we start…

Probability · Mathematics 2022-10-28 Y. A. Malyshkin

Motivated by a recent extension of the zero-one law by Kolaitis and Kopparty, we study the distribution of the number of copies of a fixed disconnected graph in the random graph $G(n,p)$. We use an idea of graph decompositions to give a…

Combinatorics · Mathematics 2015-02-03 Bobby DeMarco , Amanda Redlich

Rank-width of a graph G, denoted by rw(G), is a width parameter of graphs introduced by Oum and Seymour (2006). We investigate the asymptotic behavior of rank-width of a random graph G(n,p). We show that, asymptotically almost surely, (i)…

Combinatorics · Mathematics 2014-03-26 Choongbum Lee , Joonkyung Lee , Sang-il Oum

A fractional matching of $G$ is a function $f: E(G)\to [0,1]$ such that $\sum_{e\in E_G(v_i)}f(e)\le 1$ for any $v_i\in V(G)$, where $E_G(v_i)=\{e: e\in E(G) \ \textrm{and}\ e \ \textrm{is incident with} \ v_i\}$. Let $\alpha_f(G)$ denote…

Combinatorics · Mathematics 2025-12-04 Zengzhao Xu , Weige Xi , Ligong Wang

For an $r$-uniform hypergraph $H$, let $f(H)$ be the minimum number of complete $r$-partite $r$-uniform subhypergraphs of $H$ whose edge sets partition the edge set of $H$. For a graph $G$, $f(G)$ is the bipartition number of $G$ which was…

Combinatorics · Mathematics 2015-11-10 Xing Peng

Let $m_GI$ denote the number of Laplacian eigenvalues of a graph $G$ in an interval $I$ and let $\alpha(G)$ denote the independence number of $G$. In this paper, we determine the classes of graphs that satisfy the condition…

Combinatorics · Mathematics 2021-11-25 Jinwon Choi , Sunyo Moon , Seungkook Park

Logical formalisms such as first-order logic (FO) and fixpoint logic (FP) are well suited to express in a declarative manner fundamental graph functionalities required in distributed systems. We show that these logics constitute good…

Logic in Computer Science · Computer Science 2009-04-22 Stephane Grumbach , Fang Wang , Zhilin Wu

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

We study logical limit laws for uniform attachment random graphs. In this random graph model, vertices and edges are introduced recursively: at time $n+1$, the vertex $n+1$ is introduced together with $m$ edges joining the new vertex with…

Probability · Mathematics 2022-01-03 Yury Malyshkin , Maksim Zhukovskii

We analyze the spectral properties of the high-dimensional random geometric graph $G(n, d, p)$, formed by sampling $n$ i.i.d vectors $\{v_i\}_{i=1}^{n}$ uniformly on a $d$-dimensional unit sphere and connecting each pair $\{i,j\}$ whenever…

Probability · Mathematics 2026-02-11 Yifan Cao , Yizhe Zhu

Let $G=(V,E)$ be a graph of density $p$ on $n$ vertices. Following Erd\H{o}s, \L uczak and Spencer, an $m$-vertex subgraph $H$ of $G$ is called {\em full} if $H$ has minimum degree at least $p(m - 1)$. Let $f(G)$ denote the order of a…

Combinatorics · Mathematics 2016-10-24 Victor Falgas-Ravry , Klas Markström , Jacques Verstraëte

We investigate the following problem: given a sample of classified strings, find a first-order sentence of minimal quantifier rank that is consistent with the sample. We represent strings as successor string structures, that is, finite…

Logic in Computer Science · Computer Science 2018-09-11 Thiago Alves Rocha , Ana Teresa Martins , Francicleber Martins Ferreira

One of the common obstacles for learning causal models from data is that high-order conditional independence (CI) relationships between random variables are difficult to estimate. Since CI tests with conditioning sets of low order can be…

Machine Learning · Computer Science 2020-10-07 Marcel Wienöbst , Maciej Liśkiewicz