group
10405 papers tagged with this keyword
Symmetric group characters as symmetric functions (extended abstract)
The irreducible characters of the symmetric group are a symmetric polynomial in the eigenvalues of a permutation matrix. They can therefore be realized as a symmetric function that can be evaluated at a set of variables and form a basis of the symmetric functions. This basis of the symmetric functions is of non-homogeneous degree and the (outer) product structure coefficients are the stable Kronecker coefficients.
We introduce the irreducible character basis by defining it in terms of the induced trivial characters of the symmetric group which also form a basis of the symmetric functions. The irreducible character basis is closely related to character polynomials and we obtain some of the change of basis coefficients by making this connection explicit. Other change of basis coefficients come from a representation theoretic connection with the partition algebra, and still others are derived by developing combinatorial expressions.
This document is an extended abstract which can be used as a review reference so that this basis can be implemented in Sage. A more complete version of the results in this abstract can be found in {\tt arXiv:1605.06672}.
Necessary conditions for the existence of 3-designs over finite fields with nontrivial automorphism groups
A q-design with parameters t-(v,k,lambda_t)_q is a pair (V, B) of the v-dimensional vector space V over GF(q) and a collection B of k-dimensional subspaces of V, such that each t-dimensional subspace of V is contained in precisely lambda_t members of B. In this paper we give new general necessary conditions on the existence of designs over finite fields with parameters 3-(v, k , lambda_3)_q with a prescribed automorphism group. These necessary conditions are based on a tactical decomposition of such a design over a finite field and are given in the form of equations for the coefficients of tactical decomposition matrices. In particular, they represent necessary conditions on the existence of q-analogues of Steiner systems admitting a prescribed automorphism group.
The automorphism group of the $s$-stable Kneser graphs
Published
• View Publication
• BIB
For $k,s\geq2$, the $s$-stable Kneser graphs are the graphs with vertex set the $k$-subsets $S$ of $\{1,\ldots,n\}$ such that the circular distance between any two elements in $S$ is at least $s$ and two vertices are adjacent if and only if the corresponding $k$-subset are disjoint. Braun showed that for $n\geq 2k+1$ the automorphism group of the $2$-stable Kneser graphs (Schrijver graphs) is isomorphic to the dihedral group of order $2n$. In this paper we generalize this result by proving that for $s\geq 2$ and $n\geq sk+1$ the automorphism group of the $s$-stable Kneser graphs also is isomorphic to the dihedral group of order $2n$.
Commutation relations for quantum root vectors of cominuscole parabolics
We prove a result for the commutator of quantum root vectors corresponding to cominuscole parabolics. Specifically we show that, given two quantum root vectors, belonging respectively to the quantized nilradical and the quantized opposite nilradical, their commutator belongs to the quantized Levi factor. This generalizes the classical result for Lie algebras. Recall that the quantum root vectors depend on the reduced decomposition of the longest word of the Weyl group. We show that this result does not hold for all such choices. We conjecture that it holds when the reduced decomposition is appropriately factorized.
Double posets and the antipode of QSym
Published in The Electronic Journal of Combinatorics 24(2) (2017), #P2.22 (published with minor changes to Section 2 and without ancillary file)
• View Publication
• BIB
A quasisymmetric function is assigned to every double poset (that is, every finite set endowed with two partial orders) and any weight function on its ground set. This generalizes well-known objects such as monomial and fundamental quasisymmetric functions, (skew) Schur functions, dual immaculate functions, and quasisymmetric $\left(P, ω\right)$-partition enumerators. We prove a formula for the antipode of this function that holds under certain conditions (which are satisfied when the second order of the double poset is total, but also in some other cases); this restates (in a way that to us seems more natural) a result by Malvenuto and Reutenauer, but our proof is new and self-contained. We generalize it further to an even more comprehensive setting, where a group acts on the double poset by automorphisms.
Fredholm theory for cofinite sets
We investigate two ways in which self-maps of an infinite set may be close to bijections; our investigation generates a $\mathbb{Z}$-valued index theory and a corresponding extension by $\mathbb{Z}$ for the quotient of the full symmetric group by its finitary subgroup.
On Orbits of Order Ideals of Minuscule Posets II: Homomesy
The Fon-Der-Flaass action partitions the order ideals of a poset into disjoint orbits. For a product of two chains, Propp and Roby observed --- across orbits --- the mean cardinality of the order ideals within an orbit to be invariant. That this phenomenon, which they christened homomesy, extends to all minuscule posets is shown herein.
Given a minuscule poset $P$, there exists a complex simple Lie algebra $\mathfrak{g}$ and a representation $V$ of $\mathfrak{g}$ such that the lattice of order ideals of $P$ coincides with the weight lattice of $V$. For a weight $μ$ with corresponding order ideal $I$, it is demonstrated that the behavior of the Weyl group simple reflections on $μ$ not only uniquely determines $μ$, but also encodes the cardinality of $I$. After recourse to work of Rush and Shi mapping the anatomy of the lattice isomorphism, the upshot is a uniform proof that the cardinality statistic exhibits homomesy.
A further application of these ideas shows that the statistic tracking the number of maximal elements in an order ideal is also homomesic, extending another result of Propp and Roby.
Strangely dual orbifold equivalence I
Published in Journal of Singularities 14 (2016), 34-51
• View Publication
• BIB
In this brief note we prove orbifold equivalence between two potentials described by strangely dual exceptional unimodular singularities of type $K_{14}$ and $Q_{10}$ in two different ways. The matrix factorizations proving the orbifold equivalence give rise to equations whose solutions are permuted by Galois groups which differ for different expressions of the same singularity.
Measure preserving actions of affine semigroups and {x+y,xy} patterns
Published
• View Publication
• BIB
Ergodic and combinatorial results obtained in [10] involved measure preserving actions of the affine group ${\mathcal A}_K$ of a countable field $K$. In this paper we develop a new approach based on ultrafilter limits which allows one to refine and extend the results obtained in [10] to a more general situation involving the measure preserving actions of the non-amenable affine semigroups of a large class of integral domains. (The results in [10] heavily depend on the amenability of the affine group of a field). Among other things, we obtain, as a corollary of an ultrafilter ergodic theorem, the following result: Let $K$ be a number field and let ${\mathcal O}_K$ be the ring of integers of $K$. For any finite partition $K=C_1\cup\cdots\cup C_r$ there exists $i\in\{1,\dots,r\}$ and many $x\in K$ and $y\in{\mathcal O}_K$ such that $\{x+y,xy\}\subset C_i$.
$2^{\aleph_0}$ pairwise non-isomorphic maximal-closed subgroups of Sym$(\mathbb{N})$ via the classification of the reducts of the Henson digraphs
Published
• View Publication
• BIB
Given two structures $\mathcal{M}$ and $\mathcal{N}$ on the same domain, we say that $\mathcal{N}$ is a reduct of $\mathcal{M}$ if all $\emptyset$-definable relations of $\mathcal{N}$ are $\emptyset$-definable in $\mathcal{M}$. In this article the reducts of the Henson digraphs are classified. Henson digraphs are homogeneous countable digraphs that omit some set of finite tournaments. As the Henson digraphs are $\aleph_0$-categorical, determining their reducts is equivalent to determining all closed supergroups $G<$ Sym$(\mathbb{N})$ of their automorphism groups.
A consequence of the classification is that there are $2^{\aleph_0}$ pairwise non-isomorphic Henson digraphs which have no proper non-trivial reducts. Taking their automorphisms groups gives a positive answer to a question of Macpherson that asked if there are $2^{\aleph_0}$ pairwise non-conjugate maximal-closed subgroups of Sym$(\mathbb{N})$. By the reconstruction results of Rubin, these groups are also non-isomorphic as abstract groups.
Symmetric Decompositions and the Strong Sperner Property for Noncrossing Partition Lattices
Published in Journal of Algebraic Combinatorics 45 (2017), pages 745-775
• View Publication
• BIB
We prove that the noncrossing partition lattices associated with the complex reflection groups $G(d,d,n)$ for $d,n\geq 2$ admit symmetric decompositions into Boolean subposets. As a result, these lattices have the strong Sperner property and their rank-generating polynomials are symmetric, unimodal, and $γ$-nonnegative. We use computer computations to complete the proof that every noncrossing partition lattice associated with a well-generated complex reflection group is strongly Sperner, thus answering affirmatively a question raised by D. Armstrong.
Cayley numbers with arbitrarily many distinct prime factors
Published
• View Publication
• BIB
A positive integer $n$ is a Cayley number if every vertex-transitive graph of order $n$ is a Cayley graph. In 1983, Dragan Marušič posed the problem of determining the Cayley numbers. In this paper we give an infinite set $S$ of primes such that every finite product of distinct elements from $S$ is a Cayley number. This answers a 1996 outstanding question of Brendan McKay and Cheryl Praeger, which they "believe to be the key unresolved question" on Cayley numbers.
We also show that, for every finite product $n$ of distinct elements from $S$, every transitive group of degree $n$ contains a semiregular element.
Quasi-homomorphisms of cluster algebras
Published
• View Publication
• BIB
We introduce quasi-homomorphisms of cluster algebras, a flexible notion of a map between cluster algebras of the same type (but with different coefficients). The definition is given in terms of seed orbits, the smallest equivalence classes of seeds on which the mutation rules for non-normalized seeds are unambiguous. We present examples of quasi-homomorphisms involving familiar cluster algebras, such as cluster structures on Grassmannians, and those associated with marked surfaces with boundary. We explore the related notion of a quasi-automorphism, and compare the resulting group with other groups of symmetries of cluster structures. For cluster algebras from surfaces, we determine the subgroup of quasi-automorphisms inside the tagged mapping class group of the surface.
Combinatorial Auslander-Reiten quivers and reduced expressions
In this paper, we introduce the notion of combinatorial Auslander-Reiten(AR) quiver for commutation classes $[\widetilde{w}]$ of $w$ in finite Weyl group. This combinatorial object visualizes the convex partial order $\prec_{[\widetilde{w}]}$ on the subset $Φ(w)$ of positive roots. By analyzing properties of the combinatorial AR-quivers with labelings and reflection maps, we can apply their properties to the representation theory of KLR algebras and multiplication structure of dual PBW generators associated to any commutation class $[\widetilde{w}_0]$ of the longest element $w_0$.
An application of the Local C(G,T) Theorem to a conjecture of Weiss
Published
• View Publication
• BIB
Let $Γ$ be a connected $G$-vertex-transitive graph, let $v$ be a vertex of $Γ$ and let $G_v^{Γ(v)}$ be the permutation group induced by the action of the vertex-stabiliser $G_v$ on the neighbourhood $Γ(v)$. The graph $Γ$ is said to be $G$-\emph{locally primitive} if $G_v^{Γ(v)}$ is primitive.
Richard Weiss conjectured in $1978$ that, there exists a function $f:\mathbb{N}\to \mathbb{N}$ such that, if $Γ$ is a connected $G$-vertex-transitive locally primitive graph of valency $d$ and $v$ is a vertex of $Γ$ with $|G_v|$ finite, then $|G_v|\leq f(d)$. As an application of the Local $C(G,T)$ Theorem, we prove this conjecture when $G_v^{Γ(v)}$ contains an abelian regular subgroup. In fact, we show that the point-wise stabiliser in $G$ of a ball of $Γ$ of radius $4$ is the identity subgroup.
Auslander-Reiten quiver and representation theories related to KLR-type Schur-Weyl duality
Published
• View Publication
• BIB
We introduce new partial orders on the sequence positive roots and study the statistics of the poset by using Auslander-Reiten quivers for finite type ADE. Then we can prove that the statistics provide interesting information on the representation theories of KLR-algebras, quantum groups and quantum affine algebras including Dorey's rule, bases theory for quantum groups, and denominator formulas between fundamental representations. As applications, we prove Dorey's rule for quantum affine algebras $U_q(E_{6,7,8}^{(1)})$ and partial information of denominator formulas for $U_q(E_{6,7,8}^{(1)})$. We also suggest conjecture on complete denominator formulas for $U_q(E_{6,7,8}^{(1)})$.
Extending partial isometries of generalized metric spaces
Published in Fundamenta Mathematicae 244 (2019), no. 1, 1-16
• View Publication
• BIB
We consider generalized metric spaces taking distances in an arbitrary ordered commutative monoid, and investigate when a class $\mathcal{K}$ of finite generalized metric spaces satisfies the Hrushovski extension property: for any $A\in\mathcal{K}$ there is some $B\in\mathcal{K}$ such that $A$ is a subspace of $B$ and any partial isometry of $A$ extends to a total isometry of $B$. Our main result is the Hrushovski property for the class of finite generalized metric spaces over a semi-archimedean monoid $\mathcal{R}$. When $\mathcal{R}$ is also countable, this can be used to show that the isometry group of the Urysohn space over $\mathcal{R}$ has ample generics. Finally, we prove the Hrushovski property for classes of integer distance metric spaces omitting triangles of uniformly bounded odd perimeter. As a corollary, given odd $n\geq 3$, we obtain ample generics for the automorphism group of the universal, existentially closed graph omitting cycles of odd length bounded by $n$.
A continuous model for systems of complexity 2 on simple abelian groups
Published
• View Publication
• BIB
It is known that if $p$ is a sufficiently large prime then for every function $f:\mathbb{Z}_p\to [0,1]$ there exists a continuous function on the circle $f':\mathbb{T}\to [0,1]$ such that the averages of $f$ and $f'$ across any prescribed system of linear forms of complexity 1 differ by at most $ε$. This result follows from work of Sisask, building on Fourier-analytic arguments of Croot that answered a question of Green. We generalize this result to systems of complexity at most 2, replacing $\mathbb{T}$ with the torus $\mathbb{T}^2$ equipped with a specific filtration. To this end we use a notion of modelling for filtered nilmanifolds, that we define in terms of equidistributed maps, and we combine this with tools of quadratic Fourier analysis. Our results yield expressions on the torus for limits of combinatorial quantities involving systems of complexity 2 on $\mathbb{Z}_p$. For instance, let $m_4(α,\mathbb{Z}_p)$ denote the minimum, over all sets $A\subset \mathbb{Z}_p$ of cardinality at least $αp$, of the density of 4-term arithmetic progressions inside $A$. We show that $\lim_{p\to \infty} m_4(α,\mathbb{Z}_p)$ is equal to the infimum, over all measurable functions $f:\mathbb{T}^2\to [0,1]$ with $\int_{\mathbb{T}^2}f\geq α$, of the following integral: $$ \int_{\mathbb{T}^5} f\binom{x_1}{y_1}\; f\binom{x_1+x_2}{y_1+y_2}\;
f\binom{x_1+2x_2}{y_1+2y_2+y_3}\; f\binom{x_1+3 x_2}{y_1+3y_2+3y_3} \,dμ_{\mathbb{T}^5}(x_1,x_2,y_1,y_2,y_3). $$
$1$-cohomology of simplicial amalgams of groups
Published in 1-cohomology of simplicial amalgams of groups. R. J. Blok and C. G. Hoffman. J. Alg. Combin. 37(2013) no. 2:381-400
• View Publication
• BIB
We develop a cohomological method to classify amalgams of groups. We generalize this to simplicial amalgams in any concrete category. We compute the non-commutative 1-cohomology for several examples of amalgams defined over small simplices.
Approximate subgroups of residually nilpotent groups
Published in Math. Ann. 374 (2019), 499-515
• View Publication
• BIB
We show that a K-approximate subgroup A of a residually nilpotent group G is contained in boundedly many cosets of a finite-by-nilpotent subgroup, the nilpotent factor of which is of bounded step. Combined with an earlier result of the author, this implies that A is contained in boundedly many translates of a coset nilprogression of bounded rank and step. The bounds are effective and depend only on K; in particular, if G is nilpotent they do not depend on the step of G. As an application we show that there is some absolute constant c such that if G is a residually nilpotent group, and if there is an integer n > 1 such that the ball of radius n in some Cayley graph of G has cardinality bounded by n^(c log log n), then G is virtually (log n)-step nilpotent.