group
10405 papers tagged with this keyword
On the Harborth constant of $C_3 \oplus C_{3n}$
For a finite abelian group $(G,+, 0)$ the Harborth constant $\mathsf{g}(G)$ is the smallest integer $k$ such that each squarefree sequence over $G$ of length $k$, equivalently each subset of $G$ of cardinality at least $k$, has a subsequence of length $\exp(G)$ whose sum is $0$. In this paper, it is established that $\mathsf{g}(G)= 3n + 3$ for prime $n \neq 3$ and $\mathsf{g}(C_3 \oplus C_9)= 13$.
Ergodic Theorems for the Shift Action and Pointwise Versions of The Abért--Weiss Theorem
Published
• View Publication
• BIB
Let $Γ$ be a countably infinite group. A common theme in ergodic theory is to start with a probability measure-preserving (p.m.p.) action $Γ\curvearrowright (X, μ)$ and a map $f \in L^1(X, μ)$, and to compare the global average $\int f \,\mathrm{d}μ$ of $f$ to the pointwise averages $|D|^{-1} \sum_{δ\in D} f(δ\cdot x)$, where $x \in X$ and $D$ is a nonempty finite subset of $Γ$. The basic hope is that, when $D$ runs over a suitably chosen infinite sequence, these pointwise averages should converge to the global value for $μ$-almost all $x$.
In this paper we prove several results that refine the above basic paradigm by uniformly controlling the averages over specific sets $D$ rather than considering their limit as $|D| \to \infty$. Our results include ergodic theorems for the Bernoulli shift action $Γ\curvearrowright ([0;1]^Γ, λ^Γ)$ and strengthenings of the theorem of Abért and Weiss that the shift is weakly contained in every free p.m.p. action of $Γ$. In particular, we establish a purely Borel version of the Abért--Weiss theorem for finitely generated groups of subexponential growth. The central role in our arguments is played by the recently introduced measurable versions of the Lovász Local Lemma, due to the current author and to Csóka, Grabowski, Máthé, Pikhurko, and Tyros.
A Construction of Bent Functions on a finite group
Published
• View Publication
• BIB
In this paper, we discuss when a class function on a finite group is a bent function. We have found a necessary condition for a class function on a finite abelian group to be bent. Also, we have found a necessary and sufficient condition for a class function on a finite cyclic group to be bent.
Regular self-dual and self-Petrie-dual maps of arbitrary valency
Published
• View Publication
• BIB
The main result of D. Archdeacon, M. Conder and J. Širáň [Trans. Amer. Math. Soc. 366 (2014) 8, 4491-4512] implies existence of a regular, self-dual and self-Petrie dual map of any given even valency. In this paper we extend this result to any odd valency $\ge 5$. This is done by algebraic number theory and maps defined on the groups ${\rm PSL}(2,p)$ in the case of odd prime valency $\ge 5$ and valency $9$, and by coverings for the remaining odd valencies.
On the spectral gap of some Cayley graphs on the Weyl group $W(B_n)$
Published
• View Publication
• BIB
The Laplacian of a (weighted) Cayley graph on the Weyl group $W(B_n)$ is a $N\times N$ matrix with $N = 2^n n!$ equal to the order of the group. We show that for a class of (weighted) generating sets, its spectral gap (lowest nontrivial eigenvalue), is actually equal to the spectral gap of a $2n \times 2n$ matrix associated to a $2n$-dimensional permutation representation of $W_n$. This result can be viewed as an extension to $W(B_n)$ of an analogous result valid for the symmetric group, known as `Aldous' spectral gap conjecture', proven in 2010 by Caputo, Liggett and Richthammer.
Self-dual, self-Petrie-dual and Möbius regular maps on linear fractional groups
Published
• View Publication
• BIB
Regular maps on linear fractional groups $PSL(2,q)$ and $PGL(2,q$) have been studied for many years and the theory is well-developed, including generating sets for the asscoiated groups. This paper studies the properties of self-duality, self-Petrie-duality and Möbius regularity in this context, providing necessary and sufficient conditions for each case. We also address the special case for regular maps of type (5,5). The final section includes an enumeration of the $PSL(2,q)$ maps for $q\le81$ and a list of all the $PSL(2,q)$ maps which have any of these special properties for $q\le49$.
Permutations with orders coprime to a given integer
Published
• View Publication
• BIB
Let $m$ be a positive integer and let $ρ(m,n)$ be the proportion of permutations of the symmetric group ${\rm Sym}(n)$ whose order is coprime to $m$. In 2002, Pouyanne proved that $ρ(n,m)n^{1-\frac{φ(m)}{m}}\sim κ_m$ where $κ_m$ is a complicated (unbounded) function of $m$. We show that there exists a positive constant $C(m)$ such that, for all $n \geqslant m$, \[C(m) \left(\frac{n}{m}\right)^{\frac{φ(m)}{m}-1} \leqslant ρ(n,m) \leqslant \left(\frac{n}{m}\right)^{\frac{φ(m)}{m}-1}\] where $φ$ is Euler's totient function.
Partial Geometric Designs from Group Actions
Published
• View Publication
• BIB
In this paper, using group actions, we introduce a new method for constructing partial geometric designs (sometimes referred to as $1\frac{1}{2}$-designs). Using this new method, we construct several infinite families of partial geometric designs by investigating the actions of various linear groups of degree two on certain subsets of $\mathbb{F}_{q}^{2}$. Moreover, by computing the stabilizers of such subsets in various linear groups of degree two, we are also able to construct a new infinite family of balanced incomplete block designs.
On compactifications and product-free sets
Published
• View Publication
• BIB
A subset of a group is said to be product-free if it does not contain three elements satisfying the equation $xy=z$. We give a negative answer to a question of Babai and Sós on the existence of large product-free sets by model theoretic means. This question was originally answered by Gowers. Furthermore, we give a natural and sufficient model theoretic condition for a group to have a large product-free subset, as well as a model theoretic account of a result of Nikolov and Pyber on triple products.
Monochromatic Regular Polygons in finitely colored $\mathbb{Z}_2 *\mathbb{Z}_2 *\mathbb{Z}_2$
We show that for any finite coloring of the group $\mathbb{Z}_2 *\mathbb{Z}_2 *\mathbb{Z}_2$ and for any positive integer $k$, there always exists a monochromatic regular $k$-gon in $\mathbb{Z}_2 *\mathbb{Z}_2 *\mathbb{Z}_2$ with respect to the word length metric induced by the standard generating set; the edge length of which is estimated.
Minimal Binary $2$-Neighbour-Transitive Codes
Published
• View Publication
• BIB
The main result here is a characterisation of binary $2$-neighbour-transitive codes with minimum distance at least $5$ via their minimal subcodes, which are found to be generated by certain designs. The motivation for studying this class of codes comes primarily from their relationship to the class of completely regular codes. The results contained here yield many more examples of $2$-neighbour-transitive codes than previous classification results of families of $2$-neighbour-transitive codes. In the process, new lower bounds on the minimum distance of particular sub-families are produced. Several results on the structure of $2$-neighbour-transitive codes with arbitrary alphabet size are also proved. The proofs of the main results apply the classification of minimal and pre-minimal submodules of the permutation modules over $\mathbb{F}_2$ for finite $2$-transitive permutation groups.
The Möbius function of ${\rm PSU}(3,2^{2^n})$
Published
• View Publication
• BIB
Let $G$ be the simple group ${\rm PSU}(2,2^{2^n})$, $n>0$. For any subgroup $H$ of $G$, we compute the Möbius function $μ_L(H,G)$ of $H$ in the subgroup lattice $L$ of $G$, and the Möbius function $μ_{\bar L}([H],[G])$ of $[H]$ in the poset $\bar L$ of conjugacy classes of subgroups of $G$. For any prime $p$, we provide the Euler characteristic of the order complex of the poset of $p$-subgroups of $G$.
Cameron-Liebler line classes of ${\rm PG}(3,q)$ admitting ${\rm PGL}(2,q)$
Published
• View Publication
• BIB
In this paper we describe an infinite family of Cameron-Liebler line classes of ${\rm PG}(3,q)$ with parameter $(q^2 + 1)/2$, $q\equiv 1\pmod{4}$. The example obtained admits ${\rm PGL}(2,q)$ as an automorphism group and it is shown to be isomorphic to none of the infinite families known so far whenever $q \ge 9$.
Directed Strongly Regular Cayley Graphs on Dihedral groups $D_n$
In this paper, we characterize some certain directed strongly regular Cayley graphs on Dihedral groups $D_{n}$, where $n\geqslant 3$ is a positive integer.
Infinite Latin Squares: Neighbor Balance and Orthogonality
Published
• View Publication
• BIB
Regarding neighbor balance, we consider natural generalizations of $D$-complete Latin squares and Vatican squares from the finite to the infinite. We show that if $G$ is an infinite abelian group with $|G|$-many square elements, then it is possible to permute the rows and columns of the Cayley table to create an infinite Vatican square. We also construct a Vatican square of any given infinite order that is not obtainable by permuting the rows and columns of a Cayley table. Regarding orthogonality, we show that every infinite group $G$ has a set of $|G|$ mutually orthogonal orthomorphisms and hence there is a set of $|G|$ mutually orthogonal Latin squares based on $G$. We show that an infinite group $G$ with $|G|$-many square elements has a strong complete mapping; and, with some possible exceptions, infinite abelian groups have a strong complete mapping.
Shadows in Coxeter groups
Published in Annals of Combinatorics, Volume 24, Issue 1 (2020), https://rdcu.be/b1ZBg
• View Publication
• BIB
For a given $w$ in a Coxeter group $W$ the elements $u$ smaller than $w$ in Bruhat order can be seen as the end-alcoves of stammering galleries of type $w$ in the Coxeter complex $Σ$. We generalize this notion and consider sets of end-alcoves of galleries that are positively folded with respect to certain orientation $φ$ of $Σ$. We call these sets shadows. Positively folded galleries are closely related to the geometric study of affine Deligne-Lusztig varieties, MV polytopes, Hall-Littlewood polynomials and many more agebraic structures. In this paper we will introduce various notions of orientations and hence shadows and study some of their algorithmic properties.
Laplacian growth & sandpiles on the Sierpinski gasket: limit shape universality and exact solutions
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 7 (2020), 585-664
• View Publication
• BIB
We establish quantitative spherical shape theorems for rotor-router aggregation and abelian sandpile growth on the graphical Sierpinski gasket ($SG$) when particles are launched from the corner vertex.
In particular, the abelian sandpile growth problem is exactly solved via a recursive construction of self-similar sandpile tiles. We show that sandpile growth and patterns exhibit a $(2\cdot 3^n)$-periodicity as a function of the initial mass. Moreover, the cluster explodes---increments by more than 1 in radius---at periodic intervals, a phenomenon not seen on $\mathbb{Z}^d$ or trees. We explicitly characterize all the radial jumps, and use the renewal theorem to prove the scaling limit of the cluster radius, which satisfies a power law modulated by log-periodic oscillations. In the course of our proofs we also establish structural identities of the sandpile groups of subgraphs of $SG$ with two different boundary conditions, notably the corresponding identity elements conjectured by Fairchild, Haim, Setra, Strichartz, and Westura.
Our main theorems, in conjunction with recent results of Chen, Huss, Sava-Huss, and Teplyaev, establish $SG$ as a positive example of a state space which exhibits "limit shape universality," in the sense of Levine and Peres, among the four Laplacian growth models: divisible sandpiles, abelian sandpiles, rotor-router aggregation, and internal diffusion-limited aggregation (IDLA). We conclude the paper with conjectures about radial fluctuations in IDLA on $SG$, possible extensions of limit shape universality to other state spaces, and related open problems.
Theta-vexillary signed permutations
Published in Electron. J. Combin. 25(4) (2018), #P4.53
• View Publication
• BIB
Theta-vexillary signed permutations are elements in the hyperoctahedral group that index certain classes of degeneracy loci of type B and C. These permutations are described using triples of $s$-tuples of integers subject to specific conditions. The objective of this work is to present different characterizations of theta-vexillary signed permutations, describing them in terms of corners in the Rothe diagram and pattern avoidance.
Factorization patterns on nonlinear families of univariate polynomials over a finite field
Published
• View Publication
• BIB
We estimate the number $|\mathcal{A}_{\boldsymbolλ}|$ of elements on a nonlinear family $\mathcal{A}$ of monic polynomials of $\mathbb{F}_q[T]$ of degree $r$ having factorization pattern $\boldsymbolλ:=1^{λ_1}2^{λ_2}\cdots r^{λ_r}$. We show that $|\mathcal{A}_{\boldsymbolλ}|= \mathcal{T}(\boldsymbolλ)\,q^{r-m}+\mathcal{O}(q^{r-m-{1}/{2}})$, where $\mathcal{T}(\boldsymbolλ)$ is the proportion of elements of the symmetric group of $r$ elements with cycle pattern $\boldsymbolλ$ and $m$ is the codimension of $\mathcal{A}$. We provide explicit upper bounds for the constants underlying the $\mathcal{O}$--notation in terms of $\boldsymbolλ$ and $\mathcal{A}$ with "good" behavior. We also apply these results to analyze the average--case complexity of the classical factorization algorithm restricted to $\mathcal{A}$, showing that it behaves as good as in the general case.
Canonical double covers of generalized Petersen graphs, and double generalized Petersen graphs
Published
• View Publication
• BIB
The canonical double cover $\D(Γ)$ of a graph $Γ$ is the direct product of $Γ$ and $K_2$. If $\Aut(\D(Γ))\cong\Aut(Γ)\times\ZZ_2$ then $Γ$ is called stable; otherwise $Γ$ is called unstable. An unstable graph is said to be nontrivially unstable if it is connected, non-bipartite and no two vertices have the same neighborhood. In 2008 Wilson conjectured that, if the generalized Petersen graph $\GP(n,k)$ is nontrivially unstable, then both $n$ and $k$ are even, and either $n/2$ is odd and $k^2\equiv\pm 1 \pmod{n/2}$, or $n=4k$. In this note we prove that this conjecture is true. At the same time we determine all possible isomorphisms among the generalized Petersen graphs, the canonical double covers of the generalized Petersen graphs, and the double generalized Petersen graphs. Based on these we completely determine the full automorphism group of the canonical double cover of $\GP(n,k)$ for any pair of integers $n, k$ with $1 \leqslant k < n/2$.