group
10405 papers tagged with this keyword
On additive bases in infinite abelian semigroups
Published in Journal of Combinatorial Algebra 7, 1-2 (2023) 1-44
• View Publication
• BIB
Building on previous work by Lambert, Plagne and the third author, we study various aspects of the behavior of additive bases in infinite abelian groups and semigroups. We show that, for every infinite abelian group $T$, the number of essential subsets of any additive basis is finite, and also that the number of essential subsets of cardinality $k$ contained in an additive basis of order at most $h$ can be bounded in terms of $h$ and $k$ alone. These results extend the reach of two theorems, one due to Deschamps and Farhi and the other to Hegarty, bearing upon $\mathbf{N}$. Also, using invariant means, we address a classical problem, initiated by Erdős and Graham and then generalized by Nash and Nathanson both in the case of $\mathbf{N}$, of estimating the maximal order $X_T(h,k)$ that a basis of cocardinality $k$ contained in an additive basis of order at most $h$ can have. Among other results, we prove that $X_T(h,k)=O(h^{2k+1})$ for every integer $k \ge 1$. This result is new even in the case where $k=1$. Besides the maximal order $X_T(h,k)$, the typical order $S_T(h,k)$ is also studied. Our methods actually apply to a wider class of infinite abelian semigroups, thus unifying in a single axiomatic frame the theory of additive bases in $\mathbf{N}$ and in abelian groups.
Bi-objective Optimization of Biclustering with Binary Data
Published
• View Publication
• BIB
Clustering consists of partitioning data objects into subsets called clusters according to some similarity criteria. This paper addresses a generalization called quasi-clustering that allows overlapping of clusters, and which we link to biclustering. Biclustering simultaneously groups the objects and features so that a specific group of objects has a special group of features. In recent years, biclustering has received a lot of attention in several practical applications. In this paper we consider a bi-objective optimization of biclustering problem with binary data. First we present an integer programing formulations for the bi-objective optimization biclustering. Next we propose a constructive heuristic based on the set intersection operation and its efficient implementation for solving a series of mono-objective problems used inside the Epsilon-constraint method (obtained by keeping only one objective function and the other objective function is integrated into constraints). Finally, our experimental results show that using CPLEX solver as an exact algorithm for finding an optimal solution drastically increases the computational cost for large instances, while our proposed heuristic provides very good results and significantly reduces the computational expense.
Arc-transitive Cayley graphs on nonabelian simple groups with prime valency
Published
• View Publication
• BIB
In 2011, Fang et al. in (J. Combin. Theory A 118 (2011) 1039-1051) posed the following problem: Classify non-normal locally primitive Cayley graphs of finite simple groups of valency $d$, where either $d\leq 20$ or $d$ is a prime number. The only case for which the complete solution of this problem is known is of $d=3$. Except this, a lot of efforts have been made to attack this problem by considering the following problem: Characterize finite nonabelian simple groups which admit non-normal locally primitive Cayley graphs of certain valency $d\geq4$. Even for this problem, it was only solved for the cases when either $d\leq 5$ or $d=7$ and the vertex stabilizer is solvable. In this paper, we make crucial progress towards the above problems by completely solving the second problem for the case when $d\geq 11$ is a prime and the vertex stabilizer is solvable.
Equivariant K-theory and tangent spaces to Schubert varieties
Published
• View Publication
• BIB
Tangent spaces to Schubert varieties of type A were characterized by Lakshmibai and Seshadri. This result was extended to the other classical types by Lakshmibai. We give a uniform characterization of tangent spaces to Schubert varieties in cominuscule G/P. Our results extend beyond cominuscule G/P; they describe the tangent space to any Schubert variety in G/B at a point xB, where x is a cominuscule Weyl group element in the sense of Peterson. Our results also give partial information about the tangent space to any Schubert variety at any point. Our method is to describe the tangent spaces of Kazhdan-Lusztig varieties, and then recover results for Schubert varieties. Our proof uses a relationship between weights of the tangent space of a variety with torus action, and factors of the class of the variety in torus equivariant K-theory. The proof relies on a formula for Schubert classes in equivariant K-theory due to Graham and Willems, as well as a theorem on subword complexes due to Knutson and Miller.
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.