graph
34516 papers tagged with this keyword
Partitions of complete twisted graphs into plane spanning trees
Published in Discrete and Computational Geometry, Graphs, and Games. JCDCGGG 2022. Lecture Notes in Computer Science, vol 14364, 210 - 218
• View Publication
• BIB
We characterize all partitions of the complete twisted graph $T_{2n}$ into plane spanning trees. In the case of partitions of $T_{2n}$ into isomorphic plane spanning trees, we show that all trees in these partitions must be balanced double stars. As a consequence of our results, any complete topological graph with $n$ vertices contains a complete topological subgraph with $m \geq c\log^{1/8} n$ vertices that admits a partition into plane spanning trees.
Efficient k-mer Dataset Compression Using Eulerian Covers of de Bruijn Graphs and BWT
Transforming an input sequence into its constituent k-mers is a fundamental operation in computational genomics. To reduce storage costs associated with k-mer datasets, we introduce and formally analyze MCTR, a novel two-stage algorithm for lossless compression of the k-mer multiset. Our core method achieves a minimal text representation (W) by computing an optimal Eulerian cover (minimum string count) of the dataset's de Bruijn graph, enabled by an efficient local Eulerization technique. The resulting strings are then further compressed losslessly using the Burrows-Wheeler Transform (BWT).
Leveraging de Bruijn graph properties, MCTR is proven to achieve linear time and space complexity and guarantees complete reconstruction of the original k-mer multiset, including frequencies.
Using simulated and real genomic data, we evaluated MCTR's performance (list and frequency representations) against the state-of-the-art lossy unitigging tool greedytigs (from matchtigs). We measured core execution time and the raw compression ratio cmpr = weight(M)/weight(W), where M is the input sequence data). Benchmarks confirmed MCTR's data fidelity but revealed performance trade-offs inherent to lossless representation. GreedyTigs was significantly faster. Regarding raw compression, GreedyTigs achieved high ratios (cmpr approx 14) on noisy real data for its lossy sequence output. On real data, MCTR (frequency) showed moderate raw compression (cmpr approx 1.5-2.7), while MCTR (list) showed none (cmpr approx 1). Importantly, the full MCTR+BWT pipeline significantly outperforms BWT alone for enhanced lossless compression. Our results establish MCTR as a valuable, theoretically grounded tool for applications demanding efficient, lossless storage and analysis of k-mer multisets, complementing lossy methods optimized for sequence summarization.
Reconstruction of C_4-free graphs from the set of closed neighborhoods and digital convexity
Fomin, Kratochvíl, Lokshtanov, Mancini, and Telle showed that every $C_{4}$-free graph is reconstructible from the \emph{multiset} of closed neighborhoods. We strengthen their result proving that every $C_{4}$-free graph is reconstructible from the \emph{set} of closed neighborhoods.
This extends the work of Lafrance et al.\ by showing that all $C_{4}$-free graphs, and hence all graphs of girth at least five, are reconstructible from their digitally convex sets.
A subset $S$ of vertices in a graph $G$ is digitally convex if, for every vertex $v \notin S$, there is a private neighbor of $v$.
We establish that reconstruction from digitally convex sets is equivalent to reconstruction from the set of closed neighborhoods.
Improved Gilbert-Varshamov bound for sum-rank-metric codes via graph theory
We use a graph-theoretic approach which yields improvements on the known Gilbert-Varshamov (GV) bound for sum-rank-metric codes for certain parameters. In particular, we show that asymptotically $\mathbb{F}_q^{\mathbf{n} \times \mathbf{m}}$ can be partitioned into sum-rank-metric codes whose average size is bigger than the GV bound by a logarithmic factor for these parameters. Finally, we discuss the connection of such codes to set-coloring Ramsey numbers.
Sandwiching between random regular graphs and Erdős-Rényi graphs: configuration model and unions of perfect matchings
We establish new couplings among several random graph and multigraph models related to the random regular graph $G(n,d)$, including the configuration model and unions of random perfect matchings. As a main result, we verify the Kim-Vusandwich conjecture for all large degrees $d=n-O(\log^4 n)$ and prove a weakened version for $d=O(\log^4 n)$, which are the only remaining open cases. Our approach introduces a coupling framework that links $G(n,d)$ and $G(n,p)$ through a chain of intermediate models.
O(1)-Distortion Planar Emulators for String Graphs
We show that every unweighted string graph $G$ has an $O(1)$-distortion planar emulator: that is, there exists an (edge-weighted) planar graph $H$ with $V(H) = V(G)$, such that every pair of vertices $(u,v)$ satisfies $δ_G(u,v) \le δ_H(u,v) \le O(1) \cdot δ_G(u,v).$
Evacuation of rectangular standard Young tableaux corresponds to reflection of $\mathfrak{sl}_n$ webs
Web graphs form a family of planar directed graphs with boundary that can be used to model quantum $\mathfrak{sl}_n$-invariant vectors. Standard Young tableaux on an $n \times k$ rectangle naturally index a basis for $\mathfrak{sl}_n$ web graphs. We prove that evacuation of the tableau $T$ corresponds to reflection of the associated web graph $w_T$ up to equivalence under a specific set of edge-flip relations. This extends a result of Patrias and Pechenik for the cases $n=2,3$ and mirrors analogous results about rotation of web graphs corresponding to promotion of tableau by Peterson-Pylyavskyy-Rhoades for $n=3$ and Gaetz-Pechenik-Pfannerer-Striker-Swanson for $n=4$. We use an intermediate object called a multicolored noncrossing matching, which is closely related to the notion of strandings recently introduced by Russell and the fourth author.
Boundary vertices of Strongly Connected Digraphs with respect to `Sum Metric'
Suppose $D = (V, E)$ is a strongly connected digraph and $u, v \in V (D)$. Among the many metrics in graphs, the sum metric warrants further exploration. The sum distance $sd(u, v)$ defined as $sd(u, v) =\overrightarrow{d}(u, v)+\overrightarrow{d}(v, u)$ is a metric where $\overrightarrow{d}(u, v)$ denotes the length of the shortest directed $u - v$ path in $D$. The four main boundary vertices in the digraphs are ``boundary vertices, contour vertices, eccentric vertices'', and ``peripheral vertices'' and their relationships have been studied. Also, an attempt is made to study the boundary-type sets of corona product of (di)graphs. The center of the corona product of two strongly connected digraphs is established. All the boundary-type sets and the center of the corona product are established in terms of factor digraphs.
Probability model of edge-fault tolerance for regular graphs with respect to edge connectivity
We consider the probability model of edge-fault tolerance of a network in the sense of connectivity with link faults. Using graph-theoretical notation, we define the edge-fault (EF) and Menger-type edge-fault (MEF) tolerances of a graph as the probabilities that the graph is connected and strongly Menger edge-connected when each edge has a certain failure probability, respectively. We derive an upper bound on the EF tolerance for regular graphs, which reveals an asymptotical behavior when graphs and edge failure probability are large enough. We also perform a simulation experiment on a number of randomly generated regular graphs and some typically well-used graphs. The numerical results show that, in addition to their well-structured properties for networks, Hypercubes, Möbius Cubes, Ary-Cubes and Circulant graphs have also higher EF and MEF tolerance in general. In particular, the Möbius Cube has both the highest EF and MEF tolerance among all involved graphs. The numerical results also hint that, in contrast to MEF tolerance, the EF tolerance of regular graphs is not strongly effected by the graph structure.
Laplacian Spectrum and Domination in Trees
For a finite simple undirected graph $G$, let $γ(G)$ denote the size of a smallest dominating set of $G$ and $μ(G)$ denote the number of eigenvalues of the Laplacian matrix of $G$ in the interval $[0,1)$, counting multiplicities. Hedetniemi, Jacobs and Trevisan [Eur. J. Comb. 2016] showed that for any graph $G$, $μ(G) \leqslant γ(G)$. Cardoso, Jacobs and Trevisan [Graphs Combin. 2017] asks whether the ratio $γ(T)/μ(T)$ is bounded by a constant for all trees $T$. We answer this question by showing that this ratio is less than $4/3$ for every tree. We establish the optimality of this bound by constructing an infinite family of trees where this ratio approaches $4/3$. We also improve this upper bound for trees in which all the vertices other than leaves and their parents have degree at least $k$, for every $k \geqslant 3$. We show that, for such trees $T$, $γ(T)/μ(T) < 1 + 1/((k-2)(k+1))$.
Total perfect codes in Cayley sum graphs of cyclic groups
We consider Cayley sum graphs over the cyclic group $\mathbb{Z}_n$ and aim to explore several necessary and sufficient conditions for the existence of total perfect codes in these graphs. Specifically, we examine various cases for the connection set of the graph including when it is periodic, aperiodic, or square-free. To this end, we utilize a correspondence that we first establish between total perfect codes and factorizations of groups, along with their algebraic properties. We then generalize some of these conditions to the direct product of cyclic groups, i.e. $\mathbb{Z}_{n_1} \times \dots \times \mathbb{Z}_{n_d}$.
Perfect difference families, perfect systems of difference sets and their applications
Let $v$ be a positive odd integer. A $(v,k,λ)$-perfect difference family (PDF) is a collection $\mathcal{F}$ of $k$-subsets of $\{0,1,\ldots,v-1\}$ such that the multiset $\bigcup_{F\in \mathcal{F}}\{x-y : x,y\in F, x>y\}$ covers each element of $\left\{1,2,\ldots,(v-1)/2\right\}$ exactly $λ$ times. Perfect difference families are a special class of perfect systems of difference sets. They were introduced by Bermond, Kotzig, and Turgeon in the 1970s, following a problem suggested by Erdős. In this paper, we prove that a $(v,4,λ)$-PDF exists if and only if $λ(v-1) \equiv 0 \pmod{12}$, $v \geq 13$, and $(v,λ) \notin \{(25,1),(37,1)\}$. This result resolves a nearly 50-year-old conjecture posed by Bermond. Perfect difference families find applications in radio astronomy, optical orthogonal codes for optical code-division multiple access systems, geometric orthogonal codes for DNA origami, difference triangle sets, additive sequences of permutations, and graceful graph labelings.
To establish our main result, we introduce a new concept termed a layered difference family. This concept provides a powerful and unified perspective that not only facilitates our proof of the main theorem but also simplifies recent existence proofs for various cyclic difference packings.
On Geometric Bipartite Graphs with Asymptotically Smallest Zarankiewicz Numbers
This paper considers the \textit{Zarankiewicz problem} in graphs with low-dimensional geometric representation (i.e., low Ferrers dimension). Our first result reveals a separation between bipartite graphs of Ferrers dimension three and four: while $Z(n;k) \leq 9n(k-1)$ for graphs of Ferrers dimension three, $Z(n;k) \in Ω\left(n k \cdot \frac{\log n}{\log \log n}\right)$ for Ferrers dimension four graphs (Chan & Har-Peled, 2023) (Chazelle, 1990). To complement this, we derive a tight upper bound of $2n(k-1)$ for chordal bigraphs and $54n(k-1)$ for grid intersection graphs (GIG), a prominent graph class residing in four Ferrers dimensions and capturing planar bipartite graphs as well as bipartite intersection graphs of rectangles. Previously, the best-known bound for GIG was $Z(n;k) \in O(2^{O(k)} n)$, implied by the results of Fox & Pach (2006) and Mustafa & Pach (2016). Our results advance and offer new insights into the interplay between Ferrers dimensions and extremal combinatorics.
A Freeable Matrix Characterization of Bipartite Graphs of Ferrers Dimension Three
Ferrer dimension, along with the order dimension, is a standard dimensional concept for bipartite graphs. In this paper, we prove that a graph is of Ferrer dimension three (equivalent to the intersection bigraph of orthants and points in ${\mathbb R}^3$) if and only if it admits a biadjacency matrix representation that does not contain $Γ= \begin{bmatrix} * & 1 & * \\ 1 & 0 & 1 \\ 0 & 1 & * \end{bmatrix}$ and $Δ= \begin{bmatrix} 1 & * & * \\ 0 & 1 & * \\ 1 & 0 & 1 \end{bmatrix}$, where $*$ denotes zero or one entry.
A proof of the Kim-Vu sandwich conjecture
In 2004, Kim and Vu conjectured that, when $d=ω(\log n)$, the random $d$-regular graph $G_d(n)$ can be sandwiched with high probability between two random binomial graphs $G(n,p)$ with edge probabilities asymptotically equal to $\frac{d}{n}$. That is, there should exist $p_*=(1-o(1))\frac{d}{n}$, $p^*=(1+o(1))\frac{d}{n}$ and a coupling $(G_*,G,G^*)$ such that $G_*\sim G(n,p_*)$, $G\sim G_d(n)$, $G^*\sim G(n,p^*)$, and $\mathbb{P}(G_*\subset G\subset G^*)=1-o(1)$. Known as the sandwich conjecture, such a coupling is desirable as it would allow properties of the random regular graph to be inferred from those of the more easily studied binomial random graph. The conjecture was recently shown to be true when $d\gg\log^4n$ by Gao, Isaev and McKay. In this paper, we prove the sandwich conjecture in full. We do so by analysing a natural coupling procedure introduced in earlier work by Gao, Isaev and McKay, which had only previously been done when $d\gg n/\sqrt{\log n}$.
A Classification of Long-Refinement Graphs for Colour Refinement
The Colour Refinement algorithm is a classical procedure to detect symmetries in graphs, whose most prominent application is in graph-isomorphism tests. The algorithm and its generalisation, the Weisfeiler-Leman algorithm, evaluate local information to compute a colouring for the vertices in an iterative fashion. Different final colours of two vertices certify that no isomorphism can map one onto the other. The number of iterations that the algorithm takes to terminate is its central complexity parameter. For a long time, it was open whether graphs that take the maximum theoretically possible number of Colour Refinement iterations actually exist. Starting from an exhaustive search on graphs of low degrees, Kiefer and McKay proved the existence of infinite families of such long-refinement graphs with degrees 2 and 3, thereby showing that the trivial upper bound on the iteration number of Colour Refinement is tight. In this work, we provide a complete characterisation of the long-refinement graphs with low (or, equivalently, high) degrees. We show that, with one exception, the aforementioned families are the only long-refinement graphs with maximum degree at most 3, and we fully classify the long-refinement graphs with maximum degree 4. To this end, via a reverse-engineering approach, we show that all low-degree long-refinement graphs can be represented as compact strings, and we derive multiple structural insights from this surprising fact. Since long-refinement graphs are closed under taking edge complements, this also yields a classification of long-refinement graphs with high degrees. Kiefer and McKay initiated a search for long-refinement graphs that are only distinguished in the last iteration of Colour Refinement before termination. We conclude it in this submission by showing that such graphs cannot exist.
Supermodular Maximization with Cardinality Constraints
Let $V$ be a finite set of $n$ elements, $f: 2^V \rightarrow \mathbb{R}_+$ be a nonnegative monotone supermodular function, and $k$ be a positive integer no greater than $n$. This paper addresses the problem of maximizing $f(S)$ over all subsets $S \subseteq V$ subject to the cardinality constraint $|S| = k$ or $|S|\le k$.
Let $r$ be a constant integer. The function $f$ is assumed to be {\em $r$-decomposable}, meaning there exist $m\,(\ge1)$ subsets $V_1, \dots, V_m$ of $V$, each with a cardinality at most $r$, and a corresponding set of nonnegative supermodular functions $f_i : 2^{V_i} \rightarrow \mathbb{R}_+$, $i=1,\ldots,m$ such that $f(S) =\sum_{i=1}^m f_i(S \cap V_i)$ holds for each $S \subseteq V$. Given $r$ as an input, we present a polynomial-time $O(n^{(r-1)/2})$-approximation algorithm for this maximization problem, which does not require prior knowledge of the specific decomposition.
When the decomposition $(V_i,f_i)_{i=1}^m$ is known, an additional connectivity requirement is introduced to the problem. Let $G$ be the graph with vertex set $V$ and edge set $\cup_{i=1}^m \{uv:u,v\in V_i,u\neq v\}$. The cardinality constrained solution set $S$ is required to induce a connected subgraph in $G$. This model generalizes the well-known problem of finding the densest connected $k$-subgraph. We propose a polynomial time $O(n^{(r-1)/2})$-approximation algorithm for this generalization. Notably, this algorithm gives an $O(n^{1/2})$-approximation for the densest connected $k$-subgraph problem, improving upon the previous best-known approximation ratio of $O(n^{2/3})$.
On better-quasi-ordering under graph minors
In the aftermath of the Robertson--Seymour Graph Minor Theorem, Thomas conjectured that the countable graphs are well-quasi-ordered under the minor relation. We prove that this conjecture, when restricted to graphs with no infinite paths (rays), is equivalent to the statement that the finite graphs are better-quasi-ordered, another well-known open problem. Even more, we prove that the latter implies that the countable rayless graphs are better-quasi-ordered.
We prove several other statements to be equivalent to the above, one of which being that the rayless countable graphs of rank $α$ can be decomposed into exactly $\aleph_0$ minor-twin classes for every ordinal $α<ω_1$.
By restricting the latter statement to trees, and combining it with Nash-Williams' theorem that the infinite trees are well-quasi-ordered, we deduce as a side result that a minor-closed family of N-labelled rayless forests is Borel -- in the Tychonoff product topology -- if and only if it does not contain all rayless forests.
As another side-result, we prove Seymour's self-minor conjecture for rayless graphs of any cardinality.
Geometric description of $d$-dimensional flows of a graph
A $d$-dimensional nowhere-zero $r$-flow on a graph $G$, an $(r,d)$-NZF from now on, is a flow where the value on each edge is an element of $\mathbb{R}^d$ whose (Euclidean) norm lies in the interval $[1, r-1]$. Such a notion is a natural generalization of the well-known concept of a circular nowhere-zero $r$-flow (i.e.\ $d = 1$). The minimum of the real numbers $r$ such that a graph $G$ admits an $(r, d)$-NZF is called the $d$-dimensional flow number of $G$ and is denoted by $φ_d(G)$. In this paper we provide a geometric description of some $d$-dimensional flows on a graph $G$, and we prove that the existence of a suitable cycle double cover of $G$ is equivalent, for $G$, to admit such a geometrically constructed $(r,d)$-NZF. This geometric approach allows us to provide upper bounds for $φ_{d-2}(G)$ and $φ_{d-1}(G)$, assuming that $G$ admits an (oriented) $d$-cycle double cover.
Closed-Form Analysis and Extremal Bounds of Albertson and Sigma Indices in Trees with Prescribed Degree Sequences
This study explores the irregularity properties of trees with prescribed degree sequences by analyzing two prominent topological indices: the Albertson index and the sigma index.
With a particular emphasis on caterpillar trees -frequently used to model molecular chains- we derive a closed-form expression for the Albertson index: \[ \mathrm{irr}(\mathscr{C}(n,m)) = m(m+1)n - 2m + 2, \quad \text{for } n \geq 3. \] Furthermore, we establish extremal bounds for both indices across tree families characterized by fixed degree sequences. The results yield a unified analytical framework for comparing linear and quadratic irregularity measures, and provide new structural insights relevant to applications in chemical graph theory and extremal graph analysis.