SearcharxivSearch

arXiv subjects

Mikhail Patrakeev

Publications and source records attributed to Mikhail Patrakeev.

13 recordsLinked to original sources

Axiomatic and Erd\H{o}s-Moon approaches to tournament rankings

Tournament ranking is a function that assigns each vertex of a tournament (i.e., a directed graph without loops, in which each pair of different vertexes is connected by exactly one arc) a number called the rank of the vertex. One of approaches to constructing tournament rankings suggests choosing a ranking that satisfies a fixed set of axioms. In another approach, proposed by Erd\H{o}s and Moon, only injective rankings are considered, and among them, one that minimises the number of backward arcs is selected (an arc $x\to y$ is called backward iff the rank of $x$ is less than the rank of $y$). We combine these two approaches as follows: among the rankings that satisfy a fixed set of axioms, we choose one that minimises the number of backward arcs. The Erd\H{o}s-Moon approach naturally leads to the question of how small the proportion of backward arcs can be guaranteed when using injective rankings. Erd\H{o}s and Moon showed that the answer to this question is $1/2$. A similar question arises in our approach: how small the proportion of backward arcs can be guaranteed when using rankings that satisfy a set of axioms $\mathcal{A}$? We call this number the Erd\H{o}s-Moon number of $\mathcal{A}$. We prove that the Erd\H{o}s-Moon number of the Copeland axiom equals $3/4$.

math.CO

Simple closed curves contained in~$\varepsilon$-boundaries of planar sets

The $\varepsilon$-boundary of a set ${A}\subseteq\mathbb{R}^2$ is the set $\{{p}\in\mathbb{R}^2:\rho({p},{A})=\varepsilon\}$, where $\rho$ is the Euclidean distance. We prove that if ${A},{B}\subseteq\mathbb{R}^2$ are nonempty, connected sets, ${A}$ is bounded, and $0<\varepsilon<\rho({A},{B})$, then the $\varepsilon$-boundary of ${A}$ contains a simple closed curve (aka a Jordan curve) that separates ${A}$ and ${B}$. This statement follows from the theorem which says that if $\varepsilon>0$ and ${A}\subseteq\mathbb{R}^2$ is a nonempty, bounded, connected set, then the boundary of each component of $\{{p}\in\mathbb{R}^2: \rho({p},{A})>\varepsilon\}$ is a simple closed curve. Another corollary of this theorem is that the $\varepsilon$-boundary of a nonempty, bounded, connected set ${A}\subseteq\mathbb{R}^2$ contains a simple closed curve bounding the domain that contains the open $\varepsilon$-neighbourhood of ${A}$. In all these statements the connectivity condition can be significantly weakened. We also show that, for all $\varepsilon>0$, the $\varepsilon$-boundary of a nonempty, bounded set ${A}\subseteq\mathbb{R}^2$ contains a simple closed curve.

math.GN

Open images of spaces with a Lusin $\pi$-base

In [5] we studied spaces with a Lusin $\pi$-base and $\pi$-spaces and posed the following question: Does the class of continuous open images of spaces with a Lusin $\pi$-base equal the class of continuous open images of $\pi$-spaces? We give a negative answer to this question.

math.GN

A Self-Reflecting Formal Language

We construct a formal theory, which we call reflectica, whose language possesses the following properties of natural language: it is a self-reflecting language and an intensional language. By a self-reflecting language we understand an interpreted language that is a meta-language in relation to itself. By an intensional language we understand a language that has expressive means sufficient to represent intensional features of a natural language, such as statements containing propositional attitude reports, various kinds of quotation, and other types of expressions with an intensional context. At the same time, we present a new method for constructing an intensional logic that allows us to make reflectica an intensional system much simpler than other well-known intensional logics.

math.LO

$\pi$-spaces and their open images

We study spaces that can be mapped onto the Baire space (i.e. the countable power of the countable discrete space) by a continuous quasi-open bijection. We give a characterization of such spaces in terms of Souslin schemes and call these spaces $\pi$-spaces. We show that every space that has a Lusin $\pi$-base is a $\pi$-space and that every second-countable $\pi$-space has a Lusin $\pi$-base. The main result of this paper is a characterization of continuous open images of $\pi$-space.

math.GN

Swarm consensus

The strength of gnomes lies in their coordinated action. Being small and subtle creatures themselves, the forest gnomes can form large swarms acting as one giant creature. This unusual defense strategy requires a lot of skill and training. Directing a swarm is not an easy task! Initially, gnomes used leader-based control algorithms, although those have been proven to be vulnerable to abuse and failure. After thorough research and study, gnomes developed their own leaderless consensus algorithm based on very simple rules. It is based on gossip in a network of a known diameter $d$. One of the gnomes proposes a plan which then spreads gnome to gnome. If there is an agreement, gnomes act \emph{all at once}. If there are conflicting plans (an extreme rarity), they try again. The resulting upper bound on the swarm's reaction time is its round-trip time $2dt$, where $t$ is the command relay time. The original algorithm is non-Byzantine; all gnomes must be sane and sober. While working on the algorithm, gnomes discovered \emph{swarm time}, a sibling concept to L.Lamport's logical time. That led to a Byzantine-ready version of the algorithm.

cs.DS

Reverse induction proof of D property of the countable power of the Sorgenfrey line

We present a new method of proof, which we call reverse induction. This method allows to establish certain properties of a product $\prod_{{i}=0}^{\infty}{X}_{i}$ by making a kind of "reverse induction step" from $\prod_{{i}={n}+1}^{\infty}{X}_{i}$ to $\prod_{{i}={n}}^{\infty}{X}_{i}$ for an arbitrary natural ${n}$. Using this method we answer a question posed by E. K. van Douwen and W. F. Pfeffer in 1979 by proving that the countable power of the Sorgenfrey line is a D-space.

math.GN

Chronofold: a data structure for versioned text

Chronofold is a replicated data structure for versioned text. It is designed for use in collaborative editors and revision control systems. Past models of this kind either retrofitted local linear orders to a distributed system (the OT approach) or employed distributed data models locally (the CRDT approach). That caused either extreme fragility in a distributed setting or egregious overheads in local use. Overall, that local/distributed impedance mismatch is cognitively taxing and causes lots of complexity. We solve that by using subjective linear orders locally at each replica, while inter-replica communication uses a distributed model. A separate translation layer insulates local data structures from the distributed environment. We modify the Lamport timestamping scheme to make that translation as trivial as possible. We believe our approach has applications beyond the domain of collaborative editing.

cs.DS

A simple closed curve in $\mathbb{R}^3$ whose convex hull equals the half-sum of the curve with itself

If $\Gamma$ is the range of a Jordan curve that bounds a convex set in $\mathbb{R}^2,$ then $\frac{1}{2}(\Gamma+\Gamma)=\mathsf{co}(\Gamma),$ where $+$ is the Minkowski sum and $\mathsf{co}$ is the convex hull. Answering a question of V.N. Ushakov, we construct a simple closed curve in $\mathbb{R}^3$ with range $\Gamma$ such that $\frac{1}{2}(\Gamma+\Gamma)=[0,1]^3=\mathsf{co}(\Gamma).$ Also we show that such simple closed curve cannot be rectifiable.

math.GN

When the property of having a $\pi$-tree is preserved by products

We find sufficient conditions under which the product of spaces that have a $\pi$-tree also has a $\pi$-tree. These conditions give new examples of spaces with a $\pi$-tree: every at most countable power of the Sorgenfrey line and every at most countable power of the irrational Sorgenfrey line has a $\pi\!$-tree. Also we show that if a space has a $\pi$-tree, then its product with the Baire space, with the Sorgenfrey line, and with the countable power of the Sorgenfrey line also has a $\pi$-tree.

math.GN

Metrizable images of the Sorgenfrey line

We give descriptions of metrizable topological spaces that are images of the Sorgenfrey line under continuous maps of different types (open, closed, quotient and others). To obtain this descriptions, we introduce the notion of a Lusin pi-base, the Sorgenfrey line and the Baire space have Lusin pi-bases, and if a space X has a Lusin pi-base, then for each nonempty Polish space Y, there exists a continuous open map from X onto Y.

math.GN