Related papers: Fertile Three State Hard-Core Models on a Cayley T…
High-performance multi-core software typically uses concurrent data structures. Tests for such data structures have significantly smaller state spaces than the entire software, making it feasible to model check them. However, dynamic memory…
We study a system of rods on the 2d square lattice, with hard-core exclusion. Each rod has a length between 2 and N. We show that, when N is sufficiently large, and for suitable fugacity, there are several distinct Gibbs states, with…
Many real-world systems studied are governed by complex, nonlinear dynamics. By modeling these dynamics, we can gain insight into how these systems work, make predictions about how they will behave, and develop strategies for controlling…
We study Gibbsian models of unbounded integer-valued spins on trees which possess a symmetry under height-shift. We develop a theory relating boundary laws to gradient Gibbs measures, which applies also in cases where the corresponding…
Various string models of mesons and baryons include a string carrying 2 or 3 massive points (quarks or antiquarks). Rotational states (planar uniform rotations) of these systems generate quasilinear Regge trajectories and may be used for…
In this paper we study the boundedness of the $p$-adic quasi Gibbs measures for the Vannimenus model on a Cayley tree of order two.
We consider a model of aggregation, both diffusion-limited and ballistic, based on the Cayley tree. Growth is from the leaves of the tree towards the root, leading to non-trivial screening and branch competition effects. The model exhibits…
We systematically construct a class of two-dimensional $(2,2)$ supersymmetric gauged linear sigma models with phases in which a continuous subgroup of the gauge group is totally unbroken. We study some of their properties by employing a…
Precision measurements of the Higgs couplings are, for the first time, directly probing the mechanism of fermion mass generation. The purpose of this work is to determine to what extent these measurements can distinguish between the…
Gibbsian line ensembles are families of Brownian lines arising in many natural contexts such as the level curves of three dimensional Ising interfaces, the solid-on-solid model, multi-layered polynuclear growth etc. An important example is…
In the context of the local gauge group $SU(3)_c\otimes SU(3)_L\otimes U(1)_X$, we look for possible four family models, where all the particles carry ordinary electric charges. Thirteen different anomaly-free fermion structures emerge, out…
Hex-trees are identified as a particular instance of weighted unary-binary trees. The Horton-Strahler numbers of these objects are revisited, and, thanks to a substitution that is not immediately intuitive, explicit results are possible.…
A metric phylogenetic tree relating a collection of taxa induces weighted rooted triples and weighted quartets for all subsets of three and four taxa, respectively. New intertaxon distances are defined that can be calculated from these…
We consider multi-type Galton Watson trees, and find the distribution of these trees when conditioning on very general types of recursive events. It turns out that the conditioned tree is again a multi-type Galton Watson tree, possibly with…
Explicit relations among moduli of the Heterotic and Type IIB string theories in 8 dimensions are obtained. We identify the BPS states responsible for gauge enhancements in the type IIB theory and their dual partners in the Heterotic theory…
A class of two-species ({\it three-states}) bimolecular diffusion-limited models of classical particles with hard-core reacting and diffusing in a hypercubic lattice of arbitrary dimension is investigated. The manifolds on which the…
We study a class of exactly solvable models for strongly correlated electrons, defined on a set of N cells, and with infinite on-site repulsion on part of the sites of each cell. For 2N or more electrons the exact ground state is known. We…
In the present work, the triply heavy tetraquarks states $QQ\bar{Q}\bar{q}$ with $Q=(c, b)$ and $q=(u, d, s)$ with all possible quantum numbers are systematically investigated in the framework of the chiral quark model with the resonance…
Three structural populations with distinct average mobility are identified within an equilibrium two-dimensional Lennard-Jones fluid simulated via molecular dynamics at a constant temperature and varying density. Quantifying the structure…
In a previous paper (arXiv:2510.19746), we have studied the maximal hard-code model on the square lattice ${\mathbb Z}^2$ from the perspective of recoverable systems. Here we extend this study to the case of the triangular lattice ${\mathbb…