Related papers: Uniqueness typing for intersection types

We describe the homology intersection form associated to regular holonomic GKZ systems in terms of the combinatorics of regular triangulations. Combining this result with the twisted period relation, we obtain a formula of cohomology…

We prove that for any $\alpha$-mixing stationnary process the hitting time of any $n$-string $A_n$ converges, when suitably normalized, to an exponential law. We identify the normalization constant $\lambda(A_n)$. A similar statement holds…

Let R be a commutative ring with unity, M be an unitary R-module and {\Gamma} be a simple graph. This research article is an interplay of combinatorial and algebraic properties of M . We show a combinatorial object completely determines an…

We introduce a new criterion which tests if a given decomposition of a given ternary form $T$ of even degree is unique. The criterion is based on the analysis of the Hilbert function of the projective set of points $Z$ associated to the…

We provide enumerative formulas for the degrees of varieties parameterizing hypersurfaces and complete intersections which contain pro-jective subspaces and conics. Besides, we find all cases where the Fano scheme of the general complete…

We investigate the relationship between finite groups and incidence geometries through their automorphism structures. Building upon classical results on the realizability of groups as automorphism groups of graphs, we develop a general…

We study random generation in the symmetric group when cycle type restrictions are imposed. Given $\pi, \pi' \in S_n$, we prove that $\pi$ and a random conjugate of $\pi'$ are likely to generate at least $A_n$ provided only that $\pi$ and…

We give an explicit formula for the Deligne pairing for a proper and flat morphisms $f:X\to S$ of schemes, in terms of the determinant of cohomology. The whole construction is justified by an analogy with the intersection theory on…

An early result in the theory of Natural Dualities is that an algebra with a near unanimity (NU) term is dualizable. A converse to this is also true: if V(A) is congruence distributive and A is dualizable, then A has an NU term. An…

We formalize eight different notions of isomorphism among (unital) graph C*-algebras, and initiate the study of which of these notions may be described geometrically as generated by moves. We propose a list of seven types of moves that we…

In this paper we investigate the $\lambda$ -calculus, a $\lambda$-calculus enriched with resource control. Explicit control of resources is enabled by the presence of erasure and duplication operators, which correspond to thinning and…

We study the "generic" degenerations of curves with two singular points when the points merge. First, the notion of generic degeneration is defined precisely. Then a method to classify the possible results of generic degenerations is…

We observe that the classical Cartesian product construction for the intersection of (languages of) nondeterministic finite automata (NFA) is non-optimal in the worst case, if the automata have many transitions. For a fixed alphabet, the…

We classify all unmixed monomial ideals I of codimension 2 which are generically a complete intersection and which have the property that the symbolic power algebra A(I) is standard graded. We give a lower bound for the highest degree of a…

The Joint Crossing Number problem asks for a simultaneous embedding of two disjoint graphs into one surface such that the number of edge crossings (between the two graphs) is minimized. It was introduced by Negami in 2001 in connection with…

We consider a connected graph $\Gamma$ as a coarse space and prove that $\Gamma$ admits a 2-selector if and only if $\Gamma$ is either bounded or coarsely equivalent to $\mathbb{N}$ or $\mathbb{Z}$. We apply this result to geodesic metric…

It is known that that the centralizer of a matrix over a finite field depends, up to conjugacy, only on the type of the matrix, in the sense defined by J. A. Green. In this paper an analogue of the type invariant is defined that in general…

We obtain a simple, recursive presentation of the tautological (\kappa, \psi, and \lambda) classes on the moduli space of curves in genus zero and one in terms of boundary strata (graphs). We derive differential equations for the generating…

Let $X(\Gamma)$ be the space of all finite Borel measure $\mu$ in $\mathbb R^2$ which is supported on the curve $\Gamma$ and absolutely continuous with respect to the arc length of $\Gamma$. For $\Lambda\subset\mathbb R^2,$ the pair…

We provide a graph formula which describes an arbitrary monomial in {\omega} classes (also referred to as stable {\psi} classes) in terms of a simple family of dual graphs (pinwheel graphs) with edges decorated by rational functions in…