371 research outputs found
Sixteen space-filling curves and traversals for d-dimensional cubes and simplices
This article describes sixteen different ways to traverse d-dimensional space
recursively in a way that is well-defined for any number of dimensions. Each of
these traversals has distinct properties that may be beneficial for certain
applications. Some of the traversals are novel, some have been known in
principle but had not been described adequately for any number of dimensions,
some of the traversals have been known. This article is the first to present
them all in a consistent notation system. Furthermore, with this article, tools
are provided to enumerate points in a regular grid in the order in which they
are visited by each traversal. In particular, we cover: five discontinuous
traversals based on subdividing cubes into 2^d subcubes: Z-traversal (Morton
indexing), U-traversal, Gray-code traversal, Double-Gray-code traversal, and
Inside-out traversal; two discontinuous traversals based on subdividing
simplices into 2^d subsimplices: the Hill-Z traversal and the Maehara-reflected
traversal; five continuous traversals based on subdividing cubes into 2^d
subcubes: the Base-camp Hilbert curve, the Harmonious Hilbert curve, the Alfa
Hilbert curve, the Beta Hilbert curve, and the Butz-Hilbert curve; four
continuous traversals based on subdividing cubes into 3^d subcubes: the Peano
curve, the Coil curve, the Half-coil curve, and the Meurthe curve. All of these
traversals are self-similar in the sense that the traversal in each of the
subcubes or subsimplices of a cube or simplex, on any level of recursive
subdivision, can be obtained by scaling, translating, rotating, reflecting
and/or reversing the traversal of the complete unit cube or simplex.Comment: 28 pages, 12 figures. v2: fixed a confusing typo on page 12, line
Decoding distance-preserving permutation codes for power-line communications
Abstract: A new decoding method is presented for permutation codes obtained from distance-preserving mapping algorithms, used in conjunction with M-ary FSK for use on powerline channels. The new approach makes it possible for the permutation code to be used as an inner code with any other error correction code used as an outer code. The memory and number of computations necessary for this method is lower than when using a minimum distance decoding method
Estimates on the Size of Symbol Weight Codes
The study of codes for powerlines communication has garnered much interest
over the past decade. Various types of codes such as permutation codes,
frequency permutation arrays, and constant composition codes have been proposed
over the years. In this work we study a type of code called the bounded symbol
weight codes which was first introduced by Versfeld et al. in 2005, and a
related family of codes that we term constant symbol weight codes. We provide
new upper and lower bounds on the size of bounded symbol weight and constant
symbol weight codes. We also give direct and recursive constructions of codes
for certain parameters.Comment: 14 pages, 4 figure
Harmonious Hilbert curves and other extradimensional space-filling curves
This paper introduces a new way of generalizing Hilbert's two-dimensional
space-filling curve to arbitrary dimensions. The new curves, called harmonious
Hilbert curves, have the unique property that for any d' < d, the d-dimensional
curve is compatible with the d'-dimensional curve with respect to the order in
which the curves visit the points of any d'-dimensional axis-parallel space
that contains the origin. Similar generalizations to arbitrary dimensions are
described for several variants of Peano's curve (the original Peano curve, the
coil curve, the half-coil curve, and the Meurthe curve). The d-dimensional
harmonious Hilbert curves and the Meurthe curves have neutral orientation: as
compared to the curve as a whole, arbitrary pieces of the curve have each of d!
possible rotations with equal probability. Thus one could say these curves are
`statistically invariant' under rotation---unlike the Peano curves, the coil
curves, the half-coil curves, and the familiar generalization of Hilbert curves
by Butz and Moore.
In addition, prompted by an application in the construction of R-trees, this
paper shows how to construct a 2d-dimensional generalized Hilbert or Peano
curve that traverses the points of a certain d-dimensional diagonally placed
subspace in the order of a given d-dimensional generalized Hilbert or Peano
curve.
Pseudocode is provided for comparison operators based on the curves presented
in this paper.Comment: 40 pages, 10 figures, pseudocode include
Belief merging within fragments of propositional logic
Recently, belief change within the framework of fragments of propositional
logic has gained increasing attention. Previous works focused on belief
contraction and belief revision on the Horn fragment. However, the problem of
belief merging within fragments of propositional logic has been neglected so
far. This paper presents a general approach to define new merging operators
derived from existing ones such that the result of merging remains in the
fragment under consideration. Our approach is not limited to the case of Horn
fragment but applicable to any fragment of propositional logic characterized by
a closure property on the sets of models of its formulae. We study the logical
properties of the proposed operators in terms of satisfaction of merging
postulates, considering in particular distance-based merging operators for Horn
and Krom fragments.Comment: To appear in the Proceedings of the 15th International Workshop on
Non-Monotonic Reasoning (NMR 2014
Multicoloured Random Graphs: Constructions and Symmetry
This is a research monograph on constructions of and group actions on
countable homogeneous graphs, concentrating particularly on the simple random
graph and its edge-coloured variants. We study various aspects of the graphs,
but the emphasis is on understanding those groups that are supported by these
graphs together with links with other structures such as lattices, topologies
and filters, rings and algebras, metric spaces, sets and models, Moufang loops
and monoids. The large amount of background material included serves as an
introduction to the theories that are used to produce the new results. The
large number of references should help in making this a resource for anyone
interested in beginning research in this or allied fields.Comment: Index added in v2. This is the first of 3 documents; the other 2 will
appear in physic
Minimal -ary codes from non-covering permutations
In this article, we propose several generic methods for constructing minimal linear codes over the field . The first construction uses the method of direct sum of an arbitrary function and a bent function to induce minimal codes with parameters and minimum distance larger than . For the first time, we provide a general construction of linear codes from a subclass of non-weakly regular plateaued functions, which partially answers an open problem posed in [22]. The second construction deals with a bent function and a subspace of suitable derivatives of , i.e., functions of the form for some . We also provide a sound generalization of the recently introduced concept of non-covering permutations [45]. Some important structural properties of this class of permutations are derived in this context. The most remarkable observation is that the class of non-covering permutations contains the class of APN power permutations (characterized by having two-to-one derivatives). Finally, the last general construction combines the previous two methods (direct sum, non-covering permutations and subspaces of derivatives) together with a bent function in the Maiorana-McFarland class to construct minimal codes (even those violating the Ashikhmin-Barg bound) with a larger dimension. This last method proves to be quite flexible since it can lead to several non-equivalent codes, depending to a great extent on the choice of the underlying non-covering permutation
aflow++: a C++ framework for autonomous materials design
The realization of novel technological opportunities given by computational
and autonomous materials design requires efficient and effective frameworks.
For more than two decades, aflow++ (Automatic-Flow Framework for Materials
Discovery) has provided an interconnected collection of algorithms and
workflows to address this challenge. This article contains an overview of the
software and some of its most heavily-used functionalities, including
algorithmic details, standards, and examples. Key thrusts are highlighted: the
calculation of structural, electronic, thermodynamic, and thermomechanical
properties in addition to the modeling of complex materials, such as
high-entropy ceramics and bulk metallic glasses. The aflow++ software
prioritizes interoperability, minimizing the number of independent parameters
and tolerances. It ensures consistency of results across property sets -
facilitating machine learning studies. The software also features various
validation schemes, offering real-time quality assurance for data generated in
a high-throughput fashion. Altogether, these considerations contribute to the
development of large and reliable materials databases that can ultimately
deliver future materials systemsComment: 47 pages, 14 figure
- …