Related papers: The S-Procedure via Dual Cone Calculus

This paper presents a special subset of the first-order predicate logic named S-program calculus (briefly S-calculus). The S-calculus is a calculus consisting of so-called S-formulas that are defined over the abstract state space of a…

We introduce Hilbertian Hardy--Sobolev spaces on tube domains over convex cones and develop their structural theory from a Fourier-analytic point of view. We first establish a Paley--Wiener type representation, which identifies these spaces…

S. Baker (2019), B. B\'ar\'any and A. K\"{a}enm\"{a}ki (2019) independently showed that there exist iterated function systems without exact overlaps and there are super-exponentially close cylinders at all small levels. We adapt the method…

Let H^2_m be the Drury-Arveson (DA) module which is the reproducing kernel Hilbert space with the kernel function (z, w) \in B^m \times B^m \raro (1 - <z,w>)^{-1}. We investigate for which multipliers \theta : \mathbb{B}^m \raro \cll(\cle,…

The existence of more than one solution for s-wave pairing in the extended Hubbard model is not often realized. This possibility was noted by Friedberg et al. [Phys. Rev B50, 10190 (1994)] in the case of two electrons on a lattice, without…

We consider the second-order cone function (SOCF) $f: {\mathbb R}^n \to \mathbb R$ defined by $f(x)= c^T x + d -\|A x + b \|$. Every SOCF is concave. We give necessary and sufficient conditions for strict concavity of $f$. The parameters $A…

We compute the cohomological Hall algebra of zero-dimensional sheaves on an arbitrary smooth quasi-projective surface $S$ with pure cohomology, deriving an explicit presentation by generators and relations. When $S$ has trivial canonical…

Let $H$ be the Iwahori-Hecke algebra and let $J$ be Lusztig's asymptotic Hecke algebra, both specialized to type $\tilde{A}_1$. For $\mathrm{SL}_2$, when the parameter $q$ is specialized to a prime power, Braverman and Kazhdan showed…

Recently the authors and J.M. Kress presented a special function recurrence relation method to prove quantum superintegrability of an integrable 2D system that included explicit constructions of higher order symmetries and the structure…

The dual coalgebra of Podle\'s' quantum sphere O_q(S^2_c) is determined explicitly. This result is used to classify all finite dimensional covariant first order differential calculi over O_q(S^2_c) for all but exceptional values of the…

Filinski constructed a symmetric lambda-calculus consisting of expressions and continuations which are symmetric, and functions which have duality. In his calculus, functions can be encoded to expressions and continuations using primitive…

Let $S$ be a complete operator system with a generating cone; i.e. $S_\sa = S_+ - S_+$. We show that there is a matrix norm on the dual space $S^*$, under which, and the usual dual matrix cone, $S^*$ becomes a dual operator system with a…

We introduce a notion of weak anticommutativity for a pair (S,T) of self-adjoint regular operators in a Hilbert-C*-module E. We prove that the sum $S+T$ of such pairs is self-adjoint and regular on the intersection of their domains. A…

G\"ottsche gave a formula for the dimension of the cohomology of Hilbert schemes of points on a smooth projective surface $S$. When $S$ admits an action by a finite group $G$, we describe the action of $G$ on the Hodge structure. In the…

We establish the decidability of the $\Sigma_2$ theory of both the arithmetic and hyperarithmetic degrees in the language of uppersemilattices i.e. the language with $\leq, 0$ and $\sqcup$. This is achieved by using Kumabe-Slaman forcing -…

We give a closed formula for the Conway function of a splice in terms of the Conway function of its splice components. As corollaries, we refine and generalize results of Seifert, Torres, and Sumners-Woods.

We describe the classical Schwinger model as a study of the projective modules over the algebra of complex-valued functions on the sphere. On these modules, classified by $\pi_2(S^2)$, we construct hermitian connections with values in the…

We present a mathematically rigorous quantum-mechanical treatment of a two-dimensional nonrelativistic quantum dual theories (with oscillator and Coulomb like potentials) on a plane and compare their spectra and the sets of eigenfunctions.…

We construct an algebra that is an elliptic generalization of $A_1$ spherical DAHA acting on its finite-dimensional module at $t=-q^{-K/2}$ with $K=2$. We prove that $PSL(2,\mathbb Z)$ acts by automorphisms of the algebra we constructed,…

For a von Neumann algebra M on a Hilbert space, A. Connes has constructed a module S and a derivation of M into S, such that M is approximately finite dimensional if and only if that derivation is inner. The paper contains a generalization…