The optimal allocation of resources is a crucial task for their efficient use in wide range practical applications science and engineering. This paper investigates the multipartite quantum systems. In particular, we show relevance proportional fairness reliability criteria application resources. Moreover, present solutions an arbitrary number qudits using measurement incompatibility as exemplar...

Contrary to what I and other people have said in print, the phrase ‘formal logic’ has no traditional meaning. Kant very occasionally used the term. But it first came into regular use in the second half of the 19th century in Britain and New England, and it meant various things to various people. Appeals to ‘tradition’ in logic have a habit of being built on sand.

A notion of morphism that is suitable for the sheaf-theoretic approach to contextuality is developed, resulting in a resource theory for contextuality. The key features involve using an underlying relation rather than a function between measurement scenarios, and allowing for stochastic mappings of outcomes to outcomes. This formalizes an intuitive idea of using one empirical model to simulate ...

It has been argued that any test of quantum contextuality is nullified by the fact that perfect orthogonality and perfect compatibility cannot be achieved in finite precision experiments. We introduce experimentally testable two-qutrit violations of inequalities for noncontextual theories in which compatibility is guaranteed by the fact that measurements are performed on separated qutrits. The ...

We introduce a corpus of 7,032 sentences rated by human annotators for formality, informativeness, and implicature on a 1-7 scale. The corpus was annotated using Amazon Mechanical Turk.1 Reliability in the obtained judgments was examined by comparing mean ratings across two MTurk experiments, and correlation with pilot annotations (on sentence formality) conducted in a more controlled setting. ...

Let M g,l be the moduli space of stable algebraic curves of genus g with l marked points. With the operations which relate the different moduli spaces identifying marked points, the family (M g,l) g,l is a modular operad of projective smooth Deligne-Mumford stacks, M. In this paper we prove that the modular operad of singular chains C * (M; Q) is formal; so it is weakly equivalent to the modula...

We describe the constructible derived category of sheaves on the n-sphere, stratified in a point and its complement, as a dg module category of a formal dg algebra. We prove formality by exploring two different methods: As a combinatorial approach, we reformulate the problem in terms of representations of quivers and prove formality for the 2-sphere, for coefficients in a principal ideal domain...