7,188 research outputs found
Crystalline Order on a Sphere and the Generalized Thomson Problem
We attack generalized Thomson problems with a continuum formalism which
exploits a universal long range interaction between defects depending on the
Young modulus of the underlying lattice. Our predictions for the ground state
energy agree with simulations of long range power law interactions of the form
1/r^{gamma} (0 < gamma < 2) to four significant digits. The regime of grain
boundaries is studied in the context of tilted crystalline order and the
generality of our approach is illustrated with new results for square tilings
on the sphere.Comment: 4 pages, 5 eps figures Fig. 2 revised, improved Fig. 3, reference
typo fixe
Determining All Universal Tilers
A universal tiler is a convex polyhedron whose every cross-section tiles the
plane. In this paper, we introduce a certain slight-rotating operation for
cross-sections of pentahedra. Based on a selected initial cross-section and by
applying the slight-rotating operation suitably, we prove that a convex
polyhedron is a universal tiler if and only if it is a tetrahedron or a
triangular prism.Comment: 18 pages, 12 figure
Intrinsically Universal Cellular Automata
This talk advocates intrinsic universality as a notion to identify simple
cellular automata with complex computational behavior. After an historical
introduction and proper definitions of intrinsic universality, which is
discussed with respect to Turing and circuit universality, we discuss
construction methods for small intrinsically universal cellular automata before
discussing techniques for proving non universality
A Universal Semi-totalistic Cellular Automaton on Kite and Dart Penrose Tilings
In this paper we investigate certain properties of semi-totalistic cellular
automata (CA) on the well known quasi-periodic kite and dart two dimensional
tiling of the plane presented by Roger Penrose. We show that, despite the
irregularity of the underlying grid, it is possible to devise a semi-totalistic
CA capable of simulating any boolean circuit on this aperiodic tiling.Comment: In Proceedings AUTOMATA&JAC 2012, arXiv:1208.249
A counterexample to Thiagarajan's conjecture on regular event structures
We provide a counterexample to a conjecture by Thiagarajan (1996 and 2002)
that regular event structures correspond exactly to event structures obtained
as unfoldings of finite 1-safe Petri nets. The same counterexample is used to
disprove a closely related conjecture by Badouel, Darondeau, and Raoult (1999)
that domains of regular event structures with bounded -cliques are
recognizable by finite trace automata. Event structures, trace automata, and
Petri nets are fundamental models in concurrency theory. There exist nice
interpretations of these structures as combinatorial and geometric objects.
Namely, from a graph theoretical point of view, the domains of prime event
structures correspond exactly to median graphs; from a geometric point of view,
these domains are in bijection with CAT(0) cube complexes.
A necessary condition for both conjectures to be true is that domains of
regular event structures (with bounded -cliques) admit a regular nice
labeling. To disprove these conjectures, we describe a regular event domain
(with bounded -cliques) that does not admit a regular nice labeling.
Our counterexample is derived from an example by Wise (1996 and 2007) of a
nonpositively curved square complex whose universal cover is a CAT(0) square
complex containing a particular plane with an aperiodic tiling. We prove that
other counterexamples to Thiagarajan's conjecture arise from aperiodic 4-way
deterministic tile sets of Kari and Papasoglu (1999) and Lukkarila (2009).
On the positive side, using breakthrough results by Agol (2013) and Haglund
and Wise (2008, 2012) from geometric group theory, we prove that Thiagarajan's
conjecture is true for regular event structures whose domains occur as
principal filters of hyperbolic CAT(0) cube complexes which are universal
covers of finite nonpositively curved cube complexes
- …