BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Oleksiy Dovgoshey

Oleksiy Dovgoshey contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.MGmath.COmath.GNmath.CAmath.AP

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
17works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

17 published item(s)

preprint2022arXiv

Bipartite graphs and best proximity pairs

We say that a bipartite graph $G(A, B)$ with fixed parts $A$, $B$ is proximinal if there is a semimetric space $(X, d)$ such that $A$ and $B$ are disjoint proximinal subsets of $X$ and all edges $\{a, b\}$ satisfy the equality $d(a, b) = \operatorname{dist}(A, B)$. It is proved that a bipartite graph $G$ is not isomorphic to any proximinal graph iff $G$ is finite and empty. It is also shown that the subgraph induced by all non-isolated vertices of a nonempty bipartite graph $G$ is a disjoint union of complete bipartite graphs iff $G$ is isomorphic to a nonempty proximinal graph for an ultrametric space.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Completeness, Closedness and Metric Reflections of Pseudometric Spaces

It is well-known that a metric space $(X, d)$ is complete iff the set $X$ is closed in every metric superspace of $(X, d)$. For a given pseudometric space $(Y, ρ)$, we describe the maximal class $\mathbf{CEC}(Y, ρ)$ of superspaces of $(Y, ρ)$ such that $(Y, ρ)$ is complete if and only if $Y$ is closed in every $(Z, Δ) \in \mathbf{CEC}(Y, ρ)$. We also introduce the concept of pseudoisometric spaces and prove that spaces are pseudoisometric iff their metric reflections are isometric. The last result implies that a pseudometric space is complete if and only if this space is pseudoisometric to a complete pseudometric space.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Labeled trees generating complete, compact, and discrete ultrametric spaces

We investigate the interrelations between labeled trees and ultrametric spaces generated by these trees. The labeled trees, which generate complete ultrametrics, totally bounded ultrametrics, and discrete ones, are characterized up to isomorphism. As corollary, we obtain a characterization of labeled trees generating compact ultrametrics, and discrete totally bounded ultrametrics. It is also shown that every ultrametric space generated by labeled tree contains a dense discrete subspace.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Uniqueness of best proximity pairs and rigidity of semimetric spaces

For arbitrary semimetric space $(X, d)$ and disjoint proximinal subsets $A$, $B$ of $X$ we define the proximinal graph as a bipartite graph with parts $A$ and $B$ whose edges $\{a, b\}$ satisfy the equality $d(a, b) = \operatorname{dist}(A, B)$. We characterize the semimetric spaces whose proximinal graphs have at most one edge and the semimetric spaces whose proximinal graphs have the vertices with degree at most $1$ only. This allows us to describe the necessary and sufficient conditions for uniqueness of the best proximity pairs and best approximations.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

When all Permutations are Combinatorial Similarities

Let $(X, d)$ be a semimetric space. A permutation $Φ$ of the set $X$ is a combinatorial self similarity of $(X, d)$ if there is a bijective function $f \colon d(X^2) \to d(X^2)$ such that $$ d(x, y) = f(d(Φ(x), Φ(y))) $$ for all $x$, $y \in X$. We describe the set of all semimetrics $ρ$ on an arbitrary nonempty set $Y$ for which every permutation of $Y$ is a combinatorial self similarity of $(Y, ρ)$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

The range of ultrametrics, compactness, and separability

We describe the order type of range sets of compact ultrametrics and show that an ultrametrizable infinite topological space $(X, τ)$ is compact iff the range sets are order isomorphic for any two ultrametrics compatible with the topology $τ$. It is also shown that an ultrametrizable topology is separable iff every compatible with this topology ultrametric has at most countable range set.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Isomorphism of trees and isometry of ultrametric spaces

We study the conditions under which the isometry of spaces with metrics generated by weights given on the edges of finite trees is equivalent to the isomorphism of these trees. Similar questions are studied for ultrametric spaces generated by labelings given on the vertices of trees. The obtained results generalized some facts previously known for phylogenetic trees and for Gurvich-Vyalyi monotone trees.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

First Baire class functions in the pluri-fine topology

Let $B_{1}(Ω, \mathbb R)$ be the first Baire class of real functions in the pluri-fine topology on an open set $Ω\subseteq \mathbb C^{n}$ and let $H_{1}^{*}(Ω, \mathbb R)$ be the first functional Lebesgue class of real functions in the same topology. We prove the equality $B_{1}(Ω, \mathbb R)=H_{1}^{*}(Ω, \mathbb R)$ and show that for every $f\in B_{1}(Ω, \mathbb R)$ there is a separately continuous function $g: Ω^{2} \to\mathbb R$ in the pluri-fine topology on $Ω^2$ such that $f$ is the diagonal of $g.$

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Uniform boundedness of pretangent spaces, local constancy of metric derivatives and strong right upper porosity at a point

Let $(X,d,p)$ be a pointed metric space. A pretangent space to $X$ at $p$ is a metric space consisting of some equivalence classes of convergent to $p$ sequences $(x_n), x_n \in X,$ whose degree of convergence is comparable with a given scaling sequence $(r_n), r_n\downarrow 0.$ A scaling sequence $(r_n)$ is normal if this sequence is eventually decreasing and there is $(x_n)$ such that $\mid d(x_n,p)-r_n\mid=o(r_n)$ for $n\to\infty.$ Let $\mathbf{Ω_{p}^{X}(n)}$ be the set of pretangent spaces to $X$ at $p$ with normal scaling sequences. We prove that $\mathbf{Ω_{p}^{X}(n)}$ is uniformly bounded if and only if $\{d(x,p): x\in X\}$ is a so-called completely strongly porous set. It is also proved that the uniform boundedness of $\mathbf{Ω_{p}^{X}(n)}$ is an equivalent of the constancy of metric derivatives of all metrically differentiable mappings on $X$ in the open balls of a fixed radius centered at the marked points of pretangent spaces.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Uniform boundedness of pretangent spaces and local strong one-side porosity

Let (X,d,p) be a pointed metric space. A pretangent space to X at p is a metric space consisting of some equivalence classes of convergent to p sequences (x_n), x_n \in X, whose degree of convergence is comparable with a given scaling sequence (r_n), r_n\downarrow 0. We say that (r_n) is normal if there is (x_n) such that |d(x_n,p)-r_n|=o(r_n) for n\to\infty. Let Omega_{p}^{X}(n) be the set of pretangent spaces to X at p with normal scaling sequences. We prove that the spaces from Omega_{p}^{X}(n) are uniformly bounded if and only if {d(x,p:x\in X}is a so-called completely strongly porous set.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Mean value type inequalities for quasinearly subharmonic functions

The mean value inequality is characteristic for upper semicontinuous functions to be subharmonic. Quasinearly subharmonic functions generalize subharmonic functions. We find the necessary and sufficient conditions under which subsets of balls are big enough for the catheterization of nonnegative, quasinearly subharmonic functions by mean value inequalities. Similar result is obtained also for generalized mean value inequalities where, instead of balls, we consider arbitrary bounded sets which have nonvoid interiors and instead of the volume of ball some functions depending on the radius of this ball.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Weak similarities of metric and semimetric spaces

Let (X,dX) and (Y,dY) be semimetric spaces with distance sets D(X) and, respectively, D(Y). A mapping F : X \to Y is a weak similarity if it is surjective and there exists a strictly increasing f : D(Y) \to D(X) such that dX = f \circ dY \circ F. It is shown that the weak similarities between geodesic spaces are usual similarities and every weak similarity F : X \to Y is an isometry if X and Y are ultrametric and compact with D(X) = D(Y). Some conditions under which the weak similarities are homeomorphisms or uniform equivalences are also found.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Metrization of weighted graphs

We find a set of necessary and sufficient conditions under which the weight $w:E\to\mathbb R^+$ on the graph $G=(V,E)$ can be extended to a pseudometric $d:V\times V\to\mathbb R^+$. If these conditions hold and $G$ is a connected graph, then the set $\mathfrak M_w$ of all such extensions is nonvoid and the shortest-path pseudometric $d_w$ is the greatest element of $\mathfrak M_w$ with respect to the partial ordering $d_1 \leqslant d_2$ if and only if $d_1(u,v) \leqslant d_2(u,v)$ for all $u,v\in V$. It is shown that every nonvoid poset $(\mathfrak M_w,\leqslant)$ contains the least element $ρ_{0,w}$ if and only if $G$ is a complete $k$-partite graph with $k\geqslant 2$ and in this case the explicit formula for computation of $ρ_{0,w}$ is obtained.

0 citations0 reviewsNo code linkedOpen access