sequence
6845 papers tagged with this keyword
Classifying integer hypertilings
There are two objectives to this work: to classify all tame integer tilings and to classify all tame integer hypertilings. Motivation for the first objective comes from Conway and Coxeter's modelling of positive integer friezes using triangulated polygons, which has received significant attention since the discovery of cluster algebras by Fomin and Zelevinsky in 2002. Assem, Reutenauer, and Smith introduced $\text{SL}_2$-tilings as generalisations of friezes, and Bessenrodt, Holm, and Jørgensen classified positive integer $\text{SL}_2$-tilings using infinite triangulated polygons. Here we consider $N$-tilings, of which $\text{SL}_2$-tilings are the case $N=1$. We provide a geometric model for all tame integer $N$-tilings using a generalisation of the Farey graph in the hyperbolic plane. Highlights of this model include classifications of all positive integer $N$-tilings and of all quiddity sequences of positive rational friezes using triangulated polygons.
The second objective is motivated by Bhargava's celebrated study of binary quadratic forms using integer cubes and by an observation of Demonet et al.\ that there is essentially only one three-dimensional positive integer tiling with $\text{SL}_2$ cross sections. We consider a richer class of three-dimensional tilings, which we call hypertilings, using the Cayley hyperdeterminant. We classify all tame integer hypertilings using generalised Farey graphs; remarkably, those with Cayley hyperdeterminant 1 prove to have a simple description in terms of triple Hadamard products of integer pairs.
Quaternionic Perfect Sequences and Hadamard Matrices
A finite sequence of numbers is perfect if it has zero periodic autocorrelation after a nontrivial cyclic shift. In this work, we study quaternionic perfect sequences having a one-to-one correspondence with the binary sequences arising in Williamson's construction of quaternion-type Hadamard matrices. Using this correspondence, we devise an enumeration algorithm that is significantly faster than previously used algorithms and does not require the sequences to be symmetric. We implement our algorithm and use it to enumerate all circulant and possibly non-symmetric Williamson-type matrices of orders up to 21; previously, the largest order exhaustively enumerated was 13. We prove that when the blocks of a quaternion-type Hadamard matrix are circulant, the blocks are necessarily pairwise amicable. This dramatically improves the filtering power of our algorithm: in order 20, the number of block pairs needing consideration is reduced by a factor of over 25,000. We use our results to construct quaternionic Hadamard matrices of interest in quantum communication and prove they are not equivalent to those constructed by other means. We also study the properties of quaternionic Hadamard matrices analytically, and demonstrate the feasibility of characterizing quaternionic Hadamard matrices with a fixed pattern of entries. These results indicate a richer set of properties and suggest an abundance of quaternionic Hadamard matrices for sufficiently large orders.
Optimal matching under size priority
Past studies on the local limit of maximal weight matchings in edge-weighted large random graphs rely fundamentally on the assumption that the weights are atomless, which ensures that the maximal weight matching is unique. This excludes de facto maximal size matchings that correspond to equal edge-weights. In this work, we overcome this difficulty by assigning i.i.d.~atomless weights to edges and choosing the maximal size matching that maximises the weight. We call these doubly constrained matchings \emph{optimal matchings}. The natural generalisation of optimal matchings for infinite unimodular random graphs are unimodular matchings of maximal density at the root that maximise the expected weight at the root when it is matched.
For unimodular Bienaymé-Galton-Watson (UBGW) trees and for a broad class of weight distributions, we show existence and uniqueness in law of such matchings. We also prove that if a sequence of finite random weighted graphs converges locally to an UBGW tree with i.i.d.~weights, then there exists a sequence of matchings on the finite graphs that converges locally to the optimal matching on the limiting tree. Finally, we identify a regime, depending only on the offspring distribution of the limiting tree, in which correlations between edge states in the optimal matching decay exponentially with their graph distance. In this regime, we strengthen the previous convergence to the convergence of optimal matchings of the finite graphs. As a by-product, we can explicitly compute the asymptotic densities of edges that belong to all maximal-density matchings, and of edges that belong to none.
False and partial Eisenstein series related to unimodal sequences
Motivated by the fact that the classical Jacobi theta function $\vartheta$ is the exponential generating function of the Eisenstein series, we study the exponential Taylor coefficients (in the elliptic variable) of a related natural partial theta function, as well as a false theta function related to the Dedekind eta function. We prove that the space spanned by these objects is closed under differentiation, analogous to the space of quasimodular forms, and that it contains the quasimodular forms themselves. We further provide their Fourier expansions, establish quasimodular completions, and derive a recursive formula for the Taylor coefficients of the logarithm of the unimodal rank generating function, expressed as partition traces of the false and partial objects.
A Lower Bound for Kruskal's Weak Tree Function tree(3)
We establish an explicit lower bound for Kruskal's weak tree function at n=3, proving that tree(3) >= 844,424,930,131,960 = 3 * 2^48 - 8. This is achieved by constructing an explicit sequence of unlabeled rooted trees satisfying the constraints of the weak tree function and carefully analyzing the combinatorics of the "leg elimination" process. Our bound significantly exceeds previous estimates and demonstrates that even for small arguments, the weak tree function exhibits rapid growth.
An identity relating $n$-nacci numbers, partitions, and products of binomial coefficients
We study the combinatorial properties of final types, which are certain non-decreasing sequences of integers, together with the partitions naturally associated with them. As a consequence, we obtain an identity expressing the $n$-nacci numbers as sums of products of binomial coefficients over these partitions, generalizing the classical identity for $n = 2$ that expresses Fibonacci numbers in this way. We also examine how the partial order on the set of all partitions of a fixed integer induced by the ordering of final types compares with two natural partial orders on the same set.
Black Cell Capacity in Catalan polyominoes
A Catalan word is a sequence $w_1w_2\cdots w_n$ of nonnegative integers such that $w_1=0$ and $w_{i}\leq w_{i-1}+1$ for $2\leq i\leq n$. Given a Catalan word, we construct a column-convex polyomino (or \emph{bargraph}) by placing, at position $i$, a column of height $w_i + 1$, with all columns aligned along their bottom edges. On these Catalan polyominoes we define the black cell capacity by coloring the cells in a chessboard pattern and we count the number of black cells in the polyomino. We study the distribution of the black cell capacity over Catalan polyominoes and derive generating functions that encode this statistic.
Tautological classes for (n,n+1) torus knots
We construct an explicit isomorphism between the HOMFLY-PT homology of $(n,n+1)$ torus knots and the direct sum of hook isotypic components of the space of diagonal coinvariants. As a consequence, we compute the action of tautological classes in HOMFLY-PT homology of $(n,n+1)$ torus knots and prove that it extends to an action of the Lie algebra of Hamiltonian vector fields on the plane. We also compute the action of differentials $d_N$ in Rasmussen spectral sequences from HOMLFY-PT to $\mathfrak{gl}(N)$ homology of $(n,n+1)$ torus knots.
An Efficient Algorithm to Generate all Labeled Triangle-free Graphs with a given Graphical Degree Sequence
We extend our previous algorithm that generates all labeled graphs with a given graphical degree sequence to generate all labeled triangle-free graphs with a given graphical degree sequence. The algorithm uses various pruning techniques to avoid having to first generate all labeled realizations of the input sequence and then testing whether each labeled realization is triangle-free. It can be further extended to generate all labeled bipartite graphs with a given graphical degree sequence by adding a simple test whether each generated triangle-free realization is a bipartite graph. All output graphs are generated in the lexicographical ordering as in the original algorithm. The algorithms can also be easily parallelized.
Star Decompositions of a Cyclic Polygon
Let $V$ be a set of vertices on a circumference in the plane. Let $E$ be a set of directed line segments linking two vertices of $V$. If $E$ forms a set of closed cycles and for all two adjacent edges $uv$ and $vw$, the vertices $u$, $v$, $w$ are arranged in anti-clockwise order, we call $P(V,E)$ a cyclic polygon. A star decomposition $\mathcal{S}$ of a cyclic polygon $P$ is a set of star polygons partitioning the region of $P$ with some additional diagonals. A star decomposition $\mathcal{S}$ is called maximal if there is no other star decomposition $\mathcal{S}'$ such that a set of diagonals of $\mathcal{S}$ is a proper subset of that of $\mathcal{S}'$.
In this paper, it is shown that for any two maximal star decompositions $\mathcal{S}_1$ and $\mathcal{S}_2$ of a common cyclic polygon, $\mathcal{S}_1$ can be transformed into $\mathcal{S}_2$ by a finite sequence of diagonal flips. It is also shown that if a cyclic polygon $P$ admits a star decomposition, the number of diagonals contained in a maximal star decomposition of $P$ is $p - (n-2r)(n-2r-1)/2$, where $p$ is the number of all possible diagonals of $P$, $n$ is the number of vertices of $P$, and $r$ is the rotation number of $P$.
Maximal Green Sequences for Cluster Algebras Associated to Closed Orbifolds
It is known that the existence of a maximal green sequence for a quiver associated to surfaces is equivalent to the equality of the cluster algebra and upper cluster algebra generated by the quiver. This paper makes the first steps in investigating this behavior in the generalised case of cluster algebras from orbifolds; determining when such surfaces admit a diagram with a maximal green sequence. Specifically, we will provide a triangulation for the orientable surfaces of genus $n$ with an arbitrary number of orbifold points and arbitrary number of punctures, determine when it has a maximal green sequence, and construct one if it exists.
On the stability, complexity, and distribution of similarity classes of the longest edge bisection process for triangles
The Longest Edge Bisection of a triangle is performed by joining the midpoint of its longest edge to the opposite vertex. Applying this procedure iteratively produces an infinite family of triangles. Surprisingly, a classical result of Stynes (1980) shows that for any initial triangle, this infinite family falls into finitely many similarity classes.
While the set of classes is finite, it turns out that a far smaller, stable subset of ``fat'' triangles effectively dominates the final mesh structure. We prove the following asymptotic area distribution result: for every initial triangle, the portion of area occupied by terminal quadruples tends to one, with the convergence occurring at an exponential rate. In fact, we provide the precise distribution of triangles in every step. We introduce the {\bf bisection graph} and use spectral methods to establish this result.
Given this dominance, we provide a complete characterization of triangles possessing a single terminal quadruple, while conversely exhibiting a sequence of triangles with an unbounded number of terminal quadruples. Furthermore, we reveal several fundamental geometric properties of the points of a terminal quadruple, laying the groundwork for studying the geometric distribution of the entire orbit. Our analysis leverages the hyperbolic geometry framework of Perdomo and Plaza (2014) and refines their techniques.
Period collapse of Markov triangles
Cristofaro-Gardiner and Kleinman showed the complete period collapse of the Ehrhart quasipolynomial of Fibonacci triangles and their irrational limits, by studying the Fourier-Dedekind sums involved in the Ehrhart function of right-angled rational triangles. We generalize this result using integral affine geometrical methods to all Markov triangles, as defined by Vianna. In particular, we show new occurrences of strong period collapse, namely by constructing for each Markov number $p$ a two-sided sequence of rational triangles and two irrational limits with quasipolynomial Ehrhart function of period $p$.
$Q_p$-weighted zero-sum constants
A sequence $S=(x_1,\ldots, x_k)$ in $\mathbb Z_p$ is called a $(Q_p,\mathbf 1)$-weighted zero-sum sequence if there exist $a_1,\ldots,a_k\in Q_p$ such that $a_1x_1+\cdots+a_kx_k=0$ and $a_1+\cdots+a_k=0$. The constant $E_{Q_p,\mathbf 1}$ is defined to be the smallest positive integer $k$ such that every sequence of length $k$ in $\mathbb Z_p$ has a $(Q_p,\mathbf 1)$-weighted zero-sum subsequence of length $p$. We determine the constant $E_{Q_p,\mathbf 1}$ and the related constants $C_{Q_p,\mathbf 1}$ and $D_{Q_p,\mathbf 1}$. We also study some $(Q_p,B)$-weighted zero-sum constants where $B$ is a subset of $Q_p$.
New Perspectives On The Unimodality Of Domination Polynomials
The domination polynomial of a graph $G$ is given by $D(G,x)=\sum_{k=0}^{n} d_k(G)x^k$ where $d_k(G)$ records the number of $k$-element dominating sets in $G$. A conjecture of Alikhani and Peng asserts that these polynomials have unimodal coefficient sequences. We develop three complementary perspectives that strengthen existing tools for resolving the conjecture. First, we view dominating sets as transversals of the closed neighborhood hypergraph. Motivated by the relationship between the unimodality of a polynomial and its roots, we use this perspective to expand on known root phenomena for domination polynomials. In particular, we obtain a bound on the modulus of domination roots that is linear in the maximum degree of a graph, improving related exponential bounds of Bencs, Csikvári and Regts. The hypergraph viewpoint also yields explicit combinatorial formulas for top coefficients of $D(G,x)$, extending formulas in the literature and offering fruitful ground for combinatorial approaches to the unimodality conjecture. Second, we strengthen the coefficient-ratio method of Beaton and Brown. This includes tightening their inequalities, and combining a union bound for non-dominating $k$-element sets with an overlap correction based on spanning trees. This produces a new parameter $τ_k(G)$ measuring maximal pairwise neighborhood overlap and yields an overlap-corrected sufficient criterion for unimodality. Third, we prove that the domination polynomial of threshold graphs are log-concave, and hence unimodal, by a planar network argument from total positivity. This offers a new tactic for resolving the unimodality of hereditary graph classes.
On Some Properties of Matrices with Entries Defined by Products of $k$-Fibonacci and $k$-Lucas Numbers
In this paper, we study a structured family of matrices whose entries are given by products of $k$-Fibonacci and $k$-Lucas numbers. For this family, we obtain explicit and unified formulas for several classical matrix invariants, including the determinant, inverse, trace, and matrix powers, revealing nontrivial algebraic patterns induced by the underlying recurrence relations. In addition, we determine the spectral radius and the energy of the graphs naturally associated with these matrices. Finally, we establish connections between the resulting formulas and certain integer sequences recorded in the On-Line Encyclopedia of Integer Sequences (OEIS).
Ribbon complexes for the 0-Hecke algebra
We construct explicit tableau-level maps between indecomposable projective modules for the type A 0-Hecke algebra that assemble into canonical split short exact sequences lifting the basic ribbon product rule in NSym via concatenation and near-concatenation. Iterating these maps yields cochain complexes indexed by generalized ribbons; we prove these complexes are acyclic in positive degrees and that their zeroth cohomology is the projective module indexed by full concatenation. We apply these complexes, together with VandeBogert's ribbon Schur module criterion, to prove Koszulness for a naturally defined internally graded algebra object built from the 0-Hecke tower. Finally, we define skew projective modules whose noncommutative Frobenius characteristics realize skewing by fundamental quasisymmetric functions on NSym.
Level of Faces for Exponential Sequence of Arrangements
In this paper, we introduce the bivariate exponential generating function $F_l(x,y)$ for the number of level-$l$ faces of an exponential sequence of arrangements (ESA), and establish the formula $F_l(x,y)=\big(F_1(x,y)\big)^l$ with a combinatorial interpretation. Its specialization at $x=0$ recovers a result first obtained by Chen et al. [3,4] for certain classic ESAs and later generalized to all ESAs by Southerland et al. [8]. As a byproduct, we obtain that an alternating sum of the number of level-$l$ faces is invariant with respect to the choice of ESA, and is exactly the Stirling number of the second kind. We also extend the binomial-basis expansion theorem [3,4,14] and Stanley's formula on ESAs [9] from characteristic polynomials to Whitney polynomials.
A semigroup approach to iterated binomial transforms
We study a one-parameter family of binomial-convolution operators acting on sequences. These operators form an additive semigroup with an explicit inverse, and they subsume iterated classical binomial transforms as a special case. We describe the action in terms of ordinary and exponential generating functions, interpret the transform in the Riordan-array framework, and prove a general root-shift principle for constant-coefficient linear recurrences: applying the transform shifts the characteristic roots by a fixed amount. Several classical families (Fibonacci, Lucas, Pell, Jacobsthal, Mersenne) are treated uniformly as illustrative examples.
Explicit Almost-Optimal $\varepsilon$-Balanced Codes via Free Expander Walks
We study the problem of constructing explicit codes whose rate and distance match the Gilbert-Varshamov bound in the low-rate, high-distance regime. In 2017, Ta-Shma gave an explicit family of codes where every pair of codewords has relative distance $\frac{1-\varepsilon}{2}$, with rate $Ω(\varepsilon^{2+o(1)})$, matching the Gilbert-Varshamov bound up to a factor of $\varepsilon^{o(1)}$. Ta-Shma's construction was based on starting with a good code and amplifying its bias with walks arising from the $s$-wide-replacement product.
In this work, we give an arguably simpler almost-optimal construction, based on what we call free expander walks: ordinary expander walks where each step is taken on a distinct expander from a carefully chosen sequence. This sequence of expanders is derived from the construction of near-$X$-Ramanujan graphs due to O'Donnell and Wu.