group
10258 papers tagged with this keyword
The language of self-avoiding walks
Let $X=(V\!X,E\!X)$ be an infinite, locally finite, connected graph without loops or multiple edges. We consider the edges to be oriented, and $E\!X$ is equipped with an involution which inverts the orientation. Each oriented edge is labelled by an element of a finite alphabet $\mathbfΣ$. The labelling is assumed to be deterministic: edges with the same initial (resp. terminal) vertex have distinct labels. Furthermore it is assumed that the group of label-preserving automorphisms of $X$ acts quasi-transitively. For any vertex $o$ of $X$, consider the language of all words over $\mathbfΣ$ which can be read along self-avoiding walks starting at $o$. We characterize under which conditions on the graph structure this language is regular or context-free. This is the case if and only if the graph has more than one end, and the size of all ends is $1$, or at most $2$, respectively.
Domination ratio of integer distance digraphs
An integer distance digraph is the Cayley graph $Γ(\mathbb{Z},S)$ of the additive group $\mathbb{Z}$ of all integers with respect to some finite subset $S \subseteq \mathbb{Z}$. The domination ratio of $Γ(\mathbb{Z},S)$ is the minimum density of a dominating set in $Γ(\mathbb{Z},S)$. We establish some basic results on the domination ratio of $Γ(\mathbb{Z},S)$ and precisely determine it when $S=\{s,t\}$ with $s$ dividing $t$.
On the Sperner property for the absolute order on complex reflection groups
Published in Algebraic Combinatorics 3(3) (2020), p.791-800
• View Publication
• BIB
Two partial orders on a reflection group, the codimension order and the prefix order, are together called the absolute order when they agree. We show that in this case the absolute order on a complex reflection group has the strong Sperner property, except possibly for the Coxeter group of type $D_n$, for which this property is conjectural. The Sperner property had previously been established for the noncrossing partition lattice $NC_W$, a certain maximal interval in the absolute order, but not for the entire poset, except in the case of the symmetric group. We also show that neither the codimension order nor the prefix order has the Sperner property for general complex reflection groups.
Non-crossing partitions
Non-crossing partitions have been a staple in combinatorics for quite some time. More recently, they have surfaced (sometimes unexpectedly) in various other contexts from free probability to classifying spaces of braid groups. Also, analogues of the non-crossing partition lattice have been introduced. Here, the classical non-crossing partitions are associated to Coxeter and Artin groups of type $\mathsf{A}_n$, which explains the tight connection to the symmetric groups and braid groups. We shall outline those developments.
The cyclic sieving phenomenon on circular Dyck paths
Published in Electronic Journal of Combinatorics 26, No.4 (2019)
• View Publication
• BIB
We give a $q$-enumeration of circular Dyck paths, which is a superset of the classical Dyck paths enumerated by the Catalan numbers. These objects have recently been studied by Alexandersson and Panova. Furthermore, we show that this $q$-analogue exhibits the cyclic sieving phenomenon under a natural action of the cyclic group. The enumeration and cyclic sieving is generalized to Möbius paths. We also discuss properties of a generalization of cyclic sieving, which we call subset cyclic sieving. Finally, we also introduce the notion of Lyndon-like cyclic sieving that concerns special recursive properties of combinatorial objects exhibiting the cyclic sieving phenomenon.
Arithmetical structures on bidents
Published in Discrete Math. 343 (2020) 111850
• View Publication
• BIB
An arithmetical structure on a finite, connected graph $G$ is a pair of vectors $(\mathbf{d}, \mathbf{r})$ with positive integer entries for which $(\operatorname{diag}(\mathbf{d}) - A)\mathbf{r} = \mathbf{0}$, where $A$ is the adjacency matrix of $G$ and where the entries of $\mathbf{r}$ have no common factor. The critical group of an arithmetical structure is the torsion part of the cokernel of $(\operatorname{diag}(\mathbf{d}) - A)$. In this paper, we study arithmetical structures and their critical groups on bidents, which are graphs consisting of a path with two "prongs" at one end. We give a process for determining the number of arithmetical structures on the bident with $n$ vertices and show that this number grows at the same rate as the Catalan numbers as $n$ increases. We also completely characterize the groups that occur as critical groups of arithmetical structures on bidents.
Exact cubature rules for symmetric functions
Published in Math. Comp. 88 (2019), no. 317, 1229-1249
• View Publication
• BIB
We employ a multivariate extension of the Gauss quadrature formula, originally due to Berens, Schmid and Xu [BSX95], so as to derive cubature rules for the integration of symmetric functions over hypercubes (or infinite limiting degenerations thereof) with respect to the densities of unitary random matrix ensembles. Our main application concerns the explicit implementation of a class of cubature rules associated with the Bernstein-Szegö polynomials, which permit the exact integration of symmetric rational functions with prescribed poles at coordinate hyperplanes against unitary circular Jacobi distributions stemming from the Haar measures on the symplectic and the orthogonal groups.
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.
Girth, words and diameter
We study the girth of Cayley graphs of finite classical groups G on random sets of generators. Our main tool is an essentially best possible bound we obtain on the probability that a given word w takes the value 1 when evaluated in G in terms of the length of w, which has additional applications. We also study the girth of random directed Cayley graphs of symmetric groups, and the relation between the girth and the diameter of random Cayley graphs of finite simple groups.
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.
On separable Schur rings over abelian groups
Published in Algebra Colloquium, Vol. 28, No. 3 (2021), 431-440
• View Publication
• BIB
A finite group is said to be weakly separable if every algebraic isomorphism between two $S$-rings over this group is induced by a combinatorial isomorphism. In the paper we prove that every abelian weakly separable group belongs to one of several explicitly given families only.
Four-Valent Oriented Graphs of Biquasiprimitive Type
Let $\mathcal{OG}(4)$ denote the family of all graph-group pairs $(Γ,G)$ where $Γ$ is 4-valent, connected and $G$-oriented ($G$-half-arc-transitive). Using a novel application of the structure theorem for biquasiprimitive permutation groups of the second author, we produce a description of all pairs $(Γ, G) \in\mathcal{OG}(4)$ for which every nontrivial normal subgroup of $G$ has at most two orbits on the vertices of $Γ$. In particular we show that $G$ has a unique minimal normal subgroup $N$ and that $N \cong T^k$ for a simple group $T$ and $k\in \{1,2,4,8\}$. This provides a crucial step towards a general description of the long-studied family $\mathcal{OG}(4)$ in terms of a normal quotient reduction. We also give several methods for constructing pairs $(Γ, G)$ of this type and provide many new infinite families of examples, covering each of the possible structures of the normal subgroup $N$.
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.
Dessins d'enfants, Brauer graph algebras and Galois invariants
In this paper, we associate a finite dimensional algebra, called a Brauer graph algebra, to every clean dessin d'enfant by constructing a quiver based on the monodromy of the dessin. We show that Galois conjugate dessins d'enfants give rise to derived equivalent Brauer graph algebras and that the stable Auslander-Reiten quiver and the dimension of the Brauer graph algebra are invariant under the induced action of the absolute Galois group.
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.
Weighted games of best choice
The game of best choice (also known as the secretary problem) is a model for sequential decision making with a long history and many variations. The classical setup assumes that the sequence of candidate rankings are uniformly distributed. Given a statistic on the symmetric group, one can instead weight each permutation according to an exponential function in the statistic. We play the game of best choice on the Ewens and Mallows distributions that are obtained in this way from the number of left-to-right maxima and number of inversions in the permutation, respectively. For each of these, we give the optimal strategy and probability of winning. Moreover, we introduce a general class of permutation statistics that always produces games of best choice whose optimal strategies are positional, which simplifies their analysis considerably.
Universal graph Schubert varieties
We consider the loci of invertible linear maps $f : \mathbb{C}^n \to {(\mathbb{C}^n)}^*$ together with pairs of flags $(E_\bullet, F_\bullet)$ in $\mathbb{C}^n$ such that the various restrictions $f : F_j \to E_i^*$ have specified ranks. Identifying an invertible linear map with its graph viewed as a point in a Grassmannian, we show that the closures of these loci have cohomology classes represented by the back-stable Schubert polynomials of Lam, Lee, and Shimozono. As a special case, we recover the result of Knutson, Lam, and Speyer that Stanley symmetric functions represent the classes of graph Schubert varieties.
We consider similar loci where $f$ is restricted to be symmetric or skew-symmetric. Their classes are now given by back-stable versions of the polynomials introduced by Wyser and Yong to represent classes of orbit closures for the orthogonal and symplectic groups acting on the type A flag variety. Using degeneracy locus formulas of Kazarian and of Anderson and Fulton, we obtain new Pfaffian formulas for these polynomials in the vexillary case. We also give a geometric interpretation of the involution Stanley symmetric functions of Hamaker, Marberg, and the author: they represent classes of involution graph Schubert varieties in isotropic Grassmannians.
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.
OGS canonical forms and exchange laws for the I and for the A-type Coxeter groups
We consider a generalization of the fundamental theorem of finitely generated abelian groups for some non-abelian groups, which is called OGS. First, we consider the dihedral group, which is a non-abelian extension of an abelian group by an involution. Then, we focus on a special case, where the abelian group is cyclic, which is the two-generated Coxeter group I{2}(m). We mention interesting connections between the reduced Coxeter presentation and a particular OGS canonical presentation, which we call the standard OGS canonical presentation. These connections motivate us to offer a generalization of the standard OGS to the A-type Coxeter group, which can be considered as the dual family to the I-type Coxeter groups. The n-1 generated A-type Coxeter groups can be considered as the symmetric group S{n} for an arbitrary n. We mention the standard and the dual-standard OGS of S{n}, where, The standard OGS canonical form of S{n} has a special interest in combinatorics, since in 2001, R. M. Adin, and Y. Roichman has proved that sum of the exponents in the canonical form is coincide with the major-index of the permutation, which is equi-disributed with the Coxeter length. In this paper we extend the results of Adin and Roichman very significantly, where we show interesting properties of the exchange laws, we define standard OGS elementary factorization, which connects between the standard OGS and the descent set of a permutation. Then, by using the standard OGS elementary factorization, we find a new explicit formula for the Coxeter length of an element of S{n}, and we give a new algorithm for the standard OGS canonical form and the descent set of the inverse element of an arbitrary element of S{n}.