相关论文: Equivalence Theorems in Numerical Analysis : Integ…

We present an equivalence theorem to unify the two classes of uncertainty relations, i.e., the variance-based ones and the entropic forms, which shows that the entropy of an operator in a quantum system can be built from the variances of a…

Quantum theory is formulated as the only consistent way to manipulate probability amplitudes. The crucial ingredient is a consistency constraint: if there are two different ways to compute an amplitude the two answers must agree. This…

In this article we develop and analyze novel iterative regularization techniques for the solution of systems of nonlinear ill--posed operator equations. The basic idea consists in considering separately each equation of this system and…

Under natural assumptions, an unstable equilibrium of a difference equation can be stabilized by a bounded multiplicative noise, identically distributed at each step. This includes stabilization of an otherwise unstable positive equilibrium…

Low-complexity non-smooth convex regularizers are routinely used to impose some structure (such as sparsity or low-rank) on the coefficients for linear predictors in supervised learning. Model consistency consists then in selecting the…

This paper introduces a unified model of consistency and isolation that minimizes the gap between how these guarantees are defined and how they are perceived. Our approach is premised on a simple observation: applications view storage…

We introduce a class of depth-based classification procedures that are of a nearest-neighbor nature. Depth, after symmetrization, indeed provides the center-outward ordering that is necessary and sufficient to define nearest neighbors. Like…

The Lax equivalence theorem guarantees convergence of stable and consistent discretizations for linear hyperbolic partial differential equations (PDEs). For nonlinear problems, however, stability and consistency alone do not generally…

Automated verification has become an essential part in the security evaluation of cryptographic protocols. In this context privacy-type properties are often modelled by indistinguishability statements, expressed as behavioural equivalences…

Symmetries are of fundamental interest in many areas of science. In quantum information theory, if a quantum state is invariant under permutations of its subsystems, it is a well-known and widely used result that its marginal can be…

We adapt the concept of $\mathcal{K}-$convergence of Young measures to the sequences of approximate solutions resulting from numerical schemes. We obtain new results on pointwise convergence of numerical solutions in the case when solutions…

We show that the celebrated 1956 Lax-Richtmyer linear theorem in Numerical Analysis - often called the Fundamental Theorem of Numerical Analysis - is in fact wrong. Here "wrong" does not mean that its statement is false mathematically, but…

These are classified by the direction of approximation (from above or below), the set family types (partition or covering) of simple functions, the coefficient signature (non-negative or signed), and cardinal number of terms of simple…

It is widely known that the recursion operator is a very important component of integrability. It allows one to describe in a compact form both hierarchies of the generalized symmetries and infinite series of the local conservation laws. In…

This paper develops a process-based account of scientific explanation that reconceives grounding in terms of stabilisation. Grounding theories capture hierarchical dependence but lack criteria for when explanations remain adequate under…

Given a sequence of real numbers, we consider its subsequences converging to possibly different limits and associate to each of them an index of convergence which depends on the density of the associated subsequences. This index turns out…

In this paper, we present formula solutions of a family of difference equations of higher order. We discuss the periodic nature of the solutions and we investigate the stability character of the equilibrium points. We utilize Lie symmetry…

Many trace inequalities can be expressed either as concavity/convexity theorems or as monotonicity theorems. A classic example is the joint convexity of the quantum relative entropy which is equivalent to the Data Processing Inequality. The…

Integrable systems constitute an essential part of modern physics. Traditionally, to approve a model is integrable one has to find its infinitely many symmetries or conserved quantities. In this letter, taking the well known Korteweg-de…

We consider nonconforming methods for symmetric elliptic problems and characterize their quasi-optimality in terms of suitable notions of stability and consistency. The quasi-optimality constant is determined and the possible impact of…