Related papers: On strictly nonzero integer-valued charges

To a Boolean inverse monoid $S$ we associate a universal C*-algebra $C_B^*(S)$ and show that it is equal to Exel's tight C*-algebra of $S$. We then show that any invariant mean on $S$ (in the sense of Kudryavtseva, Lawson, Lenz and Resende)…

We extend the concept of "almost indiscernible theory" introduced by Pillay and Sklinos in [Bull. Symb. Log., 2015] (which was itself a modernization and expansion of Baldwin and Shelah [Algebra Universalis, 1983]), to uncountable languages…

In his 1981 Fundamental Theorem of Algebra paper Steve Smale initiated the complexity theory of finding a solution of polynomial equations of one complex variable by a variant of Newton's method. In this paper we reconsider his algorithm in…

As it follows from G\"odel's incompleteness theorems, any consistent formal system of axioms and rules of inference should imply a true unprovable statement. Actually, this fundamental principle can be efficiently applicable in…

The set A = {a_n} of nonnegative integers is an asymptotic basis of order h if every sufficiently large integer can be represented as the sum of h elements of A. If a_n ~ alpha n^h for some real number alpha > 0, then alpha is called an…

We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that irr(B_0 times B_1)= max(irr(B_0),irr(B_1)). We prove…

We shed a new light on the longstanding problem of covariant charges in diffeomorphism invariant theories like General Relativity (GR) by noting the other important feature of the theory, the background independence. To this end, we develop…

We show that the nonlinear real arithmetic theory (NRA) as defined in the SMTLIB standard is undecidable. The undecidability arises from the treatment of division by zero as an uninterpreted function, which allows encoding integer…

Let $G$ be an additive abelian group. A sequence $S=g_1\cdot\ldots\cdot g_{\ell}$ of terms from $G$ is a plus-minus weighted zero-sum sequence if there are $\varepsilon_1,\ldots,\varepsilon_{\ell}\in\{-1,1\}$ such that $\varepsilon_1…

We consider charged rotating BTZ black holes in noncommutative space by use of Chern-Simons theory formulation of $2+1$ dimensional gravity. The noncommutativity between the radial and the angular variables is introduced through the…

We study how the charges of the black rings measured at the asymptotic infinity are encoded in the near-horizon metric and gauge potentials, independent of the detailed structure of the connecting region. Our analysis clarifies how…

Let $G$ be a finite abelian group of exponent $n$, written additively, and let $A$ be a subset of $\mathbb{Z}$. The constant $s_A(G)$ is defined as the smallest integer $\ell$ such that any sequence over $G$ of length at least $\ell$ has an…

The idea of this paper is to explore the existence of canonical countably saturated models for different classes of structures. It is well-known that, under CH, there exists a unique countably saturated linear order of cardinality…

Let g be a finite-dimensional simple Lie algebra of rank r over an algebraically closed field of characteristic zero, and let e be a nilpotent element of g. Denote by g^e the centralizer of e in g and by S(g^e)^{g^e} the algebra of…

This is an article in mathematics, specifically in set theory. On the example of the Measure Recognition Problem (MRP) the article highlights the phenomenon of the utility of a multidisciplinary mathematical approach to a single…

The properties of BPS monopoles carrying nonabelian magnetic charges are investigated by following the behavior of the moduli space of solutions as the Higgs field is varied from a value giving a purely abelian symmetry breaking to one that…

Five-valued Nelson algebras are those satisfying the condition: $((x\to z)\to y)\to(((y \to x)\to y)\to y)=1$. We give alternative equations defining these algebras, and determine the structure and number of elements of the free five-valued…

We study several notions of null sets on infinite-dimensional Carnot groups. We prove that a set is Aronszajn null if and only if it is null with respect to measures that are convolutions of absolutely continuous (CAC) measures on Carnot…

We derive the classical algebra of the non-local conserved charges in the O(N) WZNW model and analyze its dependence on the coupling constant of the Wess-Zumino term. As in the non-linear sigma model, we find cubic deformations of the O(N)…

We prove a version of the Extra-zero conjecture formulated by the first named author for p-adic L-functions associated to Rankin-Selberg convolutions of modular forms of the same weight. The novelty of this result is to provide strong…