group
10226 papers tagged with this keyword
A lower bound on the number of inequivalent APN functions
Published
• View Publication
• BIB
In this paper, we establish a lower bound on the total number of inequivalent APN functions on the finite field with $2^{2m}$ elements, where $m$ is even. We obtain this result by proving that the APN functions introduced by Pott and the second author, that depend on three parameters $k$, $s$ and $α$, are pairwise inequivalent for distinct choices of the parameters $k$ and $s$. Moreover, we determine the automorphism group of these APN functions.
On the nonorientable genus of the generalized unit and unitary Cayley graphs of a commutative ring
Published in Algebra Colloq. 29 (2022), no. 1, 167-180
• View Publication
• BIB
Let $R$ be a commutative ring and let $U(R)$ be multiplicative group of unit elements of $R$. In 2012, Khashyarmanesh et al. defined generalized unit and unitary Cayley graph, $Γ(R, G, S)$, corresponding to a multiplicative subgroup $G$ of $U(R)$ and a non-empty subset $S$ of $G$ with $S^{-1}=\{s^{-1} \mid s\in S\}\subseteq S$, as the graph with vertex set $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if there exists $s\in S$ such that $x+sy \in G$. In this paper, we characterize all Artinian rings $R$ whose $Γ(R,U(R), S)$ is projective. This leads to determine all Artinian rings whose unit graphs, unitary Cayley garphs and co-maximal graphs are projective. Also, we prove that for an Artinian ring $R$ whose $Γ(R, U(R), S)$ has finite nonorientable genus, $R$ must be a finite ring. Finally, it is proved that for a given positive integer $k$, the number of finite rings $R$ whose $Γ(R, U(R), S)$ has nonorientable genus $k$ is finite.
The lattice of cycles of an undirected graph
Published
• View Publication
• BIB
We study bases of the lattice generated by the cycles of an undirected graph, defined as the integer linear combinations of the 0/1-incidence vectors of cycles. We prove structural results for this lattice, including explicit formulas for its dimension and determinant, and we present efficient algorithms to construct lattice bases, using only cycles as generators, in quadratic time. By algebraic considerations, we relate these results to the more general setting with coefficients from an arbitrary Abelian group. Our results generalize classical results for the vector space of cycles of a graph over the binary field to the case of an arbitrary field.
Module structure of the homology of right-angled Artin kernels
Published in Algebr. Geom. Topol. 22 (2022) 2775-2803
• View Publication
• BIB
In this paper, we study the module structure of the homology of Artin kernels, i.e., kernels of non-resonant characters from right-angled Artin groups onto the integer numbers, the module structure being with respect to the ring $\mathbb{K}[t^{\pm 1}]$, where $\mathbb{K}$ is a field of characteristic zero. Papadima and Suciu determined some part of this structure by means of the flag complex of the graph of the Artin group. In this work, we provide more properties of the torsion part of this module, e.g., the dimension of each primary part and the maximal size of Jordan forms (if we interpret the torsion structure in terms of a linear map). These properties are stated in terms of homology properties of suitable filtrations of the flag complex and suitable double covers of an associated toric complex.
On the binomial equivalence classes of finite words
Published
• View Publication
• BIB
Two finite words $u$ and $v$ are $k$-binomially equivalent if, for each word $x$ of length at most $k$, $x$ appears the same number of times as a subsequence (i.e., as a scattered subword) of both $u$ and $v$. This notion generalizes abelian equivalence. In this paper, we study the equivalence classes induced by the $k$-binomial equivalence with a special focus on the cardinalities of the classes. We provide an algorithm generating the $2$-binomial equivalence class of a word. For $k \geq 2$ and alphabet of $3$ or more symbols, the language made of lexicographically least elements of every $k$-binomial equivalence class and the language of singletons, i.e., the words whose $k$-binomial equivalence class is restricted to a single element, are shown to be non context-free. As a consequence of our discussions, we also prove that the submonoid generated by the generators of the free nil-$2$ group on $m$ generators is isomorphic to the quotient of the free monoid $\{ 1, \ldots , m\}^{*}$ by the $2$-binomial equivalence.
The Hidden Subgroup Problem for Universal Algebras
Published
• View Publication
• BIB
The Hidden Subgroup Problem (HSP) is a computational problem which includes as special cases integer factorization, the discrete logarithm problem, graph isomorphism, and the shortest vector problem. The celebrated polynomial-time quantum algorithms for factorization and the discrete logarithm are restricted versions of a generic polynomial-time quantum solution to the HSP for abelian groups, but despite focused research no full solution has yet been found. We propose a generalization of the HSP to include arbitrary algebraic structures and analyze this new problem on powers of 2-element algebras. We prove a complete classification of every such power as quantum tractable (i.e. polynomial-time), classically tractable, quantum intractable, and classically intractable. In particular, we identify a class of algebras for which the generalized HSP exhibits super-polynomial speedup on a quantum computer compared to a classical one.
The Möbius Function of the Affine Linear Group $\text{AGL}(1,\Bbb F_q)$
Let $\text{AGL}(1,\Bbb F_q)$ denote the affine linear group of dimension one over the finite field $\Bbb F_q$. We determine the Möbius function of the lattice of subgroups of $\text{AGL}(1,\Bbb F_q)$.
Cycle type factorizations in $\mathrm{GL}_n \mathbb{F}_q$
Recent work by Huang, Lewis, Morales, Reiner, and Stanton suggests that the regular elliptic elements of $\mathrm{GL}_n \mathbb{F}_q$ are somehow analogous to the $n$-cycles of the symmetric group. In 1981, Stanley enumerated the factorizations of permutations into products of $n$-cycles. We study the analogous problem in $\mathrm{GL}_n \mathbb{F}_q$ of enumerating factorizations into products of regular elliptic elements. More precisely, we define a notion of cycle type for $\mathrm{GL}_n \mathbb{F}_q$ and seek to enumerate the tuples of a fixed number of regular elliptic elements whose product has a given cycle type. In some special cases, we provide explicit formulas, using a standard character-theoretic technique due to Frobenius by introducing simplified formulas for the necessary character values. We also address, for large $q$, the problem of computing the probability that the product of a random tuple of regular elliptic elements has a given cycle type. We conclude with some results about the polynomiality of our enumerative formulas and some open problems.
An efficient algorithm for $1$-dimensional (persistent) path homology
Published
• View Publication
• BIB
This paper focuses on developing an efficient algorithm for analyzing a directed network (graph) from a topological viewpoint. A prevalent technique for such topological analysis involves computation of homology groups and their persistence. These concepts are well suited for spaces that are not directed. As a result, one needs a concept of homology that accommodates orientations in input space. Path-homology developed for directed graphs by Grigor'yan, Lin, Muranov and Yau has been effectively adapted for this purpose recently by Chowdhury and Mémoli. They also give an algorithm to compute this path-homology. Our main contribution in this paper is an algorithm that computes this path-homology and its persistence more efficiently for the $1$-dimensional ($H_1$) case. In developing such an algorithm, we discover various structures and their efficient computations that aid computing the $1$-dimensional path-homnology. We implement our algorithm and present some preliminary experimental results.
On the enhanced power graph of a group
Published
• View Publication
• BIB
The enhanced power graph $\mathcal{P}_e(G)$ of a group $G$ is a graph with vertex set $G$ and two vertices are adjacent if they belong to the same cyclic subgroup. In this paper, we consider the minimum degree, independence number and matching number of enhanced power graphs of finite groups. We first study these graph invariants for $\mathcal{P}_e(G)$ when $G$ is any finite group, and then determine them when $G$ is a finite abelian $p$-group, $U_{6n} = \langle a, b : a^{2n} = b^3 = e, ba =ab^{-1} \rangle$, the dihedral group $D_{2n}$, or the semidihedral group $SD_{8n}$. If $G$ is any of these groups, we prove that $\mathcal{P}_e(G)$ is perfect and then obtain its strong metric dimension. Additionally, we give an expression for the independence number of $\mathcal{P}_e(G)$ for any finite abelian group $G$. These results along with certain known equalities yield the edge connectivity, vertex covering number and edge covering number of enhanced power graphs of the respective groups as well.
Block-avoiding point sequencings
Published
• View Publication
• BIB
Let $n$ and $\ell$ be positive integers. Recent papers by Kreher, Stinson and Veitch have explored variants of the problem of ordering the points in a triple system (such as a Steiner triple system, directed triple system or Mendelsohn triple system) on $n$ points so that no block occurs in a segment of $\ell$ consecutive entries (thus the ordering is locally block-avoiding). We describe a greedy algorithm which shows that such an ordering exists, provided that $n$ is sufficiently large when compared to $\ell$. This algorithm leads to improved bounds on the number of points in cases where this was known, but also extends the results to a significantly more general setting (which includes, for example, orderings that avoid the blocks of a design). Similar results for a cyclic variant of this situation are also established.
We construct Steiner triple systems and quadruple systems where $\ell$ can be large, showing that a bound of Stinson and Veitch is reasonable. Moreover, we generalise the Stinson--Veitch bound to a wider class of block designs and to the cyclic case.
The results of Kreher, Stinson and Veitch were originally inspired by results of Alspach, Kreher and Pastine, who (motivated by zero-sum avoiding sequences in abelian groups) were interested in orderings of points in a partial Steiner triple system where no segment is a union of disjoint blocks. Alspach~\emph{et al.}\ show that, when the system contains at most $k$ pairwise disjoint blocks, an ordering exists when the number of points is more than $15k-5$. By making use of a greedy approach, the paper improves this bound to $9k+O(k^{2/3})$.
A group representation approach to balance of gain graphs
Published in J. Algebr. Comb. 54 (2021), 265-293
• View Publication
• BIB
We study the balance of $G$-gain graphs, where $G$ is an arbitrary group, by investigating their adjacency matrices and their spectra. As a first step, we characterize switching equivalence and balance of gain graphs in terms of their adjacency matrices in $M_n(\mathbb C G)$. Then we introduce a represented adjacency matrix, associated with a gain graph and a group representation, by extending the theory of Fourier transforms from the group algebra $\mathbb C G$ to the algebra $M_n(\mathbb C G)$. We prove that a gain graph is balanced if and only if the spectrum of the represented adjacency matrix associated with any (or equivalently all) faithful unitary representation of $G$ coincides with the spectrum of the underlying graph, with multiplicity given by the degree of the representation. We show that the complex adjacency matrix of unit gain graphs and the adjacency matrix of a cover graph are indeed particular cases of our construction. This enables us to recover some classical results and prove some new characterizations of balance in terms of spectrum, index or structure of these graphs.
Optimal Multistage Group Testing Algorithm for 3 Defectives
Published
• View Publication
• BIB
Group testing is a well-known search problem that consists in detecting of $s$ defective members of a set of $t$ samples by carrying out tests on properly chosen subsets of samples. In classical group testing the goal is to find all defective elements by using the minimal possible number of tests in the worst case. In this work, a multistage group testing problem is considered. Our goal is to construct a multistage search procedure, having asymptotically the same number of tests as the optimal adaptive algorithm. We propose a new approach to designing multistage algorithms, which allows us to construct a 5-stage algorithm for finding 3 defectives with the optimal number $3\log_2t(1+o(1))$ of tests.
A note on the Hurwitz action on reflection factorizations of Coxeter elements in complex reflection groups
Published in Electronic Journal of Combinatorics 27 (2020), P2.54
• View Publication
• BIB
We show that the Hurwitz action is "as transitive as possible" on reflection factorizations of Coxeter elements in the well-generated complex reflection groups $G(d, 1, n)$ (the group of $d$-colored permutations) and $G(d, d, n)$.
A formula for enumerating permutations with a fixed pinnacle set
Published
• View Publication
• BIB
In 2017 Davis, Nelson, Petersen, and Tenner pioneered the study of pinnacle sets of permutations and asked whether there exists a class of operations, which applied to a permutation in $\mathfrak{S}_n$, can produce any other permutation with the same pinnacle set and no others. In this paper, we adapt a group action defined by Foata and Strehl to provide a way to generate all permutations with a given pinnacle set. From this we give a closed non-recursive formula enumerating permutations with a given pinnacle set. Thus answering a question posed by Davis, Nelson, Petersen, and Tenner.
Coherence via Well-Foundedness: Taming Set-Quotients in Homotopy Type Theory
Published in Logic in Computer Science 2020 (LICS'20)
• View Publication
• BIB
Suppose we are given a graph and want to show a property for all its cycles (closed chains). Induction on the length of cycles does not work since sub-chains of a cycle are not necessarily closed. This paper derives a principle reminiscent of induction for cycles for the case that the graph is given as the symmetric closure of a locally confluent and (co-)well-founded relation. We show that, assuming the property in question is sufficiently nice, it is enough to prove it for the empty cycle and for cycles given by local confluence.
Our motivation and application is in the field of homotopy type theory, which allows us to work with the higher-dimensional structures that appear in homotopy theory and in higher category theory, making coherence a central issue. This is in particular true for quotienting - a natural operation which gives a new type for any binary relation on a type and, in order to be well-behaved, cuts off higher structure (set-truncates). The latter makes it hard to characterise the type of maps from a quotient into a higher type, and several open problems stem from this difficulty.
We prove our theorem on cycles in a type-theoretic setting and use it to show coherence conditions necessary to eliminate from set-quotients into 1-types, deriving approximations to open problems on free groups and pushouts. We have formalised the main result in the proof assistant Lean.
Topology of random 2-dimensional cubical complexes
Published
• View Publication
• BIB
We study a natural model of random 2-dimensional cubical complex which is a subcomplex of an n-dimensional cube, and where every possible square $2$-face is included independently with probability p. Our main result is to exhibit a sharp threshold p=1/2 for homology vanishing as $n \to \infty$. This is a 2-dimensional analogue of the Burtin and Erdős-Spencer theorems characterizing the connectivity threshold for random cubical graphs. Our main result can also be seen as a cubical counterpart to the Linial--Meshulam theorem for random 2-dimensional simplicial complexes. However, the models exhibit strikingly different behaviors. We show that if $p > 1 - \sqrt{1/2} \approx 0.2929$, then with high probability the fundamental group is a free group with one generator for every maximal $1$-dimensional face. As a corollary, homology vanishing and simple connectivity have the same threshold, even in the strong "hitting time" sense. This is in contrast with the simplicial case, where the thresholds are far apart. The proof depends on an iterative algorithm for contracting cycles -- we show that with high probability the algorithm rapidly and dramatically simplifies the fundamental group, converging after only a few steps.
On maximum additive Hermitian rank-metric codes
Published
• View Publication
• BIB
Inspired by the work of Zhou "On equivalence of maximum additive symmetric rank-distance codes" (2020) based on the paper of Schmidt "Symmetric bilinear forms over finite fields with applications to coding theory" (2015), we investigate the equivalence issue of maximum $d$-codes of Hermitian matrices. More precisely, in the space $\mathrm{H}_n(q^2)$ of Hermitian matrices over $\mathbb{F}_{q^2}$ we have two possible equivalence: the classical one coming from the maps that preserve the rank in $\mathbb{F}_{q^2}^{n\times n}$, and the one that comes from restricting to those maps preserving both the rank and the space $\mathrm{H}_n(q^2)$. We prove that when $d<n$ and the codes considered are maximum additive $d$-codes and $(n-d)$-designs, these two equivalence relations coincide. As a consequence, we get that the idealisers of such codes are not distinguishers, unlike what usually happens for rank metric codes. Finally, we deal with the combinatorial properties of known maximum Hermitian codes and, by means of this investigation, we present a new family of maximum Hermitian $2$-code, extending the construction presented by Longobardi et al. in "Automorphism groups and new constructions of maximum additive rank metric codes with restrictions" (2020).
Equivariant homotopy commutativity for $G=C_{pqr}$
We investigate the combinatorial data arising from the classification of equivariant homotopy commutativity for cyclic groups of order $G=C_{p_1 \cdots p_n}$ for $p_i$ distinct primes. In particular, we will prove a structural result which allows us to enumerate the number of $N_\infty$-operads for $C_{pqr}$, verifying a computational result.
Harmonic differential forms for pseudo-reflection groups I. Semi-invariants
Published
• View Publication
• BIB
We give a type-independent construction of an explicit basis for the semi-invariant harmonic differential forms of an arbitrary pseudo-reflection group in characteristic zero. Our "top-down" approach uses the methods of Cartan's exterior calculus and is in some sense dual to related work of Solomon, Orlik--Solomon, and Shepler describing (semi-)invariant differential forms. We apply our results to a recent conjecture of Zabrocki which provides a representation theoretic-model for the Delta conjecture of Haglund--Remmel--Wilson in terms of a certain non-commutative coinvariant algebra for the symmetric group. In particular, we verify the alternating component of a specialization of Zabrocki's conjecture.