On the Existence of Semi-Regular...

55
On the Existence of Semi-Regular Sequences Sergio Molina 1 joint work with T. J. Hodges 1 J. Schlather 1 Department of Mathematics University of Cincinnati DIMACS, January 2015 Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 1 / 20

Transcript of On the Existence of Semi-Regular...

Page 1: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

On the Existence of Semi-Regular Sequences

Sergio Molina1

joint work withT. J. Hodges1 J. Schlather

1Department of MathematicsUniversity of Cincinnati

DIMACS, January 2015

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 1 / 20

Page 2: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Background

Important Problem: Finding solutions to systems of polynomialequations of the form

p1(x1, . . . , xn) = β1, . . . , pm(x1, . . . , xn) = βm. (1)

MPKC systems: Multivariate Public Key Cryptographic systems.

The security of MPKC systems relies on the difficulty of solving asystem (1) of quadratic equations over a finite field.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 2 / 20

Page 3: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Background

Important Problem: Finding solutions to systems of polynomialequations of the form

p1(x1, . . . , xn) = β1, . . . , pm(x1, . . . , xn) = βm. (1)

MPKC systems: Multivariate Public Key Cryptographic systems.

The security of MPKC systems relies on the difficulty of solving asystem (1) of quadratic equations over a finite field.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 2 / 20

Page 4: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Background

Important Problem: Finding solutions to systems of polynomialequations of the form

p1(x1, . . . , xn) = β1, . . . , pm(x1, . . . , xn) = βm. (1)

MPKC systems: Multivariate Public Key Cryptographic systems.

The security of MPKC systems relies on the difficulty of solving asystem (1) of quadratic equations over a finite field.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 2 / 20

Page 5: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Background

Main types of algorithms used to solve such systems of equations are:

Grobner basis algorithm [Buchberger] and its variants F4 and F5

[Faugere].

The XL algorithms including FXL [Courtois et al.] and mutantXL[Buchmann et al.].

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 3 / 20

Page 6: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Background

Main types of algorithms used to solve such systems of equations are:

Grobner basis algorithm [Buchberger] and its variants F4 and F5

[Faugere].

The XL algorithms including FXL [Courtois et al.] and mutantXL[Buchmann et al.].

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 3 / 20

Page 7: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Background

Main types of algorithms used to solve such systems of equations are:

Grobner basis algorithm [Buchberger] and its variants F4 and F5

[Faugere].

The XL algorithms including FXL [Courtois et al.] and mutantXL[Buchmann et al.].

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 3 / 20

Page 8: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Background

To assess complexity of the F4 and F5 algorithms for solution ofpolynomial equations the concept of “semi-regular” sequences over F2

was introduced by Bardet, Faugere, Salvy and Yang.

Roughly speaking, semi-regular sequences over F2 are sequences ofhomogeneous elements of the algebra

B(n) = F2[X1, ...,Xn]/(X 21 , ...,X

2n )

which have as few relations between them as possible.

Experimental evidence has shown that randomly generated sequencestend to be semi-regular.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 4 / 20

Page 9: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Background

To assess complexity of the F4 and F5 algorithms for solution ofpolynomial equations the concept of “semi-regular” sequences over F2

was introduced by Bardet, Faugere, Salvy and Yang.

Roughly speaking, semi-regular sequences over F2 are sequences ofhomogeneous elements of the algebra

B(n) = F2[X1, ...,Xn]/(X 21 , ...,X

2n )

which have as few relations between them as possible.

Experimental evidence has shown that randomly generated sequencestend to be semi-regular.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 4 / 20

Page 10: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Background

To assess complexity of the F4 and F5 algorithms for solution ofpolynomial equations the concept of “semi-regular” sequences over F2

was introduced by Bardet, Faugere, Salvy and Yang.

Roughly speaking, semi-regular sequences over F2 are sequences ofhomogeneous elements of the algebra

B(n) = F2[X1, ...,Xn]/(X 21 , ...,X

2n )

which have as few relations between them as possible.

Experimental evidence has shown that randomly generated sequencestend to be semi-regular.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 4 / 20

Page 11: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Definitions

Let Bd ⊂ B(n) be the set of homogeneous polynomials of degree d .

Definition 1

Let B(n) = F2[X1, ...,Xn]/(X 21 , ...,X

2n ). If λ1, ..., λm ∈ B(n) is a sequence

of homogeneous elements of positive degrees d1, ..., dm andI = (λ1, ..., λm) then

Ind(I ) = min{d ≥ 0 | I ∩ Bd = Bd}The sequence λ1, . . . , λm is semi-regular over F2 if for alli = 1, 2, . . . ,m, if µ is homogeneous and

µλi ∈ (λ1, . . . , λi−1) and deg(µ) + deg(λi ) < Ind(I )

then µ ∈ (λ1, . . . , λi ).

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 5 / 20

Page 12: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Definitions

Let Bd ⊂ B(n) be the set of homogeneous polynomials of degree d .

Definition 1

Let B(n) = F2[X1, ...,Xn]/(X 21 , ...,X

2n ). If λ1, ..., λm ∈ B(n) is a sequence

of homogeneous elements of positive degrees d1, ..., dm andI = (λ1, ..., λm) then

Ind(I ) = min{d ≥ 0 | I ∩ Bd = Bd}The sequence λ1, . . . , λm is semi-regular over F2 if for alli = 1, 2, . . . ,m, if µ is homogeneous and

µλi ∈ (λ1, . . . , λi−1) and deg(µ) + deg(λi ) < Ind(I )

then µ ∈ (λ1, . . . , λi ).

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 5 / 20

Page 13: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Definitions

Let Bd ⊂ B(n) be the set of homogeneous polynomials of degree d .

Definition 1

Let B(n) = F2[X1, ...,Xn]/(X 21 , ...,X

2n ). If λ1, ..., λm ∈ B(n) is a sequence

of homogeneous elements of positive degrees d1, ..., dm andI = (λ1, ..., λm) then

Ind(I ) = min{d ≥ 0 | I ∩ Bd = Bd}

The sequence λ1, . . . , λm is semi-regular over F2 if for alli = 1, 2, . . . ,m, if µ is homogeneous and

µλi ∈ (λ1, . . . , λi−1) and deg(µ) + deg(λi ) < Ind(I )

then µ ∈ (λ1, . . . , λi ).

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 5 / 20

Page 14: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Definitions

Let Bd ⊂ B(n) be the set of homogeneous polynomials of degree d .

Definition 1

Let B(n) = F2[X1, ...,Xn]/(X 21 , ...,X

2n ). If λ1, ..., λm ∈ B(n) is a sequence

of homogeneous elements of positive degrees d1, ..., dm andI = (λ1, ..., λm) then

Ind(I ) = min{d ≥ 0 | I ∩ Bd = Bd}The sequence λ1, . . . , λm is semi-regular over F2 if for alli = 1, 2, . . . ,m, if µ is homogeneous and

µλi ∈ (λ1, . . . , λi−1) and deg(µ) + deg(λi ) < Ind(I )

then µ ∈ (λ1, . . . , λi ).

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 5 / 20

Page 15: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Characterization with Hilbert Series

The truncation of a series∑

aizi is defined to be:[∑

aizi]

=∑

bizi

where bi = ai if aj > 0 for all j ≤ i , and bi = 0 otherwise.

For instance

[1 + 10z + z2 + 20z3 − z4 + z6 + · · · ] = 1 + 10z + z2 + 20z3

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 6 / 20

Page 16: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Characterization with Hilbert Series

The truncation of a series∑

aizi is defined to be:[∑

aizi]

=∑

bizi

where bi = ai if aj > 0 for all j ≤ i , and bi = 0 otherwise.

For instance

[1 + 10z + z2 + 20z3 − z4 + z6 + · · · ] = 1 + 10z + z2 + 20z3

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 6 / 20

Page 17: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Characterization with Hilbert Series

The truncation of a series∑

aizi is defined to be:[∑

aizi]

=∑

bizi

where bi = ai if aj > 0 for all j ≤ i , and bi = 0 otherwise.

For instance

[1 + 10z + z2 + 20z3 − z4 + z6 + · · · ] = 1 + 10z + z2 + 20z3

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 6 / 20

Page 18: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Characterization with Hilbert Series

Theorem 2 (Bardet, Faugere, Salvy, Yang)

Let λ1, ..., λm ∈ B(n) be a sequence of homogeneous elements of positivedegrees d1, ..., dm and I = (λ1, ..., λm). Then, the sequence λ1, ..., λm issemi-regular if and only if

HilbB(n)/I (z) =

[(1 + z)n∏mi=1(1 + zdi )

]

Let λ1, ..., λm ∈ B(n) be a sequence of homogeneous elements and letI = (λ1, ..., λm). If the sequence is semi-regular then

Ind(λ1, ..., λm) = 1 + deg(HilbB(n)/I (z))

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 7 / 20

Page 19: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Characterization with Hilbert Series

Theorem 2 (Bardet, Faugere, Salvy, Yang)

Let λ1, ..., λm ∈ B(n) be a sequence of homogeneous elements of positivedegrees d1, ..., dm and I = (λ1, ..., λm). Then, the sequence λ1, ..., λm issemi-regular if and only if

HilbB(n)/I (z) =

[(1 + z)n∏mi=1(1 + zdi )

]Let λ1, ..., λm ∈ B(n) be a sequence of homogeneous elements and letI = (λ1, ..., λm). If the sequence is semi-regular then

Ind(λ1, ..., λm) = 1 + deg(HilbB(n)/I (z))

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 7 / 20

Page 20: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Example

Consider the element λ = x1x2 + x3x4 + x5x6 in B(6) and let I = (λ).

HSB(6)/I (z) = 1 + 6z + 14z2 + 14z3 + z4

and(1 + z)6

1 + z2= 1 + 6z + 14z2 + 14z3 + z4 − 8z5 + · · ·

[(1+z)6

1+z2

]= 1 + 6z + 14z2 + 14z3 + z4 = HSB(6)/I (z).

λ is semi-regular and Ind(λ) = 5.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 8 / 20

Page 21: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Example

Consider the element λ = x1x2 + x3x4 + x5x6 in B(6) and let I = (λ).

HSB(6)/I (z) = 1 + 6z + 14z2 + 14z3 + z4

and(1 + z)6

1 + z2= 1 + 6z + 14z2 + 14z3 + z4 − 8z5 + · · ·

[(1+z)6

1+z2

]= 1 + 6z + 14z2 + 14z3 + z4 = HSB(6)/I (z).

λ is semi-regular and Ind(λ) = 5.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 8 / 20

Page 22: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Example

Consider the element λ = x1x2 + x3x4 + x5x6 in B(6) and let I = (λ).

HSB(6)/I (z) = 1 + 6z + 14z2 + 14z3 + z4

and(1 + z)6

1 + z2= 1 + 6z + 14z2 + 14z3 + z4 − 8z5 + · · ·

[(1+z)6

1+z2

]= 1 + 6z + 14z2 + 14z3 + z4 = HSB(6)/I (z).

λ is semi-regular and Ind(λ) = 5.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 8 / 20

Page 23: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Example

Consider the element λ = x1x2 + x3x4 + x5x6 in B(6) and let I = (λ).

HSB(6)/I (z) = 1 + 6z + 14z2 + 14z3 + z4

and(1 + z)6

1 + z2= 1 + 6z + 14z2 + 14z3 + z4 − 8z5 + · · ·

[(1+z)6

1+z2

]= 1 + 6z + 14z2 + 14z3 + z4 = HSB(6)/I (z).

λ is semi-regular and Ind(λ) = 5.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 8 / 20

Page 24: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences

Sequences that are trivially semi-regular:

Sequences of linear elements that are linearly independent aresemi-regular.

Sequences of homogeneous polynomials of degree n − 1 in B(n) thatare linearly independent are semi-regular.

x1x2 · · · xn ∈ B(n) is semi-regular.

Any a basis of Bd the space of homogeneous polynomials of degree d ,is semi-regular.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 9 / 20

Page 25: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences

Sequences that are trivially semi-regular:

Sequences of linear elements that are linearly independent aresemi-regular.

Sequences of homogeneous polynomials of degree n − 1 in B(n) thatare linearly independent are semi-regular.

x1x2 · · · xn ∈ B(n) is semi-regular.

Any a basis of Bd the space of homogeneous polynomials of degree d ,is semi-regular.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 9 / 20

Page 26: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences

Sequences that are trivially semi-regular:

Sequences of linear elements that are linearly independent aresemi-regular.

Sequences of homogeneous polynomials of degree n − 1 in B(n) thatare linearly independent are semi-regular.

x1x2 · · · xn ∈ B(n) is semi-regular.

Any a basis of Bd the space of homogeneous polynomials of degree d ,is semi-regular.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 9 / 20

Page 27: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences

Sequences that are trivially semi-regular:

Sequences of linear elements that are linearly independent aresemi-regular.

Sequences of homogeneous polynomials of degree n − 1 in B(n) thatare linearly independent are semi-regular.

x1x2 · · · xn ∈ B(n) is semi-regular.

Any a basis of Bd the space of homogeneous polynomials of degree d ,is semi-regular.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 9 / 20

Page 28: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences

Sequences that are trivially semi-regular:

Sequences of linear elements that are linearly independent aresemi-regular.

Sequences of homogeneous polynomials of degree n − 1 in B(n) thatare linearly independent are semi-regular.

x1x2 · · · xn ∈ B(n) is semi-regular.

Any a basis of Bd the space of homogeneous polynomials of degree d ,is semi-regular.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 9 / 20

Page 29: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences

Conjecture 1 (Bardet, Faugere, Salvy, Yang)

The proportion of semi-regular sequences tends to one as the number ofvariables tends to infinity.

This conjecture is true in the following precise sense.

Theorem 3 (Hodges, Molina, Schlather)

Let h(n) be the number of subsets of B(n) consisting of homogeneouselements of degree greater than or equal to one. Let s(n) be the numberof such subsets that are semi-regular. Then

limn→∞

s(n)

h(n)= 1

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 10 / 20

Page 30: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences

Conjecture 1 (Bardet, Faugere, Salvy, Yang)

The proportion of semi-regular sequences tends to one as the number ofvariables tends to infinity.

This conjecture is true in the following precise sense.

Theorem 3 (Hodges, Molina, Schlather)

Let h(n) be the number of subsets of B(n) consisting of homogeneouselements of degree greater than or equal to one. Let s(n) be the numberof such subsets that are semi-regular. Then

limn→∞

s(n)

h(n)= 1

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 10 / 20

Page 31: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences

Conjecture 1 (Bardet, Faugere, Salvy, Yang)

The proportion of semi-regular sequences tends to one as the number ofvariables tends to infinity.

This conjecture is true in the following precise sense.

Theorem 3 (Hodges, Molina, Schlather)

Let h(n) be the number of subsets of B(n) consisting of homogeneouselements of degree greater than or equal to one. Let s(n) be the numberof such subsets that are semi-regular. Then

limn→∞

s(n)

h(n)= 1

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 10 / 20

Page 32: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Non-Existence of Semi-Regular Sequences

Conjecture 2 (Bardet, Faugere, Salvy)

Let π(n,m, d1, . . . , dm) be the proportion of sequences in B(n) of melements of degrees d1, . . . , dm that are semi-regular. Thenπ(n,m, d1, . . . , dm) tends to 1 as n tends to ∞.

This conjecture is false. In fact the opposite is true.

Theorem 4 (Hodges, Molina, Schlather)

For a fixed choice of (m, d1, . . . , dm), there exists N such that

π(n,m, d1, . . . , dm) = 0.

for all n ≥ N.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 11 / 20

Page 33: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Non-Existence of Semi-Regular Sequences

Conjecture 2 (Bardet, Faugere, Salvy)

Let π(n,m, d1, . . . , dm) be the proportion of sequences in B(n) of melements of degrees d1, . . . , dm that are semi-regular. Thenπ(n,m, d1, . . . , dm) tends to 1 as n tends to ∞.

This conjecture is false. In fact the opposite is true.

Theorem 4 (Hodges, Molina, Schlather)

For a fixed choice of (m, d1, . . . , dm), there exists N such that

π(n,m, d1, . . . , dm) = 0.

for all n ≥ N.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 11 / 20

Page 34: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Non-Existence of Semi-Regular Sequences

Conjecture 2 (Bardet, Faugere, Salvy)

Let π(n,m, d1, . . . , dm) be the proportion of sequences in B(n) of melements of degrees d1, . . . , dm that are semi-regular. Thenπ(n,m, d1, . . . , dm) tends to 1 as n tends to ∞.

This conjecture is false. In fact the opposite is true.

Theorem 4 (Hodges, Molina, Schlather)

For a fixed choice of (m, d1, . . . , dm), there exists N such that

π(n,m, d1, . . . , dm) = 0.

for all n ≥ N.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 11 / 20

Page 35: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Table: Proportion of Samples of 20 Sets of m Homogeneous Quadratic Elementsin n variables that are Semi-Regular

n\m 2 3 4 5 6 7 8 9 10 11 12 13 14

3 1 .8 1 1 1 14 .35 1 .75 .75 .3 .65 .85 .9 1 1 1 1 15 0 .85 .95 1 .9 .85 .75 .6 .2 .65 .7 .9 .96 .85 .7 .65 .9 1 1 1 .95 .95 .95 .75 .8 .57 0 .85 1 .1 1 1 1 1 1 1 1 .95 18 .7 .45 1 1 .95 .1 1 1 1 1 1 1 19 0 .95 .7 1 1 1 1 .8 .9 1 1 1 1

10 0 .85 1 .35 1 1 1 1 1 1 .25 1 111 0 .95 1 1 1 1 1 1 1 1 1 1 112 0 0 1 1 1 1 .9 1 1 1 1 1 113 0 0 1 1 1 1 1 1 1 1 1 1 114 0 0 0 1 1 1 1 1 1 1 1 1 115 0 0 0 1 1 1 1 1 1 1 1 1 .45

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 12 / 20

Page 36: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Neither of the previous conjectures accurately addresses the observedfact that “most” quadratic sequences of length n in n variables aresemi-regular.

Conjecture 3

For any 1 ≤ d ≤ n define π(n, d) to be the proportion of sequences ofdegree d and length n in n variables that are semi-regular. Then

limn→∞

π(n, d) = 1.

Conjecture 4

There exists an ε such that if m(n) = bαnc+ c , then the proportion ofsequences of length m(n) in n variables tends to one as n tends to infinitywhenever α > ε.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 13 / 20

Page 37: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Neither of the previous conjectures accurately addresses the observedfact that “most” quadratic sequences of length n in n variables aresemi-regular.

Conjecture 3

For any 1 ≤ d ≤ n define π(n, d) to be the proportion of sequences ofdegree d and length n in n variables that are semi-regular. Then

limn→∞

π(n, d) = 1.

Conjecture 4

There exists an ε such that if m(n) = bαnc+ c , then the proportion ofsequences of length m(n) in n variables tends to one as n tends to infinitywhenever α > ε.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 13 / 20

Page 38: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Neither of the previous conjectures accurately addresses the observedfact that “most” quadratic sequences of length n in n variables aresemi-regular.

Conjecture 3

For any 1 ≤ d ≤ n define π(n, d) to be the proportion of sequences ofdegree d and length n in n variables that are semi-regular. Then

limn→∞

π(n, d) = 1.

Conjecture 4

There exists an ε such that if m(n) = bαnc+ c , then the proportion ofsequences of length m(n) in n variables tends to one as n tends to infinitywhenever α > ε.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 13 / 20

Page 39: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences (case m = 1)

Question 1

For which values of n and d do there exist semi-regular elements of degreed in B(n)?

In her thesis Bardet asserts that the elementary symmetric quadraticpolynomial

σ2(x1, ..., xn) =∑

1≤i<j≤nxixj

is semi-regular for all n.

By the previous theorem there are finitely many values of n for whichσ2(x1, ..., xn) can be semi-regular. Moreover, we have the followingtheorem.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 14 / 20

Page 40: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences (case m = 1)

Question 1

For which values of n and d do there exist semi-regular elements of degreed in B(n)?

In her thesis Bardet asserts that the elementary symmetric quadraticpolynomial

σ2(x1, ..., xn) =∑

1≤i<j≤nxixj

is semi-regular for all n.

By the previous theorem there are finitely many values of n for whichσ2(x1, ..., xn) can be semi-regular. Moreover, we have the followingtheorem.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 14 / 20

Page 41: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences (case m = 1)

Question 1

For which values of n and d do there exist semi-regular elements of degreed in B(n)?

In her thesis Bardet asserts that the elementary symmetric quadraticpolynomial

σ2(x1, ..., xn) =∑

1≤i<j≤nxixj

is semi-regular for all n.

By the previous theorem there are finitely many values of n for whichσ2(x1, ..., xn) can be semi-regular. Moreover, we have the followingtheorem.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 14 / 20

Page 42: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences (case m = 1)

Question 1

For which values of n and d do there exist semi-regular elements of degreed in B(n)?

In her thesis Bardet asserts that the elementary symmetric quadraticpolynomial

σ2(x1, ..., xn) =∑

1≤i<j≤nxixj

is semi-regular for all n.

By the previous theorem there are finitely many values of n for whichσ2(x1, ..., xn) can be semi-regular. Moreover, we have the followingtheorem.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 14 / 20

Page 43: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences (case m = 1)

Theorem 5 (Hodges, Molina, Schlather)

A homogeneous element of degree d ≥ 2 can only be semi-regular ifn ≤ 3d .

For instance σ2(x1, ..., xn) (or any quadratic homogeneouspolynomial) can only be semi-regular if n ≤ 6.

Is the bound n = 3d sharp?

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 15 / 20

Page 44: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences (case m = 1)

Theorem 5 (Hodges, Molina, Schlather)

A homogeneous element of degree d ≥ 2 can only be semi-regular ifn ≤ 3d .

For instance σ2(x1, ..., xn) (or any quadratic homogeneouspolynomial) can only be semi-regular if n ≤ 6.

Is the bound n = 3d sharp?

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 15 / 20

Page 45: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences (case m = 1)

Theorem 5 (Hodges, Molina, Schlather)

A homogeneous element of degree d ≥ 2 can only be semi-regular ifn ≤ 3d .

For instance σ2(x1, ..., xn) (or any quadratic homogeneouspolynomial) can only be semi-regular if n ≤ 6.

Is the bound n = 3d sharp?

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 15 / 20

Page 46: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences (case m = 1)

Theorem 6 (Hodges, Molina, Schlather)

Let d ≥ 2, where d = 2k l with l an odd number, and k a non-negativeinteger. Consider the elementary symmetric polynomial of degree d

σd ,n =∑

1≤i1<···<id≤nxi1 · · · xid

then

(a) If l > 1, σd ,n is semi-regular if and only if d ≤ n ≤ d + 2k+1 − 1.

(b) If l = 1, σd ,n is semi-regular if and only if d ≤ n ≤ d + 2k+1.

In particular when d = 2k , σd ,n is semi-regular for all d ≤ n ≤ 3d ,thus establishing that the bound is sharp for infinitely many n.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 16 / 20

Page 47: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Existence of Semi-Regular Sequences (case m = 1)

Theorem 6 (Hodges, Molina, Schlather)

Let d ≥ 2, where d = 2k l with l an odd number, and k a non-negativeinteger. Consider the elementary symmetric polynomial of degree d

σd ,n =∑

1≤i1<···<id≤nxi1 · · · xid

then

(a) If l > 1, σd ,n is semi-regular if and only if d ≤ n ≤ d + 2k+1 − 1.

(b) If l = 1, σd ,n is semi-regular if and only if d ≤ n ≤ d + 2k+1.

In particular when d = 2k , σd ,n is semi-regular for all d ≤ n ≤ 3d ,thus establishing that the bound is sharp for infinitely many n.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 16 / 20

Page 48: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

n\d 2 3 4 5 6 7 8 9 10 11 12 13 14

2 x

3 x x

4 x x x

5 x x x

6 x x x x

7 x x x

8 x x x x

9 x x x x

10 x x x x

11 x x x x

12 x x x x x

13 x x x x

14 x x x x

Table: Semi-Regularity of σd,n. The values when σd,n is semi-regular are markedwith an x

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 17 / 20

Page 49: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Example

For n = 50 variables the following elements are semi-regular:

Any element of degree d = 1, d = 49 or d = 50 is triviallysemi-regular.

The elementary symmetric polynomial of degree d , σd(x1, . . . , x50) issemi-regular for d = 32, 44, 48.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 18 / 20

Page 50: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Example

For n = 50 variables the following elements are semi-regular:

Any element of degree d = 1, d = 49 or d = 50 is triviallysemi-regular.

The elementary symmetric polynomial of degree d , σd(x1, . . . , x50) issemi-regular for d = 32, 44, 48.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 18 / 20

Page 51: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Example

For n = 50 variables the following elements are semi-regular:

Any element of degree d = 1, d = 49 or d = 50 is triviallysemi-regular.

The elementary symmetric polynomial of degree d , σd(x1, . . . , x50) issemi-regular for d = 32, 44, 48.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 18 / 20

Page 52: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

We need to prove the observed fact that “most” quadratic sequencesare semi-regular.

Even the question of the existence of quadratic sequences of length nin n variables for all n remains open.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 19 / 20

Page 53: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

We need to prove the observed fact that “most” quadratic sequencesare semi-regular.

Even the question of the existence of quadratic sequences of length nin n variables for all n remains open.

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 19 / 20

Page 54: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Thank you very much!

T. Hodges, S. Molina, J. Schlather, On the Existence of Semi-RegularSequences. Available under http://arxiv.org/abs/1412.7865

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 20 / 20

Page 55: On the Existence of Semi-Regular Sequencesdimacs.rutgers.edu/archive/Workshops/Post-Quantum/Slides/Molina.pdf · On the Existence of Semi-Regular Sequences Sergio Molina1 joint work

Thank you very much!

T. Hodges, S. Molina, J. Schlather, On the Existence of Semi-RegularSequences. Available under http://arxiv.org/abs/1412.7865

Sergio Molina (UC) Semi-Regular Sequences DIMACS 2015 20 / 20