Processing Succinct Matrices and Vectors

We study the complexity of algorithmic problems for matrices that are represented by multi-terminal decision diagrams (MTDD). These are a variant of ordered decision diagrams, where the terminal nodes are labeled with arbitrary elements of a semiring (instead of 0 and 1). A simple example shows that the product of two MTDD-represented matrices cannot be represented by an MTDD of polynomial size. To overcome this deficiency, we extended MTDDs to MTDD_+ by allowing componentwise symbolic addition of variables (of the same dimension) in rules. It is shown that accessing an entry, equality checking, matrix multiplication, and other basic matrix operations can be solved in polynomial time for MTDD_+-represented matrices. On the other hand, testing whether the determinant of a MTDD-represented matrix vanishes PSPACE$-complete, and the same problem is NP-complete for MTDD_+-represented diagonal matrices. Computing a specific entry in a product of MTDD-represented matrices is #P-complete.Comment: An extended abstract of this paper will appear in the Proceedings of CSR 201

On the reduction of the CSP dichotomy conjecture to digraphs

It is well known that the constraint satisfaction problem over general relational structures can be reduced in polynomial time to digraphs. We present a simple variant of such a reduction and use it to show that the algebraic dichotomy conjecture is equivalent to its restriction to digraphs and that the polynomial reduction can be made in logspace. We also show that our reduction preserves the bounded width property, i.e., solvability by local consistency methods. We discuss further algorithmic properties that are preserved and related open problems.Comment: 34 pages. Article is to appear in CP2013. This version includes two appendices with proofs of claims omitted from the main articl

Atom focusing by far-detuned and resonant standing wave fields: Thin lens regime

The focusing of atoms interacting with both far-detuned and resonant standing wave fields in the thin lens regime is considered. The thin lens approximation is discussed quantitatively from a quantum perspective. Exact quantum expressions for the Fourier components of the density (that include all spherical aberration) are used to study the focusing numerically. The following lens parameters and density profiles are calculated as functions of the pulsed field area $\theta$: the position of the focal plane, peak atomic density, atomic density pattern at the focus, focal spot size, depth of focus, and background density. The lens parameters are compared to asymptotic, analytical results derived from a scalar diffraction theory for which spherical aberration is small but non-negligible ($\theta \gg 1$). Within the diffraction theory analytical expressions show that the focused atoms in the far detuned case have an approximately constant background density $0.5(1-0.635\theta ^{- 1/2})$ while the peak density behaves as $$, the focal distance or time as $\theta ^{-1}(1+1.27\theta ^{- 1/2})$, the focal spot size as $0.744\theta ^{-3/4}$, and the depth of focus as $1.91\theta ^{- 3/2}$. Focusing by the resonant standing wave field leads to a new effect, a Rabi- like oscillation of the atom density. For the far-detuned lens, chromatic aberration is studied with the exact Fourier results. Similarly, the degradation of the focus that results from angular divergence in beams or thermal velocity distributions in traps is studied quantitatively with the exact Fourier method and understood analytically using the asymptotic results. Overall, we show that strong thin lens focusing is possible with modest laser powers and with currently achievable atomic beam characteristics.Comment: 21 pages, 11 figure

Calculation of 1/m^3 terms in the total semileptonic width of D mesons.

We calculate the 1/$m^3_c$ corrections in the inclusive semileptonic widths of $D$ mesons. We show that these are due to the novel penguin type operators that appear at this level in the transition operator. Taking into account the nonperturbative corrections leads to the predicted value of the semileptonic width significantly lower than the experimental value. The $1/m^3_c$ worsen the situation or at the very least, within uncertainty, give small contribution. We indicate possible ways out. It seems most probable that violations of duality are noticeable in the energy range characteristic to the inclusive decays in the charm family. Theoretically these deviations are related to divergence of the high-order terms in the power expansion in the inverse heavy quark mass.Comment: Final version accepted for publication in Physical Review D (19 pages, 5 figures appended as two PS files at the end of the LATEX file

Structural neural networks subserving oculomotor function in first-episode schizophrenia

BACKGROUND: Smooth pursuit and antisaccade abnormalities are well documented in schizophrenia, but their neuropathological correlates remain unclear. METHODS: In this study, we used statistical parametric mapping to investigate the relationship between oculomotor abnormalities and brain structure in a sample of first-episode schizophrenia patients (n = 27). In addition to conventional volumetric magnetic resonance imaging, we also used magnetization transfer ratio, a technique that allows more precise tissue characterization. RESULTS: We found that smooth pursuit abnormalities were associated with reduced magnetization transfer ratio in several regions, predominantly in the right prefrontal cortex. Antisaccade errors correlated with gray matter volume in the right medial superior frontal cortex as measured by conventional magnetic resonance imaging but not with magnetization transfer ratio. CONCLUSIONS: These preliminary results demonstrate that specific structural abnormalities are associated with abnormal eye movements in schizophrenia

Primordialists and Constructionists: a typology of theories of religion

This article adopts categories from nationalism theory to classify theories of religion. Primordialist explanations are grounded in evolutionary psychology and emphasize the innate human demand for religion. Primordialists predict that religion does not decline in the modern era but will endure in perpetuity. Constructionist theories argue that religious demand is a human construct. Modernity initially energizes religion, but subsequently undermines it. Unpacking these ideal types is necessary in order to describe actual theorists of religion. Three distinctions within primordialism and constructionism are relevant. Namely those distinguishing: a) materialist from symbolist forms of constructionism; b) theories of origins from those pertaining to the reproduction of religion; and c) within reproduction, between theories of religious persistence and secularization. This typology helps to make sense of theories of religion by classifying them on the basis of their causal mechanisms, chronology and effects. In so doing, it opens up new sightlines for theory and research

Ecological Invasion, Roughened Fronts, and a Competitor's Extreme Advance: Integrating Stochastic Spatial-Growth Models

Both community ecology and conservation biology seek further understanding of factors governing the advance of an invasive species. We model biological invasion as an individual-based, stochastic process on a two-dimensional landscape. An ecologically superior invader and a resident species compete for space preemptively. Our general model includes the basic contact process and a variant of the Eden model as special cases. We employ the concept of a "roughened" front to quantify effects of discreteness and stochasticity on invasion; we emphasize the probability distribution of the front-runner's relative position. That is, we analyze the location of the most advanced invader as the extreme deviation about the front's mean position. We find that a class of models with different assumptions about neighborhood interactions exhibit universal characteristics. That is, key features of the invasion dynamics span a class of models, independently of locally detailed demographic rules. Our results integrate theories of invasive spatial growth and generate novel hypotheses linking habitat or landscape size (length of the invading front) to invasion velocity, and to the relative position of the most advanced invader.Comment: The original publication is available at www.springerlink.com/content/8528v8563r7u2742

Stability analysis and dynamics preserving nonstandard finite difference schemes for a malaria model

When both human and mosquito populations vary, forward bifurcation occurs if the basic reproduction number R0 is less than one in the absence of disease-induced death. When the disease-induced death rate is large enough R0 = 1 is a subcritical backward bifurcation point. The domain for the study of the dynamics is reduced to a compact and feasible region, where the system admits a speci c algebraic decomposition into infective and non-infected humans and mosquitoes. Stability results are extended and the possibility of backward bifurcation is clari ed. A dynamically consistent nonstandard nite di erence scheme is designed.Yves Dumont was supported jointly by the French Ministry of Health and the 2007–2013 Convergence program of the European Regional Development Fund (ERDF). Roumen Anguelov, Jean Lubuma, and Eunice Mureithi thank the South African National Research Foundation for its support.http://www.tandfonline.com/loi/gmps20hb201

The π0→e+e−\pi^0\to e^+e^- and η→μ+μ−\eta\to \mu^+ \mu^- Decays Revisited

The rare $\pi^0 \to e^+e^-$ and $\eta \to \mu^+\mu^-$ decays are calculated in different schemes, which are seen to be essentially equivalent to and produce the same results as conventional Vector-Meson Dominance. We obtain the theoretical predictions $B(\pi^0 \to e^+e^-) = (6.41 \pm 0.19)\times 10^{-8}$ and $B(\eta \to \mu^+\mu^-) = (1.14 +0.06 -0.03) \times 10^{-5}$ in agreement with recent experimental data.Comment: 10 pages, LATEX (revised version for recent experimental data