-
Symmetric mechanisms for two-sided matching problems
Authors:
Daniela Bubboloni,
Michele Gori,
Claudia Meo
Abstract:
We focus on the basic one-to-one two-sided matching model, where there are two disjoint sets of agents of equal size, and each agent in a set has preferences on the agents in the other set, modelled by linear orders. The goal is to find a matching that associates each agent in one set with one and only one agent in the other set based on the agents' preferences. A mechanism is a rule that associat…
▽ More
We focus on the basic one-to-one two-sided matching model, where there are two disjoint sets of agents of equal size, and each agent in a set has preferences on the agents in the other set, modelled by linear orders. The goal is to find a matching that associates each agent in one set with one and only one agent in the other set based on the agents' preferences. A mechanism is a rule that associates a set of matchings to each preference profile. Stability, which refers to the capability to select only stable matchings, is an important property a mechanism should fulfill. Another crucial property, especially useful for applications, is resoluteness, which requires that the mechanism always selects a unique matching. The two versions of the deferred acceptance algorithm are examples of stable and resolute mechanisms. However, these mechanisms are severely unfair since they strongly favor one of the two sides of the market. In this paper, we introduce a property that mechanisms may meet which relates to fairness. Such property, called symmetry, is formulated in a way able to capture different levels of fairness within and across the two sets of agents and generalize existing notions. We prove several possibility and impossibility results, mainly involving the most general notion of symmetry, known as gender fairness: among others, a resolute and gender fair mechanism exists if and only if each side of the market consists of an odd number of agents; there exists no resolute, stable and gender fair mechanism.
△ Less
Submitted 1 April, 2024;
originally announced April 2024.
-
On Computing Optimal Temporal Branchings and Spanning Subgraphs
Authors:
Daniela Bubboloni,
Costanza Catalano,
Andrea Marino,
Ana Silva
Abstract:
In this work we extend the concept of out/in-branchings spanning the vertices of a digraph (also called directed spanning trees) to temporal graphs, which are digraphs where arcs are available only at prescribed times. While the literature has focused on minimum weight/earliest arrival time Temporal Out-Branchings (TOB), we solve the problem for other optimization criteria. In particular, we defin…
▽ More
In this work we extend the concept of out/in-branchings spanning the vertices of a digraph (also called directed spanning trees) to temporal graphs, which are digraphs where arcs are available only at prescribed times. While the literature has focused on minimum weight/earliest arrival time Temporal Out-Branchings (TOB), we solve the problem for other optimization criteria. In particular, we define five different types of TOBs based on the optimization of the travel duration (FT-TOB), of the departure time (LD-TOB), of the number of transfers (MT-TOB), of the total waiting time (MW-TOB), and of the travelling time (ST-TOB). For D$\in \{$LD,MT,ST$\}$, we provide necessary and sufficient conditions for the existence of a spanning D-TOB; when it does not exist, we characterize the maximum vertex set that a D-TOB can span. Moreover, we provide a log linear algorithm for computing such branchings. For D$\in \{$FT,MW$\}$, we prove that deciding the existence of a spanning D-TOB is NP-complete; we also show that the same results hold for optimal temporal in-branchings. Finally, we investigate the related problem of computing a spanning temporal subgraph with the minimum number of arcs and optimizing a chosen criterion D. This problem turns out to be NP-hard for any D. The hardness results are quite surprising, as computing optimal paths between nodes can always be done in polynomial time.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Symmetry groups for social preference functions
Authors:
Daniela Bubboloni,
Francesco Nardi
Abstract:
We introduce the anonymity group, the neutrality group and the symmetry group of a social preference function. Inspired by a problem posed by Kelly in 1991 and remained unsolved, we investigate the problem of recognizing which permutation groups may arise as anonymity, neutrality and symmetry group of a social preference function.
A complete description is found for the neutrality groups and a s…
▽ More
We introduce the anonymity group, the neutrality group and the symmetry group of a social preference function. Inspired by a problem posed by Kelly in 1991 and remained unsolved, we investigate the problem of recognizing which permutation groups may arise as anonymity, neutrality and symmetry group of a social preference function.
A complete description is found for the neutrality groups and a sufficient condition, which largely encompasses the problem, is found for the anonymity groups.
Using the concept of orbit extension of a group $U$, we formulate manageable necessary conditions for being $U$ an anonymity or a symmetry group. Our research deeply interacts with problems of representability by Boolean functions shedding light on them.
△ Less
Submitted 3 February, 2023;
originally announced February 2023.
-
Critical classes of power graphs and reconstruction of directed power graphs
Authors:
Daniela Bubboloni,
Nicolas Pinzauti
Abstract:
In a graph $Γ=(V,E)$, we consider the closed neighbourhood of a subset of vertices and use this notion to deduce a Moore closure operator in $V.$ We also consider the closed twin equivalence relation which puts in relation two vertices when they have the same closed neighbourhood. Those notions are deeply explored when $Γ$ is the power graph associated with a finite group $G$. In that case, among…
▽ More
In a graph $Γ=(V,E)$, we consider the closed neighbourhood of a subset of vertices and use this notion to deduce a Moore closure operator in $V.$ We also consider the closed twin equivalence relation which puts in relation two vertices when they have the same closed neighbourhood. Those notions are deeply explored when $Γ$ is the power graph associated with a finite group $G$. In that case, among the corresponding closed twin equivalence classes, we introduce the concepts of plain, compound and critical class. The study of critical classes, joined with the properties of the Moore closure operator, allows to correct a mistake in the proof of Theorem 2 in P. J. Cameron, The power graph of a finite group, II, Journal of Group Theory 13 (2010) and to deduce a simple algorithm to reconstruct the directed power graph of a finite group from its undirected counterpart, as asked in Question 2 in P. J. Cameron, Graphs defined on groups, International Journal of Group Theory, vol. 11 (2022).
△ Less
Submitted 28 September, 2023; v1 submitted 27 November, 2022;
originally announced November 2022.
-
A generalization to networks of Young's characterization of the Borda rule
Authors:
Daniela Bubboloni,
Michele Gori
Abstract:
We prove that, for any given set of networks satisfying suitable conditions, the net-oudegree network solution, the net-indegree network solution, and the total network solution are the unique network solutions on that set satisfying neutrality, consistency and cancellation. The generality of the result obtained allows to get an analogous result for social choice correspondences: for any given set…
▽ More
We prove that, for any given set of networks satisfying suitable conditions, the net-oudegree network solution, the net-indegree network solution, and the total network solution are the unique network solutions on that set satisfying neutrality, consistency and cancellation. The generality of the result obtained allows to get an analogous result for social choice correspondences: for any given set of preference profiles satisfying suitable conditions, the net-oudegree social choice correspondence, the net-indegree social choice correspondence and the total social choice correspondence are the unique social choice correspondences on that set satisfying neutrality, consistency and cancellation. Using the notable fact that several well-known voting rules coincide with the restriction of net-oudegree social choice correspondence to appropriate sets of preference profiles, we are able to deduce a variety of new and known characterization theorems for the Borda rule, the Partial Borda rule, the Averaged Borda rule, the Approval Voting, the Plurality rule and the anti-Plurality rule, among which Young's characterization of the Borda rule and Fishburn's characterization of the Approval Voting.
△ Less
Submitted 30 May, 2024; v1 submitted 12 November, 2022;
originally announced November 2022.
-
Power Graphs of Finite Groups
Authors:
Nicolas Pinzauti,
Daniela Bubboloni
Abstract:
The power graph $\mathcal{P}(G)$ of a group $G$ is the graph whose vertex set is $G$, having an edge between two distinct vertices if one is the power of the other. The directed power graph $\vec{\mathcal{P}}(G)$ of a group $G$ is the digraph whose vertex set is $G$, having an arc from $x$ to $y$, with $x\ne y$, whenever $y$ is a power of $x$. We rewrite two Cameron's articles concerning the recon…
▽ More
The power graph $\mathcal{P}(G)$ of a group $G$ is the graph whose vertex set is $G$, having an edge between two distinct vertices if one is the power of the other. The directed power graph $\vec{\mathcal{P}}(G)$ of a group $G$ is the digraph whose vertex set is $G$, having an arc from $x$ to $y$, with $x\ne y$, whenever $y$ is a power of $x$. We rewrite two Cameron's articles concerning the reconstruction of $\vec{\mathcal{P}}(G)$ from $\mathcal{P}(G)$. We correct mistakes that appear in the papers. In particular, we add missing cases needed to complete the main theorems of these articles.
We also study the quotient of the power graph under some equivalence relations. We close the thesis with lower bounds for the maximum length of a cycle in the power graph of a group.
△ Less
Submitted 27 August, 2022;
originally announced August 2022.
-
Normal $2$-coverings of the finite simple groups and their generalizations
Authors:
Daniela Bubboloni,
Pablo Spiga,
Thomas Weigel
Abstract:
Given a finite group $G$, we say that $G$ has weak normal covering number $γ_w(G)$ if $γ_w(G)$ is the smallest integer with $G$ admitting proper subgroups $H_1,\ldots,H_{γ_w(G)}$ such that each element of $G$ has a conjugate in $H_i$, for some $i\in \{1,\ldots,γ_w(G)\}$, via an element in the automorphism group of $G$.
We prove that the weak normal covering number of every non-abelian simple gro…
▽ More
Given a finite group $G$, we say that $G$ has weak normal covering number $γ_w(G)$ if $γ_w(G)$ is the smallest integer with $G$ admitting proper subgroups $H_1,\ldots,H_{γ_w(G)}$ such that each element of $G$ has a conjugate in $H_i$, for some $i\in \{1,\ldots,γ_w(G)\}$, via an element in the automorphism group of $G$.
We prove that the weak normal covering number of every non-abelian simple group is at least $2$ and we classify the non-abelian simple groups attaining $2$. As an application, we classify the non-abelian simple groups having normal covering number $2$. We also show that the weak normal covering number of an almost simple group is at least two up to one exception.
We determine the weak normal covering number and the normal covering number of the almost simple groups having socle a sporadic simple group. Using similar methods we find the clique number of the invariably generating graph of the almost simple groups having socle a sporadic simple group.
△ Less
Submitted 18 August, 2022;
originally announced August 2022.
-
Coprime partitions and Jordan totient functions
Authors:
Daniela Bubboloni,
Florian Luca
Abstract:
We show that while the number of coprime compositions of a positive integer $n$ into $k$ parts can be expressed as a $\mathbb{Q}$-linear combinations of the Jordan totient functions, this is never possible for the coprime partitions of $n$ into $k$ parts. We also show that the number $p_k'(n)$ of coprime partitions of $n$ into $k$ parts can be expressed as a $\mathbb{C}$-linear combinations of the…
▽ More
We show that while the number of coprime compositions of a positive integer $n$ into $k$ parts can be expressed as a $\mathbb{Q}$-linear combinations of the Jordan totient functions, this is never possible for the coprime partitions of $n$ into $k$ parts. We also show that the number $p_k'(n)$ of coprime partitions of $n$ into $k$ parts can be expressed as a $\mathbb{C}$-linear combinations of the Jordan totient functions, for $n$ sufficiently large, if and only if $k\in \{2,3\}$ and in a unique way. Finally we introduce some generalizations of the Jordan totient functions and we show that $p_k'(n)$ can be always expressed as a $\mathbb{C}$-linear combinations of them.
△ Less
Submitted 17 January, 2021; v1 submitted 12 July, 2020;
originally announced July 2020.
-
Paths and flows for centrality measures in networks
Authors:
Daniela Bubboloni,
Michele Gori
Abstract:
We consider the number of paths that must pass through a subset $X$ of vertices of a network $N$ in a maximum sequence of arc-disjoint paths connecting two vertices $y$ and $z$. We show that when $X$ is a singleton, that number equals the difference between the maximum flow value from $y$ to $z$ in $N$ and the maximum flow value from $y$ to $z$ in the network obtained by $N$ setting to zero the ca…
▽ More
We consider the number of paths that must pass through a subset $X$ of vertices of a network $N$ in a maximum sequence of arc-disjoint paths connecting two vertices $y$ and $z$. We show that when $X$ is a singleton, that number equals the difference between the maximum flow value from $y$ to $z$ in $N$ and the maximum flow value from $y$ to $z$ in the network obtained by $N$ setting to zero the capacities of arcs incident to $X$. That fact theoretically justifies the common identification of those two concepts in network literature. We also show that the same equality does not hold when $|X|\geq 2.$ Consequently, two conceptually different group centrality measures involving paths and flows can naturally be defined, both extending the classic flow betweenness centrality.
△ Less
Submitted 8 February, 2021; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Linear bounds for the normal covering number of the symmetric and alternating groups
Authors:
Daniela Bubboloni,
Cheryl E. Praeger,
Pablo Spiga
Abstract:
The normal covering number $γ(G)$ of a finite, non-cyclic group $G$ is the minimum number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We find lower bounds linear in $n$ for $γ(S_n)$, when $n$ is even, and for $γ(A_n)$, when $n$ is odd.
The normal covering number $γ(G)$ of a finite, non-cyclic group $G$ is the minimum number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We find lower bounds linear in $n$ for $γ(S_n)$, when $n$ is even, and for $γ(A_n)$, when $n$ is odd.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
Breaking ties in collective decision making
Authors:
Daniela Bubboloni,
Michele Gori
Abstract:
Many classical social preference (multiwinner social choice) correspondences are resolute only when two alternatives and an odd number of individuals are considered. Thus, they generally admit several resolute refinements, each of them naturally interpreted as a tie-breaking rule. In this paper we find out conditions which make a social preference (multiwinner social choice) correspondence admit a…
▽ More
Many classical social preference (multiwinner social choice) correspondences are resolute only when two alternatives and an odd number of individuals are considered. Thus, they generally admit several resolute refinements, each of them naturally interpreted as a tie-breaking rule. In this paper we find out conditions which make a social preference (multiwinner social choice) correspondence admit a resolute refinement fulfilling suitable weak versions of the anonymity and neutrality principles, as well as reversal symmetry (immunity to the reversal bias).
△ Less
Submitted 20 May, 2019; v1 submitted 30 June, 2017;
originally announced June 2017.
-
The flow network method
Authors:
Daniela Bubboloni,
Michele Gori
Abstract:
In this paper we propose an in-depth analysis of a method, called the flow network method, which associates with any network a complete and quasi-transitive binary relation on its vertices. Such a method, originally proposed by Gvozdik (1987), is based on the concept of maximum flow. Given a competition involving two or more teams, the flow network method can be used to build a relation on the set…
▽ More
In this paper we propose an in-depth analysis of a method, called the flow network method, which associates with any network a complete and quasi-transitive binary relation on its vertices. Such a method, originally proposed by Gvozdik (1987), is based on the concept of maximum flow. Given a competition involving two or more teams, the flow network method can be used to build a relation on the set of teams which establishes, for every ordered pair of teams, if the first one did at least as good as the second one in the competition. Such a relation naturally induces procedures for ranking teams and selecting the best $k$ teams of a competition. Those procedures are proved to satisfy many desirable properties.
△ Less
Submitted 12 January, 2018; v1 submitted 1 June, 2016;
originally announced June 2016.
-
Graph homomorphisms and components of quotient graphs
Authors:
Daniela Bubboloni
Abstract:
We study how the number $c(X)$ of components of a graph $X$ can be expressed through the number and properties of the components of a quotient graph $X/\sim.$ We partially rely on classic qualifications of graph homomorphisms such as locally constrained homomorphisms and on the concept of equitable partition and orbit partition. We introduce the new definitions of pseudo-covering homomorphism and…
▽ More
We study how the number $c(X)$ of components of a graph $X$ can be expressed through the number and properties of the components of a quotient graph $X/\sim.$ We partially rely on classic qualifications of graph homomorphisms such as locally constrained homomorphisms and on the concept of equitable partition and orbit partition. We introduce the new definitions of pseudo-covering homomorphism and of component equitable partition, exhibiting interesting inclusions among the various classes of considered homomorphisms. As a consequence, we find a procedure for computing $c(X)$ when the projection on the quotient $X/\sim$ is pseudo-covering. That procedure becomes particularly easy to handle when the partition corresponding to $X/\sim$ is an orbit partition.
△ Less
Submitted 21 July, 2016; v1 submitted 11 May, 2016;
originally announced May 2016.
-
On the reversal bias of the Minimax social choice correspondence
Authors:
Daniela Bubboloni,
Michele Gori
Abstract:
We introduce three different qualifications of the reversal bias in the framework of social choice correspondences. For each of them, we prove that the Minimax social choice correspondence is immune to it if and only if the number of voters and the number of alternatives satisfy suitable arithmetical conditions. We prove those facts thanks to a new characterization of the Minimax social choice cor…
▽ More
We introduce three different qualifications of the reversal bias in the framework of social choice correspondences. For each of them, we prove that the Minimax social choice correspondence is immune to it if and only if the number of voters and the number of alternatives satisfy suitable arithmetical conditions. We prove those facts thanks to a new characterization of the Minimax social choice correspondence and using a graph theory approach. We discuss the same issue for the Borda and Copeland social choice correspondences.
△ Less
Submitted 21 December, 2015; v1 submitted 18 August, 2015;
originally announced August 2015.
-
Intersective $S_n$ polynomials with few irreducible factors
Authors:
D. Bubboloni,
J. Sonn
Abstract:
An intersective polynomial is a monic polynomial in one variable with rational integer coefficients, with no rational root and having a root modulo $m$ for all positive integers $m$. Let $G$ be a finite noncyclic group and let $r(G)$ be the smallest number of irreducible factors of an intersective polynomial with Galois group $G$ over $\mathbb{Q}$. Let $s(G)$ be smallest number of proper subgroups…
▽ More
An intersective polynomial is a monic polynomial in one variable with rational integer coefficients, with no rational root and having a root modulo $m$ for all positive integers $m$. Let $G$ be a finite noncyclic group and let $r(G)$ be the smallest number of irreducible factors of an intersective polynomial with Galois group $G$ over $\mathbb{Q}$. Let $s(G)$ be smallest number of proper subgroups of $G$ having the property that the union of their conjugates is $G$ and the intersection of all their conjugates is trivial. It is known that $s(G)\leq r(G).$ It is also known that if $G$ is realizable as a Galois group over the rationals, then it is also realizable as the Galois group of an intersective polynomial. However it is not known, in general, whether there exists such a polynomial which is a product of the smallest feasible number $s(G)$ of irreducible factors. In this paper, we study the case $G=S_n$, the symmetric group on $n$ letters. We prove that for every $n$, either $r(S_n)=s(S_n)$ or $r(S_n)=s(S_n)+1$ and that the optimal value $s(S_n)$ is indeed attained for all odd $n$ and for some even $n$. Moreover, we compute $r(S_n)$ when $n$ is the product of at most two odd primes and we give general upper and lower bounds for $r(S_n).$
△ Less
Submitted 30 July, 2015;
originally announced July 2015.
-
Resolute refinements of social choice correspondences
Authors:
Daniela Bubboloni,
Michele Gori
Abstract:
Many classical social choice correspondences are resolute only in the case of two alternatives and an odd number of individuals. Thus, in most cases, they admit several resolute refinements, each of them naturally interpreted as a tie-breaking rule, satisfying different properties. In this paper we look for classes of social choice correspondences which admit resolute refinements fulfilling suitab…
▽ More
Many classical social choice correspondences are resolute only in the case of two alternatives and an odd number of individuals. Thus, in most cases, they admit several resolute refinements, each of them naturally interpreted as a tie-breaking rule, satisfying different properties. In this paper we look for classes of social choice correspondences which admit resolute refinements fulfilling suitable versions of anonymity and neutrality. In particular, supposing that individuals and alternatives have been exogenously partitioned into subcommittees and subclasses, we find out arithmetical conditions on the sizes of subcommittees and subclasses that are necessary and sufficient for making any social choice correspondence which is efficient, anonymous with respect to subcommittees, neutral with respect to subclasses and possibly immune to the reversal bias admit a resolute refinement sharing the same properties.
△ Less
Submitted 1 June, 2016; v1 submitted 18 June, 2015;
originally announced June 2015.
-
Symmetric majority rules
Authors:
Daniela Bubboloni,
Michele Gori
Abstract:
In the standard arrovian framework and under the assumption that individual preferences and social outcomes are linear orders on the set of alternatives, we study the rules which satisfy suitable symmetries and obey the majority principle. In particular, supposing that individuals and alternatives are exogenously partitioned into subcommittees and subclasses, we provide necessary and sufficient co…
▽ More
In the standard arrovian framework and under the assumption that individual preferences and social outcomes are linear orders on the set of alternatives, we study the rules which satisfy suitable symmetries and obey the majority principle. In particular, supposing that individuals and alternatives are exogenously partitioned into subcommittees and subclasses, we provide necessary and sufficient conditions for the existence of reversal symmetric majority rules that are anonymous and neutral with respect to the considered partitions. We also determine a general method for constructing and counting those rules and we explicitly apply it to some simple cases.
△ Less
Submitted 13 March, 2015;
originally announced March 2015.
-
Quotient graphs for power graphs
Authors:
D. Bubboloni,
Mohammad A. Iranmanesh,
S. M. Shaker
Abstract:
In a previous paper of the first author a procedure was developed for counting the components of a graph through the knowledge of the components of its quotient graphs. We apply here that procedure to the proper power graph $\mathcal{P}_0(G)$ of a finite group $G$, finding a formula for the number $c(\mathcal{P}_0(G))$ of its components which is particularly illuminative when $G\leq S_n$ is a fusi…
▽ More
In a previous paper of the first author a procedure was developed for counting the components of a graph through the knowledge of the components of its quotient graphs. We apply here that procedure to the proper power graph $\mathcal{P}_0(G)$ of a finite group $G$, finding a formula for the number $c(\mathcal{P}_0(G))$ of its components which is particularly illuminative when $G\leq S_n$ is a fusion controlled permutation group. We make use of the proper quotient power graph $\widetilde{\mathcal{P}}_0(G)$, the proper order graph $\mathcal{O}_0(G)$ and the proper type graph $\mathcal{T}_0(G)$. We show that all those graphs are quotient of $\mathcal{P}_0(G)$ and demonstrate a strong link between them dealing with $G=S_n$. We find simultaneously $c(\mathcal{P}_0(S_n))$ as well as the number of components of $\widetilde{\mathcal{P}}_0(S_n)$, $\mathcal{O}_0(S_n)$ and $\mathcal{T}_0(S_n)$.
△ Less
Submitted 9 February, 2017; v1 submitted 10 February, 2015;
originally announced February 2015.
-
On some graphs associated with the finite alternating groups
Authors:
Daniela Bubboloni,
Mohammadali Iranmanesh,
Seyed Mostafa Shaker
Abstract:
Let $P_0(A_n), \widetilde{P}_0(A_n), P_0(\mathcal{T}(A_n))$ and $\mathcal{O}_0(A_n)$ be respectively the proper power graph, the proper quotient power graph, the proper power type graph and the proper order graph of the alternating group $A_n$, for $n\geq 3.$ We determine the number of the components of those graphs. In particular, we prove that the power graph $P(A_n)$ is $2$-connected if and onl…
▽ More
Let $P_0(A_n), \widetilde{P}_0(A_n), P_0(\mathcal{T}(A_n))$ and $\mathcal{O}_0(A_n)$ be respectively the proper power graph, the proper quotient power graph, the proper power type graph and the proper order graph of the alternating group $A_n$, for $n\geq 3.$ We determine the number of the components of those graphs. In particular, we prove that the power graph $P(A_n)$ is $2$-connected if and only if the power type graph $P(\mathcal{T}(A_n))$ is $2$-connected, if and only if either $n = 3$ or none of $n, n-1, n-2, \frac{n}{2}$ and ${\frac{n-1}{2}}$ is a prime. We also give some information on the properties of those components.
△ Less
Submitted 21 July, 2016; v1 submitted 23 December, 2014;
originally announced December 2014.
-
Conjectures on the normal covering number of the finite symmetric and alternating groups
Authors:
Daniela Bubboloni,
Cheryl E. Praeger,
Pablo Spiga
Abstract:
Let $γ(S_n)$ be the minimum number of proper subgroups $H_i$ of the symmetric group $S_n$ such that each element in $S_n$ lies in some conjugate of one of the $H_i.$ In this paper we conjecture that $$γ(S_n)=\frac{n}{2}\left(1-\frac{1}{p_1}\right) \left(1-\frac{1}{p_2}\right)+2,$$ where $p_1,p_2$ are the two smallest primes in the factorization of $n$ and $n$ is neither a prime power nor a product…
▽ More
Let $γ(S_n)$ be the minimum number of proper subgroups $H_i$ of the symmetric group $S_n$ such that each element in $S_n$ lies in some conjugate of one of the $H_i.$ In this paper we conjecture that $$γ(S_n)=\frac{n}{2}\left(1-\frac{1}{p_1}\right) \left(1-\frac{1}{p_2}\right)+2,$$ where $p_1,p_2$ are the two smallest primes in the factorization of $n$ and $n$ is neither a prime power nor a product of two primes. Support for the conjecture is given by a previous result for $n=p_1^{α_1}p_2^{α_2},$ with $(α_1,α_2)\neq (1,1)$. We give further evidence by confirming the conjecture for integers of the form $n=15q$ for an infinite set of primes $q$, and by reporting on a Magma computation. We make a similar conjecture for $γ(A_n)$, when $n$ is even, and provide a similar amount of evidence.
△ Less
Submitted 10 October, 2013;
originally announced October 2013.
-
Normal coverings and pairwise generation of finite alternating and symmetric groups
Authors:
Daniela Bubboloni,
Cheryl E. Praeger,
Pablo Spiga
Abstract:
The normal covering number $γ(G)$ of a finite, non-cyclic group $G$ is the least number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We prove that there is a positive constant $c$ such that, for $G$ a symmetric group $\Sym(n)$ or an alternating group $\Alt(n)$, $γ(G)\geq cn$. This improves results of the first two authors who had earlier prove…
▽ More
The normal covering number $γ(G)$ of a finite, non-cyclic group $G$ is the least number of proper subgroups such that each element of $G$ lies in some conjugate of one of these subgroups. We prove that there is a positive constant $c$ such that, for $G$ a symmetric group $\Sym(n)$ or an alternating group $\Alt(n)$, $γ(G)\geq cn$. This improves results of the first two authors who had earlier proved that $a\varphi(n)\leqγ(G)\leq 2n/3,$ for some positive constant $a$, where $\varphi$ is the Euler totient function. Bounds are also obtained for the maximum size $κ(G)$ of a set $X$ of conjugacy classes of $G=\Sym(n)$ or $\Alt(n)$ such that any pair of elements from distinct classes in $X$ generates $G$, namely $cn\leq κ(G)\leq 2n/3$.
△ Less
Submitted 29 January, 2013; v1 submitted 12 November, 2012;
originally announced November 2012.
-
Compositions of n Satisfying Some Coprimality Conditions
Authors:
Daniela Bubboloni,
Florian Luca,
Pablo Spiga
Abstract:
A k-composition of n is a sequence of length k of positive integers summing up to n. In this paper, we investigate the number of k-compositions of n satisfying two natural coprimality conditions. Namely, we first give an exact asymptotic formula for the number of k-compositions having the first summand coprime to the others. Then, we estimate the number of k-compositions whose summands are all pai…
▽ More
A k-composition of n is a sequence of length k of positive integers summing up to n. In this paper, we investigate the number of k-compositions of n satisfying two natural coprimality conditions. Namely, we first give an exact asymptotic formula for the number of k-compositions having the first summand coprime to the others. Then, we estimate the number of k-compositions whose summands are all pairwise coprime.
△ Less
Submitted 8 February, 2012;
originally announced February 2012.
-
2-Coverings of classical groups
Authors:
D. Bubboloni,
M. S. Lucido,
T. Weigel
Abstract:
In this paper we show that if $n\geq 5$ and $G$ is any of the groups $SU_n(q)$ with $n\neq 6,$ $Sp_{2n}(q)$ with $q$ odd, $Ω_{2n+1}(q),$ $Ω_{2n}^{\pm}(q),$ then $G$ and the simple group $\barG=G/Z(G)$ are not 2-coverable. Moreover the only 2-covering of $Sp_{2n}(q),$ with $q$ even, has components $ O^-_{2n}(q)$ and $O^{+}_{2n}(q) .$
In this paper we show that if $n\geq 5$ and $G$ is any of the groups $SU_n(q)$ with $n\neq 6,$ $Sp_{2n}(q)$ with $q$ odd, $Ω_{2n+1}(q),$ $Ω_{2n}^{\pm}(q),$ then $G$ and the simple group $\barG=G/Z(G)$ are not 2-coverable. Moreover the only 2-covering of $Sp_{2n}(q),$ with $q$ even, has components $ O^-_{2n}(q)$ and $O^{+}_{2n}(q) .$
△ Less
Submitted 3 February, 2011;
originally announced February 2011.
-
Normal coverings of finite symmetric and alternating groups
Authors:
Daniela Bubboloni,
Cheryl Praeger
Abstract:
In this paper we investigate the minimum number of maximal subgroups H_i for i=1 ...k of the symmetric group S_n (or the alternating group A_n) such that each element in the group S_n (respectively A_n) lies in some conjugate of one of the H_i. We prove that this number lies between a.phi(n) and bn for certain constants a, b, where phi(n) is the Euler phi-function, and we show that the number depe…
▽ More
In this paper we investigate the minimum number of maximal subgroups H_i for i=1 ...k of the symmetric group S_n (or the alternating group A_n) such that each element in the group S_n (respectively A_n) lies in some conjugate of one of the H_i. We prove that this number lies between a.phi(n) and bn for certain constants a, b, where phi(n) is the Euler phi-function, and we show that the number depends on the arithmetical complexity of n. Moreover in the case where n is divisible by at most two primes, we obtain an upper bound of 2+phi(n)/2, and we determine the exact value for S_n when n is odd and for A_n when n is even.
△ Less
Submitted 19 November, 2010;
originally announced November 2010.
-
Coverings of the Symmetric and Alternating Groups
Authors:
Daniela Bubboloni
Abstract:
We analyse for which $n$ there exist in $G=A_n,S_n$ two proper subgroups $H,K$ such that $G$ is the union of the $G$-conjugacy classes of $H$ and $K$.
We analyse for which $n$ there exist in $G=A_n,S_n$ two proper subgroups $H,K$ such that $G$ is the union of the $G$-conjugacy classes of $H$ and $K$.
△ Less
Submitted 20 September, 2010;
originally announced September 2010.