Related papers: Divisibility and a weak ascending chain condition …

Let $R=\bigoplus_{\alpha\in\Gamma}R_{\alpha}$ be a graded integral domain and $\star$ be a semistar operation on $R$. For $a\in R$, denote by $C(a)$ the ideal of $R$ generated by homogeneous components of $a$ and…

Topological classifications of quantum critical systems have recently attracted growing interest, as they go beyond the traditional paradigms of condensed matter and statistical physics. However, such classifications remain largely…

The notion of adequate subgroups was introduced by Jack Thorne [59]. It is a weakening of the notion of big subgroups used by Wiles and Taylor in proving automorphy lifting theorems for certain Galois representations. Using this idea,…

We recast Euclid's proof of the infinitude of prime numbers as a Euclidean Criterion for a domain to have infinitely many atoms. We make connections with Furstenberg's "topological" proof of the infinitude of prime numbers and show that our…

Positive $C_0$-semigroups that occur in concrete applications are, more often than not, irreducible. Therefore a deep and extensive theory of irreducibility has been developed that includes characterizations, perturbation analysis, and…

Let alpha = a_1 a_2 ... a_n be a sequence of nonnegative integers. The ascent set of alpha, Asc(alpha), consists of all indices k where a_{k+1} > a_k. An ascent sequence is alpha where the growth of the a_k is bounded by the elements of…

Chemical reaction networks (CRNs) are directed graphs with reactant or product complexes as vertices, and reactions as arcs. A CRN is weakly reversible if each of its connected components is strongly connected. Weakly reversible networks…

P.J.Cameron introduced the orbit algebra of a permutation group and conjectured that this algebra is an integral domain if and only if the group has no finite orbit. We prove that this conjecture holds and in fact that the age algebra of a…

A ring R is said to be of stable range 1.5 if for each a, b from R and nonzero c from R satisfying aR + bR + cR = R there exists r from R such that (a + br)R + cR = R. Let R be a commutative domain in which all finitely generated ideals are…

Freely falling point-like objects converge towards the center of the Earth. Hence the gravitational field of the Earth is inhomogeneous, and possesses a tidal component. The free fall of an extended quantum object such as a hydrogen atom…

In order to model and evaluate large-scale quantum systems, e.g. quantum computer and quantum annealer, it is necessary to quantify the ``quantumness" of such systems. In this paper, we discuss the dimensionless combinations of basic…

Let A be an idempotent algebra on a finite domain. We combine results of Chen, Zhuk and Carvalho et al. to argue that if A satisfies the polynomially generated powers property (PGP), then QCSP(Inv(A)) is in NP. We then use the result of…

We report that under some specific conditions a single qubit model weakly interacting with information environments can be referred to as a quantum classifier. We exploit the additivity and the divisibility properties of the completely…

In this paper, we show that it is possible for a commutative ring with identity to be non-atomic (that is, there exist non-zero nonunits that cannot be factored into irreducibles) and yet have a strongly atomic polynomial extension. In…

Hu, Kriz and May recently reexamined ideas implicit in Priddy's elegant homotopy theoretic construction of the Brown-Peterson spectrum at a prime p. They discussed May's notions of nuclear complexes and of cores of spaces, spectra, and…

We develop the theory of continuous and algebraic domains in constructive and predicative univalent foundations, building upon our earlier work on basic domain theory in this setting. That we work predicatively means that we do not assume…

Quantum channel capacities give the fundamental performance limits for information flow over a communication channel. However, the prevalence of superadditivity is a major obstacle to understanding capacities, both quantitatively and…

We prove the Fargues-Rapoport conjecture for p-adic period domains in the non-basic case with minuscule cocharacter. More precisely, we give a group theoretical criterion for the cases when the admissible locus and weakly admissible locus…

We use reverse mathematics to analyze "iterated jump" versions of the following four principles: the atomic model theorem with subenumerable types (AST), the diagonally noncomputable principle (DNR), weak weak K\H{o}nig's lemma (WWKL), and…

We define weak units in a semi-monoidal 2-category $\CC$ as cancellable pseudo-idempotents: they are pairs $(I,\alpha)$ where $I$ is an object such that tensoring with $I$ from either side constitutes a biequivalence of $\CC$, and $\alpha:…