arXiv subjects

Zihan Tan

Publications and source records attributed to Zihan Tan.

45 records · Page 3Linked to original sources

arXiv2020

On Packing Low-Diameter Spanning Trees

Edge connectivity of a graph is one of the most fundamental graph-theoretic concepts. The celebrated tree packing theorem of Tutte and Nash-Williams from 1961 states that every $k$-edge connected graph $G$ contains a collection $\cal{T}$ of $\lfloor k/2 \rfloor$ edge-disjoint spanning trees, that we refer to as a tree packing; the diameter of the tree packing $\cal{T}$ is the largest diameter of any tree in $\cal{T}$. A desirable property of a tree packing, that is both sufficient and necessary for leveraging the high connectivity of a graph in distributed communication, is that its diameter is low. Yet, despite extensive research in this area, it is still unclear how to compute a tree packing, whose diameter is sublinear in $|V(G)|$, in a low-diameter graph $G$, or alternatively how to show that such a packing does not exist. In this paper we provide first non-trivial upper and lower bounds on the diameter of tree packing. First, we show that, for every $k$-edge connected $n$-vertex graph $G$ of diameter $D$, there is a tree packing $\cal{T}$ of size $Ω(k)$, diameter $O((101k\log n)^D)$, that causes edge-congestion at most $2$. Second, we show that for every $k$-edge connected $n$-vertex graph $G$ of diameter $D$, the diameter of $G[p]$ is $O(k^{D(D+1)/2})$ with high probability, where $G[p]$ is obtained by sampling each edge of $G$ independently with probability $p=Θ(\log n/k)$. This provides a packing of $Ω(k/\log n)$ edge-disjoint trees of diameter at most $O(k^{(D(D+1)/2)})$ each. We then prove that these two results are nearly tight. Lastly, we show that if every pair of vertices in a graph has $k$ edge-disjoint paths of length at most $D$ connecting them, then there is a tree packing of size $k$, diameter $O(D\log n)$, causing edge-congestion $O(\log n)$. We also provide several applications of low-diameter tree packing in distributed computation.

cs.DS↗

arXiv2019

Microfluidic pump driven by anisotropic phoresis

Fluid flow along microchannels can be induced by keeping opposite walls at different temperatures, and placing elongated tilted pillars inside the channel. The driving force for this fluid motion arises from the anisotropic thermophoretic effect of the elongated pillars that generates a force parallel to the walls, and perpendicular to the temperature gradient. The force is not determined by the thermophilic or thermophobic character of the obstacle surface, but by the geometry and the thermophoretic anisotropy of the obstacle. Via mesoscale hydrodynamic simulations, we investigate the pumping properties of the device as a function of the channel geometry, and pillar surface properties. Applications as fluidic mixers, and fluid alternators are also outlined, together with the potential use of all these devices to harvest waste heat energy. Furthermore, similar devices can be also built employing diffusiophoresis or electrophoresis.

cond-mat.soft↗

arXiv2019

Towards Tight(er) Bounds for the Excluded Grid Theorem

We study the Excluded Grid Theorem, a fundamental structural result in graph theory, that was proved by Robertson and Seymour in their seminal work on graph minors. The theorem states that there is a function $f: \mathbb{Z}^+ \to \mathbb{Z}^+$, such that for every integer $g>0$, every graph of treewidth at least $f(g)$ contains the $(g\times g)$-grid as a minor. For every integer $g>0$, let $f(g)$ be the smallest value for which the theorem holds. Establishing tight bounds on $f(g)$ is an important graph-theoretic question. Robertson and Seymour showed that $f(g)=Ω(g^2\log g)$ must hold. For a long time, the best known upper bounds on $f(g)$ were super-exponential in $g$. The first polynomial upper bound of $f(g)=O(g^{98}\text{poly}\log g)$ was proved by Chekuri and Chuzhoy. It was later improved to $f(g) = O(g^{36}\text{poly} \log g)$, and then to $f(g)=O(g^{19}\text{poly}\log g)$. In this paper we further improve this bound to $f(g)=O(g^{9}\text{poly} \log g)$. We believe that our proof is significantly simpler than the proofs of the previous bounds. Moreover, while there are natural barriers that seem to prevent the previous methods from yielding tight bounds for the theorem, it seems conceivable that the techniques proposed in this paper can lead to even tighter bounds on $f(g)$.

cs.DM↗

arXiv2018

On the Inequalities of Projected Volumes and the Constructible Region

We study the following geometry problem: given a $2^n-1$ dimensional vector $π=\{π_S\}_{S\subseteq [n], S\ne \emptyset}$, is there an object $T\subseteq\mathbb{R}^n$ such that $\log(\mathsf{vol}(T_S))= π_S$, for all $S\subseteq [n]$, where $T_S$ is the projection of $T$ to the subspace spanned by the axes in $S$? If $π$ does correspond to an object in $\mathbb{R}^n$, we say that $π$ is {\em constructible}. We use $Ψ_n$ to denote the constructible region, i.e., the set of all constructible vectors in $\mathbb{R}^{2^n-1}$. In 1995, Bollobás and Thomason showed that $Ψ_n$ is contained in a polyhedral cone, defined a class of so called uniform cover inequalities. We propose a new set of natural inequalities, called nonuniform-cover inequalities, which generalize the BT inequalities. We show that any linear inequality that all points in $Ψ_n$ satisfy must be a nonuniform-cover inequality. Based on this result and an example by Bollobás and Thomason, we show that constructible region $Ψ_n$ is not even convex, and thus cannot be fully characterized by linear inequalities. We further show that some subclasses of the nonuniform-cover inequalities are not correct by various combinatorial constructions, which refutes a previous conjecture about $Ψ_n$. Finally, we conclude with an interesting conjecture regarding the convex hull of $Ψ_n$.

cs.DM↗

arXiv2017

Anisotropic thermophoresis

Colloidal migration in temperature gradient is referred to as thermophoresis. In contrast to particles with spherical shape, we show that elongated colloids may have a thermophoretic response that varies with the colloid orientation. Remarkably, this can translate into a non-vanishing thermophoretic force in the direction perpendicular to the temperature gradient. Oppositely to the friction force, the thermophoretic force of a rod oriented with the temperature gradient can be larger or smaller than when oriented perpendicular to it. The precise anisotropic thermophoretic behavior clearly depends on the colloidal rod aspect ratio, and also on its surface details, which provides an interesting tunability to the devices constructed based on this principle. By means of mesoscale hydrodynamic simulations, we characterize this effect for different types of rod-like colloids.

cond-mat.soft↗

arXiv2017

Comments on Cut-Set Bounds on Network Function Computation

A function computation problem in directed acyclic networks has been considered in the literature, where a sink node wants to compute a target function with the inputs generated at multiple source nodes. The network links are error-free but capacity-limited, and the intermediate network nodes perform network coding. The target function is required to be computed with zero error. The computing rate of a network code is measured by the average number of times that the target function can be computed for one use of the network, i.e., each link in the network is used at most once. In the papers [1], [2], two cut-set bounds were proposed on the computing rate. However, we show in this paper that these bounds are not valid for general network function computation problems. We analyze the arguments that lead to the invalidity of these bounds and fix the issue with a new cut-set bound, where a new equivalence relation associated with the inputs of the target function is used. Our bound is qualified for general target functions and network topologies. We also show that our bound is tight for some special cases where the computing capacity is known. Moreover, some results in [11], [12] were proved using the invalid upper bound in [1] and hence their correctness needs further justification. We also justify their validity in the paper.

cs.IT↗

arXiv2016

Truthful Facility Assignment with Resource Augmentation: An Exact Analysis of Serial Dictatorship

We study the truthful facility assignment problem, where a set of agents with private most-preferred points on a metric space are assigned to facilities that lie on the metric space, under capacity constraints on the facilities. The goal is to produce such an assignment that minimizes the social cost, i.e., the total distance between the most-preferred points of the agents and their corresponding facilities in the assignment, under the constraint of truthfulness, which ensures that agents do not misreport their most-preferred points. We propose a resource augmentation framework, where a truthful mechanism is evaluated by its worst-case performance on an instance with enhanced facility capacities against the optimal mechanism on the same instance with the original capacities. We study a very well-known mechanism, Serial Dictatorship, and provide an exact analysis of its performance. Although Serial Dictatorship is a purely combinatorial mechanism, our analysis uses linear programming; a linear program expresses its greedy nature as well as the structure of the input, and finds the input instance that enforces the mechanism have its worst-case performance. Bounding the objective of the linear program using duality arguments allows us to compute tight bounds on the approximation ratio. Among other results, we prove that Serial Dictatorship has approximation ratio $g/(g-2)$ when the capacities are multiplied by any integer $g \geq 3$. Our results suggest that even a limited augmentation of the resources can have wondrous effects on the performance of the mechanism and in particular, the approximation ratio goes to 1 as the augmentation factor becomes large. We complement our results with bounds on the approximation ratio of Random Serial Dictatorship, the randomized version of Serial Dictatorship, when there is no resource augmentation.

cs.GT↗

arXiv2016

Robust Influence Maximization

In this paper, we address the important issue of uncertainty in the edge influence probability estimates for the well studied influence maximization problem --- the task of finding $k$ seed nodes in a social network to maximize the influence spread. We propose the problem of robust influence maximization, which maximizes the worst-case ratio between the influence spread of the chosen seed set and the optimal seed set, given the uncertainty of the parameter input. We design an algorithm that solves this problem with a solution-dependent bound. We further study uniform sampling and adaptive sampling methods to effectively reduce the uncertainty on parameters and improve the robustness of the influence maximization task. Our empirical results show that parameter uncertainty may greatly affect influence maximization performance and prior studies that learned influence probabilities could lead to poor performance in robust influence maximization due to relatively large uncertainty in parameter estimates, and information cascade based adaptive sampling method may be an effective way to improve the robustness of influence maximization.

cs.SI↗

arXiv2014

On the Meeting Time for Two Random Walks on a Regular Graph

We provide an analysis of the expected meeting time of two independent random walks on a regular graph. For 1-D circle and 2-D torus graphs, we show that the expected meeting time can be expressed as the sum of the inverse of non-zero eigenvalues of a suitably defined Laplacian matrix. We also conjecture based on empirical evidence that this result holds more generally for simple random walks on arbitrary regular graphs. Further, we show that the expected meeting time for the 1-D circle of size $N$ is $Θ(N^2)$, and for a 2-D $N \times N$ torus it is $Θ(N^2 log N)$.

math.PR↗