Related papers: Stratified formulas are equivalent to Acyclic form…
In this paper we prove that the non-linear Fourier transform of the defocusing NLS equation on the circle is linear up to terms which are one order smoother.
We argue that some supersymmetric multiplets can naturally be equipped with the structure of an open-closed homotopy algebra. This structure is readily described through the pure spinor superfield formalism, which in particular associates a…
The chase is a sound and complete algorithm for conjunctive query answering over ontologies of existential rules with equality. To enable its effective use, we can apply acyclicity notions; that is, sufficient conditions that guarantee…
This set of notes re-proves known results on weighted automata (over a field, also known as multiplicity automata). The text offers a unified view on theorems and proofs that have appeared in the literature over decades and were written in…
We introduce a notion of the ``explanation" of one (generalized) probabilistic model by another as particular kind of span in the category $\Prob$ of probabilistic models and morphisms. We show that explanations compose under a standard…
A configuration of points and lines is cyclic if it has an automorphism which permutes its points in a full cycle. A closed formula is derived for the number of non-isomorphic connected cyclic configurations of type (v_3), i.e., which have…
In this paper, we are concerned about smoothing of Filippov systems around homoclinic-like connections to regular-tangential singularities. We provide conditions to guarantee the existence of limit cycles bifurcating from such connections.…
Extensive numerical evidence shows that the assimilation of observations has a stabilizing effect on unstable dynamics, in numerical weather prediction and elsewhere. In this paper, we apply mathematically rigorous methods to showing why…
The aim of this note is to show that the generalized supertrace, constructed in another paper of the author, inducing an isomorphism between the Hochschild homology of a superalgebra and that of the superalgebra of square supermatrices of a…
Cyclic data structures, such as cyclic lists, in functional programming are tricky to handle because of their cyclicity. This paper presents an investigation of categorical, algebraic, and computational foundations of cyclic datatypes. Our…
The suggestion of writing, for some problems, nonlinear state equations not as dx/dt = F(x,u,t), but as dx/dt = [A(t,x)]x + [B(t,x)]u(t), which is more "constructive", is considered supported by arguments related to: the axiomatization of…
We consider the problem of comparing t-structures under the derived McKay correspondence and for tilting equivalences. We relate the t-structures using certain natural torsion theories. As an application, we give a criterion for rationality…
The statement in the title was proved in \cite{Cao23} by introducing dominant sets of seeds, which are analogs of torsion classes in representation theory. In this note, we observe a short proof by the existence of consistent cluster…
We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite…
We show that the reasoning which led the author of arXiv:1310.6252 to reach his conclusions relies on an incorrect criterion for the existence of normalizable bound solutions. We reinforce that the general result derived in the Appendix of…
In this paper, we consider first-order logic over unary functions and study the complexity of the evaluation problem for conjunctive queries described by such kind of formulas. A natural notion of query acyclicity for this language is…
Cyclic models of the universe have the advantage of avoiding initial conditions problems related to postulating any sort of beginning in time. To date, the only known viable examples of cyclic models have been ekpyrotic. In this paper, we…
We investigate a problem in which each member of a group of learners is trained separately to solve the same classification task. Each learner has access to a training dataset (possibly with overlap across learners) but each trained…
Proofs that a smooth morphism is flat available in the literature are long and difficult. We give a short proof of this fact.
The stratified vector bundles on a smooth variety defined over an algebraically closed field $k$ form a neutral Tannakian category over $k$. We investigate the affine group--scheme corresponding to this neutral Tannakian category.