Related papers: Stratified formulas are equivalent to Acyclic form…
A stratified bundle is a fibered space in which strata are classical bundles and in which attachment of strata is controlled by a structure category of fibers. Well known results on fibre bundles are shown to be true for stratified bundles;…
The paper aims at finding acyclic graphs under a given set of constraints. More specifically, given a propositional formula {\phi} over edges of a fixed-size graph, the objective is to find a model of {\phi} that corresponds to a graph that…
A notion of stratification is introduced for any compactly generated triangulated category T endowed with an action of a graded commutative noetherian ring R. The utility of this notion is demonstrated by establishing diverse consequences…
Type and effect systems are a tool to analyse statically the behaviour of programs with effects. We present a proof based on the so called reducibility candidates that a suitable stratification of the type and effect system entails the…
This paper is about the question whether a cycle in the l-adic cohomology of a smooth projective variety over the rational numbers, which is algebraic over almost all finite fields, is also algebraic over the rationals. We use ultraproducts…
Alesker's theory of generalized valuations unifies smooth measures and constructible functions on real analytic manifolds, extending classical operations on functions and measures. Alesker showed that these operations agree with the…
The purpose of this note is to give a number of open problems on matching theory and their relation to the well-known results in this area. We also give a linear analogue of the acyclic matchings.
We present a new solution for fundamental problems in nonlinear dynamical systems: finding, verifying, and stabilizing cycles. The solution we propose consists of a new control method based on mixing previous states of the system (or the…
Stationary states of Navier-Stokes fluids have been proposed to be described equivalently by several alternative equations, besides the NS equation itself. In particular equivalence between the NS evolution and a reversible. It is natural…
We give a proof of the Acyclicity Conjecture stated by Broussous and Schneider in [BrouSch2017]. As a consequence, we obtain an exact resolution of every admissible representation on each Bernstein block of ${\rm GL}(N)$ associated to a…
In this note, we introduce the notion of support graph to define explanations for any model of a logic program. An explanation is an acyclic support graph that, for each true atom in the model, induces a proof in terms of program rules…
Elliptic operators on stratified manifolds with any finite number of strata are considered. Under certain assumptions on the symbols of operators, we obtain index formulas, which express index as a sum of indices of elliptic operators on…
Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This…
By changing variables in a suitable way and using dominated convergence methods, this note gives a short proof of Stirling's formula and its refinement.
We prove that any steady solution to the real analytic Euler equations on a Riemannian 3-sphere must possess a periodic orbit bounding an embedded disc. One key ingredient is an extension of Fomenko's work on the topology of integrable…
In this paper, we consider partially commutative metabelian Lie algebras whose defining graphs are cycles. We show that such algebras are universally equivalent iff the corresponding cycles have the same length. Moreover, we give an example…
We show how every stock-flow consistent model of the macroeconomy can be represented as a directed acyclic graph. The advantages of representing the model in this way include graphical clarity, causal inference, and model specification. We…
We consider Euler's equations for free surface waves traveling on a body of density stratified water in the scenario when gravity and surface tension act as restoring forces. The flow is continuously stratified, and the water layer is…
Many versions of the Stokes theorem are known. More advanced of them require complicated mathematical machinery to be formulated which discourages the users. Our theorem is sufficiently simple to suit the handbooks and yet it is pretty…
A nonlinear cyclic system with delay and the overall negative feedback is considered. The characteristic equation of the linearized system is studied in detail. Sufficient conditions for the oscillation of all solutions and for the…