1,788 research outputs found
Smooth Parametrizations in Dynamics, Analysis, Diophantine and Computational Geometry
Smooth parametrization consists in a subdivision of the mathematical objects
under consideration into simple pieces, and then parametric representation of
each piece, while keeping control of high order derivatives. The main goal of
the present paper is to provide a short overview of some results and open
problems on smooth parametrization and its applications in several apparently
rather separated domains: Smooth Dynamics, Diophantine Geometry, Approximation
Theory, and Computational Geometry.
The structure of the results, open problems, and conjectures in each of these
domains shows in many cases a remarkable similarity, which we try to stress.
Sometimes this similarity can be easily explained, sometimes the reasons remain
somewhat obscure, and it motivates some natural questions discussed in the
paper. We present also some new results, stressing interconnection between
various types and various applications of smooth parametrization
Computational Arithmetic Geometry I: Sentences Nearly in the Polynomial Hierarchy
We consider the average-case complexity of some otherwise undecidable or open
Diophantine problems. More precisely, consider the following: (I) Given a
polynomial f in Z[v,x,y], decide the sentence \exists v \forall x \exists y
f(v,x,y)=0, with all three quantifiers ranging over N (or Z). (II) Given
polynomials f_1,...,f_m in Z[x_1,...,x_n] with m>=n, decide if there is a
rational solution to f_1=...=f_m=0. We show that, for almost all inputs,
problem (I) can be done within coNP. The decidability of problem (I), over N
and Z, was previously unknown. We also show that the Generalized Riemann
Hypothesis (GRH) implies that, for almost all inputs, problem (II) can be done
via within the complexity class PP^{NP^NP}, i.e., within the third level of the
polynomial hierarchy. The decidability of problem (II), even in the case m=n=2,
remains open in general.
Along the way, we prove results relating polynomial system solving over C, Q,
and Z/pZ. We also prove a result on Galois groups associated to sparse
polynomial systems which may be of independent interest. A practical
observation is that the aforementioned Diophantine problems should perhaps be
avoided in the construction of crypto-systems.Comment: Slight revision of final journal version of an extended abstract
which appeared in STOC 1999. This version includes significant corrections
and improvements to various asymptotic bounds. Needs cjour.cls to compil
The Polyhedron-Hitting Problem
We consider polyhedral versions of Kannan and Lipton's Orbit Problem (STOC
'80 and JACM '86)---determining whether a target polyhedron V may be reached
from a starting point x under repeated applications of a linear transformation
A in an ambient vector space Q^m. In the context of program verification, very
similar reachability questions were also considered and left open by Lee and
Yannakakis in (STOC '92). We present what amounts to a complete
characterisation of the decidability landscape for the Polyhedron-Hitting
Problem, expressed as a function of the dimension m of the ambient space,
together with the dimension of the polyhedral target V: more precisely, for
each pair of dimensions, we either establish decidability, or show hardness for
longstanding number-theoretic open problems
Efficient Decoding Algorithms for the Compute-and-Forward Strategy
We address in this paper decoding aspects of the Compute-and-Forward (CF)
physical-layer network coding strategy. It is known that the original decoder
for the CF is asymptotically optimal. However, its performance gap to optimal
decoders in practical settings are still not known. In this work, we develop
and assess the performance of novel decoding algorithms for the CF operating in
the multiple access channel. For the fading channel, we analyze the ML decoder
and develop a novel diophantine approximation-based decoding algorithm showed
numerically to outperform the original CF decoder. For the Gaussian channel, we
investigate the maximum a posteriori (MAP) decoder. We derive a novel MAP
decoding metric and develop practical decoding algorithms proved numerically to
outperform the original one
Mixed characteristic homological theorems in low degrees
Let R be a locally finitely generated algebra over a discrete valuation ring
V of mixed characteristic. For any of the homological properties, the Direct
Summand Theorem, the Monomial Theorem, the Improved New Intersection Theorem,
the Vanishing of Maps of Tors and the Hochster-Roberts Theorem, we show that it
holds for R and possibly some other data defined over R, provided the residual
characteristic of V is sufficiently large in terms of the complexity of the
data, where the complexity is primarily given in terms of the degrees of the
polynomials over V that define the data, but possibly also by some additional
invariants.Comment: Survey pape
Algebraic Number Starscapes
We study the geometry of algebraic numbers in the complex plane, and their
Diophantine approximation, aided by extensive computer visualization. Motivated
by these images, called algebraic starscapes, we describe the geometry of the
map from the coefficient space of polynomials to the root space, focussing on
the quadratic and cubic cases. The geometry describes and explains notable
features of the illustrations, and motivates a geometric-minded recasting of
fundamental results in the Diophantine approximation of the complex plane. The
images provide a case-study in the symbiosis of illustration and research, and
an entry-point to geometry and number theory for a wider audience. The paper is
written to provide an accessible introduction to the study of homogeneous
geometry and Diophantine approximation.
We investigate the homogeneous geometry of root and coefficient spaces under
the natural action, especially in degrees 2
and 3. We rediscover the quadratic and cubic root formulas as isometries, and
determine when the map sending certain families of polynomials to their complex
roots (our starscape images) are embeddings.
We consider complex Diophantine approximation by quadratic irrationals, in
terms of hyperbolic distance and the discriminant as a measure of arithmetic
height. We recover the quadratic case of results of Bugeaud and Evertse, and
give some geometric explanation for the dichotomy they discovered (Bugeaud, Y.
and Evertse, J.-H., Approximation of complex algebraic numbers by algebraic
numbers of bounded degree, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 8 (2009),
no. 2, 333-368). Our statements go a little further in distinguishing
approximability in terms of whether the target or approximations lie on
rational geodesics.
The paper comes with accompanying software, and finishes with a wide variety
of open problems.Comment: 63 pages, 36 figures; this version includes a technical introduction
for an expert audienc
- …