相关论文: Two preservation theorems

We revisit the theorem of Wigner, Araki and Yanase (WAY) describing limitations to repeatable quantum measurements that arise from the presence of conservation laws. We will review a strengthening of this theorem by exhibiting and…

We prove that if there exists a simplified $(\omega_1,2)$-morass, then there is a ccc forcing which adds an $\omega_3$-chain in P($\omega_1$) mod finite and a ccc forcing which adds a family of $\omega_3$-many strongly almost disjoint…

We introduce an iteration of forcing notions satisfying the countable chain condition with minimal damage to a strong coloring. Applying this method, we prove that Martin's axiom is strictly stronger than its restriction to forcing notions…

This note addresses the continuum problem, taking advantage of the breakthrough mentioned in the subtitle, and relating it to many recent advances occurring in set theory.

We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the meager ideal of the…

We examine the selective screenability property in topological groups. In the metrizable case we also give characterizations in terms of the Haver property and finitary Haver property respectively relative to left-invariant metrics. We…

A sharper formulation is presented for an interpretation of quantum mechanics advocated by author. As an essential element we put forward conservation laws concerning the ontological nature of a variable, and the uncertainties concerning…

In this paper we introduce three notions of measure theoretical entropy of a measurable cover U in a measure theoretical dynamical system. Two of them were already introduced in [R] and the new one is defined only in the ergodic case. We…

We address the Riemann and Cauchy problems for systems of $n$ conservation laws in $m$ unknowns which are subject to $m-n$ constraints ($m\geq n$). Such constrained systems generalize systems of conservation laws in standard form to include…

We develop a toolbox for forcing over arbitrary models of set theory without the axiom of choice. In particular, we introduce a variant of the countable chain condition and prove an iteration theorem that applies to many classical forcings…

Given a conserved and traceless energy-momentum tensor and a conformal Killing vector, one obtains a conserved current. We generalise this construction to superconformal theories in three, four, five and six dimensions with various amounts…

We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing…

This talk is a sneak preview of the project, 'proof theory for theories of ordinals'. Background, aims, survey and furture works on the project are given. Subsystems of second order arithmetic are embedded in recursively large ordinals and…

Quantum resources are certain features of the quantum world that provide advantages in certain information-theoretic, thermodynamic, or any other useful operational tasks that are outside the realm of what classical theories can achieve.…

Measurement error and disturbance, in the presence of conservation laws, are analysed in general operational terms. We provide novel quantitative bounds demonstrating necessary conditions under which accurate or non-disturbing measurements…

On the retention problem, we study the case of a functional constraint on the set of disturbances. A construction of resolving quasistrategy based on the method of programmed iterations is proposed.

In this paper we investigate cumulative hierarchies of functions on structures, or cumulative powers, and study their properties. Particularly, we show how they extend the preservation phenomena of reduced powers, direct powers and…

We observe that successive applications of known results from the theory of positive systems lead to an {\it efficient general algorithm} for positive realizations of transfer functions. We give two examples to illustrate the algorithm, one…

Following an approach of the second author for conformally invariant variational problems in two dimensions, we show in four dimensions the existence of a conservation law for fourth order systems, which includes both intrinsic and…

The existence of conservation laws is one of the most important requirement of physical theories. Some of them, like energy conservation, knows no experimental exception. However, the generalization of these conservation laws to curved…