group
10258 papers tagged with this keyword
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$.
Homology of the complex of not 2-divisible partitions
Published
• View Publication
• BIB
The rational homology group of the order complex of non-even partitions of a finite set is calculated. A twisted version of the Goresky-MacPherson approach to similar homology calculations is proposed.
Riordan Pseudo-Involutions, Continued Fractions and Somos $4$ Sequences
We define a three parameter family of Bell pseudo-involutions in the Riordan group. The defining sequences have generating functions that are expressible as continued fractions. We indicate that the Hankel transforms of the defining sequences, and of the $A$ sequences of the corresponding Riordan arrays, can be associated with Somos $4$ sequence. We give examples where these sequences can be associated with elliptic curves, and we exhibit instances where elliptic curves can give rise to associated Riordan pseudo-involutions. In the case of a particular one parameter family of elliptic curves, we show how we can associate to each such curve a unique Bell pseudo-involution.
A central limit theorem for star-generators of $S_{\infty}$, which relates to the law of a GUE matrix
Published in Journal of Theoretical Probability 34 (2021), 1248-1278
• Search Publication
It is well-known that, on a purely algebraic level, a simplified algebraic version of the Central Limit Theorem (CLT) can be proved in the framework of a noncommutative probability space, under the hypotheses that the sequence of non-commutative random variables we consider is exchangeable and obeys a certain vanishing condition of some of its joint moments. In this approach (which covers versions for both the classical CLT and the CLT of free probability), the determination of the resulting limit law has to be addressed on a case-by-case basis.
In this paper we discuss an instance of the above theorem which takes place in the framework of the group algebra of the infinite symmetric group $S_{\infty}$: the exchangeable sequence that is considered consists of the star-generators of $S_{\infty}$, and the expectation functional used on the group algebra of $S_{\infty}$ depends in a natural way on a parameter $d$, which is a positive integer. We identify precisely the limit distribution $μ_d$ for this special instance of exchangeable CLT, via a connection that $μ_d$ turns out to have with the average empirical eigenvalue distribution of a random GUE matrix of size $d \times d$. Moreover, we put into evidence a multi-variate version of this result which follows from the observation that, on the level of calculations with pair-partitions, the (non-centred) star-generators are related to a (centred) exchangeable sequence of GUE matrices with independent entries
A note on regular subgroups of the automorphism group of the linear Hadamard code
Published
• View Publication
• BIB
We consider the regular subgroups of the automorphism group of the linear Hadamard code. These subgroups correspond to the regular subgroups of $GA(r,2)$, w.t.r action on the vectors of $F_2^{r}$, where $n=2^r-1 $ is the length of the Hamadard code. We show that the dihedral group $D_{2^{r-1}}$ is a regular subgroup of $GA(r,2)$ only when $r=3$. Following the approach of \cite{M} we study the regular subgroups of the Hamming code obtained from the regular subgroups of the automorphism group of the Hadamard code of length 15.
Harborth Constants for Certain Classes of Metacyclic Groups
Published
• View Publication
• BIB
The Harborth constant of a finite group $G$ is the smallest integer $k\geq \exp(G)$ such that any subset of $G$ of size $k$ contains $\exp(G)$ distinct elements whose product is $1$. Generalizing previous work on the Harborth constants of dihedral groups, we compute the Harborth constants for the metacyclic groups of the form $H_{n, m}=\langle x, y \mid x^n=1, y^2=x^m, yx=x^{-1}y \rangle$. We also solve the "inverse" problem of characterizing all smaller subsets that do not contain $\exp(H_{n,m})$ distinct elements whose product is $1$.
Three local actions in $6$-valent arc-transitive graphs
It is known that there are precisely three transitive permutation groups of degree $6$ that admit an invariant partition with three parts of size $2$ such that the kernel of the action on the parts has order $4$; these groups are called $A_4(6)$, $S_4(6d)$ and $S_4(6c)$. For each $L\in \{A_4(6), S_4(6d), S_4(6c)\}$, we construct an infinite family of finite connected $6$-valent graphs $\{Γ_n\}_{n\in \mathbb{N}}$ and arc-transitive groups $G_n \le \rm{Aut}(Γ_n)$ such that the permutation group induced by the action of the vertex-stabiliser $(G_n)_v$ on the neighbourhood of a vertex $v$ is permutation isomorphic to $L$, and such that $|(G_n)_v|$ is exponential in $|\rm{V}(Γ_n)|$. These three groups were the only transitive permutation groups of degree at most $7$ for which the existence of such a family was undecided. In the process, we construct an infinite family of cubic $2$-arc-transitive graphs such that the dimension of the $1$-eigenspace over the field of order $2$ of the adjacency matrix of the graph grows linearly with the order of the graph.
Puncturing maximum rank distance codes
We investigate punctured maximum rank distance codes in cyclic models for bilinear forms of finite vector spaces. In each of these models we consider an infinite family of linear maximum rank distance codes obtained by puncturing generalized twisted Gabidulin codes. We calculate the automorphism group of such codes and we prove that this family contains many codes which are not equivalent to any generalized Gabidulin code. This solves a problem posed recently by Sheekey in [30].
The Weighted Davenport Constant of a group and a related extremal problem
Published
• View Publication
• BIB
For a finite abelian group $G$ written additively, and a non-empty subset $A\subset [1,\exp(G)-1]$ the weighted Davenport Constant of $G$ with respect to the set $A$, denoted $D_A(G)$, is the least positive integer $k$ for which the following holds: Given an arbitrary $G$-sequence $(x_1,\ldots,x_k)$, there exists a non-empty subsequence $(x_{i_1},\ldots,x_{i_t})$ along with $a_{j}\in A$ such that $\sum_{j=1}^t a_jx_{i_j}=0$. In this paper, we pose and study a natural new extremal problem that arises from the study of $D_A(G)$: For an integer $k\ge 2$, determine $\fD_G(k):=\min\{|A|: D_A(G)\le k\}$ (if the problem posed makes sense). It turns out that for $k$ `not-too-small', this is a well-posed problem and one of the most interesting cases occurs for $G=\Z_p$, the cyclic group of prime order, for which we obtain near optimal bounds for all $k$ (for sufficiently large primes $p$), and asymptotically tight (up to constants) bounds for $k=2,4$.
Fixing Numbers of Graphs and Groups
Published in Electronic Journal of Combinatorics 16 (2009), no. 1 (electronic)
• Search Publication
The fixing number of a graph $G$ is the smallest cardinality of a set of vertices $S$ such that only the trivial automorphism of $G$ fixes every vertex in $S$. The fixing set of a group $Γ$ is the set of all fixing numbers of finite graphs with automorphism group $Γ$. Several authors have studied the distinguishing number of a graph, the smallest number of labels needed to label $G$ so that the automorphism group of the labeled graph is trivial. The fixing number can be thought of as a variation of the distinguishing number in which every label may be used only once, and not every vertex need be labeled. We characterize the fixing sets of finite abelian groups, and investigate the fixing sets of symmetric groups.
On the discrete Fuglede and Pompeiu problems
Published in Analysis & PDE 13 (2020) 765-788
• View Publication
• BIB
We investigate the discrete Fuglede's conjecture and Pompeiu problem on finite abelian groups and develop a strong connection between the two problems. We give a geometric condition under which a multiset of a finite abelian group has the discrete Pompeiu property. Using this description and the revealed connection we prove that Fuglede's conjecture holds for $\mathbb{Z}_{p^n q^2}$, where $p$ and $q$ are different primes. In particular, we show that every spectral subset of $\mathbb{Z}_{p^n q^2}$ tiles the group. Further, using our combinatorial methods we give a simple proof for the statement that Fuglede's conjecture holds for $\mathbb{Z}_p^2$.