Related papers: A note on surjectivity of piecewise affine mapping…

Let D be a bounded domain in the complex plane whose boundary consists of finitely many pairwise disjoint simple closed curves. Give bD the standard orientation and let A(D) be the algebra of all continuous functions on the closure of D…

A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of complete binary trees whose leaves are labeled by letters of an…

The monadic shallow linear Horn fragment is well-known to be decidable and has many application, e.g., in security protocol analysis, tree automata, or abstraction refinement. It was a long standing open problem how to extend the fragment…

We prove that, in general, given a $p$-harmonic map $F:M\to N$ and a convex function $H:N\to\mathbb{R}$, the composition $H\circ F$ is not $p$-subharmonic. By assuming some rotational symmetry on manifolds and functions, we reduce the…

BV functions cannot be approximated well by piecewise constant functions, but this work will show that a good approximation is still possible with (countably) piecewise affine functions. In particular, this approximation is area-strictly…

To each real continuous function f there is an associated trace function on real symmetric matrices Tr f. The classical Klein lemma states that f is convex if and only if Tr f is convex. In this note we present an algebraic strengthening of…

Most image smoothing filters in the literature assume a piecewise constant model of smoothed output images. However, the piecewise constant model assumption can cause artifacts such as gradient reversals in applications such as image detail…

Traditional scoring approaches on hesitant fuzzy sets often lack a formal base in order theory. This paper proposes a unified framework, where each score is explicitly defined with respect to a given order. This order-oriented perspective…

In this paper, we give new criteria for affineness of a variety defined over $\Bbb{C}$. Our main result is that an irreducible algebraic variety $Y$ (may be singular) of dimension $d$ ($d\geq 1$) defined over $\Bbb{C}$ is an affine variety…

In this article, we give a proof for a geometric presentation theorem for any irreducible scheme $X$ smooth projective over a discrete valuation ring $R$. As a consequence, for any reductive $R$-group scheme $\mathbf{G}$, we prove that any…

We show that every bounded domain $D$ in $\mathbb R^n$ with smooth $p$-convex boundary for $2\le p < n$ admits a smooth defining function $\rho$ which is $p$-plurisubharmonic on $\overline D$; if in addition $bD$ has no $p$-flat points then…

In this paper we consider Iterated Function Systems (IFS) on the real line consisting of continuous piecewise linear functions. We assume some bounds on the contraction ratios of the functions, but we do not assume any separation condition.…

We construct examples of noetherian three-dimensional local geometrically normal domains of prime characteristic which are $F$-injective but not $F$-full. Along the way, we find examples of two-dimensional local geometrically normal domains…

We consider linear groups and Lie groups over a non-Archimedean local field $\mathbb F$ for which the power map $x\mapsto x^k$ has a dense image or it is surjective. We prove that the group of $\mathbb F$-points of such algebraic groups is…

We prove that if $X$ is a paracompact space, $Y$ is a metric space and $f:X\to Y$ is a functionally fragmented map, then (i) $f$ is $\sigma$-discrete and functionally $F_\sigma$-measurable; (ii) $f$ is a Baire-one function, if $Y$ is weak…

A continuous selection of polynomial functions is a continuous function whose domain can be partitioned into finitely many pieces on which the function coincides with a polynomial. Given a set of finitely many polynomials, we show that…

Let $I\subseteq{\mathbb{R_+}}$ be a non empty and non singleton interval where ${\mathbb{R_+}}$ denotes the set of all non negative numbers. A function $\Phi: I\to {\mathbb{R_+}}$ is said to be subadditive if for any $x,y$ and $x+y\in I$,…

Let $X_{\mathbb{C}}$ be a smooth real affine variety with compact real points $X_{\mathbb{R}}$. We show that $X_{\mathbb{C}}$ is diffeomorphic to the normal bundle of $X_{\mathbb{R}}$ provided that $X_{\mathbb{C}}$ admits a complete…

Extending the classical result that the roots of a polynomial with coefficients in $\mathbf{C}$ are continuous functions of the coefficients of the polynomial, nonstandard analysis is used to prove that if $\mathcal{F} = \{f_{\lambda}…

In this study, we explore the partial identification of nonseparable models with continuous endogenous and binary instrumental variables. We show that the structural function is partially identified when it is monotone or concave in the…