English
Related papers

Related papers: Existential monadic second order convergence law f…

200 papers

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

Monadic stability generalizes many tameness notions from structural graph theory such as planarity, bounded degree, bounded tree-width, and nowhere density. The sparsification conjecture predicts that the (possibly dense) monadically stable…

Discrete Mathematics · Computer Science 2026-01-23 Nikolas Mählmann , Sebastian Siebertz

We show that there exists an ergodic conductance environment such that the weak (annealed) invariance principle holds for the corresponding continuous time random walk but the quenched invariance principle does not hold. In the present…

Probability · Mathematics 2013-12-17 Martin Barlow , Krzysztof Burdzy , Adám Timár

In this paper, we generalize the existence result in [14] and prove convergence theorems of the iterative scheme in [12, 16] for monotone generalized alpa-nonexpansive mappings in uniformly convex partially ordered hyperbolic metric spaces.…

Functional Analysis · Mathematics 2020-06-29 Chang Il Rim , Jong Gyong Kim , Chol-Hui Yun

We revisit the work studying homomorphism preservation for first-order logic in sparse classes of structures initiated in [Atserias et al., JACM 2006] and [Dawar, JCSS 2010]. These established that first-order logic has the homomorphism…

Logic in Computer Science · Computer Science 2024-05-21 Anuj Dawar , Ioannis Eleftheriadis

Let K be the family of graphs on omega_1 without cliques or independent subsets of size omega_1 . We prove that: 1) it is consistent with CH that every G in K has 2^{omega_1} many pairwise non-isomorphic subgraphs, 2) the following…

Logic · Mathematics 2009-09-25 Saharon Shelah , Lajos Soukup

Given a set B of finite rooted graphs and a radius r as an input, we prove that it is undecidable to determine whether there exists a sequence (G_i) of finite bounded degree graphs such that the rooted r-radius neighbourhood of a random…

Combinatorics · Mathematics 2012-02-09 Endre Csóka

We show that the cop number of the Cayley sum graph of a finite group $G$ with respect to a symmetric subset $S$ is at most twice its degree when the graph is connected, undirected. We also prove that a similar bound holds for the cop…

Combinatorics · Mathematics 2025-04-29 Arindam Biswas , Jyoti Prakash Saha

We have derived that on certain Banach spaces having a graph structure $G$, the iterations for asymptotically $G$-nonexpansive map will converge weakly towards a fixed point. This result unifies and extends several theorems on fixed points…

Functional Analysis · Mathematics 2022-02-28 Asrifa Sultana

In this paper we extend a classical theorem of Corr\'adi and Hajnal into the setting of sparse random graphs. We show that if $p(n) \gg (\log n / n)^{1/2}$, then asymptotically almost surely every subgraph of $G(n,p)$ with minimum degree at…

Combinatorics · Mathematics 2011-11-02 József Balogh , Choongbum Lee , Wojciech Samotij

According to a theorem of Courcelle monadic second-order logic and guarded second-order logic (where one can also quantify over sets of edges) have the same expressive power over the class of all countable $k$-sparse hypergraphs. In the…

Logic in Computer Science · Computer Science 2015-07-01 Achim Blumensath

For any fixed positive integer $k$, let $\alpha_{k}$ denote the smallest $\alpha \in (0,1)$ such that the random graph sequence $\left\{G\left(n, n^{-\alpha}\right)\right\}$ does not satisfy the zero-one law for the set $\mathcal{E}_{k}$ of…

Probability · Mathematics 2020-11-03 Moumanti Podder , Maksim Zhukovskii

We give an explicit extension of Spencer's result on the biplanar crossing number of the Erdos-Renyi random graph $G(n,p)$. In particular, we show that the k-planar crossing number of $G(n,p)$ is almost surely $\Omega((n^2p)^2)$. Along the…

Combinatorics · Mathematics 2017-09-26 John Asplund , Thao Do , Arran Hamm , Laszlo Szekely , Libby Taylor , Zhiyu Wang

Given an $n$-vertex pseudorandom graph $G$ and an $n$-vertex graph $H$ with maximum degree at most two, we wish to find a copy of $H$ in $G$, i.e.\ an embedding $\varphi\colon V(H)\to V(G)$ so that $\varphi(u)\varphi(v)\in E(G)$ for all…

Combinatorics · Mathematics 2023-04-06 Jie Han , Yoshiharu Kohayakawa , Patrick Morris , Yury Person

We claimed that there is a polynomial algorithm to test if two graphs are isomorphic. But the algorithm is wrong. It only tests if the adjacency matrices of two graphs have the same eigenvalues. There is a counterexample of two…

Computational Complexity · Computer Science 2022-10-18 Reiner Czerwinski

For a family of graphs $\mathcal{F}$, a graph $G$ is $\mathcal{F}$-universal if $G$ contains every graph in $\mathcal{F}$ as a (not necessarily induced) subgraph. For the family of all graphs on $n$ vertices and of maximum degree at most…

Combinatorics · Mathematics 2016-12-20 Asaf Ferber , Gal Kronenberg , Kyle Luh

In this paper, we provide a counterexample to show that in sharp contrast to the classical case, the almost uniform convergence may not happen for truly noncommutative $L_p$-martingales when $1\leq p<2$. The same happens to ergodic…

Operator Algebras · Mathematics 2024-07-09 Guixiang Hong , Éric Ricard

We study an asymptotic behavior of the probabilities of first-order properties of random graph G(N,p) in the article. We conider p such that lnp=-alnN, a>0. We find values of parameter a from (1-exp(ln2(1-k)),1) such that the random graph…

Probability · Mathematics 2013-04-04 M. E. Zhukovskii

We examine indivisibility for classes of graphs. We show that the class of hereditarily $\alpha$-sparse graphs is indivisible if and only if $\alpha > 2$. Additionally, we show that the following classes of graphs are indivisible: perfect…

Combinatorics · Mathematics 2025-04-09 Vince Guingona , Felix Nusbaum , Zain Padamsee , Miriam Parnes , Christian Pippin , Ava Zinman

The permanental polynomial of a graph $G$ is $\pi(G,x)\triangleq\mathrm{per}(xI-A(G))$. From the result that a bipartite graph $G$ admits an orientation $G^e$ such that every cycle is oddly oriented if and only if it contains no even…

Combinatorics · Mathematics 2010-10-07 Heping Zhang , Wei Li