Non-crossing of plane minimal spanning and minimal T1 networks

AbstractFor any given collection of Euclidean plane points it will be shown that a minimal length T1 network (or 3-size quasi Steiner network (Du et al., 1991)) will intersect a minimal spanning tree only at the given Euclidean points

Bar 1-Visibility Graphs and their relation to other Nearly Planar Graphs

A graph is called a strong (resp. weak) bar 1-visibility graph if its vertices can be represented as horizontal segments (bars) in the plane so that its edges are all (resp. a subset of) the pairs of vertices whose bars have a $\epsilon$-thick vertical line connecting them that intersects at most one other bar. We explore the relation among weak (resp. strong) bar 1-visibility graphs and other nearly planar graph classes. In particular, we study their relation to 1-planar graphs, which have a drawing with at most one crossing per edge; quasi-planar graphs, which have a drawing with no three mutually crossing edges; the squares of planar 1-flow networks, which are upward digraphs with in- or out-degree at most one. Our main results are that 1-planar graphs and the (undirected) squares of planar 1-flow networks are weak bar 1-visibility graphs and that these are quasi-planar graphs

Scaling Limits for Minimal and Random Spanning Trees in Two Dimensions

A general formulation is presented for continuum scaling limits of stochastic spanning trees. A spanning tree is expressed in this limit through a consistent collection of subtrees, which includes a tree for every finite set of endpoints in $\R^d$. Tightness of the distribution, as $\delta \to 0$, is established for the following two-dimensional examples: the uniformly random spanning tree on $\delta \Z^2$, the minimal spanning tree on $\delta \Z^2$ (with random edge lengths), and the Euclidean minimal spanning tree on a Poisson process of points in $\R^2$ with density $\delta^{-2}$. In each case, sample trees are proven to have the following properties, with probability one with respect to any of the limiting measures: i) there is a single route to infinity (as was known for $\delta > 0$), ii) the tree branches are given by curves which are regular in the sense of H\"older continuity, iii) the branches are also rough, in the sense that their Hausdorff dimension exceeds one, iv) there is a random dense subset of $\R^2$, of dimension strictly between one and two, on the complement of which (and only there) the spanning subtrees are unique with continuous dependence on the endpoints, v) branching occurs at countably many points in $\R^2$, and vi) the branching numbers are uniformly bounded. The results include tightness for the loop erased random walk (LERW) in two dimensions. The proofs proceed through the derivation of scale-invariant power bounds on the probabilities of repeated crossings of annuli.Comment: Revised; 54 pages, 6 figures (LaTex

Minimizing the stabbing number of matchings, trees, and triangulations

The (axis-parallel) stabbing number of a given set of line segments is the maximum number of segments that can be intersected by any one (axis-parallel) line. This paper deals with finding perfect matchings, spanning trees, or triangulations of minimum stabbing number for a given set of points. The complexity of these problems has been a long-standing open question; in fact, it is one of the original 30 outstanding open problems in computational geometry on the list by Demaine, Mitchell, and O'Rourke. The answer we provide is negative for a number of minimum stabbing problems by showing them NP-hard by means of a general proof technique. It implies non-trivial lower bounds on the approximability. On the positive side we propose a cut-based integer programming formulation for minimizing the stabbing number of matchings and spanning trees. We obtain lower bounds (in polynomial time) from the corresponding linear programming relaxations, and show that an optimal fractional solution always contains an edge of at least constant weight. This result constitutes a crucial step towards a constant-factor approximation via an iterated rounding scheme. In computational experiments we demonstrate that our approach allows for actually solving problems with up to several hundred points optimally or near-optimally.Comment: 25 pages, 12 figures, Latex. To appear in "Discrete and Computational Geometry". Previous version (extended abstract) appears in SODA 2004, pp. 430-43

The scaling limits of near-critical and dynamical percolation

We prove that near-critical percolation and dynamical percolation on the triangular lattice $\eta \mathbb{T}$ have a scaling limit as the mesh $\eta \to 0$, in the "quad-crossing" space $\mathcal{H}$ of percolation configurations introduced by Schramm and Smirnov. The proof essentially proceeds by "perturbing" the scaling limit of the critical model, using the pivotal measures studied in our earlier paper. Markovianity and conformal covariance of these new limiting objects are also established.Comment: 72 pages, 7 figures. Slightly revised, final versio

Rigidity and Fluidity in Living and Nonliving Matter

Many of the standard equilibrium statistical mechanics techniques do not readily apply to non-equilibrium phase transitions such as the fluid-to-disordered solid transition found in repulsive particulate systems. Examples of repulsive particulate systems are sand grains and colloids. The first part of this thesis contributes to methods beyond equilibrium statistical mechanics to ultimately understand the nature of the fluid-to-disordered solid transition, or jamming, from a microscopic basis. In Chapter 2 we revisit the concept of minimal rigidity as applied to frictionless, repulsive soft sphere packings in two dimensions with the introduction of the jamming graph. Minimal rigidity is a purely combinatorial property encoded via Laman\u27s theorem in two dimensions. It constrains the global, average coordination number of the graph, for instance. Minimal rigidity, however, does not address the geometry of local mechanical stability. The jamming graph contains both properties of global mechanical stability at the onset of jamming and local mechanical stability. We demonstrate how jamming graphs can be constructed using local rules via the Henneberg construction such that these graphs are of the constraint percolation type, where percolation is the study of connected structures in disordered networks. We then probe how jamming graphs destabilize, or become fluid-like, by deleting an edge/contact in the graph and computing the resulting rigid cluster distribution. We also uncover a new potentially diverging lengthscale associated with the random deletion of contacts. In Chapter 3 we study several constraint percolation models, such as k-core percolation and counter-balance percolation, on hyperbolic lattices to better understand the role of loops in such models. The constraints in these percolation models incorporate aspects of local mechanical rigidity found in jammed systems. The expectation is that since these models are indeed easier to analyze than the more complicated problem of jamming, we will gain insight into which constraints affect the nature of the jamming transition and which do not. We find that k = 3-core percolation on the hyperbolic lattice remains a continuous phase transition despite the fact that the loop structure of hyperbolic lattices is different from Euclidean lattices. We also contribute towards numerical techniques for analyzing percolation on hyperbolic lattices. In Chapters 4 and 5 we turn to living matter, which is also nonequilibrium in a very local way in that each constituent has its own internal energy supply. In Chapter 4 we study the fluidity of a cell moving through a confluent tissue, i.e. a group of cells with no gaps between them, via T1 transitions. A T1 transition allows for an edge swap so that a cell can come into contact with new neighbors. Cell migration is then generated by a sequence of such swaps. In a simple four cell system we compute the energy barriers associated with this transition. We then find that the energy barriers in a larger system are rather similar to the four cell case. The many cell case, however, more easily allows for the collection of statistics of these energy barriers given the disordered packings of cell observed in experiments. We find that the energy barriers are exponentially distributed. Such a finding implies that glassy dynamics is possible in a confluent tissue. Finally, in chapter 5 we turn to single cell migration in the extracellular matrix, another native environment of a cell. Experiments suggest that the migration of some cells in the three-dimensional ext ra cellular matrix bears strong resemblance to one-dimensional cell migration. Motivated by this observation, we construct and study a minimal one-dimensional model cell made of two beads and an active spring moving along a rigid track. The active spring models the stress fibers with their myosin-driven contractility and alpha-actinin-driven extendability, while the friction coefficients of the two beads describe the catch/slip bond behavior of the integrins in focal adhesions. Net motion arises from an interplay between active contractility (and passive extendability) of the stress fibers and an asymmetry between the front and back of the cell due to catch bond behavior of integrins at the front of the cell and slip bond behavior of integrins at the back. We obtain reasonable cell speeds with independently estimated parameters. Our model highlights the role of alpha-actinin in three-dimensional cell motility and does not require Arp2/3 actin filament nucleation for net motion