Related papers: A characterization of atomicity
Let $M$ be a Puiseux monoid, that is, a monoid consisting of nonnegative rationals (under addition). A nonzero element of $M$ is called an atom if its only decomposition as a sum of two elements in $M$ is the trivial decomposition (i.e.,…
An atomic monoid is length-factorial if each two distinct factorizations of any element have distinct factorization lengths. We provide a characterization of length-factorial Krull monoids in terms of their class groups and the distribution…
The elasticity of an atomic integral domain is, in some sense, a measure of how far the domain is from being a unique factorization domain (or, more properly, a half-factorial domain). We consider the relationship between the elasticity of…
We study the non-uniqueness of factorizations of non zero-divisors into atoms (irreducibles) in noncommutative rings. To do so, we extend concepts from the commutative theory of non-unique factorizations to a noncommutative setting. Several…
Although the foundations of quantum and classical physics are much different, it is often difficult to pinpoint which features of a particular system are intrinsically "quantum". Perhapse, the most clear-cut distinction between "classical"…
By parametrizing the action integral for the standard Schrodinger equation we present a derivation of the recently proposed method for quantizing a parametrized theory. The reformulation suggests a natural extension from conventional to…
Let $R$ be an order in a number field whose conductor ideal $P := (R:\overline{R})$ is prime in the ring of integers $\overline{R}$. In this paper, we explore the factorization properties of such orders. Most notably, we give a complete…
The requirement of complete positivity is very often regarded as a fundamental consistency condition for the description of open quantum dynamics. We critically examine this requirement and discuss both its physical motivations and its…
We show that a $C^*$-algebra $A$ is nuclear iff there is a constant $K$ and $\alpha<3$ such that, for any bounded homomorphism $u\colon A \to B(H)$, there is an isomorphism $\xi\colon H\to H$ satisfying $\|\xi^{-1}\|\|\xi\| \le…
If the state of a quantum system is sampled out of a suitable ensemble, the measurement of some observables will yield (almost) always the same result. This leads us to the notion of quantum typicality: for some quantities the initial…
We exploit the so called atomic condition, recently defined by De Philippis, De Rosa, and Ghiraldin in [Comm. Pure Appl. Math.] and proved to be necessary and sufficient for the validity of the anisotropic counterpart of the Allard…
Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object", "everything can possibly exist, unless it yields contradiction", "the ideal elements correctly determine…
In this paper, we introduce a new generalization of weakly prime ideals called $I$-prime. Suppose $R$ is a commutative ring with identity and $I$ a fixed ideal of $R$. A proper ideal $P$ of $R$ is $I$-prime if for $a, b \in R$ with $ab \in…
A graph property (i.e., a set of graphs) is induced-hereditary or additive if it is closed under taking induced-subgraphs or disjoint unions. If $\cP$ and $\cQ$ are properties, the product $\cP \circ \cQ$ consists of all graphs $G$ for…
This paper introduces the notions of atoms and atomicity in $C$-algebras and obtains a characterisation of atoms in the $C$-algebra of transformations. Further, this work presents some necessary conditions and sufficient conditions for the…
We present an adapted construction of algebraic circuits over the reals introduced by Cucker and Meer to arbitrary infinite integral domains and generalize the $\mathrm{AC}_{\mathbb{R}}$ and $\mathrm{NC}_{\mathbb{R}}$-classes for this…
For each countable ordinal $\alpha$, we introduce an ideal $conv_\alpha$ and use it to characterize the class of all compact countable spaces which are homeomorphic to the space $\omega^{\alpha}\cdot n+1$ with the order topology. The…
We introduce a notion of harmonic chain for chain complexes over fields of positive characteristic. A list of conditions for when a Hodge decomposition theorem holds in this setting is given and we apply this theory to finite CW complexes.…
Uniqueness quantification ($\exists !$) is a quantifier in first-order logic where one requires that exactly one element exists satisfying a given property. In this paper we investigate the strength of uniqueness quantification when it is…
A condition, in two variants, is given such that if a property P satisfies this condition, then every logic which is at least as strong as first-order logic and can express P fails to have the compactness property. The result is used to…