Related papers: Intuitive norms are Euclidean

We consider simple rational functions $R_{mn}(x)=P_m(x)/Q_n(x)$, with $P_m$ and $Q_n$ polynomials of degree $m$ and $n$ respectively. We look for "nice" functions, which we define to be ones where as many as possible of the roots, poles,…

Uniform convergence of empirical norms - empirical measures of squared functions - is a topic which has received considerable attention in the literature on empirical processes. The results are relevant as empirical norms occur due to…

A standard form of analysis for linguistic typology is the universal implication. These implications state facts about the range of extant languages, such as ``if objects come after verbs, then adjectives come after nouns.'' Such…

This paper presents a soundness and completeness proof for propositional intuitionistic calculus with respect to the semantics of computability logic. The latter interprets formulas as interactive computational problems, formalized as games…

Choose $n$ random, independent points in $\R^d$ according to the standard normal distribution. Their convex hull $K_n$ is the {\sl Gaussian random polytope}. We prove that the volume and the number of faces of $K_n$ satisfy the central…

Let $p\geq 1$, $\eps >0$, $r\geq (1+\eps) p$, and $X$ be a $(-1/r)$-concave random vector in $\R^n$ with Euclidean norm $|X|$. We prove that $(\E |X|^{p})^{1/{p}}\leq c (C(\eps) \E|X|+\sigma_{p}(X))$, where $\sigma_{p}(X)=\sup_{|z|\leq…

We introduce a generalized notion of inference system to support more flexible interpretations of recursive definitions. Besides axioms and inference rules with the usual meaning, we allow also coaxioms, which are, intuitively, axioms which…

Suppose $d+1$ absolutely continuous probability measures $m_0, \ldots, m_d$ on $\mathbb{R}^d$ are given. In this paper, we prove that there exists a point of $\mathbb{R}^d$ that belongs to the convex hull of $d+1$ points $v_0, \ldots, v_d$…

We characterize the three-dimensional spaces admitting at least six or at least seven equidistant points. In particular, we show the existence of $C^\infty$ norms on $\R^3$ admitting six equidistant points, which refutes a conjecture of…

We define a random zonotope in Euclidean space, by adding finitely many random segments, which are independently and identically distributed. For this random polytope, we determine, under a mild assumption on the distribution, the…

An elliptic divisibility sequence, generated by a point in the image of a rational isogeny, is shown to possess a uniformly bounded number of prime terms. This result applies over the rational numbers, assuming Lang's conjecture, and over…

We provide an asymptotic estimate for the number of rational points of bounded height on a non-singular conic over the rationals. The estimate is uniform in the coefficients of the underlying quadratic form.

We prove that the existence of best coapproximation to any element of the normed linear space out of any one dimensional subspace and its coincidence with the best approximation to that element out of that subspace characterizes a real…

Constructive-deductive method for plane Euclidean geometry is proposed and formalized within Coq Proof Assistant. This method includes both postulates that describe elementary constructions by idealized geometric tools (pencil, straightedge…

There are two natural metrics defined on an arbitrary convex cone: Thompson's part metric and Hilbert's projective metric. For both, we establish an inequality giving information about how far the metric is from being non-positively curved.

A holomorphic map from the complex line to a complex projective space is called normal (a. k. a. Brody curve) if it is uniformly continuous from the Euclidean metric to the Fubini--Study metric. The paper contains a survey of known results…

If $C_n(\mathbb{R}^d)$ denotes the configuration space of $n$ distinct points in $\mathbb{R}^d$, we construct a sequence of maps $(f_m),$ $m \geq 1$, where \[f_m: C_n(\mathbb{R}^d) \times \mathbb{R}^d \to \mathbb{R}^d\] is real analytic,…

We study the asymptotic properties of geodesically convex $M$-estimation on non-linear spaces. Namely, we prove that under very minimal assumptions besides geodesic convexity of the cost function, one can obtain consistency and asymptotic…

In respect of the definition of intuitionistic fuzzy n-norm \cite{Vijayabalaji}, the definition of generalised intuitionistic fuzzy $\psi$ norm (\, in short GIF$\psi$N \,) is introduced over a linear space and there after a few results on…

It is shown that a simple closed curve in $\mathbb C^n$ that is a uniform limit of rectifiable simple closed curves each of which has nontrivial polynomial hull has itself nontrivial polynomial hull. In case the limit curve is rectifiable,…