Related papers: Euclidean domains with no multiplicative norms
A well-known result from the 1960s characterizes all Euclidean domains in which division is guaranteed to produce a unique quotient and remainder. As this relies on the historical (and more restrictive) definition of a Euclidean domain, the…
We prove Polterovich's conjecture concerning the growth of the number of nodal domains for eigenfunctions on a unit square domain, under the assumption that the eigenfunctions do not have any singular points.
Over a field $k$, we study rational UFDs of finite transcendence degree $n$ over $k$. We classify such UFDs $B$ when $n=2$, $k$ is algebraically closed, and $B$ admits a positive $\mathbb{Z}$-grading, showing in particular that $B$ is…
We introduce and investigate the category of factorization of a multiplicative, commutative, cancellative, pre-ordered monoid $A$, which we denote $\mathcal{F}(A)$. The objects of $\mathcal{F}(A)$ are factorizations of elements of $A$, and…
Euclidean distance matrices corresponding to an arithmetic progression have rich spectral and structural properties. We exploit those properties to develop completely positive factorizations of translations of those matrices. We show that…
We investigate (quantifier-free) spatial constraint languages with equality, contact and connectedness predicates as well as Boolean operations on regions, interpreted over low-dimensional Euclidean spaces. We show that the complexity of…
A computable ring is a ring equipped with mechanical procedure to add and multiply elements. In most natural computable integral domains, there is a computational procedure to determine if a given element is prime/irreducible. However,…
It is shown that the groups of automorphisms of Euclidean spaces are isomorphic to the groups of topologic automorphisms of respectively factored arithmetic spaces. In particular, the geometry of Euclidean n-space with positive signature is…
We discover some very general configuration results for constructing area-minimizing cones. In particular, given any closed minimal submanifold in some Euclidean sphere, every cone over the minimal product of sufficiently many copies of the…
We prove a duality principle for a special class of submanifolds in pseudo-Euclidean spaces. This class of submanifolds with potential of normals is introduced in this paper. We prove also, for example, that an arbitrary Frobenius manifold…
We give complete and exact descriptions of spaces of ultradifferentiable functions that are closed under composition with either holomorphic or ultradifferentiable functions -- which are two distinct cases. The proof works by considering…
A subset $S$ of an integral domain $R$ is called a semidomain if the pairs $(S,+)$ and $(S, \cdot)$ are semigroups with identities; additionally, we say that $S$ is additively reduced provided that $S$ contains no additive inverses. Given…
We construct a family F of compact and pathwise connected subsets of the Euclidean plane such that (i) the cardinality of F is that of the continuum (and hence extremely large) and (ii) if X,Y are distinct spaces in F then there never…
We construct, for every $r \ge 3$ and every prime power $q > 10$, a rank-$r$ matroid with no $U_{2,q+2}$-minor, having more hyperplanes than the rank-$r$ projective geometry over $\mathrm{GF}(q)$.
When the Euclidean algorithm produces a symmetric sequence of quotients, we give explicit formulas for the remainders that allow the analysis of two families of quadratic forms in the remainders.
We show that the problem of tiling the Euclidean plane with a finite set of polygons (up to translation) boils down to prove the existence of zeros of a non-negative convex function defined on a finite-dimensional simplex. This function is…
We give a new simple example of an atomic domain which is not ACCP. Our example is a monoid domain $F[X;M]$, where $F$ is a field and $M$ is a submonoid of the additive monoid of nonnegative rational numbers.
Let $p\ge 7$ be a prime number and $f$ a normalized eigen-newform with good reduction at $p$ such that its $p$-th Fourier coefficient vanishes. We construct a rank-two Euler system attached to the $p$-adic realization of the symmetric…
A generalized lexicographical order on infinite words is defined by choosing for each position a total order on the alphabet. This allows to define generalized Lyndon words. Every word in the free monoid can be factorized in a unique way as…
In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…