Related papers: Intermediate models and Kinna--Wagner Principles

Cai and Hemachandra used iterative constant-setting to prove that Few $\subseteq$ $\oplus$P (and thus that FewP $\subseteq$ $\oplus$P). In this paper, we note that there is a tension between the nondeterministic ambiguity of the class one…

Counter-adversarial system design problems have lately motivated the development of inverse Bayesian filters. For example, inverse Kalman filter (I-KF) has been recently formulated to estimate the adversary's Kalman-filter-tracked estimates…

A $\Sigma$-construction of Solovay is extended to the case of intermediate sets which are not necessarily subsets of the ground model, with a more transparent description of the resulting forcing notion than in the classical paper of…

Let $H$ be a complex Hilbert space whose dimension is not less than $3$ and let ${\mathcal F}_{s}(H)$ be the real vector space formed by all self-adjoint operators of finite rank on $H$. For every non-zero natural $k<\dim H$ we denote by…

In this article, we obtain a version of the noncommutative Banach Principle suitable to prove Wiener-Wintner type results for weights in W1-space. This is used to obtain noncommutative Wiener-Wintner type ergodic theorems for various types…

The Jordan structure of finite-dimensional quantum theory is derived, in a conspicuously easy way, from a few simple postulates concerning abstract probabilistic models (each defined by a set of basic measurements and a convex set of…

The paper studies the problem of the cofibrant generation of a model category. We prove that, assuming Vop\v{e}nka's principle, every cofibrantly generated model category is Quillen equivalent to a combinatorial model category. We discuss…

We introduce the notion of generalized bialgebra, which includes the classical notion of bialgebra (Hopf algebra) and many others. We prove that, under some mild conditions, a connected generalized bialgebra is completely determined by its…

We prove an intermediate value theorem of an arithmetical flavor, involving the consecutive averages of sequences with terms in a given finite set A. For every such set we completely characterize the numbers x ("intermediate values") with…

This paper presents a framework for computing random operator-valued feature maps for operator-valued positive definite kernels. This is a generalization of the random Fourier features for scalar-valued kernels to the operator-valued case.…

The wave-particle duality dates back to Einstein's explanation of the photoelectric effect through quanta of light and de Broglie's hypothesis of matter waves. Quantum mechanics uses an abstract description for the behavior of physical…

Let H be a Hilbert $C^*$-module over a matrix algebra A. It is proved that any function $T:H\to H$ which preserves the absolute value of the (generalized) inner product is of the form $Tf=\phi(f)Uf$ $(f\in H)$, where $\phi$ is a…

We introduce global wave-front sets $\operatorname{WF}_{{\mathcal B}} (f)$, $f\in {\mathscr S}^\prime(\textbf{R}^d)$, with respect to suitable Banach or Fr\'echet spaces ${\mathcal B}$. An important special case is given by the modulation…

For a disk $D$ in the plane $\mathbb R^2$ and a plane map $f$, we give several conditions on the restriction of $f$ to the boundary $\partial D$ of $D$ which imply the existence of a fixed point of $f$ in some specified domain in $D$. These…

Much mathematical writing exists that is, explicitly or implicitly, based on set theory, often Zermelo-Fraenkel set theory (ZF) or one of its variants. In ZF, the domain of discourse contains only sets, and hence every mathematical object…

Let $f$ be a newform of even weight at least $4$, level $N$ and trivial character. Let $p\nmid N$ be an odd prime number that is ordinary for $f$ and let $K$ be an imaginary quadratic field satisfying a generalized Heegner hypothesis…

We define a filtration of a standard Whittaker module over a complex semisimple Lie algebra and and establish its fundamental properties. Our filtration specialises to the Jantzen filtration of a Verma module for a certain choice of…

There is a longstanding conjecture by Fr\"oberg about the Hilbert series of the ring $R/I$, where $R$ is a polynomial ring, and $I$ an ideal generated by generic forms. We prove this conjecture true in the case when $I$ is generated by a…

We prove that the fixed point iteration of arbitrary positive concave mappings with nonempty fixed point set converges geometrically for any starting point. We also show that positivity is crucial for this result to hold, and the concept of…

Under mild hypotheses on the residual representation, we prove the Equivariant Tamagawa Number Conjecture for modular motives with coefficients in universal deformation rings and Hecke algebras using a novel combination of the methods of…