Related papers: Binary intersection formalized
We analyze the informal notion of truth and conclude that it can be formalized in essentially two distinct ways: constructively, in terms of provability, or classically, as a hierarchy of concepts which satisfy Tarski's biconditional in…
We introduce a certain restriction of weighted automata over the rationals, called image-binary automata. We show that such automata accept the regular languages, can be exponentially more succinct than corresponding NFAs, and allow for…
Any Batalin-Vilkovisky algebra with a homotopy trivialization of the BV-operator gives rise to a hypercommutative algebra structure at the cochain level which, in general, contains more homotopical information than the hypercommutative…
We extend the known classification of threefolds of general type that are complete intersections to various classes of non-complete intersections, and find other classes of polarised varieties, including Calabi-Yau threefolds with canonical…
We consider the problem of birationally modifying a morphism of complete varieties to make it a morphism from a nonsingular variety to a normal variety. Our main result is to give a counterexample to this problem. This example also is a…
We propose new invariants in equivariant birational geometry, combining equivariant intermediate Jacobians and the Burnside formalism, for smooth rationally connected threefolds with actions of finite groups.
Intersection homology is defined for simplicial, singular and PL chains and it is well known that the three versions are isomorphic for a full filtered simplicial complex. In the literature, the isomorphism, between the singular and the…
The exposition has been significantly altered, hopefully improved.
On the one hand, classical terminological knowledge representation excludes the possibility of handling uncertain concept descriptions involving, e.g., "usually true" concept properties, generalized quantifiers, or exceptions. On the other…
Let $R$ be commutative Noetherian ring and let $\fa$ be an ideal of $R$. For complexes $X$ and $Y$ of $R$--modules we investigate the invariant $\inf{\mathbf R}\Gamma_{\fa}({\mathbf R}\Hom_R(X,Y))$ in certain cases. It is shown that, for…
We examine the complexity of basic regular operations on languages represented by Boolean and alternating finite automata. We get tight upper bounds m+n and m+n+1 for union, intersection, and difference, 2^m+n and 2^m+n+1 for concatenation,…
A hyperplane arrangement is called formal provided all linear dependencies among the defining forms of the hyperplanes are generated by ones corresponding to intersections of codimension two. The significance of this notion stems from the…
Let E=BP<n> denote the Johnson-Wilson spectrum, localized at p. It is proved that if E_*(X) is locally finite, then there is an isomorphism of right E_*-modules E^*(X) = (E_*(Sigma^{D+n+1}X))^V, where D=Sum |v_i| and M^V=Hom(M,Q/Z) is the…
We describe witness languages meeting the upper bound on the state complexity of the multiple concatenation of $k$ regular languages over an alphabet of size $k+1$ with a significantly simpler proof than that in the literature. We also…
Classical binomial identities are established by giving probabilistic interpretations to the summands. The examples include Vandermonde identity and some generalizations.
The literal and the initial literal shuffle have been introduced to model the behavior of two synchronized processes. However, it is not possible to describe the synchronization of multiple processes. Furthermore, both restricted forms of…
We provide a "shared axiomatization" of natural numbers and hereditarily finite sets built around a polymorphic abstraction of bijective base-2 arithmetics. The "axiomatization" is described as a progressive refinement of Haskell type…
A bialgebra is a structure which is simultaneously an algebra and a coalgebra, such that the algebraic and coalgebraic parts are "compatible". Bialgebras are normally studied over a field or commutative ring. In this paper, we show how to…
We prove a conjecture of Zuber on the signature of intersection froms associated with affine algebras of type A.
We study twisted bialgebras and double twisted bialgebras, that is to say bialgebras in the category of linear species, or in the category of species in the category of coalgebras. We define the notion of cofree twisted coalgebra and…