group
10405 papers tagged with this keyword
Permutation groups, pattern involvement, and Galois connections
Published in Acta Sci. Math. (Szeged) 83 (2017) 355-375
• View Publication
• BIB
There is a connection between permutation groups and permutation patterns: for any subgroup $G$ of the symmetric group $S_\ell$ and for any $n \geq \ell$, the set of $n$-permutations involving only members of $G$ as $\ell$-patterns is a subgroup of $S_n$. Making use of the monotone Galois connection induced by the pattern avoidance relation, we characterize the permutation groups that arise via pattern avoidance as automorphism groups of relations of a certain special form. We also investigate a related monotone Galois connection for permutation groups and describe its closed sets and kernels as automorphism groups of relations.
Partial Dehn twists of free groups relative to local Dehn twists - a dichotomy
A criterion for quadratic or higher growth of group automorphisms is established which are represented by graph-of-groups automorphisms with certain well specified properties.
As a consequence, it is derived (using results of a previous paper of the author) that every partial Dehn twist automorphism of $\FN$ relative to local Dehn twist automorphisms is either an honest Dehn twist automorphism, or else has quadratic growth.
Young tableaux and representations of Hecke algebras of type ADE
Published in J. Comb. Algebra 1 (2017), no. 4, 371--423
• Search Publication
We introduce and study some affine Hecke algebras of type ADE, generalising the affine Hecke algebras of GL. We construct irreducible calibrated representations and describe the calibrated spectrum. This is done in terms of new families of combinatorial objects equipped with actions of the corresponding Weyl groups. These objects are built from and generalise the usual standard Young tableaux, and are controlled by the considered affine Hecke algebras. By restriction and limiting procedure, we obtain several combinatorial models for representations of finite Hecke algebras and Weyl groups of type ADE. Representations are constructed by explicit formulas, in a seminormal form.
The order of the automorphism group of a binary $q$-analog of the Fano plane is at most two
Published
• View Publication
• BIB
It is shown that the automorphism group of a binary $q$-analog of the Fano plane is either trivial or of order $2$.
Additive functionals of $d$-ary increasing trees
Published
• View Publication
• BIB
A tree functional is called additive if it satisfies a recursion of the form $F(T) = \sum_{j=1}^k F(B_j) + f(T)$, where $B_1,\ldots,B_k$ are the branches of the tree $T$ and $f(T)$ is a toll function. We prove a general central limit theorem for additive functionals of $d$-ary increasing trees under suitable assumptions on the toll function. The same method also applies to generalised plane-oriented increasing trees (GPORTs). One of our main applications is a log-normal law that we prove for the size of the automorphism group of $d$-ary increasing trees, but many other examples (old and new) are covered as well.
Coxeter-biCatalan combinatorics
Published
• View Publication
• BIB
We pose counting problems related to the various settings for Coxeter-Catalan combinatorics (noncrossing, nonnesting, clusters, Cambrian). Each problem is to count "twin" pairs of objects from a corresponding problem in Coxeter-Catalan combinatorics. We show that the problems all have the same answer, and, for a given finite Coxeter group W, we call the common solution to these problems the W-biCatalan number. We compute the W-biCatalan number for all W and take the first steps in the study of Coxeter-biCatalan combinatorics.
Vertex-imprimitive symmetric graphs with exactly one edge between any two distinct blocks
Published
• View Publication
• BIB
A graph $Γ$ is called $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of ordered pairs of adjacent vertices. We give a classification of $G$-symmetric graphs $Γ$ with $V(Γ)$ admitting a nontrivial $G$-invariant partition $\mathcal{B}$ such that there is exactly one edge of $Γ$ between any two distinct blocks of $\mathcal{B}$. This is achieved by giving a classification of $(G, 2)$-point-transitive and $G$-block-transitive designs $\mathcal{D}$ together with $G$-orbits $Ω$ on the flag set of $\mathcal{D}$ such that $G_{σ, L}$ is transitive on $L \setminus \{σ\}$ and $L \cap N = \{σ\}$ for distinct $(σ, L), (σ, N) \in Ω$, where $G_{σ, L}$ is the setwise stabilizer of $L$ in the stabilizer $G_σ$ of $σ$ in $G$. Along the way we determine all imprimitive blocks of $G_σ$ on $V \setminus \{σ\}$ for every $2$-transitive group $G$ on a set $V$, where $σ\in V$.
The Ramanujan Property for Simplicial Complexes
Let $G$ be a topological group acting on a simplicial complex $\mathcal{X}$ satisfying some mild assumptions. For example, consider a $k$-regular tree and its automorphism group, or more generally, a regular affine Bruhat-Tits building and its automorphism group. We define and study various types of high-dimensional spectra of quotients of $\mathcal{X}$ by subgroups of $G$. These spectra include the spectrum of many natural operators associated with the quotients, e.g. the high-dimensional Laplacians.
We prove a theorem in the spirit of the Alon-Boppana Theorem, leading to a notion of Ramanujan quotients of $\mathcal{X}$. Ramanujan $k$-regular graphs and Ramanuajn complexes in the sense of Lubotzky, Samuels and Vishne are Ramanujan in dimension $0$ according to our definition (for $\mathcal{X}$, $G$ suitably chosen). We give a criterion for a quotient of $\mathcal{X}$ to be Ramanujan which is phrased in terms of representations of $G$, and use it, together with deep results about automorphic representations, to show that affine buildings of inner forms of $\mathbf{GL}_n$ over local fields of positive characteristic admit infinitely many quotients which are Ramanujan in all dimensions. The Ramanujan (in dimension $0$) complexes constructed by Lubotzky, Samuels and Vishne arise as a special case of our construction. Our construction also gives rise to Ramanujan graphs which are apparently new.
Other applications are also discussed. For example, we show that there are non-isomorphic simiplicial complexes which are isospectral in all dimensions.
Recent results on permutations without short cycles
The density, denoted by $κ(n,r)$, of permutations having no cycles of length less than $r+1$ in a symmetric group $\mathrm{S}_n$ is explored. New asymptotic formulas for $κ(n,r)$ are obtained using the saddle-point method when $5\leq r< n$ and $n\to\infty$.
Veldkamp Spaces: From (Dynkin) Diagrams to (Pauli) Groups
Published in International Journal of Geometric Methods in Modern Physics 14 (2017) 1750080
• View Publication
• BIB
Regarding a Dynkin diagram as a specific point-line incidence structure (where each line has just two points), one can associate with it a Veldkamp space. Focusing on extended Dynkin diagrams of type $\widetilde{D}_n$, $4 \leq n \leq 8$, it is shown that the corresponding Veldkamp space always contains a distinguished copy of the projective space PG$(3,2)$. Proper labelling of the vertices of the diagram (for $4 \leq n \leq 7$) by particular elements of the two-qubit Pauli group establishes a bijection between the 15 elements of the group and the 15 points of the PG$(3,2)$. The bijection is such that the product of three elements lying on the same line is the identity and one also readily singles out that particular copy of the symplectic polar space $W(3,2)$ of the PG$(3,2)$ whose lines correspond to triples of mutually commuting elements of the group; in the latter case, in addition, we arrive at a unique copy of the Mermin-Peres magic square. In the case of $n=8$, a more natural labeling is that in terms of elements of the three-qubit Pauli group, furnishing a bijection between the 63 elements of the group and the 63 points of PG$(5,2)$, the latter being the maximum projective subspace of the corresponding Veldkamp space; here, the points of the distinguished PG$(3,2)$ are in a bijection with the elements of a two-qubit subgroup of the three-qubit Pauli group, yielding a three-qubit version of the Mermin-Peres square. Moreover, save for $n=4$, each Veldkamp space is also endowed with some `exceptional' point(s). Interestingly, two such points in the $n=8$ case define a unique Fano plane whose inherited three-qubit labels feature solely the Pauli matrix $Y$.
Local symmetry in random graphs
Published in IEEE Transactions on Network Science and Engineering 7 (2020), 1913-1924
• View Publication
• BIB
Quite often real-world networks can be thought of as being symmetric, in the abstract sense that vertices can be found to have similar or equivalent structural roles. However, traditional measures of symmetry in graphs are based on their automorphism groups, which do not account for the similarity of local structures. We introduce the concept of local symmetry, which reflects the structural equivalence of the vertices' egonets. We study the emergence of asymmetry in the Erdős-Rényi random graph model and identify regimes of both asymptotic local symmetry and asymptotic local asymmetry. We find that local symmetry persists at least to an average degree of $n^{1/3}$ and local asymmetry emerges at an average degree not greater than $n^{1/2}$, which are regimes of much larger average degree than for traditional, global asymmetry.
The equivariant Kazhdan-Lusztig polynomial of a matroid
Published
• View Publication
• BIB
We define the equivariant Kazhdan-Lusztig polynomial of a matroid equipped with a group of symmetries, generalizing the nonequivariant case. We compute this invariant for arbitrary uniform matroids and for braid matroids of small rank.
Non-Homogenizable Classes of Finite Structures
Homogenization is a powerful way of taming a class of finite structures with several interesting applications in different areas, from Ramsey theory in combinatorics to constraint satisfaction problems (CSPs) in computer science, through (finite) model theory. A few sufficient conditions for a class of finite structures to allow homogenization are known, and here we provide a necessary condition. This lets us show that certain natural classes are not homogenizable: 1) the class of locally consistent systems of linear equations over the two-element field or any finite Abelian group, and 2) the class of finite structures that forbid homomorphisms from a specific MSO-definable class of structures of treewidth two. In combination with known results, the first example shows that, up to pp-interpretability, the CSPs that are solvable by local consistency methods are distinguished from the rest by the fact that their classes of locally consistent instances are homogenizable. The second example shows that, for MSO-definable classes of forbidden patterns, treewidth one versus two is the dividing line to homogenizability.
Permutations and the combinatorics of gauge invariants for general N
Published
• View Publication
• BIB
Group algebras of permutations have proved highly useful in solving a number of problems in large N gauge theories. I review the use of permutations in classifying gauge invariants in one-matrix and multi-matrix models and computing their correlators. These methods are also applicable to tensor models and have revealed a link between tensor models and the counting of branched covers. The key idea is to parametrize $U(N)$ gauge invariants using permutations, subject to equivalences. Correlators are related to group theoretic properties of these equivalence classes. Fourier transformation on symmetric groups by means of representation theory offers nice bases of functions on these equivalence classes. This has applications in AdS/CFT in identifying CFT duals of giant gravitons and their perturbations. It has also lead to general results on quiver gauge theory correlators, uncovering links to two dimensional topological field theory and the combinatorics of trace monoids.
Are monochromatic Pythagorean triples unavoidable under morphic colorings ?
Published
• View Publication
• BIB
A Pythagorean triple is a triple of positive integers a, b, c $\in$ N${}^{+}$ satisfying a${}^2$ + b${}^2$ = c${}^2$. Is it true that, for any finite coloring of N${}^{+}$ , at least one Pythagorean triple must be monochromatic? In other words, is the Dio-phantine equation X${}^2$+ Y${}^2$ = Z${}^2$ regular? This problem, recently solved for 2-colorings by massive SAT computations [Heule et al., 2016], remains widely open for k-colorings with k $\ge$ 3. In this paper, we introduce morphic colorings of N + , which are special colorings in finite groups with partly multiplicative properties. We show that, for many morphic colorings in 2 and 3 colors, monochromatic Pythagorean triples are unavoidable in rather small integer intervals.
The Attenuated Space Poset $\mathcal{A}_q(N, M)$
In this paper, we study the incidence algebra $T$ of the attenuated space poset $\mathcal{A}_q(N, M)$. We consider the following topics. We consider some generators of $T$: the raising matrix $R$, the lowering matrix $L$, and a certain diagonal matrix $K$. We describe some relations among $R, L, K$. We put these relations in an attractive form using a certain matrix $S$ in $T$. We characterize the center $Z(T)$. Using $Z(T)$, we relate $T$ to the quantum group $U_τ({\mathfrak{sl}}_2)$ with $τ^2=q$. We consider two elements $A, A^*$ in $T$ of a certain form. We find necessary and sufficient conditions for $A, A^*$ to satisfy the tridiagonal relations. Let $W$ denote an irreducible $T$-module. We find necessary and sufficient conditions for the above $A, A^*$ to act on $W$ as a Leonard pair.
Symmetric Unique Neighbor Expanders and Good LDPC Codes
Published
• View Publication
• BIB
An infinite family of bounded-degree 'unique-neighbor' expanders was constructed explicitly by Alon and Capalbo (2002). We present an infinite family F of bounded-degree unique-neighbor expanders with the additional property that every graph in the family F is a Cayley graph. This answers a question raised by Tali Kaufman. Using the same methods, we show that the symmetric LDPC codes constructed by Kaufman and Lubotzky (2012) are in fact symmetric under a simply transitive group action on coordinates.
Representations of symmetric groups with non-trivial determinant
Published in Journal of Combinatorial Theory, Series A 150 (2017) 208-232
• View Publication
• BIB
We give a closed formula for the number of partitions $λ$ of $n$ such that the corresponding irreducible representation $V_λ$ of $S_n$ has non-trivial determinant. We determine how many of these partitions are self-conjugate and how many are hooks. This is achieved by characterizing the $2$-core towers of such partitions. We also obtain a formula for the number of partitions of $n$ such that the associated permutation representation of $S_n$ has non-trivial determinant.
Lattice structure of Weyl groups via representation theory of preprojective algebras
Published in Compositio Math. 154 (2018) 1269-1305
• View Publication
• BIB
This paper studies the combinatorics of lattice congruences of the weak order on a finite Weyl group $W$, using representation theory of the corresponding preprojective algebra $Π$. Natural bijections are constructed between important objects including join-irreducible congruences, join-irreducible (respectively, meet-irreducible) elements of $W$, indecomposable $τ$-rigid (respectively, $τ^-$-rigid) modules and layers of $Π$. The lattice-theoretically natural labeling of the Hasse quiver by join-irreducible elements of $W$ is shown to coincide with the algebraically natural labelling by layers of $Π$. We show that layers of $Π$ are nothing but bricks (or equivalently stones, or 2-spherical modules). The forcing order on join-irreducible elements of $W$ (arising from the study of lattice congruences) is described algebraically in terms of the doubleton extension order. We give a combinatorial description of indecomposable $τ^-$-rigid modules for type $A$ and $D$.
Some aspects of (r,k)-parking functions
Published in JCTA Volume 159, October 2018, Pages 54--78
• View Publication
• BIB
An \emph{$(r,k)$-parking function} of length $n$ may be defined as a sequence $(a_1,\dots,a_n)$ of positive integers whose increasing rearrangement $b_1\leq\cdots\leq b_n$ satisfies $b_i\leq k+(i-1)r$. The case $r=k=1$ corresponds to ordinary parking functions. We develop numerous properties of $(r,k)$-parking functions. In particular, if $F_n^{(r,k)}$ denotes the Frobenius characteristic of the action of the symmetric group $\mathfrak{S}_n$ on the set of all $(r,k)$-parking functions of length $n$, then we find a combinatorial interpretation of the coefficients of the power series $\left( \sum_{n\geq 0}F_n^{(r,1)}t^n\right)^k$ for any $k\in \mathbb{Z}$. When $k>0$, this power series is just $\sum_{n\geq 0} F_n^{(r,k)} t^n$; when $k<0$, we obtain a dual to $(r,k)$-parking functions. We also give a $q$-analogue of this result. For fixed $r$, we can use the symmetric functions $F_n^{(r,1)}$ to define a multiplicative basis for the ring $Λ$ of symmetric functions. We investigate some of the properties of this basis.