group
10226 papers tagged with this keyword
Spherical codes with prescribed signed permutation automorphisms inside shells of low-dimensional integer lattices
Let $\textrm{S}(n,t,k)$ be the maximum size of a code containing only vectors of the $k$th shell of the integer lattice $\mathbb{Z}^n$ such that the inner product between distinct vectors does not exceed $t$. In this paper we compute lower bounds for $\textrm{S}(n,t,k)$ for small values of $n$, $t$ and $k$ by carrying out computer searches for codes with prescribed automorphisms. We prescribe groups of signed permutation automorphisms acting transitively on the pairs of coordinates and coordinate values as well as other closely related groups of automorphisms. Several of the constructed codes lead to improved lower bounds for spherical codes.
A generalization of quantum Lakshmibai-Seshadri paths for arbitrary weights
We construct an injective weight-preserving map (called the forgetful map) from the set of all admissible subsets in the quantum alcove model associated to an arbitrary weight. The image of this forgetful map can be explicitly described by introducing the notion of "interpolated quantum Lakshmibai-Seshadri (QLS for short) paths", which can be thought of as a generalization of quantum Lakshmibai-Seshadri paths. As an application, we reformulate, in terms of interpolated QLS paths, an identity of Chevalley type for the graded characters of Demazure submodules of a level-zero extremal weight module over a quantum affine algebra, which is a representation-theoretic analog of the Chevalley formula for the torus-equivariant $K$-group of a semi-infinite flag manifold.
Hook restriction coefficients
The permutation matrices form a subgroup of $\text{GL}_n(\mathbb{C})$ that is isomorphic to the symmetric group $S_n$. Let $r_{μλ}$ denote the multiplicity of the irreducible representation $V_μ$ of $S_n$, corresponding to a partition $μ$ of $n$, in the restriction of an irreducible polynomial representation $W_λ(\mathbb{C})$ of $\text{GL}_n(\mathbb{C})$, corresponding to a partition $λ$ with at most $n$ parts. Finding a combinatorial interpretation for $r_{μλ}$ remains an open problem in algebraic combinatorics, called the \emph{restriction problem}.
We derive a new nonrecursive expression for a character polynomial called the \emph{Specht polynomial} and use it to find a combinatorial interpretation of $r_{μλ}$ when $λ$ is a hook-shaped partition.
The restricted sumsets in finite abelian groups
Suppose that $k\geq 2$ and $A$ is a non-empty subset of a finite abelian group $G$ with $|G|>1$. Then the cardinality of the restricted sumset $$ k^\wedge A:=\{a_1+\cdots+a_k:\,a_1,\ldots,a_k\in A,\ a_i\neq a_j\text{ for }i\neq j\} $$ is at least $$ \min\{p(G), k|A|-k^2+1\}, $$ where $p(G)$ denotes the least prime divisor of $|G|$.
Monotonicity, Topology, and Convexity of Recurrence in Random Walks
We consider non-homogeneous random walks on the two-dimensional positive quadrant $\mathbb{N}^2$ and the one-dimensional slab $\{0,1,\dots,k\}\times\mathbb{N}$. In the 1960's the following question was asked for $\mathbb{N}^2$: is it true if such a random walk $X$ is recurrent and $Y$ is another random walk that at every point is more likely to go down and more likely to go left than $Y$, then $Y$ is also recurrent?
We provide an example showing that the answer is negative. We also show, via a coupling argument, that if either the random walk $X$ or $Y$ is sufficiently homogeneous then the answer is in fact positive. In addition, we show using the Rayleigh monotonicity principle that the analogous question for random walks on trees is positive.
These results show that the subset of parameter space that yields recurrent random walks possesses some geometric properties, in this case the structure of an order ideal. Motivated by this perspective, we consider the more symmetric setting of homogeneous random walks on finitely generated abelian groups, and ask when this subset possesses other geometric properties, namely various topological properties and convexity. We answer some of these questions: in particular, we show that this subset is closed, and under a symmetric support condition, show it is path-connected and additionally show it is convex if and only if its effective dimension is at most 2. We also show its complement is in some sense typically path-connected but not convex. We finally propose some related open problems.
Quasi-diagrams and gentle algebras
Any gentle algebra $A$ with one maximal path corresponds to a unique quasi-diagram $α$. We introduce the regularity for $α$, and show that $A$ has finite global dimension if and only if $α$ is regular. We characterize regular quasi-diagrams which remain regular under the dihedral group action. We prove that the set of maximal chord diagrams is the "biggest" one among the sets closed under taking Koszul dual and rotations.
Hurwitz numbers for reflection groups $G(m,1,n)$
We are extending results from \cite{B-Hurwitz} by building a parallel theory of simple Hurwitz numbers for the reflection groups $G(m,1,n)$. We also study analogs of the cut-and-join operators. An algebraic description as well as a description in terms of ramified covering of Hurwitz numbers is provided. An explicit formula for them in terms of Schur polynomials are provided. In addition the generating function of $G(m,1,n)$-Hurwitz numbers is shown to give rise to $m$ independent variables $τ$-function of the KP hierarchy. Finally we provide an ELSV-formula type for these new Hurwitz numbers.
Perfect codes in circulant graphs of degree $p^l-1$
A perfect code in a graph is an independent set of the graph such that every vertex outside the set is adjacent to exactly one vertex in the set. A circulant graph is a Cayley graph of a cyclic group. In this paper we study perfect codes in circulant graphs of degree $p^l - 1$, where $p$ is a prime and $l \ge 1$. We obtain a necessary and sufficient condition for such a circulant graph to admit perfect codes, give a construction of all such circulant graphs which admit perfect codes, and prove a lower bound on the number of distinct perfect codes in such a circulant graph. This extends known results for the case $l=1$ and provides insight on the general problem on the existence and structure of perfect codes in circulant graphs.
Balls in groups: volume, structure and growth
We give sharp bounds in Breuillard, Green and Tao's finitary version of Gromov's theorem on groups with polynomial growth. Precisely, we show that for every non-negative integer d there exists $c=c(d)>0$ such that if $G$ is a group with finite symmetric generating set $S$ containing the identity and $|S^n|\le cn^{d+1}|S|$ for some positive integer $n$ then there exist normal subgroups $H\leΓ\le G$ such that $H\subseteq S^n$, such that $Γ/H$ is $d$-nilpotent (i.e. has a central series of length $d$ with cyclic factors), and such that $[G:Γ]\le g(d)$, where $g(d)$ denotes the maximum order of a finite subgroup of $GL_d(\mathbb{Z})$. The bounds on both the nilpotence and index are sharp; the previous best bounds were $O(d)$ on the nilpotence, and an ineffective function of $d$ on the index. In fact, we obtain this as a small part of a much more detailed fine-scale description of the structure of $G$. These results have a wide range of applications in various aspects of the theory of vertex-transitive graphs: percolation theory, random walks, structure of finite groups, scaling limits of finite vertex-transitive graphs.... We obtain some of these applications in the present paper, and treat others in companion papers. Some are due to or joint with other authors.
On a mod $3$ property of $\ell $-tuples of pairwise commuting permutations
Let $S_n$ denote the symmetric group of permutations acting on $n$ elements. We investigate the double sequence $\{N_{\ell}(n)\}$ counting the number of $\ell$ tuples of elements of the symmetric group $S_n$, where the components commute, normalized by the order of $S_n$. Our focus lies on exploring log-concavity with respect to $n$: $$ N_{\ell}(n)^2 - N_{\ell}(n-1) \,\, N_{\ell}(n+1) \geq 0.$$ We establish that this depends on $n \pmod{3}$ for sufficiently large $\ell$. These numbers are studied by Bryan and Fulman as the $n$th orbifold characteristics, generalizing work of Macdonald and Hirzebruch--Hofer concerning the ordinary and string-theoretic Euler characteristics of symmetric products. Notably, $N_2(n)$ represents the partition numbers $p(n)$, while $N_{3}(n)$ represents the number of non-equivalent $n$-sheeted coverings of a torus studied by Liskovets and Medynkh. The numbers also appear in algebra since $ \vert S_n \vert \,\, N_{\ell}(n) = \left\vert Hom \left( \mathbb{Z}^{\ell},S_n\right) \right\vert $.
Digraphs, pro-$p$ groups and Massey products in Galois cohomology
Let $p$ be a prime. We characterize the oriented right-angled Artin pro-$p$ groups whose $\mathbb{F}_p$-cohomology algebra yields no essential $n$-fold Massey products for every $n>2$, in terms of the associated digraph. Moreover, we show that the $\mathbb{F}_p$-cohomology algebra of such oriented right-angled Artin pro-$p$ groups is isomorphic to the exterior Stanley-Reisner $\mathbb{F}_p$-algebra associated to the same digraph. This work also aims at providing a concrete and group-theoretic introduction to the study of Massey products in Galois cohomology for non-specialists, especially graduate students working in profinite group theory.
Spectral Antisymmetry of Twisted Graph Adjacency
We address a prime counting problem across the homology classes of a graph, presenting a graph-theoretical Dirichlet-type analogue of the prime number theorem. The main machinery we have developed and employed is a spectral antisymmetry theorem, revealing that the spectra of the twisted graph adjacency matrices have an antisymmetric distribution over the character group of the graph with a special character called the canonical character being an extremum. Additionally, we derive some trace formulas based on the twisted adjacency matrices as part of our analysis.
The classification of two-distance transitive dihedrants
A vertex transitive graph $Γ$ is said to be $2$-distance transitive if for each vertex $u$, the group of automorphisms of $Γ$ fixing the vertex $u$ acts transitively on the set of vertices at distance $1$ and $2$ from $u$, while $Γ$ is said to be $2$-arc transitive if its automorphism group is transitive on the set of $2$-arcs. Then $2$-arc transitive graphs are $2$-distance transitive. The classification of $2$-arc transitive Cayley graphs on dihedral groups was given by Du, Malnič and Marušič in [Classification of 2-arc-transitive dihedrants, J. Combin. Theory Ser. B 98 (2008), 1349--1372]. In this paper, it is shown that a connected 2-distance transitive Cayley graph on the dihedral group of order $2n$ is either $2$-arc transitive, or isomorphic to the complete multipartite graph $K_{m[b]}$ for some $m\geq3$ and $b\geq2$ with $mb=2n$.
Polyhedral realizations for crystal bases and Young walls of classical affine types
For affine Lie algebra $\mathfrak{g}$ of type $A^{(1)}_{n-1}$, $B^{(1)}_{n-1}$, $C^{(1)}_{n-1}$, $D^{(1)}_{n-1}$, $A^{(2)}_{2n-2}$, $A^{(2)}_{2n-3}$ or $D^{(2)}_{n}$, let $B(λ)$ and $B(\infty)$ be the crystal bases of integrable highest weight representation $V(λ)$ and negative part $U_q^-(\mathfrak{g})$ of quantum group $U_q(\mathfrak{g})$. We consider the polyhedral realizations of crystal bases, which realize $B(λ)$ and $B(\infty)$ as sets of integer points of some polytopes and cones in $\mathbb{R}^{\infty}$. It is a natural problem to find explicit forms of the polytopes and cones. In this paper, we introduce pairs of truncated walls, which are defined as modifications of level $2$-Young walls and describe inequalities defining the polytopes and cones in terms of level $1$-proper Young walls and pairs of truncated walls. As an application, we also give combinatorial descriptions of $\varepsilon_k^*$-functions on $B(\infty)$ in terms of Young walls and truncated walls.
Automorphism group of a family of distance regular graphs which are not distance transitive
Let $G_n=\mathbb{Z}_n\times \mathbb{Z}_n$ for $n\geq 4$ and $S=\{(i,0),(0,i),(i,i): 1\leq i \leq n-1\}\subset G_n$. Define $Γ(n)$ to be the Cayley graph of $G_n$ with respect to the connecting set $S$. It is known that $Γ(n)$ is a strongly regular graph with the parameters $(n^2,3n-3,n,6)$ \cite{19}. Hence $Γ(n)$ is a distance regular graph. It is known that every distance transitive graph is distance regular, but the converse is not true. In this paper, we study some algebraic properties of the graph $Γ(n)$. Then by determining the automorphism group of this family of graphs, we show that the graphs under study are not distance transitive.
A family of symmetric graphs in relation to 2-point-transitive linear spaces
A graph $Γ$ is $G$-symmetric if it admits $G$ as a group of automorphisms acting transitively on the set of arcs of $Γ$, where an arc is an ordered pair of adjacent vertices. Let $Γ$ be a $G$-symmetric graph such that its vertex set admits a nontrivial $G$-invariant partition ${\cal B}$, and let ${\cal D}(Γ, {\cal B})$ be the incidence structure with point set ${\cal B}$ and blocks $\{B\} \cup Γ_{\cal B}(α)$, for $B \in {\cal B}$ and $α\in B$, where $Γ_{\cal B}(α)$ is the set of blocks of ${\cal B}$ containing at least one neighbour of $α$ in $Γ$. In this paper we classify all $G$-symmetric graphs $Γ$ such that $Γ_{\cal B}(α) \ne Γ_{\cal B}(β)$ for distinct $α, β\in B$, the quotient graph of $Γ$ with respect to ${\cal B}$ is a complete graph, and ${\cal D}(Γ, {\cal B})$ is isomorphic to the complement of a $(G, 2)$-point-transitive linear space.
Nonexistence of generalized quadrangles admitting a point-primitive and line-primitive automorphism group with socle ${\rm PSU}(3,q)$, $q\geq 3$
A central problem in the study of generalized quadrangles is to classify finite generalized quadrangles satisfying certain symmetry conditions. It is known that an automorphism group of a finite thick generalized quadrangle $\mathcal{S}$ acting primitively on both the points and lines of $\mathcal{S}$ must be almost simple. In this paper, we initiate the study of finite generalized quadrangles admitting a point-primitive and line-primitive automorphism group with socle being a unitary group. We develop a group-theoretic tool to prove that the socle of such a group cannot be ${\rm PSU}(3,q)$ with $q\geq 3$.
Tropical twisted Hurwitz numbers for elliptic curves
Hurwitz numbers enumerate branched morphisms between Riemann surfaces. For a fixed elliptic target, Hurwitz numbers are intimately related to mirror symmetry following work of Dijkgraaf. In recent work of Chapuy and Dolega a new variant of Hurwitz numbers with fixed genus $0$ target was introduced that includes maps between between non-orientiable surfaces. These numbers are called $b$-Hurwitz numbers and are polynomials in a parameter $b$ which measures the non-orientability of the involved maps. An interpretation in terms of factorisations of $b$-Hurwitz numbers for $b=1$, so-called twisted Hurwitz numbers, was found in work of Burman and Fesler. In previous work, the authors derived a tropical geometry interpretation of these numbers. In this paper, we introduce a natural generalisation of twisted Hurwitz numbers with elliptic targets within the framework of symmetric groups. We derive a tropical interpretation of these invariants, relate them to Feynman integrals and derive an expression as a matrix element of an operator in the bosonic Fock space.
A group action on cyclic compositions and $γ$-positivity
Let $w_{n,k,m}$ be the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$. We establish in two ways a new interpretation of the numbers $w_{n,k,m}$ in terms of plane trees and internal nodes. The first way builds on a new characterization of plane trees that involves cyclic compositions. The second proof utilizes a known interpretation of $w_{n,k,m}$ in terms of plane trees and leaves, and a recent involution on plane trees constructed by Li, Lin, and Zhao. Moreover, a group action on the set of cyclic compositions (or equivalently, $2$-dominant compositions) is introduced, which amounts to give a combinatorial proof of the $γ$-positivity of the Narayana polynomial, as well as the $γ$-positivity of the polynomial $W_{2k+1,k}(t):=\sum_{1\le m\le k}w_{2k+1,k,m}t^m$ previously obtained by Bóna et al, with apparently new combinatorial interpretations of their $γ$-coefficients.
New cluster algebras from old: integrability beyond Zamolodchikov periodicity
We consider discrete dynamical systems obtained as deformations of mutations in cluster algebras associated with finite-dimensional simple Lie algebras. The original (undeformed) dynamical systems provide the simplest examples of Zamolodchikov periodicity: they are affine birational maps for which every orbit is periodic with the same period. Following on from preliminary work by one of us with Kouloukas, here we present integrable maps obtained from deformations of cluster mutations related to the following simple root systems: $A_3$, $B_2$, $B_3$ and $D_4$. We further show how new cluster algebras arise, by considering Laurentification, that is, a lifting to a higher-dimensional map expressed in a set of new variables (tau functions), for which the dynamics exhibits the Laurent property. For the integrable map obtained by deformation of type $A_3$, which already appeared in our previous work, we show that there is a commuting map of Quispel-Roberts-Thompson (QRT) type which is built from a composition of mutations and a permutation applied to the same cluster algebra of rank 6, with an additional 2 frozen variables. Furthermore, both the deformed $A_3$ map and the QRT map correspond to addition of a point in the Mordell-Weil group of a rational elliptic surface of rank two, and the underlying cluster algebra comes from a quiver that mutation equivalent to the $q$-Painlevé III quiver found by Okubo. The deformed integrable maps of types $B_2$, $B_3$ and $D_4$ are also related to elliptic surfaces.
From a dynamical systems viewpoint, the message of the paper is that special families of birational maps with completely periodic dynamics under iteration admit natural deformations that are aperiodic yet completely integrable.