Related papers: A Note on Euclidean Order Types
We consider a class of multiparameter singular Radon integral operators on the Heisenberg group ${\mathbb H}^1$ where the underlying variety is the graph of a polynomial. A remarkable difference with the euclidean case, where Heisenberg…
We survey the existing parts of a classification of finite groups generated by orthogonal transformations in a finite-dimensional Euclidean space whose fixed point subspace has codimension one or two and extend it to a complete…
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly by a polynomial in the sizes of the arguments. Examples of…
We investigate properties of an ordinal sum of uninorms introduced in [8] in the case that the summands are proper representable uninorms. We show sufficient and necessary conditions for a uninorm to be an ordinal sum of representable…
It was proved by Elkik that, under some smoothness conditions, the Artin functions of systems of polynomials over a Henselian pair are bounded above by linear functions. This paper gives a stronger form of this result for the class of…
The z-zeros of the modified Bessel function of the third kind K_{nu}(z), also known as modified Hankel function or Macdonald function, are considered for arbitrary complex values of the order nu. Approximate expressions for the zeros,…
We give a complete classification of a certain family of step functions related to the Nyman--Beurling approach to the Riemann hypothesis and previously studied by V. I. Vasyunin. Equivalently, we completely describe when certain sequences…
Let $R$ be an order in an algebraic number field. If $R$ is a principal order, then many explicit results on its arithmetic are available. Among others, $R$ is half-factorial if and only if the class group of $R$ has at most two elements.…
We suggest a concept of generalized `angles' in arbitrary real normed vector spaces. We give for each real number a definition of an `angle' by means of the shape of the unit ball. They all yield the well known Euclidean angle in the…
In this paper, we prove the existence of a first-order definition of the polynomial ring over a nonprincipal ultraproduct of finite fields of unbounded cardinalities in its fraction field by a universal-existential formula in the language…
We will use analytic function theory and Fourier analysis to establish a characterization for some classical umbral calculus, which will focus on the generalization of the evaluation function. Although we cannot cover all the umbral…
This work proposes a unified theory of regularity in one hypercomplex variable: the theory of $T$-regular functions. In the special case of quaternion-valued functions of one quaternionic variable, this unified theory comprises…
Let $\taue_k \colon \Z\to\Z$ be a multiplicative function such that $ \taue_k(p^a) = \sum_{d_1... d_k=a} 1 $. In the present paper we introduce generalizations of $\taue_k$ over the ring of Gaussian integers $\Zi$. We determine their…
Polynomial representations of Boolean functions over various rings such as $\mathbb{Z}$ and $\mathbb{Z}_m$ have been studied since Minsky and Papert (1969). From then on, they have been employed in a large variety of fields including…
Classification of Non-linear Boolean functions is a long-standing problem in the area of theoretical computer science. In this paper, effort has been made to achieve a systematic classification of all n-variable Boolean functions, where…
A finite set X in the Euclidean space is called an s-inner product set if the set of the usual inner products of any two distinct points in X has size s. First, we give a special upper bound for the cardinality of an s-inner product set on…
The notion of ordinal concavity of utility functions has recently been considered by Hafalir, Kojima, Yenmez, and Yokote in economics while there exist earlier related works in discrete optimization and operations research. In the present…
In 1907, Hans Hahn proved the remarkable fact that any ordered group can be embedded in an ordered real function space. This set the stage for work on ordered groups and fields, and this area received valuable contributions from Levi-Civita…
It is proved that the set of geodesic circles in two dimensions may be given a variational description and the explicit form of it is presented. In the limit case of the Euclidean geometry a certain claim of uniqueness of such description…
The concept of Hausdorff continuous interval valued functions, developed within the theory of Hausdorff approximations and originaly defined for interval valued functions of one real variable is extended to interval valued functions defined…