group
10226 papers tagged with this keyword
Weak Sequenceability in Cyclic Groups
Published
• View Publication
• BIB
A subset $A$ of an abelian group $G$ is sequenceable if there is an ordering $(a_1, \ldots, a_k)$ of its elements such that the partial sums $(s_0, s_1, \ldots, s_k)$, given by $s_0 = 0$ and $s_i = \sum_{j=1}^i a_i$ for $1 \leq i \leq k$, are distinct, with the possible exception that we may have $s_k = s_0 = 0$. In the literature there are several conjectures and questions concerning the sequenceability of subsets of abelian groups, which have been combined and summarized in $[4]$ into the conjecture that if a subset of an abelian group does not contain 0 then it is sequenceable. If the elements of a sequenceable set $A$ do not sum to $0$ then there exists a simple path $P$ in the Cayley graph $Cay[G:\pm A]$ such that $Δ(P) = \pm A$.
In this paper, inspired by this graph-theoretical interpretation, we propose a weakening of this conjecture. Here, under the above assumptions, we want to find an ordering whose partial sums define a walk $W$ of girth bigger than $t$ (for a given $t < k$) and such that $Δ(W) = \pm A$. This is possible given that the partial sums $s_i$ and $s_j$ are different whenever $i$ and $j$ are distinct and $|i-j|\leq t$. In this case, we say that the set $A$ is $t$-weak sequenceable. The main result here presented is that any subset $A$ of $\mathbb{Z}_p\setminus \{0\}$ is $t$-weak sequenceable whenever $t<7$ or when $A$ does not contain pairs of type $\{x,-x\}$ and $t<8$.
Orthogonal inner product graphs of odd characteristic and their automorphisms
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be a finite field of odd characteristic and $2ν+δ\geq2$ an integer number with $δ=0,1$ or $2$. The orthogonal inner product graph $Oi\big(2ν+δ,q\big)$ over $\mathbb{F}_q$ is defined and the automorphism groups of $Oi\big(2ν+δ,q\big)$ are determined. We show that $Oi\big(2ν+δ,q\big)$ is a disconnected graph if $2ν+δ=2$; otherwise it is not. Moreover, we have two necessary and sufficient conditions for two vertices of $Oi\big(2ν+δ,q\big)$ and two edges of $Oi\big(2ν+δ,q\big)$ respectively are in the same orbit under the action of the automorphism group of $Oi\big(2ν+δ,q\big).$
Some infinite-dimensional representations of certain Coxeter groups
Published
• View Publication
• BIB
A Coxeter group admits infinite-dimensional irreducible complex representations if and only if it is not finite or affine. In this paper, we provide a construction of some of those representations for certain Coxeter groups using some topological information of the corresponding Coxeter graphs.
Symplectic inner product graphs and their automorphisms
A new graph, called the symplectic inner product graph $Spi\big(2ν,q\big)$, over a finite field $\mathbb{F}_q$ is introduced. We show that $Spi\big(2ν,q\big)$ is connected with diameter $4$ if and only if $ν\geq2$ and the automorphism group of $Spi\big(2ν,q\big)$ is determined. Two necessary and sufficient conditions for two vertices of $Spi\big(2ν,q\big)$ and two edges of $Spi\big(2ν,q\big)$ respectively are in the same orbit under the action of the automorphism group of $Spi\big(2ν,q\big)$ are obtained.
Zeros in the Character Tables of Symmetric Groups with an $\ell$-Core Index
Published in Canadian Mathematical Bulletin, 66(2), 467-476 (2023)
• View Publication
• BIB
Let $\mathcal{C}_n =\left [χ_λ(μ)\right]_{λ, μ}$ be the character table for $S_n,$ where the indices $λ$ and $μ$ run over the $p(n)$ many integer partitions of $n.$ In this note we study $Z_{\ell}(n),$ the number of zero entries $χ_λ(μ)$ in $\mathcal{C}_n,$ where $λ$ is an $\ell$-core partition of $n.$ For every prime $\ell\geq 5,$ we prove an asymptotic formula of the form $$ Z_{\ell}(n)\sim α_{\ell}\cdot σ_{\ell}(n+δ_{\ell})p(n)\gg_{\ell} n^{\frac{\ell-5}{2}}e^{π\sqrt{2n/3}},$$ where $σ_{\ell}(n)$ is a twisted Legendre symbol divisor function, $δ_{\ell}:=(\ell^2-1)/24,$ and $1/α_{\ell}>0$ is a normalization of the Dirichlet $L$-value $L\left(\left(\frac{\cdot}{\ell}\right),\frac{\ell-1}{2}\right).$ For primes $\ell$ and $n>\ell^6/24,$ we show that $χ_λ(μ)=0$ whenever $λ$ and $μ$ are both $\ell$-cores. Furthermore, if $Z^*_{\ell}(n)$ is the number of zero entries indexed by two $\ell$-cores, then for $\ell\geq 5$ we obtain the asymptotic $$ Z^*_{\ell}(n)\sim α_{\ell}^2 \cdot σ_{\ell}( n+δ_{\ell})^2 \gg_{\ell} n^{\ell-3}. $$
Graphical methods and rings of invariants on the symmetric algebra
Published in Can. J. Math.-J. Can. Math. 76 (2024) 2173-2198
• View Publication
• BIB
Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of $G$-invariant polynomial functions on the space $\mathcal{P}^m(V)$ of degree-$m$ homogeneous polynomial functions on $V$. In this paper, we replace $\mathcal{P}^m(V)$ with the full polynomial algebra $\mathcal{P}(V)$. As a result, the invariant ring is no longer finitely generated. Hence instead of seeking generators, we aim to write down linear bases for bigraded components. Indeed, when $G$ is of sufficiently high rank, we realize these bases as sets of graphs with prescribed number of vertices and edges. When the rank of $G$ is small, there arise complicated linear dependencies among the graphs, but we remedy this setback via representation theory: in particular, we determine the dimension of an arbitrary component in terms of branching multiplicities from the general linear group to the symmetric group. We thereby obtain an expression for the bigraded Hilbert series of the ring of invariants on $\mathcal{P}(V)$. We conclude with examples using our graphical notation, several of which recover classical results.
Degenerations and order of graphs realized by finite abelian groups
Let G_1 and G_2 be two groups. If a group homomorphism \varphi : G_1 \longrightarrow G_2 maps a \in G_1 into b \in G_2 such that \varphi(a) = b, then we say a degenerates to b and if every element of G_1 degenerates to elements in G_2, then we say G_1 degenerates to G_2. In this paper, we study degeneration in graphs and show that degeneration in groups is a particular case of degeneration in graphs. We exhibit some interesting properties of degeneration in graphs. We use this concept to present a pictorial representation of graphs realized by finite abelian groups. We discus some partial orders on the set T_p_1 \dots T_p_n of all graphs realized by finite abelian p_r-groups, where each p_r, 1 \leq r \leq n, is a prime number. We show that each finite abelian p_r-group of rank n can be identified with saturated chains of Young diagrams in the poset T_p_1 \dots T_p_n. We present a combinatorial formula which represents the degree of a projective representation of a symmetric group. This formula determines the number of different saturated chains in T_p_1 \cdots T_p_n and the number of finite abelian groups of different orders.
On a class of poly-context-free groups generated by automata
Published in Journal of Algebra 626 (2023), 135-162
• View Publication
• BIB
This paper deals with graph automaton groups associated with trees and some generalizations. We start by showing some algebraic properties of tree automaton groups. Then we characterize the associated semigroup, proving that it is isomorphic to the partially commutative monoid associated with the complement of the line graph of the defining tree. After that, we generalize these groups by introducing the quite broad class of reducible automaton groups, which lies in the class of contracting automaton groups without singular points. We give a general structure theorem that shows that all reducible automaton groups are direct limit of poly-context-free groups which are virtually subgroups of the direct product of free groups; notice that this result partially supports a conjecture by T. Brough. Moreover, we prove that tree automaton groups with at least two generators are not finitely presented and they are amenable groups, which are direct limit of non-amenable groups.
The Hamilton compression of highly symmetric graphs
Published
• View Publication
• BIB
We say that a Hamilton cycle $C=(x_1,\ldots,x_n)$ in a graph $G$ is $k$-symmetric, if the mapping $x_i\mapsto x_{i+n/k}$ for all $i=1,\ldots,n$, where indices are considered modulo $n$, is an automorphism of $G$. In other words, if we lay out the vertices $x_1,\ldots,x_n$ equidistantly on a circle and draw the edges of $G$ as straight lines, then the drawing of $G$ has $k$-fold rotational symmetry, i.e., all information about the graph is compressed into a $360^\circ/k$ wedge of the drawing. The maximum $k$ for which there exists a $k$-symmetric Hamilton cycle in $G$ is referred to as the Hamilton compression of $G$. We investigate the Hamilton compression of four different families of vertex-transitive graphs, namely hypercubes, Johnson graphs, permutahedra and Cayley graphs of abelian groups. In several cases we determine their Hamilton compression exactly, and in other cases we provide close lower and upper bounds. The constructed cycles have a much higher compression than several classical Gray codes known from the literature. Our constructions also yield Gray codes for bitstrings, combinations and permutations that have few tracks and/or that are balanced.
General mixed lattices
Published
• View Publication
• BIB
A mixed lattice is a lattice-type structure consisting of a set with two partial orderings, and generalizing the notion of a lattice. Mixed lattice theory has previously been studied in various algebraic structures, such as groups and semigroups, while the more general notion of a mixed lattice remains unexplored. In this paper, we study the fundamental properties of mixed lattices and the relationships between the various properties, such as the one-sided associative, distributive and modular laws. We also give an alternative definition of mixed lattices and mixed lattice groups as non-commutative and non-associative algebras satisfying a certain set of postulates. The algebraic and the order-theoretic definitions are then shown to be equivalent.
Intersection theorems for finite general linear groups
Published
• View Publication
• BIB
A subset $Y$ of the general linear group $\operatorname{GL}(n,q)$ is called $t$-intersecting if $\operatorname{rk}(x-y)\le n-t$ for all $x,y\in Y$, or equivalently $x$ and $y$ agree pointwise on a $t$-dimensional subspace of $\mathbb{F}_q^n$ for all $x,y\in Y$. We show that, if $n$ is sufficiently large compared to $t$, the size of every such $t$-intersecting set is at most that of the stabiliser of a basis of a $t$-dimensional subspace of $\mathbb{F}_q^n$. In case of equality, the characteristic vector of $Y$ is a linear combination of the characteristic vectors of the cosets of these stabilisers. We also give similar results for subsets of $\operatorname{GL}(n,q)$ that intersect not necessarily pointwise in $t$-dimensional subspaces of $\mathbb{F}_q^n$ and for cross-intersecting subsets of $\operatorname{GL}(n,q)$. These results may be viewed as variants of the classical Erdős-Ko-Rado Theorem in extremal set theory and are $q$-analogs of corresponding results known for the symmetric group. Our methods are based on eigenvalue techniques to estimate the size of the largest independent sets in graphs and crucially involve the representation theory of $\operatorname{GL}(n,q)$.
Moduli spaces of $\mathbb{Z}/k\mathbb{Z}$-constellations over $\mathbb{A}^2$
Published
• View Publication
• BIB
Let $ρ:\mathbb{Z}/k \mathbb{Z}\rightarrow \text{SL}(2,\mathbb{C})$ be a representation of a finite abelian group and let $Θ^{\text{gen}}\subset \text{Hom}_\mathbb{Z}(R(\mathbb{Z}/k\mathbb{Z}),\mathbb{Q})$ be the space of generic stability conditions on the set of $G$-constellations. We provide a combinatorial description of all the chambers $C\subsetΘ^{\text{gen}}$ and prove that there are $k!$ of them. Moreover, we introduce the notion of simple chamber and we show that, in order to know all toric $G$-constellations, it is enough to build all simple chambers. We also prove that there are $k\cdot 2^{k-2} $ simple chambers. Finally, we provide an explicit formula for the tautological bundles $\mathscr{R}_C$ over the moduli spaces $\mathscr{M} _C$ for all chambers $C\subset Θ^{\text{gen}}$ which only depends upon the chamber stair which is a combinatorial object attached to the chamber $C$.
On density of $Z_3$-flow-critical graphs
For an abelian group $Γ$, a graph $G$ is said to be $Γ$-flow-critical if $G$ does not admit a nowhere-zero $Γ$-flow, but for each edge $e\in E(G)$, the contraction $G/e$ has a nowhere-zero $Γ$-flow. A bound on the density of $Z_3$-flow-critical graphs drawn on a fixed surface is obtained, generalizing the planar case of the bound on the density of 4-critical graphs by Kostochka and Yancey.
Probability of generation by random permutations of given cycle type
Suppose $π$ and $π'$ are two random elements of $S_n$ with constrained cycle types such that $π$ has $x n^{1/2}$ fixed points and $yn/2$ two-cycles, and likewise $π'$ has $x' n^{1/2}$ fixed points and $y'n/2$ two-cycles. We show that the events that $G = \langle π, π' \rangle$ is transitive and $G \geq A_n$ both have probability approximately \[(1 - yy')^{1/2} \exp\left(- \frac{xx' + \frac12 x^2 y' + \frac12 {x'}^2 y}{1 - yy'}\right),\] provided $(x, x')$ is not close to $(0, \infty)$ or $(\infty, 0)$. This formula is derived from some preliminary results in a recent paper (arXiv:1904.12180) of the authors. As an application, we show that two uniformly random elements of uniformly random conjugacy classes of $S_n$ generate the group with probability about 51%.
Bruhat intervals and parabolic cosets in arbitrary Coxeter groups
Published
• View Publication
• BIB
In [Journal of Pure and Applied Algebra {224} (2020), no 12, 106449], V. Mazorchuk and R. Mrđen (with some help by A. Hultman) prove that, given a Weyl group, the intersection of a Bruhat interval with a parabolic coset has a unique maximal element and a unique minimal element. We show that such intersections are actually Bruhat intervals also in the case of an arbitrary Coxeter group.
Skew-Morphisms of Elementary Abelian p-Groups
Published
• View Publication
• BIB
A skew-morphism of a finite group $G$ is a permutation $σ$ on $G$ fixing the identity element, and for which there exists an integer function $π$ on $G$ such that $σ(xy)=σ(x)σ^{π(x)}(y)$ for all $x,y\in G$. It has been known that given a skew-morphism $σ$ of $G$, the product of $\langle σ\rangle$ with the left regular representation of $G$ forms a permutation group on $G$, called the skew-product group of $σ$. In this paper, the skew-product groups of skew-morphisms of finite elementary abelian $p$-groups are investigated. Some properties, characterizations and constructions about that are obtained.
Scattered linear sets in a finite projective line and translation planes
Published
• View Publication
• BIB
Lunardon and Polverino construct a translation plane starting from a scattered linear set of pseudoregulus type in $\mathrm{PG}(1,q^t)$. In this paper a similar construction of a translation plane $\mathcal A_f$ obtained from any scattered linearized polynomial $f(x)$ in $\mathbb F_{q^t}[x]$ is described and investigated. A class of quasifields giving rise to such planes is defined. Denote by $U_f$ the $\mathbb F_q$-subspace of $\mathbb F_{q^t}^2$ associated with $f(x)$. If $f(x)$ and $f'(x)$ are scattered, then $\mathcal A_f$ and $\mathcal A_{f'}$ are isomorphic if and only if $U_f$ and $U_{f'}$ belong to the same orbit under the action of $Γ\mathrm L(2,q^t)$. This gives rise to as many distinct translation planes as there are inequivalent scattered linearized polynomials. In particular, for any scattered linear set $L$ of maximum rank in $\mathrm{PG}(1,q^t)$ there are $c_Γ(L)$ pairwise non-isomorphic translation planes, where $c_Γ(L)$ denotes the $Γ\mathrm L$-class of $L$, as defined by Csajbók, Marino and Polverino. A result by Jha and Johnson allows to describe the automorphism groups of the planes obtained from the linear sets not of pseudoregulus type defined by Lunardon and Polverino.
The maximum number of triangles in a graph and its applications to special $p$-groups
Published
• View Publication
• BIB
We give a sharp bound on the number of triangles in a graph with fixed number of edges. We also characterize graphs that achieve the maximum number of triangles. Using the upper bound on number of triangles, we prove that if $G$ is a special $p$-group of rank $2 \leq k \leq \binom{d}{2}$, then $|\mathcal{M}(G)| \leq p^{\frac{d(d+2k-1)}{2} - k- \binom{d}{3}+ \binom{r}{3} + \mybinom[.55]{ \binom{d}{2} - k - \binom{r}{2} }{2} }$, where $r$ is such that $\binom{r}{2} \leq \binom{d}{2} -k < \binom{r+1}{2} $. We also prove that, if $G$ is a $p$-group $(p \neq 2,3)$ of class $c \geq 3$, then $|\mathcal{M}(G)| \leq p^{\frac{d(m-e)}{2}+(δ-1)(n-m)-\max(0,δ-2)-\max(1,δ-3)}$ and if $G$ is of coclass $r$ with class $c \geq 3$, then $|\mathcal{M}(G)| \leq p^{\frac{r^2-r}{2}+kr}$
Techniques in equivariant Ehrhart theory
Published
• View Publication
• BIB
Equivariant Ehrhart theory generalizes the study of lattice point enumeration to also account for the symmetries of a polytope under a linear group action. We present a catalogue of techniques with applications in this field, including zonotopal decompositions, symmetric triangulations, combinatorial interpretation of the $h^\ast$-polynomial, and certificates for the (non)existence of invariant non-degenerate hypersurfaces. We apply these methods to several families of examples including hypersimplices, orbit polytopes, and graphic zonotopes, expanding the library of polytopes for which their equivariant Ehrhart theory is known.
Frucht's theorem in Borel setting
Published
• View Publication
• BIB
In this paper, we show that Frucht's theorem holds in Borel setting. More specifically, we prove that any standard Borel group can be realized as the Borel automorphism group of a Borel graph. A slight modification of our construction also yields the following result in topological setting: Any Polish group can be realized as the homeomorphic automorphism group of a $\mathbf{Δ^0_2}$-graph on a Polish space.