arXiv subjects
Publications and source records attributed to Chun-Hung Liu.
Hadwiger conjectured in 1943 that every graph with no $K_t$ minor has chromatic number at most $t-1$. Delcourt and Postle proved that every graph with no $K_t$ minor has chromatic number $O(t\log\log t)$. We build on their result to improve this bound to $O(t\log\log\log t)$.
We study path-width and the closely related parameter line-width in countably infinite graphs. Our first result characterises the graphs of finite path-width: they are the graphs that do not have infinitely many vertices of infinite degree, do not have infinitely many pairwise disjoint infinite paths, and contain no subdivision of some finite tree of maximum degree 3. We then investigate universality under the subgraph relation for graphs of bounded path-width or line-width. In particular, we prove that there exists a universal graph with line-width $\mathcal{O}(k^2)$ for the class of graphs with line-width at most $k$. In contrast, we show that no graph of finite path-width is universal for the class of locally finite graphs with path-width $1$. Finally, we show that for each $k\geq 2$, every universal graph for the class of graphs with path-width at most $k$ has line-width at least $k + 1$.
Asymptotic dimension of metric spaces is a large-scale analog of covering dimension of topological spaces. An intersection graph of a family of sets is the graph whose vertices are the members of the family and whose edges correspond to pairs of members with non-empty intersection. Our first main result connects the asymptotic dimension of the intersection graph of a family ${\mathcal F}$ and the Assouad-Nagata dimension of the ambient metric space containing members of ${\mathcal F}$ under some mild and necessary assumptions. We prove that if ${\mathcal F}$ is a family of subsets of a metric space of Assouad-Nagata dimension $n$ such that every ball of radius $r$ intersects at most $f(r/s)$ pairwise disjoint members of ${\mathcal F}$ of diameter at least $s$ for some function $f$, then the asymptotic dimension of the intersection graph of ${\mathcal F}$ is at most $n+1$. This result is optimal both quantitatively and qualitatively in several senses. As a corollary of this result, the asymptotic dimension of the intersection graph of any family of compact convex sets of bounded aspect ratio in ${\mathbb R}^n$, such as a family of balls in ${\mathbb R}^n$, is at most $n+1$. Our second main result states that the asymptotic dimension of the intersection graph of a family ${\mathcal F}$ of connected closed sets of a connected topological space with connected boundary equals the asymptotic dimension of the intersection graph of the family of the boundary of the sets in ${\mathcal F}$, under a mild condition. In particular, the asymptotic dimension of the intersection graphs of families of spheres in ${\mathbb R}^n$ equals $n$ or $n+1$ when $n \geq 2$.
Menger's theorem is an important building block of numerous results in the study of graph structure. We consider a variant in terms of coarse geometry. We say that a set of graphs has the weak coarse Menger property if there exist functions $f$ and $g$ such that for any graph $G$ in this set, subsets $X$ and $Y$ of vertices of $G$, and positive integers $k$ and $r$, either there exist $k$ paths between $X$ and $Y$ pairwise at distance at least $r$, or there exists a union of at most $f(k,r)$ balls of radius at most $g(k,r)$ intersecting all paths between $X$ and $Y$. Nguyen, Scott and Seymour proved that the set of all graphs does not have the weak coarse Menger property and asked whether every proper minor-closed family of finite graphs has it. In this paper, we provide a positive answer to this question in a stronger form: it is true for the set of locally finite graphs with an excluded finite minor, and the functions $f$ and $g$ can be chosen so that $f$ only depends on the number $k$ of the paths in the packing and the function $g$ is a linear function of the distance threshold $r$ and is independent of $k$, which is optimal up to a constant factor. Our result extends to every length space quasi-isometric to a locally finite graph or metric graph with an excluded finite minor, such as complete Riemannian surfaces of finite Euler genus, string graphs, and Cayley graphs of finitely generated minor-excluded groups.
The Grid Minor Theorem states that for every planar graph $H$, there exists a smallest integer $f(H)$ such that every graph with tree-width at least $f(H)$ contains $H$ as a minor. The only known lower bounds on $f(H)$ beyond the trivial bound $f(H)\geq |V(H)|-1$ come from the maximum number of disjoint cycles in $H$. In this paper, we study $f(H)$ for planar graphs $H$ with no two disjoint cycles. We prove that $f(H)=|V(H)|-1$ for every apex-forest $H$. This result improves a bound of Leaf and Seymour and contains all known large graphs $H$ meeting the trivial lower bound to our knowledge. We also prove that $f(H)\leq \max\{\tfrac32|V(H)|-\tfrac92,|V(H)|-1\}$ for every wheel $H$.
Odd coloring is a variant of proper coloring and has received wide attention. We study the list-coloring version of this notion in this paper. We prove that if $G$ is a graph embeddable in the torus or the Klein bottle with no cycle of length 3, 4, and 6 such that no 5-cycles share an edge, then for every function $L$ that assigns each vertex of $G$ a set $L(v)$ of size 5, there exists a proper coloring that assigns each vertex $v$ of $G$ an element of $L(v)$ such that for every non-isolated vertex, some color appears an odd number of times on its neighborhood. In particular, every graph embeddable in the torus or the Klein bottle with no cycle of length 3, 4, 6, and 8 is odd 5-choosable. The number of colors in these results are optimal, and there exist graphs embeddable in those surfaces of girth 6 requiring six or seven colors.
We investigate two recently introduced graph parameters, both of which measure the complexity of the tree decompositions of a given graph. Recall that the treewidth ${\rm tw}(G)$ of a graph $G$ measures the largest number of vertices required in a bag of every tree decomposition of $G$. Similarly, the tree-independence number ${\rm tree\textnormal{-}}\alpha(G)$ and the tree-chromatic number ${\rm tree\textnormal{-}}\chi(G)$ measure the largest independence number, respectively the largest chromatic number, required in a bag of every tree decomposition of $G$. Recently, Dallard, Milani\v{c}, and \v{S}torgel asked (JCTB, 2024) whether for all graphs $G$ it holds that ${\rm tw}(G)+1 \leq {\rm tree\textnormal{-}}\alpha(G) \cdot {\rm tree\textnormal{-}}\chi(G)$. We provide a negative answer for this question in a strong form: for every function $f\colon {\mathbb N} \rightarrow {\mathbb N}$, there exists a graph $G$ such that ${\rm tw}(G) > {\rm tree\textnormal{-}}\alpha(G) \cdot f({\rm tree\textnormal{-}}\chi(G))$. On the other hand, we complement this result with an upper bound, by showing that ${\rm tw}(G)+1 \leq {\rm tree\textnormal{-}}\alpha(G)^2 \cdot {\rm tree\textnormal{-}}\chi(G)$ for every graph $G$.
Empirically, Deep Learning (DL) has demonstrated unprecedented success in practical applications. However, DL remains by and large a mysterious "black-box", spurring recent theoretical research to build its mathematical foundations. In this paper, we investigate DL for data classification through the prism of metric topology. Considering that conventional Euclidean metric over the network parameter space typically fails to discriminate DL networks according to their classification outcomes, we propose from a probabilistic point of view a meaningful distance measure, whereby DL networks yielding similar classification performances are close. The proposed distance measure defines such an equivalent relation among network parameter vectors that networks performing equally well belong to the same equivalent class. Interestingly, our proposed distance measure can provably serve as a metric on the quotient set modulo the equivalent relation. Then, under quite mild conditions it is shown that, apart from a vanishingly small subset of networks likely to predict non-unique labels, our proposed metric space is compact, and coincides with the well-known quotient topological space. Our study contributes to fundamental understanding of DL, and opens up new ways of studying DL using fruitful metric space theory.
One of the fundamental results in graph minor theory is that for every planar graph~$H$, there is a minimum integer~$f(H)$ such that graphs with no minor isomorphic to~$H$ have treewidth at most~$f(H)$. The best known bound for an arbitrary planar $H$ is ${O(|V(H)|^9\operatorname{poly~log} |V(H)|)}$. We show that if $H$ is the disjoint union of cycles, then $f(H)$ is $O(|V(H)|\log^2 |V(H)|)$, which is a $\log|V(H)|$ factor away being optimal.
This article explores the potential of underwater acoustic reconfigurable intelligent surfaces (UA-RIS) for facilitating long-range and eco-friendly communication in marine environments. Unlike radio frequency-based RIS (RF-RIS), which have been extensively investigated in terrestrial contexts, UA-RIS is an emerging field of study. The distinct characteristics of acoustic waves, including their slow propagation speed and potential for noise pollution affecting marine life, necessitate a fundamentally different approach to the architecture and design principles of UA-RIS compared to RF-RIS. Currently, there is a scarcity of real systems and experimental data to validate the feasibility of UA-RIS in practical applications. To fill this gap, this article presents field tests conducted with a prototype UA-RIS consisting of 24 acoustic elements. The results demonstrate that the developed prototype can effectively reflect acoustic waves to any specified directions through passive beamforming, thereby substantially extending the range and data rate of underwater communication systems.
This paper explores the structure of graphs defined by an excluded minor or an excluded odd minor through the lens of graph products and tree-decompositions. We prove that every graph excluding a fixed odd minor is contained in the strong product of two graphs each with bounded treewidth. For graphs excluding a fixed minor, we strengthen the result by showing that every such graph is contained in the strong product of two digraphs with bounded indegree and with bounded treewidth. This result has the advantage that the product now has bounded degeneracy. In the setting of 3-term products, we show that every $K_t$-minor-free graph is contained in $H_1\boxtimes H_2 \boxtimes K_{c(t)}$ where $\text{tw}(H_i)\leq t-2$. This treewidth bound is close to tight: in any such result with $\text{tw}(H_i)$ bounded, both $H_1$ and $H_2$ can be forced to contain any graph of treewidth $t-5$, implying $\text{tw}(H_1)\geq t-5$ and $\text{tw}(H_2)\geq t-5$. Analogous lower and upper bounds are shown for any excluded minor, where the minimum possible bound on $\text{tw}(H_i)$ is tied to the treedepth of the excluded minor. Subgraphs of the product of two graphs with bounded treewidth have two tree-decompositions where any bag from the first decomposition intersects any bag from the second decomposition in a bounded number, $k$, of vertices, so called $k$-orthogonal tree-decompositions. We show that graphs excluding a fixed odd-minor have a tree-decomposition and a path-decomposition that are $O(1)$-orthogonal. This implies that such graphs have a tree-decomposition in which each bag has bounded pathwidth. This result is best possible in that `pathwidth' cannot be replaced by `bandwidth' or `treedepth'. Moreover, we characterize the minor-closed classes that have a tree-decomposition in which each bag has bounded bandwidth, or each bag has bounded treedepth.
In this paper, we study user association and wireless bandwidth allocation for a hierarchical federated learning system that consists of mobile users, edge servers, and a cloud server. To minimize the length of a global round in hierarchical federated learning with equal bandwidth allocation, we formulate a combinatorial optimization problem. We design the twin sorting dynamic programming (TSDP) algorithm that obtains a globally optimal solution in polynomial time when there are two edge servers. In addition, we put forward the TSDP-assisted algorithm for user association when there are three or more edge servers. Furthermore, given a user association matrix, we formulate and solve a convex optimization problem for optimal wireless bandwidth allocation. Simulation results show that the proposed approach outperforms a number of alternative schemes.
This paper studies the structure of graphs with given tree-width and excluding a fixed complete bipartite subgraph, which generalises the bounded degree setting. We give a new structural description of such graphs in terms of so-called quasi-tree-partitions. We demonstrate the utility of this result through applications to (fractional) clustered colouring. Further generalisations of these structural and colouring results are presented.
Motivated by Hadwiger's conjecture and related problems for list-coloring, we study graphs $H$ for which every graph with minimum degree at least $|V(H)|-1$ contains $H$ as a minor. We prove that a large class of apex-outerplanar graphs satisfies this property. Our result gives the first examples of such graphs whose vertex cover numbers are significantly larger than half of the number of its vertices, which breaks a barrier for attacking related coloring problems via extremal functions, and recovers all known such graphs that have arbitrarily large maximum degree. Our proof can be adapted to directed graphs to show that if $\vec H$ is the digraph obtained from a directed cycle or an in-arborescence by adding an apex source, then every digraph with minimum out-degree $|V(\vec H)|-1$ contains $\vec H$ as a subdivision or a butterfly minor respectively. These results provide the optimal upper bound for the chromatic number and dichromatic number of graphs and digraphs that do not contain the aforementioned graphs or digraphs as a minor, butterfly minor and a subdivision, respectively. Special cases of our results solve an open problem of Aboulker, Cohen, Havet, Lochet, Moura and Thomass\'{e} and strengthen results of Gishboliner, Steiner and Szab\'{o}.
We introduce peaceful colourings, a variant of $h$-conflict free colourings. We call a colouring with no monochromatic edges $p$-peaceful if for each vertex $v$, there are at most $p$ neighbours of $v$ coloured with a colour appearing on another neighbour of $v$. An $h$-conflict-free colouring of a graph is a (vertex)-colouring with no monochromatic edges so that for every vertex $v$, the number of neighbours of $v$ which are coloured with a colour appearing on no other neighbour of $v$ is at least the minimum of $h$ and the degree of $v$. If $G$ is $\Delta$-regular then it has an $h$-conflict free colouring precisely if it has a $(\Delta-h)$-peaceful colouring. We focus on the minimum $p_\Delta$ of those $p$ for which every graph of maximum degree $\Delta$ has a $p$-peaceful colouring with $\Delta+1$ colours. We show that $p_\Delta > (1-\frac{1}{e}-o(1))\Delta$ and that for graphs of bounded codegree, $p_\Delta \leq (1-\frac{1}{e}+o(1))\Delta$. We ask if the latter result can be improved by dropping the bound on the codegree. As a partial result, we show that $p_\Delta \leq \frac{8000}{8001}\Delta$ for sufficiently large $\Delta$.
A proper conflict-free colouring of a graph is a colouring of the vertices such that any two adjacent vertices receive different colours, and for every non-isolated vertex $v$, some colour appears exactly once on the neighbourhood of $v$. Caro, Petru\v{s}evski and \v{S}krekovski conjectured that every connected graph with maximum degree $\Delta \geq 3$ has a proper conflict-free colouring with at most $\Delta+1$ colours. This conjecture holds for $\Delta=3$ and remains open for $\Delta \geq 4$. In this paper we prove that this conjecture holds asymptotically; namely, every graph with maximum degree $\Delta$ has a proper conflict-free colouring with $(1+o(1))\Delta$ colours.
Weak diameter coloring of graphs recently attracted attention partially due to its connection to asymptotic dimension of metric spaces. We consider weak diameter list-coloring of graphs in this paper. Dvo\v{r}\'{a}k and Norin proved that graphs with bounded Euler genus are 3-choosable with bounded weak diameter. In this paper, we extend their result by showing that for every graph $H$, $H$-minor free graphs are 3-choosable with bounded weak diameter. The upper bound 3 is optimal and it strengthens an earlier result for non-list-coloring $H$-minor free graphs with bounded weak diameter. As a corollary, $H$-minor free graphs with bounded maximum degree are 3-choosable with bounded clustering, strengthening an earlier result for non-list-coloring. When $H$ is planar, we prove a much stronger result: for every 2-list-assignment $L$ of an $H$-minor free graph, every precoloring with bounded weak diameter can be extended to an $L$-coloring with bounded weak diameter. As a corollary, for any planar graph $H$ and $H$-minor free graph $G$, there are exponentially many list-colorings of $G$ with bounded weak diameter (and with bounded clustering if $G$ also has bounded maximum degree); and every graph with bounded layered tree-width and bounded maximum degree has exponentially many 3-colorings with bounded clustering. We also show that the aforementioned results for list-coloring cannot be extended to odd minor free graphs by showing that some bipartite graphs with maximum degree $\Delta$ are $k$-choosable with bounded weak diameter only when $k=\Omega(\log\Delta/\log\log\Delta)$. On the other hand, we show that odd $H$-minor graphs are 3-colorable with bounded weak diameter, implying an earlier result about clustered coloring of odd $H$-minor free graphs with bounded maximum degree.
Assouad-Nagata dimension addresses both large and small scale behaviors of metric spaces and is a refinement of Gromov's asymptotic dimension. A metric space $M$ is a minor-closed metric if there exists an (edge-)weighted graph $G$ satisfying a fixed minor-closed property such that the underlying space of $M$ is the vertex-set of $G$, and the metric of $M$ is the distance function in $G$. Minor-closed metrics naturally arise when removing redundant edges of the underlying graphs by using edge-deletion and edge-contraction. In this paper, we determine the Assouad-Nagata dimension of every minor-closed metric. Our main theorem simultaneously generalizes known results about the asymptotic dimension of $H$-minor free unweighted graphs and about the Assouad-Nagata dimension of complete Riemannian surfaces with finite Euler genus.