English
Related papers

Related papers: Quantifier-free descriptions for quantifier soluti…

200 papers

In a system of coupled harmonic oscillators, the interaction can be represented by a real, symmetric and positive definite interaction matrix. The quantization of a Hamiltonian describing such a system has been done in the canonical case.…

Quantum Physics · Physics 2009-11-24 Gilles Regniers , Joris Van der Jeugt

We study and extend the conditions for asociativity on fusion over antielement free $\sigma$-sets to introduce a group to solve $\sigma$-set equations. $\sigma$-sets as a theory of sets and antisets is sumarized and used as a framework to…

Logic · Mathematics 2017-01-12 Alfonso Bustamante Valenzuela

New criterion of regularity for representation of canonical commutation relations algebra is given on the basis of concept of an analytical vector.

Mathematical Physics · Physics 2011-05-13 M. N. Mnatsakanova , S. G. Salynskiy , Yu. S. Vernov

We prove Bergman's theorem on centralizers by using generic matrices and Kontsevich's quantization method. For any field $\textbf{k} $ of positive characteristics, set $A=\textbf{k} \langle x_1,\dots,x_s\rangle$ be a free associative…

Quantum Algebra · Mathematics 2018-07-24 Alexei Kanel Belov , Farrokh Razavinia , Wenchao Zhang

Given finite i.i.d.~samples in a Hilbert space with zero mean and trace-class covariance operator $\Sigma$, the problem of recovering the spectral projectors of $\Sigma$ naturally arises in many applications. In this paper, we consider the…

Probability · Mathematics 2024-07-08 Moritz Jirak , Martin Wahl

In this paper, we discuss the quantum dynamics of a nonlinear system that admits temporally localized solutions at the classical level. We consider a general ordered position-dependent mass Hamiltonian in which the ordering parameters of…

Quantum Physics · Physics 2022-08-01 V. Chithiika Ruby , V. K. Chandrasekar , M. Lakshmanan

We construct a complex entire function with arbitrary number of variables which has the following property: The infinite set consisting of all the values of all its partial derivatives of any orders at all algebraic points, including zero…

Number Theory · Mathematics 2022-08-04 Haruki Ide , Taka-aki Tanaka

We give two equivalent definitions of sigma algebras that are atomless conditionally to a smaller sigma algebra.

Probability · Mathematics 2020-03-23 Freddy Delbaen

Supersymmetric non-linear sigma-models are described by a field dependent Kaehler metric determining the kinetic terms. In general it is not guaranteed that this metric is always invertible. Our aim is to investigate the symmetry structure…

High Energy Physics - Theory · Physics 2011-10-11 T. S. Nyawelo , F. Riccioni , J. W. van Holten , S. Groot Nibbelink

We study the relative complexity of equivalence relations and preorders from computability theory and complexity theory. Given binary relations $R, S$, a componentwise reducibility is defined by $ R\le S \iff \ex f \, \forall x, y \, [xRy…

Logic · Mathematics 2018-02-12 Egor Ianovski , Keng Meng Ng , Russell Miller , Andre Nies

Let $R$ denote a 2-fir. The notions of F-independence and algebraic subsets of R are defined. The decomposition of an algebraic subset into similarity classes gives a simple way of translating the F-independence in terms of dimension of…

Rings and Algebras · Mathematics 2007-05-23 A. Leroy , A. Ozturk

This work concerns to the studies of boundary integrability of the vertex models from representations of the Temperley-Lieb algebra associated with the quantum group ${\cal U}_{q}[X_{n}]$ for the affine Lie algebras $X_{n}$ = $A_{1}^{(1)}$,…

Exactly Solvable and Integrable Systems · Physics 2013-07-30 A. Lima-Santos

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier $I$. $I$ forms a formula from two…

Logic in Computer Science · Computer Science 2021-08-13 Nils Kürbis

The quantum field theory describing the massive O(2) nonlinear sigma-model is investigated through two non-perturbative constructions: The form factor bootstrap based on integrability and the lattice formulation as the XY model. The…

High Energy Physics - Lattice · Physics 2009-11-07 J. Balog , M. Niedermaier , F. Niedermayer , A. Patrascioiu , E. Seiler , P. Weisz

We outline, test, and apply a new scheme for nonpertubative analyses of quantized field systems in contact with dynamical gravity. While gravity is treated classically in the present paper, the approach lends itself for a generalization to…

General Relativity and Quantum Cosmology · Physics 2020-12-30 Maximilian Becker , Martin Reuter

Certain weight-based orders on the free associative algebra $R = k<x_1, ..., x_t >$ can be specified by $t \times \infty$ arrays whose entries come from the subring of nonnegative elements in a totally ordered field. Such an array $A$…

Rings and Algebras · Mathematics 2016-11-17 J. W. Johnson

We present a novel class of real symmetric matrices in arbitrary dimension $d$, linearly dependent on a parameter $x$. The matrix elements satisfy a set of nontrivial constraints that arise from asking for commutation of pairs of such…

Strongly Correlated Electrons · Physics 2009-11-11 B Sriram Shastry

In a regression setting with a response vector and given regressor vectors, a typical question is to what extent the response is related to these regressors, specifically, how well it can be approximated by a linear combination of the…

Statistics Theory · Mathematics 2025-02-03 Lutz Duembgen , Laurie Davies

We give a short summary of our recent works on the classical integrable structure of two-dimensional non-linear sigma models defined on squashed three-dimensional spheres. There are two descriptions to describe the classical dynamics, 1)…

High Energy Physics - Theory · Physics 2015-06-03 Io Kawaguchi , Kentaroh Yoshida

In this book we use only special types of intervals and introduce the notion of different types of interval linear algebras and interval vector spaces using the intervals of the form [0, a] where the intervals are from Zn or Z+ \cup {0} or…

General Mathematics · Mathematics 2010-12-14 W. B. Vasantha Kandasamy , Florentin Smarandache