Related papers: Atomic Pseudo-Valuation Domains
In the last decades, material discovery has been a very active research field driven by the need to find new materials for many different applications. This has also included materials with heavy elements, beyond the stable isotopes of…
Classically domain theory is a rigourous mathematical structure to describe denotational semantics for programming languages and to study the computability of partial functions. Recently, the application of domain theory has also been…
We classify dp-minimal integral domains, building off the existing classification of dp-minimal fields and dp-minimal valuation rings. We show that if R is a dp-minimal integral domain, then R is a field or a valuation ring or arises from…
A valuation theory for superrings is developed, extending classical constructions from commutative algebra to the $\mathbb Z_2$-graded and supercommutative setting. We define valuations on superrings, investigate their fundamental…
Measures of voting power have been the subject of extensive research since the mid 1940s. More recently, similar measures of relative importance have been studied in other domains that include inconsistent knowledge bases, intensity of…
We generalize a classical inequality between the eigenvalues of the Laplacians with Neumann and Dirichlet boundary conditions on bounded, planar domains: in 1955, Payne proved that below the $k$-th eigenvalue of the Dirichlet Laplacian…
Real physical systems are only understood, experimentally or theoretically, to a finite resolution so in their analysis there is generally an ignorance of possible short-range phenomena. It is also well-known that the boundary conditions of…
Polynomial composites were introduced by Anderson, Anderson, and Zafrullah. Over time, composites have appeared in many different papers, but they have not been sorted out in the algebra world. This paper is another part of the study of…
A central concern of molecular dynamics simulations are the potential energy surfaces that govern atomic interactions. These hypersurfaces define the potential energy of the system, and have generally been calculated using either predefined…
Since its introduction by Vapnik and Chervonenkis in the 1960s, the VC dimension and its variants have played a central role in numerous fields. In this paper, we investigate several variants of the VC dimension and their applications to…
This note aims at providing a rather informal and hopefully accessible overview of the fairly long and technical work [4]. In that paper, the authors established new global-in-time existence results for admissible solutions of nonlinear…
The Diederich--Forn\ae ss index has been introduced since 1977 to classify bounded pseudoconvex domains. In this article, we derive several intrinsic, geometric conditions on boundary of domains for arbitrary indexes. Many results, in the…
We consider the relation between three different approaches to defining quantum states across several times and locations: the pseudo-density matrix (PDM), the process matrix, and the multiple-time state approaches. Previous studies have…
This paper presents a new numerical abstract domain for static analysis by abstract interpretation. This domain allows us to represent invariants of the form (x-y<=c) and (+/-x<=c), where x and y are variables values and c is an integer or…
We extend the topos-theoretic treatment given in previous papers of assigning values to quantities in quantum theory. In those papers, the main idea was to assign a sieve as a partial and contextual truth value to a proposition that the…
We study second-order divergence-form systems on half-infinite cylindrical domains with a bounded and possibly rough base, subject to homogeneous mixed boundary conditions on the lateral boundary and square integrable Dirichlet, Neumann, or…
We review our recent results on pseudo-hermitian random matrix theory which were hitherto presented in various conferences and talks. (Detailed accounts of our work will appear soon in separate publications.) Following an introduction of…
The problem behind this paper is the proper measurement of the degree of quality/acceptability/distance to arbitrage of trades. We are narrowing the class of coherent acceptability indices introduced by Cherny and Madan (2007) by imposing…
We give lower bounds on the largest singular value of arbitrary matrices, some of which are asymptotically tight for almost all matrices. To study when these bounds are exact, we introduce several combinatorial concepts. In particular, we…
In this paper, we construct a dumbbell domain for which the associated principle $\infty$-eigenvalue is not simple. This gives a negative answer to the outstanding problem posed by Juutinen-Lindquivst-Manfredi ("The $\infty$-eigenvalue…