Voronoi defines a partition of the cone of positive semidefinite n-ary forms 2 , where n is the number of variables and dimension of the corresponding lattice. We define a non-rigidity degree of a lattice as the dimension of the L-type domain containing the lattice. We prove that the non-rigidity d
Lattice embeddings and array noncomputable degrees
β Scribed by Stephen M. Walk
- Publisher
- John Wiley and Sons
- Year
- 2004
- Tongue
- English
- Weight
- 273 KB
- Volume
- 50
- Category
- Article
- ISSN
- 0044-3050
No coin nor oath required. For personal study only.
β¦ Synopsis
Abstract
We focus on a particular class of computably enumerable (c. e.) degrees, the array noncomputable degrees defined by Downey, Jockusch, and Stob, to answer questions related to lattice embeddings and definability in the partial ordering (βοΈ, β€) of c. e. degrees under Turing reducibility. We demonstrate that the lattice__M__~5~ cannot be embedded into the c. e. degrees below every array noncomputable degree, or even below every nonlow array noncomputable degree. As Downey and Shore have proved that M~5~ can be embedded below every nonlow~2~ degree, our result is the best possible in terms of array noncomputable degrees and jump classes. Further, this result shows that the array noncomputable degrees are definably different from the nonlow~2~ degrees. We note also that there are embeddings of M~5~ in which all five degrees are array noncomputable, and in which the bottom degree is the computable degree 0 but the other four are array noncomputable. (Β© 2004 WILEYβVCH Verlag GmbH & Co. KGaA, Weinheim)
π SIMILAR VOLUMES
In this note, we give Z 4 -code constructions of the Niemeier lattices, showing their embedding in the Leech lattice. These yield an alternative proof of a recent result by Dong et al. [5].
The time modulation approach is extended to planar antenna arrays with square lattices and circular boundaries to synthesize ultra-low sidelobe patterns. Time modulation is achieved by switching on-off each of the array elements in pre-determined sequences, thus introducing an additional degree of d
We consider some nonprincipal filters of the Medvedev lattice. We prove that the filter generated by the nonzero closed degrees of difficulty is not principal and we compare this filter, with respect to inclusion, with some other filters of the lattice. All the filters considered in this paper are d