representation ↗ reference
4049 papers tagged with this keyword
Factor-balancedness, linear recurrence, and factor complexity
In the study of infinite words, various notions of balancedness provide quantitative measures for how regularly letters or factors occur, and they find applications in several areas of mathematics and theoretical computer science. In this paper, we study factor-balancedness and uniform factor-balancedness, making two main contributions. First, we establish general sufficient conditions for an infinite word to be (uniformly) factor-balanced, applicable in particular to any given linearly recurrent word. These conditions are formulated in terms of $\mathcal{S}$-adic representations and generalize results of Adamczewski on primitive substitutive words, which show that balancedness of length-2 factors already implies uniform factor-balancedness. As an application of our criteria, we characterize the Sturmian words and ternary Arnoux--Rauzy words that are uniformly factor-balanced as precisely those with bounded weak partial quotients. Our second main contribution is a study of the relationship between factor-balancedness and factor complexity. In particular, we analyze the non-primitive substitutive case and construct an example of a factor-balanced word with exponential factor complexity, thereby making progress on a question raised in 2025 by Arnoux, Berthé, Minervino, Steiner, and Thuswaldner on the relation between balancedness and discrete spectrum.
Grid Diagrams of Fibered Knots
Grid diagrams are special representations of knots in the three-sphere that are used to define a combinatorial version of knot Floer homology. Paolo Ghiggini and Yi Ni showed that knot Floer homology detects fibered knots. Their results imply, in particular, that grid diagrams with a unique grid state whose Alexander grading is maximal only exist for fibered knots. Whether every fibered knot admits such a diagram remains an open question. Here, we investigate the existence of such special grid diagrams for fibered knots. We develop an efficient method for deciding whether a given grid diagram meets the even stricter condition of having a unique grid state that realizes an upper bound for the Alexander function. By implementing this method in a Python package, we find suitable grid diagrams for 5385 of the 5397 fibered prime knots with crossing number at most 13.
Decomposable shuffles
We develop a combinatorial and order-theoretic framework for shuffles, understood as ordered concatenations of indexed families of sequences that induce total orders on the natural numbers. Motivated by the classical Šarkovskiĭ order, we introduce elementary building blocks that encode finite and infinite order patterns and focus on decomposable shuffles constructed from finite ordinals together with $ω$ and its dual $ω^*$. We define representations that allow individual elements to be located within a shuffle and show how suitable structural conditions yield total orders on $\mathbb{N}$
Multisets of finite intervals and a universal category of poset representations
For any finite totally ordered set, the multisets of intervals form an abelian category. Various classes of subcategories admit natural combinatorial descriptions, and counting them yields familiar integer sequences. Surprisingly, in some cases new integer sequences arise. The formulation of this counting problem leads to a universal construction which assigns to any poset a finitely cocomplete additive category; it is abelian when the poset is finite and does not depend on the choice of any ring of coefficients. For a general poset the universal category of representations is abelian if and only if for the lattice of ideals the meet of two compact elements is again compact.
Comparability in Bruhat orders
We determine the sharp asymptotic scale of the probability that two uniformly random permutations are comparable in weak Bruhat order, showing that $\mathbb{P}(σ_1 \preceq_W σ_2)=\exp\Bigl(\bigl(-\tfrac12+o(1)\bigr)\,n\log n\Bigr)$. This significantly improves both of the best known bounds, due to Hammett and Pittel, which placed this probability between $\exp((-1+o(1))n\log n)$ and $\exp(-Θ(n))$. We also improve the best known lower bound for strong Bruhat-order comparability, due to the same authors, by proving a subexponential lower bound. The Bruhat orders are natural partial orders on the symmetric group, appearing in wide-reaching settings including the geometry of flag manifolds, the representation theory of $\mathfrak{S}_{n}$, and the combinatorics of the permutohedron. To analyze weak Bruhat order, we combine classic analytic, tableau-theoretic, and poset-theoretic tools, including the Plancherel measure and the RSK bijection. For strong Bruhat order we construct large families where members are comparable with high probability. Our proof that members are comparable combines the tableau criterion with an associated random-walk-type deviation process.
On Patterns and Languages in 1-11-Representations of Graphs
A 1-11-representation of a graph $G(V,E)$ is a word over the alphabet $V$ such that two distinct vertices $x$ and $y$ are adjacent if and only if the restricted word $w{x,y}$ (obtained from $w$ by deleting all letters except $x$ and $y$) contains at most one occurrence of $xx$ or $yy$. Although every graph admits a 1-11-representation, the repetition patterns that may or must appear in such representations have not been fully studied.
In this paper, we study cube-free and square-free 1-11-representations of graphs. We first show that cubes cannot always be avoided in 1-11-representations of minimum length by providing a graph for which every minimum-length 1-11-representation necessarily contains a cube. We then focus on permutational 1-11-representations, where the representing word is a concatenation of permutations of the vertex set. In this setting, we prove that any cube appearing in a permutational 1-11-representation can be removed without changing the represented graph. As a consequence, every permutational 1-11-representation attaining the permutational 1-11-representation number is cube-free. We further show that this behaviour does not extend to squares by providing a graph for which every permutational 1-11-representation with the minimum number of permutations necessarily contains a square.
Finally, we prove that the language of all 1-11-representations of a given graph is regular. Moreover, we show that the language of all permutational 1-11-representations of a graph is also regular.
Intersection statistics for antichains in minuscule posets
For a finite poset $P$, we study the expected size of the intersection of two independent uniformly random antichains. Equivalently, we evaluate the sum of $|A\cap A'|$ over all ordered pairs of antichains. For general posets this statistic appears to have little structure, but for the classical minuscule posets with uniform combinatorial models it admits closed-form expressions. Though the proofs are elementary and combinatorial, the resulting formulas admit a natural interpretation in terms of weight diagrams of minuscule representations.
On Extending Type $B$ Parking Spaces
Armstrong, Reiner, and Rhoades defined for all Weyl groups $W$ a natural representation of $W$ called the $W$-parking space. The type $B$ parking space is the representation $\mathbb{C}[(\mathbb{Z}/(2n+1)\mathbb{Z})^n]$ of the $n$th signed symmetric group. We consider more general representations of the form $\mathbb{C}[(\mathbb{Z}/m\mathbb{Z})^n]$; we conjecture that this representation extends to the $(n+1)$th signed symmetric group for all $n$ and $m$. We prove this conjecture when $m = 3$ or when $n \leq 2$.
Equivariant inverse $Z$-polynomials of matroids
Motivated by the notion of the inverse $Z$-polynomial introduced by Ferroni, Matherne, Stevens, and Vecchi, we study the equivariant inverse $Z$-polynomial of a matroid equipped with a finite group. We prove that the coefficients of the equivariant inverse $Z$-polynomials are honest representations and that these polynomials are palindromic. Explicit formulas are obtained for uniform matroids equipped with the symmetric group. The corresponding formulas for $q$-niform matroids are derived using the Comparison Theorem for unipotent representations. For arbitrary equivariant paving matroids, explicit expressions are obtained by relating the polynomials of a matroid to those of its relaxation. We show that these polynomials are equivariantly unimodal and strongly inductively log-concave for both uniform and $q$-niform matroids. Motivated by the properties of equivariant $Z$-polynomials, we conjecture that the coefficients of the equivariant inverse $Z$-polynomials are equivariantly unimodal and strongly equivariantly log-concave.
Representations of the Flat Space Wavefunction
From any graph $G$ arises a flat space wavefunction, obtained by integrating a product of propagators associated to the vertices and edges of $G$. This function is a key ingredient in the computation of cosmological correlators, and several representations for it have been proposed. We formulate three such representations and prove their correctness. In particular, we show that the flat space wavefunction can be read off from the canonical form of the cosmological polytope, and we settle a conjecture of Fevola, Pimentel, Sattelberger, and Westerdijk regarding a partial fraction decomposition for the flat space wavefunction. The terms of the decomposition correspond to certain collections of connected subgraphs associated to $G$ and its spanning subgraphs, reflecting the fact that the flat space wavefunction contains information about how $G$ is connected.
Product representations of polynomials over finite fields
Erdős, Sárközy, and Sós studied the asymptotics of the maximum size of a subset of $\{1,2,\ldots, N\}$ such that it does not contain $k$ distinct elements whose product is a perfect square. More generally, Verstraëte proposed a conjecture regarding the asymptotic behavior of the same quantity with the set of perfect squares replaced by the value set of a polynomial in $\mathbb{Z}[x]$. In this paper, we study a finite field analogue of Verstraëte's conjecture.
Polynomial Expressions for Symmetric Group Characters on Cycles
In \cite{[CZ]}, Cohen and Zemel showed that for a partition $λ\vdash k$, the dimension of the irreducible representation of $S_{n}$ corresponding to the partition $(n-k,λ) \vdash n$ is a polynomial of degree $k$ in $n$, whose coefficients in the binomial basis count standard Young tableaux of shape $λ$ with special restrictions. In this paper, we generalize their results on the representation's dimension to character values on arbitrary cycles.
Fractional Diffusion on Graphs: Superposition of Laplacian Semigroups and Memory
Subdiffusion on graphs is often modeled by time-fractional diffusion equations, yet its structural and dynamical consequences remain unclear. We show that subdiffusive transport on graphs is a memory-driven process generated by a random time change that compresses operational time, produces long-tailed waiting times, and breaks Markovianity while preserving linearity and mass conservation. We prove that Mittag-Leffler graph dynamics admit an exact convex, mass-preserving representation as a superposition of classical heat semigroups evaluated at rescaled times, revealing fractional diffusion as ordinary diffusion acting across multiple intrinsic time scales. This framework uncovers heterogeneous, vertex-dependent memory effects and induces transport biases absent in classical diffusion, including algebraic relaxation, degree-dependent waiting times, and early-time asymmetries between sources and neighbors. These features define a subdiffusive geometry on graphs enabling particles to locally discover global shortest paths while favoring high-degree regions. Finally, we show that time-fractional diffusion arises as a singular limit of multi-rate diffusion.
Explicit Entropic Constructions for Coverage, Facility Location, and Graph Cuts
Shannon entropy is a polymatroidal set function and lies at the foundation of information theory, yet the class of entropic polymatroids is strictly smaller than the class of all submodular functions. In parallel, submodular and combinatorial information measures (SIMs) have recently been proposed as a principled framework for extending entropy, mutual information, and conditional mutual information to general submodular functions, and have been used extensively in data subset selection, active learning, domain adaptation, and representation learning. This raises a natural and fundamental question: are the monotone submodular functions most commonly used in practice entropic?
In this paper, we answer this question in the affirmative for a broad class of widely used polymatroid functions. We provide explicit entropic constructions for set cover and coverage functions, facility location, saturated coverage, concave-over-modular functions via truncations, and monotone graph-cut-type objectives. Our results show that these functions can be realized exactly as Shannon entropies of appropriately constructed random variables. As a consequence, for these functions, submodular mutual information coincides with classical mutual information, conditional gain specializes to conditional entropy, and submodular conditional mutual information reduces to standard conditional mutual information in the entropic sense. These results establish a direct bridge between combinatorial information measures and classical information theory for many of the most common submodular objectives used in applications.
Product representations of perfect powers
Let $ρ_k(N)$ denote the maximum size of a set $A\subseteq \{1,2,\dots,N\}$ such that no product of $k$ distinct elements of $A$ is a perfect $d$-th power. In this short note, we prove that $ρ_d(N)=\sum\limits_{k=1}^{d-1}π\left( \frac{N}{k} \right) +O_d(π(N^{1/2}))$, furthermore, for prime power $d$ and sufficiently large $N$ we have $ρ_d(N)=\sum\limits_{k=1}^{d-1}π\left( \frac{N}{k} \right)$. This answers a question of Verstraëte.
The orientifold Temperley--Lieb algebra
We construct gradings on the simple modules of 2-boundary Temperley--Lieb algebras and symplectic blob algebras by realising the latter algebras as quotients of Varagnolo--Vasserot's orientifold quiver Hecke algebras. We prove that the symplectic blob algebras are graded cellular and provide a conjectural algorithm for calculating their graded decomposition matrices. In doing so, we give the first explicit family of finite-dimensional graded quotients of the orientifold quiver Hecke algebras, providing a new entry point for the structure of these algebras -- in the spirit of Libedinsky--Plaza's ``blob algebra approach'' to modular representation theory.
A modern perspective on Tutte's homotopy theorem
We begin with a review of Tutte's homotopy theory, which concerns the structure of certain graph associated to a matroid (together with some extra data). Concretely, Tutte's path theorem asserts that this graph is connected, and his homotopy theorem asserts that every cycle in the graph is a composition of ''elementary cycles'', which come in four different flavors. We present an extended version of the homotopy theorem, in which we give a more refined classification of the different types of elementary cycles. We explain in detail how the path theorem allows one to prove that the foundation of a matroid (in the sense of Baker--Lorscheid) is generated by universal cross-ratios, and how the extended homotopy theorem allows one to classify all algebraic relations between universal cross-ratios. The resulting ''fundamental presentation'' of the foundation was previously established in [Baker--Lorscheid], but the argument here is more self-contained. We then recall a few applications of the fundamental presentation to the representation theory of matroids. Finally, in the most novel but also the most speculative part of the paper, we discuss what a ''higher Tutte homotopy theorem'' might look like, and we present some preliminary computations along these lines.
The Delta Theorem: a dimension bound for faithful orthogonal graph representations
In 1987 Hiroshi Maehara conjectured that a graph can be represented by vectors considered adjacent when not orthogonal (a faithful orthogonal representation) in codimension the minimum degree of the graph. Without settling the conjecture, Làslò Lovàsz, Michael Saks, and Alexander Schrijver (LSS) showed that a codimension of vertex connectivity both suffices and is best possible under the additional assumption of general position, and gave a probabilistic construction for producing such representations. The present work proves the conjecture of Maehara as well as related conjectures, variants of the Delta Conjecture, that have arisen independently in combinatorial matrix theory. The strongest of these is that minimum degree of G gives a lower bound for the maximum nullity of a positive definite matrix with pattern G that has the Strong Arnold Property (SAP). Such nullity questions are an important subcase of the Inverse Eigenvalue Problem for a Graph (IEPG).
The name greedegree is introduced for the largest possible final degree of a maximum cardinality search (MSC) ordering, which is to say an ordering that greedily maximizes adjacencies to previous chosen vertices. The name upper-zero generic is introduced to describe symmetric matrices with nonzero diagonal such that the zeros above the diagonal in any column belong to an independent set of rows, which matrices necessarily have the SAP.
The proof technique takes the probabilistic construction of LSS and parametrizes it completely in terms of independent variables, producing large polynomials that are reasoned about using an introduced operad of hanging garden diagrams. In the case of an MSC ordering in codimension greedegree, it is shown that the leading monomial in an appropriate term order has no canceling term, giving a nonzero polynomial. The resulting representation is faithful with upper-zero generic Gram matrix.
A Blueprint for the Formalization of Seymour's Matroid Decomposition Theorem
This document is a blueprint for the formalization in Lean of the structural theory of regular matroids underlying Seymour's decomposition theorem. We present a modular account of regularity via totally unimodular representations, show that regularity is preserved under $1$-, $2$-, and $3$-sums, and establish regularity for several special classes of matroids, including graphic, cographic, and the matroid $R_{10}$. The blueprint records the logical structure of the proof, the precise dependencies between results, and their correspondence with Lean declarations. It is intended both as a guide for the ongoing formalization effort and as a human-readable reference for the organization of the proof.
Algorithmic Design and Graph-Based Classification for Rectilinear-Shaped Modules in Floor Plans
We present a graph-theoretic framework for constructing floor plans that support non-rectangular modules, with particular emphasis on L-shaped and T-shaped geometries. Unlike traditional approaches that primarily focus on rectangular modules and outer boundary constraints, our method explicitly incorporates structural restrictions that arise when realizing more complex module shapes within rectangular floor-plan representations. The framework is based on triangulated graphs and investigates how algorithmic graph theory techniques can be used to embed L and T-shaped modules while preserving prescribed adjacencies.
We show that not every triangulated graph admits such realizations and identify structural limitations that prevent the existence of the desired module geometries. To capture these limitations, we introduce a shape-preservation constraint that ensures module geometries cannot be altered through boundary deformation, as such changes would either increase the combinatorial complexity of neighboring modules or violate adjacency relationships.
We propose a linear-time construction algorithm based on a prioritized canonical ordering that realizes L and T-shaped modules in graphs containing at least one internal K4, or two internal K4 subgraphs satisfying specific existence conditions. The algorithm is simple, constructive, and directly implementable, making it suitable for practical floor-plan generation workflows. We conclude by discussing extensions to additional module shapes and broader classes of supporting graph structures.