Showing 1–13 of 13 results for author: Girard, B

Higher Degree Davenport Constants over Finite Commutative Rings

Authors: Yair Caro, Benjamin Girard, John R. Schmitt

Abstract: We generalize the notion of Davenport constants to a `higher degree' and obtain various lower and upper bounds, which are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. Two simple examples that capture the essence of these higher degree Davenport constants are the following. 1) Suppose $n = 2^k$, then every sequence of integers $S$ of length $2n$ co… ▽ More We generalize the notion of Davenport constants to a `higher degree' and obtain various lower and upper bounds, which are sometimes exact as is the case for certain finite commutative rings of prime power cardinality. Two simple examples that capture the essence of these higher degree Davenport constants are the following. 1) Suppose $n = 2^k$, then every sequence of integers $S$ of length $2n$ contains a subsequence $S'$ of length at least two such that $\sum_{a_i,a_j \in S'} a_ia_j \equiv 0 \pmod{n}$ and the bound is sharp. 2) Suppose $n \equiv1 \pmod{2}$, then every sequence of integers $S$ of length $2n -1$ contains a subsequence $S'$ of length at least two such that $\sum_{a_i,a_j \in S'} a_ia_j \equiv 0 \pmod{n}$. These examples illustrate that if a sequence of elements from a finite commutative ring is long enough, certain symmetric expressions have to vanish on the elements of a subsequence. △ Less

Submitted 13 February, 2022; v1 submitted 11 February, 2021; originally announced February 2021.

Comments: 16 pages

MSC Class: 05E40 (Primary); 11B30; 13M10 (Secondary)

Journal ref: Integers 21 (2021), Paper No. A120, 17 pp

On additive bases in infinite abelian semigroups

Authors: Pierre-Yves Bienvenu, Benjamin Girard, Thái Hoàng Lê

Abstract: 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… ▽ More 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. △ Less

Submitted 20 December, 2024; v1 submitted 10 February, 2020; originally announced February 2020.

Comments: 28 pages

Journal ref: Journal of Combinatorial Algebra 7, 1-2 (2023) 1-44

Inverse zero-sum problems for certain groups of rank three

Authors: Benjamin Girard, Wolfgang Schmid

Abstract: The inverse problem associated to the Erdős-Ginzburg-Ziv constant and the $η$-constant is solved for finite abelian groups of the form $C_2 \oplus C_2 \oplus C_{2n}$ where $n \ge 2$ is an integer. The inverse problem associated to the Erdős-Ginzburg-Ziv constant and the $η$-constant is solved for finite abelian groups of the form $C_2 \oplus C_2 \oplus C_{2n}$ where $n \ge 2$ is an integer. △ Less

Submitted 5 March, 2020; v1 submitted 10 September, 2018; originally announced September 2018.

Comments: 16 pages

Journal ref: Acta Mathematica Hungarica 160, 1 (2020) 229-247

Direct zero-sum problems for certain groups of rank three

Authors: Benjamin Girard, Wolfgang Schmid

Abstract: We determine the exact value of the $η$-constant and the multiwise Davenport constants for finite abelian groups of rank three having the form $G \simeq C_2 \oplus C_{n_2} \oplus C_{n_3}$ with $2 \mid n_2 \mid n_3$. Moreover, we determine the Erdős-Ginzburg-Ziv constant of these groups under the assumption that $n_2/2$ has Property D or $n_2 = n_3$. We determine the exact value of the $η$-constant and the multiwise Davenport constants for finite abelian groups of rank three having the form $G \simeq C_2 \oplus C_{n_2} \oplus C_{n_3}$ with $2 \mid n_2 \mid n_3$. Moreover, we determine the Erdős-Ginzburg-Ziv constant of these groups under the assumption that $n_2/2$ has Property D or $n_2 = n_3$. △ Less

Submitted 26 July, 2019; v1 submitted 20 June, 2018; originally announced June 2018.

Comments: 17 pages

Journal ref: Journal of Number Theory 197 (2019) 297-316

An asymptotically tight bound for the Davenport constant

Authors: Benjamin Girard

Abstract: We prove that for every integer $r \ge 1$ the Davenport constant $\mathsf{D}(C^r_n)$ is asymptotic to $rn$ when $n$ tends to infinity. An extension of this theorem is also provided. We prove that for every integer $r \ge 1$ the Davenport constant $\mathsf{D}(C^r_n)$ is asymptotic to $rn$ when $n$ tends to infinity. An extension of this theorem is also provided. △ Less

Submitted 2 July, 2018; v1 submitted 23 September, 2017; originally announced September 2017.

Comments: 6 pages

Journal ref: Journal de l'Ecole polytechnique - Mathematiques 5 (2018) 605-611

A nullstellensatz for sequences over F_p

Authors: Eric Balandraud, Benjamin Girard

Abstract: Let p be a prime and let A=(a_1,...,a_l) be a sequence of nonzero elements in F_p. In this paper, we study the set of all 0-1 solutions to the equation a_1 x_1 + ... + a_l x_l = 0. We prove that whenever l >= p, this set actually characterizes A up to a nonzero multiplicative constant, which is no longer true for l < p. The critical case l=p is of particular interest. In this context, we prove tha… ▽ More Let p be a prime and let A=(a_1,...,a_l) be a sequence of nonzero elements in F_p. In this paper, we study the set of all 0-1 solutions to the equation a_1 x_1 + ... + a_l x_l = 0. We prove that whenever l >= p, this set actually characterizes A up to a nonzero multiplicative constant, which is no longer true for l < p. The critical case l=p is of particular interest. In this context, we prove that whenever l=p and A is nonconstant, the above equation has at least p-1 minimal 0-1 solutions, thus refining a theorem of Olson. The subcritical case l=p-1 is studied in detail also. Our approach is algebraic in nature and relies on the Combinatorial Nullstellensatz as well as on a Vosper type theorem. △ Less

Submitted 29 June, 2014; v1 submitted 2 April, 2012; originally announced April 2012.

Comments: 23 pages

Journal ref: Combinatorica 34, 6 (2014), 657-688

Subset sums in abelian groups

Authors: Eric Balandraud, Benjamin Girard, Simon Griffiths, Yahya Ould Hamidoune

Abstract: Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is best possible, and we obtain the stronger (exact best possible) bound in almost all cases. We prove similar results in the case |G| is even. Our proof requires… ▽ More Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is best possible, and we obtain the stronger (exact best possible) bound in almost all cases. We prove similar results in the case |G| is even. Our proof requires us to extend a theorem of Olson on the number of subset sums of anti-symmetric subsets S from the case of Z_p to the case of a general finite abelian group. To do so, we adapt Olson's method using a generalisation of Vosper's Theorem proved by Hamidoune and Plagne. △ Less

Submitted 8 December, 2011; originally announced December 2011.

Comments: 22 pages, submitted

Journal ref: European Journal of Combinatorics 34, 8 (2013) 1269-1286

k-Sums in abelian groups

Authors: Benjamin Girard, Simon Griffiths, Yahya Ould Hamidoune

Abstract: Given a finite subset A of an abelian group G, we study the set k \wedge A of all sums of k distinct elements of A. In this paper, we prove that |k \wedge A| >= |A| for all k in {2,...,|A|-2}, unless k is in {2,|A|-2} and A is a coset of an elementary 2-subgroup of G. Furthermore, we characterize those finite subsets A of G for which |k \wedge A| = |A| for some k in {2,...,|A|-2}. This result answ… ▽ More Given a finite subset A of an abelian group G, we study the set k \wedge A of all sums of k distinct elements of A. In this paper, we prove that |k \wedge A| >= |A| for all k in {2,...,|A|-2}, unless k is in {2,|A|-2} and A is a coset of an elementary 2-subgroup of G. Furthermore, we characterize those finite subsets A of G for which |k \wedge A| = |A| for some k in {2,...,|A|-2}. This result answers a question of Diderrich. Our proof relies on an elementary property of proper edge-colourings of the complete graph. △ Less

Submitted 26 June, 2012; v1 submitted 10 October, 2011; originally announced October 2011.

Comments: 15 pages

Journal ref: Combinatorics, Probability and Computing 21, 4 (2012) 582-596

On a combinatorial problem of Erdos, Kleitman and Lemke

Authors: Benjamin Girard

Abstract: In this paper, we study a combinatorial problem originating in the following conjecture of Erdos and Lemke: given any sequence of n divisors of n, repetitions being allowed, there exists a subsequence the elements of which are summing to n. This conjecture was proved by Kleitman and Lemke, who then extended the original question to a problem on a zero-sum invariant in the framework of finite Abeli… ▽ More In this paper, we study a combinatorial problem originating in the following conjecture of Erdos and Lemke: given any sequence of n divisors of n, repetitions being allowed, there exists a subsequence the elements of which are summing to n. This conjecture was proved by Kleitman and Lemke, who then extended the original question to a problem on a zero-sum invariant in the framework of finite Abelian groups. Building among others on earlier works by Alon and Dubiner and by the author, our main theorem gives a new upper bound for this invariant in the general case, and provides its right order of magnitude. △ Less

Submitted 12 August, 2012; v1 submitted 25 October, 2010; originally announced October 2010.

Comments: 15 pages

Journal ref: Advances in Mathematics 231, 3-4 (2012) 1843-1857

On the existence of zero-sum subsequences of distinct lengths

Authors: Benjamin Girard

Abstract: In this paper, we obtain a characterization of short normal sequences over a finite Abelian p-group, thus answering positively a conjecture of Gao for a variety of such groups. Our main result is deduced from a theorem of Alon, Friedland and Kalai, originally proved so as to study the existence of regular subgraphs in almost regular graphs. In the special case of elementary p-groups, Gao's conject… ▽ More In this paper, we obtain a characterization of short normal sequences over a finite Abelian p-group, thus answering positively a conjecture of Gao for a variety of such groups. Our main result is deduced from a theorem of Alon, Friedland and Kalai, originally proved so as to study the existence of regular subgraphs in almost regular graphs. In the special case of elementary p-groups, Gao's conjecture is solved using Alon's Combinatorial Nullstellensatz. To conclude, we show that, assuming every integer satisfies Property B, this conjecture holds in the case of finite Abelian groups of rank two. △ Less

Submitted 25 May, 2012; v1 submitted 20 March, 2009; originally announced March 2009.

Comments: 10 pages, to appear in Rocky Mountain Journal of Mathematics

Journal ref: Rocky Mountain Journal of Mathematics 42, 2 (2012) 583-596

Inverse zero-sum problems in finite Abelian p-groups

Authors: Benjamin Girard

Abstract: In this paper, we study the minimal number of elements of maximal order within a zero-sumfree sequence in a finite Abelian p-group. For this purpose, in the general context of finite Abelian groups, we introduce a new number, for which lower and upper bounds are proved in the case of finite Abelian p-groups. Among other consequences, the method that we use here enables us to show that, if we den… ▽ More In this paper, we study the minimal number of elements of maximal order within a zero-sumfree sequence in a finite Abelian p-group. For this purpose, in the general context of finite Abelian groups, we introduce a new number, for which lower and upper bounds are proved in the case of finite Abelian p-groups. Among other consequences, the method that we use here enables us to show that, if we denote by exp(G) the exponent of the finite Abelian p-group G which is considered, then a zero-sumfree sequence S with maximal possible length in G must contain at least exp(G)-1 elements of maximal order, which improves a previous result of W. Gao and A. Geroldinger. △ Less

Submitted 10 December, 2008; originally announced December 2008.

Comments: 13 pages, submitted

MSC Class: 11R27; 11B75; 11P99; 20D60; 20K01; 05E99; 13F05

Journal ref: Colloquium Mathematicum 120 (2010) 7-21

Inverse zero-sum problems and algebraic invariants

Authors: Benjamin Girard

Abstract: In this article, we study the maximal cross number of long zero-sumfree sequences in a finite Abelian group. Regarding this inverse-type problem, we formulate a general conjecture and prove, among other results, that this conjecture holds true for finite cyclic groups, finite Abelian p-groups and for finite Abelian groups of rank two. Also, the results obtained here enable us to improve, via the r… ▽ More In this article, we study the maximal cross number of long zero-sumfree sequences in a finite Abelian group. Regarding this inverse-type problem, we formulate a general conjecture and prove, among other results, that this conjecture holds true for finite cyclic groups, finite Abelian p-groups and for finite Abelian groups of rank two. Also, the results obtained here enable us to improve, via the resolution of a linear integer program, a result of W. Gao and A. Geroldinger concerning the minimal number of elements with maximal order in a long zero-sumfree sequence of a finite Abelian group of rank two. △ Less

Submitted 18 October, 2010; v1 submitted 23 June, 2008; originally announced June 2008.

Comments: 17 pages, to appear in Acta Arithmetica

Journal ref: Acta Arithmetica 135, 3 (2008) 231-246

A new upper bound for the cross number of finite Abelian groups

Authors: Benjamin Girard

Abstract: In this paper, building among others on earlier works by U. Krause and C. Zahlten (dealing with the case of cyclic groups), we obtain a new upper bound for the little cross number valid in the general case of arbitrary finite Abelian groups. Given a finite Abelian group, this upper bound appears to depend only on the rank and on the number of distinct prime divisors of the exponent. The main the… ▽ More In this paper, building among others on earlier works by U. Krause and C. Zahlten (dealing with the case of cyclic groups), we obtain a new upper bound for the little cross number valid in the general case of arbitrary finite Abelian groups. Given a finite Abelian group, this upper bound appears to depend only on the rank and on the number of distinct prime divisors of the exponent. The main theorem of this paper allows us, among other consequences, to prove that a classical conjecture concerning the cross and little cross numbers of finite Abelian groups holds asymptotically in at least two different directions. △ Less

Submitted 3 December, 2007; originally announced December 2007.

Comments: 21 pages, to appear in Israel Journal of Mathematics

MSC Class: 11R27; 11B75; 11P99; 20D60; 20K01; 05E99; 13F05

Journal ref: Israel Journal of Mathematics 172 (2009) 253-278