相关论文: Inclusion-exclusion and Segre classes
In this article we adapt the existing account of class-forcing over a ZFC model to a model $(M,\mathcal{C})$ of Morse-Kelley class theory. We give a rigorous definition of class-forcing in such a model and show that the Definability Lemma…
A wide range of problems can be modelled as constraint satisfaction problems (CSPs), that is, a set of constraints that must be satisfied simultaneously. Constraints can either be represented extensionally, by explicitly listing allowed…
We introduce a new class of extensions of terms that consists in navigation strategies and insertion of contexts. We introduce an operation of combination on this class which is associative, admits a neutral element and so that each…
This work presents a new classifier that is specifically designed to be fully interpretable. This technique determines the probability of a class outcome, based directly on probability assignments measured from the training data. The…
Since Chern and Grothendieck, Chern's characteristic class theory has made significant progress. In particular with regard to the classes of singular varieties. Conjectured by Grothendieck and Deligne and demonstrated by MacPherson, Chern…
In this paper, we continue our research on the algorithmic aspects of Halpern and Pearl's causes and explanations in the structural-model approach. To this end, we present new characterizations of weak causes for certain classes of causal…
We derive faithful inclusions of C*-algebras from a coend-type construction in unitary tensor categories. This gives rise to different potential notions of discreteness for an inclusion in the non-irreducible case, and provides a unified…
The inevitability of Chern--Simons terms in constructing a variety of physical models, and the mathematical advances they in turn generate, illustrates the unexpected but profound interactions between the two disciplines.
The goal of this short note is to study the secant varieties of the triple Segre product of type (1,a,b) by means of the standard tools of combinatorial commutative algebra. We reprove and extend to arbitrary characteristic results of…
The constraint satisfaction problem (CSP) is a general problem central to computer science and artificial intelligence. Although the CSP is NP-hard in general, considerable effort has been spent on identifying tractable subclasses. The main…
We generalize the notion of semi-normalized classes of systems of differential equations, study properties of such classes and extend the algebraic method of group classification to them. In particular, we prove the important theorems on…
We show that under mild assumptions the Segre product of two graded cluster algebras has a natural cluster algebra structure.
In this paper, we will address broader concepts for Dunford-Pettis operators, presenting new classes and results that correlate this class with others already well-studied in the literature, as well as an approach outside the origin. We…
A new class of integrable mappings and chains is introduced. Corresponding $(1+2)$ integrable systems invariant with respect to such discrete transformations are presented in an explicit form. Their soliton-type solutions are constructed in…
Let $X$ be a nonsingular variety defined over an algebraically closed field of characteristic $0$, and $D$ be a free divisor with Jacobian ideal of linear type. We compute the Chern class of the sheaf of logarithmic derivations along $D$…
A class of models intended to be as minimal and structureless as possible is introduced. Even in cases with simple rules, rich and complex behavior is found to emerge, and striking correspondences to some important core known features of…
Let $E$and $F$ be Hermitian vector bundles over a complex manifold $X$ and let $g\colon E\to F$ be a holomorphic morphism. We prove a Poincar\'e-Lelong type formula with a residue term $M^g$. The currents $M^g$ so obtained have an expected…
We develop a general criterion for cut elimination in sequent calculi for propositional modal logics, which rests on absorption of cut, contraction, weakening and inversion by the purely modal part of the rule system. Our criterion applies…
We give criteria for the existence of a Serre functor on the derived category of a gauged Landau-Ginzburg model. This is used to provide a general theorem on the existence of an admissible (fractional) Calabi-Yau subcategory of a gauged…
We develop new invariants similar to the Bieri-Strebel-Neumann-Renz invariants but in the category of Bredon modules (with respect to the class of the finite subgroups of G). We prove that for virtually soluble groups of type FP_{\infty}…