English
Related papers

Related papers: Standard and Hyperfinite Unifications for All Phys…

200 papers

As defined by Dunn, Moss, and Wang, an universal test set in an ortholattice $L$ is a subset $T$ such that each term takes value $1$, only, if it does so under all substitutions from $T$. Generalizing their result for ortholattices of…

Logic · Mathematics 2020-03-02 Christian Herrmann

A unitary operator which relates the system of a particle in a linear potential with time-dependent parameters to that of a free particle, has been given. This operator, closely related to the one which is responsible for the existence of…

Quantum Physics · Physics 2016-09-08 Dae-Yup Song

We prove a general criterion for a von Neumann algebra $M$ in order to be in standard form. It is formulated in terms of an everywhere defined, invertible, antilinear, a priori not necessarily bounded operator, intertwining $M$ with its…

Operator Algebras · Mathematics 2015-05-20 Francesco Fidaleo , László Zsidó

We study a new extension of the weak MSO logic, talking about boundedness. Instead of a previously considered quantifier U, expressing the fact that there exist arbitrarily large finite sets satisfying a given property, we consider a…

Logic in Computer Science · Computer Science 2023-11-29 Anita Badyl , Paweł Parys

Equivalence in physics is discussed on the basis of experimental data accompanied by experimental errors. The introduction of the equivalence being consistent with the mathematical definition is possible only in theories constructed on…

High Energy Physics - Theory · Physics 2010-11-11 Tsunehiro Kobayashi

In this article, it is shown specifically that natural system chance events as represented by theory predicted (a priori) probabilistic statements used in such realms as modern particle physics, among others, are only random relative to the…

General Physics · Physics 2007-05-23 Robert A. Herrmann

The physical meaning of the operators is not reducible to the intrinsic relations of the quantum system, since unitary transformations can find other operators satisfying the exact same relations. The physical meaning is determined…

Quantum Physics · Physics 2025-01-10 Ovidiu Cristinel Stoica

By investigating which level of universality composition operators $C_f$ can have, where the symbol $f$ is given by the restriction of a transcendental entire function to suitable parts of the Fatou set of $f$, this work combines the theory…

Complex Variables · Mathematics 2016-03-04 Andreas Jung

Some physicists hope to use string/M-theory to construct a comprehensive underlying theory of our physical world a "final theory". Can such a theory be tested? A quantum theory of gravity must be formulated in 10 dimensions, so obviously…

High Energy Physics - Theory · Physics 2016-01-28 Gordon L. Kane

We give a precise estimate for the number of lattice points in certain bounded subsets of $\mathbb{R}^{n}$ that involve `hyperbolic spikes' and occur naturally in multiplicative Diophantine approximation. We use Wilkie's o-minimal structure…

Number Theory · Mathematics 2019-05-10 Reynold Fregoli

Following the method of induced group representations of Wigner-Mackay, the explicit construction of all the unitary irreducible representations of the discrete finite Heisenberg-Weyl group $HW_{2^s}$ over the discrete phase space lattice…

Quantum Physics · Physics 2025-01-22 E. Floratos , I. Tsohantjis

We classify the finite dimensional irreducible representations with integral central character of finite $W$-algebras $U(\mathfrak g,e)$ associated to standard Levi nilpotent orbits in classical Lie algebras of types B and C. This…

Representation Theory · Mathematics 2016-01-20 Jonathan Brown , Simon M. Goodwin

We investigate a hierarchy of arithmetical structures obtained by a transfinite addition of a canonic universal predicate, where the canonic universal predicate for M is defined as a minimum universal predicate for M in terms of…

Logic · Mathematics 2007-05-23 Pavel Hrubes

For an integer $m\geq 1$, a combinatorial manifold $\widetilde{M}$ is defined to be a geometrical object $\widetilde{M}$ such that for $\forall p\in\widetilde{M}$, there is a local chart $(U_p,\phi_p)$ enable $\phi_p:U_p\to…

General Mathematics · Mathematics 2009-09-29 Linfan Mao

A unified theory of language combines a Bayesian cognitive linguistic model of language processing, with the proposal that language evolved by sexual selection for the display of intelligence. The theory accounts for the major facts of…

Neurons and Cognition · Quantitative Biology 2025-08-29 Robert Worden

We introduce a general unifying framework for the investigation of pointlike sets. The pointlike functors are considered as distinguished elements of a certain lattice of subfunctors of the power semigroup functor; in particular, we exhibit…

Group Theory · Mathematics 2021-08-31 Karsten Henckell , Samuel Herman

By resorting to the Fock--Bargmann representation, we incorporate the quantum Weyl--Heisenberg algebra, $q$-WH, into the theory of entire analytic functions. The $q$--WH algebra operators are realized in terms of finite difference operators…

High Energy Physics - Phenomenology · Physics 2007-05-23 E. Celeghini , S. De Martino , S. De Siena , M. Rasetti , G. Vitiello

In his $1994$ survey, Kleinert defined formally and formulated the problem to obtain unit theorems for unit groups of orders in a semisimple algebra $A$. If $A$ is a group algebra $FG$, it boils down to classifying all finite groups $G$…

Group Theory · Mathematics 2025-10-22 Geoffrey Janssens

Until is a notoriously difficult temporal operator as it is both existential and universal at the same time: A until B holds at the current time instant w iff either B holds at w or there exists a time instant w' in the future at which B…

Logic in Computer Science · Computer Science 2009-10-26 Andrea Masini , Luca Viganò , Marco Volpe

We start from two closure operators defined on the elements of a special kind of partially ordered sets, called causal nets. Causal nets are used to model histories of concurrent processes, recording occurrences of local states and of…

Logic in Computer Science · Computer Science 2014-08-04 Luca Bernardinello , Carlo Ferigato , Lucia Pomello