Related papers: The isomorphism problem for analytic discs with se…
This paper investigates a boundary-value problem for the Korteweg-de Vries (KdV) equation on a star-graph structure. We develop a unified framework introducing the notion of $s$-compatibility, which generalizes classical compatibility…
This paper is on further development of discrete complex analysis introduced by R. Isaacs, J. Ferrand, R. Duffin, and C. Mercat. We consider a graph lying in the complex plane and having quadrilateral faces. A function on the vertices is…
Valiant's conjecture asserts that the circuit complexity classes VP and VNP are distinct, meaning that the permanent does not admit polynomial-size algebraic circuits. As it is the case in many branches of complexity theory, the…
We investigate vertical isomorphisms of Fedosov dg manifolds associated with a Lie pair $(L,A)$, i.e. a pair of a Lie algebroid $L$ and a Lie subalgebroid $A$ of $L$. The construction of Fedosov dg manifolds involves a choice of a splitting…
Automatic structures are finitely presented structures where the universe and all relations can be recognized by finite automata. It is known that the isomorphism problem for automatic structures is complete for $\Sigma^1_1$; the first…
Let $G=(V,E)$ be a graph without isolated vertices. A matching in $G$ is a set of independent edges in $G$. A perfect matching $M$ in $G$ is a matching such that every vertex of $G$ is incident to an edge of $M$. A set $S\subseteq V$ is a…
We consider the holomorphic unramified mapping of two arbitrary finite bordered Riemann surfaces. Extending the map to the doubles $X_1$ and $X_2$ of Riemann surfaces we define the vector bundle on the second double as a direct image of the…
The independent set on a graph $G=(V,E)$ is a subset of $V$ such that no two vertices in the subset have an edge between them. The MIS problem on $G$ seeks to identify an independent set with maximum cardinality, i.e. maximum independent…
It is shown that the algebra \(L^\infty(\mu)\) of all bounded measurable functions with respect to a finite measure \(\mu\) is localizing on the Hilbert space \(L^2(\mu)\) if and only if the measure \(\mu\) has an atom. Next, it is shown…
We study smooth {\sf traversing} vector fields $v$ on compact manifolds $X$ with boundary. A traversing $v$ admits a Lyapunov function $f: X \to \Bbb R$ such that $df(v) > 0$. We show that the trajectory spaces $\mathcal T(v)$ of {\sf…
Given a conformal mapping $f$ of the unit disk $\mathbb D$ onto a simply connected domain $D$ in the complex plane bounded by a closed Jordan curve, we consider the problem of constructing a matching conformal mapping, i.e., the mapping of…
In this paper we are concerned with two classes of conformally invariant spaces of analytic functions in the unit disc $\D$, the Besov spaces $B^p$ $(1\le p<\infty )$ and the $Q_s$ spaces $(0<s<\infty )$. Our main objective is to…
We show that there is a collection of subgroups of the mapping class group of a surface such that the associated coset intersection complex is quasi-isometric and homotopy equivalent to the curve complex. Moreover, we prove that these two…
We extend some of the results of Agler, Knese, and McCarthy [1] to $n$-tuples of commuting isometries for $n>2$. Let $\mathbb{V}=(V_1,\dots,V_n)$ be an $n$-tuple of a commuting isometries on a Hilbert space and let Ann$(\mathbb{V})$ denote…
We introduce the polygonalisation complex of a surface, a cube complex whose vertices correspond to polygonalisations. This is a geometric model for the mapping class group and it is motivated by works of Harer, Mosher and Penner. Using…
Every indefinite binary form occurs as the Picard lattice of some K3-surface. The group of its isometries, or automorphs, coincides with the automorphism group of the K3-surface, but only up to finite groups. The classical theory of…
A factorization formula for certain automorphisms of a Poisson algebra associated to a quiver is proved, which involves framed versions of moduli spaces of quiver representations. This factorization formula is related to wall-crossing…
A \emph{multipacking} in an undirected graph $G=(V,E)$ is a set $M\subseteq V$ such that for every vertex $v\in V$ and for every integer $r\geq 1$, the ball of radius $ r $ around $ v $ contains at most $r$ vertices of $M$. The…
For any closed analytic set X in C^2 there exists a proper holomorphic embedding of the unit disk into C^2 such that the image avoids X.
This paper deals with holomorphic self-maps of the complex projective plane and the algebraic relations among the eigenvalues of the derivatives at the fixed points. These eigenvalues are constrained by certain index theorems such as the…