Pure Mathematical Research Articles

Any integral solution of the title equation has x =y z (9). The report of Scarowsky and Boyarsky [3] that an extensive computer search has failed to turn up any further integral solutions of the title equation prompts me to give the proof of a result which I noted many years ago and which might be of use in further work (cf. footnote on p. 505 of [2]). THEOREM. Any integral solution of (1) X3 + y3 + z3 = 3 has (2) x -y -z (9). Proof. Trivially, (3) x -y --z -1 (3). We work in the ring Z[p] of Eisenstein integers, where p is a cube root of unity. If a E Z[p] is prime to then there is precisely one unit e = +pi (j = 0,1,2) such that ea 1 (3). The supplement [1] to the law of cubic reciprocity states that if so E Z[p] is prime, s1 (3), then 3 is a cubic residue of so in Z[p] precisely when v a (9) for some a E Z. It follows that if a E Z[p], a 1 (3) and if 3 is congruent to a cube modulo a, then a b (9) for some b E Z. Put a = -p 2X-py, so a = x + (x y)p 1 (3) by (3). By (1) we have z3 3 (a), so the preceding remarks apply. Hence x y 0 (9). Finally, (2) follows by symmetry. Department of Pure Mathematics and Mathematical Statistics University of Cambridge 16 Mill Lane Cambridge CB2 1SB, England Received March 28, 1984. 1980 Mathematics Subject Classification. Primary 1OB15. ?01985 American Mathematical Society 0025-5718/85 $1.00 + $.25 per page 265 This content downloaded from 207.46.13.115 on Sat, 08 Oct 2016 04:45:07 UTC All use subject to http://about.jstor.org/terms 266 J. W. S. CASSELS 1. G. EISENSTEIN, Nachtrag zum cubischen Reciprocitatssatze.... J. Reine Angew. Math., v. 28, 1844, pp. 28-35. 2. L. J. MORDELL, Integer solutions of x2 + y2 + z2 + 2xyz = n, J. London Math. Soc., v. 28, 1953, pp. 500-510. 3. M. SCAROWSKY & A. BOYARSKY, A note on the Diophantine equation x' + yf + zn = 3, Math. Comp., v. 42, 1984, pp. 235-236. This content downloaded from 207.46.13.115 on Sat, 08 Oct 2016 04:45:07 UTC All use subject to http://about.jstor.org/terms

The body of this paper is written in terms of very general and abstract ideas which have been popular in pure mathematical work on the theory of probability for the last two or three decades. It seems to us that these ideas, so fruitful in pure mathematics, have something to contribute to mathematical statistics also, and this paper is an attempt to illustrate the sort of contribution we have in mind. The purpose of generality here is not to solve immediate practical problems, but rather to capture the logical essence of an important concept (sufficient statistic), and in particular to disentangle that concept from such ideas as Euclidean space, dimensionality, partial differentiation, and the distinction between continuous and discrete distributions, which seem to us extraneous. In accordance with these principles the center of the stage is occupied by a completely abstract sample space--that is a set $X$ of objects $x$, to be thought of as possible outcomes of an experimental program, distributed according to an unknown one of a certain set of probability measures. Perhaps the most familiar concrete example in statistics is the one in which $X$ is $n$ dimensional Cartesian space, the points of which represent $n$ independent observations of a normally distributed random variable with unknown parameters, and in which the probability measures considered are those induced by the various common normal distributions of the individual observations. A statistic is defined, as usual, to be a function $T$ of the outcome, whose values, however, are not necessarily real numbers but may themselves be abstract entities. Thus, in the concrete example, the entire set of $n$ observations, or, less trivially, the sequence of all sample moments about the origin are statistics with values in an $n$ dimensional and in an infinite dimensional space respectively. Another illuminating and very general example of a statistic may be obtained as follows. Suppose that the outcomes of two not necessarily statistically independent programs are thought of as one united outcome--then the outcome $T$ of the first program alone is a statistic relative to the united program. A technical measure theoretic result, known as the Radon-Nikodym theorem, is important in the study of statistics such as $T$. It is, for example, essential to the very definition of the basic concept of conditional probability of a subset $E$ of $X$ given a value $y$ of $T$. The statistic $T$ is called sufficient for the given set $\mathcal{M}$ of probability measures if (somewhat loosely speaking) the conditional probability of a subset $E$ of $X$ given a value $y$ of $T$ is the same for every probability measure in $\mathcal{M}$. It is, for instance, well known that the sample mean and variance together form a sufficient statistic for the measures described in the concrete example. The theory of sufficiency is in an especially satisfactory state for the case in which the set $\mathcal{M}$ of probability measures satisfies a certain condition described by the technical term dominated. A set $\mathcal{M}$ of probability measures is called dominated if each measure in the set may be expressed as the indefinite integral of a density function with respect to a fixed measure which is not itself necessarily in the set. It is easy to verify that both classical extremes, commonly referred to as the discrete and continuous cases, are dominated. One possible formulation of the principal result concerning sufficiency for dominated sets is a direct generalization to the abstract case of the well known Fisher-Neyman result: $T$ is sufficient if and only if the densities can be written as products of two factors, the first of which depends on the outcome through $T$ only and the second of which is independent of the unknown measure. Another way of phrasing this result is to say that $T$ is sufficient if and only if the likelihood ratio of every pair of measures in $\mathcal{M}$ depends on the outcome through $T$ only. The latter formulation makes sense even in the not necessarily dominated case but unfortunately it is not true in that case. The situation can be patched up somewhat by introducing a weaker notion called pairwise sufficiency. In ordinary statistical parlance one often speaks of a statistic sufficient for some of several parameters. The abstract results mentioned above can undoubtedly be extended to treat this concept.

Pure Mathematical Research Articles

Related Topics

Articles published on Pure Mathematical

A Note on the Diophantine Equation x 3 + y 3 + z 3 = 3

Congruence Properties of Zariski-Dense Subgroups I

Selmer's Conjecture and Families of Elliptic Curves

On the Higher-Dimensional Smith Conjecture

Mathematical and Behavioral Foundations of Number

Bounded Measures on Topological Spaces

Application of the Radon-Nikodym Theorem to the Theory of Sufficient Statistics

Klein's “Ikosahedron”1

Lead the way for us

Editage

Paperpal

R Discovery

Mind the Graph

Pure Mathematical Research Articles

Related Topics

Articles published on Pure Mathematical

A Note on the Diophantine Equation x 3 + y 3 + z 3 = 3

Congruence Properties of Zariski-Dense Subgroups I

Selmer's Conjecture and Families of Elliptic Curves

On the Higher-Dimensional Smith Conjecture

Mathematical and Behavioral Foundations of Number

Bounded Measures on Topological Spaces

Application of the Radon-Nikodym Theorem to the Theory of Sufficient Statistics

Klein's “Ikosahedron”1