group
10405 papers tagged with this keyword
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)
• View Publication
• BIB
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$.
Isomorphism of the cubical and categorical cohomology groups of a higher-rank graph
Published
• View Publication
• BIB
We use category-theoretic techniques to provide two proofs showing that for a higher-rank graph $Λ$, its cubical (co-)homology and categorical (co-)homology groups are isomorphic in all degrees, thus answering a question of Kumjian, Pask and Sims in the positive. Our first proof uses the topological realization of a higher-rank graph, which was introduced by Kaliszewski, Kumjian, Quigg, and Sims. In our more combinatorial second proof, we construct, explicitly and in both directions, maps on the level of (co-)chain complexes that implement said isomorphism. Along the way, we extend the definition of cubical (co-)homology to allow arbitrary coefficient modules.
The combinatorial invariance conjecture for parabolic Kazhdan-Lusztig polynomials of lower intervals
Published
• View Publication
• BIB
The aim of this work is to prove a conjecture related to the Combinatorial Invariance Conjecture of Kazhdan-Lusztig polynomials, in the parabolic setting, for lower intervals in every arbitrary Coxeter group. This result improves and generalizes, among other results, the main results of [Advances in Math. {202} (2006), 555-601], [Trans. Amer. Math. Soc. {368} (2016), no. 7, 5247--5269].
An algorithm for enumerating difference sets
Published in J. Softw. Alg. Geom. 9 (2019) 35-41
• View Publication
• BIB
The DifSets package for GAP implements an algorithm for enumerating all difference sets in a group up to equivalence and provides access to a library of results. The algorithm functions by finding difference sums, which are potential images of difference sets in quotient groups of the original group, and searching their preimages. In this way, the search space can be dramatically decreased, and searches of groups of relatively large order (such as order 64 or order 96) can be completed.
On the set of critical exponents of discrete groups acting on regular trees
We study the set of critical exponents of discrete groups acting on regular trees. We prove that for every real number $δ$ between $0$ and $\frac{1}{2}\log q$, there is a discrete subgroup $Γ$ acting without inversion on a $(q+1)$-regular tree whose critical exponent is equal to $δ$. Explicit construction of edge-indexed graphs corresponding to a quotient graph of groups are given.
Semicontinuity of structure for small sumsets in compact abelian groups
Published
• View Publication
• BIB
We study pairs of subsets $A, B$ of a compact abelian group $G$ where the sumset $A+B:=\{a+b: a\in A, b\in B\}$ is small. Let $m$ and $m_{*}$ be Haar measure and inner Haar measure on $G$, respectively. Given $\varepsilon>0$, we classify all pairs $A,B$ of Haar measurable subsets of $G$ satisfying $m(A), m(B)>\varepsilon$ and $m_{*}(A+B)\leq m(A)+m(B)+δ$ where $δ=δ(\varepsilon)>0$ is small. We also study the case where the $δ$-popular sumset $A+_δB:=\{t\in G: m(A\cap (t-B))>δ\}$ is small. We prove that for all $\varepsilon>0$, there is a $δ>0$ such that if $A$ and $B$ are subsets of a compact abelian group $G$ having $m(A), m(B)>\varepsilon$ and $m(A+_δB)\leq m(A)+m(B)+δ$, then there are sets $S, T\subseteq G$ such that $m(A\triangle S)+m(B\triangle T)<\varepsilon$ and $m(S+T)\leq m(S)+m(T)$. Appealing to known results, the latter inequality yields strong structural information on $S$ and $T$, and therefore on $A$ and $B$.
The perfect matching association scheme
Published
• View Publication
• BIB
We revisit the Bose-Mesner algebra of the perfect matching association scheme. Our main results are:
1. An inductive algorithm, based on solving linear equations, to compute the eigenvalues of the orbital basis elements given the central characters of the symmetric groups.
2. Universal formulas, as content evaluations of symmetric functions, for the eigenvalues of fixed orbitals.
3. An inductive construction of an eigenvector (the so called first Gelfand-Tsetlin vector) in each eigenspace leading to a different inductive algorithm (not using central characters) for the eigenvalues of the orbital basis elements.
Realisation of groups as automorphism groups in categories
Published
• View Publication
• BIB
It is shown that in various categories, including many consisting of maps or hypermaps, oriented or unoriented, of a given hyperbolic type, every countable group $A$ is isomorphic to the automorphism group of uncountably many non-isomorphic objects, infinitely many of them finite if $A$ is finite. In particular, this applies to dessins d'enfants, regarded as finite oriented hypermaps. The proof, involving maximal subgroups of various triangle groups, yields a simple construction of a regular map whose automorphism group contains an isomorphic copy of every finite group.
Effective divisor classes on metric graphs
Published
• View Publication
• BIB
We introduce the notion of semibreak divisors on metric graphs (tropical curves) and prove that every effective divisor class (of degree at most the genus) has a semibreak divisor representative. This appropriately generalizes the notion of break divisors (in degree equal to genus). Our method of proof is new, even for the special case of break divisors. We provide an algorithm to efficiently compute such semibreak representatives. Semibreak divisors provide the tool to establish some basic properties of effective loci inside Picard groups of metric graphs. We prove that effective loci are pure-dimensional polyhedral sets. We also prove that a `generic' divisor class (in degree at most the genus) has rank zero, and that the Abel-Jacobi map is `birational' onto its image. These are analogues of classical results for Riemann surfaces.
Finding a Path with Two Labels Forbidden in Group-Labeled Graphs
Published
• View Publication
• BIB
The parity of the length of paths and cycles is a classical and well-studied topic in graph theory and theoretical computer science. The parity constraints can be extended to label constraints in a group-labeled graph, which is a directed graph with each arc labeled by an element of a group. Recently, paths and cycles in group-labeled graphs have been investigated, such as packing non-zero paths and cycles, where "non-zero" means that the identity element is a unique forbidden label.
In this paper, we present a solution to finding an $s$--$t$ path with two labels forbidden in a group-labeled graph. This also leads to an elementary solution to finding a zero $s$--$t$ path in a ${\mathbb Z}_3$-labeled graph, which is the first nontrivial case of finding a zero path. This situation in fact generalizes the 2-disjoint paths problem in undirected graphs, which also motivates us to consider that setting. More precisely, we provide a polynomial-time algorithm for testing whether there are at most two possible labels of $s$--$t$ paths in a group-labeled graph or not, and finding $s$--$t$ paths attaining at least three distinct labels if exist. The algorithm is based on a necessary and sufficient condition for a group-labeled graph to have exactly two possible labels of $s$--$t$ paths, which is the main technical contribution of this paper.
On line covers of finite projective and polar spaces
Published
• View Publication
• BIB
An $m$-$cover$ of lines of a finite projective space ${\rm PG}(r,q)$ (of a finite polar space $\cal P$) is a set of lines $\cal L$ of ${\rm PG}(r,q)$ (of $\cal P$) such that every point of ${\rm PG}(r,q)$ (of $\cal P$) contains $m$ lines of $\cal L$, for some $m$. Embed ${\rm PG}(r,q)$ in ${\rm PG}(r,q^2)$. Let $\bar{\cal L}$ denote the set of points of ${\rm PG}(r,q^2)$ lying on the extended lines of $\cal L$.
An $m$-cover $\cal L$ of ${\rm PG}(r,q)$ is an $(r-2)$-dual $m$-cover if there are two possibilities for the number of lines of $\cal L$ contained in an $(r-2)$-space of ${\rm PG}(r,q)$. Basing on this notion, we characterize $m$-covers $\cal L$ of ${\rm PG}(r,q)$ such that $\bar{\cal L}$ is a two-character set of ${\rm PG}(r,q^2)$. In particular, we show that if $\cal L$ is invariant under a Singer cyclic group of ${\rm PG}(r,q)$ then it is an $(r-2)$-dual $m$-cover.
Assuming that the lines of $\cal L$ are lines of a symplectic polar space ${\cal W}(r,q)$ (of an orthogonal polar space ${\cal Q}(r,q)$ of parabolic type), similarly to the projective case we introduce the notion of an $(r-2)$-dual $m$-cover of symplectic type (of parabolic type). We prove that an $m$-cover $\cal L$ of ${\cal W}(r,q)$ (of ${\cal Q}(r,q)$) has this dual property if and only if $\bar{\cal L}$ is a tight set of an Hermitian variety ${\cal H}(r,q^2)$ or of ${\cal W}(r,q^2)$ (of ${\cal H}(r,q^2)$ or of ${\cal Q}(r,q^2)$). We also provide some interesting examples of $(4n-3)$-dual $m$-covers of symplectic type of ${\cal W}(4n-1,q)$.