Altered expression of glutamate signaling, growth factor, and glia genes in the locus coeruleus of patients with major depression.

Several studies have proposed that brain glutamate signaling abnormalities and glial pathology have a role in the etiology of major depressive disorder (MDD). These conclusions were primarily drawn from post-mortem studies in which forebrain brain regions were examined. The locus coeruleus (LC) is the primary source of extensive noradrenergic innervation of the forebrain and as such exerts a powerful regulatory role over cognitive and affective functions, which are dysregulated in MDD. Furthermore, altered noradrenergic neurotransmission is associated with depressive symptoms and is thought to have a role in the pathophysiology of MDD. In the present study we used laser-capture microdissection (LCM) to selectively harvest LC tissue from post-mortem brains of MDD patients, patients with bipolar disorder (BPD) and from psychiatrically normal subjects. Using microarray technology we examined global patterns of gene expression. Differential mRNA expression of select candidate genes was then interrogated using quantitative real-time PCR (qPCR) and in situ hybridization (ISH). Our findings reveal multiple signaling pathway alterations in the LC of MDD but not BPD subjects. These include glutamate signaling genes, SLC1A2, SLC1A3 and GLUL, growth factor genes FGFR3 and TrkB, and several genes exclusively expressed in astroglia. Our data extend previous findings of altered glutamate, astroglial and growth factor functions in MDD for the first time to the brainstem. These findings indicate that such alterations: (1) are unique to MDD and distinguishable from BPD, and (2) affect multiple brain regions, suggesting a whole-brain dysregulation of such functions

Longest Common Extensions in Sublinear Space

The longest common extension problem (LCE problem) is to construct a data structure for an input string $T$ of length $n$ that supports LCE$(i,j)$ queries. Such a query returns the length of the longest common prefix of the suffixes starting at positions $i$ and $j$ in $T$. This classic problem has a well-known solution that uses $O(n)$ space and $O(1)$ query time. In this paper we show that for any trade-off parameter $1 \leq \tau \leq n$, the problem can be solved in $O(\frac{n}{\tau})$ space and $O(\tau)$ query time. This significantly improves the previously best known time-space trade-offs, and almost matches the best known time-space product lower bound.Comment: An extended abstract of this paper has been accepted to CPM 201

Quasiperiodicity and non-computability in tilings

We study tilings of the plane that combine strong properties of different nature: combinatorial and algorithmic. We prove existence of a tile set that accepts only quasiperiodic and non-recursive tilings. Our construction is based on the fixed point construction; we improve this general technique and make it enforce the property of local regularity of tilings needed for quasiperiodicity. We prove also a stronger result: any effectively closed set can be recursively transformed into a tile set so that the Turing degrees of the resulted tilings consists exactly of the upper cone based on the Turing degrees of the later.Comment: v3: the version accepted to MFCS 201

The Weak Gravity Conjecture and the Viscosity Bound with Six-Derivative Corrections

The weak gravity conjecture and the shear viscosity to entropy density bound place constraints on low energy effective field theories that may help to distinguish which theories can be UV completed. Recently, there have been suggestions of a possible correlation between the two constraints. In some interesting cases, the behavior was precisely such that the conjectures were mutually exclusive. Motivated by these works, we study the mass to charge and shear viscosity to entropy density ratios for charged AdS5 black branes, which are holographically dual to four-dimensional CFTs at finite temperature. We study a family of four-derivative and six-derivative perturbative corrections to these backgrounds. We identify the region in parameter space where the two constraints are satisfied and in particular find that the inclusion of the next-to-leading perturbative correction introduces wider possibilities for the satisfaction of both constraints.Comment: 24 pages, 6 figures, v2: published version, refs added, minor clarificatio

Using schedulers to test probabilistic distributed systems

This is the author's accepted manuscript. The final publication is available at Springer via http://dx.doi.org/10.1007/s00165-012-0244-5. Copyright © 2012, British Computer Society.Formal methods are one of the most important approaches to increasing the confidence in the correctness of software systems. A formal specification can be used as an oracle in testing since one can determine whether an observed behaviour is allowed by the specification. This is an important feature of formal testing: behaviours of the system observed in testing are compared with the specification and ideally this comparison is automated. In this paper we study a formal testing framework to deal with systems that interact with their environment at physically distributed interfaces, called ports, and where choices between different possibilities are probabilistically quantified. Building on previous work, we introduce two families of schedulers to resolve nondeterministic choices among different actions of the system. The first type of schedulers, which we call global schedulers, resolves nondeterministic choices by representing the environment as a single global scheduler. The second type, which we call localised schedulers, models the environment as a set of schedulers with there being one scheduler for each port. We formally define the application of schedulers to systems and provide and study different implementation relations in this setting

Black Holes in Quasi-topological Gravity

We construct a new gravitational action which includes cubic curvature interactions and which provides a useful toy model for the holographic study of a three parameter family of four- and higher-dimensional CFT's. We also investigate the black hole solutions of this new gravity theory. Further we examine the equations of motion of quasi-topological gravity. While the full equations in a general background are fourth-order in derivatives, we show that the linearized equations describing gravitons propagating in the AdS vacua match precisely the second-order equations of Einstein gravity.Comment: 33 pages, 4 figures; two references adde

Corner contributions to holographic entanglement entropy

The entanglement entropy of three-dimensional conformal field theories contains a universal contribution coming from corners in the entangling surface. We study these contributions in a holographic framework and, in particular, we consider the effects of higher curvature interactions in the bulk gravity theory. We find that for all of our holographic models, the corner contribution is only modified by an overall factor but the functional dependence on the opening angle is not modified by the new gravitational interactions. We also compare the dependence of the corner term on the new gravitational couplings to that for a number of other physical quantities, and we show that the ratio of the corner contribution over the central charge appearing in the two-point function of the stress tensor is a universal function for all of the holographic theories studied here. Comparing this holographic result to the analogous functions for free CFT's, we find fairly good agreement across the full range of the opening angle. However, there is a precise match in the limit where the entangling surface becomes smooth, i.e., the angle approaches $\pi$, and we conjecture the corresponding ratio is a universal constant for all three-dimensional conformal field theories. In this paper, we expand on the holographic calculations in our previous letter arXiv:1505.04804, where this conjecture was first introduced.Comment: 62 pages, 6 figures, 1 table; v2: minor modifications to match published version, typos fixe

Viscosity Bound and Causality in Superfluid Plasma

It was argued by Brigante et.al that the lower bound on the ratio of the shear viscosity to the entropy density in strongly coupled plasma is translated into microcausality violation in the dual gravitational description. Since transport properties of the system characterize its infrared dynamics, while the causality of the theory is determined by its ultraviolet behavior, the viscosity bound/microcausality link should not be applicable to theories that undergo low temperature phase transitions. We present an explicit model of AdS/CFT correspondence that confirms this fact.Comment: 27 pages, 5 figures. References added, typos fixe

The psychological-type profile of clergywomen in ordained local ministry in the Church of England : pioneers or custodians?

This study employs psychological-type theory to compare the psychological profile of 144 clergywomen serving in ordained local ministry in the Church of England alongside the established profile of 237 professional mobile clergywomen serving in the Church of England published by Francis, Craig, Whinney, Tilley, and Slater. The data found no significant differences between these two groups of clergywomen in terms of orientations (introversion and extraversion) or in terms of the judging process (thinking and feeling). In terms of the perceiving process, there was a significantly higher proportion of sensing types among those serving in ordained local ministry (70% compared with 35%). In terms of the attitudes, there was a significantly higher proportion of judging types among those serving in ordained local ministry (83% compared with 65%). The combined sensing judging (SJ) temperament accounted for 65% of the clergywomen serving in ordained local ministry, compared with 29% of the clergywomen serving in professional mobile ministry in the earlier study. It is argued that the SJ temperament characterises a custodian style of ministry