3,379 research outputs found
Machine-interpretable dataset and service descriptions for heterogeneous data access and retrieval
Sets Represented as the Length-n Factors of a Word
In this paper we consider the following problems: how many different subsets
of Sigma^n can occur as set of all length-n factors of a finite word? If a
subset is representable, how long a word do we need to represent it? How many
such subsets are represented by words of length t? For the first problem, we
give upper and lower bounds of the form alpha^(2^n) in the binary case. For the
second problem, we give a weak upper bound and some experimental data. For the
third problem, we give a closed-form formula in the case where n <= t < 2n.
Algorithmic variants of these problems have previously been studied under the
name "shortest common superstring"
Quantum dynamics in high codimension tilings: from quasiperiodicity to disorder
We analyze the spreading of wavepackets in two-dimensional quasiperiodic and
random tilings as a function of their codimension, i.e. of their topological
complexity. In the quasiperiodic case, we show that the diffusion exponent that
characterizes the propagation decreases when the codimension increases and goes
to 1/2 in the high codimension limit. By constrast, the exponent for the random
tilings is independent of their codimension and also equals 1/2. This shows
that, in high codimension, the quasiperiodicity is irrelevant and that the
topological disorder leads in every case, to a diffusive regime, at least in
the time scale investigated here.Comment: 4 pages, 5 EPS figure
Rigidity percolation on aperiodic lattices
We studied the rigidity percolation (RP) model for aperiodic (quasi-crystal)
lattices. The RP thresholds (for bond dilution) were obtained for several
aperiodic lattices via computer simulation using the "pebble game" algorithm.
It was found that the (two rhombi) Penrose lattice is always floppy in view of
the RP model. The same was found for the Ammann's octagonal tiling and the
Socolar's dodecagonal tiling. In order to impose the percolation transition we
used so c. "ferro" modification of these aperiodic tilings. We studied as well
the "pinwheel" tiling which has "infinitely-fold" orientational symmetry. The
obtained estimates for the modified Penrose, Ammann and Socolar lattices are
respectively: , , . The bond RP threshold of the pinwheel tiling was estimated to
. It was found that these results are very close to the
Maxwell (the mean-field like) approximation for them.Comment: 9 LaTeX pages, 3 PostScript figures included via epsf.st
What is a crystal?
Almost 25 years have passed since Shechtman discovered quasicrystals, and 15
years since the Commission on Aperiodic Crystals of the International Union of
Crystallography put forth a provisional definition of the term crystal to mean
``any solid having an essentially discrete diffraction diagram.'' Have we
learned enough about crystallinity in the last 25 years, or do we need more
time to explore additional physical systems? There is much confusion and
contradiction in the literature in using the term crystal. Are we ready now to
propose a permanent definition for crystal to be used by all? I argue that time
has come to put a sense of order in all the confusion.Comment: Submitted to Zeitschrift fuer Kristallographi
On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms
Uniquely closable skeletons of lambda terms are Motzkin-trees that
predetermine the unique closed lambda term that can be obtained by labeling
their leaves with de Bruijn indices. Likewise, uniquely typable skeletons of
closed lambda terms predetermine the unique simply-typed lambda term that can
be obtained by labeling their leaves with de Bruijn indices.
We derive, through a sequence of logic program transformations, efficient
code for their combinatorial generation and study their statistical properties.
As a result, we obtain context-free grammars describing closable and uniquely
closable skeletons of lambda terms, opening the door for their in-depth study
with tools from analytic combinatorics.
Our empirical study of the more difficult case of (uniquely) typable terms
reveals some interesting open problems about their density and asymptotic
behavior.
As a connection between the two classes of terms, we also show that uniquely
typable closed lambda term skeletons of size are in a bijection with
binary trees of size .Comment: Pre-proceedings paper presented at the 27th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur,
Belgium, 10-12 October 2017 (arXiv:1708.07854
Analytical probabilistic approach to the ground state of lattice quantum systems: exact results in terms of a cumulant expansion
We present a large deviation analysis of a recently proposed probabilistic
approach to the study of the ground-state properties of lattice quantum
systems. The ground-state energy, as well as the correlation functions in the
ground state, are exactly determined as a series expansion in the cumulants of
the multiplicities of the potential and hopping energies assumed by the system
during its long-time evolution. Once these cumulants are known, even at a
finite order, our approach provides the ground state analytically as a function
of the Hamiltonian parameters. A scenario of possible applications of this
analyticity property is discussed.Comment: 26 pages, 5 figure
Semi-autonomous competency assessment of powered mobility device users
This paper describes a stand-alone sensor package and algorithms for aiding the assessment by an occupational therapist whether a person has the capacity to safely and effectively operate a powered mobility device such as a walking aid or a wheelchair. The sensor package employed consists of a laser range finder, an RGB camera and an inertial measurement unit that can be attached to any mobility device with minimal modifications. Algorithms for capturing the data received by the sensor package and for generating the map of the environment as well as the trajectory of the mobility device have been developed. Such information presents occupational therapists with the capability to provide a quantitative assessment of whether patients are ready to be safely deployed with mobile aids for their daily activities. Preliminary evaluation of the sensor package and associated algorithms based on experiments, conducted at the premises of the Prince of Wales Hospital in Sydney, are presented. © 2011 IEEE
- …