Related papers: On Formality and Combinatorial Formality for hyper…
We introduce A-ranked preferential structures and combine them with an accessibility relation. This framework allows us to formalize contrary to duty obligations. Representation results are proved.
In this paper we set-up a general framework for a formal deformation theory of Dirac structures. We give a parameterization of formal deformations in terms of two-forms obeying a cubic equation. The notion of equivalence is discussed in…
Hamiltonian systems with functionally dependent constraints (irregular systems), for which the standard Dirac procedure is not directly applicable, are discussed. They are classified according to their behavior in the vicinity of the…
Combinatorial design theory studies set systems with certain balance and symmetry properties and has applications to computer science and elsewhere. This paper presents a modular approach to formalising designs for the first time using…
In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…
Hyperplane Arrangements of rank $3$ admitting an unbalanced Ziegler restriction are known to fulfill Terao's conjecture. This long-standing conjecture asks whether the freeness of an arrangement is determined by its combinatorics. In this…
Polar orderings arose in recent work of Salvetti and the second author on minimal CW-complexes for complexified hyperplane arrangements. We study the combinatorics of these orderings in the classical framework of oriented matroids, and…
We develop the theory of arrangements of spheres. Consider a finite collection of codimension-$1$ subspheres in a positive-dimensional sphere. There are two posets associated with this collection: the poset of faces and the poset of…
The freeness of hyperplane arrangements in a three dimensional vector space over finite field is discussed. We prove that if the number of hyperplanes is greater than some bound, then the freeness is determined by the characteristic…
Many deep, mysterious connections have been observed between collections of mutually unbiased bases (MUBs) and combinatorial designs called $k$-nets (and in particular, between complete collections of MUBs and finite affine - or…
The fundamental group of the complement of a hyperplane arrangement in a complex vector space is an important topological invariant. The third rank of successive quotients in the lower central series of the fundamental group was called Falk…
This paper develops the basic theory of formal schemes over fields in the supersymmetric setting. We introduce the notion of a formal superscheme and investigate some of its fundamental properties. Particular emphasis is placed on the study…
We produce a one-parameter family of hyperplane arrangements that are counterexamples to the conjecture of Saito that the complexified complement of a free arrangement is $K(\pi,1)$. These arrangements are the restriction of a one-parameter…
We consider all possible dynamical theories which evolve two transverse vector fields out of a three-dimensional Euclidean hyperplane, subject to only two assumptions: (i) the evolution is local in space, and (ii) the theory is invariant…
It is argued that the occurrence of disproportionately ("un-natural") large (or small) numbers, as well as deep cancellations, are comparatively natural traits of the way Nature is geared to operate in most complex systems. The idea is…
In a non-compact setting, the notion of hyperbolicity, and the associated structure of stable and unstable manifolds (for unbounded orbits), is highly dependent on the choice of metric used to define it. We consider the simplest version of…
In this paper, we deal with the notions of naturality from category theory and definablity from model theory and their interactions. In this regard, we present three results. First, we show, under some mild conditions, that naturality…
Algebraic hyperstructures represent a natural extension of classical algebraic structures. In a classical algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two…
We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…
The hyperplane and proper time formalisms are discussed mainly for the spin-half particles in the quantum case. A connection between these covariant Hamiltonian formalisms is established. It is showed that choosing the space-like…