Related papers: Movable intersection and bigness criterion
We extend intersection types to a computational $\lambda$-calculus with algebraic operations \`a la Plotkin and Power. We achieve this by considering monadic intersections, whereby computational effects appear not only in the operational…
It is noted that using complex Hessian equations and the concavity inequalities for elementary symmetric polynomials implies a generalized form of Hodge index inequality. Inspired by this result, using G{\aa}rding's theory for hyperbolic…
A classical inequality which is due to Lickorish and Hempel says that the distance between two curves in the curve complex can be measured by their intersection number. In this paper, we show a converse version; the intersection number of…
We consider the positions of occurrences of a factor $x$ and its binary complement $\overline{x}$ in the Thue-Morse word ${\bf t} = {\tt 01101001} \cdots$, and show that these occurrences are "intertwined" in essentially two different ways.…
On a smooth variety, Serre's intersection formula computes intersection multiplicities via an alternating sum of the lengths of Tor groups. When the variety is singular, the corresponding sum can be a divergent series. But there are…
To ensure decidability and consistency of its type theory, a proof assistant should only accept terminating recursive functions and productive corecursive functions. Most proof assistants enforce this through syntactic conditions, which can…
We construct weight-preserving bijections between column strict shifted plane partitions with one row and alternating sign trapezoids with exactly one column in the left half that sums to $1$. Amongst other things, they relate the number of…
Let S be a smooth projective surface, and consider the following two subvarieties of the Hilbert scheme parameterizing closed subschemes of S of length n: A = {subschemes with support in a fixed point of S} B = {subschemes with support in…
Three intersection theorems are proved. First, we determine the size of the largest set system, where the system of the pairwise unions is l-intersecting. Then we investigate set systems where the union of any s sets intersect the union of…
The sizes of Markov equivalence classes of directed acyclic graphs play important roles in measuring the uncertainty and complexity in causal learning. A Markov equivalence class can be represented by an essential graph and its undirected…
The need to compute the intersections between a line and a high-order curve or surface arises in a large number of finite element applications. Such intersection problems are easy to formulate but hard to solve robustly. We introduce a…
We study the P versus NP problem through properties of functions and monoids, continuing the work of [3]. Here we consider inverse monoids whose properties and relationships determine whether P is different from NP, or whether injective…
Two classifications of second order ODE's cubic with respect to the first order derivative are compared in the first case of intermediate degeneration. The correspondence of vectorial, pseudovectorial, scalar, and pseudoscalar invariants of…
We establish a set of relations between several quite diverse types of weighted inequalities involving various integral operators and fairly general quasinorm-like functionals which we call sub-monotone. The main result enables one to solve…
For polyhedral convex cones in ${\mathbb R}^d$, we give a proof for the conic kinematic formula for conic curvature measures, which avoids the use of characterization theorems. For the random cones defined as typical cones of an isotropic…
We introduce the notion of Lebesgue currents. They are a special type of currents involving Lebesgue measure. We apply it to define the intersection of singular cycles, which provides the foundation to the real intersection theory.
Mass splitting between axial and vector $\bar{Q}q$ mesons is considered within the standard QCD sum rules. In agreement with the first experimental data on the $B_1$ meson ($J^P =1^{+}$) we find that the splitting for B is about the same as…
Previous studies have used a specific success metric within an algorithmic search framework to prove machine learning impossibility results. However, this specific success metric prevents us from applying these results on other forms of…
We present a new partial order for directly forcing morasses to exist that enjoys a significant homogeneity property. We then use this forcing in a reverse Easton iteration to obtain an extension universe with morasses at every regular…
We study a singular Hamiltonian system with an $\al$-homogeneous potential that contains, as a particular case, the classical $N$--body problem. We introduce a variational Morse--like index for a class of collision solutions and, using the…