English
Related papers

Related papers: A graph-theoretic proof of Cobham's Dichotomy for …

200 papers

What distribution of graphical degree sequence is invariant under ``scaling''? Are these graphs always power-law graphs? We show the answer is a surprising ``yes'' for sparse graphs if we ignore isolated vertices, or more generally, the…

Combinatorics · Mathematics 2007-05-23 Joshua N. Cooper , Lincoln Lu

An arborescence of a directed graph $\Gamma$ is a spanning tree directed toward a particular vertex $v$. The arborescences of a graph rooted at a particular vertex may be encoded as a polynomial $A_v(\Gamma)$ representing the sum of the…

Combinatorics · Mathematics 2021-08-24 Sunita Chepuri , CJ Dowd , Andy Hardt , Gregory Michel , Sylvester W. Zhang , Valerie Zhang

What is the maximum number of copies of a fixed forest $T$ in an $n$-vertex graph in a graph class $\mathcal{G}$ as $n\to \infty$? We answer this question for a variety of sparse graph classes $\mathcal{G}$. In particular, we show that the…

Combinatorics · Mathematics 2021-07-06 Tony Huynh , David R. Wood

Starting with a unit-preserving normal completely positive map L: M --> M acting on a von Neumann algebra - or more generally a dual operator system - we show that there is a unique reversible system \alpha: N --> N (i.e., a complete order…

Operator Algebras · Mathematics 2007-05-23 William Arveson

Constructing a spanning tree of a graph is one of the most basic tasks in graph theory. We consider a relaxed version of this problem in the setting of local algorithms. The relaxation is that the constructed subgraph is a sparse spanning…

Data Structures and Algorithms · Computer Science 2021-04-28 Reut Levi , Dana Ron , Ronitt Rubinfeld

The basis number of a graph $G$ is the minimum $k$ such that the cycle space of $G$ is generated by a family of cycles using each edge at most $k$ times. A classical result of Mac Lane states that planar graphs are exactly graphs with basis…

Combinatorics · Mathematics 2026-02-13 Colin Geniet , Ugo Giocanti

We prove that if an $n$-vertex graph with minimum degree at least $3$ contains a Hamiltonian cycle, then it contains another cycle of length $n-o(n)$; this implies, in particular, that a well-known conjecture of Sheehan from 1975 holds…

Combinatorics · Mathematics 2017-09-19 António Girão , Teeradej Kittipassorn , Bhargav Narayanan

We present a short new proof of Cobham's theorem without using Kronecker's approximation theorem, making it suitable for generalization beyond automatic sequences.

Formal Languages and Automata Theory · Computer Science 2018-01-23 Thijmen J. P. Krebs

The dominating graph of a graph $H$ has as its vertices all dominating sets of $H$, with an edge between two dominating sets if one can be obtained from the other by the addition or deletion of a single vertex of $H$. In this paper we prove…

Every graphon defines a random graph on any given number $n$ of vertices. It was known that the graphon is random-free if and only if the entropy of this random graph is subquadratic. We prove that for random-free graphons, this entropy can…

Combinatorics · Mathematics 2012-05-17 Hamed Hatami , Serguei Norine

Courcelle's Theorem states that on graphs $G$ of tree-width at most $k$ with a given tree-decomposition of size $t(G)$, graph properties $\mathcal{P}$ definable in Monadic Second Order Logic can be checked in linear time in the size of…

Logic in Computer Science · Computer Science 2025-05-06 Yuval Filmus , Johann A. Makowsky

A digraph is attached to any evolution algebra. This graph leads to some new purely algebraic results on this class of algebras and allows for some new natural proofs of known results. Nilpotency of an evolution algebra will be proved to be…

Rings and Algebras · Mathematics 2013-12-18 Alberto Elduque , Alicia Labra

In the field of parameterized complexity theory, the study of graph width measures has been intimately connected with the development of width-based model checking algorithms for combinatorial properties on graphs. In this work, we…

Data Structures and Algorithms · Computer Science 2026-05-21 Mateus de Oliveira Oliveira , Sam Urmian

We determine a lower gap property for the growth of an unbounded \(\mathbb{Z}\)-valued \(k\)-regular sequence. In particular, if \(f:\mathbb{N}\to\mathbb{Z}\) is an unbounded \(k\)-regular sequence, we show that there is a constant \(c>0\)…

Number Theory · Mathematics 2014-10-22 Jason P. Bell , Michael Coons , Kevin G. Hare

The stability number of a graph $G$, denoted as $\alpha(G)$, is the maximum size of an independent (stable) set in $G$. Semidefinite programming (SDP) methods, which originated from Lov\'asz's theta number and expanded through…

Optimization and Control · Mathematics 2025-09-11 Luis Felipe Vargas , Juan C. Vera , Peter J. C. Dickinson

We extend Edmonds' Branching Theorem to locally finite infinite digraphs. As examples of Oxley or Aharoni and Thomassen show, this cannot be done using ordinary arborescences, whose underlying graphs are trees. Instead we introduce the…

Combinatorics · Mathematics 2020-04-06 J. Pascal Gollin , Karl Heuer

Consider a random graph process with $n$ vertices corresponding to points $v_{i} \sim {Unif}[0,1]$ embedded randomly in the interval, and where edges are inserted between $v_{i}, v_{j}$ independently with probability given by the graphon…

Probability · Mathematics 2024-06-26 Jeannette Janssen , Aaron Smith

We consider a dichotomy for analytic families of trees stating that either there is a colouring of the nodes for which all but finitely many levels of every tree are nonhomogeneous, or else the family contains an uncountable antichain. This…

Logic · Mathematics 2008-08-12 James Hirschorn

Accessibility percolation is a new type of percolation problem inspired by evolutionary biology. To each vertex of a graph a random number is assigned and a path through the graph is called accessible if all numbers along the path are in…

Statistical Mechanics · Physics 2013-04-04 Stefan Nowak , Joachim Krug

The famous P\'{o}sa-Seymour conjecture, confirmed in 1998 by Koml\'{o}s, S\'{a}rk\"{o}zy, and Szemer\'{e}di, states that for any $k \geq 2$, every graph on $n$ vertices with minimum degree $kn/(k + 1)$ contains the $k$-th power of a…

Combinatorics · Mathematics 2018-08-31 Nemanja Škorić , Angelika Steger , Miloš Trujić