English
Related papers

Related papers: Random graphs in the monadic theory of order

200 papers

For a sequence of random structures with $n$-element domains over a relational signature, we define its first order (FO) complexity as a certain subset in the Banach space $\ell^{\infty}/c_0$. The well-known FO zero-one law and FO…

Logic in Computer Science · Computer Science 2024-09-04 Danila Demin , Maksim Zhukovskii

We consider the number of crossings in a graph which is embedded randomly on a convex set of points. We give an estimate to the normal distribution in Kolmogorov distance which implies a convergence rate of order $n^{-1/2}$ for various…

Combinatorics · Mathematics 2022-08-26 Santiago Arenas-Velilla , Octavio Arizmendi

A class of random graphs is introduced and studied. The graphs are constructed in an algorithmic way from five motifs which were found in [Milo R., Shen-Orr S., Itzkovitz S., Kashtan N., Chklovskii D., Alon U., Science, 2002, 298, 824-827].…

Mathematical Physics · Physics 2011-06-23 M. Kotorowicz , Yu. Kozitsky

Bond percolation on Cayley graphs provides examples of random graphs. Other examples arise from the dynamical study of proper repetitive subgraphs of Cayley graphs. In this paper we demonstrate that these two families have mutually singular…

Dynamical Systems · Mathematics 2016-05-10 Fernando Alcalde Cuesta , Álvaro Lozano Rojo , Antón C. Vázquez Martínez

Statistical field theory methods have been very successful with a number of random graph and random matrix problems, but it is challenging to apply these methods to graphs with prescribed degree sequences due to the extensive number of…

Statistical Mechanics · Physics 2025-05-20 Pawat Akara-pipattana , Oleg Evnin

We offer an alternative proof, using the Stein-Chen method, of Bollob\'{a}s' theorem concerning the distribution of the extreme degrees of a random graph. Our proof also provides a rate of convergence of the extreme degree to its asymptotic…

Combinatorics · Mathematics 2023-11-20 Yaakov Malinovsky

We study rigidity properties of linearly ordered sets (chains) under automorphisms, order-embeddings, epimorphisms, and endomorphisms. We focus on two main cases, dense subchains of the real numbers, and uncountable dense chains of higher…

Logic · Mathematics 2018-12-24 Mayra Montalvo-Ballesteros John Truss

We study the automorphism groups of countable homogeneous directed graphs (and some additional homogeneous structures) from the point of view of topological dynamics. We determine precisely which of these automorphism groups are amenable…

Combinatorics · Mathematics 2017-12-29 Micheal Pawliuk , Miodrag Sokic

We confirm the eventual evasiveness of several classes of monotone graph properties under widely accepted number theoretic hypotheses. In particular we show that Chowla's conjecture on Dirichlet primes implies that (a) for any graph $H$,…

Computational Complexity · Computer Science 2010-02-03 Laszlo Babai , Anandam Banerjee , Raghav Kulkarni , Vipul Naik

We study locally closed transformation monoids which contain the automorphism group of the random graph. We show that such a transformation monoid is locally generated by the permutations in the monoid, or contains a constant operation, or…

Logic · Mathematics 2010-04-13 Manuel Bodirsky , Michael Pinsker

For a partially ordered set $(A, \le)$, let $G_A$ be the simple, undirected graph with vertex set $A$ such that two vertices $a \neq b\in A$ are adjacent if either $a \le b$ or $b \le a$. We call $G_A$ the \emph{partial order graph} or…

Combinatorics · Mathematics 2020-10-22 Ayman Badawi , Roswitha Rissner

A monoid is said to be special if it admits a presentation in which all defining relations are of the form $w = 1$. Groups are familiar examples of special monoids. This article studies the geometric and structural properties of the Cayley…

Group Theory · Mathematics 2021-01-20 Carl-Fredrik Nyberg-Brodda

We introduce a new logic, called \emph{cluster first-order logic}, a restricted fragment of first-order logic specifically designed to study order invariance. An order-invariant formula is one on a vocabulary that contains an order;…

Logic in Computer Science · Computer Science 2026-05-01 Fatemeh Ghasemi , Julien Grange

In the first part we show a counterexample to a conjecture by Shelah regarding the existence of indiscernible sequences in dependent theories (up to the first inaccessible cardinal). In the second part we discuss generic pairs, and give an…

Logic · Mathematics 2013-08-29 Itay Kaplan , Saharon Shelah

In [1] M. Baker and S. Norine developed a theory of divisors and linear systems on graphs, and proved a Riemann-Roch Theorem for these objects (conceived as integer-valued functions on the vertices). In [2] and [3] the authors generalized…

Algebraic Geometry · Mathematics 2017-11-13 Rodney James , Rick Miranda

We consider random graphs sampled uniformly from a structured class of graphs, such as the class of graphs embeddable in a given surface. We sharpen and extend earlier results on pendant appearances, concerning for example numbers of…

Combinatorics · Mathematics 2024-05-07 Colin McDiarmid

Random graphs are more and more used for modeling real world networks such as evolutionary networks of proteins. For this purpose we look at two different models and analyze how properties like connectedness and degree distributions are…

Probability · Mathematics 2019-02-05 Klemens Taglieber , Uta Freiberg

In a recent paper, Kaye and Wong proved the following result, which they considered to belong to the folklore of mathematical logic. THEOREM: The first-order theories of Peano arithmetic and ZF with the axiom of infinity negated are…

Logic · Mathematics 2008-08-18 Richard Pettigrew

The second author has introduced non-crossing tableaux, objects whose non-nesting analogues are semi-standard Young tableaux. We relate non-crossing tableaux to Gelfand-Tsetlin patterns and develop the non-crossing analogue of standard…

Combinatorics · Mathematics 2008-06-12 T. Kyle Petersen , Pavlo Pylyavskyy , David E Speyer

We investigate topological, combinatorial, statistical, and enumeration properties of finite graphs with high Kolmogorov complexity (almost all graphs) using the novel incompressibility method. Example results are: (i) the mean and variance…

Combinatorics · Mathematics 2007-05-23 Harry Buhrman , Ming Li , John Tromp , Paul Vitanyi