1.1. Connections and derivations. Let S be a scheme, and X smooth and finite type over S throughout. We have the rank-n vector bundle ΩX/S of 1-forms on X over S. We also fix some notation in the case that S is of characteristic p: in this case, we denote by FT the absolute Frobenius map for any scheme T , by X = X×S S the p-twist of X over S, where the map used in the fiber product is FS : S →...

An open problem with categorical compositional distributional semantics is the representation of words that are considered semantically vacuous from a distributional perspective, such as determiners, prepositions, relative pronouns or coordinators. This paper deals with the topic of coordination between identical syntactic types, which accounts for the majority of coordination cases in language...

We show Koszulness of the prop governing involutive Lie bialgebras and also of the props governing non-unital and unital-counital Frobenius algebras, solving a long-standing problem. This gives us minimal models for their deformation complexes, and for deformation complexes of their algebras which are discussed in detail. Using an operad of graph complexes we prove, with the help of an earlier ...

Let G be an almost linear Nash group, namely, a group that admits homomorphism with finite kernel to some GLk(R). A homology theory (the Schwartz homology) is established for the category of smooth Fréchet representations moderate growth. Frobenius reciprocity and Shapiro's lemma are proved in this category. As application, we give criterion automatic extensions homologies sections tempered G-v...

The Frobenius number F (a) of an integer vector a with positive coprime coefficients is defined as the largest number that does not have a representation as a positive integer linear combination of the coefficients of a. We show that if a is taken to be random in an expanding d-dimensional domain, then F (a) has a limit distribution, which is given by the probability distribution for the coveri...

Linear discriminant analysis (LDA) is a well-known scheme for supervised subspace learning. It has been widely used in the applications of computer vision and pattern recognition. However, an intrinsic limitation of LDA is the sensitivity to the presence of outliers, due to using the Frobenius norm to measure the inter-class and intra-class distances. In this paper, we propose a novel rotationa...

We show that an orthogonal basis for a finite-dimensional Hilbert space can be equivalently characterised as a commutative †-Frobenius monoid in the category FdHilb, which has finite-dimensional Hilbert spaces as objects and continuous linear maps as morphisms, and tensor product for the monoidal structure. The basis is normalised exactly when the corresponding commutative †-Frobenius monoid is...

We introduce complex cones and associated projective gauges, generalizing a real Birkhoff cone and its Hilbert metric to complex vector spaces. We deduce a variety of spectral gap theorems in complex Banach spaces. We prove a dominated complex cone-contraction Theorem and use it to extend the classical Perron-Frobenius Theorem to complex matrices, Jentzsch’s Theorem to complex integral operator...

Compact Closed categories and Frobenius and Bi algebras have been applied to model and reason about Quantum protocols. The same constructions have also been applied to reason about natural language semantics under the name: “categorical distributional compositional” semantics, or in short, the “DisCoCat” model. This model combines the statistical vector models of word meaning with the compositi...

Let be the Lie algebra of semi-direct sum real vector space and sets all matrices. In this paper, a Frobenius functional is constructed in order for to dimension 8. Moreover, bilinear form corresponding symplectic. Then obtained symplectic induces left-symmetric structures on . other words, algebra. particular, we give formulas its structure explicitely. The case higher type are still an open p...