Related papers: Oriented Matroid Theory as a Mathematical Framewor…
We give two graph theoretical characterizations of tope graphs of (complexes of) oriented matroids. The first is in terms of excluded partial cube minors, the second is that all antipodal subgraphs are gated. A direct consequence is a third…
Two different mechanisms exist in non-perturbative String / M- theory for enhanced SU(N) (SO(2N)) gauge symmetries. It can appear in type IIA string theory or M-theory near an $A_{N-1}$ (D_N) type singularity where membrnes wrapped around…
We consider the asymmetric orbifold that is obtained by acting with T-duality on a 4-torus, together with a shift along an extra circle. The chiral algebra of the resulting theory has non-trivial outer automorphisms that act as permutations…
A tract $F$ is an algebraic structure where multiplication is defined but addition is only partially defined. They were introduced by Baker and Bowler as a unified framework to study generalisations of matroids, including oriented and…
We show that qubit and chirotope concepts are closely related. In fact, we prove that the qubit concept leads to a generalization of the chirotope concept, which we call qubitope. Moreover, we argue that a possible qubitope theory may…
The full U-duality symmetry of toroidally compactified M-theory can only be displayed by allowing non-rectangular tori with expectation values of the gauge fields. We construct an E_d(Z) U-duality invariant mass formula incorporating…
At present, practical application and theoretical discussion of rough sets are two hot problems in computer science. The core concepts of rough set theory are upper and lower approximation operators based on equivalence relations. Matroid,…
Symmetries of geometric structures such as hyperplane arrangements, point configurations and polytopes have been studied extensively for a long time. However, symmetries of oriented matroids, a common combinatorial abstraction of them, are…
We show how to cast an interacting system of M--branes into manifestly gauge-invariant form using an arrangement of higher-dimensional Dirac surfaces. Classical M--theory has a cohomologically nontrivial and noncommutative set of gauge…
We discuss various dual {\it pairs} of $M$-theory compactifications. Each pair consists of a compactification in which the two-brane plays the crucial role in relation to a string theory and a compactification in which the five-brane takes…
We present an innovative approach to dimensional analysis, referred to as augmented dimensional analysis and based on a representation theorem for complete quantity functions with a scaling-covariant scalar representation. This new theorem,…
We introduce MTT, a dependent type theory which supports multiple modalities. MTT is parametrized by a mode theory which specifies a collection of modes, modalities, and transformations between them. We show that different choices of mode…
Extending the notion of geometric bijections for regular matroids, introduced by the first and third author with Matthew Baker, we describe a family of bijections between bases of an oriented matroid and special orientations. These…
We introduce the warping matrix which is a new description of oriented knots from a viewpoint of warping degree.
A unitary matrix model is proposed as the large-N matrix formulation of M theory on flat space with toroidal topology. The model reproduces the motion of elementary D-particles on the compact space, and admits membrane states with nonzero…
A proposal for the matrix model formulation of the M-theory on a space with a boundary is given. A general machinery for modding out a symmetry in M(atrix) theory is used for a Z_2 symmetry changing the sign of the X_1 coordinate. The…
Tropical oriented matroids were defined by Ardila and Develin in 2007 in analogy to (classical) oriented matroids. In this paper we present one tropical analogue for the Topological Representation Theorem.
We give a preliminary discussion of how the addition of extra coordinates in M-theory, which together with the original ones parametrise a U-fold, can serve as a tool for formulating brane dynamics with manifest U-duality. The redundant…
Although the introduction of generalised and extended geometry has been motivated mainly by the appearance of dualities upon reductions on tori, it has until now been unclear how (all) the duality transformations arise from first principles…
For any cluster-tilting object $\mathsf{T}$ in the cluster category $\mathscr{C}_{n}$ of type $\mathbb{A}_{n}$, we construct a rank-four oriented matroid $\mathcal{M}_{\mathsf{T}}$ such that stackable triangulations of…