BibSonomy publications for /user/a_olympia/forSat Aug 18 13:22:24 CEST 2007MaySignals for Lorentz Violation in Electrodynamics2002lorentz for violation signals electrodynamics An investigation is performed of the Lorentz-violating electrodynamics extracted from the renormalizable sector of the general Lorentz- and CPT-violating standard-model extension. Among the unconventional properties of radiation arising from Lorentz violation is birefringence of the vacuum. Limits on the dispersion of light produced by galactic and extragalactic objects provide bounds of 3 x 10^{-16} on certain coefficients for Lorentz violation in the photon sector. The comparative spectral polarimetry of light from cosmologically distant sources yields stringent constraints of 2 x 10^{-32}. All remaining coefficients in the photon sector are measurable in high-sensitivity tests involving cavity-stabilized oscillators. Experimental configurations in Earth- and space-based laboratories are considered that involve optical or microwave cavities and that could be implemented using existing technology.Sat Aug 18 13:22:24 CEST 2007OctQuantifier elimination for the reals with a predicate for the powers of two2006for the predicate quantifier elimination powers two reals of In 1985, van den Dries showed that the theory of the reals with a predicate for the integer powers of two admits quantifier elimination in an expanded language, and is hence decidable. He gave a model-theoretic argument, which provides no apparent bounds on the complexity of a decision procedure. We provide a syntactic argument that yields a procedure that is primitive recursive, although not elementary. In particular, we show that it is possible to eliminate a single block of existential quantifiers in time $2^0_{O(n)}$, where $n$ is the length of the input formula and $2_k^x$ denotes $k$-fold iterated exponentiation.Sat Aug 18 13:22:24 CEST 2007AugThe Noether numbers for cyclic groups of prime order2005prime of noether for order numbers groups cyclic The Noether number of a representation is the largest degree of an element in a minimal homogeneous generating set for the corresponding ring of invariants. We compute the Noether number for an arbitrary representation of a cyclic group of prime order, and as a consequence prove the "2p-3 conjecture".