representation ↗ reference
4143 papers tagged with this keyword
On the addition of squares of units modulo n
Published
• View Publication
• BIB
Let $\mathbb{Z}_n$ be the ring of residue classes modulo $n$, and let $\mathbb{Z}_n^{\ast}$ be the group of its units. 90 years ago, Brauer obtained a formula for the number of representations of $c\in \mathbb{Z}_n$ as the sum of $k$ units. Recently, Yang and Tang in [Q. Yang, M. Tang, On the addition of squares of units and nonunits modulo $n$, J. Number Theory., 155 (2015) 1--12] gave a formula for the number of solutions of the equation $x_1^2+x_2^2=c$ with $x_{1},x_{2}\in \mathbb{Z}_n^{\ast}$. In this paper, we generalize this result. We find an explicit formula for the number of solutions of the equation $x^2_{1}+\cdots+x^2_{k}=c$ with $x_{1},\ldots,x_{k}\in \mathbb{Z}_n^{\ast}$.
On Order Ideals of Minuscule Posets III: The CDE Property
Recent work of Hopkins establishes that the lattice of order ideals of a minuscule poset satisfies the coincidental down-degree expectations property of Reiner, Tenner, and Yong. His approach appeals to the classification of minuscule posets. A uniform proof is presented herein.
The blueprint follows that of Rush and Wang in their uniform proof that various cardinality statistics are homomesic on orbits of order ideals of minuscule posets under the Fon-Der-Flaass action. The underpinning remains the original insight of Rush and Shi into the structure of the isomorphism between the weight lattice of a minuscule representation of a complex simple Lie algebra and the lattice of order ideals of the corresponding minuscule poset.
A non-Levi branching rule in terms of Littelmann paths
Published
• View Publication
• BIB
We prove a conjecture of Naito-Sagaki about a branching rule for the restriction of irreducible representations of $\mathfrak{sl}(2n,\mathbb{C})$ to $\mathfrak{sp}(2n,\mathbb{C})$. The conjecture is in terms of certain Littelmann paths, with the embedding given by the folding of the type $A_{2n-1}$ Dynkin diagram.
Discrete Balayage and Boundary Sandpile
Published
• View Publication
• BIB
We introduce a new lattice growth model, which we call boundary sandpile. The model amounts to potential-theoretic redistribution of a given initial mass on $\mathbb{Z}^d$ ($d\geq 2$) onto the boundary of an (a priori) unknown domain. The latter evolves through sandpile dynamics, and has the property that the mass on the boundary is forced to stay below a prescribed threshold. Since finding the domain is part of the problem, the redistribution process is a discrete model of a free boundary problem, whose continuum limit is yet to be understood.
We prove general results concerning our model. These include canonical representation of the model in terms of the smallest super-solution among a certain class of functions, uniform Lipschitz regularity of the scaled odometer function, and hence the convergence of a subsequence of the odometer and the visited sites, discrete symmetry properties, as well as directional monotonicity of the odometer function. The latter (in part) implies the Lipschitz regularity of the free boundary of the sandpile.
As a direct application of some of the methods developed in this paper, combined with earlier results on classical Abelian sandpile, we show that the boundary of the scaling limit of Abelian sandpile is locally a Lipschitz graph.
On the cluster nature and quantization of geometric $R$-matrices
Published
• View Publication
• BIB
We define cluster $R$-matrices as sequences of mutations in triangular grid quivers on a cylinder, and show that the affine geometric $R$-matrix of symmetric power representations for the quantum affine algebra $U_q^\prime(\hat{\mathfrak{sl}}_n)$ can be obtained from our cluster $R$-matrix. A quantization of the affine geometric $R$-matrix is defined, compatible with the cluster structure. We construct invariants of the quantum affine geometric $R$-matrix as quantum loop symmetric functions.
Demazure flags, $q$--Fibonacci polynomials and hypergeometric series
Published in Res. Math. Sci. 5 (2018), no. 1, Paper No. 12, 34 pp
• View Publication
• BIB
We study a family of finite--dimensional representations of the hyperspecial parabolic subalgebra of the twisted affine Lie algebra of type $\tt A_2^{(2)}$. We prove that these modules admit a decreasing filtration whose sections are isomorphic to stable Demazure modules in an integrable highest weight module of sufficiently large level. In particular, we show that any stable level $m'$ Demazure module admits a filtration by level $m$ Demazure modules for all $m\ge m'$. We define the graded and weighted generating functions which encode the multiplicity of a given Demazure module and establish a recursive formulae. In the case when $m'=1,2$ and $m=2,3$ we determine these generating functions completely and show that they define hypergeoemetric series and that they are related to the $q$--Fibonacci polynomials defined by Carlitz.
On the Automorphism Group of a Graph
An automorphism of a graph $G$ with $n$ vertices is a bijective map $φ$ from $V(G)$ to itself such that $φ(v_i)φ(v_j)\in E(G)$ $\Leftrightarrow$ $v_i v_j\in E(G)$ for any two vertices $v_i$ and $v_j$ of $G$. Denote by $\mathfrak{G}$ the group consisting of all automorphisms of $G$. As well-known, the structure of the action of $\mathfrak{G}$ on $V(G)$ is represented definitely by its block systems. On the other hand for each permutation $σ$ on $[n]$, there is a natural action on any vector $\pmb{v}=(v_1,v_2,\ldots,v_n)^t\in \mathbb{R}^n$ such that $σ\pmb{v}=(v_{σ^{-1}1},v_{σ^{-1}2},\ldots,v_{σ^{-1} n})^t$. Accordingly, we actually have a permutation representation of $\mathfrak{G}$ in $\mathbb{R}^n$. In this paper, we establish the some connections between block systems of $\mathfrak{G}$ and its irreducible representations, and by virtue of that we finally devise an algorithm outputting a generating set and all block systems of $\mathfrak{G}$ within time $n^{C \log n}$ for some constant $C$.
Obstructing Visibilities with One Obstacle
Published
• View Publication
• BIB
Obstacle representations of graphs have been investigated quite intensely over the last few years. We focus on graphs that can be represented by a single obstacle. Given a (topologically open) polygon $C$ and a finite set $P$ of points in general position in the complement of $C$, the visibility graph $G_C(P)$ has a vertex for each point in $P$ and an edge $pq$ for any two points $p$ and $q$ in $P$ that can see each other, that is, $\overline{pq} \cap C=\emptyset$. We draw $G_C(P)$ straight-line. Given a graph $G$, we want to compute an obstacle representation of $G$, that is, an obstacle $C$ and a set of points $P$ such that $G=G_C(P)$. The complexity of this problem is open, even for the case that the points are exactly the vertices of a simple polygon and the obstacle is the complement of the polygon-the simple-polygon visibility graph problem. There are two types of obstacles; an inside obstacle lies in a bounded component of the complement of the visibility drawing, whereas an outside obstacle lies in the unbounded component.
We show that the class of graphs with an inside-obstacle representation is incomparable with the class of graphs that have an outside-obstacle representation. We further show that any graph with at most seven vertices or circumference at most 6 has an outside-obstacle representation, which does not hold for a specific graph with 8 vertices and circumference 8. Finally, we consider the outside-obstacle graph sandwich problem: given graphs $G$ and $H$ on the same vertex set, is there a graph $K$ such that $G \subseteq K \subseteq H$ and $K$ has an outside-obstacle representation? We show that this problem is NP-hard even for co-bipartite graphs. With slight modifications, our proof also shows that the inside-obstacle graph sandwich problem, the single-obstacle graph sandwich problem, and the simple-polygon visibility graph sandwich problem are all NP-hard.
A random walk on the symmetric group generated by random involutions
Published
• View Publication
• BIB
The involution walk is the random walk on $S_n$ generated by involutions with a binomially distributed with parameter $1-p$ number of $2$-cycles. This is a parallelization of the transposition walk. The involution walk is shown in this paper to mix for $\frac{1}{2} \leq p \leq 1$ fixed, $n$ sufficiently large in between $\log_{1/p}(n)$ steps and $\log_{2/(1+p)}(n)$ steps. The paper introduces a new technique for finding eigenvalues of random walks on the symmetric group generated by many conjugacy classes using the character polynomial for the characters of the representations of the symmetric group. Monotonicity relations used in the bound also give after sufficient time the likelihood order, the asymptotic order from most likely to least likely permutation. The walk was introduced to study a conjecture about a random walk on the unitary group from the information theory of black holes.
Quantum Q systems: From cluster algebras to quantum current algebras
Published
• View Publication
• BIB
In this paper, we recall our renormalized quantum Q-system associated with representations of the Lie algebra $A_r$, and show that it can be viewed as a quotient of the quantum current algebra $U_q({\mathfrak n}[u,u^{-1}])\subset U_q(\widehat{\mathfrak sl}_2)$ in the Drinfeld presentation. Moreover, we find the interpretation of the conserved quantities in terms of Cartan currents at level 0, and the rest of the current algebra, in a non-standard polarization in terms of generators in the quantum cluster algebra.
A universality theorem for nonnegative matrix factorizations
Let $A$ be a matrix with nonnegative real entries. A nonnegative factorization of size $k$ is a representation of $A$ as a sum of $k$ nonnegative rank-one matrices. The space of all such factorizations is a bounded semialgebraic set, and we prove that spaces arising in this way are universal. More presicely, we show that every bounded semialgebraic set $U$ is rationally equivalent to the set of nonnegative size-$k$ factorizations of some matrix $A$ up to a permutation of matrices in the factorization. We prove that, if $U\subset\mathbb{R}^n$ is given as the zero locus of a polynomial with coefficients in $\mathbb{Q}$, then such a pair $(A,k)$ can be computed in polynomial time. This result gives a complete description of the algorithmic complexity of nonnegative rank, and it also allows one to solve the problem of Cohen and Rothblum on nonnegative factorizations restricted to matrices over different subfields of $\mathbb{R}$.
Partial sum of matrix entries of representations of the symmetric group and its asymptotics
Published
• View Publication
• BIB
Many aspects of the asymptotics of Plancherel distributed partitions have been studied in the past fifty years, in particular the limit shape, the distribution of the longest rows, connections with random matrix theory and characters of the representation matrices of the symmetric group. Regarding the latter, we expand a celebrated result of Kerov on the asymptotic of Plancherel distributed characters by studying partial trace and partial sum of a representation matrix. We decompose these objects into a main term and a reminder, proving a central limit theorem for both main terms and a law of large numbers for the partial sum itself. Our main tool is the expansion of symmetric functions evaluated on Jucys-Murphy elements.
Comments related to infinite wedge representations
We study the infinite wedge representation and show how it is related to the universal extension of $g[t,t^{-1}]$ the loop algebra of a complex semi-simple Lie algebra $g$. We also give an elementary proof of the boson-fermion correspondence. Our approach to proving this result is based on a combinatorial construction with partitions combined with an application of the Murnaghan-Nakayama rule.
Fourier Coefficients for Degenerate Eisenstein Series and the Descending Decomposition
Published in Manuscripta Math., 156 (2018), pp. 469-501
• View Publication
• BIB
We determine the unipotent orbits attached to degenerate Eisenstein series on general linear groups. This confirms a conjecture of David Ginzburg. This also shows that any unipotent orbit of general linear groups does occur as the unipotent orbit attached to a specific automorphic representation. The key ingredient is a root-theoretic result. To prove it, we introduce the notion of the descending decomposition, which expresses every Weyl group element as a product of simple reflections in a certain way. It is suitable for induction and allows us to translate the question into a combinatorial statement.
Almost balanced biased graph representations of frame matroids
Published
• View Publication
• BIB
Given a 3-connected biased graph $Ω$ with a balancing vertex, and with frame matroid $F(Ω)$ nongraphic and 3-connected, we determine all biased graphs $Ω'$ with $F(Ω') = F(Ω)$. As a consequence, we show that if $M$ is a 4-connected nongraphic frame matroid represented by a biased graph $Ω$ having a balancing vertex, then $Ω$ essentially uniquely represents $M$. More precisely, all biased graphs representing $M$ are obtained from $Ω$ by replacing a subset of the edges incident to its unique balancing vertex with unbalanced loops.
Semidefinite bounds for mixed binary/ternary codes
Published in Discrete Mathematics 341(6): 1740-1748, 2018
• View Publication
• BIB
For nonnegative integers $n_2, n_3$ and $d$, let $N(n_2,n_3,d)$ denote the maximum cardinality of a code of length $n_2+n_3$, with $n_2$ binary coordinates and $n_3$ ternary coordinates (in this order) and with minimum distance at least $d$. For a nonnegative integer $k$, let $\mathcal{C}_k$ denote the collection of codes of cardinality at most $k$. For $D \in \mathcal{C}_k$, define $S(D) := \{C \in \mathcal{C}_k \mid D \subseteq C, |D| +2|C\setminus D| \leq k\}$. Then $N(n_2,n_3,d)$ is upper bounded by the maximum value of $\sum_{v \in [2]^{n_2}[3]^{n_3}}x(\{v\})$, where $x$ is a function $\mathcal{C}_k \rightarrow \mathbb{R}$ such that $x(\emptyset) = 1$ and $x(C) = 0$ if $C$ has minimum distance less than $d$, and such that the $S(D)\times S(D)$ matrix $(x(C\cup C'))_{C,C' \in S(D)}$ is positive semidefinite for each $D \in \mathcal{C}_k$. By exploiting symmetry, the semidefinite programming problem for the case $k=3$ is reduced using representation theory. It yields $135$ new upper bounds that are provided in tables
The generalized r-Whitney numbers
Published
• View Publication
• BIB
In this paper, we define the generalized r-Whitney numbers of the first and second kind. Moreover, we drive the generalized Whitney numbers of the first and second kind. The recurrence relations and the generating functions of these numbers are derived. The relations between these numbers and generalized Stirling numbers of the first and second kind are deduced. Furthermore, some special cases are given. Finally, matrix representation of The relations between Whitney and Stirling numbers are given.
The symmetric group action on rank-selected posets of injective words
Published
• View Publication
• BIB
The symmetric group $\mathfrak{S}_n$ acts naturally on the poset of injective words over the alphabet $\{1, 2,\dots,n\}$. The induced representation on the homology of this poset has been computed by Reiner and Webb. We generalize their result by computing the representation of $\mathfrak{S}_n$ on the homology of all rank-selected subposets, in the sense of Stanley. A further generalization to the poset of $r$-colored injective words is given.
On Generalized Minors and Quiver Representations
Published
• View Publication
• BIB
The cluster algebra of any acyclic quiver can be realized as the coordinate ring of a subvariety of a Kac-Moody group -- the quiver is an orientation of its Dynkin diagram, defining a Coxeter element and thereby a double Bruhat cell. We use this realization to connect representations of the quiver with those of the group. We show that cluster variables of preprojective (resp. postinjective) quiver representations are realized by generalized minors of highest-weight (resp. lowest-weight) group representations, generalizing results of Yang-Zelevinsky in finite type. In type $A_n^{\!(1)}$ and finitely many other affine types, we show that cluster variables of regular quiver representations are realized by generalized minors of group representations that are neither highest- nor lowest-weight; we conjecture this holds more generally.
Generalized Representation Stability and FI_d-modules
Published
• View Publication
• BIB
In this note we consider the complex representation theory of FI_d, a natural generalization of the category FI of finite sets and injections. We prove that finitely generated FI_d-modules exhibit behaviors in the spirit of Church-Farb representation stability theory, generalizing a theorem of Church, Ellenberg, and Farb which connects finite generation of FI-modules to representation stability.