357 research outputs found
Letter to the Editor: 1H, 15N, and 13C chemical shift assignments of the resuscitation promoting factor domain of Rv1009 from Mycobacterium tuberculosis
International audienceNo abstract availabl
Transference Principles for Log-Sobolev and Spectral-Gap with Applications to Conservative Spin Systems
We obtain new principles for transferring log-Sobolev and Spectral-Gap
inequalities from a source metric-measure space to a target one, when the
curvature of the target space is bounded from below. As our main application,
we obtain explicit estimates for the log-Sobolev and Spectral-Gap constants of
various conservative spin system models, consisting of non-interacting and
weakly-interacting particles, constrained to conserve the mean-spin. When the
self-interaction is a perturbation of a strongly convex potential, this
partially recovers and partially extends previous results of Caputo,
Chafa\"{\i}, Grunewald, Landim, Lu, Menz, Otto, Panizo, Villani, Westdickenberg
and Yau. When the self-interaction is only assumed to be (non-strongly) convex,
as in the case of the two-sided exponential measure, we obtain sharp estimates
on the system's spectral-gap as a function of the mean-spin, independently of
the size of the system.Comment: 57 page
Geometric inequalities from phase space translations
We establish a quantum version of the classical isoperimetric inequality
relating the Fisher information and the entropy power of a quantum state. The
key tool is a Fisher information inequality for a state which results from a
certain convolution operation: the latter maps a classical probability
distribution on phase space and a quantum state to a quantum state. We show
that this inequality also gives rise to several related inequalities whose
counterparts are well-known in the classical setting: in particular, it implies
an entropy power inequality for the mentioned convolution operation as well as
the isoperimetric inequality, and establishes concavity of the entropy power
along trajectories of the quantum heat diffusion semigroup. As an application,
we derive a Log-Sobolev inequality for the quantum Ornstein-Uhlenbeck
semigroup, and argue that it implies fast convergence towards the fixed point
for a large class of initial states.Comment: 37 pages; updated to match published versio
Hypercontractive measures, Talagrand's inequality, and influences
We survey several Talagrand type inequalities and their application to
influences with the tool of hypercontractivity for both discrete and
continuous, and product and non-product models. The approach covers similarly
by a simple interpolation the framework of geometric influences recently
developed by N. Keller, E. Mossel and A. Sen. Geometric Brascamp-Lieb
decompositions are also considered in this context
Tactics for Reasoning modulo AC in Coq
We present a set of tools for rewriting modulo associativity and
commutativity (AC) in Coq, solving a long-standing practical problem. We use
two building blocks: first, an extensible reflexive decision procedure for
equality modulo AC; second, an OCaml plug-in for pattern matching modulo AC. We
handle associative only operations, neutral elements, uninterpreted function
symbols, and user-defined equivalence relations. By relying on type-classes for
the reification phase, we can infer these properties automatically, so that
end-users do not need to specify which operation is A or AC, or which constant
is a neutral element.Comment: 16
Type-based termination of recursive definitions
This paper introduces "lambda-hat", a simply typed lambda calculus
supporting inductive types and recursive function definitions with
termination ensured by types. The system is shown to enjoy subject
reduction, strong normalisation of typable terms and to be stronger than
a related system "lambda-G" in which termination is ensured by a syntactic guard condition. The system can, at will, be extended to also support coinductive types and corecursive function definitions.Information Society Technologies (IST) - Fifth Framework Programm (FP5) - TYPES.Fundação para a Ciência e a Tecnologia (FCT) – PRAXIS XXI/C/EEI/14172/98.INRIA-ICCTI.Estonian Science Foundation (ETF) - grant no. 4155
Moments of unconditional logarithmically concave vectors
We derive two-sided bounds for moments of linear combinations of coordinates
od unconditional log-concave vectors. We also investigate how well moments of
such combinations may be approximated by moments of Gaussian random variables.Comment: 14 page
Towards a unified theory of Sobolev inequalities
We discuss our work on pointwise inequalities for the gradient which are
connected with the isoperimetric profile associated to a given geometry. We
show how they can be used to unify certain aspects of the theory of Sobolev
inequalities. In particular, we discuss our recent papers on fractional order
inequalities, Coulhon type inequalities, transference and dimensionless
inequalities and our forthcoming work on sharp higher order Sobolev
inequalities that can be obtained by iteration.Comment: 39 pages, made some changes to section 1
- …