group
10226 papers tagged with this keyword
Large sumsets from medium-sized subsets
The classical Cauchy--Davenport inequality gives a lower bound for the size of the sum of two subsets of ${\mathbb Z}_p$, where $p$ is a prime. Our main aim in this paper is to prove a considerable strengthening of this inequality, where we take only a small number of points from each of the two subsets when forming the sum. One of our results is that there is an absolute constant $c>0$ such that if $A$ and $B$ are subsets of ${\mathbb Z}_p$ with $|A|=|B|=n\le p/3$ then there are subsets $A'\subset A$ and $B'\subset B$ with $|A'|=|B'|\le c \sqrt{n}$ such that $|A'+B'|\ge 2n-1$. In fact, we show that one may take any sizes one likes: as long as $c_1$ and $c_2$ satisfy $c_1c_2 \ge cn$ then we may choose $|A'|=c_1$ and $|B'|=c_2$. We prove related results for general abelian groups.
Quasirandom groups enjoy interleaved mixing
Let $G$ be a group such that any non-trivial representation has dimension at least $d$. Let $X=(X_{1},X_{2},\ldots,X_{t})$ and $Y=(Y_{1},Y_{2},\ldots,Y_{t})$ be distributions over $G^{t}$. Suppose that $X$ is independent from $Y$. We show that for any $g\in G$ we have $|\mathbb{P}[X_{1}Y_{1}X_{2}Y_{2}\cdots X_{t}Y_{t}=g]-1/|G||\le\frac{|G|^{2t-1}}{d^{t-1}}\sqrt{\mathbb{E}_{h\in G^{t}}X(h)^{2}}\sqrt{\mathbb{E}_{h\in G^{t}}Y(h)^{2}}.$ Our results generalize, improve, and simplify previous works.
A Catalog of Enumeration Formulas for Bouquet and Dipole Embeddings Under Symmetries
Published
• View Publication
• BIB
Motivated by a problem arising out of DNA origami, we give a general counting framework and enumeration formulas for various cellular embeddings of bouquets and dipoles under different kinds of symmetries. Our algebraic framework can be used constructively to generate desired symmetry classes, and we use Burnside's Lemma with various symmetry groups to derive the enumeration formulas. Our results assimilate several existing formulas into this unified framework. Furthermore, we provide new formulas for bouquets with colored edges (and thus for bouquets in nonorientable surfaces) as well as for directed embeddings of directed bouquets. We also enumerate vertex-labeled dipole embeddings. Since dipole embeddings may be represented by permutations, the formulas also apply to certain equivalence classes of permutations and permutation matrices. The resulting bouquet and dipole symmetry formulas enumerate structures relevant to a wide variety of areas in addition to DNA origami, including RNA secondary structures, Feynman diagrams, and topological graph theory. For uncolored objects we catalog 58 distinct sequences, of which 43 have not, as far as we know, been described previously.
Linear algebra and group theory
This is an introduction to linear algebra and group theory. We first review the linear algebra basics, namely the determinant, the diagonalization procedure and more, and with the determinant being constructed as it should, as a signed volume. We discuss then the basic applications of linear algebra to questions in analysis. Then we get into the study of the closed groups of unitary matrices $G\subset U_N$, with some basic algebraic theory, and with a number of probability computations, in the finite group case. In the general case, where $G\subset U_N$ is compact, we explain how the Weingarten integration formula works, and we present some basic $N\to\infty$ applications.
A census of small Schurian association schemes
Published
• View Publication
• BIB
Using the classification of transitive groups of degree $n$, for $2 \leqslant n \leqslant 48$, we classify the Schurian association schemes of order $n$, and as a consequence, the transitive groups of degree $n$ that are $2$-closed. In addition, we compute the character table of each association scheme and provide a census of important properties. Finally, we compute the $2$-closure of each transitive group of degree $n$, for $2 \leqslant n \leqslant 48$. The results of this classification are made available as a supplementary database.
Dead ends on wreath products and lamplighter groups
Published
• View Publication
• BIB
For any finite group $A$ and any finitely generated group $B$, we prove that the corresponding lamplighter group $A\wr B$ admits a standard generating set with unbounded depth, and that if $B$ is abelian then the above is true for every standard generating set. This generalizes the case where $B=\mathbb{Z}$ together with its cyclic generator due to Cleary and Taback. When $B=H*K$ is the free product of two finite groups $H$ and $K$, we characterize which standard generators of the associated lamplighter group have unbounded depth in terms of a geometrical constant related to the Cayley graphs of $H$ and $K$. In particular, we find differences with the one-dimensional case: the lamplighter group over the free product of two sufficiently large finite cyclic groups has uniformly bounded depth with respect to some standard generating set.
The poset of Specht ideals for hyperoctahedral groups
Published
• View Publication
• BIB
Specht polynomials classically realize the irreducible representations of the symmetric group. The ideals defined by these polynomials provide a strong connection with the combinatorics of Young tableaux and have been intensively studied by several authors. We initiate similar investigations for the ideals defined by the Specht polynomials associated to the hyperoctahedral group $B_n$. We introduce a bidominance order on bipartitions which describes the poset of inclusions of these ideals and study algebraic consequences on general $B_n$-invariant ideals and varieties, which can lead to computational simplifications.
Multiplicative structures and random walks in o-minimal groups
Published
• View Publication
• BIB
We prove structure theorems for o-minimal definable subsets $S\subset G$ of definable groups containing large multiplicative structures, and show definable groups do not have bounded torsion arbitrarily close to the identity. As an application, for certain models of $n$-step random walks $X$ in $G$ we show upper bounds $\mathbb{P}(X\in S)\le n^{-C}$ and a structure theorem for the steps of $X$ when $\mathbb{P}(X\in S)\ge n^{-C'}$.
Mackey-type identity for invariant functions on Lie algebras of finite unitary groups and an application
Published in Journal of Lie Theory 33 (2023), no.1, 149-168
• Search Publication
The Mackey-type identity mentioned in the title relates the operations of parabolic induction and restriction for invariant functions on the Lie algebras of the finite unitary groups $U(N, q^2)$. This result is applied to constructing positive harmonic functions on a new branching graph with a negative Hall-Littlewood parameter, as introduced in the authors' paper [Adv. Math. vol. 395 (2022), 108087; arXiv:2102.01947].This in turn implies the existence of an infinite-parameter family of invariant measures for the coadjoint action of an infinite-dimensional analogue of the groups $U(N, q^2)$.
Zircons and smooth Bruhat intervals in symmetric groups
In this paper, we prove that if the dual of a Bruhat interval in a Weyl group is a zircon, then that interval is rationally smooth. Investigating when the converse holds, and drawing inspiration from conjectures by Delanoy, leads us to pose two conjectures. If true, they imply that for Bruhat intervals in type $A$, duals of smooth intervals, zircons, and being isomorphic to lower intervals are all equivalent. As a verification, we have checked our conjectures in types $A_n$, $n\leq 8$.
On finite generalized quadrangles with $\mathrm{PSL}(2,q)$ as an automorphism group
Published
• View Publication
• BIB
Let $\mathcal{S}$ be a finite thick generalized quadrangle, and suppose that $G$ is an automorphism group of $\mathcal{S}$. If $G$ acts primitively on both the points and lines of $\mathcal{S}$, then it is known that $G$ must be almost simple. In this paper, we show that if the socle of $G$ is $\mathrm{PSL}(2,q)$ with $q\geq4$, then $q=9$ and $\mathcal{S}$ is the unique generalized quadrangle of order $2$.
Classification of the non-trivial $2$-$(k^{2},k,λ)$ designs, with $λ\mid k$, admitting a flag-transitive automorphism group of affine type
The pairs $(\mathcal{D},G)$, where $\mathcal{D}$ is a non-trivial $2$-$(k^{2},k,λ)$ design, with $λ\mid k$, and $G$ is a flag-transitive automorphism group of $\mathcal{D}$ of affine type such that $G \nleq A ΓL_{1}(k^{2})$, are classified.
On the homology of the noncrossing partition lattice and the Milnor fibre
Published
• View Publication
• BIB
Let $\mathcal{L}$ be the noncrossing partition lattice associated to a finite Coxeter group $W$. In this paper we construct explicit bases for the top homology groups of intervals and rank-selected subposets of $\mathcal{L}$. We define a multiplicative structure on the Whitney homology of $\mathcal{L}$ in terms of the basis, and the resulting algebra has similarities to the Orlik-Solomon algebra. As an application, we obtain four chain complexes which compute the integral homology of the Milnor fibre of the reflection arrangement of $W$, the Milnor fibre of the discriminant of $W$, the hyperplane complement of $W$ and the Artin group of type $W$, respectively. We also tabulate some computational results on the integral homology of the Milnor fibres.
On two notions of total positivity for partial flag varieties
Published in Adv. Math. 414 (2023), Paper No. 108855, 24 pages
• View Publication
• BIB
Given integers $1 \le k_1 < \cdots < k_l \le n-1$, let $\text{Fl}_{k_1,\dots,k_l;n}$ denote the type $A$ partial flag variety consisting of all chains of subspaces $(V_{k_1}\subset\cdots\subset V_{k_l})$ inside $\mathbb{R}^n$, where each $V_k$ has dimension $k$. Lusztig (1994, 1998) introduced the totally positive part $\text{Fl}_{k_1,\dots,k_l;n}^{>0}$ as the subset of partial flags which can be represented by a totally positive $n\times n$ matrix, and defined the totally nonnegative part $\text{Fl}_{k_1,\dots,k_l;n}^{\ge 0}$ as the closure of $\text{Fl}_{k_1,\dots,k_l;n}^{>0}$. On the other hand, following Postnikov (2007), we define $\text{Fl}_{k_1,\dots,k_l;n}^{Δ>0}$ and $\text{Fl}_{k_1,\dots,k_l;n}^{Δ\ge 0}$ as the subsets of $\text{Fl}_{k_1,\dots,k_l;n}$ where all Plücker coordinates are positive and nonnegative, respectively. It follows from the definitions that Lusztig's total positivity implies Plücker positivity, and it is natural to ask when these two notions of positivity agree. Rietsch (2009) proved that they agree in the case of the Grassmannian $\text{Fl}_{k;n}$, and Chevalier (2011) showed that the two notions are distinct for $\text{Fl}_{1,3;4}$. We show that in general, the two notions agree if and only if $k_1, \dots, k_l$ are consecutive integers. We give an elementary proof of this result (including for the case of Grassmannians) based on classical results in linear algebra and the theory of total positivity. We also show that the cell decomposition of $\text{Fl}_{k_1,\dots,k_l;n}^{\ge 0}$ coincides with its matroid decomposition if and only if $k_1,\dots,k_l$ are consecutive integers, which was previously only known for complete flag varieties, Grassmannians, and $\text{Fl}_{1,3;4}$. Finally, we determine which notions of positivity are compatible with a natural action of the cyclic group of order $n$ that rotates the index set.
Hamiltonicity of covering graphs of trees
Published
• View Publication
• BIB
In this paper, we consider covering graphs obtained by lifting a tree with a loop at each vertex as a voltage graph over a cyclic group. We generalize a tool of Hell, Nishiyama, and Stacho, known as the billiard strategy, for constructing Hamiltonian cycles in the covering graphs of paths. We show that our extended tool can be used to provide new sufficient conditions for the Hamiltonicity of covering graphs of trees that are similar to those of Batagelj and Pisanski and of Hell, Nishiyama, and Stacho. Next, we focus specifically on covering graphs obtained from trees lifted as voltage graphs over cyclic groups $\mathbb Z_p$ of large prime order $p$. We prove that for a given reflexive tree $T$ whose edge labels are assigned uniformly at random from a finite set, the corresponding lift is almost surely Hamiltonian for a large enough prime-ordered cyclic group $\mathbb Z_p$. Finally, we show that if a reflexive tree $T$ is lifted over a group $\mathbb Z_p$ of a large prime order, then for any assignment of nonzero elements of $\mathbb Z_p$ to the edges of $T$, the corresponding cover of $T$ has a large circumference.
Barcode Posets: Combinatorial Properties and Connections
A barcode is a finite multiset of intervals on the real line, $B = \{ (b_i, d_i)\}_{i=1}^n$. Barcodes are important objects in topological data analysis, where they serve as summaries of the persistent homology groups of a filtration. The combinatorial properties of barcodes have also been studied, mainly in the context of interval orders and interval graphs. In this paper, we define a new family of maps from the space of barcodes with $n$ bars to the permutation sets of various multisets, known as multipermutations. These multipermutations provide new combinatorial invariants on the space of barcodes. We then define an order relation on these multipermutations, which we show can be interpreted as a crossing number for barcodes, reminiscent of Túran's crossing number for graphs. Next, we show that the resulting posets are order-isomorphic to principal ideals of a well known poset known as the multinomial Newman lattice. Consequently, these posets form the graded face-lattices of polytopes, which we refer to as barcode lattices or barcode polytopes. Finally, we show that for a large class of barcodes, these invariants can provide bounds on the Wasserstein and bottleneck distances between a pair of barcodes, linking these discrete invariants to continuous metrics on barcodes.
Permutation Polynomials and their Compositional Inverses
Published
• View Publication
• BIB
In this paper, we prove that every PP is an AGW-PP. We also extend the result of Wan and Lidl to other permutation polynomials over finite fields and determine their group structure. Moreover, we provide a new general method to find the compositional inverses of all PPs, some new PPs and their compositional inverses are given.
Opinion Dynamics on Graphon: the piecewise constant case
Published in Applied Mathematics Letters, Volume 133 (2022), 108227
• View Publication
• BIB
The study of network supported opinion dynamics in large groups of autonomous agents is attracting an increasing interest during the last years. In this paper, we proposed the use of the recent graphon theory to model and simulate an interacting system describing the evolution of individual opinions over an arbitrary size networks. Specifically, we prove the existence and uniqueness of the limit problem that approximates a very large networks made by homogeneous groups of agents. The significant new example is the mean field analysis deduced from the graphon limit systems in the case of piecewise constant graphon.
Lee metrics on groups
In this work we consider interval metrics on groups; that is, integral invariant metrics whose associated weight functions do not have gaps. We give conditions for a group to have and to have not interval metrics. Then we study Lee metrics on general groups, that is interval metrics having the finest unitary symmetric associated partition. These metrics generalize the classic Lee metric on cyclic groups. In the case that $G$ is a torsion-free group or a finite group of odd order, we prove that $G$ has a Lee metric if and only if $G$ is cyclic. Also, if $G$ is a group admitting Lee metrics then $G \times \mathbb{Z}_2^k$ always have Lee metrics for every $k \in \mathbb{N}$. Then, we show that some families of metacyclic groups, such as cyclic, dihedral, and dicyclic groups, always have Lee metrics. Finally, we give conditions for non-cyclic groups such that they do not have Lee metrics. We end with tables of all groups of order $\le 31$ indicating which of them have (or have not) Lee metrics and why (not).
A recursive description of automorphism groups of inductively constructed polytopes
Polytopes are ubiquitous in different areas of mathematics. Gleason and Hubard established a factorisation theorem, stating that every abstract polytope has a unique factorisation into prime polytopes. We compute the automorphism group of a certain family of inductively constructed polytopes using the unique factorisation.