Related papers: Root system chip-firing II: Central-firing
Defant, Li, Propp, and Young recently resolved two enumerative conjectures of Propp concerning the tilings of regions in the hexagonal grid called benzels using two types of prototiles called stones and bones (with varying constraints on…
Leaf-Removal process has been widely researched and applied in many mathematical and physical fields to help understand the complex systems, and a lot of problems including the minimal vertex-cover are deeply related to this process and the…
We investigate the new, Turing-complete class of layered systems, whose lefthand sides of rules can only be overlapped at a multiset of disjoint or equal positions. Layered systems define a natural notion of rank for terms: the maximal…
A type assignment system for lambda-calculus enjoys the principal typing property if every typable term M has a special typing, called principal, from which all typings for M can be obtained via suitable operations. The existence of…
We present a cohomological interpretation of the middle convolution functor MC and find an explicit Riemann-Hilbert correspondence for MC_\lambda. This leads to an algorithm for the construction of Fuchsian systems which correspond to…
Core-periphery (CP) structure is frequently observed in networks where the nodes form two distinct groups: a small, densely interconnected core and a sparse periphery. Borgatti and Everett (2000) proposed one of the most popular methods to…
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair steps are relatively terminating with respect to R. We further…
The Curry-Howard correspondence is often called the proofs-as-programs result. I offer a generalization of this result, something which may be called machines as programs. Utilizing this insight, I introduce two new Turing Machines called…
We give an explicit combinatorial proof of a weighted version of strong log-concavity for the generating polynomial of increasing spanning forests of a finite simple graph equipped with a total ordering of the vertices. In contrast to…
We study the free PROP $\mathrm{Syn}(\delta)$ on a single binary generator $\delta:1\to 2$. The ancestry functor $\Pi:\mathrm{Syn}(\delta)\to \mathrm{FinCorel}$, defined by connected components of the underlying undirected string diagram,…
We study kinks in the electronic dispersion of a generic strongly correlated system by dynamic mean-field theory (DMFT). The focus is on doped systems away from particle-hole symmetry where valence fluctuations matter potentially. Three…
The logarithmic conformal field theory describing critical percolation is further explored using Watts' determination of the probability that there exists a cluster connecting both horizontal and vertical edges. The boundary condition…
The early detection of tipping points, which describe a rapid departure from a stable state, is an important theoretical and practical challenge. Tipping points are most commonly associated with the disappearance of steady-state or periodic…
As part of his classification of regular semisimple subalgebras of semisimple Lie algebras, Dynkin introduced the notion of a $\pi$-system. This is a subset of the roots such that pairwise differences of its elements are not roots. These…
Functional iterations such as Newton's are a popular tool for polynomial root-finding. We consider realistic situation where some (e.g., better-conditioned) roots have already been approximated and where further computations is directed to…
The spinless Falicov-Kimball model exhibits outside the particle-hole symmetric point different stable nonhomogeneous charge orderings. These include the well known charge stripes and a variety of orderings with phase separated domains,…
This is the second of two papers in which we prove that a cell model of the moduli space of curves with marked points and tangent vectors at the marked points acts on the Hochschild co--chains of a Frobenius algebra. We also prove that a…
Recently, Gross et al. posed the LLC conjecture for the locally log-concavity of the genus distribution of every graph, and provided an equivalent combinatorial version, the CLLC conjecture, on the log-concavity of the generating function…
Binary relations derived from labeled rooted trees play an import role in mathematical biology as formal models of evolutionary relationships. The (symmetrized) Fitch relation formalizes xenology as the pairs of genes separated by at least…
An alternative foundation for 2-categories is explored by studying graph-theoretically a partial operation on 2-cells named juncture, which can replace vertical and horizontal composition. Juncture is a generalized vertical composition of…