Related papers: Continuity and separation for pointwise-symmetric …
We consider the space of real-valued continuously differentiable functions on a compact subset of a euclidean space. We characterize the completeness of this space and prove that the space of restrictions of continuously differentiable…
We prove that a biseparating map between spaces of vector-valued continuous functions is usually automatically continuous. However, we also discuss special cases when it is not true.
We investigate the separability of arbitrary $n$-dimensional multipartite identical bosonic systems. An explicit relation between the dimension and the separability is presented. In particular, for $n=3$, it is shown that the property of…
A set $A$ in a finite dimensional Euclidean space is \emph{monovex} if for every two points $x,y \in A$ there is a continuous path within the set that connects $x$ and $y$ and is monotone (nonincreasing or nondecreasing) in each coordinate.…
In [S. Basu, A. Gabrielov, N. Vorobjov, Semi-monotone sets. arXiv:1004.5047v2 (2011)] we defined semi-monotone sets, as open bounded sets, definable in an o-minimal structure over the reals, and having connected intersections with all…
We construct fixed-point wave functions and exactly solvable commuting-projector Hamiltonians for a large class of bosonic symmetry-enriched topological (SET) phases, based on the concept of equivalent classes of symmetric local unitary…
We study sublevel set and superlevel set persistent homology on discrete functions through the perspective of finite ordered sets of both linearly ordered and cyclically ordered domains. Finite ordered sets also serve as the codomain of our…
We prove that, under some generic non-degeneracy assumptions, real analytic, centrally symmetric plane domains are determined by their Dirichlet (resp. Neumann) spectra. We prove that the conditions are open-dense for real analytic convex…
Motivated by applications for set containment problems, we consider the following fundamental problem: can we design set-to-vector functions so that the natural partial order on sets is preserved, namely $S\subseteq T \text{ if and only if…
While discrete harmonic functions have been objects of interest for quite some time, this is not the case for discrete polyharmonic functions, as appear for instance in the asymptotics of path counting problems. In this article, a novel…
We show that every homomorphism from the infinite-dimensional unitary or orthogonal group to a separable group is continuous.
In this paper we prove a number of results concerning uniqueness of a meromorphic function as well as its derivative sharing one or two sets. In particular, we deal with the specific question raised in [18], [19], [20] and ultimately…
The main purpose of the present paper is to introduce the notion of squeezing functions of bounded domains and study some properties of them. The relation to geometric and analytic structures of bounded domains will be investigated.…
We present several naturally occurring classes of spectral spaces using commutative algebra on pointed monoids. For this purpose, our main tools are finite type closure operations and continuous valuations on monoids which we introduce in…
It is a well-known and elementary fact that a holomorphic function on a compact complex manifold without boundary is necessarily constant. The purpose of the present article is to investigate whether, or to what extent, a similar property…
We provide the following result and its discrete equivalent: Let $f \colon I^n \to \mathbb{R}^{n-1}$ be a continuous function. Then, there exist a point $p \in \mathbb{R}^{n-1}$ and a compact subset $S \subset…
Let $\FF$ be a codimension one foliation on a closed manifold $M$ which admits a transverse dimension one Riemannian foliation. Then any continuous leafwise harmonic functions are shown to be constant on leaves.
The execution of sequential programs allows them to be represented using mathematical functions formed by the composition of statements following one after the other. Each such statement is in itself a partial function, which allows only…
We study point-separating function sets that are minimal with respect to the property of being separating. We first show that for a compact space $X$ having a minimal separating function set in $C_p(X)$ is equivalent to having a minimal…
In Persistent Homology and Topology, filtrations are usually given by introducing an ordered collection of sets or a continuous function from a topological space to $\R^n$. A natural question arises, whether these approaches are equivalent…