Searcharxiv⌕ Search

arXiv subjects

Bryan Gin-ge Chen

Publications and source records attributed to Bryan Gin-ge Chen.

At least 19 recordsLinked to original sources

Growing Mathlib: maintenance of a large scale mathematical library

The Lean mathematical library Mathlib is one of the fastest-growing libraries of formalised mathematics. We describe various strategies to manage this growth, while allowing for change and avoiding maintainer overload. This includes dealing with breaking changes via a deprecation system, using code quality analysis tools (linters) to provide direct user feedback about common pitfalls, speeding up compilation times through conscious library (re-)design, dealing with technical debt as well as writing custom tooling to help with the review and triage of new contributions.

cs.PL↗

Block-and-hole graphs: Constructibility and $(3,0)$-sparsity

We show that minimally 3-rigid block-and-hole graphs, with one block or one hole, are characterised as those which are constructible from $K_3$ by vertex splitting, and also, as those having associated looped face graphs which are $(3,0)$-tight. This latter property can be verified in polynomial time by a form of pebble game algorithm. We also indicate connections to the rigidity properties of polyhedral surfaces known as origami and to graph rigidity in $\ell_p^3$ for $p\not=2$.

math.CO↗

Topology in non-linear mechanical systems

Many advancements have been made in the field of topological mechanics. The majority of the works, however, concerns the topological invariant in a linear theory. We, in this work, present a generic prescription of defining topological indices which accommodates non-linear effects in mechanical systems without taking any approximation. Invoking the tools of differential geometry, a Z-valued quantity in terms of the Poincare-Hopf index, that features the topological invariant of non-linear zero modes (ZMs), is predicted. We further identify one type of topologically protected solitons that are robust to disorders. Our prescription constitutes a new direction of searching for novel topologically protected non-linear ZMs in the future.

cond-mat.soft↗

Hidden symmetries generate rigid folding mechanisms in periodic origami

We consider the zero-energy deformations of periodic origami sheets with generic crease patterns. Using a mapping from the linear folding motions of such sheets to force-bearing modes in conjunction with the Maxwell-Calladine index theorem we derive a relation between the number of linear folding motions and the number of rigid body modes that depends only on the average coordination number of the origami's vertices. This supports the recent result by Tachi which shows periodic origami sheets with triangular faces exhibit two-dimensional spaces of rigidly foldable cylindrical configurations. We also find, through analytical calculation and numerical simulation, branching of this configuration space from the flat state due to geometric compatibility constraints that prohibit finite Gaussian curvature. The same counting argument leads to pairing of spatially varying modes at opposite wavenumber in triangulated origami, preventing topological polarization but permitting a family of zero energy deformations in the bulk that may be used to reconfigure the origami sheet.

cond-mat.soft↗

Nuts and bolts of supersymmetry

A topological mechanism is a zero elastic-energy deformation of a mechanical structure that is robust against smooth changes in system parameters. Here, we map the nonlinear elasticity of a paradigmatic class of topological mechanisms onto linear fermionic models using a supersymmetric field theory introduced by Witten and Olive. Heuristically, this approach consists of taking the square root of a non-linear Hamiltonian and generalizes the standard procedure of obtaining two copies of Dirac equation from the square root of the linear Klein Gordon equation. Our real space formalism goes beyond topological band theory by incorporating non-linearities and spatial inhomogeneities, such as domain walls, where topological states are typically localized. By viewing the two components of the real fermionic field as site and bond displacements respectively, we determine the relation between the supersymmetry transformations and the Bogomolny-Prasad-Sommerfield (BPS) bound saturated by the mechanism. We show that the mechanical constraint, which enforces a BPS saturated kink into the system, simultaneously precludes an anti-kink. This mechanism breaks the usual kink-antikink symmetry and can be viewed as a manifestation of the underlying supersymmetry being half-broken.

cond-mat.soft↗

Branches of triangulated origami near the unfolded state

Origami structures are characterized by a network of folds and vertices joining unbendable plates. For applications to mechanical design and self-folding structures, it is essential to understand the interplay between the set of folds in the unfolded origami and the possible 3D folded configurations. When deforming a structure that has been folded, one can often linearize the geometric constraints, but the degeneracy of the unfolded state makes a linear approach impossible there. We derive a theory for the second-order infinitesimal rigidity of an initially unfolded triangulated origami structure and use it to study the set of nearly-unfolded configurations of origami with four boundary vertices. We find that locally, this set consists of a number of distinct "branches" which intersect at the unfolded state, and that the number of these branches is exponential in the number of vertices. We find numerical and analytical evidence that suggests that the branches are characterized by choosing each internal vertex to either "pop up" or "pop down". The large number of pathways along which one can fold an initially-unfolded origami structure strongly indicate that a generic structure is likely to become trapped in a "misfolded" state. Thus, new techniques for creating self-folding origami are likely necessary; controlling the popping state of the vertices may be one possibility.

cond-mat.soft↗

Kink-antikink asymmetry and impurity interactions in topological mechanical chains

We study the dynamical response of a diatomic periodic chain of rotors coupled by springs, whose unit cell breaks spatial inversion symmetry. In the continuum description, we derive a nonlinear field theory which admits topological kinks and antikinks as nonlinear excitations but where a topological boundary term breaks the symmetry between the two and energetically favors the kink configuration. Using a cobweb plot, we develop a fixed-point analysis for the kink motion and demonstrate that kinks propagate without the Peierls-Nabarro potential energy barrier typically associated with lattice models. Using continuum elasticity theory, we trace the absence of the Peierls-Nabarro barrier for the kink motion to the topological boundary term which ensures that only the kink configuration, and not the antikink, costs zero potential energy. Further, we study the eigenmodes around the kink and antikink configurations using a tangent stiffness matrix approach appropriate for pre-stressed structures to explicitly show how the usual energy degeneracy between the two no longer holds. We show how the kink-antikink asymmetry also manifests in the way these nonlinear excitations interact with impurities introduced in the chain as disorder in the spring stiffness. Finally, we discuss the effect of impurities in the (bond) spring length and build prototypes based on simple linkages that verify our predictions.

cond-mat.soft↗

Tunable failure: control of rupture through rigidity

We investigate how material rigidity acts as a key control parameter for the failure of solids under stress. In both experiments and simulations, we demonstrate that material failure can be continuously tuned by varying the underlying rigidity of the material while holding the amount of disorder constant. As the rigidity transition is approached, failure due to the application of uniaxial stress evolves from brittle cracking to system-spanning diffuse breaking. This evolution in failure behavior can be parameterized by the width of the crack. As a system becomes more and more floppy, this crack width increases until it saturates at the system size. Thus, the spatial extent of the failure zone can be used as a direct probe for material rigidity.

cond-mat.soft↗

Topological mechanics of origami and kirigami

Origami and kirigami have emerged as potential tools for the design of mechanical metamaterials whose properties such as curvature, Poisson ratio, and existence of metastable states can be tuned using purely geometric criteria. A major obstacle to exploiting this property is the scarcity of tools to identify and program the flexibility of fold patterns. We exploit a recent connection between spring networks and quantum topological states to design origami with localized folding motions at boundaries and study them both experimentally and theoretically. These folding motions exist due to an underlying topological invariant rather than a local imbalance between constraints and degrees of freedom. We give a simple example of a quasi-1D folding pattern that realizes such topological states. We also demonstrate how to generalize these topological design principles to two dimensions. A striking consequence is that a domain wall between two topologically distinct, mechanically rigid structures is deformable even when constraints locally match the degrees of freedom.

cond-mat.soft↗

Mechanical Weyl Modes in Topological Maxwell Lattices

Topological mechanical structures exhibit robust properties protected by topological invariants. In this letter, we study a family of deformed square lattices that display topologically protected zero-energy bulk modes analogous to the massless fermion modes of Weyl semimetals. Our findings apply to sufficiently complex lattices satisfying the Maxwell criterion of equal numbers of constraints and degrees of freedom. We demonstrate that such systems exhibit pairs of oppositely charged Weyl points, corresponding to zero-frequency bulk modes, that can appear at the origin of the Brillouin zone and move away to the zone edge (or return to the origin) where they annihilate. We prove that the existence of these Weyl points leads to a wavenumber-dependent count of topological mechanical states at free surfaces and domain walls.

cond-mat.mes-hall↗

Topological modes bound to dislocations in mechanical metamaterials

Mechanical metamaterials are artificial structures with unusual properties, such as negative Poisson ratio, bistability or tunable vibrational properties, that originate in the geometry of their unit cell. At the heart of such unusual behaviour is often a soft mode: a motion that does not significantly stretch or compress the links between constituent elements. When activated by motors or external fields, soft modes become the building blocks of robots and smart materials. Here, we demonstrate the existence of topological soft modes that can be positioned at desired locations in a metamaterial while being robust against a wide range of structural deformations or changes in material parameters. These protected modes, localized at dislocations, are the mechanical analogue of topological states bound to defects in electronic systems. We create physical realizations of the topological modes in prototypes of kagome lattices built out of rigid triangular plates. We show mathematically that they originate from the interplay between two Berry phases: the Burgers vector of the dislocation and the topological polarization of the lattice. Our work paves the way towards engineering topologically protected nano-mechanical structures for molecular robotics or information storage and read-out.

cond-mat.soft↗

Rigidity percolation by next-nearest-neighbor braces on generic and regular isostatic lattices

We study rigidity percolation transitions in two-dimensional central-force isostatic lattices, including the square and the kagome lattices, as next-nearest-neighbor bonds ("braces") are randomly added to the system. In particular, we focus on the differences between regular lattices, which are perfectly periodic, and generic lattices with the same topology of bonds but whose sites are at random positions in space. We find that the regular square and kagome lattices exhibit a rigidity percolation transition when the number of braces is $\sim L\ln L$, where $L$ is the linear size of the lattice. This transition exhibits features of both first order and second order transitions: the whole lattice becomes rigid at the transition, whereas there exists a diverging length scale. In contrast, we find that the rigidity percolation transition in the generic lattices occur when the number of braces is very close to the number obtained from the Maxwell's law for floppy modes, which is $\sim L$. The transition in generic lattices is a very sharp first-order-like transition, at which the addition of one brace connects all small rigid regions in the bulk of the lattice, leaving only floppy modes on the edge. We characterize these transitions using numerical simulations and develop analytic theories capturing each transition. Our results relate to other interesting problems including jamming and bootstrap percolation.

cond-mat.soft↗

Origami Multistabilty: From Single Vertices to Metasheets

We explore the surprisingly rich energy landscape of origami-like folding planar structures. We show that the configuration space of rigid-paneled degree-4 vertices, the simplest building blocks of such systems, consists of at least two distinct branches meeting at the flat state. This suggests that generic vertices are at least bistable, but we find that the nonlinear nature of these branches allows for vertices with as many as five distinct stable states. In vertices with collinear folds and/or symmetry, more branches emerge leading to up to six stable states. Finally, we introduce a procedure to tile arbitrary 4-vertices while preserving their stable states, thus allowing the design and creation of multistable origami metasheets.

cond-mat.soft↗

Nonlinear conduction via solitons in a topological mechanical insulator

Networks of rigid bars connected by joints, termed linkages, provide a minimal framework to design robotic arms and mechanical metamaterials built out of folding components. Here, we investigate a chain-like linkage that, according to linear elasticity, behaves like a topological mechanical insulator whose zero-energy modes are localized at the edge. Simple experiments we performed using prototypes of the chain vividly illustrate how the soft motion, initially localized at the edge, can in fact propagate unobstructed all the way to the opposite end. We demonstrate using real prototypes, simulations and analytical models that the chain is a mechanical conductor, whose carriers are nonlinear solitary waves, not captured within linear elasticity. Indeed, the linkage prototype can be regarded as the simplest example of a topological metamaterial whose protected mechanical excitations are solitons, moving domain walls between distinct topological mechanical phases. More practically, we have built a topologically protected mechanism that can perform basic tasks such as transporting a mechanical state from one location to another. Our work paves the way towards adopting the principle of topological robustness in the design of robots assembled from activated linkages as well as in the fabrication of complex molecular nanostructures.

cond-mat.soft↗

Threading the Needle: Generating Textures in Nematics

The Hopf fibration is an example of a texture: a topologically stable, smooth, global configuration of a field. Here we demonstrate the controlled sculpting of the Hopf fibration in nematic liquid crystals through the control of point defects. We demonstrate how these are related to torons by use of a topological visualization technique derived from the Pontryagin-Thom construction.

cond-mat.soft↗

Disclination Loops, Hedgehogs, and All That

The homotopy theory of topological defects is a powerful tool for organizing and unifying many ideas across a broad range of physical systems. Recently, experimental progress has been made in controlling and measuring colloidal inclusions in liquid crystalline phases. The topological structure of these systems is quite rich but, at the same time, subtle. Motivated by experiment and the power of topological reasoning, we review and expound upon the classification of defects in uniaxial nematic liquid crystals. Particular attention is paid to the ambiguities that arise in these systems, which have no counterpart in the much-storied XY model or the Heisenberg ferromagnet.

cond-mat.soft↗

Minimal resonances in annular non-Euclidean strips

Differential growth processes play a prominent role in shaping leaves and biological tissues. Using both analytical and numerical calculations, we consider the shapes of closed, elastic strips which have been subjected to an inhomogeneous pattern of swelling. The stretching and bending energies of a closed strip are frustrated by compatibility constraints between the curvatures and metric of the strip. To analyze this frustration, we study the class of "conical" closed strips with a prescribed metric tensor on their center line. The resulting strip shapes can be classified according to their number of wrinkles and the prescribed pattern of swelling. We use this class of strips as a variational ansatz to obtain the minimal energy shapes of closed strips and find excellent agreement with the results of a numerical bead-spring model. Within this class of strips, we derive a condition under which a strip can have vanishing mean curvature along the center line.

cond-mat.mtrl-sci↗

Solution of the Roth-Marques-Durian Rotational Abrasion Model

We solve the rotational abrasion model of Roth, Marques and Durian (arXiv:1009.3492), a one-dimensional quasilinear partial differential equation resembling the inviscid Burgers equation with the unusual feature of a step function factor as a coefficient. The complexity of the solution is primarily in keeping track of the cases in the piecewise function that results from certain amputation and interpolation processes, so we also extract from it a model of an evolving planar tree graph that tracks the evolution of the coarse features of the contour.

cond-mat.soft↗