representation ↗ reference
4053 papers tagged with this keyword
Asymptotics of Redistricting the $n\times n$ Grid
Redistricting is the act of dividing a region into districts for electoral representation. Motivated by this application, we study two questions. How many ways are there to partition the $n\times n$ grid into $n$ contiguous districts of equal size? How many of these partitions are ``compact"? We give asymptotic bounds on the number of plans: a lower bound of roughly $1.41^{n^2}$ and an upper bound of roughly $3.21^{n^2}$. We then use the lower bound to show that most plans are not compact.
Parahoric Lie algebras and parasymmetric Macdonald polynomials
The main goal of this paper is to categorify the specialized parasymmetric (intermediate) Macdonald polynomials. These polynomials depend on a parabolic subalgebra of a simple Lie algebra and generalize the symmetric and nonsymmetric Macdonald polynomials.
To achieve this we introduce cyclic modules of the parahoric subalgebras of the affine Kac-Moody Lie algebras such that their characters coincide with the specializations of the parasymmetric polynomials at zero and infinity. These cyclic modules are proved to coincide with standard and costandard objects in certain categories of representations of parahoric algebras. We show that the categories in question are stratified, i.e. they are graded highest weight categories. As a consequence, we derive an analog of the Peter-Weyl theorem describing the bi-module of functions on the parahoric and parabolic Lie groups via the mentioned above standard and costandard modules.
Word Measures on Wreath Products II
Every word $w$ in $F_r$, the free group of rank $r$, induces a probability measure (the $w$-measure) on every finite group $G$, by substitution of random $G$-elements in the letters. This measure is determined by its Fourier coefficients: the $w$-expectations $E_w[χ]$ of the irreducible characters of $G$. For every finite group $G$, every stable character $χ$ of $G\wr S_n$ (trace of a finitely generated $FI_G$-module), and every word $w\in F_r$, we approximate $E_w[χ]$ up to an error term of $O(n^{-π(w)})$, where $π(w)$ is the primitivity rank of $w$. This generalizes previous works by Puder, Hanany, Magee and the author. As an application we show that random Schreier graphs of representation-stable actions of $G\wr S_n$ are close-to-optimal expanders. The paper reveals a surprising relation between stable representation theory of wreath products and not-necessarily connected Stallings core graphs.
Lattices properties of acyclic alternating pipe dreams
This paper proves some conjectures raised by N. Bergeron, N. Cartier, C. Ceballos, and V. Pilaud about acyclic facets of subword complexes of type A Coxeter groups. We use a representation of subword complex facets extending the pipe dreams defined N. Bergeron and S. Billey and prove that the strongly acyclic facets realize a lattice quotient of a weak order interval. We also give a sufficient condition so that all acyclic facets are strongly acyclic.
The Chromatic Number of Kneser Hypergraphs via Consensus Division
We show that the Consensus Division theorem implies lower bounds on the chromatic number of Kneser hypergraphs, offering a novel proof for a result of Alon, Frankl, and Lovász (Trans. Amer. Math. Soc., 1986) and for its generalization by Kříž (Trans. Amer. Math. Soc., 1992). Our approach is applied to study the computational complexity of the total search problem Kneser$^p$, which given a succinct representation of a coloring of a $p$-uniform Kneser hypergraph with fewer colors than its chromatic number, asks to find a monochromatic hyperedge. We prove that for every prime $p$, the Kneser$^p$ problem with an extended access to the input coloring is efficiently reducible to a quite weak approximation of the Consensus Division problem with $p$ shares. In particular, for $p=2$, the problem is efficiently reducible to any non-trivial approximation of the Consensus Halving problem on normalized monotone functions. We further show that for every prime $p$, the Kneser$^p$ problem lies in the complexity class $\mathsf{PPA}$-$p$. As an application, we establish limitations on the complexity of the Kneser$^p$ problem, restricted to colorings with a bounded number of colors.
Monomial expansions for $q$-Whittaker and modified Hall-Littlewood polynomials
We consider the monomial expansion of the $q$-Whittaker polynomials given by the fermionic formula and via the inv and quinv statistics. We construct bijections between the parametrizing sets of these three models which preserve the $x$- and $q$-weights, and which are compatible with natural projection and branching maps. We apply this to the limit construction of local Weyl modules and obtain a new character formula for the basic representation of $\widehat{\mathfrak{sl}_n}$. Finally, we indicate how our main results generalize to the modified Hall-Littlewood case.
Silhouettes and generic properties of subgroups of the modular group
We show that the probability for a finitely generated subgroup of the modular group, of size $n$, to be almost malnormal or non-parabolic, tends to 0 as $n$ tends to infinity -- where the notion of the size of a subgroup is based on a natural graph-theoretic representation of the subgroup.
The proofs of these results rely on the combinatorial and asymptotic study of a natural map, which associates with any finitely generated subgroup of $\textsf{PSL}(2,\mathbb{Z})$ a graph which we call its silhouette, which can be interpreted as a conjugacy class of free finite index subgroups of $\textsf{PSL}(2,\mathbb{Z})$.
On the trace-zero doubly stochastic matrices of order 5
Published in Linear Algebra and its Applications, 2024
• Search Publication
We propose a graph theoretic approach to determine trace of product of two permutation matrices through a weighted digraph representation of the permutation matrices. Consequently, we derive trace-zero doubly stochastic (DS) matrices of order $5$ whose $k$-th power is also a trace-zero DS matrix for $k\in\{2,3,4,5\}$. Then, we determine necessary conditions for the coefficients of a generic polynomial of degree $5$ to be realizable as the characteristic polynomial of a trace-zero DS matrix of order $5$. Finally, we approximate the eigenvalue region of trace-zero DS matrices of order $5.$
A Classification of Asymptotic Behaviors of Green Functions of Random Walks in the Quadrant
This paper investigates the asymptotic behavior of Green functions associated to partially homogeneous random walks in the quadrant $Z_+^2$. There are four possible distributions for the jumps of these processes, depending on the location of the starting point: in the interior, on the two positive axes of the boundary, and at the origin $(0,0)$.
With mild conditions on the positive jumps of the random walk, which can be unbounded, a complete analysis of the asymptotic behavior of the Green function of the random walk killed at $(0,0)$ is achieved. The main result is that {\em eight} regions of the set of parameters determine completely the possible limiting behaviors of Green functions of these Markov chains. These regions are defined by a set of relations for several characteristics of the distributions of the jumps.
In the transient case, a description of the Martin boundary is obtained and in the positive recurrent case, our results give the exact limiting behavior of the invariant distribution of a state whose norm goes to infinity along some asymptotic direction in the quadrant. These limit theorems extend results of the literature obtained, up to now, essentially for random walks whose jump sizes are either $0$ or $1$ on each coordinate.
Our approach relies on a combination of several methods: probabilistic representations of solutions of analytical equations, Lyapounov functions, convex analysis, methods of homogeneous random walks, and complex analysis arguments.
Generalized Goulden-Yong duals and signed minimal factorizations
We show the equivalence between one-way reflections and relative projective representations. We construct generalized Goulden-Yong duals using reverse Garside element actions and folded chord diagrams. We give two applications of the generalized Goulden-Yong duals: constructing generalized Prüfer codes and counting signed factorizations using the matrix-tree theorem.
A short proof of Lagrange-Good formula using Dirac delta function
We give a half-page proof of the Lagrange-Good formula, using the Fourier representation of Dirac delta function.
Orthonormal representations, vector chromatic number, and extension complexity
We construct a bipartite generalization of Alon and Szegedy's nearly orthogonal vectors, thereby obtaining strong bounds for several extremal problems involving the Lovász theta function, vector chromatic number, minimum semidefinite rank, nonnegative rank, and extension complexity of polytopes. In particular, we derive a couple of general lower bounds for the vector chromatic number which may be of independent interest.
Coupled Cluster Degree of the Grassmannian
We determine the number of complex solutions to a nonlinear eigenvalue problem on the Grassmannian in its Plücker embedding. This is motivated by quantum chemistry, where it represents the truncation to single electrons in coupled cluster theory. We prove the formula for the Grassmannian of lines which was conjectured in earlier work with Fabian Faulstich. This rests on the geometry of the graph of a birational parametrization of the Grassmannian. We present a squarefree Gröbner basis for this graph, and we develop connections to toric degenerations from representation theory.
Euler characteristics of affine ADE Nakajima quiver varieties via collapsing fibers
Published in J. Lond. Math. Soc., Vol 111, Issue 2 (2025), e70074
• Search Publication
We prove a universal substitution formula that compares generating series of Euler characteristics of Nakajima quiver varieties associated with affine ADE diagrams at generic and at certain nongeneric stability conditions via a study of collapsing fibres in the associated variation of GIT map, unifying and generalising earlier results of the last two authors with Némethi and of Nakajima. As a special case, we compute generating series of Euler characteristics of noncommutative Quot schemes of Kleinian orbifolds. In type A and rank 1, we give a second, combinatorial proof of our substitution formula, using torus localisation and partition enumeration. This gives a combinatorial model of the fibers of the variation of GIT map, and also leads to relations between our results and the representation theory of the affine and finite Lie algebras in type A.
The third positive element in the greedy $B_h$-set
Published in Palestine Journal of Mathematics 14 (2025), 213--216
• Search Publication
For $h \geq 1$, a $B_h$-set is a set of integers such that every integer $n$ has at most one representation in the form $n = a_{i_1} + \cdots + a_{i_h}$, where $a_{i_j} \in A$ for all $j = 1,\ldots, h$ and $a_{i_1} \leq \ldots \leq a_{i_h}$. The greedy $B_h$-set is the infinite set of nonnegative integers $\{a_0(h), a_1(h), a_2(h), \ldots \}$ constructed as follows: If $a_0(h) = 0$ and $\{a_0(h), a_1(h), a_2(h), \ldots, a_k(h) \}$ is a $B_h$-set, then $a_{k+1}(h)$ is the least positive integer such that $\{a_0(h), a_1(h), a_2(h), \ldots, a_k(h), a_{k+1}(h) \}$ is a $B_h$ set. One has $a_1(h) = 1$ and $a_2(h) = h+1$ for all $h$. Elementary proofs are given that $a_3(h) = h^2+h+1$ for all $h \geq 1$ and that $a_k(h) \leq \sum_{i=0}^{k-1} h^i$ for all $h \geq 1$ and $k \geq 1$.
A New and Faster Representation for Counting Integer Points in Parametric Polyhedra
In this paper, we consider the counting function $E_P(y) = |P_{y} \cap Z^{n_x}|$ for a parametric polyhedron $P_{y} = \{x \in R^{n_x} \colon A x \leq b + B y\}$, where $y \in R^{n_y}$. We give a new representation of $E_P(y)$, called a \emph{piece-wise step-polynomial with periodic coefficients}, which is a generalization of piece-wise step-polynomials and integer/rational Ehrhart's quasi-polynomials. It gives the fastest way to calculate $E_P(y)$ in certain scenarios. The most important cases are the following:
1) We show that, for the parametric polyhedron $P_y$ defined by a standard-form system $A x = y,\, x \geq 0$ with a fixed number of equalities, the function $E_P(y)$ can be represented by a polynomial-time computable function. In turn, such a representation of $E_P(y)$ can be constructed by an $poly\bigl(n, \|A\|_{\infty}\bigr)$-time algorithm;
2) Assuming again that the number of equalities is fixed, we show that integer/rational Ehrhart's quasi-polynomials of a polytope can be computed by FPT-algorithms, parameterized by sub-determinants of $A$ or its elements;
3) Our representation of $E_P$ is more efficient than other known approaches, if $A$ has bounded elements, especially if it is sparse in addition.
Additionally, we provide a discussion about possible applications in the area of compiler optimization. In some "natural" assumptions on a program code, our approach has the fastest complexity bounds.
Moment Generating Stirling Numbers of the first kind and Applications
In this paper we introduce and investigate moment generating Stirling numbers of the first kind, "`MSN1"'. They are inverses of MSN2's, which make the representation of the moments for a lot of statistical distributions in closed formulas possible. Both MSN1's and MSN2's are related to the r-Stirling numbers, and extend their properties to any real third parameter. If the third parameter is a nonnegative integer, r-Stirling numbers can be converted to MSN's and vice versa.
The Existence and Structure of Universal Partial Cycles
A universal partial cycle (or upcycle) for $\mathcal{A}^n$ is a cyclic sequence that covers each word of length $n$ over the alphabet $\mathcal{A}$ exactly once -- like a De Bruijn cycle, except that we also allow a wildcard symbol $\mathord{\diamond}$ that can represent any letter of $\mathcal{A}$. Chen et al. in 2017 and Goeckner et al. in 2018 showed that the existence and structure of upcycles are highly constrained, unlike those of De Bruijn cycles, which exist for every alphabet size and word length. Moreover, it was not known whether any upcycles existed for $n \ge 5$. We present several examples of upcycles over both binary and non-binary alphabets for $n = 8$. We generalize two graph-theoretic representations of De Bruijn cycles to upcycles. We then introduce novel approaches to constructing new upcycles from old ones. Notably, given any upcycle for an alphabet of size $a$, we show how to construct an upcycle for an alphabet of size $ak$ for any $k \in \mathbb{N}$, so each example generates an infinite family of upcycles. We also define folds and lifts of upcycles, which relate upcycles with differing densities of $\mathord{\diamond}$ characters. In particular, we show that every upcycle lifts to a De Bruijn cycle. Our constructions rely on a different generalization of De Bruijn cycles known as perfect necklaces, and we introduce several new examples of perfect necklaces. We extend the definitions of certain pseudorandomness properties to partial words and determine which are satisfied by all upcycles, then draw a conclusion about linear feedback shift registers. Finally, we prove new nonexistence results based on the word length $n$, alphabet size, and $\mathord{\diamond}$ density.
On Faces and Hilbert Bases of Kostka Cones
Kostka coefficients appear in the representation theory of the general linear group and enumerate semistandard Young tableaux of fixed shape and content. The $r$-Kostka cone is the real polyhedral cone generated by pairs of partitions with at most $r$ parts, written as non-increasing $r$-tuples, such that the corresponding Kostka coefficient is nonzero. We provide several results showing that its faces have interesting structural and enumerative properties. We show that the $d$-faces of the $r$-Kostka cone can be determined from those of the $(3d+3)$-Kostka cone, allowing us to characterize its $2$-faces and enumerate its $d$-faces for $d \leq 4$. We provide tight asymptotics for the number of $d$-faces for arbitrary $d$ and determine the maximum number of extremal rays contained in a $d$-face for $d < r$. We then make progress towards a generalization of the Gao-Kiers-Orelowitz-Yong Width Bound on initial entries of partitions $(λ,μ)$ appearing in the Hilbert basis of the $λ_1$-Kostka cone. We show that at least $93.7\%$ of integer pairs $λ_1 \geq μ_1 > 0$ appear as the initial entries of partitions $(λ,μ)$ comprising a Hilbert basis element of the $r$-Kostka cone for every $r > λ_1$. We conclude with a conjecture about a curious $h$-vector phenomenon.
Proving the Existence of a GOR Without Probability
In this note, we provide a new proof that a $D$-connected graph $G$ on $n$ vertices has a general position orthogonal representation in $\RR^{n-D}$. Our argument, while based on many of the concepts from the original proof due to Lovász, Saks and Schrijver, does not use the probabilistic method.