Reed-Muller Canonical Forms in Multivalued Logic

Canonical forms for m-valued functions referred to as m-Reed-Muller canonical (m-RMC) forms that are a generalization of RMC forms of two-valued functions are proposed. m-RMC forms are based on the operations ?m (addition mod m) and .m (multiplication mod m) and do not, as in the cases of the generalizations proposed in the literature, require an m-valued function for m not a power of a prime, to be expressed by a canonical form for M-valued functions, where M > m is a power of a prime. Methods of obtaining the m-RMC forms from the truth vector or the sum of products representation of an m-valued function are discussed. Using a generalization of the Boolean difference to m-valued logic, series expansions for m-valued functions are derived.

A Note on Minimal Reed-Muller Canonical Forms of Switching Functions

A nonexhaustive procedure for obtaining minimal Reed-Muller canonical (RMC) forms of switching functions is presented. This procedure is a modification of a procedure presented earlier in the literature and enables derivation of an upper bound on the number of RMC forms to be derived to choose a minimal one. It is shown that the task of obtaining minimal RMC forms is simplified in the case of symmetric functions and self-dual functions.

On Generalized Reed-Muller Expansions

The generalized Reed-Muller expansions of a switching function are generated using a single Boolean matrix and step-by-step shifting of the principal column.

The Treewidth of MDS and Reed-Muller Codes

The constraint complexity of a graphical realization of a linear code is the maximum dimension of the local constraint codes in the realization. The treewidth of a linear code is the least constraint complexity of any of its cycle-free graphical realizations. This notion provides a useful parameterization of the maximum-likelihood decoding complexity for linear codes. In this paper, we show the surprising fact that for maximum distance separable codes and Reed-Muller codes, treewidth equals trelliswidth, which, for a code, is defined to be the least constraint complexity (or branch complexity) of any of its trellis realizations. From this, we obtain exact expressions for the treewidth of these codes, which constitute the only known explicit expressions for the treewidth of algebraic codes.

On the treewidth of MDS and Reed-Muller codes

The treewidth of a linear code is the least constraint complexity of any of its cycle-free graphical realizations. This notion provides a useful parametrization of the maximum-likelihood decoding complexity for linear codes. In this paper, we compute exact expressions for the treewidth of maximum distance separable codes, and first- and second-order Reed-Muller codes. These results constitute the only known explicit expressions for the treewidth of algebraic codes.

LISA as a dark energy probe

Recently, it has been shown that the inclusion of higher signal harmonics in the inspiral signals of binary supermassive black holes (SMBH) leads to dramatic improvements in the parameter estimation with Laser Interferometer Space Antenna (LISA). In particular, the angular resolution becomes good enough to identify the host galaxy or galaxy cluster, in which case the redshift can be determined by electromagnetic means. The gravitational wave signal also provides the luminosity distance with high accuracy, and the relationship between this and the redshift depends sensitively on the cosmological parameters, such as the equation-of-state parameter w = p(DE)/rho(DE) of dark energy. Using binary SMBH events at z < 1 with appropriate masses and orientations, one would be able to constrain w to within a few per cent. We show that, if the measured sky location is folded into the error analysis, the uncertainty on w goes down by an additional factor of 2-3, leaving weak lensing as the only limiting factor in using LISA as a dark energy probe.

Massive black-hole binary inspirals: results from the LISA parameter estimation taskforce

The LISA Parameter Estimation Taskforce was formed in September 2007 to provide the LISA Project with vetted codes, source distribution models and results related to parameter estimation. The Taskforce's goal is to be able to quickly calculate the impact of any mission design changes on LISA's science capabilities, based on reasonable estimates of the distribution of astrophysical sources in the universe. This paper describes our Taskforce's work on massive black-hole binaries (MBHBs). Given present uncertainties in the formation history of MBHBs, we adopt four different population models, based on (i) whether the initial black-hole seeds are small or large and (ii) whether accretion is efficient or inefficient at spinning up the holes. We compare four largely independent codes for calculating LISA's parameter-estimation capabilities. All codes are based on the Fisher-matrix approximation, but in the past they used somewhat different signal models, source parametrizations and noise curves. We show that once these differences are removed, the four codes give results in extremely close agreement with each other. Using a code that includes both spin precession and higher harmonics in the gravitational-wave signal, we carry out Monte Carlo simulations and determine the number of events that can be detected and accurately localized in our four population models.

Rectangular universal cellular array

A rectangular universal cellular array consisting of cells having three inputs and one output is described. This array is based on the Reed-Muller canonical expansion of a switching function. Although the total number of external input pins required in this array is the same as that of a rectangular array proposed in the literature, the number of cells is very much less.

A Note on Easily Testable Realizations for Logic Functions

It is shown that at most, n + 3 tests are required to detect any single stuck-at fault in an AND gate or a single faulty EXCLUSIVE OR (EOR) gate in a Reed-Muller canonical form realization of a switching function.

On the PAPR of cosets of linear codes

Employing an error control code is one of the techniques to reduce the Peak-to-Average Power Ratio (PAPR) in a Orthogonal Frequency Division Multiplexing system, a well known class of such codes being the cosets of Reed-Muller codes. In this paper, we consider the class of such coset-codes of arbitrary linear codes and present a method of doubling the size of such a code without increasing the PAPR, by combining two such binary coset-codes. We identify the conditions under which we can employ this doubling more than once with no marginal increase in the PAPR value. Given a PAPR and length, our method has enabled to get the best coset-code (in terms of the size). Also, we show that the PAPR information of the coset-codes of the extended codes is obtainable from the PAPR of the corresponding coset-codes of the parent code. We have also shown a special type of lengthening is useful in PAPR studies.

Phylogenetics and biogeography of a spectacular Old World radiation of butterflies: the subtribe Mycalesina (Lepidoptera: Nymphalidae: Satyrini)

Background: Butterflies of the subtribe Mycalesina (Nymphalidae: Satyrinae) are important model organisms in ecology and evolution. This group has radiated spectacularly in the Old World tropics and presents an exciting opportunity to better understand processes of invertebrate rapid radiations. However, the generic-level taxonomy of the subtribe has been in a constant state of flux, and relationships among genera are unknown. There are six currently recognized genera in the group. Mycalesis, Lohora and Nirvanopsis are found in the Oriental region, the first of which is the most speciose genus among mycalesines, and extends into the Australasian region. Hallelesis and Bicyclus are found in mainland Africa, while Heteropsis is primarily Madagascan, with a few species in Africa. We infer the phylogeny of the group with data from three genes (total of 3139 bp) and use these data to reconstruct events in the biogeographic history of the group.,Results: The results indicate that the group Mycalesina radiated rapidly around the Oligocene-Miocene boundary. Basal relationships are unresolved, but we recover six well-supported clades. Some species of Mycalesis are nested within a primarily Madagascan clade of Heteropsis,while Nirvanopsis is nested within Lohora. The phylogeny suggests that the group had its origin either in Asia or Africa, and diversified through dispersals between the two regions, during the late Oligocene and early Miocene. The current dataset tentatively suggests that the Madagascan fauna comprises two independent radiations. The Australasian radiation shares a common ancestor derived from Asia. We discuss factors that are likely to have played a key role in the diversification of the group. Conclusions: We propose a significantly revised classification scheme for Mycalesina. We conclude that the group originated and radiated from an ancestor that was found either in Asia or Africa, with dispersals between the two regions and to Australasia. Our phylogeny paves the way for further comparative studies on this group that will help us understand the processes underlying diversification in rapid radiations of invertebrates.

Evidence of ferromagnetic domains in the La0.67Ca0.33Mn0.9Fe0.1O3 perovskite

The nature of the low-temperature magnetic state of polycrystalline La0.67Ca0.33Mn0.9Fe0.1O3 has been studied by magnetization, neutron diffraction, and neutron depolarization measurements. Neutron depolarization measurements indicate the existence of ferromagnetic domains with low net magnetic moments below 108 K. The substitution of Mn3+ by Fe3+ reduces the number of available hopping sites for the Mn e(g) (up) electron and suppresses the double exchange, resulting in the reduction of ferromagnetic exchange. The competition between the ferromagnetic double-exchange interactions and the coexisting antiferromagnetic superexchange interactions and its randomness due to random substitutions of Mn3+ with Fe3+ drive the system into a randomly canted ferromagnetic state at low temperatures.

Magnetism of Ti4+ diluted manganites La1-xPbxMn1-yTiyO3 (y <= x)

The effect of nonmagnetic Ti4+ substitution for Mn4+ on magnetic ordering of La1-xPbxMn1-yTiyO3 (x = 0.15,0.26, and 0.4; 0 less than or equal to y less than or equal to x )has been studied. The ferromagnetic transition temperature and the magnetization decrease with increasing amount of titanium. Complete substitution of Mn4+ by Ti4+, for x = y, excludes the Mn3+-O-Mn4+ double exchange. However, these compounds still show ferromagnetism if the dilution of the Mn sublattice by Ti is small enough (y less than or equal to 0.2). This ferromagnetism probably originates from a ferromagnetic Mn3+-O-Mn3+ superexchange. A thorough study of magnetic properties including AC magnetic susceptibility, magnetization, temperature dependence of coercivity and relaxation of remanent magnetization has been carried out and gives evidence of cluster spin glass behaviour for La0.6Pb0.4Mn0.6Ti0.4O3. (C) 2000 Elsevier Science B.V. All rights reserved.

Heisenberg-like critical properties in ferromagnetic Nd1-xPbxMnO3 single crystals

Static magnetization for single crystals of insulating Nd0.85Pb0.15MnO3 and marginally conducting Nd0.70Pb0.30MnO3 has been studied around the ferromagnetic to paramagnetic transition temperature T-C. Results of measurements carried out in the critical range vertical bar(T - T-C)/T-C vertical bar <= 0.1 are reported. Critical exponents beta and gamma for the thermal behaviour of magnetization and susceptibility have been obtained both by modified Arrott plots and the Kouvel-Fisher method. The exponent delta independently obtained from the critical isotherm was found to satisfy the Widom scaling relation delta = gamma/beta + 1. For both compositions the values of exponents are consistent with those expected for isotropic magnets belonging to the Heisenberg universality class with short-range exchange in three dimensions. Correspondingly, the specific heat displays only a cusp-like anomaly at the critical temperature of these crystals which is consistent with an exponent alpha < 0. The results show that the ferromagnetic ordering transition in Nd1-xPbxMnO3 in the composition range 0.15 <= x <= 0.40 is continuous. This mixed-valent manganite displays the conventional properties of a Heisenberg-like ferromagnet, irrespective of the differing transport properties and in spite of low ordering temperatures T-C = 109 and 147.2 K for x = 0.15 and 0.30, respectively.