Related papers: Not Every Osborn Loop Is Universal

In this paper, we bring a complete solution to the Ovals problem, as formulated in [3] and [24].

Universality of local unitary transformations is one of the cornerstones of quantum computing with many applications and implications that go beyond this field. However, it has been recently shown that this universality does not hold in the…

In this paper we establish a kind of bijection between the orbits of a polygonal outer billiards system and the orbits of a related (and simpler to analyze) system called the pinwheel map. One consequence of the result is that the outer…

In this paper we consider the H\'enon problem in a ball. We prove the existence of (at least) one branch of nonradial solutions that bifurcate from the radial ones and that this branch is unbounded.

We prove that there exist rational but not uniformly rational smooth algebraic varieties. The proof is based on computing a certain numerical obstruction developed in the case of compactifications of affine spaces. We show that for some…

The study of universal derivations for arbitrary multiarrangements and multiplicity functions was initiated by Abe, R\"ohrle, Stump, and Yoshinaga in 2024 which focused on arrangements arising from (well-generated) reflection groups. In…

Lebesgue's universal covering problem is re-examined using computational methods. This leads to conjectures about the nature of the solution which if correct could provide a blueprint for a complete solution. Empirical lower bounds for the…

A universally valid Heisenberg uncertainty relation is proposed by combining the universally valid error-disturbance uncertainty relation of Ozawa with the relation of Robertson. This form of the uncertainty relation, which is defined with…

In this paper we study a mixed problem for the nonlinear Schr\"odinger equation globally that have a nonlinear adding, in which the coefficient is a generalized function. Here is proved a global solvability theorem of the considered problem…

In this paper, we study the generalized Douglas-Rachford algorithm and its cyclic variants which include many projection-type methods such as the classical Douglas-Rachford algorithm and the alternating projection algorithm. Specifically,…

The halting problem is undecidable --- but can it be solved for "most" inputs? This natural question was considered in a number of papers, in different settings. We revisit their results and show that most of them can be easily proven in a…

We consider singular perturbations of eigenvalue problems. We prove that to these problems correspond simple eigenvalues and we study their asymptotic behavior. As a result, we prove global bifurcation results for non uniformly and fully…

Many learning tasks can be viewed as sequence prediction problems. For example, online classification can be converted to sequence prediction with the sequence being pairs of input/target data and where the goal is to correctly predict the…

The existence of multi-pulse solutions near orbit-flip bifurcations of a primary single-humped pulse is shown in reversible, conservative, singularly perturbed vector fields. Similar to the non-singular case, the sign of a geometric…

We prove the universality of the regular realizability problems for several classes of filters. The filters are encodings of finite relations on the set of non-negative integers in the format proposed by P. Wolf and H. Fernau. The…

An infinite set is orbit-finite if, up to permutations of the underlying structure of atoms, it has only finitely many elements. We study a generalisation of linear programming where constraints are expressed by an orbit-finite system of…

We construct the most general form of our previously proposed nonlinear extension of quantum mechanics that possesses three basic properties. Unlike the simpler model, the new version is not completely integrable, but it has an underlying…

We establish a region of convergence for the proto-typical non-convex Douglas-Rachford iteration which finds a point on the intersection of a line and a circle. Previous work on the non-convex iteration [2] was only able to establish local…

In this paper, we study necessary and sufficient conditions for the existence of categorical universal coverings using open covers of a given space $X$. As some applications, first we present a generalized version of the Shelah Theorem…

The non-Abelian Stokes theorem for loop variables associated with nontrivial loops (knots and links) is derived. It is shown that a loop variable is in general different from unity even if the field strength vanishes everywhere on the…