On the Value Distribution of Two Dirichlet L-functions

We look at the values of two Dirichlet $L$-functions at the Riemann zeros (or a horizontal shift of them). Off the critical line we show that for a positive proportion of these points the pairs of values of the two $L$-functions are linearly independent over $\mathbb{R}$, which, in particular, means that their arguments are different. On the critical line we show that, up to height $T$, the values are different for $cT$ of the Riemann zeros for some positive $c$.Comment: 20 page

The distribution of values of the Poincare pairing for hyperbolic Riemann surfaces

For a cocompact group of SL_2(R) we fix a non-zero harmonic 1-form \a. We normalize and order the values of the Poincare pairing according to the length of the corresponding closed geodesic l(gamma). We prove that these normalized values have a Gaussian distribution.Comment: 15 pages, To appear in Crelle Journa

Dissolving cusp forms: Higher order Fermi's Golden Rules

For a hyperbolic surface embedded eigenvalues of the Laplace operator are unstable and tend to become resonances. A sufficient dissolving condition was identified by Phillips-Sarnak and is elegantly expressed in Fermi's Golden Rule. We prove formulas for higher approximations and obtain necessary and sufficient conditions for dissolving a cusp form with eigenfunction $u_j$ into a resonance. In the framework of perturbations in character varieties, we relate the result to the special values of the $L$-series $L(u_j\otimes F^n, s)$. This is the Rankin-Selberg convolution of $u_j$ with $F(z)^n$, where $F(z)$ is the antiderivative of a weight 2 cusp form. In an example we show that the above-mentioned conditions force the embedded eigenvalue to become a resonance in a punctured neighborhood of the deformation space.Comment: 33 pages, typos corrected, new section adde

Modelling the evolution of cerebral aneurysms: biomechanics, mechanobiology and multiscale modelling

Intracranial aneurysms (IAs) are abnormal dilatations of the cerebral vasculature. Computational modelling may shed light on the aetiology of the disease and lead to improved criteria to assist diagnostic decisions. We briefly review models of aneurysm evolution to date and present a novel fluid-solid-growth (FSG) framework for patient-specific modelling of IA evolution. We illustrate its application to 4 clinical cases depicting an IA. The section of arterial geometry containing the IA is removed and replaced with a cylindrical section: this represents an idealised section of healthy artery upon which IA evolution is simulated. The utilisation of patient-specific geometries enables G&R to be explicitly linked to physiologically realistic spatial distributions and magnitudes of haemodynamic stimuli. In this study, we investigate the hypothesis that elastin degradation is driven by locally low wall shear stress (WSS). In 3 out of 4 cases, the evolved model IA geometry is qualitatively similar to the corresponding in vivo IA geometry. This suggests some tentative support for the hypothesis that low WSS plays a role in the mechanobiology of IA evolution

Computable concurrent processes

AbstractWe study relative computability for processes and process transformations, in general, and in particular the non-deterministic and concurrent processes which can be specified in terms of various fair merge constructs. The main result is a normal form theorem for these (relatively) computable process functions which implies that although they can be very complex when viewed as classical set-functions, they are all “loosely implementable” in the sense of Park (1980). The precise results are about the player model of concurrency introduced in Moschovakis (1991), which supports both fairness constructs and full recursion

Discrete logarithms in free groups

For the free group on n generators we prove that the discrete logarithm is distributed according to the standard Gaussian when the logarithm is renormalized appropriately.Comment: 9 pages, 1 figure, Corrects a mistake in the Introduction and Section

Synthetic tetracycline-inducible regulatory networks: computer-aided design of dynamic phenotypes

<p>Abstract</p> <p>Background</p> <p>Tightly regulated gene networks, precisely controlling the expression of protein molecules, have received considerable interest by the biomedical community due to their promising applications. Among the most well studied inducible transcription systems are the tetracycline regulatory expression systems based on the tetracycline resistance operon of Escherichia coli, Tet-Off (tTA) and Tet-On (rtTA). Despite their initial success and improved designs, limitations still persist, such as low inducer sensitivity. Instead of looking at these networks statically, and simply changing or mutating the promoter and operator regions with trial and error, a systematic investigation of the dynamic behavior of the network can result in rational design of regulatory gene expression systems. Sophisticated algorithms can accurately capture the dynamical behavior of gene networks. With computer aided design, we aim to improve the synthesis of regulatory networks and propose new designs that enable tighter control of expression.</p> <p>Results</p> <p>In this paper we engineer novel networks by recombining existing genes or part of genes. We synthesize four novel regulatory networks based on the Tet-Off and Tet-On systems. We model all the known individual biomolecular interactions involved in transcription, translation, regulation and induction. With multiple time-scale stochastic-discrete and stochastic-continuous models we accurately capture the transient and steady state dynamics of these networks. Important biomolecular interactions are identified and the strength of the interactions engineered to satisfy design criteria. A set of clear design rules is developed and appropriate mutants of regulatory proteins and operator sites are proposed.</p> <p>Conclusion</p> <p>The complexity of biomolecular interactions is accurately captured through computer simulations. Computer simulations allow us to look into the molecular level, portray the dynamic behavior of gene regulatory networks and rationally engineer novel ones with useful applications. We are able to propose, test and accept or reject design principles for each network. Guided by simulations, we develop a set of design principles for novel tetracycline-inducible networks.</p