Related papers: Complexity bounds on supermesh construction for qu…
Maximally embedding dimension (MED) numerical semigroups are a wide and interesting family, with some remarkable algebraic and combinatorial properties. Associated to any numerical semigroup one can construct a MED closure, as it is well…
We prove that at least $\Omega(n^{0.51})$ hyperplanes are needed to slice all edges of the $n$-dimensional hypercube. We provide a couple of applications: lower bounds on the computational complexity of parity, and a lower bound on the…
This manuscript explores novel complexity results for the feasibility problem over $p$-order cones, extending the foundational work of Porkolab and Khachiyan. By leveraging the intrinsic structure of $p$-order cones, we derive refined…
Some aspects of the geometry of superembeddings and its application to supersymmetric extended objects are discussed. In particular, the embeddings of (3|16) and (6|16) dimensional superspaces into (11|32) dimensional superspace,…
We give theorems that can be used to upper bound the densities of packings of different spherical caps in the unit sphere and of translates of different convex bodies in Euclidean space. These theorems extend the linear programming bounds…
The structural characterization of high-dimensional mutually unbiased bases (MUBs) by classifying MUBs subsets remains a major open problem. The existing methods not only fail to conclude on the exact classification, but also are severely…
The N = 1 superfield formalism in four-dimensions is well formulated and understood, yet there remain unsolved problems. In this thesis, superfield actions for free massless and massive higher spin superfield theories are formulated in four…
We examine general properties of superembeddings, i.e., embeddings of supermanifolds into supermanifolds. The connection between an embedding procedure and the method of non-linearly realised supersymmetry is clarified, and we demonstrate…
For a smooth, closed $n$-manifold $M$, we define an upper semi-continuous integer-valued complexity function on $H^1(M;{\mathbb R})$ using Morse theory. This measures how far an integral class is from being a fiber of a fibration. The fact…
Our work explores fusions, the multidimensional counterparts of mean-preserving contractions and their extreme and exposed points. We reveal an elegant geometric/combinatorial structure for these objects. Of particular note is the…
We construct the N=1 supersymmetric extension of double field theory for D=10, including the coupling to an arbitrary number n of abelian vector multiplets. This theory features a local O(1,9+n) x O(1,9) tangent space symmetry under which…
Quasiminimal structures play an important role in non-elementary categoricity. In this paper we explore possibilities of constructing quasiminimal models of a given first-order theory. We present several constructions with increasing…
The Green-Schwarz action for an open superstring with additional boundary fermions, representing Chan-Paton factors, is studied at the classical level. The boundary geometry is described by a bundle, with fermionic fibres, over the super…
We study the computational complexity of one of the particular cases of the knapsack problem: the subset sum problem. For solving this problem we consider one of the basic variants of the Branch-and-Bound method in which any sub-problem is…
The notions of discrete conformality on triangle meshes have rich mathematical theories and wide applications. The related notions of discrete uniformizations on triangle meshes, suggest efficient methods for computing the uniformizations…
We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…
We introduce an algorithm that performs a one-directional mesh overset of a parallel forest of octrees with another distributed mesh of unrelated partition. The forest mesh consists of several adaptively refined octrees. Individual smooth…
Four-dimensional N = 2 superconformal quantum field theories contain a subsector carrying the structure of a chiral algebra. Using localization techniques, we show for the free hypermultiplet that this structure can be accessed directly…
The \emph{index set} of a computable structure $\mathcal{A}$ is the set of indices for computable copies of $\mathcal{A}$. We determine the complexity of the index sets of various mathematically interesting structures, including arbitrary…
We find sharp upper bounds on the order of the automorphism group of a hypersurface in complex projective space in every dimension and degree. In each case, we prove that the hypersurface realizing the upper bound is unique up to…