representation ↗ reference
4053 papers tagged with this keyword
Enriched order polytopes and Enriched Hibi rings
Published in European Journal of Mathematics 7 (2021), 48--68
• View Publication
• BIB
Stanley introduced two classes of lattice polytopes associated to posets, which are called the order polytope ${\mathcal O}_P$ and the chain polytope ${\mathcal C}_P$ of a poset $P$. It is known that, given a poset $P$, the Ehrhart polynomials of ${\mathcal O}_P$ and ${\mathcal C}_P$ are equal to the order polynomial of $P$ that counts the $P$-partitions. In this paper, we introduce the enriched order polytope of a poset $P$ and show that it is a reflexive polytope whose Ehrhart polynomial is equal to that of the enriched chain polytope of $P$ and the left enriched order polynomial of $P$ that counts the left enriched $P$-partitions, by using the theory of Gröbner bases. The toric rings of enriched order polytopes are called enriched Hibi rings. It turns out that enriched Hibi rings are normal, Gorenstein, and Koszul. The above result implies the existence of a bijection between the lattice points in the dilations of ${\mathcal O}^{(e)}_P$ and ${\mathcal C}^{(e)}_P$. Towards such a bijection, we give the facet representations of enriched order and chain polytopes.
Approximation of integration over finite groups, difference sets and association schemes
Let $G$ be a finite group and $f:G \to {\mathbb C}$ be a function. For a non-empty finite subset $Y\subset G$, let $I_Y(f)$ denote the average of $f$ over $Y$. Then, $I_G(f)$ is the average of $f$ over $G$. Using the decomposition of $f$ into irreducible components of ${\mathbb C}^G$ as a representation of $G\times G$, we define non-negative real numbers $V(f)$ and $D(Y)$, each depending only on $f$, $Y$, respectively, such that an inequality of the form $|I_G(f)-I_Y(f)|\leq V(f)\cdot D(Y)$ holds. We give a lower bound of $D(Y)$ depending only on $\#Y$ and $\#G$. We show that the lower bound is achieved if and only if $\#\{(x,y)\in Y^2 \mid x^{-1}y \in [a]\}/\#[a]$ is independent of the choice of the conjugacy class $[a]\subset G$ for $a \neq 1$. We call such a $Y\subset G$ as a pre-difference set in $G$, since the condition is satisfied if $Y$ is a difference set. If $G$ is abelian, the condition is equivalent to that $Y$ is a difference set. We found a non-trivial pre-difference set in the dihedral group of order 16, where no non-trivial difference set exists. The pre-difference sets in non-abelian groups of order 16 are classified. A generalization to commutative association schemes is also given.
On Cayley representations of finite graphs over abelian p-groups
Published in St. Petersburg mathematical journal, Vol. 32, No. 1 (2021), 71-89
• View Publication
• BIB
We construct a polynomial-time algorithm which given a graph $Γ$ finds the full set of non-equivalent Cayley representations of $Γ$ over the group $D\cong C_p\times C_{p^k}$, where $p\in\{2,3\}$ and $k\geq 1$. This result implies that the recognition and the isomorphism problems for Cayley graphs over $D$ can be solved in polynomial time.
Discovering and Proving Infinite Pochhammer Sum Identities
We consider nested sums involving the Pochhammer symbol at infinity and rewrite them in terms of a small set of constants, such as powers of $π,$ $\log(2)$ or zeta values. In order to perform these simplifications, we view the series as specializations of generating series. For these generating series, we derive integral representations in terms of root-valued iterated integrals or directly in terms of cyclotomic harmonic polylogarithms. Using substitutions, we express the root-valued iterated integrals as cyclotomic harmonic polylogarithms. Finally, by applying known relations among the cyclotomic harmonic polylogarithms, we derive expressions in terms of several constants. The methods are implemented in the computer algebra package HarmonicSums.
Hecke algebras of simply-laced type with independent parameters
We study the (complex) Hecke algebra $\mathcal{H}_S(\mathbf{q})$ of a finite simply-laced Coxeter system $(W,S)$ with independent parameters $\mathbf{q} \in \left( \mathbb{C} \setminus\{\text{roots of unity}\} \right)^S$. We construct its irreducible representations and projective indecomposable representations. We obtain the quiver of this algebra and determine when it is of finite representation type. We provide decomposition formulas for induced and restricted representations between the algebra $\mathcal{H}_S(\mathbf{q})$ and the algebra $\mathcal{H}_R(\mathbf{q}|_R)$ with $R\subseteq S$. Our results demonstrate an interesting combination of the representation theory of finite Coxeter groups and their 0-Hecke algebras, including a two-sided duality between the induced and restricted representations.
Boolean product polynomials, Schur positivity, and Chern plethysm
Published
• View Publication
• BIB
Let $1\leq k \leq n$ and let $X_n = (x_1, \dots, x_n)$ be a list of $n$ variables. The {\em Boolean product polynomial} $B_{n,k}(X_n)$ is the product of the linear forms $\sum_{i \in S} x_i$ where $S$ ranges over all $k$-element subsets of $\{1, 2, \dots, n\}$. We prove that Boolean product polynomials are Schur positive. We do this via a new method of proving Schur positivity using vector bundles and a symmetric function operation we call {\em Chern plethysm}. This gives a geometric method for producing a vast array of Schur positive polynomials whose Schur positivity lacks (at present) a combinatorial or representation theoretic proof. We relate the polynomials $B_{n,k}(X_n)$ for certain $k$ to other combinatorial objects including derangements, positroids, alternating sign matrices, and reverse flagged fillings of a partition shape. We also relate $B_{n,n-1}(X_n)$ to a bigraded action of the symmetric group $\mathfrak{S}_n$ on a divergence free quotient of superspace.
Motivic Chern classes of Schubert cells, Hecke algebras, and applications to Casselman's problem
Published in Ann. Sci. Éc. Norm. Supér. (4) 57 (2024), no. 1, 87-141
• View Publication
• BIB
Motivic Chern classes are elements in the K-theory of an algebraic variety $X$, depending on an extra parameter $y$. They are determined by functoriality and a normalization property for smooth $X$. In this paper we calculate the motivic Chern classes of Schubert cells in the (equivariant) K-theory of flag manifolds $G/B$. We show that the motivic class of a Schubert cell is determined recursively by the Demazure-Lusztig operators in the Hecke algebra of the Weyl group of $G$, starting from the class of a point. The resulting classes are conjectured to satisfy a positivity property. We use the recursions to give a new proof that they are equivalent to certain K-theoretic stable envelopes recently defined by Okounkov and collaborators, thus recovering results of Fehér, Rimányi and Weber. The Hecke algebra action on the K-theory of the Langlands dual flag manifold matches the Hecke action on the Iwahori invariants of the principal series representation associated to an unramified character for a group over a nonarchimedean local field. This gives a correspondence identifying the duals of the motivic Chern classes to the standard basis in the Iwahori invariants, and the fixed point basis to Casselman's basis. We apply this correspondence to prove two conjectures of Bump, Nakasuji and Naruse concerning factorizations and holomorphy properties of the coefficients in the transition matrix between the standard and the Casselman's basis.
Local metric dimension of graphs: generalized hierarchical products and some applications
Let $G$ be a graph and $S\subseteq V(G)$. If every two adjacent vertices of $G$ have different metric $S$-representations, then $S$ is a local metric generator for $G$. A local metric generator of smallest order is a local metric basis for $G$, its order is the local metric dimension of $G$. Lower and upper bounds on the local metric dimension of the generalized hierarchical product are proved and demonstrated to be sharp. The results are applied to determine or bound the dimension of several graphs of importance in mathematical chemistry. Using the dimension, a new model for assigning codes to customers in delivery services is proposed.
Robinson-Schensted-Knuth correspondence in the representation theory of the general linear group over a non-archimedean local field
Published in Represent. Theory 25 (2021), 644-678
• View Publication
• BIB
We construct new "standard modules" for the representations of general linear groups over a local non-archimedean field. The construction uses a modified Robinson-Schensted-Knuth correspondence for Zelevinsky's multisegments.
Typically, the new class categorifies the basis of Doubilet, Rota, and Stein for matrix polynomial rings, indexed by bitableaux. Hence, our main result provides a link between the dual canonical basis (coming from quantum groups) and the DRS basis.
Asymptotic complements in the integers
Published in J. Number Theory 213 (2020), 101--115
• View Publication
• BIB
Let $W\subseteq \mathbb{Z}$ be a non-empty subset of the integers. A nonempty set $C\subseteq \mathbb{Z}$ is said to be an asymptotic complement to $W$ if $W+C$ contains almost all the integers except a set of finite size. $C$ is said to be a minimal asymptotic complement if $C$ is an asymptotic complement, but $C\setminus \lbrace c\rbrace$ is not an asymptotic complement $\forall c\in C$. Asymptotic complements have been studied in the context of representations of integers since the time of Erdős, Hanani, Lorentz and others, while the notion of minimal asymptotic complements is due to Nathanson. In this article, we study minimal asymptotic complements in $\mathbb{Z}$ and deal with a problem of Nathanson on their existence and their inexistence.
Moderate deviations of subgraph counts in the Erdős-Rényi random graphs $G(n,m)$ and $G(n,p)$
The main contribution of this article is an asymptotic expression for the rate associated with moderate deviations of subgraph counts in the Erdős-Rényi random graph $G(n,m)$. Our approach is based on applying Freedman's inequalities for the probability of deviations of martingales to a martingale representation of subgraph count deviations. In addition, we prove that subgraph count deviations of different subgraphs are all linked, via the deviations of two specific graphs, the path of length two and the triangle. We also deduce new bounds for the related $G(n,p)$ model.
A Generalization of the "Raboter" Operation
We generalize an operation described by Sloane on the binary representation of an integer to other bases, thus finding several new sequences.
Unique Differences in Symmetric Subsets of $\mathbb{F}_p$
Published in Combinatorica 37 (2017), 167-182
• Search Publication
Let $p$ be a prime and let $A$ be a subset of $\mathbb{F}_p$ with $A=-A$ and $|A\setminus\{0\}| \leq 2\log_3(p)$. Then there is an element of $\mathbb{F}_p$ which has a unique representation as a difference of two elements of $A$.
Correspondence functors and finiteness conditions
We investigate the representation theory of finite sets. The correspondence functors are the functors from the category of finite sets and correspondences to the category of k-modules, where k is a commutative ring. They have various specific properties which do not hold for other types of func-tors. In particular, if k is a field and if F is a correspondence functor, then F is finitely generated if and only if the dimension of F (X) grows exponentially in terms of the cardinality of the finite set X. Moreover, in such a case, F has actually finite length. Also, if k is noetherian, then any subfunctor of a finitely generated functor is finitely generated.
A Sundaram type bijection for $\mathrm{SO}(2k+1)$: vacillating tableaux and pairs consisting of a standard Young tableau and an orthogonal Littlewood-Richardson tableau
We present a bijection between vacillating tableaux and pairs consisting of a standard Young tableau and an orthogonal Littlewood-Richardson tableau for the special orthogonal group $\mathrm{SO}(2k+1)$. This bijection is motivated by the direct-sum-decomposition of the $r$th tensor power of the defining representation of $\mathrm{SO}(2k+1)$. To formulate it, we use Kwon's orthogonal Littlewood-Richardson tableaux and introduce new alternative tableaux they are in bijection with. Moreover we use a suitably defined descent set for vacillating tableaux to determine the quasi-symmetric expansion of the Frobenius characters of the isotypic components.
Distance-based vertex identification in graphs: the outer multiset dimension
Published in Applied Mathematics and Computation, 363, 2019
• View Publication
• BIB
Given a graph $G$ and a subset of vertices $S = \{w_1, \ldots, w_t\} \subseteq V(G)$, the multiset representation of a vertex $u\in V(G)$ with respect to $S$ is the multiset $m(u|S) = \{| d_G(u, w_1), \ldots, d_G(u, w_t) |\}$. A subset of vertices $S$ such that $m(u|S) = m(v|S) \iff u = v$ for every $u, v \in V(G) \setminus S$ is said to be a multiset resolving set, and the cardinality of the smallest such set is the outer multiset dimension. We study the general behaviour of the outer multiset dimension, and determine its exact value for several graph families. We also show that computing the outer multiset dimension of arbitrary graphs is NP-hard, and provide methods for efficiently handling particular cases.
Combinatorial properties of phylogenetic diversity indices
Phylogenetic diversity indices provide a formal way to apportion 'evolutionary heritage' across species. Two natural diversity indices are Fair Proportion (FP) and Equal Splits (ES). FP is also called 'evolutionary distinctiveness' and, for rooted trees, is identical to the Shapley Value (SV), which arises from cooperative game theory. In this paper, we investigate the extent to which FP and ES can differ, characterise tree shapes on which the indices are identical, and study the equivalence of FP and SV and its implications in more detail. We also define and investigate analogues of these indices on unrooted trees (where SV was originally defined), including an index that is closely related to the Pauplin representation of phylogenetic diversity.
Small 4-regular planar graphs that are not circle representable
A 4-regular planar graph $G$ is said to be circle representable if there exists a collection of circles drawn on the plane such that the touching and crossing points correspond to the vertices of $G$, and the circular arcs between those points correspond to the edges of $G$. Lovász (1970) conjectured that every 4-regular planar graph has a circle representation, but an infinite family of counterexamples was given by Bekos and Raftopoulou (2015). We reduce the order of the smallest known counterexamples among simple graphs from 822 to 68 based on a multigraph counterexample of order 12.
Borsuk-Ulam theorems for products of spheres and Stiefel manifolds revisited
We give a different and possibly more accessible proof of a general Borsuk--Ulam theorem for a product of spheres, originally due to Ramos. That is, we show the non-existence of certain $(\mathbb{Z}/2)^k$-equivariant maps from a product of $k$ spheres to the unit sphere in a real $(\mathbb{Z}/2)^k$-representation of the same dimension. Our proof method allows us to derive Borsuk--Ulam theorems for certain equivariant maps from Stiefel manifolds, from the corresponding results about products of spheres, leading to alternative proofs and extensions of some results of Fadell and Husseini.
Moments of ranks and cranks, and Quotients of Eisenstein Series and the Dedekind Eta Function
Atkin and Garvan introduced the functions $N_k(n)$ and $M_k(n)$, which denote the $k$-th moments of ranks and cranks in the theory of partitions. Let $e_{2r}(n)$ be the $n$-th Fourier coefficient of $E_{2r}(τ)/η(τ)$, where $E_{2r}(τ)$ is the classical Eisenstein series of weight $2r$ and $η(τ)$ is the Dedekind eta function. Via the theory of quasi-modular forms, we find that for $k \leq 5$, $N_k(n)$ and $M_k(n)$ can be expressed using $e_{2r}(n)$ ($2\leq r \leq k$), $p(n)$ and $N_2(n)$. For $k>5$, additional functions are required for such expressions. For $r\in \{2, 3, 4, 5, 7\}$, by studying the action of Hecke operators on $E_{2r}(τ)/η(τ)$, we provide explicit congruences modulo arbitrary powers of primes for $e_{2r}(n)$. Moreover, for $\ell \in \{5, 7, 11, 13\}$ and any $k\geq 1$, we present uniform methods for finding nice representations for $\sum_{n=0}^\infty e_{2r}\left(\frac{\ell^{k}n+1}{24}\right)q^n$, which work for every $r\geq 2$. These representations allow us to prove congruences modulo powers of $\ell$, and we have done so for $e_4(n)$ and $e_6(n)$ as examples. Based on the congruences satisfied by $e_{2r}(n)$, we establish congruences modulo arbitrary powers of $\ell$ for the moments and symmetrized moments of ranks and cranks as well as higher order $\mathrm{spt}$-functions.