Related papers: Splittings and disjunctions in Reverse Mathematics
Beginning in 2006, G. Gentili and D.C. Struppa developed a theory of regular quaternionic functions with properties that recall classical results in complex analysis. For instance, in each Euclidean ball centered at 0 the set of regular…
In this article, we define and study a geometry and an order on the set of partitions of an even number of objects. One of the definitions involves the partition algebra, a structure of algebra on the set of such partitions depending on an…
Suppose that some harmonic analysis arguments have been invoked to show that the indicator function of a set of residue classes modulo some integer has a large Fourier coefficient. To get information about the structure of the set of…
We define pullback and separated presentations of modules over pullback rings, and, if the ring is a pullback of epimorphisms over a semisimple ring, an algorithm reducing such a presentation of a module to an $R$-diagram. The latter is the…
The inverse wave scattering problem seeks to estimate a heterogeneous, inaccessible medium, modeled by unknown variable coefficients in wave equations, from transient recordings of waves generated by probing signals. It is a widely studied…
Restricted Boltzmann Machines (RBMs) are general unsupervised learning devices to ascertain generative models of data distributions. RBMs are often trained using the Contrastive Divergence learning algorithm (CD), an approximation to the…
Halin [1965] proved that if a graph has $n$ many pairwise disjoint rays for each $n$ then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic…
We examine a number of results of infinite combinatorics using the techniques of reverse mathematics. Our results are inspired by similar results in recursive combinatorics. Theorems included concern colorings of graphs and bounded graphs,…
A new approach to disintegration of measures is presented, allowing one to drop the usually taken separability assumption. The main tool is a result on fibers in the spectrum of algebra of essentially bounded functions established recently…
The aim of this paper is to study the convergence and divergence of the Rogers-Ramanujan and the generalized Rogers-Ramanujan continued fractions on the unit circle. We provide an example of an uncountable set of measure zero on which the…
Boltzmann's differential equation is replaced by the corresponding reciprocal symmetric finite difference equation. Finite difference translates discreteness of energy. Boltzmann's function, then, splits into two reciprocally related…
This paper discusses basic results and recent developments on variational regularization methods, as developed for inverse problems. In a typical setup we review basic properties needed to obtain a convergent regularization scheme and…
The purpose of this work is to investigate root finding problems defined on (quasi-)metric spaces, and ranging in Euclidean spaces. The motivation for this line of inquiry stems from recent models in biology and phylogenetics, where…
Random feature mapping (RFM) is a popular method for speeding up kernel methods at the cost of losing a little accuracy. We study kernel ridge regression with random feature mapping (RFM-KRR) and establish novel out-of-sample error upper…
We investigate the notion of a semi-retraction between two first order structures (in typically different signatures) that was introduced by the second author as a link between the Ramsey property and generalized indiscernible sequences. We…
The "strange" function of Kontsevich and Zagier is defined by \[F(q):=\sum_{n=0}^\infty(1-q)(1-q^2)\dots(1-q^n).\] This series is defined only when $q$ is a root of unity, and provides an example of what Zagier has called a "quantum modular…
A conjecture of Graham (repeated by Erd\H{o}s) asserts that for any set $A \subseteq \mathbb{F}_p \setminus \{0\}$, there is an ordering $a_1, \ldots, a_{|A|}$ of the elements of $A$ such that the partial sums $a_1, a_1+a_2, \ldots,…
Cut-elimination is the bedrock of proof theory with a multitude of applications from computational interpretations to proof analysis. It is also the starting point for important meta-theoretical investigations including decidability,…
We propose a forward-backward splitting algorithm based on Bregman distances for composite minimization problems in general reflexive Banach spaces. The convergence is established using the notion of variable quasi-Bregman monotone…
A \emph{double extrema form} of the calculus of variations is put forward in which only the smallest one of the finite differences is physically meaningful to represent the variational derivatives defined on the discrete points. The most…