English
Related papers

Related papers: Inclusion-exclusion and Segre classes

200 papers

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

Logic · Mathematics 2007-05-23 Wesley Calvert

Three propositions about Jordan matrices are proved and applied to algebraically classify the Ricci tensor in n-dimensional Kaluza-Klein-type spacetimes. We show that the possible Segre types are [1,1...1], [21...1], [31\ldots 1],…

General Relativity and Quantum Cosmology · Physics 2009-10-28 J. Santos , M. J. Reboucas , A. F. F. Teixeira

This paper concerns open-world classification, where the classifier not only needs to classify test examples into seen classes that have appeared in training but also reject examples from unseen or novel classes that have not appeared in…

Machine Learning · Computer Science 2018-01-18 Lei Shu , Hu Xu , Bing Liu

We consider two classical extensions for singular varieties of the usual Chern classes of complex manifolds, namely the total Schwartz-MacPherson and Fulton-Johnson classes, $c^{SM}(X)$ and $c^{FJ}(X)$. Their difference (up to sign) is the…

Algebraic Geometry · Mathematics 2019-11-20 Roberto Callejas-Bedregal , Michelle Morgado , Jose Seade

Let K=Fq be a finite field. We introduce a family of projective Reed-Muller-type codes called projective Segre codes. Using commutative algebra and linear algebra methods, we study their basic parameters and show that they are direct…

Commutative Algebra · Mathematics 2016-01-28 Azucena Tochimani , Maria Vaz Pinto , Rafael H. Villarreal

Whitney's broken circuit theorem gives a graphical example to reduce the number of the terms in the sum of the inclusion-exclusion formula by a predicted cancellation. So far, the known cancellations for the formula strongly depend on the…

Combinatorics · Mathematics 2018-01-16 Yin Chen , Jianguo Qian

Faltings showed that "arithmetic Kodaira--Spencer classes" satisfying a certain compatibility axiom cannot exist. By modifying his definitions slightly, we show that the Deligne--Illusie classes satisfy what could be considered an…

Number Theory · Mathematics 2018-04-18 Taylor Dupuy , David Zureick-Brown

We give a new formula for the Chern-Schwartz-MacPherson class of a hypersurface in a nonsigular compact complex analytic variety. In particular this formula generalizes our previous result on the Euler characteristic of such a hypersurface.…

Algebraic Geometry · Mathematics 2007-05-23 Adam Parusinski , Piotr Pragacz

In this paper we formulate a probabilistic model for class-specific discriminant subspace learning. The proposed model can naturally incorporate the multi-modal structure of the negative class, which is neglected by existing class-specific…

Machine Learning · Computer Science 2020-10-06 Alexandros Iosifidis

We define an `enriched' notion of Chow groups for algebraic varieties, agreeing with the conventional notion for complete varieties, but enjoying a functorial push-forward for arbitrary maps. This tool allows us to glue…

Algebraic Geometry · Mathematics 2012-04-11 Paolo Aluffi

We provide a generalization of the algorithm of Eklund-Jost-Peterson for computing Segre classes of closed subschemes of projective k-space. The algorithm is here generalized to computing the Segre classes of closed subschemes of smooth…

Algebraic Geometry · Mathematics 2014-04-01 Torgunn Karoline Moe , Nikolay Qviller

We introduce a class of singular log schemes in three dimensions and conjecture that log schemes in this class admit log crepant log resolutions. We provide examples as evidence and relate this conjecture to the conjecture made in [4] and…

Algebraic Geometry · Mathematics 2025-03-17 Alessio Corti , Tim Graefnitz , Helge Ruddat

Let $R$ be a graded ring. We introduce a class of graded $R$-modules called Gr\"obner-coherent modules. Roughly, these are graded $R$-modules that are coherent as ungraded modules because they admit an adequate theory of Gr\"obner bases.…

Commutative Algebra · Mathematics 2016-06-13 Rohit Nagpal , Andrew Snowden

For a large class of possibly singular complete intersections we prove a formula for their Chern-Schwartz-MacPherson classes in terms of a single blowup along a scheme supported on the singular loci of such varieties. In the hypersurface…

Algebraic Geometry · Mathematics 2016-04-28 James Fullwood , Dongxu Wang

We look at equivalence relations on the set of models of a theory -- MERs, for short -- such that the class of equivalent pairs is itself an elementary class, in a language appropriate for pairs of models. We provide many examples of…

Logic · Mathematics 2025-07-24 Michael Benedikt , Ehud Hrushovski

In this paper we introduce a new and large family of configurations whose toric ideals possess quadratic Groebner bases. As an application, a generalization of algebras of Segre-Veronese type will be studied.

Commutative Algebra · Mathematics 2008-09-23 Satoshi Aoki , Takayuki Hibi , Hidefumi Ohsugi , Akimichi Takemura

We show that certain field theory models, although non-integrable according to the usual definition of integrability, share some of the features of integrable theories for certain configurations. Here we discuss our attempt to define a…

High Energy Physics - Theory · Physics 2015-06-16 L. A. Ferreira , G. Luchini , Wojtek J. Zakrzewski

Classification is an important goal in many branches of mathematics. The idea is to describe the members of some class of mathematical objects, up to isomorphism or other important equivalence in terms of relatively simple invariants. Where…

Logic · Mathematics 2008-03-25 Wesley Calvert , Julia F. Knight

In this work we study characteristic classes of possibly singular varieties embedded as a closed subvariety of a nonsingular variety. In special, we express the Schwartz-MacPherson class in terms of the $\mu$-class and Chern class of the…

Algebraic Geometry · Mathematics 2024-10-04 Antonio M. Ferreira , Fernando Lourenco

In discriminating between objects from different classes, the more separable these classes are the less computationally expensive and complex a classifier can be used. One thus seeks a measure that can quickly capture this separability…

Methodology · Statistics 2008-12-08 Linda Mthembu , Tshilidzi Marwala