Related papers: Inclusion-exclusion and Segre classes, II
We give an explicit criterion for the irreducibility of some induction products of evaluation modules of affine Hecke algebras of type A. This allows to describe the form of the singularities of the trigonometric R-matrix associated to any…
In this work we define a class of injective-type norm on tensor products through the environment of sequence classes. Examples and results on this norm will be presented and the duality is studied in this context. As a byproduct, we present…
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…
We provide a categorical interpretation of a well-known identity from linear algebra as an isomorphism of certain functors between triangulated categories arising from finite dimensional algebras. As a consequence, we deduce that the Serre…
We introduce the notion of $\imath$Schur superalgebra, which can be regarded as a type B/C counterpart of the $q$-Schur superalgebra (of type A) formulated as centralizer algebras of certain signed $q$-permutation modules over Hecke…
Let $X$ be a complex nonsingular variety with globally generated tangent bundle. We prove that the signed Segre-MacPherson (SM) class of a constructible function on $X$ with effective characteristic cycle is effective. This observation has…
In this paper we study the locus of singular tuples of a complex valued multisymmetric tensor. The main problem that we focus on is: given the set of singular tuples of some general tensor, which are all the tensors that admit those same…
In many large-scale classification problems, classes are organized in a known hierarchy, typically represented as a tree expressing the inclusion of classes in superclasses. We introduce a loss for this type of supervised hierarchical…
We reduce the classification of finite extensions of function fields (of curves over finite fields) with the same class number to a finite computation; complete this computation in all cases except when both curves have base field…
We look at spaces of infinite-by-infinite matrices, and consider closed subsets that are stable under simultaneous row and column operations. We prove that up to symmetry, any of these closed subsets is defined by finitely many equations.
One form of the inclusion-exclusion principle asserts that if A and B are functions of finite sets then A(S) is the sum of B(T) over all subsets T of S if and only if B(S) is the sum of (-1)^|S-T| A(T) over all subsets T of S. If we replace…
We show an equation of Euler characteristics of tautological sheaves on Hilbert schemes of points on the fibers of a double point degeneration. This equation resembles a computation of such Euler characteristics via a combinatorial…
We deduce several curious q-series expansions by applying inverse relations to certain identities for basic hypergeometric series. After rewriting some of these expansions in terms of q-integrals, we obtain, in the limit q -> 1, some…
This article can be seen as a sequel to the first author's article ``Chern classes of the tangent bundle on the Hilbert scheme of points on the affine plane'', where he calculates the total Chern class of the Hilbert schemes of points on…
In the recent articles by Alper, Eastwood and Isaev, it was conjectured that all rational $GL_n({\mathbb C})$-invariant functions of forms of degree $d\ge 3$ on ${\mathbb C}^n$ can be extracted, in a canonical way, from those of forms of…
By excluding some sets, which don't include any eigenvalue of a tensor, from some existing eigenvalue inclusion sets, two new sets are given to locate all eigenvalues of a tensor. And it is shown that these two sets are contained in the…
Proof search has been used to specify a wide range of computation systems. In order to build a framework for reasoning about such specifications, we make use of a sequent calculus involving induction and co-induction. These proof principles…
By calculating the O(\alpha_s) corrections to inclusive heavy-to-light sum rules we find model independent upper and lower bounds on form factors for B to pi and B to rho. We use the bounds to rule out model predictions. Some models violate…
We provide a detailed study of two properties of spaces and pairs of spaces, the surjection property and the epsilon-surjection property, that were recently introduced to characterize the notion of computable type arising from computability…
A new property, the strong singular value property, is introduced, developed, and utilized to study the problem of which lists of nonnegative real numbers occur as the singular values of a matrix with a prescribed zero-nonzero pattern.