Related papers: A Frobenius-Nirenberg theorem with parameter

There is a belief that the Ehrenfest theorem holds true universally. We demonstrate that for a classically nonrelativistic particle constrained on an $N-1$ ($N\geq 2$) curved hypersurface embedded in $N$ flat space, the theorem breaks down.

The Furstenberg recurrence theorem (or equivalently, Szemer\'edi's theorem) can be formulated in the language of von Neumann algebras as follows: given an integer $k \geq 2$, an abelian finite von Neumann algebra $(\M,\tau)$ with an…

The non-bijective version of Wigner's theorem states that a map which is defined on the set of self-adjoint, rank-one projections (or pure states) of a complex Hilbert space and which preserves the transition probability between any two…

Local and category-theoretical entropies associated with an endomorphism of finite length (i.e., with zero-dimensional closed fiber) of a commutative Noetherian local ring are compared. Local entropy is shown to be less than or equal to…

The goal of this paper is to formalize the notion of The Compositional Integral in The Complex Plane. We prove a convergence theorem guaranteeing its existence. We prove an analogue of Cauchy's Integral Theorem--and suggest an approach at…

We present variants of Goodstein's theorem that are equivalent to arithmetical comprehension and to arithmetical transfinite recursion, respectively, over a weak base theory. These variants differ from the usual Goodstein theorem in that…

We study Doob's Consistency Theorem and Freedman's Inconsistency Theorem from the vantage point of computable probability and algorithmic randomness. We show that the Schnorr random elements of the parameter space are computably consistent,…

This note will present a new proof of the fact that every uniformly bounded group of invertible elements in a finite von Neumann algebra is similar to a unitary group. The proof involves metric geometric arguments in the non-positively…

We consider a state-of-the-art ferroelectric phase-field model arising from the engineering area in recent years, which is mathematically formulated as a coupled elliptic-parabolic differential system. We utilize a fixed point theorem based…

In the elliptic theory for $p$-Laplacian-like problems, the H\"{o}lder continuity of solutions has been proven for problems arising as Euler--Lagrange equations of a convex potential with $p$-growth that additionally satisfies the splitting…

The paper deals with the problem of existence of a convergent "strong" normal form in the neighbourhood of an equilibrium, for a finite dimensional system of differential equations with analytic and time-dependent non-linear term. The…

The higher-order superintegrability of the Tremblay-Turbiner-Winternitz system (related to the harmonic oscillator) is studied on the two-dimensional spherical and hiperbolic spaces, $S_\k^2$ ($\k>0$), and $H_{\k}^2$ ($\k<0$). The curvature…

This document comes as supplementary material of the paper Stability in Gagliardo-Nirenberg inequalities by the same authors. It is intended to state a number of classical or elementary statements concerning constants and inequalities for…

We show that stable equivalences between Artin algebras without nodes preserve homological data that provide upper bounds for finitistic dimension, and that stable equivalences between Artin algebras with positive $\nu$-dominant dimensions…

We prove that the notion of relative property (T) (or rigidity) for inclusions of finite von Neumann algebras defined in [Po1] is equivalent to a weaker property, in which no ``continuity constants'' are required. The proof is by…

We formulate analogues, for Noetherian local $\mathbb Q$-algebras which are not necessarily regular, of the injectivity part of Gersten's conjecture in algebraic $K$-theory, and prove them in various cases. Our results suggest that the…

We provide a self-contained proof of the Artin-Wedderburn theorem in the case of finite-dimensional Von Neumann algebras (or equivalently unital C* algebras) that is fully constructive and uses only basic notions of linear algebra.

We develop a version of Herbrand's theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable…

We prove a general statement about the integrality of the sequences generated by a recursion of the following form: $nu_n$ equals a linear combination of $u_{n-1},u_{n-2},\dots,u_0$ with polynomial coefficients in $n$ of special form. This…

The topological Tverberg theorem states that any continuous map of a $(d+1)(r-1)$-simplex into the Euclidean $d$-space maps some points from $r$ pairwise disjoint faces of the simplex to the same point whenever $r$ is a prime power. We…