Related papers: On higher-dimensional symmetric designs

We devise a method for designing materials that will have some desired structural characteristics. We apply it to multiblock copolymers that have two different types of monomers, A and B. We show how to determine what sequence of A's and…

We introduce and discuss (local) symmetries of geometric structures. These symmetries generalize the classical (locally) symmetric spaces to various other geometries. Our main tools are homogeneous Cartan geometries and their explicit…

We use category-theoretic techniques to provide two proofs showing that for a higher-rank graph $\Lambda$, its cubical (co-)homology and categorical (co-)homology groups are isomorphic in all degrees, thus answering a question of Kumjian,…

One-dimensional sigma-models with N supersymmetries are considered. For conventional supersymmetries there must be N-1 complex structures satisfying a Clifford algebra and the constraints on the target space geometry can be formulated in…

We consider reduced group $C^{\ast}$-algebras of finitely generated discrete groups metrized by seminorms obtained from word length functions. We study the metric dimensions of such $C^{\ast}$-algebras as defined by David Kerr. We also…

We initiate the study of analogues of symmetric spaces for the family of finite dihedral groups. In particular, we investigate the structure of the automorphism group, characterize the involutions of the automorphism group, and determine…

Reynolds' theory of relational parametricity formalizes parametric polymorphism for System F, thus capturing the idea that polymorphically typed System F programs always map related inputs to related results. This paper shows that Reynolds'…

Let $d, n \in \mathbb{Z}^+$ such that $1\leq d \leq n$. A $d$-code $\mathcal{C} \subset \mathbb{F}_q^{n \times n}$ is a subset of order $n$ square matrices with the property that for all pairs of distinct elements in $\mathcal{C}$, the rank…

We construct a unilateral lattice tiling of $\mathbb{R}^n$ into hypercubes of two differnet side lengths $p$ or $q$. This generalizes the Pythagorean tiling in $\mathbb{R}^2$. We also show that this tiling is unique up to symmetries, which…

We show that the variety of symmetric implication algebras is generated from cubic implication algebras and Boolean algebras. We do this by developing the notion of a locally symmetric implication algebra that has properties similar to…

First we introduce a generalization of symmetric spaces to parabolic geometries. We provide construction of such parabolic geometries starting with classical symmetric spaces and we show that all regular parabolic geometries with smooth…

We consider semidefinite programming (SDP) for the binary stochastic block model with equal-sized communities. Prior work of Hajek, Wu, and Xu proposed an SDP (sym-SDP) for the symmetric case where the intra-community edge probabilities are…

Let $k$ be an algebraically closed field of positive characteristic $p>0$ and $C \to {\mathbb P}^1_k$ a $p$-cyclic cover of the projective line ramified in exactly one point. We are interested in the $p$-part of the full automorphism group…

We introduce and analyze a model for self-reconfigurable robots made up of unit-cube modules. Compared to past models, our model aims to newly capture two important practical aspects of real-world robots. First, modules often do not occupy…

Roughly speaking, let us say that a map between metric spaces is large scale conformal if it maps packings by large balls to large quasi-balls with limited overlaps. This quasi-isometry invariant notion makes sense for finitely generated…

The symmetry SU(2) and its geometric Bloch Sphere rendering are familiar for a qubit (spin-1/2) but extension of symmetries and geometries have been investigated far less for multiple qubits, even just a pair of them, that are central to…

We classify the pairwise transitive 2-designs, that is, 2-designs such that a group of automorphisms is transitive on the following five sets of ordered pairs: point-pairs, incident point-block pairs, non-incident point-block pairs,…

We study a recursively defined two-parameter family of graphs which generalize Fibonacci cubes and Pell graphs and determine their basic structural and enumerative properties. In particular, we show that all of them are induced subgraphs of…

We consider some simple examples of supersymmetric quantum mechanical systems and explore their possible geometric interpretation with the help of geometric aspects of real Clifford algebras. This leads to natural extensions of the…

It is known that the canonical double cover of any connected nonbipartite graph have an automorphism group of the form $H \rtimes \mathbb{Z}_2$, where $H$ is the set of automorphism which preserve bipartite parts. We construct connected…