Related papers: Isolated d.c.e. degrees and $\Sigma_1$ induction

We propose a novel deep learning method for local self-supervised representation learning that does not require labels nor end-to-end backpropagation but exploits the natural order in data instead. Inspired by the observation that…

We give an exposition of an iteration theorem for iterating $(<\lambda)$-closed stationary $\lambda^+$-cc forcing with supports of size $<\lambda$ and preserving these two properties. We discuss the relation of this theorem with other…

We analyze isolated resonance curves (IRCs) in a single-degree-of-freedom system with nonlinear damping. The adopted procedure exploits singularity theory in conjunction with the harmonic balance method. The analysis unveils a geometrical…

We give a proof, based on the rigidity of tilting complexes, that the class of self-injective finite-dimensional algebras over an algebraically closed field is closed under derived equivalence.

The independence number $\alpha(G)$ and the dissociation number ${\rm diss}(G)$ of a graph $G$ are the largest orders of induced subgraphs of $G$ of maximum degree at most $0$ and at most $1$, respectively. We consider possible improvements…

The information noise-contrastive estimation (InfoNCE) loss function provides the basis of many self-supervised deep learning methods due to its strong empirical results and theoretic motivation. Previous work suggests a supervised…

We study singularity confinement phenomena in examples of delay-differential Painlev\'e equations, which involve shifts and derivatives with respect to a single independent variable. We propose a geometric interpretation of our results in…

We propose a new approach to study the relation between the module categories of a tilted algebra $C$ and the corresponding cluster-tilted algebra $B=C\ltimes E$. This new approach consists of using the induction functor $-\otimes_C B$ as…

On a manifold or a closed subset of a Euclidean vector space, a retraction enables to move in the direction of a tangent vector while staying on the set. Retractions are a versatile tool to perform computational tasks such as optimization,…

We examine the validity of the results obtained with the singularity confinement integrability criterion in the case of discrete Painlev\'e equations. The method used is based on the requirement of non-exponential growth of the homogeneous…

The classification of topological states of matter depends on spatial dimension and symmetry class. For non-interacting topological insulators and superconductors the topological classification is obtained systematically and nontrivial…

For a semistable reflexive sheaf $E$ of rank $r$ and $c_1=a$ on $\P^n$ and an integer $d$ such that $r|ad$, we give sufficient conditions so that the restriction of $E$ on a generic rational curve of degree $d$ is balanced, i.e. a twist of…

We complete the explicit study of a three-fold divisorial contraction whose exceptional divisor contracts to a point, by treating the case where the point downstairs is a singularity of index $n \ge 2$. We prove that if this singularity is…

A digraph $D$ is an oriented graph if $D$ does not have a pair of opposite arcs. The degree of a vertex $v$ of $D$ is the sum of the in-degree and out-degree of $v.$ Let $fvs(D)$ be the minimum number of vertices whose deletion from $D$…

We present a new approach to singularity confinement which makes it an efficient and reliable discrete integrability detector. Our method is based on the full-deautonomisation procedure, which consists in analysing non-autonomous extensions…

An explicit computation of the so-called string-theoretic E-function of a normal complex variety X with at most log-terminal singularities can be achieved by constructing one snc-desingularization of X, accompanied with the intersection…

Numerical differentiation of a function, contaminated with noise, over the unit interval $[0,1] \subset \mathbb{R}$ by inverting the simple integration operator $J:L^2([0,1]) \to L^2([0,1])$ defined as $[Jx](s):=\int_0^s x(t) dt$ is…

Answering an open question raised by Cooper, we show that there exist $\Delta^0_2$ sets $D$ and $E$ such that the singleton degree of $E$ is a minimal cover of the singleton degree of $D$. This shows that the $\Sigma^{0}_{2}$ singleton…

The phenomenon of six degrees of separation is an old but attractive subject. The deep understanding has been uncovered yet, especially how closed paths included in a network affect six degrees of separation are an important subject left…

We continue the project of the study of reverse mathematics principles inspired by cardinal invariants. In this article in particular we focus on principles encapsulating the existence of large families of objects that are in some sense…