Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A combinatorial proof of the trace Cayley-Hamilton theorem
The deep interconnection between linear algebra and graph theory allows one to interpret classical matrix invariants through combinatorial structures. To each square matrix A over a commutative ring K, one can associate a weighted directed graph D(A), where the algebraic behavior of A is reflected in the combinatorial properties of D(A). In particular, the determinant and characteristic polynomial of A admit elegant formulations in terms of sign-weighted sums over linear subdigraphs of D(A), thereby providing a graphical interpretation of fundamental algebraic quantities. Building upon this correspondence, we establish a combinatorial proof of the trace Cayley-Hamilton theorem. This theorem furnishes explicit trace identities linking the coefficients of the characteristic polynomial of A with the traces of its successive powers.
Growth Problems of Quantum Groups
We study the asymptotic size of decompositions of tensor powers of tilting modules for quantum groups (mostly at a complex root of unity). In type A1 we obtain a sharp result for the number of indecomposable summands, explained by a one dimensional half-line random walk with a periodic congruence constraint. In general type we prove a universal law: the dominant part is governed only by the dimension of the module, while the correction depends only on the root system, so the asymptotic size is largely independent of the specific tilting module.
Subspace State Transfer in Coined Quantum Walks
We study a transport phenomenon in certain coined quantum walks where a subspace of states localized at a vertex gets transferred to another vertex. We first develop characterizations for perfect and pretty good subspace state transfer using the spectral properties of a Hermitian weighted digraph obtained from the underlying graph. We then provide a polynomial-time algorithm that tests whether pointwise perfect subspace state transfer occurs at an integer step, given that the subspace and coins are rational. Finally, we construct several infinite families of examples that admit pointwise perfect $d$-dimensional subspace state transfer where $d\ge 2$.
Latin cubes with disjoint subcubes of two orders
Given a partition $h_1+h_2+\dots+h_k = n$, a latin square of order $n$ with pairwise disjoint subsquares of orders $h_1,\dots ,h_k$ is called a realization. When the values $h_i$ are of at most two sizes, the existence of a realization has been completely determined. However, the existence of a latin cube with pairwise disjoint subcubes of two orders is only partially solved. In this paper, we determine existence for such latin cubes in almost all cases.
Heaps of rhombic dodecahedra, catalan congruences on alternating sign matrices, and bases of the Temperley-Lieb algebra
We prove that the excedance relation on permutations defined by N. Bergeron and L. Gagnon actually extends to a congruence of the lattice on alternating sign matrices. Motivated by this example, we study all lattice congruences of the lattice on alternating sign matrices whose quotient is isomorphic to the Stanley lattice on Dyck paths, which we call catalan congruences. We prove that the maxima of the congruence classes are always covexillary permutations (and all covexillary permutations appear this way), and that the minimal permutations in each class are always precisely the $321$-avoiding permutations. Finally, we show that any choice of representative permutations in each congruence class yield a basis of the Temperley-Lieb algebra with parameter $2$, vastly generalizing the bases arising from the excedance relation.
Revisiting Chazelle's Implementation of the Bottom-Left Heuristic: A Corrected and Rigorous Analysis
The Strip Packing Problem is a classical optimization problem in which a given set of rectangles must be packed, without overlap, into a strip of fixed width and infinite height, while minimizing the total height of the packing. A straightforward and widely studied approach to this problem is the Bottom-Left Heuristic. It consists of iteratively placing each rectangle in the given order at the lowest feasible position in the strip and, in case of ties, at the leftmost of those. Due to its simplicity and good empirical performance, this heuristic is widely used in practical applications. The most efficient implementation of this heuristic was proposed by Chazelle in 1983, requiring $O(n^2)$ time and $O(n)$ space to place $n$ rectangles. However, although Chazelle's original description was largely correct, it omitted several formal details. Furthermore, our analysis revealed a critical flaw in the original runtime analysis, which, in certain cases, results in $Ω(n^3)$ running time. Motivated by this finding, this paper provides a rigorous and corrected presentation of the implementation, addressing the imprecise arguments and resolving the identified flaw. The resulting analysis establishes a formally verified version of Chazelle's implementation and confirms its quadratic time complexity.
Higher-order Cheeger inequalities for graphons
The higher-order Cheeger inequalities were established for graphs by Lee, Oveis Gharan and Trevisan. We prove analogous inequalities for graphons in this article.
A universal theory of switching for combinatorial objects, and applications to complex Hadamard matrices
The concept of switching has arisen in several different areas within combinatorics. The act of switching usually transforms a combinatorial object into a non-isomorphic object of the same type, in a way that some key property is preserved. Godsil-McKay switching of graphs preserves the spectrum, switching of designs preserves their parameters, and switching of binary codes preserves the minimum distance. For Hadamard matrices, the switching techniques introduced by Orrick proved to be an incredibly powerful tool when enumerating the Hadamard matrices of order $32$. In this paper, we introduce a universal definition of switching that can be adapted to incorporate these known types of switching. Through this language, we extend Orrick's methods to Butson Hadamard and complex Hadamard matrices. We introduce switchings of these matrices that can be used to construct new, inequivalent matrices. We also consider the concept of trades in complex Hadamard matrices in this terminology, and address an open problem on the permissible size of a trade.
New small regular graphs of given girth: the cage problem and beyond
The cage problem concerns finding $(k,g)$-graphs, which are $k$-regular graphs with girth $g$, of the smallest possible number of vertices. The central goal is to determine $n(k,g)$, the minimum order of such a graph, and to identify corresponding extremal graphs. In this paper, we study the cage problem and several of its variants from a computational perspective. Four complementary graph generation algorithms are developed based on exhaustive generation of lifts, a tabu search heuristic, a hill climbing heuristic and excision techniques. Using these methods, we establish new upper bounds for eleven cases of the classical cage problem: $n(3,16) \leq 936$, $n(3,17) \leq 2048$, $n(4,9) \leq 270$, $n(4,10) \leq 320$, $n(4,11) \leq 713$, $n(5,9) \leq 1116$, $n(6,11) \leq 7783$, $n(8,7) \leq 774$, $n(10,7) \leq 1608$, $n(12,7) \leq 2890$ and $n(14,7) \leq 4716$. Notably, our results improve upon several of the best-known bounds, some of which have stood unchanged for 22 years. Moreover, the improvement for $n(4,10)$, from the longstanding upper bound of 384 down to 320, is surprising and constitutes a substantial improvement.
While the main focus is on the cage problem, we also adapted our algorithms for variants of the cage problem that received attention in the literature. For these variants, additional improvements are obtained, further narrowing the gaps between known lower and upper bounds.
On maximizing private neighbors in graphs
Given a set $U \subset V$ of vertices in a graph $G = (V, E)$, a {\it private neighbor with respect to the set $U$} is any vertex $w \in V$ having precisely one neighbor, say $v$, in $U$. If $w \in V - U$, then $w$ is called an {\it external private neighbor} of $v$ with respect to $U$. If $w \in U$ then $w$ is called an {\it internal private neighbor} of $v$ with respect to $U$. We also add one special case: if $w \in U$ and $N(w) \cap U = \emptyset$, then we say that $w$ is a {\it self private neighbor} with respect to $U$. By definition, a self private neighbor with respect to $U$ is an isolated vertex in the subgraph of $G$ induced by $U$. In this paper we consider the general problems of trying to find sets of vertices which maximize the number of private neighbors of specific types in a graph. In the process of doing this we define several new maximization parameters of graphs which generalize some known and well-studied parameters of graphs relating to vertex and edge independence, domination and irredundance in graphs.
Approximate cycle double cover
The Cycle double cover (CDC) conjecture states that for every bridgeless graph $G$, there exists a family $\mathcal{F}$ of cycles such that each edge of the graph is contained in exactly two members of $\mathcal{F}$. Given an embedding of a graph~$G$, an edge $e$ is called a \emph{singular edge} if it is visited twice by the boundary of one face. The CDC conjecture is equivalent to bridgeless cubic graphs having an embedding with no singular edge. In this work, we introduce nontrivial upper bounds on the minimum number of singular edges in an embedding of a cubic graph. Moreover, we present efficient algorithms to find embeddings satisfying these bounds.
The Tower of Hanoi: Optimality Proofs, Multi-Peg Bounds, and Computational Frontiers
The Tower of Hanoi continues to provide a surprisingly rich meeting point for recursive reasoning, combinatorial geometry, and computational verification. Motivated by the editorial standards of the Bulletin of the Australian Mathematical Society, we revisit the classical three-peg problem through Sierpinski-style self-similarity, bring Stockmeyer's uniqueness argument into a modern invariant-based framework, and then pivot to four pegs via the Frame-Stewart strategy and Bousch's optimality proof. The heart of this note is a cautionary data-and-proof cycle: the balanced split k = floor(n/2) is indeed optimal for n <= 8, but our corrected tables show that it already exceeds the optimal cost by 20% at n = 9, crosses the 1.5 mark at n = 13, and comes close to quadrupling the optimum by n = 20. We complement this diagnosis with a subtower-independence lemma, a reproducible table for n <= 15, three publication-ready TikZ figures (recursion arrow, four-peg state diagram, and multi-peg growth curves), and a bibliography exceeding thirty sources that foreground Bulletin and Gazette contributions. The concluding section reframes the open problems as robustness tests for heuristics rather than premature theorems.
On the structure of Multiple q-Zeta Values
In 2015, Bachmann \cite{Ba3} conjectured that the~$\Q$-vector space~$\Zq$ of (formal)~$q$-analogues of Multiple Zeta Values (\qmzv s) is spanned by a very particular set compared to known spanning sets. In this work, we prove that this conjecture is true for a subspace of~$\Zq$ spanned by words satisfying some condition on their number of zeros and depth. According to this partial result, we give an explicit approach to the whole conjecture, based on particular~$\Q$-linear relations among formal Multiple~$q$-Zeta Values which are implied by duality.
Graphical Scattering Equations
The CHY scattering equations on the moduli space $M_{0,n}$ play a prominent role at the interface of particle physics and algebraic statistics. We study the scattering correspondence when the Mandelstam invariants are restricted to a fixed graph on $n$ vertices.
Decoupling of clusters in independent sets in a percolated hypercube
Independent sets in graphs are sets of vertices containing no neighbors, and they represent a canonical spin system with hardcore constraints. Of particular interest is the setting of the boolean hypercube, where counting independent sets was the original motivator for Sapozhenko's famous graph container method. A modern perspective on such problems is to consider the effect of disorder, and the study of independent sets in random subgraphs of the hypercube obtained via bond percolation with parameter $p$ was initiated by Kronenberg and Spinka. They employed tools from statistical mechanics to obtain detailed information about the moments of the number of independent sets (now a random variable), and posed many interesting questions. Previous work by the authors addressed many of these questions in the regime $p \geq \frac{2}{3}$, where the behavior is relatively simple and can be modeled well by a related family of independent particles.
As $p$ decreases, though, typical independent sets become larger and feature more intricate clustering behavior. In the present article we overcome many of the challenges presented by this phenomenon and analyze the model for all $p> 0.465$. We obtain a sharp in-probability approximation for the number of independent sets in the percolated hypercube in terms of explicit random variables, as well as provide a sampling algorithm. Note that this shows, curiously, that $p = \frac{1}{2}$ is not a natural barrier for this problem unlike in many other problems where it appears as a point of a phase transition. A key contribution of this work is the introduction of a new probabilistic framework to handle the clustering behavior for these low values of $p$. Although our analysis is restricted to $p > 0.465$, our arguments are expected to be helpful for studying this model at even lower values of $p$, and possibly for other related problems.
Bipartite Turán number of paths and other trees
We solve a recent question of Caro, Patkós and Tuza by determining the exact maximum number of edges in a bipartite connected graph as a function of the longest path it contains as a subgraph and of the number of vertices in each side of the bipartition. This was previously known only in the case where both sides of the bipartition have equal size and the longest path has size at most $5$. We also discuss possible generalizations replacing "path" with some specific types of trees.
Penrose tilings, infinite friezes, and the $A_\infty$-singularity
We study Penrose tilings of the plane $\mathbb{R}^2$ and nonperiodic infinite frieze patterns from the point of view of Cohen--Macaulay representation theory: Triangulations of the completed infinity-gon correspond to subcategories of the Frobenius category $\mathcal{C}_2=\mathrm{CM}_{\mathbb{Z}}(\mathbb{C}[x,y]/(x^2))$, the singularity category of the curve singularity of type $A_\infty$. We relate Penrose tilings to certain triangulations of the completed infinity-gon, and thus to the corresponding subcategories of $\mathcal{C}_2$. We then extend the cluster character of Paquette and Yıldırım for a triangulated category modelling said triangulations to our setting. This allows us to define nonperiodic infinite friezes patterns coming from triangulations of the completed infinity-gon and in particular from Penrose tilings.
The excluded minors of the class of spike minors
Mayhew et al.\ (2021) posed the problem of showing that the minor-closed class of spikes and their minors has a finite set of excluded minors and describing all of them. In this paper, we resolve this problem.
Infinite Schnyder Woods
It is well-known that any finite triangulation possesses a unique maximal Schnyder wood. We introduce Schnyder woods of infinite triangulations, and prove there exists a unique maximal Schnyder wood of any infinite triangulation with finite boundary, and of the uniform infinite half-planar triangulation. Furthermore, the maximal Schnyder wood of the uniform infinite planar triangulation is the limit of maximal Schnyder woods of large finite random triangulations. Several structural properties of infinite Schnyder woods are also described.
On the combinatorics of tableaux -- Classification of lattices underlying Schensted correspondences
The celebrated Robinson-Schensted algorithm and each of its variants that have attracted substantial attention can be constructed using Fomin's "growth diagram" construction from a modular lattice that is also a weighted-differential poset. We classify all such lattices that meet certain criteria; the main criterion is that the lattice is distributive. Intuitively, these criteria seem excessively strict, but all known Fomin lattices satisfy all of these criteria, with the sole exception of one family that is not even distributive, the Young-Fibonacci lattices and cartesian products involving them. We discover a new class of Fomin lattices, but unfortunately they cannot be used to construct Robinson-Schensted algorithms.