Математическое моделирование, численные методы и комплексы программ
УДК: 51
DOI: 10.30987/2658-643 6-2020-2-4-10
С.А. Алешина, И.В. Вьюгин ПОЛИНОМИАЛЬНЫЙ ВАРИАНТ ЗАДАЧИ СУММ-ПРОИЗВЕДЕНИЙ
В работе рассматривается обобщение задачи сумм-произведений. Обобщённый принцип данной проблемы сформулирован в гипотезе Эрдёша-Семереди. Вместо суммы Минковского множеств рассматривается множество значений f(x,y) однородного полинома f от двух переменных х и у, принадлежащих подгруппе мультипликативной группы G of F* поля положительной характеристики. В работе получена нижняя оценка мощности такой полиномиальной суммы. Данная тема имеет прикладное значение в теории информации и динамике при расчете вероятностей событий, а также в различных методах кодирования и декодирования информации.
Ключевые слова: задача сумм-произведений, поле вычетов, мультипликативная группа, подгруппа.
S.A. Aleshina, I.V. Vyugin POLYNOMIAL VERSION ON THE SUM-PRODUCT PROBLEM
This work is about the generalization of sum-product problem. The general principle of it was formulated in the Erdos-Szemeredi's hypothesis. Instead of the Minkowski sum in this hypothesis, the set of values f(x,y) of a homogeneous polynomial f lin two variables, where x and у belong to subgroup G of F* is considered. The lower bound on the cardinality of such set is obtained. This topic has an applied value in the theory of information and dynamics in calculating the probabilities of events, as well as in various methods of encoding and decoding information.
Keywords: sum-product problem, residue field, multiplicative group, subgroup.
Introduction
This work touches upon questions of arithmetic combinatorics, which studies simultaneously additive and multiplicative operations on sets. One of the most fundamental questions is the problem of sum-product subsets. The detailed description of it can be found in the paper [1]. The problem below has numerous applications in several branches of mathematics, such as cryptography for codes and dynamical systems. The results associated with the problem of sum-product type in a field of positive characteristic enable us to solve the problem of estimating trigonometrical sums over subgroups, which is particularly important for number theory. These estimates make it possible to describe the distribution of the elements of a multiplicative subgroup in a field of positive characteristic.
Let A be a finite non-empty set of elements of a ring K (for example, a finite set of integers). Consider the sum and product of A with itself:
A + A '= (a + b : a,h £ A} (1)
A ■ A := {a- b : a,b E A} (2)
Obviously, the cardinality of both these sets is at least \A and in general the expectation is that it to be close to \A\2. However, if A is closed under addition and multiplication (A is closed to a
subring), then the cardinality of both sets A + A and A ■ Acmi be comparable to \A\. For the ring of integers, the Erdos - Szemeredi's hypothesis says that there exists a positive number £ for which the following inequality holds:
max(\A + A\, \A ■ A\) » \A\2~£ (3)
for any finite subset \A\ of a ring. The inequality means that there exists a positive numberC such that maxQA + A\,\A ■ A |) > C\A\2~Z. This is the sum-product phenomenon: if the finite set A is not close to a real ring, then the sum A + A or the product A ■ i4must be considerably larger than A&nd close to \A\2.
This phenomenon was not proved, however, there is Erdos - Szemeredi's theorem for finite
set of integers which states:
maxQA + A\, \A ■ A[)y> \A\1+C,
where c - positive constant.
Estimates for the constant were constantly improved. If the set A c R, then best result was proved by Solymosi based on the Szemeredi-Trotter theorem:
maxQA + A\, \A • A\) » (4)
Remark: Consider the analogous problem of estimating the cardinality of the set \A + A ■ A\. In the construction of this problem both additive and multiplicative operations are
applied. It is known that \A + A ■ A\ » \A\4/3.
In 1999 Tom Wolf (see [1]) raised the idea of looking for the phenomenon of sum-product type in finite fields Fpof prime order (such fields do not have non-trivial subrings). In particular, the
inequality (3) holds if At: Fp and ^ does not coincide with the entire field in the sense that \A\ < p1-5 for some 8 > 0 (it is reasonable that £ should depend on 8), which was subsequently resolved positively. Now the corresponding result is known as the theorem on estimates of sums of products for Fp (later he had new proofs and refinements).
It follows from the sum-product phenomenon that if the set A <= f^of medium size ps < \A\ < p1_shas a multiplicative structure (for example, is a geometric progression or multiplicative subgroup), then it cannot have an additive structure: the sum A + more larger than the original set A. Further, it is concluded that sets with multiplicative structure are uniformly distributed in the additive sense.
There are some modern results in the sum-product problem: Theorem (Konyagin-Shkredov, Rudnev-Steven-Shkredov, 2016-2017) Let A c= R. Then
maxQA + A\,\A ■ ¿|)>> \A\z+c, where 1-41 is infinite, c > 0 is an absolute constant.
Theorem (Roche-Newton-Rudnev-Shkredov, 2016, Askoy-Yazici-Murphy-Rudnev-Shkredov, 2017)
Let A c= Fp, \A\ <ps/G.Then
max{\A + A\,\A ■ A\) »
Additive shifts of multiplicative subgroups
This problem is widely applicable in algebra, for example, in the study of additive shifts of multiplicative subgroups.
GarciaandJ. Volochin 1988 [7],using some algebraic ideas, provedthat for any multiplicative
subgroup G c Fp, G < and any \i ^ 0:
\0 H (G + ¿01 < 4|G|f. (5)
D. Heath - Brown and S. Konyagin [4] simplified the proof of this fact and improved the constants in 2000 with the help of method of S. Stepanov [6], that is extremely popular in number theory. After that in 2012 I. Vyugin and I. Shkredov [3] generalize this fact for the number of
additive shifts:
Let G c Fp* - multiplicative subgroup, k > 1 - an integer, \G\ > k ■ 22k+4- Let ft,., .ft -
different non-zero residues and Q = GQ - an invariant set such as:
2fc+l
.
Then
f i
Z\G П {G + Aft) П.....П (G + Aft)! <4(fc + l)(|Q|i^+l) \G\.
lEQ
This theorem leads to the statement about the maximum of the cardinality of the intersection of k additive shifts of subgroup: Let
32k ■ 220tel°£Cfc+1> < \Glp > 4k\G\([GpSi + l).
Then
\G n (G + ft) H.. .fl (G + ft)| < 4ft + 1) (№« + ij .
In other words,
||G H (G + ft) H.. .H (G + ft) | < k\G
If
1 «k\G\ « kp1 where {flr^ },{/?&} — some sequences of positive numbers and .
Also, in that work another additive characteristic of multiplicative subgroups is considered, namely, the cardinality of its sum and difference. The estimate (5) leads to
|G + G| » |G|3
For any G, for which |G [ « pi. Indeed, considering the cardinality of union of group G with some k elements of group G
then it equals to
from (5). If taking k = C|G|3, where C - some constant, then the previous inequality will look like:
4
(C-2C2)|G|i + 2C|G|. The last part of the sum is linear, that can be omitted, so:
|G U (G + ft) U...U (G + ft) [ > (C- 2C2)|G|i
that means that
|G + G| » |G|i
since
1GU (G +ft)U...U (G + ft)| < |G + G| This result will be generalized for polynomials in Theorem 2(trivial bound).
D. Heath - Brown and S.Konyagin proved the inequality
\G±G\ » \G\*
2
for all subgroup G, for which « ps. Using the combinatorial idea, I. Vyugin and I. Shkredov made the previous inequality stronger:
for all subgroup G, for which |G| « pa.
In this work the problem of the sum-product type for multiplicative subgroups is extended, and the lower bound of the number of solutions for the set P(Gf G) where G is a multiplicative subgroup, is obtained. The obtained estimate generalizes the earlier ones (see [1, 2]). These estimates are a corollary of author's result if the linear polynomial P(x, y) is considered.
Preliminaries
Definition 1. Let us call the polynomial P (E Fp[x, y]good if it is homogeneous with respect to x,y and P(x, y) — lis absolutely irreducible (it is irreducible over the algebraic closure of Fp).
Definition 2. For a prime number p and a natural number n, let us call a groups (nfp)-
admitted ifG c= F* and 100™3 < \G\ < .
Theorem 1 (I. Vyugin, S. Makarychev). For any natural number n there exist constants Clf C2 > 0 such that for any prime number p, for any (nt p)- admitted group G, for any good polynomial P of degree n, for any natural h < C2\G\3?2 and numbers alt.. .ah E F* in different G-cosets, there are at most
C^3 \G\2^
pairs (x,y) for which P(%, y) = ak for some k. Later one of the constants in the last theorem was found exactly: C1 = 32n5.
Main results
Let us begin with the supporting statement:
Lemma. Let P(x,y) E Fp be a homogeneous polynomial of degree n such that the polynomial P(xfy) — 1 is irreducible over algebraic closure of Then the polynomial Q(x, y) = P(x, y) — a, where a is a constant in Fp is irreducible over the closure of Fp.
Proof. For any a from Fp there must be denoted by the root of the n - th power from ~ in the algebraic closure of Fp.The polynomial P(ax, ay) — 1 is irreducible because if
P{ax,ay) - 1 = P1(x>y)P2(xiy)> then substituting into this equality x/a and y/a instead of x and y, then
P{xty) -1 = P1 (-,-) P2 (-,
\a a/ \a a/
i.e. P(x, y) — 1 is reducible, that contradicts to the assumption. So,
P(ax,ay) - 1 = anP(x,y) -1 =
a
is irreducible. Multiplication by the constant a does not change irreducibility.
Theorem 2 (trivial bound). For any те there exist С > 0 such that for any prime number
p (n,p) - admitted group G and a good polynomial P of degree те:
\P(GfG)\ > C\G\a
Here P(G,G) is the set of all elements of Fp that can be obtained by substituting all possible elements of G as x,y.
Proof. Consider the equation P(x, y) = a. There are two cases: a — 0 and а Ф 0.
1) For any аФ 0, the Theorem 1 can be applied (according to Lemma, P(x,y) = a is absolutely irreducible), taking h = 1 (that P(x,y) = a has at most Ca|(7|2solutions for a constant C± depending only on the polynomial P).
2) If a — 0, then the number of pairs for which P(x, у) = 0 is at most 2n\G\.
a) If P(x,*) = 0 (P vanishes when у is substituted), then there are no more than те values of у (for example, the leading coefficient of % must vanishes, and its degree in у is not greater than те). They give no more than те|£| pairs for which the P vanishes.
b) If the polynomial does not vanish (the given у is substituted), then it turns into a nonzero polynomial in % of degree no greater than те. Therefore, this polynomial has no more than n roots. In total, this gives at most |£?|те pairs for which the polynomial vanishes. Now it is needful to estimate the number of values of good P on elements from the (те, p)-admitted group G.
As \G\ > 100n3 (see Definition 2), then
.
As it was proved above, there are at most 2n\G\ solutions
Pfcy) = 0
this means that there are smaller than one fiftieth of all possible pairs. Remaining at least
fSQrt2 —i^lGl2
-^^-pairs must somehow be distributed among other values of P, but each of these values
does not exceed Ct\G\2^3 pairs. Hence, the number of values cannot be less than
(cii^3) =(^7)|g|4/3
As C± = 32n5 (see the Theorem 1), then
^ _ SOn2—1
.
The goal of this paper is to improve the lower bound of the number of solutions of the set P{G,Gy
Theorem 3 (non-trivial bound). For any n there exist С > 0 such that for any prime number p(nfp) - admitted group G and a good polynomial P of degree n:
> C\G\3?2
Proof. Suppose the contrary. Then there exists те, for which Theorem 3 is not correct. Then for any constant С there are the (те, p) -admitted group G and the good polynomial P such that
\P(G,G)\ < C\G\3?2
To obtain a contradiction, Theorem 1 must be applied. Thus, for n it needs to be chosen some СгС2 > 0 satisfying the condition of Theorem 3. After this let us choose С > 0 such that
C<C2,C1C2/3<^ Zj 1 SOn2
Take any bad pair (P, G) for the chosen C. All possible values of P(G, G) that are not more than C|G|3^2 can be arranged in the form of the Young tableau in such a way that each row contains values from one G -coset, and in different rows - from different G-cosets . Thus, each line of the resulting diagram has no more than |G| elements. Let us estimate from above the number of pairs :.Y, . : for which the value lies into one or another column.
If some column has h elements, then it can be noted that h < < C|G|3'2 < C2\G\3f2. Therefore, since all the elements of the column lie in
different G- cosets, according to the Theorem 1, there exists at most Cth2^3\G\2^3 pairs (x,y) for which P(x,y) lies into this column. The number of pairs for which P(x,y) = 0 is at most 2n\G\ (see the proof of Theorem 2).
Now it can be denoted the column lengths for ■ ■ ■ h\G\ and estimate the total number of
pairs:
\G\2 <2n\G\ + > Cjg3\G\2'3
.
On the other hand, by the inequality on the power averages:
The sum of all the total number of cells in the table, so it does not exceed C\G\3^2, whence:
,50tc2—1
\G\ * —-»-1 - -x- . - . 1 1 ^ SOn'
[G|2 < 2n|C| + CJGI^IGK^)2/3 = 2n\G\ + < 2n\G\ +
As > 100îï3(see Definition 2), it is a contradiction, and therefore, theorem is proved. The constant
as C2 was not found yet.
Conclusion
In this paper, the sum-product problem for multiplicative subgroups is expanded, and the lower bound for the number of solutions for the set P(G,G) is obtained. The received estimate
generalizes the ones previously obtained (see [1,2]). These estimates are a consequence of the obtained result assuming that the polynomial PC^y) is linear. The results that are considered in
this paper, are intricately connected to another problems in additive combinatorics, namely, the additive energy of two sets and the structure of sumset problem, which allows to obtain the improved estimates for the cardinality of such sets.
Список литературы:
1. Tao, T. Структура и случайность - M: МЦНМО, 2013. - 360 с.
2. Corvaja, P. Greatest common divisor of u-1, v-1 in positive and rationalpoints on curves over finite fields / P. Corvaja, U. Zannie // L. Eur. Math. Soc., 15, 1927- 1942, (2013). - Pp.345-356.
References:
1. Tao, T. Struktura i sluchajnost' - M: MCNMO, 2013. -360 p.
2. Corvaja, P. Greatest common divisor of u-1, v-1 in positive and rational points on curves over finite fields / P. Corvaja, U. Zannie // L. Eur. Math. Soc., 15, 19271942, (2013). - Pp.345-356.
3. Вьюгин, И.В. Об аддитивных сдвигах мультипликативных подгрупп / И.В. Вьюгин, И.Д. Шкредов // Матем. сб., 2012. - Т. 203, № 6. - С. 81100.
4. Heath-Brown, D. R. New bounds for Gauss sums derived from k-thpowers, and for Heilbronn's exponential sum / Heath-Brown, D. R. S. Konyagin // Q. J. Math., 51: 2 (2000). - Pp. 221-235.
5. Конягин, С. В. Оценки для тригонометрических сумм на подгруппы и для гауссовых сумм", IV интернац. конф. Современные проблемы теории чисел и ее приложения, Актуальные проблемы. Часть 3 (Тула, 2001). - Изд: Моск. ун-та. - 2002. - C. 86-114.
6. Степанов, С. А. О числе точек гиперэллиптической кривой над простым конечным полем / С. А. Степанов // Изв. АН CCCP. - 1969. - С. 1171-1181.
7. Garcia, A. Fermat curves over finite fields / A. Garcia, J. F. Voloch // Number Theory, 30: 3 (1988). - Pp. 345356.
8. Katz, N. H. On additive doubling and energy / N. H. Katz, P. Koester. SIAM J. Discrete Math., 24:4 (2010). -Pp. 1684-1693.
9. Sanders, T. On a non-abelian Balog-Szemeredi-type lemma, arXiv: 0912.0306.
10. Sanders, T. Structure in sets with logarithmic doubling, arXiv: 1002.1552.
Сведения об авторах
Алешина Софья Александровна
студентка программы MBA университета Бедфордшира,
E-mail: [email protected].
Вьюгин Илья Владимирович
кандидат физико-математических наук, доцент факультета математики Национального Исследовательского Университета "Высшая Школа Экономики",
E-mail: [email protected].
3. V'yugin, I.V. Ob additivnyh sdvigah mul'tiplikativnyh podgrupp / I.V. V'yugin, I.D. SHkredov // Matem. sb., 2012. - T. 203, № 6. - Pp. 81-100.
4. Heath-Brown, D. R. New bounds for Gauss sums derived from k-thpowers, and for Heilbronn's exponential sum / Heath-Brown, D. R. S. Konyagin // Q. J. Math., 51: 2 (2000). - Pp. 221-235.
5. Konyagin, S. V. Ocenki dlya trigonometricheskih summ na podgruppy i dlya gaussovyh summ", IV internac. konf. Sovremennye problemy teorii chisel i ee prilozheniya, Aktual'nye problemy. CHast' 3 (Tula, 2001). - Izd: Mosk. un-ta. - 2002. - Pp. 86-114.
6. Stepanov, S. A. O chisle tochek giperellipticheskoj krivoj nad prostym konechnym polem / S. A. Stepanov // Izv. AN USSR. - 1969. - Pp. 1171-1181.
7. Garcia, A. Fermat curves over finite fields / A. Garcia, J. F. Voloch // Number Theory, 30: 3 (1988). - Pp. 345356.
8. Katz, N. H. On additive doubling and energy / N. H. Katz, P. Koester. SIAM J. Discrete Math., 24:4 (2010). -Pp. 1684-1693.
9. Sanders, T. On a non-abelian Balog-Szemeredi-type lemma, arXiv: 0912.0306.
10. Sanders, T. Structure in sets with logarithmic doubling, arXiv: 1002.1552.
Статья поступила в редколлегию 24.04.2020. Рецензент: канд. техн. наук, доцент, Брянский государственный технический университет
Подвесовский А.Г. Статья принята к публикации 30.04.2020.
Information about authors:
Sofia Aleshina
MBA student at University of Bedfordshire, UK, E-mail: [email protected].
Ilya Vyugin
Candidate of Sciences* (PhD), docent of faculty of mathematics at National Research University "Higher School of Economics",
E-mail: [email protected].