158,193 research outputs found
Simple algebraic data types for C
ADT is a simple tool in the spirit of Lex and Yacc that makes algebraic data types and a restricted form of pattern matching on those data types as found in SML available in C programs. ADT adds runtime checks, which make C programs written with the aid of ADT less likely to dereference a NULL pointer. The runtime tests may consume a significant amount of CPU time; hence they can be switched off once the program is suitably debugged
Algebraic higher symmetry and categorical symmetry -- a holographic and entanglement view of symmetry
We introduce the notion of algebraic higher symmetry, which generalizes
higher symmetry and is beyond higher group. We show that an algebraic higher
symmetry in a bosonic system in -dimensional space is characterized and
classified by a local fusion -category. We find another way to describe
algebraic higher symmetry by restricting to symmetric sub Hilbert space where
symmetry transformations all become trivial. In this case, algebraic higher
symmetry can be fully characterized by a non-invertible gravitational anomaly
(i.e. an topological order in one higher dimension). Thus we also refer to
non-invertible gravitational anomaly as categorical symmetry to stress its
connection to symmetry. This provides a holographic and entanglement view of
symmetries. For a system with a categorical symmetry, its gapped state must
spontaneously break part (not all) of the symmetry, and the state with the full
symmetry must be gapless. Using such a holographic point of view, we obtain (1)
the gauging of the algebraic higher symmetry; (2) the classification of
anomalies for an algebraic higher symmetry; (3) the equivalence between classes
of systems, with different (potentially anomalous) algebraic higher symmetries
or different sets of low energy excitations, as long as they have the same
categorical symmetry; (4) the classification of gapped liquid phases for
bosonic/fermionic systems with a categorical symmetry, as gapped boundaries of
a topological order in one higher dimension (that corresponds to the
categorical symmetry). This classification includes symmetry protected trivial
(SPT) orders and symmetry enriched topological (SET) orders with an algebraic
higher symmetry.Comment: 61 pages, 31 figure
Mathematical Models of Abstract Systems: Knowing abstract geometric forms
Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, namely homotopy theory. I argue that mathematicians introduce genuine models and I offer a rough classification of these models
Canonical Abstract Syntax Trees
This paper presents Gom, a language for describing abstract syntax trees and
generating a Java implementation for those trees. Gom includes features
allowing the user to specify and modify the interface of the data structure.
These features provide in particular the capability to maintain the internal
representation of data in canonical form with respect to a rewrite system. This
explicitly guarantees that the client program only manipulates normal forms for
this rewrite system, a feature which is only implicitly used in many
implementations
On defining characteristic representations of finite reductive groups
We give parameterizations of the irreducible representations of finite groups
of Lie type in their defining characteristic
Branching Data for Algebraic Functions and Representability by Radicals
The branching data of an algebraic function is a list of orders of local
monodromies around branching points. We present branching data that ensure that
the algebraic functions having them are representable by radicals. This paper
is a review of recent work by the authors and of closely related classical work
by Ritt.Comment: Submitted for publication to Banach Center Publications on April 1st,
201
- …