graph
34516 papers tagged with this keyword
The Neighbour Sum Problem on Trees
A graph $\mathcal G = (\mathcal V, \mathcal E)$ is said to satisfy the Neighbour Sum Property if there exists some $f:\mathcal V\to\mathbb R$ such that $f\not\equiv 0$ and it maps every vertex to the sum of the values taken by its neighbours. In this article, we provide an algorithm to check whether a given finite tree satisfies the neighbour sum property. We also find a large class of trees on $n$ vertices that satisfy the property.
Approximate Itai-Zehavi conjecture for random graphs
A famous conjecture by Itai and Zehavi states that, for every $d$-vertex-connected graph $G$ and every vertex $r$ in $G$, there are $d$ spanning trees of $G$ such that, for every vertex $v$ in $G\setminus \{r\}$, the paths between $r$ and $v$ in different trees are internally vertex-disjoint. We show that with high probability the Itai-Zehavi conjecture holds asymptotically for the Erdős-Rényi random graph $G(n,p)$ when $np= ω(\log n)$ and for random regular graphs $G(n,d)$ when $d= ω(\log n)$. Moreover, we essentially confirm the conjecture up to a constant factor for sparser random regular graphs. This answers positively a question of Draganić and Krivelevich. Our proof makes use of recent developments on sprinkling techniques in random regular graphs.
Factorization norms and an inverse theorem for MaxCut
We prove that Boolean matrices with bounded $γ_2$-norm or bounded normalized trace norm must contain a linear-sized all-ones or all-zeros submatrix, verifying a conjecture of Hambardzumyan, Hatami, and Hatami. We also present further structural results about Boolean matrices of bounded $γ_2$-norm and discuss applications in communication complexity, operator theory, spectral graph theory, and extremal combinatorics.
As a key application, we establish an inverse theorem for MaxCut. A celebrated result of Edwards states that every graph $G$ with $m$ edges has a cut of size at least $\frac{m}{2}+\frac{\sqrt{8m+1}-1}{8}$, with equality achieved by complete graphs with an odd number of vertices. To contrast this, we prove that if the MaxCut of $G$ is at most $\frac{m}{2}+O(\sqrt{m})$, then $G$ must contain a clique of size $Ω(\sqrt{m})$.
Translating between the representations of an acyclic convex geometry of bounded degree
We consider the problem of translating between irreducible closed sets and implicational bases in closure systems. To date, the complexity status of this problem is widely open, and it is further known to generalize the notorious hypergraph dualization problem, even in the context of acyclic convex geometries, i.e., closure systems admitting an acyclic implicational base. This paper studies this later class with a focus on the degree, which corresponds to the maximal number of implications in which an element occurs. We show that the problem is tractable for bounded values of this parameter, even when relaxed to the notions of premise- and conclusion-degree. Our algorithms rely on structural properties of acyclic convex geometries and involve various techniques from algorithmic enumeration such as solution graph traversal, saturation techniques, and a sequential approach leveraging from acyclicity. They are shown to perform in incremental-polynomial time. Finally, we complete these results by showing that our running times cannot be improved to polynomial delay using the standard framework of flashlight search.
The 3-path-connectivity of the augmented cubes
Connectivity is a cornerstone concept in graph theory, essential for evaluating the robustness of networks against failures. To better capture fault tolerance in complex systems, researchers have extended classical connectivity notions, one such extension being the $k$-path-connectivity, $π_k(G)$, introduced by Hager. Given a connected simple graph $G = (V, E)$ and a subset $D \subseteq V$ with $|D| \geq 2$, a $D$-path is a path that includes all vertices in $D$. A collection of such paths is internally disjoint if they intersect only at the vertices of $D$ and share no edges. The maximum number of internally disjoint $D$-paths in $G$ is denoted $π_G(D)$, and the $k$-path-connectivity is defined as $π_k(G) = \min \{ π_G(D) \mid D \subseteq V(G),\ |D| = k\}$. In this paper, we investigate the 3-path-connectivity of the augmented cube $AQ_n$, a variant of the hypercube known for its enhanced symmetry and fault-tolerant structure. We establish the exact value of $π_3(AQ_n)$ and show that: $$
π_3(AQ_n) =
\begin{cases}
\frac{3n}{2} - 2, & \text{if } n \text{ is even},
\frac{3(n - 1)}{2} - 1, & \text{if } n \text{ is odd}.
\end{cases}
$$
On Link-irregular labelings of Graphs
We introduce the concept of link-irregular labelings for graphs, extending the notion of link-irregular graphs through edge labeling with positive integers. A labeling is link-irregular if every vertex has a uniquely labeled subgraph induced by its neighbors. We establish necessary and sufficient conditions for the existence of such labelings and define the link-irregular labeling number $η(G)$ as the minimum number of distinct labels required. Our main results include necessary and sufficient conditions for the existence of link-irregular labelings. We show that certain families of graphs, such as bipartite graphs, trees, cycles, hypercubes, and complete multipartite graphs, do not admit link-irregular labelings, while complete graphs and wheel graphs do. Specifically, we prove that $η(K_n) = 2$ for $n \geq 6$ and $η(K_n) = 3$ for $n \in \{3,4,5\}$. For wheel graphs $W_n$, we establish that $η(W_n) \approx \sqrt{2n}$ asymptotically. Finally, we prove that for every positive integer $n$, there exists a graph with a link-irregular labeling number exactly $n$, and provide several results on graph operations that preserve labeling numbers.
Compact Representation of Semilinear and Terrain-like Graphs
We consider the existence and construction of \textit{biclique covers} of graphs, consisting of coverings of their edge sets by complete bipartite graphs. The \textit{size} of such a cover is the sum of the sizes of the bicliques. Small-size biclique covers of graphs are ubiquitous in computational geometry, and have been shown to be useful compact representations of graphs. We give a brief survey of classical and recent results on biclique covers and their applications, and give new families of graphs having biclique covers of near-linear size.
In particular, we show that semilinear graphs, whose edges are defined by linear relations in bounded dimensional space, always have biclique covers of size $O(n\polylog n)$. This generalizes many previously known results on special classes of graphs including interval graphs, permutation graphs, and graphs of bounded boxicity, but also new classes such as intersection graphs of L-shapes in the plane. It also directly implies the bounds for Zarankiewicz's problem derived by Basit, Chernikov, Starchenko, Tao, and Tran (\textit{Forum Math. Sigma}, 2021).
We also consider capped graphs, also known as terrain-like graphs, defined as ordered graphs forbidding a certain ordered pattern on four vertices. Terrain-like graphs contain the induced subgraphs of terrain visibility graphs. We give an elementary proof that these graphs admit biclique partitions of size $O(n\log^3 n)$. This provides a simple combinatorial analogue of a classical result from Agarwal, Alon, Aronov, and Suri on polygon visibility graphs (\textit{Discrete Comput. Geom.} 1994).
Finally, we prove that there exists families of unit disk graphs on $n$ vertices that do not admit biclique coverings of size $o(n^{4/3})$, showing that we are unlikely to improve on Szemerédi-Trotter type incidence bounds for higher-degree semialgebraic graphs.
Faces in rectilinear drawings of complete graphs
Published in European Journal of Combinatorics, 2025
• Search Publication
We initiate the study of extremal problems about faces in convex rectilinear drawings of~$K_n$, that is, drawings where vertices are represented by points in the plane in convex position and edges by line segments between the points representing the end-vertices. We show that if a convex rectilinear drawing of $K_n$ does not contain a common interior point of at least three edges, then there is always a face forming a convex 5-gon while there are such drawings without any face forming a convex $k$-gon with $k \geq 6$.
A convex rectilinear drawing of $K_n$ is \emph{regular} if its vertices correspond to vertices of a regular convex $n$-gon. We characterize positive integers $n$ for which regular drawings of $K_n$ contain a face forming a convex 5-gon.
To our knowledge, this type of problems has not been considered in the literature before and so we also pose several new natural open problems.
Edge-colouring and orientations: applications to degree-boundedness and $χ$-boundedness
We prove that every $2$-edge-coloured graph with sufficiently large minimum degree contains a monochromatic induced subgraph whose minimum degree remains large.
As a consequence, we deduce that some classes of graphs are degree-bounded. A class $\mathcal{G}$ is {\it degree-bounded} if, for every integer $s$, there exists $d=d(s)$ such that every graph $G\in \mathcal{G}$ either contains $K_{s,s}$ or has minimum degree at most $d$. We obtain that the following classes are degree-bounded: (i) for every $k$, the graphs $G$ whose edge-set can be $k$-coloured such that no even hole of $G$ is monochromatic; (ii) for every fixed antidirected forest $F$, the graphs admitting an orientation without any induced copy of $F$; (iii) for every $\ell\geq 4$, the graphs admitting an orientation without any induced antidirected cycle of length at least $\ell$.
For $k=2$, class (i) contains odd-signable graphs. Class (ii) characterises the oriented graphs $H$ such that the class of graphs admitting an orientation without any induced copy of $H$ is degree-bounded. For $\ell=5$, class (iii) contains Burling graphs. In case (i) and case (iii) for $\ell=4$, we further obtain that the classes are polynomially $χ$-bounded.
Efficient Algorithms for Learning and Compressing Monophonic Halfspaces in Graphs
Abstract notions of convexity over the vertices of a graph, and corresponding notions of halfspaces, have recently gained attention from the machine learning community. In this work we study monophonic halfspaces, a notion of graph halfspaces defined through closure under induced paths. Our main result is a $2$-satisfiability based decomposition theorem, which allows one to represent monophonic halfspaces as a disjoint union of certain vertex subsets. Using this decomposition, we achieve efficient and (nearly) optimal algorithms for various learning problems, such as teaching, active, and online learning. Most notably, we obtain a polynomial-time algorithm for empirical risk minimization. Independently of the decomposition theorem, we obtain an efficient, stable, and proper sample compression scheme. This makes monophonic halfspaces efficiently learnable with proper learners and linear error rate $1/\varepsilon$ in the realizable PAC setting. Our results answer open questions from the literature, and show a stark contrast with geodesic halfspaces, for which most of the said learning problems are NP-hard.
Prime graphical parking functions and strongly recurrent configurations of the Abelian sandpile model
This work investigates the duality between two discrete dynamical processes: parking functions, and the Abelian sandpile model (ASM). Specifically, we are interested in the extension of classical parking functions, called $G$-parking functions, introduced by Postnikov and Shapiro in 2004. $G$-parking functions are in bijection with recurrent configurations of the ASM on $G$. In this work, we define a notion of prime $G$-parking functions. These are parking functions that are in a sense "indecomposable". Our notion extends the concept of primeness for classical parking functions, as well as the notion of prime $(p,q)$-parking functions introduced by Armon et al. in recent work. We show that from the ASM perspective, prime $G$-parking functions correspond to certain configurations of the ASM, which we call strongly recurrent. We study this new connection on a number of graph families, including wheel graphs, complete graphs, complete multi-partite graphs, and complete split graphs.
Catching Rats in $H$-minor-free Graphs
We show that every $H$-minor-free graph that also excludes a $(k \times k)$-grid as a minor has treewidth/branchwidth bounded from above by a function $f(t,k)$ that is linear in $k$ and polynomial in $t := |V(H)|$. Such a result was proven originally by [Demaine & Hajiaghayi, Combinatorica, 2008], where $f$ was indeed linear in $k$. However the dependency in $t$ in this result was non-explicit (and huge). Later, [Kawarabayashi & Kobayashi, JCTB, 2020] showed that this bound can be estimated to be $f(t,k)\in 2^{\mathcal{O}(t\log t)} \cdot k$. Wood recently asked whether $f$ can be pushed further to be polynomial, while maintaining the linearity on $k$. We answer this in a particularly strong sense, by showing that the treewidth/branchwidth of $G$ is in $\mathcal{O}(gk + t^{2304}),$ where $g$ is the Euler genus of $H$. This directly yields $f(t,k)= \mathcal{O}(t^2k + t^{2304})$.
Our methods build on techniques for branchwidth and on new bounds and insights for the Graph Minor Structure Theorem (GMST) due to [Gorsky, Seweryn & Wiederrecht, 2025, arXiv:2504.02532]. In particular, we prove a variant of the GMST that ensures some helpful properties for the minor relation. We further employ our methods to provide approximation algorithms for the treewidth/branchwidth of $H$-minor-free graphs. In particular, for every $\varepsilon > 0$ and every $t$-vertex graph $H$ with Euler genus $g$, we give a $(g + \varepsilon)$-approximation algorithm for the branchwidth of $H$-minor-free graphs running in $2^{\mathsf{poly}(t) / \varepsilon} \cdot \mathsf{poly}(n)$-time. Our algorithms explicitly return either an appropriate branch-decomposition or a grid-minor certifying a negative answer.
Parameter Identifiability of Linear-Compartmental Mammillary Models
Linear compartmental models are a widely used tool for analyzing systems arising in biology, medicine, and more. In such settings, it is essential to know whether model parameters can be recovered from experimental data. This is the identifiability problem. For a class of linear compartmental models with one input and one output, namely, those for which the underlying graph is a bidirected tree, Bortner et al. completely characterized which such models are structurally identifiability, which means that every parameter is generically locally identifiable. Here, we delve deeper, by examining which individual parameters are locally versus globally identifiable. Specifically, we analyze mammillary models, which consist of one central compartment which is connected to all other (peripheral) compartments. For these models, which fall into five infinite families, we determine which individual parameters are locally versus globally identifiable, and we give formulas for some of the globally identifiable parameters in terms of the coefficients of input-output equations. Our proofs rely on a combinatorial formula due to Bortner et al. for these coefficients.
Evasive Random Walks and the Clairvoyant Demon
Published in Random Structures & Algorithms, vol. 20 no. 2 (2002), pp. 239-248
• Search Publication
A pair of random walks $(R,S)$ on the vertices of a graph $G$ is {\it successful} if two tokens can be scheduled (moving only one token at a time) to travel along $R$ and $S$ without colliding. We consider questions related to P. Winkler's {\it clairvoyant demon problem}, which asks whether for random walks $R$ and $S$ on $G$, $Pr[\ (R,S) \mbox{ is successful }] >0$. We introduce the notion of an {\it evasive} walk on $G$: a walk $S$ so that for a random walk $R$ on $G$, $Pr[\ (R,S) \mbox{ is successful }]>0$. We characterize graphs $G$ having evasive walks, giving explicit constructions on such $G$. On a cycle, we show that with high probability the tokens must collide quickly. Finally we consider two variants of the problem for which, under certain assumptions on the graph $G$, we provide algorithms that schedule $(R,S)$ successfully with positive probability.
Enumeration of geometric Weierstrass points of metric graphs
A classical result states that on a smooth algebraic curve of genus $g$ the number of Weierstrass points, counted with multiplicity, is $g^3-g$. In this paper, we introduce the notion of geometric Weierstrass points of metric graphs and show that a generic metric graph of genus $g$ has $g^3-g$ geometric Weierstrass points counted with multiplicity. Our methods also provide a new proof of the existence of Weierstrass points on metric graphs of genus bigger than or equal to $2$.
5-regular graphs and the 3-dimensional rigidity matroid
A bar-joint framework $(G,p)$ in Euclidean $d$-space is rigid if the only edge-length-preserving continuous motions arise from isometries of $\mathbb{R}^d$. In the generic case, rigidity is determined by the generic $d$-dimensional rigidity matroid of $G$. The combinatorial nature of this matroid is well understood when $d=1,2$ but open when $d\geq 3$. Jackson and Jordán 2005 characterised independence in this matroid for connected graphs with minimum degree at most $d+1$ and maximum degree at most $d+2$. Their characterisation is known to be false for $(d+2)$-regular graphs when $d\geq 4$ but when $d=3$ it remained open. Indeed they conjectured that their characterisation extends to 5-regular graphs when $d=3$. The purpose of this article is to prove their conjecture. That is, we prove that every 5-regular graph that has at most $3n-6$ edges in any subgraph on $n\geq 3$ vertices is independent in the generic 3-dimensional rigidity matroid.
Density of Traceable Graphs
We establish tight lower and upper bounds on the number of edges in traceable graphs in several classes of dense graphs. A graph is traceable if it has a Hamiltonian path. We show that the bound is: - quadratic for the class of graphs of bounded neighborhood diversity, bounded size of maximum induced matching or bounded cluster vertex deletion number; - n log n for the class of cographs or, more generaly, bounded modular-width, and for the class of bounded distance to cograph; and - sligthly superlinear for the class of bounded shrub-depth.
The acyclic directed bunkbed conjecture is false
Published in European J. Combin. 132 (2026) 104289
• View Publication
• BIB
We construct a simple acyclic directed graph for which the Bunkbed Conjecture is false, thereby resolving conjectures posed by Leander and by Hollom.
On Inversion Graphs of Permutations
In this dissertation, we explore the structure of inversion graphs of permutations--a class of graphs that naturally arises by representing each permutation as a graph, where vertices correspond to entries and edges encode inversions. Advantageously, this class also arises from several other definitions that relate these graphs to geometry and partially ordered sets. By leveraging these different perspectives, we are equipped to gain many insights into their combinatorial intricacies.
Statistics of maximal independent sets in grid-like graphs
An independent set $I$ in a graph $G$ is maximal if $I$ is not properly contained in any other independent set of $G$. The study of maximal independent sets (MIS's) in various graphs is well-established, often focusing upon enumeration of the set of MIS's. For an arbitrary graph $G$, it is typically quite difficult to understand the number and structure of MIS's in $G$; however, when $G$ has regular structure, the problem may be more tractable. One class of graphs for which enumeration of MIS's is fairly well-understood is the rectangular grid graphs $G_{m\times n}$.
We say a graph is grid-like if it is locally isomorphic to a square grid, though the global structure of such a graph might resemble a surface such as a torus or Möbius strip. We study the properties of MIS's in various types of grid-like graphs, in particular determining parity of the set of MIS's, average size of MIS's, and number of pairwise non-isomorphic MIS's in various grid-like graphs.