representation ↗ reference
4143 papers tagged with this keyword
Fractional Diffusion on Graphs: Superposition of Laplacian Semigroups and Memory
Published
• View Publication
• BIB
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.
Minimal Polynomials in Spin Representations of Symmetric and Alternating Groups
We determine the minimal polynomial of each element of the double cover $G$ of the symmetric or alternating group in every irreducible spin representation of $G$.
Skein relations on punctured surfaces
Published
• View Publication
• BIB
This thesis studies skein relations in cluster algebras arising from punctured surfaces. We introduce skein-type identities expressing cluster variables associated with incompatible curves on a surface in terms of cluster variables corresponding to compatible arcs. Incompatibility arises from phenomena such as intersections, self-intersections, and opposite taggings at punctures. To establish these identities, we develop a combinatorial-algebraic framework that relates loop graphs to certain representations. These skein relations can then be applied to investigate structural properties of cluster algebras from punctured surfaces. In particular, they can be used to prove the existence of bases satisfying natural positivity and compatibility conditions. This extends existing work on surface cluster algebras by incorporating punctures in the interior of the surface, thereby enlarging the class of cluster algebras for which such skein relations and bases can be constructed.
Schur--Weyl duality for diagonalizing a Markov chain on the hypercube
We show how the tools of modern algebraic combinatorics -- representation theory, Murphy elements, and particularly Schur--Weyl duality -- can be used to give an explicit orthonormal basis of eigenfunctions for a "curiously slowly mixing Markov chain" on the space of binary $n$-tuples. The basis is used to give sharp rates of convergence to stationarity.
Lovász--Saks--Schrijver Ideals and the Irreducible Components of the Variety of Orthogonal Representations of a Graph
Given a finite simple graph $G$ and a positive integer $d$, one can associate to $G$ the Lovász--Saks--Schrijver ideal $L_{G}(d)$, an ideal generated by quadratic polynomials coming from orthogonality conditions. The corresponding variety $\mathbb{V}(L_{G}(d))$, denoted $\mathrm{OR}_{d}(\overline{G})$, is the variety of orthogonal representations of the complement graph $\overline{G}$: its points are maps from the vertex set of $G$ to $\mathbb{K}^{d}$ that send adjacent vertices of $G$ to orthogonal vectors. In this paper we study the irreducible decomposition of $\mathrm{OR}_{d}(\overline{G})$ and the primary decomposition of $L_{G}(d)$. Our main focus is the case in which $G$ is a forest. Under this assumption, we determine the irreducible components of $\mathrm{OR}_{d}(\overline{G})$, compute their dimensions, and describe their defining equations, thereby obtaining the primary decomposition of $L_{G}(d)$. The key ingredient is a matroid-theoretic framework in which we associate to every forest $G$ a paving matroid $\mathcal{M}(G)$.
Fano compactifications of mutation algebras
In this article, we introduce the notion of mutation semigroup algebras. This concept simultaneously generalizes cluster algebras and semigroup algebras. We show that, under some mild conditions on the singularities, the spectrum $U={\rm Spec}(R)$ of a mutation semigroup algebra $R$ admits a log Fano compactification $U\hookrightarrow X$. The compactification $X$ can be chosen to be a $\mathbb{Q}$-factorial log Fano variety whenever $U$ is $\mathbb{Q}$-factorial. Furthermore, we prove that a $\mathbb{Q}$-factorial klt Fano variety $X$ is of cluster type if and only if its Cox ring ${\rm Cox}(X)$ is a ${\rm Cl}(X)$-graded mutation semigroup algebra. In order to enlighten the previous theorems, we provide several explicit examples motivated by birational geometry, representation theory, and combinatorics.
Tableaux and orbit harmonics quotients for finite transformation monoids
Published
• View Publication
• BIB
We extend Grood's tableau construction of irreducible representations of the rook monoid and Steinberg's analogous result for the full transformation monoid. Our approach is characteristic-free and applies to any submonoid $\mathcal{M}(n)$ of the partial transformation monoid on an $n$-element set that contains the symmetric group. To achieve this, we introduce and study a functor from the category of rational representations of the monoid of $n \times n$ matrices to the category of finite dimensional representations of $\mathcal{M}(n)$. We establish two branching rules. Our main results describe graded module structures of orbit harmonics quotients for the rook, partial transformation, and full transformation monoids. This yields analogs of the Cauchy decomposition for polynomial rings in $n\times n$ variables.
Framing Lattices and Flow Polytopes
Flow polytopes of acyclic oriented graphs arise naturally in combinatorial optimization, and the study of their volumes and triangulations has revealed intriguing connections across combinatorics, geometry, algebra, and representation theory. In this work, we introduce the framing lattice associated with a framed graph, whose Hasse diagram is dual to a framed triangulation of the corresponding flow polytope. Framing lattices are remarkable in that they provide a unifying framework encompassing many classical and well-studied lattice structures, including the Boolean lattice, the Tamari lattice, and the weak order on permutations. They further subsume a broad array of examples such as all type-A Cambrian lattices, the Grassmann and grid-Tamari lattices, the alt-$ν$-Tamari and cross-Tamari lattices, the permutree lattices, and the $τ$-tilting posets of certain gentle algebras. We show, among several foundational structural properties, that the framing lattice is a semidistributive, congruence uniform, and polygonal lattice, with its polygons consisting of squares, pentagons, and hexagons. We study its connections to noncrossing partitions via Reading's core label orders, simple representations of its join and meet irreducible elements, and several of its lattice congruences and quotients induced by a graph operation called an M-move.
The global structure of locally chordal graphs
A graph is locally chordal if each of its small-radius balls is chordal. In an earlier work [AKK25], the authors and Kobler proved that locally chordal graphs can be characterized by having chordal local covers, by forbidding short cycles and wheels as induced subgraphs, and by the property that each of their minimal local separators is a clique. In this paper, we address the global structure of locally chordal graphs. The global structure of chordal graphs is given by the following characterizations: a graph is chordal if and only if it is the intersection graph of subtrees of a tree, if and only if it admits a tree-decomposition into cliques. We prove a local analog of this characterization, which essentially says that a graph is locally chordal if and only if it is the intersection graph of special subtrees of a high-girth graph, if and only if it admits a special graph-decomposition over a high-girth graph into cliques. We also prove that these global representations of locally chordal graphs can be efficiently computed.
This paper has two major contributions. The first is to exhibit for locally chordal graphs an ideal "local to global" analysis: given a graph class defined by restricted local structure, we fully describe the global structure of graphs in the class. The second is to develop the theory of graph-decompositions. Much of the work in this paper is devoted to properties of graph-decompositions that represent the global structure of graphs. This theory will be useful to find global decompositions for graph classes beyond locally chordal graphs.
Rank-metric separation in irreducible representations of finite groups
Published
• View Publication
• BIB
We give a general lower bound on the rank of matrices of the form $ρ(h) - I$ with $ρ: G \rightarrow GL({\mathbb F}^n)$ an irreducible representation of a finite group $G$. The main tool in the proof is a (strengthening) of a reduction due to Efremenko from low rank matrices spanned by a few images of $ρ$ to Locally Decodable Codes (LDCs), which are a special kind of error correcting codes. We then apply the known results on 2-query LDCs to derive our rank bound.
On the convoy of the ASEP speed process
We investigate the size of the convoy in the speed process in the multi-species asymmetric simple exclusion process (ASEP). Through a coupling argument, we obtain an exact formula for the expected convoy size by relating it to a combinatorial structure. We prove that the asymptotic expected convoy size is universal for all fixed jump rates $q \in [0,1)$. In the special case $q=0$, we upgrade this to full convergence in distribution. We further establish a critical scaling $q = 1 - γ/\sqrt{n}$ that yields a nontrivial limiting regime. Our analysis builds on Martin's construction of the convoy and makes use of an orthogonal-polynomial representation of random-walk transition probabilities.
Generalized diagram categories and monoids, and their representations
Classical diagram categories and monoids, including the Temperley--Lieb, Brauer, and partition cases, arise as special instances of the category of two dimensional cobordisms and admit additional twists that produce a large new family of diagram categories and monoids. In this paper we introduce this family and develop a unified approach to their representation theory.
A matrix approach to the enumeration of naturally labeled posets
We propose a matrix approach for enumerating naturally labeled posets by representing each poset $P$ on $[n]$ as a Boolean poset matrix $A$. This algebraic representation enables a systematic handling of partial orderings through $v$-extensions of the form $A^v=\bigl[\begin{smallmatrix}A&0\\ v&1\end{smallmatrix}\bigr]$. We show that $A^v$ defines a valid poset matrix if and only if the Boolean vector $v$ represents an order ideal of the poset $P$ associated to $A$, equivalently satisfying the fixed-point equation $vA=v$. Furthermore, we explore the twin-class decomposition of $A$, which partitions the elements of $P$ according to identical down- and up-sets. Finally, we present an algorithmic generation scheme for the posets based on the topological growth of their distribution lattices, offering a new approach to constructive enumeration of poset families.