相关论文: Splittings and disjunctions in Reverse Mathematics
In a random linear graph, vertices are points on a line, and pairs of vertices are connected, independently, with a link probability that decreases with distance. We study the problem of reconstructing the linear embedding from the graph,…
We show that a version of the desingularization theorem of Hironaka holds for certain classes of infinitely differentiable functions (essentially, for subrings that exclude flat functions and are closed under differentiation and the…
We provide two new formulations of the separativity problem. First, it is known that separativity (and strong separativity) in von Neumann regular (and exchange) rings is tightly connected to unit-regularity of certain kinds of elements. By…
This paper presents the Relational Machine Calculus (RMC): a simple, foundational model of first-order relational programming. The RMC originates from the Functional Machine Calculus (FMC), which generalizes the lambda-calculus and its…
We compare two kinds of unification problems: Asymmetric Unification and Disunification, which are variants of Equational Unification. Asymmetric Unification is a type of Equational Unification where the right-hand sides of the equations…
A reasonably complete theory of the approximation of an irrational by rational fractions whose numerators and denominators lie in prescribed arithmetic progressions is developed in this paper. Results are both, on the one hand, from a…
The relation between renormalization and short distance singular divergencies in quantum field theory is studied. As a consequence a finite theory is presented. It is shown that these divergencies are originated by the multiplication of…
We use the theory of motivic integration for singular spaces to give a characterization of minimal log discrepencies in terms of the codimension of certain subsets of spaces of arcs. This is done for arbitrary pairs $(X,Y)$, with $X$ normal…
Symmetry is an important feature of many constraint programs. We show that any problem symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different symmetries pick out different solutions in each…
Born and Oppenheimer reported an approximate separation of molecular eigenfunctions into electronic, vibrational, and rotational parts, but at the end of their paper showed that the two angles describing rotation of the nuclei in a diatomic…
We formulate the statistics of the discrete multicomponent fragmentation event using a methodology borrowed from statistical mechanics. We generate the ensemble of all feasible distributions that can be formed when a single integer…
The classical multi-set split feasibility problem seeks a point in the intersection of finitely many closed convex domain constraints, whose image under a linear mapping also lies in the intersection of finitely many closed convex range…
Using tropical convexity Dochtermann, Fink, and Sanyal proved that regular fine mixed subdivisions of Minkowski sums of simplices support minimal cellular resolutions. They asked if the regularity condition can be removed. We give an…
In this article we introduce a class of discontinuous almost automorphic functions which appears naturally in the study of almost automorphic solutions of differential equations with piecewise constant argument. Their fundamental properties…
A new method of divergence subtraction in Feynman parametric integrals is presented. The method is suitable for calculating the lepton anomalous magnetic moments (AMM) in quantum electrodynamics (QED). The subtraction procedure eliminates…
Scattering of electromagnetic waves in billiard-like systems has become a standard experimental tool of studying properties associated with Quantum Chaos. Random Matrix Theory (RMT) describing statistics of eigenfrequencies and associated…
A strong direct product theorem states that if we want to compute $k$ independent instances of a function, using less than $k$ times the resources needed for one instance, then the overall success probability will be exponentially small in…
In this paper we study two operations, Pasting and Reversing, defined from a natural way to be applied over some rings such as the ring of polynomials and the ring of linear differential operators, which is a differential ring. We obtain…
We consider the restriction of Ramsey's theorem that arises from considering only translation-invariant colourings of pairs, and show that this has the same strength (both from the viewpoint of Reverse Mathematics and from the viewpoint of…
Renormdynamic equations of motion and their solutions are given. New equation for NBD distribution and Riemann zeta function invented. Explicit forms of the z-Scaling functions are constructed.