English
Related papers

Related papers: On the expressive power of Lukasiewicz's square op…

200 papers

It is well known that ordered exponential fields with a compatible non-trivial valuation cannot be spherically complete, but there are some that are ``complete enough''. This paper gives analogues of Kaplansky's theorem on maximally valued…

Logic · Mathematics 2026-03-06 Pietro Freni

Complete characterization of complete positivity preserving non-Markovian master equations is presented.

Quantum Physics · Physics 2009-02-24 Andrzej Kossakowski , Rolando Rebolledo

Proving proof-size lower bounds for $\mathbf{LK}$, the sequent calculus for classical propositional logic, remains a major open problem in proof complexity. We shed new light on this challenge by isolating the power of structural rules,…

Logic in Computer Science · Computer Science 2026-02-02 Amirhossein Akbar Tabatabai , Raheleh Jalali

We associate to any element in the Milnor K-theory of a field $k$ modulo 2 an invertible Morava K-theory motive over $k$. Specifically, for $\alpha$ in $\mathrm{K}^{\mathrm{M}}_{n+1}(k)/2$ we construct an invertible $\mathrm{K}(n)$-motive…

Algebraic Geometry · Mathematics 2025-05-20 Andrei Lavrenov , Pavel Sechin

We present an approach to evaluate the full operatorial Q-system of all $\mathfrak{u}(p,q|r+s)$-invariant spin chains with representations of Jordan-Schwinger type. In particular, this includes the super spin chain of planar $\mathcal{N}=4$…

High Energy Physics - Theory · Physics 2017-10-31 Rouven Frassek , Christian Marboe , David Meidinger

Let $N\unlhd G$ be a pair of finite subgroups of $\mathrm{SL}_2(\mathbb{C})$ and $V$ a finite-dimensional fundamental $G$-module. We study Kostant's generating functions for the decomposition of the $\mathrm{SL}_2(\mathbb C)$-module…

Representation Theory · Mathematics 2025-04-09 Naihuan Jing , Zhijun Li , Danxia Wang

Any square matrix can be transformed into a doubly stochastic matrix via Sinkhorn scaling with diagonal matrices or completing to a larger dimensional matrix. Standard Birkhoff-von Neumann and Pauli decompositions represent such matrices as…

Quantum Physics · Physics 2026-05-28 Ammar Daskin

The abelian and monoidal structure of the category of smooth weight modules over a non-integrable affine vertex algebra of rank greater than one is an interesting, difficult and essentially wide open problem. Even conjectures are lacking.…

Representation Theory · Mathematics 2021-12-28 Thomas Creutzig , David Ridout , Matthew Rupert

Cohesive powers of computable structures can be viewed as effective ultraproducts over effectively indecomposable sets called cohesive sets. We investigate the isomorphism types of cohesive powers $\Pi _{C}% \mathcal{L}$ for familiar…

In this review paper we carry on our investigations on Schroedinger operators with inverse square potentials on the half-line. Depending on several parameters, such operators possess either a finite number of complex eigenvalues, or an…

Spectral Theory · Mathematics 2018-10-30 H. Inoue , S. Richard

We construct the Continuous Wavelet Transform (CWT) on the homogeneous space (Cartan domain) D_4=SO(4,2)/(SO(4)\times SO(2)) of the conformal group SO(4,2) (locally isomorphic to SU(2,2)) in 1+3 dimensions. The manifold D_4 can be mapped…

Mathematical Physics · Physics 2011-06-21 M. Calixto , E. Perez-Romero

We develop a new functional-analytic technique for investigating the degree of noncompactness of an operator defined on a quasinormed space and taking values in a Marcinkiewicz space. The main result is a general principle from which it can…

Functional Analysis · Mathematics 2025-11-25 Jan Malý , Zdeněk Mihula , Vít Musil , Luboš Pick

The purpose of this paper is to generalize Zhu's theorem about characters of modules over a vertex operator algebra graded by integer conformal weights, to the setting of a vertex operator superalgebra graded by rational conformal weights.…

Representation Theory · Mathematics 2013-07-19 Jethro van Ekeren

The motivation behind this paper is threefold. Firstly, to study, characterize and realize operator concavity along with its applications to operator monotonicity of free functions on operator domains that are not assumed to be matrix…

Functional Analysis · Mathematics 2020-09-29 Miklós Pálfia

Order-invariant first-order logic is an extension of first-order logic FO where formulae can make use of a linear order on the structures, under the proviso that they are order-invariant, i.e. that their truth value is the same for all…

Logic in Computer Science · Computer Science 2025-04-09 Bartosz Bednarczyk , Julien Grange

In this note, we give a generalization of Gossez's example of a maximally monotone multifunction such that the closure of its range is not convex, using more elementary techniques than in Gossez's original papers. We also discuss some new…

Functional Analysis · Mathematics 2019-01-16 Stephen Simons

Markov logic uses weighted formulas to compactly encode a probability distribution over possible worlds. Despite the use of logical formulas, Markov logic networks (MLNs) can be difficult to interpret, due to the often counter-intuitive…

Artificial Intelligence · Computer Science 2015-06-09 Ondrej Kuzelka , Jesse Davis , Steven Schockaert

The notion of non-deterministic logical matrix (where connectives are interpreted as multi-functions) preserves many good properties of traditional semantics based on logical matrices (where connectives are interpreted as functions) whilst…

Logic in Computer Science · Computer Science 2022-04-15 Pedro Filipe , Carlos Caleiro , Sérgio Marcelino

Using the projective oscillator representation of sl(n+1) and Shen's mixed product for Witt algebras, Zhao and the second author (2011) constructed a new functor from sl(n)-Mod to sl(n+1)-Mod. In this paper, we start from n = 2 and use the…

Representation Theory · Mathematics 2022-10-27 Zhenyu Zhou , Xiaoping Xu

For an irreducible complex reflection group $W$ of rank $n$ containing $N$ reflections, we put $g=2N/n$ and construct a $(g+1)^n$-dimensional irreducible representation of the Cherednik algebra which is (as a vector space) a quotient of the…

Representation Theory · Mathematics 2023-10-04 Stephen Griffeth