Related papers: Finite determinacy and stability of flatness of an…

We study jets of germs of holomorphic maps between two strongly pseudoconvex domains under the condition that the image of one domain is contained into the other and a given boundary point is (non-tangentially) mapped to a given boundary…

All spaces are assumed to be separable and metrizable. Building on work of van Engelen, Harrington, Michalewski and Ostrovsky, we obtain the following results: (1) Every finite-dimensional analytic space is $\sigma$-homogeneous with…

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

Given a functional for a one-dimensional physical system, a classical problem is to minimize it by finding stationary solutions and then checking the positive definiteness of the second variation. Establishing the positive definiteness is,…

We prove that each complete flat cone metric on a surface, perhaps with boundary and punctures, can be triangulated with finitely many types of triangles. We derive Gauss-Bonnet formula for this kind of cone metrics. In addition, we prove…

Let $G/\Gamma$ be the quotient of a semisimple Lie group by an arithmetic lattice. We show that for reductive subgroups $H$ of $G$ that is large enough, the orbits of $H$ on $G/\Gamma$ intersect nontrivially with a fixed compact set. As a…

We study the graphs formed from instances of the stable matching problem by connecting pairs of elements with an edge when there exists a stable matching in which they are matched. Our results include the NP-completeness of recognizing…

Given a set of objects $O$ in the plane, the corresponding intersection graph is defined as follows. Each object defines a vertex and an edge joins two vertices whenever the corresponding objects intersect. We study here the case of unit…

The purpose of this article is to show that on an open and dense set, complete integrability implies the existence of symmetry.

We prove flatness of complete Riemannian planes and cylinders without conjugate points under optimal conditions on the area growth.

Let $X$ be a complex Banach space with $\dim X\geq3$ and $B(X)$ the algebra of all bounded linear operators on $X$. Suppose $\phi:B(X)\longrightarrow B(X)$ is a surjective map satisfying the following property: $Fix(AB)=Fix(\phi(A)\phi(B)),…

It is well known that the complete multipartite graphs can not be determined by their adjacency spectra. But in this paper, we prove that they can be determined by their distance spectra, which confirms the conjecture proposed by Lin, Hong,…

We prove that a wide range of coloring problems in graphs on surfaces can be resolved by inspecting a finite number of configurations.

For analytic negatively curved Riemannian manifold with analytic strictly convex boundary, we show that the scattering map for the geodesic flow determines the manifold up to isometry. In particular one recovers both the topology and the…

We define and study the magnitude and magnitude homology of a real hyperplane arrangement by regarding its tope graph as a metric space. We prove several structural results for the magnitude of arrangements, including a symmetry formula,…

For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only if T halts, thus proving that the property of having definable principal subcongruences is…

In this paper we formulate and prove necessary and sufficient geometric conditions for existence of generic tensegrities in the plane for arbitrary graphs. The conditions are written in terms of "meet-join" relations for the configuration…

Let $\Gamma$ be directed strongly connected finite graph of uniform outdegree (constant outdegree of any vertex) and let some coloring of edges of $\Gamma$ turn the graph into deterministic complete automaton. Let the word $s$ be a word in…

We construct an explicit bijection between bipartite pointed maps of an arbitrary surface $\mathbb{S}$, and specific unicellular blossoming maps of the same surface. Our bijection gives access to the degrees of all the faces, and distances…

Surface groups are determined among limit groups by their profinite completions. As a corollary, the set of surface words in a free group is closed in the profinite topology.