TL;DR: These constructions of three query LDCs of vastly shorter length are obtained by constructing a large number of vectors in a small dimensional vector space whose inner products are restricted to lie in an algebraically nice set.
Abstract: A q-query Locally Decodable Code (LDC) encodes an n-bit message x as an N-bit codeword C(x), such that one can probabilistically recover any bit xi of the message by querying only q bits of the codeword C(x), even after some constant fraction of codeword bits has been corrupted.We give new constructions of three query LDCs of vastly shorter length than that of previous constructions. Specifically, given any Mersenne prime p = 2t − 1, we design three query LDCs of length N = exp(O(n1/t)), for every n. Based on the largest known Mersenne prime, this translates to a length of less than exp(O(n10 − 7)) compared to exp(O(n1/2)) in the previous constructions. It has often been conjectured that there are infinitely many Mersenne primes. Under this conjecture, our constructions yield three query locally decodable codes of length N = exp(nO(1/log log n)) for infinitely many n.We also obtain analogous improvements for Private Information Retrieval (PIR) schemes. We give 3-server PIR schemes with communication complexity of O(n10 − 7) to access an n-bit database, compared to the previous best scheme with complexity O(n1/5.25). Assuming again that there are infinitely many Mersenne primes, we get 3-server PIR schemes of communication complexity nO(1/log logn)) for infinitely many n.Previous families of LDCs and PIR schemes were based on the properties of low-degree multivariate polynomials over finite fields. Our constructions are completely different and are obtained by constructing a large number of vectors in a small dimensional vector space whose inner products are restricted to lie in an algebraically nice set.
TL;DR: In this article, the inverse conjecture for the Gowers norm was shown to be false for d = 2 and for d=4, by presenting an explicit function whose 4th Gower norm is non-negligible.
Abstract: Let p be a fixed prime number and N be a large integer. The "Inverse Conjecture for the Gowers Norm" states that if the "d-th Gowers norm" of a function f:FNp to Fp is non-negligible, that is larger than a constant independent of N, then f has a non-trivial correlation with a degree d-1 polynomial. The conjecture is known to hold for d=2,3 and for any prime p. In this paper we show the conjecture to be false for p=2 and for d=4, by presenting an explicit function whose 4-th Gowers norm is non-negligible, but whose correlation with any polynomial of degree 3 is exponentially small. Essentially the same result, with different bounds for correlation, was independently obtained by Green and Tao. Their analysis uses a modification of a Ramsey-type argument of Alon and Beigel to show inapproximability of certain functions by low-degree polynomials. We observe that a combination of our results with the argument of Alon and Beigel implies the inverse conjecture to be false for any prime p, for d = p2.
TL;DR: Under mild conditions on n, p, this work gives a lower bound on the number of n-variable balanced symmetric polynomials over finite fields GF(p), where p is a prime number.
Abstract: Under mild conditions on n, p, we give a lower bound on the number of n-variable balanced symmetric polynomials over finite fields GF(p), where p is a prime number. The existence of nonlinear balanced symmetric polynomials is an immediate corollary of this bound. Furthermore, we prove that X(2t, 2t+1lscr-1) are balanced and conjecture that these are the only balanced symmetric polynomials over GF(2), where X(d, n) = Sigma1lesi 1
TL;DR: In this article, it was shown that for every prime number p, the set of cyclic p-roots in C^p is finite, and that the number of p-root counts with multiplicity is equal to (2p-2/(p-1)!^2).
Abstract: In this paper it is proved, that for every prime number p, the set of cyclic p-roots in C^p is finite. Moreover the number of cyclic p-roots counted with multiplicity is equal to (2p-2)!/(p-1)!^2. In particular, the number of complex circulant Hadamard matrices of size p, with diagonal entries equal to 1, is less or equal to (2p-2)!/(p-1)!^2.
TL;DR: It is shown that a collection of primes is a set of characteristics of some network if and only if the collection is finite or co-finite and two networks N and N' are Is-equivalent if for any finite field F, N is scalar-linearly solvable over F.
Abstract: If beta and gamma are nonnegative integers and F is a field, then a polynomial collection {p1,..., pbeta}subeZ[alpha1,..., alphagamma] is said to be solvable over F if there exist omega1,..., omegagammaisinF such that for all i=1,..., beta we have pi(omega1,..., omegagamma)=0. We say that a network and a polynomial collection are solvably equivalent if for each field F the network has a scalar-linear solution over F if and only if the polynomial collection is solvable over F. Koetter and Medardpsilas work implies that for any directed acyclic network, there exists a solvably equivalent polynomial collection. We provide the converse result, namely that for any polynomial collection there exists a solvably equivalent directed acyclic network. (Hence, the problems of network scalar-linear solvability and polynomial collection solvability have the same complexity.) The construction of the network is modeled on a matroid construction using finite projective planes, due to MacLane in 1936. A set psi of prime numbers is a set of characteristics of a network if for every qisinpsi, the network has a scalar-linear solution over some finite field with characteristic q and does not have a scalar-linear solution over any finite field whose characteristic lies outside of psi. We show that a collection of primes is a set of characteristics of some network if and only if the collection is finite or co-finite. Two networks N and N' are ls-equivalent if for any finite field F, N is scalar-linearly solvable over F if and only if N' is scalar-linearly solvable over F. We further show that every network is ls-equivalent to a multiple-unicast matroidal network.
TL;DR: In this article, the fiber subgroups of fundamental groups arising from the various natural projections of a configuration space to lower-dimensional configuration spaces are characterized group-theoretically, via two somewhat distinct approaches.
Abstract: In this paper, we study the pro-Σ fundamental groups of configuration spaces, where Σ is either the set of all prime numbers or a set consisting of a single prime number. In particular, we show, via two somewhat distinct approaches, that, in many cases, the “fiber subgroups” of such fundamental groups arising from the various natural projections of a configuration space to lower-dimensional configuration spaces may be characterized group-theoretically.
TL;DR: In this article, it was shown that if q = pk, k > 1 and p is an odd prime number, then PSL(2,q) is uniquely determined by its prime graph and so these groups are characterizable by their prime graph.
Abstract: Let G be a finite group. The prime graph Γ(G) of G is defined as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p, q are joined by an edge if there is an element in G of order pq. It is proved that if p > 11 and p ≢ 1 (mod 12), then PSL(2,p) is uniquely determined by its prime graph. Also it is proved that if p > 7 is a prime number and Γ(G) = Γ(PSL(2,p2)), then G ≅ PSL(2,p2) or G ≅ PSL(2,p2).2, the non-split extension of PSL(2,p2) by ℤ2. In this paper as the main result we determine finite groups G such that Γ(G) = Γ(PSL(2,q)), where q = pk. As a consequence of our results we prove that if q = pk, k > 1 is odd and p is an odd prime number, then PSL(2,q) is uniquely determined by its prime graph and so these groups are characterizable by their prime graph.
TL;DR: In this article, a method for combining two or more input sequences in a communications system to increase a repetition period of the input sequence in a resource-efficient manner is presented, which includes a receiving step, a mapping step, and a generating step.
Abstract: A method is provided for combining two or more input sequences in a communications system to increase a repetition period of the input sequences in a resource-efficient manner. The method includes a receiving step, a mapping step, and a generating step. The receiving step involves receiving a first number sequence and a second number sequence, each expressed in a Galois field GF¬p k|. The mapping step involves mapping the first and second number sequences to a Galois extension field GF¬p k+1|. The generating step involves generating an output sequence by combining the first number sequence with the second number sequence utilizing a Galois field multiplication operation in the Galois extension field GF¬p k+1|. p is a prime number. k is an integer. p k+1 defines a finite field size of the Galois extension field GF¬p k+1|.
TL;DR: The complexity bound is improved by showing that the method can be modified slightly, with two crucial observations, to obtain an O(n|f|) implementation, where |f| denotes the length of the DNF expression of a positive Boolean function f, and n is the number of variables in f.
TL;DR: It is shown that if A is a subset of {1, …, n} which has no pair of elements whose difference is equal to p − 1 with p a prime number, then the size of A is O(n(log log n)−c (log log log log logs n) for some absolute c > 0.
Abstract: We show that if A is a subset of {1, …, n} which has no pair of elements whose difference is equal to p − 1 with p a prime number, then the size of A is O(n(log log n)−c(log log log log log n)) for some absolute c > 0.
TL;DR: In this paper, a monotonic formula for the number of partitions of a number n into primes when n is large is given, where the distribution of primes can only be described accurately by the use of the logarithmic integral and a sum over zeros of the Riemann zeta function.
Abstract: There is, apparently, a persistent belief that in the current state of knowledge it is not possible to obtain an asymptotic formula for the number of partitions of a number n into primes when n is large. In this paper such a formula is obtained. Since the distribution of primes can only be described accurately by the use of the logarithmic integral and a sum over zeros of the Riemann zeta-function one cannot expect the main term to involve only elementary functions. However the formula obtained, when n is replaced by a real variable, is in ${\mathcal{C}}^{\infty}$
and is readily seen to be monotonic.
TL;DR: The said algebraic strategy is discussed and the results are compared with the well-known orthogonal array strategy to obtain optimal test set for pairwise testing.
Abstract: Generating pairwise test set when the total number of variables is prime numbers has a remarkable property in that the test case generation process can be simplified by applying straightforward strategy that does not require any storage. This paper discusses the said algebraic strategy and compares the results with the well-known orthogonal array strategy. Additionally, this paper also demonstrates the applicability and simplicity of the strategy as compared to orthogonal array to obtain optimal test set for pairwise testing.
TL;DR: In this paper, the set of all integers is denoted by Z, the real numbers is R, and Q stands for the sets of all rational numbers, where R is the number of rational numbers.
Abstract: Notation. We write N for the set of positive integers, ω for the set of non-negative integers, and P for the set of prime numbers. The set of all integers is denoted by Z, the set of all real numbers is R, and Q stands for the set of all rational numbers.
TL;DR: A new hard computational problem that consists in finding the kth roots modulo large prime p = Nk 2 + 1, where N is an even number and k is a prime with the length jkj ‚ 160 is introduced.
Abstract: Factorizing composite number n = qr, where q and r are two large primes, and finding discrete logarithm modulo large prime number p are two dicult computational problems which are usually put into the base of dierent digital signature schemes (DSSes). This paper introduces a new hard computational problem that consists in finding the kth roots modulo large prime p = Nk 2 + 1, where N is an even number and k is a prime with the length jkj ‚ 160. Diculty of the last problem is estimated as O( p k). It is proposed a new DSS with the public key y = x k mod p, where x is the private key. The signature corresponding to some message M represents a pair of the jpjbit numbers S and R calculated as follows: R = t k mod p and S = tx f(R;M) mod p, where f(R;M) is a compression function. The verification equation is S k mod p = y f(R;M) R mod p. The
TL;DR: In this paper, a smoothing device to the sieve procedure of Goldston, Pintz, and Yildirim is proposed. But it is not shown that the smoothing procedure can give rise to bounded differences between primes, that is, a weaker form of the twin prime conjecture.
Abstract: Combining the arguments developed in the works of D. A. Goldston, S. W. Graham, J. Pintz, and C. Y. Yildirim [Preprint, 2005, arXiv: math.NT/506067] and Y. Motohashi [Number theory in progress - A. Schinzel Festschrift (de Gruyter, 1999) 1053-1064] we introduce a smoothing device to the sieve procedure of Goldston, Pintz, and Yildirim (see [Proc. Japan Acad. 82A (2006) 61-65] for its simplified version). Our assertions embodied in Lemmas 3 and 4 of this article imply that a natural extension of a prime number theorem of E. Bombieri, J. B. Friedlander, and H. Iwaniec [Theorem 8 in Acta Math. 156 (1986) 203-251] should give rise infinitely often to bounded differences between primes, that is, a weaker form of the twin prime conjecture.
TL;DR: In this paper, the authors studied the Zp-corank rkp(E/F) of the p-power Selmer group of E over F and obtained lower bounds for rk p(E /F) under mild hypotheses.
Abstract: Let p be an odd prime number, let E be an elliptic curve over a number field k, and let F/k be a Galois extension of degree twice a power of p. We study the Zp-corank rkp(E/F) of the p-power Selmer group of E over F. We obtain lower bounds for rkp(E/F), generalizing the results in [MR], which applied to dihedral extensions. If K is the (unique) quadratic extension of k in F, if G=Gal(F/K), if G+ is the subgroup of elements of G commuting with a choice of involution of F over k, and if rkp(E/K) is odd, then we show that (under mild hypotheses) rkp(E/F)≥[G:G+]. As a very specific example of this, suppose that A is an elliptic curve over Q with a rational torsion point of order p and without complex multiplication. If E is an elliptic curve over Q with good ordinary reduction at p such that every prime where both E and A have bad reduction has odd order in Fp× and such that the negative of the conductor of E is not a square modulo p, then there is a positive constant B depending on A but not on E or n such that rkp(E/Q(A[pn]))≥Bp2n for every n
TL;DR: In this article, the authors provide a unified framework for developing theories of bounded arithmetic that are associated with uniform classes inside polytime (P) in the same way that Buss's theory S12 is associated with P. Their theories demonstrate an advantage of the simplicity of Zambella's two-sorted setting for small theories of Bounded Arithmetic.
Abstract: First we provide a unified framework for developing theories of Bounded Arithmetic that are associated with uniform classes inside polytime ( P) in the same way that Buss's theory S12 is associated with P. We obtain finitely axiomatized theories many of which turn out to be equivalent to a number of existing systems. By formalizing the proof of Barrington's Theorem (that the functions computable by polynomial-size bounded-width branching programs are precisely functions computable in ALogTime, or equivalently NC 1) we prove one such equivalence between the theories associated with ALogTime, solving a problem that remains open in [Ara00, Pit00]. Our theories demonstrate an advantage of the simplicity of Zambella's two-sorted setting for small theories of Bounded Arithmetic. Then we give the first definitions for the relativizations of small classes such as NC1, L, NL that preserve their inclusion order. Separating these relativized classes is shown to be as hard as separating the corresponding non-relativized classes. Our framework also allows us to obtain relativized theories that characterize the newly defined relativized classes. Finally we formalize and prove a number of mathematical theorems in our theories. In particular, we prove the discrete versions of the Jordan Curve Theorem in the theories V0 and V0 (2), and establish some facts about the distribution of prime numbers in the theory VTC0. Our V 0- and V0(2)-proofs improve a number of existing upper bounds for the propositional complexity of combinatorial principles related to grid graphs. Overall, this thesis is a contribution to Bounded Reverse Mathematics, a theme whose purpose is to formalize and prove (discrete versions of) mathematical theorems in the weakest possible theories of bounded arithmetic.
TL;DR: The notion of a, friendly number is based on the idea that a human friend is a kind of alter ego as discussed by the authors, such as are 220 and 284, which have a special mathematical property: each is equal to the sum of the other's proper divisors (divisors other than the number itself).
Abstract: An integer t is a twin prime (see [5] or [6]), if t is a prime number ≥ 3 and if t − 2 or t + 2 is also a prime number ≥ 3 . Example. 1000000000061 and 1000000000063 are twin primes (see [6]). It is conjectured that there are infinitely many twin primes. The notion of a, friendly number (see [2] or [3] or [7] or [8] or [9] or [10]) is based on the idea that a human friend is a kind of alter ego. Indeed, Pythagoras wrote (see [8]): A friend is the other I , such as are 220 and 284 . These numbers have a special mathematical property: each is equal to the sum of the other’s proper divisors (divisors other than the number itself). The proper divisors of 220 are 1, 2, 4, 5, 10, 11, 20, 22, 44, 55 , and 110, and they sum to 284; the proper divisors of 284 are 1, 2, 4, 71 , and 142, and they sum to 220. So {220, 284} is called a pair of friendly numbers [[note {17296, 18416} is also a pair of friendly numbers (see [7] or [8])]]. More precisely, we say that a number a′ is a friendly number, if there exi...
TL;DR: The main goal is to show that basic information-theoretic arguments combined with elementary computations can be used to give a new proof for Chebyshev's classical result, namely that Sigmaplesn log p/p ~ log n as n rarr infin where the sum is over all primes p not exceeding n.
Abstract: How many bits of information about an integer do we learn from each of its prime factors? Trying to answer that question in a precise manner leads to an elementary information-theoretic proof of a well-known, there is a given nontrivial result in number theory, namely that Sigmaplesn log p/p ~ log n as n rarr infin where the sum is over all primes p not exceeding n. In fact, we obtain finite-n bounds that refine this limit. This result, originally proved by Chebyshev in 1852, is closely related to the celebrated prime number theorem. Our main goal is to show that basic information-theoretic arguments combined with elementary computations can be used to give a new proof [2] for Chebyshev's classical result (1). The proof follows, in part, along the lines of a heuristic argument due to Billingsley [1]. We briefly outline the connection between Chebyshev's result and Gauss' prime number theorem, and also give a brief survey of other instances where information-theoretic ideas have been employed in the context of number theory.
TL;DR: In this paper, it was shown that a DNF is maximal if and only if it corresponds to a non-repeating decision tree with literals assigned to the leaves in a certain way.
Abstract: It is known that a $k$-term DNF can have at most $2^k - 1$ prime implicants and that this bound is sharp. We determine all $k$-term DNF having the maximal number of prime implicants. It is shown that a DNF is maximal if and only if it corresponds to a nonrepeating decision tree with literals assigned to the leaves in a certain way. We also mention some related results and open problems.
TL;DR: A probabilistic polynomial time algorithm is given to test whether the Jacobian of the given hyperelliptic curve of the form Y 2 = X 5 + u X 3 + v X satisfies the condition and, if so, to give the largest prime factor.
Abstract: In hyperelliptic curve cryptography, finding a suitable hyperelliptic curve is an important fundamental problem. One of necessary conditions is that the order of its Jacobian is a product of a large prime number and a small number. In the paper, we give a probabilistic polynomial time algorithm to test whether the Jacobian of the given hyperelliptic curve of the form Y 2 = X+uX+vX satisfies the condition and, if so, gives the largest prime factor. Our algorithm enables us to generate random curves of the form until the order of its Jacobian is almost prime in the above sense. A key idea is to obtain candidates of its zeta function over the base field from its zeta function over the extension field where the Jacobian splits.
TL;DR: The strikingly beautiful theorem that a symmetric n-Venn diagram exists if and only if n is prime is proved.
Abstract: An n-Venn diagram is a Venn diagram on n sets, which is defined to be a collection of n simple closed curves (Jordan curves) C1,C2, ,Cn in the plane such that any two intersect in finitely many points and each of the 2n sets of the form ∩C i i is nonempty and connected, where i is one of “interior” or “exterior” Thus the Venn regions are all bounded except for the region exterior to all curves; each bounded region is the interior of a Jordan curve See [6] for much more information on Venn diagrams An n-Venn diagram is symmetric if each curve Ci is ρ i (C1), where ρ is a rotation of order n about some center (we use O for the fixed point of rotation ρ) We use Boolean notation for combinations of sets, with the 0-1 string e1e2 en representing ∩C i i , where i is interior (respectively, exterior) if ei = 1 (respectively, 0) Thus 111 1 represents F , the full intersection of all the interiors, 000 0 is the intersection of all the exteriors (the unbounded region), and 100 0 represents the set of points interior to C1 and exterior to the others In a symmetric Venn diagram, rotation of a region by ρ corresponds to a rightward cyclic shift of the Boolean string The universally familiar three-circle Venn diagram is symmetric, as is the one on two sets using two circles For about 40 years a major open question was whether symmetric n-Venn diagrams exist for all prime n Henderson found one for n = 5 and also (unpublished) for n = 7 Much later, Hamburger [3] settled the case of 11, which was quite complicated, and then in 2004 Griggs, Killian, and Savage [1] found an approach that works for all primes So we now have the strikingly beautiful theorem that a symmetric n-Venn diagram exists if and only if n is prime But there is a small problem: Henderson’s proof, which appears to be very simple, has a gap Here is the proof from [4] Suppose 1 ≤ k ≤ n − 1 Since a symmetric n-Venn diagram is symmetric with respect to a rotation of 2π/n, the regions corresponding to the Boolean strings with k 1s must come in groups of size n, each group consisting of one such region and its images under repeated rotation by 2π/n Therefore n divides (n k ) This concludes the proof because the only n for which this is true for the specified k-values are the primes (an easy-to-prove fact of number theory; see [5]) This is a very seductive argument The primeness arises in such a cute way that one wants it to be true Thus the proof has been repeated in many papers in the decades since it was first published Yet there are problems The proof does not call upon the connectedness of the Venn regions Without connectedness the result is false; see Figure 1 (due to Grunbaum [2]), which shows a diagram satisfying all of the conditions
TL;DR: In this article, it was shown that the set of prime numbers can be obtained through dynamical processes, which is a deterministic and analytic way to generate the distribution of the prime numbers.
Abstract: In this work, we show that the set of primes can be obtained through dynamical processes. Indeed, we see that behind their generation there is an apparent stochastic process; this is obtained with the combination of two processes: a “zig-zag” between two classes of primes and an intermittent process (that is a selection rule to exclude some prime candidates of the classes). Although we start with a stochastic process, the knowledge of its inner properties in terms of zig-zagging and intermittent processes gives us a deterministic and analytic way to generate the distribution of prime numbers. Thanks to genetic algorithms and evolution systems, as we will see, we answer some of most relevant questions of the last two centuries, that is “How can we know a priori if a number is prime or not? Or similarly, does the generation of number primes follow a specific rule and if yes what is its form? Moreover, has it a deterministic or stochastic form?” To reach these results we start to analyze prime numbers by using binary representation and building a hierarchy among derivative classes. We obtain for the first time an explicit relation for generating the full set P n of prime numbers smaller than n or equal to n .
TL;DR: In this article, strong density results for the orbits of real numbers under the action of the semigroup generated by the affine transformations T 0 (x ) = x / a and T 1 (x + 1 ) = b x + 1, where a, b > 1.
TL;DR: In this paper, it was shown that the lex-plus-powers ideal has the largest graded Betti numbers among all Borel-pluspowers monomial ideals with the same Hilbert function.
TL;DR: In this paper, the following theorem was proved: if π = π(G) \{ p} then a π-Hall subgroup of a group G is q-supersoluble for some q ∈ π, then G is a p-soluble group.
Abstract: In this paper, we prove the following theorem: Let p be a prime number, P aS ylowp- subgroup of a group G and π = π(G) \{ p}. If P is seminormal in G, then the following statements hold :1 )G is a p-soluble group and P ≤ Op(G); 2) lp(G) ≤ 2 and lπ(G) ≤ 2; 3) if a π-Hall subgroup of G is q-supersoluble for some q ∈ π ,t henG is q-supersoluble. Keywords finite groups, seminormal subgroups, Sylow subgroups, p-soluble groups, p-supersoluble groups
TL;DR: In this paper, the frequency of occurrence of prime numbers at unit number spacing intervals exhibits selfsimilar fractal fluctuations concomitant with inverse power law form for power spectrum generic to dynamical systems in nature such as fluid flows, stock market fluctuations, population dynamics, etc.
Abstract: The frequency of occurrence of prime numbers at unit number spacing intervals exhibits selfsimilar fractal fluctuations concomitant with inverse power law form for power spectrum generic to dynamical systems in nature such as fluid flows, stock market fluctuations, population dynamics, etc. The physics of long-range correlations exhibited by fractals is not yet identified. A recently developed general systems theory visualises the eddy continuum underlying fractals to result from the growth of large eddies as the integrated mean of enclosed small scale eddies, thereby generating a hierarchy of eddy circulations, or an inter-connected network with associated long-range correlations. The model predictions are as follows: (i) The probability distribution and power spectrum of fractals follow the same inverse power law which is a function of the golden mean. The predicted inverse power law distribution is very close to the statistical normal distribution for fluctuations within two standard deviations from the mean of the distribution. (ii) Fractals signify quantumlike chaos since variance spectrum represents probability density distribution, a characteristic of quantum systems such as electron or photon. (ii) Fractal fluctuations of frequency distribution of prime numbers signify spontaneous organisation of underlying continuum number field into the ordered pattern of the quasiperiodic Penrose tiling pattern. The model predictions are in agreement with the probability distributions and power spectra for different sets of frequency of occurrence of prime numbers at unit number interval for successive 1000 numbers. Prime numbers in the first 10 million numbers were used for the study.
TL;DR: In this paper, the authors show how the value Φ K / k ( 0 ) combines with a p-adic regulator of semilocal units to define a natural Z p G -submodule of Q p G, which they denote S K/k.
TL;DR: In this article, Dirichlet's proof of infinitely many primes in arithmetic progressions was published in 1837, introduced L-series for the first time, and it is said to have started rigorous analytic number theory.
Abstract: Dirichlet's proof of infinitely many primes in arithmetic progressions was published in 1837, introduced L-series for the first time, and it is said to have started rigorous analytic number theory. Dirichlet uses Euler's earlier work on the zeta function and the distribution of primes. He first proves a simpler case before going to full generality. The paper was translated from German by R. Stephan and given a reference section.
TL;DR: It is proved that all circulant tournaments with a prime number p>=3 of vertices are tight using results relating to the acyclic disconnection of a digraph and theorems of additive number theory.