67,114 research outputs found
A Few Notes on Formal Balls
Using the notion of formal ball, we present a few new results in the theory
of quasi-metric spaces. With no specific order: every continuous
Yoneda-complete quasi-metric space is sober and convergence Choquet-complete
hence Baire in its -Scott topology; for standard quasi-metric spaces,
algebraicity is equivalent to having enough center points; on a standard
quasi-metric space, every lower semicontinuous -valued
function is the supremum of a chain of Lipschitz Yoneda-continuous maps; the
continuous Yoneda-complete quasi-metric spaces are exactly the retracts of
algebraic Yoneda-complete quasi-metric spaces; every continuous Yoneda-complete
quasi-metric space has a so-called quasi-ideal model, generalizing a
construction due to K. Martin. The point is that all those results reduce to
domain-theoretic constructions on posets of formal balls
A few notes on formal balls
Using the notion of formal ball, we present a few easy, new results in the theory of quasi-metric spaces. With no specific order: every continuous Yoneda-complete quasi-metric space is sober and convergence Choquet-complete hence Baire in its d-Scott topology; for standard quasi-metric spaces, algebraicity is equivalent to having enough center points; on a standard quasi-metric space, every lower semicontinuous R+-valued function is the supremum of a chain of Lipschitz Yoneda-continuous maps; the continuous Yoneda-complete quasi-metric spaces are exactly the retracts of algebraic Yoneda-complete quasi-metric spaces; every continuous Yoneda-complete quasi-metric space has a so-called quasi-ideal model, generalizing a construction due to K. Martin. The point is that all those results reduce to domain-theoretic constructions on posets of formal balls
Exactly Solvable Balanced Tenable Urns with Random Entries via the Analytic Methodology
This paper develops an analytic theory for the study of some Polya urns with
random rules. The idea is to extend the isomorphism theorem in Flajolet et al.
(2006), which connects deterministic balanced urns to a differential system for
the generating function. The methodology is based upon adaptation of operators
and use of a weighted probability generating function. Systems of differential
equations are developed, and when they can be solved, they lead to
characterization of the exact distributions underlying the urn evolution. We
give a few illustrative examples.Comment: 23rd International Meeting on Probabilistic, Combinatorial, and
Asymptotic Methods for the Analysis of Algorithms (AofA'12), Montreal :
Canada (2012
Domains of analyticity of Lindstedt expansions of KAM tori in dissipative perturbations of Hamiltonian systems
Many problems in Physics are described by dynamical systems that are
conformally symplectic (e.g., mechanical systems with a friction proportional
to the velocity, variational problems with a small discount or thermostated
systems). Conformally symplectic systems are characterized by the property that
they transform a symplectic form into a multiple of itself. The limit of small
dissipation, which is the object of the present study, is particularly
interesting.
We provide all details for maps, but we present also the modifications needed
to obtain a direct proof for the case of differential equations. We consider a
family of conformally symplectic maps defined on a
-dimensional symplectic manifold with exact symplectic form
; we assume that satisfies
. We assume that the family
depends on a -dimensional parameter (called drift) and also on a small
scalar parameter . Furthermore, we assume that the conformal factor
depends on , in such a way that for we have
(the symplectic case).
We study the domains of analyticity in near of
perturbative expansions (Lindstedt series) of the parameterization of the
quasi--periodic orbits of frequency (assumed to be Diophantine) and of
the parameter . Notice that this is a singular perturbation, since any
friction (no matter how small) reduces the set of quasi-periodic solutions in
the system. We prove that the Lindstedt series are analytic in a domain in the
complex plane, which is obtained by taking from a ball centered at
zero a sequence of smaller balls with center along smooth lines going through
the origin. The radii of the excluded balls decrease faster than any power of
the distance of the center to the origin
Entropy of random coverings and 4D quantum gravity
We discuss the counting of minimal geodesic ball coverings of -dimensional
riemannian manifolds of bounded geometry, fixed Euler characteristic and
Reidemeister torsion in a given representation of the fundamental group. This
counting bears relevance to the analysis of the continuum limit of discrete
models of quantum gravity. We establish the conditions under which the number
of coverings grows exponentially with the volume, thus allowing for the search
of a continuum limit of the corresponding discretized models. The resulting
entropy estimates depend on representations of the fundamental group of the
manifold through the corresponding Reidemeister torsion. We discuss the sum
over inequivalent representations both in the two-dimensional and in the
four-dimensional case. Explicit entropy functions as well as significant bounds
on the associated critical exponents are obtained in both cases.Comment: 54 pages, latex, no figure
- …