Related papers: Interaction Between Singularity Theory and the Min…

We consider sequences of absolute and relative homology and cohomology groups that arise naturally for a filtered cell complex. We establish algebraic relationships between their persistence modules, and show that they contain equivalent…

We consider pairs (X,A), where X is a variety with klt singularities and A is a formal product of ideals on X with exponents in a fixed set that satisfies the Descending Chain Condition. We also assume that X has (formally) bounded…

Let $E\subseteq \mathbb{P}^2$ be a complex rational cuspidal curve contained in the projective plane. The Coolidge-Nagata conjecture asserts that $E$ is Cremona equivalent to a line, i.e. it is mapped onto a line by some birational…

We study the connectedness of the non-subklt locus over the spectrum of a formal power series ring. In dimension 3, we prove the existence and normality of the smallest lc centre, and apply it to the ACC for minimal log discrepancies…

We prove that one can run the log minimal model program for log canonical $3$-fold pairs in characteristic $p>5$. In particular we prove the Cone Theorem, Contraction Theorem, the existence of flips and the existence of log minimal models…

The minimal log discrepancy is an invariant of singularities that plays an important role in the birational classification of algebraic varieties. Shokurov conjectured that the minimal log discrepancy can always be bounded from above in…

In this paper we treat some applications of Kawamata's positivity theorem. We get a weak answer to \cite [Section 3]{KeMaMc}. And we investigate the singularities on the target spaces of some morphisms.

We study the relation between simple-minded systems and two-term tilting complexes for self-injective Nakayama algebras. More precisely, we show that any simple-minded system of a self-injective Nakayama algebra is the image of the set of…

This work focuses on the problem of exact model reduction of positive linear systems, by leveraging minimal realization theory. While determining the existence of a positive reachable realization remains in general an open problem, we are…

In this work, we provide an analytical proof of the robustness of topological entanglement under a model of random local perturbations. We define a notion of average topological subsystem purity and show that, in the context of quantum…

The two model-theoretic concepts of weak saturation and weak amalgamation property are studied in the context of accessible categories. We relate these two concepts providing sufficient conditions for existence and uniqueness of weakly…

A particular two-parameter class of little string theories can be described by $M$ parallel M5-branes probing a transverse affine $A_{N-1}$ singularity. We previously discussed the duality between the theories labelled by $(N,M)$ and…

In this paper we consider the problem of structural stability of strong local optimisers for the minimum time problem in the case when the nominal problem has a bang-bang strongly local optimal control which exhibits a double switch.

We study a useful numerical invariant of normal surface singularities, introduced recently by T. Kawachi. Using this invariant, we give a quick proof of the (well-known) fact that all log-canonical surface singularities are either elliptic…

In this paper, minimal time and minimal norm control problems are studied. The target sets considered are the origin of state spaces and controls are point-wisely bounded functions. The system stuided in this paper is assumed to have no the…

We investigate the minimal singularities of metrics on a big line bundle $L$ over a projective manifold when the stable base locus $Y$ of $L$ is a submanifold of codimension $r\geq 1$. Under some assumptions on the normal bundle and a…

Many complex engineering systems consist of multiple subsystems that are developed by different teams of engineers. To analyse, simulate and control such complex systems, accurate yet computationally efficient models are required. Modular…

We develop a new technique for proving distribution testing lower bounds for properties defined by inequalities involving the bin probabilities of the distribution in question. Using this technique we obtain new lower bounds for…

Robustness is a correctness notion for concurrent programs running under relaxed consistency models. The task is to check that the relaxed behavior coincides (up to traces) with sequential consistency (SC). Although computationally simple…

We prove that any non zero inertia, however small, is able to change the nature of the synchronization transition in Kuramoto-like models, either from continuous to discontinuous, or from discontinuous to continuous. This result is obtained…