Related papers: A duality proof of Tchakaloff's theorem

We introduce a complete set of complementary quantities in bipartite, two-dimensional systems. Complementarity then relates the quantitative entanglement measure concurrence which is a bipartite property to the single-particle quantum…

In the previous author's paper the Macdonald norm conjecture (including the famous constant term conjecture) was proved. This paper contains the proof of the remaining two (the duality and evaluation conjectures). The evaluation theorem is…

The theory of monotonicity and duality is developed for general one-dimensional Feller processes. Moreover it is shown that local monotonicity conditions (conditions on the L\'evy kernel) are sufficient to prove the well-posedness of the…

This paper aims to give an elementary proof for Toponogov's theorem in Alexandrov geometry with lower curvature bound. The idea of the proof comes from the fact that, in Riemannian geometry, sectional curvature can be embodied in the second…

In this paper we prove that the set of metrics conformal to the standard metric on $\mathbb{S}^{n}\backslash\{p_{1},\cdots,p_{l}\}$ is locally compact in $C^{m,\alpha}$ topology for any $m>0$, whenever the metrics have constant $\sigma_{k}$…

We establish the Subgradient Theorem for monotone correspondences -- a monotone correspondence is equal to the subdifferential of a potential if and only if it is conservative, i.e. its integral along a closed path vanishes irrespective of…

We prove a continuation condition in the context of 3+1 dimensional vacuum Einstein gravity in Constant Mean extrinsic Curvature (CMC) gauge. More precisely, we obtain quantitative criteria under which the physical spacetime can be extended…

Kantorovich potentials denote the dual solutions of the renowned optimal transportation problem. Uniqueness of these solutions is relevant from both a theoretical and an algorithmic point of view, and has recently emerged as a necessary…

Consider generalized adapted stochastic integrals with respect to independently scattered random measures with second moments. We use a decoupling technique, known as the "principle of conditioning", to study their stable convergence…

We give an equivalence-singularity criterion for infinite products of Cauchy measures under simultaneous shifts of the location and scale parameters. Our result is an extension of Lie and Sullivan's result giving an equivalence-singularity…

We report on a verification of the Fundamental Theorem of Algebra in ACL2(r). The proof consists of four parts. First, continuity for both complex-valued and real-valued functions of complex numbers is defined, and it is shown that…

The Carath\'eodory extension theorem is a fundamental result in measure theory. Often we do not know what a general measurable subset looks like. The Carath\'eodory extension theorem states that to define a measure we only need to assign…

This paper presents a detailed proof of the triality theorem for a class of fourth-order polynomial optimization problems. The method is based on linear algebra but it solves an open problem on the double-min duality left in 2003. Results…

For a large class of Cantor sets on the real-line, we find sufficient and necessary conditions implying that a set has positive (resp. null) measure for all doubling measures of the real-line. We also discuss same type of questions for…

The notion of quadratic self-duality for coalgebras is developed with applications to algebraic structures which arise naturally in algebraic topology, related to the universal Steenrod algebra via an appropriate form of duality. This…

The purpose of this paper is to prove the a priori estimates for constant scalar curvature Kaehler metrics with conic singularities along normal crossing divisors. The zero order estimates are proved by a reformulated version of…

In this expository note, we present a transparent proof of Toponogov's theorem for Alexandrov spaces in the general case, not assuming local compactness of the underlying metric space. More precisely, we show that if M is a complete…

Lyapunov's second theorem is an essential tool for stability analysis of differential equations. The paper provides an analog theorem for incremental stability analysis by lifting the Lyapunov function to the tangent bundle. The Lyapunov…

Propounding a general categorical framework for the extension of dualities, we present a new proof of the de Vries Duality Theorem for the category $\bf KHaus$ of compact Hausdorff spaces and their continuous maps, as an extension of a…

We prove a robust super-hedging duality result for path-dependent options on assets with jumps, in a continuous time setting. It requires that the collection of martingale measures is rich enough and that the payoff function satisfies some…