English
Related papers

Related papers: An undecidability result on limits of sparse graph…

200 papers

For every integer $g$, isomorphism of graphs of Euler genus at most $g$ can be decided in linear time. This improves previously known algorithms whose time complexity is $n^{O(g)}$ (shown in early 1980's), and in fact, this is the first…

Data Structures and Algorithms · Computer Science 2015-11-10 Ken-ichi Kawarabayashi

We show that if a sequence of dense graphs has the property that for every fixed graph F, the density of copies of F in these graphs tends to a limit, then there is a natural ``limit object'', namely a symmetric measurable 2-variable…

Combinatorics · Mathematics 2007-05-23 Laszlo Lovasz , Balazs Szegedy

P-time event graphs are discrete event systems able to model cyclic production systems where tasks need to be performed within given time windows. Consistency is the property of admitting an infinite execution of such tasks that does not…

Logic in Computer Science · Computer Science 2026-02-10 Davide Zorzenon , Jörg Raisch

Let $f$ be sampled uniformly at random from the set of degree $n$ polynomials whose coefficients lie in $\{ \pm 1\}$. A folklore conjecture, known to hold under GRH, states that the probability that $f$ is irreducible tends to $1$ as $n$…

Number Theory · Mathematics 2024-01-09 Lior Bary-Soroker , David Hokken , Gady Kozma , Bjorn Poonen

Let $G$ be a finite group. We consider the set of the irreducible complex characters of $G$, namely $Irr(G)$, and the related degree set $cd(G)=\{\chi(1) : \chi\in Irr(G)\}$. Let $\rho(G)$ be the set of all primes which divide some…

Group Theory · Mathematics 2015-11-25 Roghayeh Hafezieh

Let $G$ be a uniformly chosen simple (labelled) random graph with given degree sequence $\boldsymbol{d}$ and let $X,Y,L$ be edge-disjoint graphs on the same vertex set as $G$. We investigate the probability that $X \subseteq G$ and that $G…

Combinatorics · Mathematics 2025-10-29 John Larkin , Brendan D. McKay , Fang Tian

We define, for any graph $G=(V,E)$, a boundary $\partial G \subseteq V$. The definition coincides with what one would expected for the discretization of (sufficiently nice) Euclidean domains and contains all vertices from the…

Combinatorics · Mathematics 2022-01-11 Stefan Steinerberger

An integer partition is called graphical if it is the degree sequence of a simple graph. We prove that the probability that a uniformly chosen partition of size $n$ is graphical decreases to zero faster than $n^{-.003}$, answering a…

Combinatorics · Mathematics 2020-03-31 Stephen Melczer , Marcus Michelen , Somabha Mukherjee

A necessary and sufficient condition for a random walk in a finite directed graph subject to a road coloring to be measurable with respect to the driving random road colors is proved to be that the road coloring is synchronizing. For this,…

Probability · Mathematics 2015-03-17 Kouji Yano

Given a countable dense subset $S$ of a finite-dimensional normed space $X$, and $0<p<1$, we form a random graph on $S$ by joining, independently and with probability $p$, each pair of points at distance less than $1$. We say that $S$ is…

Functional Analysis · Mathematics 2015-04-22 Paul Balister , Béla Bollobás , Karen Gunderson , Imre Leader , Mark Walters

For a fixed degree sequence $\mathcal{D}=(d_1,...,d_n)$, let $G(\mathcal{D})$ be a uniformly chosen (simple) graph on $\{1,...,n\}$ where the vertex $i$ has degree $d_i$. In this paper we determine whether $G(\mathcal{D})$ has a giant…

Combinatorics · Mathematics 2017-02-01 Felix Joos , Guillem Perarnau , Dieter Rautenbach , Bruce Reed

Given a graph $G$ and two vertices $s$ and $t$ in it, {\em graph reachability} is the problem of checking whether there exists a path from $s$ to $t$ in $G$. We show that reachability in directed layered planar graphs can be decided in…

Data Structures and Algorithms · Computer Science 2015-01-26 Diptarka Chakraborty , Raghunath Tewari

An integer partition of $n$ is called graphical if its parts form a degree sequence of a simple graph. While unrestricted graphical partitions have been extensively studied, much less is known when the parts are restricted to a prescribed…

Number Theory · Mathematics 2026-04-02 Gilead Levy

We prove a strong dichotomy result for countably-infinite oriented graphs; that is, we prove that for all countably-infinite oriented graphs $G$, either (i) there is a countably-infinite tournament $K$ such that $G\not\subseteq K$, or (ii)…

Combinatorics · Mathematics 2024-05-02 Alistair Benford , Louis DeBiasio , Paul Larson

We prove that the isomorphism problem for finitely generated fully residually free groups is decidable. We also show that each finitely generated fully residually free group G has a decomposition that is invariant under automorphisms of G,…

Group Theory · Mathematics 2007-05-23 Inna Bumagin , Olga Kharlampovich , Alexei Miasnikov

We prove that if a unimodular random rooted graph is recurrent, the number of ends of its uniform spanning tree is almost surely equal to the number of ends of the graph. Together with previous results in the transient case, this completely…

Probability · Mathematics 2023-01-11 Diederik van Engelenburg , Tom Hutchcroft

We say that a vertex or edge colouring of a graph is distinguishing if the only automorphism that preserves this colouring is the identity. A (proper) distinguishing colouring is irreducible if there is no possibility of merging two…

Combinatorics · Mathematics 2026-02-18 Marcin Stawiski

We consider a class of biased random walks on infinite graphs and present several general results on the spectral radius of biased random walk.

Probability · Mathematics 2018-05-07 Zhan Shi , Vladas Sidoravicius , He Song , Longmin Wang , Kainan Xiang

The complexity of graph homomorphism problems has been the subject of intense study. It is a long standing open problem to give a (decidable) complexity dichotomy theorem for the partition function of directed graph homomorphisms. In this…

Computational Complexity · Computer Science 2010-08-06 Jin-Yi Cai , Xi Chen

We study the complexity of the following related computational tasks concerning a fixed countable graph G: 1. Does a countable graph H provided as input have a(n induced) subgraph isomorphic to G? 2. Given a countable graph H that has a(n…

Logic · Mathematics 2024-01-17 Vittorio Cipriani , Arno Pauly