arXiv++ Combinatorics

We introduce lattice-filtered move graphs as finite-state experimental models for knot types. At level N, vertices are lattice-polygon representatives of a fixed knot type with lattice length at most N, modulo orientation-preserving lattice isometries, and edges are prescribed local moves. Connected components of these graphs are discrete analogues of admissible components in ropelength-filtered knot spaces. The first level at which two initial components become connected defines a discrete merge scale; after subtracting the birth level, the resulting function is an ultrapseudometric whenever the relevant initial components eventually merge. The general framework is move-system independent. We then specialize to the simple cubic lattice and BFACF-type moves, treating BFACF as a chosen local move system rather than as a complete lattice-isotopy calculus. The main seed-generated computation uses a 30-edge simple cubic lattice seed for the figure-eight knot and its reflected mirror seed. With mirror symmetries not identified, the two BFACF components are separated at N=30 and merge at N=32. We also extract an explicit merge certificate: a 21-state, 20-move BFACF path through a 32-edge connecting state. Thus, relative to the supplied seeds and the BFACF move system, the seed-generated merge scale is 32. The result is seed-specific and move-system-specific, not a claim about the global merge matrix of the full minimal lattice layer.

Integral systems in real composition algebras give rise to finite metric configurations whose geometry is linked to both regular polytopes and root-systems. In this work we investigate, to our knowledge for the first time in this form, the shell polytopes obtained by fixing the integral norm and taking the convex hull of the corresponding integral elements. The first shells recover the familiar root-polytopal configurations attached to the classical Hurwitz systems, while the Okubo algebra gives a quite different behaviour. The Okubo integral closure does not recover the Gosset polytope directly: it selects a two-adic hierarchy whose first visible layers are a cross-polytope and a \(D_8\) root polytope. We further show that the natural intermediate lattice is isometric to the rescaled cubic lattice; consequently every shell decomposes into explicit orbits of the hyperoctahedral group \(W(B_8)\), and the higher Okubo shells admit a complete combinatorial description in cubic-lattice coordinates. The full \(E_8\) Gosset polytope is then recovered from the intermediate lattice by maximal-isotropic gluing along \((\ZZ/2)^4\). This gives an interplay between non-unital composition, integral lattice shadows, and the geometry of \(E_8\).

The lowest eigenstates of the hopping matrix on the line graph of a cubic lattice with periodic boundary conditions are highly degenerate, they form a lowest flat band. Further, these states are localized. If one considers a repulsive bosonic Hubbard model on this lattice it is possible to construct exact multi-particle ground states simply by putting particles in the localized single particle ground states such that they avoid each other. This can be done up to a certain critical particle number $N_c$. We prove that at this particle number the ground state entropy is subextensive $\propto N_c^{2/3}$. For lower densities the entropy is extensive. We further show that the problem is related to the number of 4-cycle decompositions of the cubic lattice with periodic boundary conditions.

We investigate the isoperimetric problem for the Voronoi cells of three-dimensional lattices. Using Selling parameters, we derive an explicit closed formula for the scale-invariant isoperimetric quotient $F$ in terms of six non-negative variables. We then analyse the local behaviour of $F$ at the most relevant lattice configurations: we prove that the body-centered cubic lattice (BCC) is a strict local minimiser of $F$ at fixed volume, whereas the face-centered cubic lattice (FCC) and the simple cubic lattice (SC) are not local minimisers. Then, we consider a family of lattices which interpolates between BCC and FCC, showing that BCC is the global minimiser of $F$ restricted to this family.

Given the integral lattice $Λ^d$ in $d$-dimensional Euclidean space, partitions of the lattice nodes into orbits of finite-index subgroups of $Aut(Λ^d)$ have been computed for $d \leq 4$. These partitions can be interpreted as colourings of orbits defined up to permutation of colours. Complete results are obtained for $d=2$ up to 64 orbits, for $d=3$ up to 8 orbits, and for 2 orbits in dimension 4. The automorphism groups of the partitions are also determined. Our results for two orbits in dimension 3 correct the old result of H. Heesch [Z. Kristallogr., (1933), 85, 335--344] who overlooked one partition.

We introduce classes of restricted walks, surfaces and their generalisations. For example, self-osculating walks (SOWs) are supersets of self-avoiding walks (SAWs) where edges are still not allowed to cross but may 'kiss' at a vertex. They are analogous to osculating polygons introduced in (Jensen and Guttmann, 1998) except that they are not required to be closed. The 'automata' method of (Pönitz and Tittmann, 2000) can be adapted to such restricted walks. For example, we prove upper bounds for the connective constant for SOWs on the square and triangular lattices to be $μ^{\mathrm{SOW}}_\square \leq 2.73911$ and $μ^{\mathrm{SOW}}_\triangle \leq 4.44931$, respectively. In analogy, we also introduce self-osculating surfaces (SOSs), a superset of self-avoiding surfaces (SASs) which can be generated from fixed polyominoids (XDs). We further generalise and define self-avoiding $k$-manifolds (SAMs) and its supersets, self-osculating $k$-manifolds (SOMs) in the $d$-dim hypercubic lattice and $(d, k)$-XDs. By adapting the concatenation procedure procedure (van Rensburg and Whittington, 1989), we prove that their growth constants exist, and prove an explicit form for their upper and lower bounds. The upper bounds can be improved by adapting the 'twig' method, originally developed for polyominoes (Eden, 1961, Klarner and Rivest, 1973). For the cubic lattice, we find improved upper bounds for the growth constant of SASs as $μ^{\mathrm{SAS}}_{\mathbb{Z}^3} \leq 17.11728$.

We obtain an explicit formula to enumerate closed random walks on a cubic lattice with a specified length and 3D algebraic area. The 3D algebraic area is defined as the sum of algebraic areas obtained from the walk's projection onto the three Cartesian planes. This enumeration formula can be mapped onto the cluster coefficients of three types of particles that obey quantum exclusion statistics with statistical parameters $g=1$, $g=1$, and $g=2$, respectively, subject to the constraint that the numbers of $g=1$ (fermions) exclusion particles of two types are equal.

We investigate coordination numbers of the cubic lattices with emphases on their analytic behaviors, including the total positivity of the coordination matrices, the distribution of zeros of the coordination polynomials, the asymptotic normality of the coefficients of the coordination polynomials, the log-concavity and the log-convexity of the coordination numbers.

The Knot Entropy Conjecture states that the exponential growth rate of the number of $n$-edge lattice polygons with knot-type $K$ is the same as that for unknot polygons. Moreover, the next order growth follows a power law in $n$ with an exponent that increases by one for each prime knot in the knot decomposition of $K$. We provide the first proof of this conjecture by considering knots and non-split links in tube $\mathbb{T}^*$, an $\infty \times 2\times 1$ sublattice of the simple cubic lattice. We establish upper and lower bounds relating the asymptotics of the number of $n$-edge polygons with fixed link-type in $\mathbb{T}^*$ to that of the number of $n$-edge unknots. For the upper bound, we prove that polygons can be unknotted by braid insertions. For the lower bound, we prove a pattern theorem for unknots using information from exact transfer-matrices. This work provides new knot theory results for 4-plats and new combinatorics results for lattice polygons. Connections to modelling polymers such as DNA in nanochannels are highlighted.

We provide combinatorial arguments based on a two-dimensional extension of a locally-free semigroup allowing us to compute the growth rate, $Λ$, of the partition function $Z_N=N^θΛ^N$ of the $N$-particle directed animals ($N\gg 1$) on a simple cubic lattice in a three-dimensional space. Establishing the bijection between the particular configuration of the lattice animal and a class of equivalences of words in the 2D projective locally-free semigroup, we find we find $\ln Λ= \lim_{N\to\infty} \ln Z_N / N$ with $Λ= 2(\sqrt{2}+1) \approx 4.8284$.

We investigate combinatorial properties of a kind of insets we defined in an earlier paper, interpreting them now in terms of restricted ternary words. This allows us to give new combinatorial interpretations of a number of known integer sequences, namely the coefficients of Chebyshev polynomials of both kinds, Fibonacci numbers, Delannoy numbers, asymmetric Delannoy numbers, Sulanke numbers, coordinating sequences for some cubic lattices, crystal ball sequences for some cubic lattices, and others. We also obtain several new properties of said insets. In particular, we derive three generating functions when two of three variables are constant. At the end, we state 40 combinatorial configurations counted by our words.

We study several related models of self-avoiding polygons in a tubular subgraph of the simple cubic lattice, with a particular interest in the asymptotics of the knotting statistics. Polygons in a tube can be characterised by a finite transfer matrix, and this allows for the derivation of pattern theorems, calculation of growth rates and exact enumeration. We also develop a static Monte Carlo method which allows us to sample polygons of a given size directly from a chosen Boltzmann distribution. Using these methods we accurately estimate the growth rates of unknotted polygons in the $2\times1\times\infty$ and $3\times1\times\infty$ tubes, and confirm that these are the same for any fixed knot-type $K$. We also confirm that the entropic exponent for unknots is the same as that of all polygons, and that the exponent for fixed knot-type $K$ depends only on the number of prime factors in the knot decomposition of $K$. For the simplest knot-types, this leads to a good approximation for the polygon size at which the probability of the given knot-type is maximized, and in some cases we are able to sample sufficiently long polygons to observe this numerically.

We investigate the Edge-Isoperimetric Problem (EIP) for sets with $n$ elements of the cubic lattice by emphasizing its relation with the emergence of the Wulff shape in the crystallization problem. Minimizers $M_n$ of the edge perimeter are shown to deviate from a corresponding cubic Wulff configuration with respect to their symmetric difference by at most $ {\rm O}(n^{3/4})$ elements. The exponent $3/4$ is optimal. This extends to the cubic lattice analogous results that have already been established for the triangular, the hexagonal, and the square lattice in two space dimensions.

We present recursive formulas giving the maximal number of leaves in tree-like polyforms living in two-dimensional regular lattices and in tree-like polycubes in the three-dimensional cubic lattice. We call these tree-like polyforms and polycubes \emph{fully leafed}. The proof relies on a combinatorial algorithm that enumerates rooted directed trees that we call abundant. In the last part, we concentrate on the particular case of polyforms and polycubes, that we call \emph{saturated}, which is the family of fully leafed structures that maximize the ratio $\mbox{(number of leaves)}/\mbox{ (number of cells)}$. In the polyomino case, we present a bijection between the set of saturated tree-like polyominoes of size $4k+1$ and the set of tree-like polyominoes of size $k$. We exhibit a similar bijection between the set of saturated tree-like polycubes of size $41k+28$ and a family of polycubes, called $4$-trees, of size $3k+2$.

Using a lattice model of polymers in a tube, we define one way to characterise different configurations of a given knot as either "local" or "non-local" and, for several ring polymer models, we provide both theoretical and numerical evidence that, at equilibrium, the non-local configurations are more likely than the local ones. These characterisations are based on a standard approach for measuring the "size" of a knot within a knotted polymer chain. The method involves associating knot-types to subarcs of the chain, and then identifying a knotted subarc with minimal arclength; this arclength is then the knot-size. If the resulting knot-size is small relative to the whole length of the chain, then the knot is considered to be localised or "local". If on the other hand the knot-size is comparable to the length of the chain, then the knot is considered to be "non-local". Using this definition, we establish that all but exponentially few sufficiently long self-avoiding polygons (closed chains) in a tubular sublattice of the simple cubic lattice are "non-locally" knotted. This is shown to also hold for the case when the same polygons are subject to an external tensile force, as well as in the extreme case when they are as compact as possible (no empty lattice sites). We also provide numerical evidence for small tube sizes that at equilibrium non-local knotting is more likely than local knotting, regardless of the strength of the stretching or compressing force. We note however that because of the tube confinement, the occurrence of non-local knotting in walks (open chains) is significantly different than for polygons. The relevance of these results to recent experiments involving DNA knots in solid-state nanopores is also discussed.

We study a problem of geometric graph theory: We determine the triply periodic graph in Euclidean 3-space which minimizes length among all graphs spanning a fundamental domain of 3-space with the same volume. The minimizer is the so-called srs network with quotient the complete graph on four vertices $K_4$. The network spans the body centred cubic lattice and is related to the gyroid triply periodic surface.

Self-avoiding walks on the body-centered-cubic (BCC) and face-centered-cubic (FCC) lattices are enumerated up to lengths 28 and 24, respectively, using the length-doubling method. Analysis of the enumeration results yields values for the exponents $γ$ and $ν$ which are in agreement with, but less accurate than those obtained earlier from enumeration results on the simple cubic lattice. The non-universal growth constant and amplitudes are accurately determined, yielding for the BCC lattice $μ=6.530520(20)$, $A=1.1785(40)$, and $D=1.0864(50)$, and for the FCC lattice $μ=10.037075(20)$, $A=1.1736(24)$, and $D=1.0460(50)$.

In 1991 Aizenman and Grimmett claimed that any `essential enhancement' of site or bond percolation on a lattice lowers the critical probability, an important result with many implications, such as strict inequalities between critical probabilities on suitable pairs of lattices. Their proof has two parts, one probabilistic and one combinatorial. In this paper we point out that a key combinatorial lemma, for which they provide only a figure as proof, is false. We prove an alternative form of the lemma, and thus the enhancement result, in the special cases of site percolation on the square, triangular and cubic lattices, and for bond percolation on $Z^d$, $d\ge 2$. The general case remains open, even for site percolation on $Z^d$, $d\ge 4$.

We extend the method of Balister, Bollobás and Walters for determining rigorous confidence intervals for the critical threshold of two dimensional lattices to three (and higher) dimensional lattices. We describe a method for determining a full confidence interval and apply it to show that the critical threshold for bond percolation on the simple cubic lattice is between 0.2485 and 0.2490 with 99.9999% confidence, and the critical threshold for site percolation on the same lattice is between 0.3110 and 0.3118 with 99.9999% confidence.

It is shown that most lattices $Γ$ in $\mathbb{R}^2$ and $\mathbb{R}^3$ possess a fundamental domain $F$ for the action of $Γ$ on $\mathbb{R}^2$, respectively $\mathbb{R}^3$, having more symmetries than the point group $P(Γ)$, i.e., the group $P (Γ) \subset O(d)$ fixing $Γ$. In particular, $P (Γ)$ is a subgroup of the symmetry group $S(F)$ of $F$ of index 2 in these cases. Exceptions are cubic lattices in the three-dimensional case, where such an $F$ does not exist. Possible exceptions are rhombic lattices in the plane case, where the constructions presented here do not seem to work.