Related papers: Obstructions to return preservation for episturmia…

We give the avoidance indices (morphic and antimorphic) for all unary patterns with involution.

We prove integral curvature bounds in terms of the Betti numbers for compact submanifolds of the Euclidean space with low codimension. As an application, we obtain topological obstructions for $\delta$-pinched immersions. Furthermore, we…

Permutations are usually enumerated by size, but new results can be found by enumerating them by inversions instead, in which case one must restrict one's attention to indecomposable permutations. In the style of the seminal paper by Simion…

In this paper we relate triangulated category structures to the cohomology of small categories and define initial obstructions to the existence of an algebraic or topological enhancement. We show that these obstructions do not vanish in an…

We use a well known problem in discrete and computational geometry (partitions of measures by $k$-fans) as a motivation and as a point of departure to illustrate many aspects, both theoretical and computational, of the problem of…

The paper provides computations of the first non-vanishing $\mathbb{A}^1$-homotopy sheaves of the orthogonal Stiefel varieties which are relevant for the unstable isometry classification of quadratic forms over smooth affine schemes over…

While persistent homology has taken strides towards becoming a wide-spread tool for data analysis, multidimensional persistence has proven more difficult to apply. One reason is the serious drawback of no longer having a concise and…

We construct a function for almost-complex Riemannian manifolds. Non-vanishing of the function for the almost-complex structure implies the almost-complex structure is not integrable. Therefore the constructed function is an obstruction for…

First-order applicative term rewriting systems provide a natural framework for modeling higher-order aspects. In earlier work we introduced an uncurrying transformation which is termination preserving and reflecting. In this paper we…

We develop an obstruction theory for the extension of truncated minimal $A$-infinity bimodule structures over truncated minimal $A$-infinity algebras. Obstructions live in far-away pages of a (truncated) fringed spectral sequence of…

Consider a Hamiltonian diffeomorphism $g$ on a surface. We describe several scenarios where a curve $L$ and its image $g(L)$ provide a simple evidence that $g$ is not autonomous.

This paper proposes bimorphic recursion, which is restricted polymorphic recursion such that every recursive call in the body of a function definition has the same type. Bimorphic recursion allows us to assign two different types to a…

We study the relation on linear orders induced by order preserving surjections. In particular we show that its restriction to countable orders is a bqo.

In this paper we found a Lagrangian representation and corresponding Hamiltonian structure for the constant astigmatism equation. Utilizing this Hamiltonian structure and extra conservation law densities we construct a first evolution…

Protection of topological surface states by reflection symmetry breaks down when the boundary of the sample is misaligned with one of the high symmetry planes of the crystal. We demonstrate that this limitation is removed in amorphous…

Computing a morph between two drawings of a graph is a classical problem in computational geometry and graph drawing. While this problem has been widely studied in the context of planar graphs, very little is known about the existence of…

We prove that there exists an open subset of the set of real-analytic Hamiltonian diffeomorphisms of a closed surface in which diffeomorphisms exhibiting fast growth of the number of periodic points are dense. We also prove that there…

A \emph{morphism} is a mapping that transforms words through letter-wise substitution, where each symbol is consistently replaced by a fixed word. In the field of combinatorics on words, one topic that has attracted considerable attention…

We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to…

Given a map f: M \to M of closed topological manifolds we define torsion obstructions whose vanishing is a necessary condition for f being homotopy equivalent to a projection of a locally trivial fiber bundle. If N = S^1, these torsion…