Related papers: On completely non-Baire union in category bases

Current techniques for generating a knowledge space, such as QUERY, guarantees that the resulting structure is closed under union, but not that it satisfies wellgradedness, which is one of the defining conditions for a learning space. We…

We relate the construction of a complete set of cyclic mutually unbiased bases, i. e., mutually unbiased bases generated by a single unitary operator, in power-of-two dimensions to the problem of finding a symmetric matrix over F_2 with an…

We relate two apparently different bases in the representations of affine Lie algebras of type A: one arising from statistical mechanics, the other from gauge theory. We show that the two are governed by the same combinatorics and therefore…

Logics closed under classes of substitutions broader than class of uniform substitutions are known as hyperformal logics. This paper extends known results about hyperformal logics in two ways. First: we examine a very powerful form of…

This paper is devoted to analize inside the infinitely many possible bases of Uq(g), same that can be considered "more equal then others". The element of selection has been a privileged relation with the bialgebra. A new parameter z' has…

Let A be an asymptotic basis for N and X a finite subset of A such that A\X is still an asymptotic basis. Farhi recently proved a new batch of upper bounds for the order of A\X in terms of the order of A and a variety of parameters related…

In the absence of empirical confirmation, scientists may judge a theory's chances of being viable based on a wide range of arguments. The paper argues that such arguments can differ substantially with regard to their structural similarly to…

We introduce a notion of compatible quasi-ordered groups which unifies valued and ordered abelian groups. It was proved in a paper by Fakhruddin that a compatible quasi-order on a field is always either an order or a valuation. We show here…

We show that if $V$ is a vertex operator algebra such that all the irreducible ordinary $V$-modules are $C_1$-cofinite and all the grading-restricted generalized Verma modules for $V$ are of finite length, then the category of finite length…

We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called \emph{rational case}. More precisely, let k be a number field and v_{0} be an arbitrary place of k. Let G be a commutative…

In this Letter, we construct a set of order parameters for non-Abelian gauge theories which probe directly the unbroken group and are free of the deficiencies caused by quantum fluctuations and gauge fixing which have plagued all previous…

The purpose of this paper is to build a new bridge between category theory and a generalized probability theory known as noncommutative probability or quantum probability, which was originated as a mathematical framework for quantum theory,…

Let $X$ be a finite-dimensional, noetherian scheme. Antieau, Gepner and Heller conjectured that its derived category of perfect complexes has a bounded t-structure if and only if $X$ is regular. We prove a generalization, and to do so we…

We extend the support theory of Benson--Iyengar--Krause to the non-Noetherian setting by introducing a new notion of small support for modules. This enables us to prove that the stable module category of a finite group is canonically…

We will show that an unconditional basis in a Banach space is equivalent to the unit vector basis of $c_0$ or $\ell_p$ for $1\le p < \infty$ if and only if all finitely supported blocks of the basis generated by a unit vector and its dual…

Necessary and sufficient conditions for finite commutative semihypergroups to be built from abelian groups of the same order are established.

A new basis of the $q$-Brauer algebra is introduced, which is a lift of Murphy bases of Hecke algebras of symmetric groups. This basis is a cellular basis in the sense of Graham and Lehrer. Subsequently, using combinatorial language we…

We identify a strong structural obstruction to Uniform Separation in constructive arithmetic. The mechanism is independent of semantic content; it emerges whenever two distinct evaluator predicates are sustained in parallel and inference…

We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal…

We prove that exact functors between the categories of perfect complexes supported on projective schemes are of Fourier--Mukai type if the functor satisfies a condition weaker than being fully faithful. We also get generalizations of the…