Search results for "Bounds"

showing 10 items of 298 documents

Devroye Inequality for a Class of Non-Uniformly Hyperbolic Dynamical Systems

2005

In this paper, we prove an inequality, which we call "Devroye inequality", for a large class of non-uniformly hyperbolic dynamical systems (M,f). This class, introduced by L.-S. Young, includes families of piece-wise hyperbolic maps (Lozi-like maps), scattering billiards (e.g., planar Lorentz gas), unimodal and H{\'e}non-like maps. Devroye inequality provides an upper bound for the variance of observables of the form K(x,f(x),...,f^{n-1}(x)), where K is any separately Holder continuous function of n variables. In particular, we can deal with observables which are not Birkhoff averages. We will show in \cite{CCS} some applications of Devroye inequality to statistical properties of this class…

Pure mathematicsClass (set theory)[MATH.MATH-PR] Mathematics [math]/Probability [math.PR]Dynamical systems theoryLorentz transformation[MATH.MATH-DS]Mathematics [math]/Dynamical Systems [math.DS][ MATH.MATH-DS ] Mathematics [math]/Dynamical Systems [math.DS]General Physics and AstronomyHölder condition[MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS]Of the formDynamical Systems (math.DS)01 natural sciencesUpper and lower bounds010104 statistics & probabilitysymbols.namesakeFOS: Mathematics0101 mathematicsMathematics - Dynamical SystemsMathematical PhysicsMathematicsApplied Mathematics010102 general mathematicsProbability (math.PR)Statistical and Nonlinear PhysicsObservableFunction (mathematics)[MATH.MATH-PR]Mathematics [math]/Probability [math.PR]symbols[ MATH.MATH-PR ] Mathematics [math]/Probability [math.PR]Mathematics - Probability
researchProduct

Global fixed point proof of time-dependent density-functional theory

2011

We reformulate and generalize the uniqueness and existence proofs of time-dependent density-functional theory. The central idea is to restate the fundamental one-to-one correspondence between densities and potentials as a global fixed point question for potentials on a given time-interval. We show that the unique fixed point, i.e. the unique potential generating a given density, is reached as the limiting point of an iterative procedure. The one-to-one correspondence between densities and potentials is a straightforward result provided that the response function of the divergence of the internal forces is bounded. The existence, i.e. the v-representability of a density, can be proven as wel…

Pure mathematicsCondensed Matter - Materials ScienceQuantum PhysicsAtomic Physics (physics.atom-ph)Materials Science (cond-mat.mtrl-sci)FOS: Physical sciencesGeneral Physics and AstronomyExistence theorem02 engineering and technologyFunction (mathematics)Fixed point021001 nanoscience & nanotechnologyMathematical proof01 natural sciencesUpper and lower boundsPhysics - Atomic PhysicsUniqueness theorem for Poisson's equationBounded function0103 physical sciencesUniquenessQuantum Physics (quant-ph)010306 general physics0210 nano-technologyMathematics
researchProduct

On the slope of hyperelliptic fibrations with positive relative irregularity

2016

Let $f:\, S \to B$ be a locally non-trivial relatively minimal fibration of hyperelliptic curves of genus $g\geq 2$ with relative irregularity $q_f$. We show a sharp lower bound on the slope $\lambda_f$ of $f$. As a consequence, we prove a conjecture of Barja and Stoppino on the lower bound of $\lambda_f$ as an increasing function of $q_f$ in this case, and we also prove a conjecture of Xiao on the ampleness of the direct image of the relative canonical sheaf if $\lambda_f<4$.

Pure mathematicsConjectureApplied MathematicsGeneral MathematicsImage (category theory)010102 general mathematicsFibrationFunction (mathematics)Lambda01 natural sciencesUpper and lower boundsMathematics::Algebraic GeometryGenus (mathematics)0103 physical sciencesSheaf010307 mathematical physics0101 mathematicsMathematicsTransactions of the American Mathematical Society
researchProduct

Notes on the subspace perturbation problem for off-diagonal perturbations

2014

The variation of spectral subspaces for linear self-adjoint operators under an additive bounded off-diagonal perturbation is studied. To this end, the optimization approach for general perturbations in [J. Anal. Math., to appear; arXiv:1310.4360 (2013)] is adapted. It is shown that, in contrast to the case of general perturbations, the corresponding optimization problem can not be reduced to a finite-dimensional problem. A suitable choice of the involved parameters provides an upper bound for the solution of the optimization problem. In particular, this yields a rotation bound on the subspaces that is stronger than the previously known one from [J. Reine Angew. Math. (2013), DOI:10.1515/cre…

Pure mathematicsOptimization problemApplied MathematicsGeneral MathematicsDiagonalPerturbation (astronomy)Upper and lower boundsLinear subspaceFunctional Analysis (math.FA)Mathematics - Spectral TheoryMathematics - Functional AnalysisBounded functionFOS: Mathematics47A55 (Primary) 47A15 47B15 (Secondary)Spectral Theory (math.SP)Subspace topologyMathematics
researchProduct

Continuous numerical solutions of coupled mixed partial differential systems using Fer's factorization

1999

In this paper continuous numerical solutions expressed in terms of matrix exponentials are constructed to approximate time-dependent systems of the type ut A(t)uxx B(t)u=0; 0 0, u(0;t)=u(p;t)=0; u(x;0)=f(x);06 x6p. After truncation of an exact series solution, the numerical solution is constructed using Fer’s factorization. Given >0 and t0;t1; with 0<t0<t1 and D(t0;t1)=f(x;t); 06x6p; t06t6t1g the error of the approximated solution with respect to the exact series solution is less than uniformly in D(t0;t1). An algorithm is also included. c 1999 Elsevier Science B.V. All rights reserved. AMS classication: 65M15, 34A50, 35C10, 35A50

Pure mathematicsPartial differential equationSeries (mathematics)TruncationApplied MathematicsMixed time-dependent partial differential systemsType (model theory)Fer's factorizationExponential functionAlgorithmCombinatoricsComputational MathematicsMatrix (mathematics)Accurate solutionFactorizationPartial derivativeA priori error boundsMathematicsJournal of Computational and Applied Mathematics
researchProduct

The annular decay property and capacity estimates for thin annuli

2016

We obtain upper and lower bounds for the nonlinear variational capacity of thin annuli in weighted $\mathbf{R}^n$ and in metric spaces, primarily under the assumptions of an annular decay property and a Poincar\'e inequality. In particular, if the measure has the $1$-annular decay property at $x_0$ and the metric space supports a pointwise $1$-Poincar\'e inequality at $x_0$, then the upper and lower bounds are comparable and we get a two-sided estimate for thin annuli centred at $x_0$, which generalizes the known estimate for the usual variational capacity in unweighted $\mathbf{R}^n$. Most of our estimates are sharp, which we show by supplying several key counterexamples. We also character…

Pure mathematicsProperty (philosophy)General Mathematicsthin annulusPoincaré inequality01 natural sciencesMeasure (mathematics)Upper and lower boundssymbols.namesakeMathematics - Analysis of PDEsMathematics - Metric Geometry0103 physical sciencesFOS: Mathematics0101 mathematicsMathematicsPointwiseApplied Mathematics010102 general mathematicsmetric spaceMetric Geometry (math.MG)31E05 (Primary) 30L99 31C15 31C45 (Secondary)kapasiteettiSobolev spaceSobolev spaceNonlinear systemMetric spaceannular decay propertyPoincaré inequalitydoubling measuresymbolsupper gradient010307 mathematical physicsweighted RnAnalysis of PDEs (math.AP)Newtonian spacevariational capacity
researchProduct

Optimal lower bounds for eigenvalues of linear and nonlinear Neumann problems

2013

In this paper we prove a sharp lower bound for the first non-trivial Neumann eigenvalue μ1(Ω) for the p-Laplace operator (p &gt; 1) in a Lipschitz bounded domain Ω in ℝn. Our estimate does not require any convexity assumption on Ω and it involves the best isoperimetric constant relative to Ω. In a suitable class of convex planar domains, our bound turns out to be better than the one provided by the Payne—Weinberger inequality.

Pure mathematicsp-Laplace operatorGeneral MathematicsMathematics::Spectral TheoryLipschitz continuityUpper and lower boundsDomain (mathematical analysis)ConvexityCombinatoricslower boundsMathematics - Analysis of PDEsSettore MAT/05 - Analisi MatematicaBounded functionFOS: MathematicsNeumann eigenvalueIsoperimetric inequalityLaplace operatorEigenvalues and eigenvectorsMathematicsAnalysis of PDEs (math.AP)
researchProduct

Quadratically Tight Relations for Randomized Query Complexity

2020

In this work we investigate the problem of quadratically tightly approximating the randomized query complexity of Boolean functions R(f). The certificate complexity C(f) is such a complexity measure for the zero-error randomized query complexity R0(f): C(f) ≤R0(f) ≤C(f)2. In the first part of the paper we introduce a new complexity measure, expectational certificate complexity EC(f), which is also a quadratically tight bound on R0(f): EC(f) ≤R0(f) = O(EC(f)2). For R(f), we prove that EC2/3 ≤R(f). We then prove that EC(f) ≤C(f) ≤EC(f)2 and show that there is a quadratic separation between the two, thus EC(f) gives a tighter upper bound for R0(f). The measure is also related to the fractional…

Quadratic growth[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]0209 industrial biotechnology0102 computer and information sciences02 engineering and technologyMeasure (mathematics)Upper and lower bounds01 natural sciencesACM: F.: Theory of ComputationSquare (algebra)Computation Theory & MathematicsTheoretical Computer ScienceCombinatoricsQuadratic equation020901 industrial engineering & automationComputational Theory and Mathematics010201 computation theory & mathematicsTheory of computationInformation complexity[INFO]Computer Science [cs]0102 Applied Mathematics 0802 Computation Theory and Mathematics 0805 Distributed ComputingCommunication complexityBoolean functionComputingMilieux_MISCELLANEOUSMathematics
researchProduct

Indeterminacy relations in random dynamics

2007

We analyze various uncertainty measures for spatial diffusion processes. In this manifestly non-quantum setting, we focus on the existence issue of complementary pairs whose joint dispersion measure has strictly positive lower bound.

Quantum PhysicsStatistical Mechanics (cond-mat.stat-mech)Probability (math.PR)FOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Measure (mathematics)Upper and lower boundsIndeterminacy (literature)Dynamics (music)FOS: MathematicsStatistical dispersionStatistical physicsQuantum Physics (quant-ph)Spatial diffusionFocus (optics)Condensed Matter - Statistical MechanicsMathematics - ProbabilityMathematical PhysicsMathematicsReports on Mathematical Physics
researchProduct

Quantum Lower Bound for Graph Collision Implies Lower Bound for Triangle Detection

2015

We show that an improvement to the best known quantum lower bound for GRAPH-COLLISION problem implies an improvement to the best known lower bound for TRIANGLE problem in the quantum query complexity model. In GRAPH-COLLISION we are given free access to a graph $(V,E)$ and access to a function $f:V\rightarrow \{0,1\}$ as a black box. We are asked to determine if there exist $(u,v) \in E$, such that $f(u)=f(v)=1$. In TRIANGLE we have a black box access to an adjacency matrix of a graph and we have to determine if the graph contains a triangle. For both of these problems the known lower bounds are trivial ($\Omega(\sqrt{n})$ and $\Omega(n)$, respectively) and there is no known matching upper …

Quantum queryQuantum PhysicsGeneral Computer ScienceFree accessTheoryofComputation_GENERALCollisionUpper and lower boundsOmegaGraphCombinatoricsComputer Science - Computational ComplexityAdjacency matrixQuantumMathematicsMathematicsofComputing_DISCRETEMATHEMATICS
researchProduct