English
Related papers

Related papers: De Finetti Theorem on the infinite non-commutative…

200 papers

We give an upper bound for the norm of the determinant of additively indecomposable, totally positive definite quadratic forms defined over the ring of integers of totally real number fields. We apply these results to find lower and upper…

Number Theory · Mathematics 2025-10-10 Magdaléna Tinková , Pavlo Yatsyna

We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex…

Number Theory · Mathematics 2013-09-03 Frauke M. Bleher , Ted Chinburg

Given a regular cardinal $\kappa$ such that $\kappa^{<\kappa}=\kappa$, we study a class of toposes with enough points, the $\kappa$-separable toposes. These are equivalent to sheaf toposes over a site with $\kappa$-small limits that has at…

Logic · Mathematics 2017-09-08 Christian Espíndola

Let $T$ be a (first order complete) dependent theory, ${\mathfrak{C}}$ a $\bar\kappa$-saturated model of $T$ and $G$ a definable subgroup which is abelian. Among subgroups of bounded index which are the union of $<\bar\kappa$ type definable…

Logic · Mathematics 2021-09-15 Saharon Shelah

Let H[N] denote the tensor product of n finite dimensional Hilbert spaces H(r). A state |phi> of H[N] is separable if |phi> is the tensor product of states in the respective product spaces. An orthogonal unextendible product basis is a…

Quantum Physics · Physics 2007-05-23 Arthur O. Pittenger

We compute the homotopy type of the moduli space of flat, unitary connections over aspherical surfaces, after stabilizing with respect to the rank of the underlying bundle. Over the orientable surface M^g, we show that this space has the…

Algebraic Topology · Mathematics 2018-05-09 Daniel A. Ramras

For an infinite Toeplitz matrix $T$ with nonnegative real entries we find the conditions, under which the equation $\boldsymbol{x}=T\boldsymbol{x}$, where $\boldsymbol{x}$ is an infinite vector-column, has a nontrivial bounded positive…

Probability · Mathematics 2023-06-22 Vyacheslav M. Abramov

Decomposition of state spaces into dynamically different components is helpful for the understanding of dynamical behaviors of complex systems. A Conley type decomposition theorem is proved for nonautonomous dynamical systems defined on a…

Dynamical Systems · Mathematics 2009-03-27 Xiaopeng Chen , Jinqiao Duan

Let A be a local conformal net of factors on the circle with the split property. We provide a topological construction of soliton representations of the tensor product of n copies of A, that restrict to true representations of subnet…

Operator Algebras · Mathematics 2011-04-06 Roberto Longo , Feng Xu

We prove a central limit theorem for non-commutative random variables in a von Neumann algebra with a tracial state: Any non-commutative polynomial of averages of i.i.d. samples converges to a classical limit. The proof is based on a…

Mathematical Physics · Physics 2019-09-16 Greg Kuperberg

For any number $h$ such that $\hbar:=h/2\pi$ is irrational and any skew-symmetric, non-degenerate bilinear form $\sigma:\mathbb{Z}^{2g}\times \mathbb{Z}^{2g} \to \mathbb{Z}$, let be $\mathcal{A}^h_{g,\sigma}$ be the twisted group…

Operator Algebras · Mathematics 2022-02-24 Federico Bambozzi , Simone Murro , Nicola Pinamonti

Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…

Logic · Mathematics 2024-09-04 Carlos Martinez-Ranero , Dubraska Salcedo , Javier Utreras

We study quantum mechanical systems with a discrete spectrum. We show that the asymptotic series associated to certain paths of steepest-descent (Lefschetz thimbles) are Borel resummable to the full result. Using a geometrical approach…

High Energy Physics - Theory · Physics 2018-02-01 Marco Serone , Gabriele Spada , Giovanni Villadoro

We characterize the topological non-cancellative cones that are expressible as projective limits of finite powers of $[0,\infty]$. These are also the cones of lower semicontinuous extended-valued traces on AF C*-algebras. Our main result…

Operator Algebras · Mathematics 2020-09-22 Mark Moodie , Leonel Robert

Fronts that start from a local perturbation and propagate into a linearly unstable state come in two classes: pulled and pushed. ``Pulled'' fronts are ``pulled along'' by the spreading of linear perturbations about the unstable state, so…

Condensed Matter · Physics 2009-10-31 Ute Ebert , Wim van Saarloos

We continue our study, initiated in our earlier paper, of Riemann surfaces with constant curvature and isolated conic singularities. Using the machinery developed in that earlier paper of extended configuration families of simple divisors,…

Differential Geometry · Mathematics 2021-06-04 Rafe Mazzeo , Xuwen Zhu

In [6] we proved that the universal theory of infinite free lattices is (algorithmically) decidable, leaving open the problem of decidability of the full theory of an (infinite) free lattice. We solve this problem by proving that, for every…

Logic · Mathematics 2025-11-18 J. B. Nation , Gianluca Paolini

The famous Brauer-Fowler theorem states that the order of a finite simple group can be bounded in terms of the order of the centralizer of an involution. Using the classification of finite simple groups, we generalize this theorem and prove…

Group Theory · Mathematics 2025-03-04 Saveliy V. Skresanov

We generalize known results on summands of completely decomposable and separable torsion-free abelian groups to modules over h-local Pr\"ufer domains. Over such domains summands of completely decomposable torsion-free modules are again…

Commutative Algebra · Mathematics 2011-12-06 L. Fuchs , J. E. Macías-Díaz

Let $X$ be a smooth compact complex surface subject to the following conditions: (i) the canonical line bundle $\mathcal{O}_X(K_X) $ is very ample, (ii) the irregularity $q(X): = h^1(\mathcal{O}_X) =0$, (iii) $X$ contains no rational normal…

Algebraic Geometry · Mathematics 2018-03-06 Igor Reider