Namespaces
Variants
Actions

Difference between revisions of "User:Richard Pinch/sandbox-WP2"

From Encyclopedia of Mathematics
Jump to: navigation, search
Line 136: Line 136:
 
* {{User:Richard Pinch/sandbox/Ref | zbl=0915.52003 | last1=Conway | first1=J. H. | author1-link=John Horton Conway | last2=Sloane | first2=N. J. A. | author2-link=Neil Sloane | others=With contributions by Bannai, E.; [[Borcherds, R. E.]]; [[John Leech (mathematician)|Leech, J.]]; [[Simon P. Norton|Norton, S. P.]]; [[Odlyzko, A. M.]]; Parker, R. A.; Queen, L.; Venkov, B. B. | title=Sphere packings, lattices and groups | edition=3rd | series=Grundlehren der Mathematischen Wissenschaften | volume=290 | location=New York, NY | publisher=[[Springer-Verlag]] | isbn=0-387-98585-9 }}
 
* {{User:Richard Pinch/sandbox/Ref | zbl=0915.52003 | last1=Conway | first1=J. H. | author1-link=John Horton Conway | last2=Sloane | first2=N. J. A. | author2-link=Neil Sloane | others=With contributions by Bannai, E.; [[Borcherds, R. E.]]; [[John Leech (mathematician)|Leech, J.]]; [[Simon P. Norton|Norton, S. P.]]; [[Odlyzko, A. M.]]; Parker, R. A.; Queen, L.; Venkov, B. B. | title=Sphere packings, lattices and groups | edition=3rd | series=Grundlehren der Mathematischen Wissenschaften | volume=290 | location=New York, NY | publisher=[[Springer-Verlag]] | isbn=0-387-98585-9 }}
  
=''u''-invariant=
+
=Universal invariant=
The '''universal invariant''' or '''''u'''''<nowiki></nowiki>'''-invariant''' of a [[field (mathematics)|field]] describes the structure of [[quadratic form]]s over the field. 
 
  
The universal invariant ''u''(''F'') of a field ''F'' is the largest dimension of an [[anisotropic quadratic space]] over ''F'', or if this does not exist.  Since [[formally real field]]s have anisotropic quadratic forms (sums of squares) in every dimension, the invariant is only of interest for other fields.  An equivalent formulation is that ''u'' is the smallest number such that every form of dimension greater than ''u'' is [[Isotropic quadratic form|isotropic]], or that every form of dimension at least ''u'' is [[Universal quadratic form|universal]].
+
''$u$-invariant''
 +
 
 +
A numerical  invariant''' of a [[field]] describing the structure of [[quadratic form]]s over the field. 
 +
 
 +
The universal invariant $u(F)$ of a field $F$ is the largest dimension of an [[anisotropic quadratic space]] over $F$, or $\infty$ if this does not exist.  Since [[formally real field]]s have anisotropic quadratic forms (sums of squares) in every dimension, the invariant is only of interest for other fields.  An equivalent formulation is that $u(F)$ is the smallest number such that every form of dimension greater than $u$' is [[Isotropic quadratic form|isotropic]], or that every form of dimension at least $u$ is a [[universal quadratic form]].
  
 
==Examples==
 
==Examples==
* For the complex numbers, ''u''('''C''') = 1.
+
* For the field of [[complex number]]s, $u(\mathbb{C}) = 1$.
* If ''F'' is [[Quadratically closed field|quadratically closed]] then ''u''(''F'') = 1.
+
* A [[quadratically closed field]] has $u = 1$.
* The function field of an [[algebraic curve]] over an [[algebraically closed field]] has ''u'' ≤ 2; this follows from [[Tsen's theorem]] that such a field is [[quasi-algebraically closed]].<ref name=Lam376>Lam (2005) p.376</ref>
+
* The function field of an [[algebraic curve]] over an [[algebraically closed field]] has $u \le 2$; this follows from [[Tsen's theorem]] that such a field is [[quasi-algebraically closed]].<ref name=Lam376>Lam (2005) p.376</ref>
* If ''F'' is a nonreal [[global field|global]] or [[local field]], or more generally a [[linked field]], then ''u''(''F'') = 1,2,4 or 8.<ref name=Lam406>Lam (2005) p.406</ref>
+
* If $F$ is a nonreal [[global field|global]] or [[local field]], or more generally a [[linked field]], then $u(F) = 1,2,4 \,\text{or}\, 8$.<ref name=Lam406>Lam (2005) p.406</ref>
  
 
==Properties==
 
==Properties==
* If ''F'' is not formally real then ''u''(''F'') is at most <math>q(F) = \left|{F^\star / F^{\star2}}\right|</math>, the index of the squares in the multiplicative group of ''F''.<ref name=Lam400>Lam (2005) p.&nbsp;400</ref>
+
* If $F$ is not formally real then $u(F)$ is at most $q(F) = \left|{F^\star / F^{\star2}}\right|$, the index of the squares in the multiplicative group of $F$.<ref name=Lam400>Lam (2005) p.&nbsp;400</ref>
* Every even integer occurs as the value of ''u''(''F'') for some ''F''.<ref name=Lam402>Lam (2005) p.&nbsp;402</ref>
+
* Every even integer occurs as the value of $u(F)$ for some $F$.<ref name=Lam402>Lam (2005) p.&nbsp;402</ref>
* ''u''(''F'') cannot take the values 3, 5, or 7.<ref name=Lam401>Lam (2005) p.&nbsp;401</ref>  A field exists with ''u''&nbsp;=&nbsp;9.<ref>{{User:Richard Pinch/sandbox/Ref | title=Fields of u-Invariant 9 | first=Oleg T. | last=Izhboldin | journal=[[Annals of Mathematics]], 2 ser | volume=154 | number=3 | year=2001 | pages=529–587 | url=http://www.jstor.org/stable/3062141 | zbl=0998.11015 }}</ref>
+
* $u(F)$ cannot take the values 3, 5, or 7.<ref name=Lam401>Lam (2005) p.&nbsp;401</ref>  A field exists with ''u''&nbsp;=&nbsp;9.<ref>{{User:Richard Pinch/sandbox/Ref | title=Fields of u-Invariant 9 | first=Oleg T. | last=Izhboldin | journal=[[Annals of Mathematics]], 2 ser | volume=154 | number=3 | year=2001 | pages=529–587 | url=http://www.jstor.org/stable/3062141 | zbl=0998.11015 }}</ref>
  
==The general ''u''-invariant==
+
==The general $u$-invariant==
Since the ''u''-invariant is of little interest in the case of formally real fields, we define a '''general''' '''''u'''''<nowiki></nowiki>'''-invariant''' to be the maximum dimension of an anisotropic form in the [[torsion subgroup]] of the [[Witt ring (forms)|Witt ring]] of '''F''', or if this does exist.<ref name=Lam409>Lam (2005) p.&nbsp;409</ref>  For non-formally real fields, the Witt ring is torsion, so this agrees with the previous definition.<ref name=Lam410>Lam (2005) p.&nbsp;410</ref>  For a formally real field, the general ''u''-invariant is either even or .
+
Since the $u$invariant is of little interest in the case of formally real fields, we define a '''general''' $u$-invariant to be the maximum dimension of an anisotropic form in the [[torsion subgroup]] of the [[Witt ring (forms)|Witt ring]] of $F$, or $\infty$ if this does exist.<ref name=Lam409>Lam (2005) p.&nbsp;409</ref>  For non-formally real fields, the Witt ring is torsion, so this agrees with the previous definition.<ref name=Lam410>Lam (2005) p.&nbsp;410</ref>  For a formally real field, the general $u$-invariant is either even or $\infty$.
  
 
===Properties===
 
===Properties===
* ''u''(''F'') 1 if and only if ''F'' is a [[Pythagorean field]].<ref name=Lam410/>
+
* $u(F) \le 1$ if and only if $F$ is a [[Pythagorean field]].<ref name=Lam410/>
  
 
==References==
 
==References==
Line 162: Line 165:
 
* {{User:Richard Pinch/sandbox/Ref | title=Introduction to Quadratic Forms over Fields | volume=67 | series=Graduate Studies in Mathematics | first=Tsit-Yuen | last=Lam | authorlink=Tsit Yuen Lam | publisher=American Mathematical Society | year=2005 | isbn=0-8218-1095-2 | zbl=1068.11023 | mr = 2104929 }}
 
* {{User:Richard Pinch/sandbox/Ref | title=Introduction to Quadratic Forms over Fields | volume=67 | series=Graduate Studies in Mathematics | first=Tsit-Yuen | last=Lam | authorlink=Tsit Yuen Lam | publisher=American Mathematical Society | year=2005 | isbn=0-8218-1095-2 | zbl=1068.11023 | mr = 2104929 }}
 
* {{User:Richard Pinch/sandbox/Ref | title=Squares | volume=171 | series=London Mathematical Society Lecture Note Series | first=A. R. | last=Rajwade | publisher=[[Cambridge University Press]] | year=1993 | isbn=0-521-42668-5 | zbl=0785.11022 }}
 
* {{User:Richard Pinch/sandbox/Ref | title=Squares | volume=171 | series=London Mathematical Society Lecture Note Series | first=A. R. | last=Rajwade | publisher=[[Cambridge University Press]] | year=1993 | isbn=0-521-42668-5 | zbl=0785.11022 }}
 
  
 
=Zimmert set=
 
=Zimmert set=

Revision as of 17:08, 7 December 2014

Average order of an arithmetic function

Some simpler or better-understood function which takes the same values "on average" as an arithmetic function.

Let f be a function on the natural numbers. We say that f has average order g if

\[ \sum_{n \le x} f(n) \sim \sum_{n \le x} g(n) \]

as x tends to infinity.

It is conventional to assume that the approximating function g is continuous and monotone.

Examples

  • The average order of $d(n)$, the number of divisors of $n$, is $\log n$;
  • The average order of $\sigma(n)$, the sum of divisors of $n$, is $ \frac{\pi^2}{6} n$;
  • The average order of $\phi(n)$, Euler's totient function of $n$, is $ \frac{6}{\pi^2} n$;
  • The average order of $r(n)$, the number of ways of expressing $n$ as a sum of two squares, is $\pi$;
  • The Prime Number Theorem is equivalent to the statement that the von Mangoldt function $\Lambda(n)$ has average order 1.

See also

References

  • G.H. Hardy; E.M. Wright (2008). An Introduction to the Theory of Numbers (6th ed.). Oxford University Press. ISBN 0-19-921986-5
  • Gérald Tenenbaum (1995). Introduction to Analytic and Probabilistic Number Theory. Cambridge studies in advanced mathematics 46. Cambridge University Press. ISBN 0-521-41261-7

Category:Arithmetic functions


Gowers norm

For the function field norm, see uniform norm; for uniformity in topology, see uniform space.

In mathematics, in the field of additive combinatorics, a Gowers norm or uniformity norm is a class of norm on functions on a finite group or group-like object which are used in the study of arithmetic progressions in the group. They are named after Timothy Gowers who introduced them in his work on Szemerédi's theorem.

Let f be a complex-valued function on a group G and let J denote complex conjugation. The Gowers d-norm is

\[ \Vert f \Vert_{U^d(g)} = \mathbf{E}_{x,h_1,\ldots,h_d \in G} \prod_{\omega_1,\ldots,\omega_d \in \{0,1\}} J^{\omega_1+\cdots+\omega_d} f\left({x + h_1\omega_1 + \cdots + h_d\omega_d}\right) \ . \]

The inverse conjecture for these norms is the statement that if f has L-infinity norm (uniform norm in the usual sense) equal to 1 then the Gowers s-norm is bounded above by 1, with equality if and only if f is of the form exp(2πi g) with g a polynomial of degree at most s. This can be interpreted as saying that the Gowers norm is controlled by polynomial phases.

The inverse conjecture holds for vector spaces over a finite field. However, for cyclic groups Z/N this is not so, and the class of polynomial phases has to be extended to control the norm.

References

Ruelle zeta function

A zeta function associated with a dynamical system.

Let f be a function defined on a manifold M, such that the set of fixed points Fix(f n) is finite for all n > 1. Further let φ be a function on M with values in d × d complex matrices. The zeta function of the first kind is[1]

\[ \zeta(z) = \exp\left({ \sum_{m\ge1} \frac{z^m}{m} \sum_{x\in\mathrm{Fix}(f^m)} \mathrm{Tr} \left({ \prod_{k=0}^{m-1} \phi(f^k(x)) }\right) }\right) \]

In the special case d = 1, φ = 1, we have[1]

\[ \zeta(z) = \exp\left({ \sum_{m\ge1} \frac{z^m}{m} \left|{\mathrm{Fix}(f^m)}\right|}\right) \]

which is the Artin–Mazur zeta function.

The Ihara zeta function is an example of a Ruelle zeta function.[2]

References

  1. 1.0 1.1 Terras (2010) p. 28
  2. Terras (2010) p. 29
  • Lapidus, Michel L.; van Frankenhuijsen, Machiel; Fractal geometry, complex dimensions and zeta functions. Geometry and spectra of fractal strings, ser. Springer Monographs in Mathematics (2006), Springer-Verlag, Zbl 1119.28005 ISBN: 0-387-33285-5
  • Terras, Audrey; Zeta Functions of Graphs: A Stroll through the Garden, ser. Cambridge Studies in Advanced Mathematics 128 (2010), Cambridge University Press, Zbl 1206.05003 ISBN: 0-521-11367-9

Sesquipower

A sesquipower or Zimin word is a string over an alphabet with identical prefix and suffix. Sesquipowers are unavoidable patterns, in the sense that all sufficiently long strings contain one.

Formally, let A be an alphabet and A be the free monoid of finite strings over A. Every non-empty word w in A+ is a sesquipower of order 1. If u is a sequipower of order n then any word w = uvu is a sesquipower of order n + 1.[1] The degree of a non-empty word w is the largest integer d such that w is a sesquipower of order d.[2]

A bi-ideal sequence is a sequence of words fi where f1 is in A+ and

\[f_{i+1} = f_i g_i f_i \ \]

for some gi in A and i ≥ 1. The degree of a word w is thus the length of the longest bi-ideal sequence ending in w.[2]

For a finite alphabet A on k letters, there is an integer M depending on k and n, such that any word of length M has a factor which is a sesquipower of order at least n. We express this by saying that the sesquipowers are unavoidable patterns.[3][4]

Given an infinite bi-ideal sequence, we note that each fi is a prefix of fi+1 and so the fi converge to an infinite sequence

\[ f = f_1 g_1 f_2 g_2 \cdots \ \]

We define an infinite word to be a sesquipower if is the limit of an infinite bi-ideal sequence.[5] An infinite word is a sesquipower if and only if it is a recurrent word,[5][6] that is, every factor occurs infinitely often.[7]

Fix a finite alphabet A and assume a total order on the letters. For given integers p and n, every sufficiently long word in A has either a factor which is a p-power or a factor which is an n-sesquipower; in the latter case the factor has an n-factorisation into Lyndon words.[6]

References

  1. Lothaire (2011) p. 135
  2. 2.0 2.1 Lothaire (2011) p. 136
  3. Lothaire (2011) p. 137
  4. Berstel et al (2009) p.132
  5. 5.0 5.1 Lothiare (2011) p. 141
  6. 6.0 6.1 Berstel et al (2009) p.133
  7. Lothaire (2011) p. 30
  • Berstel, Jean; Lauve, Aaron; Reutenauer, Christophe; Saliola, Franco V.; Combinatorics on words. Christoffel words and repetitions in words, ser. CRM Monograph Series 27 (2009), American Mathematical Society, Zbl 1161.68043URL: http://www.ams.org/bookpages/crmm-27] ISBN: 978-0-8218-4480-9
  • Lothaire, M.; Algebraic combinatorics on words, ser. Encyclopedia of Mathematics and Its Applications 90 (2011), Cambridge University Press, Zbl 1221.68183 ISBN: 978-0-521-18071-9
  • Pytheas Fogg, N.; Substitutions in dynamics, arithmetics and combinatorics, ser. Lecture Notes in Mathematics 1794 (2002), Springer-Verlag, Zbl 1014.11015 ISBN: 3-540-44141-7


Spectrum of a sentence

The set of natural numbers that occur as the size of a finite model in which the sentence is true.

Definition

Let $\psi$ be a sentence in first-order logic. The spectrum of $\psi$ is the set of natural numbers $n$ such that there is a finite model for $\psi$ with $n$ elements.

If the vocabulary for $\psi$ consists of relational symbols, then $\psi$ can be regarded as a sentence in existential second-order logic quantified over the relations, over the empty vocabulary. A generalised spectrum is the set of models of a general ESOL sentence.

Properties

Fagin's theorem is a result in descriptive complexity theory that states that the set of all properties expressible in existential second-order logic is precisely the complexity class NP. It is remarkable since it is a characterization of the class NP that does not invoke a model of computation such as a Turing machine. The theorem was proven by Ronald Fagin in 1974 (strictly, in 1973 in his doctoral thesis).

As a corollary we have a result of Jones and Selman, that a set is a spectrum if and only if it is in the complexity class NEXPTIME.

See also

References

  • Fagin, Ronald; Complexity of Computation, "Generalized First-Order Spectra and Polynomial-Time Recognizable Sets", ser. Proc. Syp. App. Math. SIAM-AMS Proceedings 7 (1974), pp. 27–41, Zbl 0303.68035 URL: www.almaden.ibm.com/cs/people/fagin/genspec.pdf
  • Grädel, Erich; Kolaitis, Phokion G.; Libkin, Leonid; Maarten, Marx; Spencer, Joel; Vardi, Moshe Y.; Finite model theory and its applications, ser. Texts in Theoretical Computer Science. An EATCS Series (2007), Springer-Verlag, Zbl 1133.03001 ISBN 978-3-540-00428-8
  • Immerman, Neil; Descriptive Complexity, ser. Graduate Texts in Computer Science (1999), pp. 113–119, Springer-Verlag, Zbl 0918.68031 ISBN 0-387-98600-6
  • Jones, Neil D.; Selman, Alan L.; Turing machines and the spectra of first-order formulas, J. Symb. Log., 39 (1974), pp. 139-150, Zbl 0288.02021, DOI: 10.2307/2272354

Category:Model theory

Spinor genus

A classification of quadratic forms and lattices over the ring of integers, introduced by Martin Eichler. It refines the genus but may be coarser than proper equivalence

We define two Z-lattices L and M in a quadratic space V over Q to be spinor equivalent if there exists a transformation g in the proper orthogonal group O+(V) and for every prime p there exists a local transformation fp of Vp of spinor norm 1 such that M = g fpLp.

A spinor genus is an equivalence class for this equivalence relation. Properly equivalent lattices are in the same spinor genus, and lattices in the same spinor genus are in the same genus. The number of spinor genera in a genus is a power of two, and can be determined effectively.

An important result is that for indefinite forms of dimension at least three, each spinor genus contains exactly one proper equivalence class.

References

  • Cassels, J. W. S.; Rational Quadratic Forms, ser. London Mathematical Society Monographs 13 (1978), Academic Press, Zbl 0395.10029 ISBN: 0-12-163260-1
  • Conway, J. H.; Sloane, N. J. A.; Sphere packings, lattices and groups, ser. Grundlehren der Mathematischen Wissenschaften 290 , Springer-Verlag, Zbl 0915.52003 ISBN: 0-387-98585-9

Universal invariant

$u$-invariant

A numerical invariant of a field describing the structure of quadratic forms over the field.

The universal invariant $u(F)$ of a field $F$ is the largest dimension of an anisotropic quadratic space over $F$, or $\infty$ if this does not exist. Since formally real fields have anisotropic quadratic forms (sums of squares) in every dimension, the invariant is only of interest for other fields. An equivalent formulation is that $u(F)$ is the smallest number such that every form of dimension greater than $u$' is isotropic, or that every form of dimension at least $u$ is a universal quadratic form.

Examples

Properties

  • If $F$ is not formally real then $u(F)$ is at most $q(F) = \left|{F^\star / F^{\star2}}\right|$, the index of the squares in the multiplicative group of $F$.[3]
  • Every even integer occurs as the value of $u(F)$ for some $F$.[4]
  • $u(F)$ cannot take the values 3, 5, or 7.[5] A field exists with u = 9.[6]

The general $u$-invariant

Since the $u$invariant is of little interest in the case of formally real fields, we define a general $u$-invariant to be the maximum dimension of an anisotropic form in the torsion subgroup of the Witt ring of $F$, or $\infty$ if this does exist.[7] For non-formally real fields, the Witt ring is torsion, so this agrees with the previous definition.[8] For a formally real field, the general $u$-invariant is either even or $\infty$.

Properties

References

  1. Lam (2005) p.376
  2. Lam (2005) p.406
  3. Lam (2005) p. 400
  4. Lam (2005) p. 402
  5. Lam (2005) p. 401
  6. Izhboldin, Oleg T.; Fields of u-Invariant 9, Annals of Mathematics, 2 ser, 154 no. 3 (2001), pp. 529–587, Zbl 0998.11015URL: http://www.jstor.org/stable/3062141]
  7. Lam (2005) p. 409
  8. 8.0 8.1 Lam (2005) p. 410
  • Lam, Tsit-Yuen; Introduction to Quadratic Forms over Fields, ser. Graduate Studies in Mathematics 67 (2005), American Mathematical Society, Zbl 1068.11023 ISBN: 0-8218-1095-2
  • Rajwade, A. R.; Squares, ser. London Mathematical Society Lecture Note Series 171 (1993), Cambridge University Press, Zbl 0785.11022 ISBN: 0-521-42668-5

Zimmert set

A set of positive integers associated with the structure of quotients of hyperbolic three-space by a Bianchi group.

Fix an integer $d$ and let $D$ be the discriminant of the imaginary quadratic field $\mathbb{Q}(\sqrt{-d}$. The Zimmert set $Z(d)$ is the set of positive integers $n$ such that $4n^2 < -D-3$ and $n \ne 2$; $D$ is a quadratic non-residue of all odd primes in $d$; $n$ is odd if $D$ is not congruent to 5 modulo 8. The cardinality of $Z(d)$ may be denoted by $z(d)$.

For all but a finite number of $d$ we have $z(d)>1$: indeed this is true for all $d > 10^{476}$.[1]

Let $\Gamma_d$ Bianchi group $PSL(2,O_d)$, where $O_d$ is the ring of integers of $\mathbb{Q}(\sqrt{-d}$. As a subgroup of $PSL(2,\mathbb{C})$, there is an action of $\Gamma_d$ on hyperbolic 3-space $H^3$, with a fundamental domain. It is a theorem that there are only finitely many values of $d$ for which$\Gamma_d$ can contain an arithmetic subgroup $G$ for which the quotient $H^3/G$ is a link complement. Zimmert sets are used to obtain results in this direction: $z(d)$ is a lower bound for the rank of the largest free quotient of $\Gamma_d$[2] and so the result above implies that almost all Bianchi groups have non-cyclic free quotients.[1]

References

  1. 1.0 1.1 Mason, A.W.; Odoni, R.W.K.; Stothers, W.W.; Almost all Bianchi groups have free, non-cyclic quotients, Math. Proc. Camb. Philos. Soc., 111 no. 1 (1992), pp. 1–6, Zbl 0758.20009, DOI: 10.1017/S0305004100075101URL: http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=2095508]
  2. Zimmert, R.; Zur SL2 der ganzen Zahlen eines imaginär-quadratischen Zahlkörpers, Inventiones mathematicae, 19 (1973), pp. 73–81, Zbl 0254.10019
  • Maclachlan, Colin; Reid, Alan W.; The Arithmetic of Hyperbolic 3-Manifolds, ser. Graduate Texts in Mathematics 219 (2003), Springer-Verlag, Zbl 1025.57001 ISBN: 0-387-98386-4
How to Cite This Entry:
Richard Pinch/sandbox-WP2. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Richard_Pinch/sandbox-WP2&oldid=35454