graph
34516 papers tagged with this keyword
Inhomogeneous order 1 iterative functional equations with applications to combinatorics
We show that if a Laurent series $f\in\mathbb{C}((t))$ satisfies a particular kind of linear iterative equation, then $f$ is either a rational function or it is differentially transcendental over $\mathbb{C}(t)$. This condition is more precisely stated as follows: We consider $R,b\in \mathbb{C}(t)$ with $R(0)=0$, such that $f(R(t))=f(t)+b(t)$. If either $R'(0)=0$ or $R'(0)$ is a root of unity, then either $f$ is a rational function, or $f$ does not satisfy a polynomial differential equation. More generally a solution of a functional equation of the form $f(R(t))=a(t)f(t)+b(t)$ will be either differentially trascendental or the solution of an inhomogeneous linear differential equation of order $1$ with rational coefficients.
We illustrate how to apply these results to deduce the differential transcendence of combinatorial generating functions by considering three examples: the ordinary generating function for a family of complete trees; the Green function for excursions on the Sierpinski graph; and a series related to the enumeration of permutations avoiding the consecutive pattern 1423.
The proof strategy is inspired by the Galois theory of functional equations and relies on the property of the dynamics of $R$.
Random Turán and counting results for general position sets over finite fields
Let $α(\mathbb{F}_q^d,p)$ denote the maximum size of a general position set in a $p$-random subset of $\mathbb{F}_q^d$. We determine the order of magnitude of $α(\mathbb{F}_q^2,p)$ up to polylogarithmic factors for all possible values of $p$, improving the previous results obtained by Roche-Newton--Warren and Bhowmick--Roche-Newton. For $d \ge 3$ we prove upper bounds for $α(\mathbb{F}_q^d,p)$ that are essentially tight within certain ranges for $p$.
We establish the upper bound $2^{(1+o(1))q}$ for the number of general position sets in $\mathbb{F}_q^d$, which matches the trivial lower bound $2^{q}$ asymptotically in the exponent. We also refine this counting result by proving an asymptotically tight (in the exponent) upper bound for the number of general position sets with a fixed size. The latter result for $d=2$ improves a result of Roche-Newton--Warren.
Our proofs are grounded in the hypergraph container method, and additionally, for $d=2$ we also leverage the pseudorandomness of the point-line incidence graph of $\mathbb{F}_{q}^2$.
On an induced version of Menger's theorem
Published in The Electronic Journal of Combinatorics, 31(4):P4.28, November 2024
• View Publication
• BIB
We prove Menger-type results in which the obtained paths are pairwise non-adjacent, both for graphs of bounded maximum degree and, more generally, for graphs excluding a topological minor. We further show better bounds in the subcubic case, and in particular obtain a tight result for two paths using a computer-assisted proof.
Improved Shortest Path Restoration Lemmas for Multiple Edge Failures: Trade-offs Between Fault-tolerance and Subpaths
The restoration lemma is a classic result by Afek, Bremler-Barr, Kaplan, Cohen, and Merritt [PODC '01], which relates the structure of shortest paths in a graph $G$ before and after some edges in the graph fail. Their work shows that, after one edge failure, any replacement shortest path avoiding this failing edge can be partitioned into two pre-failure shortest paths. More generally, this implies an additive tradeoff between fault tolerance and subpath count: for any $f, k$, we can partition any $f$-edge-failure replacement shortest path into $k+1$ subpaths which are each an $(f-k)$-edge-failure replacement shortest path. This generalized result has found applications in routing, graph algorithms, fault tolerant network design, and more.
Our main result improves this to a multiplicative tradeoff between fault tolerance and subpath count. We show that for all $f, k$, any $f$-edge-failure replacement path can be partitioned into $O(k)$ subpaths that are each an $(f/k)$-edge-failure replacement path. We also show an asymptotically matching lower bound. In particular, our results imply that the original restoration lemma is exactly tight in the case $k=1$, but can be significantly improved for larger $k$. We also show an extension of this result to weighted input graphs, and we give efficient algorithms that compute path decompositions satisfying our improved restoration lemmas.
A short proof of the existence of a minor-universal countable planar graph
We produce a new, shorter construction of a minor-universal planar graph.
Block-and-hole graphs: Constructibility and $(3,0)$-sparsity
We show that minimally 3-rigid block-and-hole graphs, with one block or one hole, are characterised as those which are constructible from $K_3$ by vertex splitting, and also, as those having associated looped face graphs which are $(3,0)$-tight. This latter property can be verified in polynomial time by a form of pebble game algorithm. We also indicate connections to the rigidity properties of polyhedral surfaces known as origami and to graph rigidity in $\ell_p^3$ for $p\not=2$.
Strong arc decompositions of split digraphs
A {\bf strong arc decomposition} of a digraph $D=(V,A)$ is a partition of its arc set $A$ into two sets $A_1,A_2$ such that the digraph $D_i=(V,A_i)$ is strong for $i=1,2$. Bang-Jensen and Yeo (2004) conjectured that there is some $K$ such that every $K$-arc-strong digraph has a strong arc decomposition. They also proved that with one exception on 4 vertices every 2-arc-strong semicomplete digraph has a strong arc decomposition. Bang-Jensen and Huang (2010) extended this result to locally semicomplete digraphs by proving that every 2-arc-strong locally semicomplete digraph which is not the square of an even cycle has a strong arc decomposition. This implies that every 3-arc-strong locally semicomplete digraph has a strong arc decomposition. A {\bf split digraph} is a digraph whose underlying undirected graph is a split graph, meaning that its vertices can be partioned into a clique and an independent set. Equivalently, a split digraph is any digraph which can be obtained from a semicomplete digraph $D=(V,A)$ by adding a new set $V'$ of vertices and some arcs between $V'$ and $V$. In this paper we prove that every 3-arc-strong split digraph has a strong arc decomposition which can be found in polynomial time and we provide infinite classes of 2-strong split digraphs with no strong arc decomposition. We also pose a number of open problems on split digraphs.
Three-cuts are a charm: acyclicity in 3-connected cubic graphs
Published in Combinatorica 45, 11 (2025). ePDF: https://rdcu.be/d9G2O
• View Publication
• BIB
Let $G$ be a bridgeless cubic graph. In 2023, the three authors solved a conjecture (also known as the $S_4$-Conjecture) made by Mazzuoccolo in 2013: there exist two perfect matchings of $G$ such that the complement of their union is a bipartite subgraph of $G$. They actually show that given any $1^+$-factor $F$ (a spanning subgraph of $G$ such that its vertices have degree at least 1) and an arbitrary edge $e$ of $G$, there exists a perfect matching $M$ of $G$ containing $e$ such that $G\setminus (F\cup M)$ is bipartite. This is a step closer to comprehend better the Fan--Raspaud Conjecture and eventually the Berge--Fulkerson Conjecture. The $S_4$-Conjecture, now a theorem, is also the weakest assertion in a series of three conjectures made by Mazzuoccolo in 2013, with the next stronger statement being: there exist two perfect matchings of $G$ such that the complement of their union is an acyclic subgraph of $G$. Unfortunately, this conjecture is not true: Jin, Steffen, and Mazzuoccolo later showed that there exists a counterexample admitting 2-cuts. Here we show that, despite of this, every cyclically 3-edge-connected cubic graph satisfies this second conjecture.
Limit-closed Profiles
Tangle-tree theorems are an important tool in structural graph theory, and abstract separation systems are a very general setting in which tangle-tree theorems can still be formulated and proven. For infinite abstract separation systems, so far tangle-tree theorems have only been shown for special cases of separation systems, in particular when the separation system arises from a (locally finite) infinite graph. We present a tangle-tree theorem for infinite separation systems where we do not place restrictions on the separation system itself but on the tangles to be arranged in a tree.
Turán Colourings in Off-Diagonal Ramsey Multiplicity
The \emph{Ramsey multiplicity constant} of a graph $H$ is the limit as $n$ tends to infinity of the minimum density of monochromatic labeled copies of $H$ in a $2$-edge colouring of $K_n$. Fox and Wigderson recently identified a large family of graphs whose Ramsey multiplicity constants are attained by sequences of ``Turán colourings''; i.e. colourings in which one of the colour classes forms the edge set of a balanced complete multipartite graph. Each graph in their family comes from taking a connected non-3-colourable graph with a critical edge and adding many pendant edges. We extend their result to an off-diagonal variant of the Ramsey multiplicity constant which involves minimizing a weighted sum of red copies of one graph and blue copies of another.
Perfect Roman Domination and Unique Response Roman Domination
The idea of enumeration algorithms with polynomial delay is to polynomially bound the running time between any two subsequent solutions output by the enumeration algorithm. While it is open for more than four decades if all minimal dominating sets of a graph can be enumerated in output-polynomial time, it has recently been proven that pointwise-minimal Roman dominating functions can be enumerated even with polynomial delay. The idea of the enumeration algorithm was to use polynomial-time solvable extension problems. We use this as a motivation to prove that also two variants of Roman dominating functions studied in the literature, named perfect and unique response, can be enumerated with polynomial delay. This is interesting since Extension Perfect Roman Domination is W[1]-complete if parameterized by the weight of the given function and even W[2]-complete if parameterized by the number vertices assigned 0 in the pre-solution, as we prove. Otherwise, efficient solvability of extension problems and enumerability with polynomial delay tend to go hand-in-hand. We achieve our enumeration result by constructing a bijection to Roman dominating functions, where the corresponding extension problem is polynomimaltime solvable. Furthermore, we show that Unique Response Roman Domination is solvable in polynomial time on split graphs, while Perfect Roman Domination is NP-complete on this graph class, which proves that both variations, albeit coming with a very similar definition, do differ in some complexity aspects. This way, we also solve an open problem from the literature.
On the spectra of token graphs of cycles and other graphs
The $k$-token graph $F_k(G)$ of a graph $G$ is the graph whose vertices are the $k$-subsets of vertices from $G$, two of which being adjacent whenever their symmetric difference is a pair of adjacent vertices in $G$. It is a known result that the algebraic connectivity (or second Laplacian eigenvalue) of $F_k(G)$ equals the algebraic connectivity of $G$.
In this paper, we first give results that relate the algebraic connectivities of a token graph and the same graph after removing a vertex. Then, we prove the result on the algebraic connectivity of 2-token graphs for two infinite families: the odd graphs $O_r$ for all $r$, and the multipartite complete graphs $K_{n_1,n_2,\ldots,n_r}$ for all $n_1,n_2,\ldots,n_r$ In the case of cycles, we present a new method that allows us to compute the whole spectrum of $F_2(C_n)$. This method also allows us to obtain closed formulas that give asymptotically exact approximations for most of the eigenvalues of $F_2(\textit{}C_n)$.
Eulerian Polynomials for Digraphs
Given an $n$-vertex digraph $D$ and a labeling $σ:V(D)\to [n]$, we say that an arc $u\to v$ of $D$ is a descent of $σ$ if $σ(u)>σ(v)$. Foata and Zeilberger introduced a generating function $A_D(t)$ for labelings of $D$ weighted by descents, which simultaneously generalizes both Eulerian polynomials and Mahonian polynomials. Motivated by work of Kalai, we look at problems related to $-1$ evaluations of $A_D(t)$. In particular, we give a combinatorial interpretation of $|A_D(-1)|$ in terms of "generalized alternating permutations" whenever the underlying graph of $D$ is bipartite.
Flat origami is Turing Complete
"Flat origami" refers to the folding of flat, zero-curvature paper such that the finished object lies in a plane. Mathematically, flat origami consists of a continuous, piecewise isometric map $f:P\subseteq\mathbb{R}^2\to\mathbb{R}^2$ along with a layer ordering $λ_f:P\times P\to \{-1,1\}$ that tracks which points of $P$ are above/below others when folded. The set of crease lines that a flat origami makes (i.e., the set on which the mapping $f$ is non-differentiable) is called its "crease pattern." Flat origami mappings and their layer orderings can possess surprisingly intricate structure. For instance, determining whether or not a given straight-line planar graph drawn on $P$ is the crease pattern for some flat origami has been shown to be an NP-complete problem, and this result from 1996 led to numerous explorations in computational aspects of flat origami. In this paper we prove that flat origami, when viewed as a computational device, is Turing complete, or more specifically P-complete. We do this by showing that flat origami crease patterns with "optional creases" (creases that might be folded or remain unfolded depending on constraints imposed by other creases or inputs) can be constructed to simulate Rule 110, a one-dimensional cellular automaton that was proven to be Turing complete by Matthew Cook in 2004.
On the pre- and post-positional semi-random graph processes
We study the semi-random graph process, and a variant process recently suggested by Nick Wormald. We show that these two processes are asymptotically equally fast in constructing a semi-random graph $G$ that has property ${\mathcal P}$, for the following examples of ${\mathcal P}$:
- ${\mathcal P}$ is the set of graphs containing a $d$-degenerate subgraph, where $d\ge 1$ is fixed;
- ${\mathcal P}$ is the set of $k$-connected graphs, where $k\ge 1$ is fixed. In particular, our result of the $k$-connectedness above settles the open case $k=2$ of the original semi-random graph process.
We also prove that there exist properties ${\mathcal P}$ where the two semi-random graph processes do not construct a graph in ${\mathcal P}$ asymptotically equally fast. We further propose some conjectures on ${\mathcal P}$ for which the two processes perform differently.
The Game of Cycles with Sources Allowed
In this paper, we introduce a variant of Francis Su's "Game of Cycles," that we call "Cycles with Sources." The only change to the rules is permitting nodes to be sources, while sinks are still prohibited. Despite this minor change in the rules, we show that even on simple games, like line graphs, there is a great change in the outcome of optimal play, which we fully analyze using Sprague-Grundy Theory.
The $χ$-binding function of $d$-directional segment graphs
Given a positive integer $d$, the class $d$-DIR is defined as all those intersection graphs formed from a finite collection of line segments in ${\mathbb R}^2$ having at most $d$ slopes. Since each slope induces an interval graph, it easily follows for every $G$ in $d$-DIR with clique number at most $ω$ that the chromatic number $χ(G)$ of $G$ is at most $dω$. We show for every even value of $ω$ how to construct a graph in $d$-DIR that meets this bound exactly. This partially confirms a conjecture of Bhattacharya, Dvořák and Noorizadeh. Furthermore, we show that the $χ$-binding function of $d$-DIR is $ω\mapsto dω$ for $ω$ even and $ω\mapsto d(ω-1)+1$ for $ω$ odd. This extends an earlier result by Kostochka and Nešetřil, which treated the special case $d=2$.
Further results on the number of cliques in graphs covered by long cycles
Let $Γ(n,k)$ be the set of $2$-connected $n$-vertex graphs containing an edge that is not on any cycle of length at least $k+1.$ Let $g_s(n,k)$ denote the maximum number of $s$-cliques in a graph in $Γ(n,k).$ Recently, Ji and Ye [SIAM J. Discrete Math., 37 (2023) 917-924] determined $g_s(n,k).$ They remark that it is interesting to characterize the extremal graphs. In this paper, we give such a characterization.
Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice
Published in Ars Math. Contemp. 24(4): 4 (2024)
• View Publication
• BIB
We work with simple graphs in ZF (Zermelo--Fraenkel set theory without the Axiom of Choice (AC)) and assume that the sets of colors can be either well-orderable or non-well-orderable to prove that the following statements are equivalent to Kőnig Lemma: (a) Any infinite locally finite connected graph G such that the minimum degree of G is greater than k, has a chromatic number for any fixed integer k greater than or equal to 2. (b) Any infinite locally finite connected graph has a chromatic index. (c) Any infinite locally finite connected graph has a distinguishing number. (d) Any infinite locally finite connected graph has a distinguishing index.
Our results strengthen some results of Stawiski from a recent paper on the role of the Axiom of Choice in proper and distinguishing colorings since he assumed that the sets of colors can be well-ordered.
We also formulate new conditions for the existence of irreducible proper coloring, minimal edge cover, maximal matching, and minimal dominating set in connected bipartite graphs and locally finite connected graphs, which are either equivalent to AC or Kőnig Lemma. Moreover, we show that if the Axiom of Choice for families of 2 element sets holds, then the Shelah--Soifer graph has a minimal dominating set.
Conjugacy Class Growth in Virtually Abelian Groups
Published in journal of Groups, complexity, cryptology, Volume 17, Issue 1 (February 24, 2025) gcc:13459
• View Publication
• BIB
We study the conjugacy class growth function in finitely generated virtually abelian groups. That is, the number of elements in the ball of radius $n$ in the Cayley graph which intersect a fixed conjugacy class. In the class of virtually abelian groups, we prove that this function is always asymptotically equivalent to a polynomial. Furthermore, we show that in any affine Coxeter group, the degree of polynomial growth of a conjugacy class is equivalent to the reflection length of any element of that class.