English
Related papers

Related papers: Atomic Pseudo-Valuation Domains

200 papers

Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for…

Logic · Mathematics 2024-07-17 Samaria Montenegro , Silvain Rideau-Kikuchi

For bounded domains, eigenvalues and eigenfunctions of double layer potentials are considered. The aim of this paper is to establish some relationships between eigenvalues, eigenfunctions and the geometry of domain boundaries.

Spectral Theory · Mathematics 2015-01-16 Yoshihisa Miyanishi , Takashi Suzuki

In this paper we revise and simplify the notion of observationally induced algebra introduced by Simpson and Schroeder for the purpose of modelling computational effects in the particular case where the ambient category is given by…

Logic in Computer Science · Computer Science 2016-10-28 Ingo Battenfeld , Klaus Keimel , Thomas Streicher

Subatomic systems were recently introduced to identify the structural principles underpinning the normalization of proofs. "Subatomic" means that we can reformulate logical systems in accordance with two principles. Their atomic formulas…

Logic in Computer Science · Computer Science 2018-04-24 Luca Roversi

Signal restoration and inverse problems are key elements in most real-world data science applications. In the past decades, with the emergence of machine learning methods, inversion of measurements has become a popular step in almost all…

Information Theory · Computer Science 2026-04-21 Deborah Pereg

We establish a generalization of the p-adic local monodromy theorem (of Andre, Mebkhout, and the author) in which differential equations on rigid analytic annuli are replaced by differential equations on so-called fake annuli. The latter…

Number Theory · Mathematics 2007-05-23 Kiran S. Kedlaya

Andrew Pitts' framework of relational properties of domains is a powerful method for defining predicates or relations on domains, with applications ranging from reasoning principles for program equivalence to proofs of adequacy connecting…

Programming Languages · Computer Science 2022-07-18 Arthur Azevedo de Amorim

We give tight bounds on the relation between the primal and dual of various combinatorial dimensions, such as the pseudo-dimension and fat-shattering dimension, for multi-valued function classes. These dimensional notions play an important…

Combinatorics · Mathematics 2021-08-24 Pieter Kleer , Hans Simon

We extend to rings with zero-divisors the concept of perinormal domain introduced by N. Epstein and J. Shapiro. A ring $A$ is called perinormal if every overring of $A$ which satisfies going down over $A$ is $A$-flat. The Pr\"ufer rings and…

Commutative Algebra · Mathematics 2016-09-30 Tiberiu Dumitrescu , Anam Rani

This article presents a new numerical abstract domain for static analysis by abstract interpretation. It extends a former numerical abstract domain based on Difference-Bound Matrices and allows us to represent invariants of the form…

Programming Languages · Computer Science 2016-08-14 Antoine Miné

We explore a notion of pseudofinite dimension, introduced by Hrushovski and Wagner, on an infinite ultraproduct of finite structures. Certain conditions on pseudofinite dimension are identified that guarantee simplicity or supersimplicity…

Logic · Mathematics 2014-10-01 Dario Garcia , Dugald Macpherson , Charles Steinhorn

We introduce the pseudohole and heavy-pseudoparticle operator algebra that generates all Hubbard-chain eigenstates from a single reference vacuum. In addition to the pseudoholes already introduced for the description of the low-energy…

Strongly Correlated Electrons · Physics 2009-10-30 J. M. P. Carmelo , N. M. R. Peres

In this paper we outline general considerations on parameter identifiability, and introduce the notion of weak local identifiability and gradient weak local identifiability. These are based on local properties of the likelihood, in…

Statistics Theory · Mathematics 2010-02-28 Mark P. Little , Wolfgang F. Heidenreich , Guangquan Li

We consider the question of when a semigroup is the semigroup of a valuation dominating a two dimensional noetherian local domain, giving some surprising examples. We give a necessary and sufficient condition for the pair of a semigroup S…

Commutative Algebra · Mathematics 2014-04-30 Steven Dale Cutkosky , Pham An Vinh

The algebras of interacting "Lie random fields" that were introduced in J. Math. Phys. 48, 122302 (2007) are developed further. The conjecture that the vacuum vector defines a state over a Lie random field algebra is proved. The difference…

Quantum Physics · Physics 2009-03-19 Peter Morgan

Randomness is both a useful way to model natural systems and a useful tool for engineered systems, e.g. in computation, communication and control. Fully random transformations require exponential time for either classical or quantum…

Quantum Physics · Physics 2016-05-04 Fernando G. S. L. Brandao , Aram W. Harrow , Michal Horodecki

The abstract of "Contextual Values of Observables in Quantum Measurements" by J. Dressel, S. Agarwal, and A. N. Jordan [Phys. Rev. Lett. 104 240401 (2010)] (called DAJ below), states: "We introduce contextual values as a generalization of…

Quantum Physics · Physics 2012-10-16 Stephen Parrott

We study a class of preference domains that satisfies the familiar properties of minimal richness, diversity and no-restoration. We show that a specific preference restriction, hybridness, has been embedded in these domains so that the…

Theoretical Economics · Economics 2022-01-05 Shurojit Chatterji , Souvik Roy , Soumyarup Sadhukhan , Arunava Sen , Huaxia Zeng

The probabilistic powerdomain $\mathbf V X$ on a space $X$ is the space of all continuous valuations on $X$. We show that, for every quasi-continuous domain $X$, $\mathbf V X$ is again a quasi-continuous domain, and that the Scott and weak…

General Topology · Mathematics 2020-07-20 Jean Goubault-Larrecq

We consider the following question posted by K.I. Beidar and A.V. Mikhalev in 1995 for an associative ring $R=R_1+R_2$: is it true that if the subrings $R_1$ and $R_2$ satisfy polynomial identities, then $R$ also satisfies a polynomial…

Rings and Algebras · Mathematics 2020-08-04 Ivan Kaygorodov , Artem Lopatin , Yury Popov
‹ Prev 1 3 4 5 6 7 10 Next ›