Finite Boolean Algebras for Solid Geometry using Julia's Sparse Arrays

The goal of this paper is to introduce a new method in computer-aided geometry of solid modeling. We put forth a novel algebraic technique to evaluate any variadic expression between polyhedral d-solids (d = 2, 3) with regularized operators of union, intersection, and difference, i.e., any CSG tree. The result is obtained in three steps: first, by computing an independent set of generators for the d-space partition induced by the input; then, by reducing the solid expression to an equivalent logical formula between Boolean terms made by zeros and ones; and, finally, by evaluating this expression using bitwise operators. This method is implemented in Julia using sparse arrays. The computational evaluation of every possible solid expression, usually denoted as CSG (Constructive Solid Geometry), is reduced to an equivalent logical expression of a finite set algebra over the cells of a space partition, and solved by native bitwise operators.Comment: revised version submitted to Computer-Aided Geometric Desig

Topological modular forms and conformal nets

We describe the role conformal nets, a mathematical model for conformal field theory, could play in a geometric definition of the generalized cohomology theory TMF of topological modular forms. Inspired by work of Segal and Stolz-Teichner, we speculate that bundles of boundary conditions for the net of free fermions will be the basic underlying objects representing TMF-cohomology classes. String structures, which are the fundamental orientations for TMF-cohomology, can be encoded by defects between free fermions, and we construct the bundle of fermionic boundary conditions for the TMF-Euler class of a string vector bundle. We conjecture that the free fermion net exhibits an algebraic periodicity corresponding to the 576-fold cohomological periodicity of TMF; using a homotopy-theoretic invariant of invertible conformal nets, we establish a lower bound of 24 on this periodicity of the free fermions

Twenty-five years of two-dimensional rational conformal field theory

In this article we try to give a condensed panoramic view of the development of two-dimensional rational conformal field theory in the last twenty-five years.Comment: A review for the 50th anniversary of the Journal of Mathematical Physics. Some references added, typos correcte

Microscopic description of 2d topological phases, duality and 3d state sums

Doubled topological phases introduced by Kitaev, Levin and Wen supported on two dimensional lattices are Hamiltonian versions of three dimensional topological quantum field theories described by the Turaev-Viro state sum models. We introduce the latter with an emphasis on obtaining them from theories in the continuum. Equivalence of the previous models in the ground state are shown in case of the honeycomb lattice and the gauge group being a finite group by means of the well-known duality transformation between the group algebra and the spin network basis of lattice gauge theory. An analysis of the ribbon operators describing excitations in both types of models and the three dimensional geometrical interpretation are given.Comment: 19 pages, typos corrected, style improved, a final paragraph adde