representation ↗ reference
4177 papers tagged with this keyword
Strong Lefschetz property of the Kirchhoff algebra of the complete tripartite graph $K_{1,1,n}$
By Whitney's 2-isomorphism theorem, the cycle matroids of two graphs are isomorphic if and only if one graph can be transformed into the other by finitely many applications of two operations: separation or identification at a cut-vertex, and twisting. The complete tripartite graph whose vertex set is the disjoint union of two singletons and an $n$-element set is invariant, up to isomorphism, under these operations. In this paper we prove that the Macaulay inverse system (the Kirchhoff algebra) determined by the basis generating polynomial of the cycle matroid of such a graph has the strong Lefschetz property over a field of characteristic $0$. The proof reduces the non-degeneracy of the higher Hessians to the ranks of disjointness matrices of families of subsets (the Gottlieb--Wilson theorem) and to the representation theory of the symmetric group in relation to the Johnson scheme.
Almost every Boolean function has central threshold degree
The polynomial threshold degree (or threshold degree) of a Boolean function is the least degree of a real polynomial whose sign represents it. We prove that almost every Boolean function has polynomial threshold degree among the central one or two integers. More precisely, a uniformly chosen Boolean function on $n$ variables has threshold degree either $\lfloor n/2\rfloor$ or $\lceil n/2\rceil$, except with probability at most $\exp(-c2^{n/2}/n)$, for an absolute constant $c>0$ and all sufficiently large $n$. The paper proves a 1991 conjecture of Aspnes, Beigel, Furst and Rudich. It also proves a 1991 conjecture of Wang and Williams for even $n$ and its main concentration assertion for odd $n$. A parity example gives a lower bound on the exceptional probability whose exponent differs from ours by a factor of order $n$. The proof relates polynomial sign representation to recovery of Reed--Muller codes from random erasures, and combines sharp-threshold estimates with bounds on generalized Hamming weights and minimum distance.
Facets of nondegeneracy: central type factor groups, Heisenberg representations and Hadamard matrices
Given a pair of complementary subgroups $P$ and $N$ of a finite group $G$, we first discuss how the same type of functions $\mathbb E\colon P\times N\to \mathbb T$, which we call bi-$1$-cocycles, appear naturally in the study of projective representations of $G$ of Heisenberg type and second cohomology of $G$ and of its dual quantum group $\widehat G$. We show then that such representations are irreducible and the corresponding ordinary and dual $2$-cocycles are nondegenerate if and only if the matrix $(\mathbb E(p,n))_{p,n}$ is invertible, if and only if it is Hadamard. We illustrate the result with examples arising from symplectic nilpotent Lie algebras over finite fields with two complementary Lagrangian subalgebras.
On $(p,q)$-binomial coefficient ratios for complex parameters
We prove local asymptotics for near-central complex $(p,q)$-binomial coefficient modulus ratios allowing an imaginary parameter perturbation of order $n^{-3/4}$ at a $\sqrt{n}$ length scale from the centre. Moreover, we obtain ratio asymptotics for a smaller imaginary perturbation of order $n^{-5/4}$ at the length scale $n^{3/4}$. These results were obtained by reducing the two-parameter coefficients to just one parameter, giving a branch-free logarithmic representation of the second-order ratio and, hence, uniform complex curvature asymptotics for near-central ratios.
Embeddability of hieroglyphs in the torus and the intersection form
We characterize the hieroglyphs that embed in the torus, where a hieroglyph is a one-vertex graph with a rotation system. We prove equivalent criteria in terms of four forbidden hieroglyphs, the structure of the loop graph, reductions to three terminal forms, and the rank of the interlacement matrix. The proof uses the intersection form on the first homology of a disc with bands over $\mathbb{F}_2$ and the equality between its rank and twice the genus. We describe the effect of reductions and the role of boundary components. Counting the cycles of the boundary permutation yields a linear-time recognition algorithm for an indexed representation of the input.
The Schützenberger involution and colored lattice models
Colored lattice models can be used to describe many different types of special functions of interest in both algebraic combinatorics and representation theory, for example Schur polynomials, nonsymmetric Macdonald polynomials, and characters and Whittaker functions for representations of p-adic groups. A notable example is the metaplectic ice model of which there are actually two different variants: a Gamma and a Delta variant. These variants differ in key aspects but surprisingly produce equal partition functions, which are weighted sums over admissible configurations, and this equality is called the Gamma-Delta duality. The duality was used to prove the analytic continuation of certain multiple Dirichlet series and is highly non-trivial, especially since the number of configurations on each side of the equality can differ.
In this paper we generalize the Gamma-Delta duality by constructing a new family of solvable, colored lattice models and prove that they are dual to existing lattice models in the literature. Besides the above metaplectic case we also get a new lattice model and Gamma-Delta type duality for (non-metaplectic) Iwahori Whittaker functions together with a crystal limit for Demazure atoms for Cartan type A. The equality of partition functions is shown using Yang-Baxter equations involving both variants of lattice models simultaneously.
For the crystal lattice model we show that the duality refines to a weight-respecting bijection of states given by the Schützenberger involution on the associated Gelfand-Tsetlin patterns or semistandard Young tableaux. We also show how the individual steps exchanging two rows in the proof of the duality for the partition functions refines to Berenstein-Kirillov or, equivalently, Bender-Knuth involutions.
A modern perspective on Tutte's homotopy theorem
We begin with a review of Tutte's homotopy theory, which concerns the structure of a 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 appendices include modern language translations of Tutte's proofs of the path theorem and the homotopy theorem (the latter is a contribution by Juš Kocutar).
Kelly's conjectures on Condorcet winner probabilities for odd electorates
Let $C(m,n)$ denote the probability that, among $n$ independent uniformly random permutations of $m$ labels, there exists a label that precedes every other label in a strict majority of the permutations. We prove that $C(m,n)>C(m,n+2)$ for $m \ge 3$ and odd $n \ge 1$, and that $C(m,n)>C(m+1,n)$ for $m \ge 2$ and odd $n \ge 3$. These results establish Kelly's two monotonicity conjectures for odd electorates. The proofs use integral representations involving probabilities associated with sums of independent Bernoulli random variables.
Permutations, Pattern Covers, Posets and Positivity: Part I: Patterns and Posets
We study permutations covered by overlapping occurrences of a consecutive pattern. Special cases of this have been studied for consecutive patterns and via the cluster method. We study enumeration sequences obtained by repeating a fixed overlap. We elicit many structural properties of such pattern covers, mainly in terms of posets whose linear extensions are in bijection with the permutations in question. The enumeration of these permutations for different patterns gives rise to a great variety of sequences, many classical, but most of them not found in the OEIS. We conjecture that, essentially, all these sequences are moments of probability measures on the real line.
We develop an enumerative and order-theoretic framework for this. For overlap 1 we give a generating function whose coefficients enumerate permutations covered by any fixed pattern with any fixed number of occurrences. For overlap at most half the pattern length we derive a polynomial-time enumeration formula. We associate to each pattern, overlap, and number of occurrences a poset whose linear extensions are the corresponding permutations.
The regularity of this poset construction makes possible a structural analysis that in many cases leads to enumerative formulas for large classes of patterns. We prove uniform restrictions on the local structure of the Hasse diagrams, describe their branches (pendant chains) in terms of the corresponding patterns, and characterize when the poset is a tree or chain or subdivisions of a grid. Some of these constructions yield explicit families of formulas and explain unexpected equinumerations.
In a forthcoming paper we investigate the sequences arising here from a probabilistic perspective, viewing them both as point processes and as moment sequences. We also obtain integral and matrix representations for important overlap 1 and 2 classes of pattern-covering sequences.
Two q-Deformations of Narayana Polynomials: Rogers Moments, Hankel Positivity, and q-Narayana Kernels
We study two $q$-deformations of the continuous interpolation between type $B$ and shifted type $A$ Narayana polynomials, both constructed from the continuous $q$-ultraspherical (Rogers) functional. The first consists of affine moments of ordinary powers. For fixed $0<q<1$ and $-1<β<1$, we prove coefficientwise Hankel total positivity in the polynomial variable by a continuant comparison criterion. We also determine leading continuants, Hankel determinants, and extreme coefficients of arbitrary Hankel minors.
The second deformation uses Askey--Wilson basis products and yields a basic-hypergeometric Narayana kernel. We give two independent moment evaluations and prove that its row polynomials have simple negative zeros and are $γ$-positive after palindromic normalization. An Askey--Wilson integral with base $q^2$ gives a continuous-parameter extension and a moment proof of the Krattenthaler--Wachs super $q$-Narayana expansion, including its integrality. An ordinary-power expansion also proves Pan's Touchard identity.
For fixed $0<q<1$ and $θ>-1$, we prove total positivity of the kernel triangle by a Jackson $q$-Bessel--Edrei factorization and strict total positivity of its associated square by a discrete moment representation. This gives a simultaneous $(θ,q)$-extension of Wang--Yang's theorems for type $A$ and type $B$ Narayana triangles and squares. We further establish coefficientwise total nonnegativity in $q$ through order two for the endpoint triangles. An exact triangular change of basis links the two deformations and explains their common classical limit.
Continuous Narayana Interpolations: Hankel Total Positivity and Log-Convexity Preservation
We study a continuous interpolation between the type $B$ and shifted type $A$ Narayana triangles. Using a direct Gegenbauer-moment proof and a continuant comparison criterion, we show that the row polynomials form a coefficientwise Hankel-totally positive sequence for every real $θ\ge0$, and establish the same property for the moment sequences associated with all tails of the corresponding Jacobi matrix. Their $γ$-expansion, real-rootedness and Stieltjes moment representation are explicit, as are the exact orders of vanishing and extreme coefficients of arbitrary Hankel minors. This confirms and strengthens Rodelet--Causse--Tevlin's log-convexity conjecture for super Narayana polynomials. We further extend Wang--Yang's total positivity of the type~$A$ and $B$ Narayana triangles and strict total positivity of the associated squares to every real $θ>-1$, using Pólya-frequency sequences and a gamma-product moment representation. We also prove that the continuous Narayana transformations preserve strong $t$-log-convexity for every $θ\ge0$, and that every $d$-Hoggatt transformation has the same property for integers $d\ge1$. The preservation proofs employ the Zhu--Sun criterion and a mixed-minor one-sign-change argument based on a hypergeometric hitting-probability inequality.
Affine diagram categories, algebras and monoids
Published
• View Publication
• BIB
We introduce and study several affine (=annular in this paper) versions of the classical diagram algebras such as Temperley-Lieb, partition, Brauer, Motzkin, rook Brauer, rook, planar partition, and planar rook algebras. We give generators and relation presentation for them and their associated categories, study their representation theory, and the asymptotic behavior of tensor products of their representations in the monoid case. Under a mild hypothesis, we also prove a previous conjecture concerning the asymptotic growth of the number of indecomposable summands in the tensor powers of representations for finite monoids.
A Pittel-type limit law for the largest component of random $d$-uniform hypergraphs: enumeration and excursions
Let $H_d(n,M)$ be a $d$-uniform hypergraph with $n$ vertices and $M$ hyperedges. In the critical window $M=\frac{n}{d(d-1)}(1+λn^{-1/3})+O(1)$, its largest component $L_n$ satisfies $$n^{-2/3}L_n\xrightarrow{\mathcal L} \mathcal{F}_{\mathrm{Pit}}\bigl((d-1)^{1/3}a,λ(d-1)^{-2/3}\bigr).$$ (Here $\mathcal{F}_{\mathrm{Pit}}(x,μ)$ denotes the limiting law of the largest component of the critical random graph established by Pittel (2001).) The proof rests on two pillars.
First, a bivariate exponential formula gives the exact finite-size law of $L_n$. Subsequently, cancellation of the orders $n,n^{2/3},n^{1/3}$ in the tree normalization determines the series of rooted hypertrees, then that of unicyclic components and its singular expansions at the radius of convergence $ρ_d$. These calculations are exact; they serve the fixed-excess identities and the cancellation mechanism, and nothing more: no unproved uniformity in the excess enters the proof of the limit law.
Next, by exploration and martingale approximation, the ordered sizes converge unconditionally to the excursion lengths of a Brownian motion with parabolic drift. A monotone coupling transfers the law to $H_d(n,M)$. The limit law is then identified with Pittel's law by a Brownian rescaling: if $h=d-1$, it suffices to multiply lengths by $h^{-1/3}$ and evaluate at parameter $λh^{-2/3}$. The exact Poisson representation dispenses with any separate deconditioning.
We also formulate a two-regime $d$-uniform Bollobas bound (Wright for fixed $\ell$, global combinatorial beyond that), and explicitly indicate why neither regime alone suffices to close the analytic route.
Total $\{k\}$-domination in caterpillars: Structural properties and exact results
The total $\{k\}$-domination problem ($T\{k\}DP$) seeks a minimum-weight function such that the sum of weights in every open neighborhood is at least $k$. While this problem is known to be NP-hard for general graphs, we demonstrate that for the family of caterpillars, it simplifies to the classical total domination number ($k=1$) via the identity $γ^{\{k\}}_t(G) = kγ_t(G)$. This reduction is supported by a general upper bound established for all graphs, which we prove to be tight specifically for caterpillars. The central tool for our analysis is the introduction of a $(T,R)$-representation, a one-to-one mapping that abstracts caterpillar structure into discrete vectors based on support vertex distribution and central path segment lengths. By characterizing these segments through congruence modulo 4, we derive an exact closed-form expression for the total $\{k\}$-domination number of any caterpillar graph.
Weights of KZ motives and quantum groups
The Knizhnik--Zamolodchikov (KZ) connection is defined on the constant bundle determined by $n$ finite-dimensional irreducible representations of a simple Lie algebra $\mathfrak{g}$ and a nonzero complex parameter $κ$, over the configuration space of $n$ distinct points on the affine line. Work of Schechtman--Varchenko and Looijenga shows that, when $κ$ is rational, the resulting local systems admit natural motivic realizations, called KZ motives.
The Kazhdan--Lusztig equivalence identifies the local systems underlying these motivic variations with certain representations of the pure braid group arising from the corresponding Lusztig quantum group at a root of unity. We formulate conjectures relating the weight filtrations of KZ motives to structures in quantum-group representation theory, particularly tilting modules and the Jantzen and Andersen filtrations, and provide evidence for these conjectures.
Our methods use a new deformation of the representation ring that records the first moments of the weight filtration, together with Schmid's theorem on limiting mixed Hodge structures and results on the Hodge filtration obtained in earlier joint work with S. Mukhopadhyay.
Watkins's conjecture holds for all infinite groups
We prove that at every infinite cardinality, every group which is neither abelian of exponent greater than two nor generalized dicyclic admits a graphical regular representation, settling the infinite-group part of Watkins's conjecture. We also determine the Cayley index of every infinite group: it is $1$, $2$, or $8$, according to its algebraic type, and in every case the index is attained by a connected Cayley graph. For every infinite group $G$ of cardinality $κ$, we construct $2^κ$ pairwise nonisomorphic Cayley graphs with exactly the unavoidable inverse-pair symmetries, diameter two, and $κ$ common neighbors at every distinct pair. The principal tool recovers a continuous ordinal hierarchy from an alternating adjacency baseline with bounded-degree errors: robust finite patterns identify the initial classes, successive twin quotients recover the layers, and their finite exception packets determine the translation action. The reconstruction applies without a group action and is stable under additional layerwise bounded-degree edits. Further results give closed Cantor-cube families with prescribed finite data in the regular cases, sharp cofinality-dependent graph properties, and optimal three-valued shortest-path metrics.
Macdonald principal specialization ratios and their generating polynomials
We establish independence of $q$ as a necessary condition for coefficientwise nonnegativity of normalized principal specialization ratios of monic Macdonald polynomials. For arbitrary pairs of partitions, we characterize independence of $q$. For denominator partitions with largest and smallest parts differing by at least two, every ratio independent of $q$ is a power of $t$. We classify the nonnegative ratios under addition of maximal rows and columns of fixed height. For rows of length at least two, the classification is equivalent to rectangular complementation. For arbitrary initial partitions, the generating polynomials of successive row ratios at the smallest number of variables admissible for all stages have simple negative real zeros with lower bounds for the ratios of consecutive absolute zeros. We derive a reciprocity criterion, bounds for gamma coefficients, and the corresponding Jack limit. For generalized staircases, we determine shortest horizontal and conjugate vertical strip sequences and obtain terminating basic hypergeometric representations.
Inference of Hierarchical Core-Periphery Structure in Temporal Networks
Networks can have various types of mesoscale structures. One such structure is core--periphery structure, which consists of sets of densely-connected core nodes and sets of sparsely-connected peripheral nodes. Core nodes are connected densely to other core nodes and are potentially connected densely to peripheral nodes, which are connected sparsely to other nodes. There has been much research on core--periphery structure in time-independent networks, but few core--periphery detection methods have been developed for time-dependent (i.e., ``temporal") networks. Using a multilayer-network representation of temporal networks and an inference approach that employs stochastic block models, we generalize a recent method for detecting hierarchical core--periphery structure \cite{Polanco23} from time-independent networks to temporal networks. In contrast to ``onion-like'' nested core--periphery structures (where each node is assigned to a group according to how deeply it is nested in a network's core), hierarchical core--periphery structures encompass networks with nested structures, tree-like structures (where any two groups must either be disjoint or have one group as a strict subset of the other group), and general non-nested mesoscale structures (where the group assignments of nodes do not have to be nested in any way). To perform statistical inference and thereby identify hierarchical core--periphery structure, we use a Markov-chain Monte Carlo (MCMC) approach. We illustrate our method for detecting hierarchical core--periphery structure in one synthetic temporal network and two real-world temporal networks, and we discuss the structures that we identify in these networks.
Schur-Positve Symmetric Functions from Products: Log-Majorization, Total-Positivity, and PSD Matrices
For a polynomial $F(t) = 1 + a_1 t + a_2 t^2 +\dots + a_d t^d$ with coefficients in a $\mathbb{Q}$-algebra $\mathcal{R}$, we consider Schur-positivity of the symmetric function $Ω_F(\mathbf{x}) = \prod_{i \geq 1} F(x_i)$. Using work of Lindström and Gessel--Viennot, we give sufficient conditions for Schur-positivity in terms of directed networks. In the case when $F(t)$ is the multivariate independence polynomial of the incomparability graph $inc(P)$ of a natural unit interval order, we apply these ideas to give a new proof of Schur-positivity of the chromatic symmetric function $X_{inc(P)}(\mathbf{x})$. Additionally, we prove Schur-positivity of certain sums of chromatic symmetric functions, refining recent work of Amdeberhan--Shareshian--Stanley. In the case when $\mathcal{R} = \mathbb{Q}[z_1,z_2,\dots,z_n]$, we prove necessary and sufficient conditions for Schur-positivity in terms of symmetric function evaluations. In particular, we show for $\mathbf{u}, \mathbf{v} \in \mathbb{R}_{\geq 0}^n$, $s_λ(\mathbf{u}) \geq s_λ(\mathbf{v})$ for all partitions $λ$ if and only if $m_λ(\mathbf{u}) \geq m_λ(\mathbf{v})$ for all partitions $λ$, and these inequalities are equivalent to $\mathbf{u}$ log-majorizing $\mathbf{v}$. Using representation theory of $GL(\mathbb{C}^n)$, we prove Schur-positivity of $Ω_F(\mathbf{x})$ when $F(t) = \det(I + t\sum_{i = 1}^m z_i \mathbf{v}_i \mathbf{v}_i^*)$ for a collection of vectors $\mathbf{v}_1,\mathbf{v}_2,\dots, \mathbf{v}_m \in \mathbb{C}^n$. As an application for this result, we introduce the Kirchhoff symmetric function $K_G(\mathbf{x})$ of a loopless graph $G$ and show that it it always Schur-positive.
The recording tableaux in the quantum Littlewood-Richardson map, the orthogonal transpose symmetry map, and the computation of $\mathfrak{k}$-highest weight tableaux
Recently Watanabe has given an algorithm to compute a bijection, that he calls (quantum) Littlewood-Richardson (LR) map of type AII, between semi-standard Young tableaux of shape a partition with at most $2n$ parts and pairs of tableaux consisting of a symplectic tableau with shape a partition with at most $n$ parts, and a recording tableau of skew-shape given by the two previous shapes. The recording tableaux in that algorithm are shown to be equinumerous to LR-Sundaram tableaux whose injectivity is shown combinatorially while the surjectivity is concluded via representation theory of a quantum symmetric pair of type AII$_{2n-1}$. The algorithm to compute the quantum LR map provides a new branching model for the branching multiplicities from $GL_{2n}(\C)$ to $Sp_{2n}(\C)$. Here, as morally suggested by Watanabe, one provides a combinatorial proof for the surjectivity of the quantum LR map which in turn exhibits the restriction of the LR orthogonal transpose symmetry map to LR-Sundaram tableaux. The surjectivity is exhibited via the iteration of the reverse Schensted column insertion, initialized on a symplectic tableau, ruled by the slack data of a quantum recording tableau, and followed with the inverse reduction map on the bumped symplectic column in each iteration. The explicit inverse reduction map has been recently computed by the author in arXiv:2606.24840v2 for any symplectic column. The inverse of the quantum LR map is used to compute and characterize a family of $\k$- highest weight semi-standard tableaux in the recent proof of the Naito-Sagaki conjecture using the Watanabe's branching rule based on the crystal basis theory for $\imath$quantum groups of type AII$_{2n-1}$. That family of tableaux is generated by quantum recording tableaux with $1$-$0$-slack sequence and shape length $2n$ or $2n-1$ is characterized by certain linear inequalities.