相关论文: A new simple example of an atomic domain which is …
The auxiliary-field quantum Monte Carlo (AFQMC) method provides a computational framework for solving the time-independent Schroedinger equation in atoms, molecules, solids, and a variety of model systems by stochastic sampling. We…
We generalize the concept of a field by allowing addition to be a partial operation. We show that elements of such a "partially additive field" share many similarities with physical quantities. In particular, they form subsets of mutually…
A factorization of an element $x$ in a monoid $(M, \cdot)$ is an expression of the form $x = u_1^{z_1} \cdots u_k^{z_k}$ for irreducible elements $u_1, \ldots, u_k \in M$, and the length of such a factorization is $z_1 + \cdots + z_k$. We…
We give Kaplansky/Nagata-type theorems for the half factorial domains inside the class of atomic domains.
A numerical monoid is an additive submonoid of the non-negative integers. Given a numerical monoid $S$, consider the family of "shifted" monoids $M_n$ obtained by adding $n$ to each generator of $S$. In this paper, we characterize the…
Let $M$ be a monoid, $\mathscr{C}$ a category with pullbacks and $X$ an object of $\mathscr{C}$. We introduce the notion of a partial action $\alpha$ of $M$ on $X$ and study the globalization question for $\alpha$. If $\alpha$ admits a…
Today's quantum field theory (QFT) relies heavenly on canonical quantization (CQ), which fails for $\varphi^4_4$ leading only to a "free" result. Affine quantization (AQ), an alternative quantization procedure, leads to a "non-free" result…
The auxiliary-field quantum Monte Carlo (AFQMC) method provides a computational framework for solving the time-independent Schroedinger equation in atoms, molecules, solids, and a variety of model systems. AFQMC has recently witnessed…
We study nominal anti-unification, which is concerned with computing least general generalizations for given terms-in-context. In general, the problem does not have a least general solution, but if the set of atoms permitted in…
The auxiliary-field quantum Monte Carlo (AFMC) method is a powerful and widely used technique for ground-state and finite-temperature simulations of quantum many-body systems. We introduce several algorithmic improvements for…
We give a simple construction of new, complete, finite volume manifolds $M$ of bounded, nonpositive curvature. These manifolds have ends that look like a mixture of locally symmetric ends of different ranks and their fundamental groups are…
Magnetic structure plays a pivotal role in the functionality of antiferromagnets (AFMs), which not only can be employed to encode digital data but also yields novel phenomena. Despite its growing significance, visualizing the…
Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu \colon M \times M \to M$. We will show that under some additional general assumptions, the operation $\mu$ is automatically both associative and commutative. The…
The well-known expansion of rational integers in an arbitrary integer base different from $0, 1, -1$ is exploited to study relations between numerical monoids and certain subsemigroups of the multiplicative semigroup of nonzero integers.
Due to the undecidability of most type-related properties of System F like type inhabitation or type checking, restricted polymorphic systems have been widely investigated (the most well-known being ML-polymorphism). In this paper we…
We present an accurate numerical study of the equation of state of nuclear matter based on realistic nucleon--nucleon interactions by means of Auxiliary Field Diffusion Monte Carlo (AFDMC) calculations. The AFDMC method samples the spin and…
We show that the molecular relativistic Thomas-Fermi-Weizs\"acker functional consisting of atoms of atomic numbers $Z_1,...,Z_k$ has a minimizer, if the particle number $N$ is constrained to a number less or equal to the total nuclear…
In this note, we consider the monoid $\mathcal{PIM}_{n}$ of all partial monotone transformations on a chain with $n$ elements whose domains and ranges are intervals and its submonoid $\mathcal{IM}_{n}$ constituted by the full…
Let $K = \mathbb{Q} (\alpha) $ be a pure number field generated by a complex root $\alpha$ a monic irreducible polynomial $ F(x) = x^{p^r} -m$, with $ m \neq 1 $ is a square free rational integer, $p$ is a rational prime integer, and $r$ is…
A wide variety of nonmonotonic semantics can be expressed as approximators defined under AFT (Approximation Fixpoint Theory). Using traditional AFT theory, it is not possible to define approximators that rely on information computed in…