Search results for "lower bounds"

showing 10 items of 259 documents

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 > 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

Neutrinoless double beta decay in the dualized standard model

2001

The Dualized Standard Model offers a {\it raison d'\^etre} for 3 fermion generations and an explanation for their distinctive mass and mixing patterns, reproducing to a reasonable accuracy the empirical mixing matrix and mass spectrum for both quarks and leptons in terms of just a few parameters. With its parameters thus fixed, the result is a highly predictive framework. In particular, it is shown that it gives explicit parameter-free predictions for neutrinoless double beta decays. For $^{76}Ge$, it predicts a half-life of $10^{28}-10^{30}$ years, which satisfies the present experimental lower bound of $1.8 \times 10^{25}$ years.

QuarkPhysicsNuclear and High Energy PhysicsParticle physicsFOS: Physical sciencesFísicaFermionUpper and lower boundsStandard ModelHigh Energy Physics - PhenomenologyMatrix (mathematics)High Energy Physics - Phenomenology (hep-ph)Double beta decayMixing (physics)LeptonPhysical Review D
researchProduct

First lattice calculation of the B-meson binding and kinetic energies

1995

We present the first lattice calculation of the B-meson binding energy $\labar$ and of the kinetic energy $-\lambda_1/2 m_Q$ of the heavy-quark inside the pseudoscalar B-meson. This calculation has required the non-perturbative subtraction of the power divergences present in matrix elements of the Lagrangian operator $\bar h D_4 h$ and of the kinetic energy operator $\bar h \vec D^2 h$. The non-perturbative renormalisation of the relevant operators has been implemented by imposing suitable renormalisation conditions on quark matrix elements, in the Landau gauge. Our numerical results have been obtained from several independent numerical simulations at $\beta=6.0$ and $6.2$, and using, for t…

QuarkPhysicsNuclear and High Energy PhysicsParticle physicsMesonHigh Energy Physics::LatticeNuclear TheoryHigh Energy Physics - Lattice (hep-lat)High Energy Physics::PhenomenologyBinding energyFOS: Physical sciencesFísicaKinetic energyLambdaUpper and lower boundsPseudoscalarHigh Energy Physics - PhenomenologyHigh Energy Physics - LatticeHigh Energy Physics - Phenomenology (hep-ph)High Energy Physics::ExperimentB mesonParticle Physics - Phenomenology
researchProduct

Resolvent Estimates Near the Boundary of the Range of the Symbol

2019

The purpose of this chapter is to give quite explicit bounds on the resolvent near the boundary of Σ(p) (or more generally, near certain “generic boundary-like” points.) The result is due (up to a small generalization) to Montrieux (Estimation de resolvante et construction de quasimode pres du bord du pseudospectre, 2013) and improves earlier results by Martinet (Sur les proprietes spectrales d’operateurs nonautoadjoints provenant de la mecanique des fluides, 2009) about upper and lower bounds for the norm of the resolvent of the complex Airy operator, which has empty spectrum (Almog, SIAM J Math Anal 40:824–850, 2008). There are more results about upper bounds, and some of them will be rec…

Range (mathematics)Pure mathematicsOperator (computer programming)Dimension (vector space)GeneralizationSpectrum (functional analysis)Boundary (topology)Upper and lower boundsResolventMathematics
researchProduct

Exact Response Time Analysis of Hierarchical Fixed-Priority Scheduling

2009

Hierarchical scheduling has recently been used to provide temporal isolation to embedded virtualised systems. Response time analysis is a common way to derive a schedulability test for these systems. This paper points out that response time analysis for hierarchical fixed-priority scheduling found in the literature is only exact for tasks of the highest priority domain. For the rest of the tasks is an upper bound. In our work, we provide the exact analysis and we compare it with previously published works.

Rate-monotonic schedulingTheoretical computer scienceComputer scienceServerResponse timeDynamic priority schedulingParallel computingTemporal isolationUpper and lower boundsFair-share schedulingScheduling (computing)2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
researchProduct

Adiabatic evolution for systems with infinitely many eigenvalue crossings

1998

International audience; We formulate an adiabatic theorem adapted to models that present an instantaneous eigenvalue experiencing an infinite number of crossings with the rest of the spectrum. We give an upper bound on the leading correction terms with respect to the adiabatic limit. The result requires only differentiability of the considered projector, and some geometric hypothesis on the local behavior of the eigenvalues at the crossings.

Rest (physics)Physics[ MATH ] Mathematics [math]Mathematical analysisSpectrum (functional analysis)FOS: Physical sciencesStatistical and Nonlinear PhysicsMathematical Physics (math-ph)Mathematics::Spectral Theory01 natural sciencesUpper and lower boundsAdiabatic theorem0103 physical sciences010307 mathematical physicsDifferentiable functionLimit (mathematics)[MATH]Mathematics [math]010306 general physicsAdiabatic processMathematical PhysicsEigenvalues and eigenvectors
researchProduct