title: Low-temperature ferroelectric phase and magnetoelectric coupling in the underdoped La_2CuO_(4+x)

abstract: We report the discovery of a ferroelectric ground state below 4.5 K in highly underdoped La_2CuO_(4+x) accompanied by slow charge dynamics which develop below T~40 K. An anisotropic magnetoelectric response has also been observed, indicating considerable spin-charge coupling in this lightly doped "parent" high temperature copper-oxide superconductor. The ferroelectric state is proposed to develop from polar nanoregions, in which spatial inversion symmetry is locally broken due to non-stoichiometric carrier doping.


title: Qualitative System Identification from Imperfect Data

abstract: Experience in the physical sciences suggests that the only realistic means of understanding complex systems is through the use of mathematical models. Typically, this has come to mean the identification of quantitative models expressed as differential equations. Quantitative modelling works best when the structure of the model (i.e., the form of the equations) is known; and the primary concern is one of estimating the values of the parameters in the model. For complex biological systems, the model-structure is rarely known and the modeler has to deal with both model-identification and parameter-estimation. In this paper we are concerned with providing automated assistance to the first of these problems. Specifically, we examine the identification by machine of the structural relationships between experimentally observed variables. These relationship will be expressed in the form of qualitative abstractions of a quantitative model. Such qualitative models may not only provide clues to the precise quantitative model, but also assist in understanding the essence of that model. Our position in this paper is that background knowledge incorporating system modelling principles can be used to constrain effectively the set of good qualitative models. Utilising the model-identification framework provided by Inductive Logic Programming (ILP) we present empirical support for this position using a series of increasingly complex artificial datasets. The results are obtained with qualitative and quantitative data subject to varying amounts of noise and different degrees of sparsity. The results also point to the presence of a set of qualitative states, which we term kernel subsets, that may be necessary for a qualitative model-learner to learn correct models. We demonstrate scalability of the method to biological system modelling by identification of the glycolysis metabolic pathway from data.


title: General Requirements on Matter Power Spectrum Predictions for Cosmology with Weak Lensing Tomography

abstract: Forthcoming projects such as DES, LSST, WFIRST, and Euclid aim to measure weak lensing shear correlations with unprecedented precision, constraining the dark energy equation of state at the percent level. Reliance on photometrically-determined redshifts constitutes a major source of uncertainty for these surveys. Additionally, interpreting the weak lensing signal requires a detailed understanding of the nonlinear physics of gravitational collapse. We present a new analysis of the stringent calibration requirements for weak lensing analyses of future imaging surveys that addresses both photo-z uncertainty and errors in the calibration of the matter power spectrum. We find that when photo-z uncertainty is taken into account the requirements on the level of precision in the prediction for the matter power spectrum are more stringent than previously thought. Including degree-scale galaxy clustering statistics in a joint analysis with weak lensing not only strengthens the survey's constraining power by ~20%, but can also have a profound impact on the calibration demands, decreasing the degradation in dark energy constraints with matter power spectrum uncertainty by a factor of 2-5. Similarly, using galaxy clustering information significantly relaxes the demands on photo-z calibration. We compare these calibration requirements to the contemporary state-of-the-art in photometric redshift estimation and predictions of the power spectrum and suggest strategies to utilize forthcoming data optimally.


title: Exploiting Subgraph Structure in Multi-Robot Path Planning

abstract: Multi-robot path planning is difficult due to the combinatorial explosion of the search space with every new robot added. Complete search of the combined state-space soon becomes intractable. In this paper we present a novel form of abstraction that allows us to plan much more efficiently. The key to this abstraction is the partitioning of the map into subgraphs of known structure with entry and exit restrictions which we can represent compactly. Planning then becomes a search in the much smaller space of subgraph configurations. Once an abstract plan is found, it can be quickly resolved into a correct (but possibly sub-optimal) concrete plan without the need for further search. We prove that this technique is sound and complete and demonstrate its practical effectiveness on a real map. A contending solution, prioritised planning, is also evaluated and shown to have similar performance albeit at the cost of completeness. The two approaches are not necessarily conflicting; we demonstrate how they can be combined into a single algorithm which outperforms either approach alone.


title: CTL Model Update for System Modifications

abstract: Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update towards the development of an automatic system modification tool that extends model checking functions. We define primitive update operations on the models of Computation Tree Logic (CTL) and formalize the principle of minimal change for CTL model update. These primitive update operations, together with the underlying minimal change principle, serve as the foundation for CTL model update. Essential semantic and computational characterizations are provided for our CTL model update approach. We then describe a formal algorithm that implements this approach. We also illustrate two case studies of CTL model updates for the well-known microwave oven example and the Andrew File System 1, from which we further propose a method to optimize the update results in complex system modifications.


title: Extended RDF as a Semantic Foundation of Rule Markup Languages

abstract: Ontologies and automated reasoning are the building blocks of the Semantic Web initiative. Derivation rules can be included in an ontology to define derived concepts, based on base concepts. For example, rules allow to define the extension of a class or property, based on a complex relation between the extensions of the same or other classes and properties. On the other hand, the inclusion of negative information both in the form of negation-as-failure and explicit negative information is also needed to enable various forms of reasoning. In this paper, we extend RDF graphs with weak and strong negation, as well as derivation rules. The ERDF stable model semantics of the extended framework (Extended RDF) is defined, extending RDF(S) semantics. A distinctive feature of our theory, which is based on Partial Logic, is that both truth and falsity extensions of properties and classes are considered, allowing for truth value gaps. Our framework supports both closed-world and open-world reasoning through the explicit representation of the particular closed-world assumptions and the ERDF ontological categories of total properties and total classes.


title: The Complexity of Planning Problems With Simple Causal Graphs

abstract: We present three new complexity results for classes of planning problems with simple causal graphs. First, we describe a polynomial-time algorithm that uses macros to generate plans for the class 3S of planning problems with binary state variables and acyclic causal graphs. This implies that plan generation may be tractable even when a planning problem has an exponentially long minimal solution. We also prove that the problem of plan existence for planning problems with multi-valued variables and chain causal graphs is NP-hard. Finally, we show that plan existence for planning problems with binary state variables and polytree causal graphs is NP-complete.


title: The Complexity of Linear Tensor Product Problems in (Anti-) Symmetric Hilbert Spaces

abstract: We study linear problems defined on tensor products of Hilbert spaces with an additional (anti-) symmetry property. We construct a linear algorithm that uses finitely many continuous linear functionals and show an explicit formula for its worst case error in terms of the singular values of the univariate problem. Moreover, we show that this algorithm is optimal with respect to a wide class of algorithms and investigate its complexity. We clarify the influence of different (anti-) symmetry conditions on the complexity, compared to the classical unrestricted problem. In particular, for symmetric problems we give characterizations for polynomial tractability and strong polynomial tractability in terms of the amount of the assumed symmetry. Finally, we apply our results to the approximation problem of solutions of the electronic Schr\"odinger equation.


title: A Lack of Ricci Bounds for the Entropic Measure on Wasserstein space over the Interval

abstract: This is a condensed form of the author's essay, which can be found at [arXiv:1105.2883]. We prove that the entropic measure constructed by von Renesse-Sturm over Wasserstein space on the unit interval (probability measures on the unit interval equipped with the 2-Wasserstein metric) does not admit generalized Ricci lower bounds in the sense of Lott-Villani-Sturm. We discuss why this is surprising, considering various heuristic arguments.


title: Loosely Coupled Formulations for Automated Planning: An Integer Programming Perspective

abstract: We represent planning as a set of loosely coupled network flow problems, where each network corresponds to one of the state variables in the planning domain. The network nodes correspond to the state variable values and the network arcs correspond to the value transitions. The planning problem is to find a path (a sequence of actions) in each network such that, when merged, they constitute a feasible plan. In this paper we present a number of integer programming formulations that model these loosely coupled networks with varying degrees of flexibility. Since merging may introduce exponentially many ordering constraints we implement a so-called branch-and-cut algorithm, in which these constraints are dynamically generated and added to the formulation when needed. Our results are very promising, they improve upon previous planning as integer programming approaches and lay the foundation for integer programming approaches for cost optimal planning.


title: A Constraint Programming Approach for Solving a Queueing Control Problem

abstract: In a facility with front room and back room operations, it is useful to switch workers between the rooms in order to cope with changing customer demand. Assuming stochastic customer arrival and service times, we seek a policy for switching workers such that the expected customer waiting time is minimized while the expected back room staffing is sufficient to perform all work. Three novel constraint programming models and several shaving procedures for these models are presented. Experimental results show that a model based on closed-form expressions together with a combination of shaving procedures is the most efficient. This model is able to find and prove optimal solutions for many problem instances within a reasonable run-time. Previously, the only available approach was a heuristic algorithm. Furthermore, a hybrid method combining the heuristic and the best constraint programming method is shown to perform as well as the heuristic in terms of solution quality over time, while achieving the same performance in terms of proving optimality as the pure constraint programming model. This is the first work of which we are aware that solves such queueing-based problems with constraint programming.


title: The Lick AGN Monitoring Project 2011: Reverberation Mapping of Markarian 50

abstract: The Lick AGN Monitoring Project 2011 observing campaign was carried out over the course of 11 weeks in Spring 2011. Here we present the first results from this program, a measurement of the broad-line reverberation lag in the Seyfert 1 galaxy Mrk 50. Combining our data with supplemental observations obtained prior to the start of the main observing campaign, our dataset covers a total duration of 4.5 months. During this time, Mrk 50 was highly variable, exhibiting a maximum variability amplitude of a factor of 4 in the U-band continuum and a factor of 2 in the H-beta line. Using standard cross-correlation techniques, we find that H-beta and H-gamma lag the V-band continuum by tau_cen = 10.64(-0.93,+0.82) and 8.43(-1.28,+1.30) days, respectively, while the lag of He II 4686 is unresolved. The H-beta line exhibits a symmetric velocity-resolved reverberation signature with shorter lags in the high-velocity wings than in the line core, consistent with an origin in a broad-line region dominated by orbital motion rather than infall or outflow. Assuming a virial normalization factor of f=5.25, the virial estimate of the black hole mass is (3.2+-0.5)*10^7 solar masses. These observations demonstrate that Mrk 50 is among the most promising nearby active galaxies for detailed investigations of broad-line region structure and dynamics.


title: Optimal and Approximate Q-value Functions for Decentralized POMDPs

abstract: Decision-theoretic planning is a popular approach to sequential decision making problems, because it treats uncertainty in sensing and acting in a principled way. In single-agent frameworks like MDPs and POMDPs, planning can be carried out by resorting to Q-value functions: an optimal Q-value function Q* is computed in a recursive manner by dynamic programming, and then an optimal policy is extracted from Q*. In this paper we study whether similar Q-value functions can be defined for decentralized POMDP models (Dec-POMDPs), and how policies can be extracted from such value functions. We define two forms of the optimal Q-value function for Dec-POMDPs: one that gives a normative description as the Q-value function of an optimal pure joint policy and another one that is sequentially rational and thus gives a recipe for computation. This computation, however, is infeasible for all but the smallest problems. Therefore, we analyze various approximate Q-value functions that allow for efficient computation. We describe how they relate, and we prove that they all provide an upper bound to the optimal Q-value function Q*. Finally, unifying some previous approaches for solving Dec-POMDPs, we describe a family of algorithms for extracting policies from such Q-value functions, and perform an experimental evaluation on existing test problems, including a new firefighting benchmark problem.


title: Ultimate Turbulent Taylor-Couette Flow

abstract: The flow structure of strongly turbulent Taylor-Couette flow with Reynolds numbers up to Re_i = 2*10^6 of the inner cylinder is experimentally examined with high-speed particle image velocimetry (PIV). The wind Reynolds numbers Re_w of the turbulent Taylor-vortex flow is found to scale as Re_w ~ Ta^(1/2), exactly as predicted for the ultimate turbulence regime, in which the boundary layers are turbulent. The dimensionless angular velocity flux has an effective scaling of Nu_{\omega} ~ Ta^0.38, also in correspondence with turbulence in the ultimate regime. The scaling of Nu_{\omega} is confirmed by local angular velocity flux measurements extracted from high-speed PIV measurements: though the flux shows huge fluctuations, its spatial and temporal average nicely agrees with the result from the global torque measurements.


title: Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

abstract: This volume contains the proceedings of the 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011) that took place in Snowbird, Utah, on July 14, 2011. The workshop was co-located with 23rd International Conference on Computer Aided Verification (CAV 2011). The PDMC workshop series covers all aspects related to the verification and analysis of very large and complex systems using, in particular, methods and techniques that exploit contemporary, hence parallel, hardware architectures. To celebrate the 10th anniversary of PDMC, the workshop consisted of a half day invited session together and a half day session of regular contributed presentations.


title: Communication-Based Decomposition Mechanisms for Decentralized MDPs

abstract: Multi-agent planning in stochastic environments can be framed formally as a decentralized Markov decision problem. Many real-life distributed problems that arise in manufacturing, multi-robot coordination and information gathering scenarios can be formalized using this framework. However, finding the optimal solution in the general case is hard, limiting the applicability of recently developed algorithms. This paper provides a practical approach for solving decentralized control problems when communication among the decision makers is possible, but costly. We develop the notion of communication-based mechanism that allows us to decompose a decentralized MDP into multiple single-agent problems. In this framework, referred to as decentralized semi-Markov decision process with direct communication (Dec-SMDP-Com), agents operate separately between communications. We show that finding an optimal mechanism is equivalent to solving optimally a Dec-SMDP-Com. We also provide a heuristic search algorithm that converges on the optimal decomposition. Restricting the decomposition to some specific types of local behaviors reduces significantly the complexity of planning. In particular, we present a polynomial-time algorithm for the case in which individual agents perform goal-oriented behaviors between communications. The paper concludes with an additional tractable algorithm that enables the introduction of human knowledge, thereby reducing the overall problem to finding the best time to communicate. Empirical results show that these approaches provide good approximate solutions.


title: Probing proton acceleration in W51C with MAGIC

abstract: Located in a dense complex environment, W51C provides an excellent scenario to probe accelerated protons in SNRs and their interaction with surrounding target material. Here we report the observation of extended Very High Energy (VHE) gamma-ray emission from the W51C supernova remnant (SNR) with MAGIC. Detections of extended gamma-ray emission in the same region have already been reported by the Fermi and H.E.S.S. collaborations. Fermi/LAT measured the source spectrum in the energy range between 0.2 and 50 GeV, which was found to be well fit by a hadronic neutral-pion decay model. The VHE observations presented here, obtained with the improved MAGIC stereo system, allow us to pinpoint the VHE gamma-ray emission in the dense shocked molecular cloud surrounding the remnant shell. The MAGIC data also allow us to measure, for the first time, the VHE emission spectrum of W51C from the highest Fermi/LAT energies up to TeV. The spatial distribution and spectral properties of the VHE emission suggest a hadronic origin of the observed gamma rays. Therefore W51C is a prime candidate for a cosmic ray accelerator.


title: A General Theory of Additive State Space Abstractions

abstract: Informally, a set of abstractions of a state space S is additive if the distance between any two states in S is always greater than or equal to the sum of the corresponding distances in the abstract spaces. The first known additive abstractions, called disjoint pattern databases, were experimentally demonstrated to produce state of the art performance on certain state spaces. However, previous applications were restricted to state spaces with special properties, which precludes disjoint pattern databases from being defined for several commonly used testbeds, such as Rubiks Cube, TopSpin and the Pancake puzzle. In this paper we give a general definition of additive abstractions that can be applied to any state space and prove that heuristics based on additive abstractions are consistent as well as admissible. We use this new definition to create additive abstractions for these testbeds and show experimentally that well chosen additive abstractions can reduce search time substantially for the (18,4)-TopSpin puzzle and by three orders of magnitude over state of the art methods for the 17-Pancake puzzle. We also derive a way of testing if the heuristic value returned by additive abstractions is provably too low and show that the use of this test can reduce search time for the 15-puzzle and TopSpin by roughly a factor of two.


title: First Order Decision Diagrams for Relational MDPs

abstract: Markov decision processes capture sequential decision making under uncertainty, where an agent must choose actions so as to optimize long term reward. The paper studies efficient reasoning mechanisms for Relational Markov Decision Processes (RMDP) where world states have an internal relational structure that can be naturally described in terms of objects and relations among them. Two contributions are presented. First, the paper develops First Order Decision Diagrams (FODD), a new compact representation for functions over relational structures, together with a set of operators to combine FODDs, and novel reduction techniques to keep the representation small. Second, the paper shows how FODDs can be used to develop solutions for RMDPs, where reasoning is performed at the abstract level and the resulting optimal policy is independent of domain size (number of objects) or instantiation. In particular, a variant of the value iteration algorithm is developed by using special operations over FODDs, and the algorithm is shown to converge to the optimal policy.


title: Organization of the Bacterial Light-Harvesting Apparatus Rationalized by Exciton Transport Optimization

abstract: Photosynthesis, the process by which energy from sunlight drives cellular metabolism, relies on a unique organization of light-harvesting and reaction center complexes. Recently, the organization of light-harvesting LH2 complexes and dimeric reaction center-light harvesting I-PufX (RC-LH1-PufX) core complexes in membranes of purple non-sulfur bacteria was revealed by atomic force microscopy (AFM)1. Here, we report that the structure of LH2 and its organization within the membrane can be largely rationalized by a simple physical model that relies primarily on exciton transfer optimization. The process through which the light-harvesting complexes transfer excitation energy has been recognized to incorporate both coherent and incoherent processes mediated by the surrounding protein environment. Using the Haken-Strobl model, we show that the organization of the complexes in the membrane can be almost entirely explained by simple electrostatic considerations and that quantum effects act primarily to enforce robustness with respect to spatial disorder between complexes. The implications of such an arrangement are discussed in the context of biomimetic photosynthetic analogs capable of transferring energy efficiently across tens to hundreds of nanometers


title: Contractibility of manifolds by means of stochastic flows

abstract: In the paper [Probab. Theory Relat. Fields, 100 (1994) 417-428] Xue-Mei Li has shown that the moment stability of an SDE is closely connected with the topology of the underlying manifold. In particular, she gave sufficient condition on SDE on a manifold $M$ under which the fundamental group $\pi_1 M=0$. We prove that in fact under the similar conditions the manifold $M$ is contractible, that is all homotopy groups $\pi_k M$, $k\geq1$, vanish.


title: Energy-Based Voronoi Partition in Constant Flow Environments

abstract: As is well known, energy cost can greatly impact the deployment of battery-powered sensor networks in remote environments such as rivers or oceans. Motivated by this, we propose here an energy-based metric and associate energy-based Voronoi partitions with mobile vehicles in constant flows. The metric corresponds to the minimum energy that a vehicle requires to move from one point to another in the flow environment, and the resulting partition can be used by the vehicles in cooperative control tasks such as task assignment and coverage. Based on disk-based and asymptote-based approximations of the Voronoi regions, we determine a subset (or lower bound) and superset (or upper bound) of an agent's Voronoi neighbors. We then show that, via simulations, the upper bound is tight and its cardinality remains bounded as the number of generators increases. Finally, we propose efficient algorithms to compute the upper bound (especially when the generators dynamically change), which enables the fast calculation of Voronoi regions.


title: On Braneworld Inflation Models in Light of WMAP7 data

abstract: We are interested on studing various inflationary spectrum perturbation parameters in the context of the Randall-Sandrum type 2 Braneworld model. We consider in particular three types of potentials. We apply the slow-roll approximation in the high energy limit to constraint the parameter potentials by confronting our results to recent WMAP7 observations. We show that, for some values of the e-folding number N; the monomial potential provides the best fit results to observations data.


title: Diffusion and Contagion in Networks with Heterogeneous Agents and Homophily

abstract: We study how a behavior (an idea, buying a product, having a disease, adopting a cultural fad or a technology) spreads among agents in an a social network that exhibits segregation or homophily (the tendency of agents to associate with others similar to themselves). Individuals are distinguished by their types (e.g., race, gender, age, wealth, religion, profession, etc.) which, together with biased interaction patterns, induce heterogeneous rates of adoption. We identify the conditions under which a behavior diffuses and becomes persistent in the population. These conditions relate to the level of homophily in a society, the underlying proclivities of various types for adoption or infection, as well as how each type interacts with its own type. In particular, we show that homophily can facilitate diffusion from a small initial seed of adopters.


title: Search for the Standard Model Higgs boson in final states with $b$ quarks at the Tevatron

abstract: We present the result of searches for a low mass Standard Model Higgs boson produced in association with a $W$ or a $Z$ boson at a center-of-mass energy of $\sqrt{s}=$1.96 TeV with the CDF and D0 detectors at the Fermilab Tevatron collider. The search is performed in events containing one or two $b$ tagged jets in association with either two leptons, or one lepton and an imbalance in transverse energy, or simply a large imbalance in transverse energy. Datasets corresponding to up to 8.5 fb$^{-1}$ of integrated luminosity are considered in the analyses. These are the most powerful channels in the search for a low mass Higgs boson at the Tevatron. Recent sensitivity improvements are discussed. For a Higgs mass of 115 \gevcc, the expected sensitivity for the most sensitive individual analyses reaches 2.3 times the SM prediction at 95% confidence level (C.L.), with all limits below 5 times the SM. Additionally, a $WZ/ZZ$ cross-section measurement is performed to validate the analysis techniques deployed for searching for the Higgs.


title: How Will Astronomy Archives Survive The Data Tsunami?

abstract: The field of astronomy is starting to generate more data than can be managed, served and processed by current techniques. This paper has outlined practices for developing next-generation tools and techniques for surviving this data tsunami, including rigorous evaluation of new technologies, partnerships between astronomers and computer scientists, and training of scientists in high-end software engineering engineering skills.


title: An exact solution to the Extended Hubbard Model in 2D for finite size system

abstract: An exact analytical diagonalization is used to solve the two dimensional Extended Hubbard Model for system with finite size. We have considered an Extended Hubbard Model (EHM) including on-site and off-site interactions with interaction energy U and V respectively, for square lattice containing 4*4 sites at one-eighth filling with periodic boundary conditions, recently treated by Kovacs et al [1]. Taking into account the symmetry properties of this square lattice and using a translation linear operator, we have constructed a r-space basis, only, with 85 state-vectors which describe all possible distributions for four electrons in the 4*4 square lattice. The diagonalization of the 85*85 matrix energy allows us to study the local properties of the above system as function of the on-site and off-site interactions energies, where, we have shown that the off-site interaction encourages the existence of the double occupancies at the first exited state and induces supplementary conductivity of the system.


title: Challenging the high-energy emission zone in FSRQs

abstract: The blazar zone in quasars is commonly assumed to be located inside the broad-line region at some hundreds of Schwartzschild radii from the central black hole. Now, the simultaneous Fermi/LAT and MAGIC observations of a strong flare in the FSRQ PKS 1222+21 (4C 21.35, z=0.432) on 2010 June 17 challenge this picture. The spectrum can be described by a single power law with photon index 2.72+/-0.34 between 3 GeV and 400 GeV, and this is consistent with emission from a single component in the jet. The absence of a spectral cutoff constrains the gamma-ray emission region to lie outside of the broad-line region, which would otherwise absorb the VHE gamma-rays. On the other hand, the MAGIC measurement of a doubling time of about 10 minutes indicates an extremely compact emission region, in conflict with the "far dissipation" scenario. This could be a hint for the importance of jet sub-structures, such as filaments, reconnection zones or shear layers for the occurrence of blazar flares.


title: Extinction of Fleming-Viot-type particle systems with strong drift

abstract: We consider a Fleming-Viot-type particle system consisting of independently moving particles that are killed on the boundary of a domain. At the time of death of a particle, another particle branches. If there are only two particles and the underlying motion is a Bessel process on $(0,\infty)$, both particles converge to 0 at a finite time if and only if the dimension of the Bessel process is less than 0. If the underlying diffusion is Brownian motion with a drift stronger than (but arbitrarily close to, in a suitable sense) the drift of a Bessel process, all particles converge to 0 at a finite time, for any number of particles.


title: Dirichlet and Neumann problems for planar domains with parameter

abstract: Let $\Gamma(\cdot,\lambda)$ be smooth, i.e.\, $\mathcal C^\infty$, embeddings from $\bar{\Omega}$ onto $\bar{\Omega^{\lambda}}$, where $\Omega$ and $\Omega^\lambda$ are bounded domains with smooth boundary in the complex plane and $\lambda$ varies in $I=[0,1]$. Suppose that $\Gamma$ is smooth on $\bar\Omega\times I$ and $f$ is a smooth function on $\partial\Omega\times I$. Let $u(\cdot,\lambda)$ be the harmonic functions on $\Omega^\lambda$ with boundary values $f(\cdot,\lambda)$. We show that $u(\Gamma(z,\lambda),\lambda)$ is smooth on $\bar\Omega\times I$. Our main result is proved for suitable H\"older spaces for the Dirichlet and Neumann problems with parameter. By observing that the regularity of solutions of the two problems with parameter is not local, we show the existence of smooth embeddings $\Gamma(\cdot,\lambda)$ from $\bar{\mathbb D}$, the closure of the unit disc, onto $\bar{\Omega^\lambda}$ such that $\Gamma$ is smooth on $\bar{\mathbb D}\times I$ and real analytic at $(\sqrt{-1},0)\in\bar{\mathbb D}\times I$, but for every family of Riemann mappings $R(\cdot,\lambda)$ from $\bar{\Omega^\lambda}$ onto $\bar{\mathbb D}$, the function $R(\Gamma(z,\lambda),\lambda)$ is not real analytic at $(\sqrt{-1},0)\in\bar{\mathbb D}\times I$.


title: Search for strong gravity signatures in same-sign dimuon final states using the ATLAS detector at the LHC

abstract: A search for microscopic black holes has been performed in a same-sign dimuon final state using 1.3 fb^-1 of proton-proton collision data collected with the ATLAS detector at a centre of mass energy of 7 TeV at the CERN Large Hadron Collider. The data are found to be consistent with the expectation from the Standard Model and the results are used to derive exclusion contours in the context of a low scale gravity model.


title: Quasiconvex Subgroups of F_m x Z^n are Convex

abstract: In this paper we analyze the action of a quasiconvex subgroup of F_m x Z^n on the convex hull of its orbit and we show that this action is cocompact. Further, using our techniques, we obtain complete description of the quasiconvex subgroups of F_m x Z^n.


title: Statistical mechanics of fluids at a permeable wall

abstract: The problem of surface effects at a fluid boundary created by the force field of finite value is investigated. A classical simple fluid with a locally introduced field imitating a permeable solid is considered. The cases of micro- and macroscopically smooth boundary are examined and the analysis of static membranes is performed. Henry constant of adsorption and its connection with Henry constant of absorption, specific surface grand potential (gamma) and the surface number density are determined. High-temperature expansions and low-temperature limit for basic values are obtained. "The surface tension coefficient" decomposes into a value proportional to Henry constant of adsorption depending on the position of the separating surface, and a universal nonlinear surface coefficient. Two approaches to this problem are analyzed: through the surface cluster expansion and through the pressure tensor. Within the first approach, the series in powers of activity is obtained for gamma. This expression is similar to the cluster expansion for pressure but in contrast to this case the integrals of Ursell factors contain the multipliers depending on the potential of particles interaction with the external field. Within the second approach, Kirkwood-Buff formula for gamma is extended for the case of the field of finite value. A complete identity of the approaches of "cluster expansion" and "pressure tensor" is demonstrated, and the near-surface virial expansion which determines the exact equation of state of the "two-dimensional" gas of the near-surface region is constructed. Coincidence of pressure acting on a transverse wall and the tangential component of pressure tensor, both averages over the transition layer as well as the symmetry of the solution with respect to the permutation of sorbent - fluid are demonstrated.


title: From Scattering Amplitudes to the Dilatation Generator in N=4 SYM

abstract: The complete spin chain representation of the planar N=4 SYM dilatation generator has long been known at one loop, where it involves leading nearest-neighbor 2 -> 2 interactions. In this work we use superconformal symmetry to derive the unique solution for the leading L -> 2 interactions of the planar dilatation generator for arbitrarily large L. We then propose that these interactions are given by the scattering operator that has N=4 SYM tree-level scattering amplitudes as matrix elements. We provide compelling evidence for this proposal, including explicit checks for L=2,3 and a proof of consistency with superconformal symmetry.


title: Lattice codes for the Gaussian relay channel: Decode-and-Forward and Compress-and-Forward

abstract: Lattice codes are known to achieve capacity in the Gaussian point-to-point channel, achieving the same rates as independent, identically distributed (i.i.d.) random Gaussian codebooks. Lattice codes are also known to outperform random codes for certain channel models that are able to exploit their linearity. In this work, we show that lattice codes may be used to achieve the same performance as known i.i.d. Gaussian random coding techniques for the Gaussian relay channel, and show several examples of how this may be combined with the linearity of lattices codes in multi-source relay networks. In particular, we present a nested lattice list decoding technique, by which, lattice codes are shown to achieve the Decode-and-Forward (DF) rate of single source, single destination Gaussian relay channels with one or more relays. We next present two examples of how this DF scheme may be combined with the linearity of lattice codes to achieve new rate regions which for some channel conditions outperform analogous known Gaussian random coding techniques in multi-source relay channels. That is, we derive a new achievable rate region for the two-way relay channel with direct links and compare it to existing schemes, and derive another achievable rate region for the multiple access relay channel. We furthermore present a lattice Compress-and-Forward (CF) scheme for the Gaussian relay channel which exploits a lattice Wyner-Ziv binning scheme and achieves the same rate as the Cover-El Gamal CF rate evaluated for Gaussian random codes. These results suggest that structured/lattice codes may be used to mimic, and sometimes outperform, random Gaussian codes in general Gaussian networks.


title: A Lambda Term Representation Inspired by Linear Ordered Logic

abstract: We introduce a new nameless representation of lambda terms inspired by ordered logic. At a lambda abstraction, number and relative position of all occurrences of the bound variable are stored, and application carries the additional information where to cut the variable context into function and argument part. This way, complete information about free variable occurrence is available at each subterm without requiring a traversal, and environments can be kept exact such that they only assign values to variables that actually occur in the associated term. Our approach avoids space leaks in interpreters that build function closures. In this article, we prove correctness of the new representation and present an experimental evaluation of its performance in a proof checker for the Edinburgh Logical Framework. Keywords: representation of binders, explicit substitutions, ordered contexts, space leaks, Logical Framework.


title: A Bigraph Relational Model

abstract: In this paper, we present a model based on relations for bigraphical reactive systems [Milner09]. Its defining characteristics are that validity and reaction relations are captured as traces in a multi-set rewriting system. The relational model is derived from Milner's graphical definition and directly amenable to implementation.


title: Multi-level Contextual Type Theory

abstract: Contextual type theory distinguishes between bound variables and meta-variables to write potentially incomplete terms in the presence of binders. It has found good use as a framework for concise explanations of higher-order unification, characterize holes in proofs, and in developing a foundation for programming with higher-order abstract syntax, as embodied by the programming and reasoning environment Beluga. However, to reason about these applications, we need to introduce meta^2-variables to characterize the dependency on meta-variables and bound variables. In other words, we must go beyond a two-level system granting only bound variables and meta-variables. In this paper we generalize contextual type theory to n levels for arbitrary n, so as to obtain a formal system offering bound variables, meta-variables and so on all the way to meta^n-variables. We obtain a uniform account by collapsing all these different kinds of variables into a single notion of variabe indexed by some level k. We give a decidable bi-directional type system which characterizes beta-eta-normal forms together with a generalized substitution operation.


title: Nominal Logic with Equations Only

abstract: Many formal systems, particularly in computer science, may be captured by equations modulated by side conditions asserting the "freshness of names"; these can be reasoned about with Nominal Equational Logic (NEL). Like most logics of this sort NEL employs this notion of freshness as a first class logical connective. However, this can become inconvenient when attempting to translate results from standard equational logic to the nominal setting. This paper presents proof rules for a logic whose only connectives are equations, which we call Nominal Equation-only Logic (NEoL). We prove that NEoL is just as expressive as NEL. We then give a simple description of equality in the empty NEoL-theory, then extend that result to describe freshness in the empty NEL-theory.


title: Nominal Henkin Semantics: simply-typed lambda-calculus models in nominal sets

abstract: We investigate a class of nominal algebraic Henkin-style models for the simply typed lambda-calculus in which variables map to names in the denotation and lambda-abstraction maps to a (non-functional) name-abstraction operation. The resulting denotations are smaller and better-behaved, in ways we make precise, than functional valuation-based models. Using these new models, we then develop a generalisation of \lambda-term syntax enriching them with existential meta-variables, thus yielding a theory of incomplete functions. This incompleteness is orthogonal to the usual notion of incompleteness given by function abstraction and application, and corresponds to holes and incomplete objects.


title: An Improved Implementation and Abstract Interface for Hybrid

abstract: Hybrid is a formal theory implemented in Isabelle/HOL that provides an interface for representing and reasoning about object languages using higher-order abstract syntax (HOAS). This interface is built around an HOAS variable-binding operator that is constructed definitionally from a de Bruijn index representation. In this paper we make a variety of improvements to Hybrid, culminating in an abstract interface that on one hand makes Hybrid a more mathematically satisfactory theory, and on the other hand has important practical benefits. We start with a modification of Hybrid's type of terms that better hides its implementation in terms of de Bruijn indices, by excluding at the type level terms with dangling indices. We present an improved set of definitions, and a series of new lemmas that provide a complete characterization of Hybrid's primitives in terms of properties stated at the HOAS level. Benefits of this new package include a new proof of adequacy and improvements to reasoning about object logics. Such proofs are carried out at the higher level with no involvement of the lower level de Bruijn syntax.


title: The Coset Spin-4 Casimir Operator and Its Three-Point Functions with Scalars

abstract: We find the GKO coset construction of the dimension 4 Casimir operator that contains the quartic WZW currents contracted with completely symmetric SU(N) invariant tensors of ranks 4, 3, and 2. The requirements, that the operator product expansion with the diagonal current is regular and it should be primary under the coset Virasoro generator of dimension 2, fix all the coefficients in spin-4 current, up to two unknown coefficients. The operator product expansion of coset primary spin-3 field with itself fixes them completely. We compute the three-point functions with scalars for all values of the 't Hooft coupling in the large N limit. At fixed 't Hooft coupling, these three-point functions are dual to that found by Chang and Yin recently in the undeformed AdS_3 bulk theory (higher spin gravity with matter).


title: The Constancy of the Constants of Nature: Updates

abstract: The current observational and experimental bounds on the time variation of the constants of nature (the fine structure constant $\alpha$, the gravitational constant $G$ and the proton-electron mass ratio $\mu=m_p/m_e$) are reviewed.


title: Superluminal neutrinos from Lorentz-violating dimension-5 operators

abstract: We consider Lorentz- and CPT-violating dimension-5 operators to address the issue of superluminal neutrinos recently pointed out in OPERA experiments. We assume these operators in the photon and neutrino sectors coupled to Lorentz-violating backgrounds in a preferred frame defined by a time-like direction. We show that such operators can produce a curve with OPERA's slope that fits OPERA, MINOS and supernova SN1987a data.


title: Generalization of a few results in Integer Partitions

abstract: In this paper, we generalize a few important results in Integer Partitions; namely the results known as Stanley's theorem and Elder's theorem, and the congruence results proposed by Ramanujan for the partition function. We generalize the results of Stanley and Elder from a fixed integer to an array of subsequent integers, and propose an analogue of Ramanujan's congruence relations for the `number of parts' function instead of the partition function. We also deduce the generating function for the `number of parts', and relate the technical results with their graphical interpretations through a novel use of the Ferrer's diagrams.


title: Weak Convergence of Spectral Shift Functions for One-Dimensional Schr\"odinger Operators

abstract: We study the manner in which spectral shift functions associated with self-adjoint one-dimensional Schr\"odinger operators on the finite interval $(0,R)$ converge in the infinite volume limit $R\to\infty$ to the half-line spectral shift function. Relying on a Fredholm determinant approach combined with certain measure theoretic facts, we show that prior vague convergence results in the literature in the special case of Dirichlet boundary conditions extend to the notion of weak convergence and arbitrary separated self-adjoint boundary conditions at $x=0$ and $x=R$.


title: An Abstract Approach to Weak Convergence of Spectral Shift Functions and Applications to Multi-Dimensional Schr\"odinger Operators

abstract: We study the manner in which a sequence of spectral shift functions $\xi(\cdot;H_j,H_{0,j})$ associated with abstract pairs of self-adjoint operators $(H_j, H_{0,j})$ in Hilbert spaces $\cH_j$, $j\in\bbN$, converge to a limiting spectral shift function $\xi(\cdot;H,H_0)$ associated with a pair $(H,H_0)$ in the limiting Hilbert space $\cH$ as $j\to\infty$ (mimicking the infinite volume limit in concrete applications to multi-dimensional Schr\"odinger operators). Our techniques rely on a Fredholm determinant approach combined with certain measure theoretic facts. In particular, we show that prior vague convergence results for spectral shift functions in the literature actually extend to the notion of weak convergence. More precisely, in the concrete case of multi-dimensional Schr\"odinger operators on a sequence of domains $\Omega_j$ exhausting $\bbR^n$ as $j\to\infty$, we extend the convergence of associated spectral shift functions from vague to weak convergence and also from Dirichlet boundary conditions to more general self-adjoint boundary conditions on $\partial\Omega_j$.


title: Adaptive probabilistic neural coding from deterministic spiking neurons: analysis from first principles

abstract: A neuron transforms its input into output spikes, and this transformation is the basic unit of computation in the nervous system. The spiking response of the neuron to a complex, time-varying input can be predicted from the detailed biophysical properties of the neuron, modeled as a deterministic nonlinear dynamical system. In the tradition of neural coding, however, a neuron or neural system is treated as a black box and statistical techniques are used to identify functional models of its encoding properties. The goal of this work is to connect the mechanistic, biophysical approach to neuronal function to a description in terms of a coding model. Building from preceding work at the single neuron level, we develop from first principles a mathematical theory mapping the relationships between two simple but powerful classes of models: deterministic integrate-and-fire dynamical models and linear-nonlinear coding models. To do so, we develop an approach for studying a nonlinear dynamical system by conditioning on an observed linear estimator. We derive asymptotic closed-form expressions for the linear filter and estimates for the nonlinear decision function of the linear/nonlinear model. We analytically derive the dependence of the linear filter on the input statistics and we show how deterministic nonlinear dynamics can be used to modulate the properties of a probabilistic code. We demonstrate that integrate-and-fire models without any additional currents can perform perfect contrast gain control, a sophisticated adaptive computation, and we identify the general dynamical principles responsible. We then design from first principles a nonlinear dynamical model that implements gain control. While we focus on the integrate-and-fire models for tractability, the framework we propose to relate LN and dynamical models generalizes naturally to more complex biophysical models.


title: High pressure transport properties of the topological insulator Bi2Se3

abstract: We report x-ray diffraction, electrical resistivity, and magnetoresistance measurements on Bi2Se3 under high pressure and low temperature conditions. Pressure induces profound changes in both the room temperature value of the electrical resistivity as well as the temperature dependence of the resistivity. Initially, pressure drives Bi2Se3 towards increasingly insulating behavior and then, at higher pressures, the sample appears to enter a fully metallic state coincident with a change in the crystal structure. Within the low pressure phase, Bi2Se3 exhibits an unusual field dependence of the transverse magnetoresistance that is positive at low fields and becomes negative at higher fields. Our results demonstrate that pressures below 8 GPa provide a non-chemical means to controllably reduce the bulk conductivity of Bi2Se3.


title: Baryons in the outskirts of the X-ray brightest galaxy cluster

abstract: Studies of the diffuse X-ray emitting gas in galaxy clusters have provided powerful constraints on cosmological parameters and insights into plasma astrophysics. However, measurements of the faint cluster outskirts have become possible only over the last few years. Here, we present results from Suzaku observations of the Perseus Cluster, which provide our best measurements of the thermodynamic properties of the ICM at large radii to date. In particular, we focus on the details of the data analysis procedure and discuss the evidence for a clumpy distribution of the gas in the outskirts, which is important for understanding the physics of the ongoing growth of clusters from the surrounding cosmic web.


title: X-ray Modeling of \eta\ Carinae and WR140 from SPH Simulations

abstract: The colliding wind binary (CWB) systems \eta\ Carinae and WR140 provide unique laboratories for X-ray astrophysics. Their wind-wind collisions produce hard X-rays that have been monitored extensively by several X-ray telescopes, including RXTE. To interpret these X-ray light curves and spectra, we apply 3D hydrodynamic simulations of the wind-wind collision using smoothed particle hydrodynamics (SPH), with the recent improvements of radiative cooling and the acceleration of the stellar winds according to a \beta\ law. For both systems, the 2-10 keV RXTE light curves are well-reproduced in absolute units for most phases, but the light curve dips associated with the periastron passages are not well matched. In WR140, the dip is too weak, and in \eta\ Carinae, the large difference in wind speeds of the two stars leads to a hot, post-periastron bubble that produces excess emission toward the end of the X-ray minimum.


title: The Late Stages of Protoplanetary Disk Evolution: A Millimeter Survey of Upper Scorpius

abstract: We present deep 1.2 millimeter photometry of 37 stars in the young (5 Myr) Upper Scorpius OB association, sensitive to ~4 x 10^-3 Mjup of cool millimeter dust. Disks around four low- and solar-mass stars are detected, as well as one debris disk around an intermediate mass star, with dust masses ranging from 3.6 x 10^-3 -- 1.0 x 10^-1 Mjup. The source with the most massive disk exhibits a transition-disk spectral energy distribution. Combining our results with previous studies, we find the millimeter-detection fraction of Class II sources has significantly decreased from younger ages, and comparison with near-infrared and Halpha measurements indicates the present disks have undergone significant evolution in composition or structure at all radii. The disks of Upper Scorpius represent the tail-end of the depletion of primordial disks; while a few near-solar mass stars may still sustain giant planet formation, this process has finished around higher mass stars


title: Atomic parity violation in two-photon J=0-to-1 transitions

abstract: We present a method for measuring nuclear-spin-dependent atomic parity violation without nuclear-spin-independent background. Such measurements can be achieved by observing interference of parity-conserving and parity-violating two-photon J=0-to-1 transitions driven by collinear photons of the same frequency in the presence of an external static magnetic field.


title: First Measurements of Inclusive Muon Neutrino Charged Current Differential Cross Sections on Argon

abstract: The ArgoNeuT collaboration presents the first measurements of inclusive muon neutrino charged current differential cross sections on argon. Obtained in the NuMI neutrino beamline at Fermilab, the results are reported in terms of outgoing muon angle and momentum. The data are consistent with the Monte Carlo expectation across the full range of kinematics sampled, $0^\circ$$<\theta_\mu$$<36^\circ$ and 0$<P_\mu$$<25$ GeV/c. Along with confirming the viability of liquid argon time projection chamber technology for neutrino detection, the measurements allow tests of low energy neutrino scattering models important for interpreting results from long baseline neutrino oscillation experiments designed to investigate CP violation and the orientation of the neutrino mass hierarchy.


title: The next nearest neighbor effect on the 2D materials properties

abstract: In this work, the effect of introducing next nearest neighbor (NNN) hopping to the 2D materials was studied using the graphene 2D honeycomb two sublattice as an example. It is found that introducing NNN to the 2D materials removes the symmetry around the Fermi level and shifts it, at a small value of NNN hopping. This effect increases with increasing NNN hopping. If the NNN hopping becomes competitive with nearest neighbor (NN) hopping, the dispersion relations of the 2D materials changes completely from NN hopping dispersion relations. The results show that the 2D material sensitivity for NNN hopping effect is much larger in the 2D honeycomb lattice than 2D square lattice. This is due to the fact that the number of NNN sites is equal to six, which is the double of NN sites in the 2D honeycomb lattice. Meanwhile, the number of NNN sites is equal to four which is equal to NN sites in 2D square lattice. We therefore conclude that by changing the ratio between NNN and NN sites in the 2D lattice one can tune the sensitivity for NNN hopping effects.


title: Correlation energy of a homogeneous dipolar Fermi gas

abstract: We study the normal state of a 3-$d$ homogeneous dipolar Fermi gas beyond the Hartree-Fock approximation. The correlation energy is found of the same order as the Fock energy, unusually strong for a Fermi-liquid system. As a result, the critical density of mechanical collapse is smaller than that estimated in the Hartree-Fock approximation. With the correlation energy included, a new energy functional is proposed for the trapped system, and its property is explored.


title: First-principles quantum transport modeling of thermoelectricity in single-molecule nanojunctions with graphene nanoribbon electrodes

abstract: We overview nonequilibrium Green function combined with density functional theory (NEGF-DFT) modeling of independent electron and phonon transport in nanojunctions with applications focused on a new class of thermoelectric devices where a single molecule is attached to two metallic zigzag graphene nanoribbons (ZGNRs) via highly transparent contacts. Such contacts make possible injection of evanescent wavefunctions from ZGNRs, so that their overlap within the molecular region generates a peak in the electronic transmission. Additionally, the spatial symmetry properties of the transverse propagating states in the ZGNR electrodes suppress hole-like contributions to the thermopower. Thus optimized thermopower, together with diminished phonon conductance through a ZGNR/molecule/ZGNR inhomogeneous structure, yields the thermoelectric figure of merit ZT~0.5 at room temperature and 0.5<ZT<2.5 below liquid nitrogen temperature. The reliance on evanescent mode transport and symmetry of propagating states in the electrodes makes the electronic-transport-determined power factor in this class of devices largely insensitive to the type of sufficiently short conjugated organic molecule, which we demonstrate by showing that both 18-annulene and C10 molecule sandwiched by the two ZGNR electrodes yield similar thermopower. Thus, one can search for molecules that will further reduce the phonon thermal conductance (in the denominator of ZT) while keeping the electronic power factor (in the nominator of ZT) optimized. We also show how often employed Brenner empirical interatomic potential for hydrocarbon systems fails to describe phonon transport in our single-molecule nanojunctions when contrasted with first-principles results obtained via NEGF-DFT methodology.


title: Correlated multiplexity and connectivity of multiplex random networks

abstract: Nodes in a complex networked system often engage in more than one type of interactions among them; they form a multiplex network with multiple types of links. In real-world complex systems, a node's degree for one type of links and that for the other are not randomly distributed but correlated, which we term correlated multiplexity. In this paper we study a simple model of multiplex random networks and demonstrate that the correlated multiplexity can drastically affect the properties of giant component in the network. Specifically, when the degrees of a node for different interactions in a duplex Erdos-Renyi network are maximally correlated, the network contains the giant component for any nonzero link densities. In contrast, when the degrees of a node are maximally anti-correlated, the emergence of giant component is significantly delayed, yet the entire network becomes connected into a single component at a finite link density. We also discuss the mixing patterns and the cases with imperfect correlated multiplexity.


title: Convergence of mixing times for sequences of random walks on finite graphs

abstract: We establish conditions on sequences of graphs which ensure that the mixing times of the random walks on the graphs in the sequence converge. The main assumption is that the graphs, associated measures and heat kernels converge in a suitable Gromov-Hausdorff sense. With this result we are able to establish the convergence of the mixing times on the largest component of the Erdos-Renyi random graph in the critical window, sharpening previous results for this random graph model. Our results also enable us to establish convergence in a number of other examples, such as finitely ramified fractal graphs, Galton-Watson trees and the range of a high-dimensional random walk.


title: Unconditional security proof of a deterministic quantum key distribution with a two-way quantum channel

abstract: In a deterministic quantum key distribution (DQKD) protocol with a two-way quantum channel, Bob sends a qubit to Alice who then encodes a key bit onto the qubit and sends it back to Bob. After measuring the returned qubit, Bob can obtain Alice's key bit immediately, without basis reconciliation. Since an eavesdropper may attack the qubits traveling on either the Bob-Alice channel or the Alice-Bob channel, the security analysis of DQKD with a two-way quantum channel is complicated and its unconditional security has been controversial. This paper presents a security proof of a single-photon four-state DQKD against general attacks.


title: Parsec-Scale Behavior of Blazars during High Gamma-Ray States

abstract: We compare the \gamma-ray light curves of the blazars, constructed with data provided by the Fermi Large Area Telescope, with flux and polarization variations in the VLBI core and bright superluminal knots obtained via monthly monitoring with the Very Long Baseline Array at 43 GHz. For all blazars in the sample that exhibit a high \gamma-ray state on time scales from several weeks to several months, an increase of the total flux in the mm-wave core is contemporaneous with the \gamma-ray activity (more than a third of the sample). Here we present the results for quasars with the most extreme \gamma-ray behavior (3C 454.3, 3C 273, 3C 279, 1222+216, and 1633+382). The sources show that in addition to the total flux intensity behavior, a maximum in the degree of polarization in the core or bright superluminal knot nearest to the core coincides with the time of a \gamma-ray peak to within the accuracy of the sampling of the radio data. These argue in favor of location of many of \gamma-ray outbursts in blazars outside of the broad line region, either in the vicinity or downstream of the mm-wave VLBI core.


title: Entropy and periodic orbits for equivalent smooth flows

abstract: Given any $K>0$, we construct two equivalent $C^2$ flows, one of which has positive topological entropy larger than $K$ and admits zero as the exponential growth of periodic orbits, in contrast, the other has zero topological entropy and super-exponential growth of periodic orbits. Moreover we establish a $C^{\infty}$ flow on $\mathbb{S}^2$ with super-exponential growth of periodic orbits, which is also equivalent to another flow with zero exponential growth of periodic orbits. On the other hand, any two dimensional flow has only zero topological entropy.


title: Enhancement of shot noise due to the fluctuation of Coulomb interaction

abstract: We have developed a theoretical formalism to investigate the contribution of fluctuation of Coulomb interaction to the shot noise based on Keldysh non-equilibrium Green's function method. We have applied our theory to study the behavior of dc shot noise of atomic junctions using the method of nonequilibrium Green's function combined with the density functional theory (NEGF-DFT). In particular, for atomic carbon wire consisting 4 carbon atoms in contact with two Al(100) electrodes, first principles calculation within NEGF-DFT formalism shows a negative differential resistance (NDR) region in I-V curve at finite bias due to the effective band bottom of the Al lead. We have calculated the shot noise spectrum using the conventional gauge invariant transport theory with Coulomb interaction considered explicitly on the Hartree level along with exchange and correlation effect. Although the Fano factor is enhanced from 0.6 to 0.8 in the NDR region, the expected super-Poissonian behavior in the NDR regionis not observed. When the fluctuation of Coulomb interaction is included in the shot noise, our numerical results show that the Fano factor is greater than one in the NDR region indicating a super-Poissonian behavior.


title: Infinite Invariant Density Determines Statistics of Time Averages for Weak Chaos

abstract: Weakly chaotic non-linear maps with marginal fixed points have an infinite invariant measure. Time averages of integrable and non-integrable observables remain random even in the long time limit. Temporal averages of integrable observables are described by the Aaronson-Darling-Kac theorem. We find the distribution of time averages of non-integrable observables, for example the time average position of the particle. We show how this distribution is related to the infinite invariant density. We establish four identities between amplitude ratios controlling the statistics of the problem.


title: Strange quarks and lattice QCD

abstract: The last few years have seen a dramatic improvement in our knowledge of the strange form factors of the nucleon. With regard to the vector from factors the level of agreement between theory and experiment gives us considerable confidence in our ability to calculate with non-perturbative QCD. The calculation of the strange scalar form factor has moved significantly in the last two years, with the application of new techniques which yield values considerably smaller than believed for the past 20 years. These new values turn out to have important consequences for the detection of neutralinos, a favourite dark matter candidate. Finally, very recent lattice studies have resurrected interest in the famed H-dibaryon, with modern chiral extrapolation of lattice data suggesting that it may be only slightly unbound. We review some of the major sources of uncertainty in that chiral extrapolation.


title: A Relativistic Conical Function and its Whittaker Limits

abstract: In previous work we introduced and studied a function $R(a_{+},a_{-},{\bf c};v,\hat{v})$ that is a generalization of the hypergeometric function ${}_2F_1$ and the Askey-Wilson polynomials. When the coupling vector ${\bf c}\in{\mathbb C}^4$ is specialized to $(b,0,0,0)$, $b\in{\mathbb C}$, we obtain a function ${\mathcal R}(a_{+},a_{-},b;v,2\hat{v})$ that generalizes the conical function specialization of ${}_2F_1$ and the $q$-Gegenbauer polynomials. The function ${\mathcal R}$ is the joint eigenfunction of four analytic difference operators associated with the relativistic Calogero-Moser system of $A_1$ type, whereas the function $R$ corresponds to $BC_1$, and is the joint eigenfunction of four hyperbolic Askey-Wilson type difference operators. We show that the ${\mathcal R}$-function admits five novel integral representations that involve only four hyperbolic gamma functions and plane waves. Taking their nonrelativistic limit, we arrive at four representations of the conical function. We also show that a limit procedure leads to two commuting relativistic Toda Hamiltonians and two commuting dual Toda Hamiltonians, and that a similarity transform of the function ${\mathcal R}$ converges to a joint eigenfunction of the latter four difference operators.


title: Understanding hadronic $\gamma$-ray emission from supernova remnants

abstract: We aim to test the plausibility of a theoretical framework in which the $\gamma-$ray emission detected from supernova remnants is of hadronic origin, i.e., due to the decay of neutral pions produced in nuclear collisions involving relativistic nuclei. In particular, we investigate how the nature of the circumstellar medium affects the evolution of a remnant and of its $\gamma-$ray emission, stressing the role of magnetic field amplification in the prediction of expected particle spectra. A phenomenological scenario consistent with both the underlying Physics and the larger and larger amount of observational data provided by the present generation of $\gamma-$ray experiments is finally outlined and critically discussed.


title: Vanishing Thermal Mass in the Strongly Coupled QCD/QED medium

abstract: In this paper we perform a nonperturbative analysis of a thermal quasifermion in thermal QCD/QED by studying its self-energy function through the Dyson-Schwinger equation with the hard-thermal-loop resummed improved ladder kernel. Our analysis reveals several interesting results, some of which may force us to change the image of the thermal quasifermion: (1) The thermal mass of a quasifermion begins to decrease as the coupling gets stronger and finally disappears in the strong coupling region,(2) the imaginary part of the chiral invariant mass function (i.e., the decay width of the quasifermion) persists to have $O(g^2 T \log (1/g))$ behavior. Present results suggest that in the recently produced strongly coupled quark-gluon-plasma, the thermal mass of a quasifermion should vanish. We also briefly comment on evidence of the existence of a massless, or an ultrasoft mode.


title: A remark on the algebraic normal form method applied to the Dirac-Klein-Gordon system in two space dimensions

abstract: We consider the massive Dirac-Klein-Gordon system in two space dimensions. Under the non-resonace mass condition, we show that the solution is asymptotically free if the initial data are sufficiently small in a suitable weighted Sobolev space. In particular, it turns out that the Dirac component of the DKG system tends to a solution of the free Dirac equation. Our proof is based on the algebraic normal form method.


title: Trouble shooting for covariance fitting in highly correlated data

abstract: We report a possible solution to the trouble that the covariance fitting fails when the data is highly correlated and the covariance matrix has small eigenvalues. As an example, we choose the data analysis of highly correlated $B_K$ data on the basis of the SU(2) staggered chiral perturbation theory. Basically, the essence of the problem is that we do not have an accurate fitting function so that we cannot fit the highly correlated and precise data. When some eigenvalues of the covariance matrix are small, even a tiny error of fitting function can produce large chi-square and spoil the fitting procedure. We have applied a number of prescriptions available in the market such as diagonal approximation and cutoff method. In addition, we present a new method, the eigenmode shift method which fine-tunes the fitting function while keeping the covariance matrix untouched.


title: Darboux Integrals for Schr\"odinger Planar Vector Fields via Darboux Transformations

abstract: In this paper we study the Darboux transformations of planar vector fields of Schr\"odinger type. Using the isogaloisian property of Darboux transformation we prove the "invariance" of the objects of the "Darboux theory of integrability". In particular, we also show how the shape invariance property of the potential is important in order to preserve the structure of the transformed vector field. Finally, as illustration of these results, some examples of planar vector fields coming from supersymmetric quantum mechanics are studied.


title: Orbit Mode observation Technique Developed for VERITAS

abstract: The canonical observation mode for IACT gamma-ray observations employs four discrete pointings in the cardinal directions (the "wobble" mode). For the VERITAS Observatory, the target source is offset by 0.5-0.7 degrees from the camera center, and the observation lasts 20 minutes. During January/February of 2011, the VERITAS Observatory tested a new "orbit" observation mode, where the target source is continuously rotated around the camera center at a fixed radial offset and constant angular velocity. This mode of observation may help better estimate the cosmic ray background across the field of view, and will also reduce detector dead-time between the discrete 20 minute runs. In winter 2011, orbit mode observations where taken on the Crab Nebula and Mrk 421. In this paper we present the analysis of these observations, and describe the potential applications of orbit mode observations for diffuse (extended) sources as well as GRBs.


title: The Determination of $\sin^2 \theta_W$ in Neutrino Scattering: no more anomaly

abstract: We review the corrections to the NuTeV determination of sin2 qW, concluding that it is no longer appropriate to present it as an "anomaly". Indeed, when well understood corrections associated with charge symmetry violation and the iso-vector nuclear force are properly included, the measurement is completely consistent with the Standard Model.


title: Proof-irrelevant model of CC with predicative induction and judgmental equality

abstract: We present a set-theoretic, proof-irrelevant model for Calculus of Constructions (CC) with predicative induction and judgmental equality in Zermelo-Fraenkel set theory with an axiom for countably many inaccessible cardinals. We use Aczel's trace encoding which is universally defined for any function type, regardless of being impredicative. Direct and concrete interpretations of simultaneous induction and mutually recursive functions are also provided by extending Dybjer's interpretations on the basis of Aczel's rule sets. Our model can be regarded as a higher-order generalization of the truth-table methods. We provide a relatively simple consistency proof of type theory, which can be used as the basis for a theorem prover.


title: Chaotic and Predictable Representations for Multidimensional L\'{e}vy Processes

abstract: For a general Multidimensional L\'{e}vy process (satisfying some moment conditions), we introduce the Multidimensional power jump processes and the related Multidimensional Teugels martingales. Furthermore, we orthogonalize the Multidimensional Teugels martingales by applying Gram-Schmidt process. We give a chaotic representation for every square integral random variable in terms of these orthogonalized Multidimensional Teugels martingales. The predictable representation with respect to the same set of Multidimensional orthogonalized martingales of square integrable random variables and of square integrable martingales is an easy consequence of the chaotic representation.


title: Multi GPU Performance of Conjugate Gradient Solver with Staggered Fermions in Mixed Precision

abstract: GPU has a significantly higher performance in single-precision computing than that of double precision. Hence, it is important to take a maximal advantage of the single precision in the CG inverter, using the mixed precision method. We have implemented mixed precision algorithm to our multi GPU conjugate gradient solver. The single precision calculation use half of the memory that is used by the double precision calculation, which allows twice faster data transfer in memory I/O. In addition, the speed of floating point calculations is 8 times faster in single precision than in double precision. The overall performance of our CUDA code for CG is 145 giga flops per GPU (GTX480), which does not include the infiniband network communication. If we include the infiniband communication, the overall performance is 36 giga flops per GPU (GTX480).


title: Theory of quasiparticle vortex bound states in Fe-based superconductors: application to LiFeAs

abstract: Spectroscopy of vortex bound states can provide valuable information on the structure of the superconducting order parameter. Quasiparticle wavefunctions are expected to leak out in the directions of gap minima or nodes, if they exist, and scanning tunneling spectroscopy (STS) on these low-energy states should probe the momentum dependence of the gap. Anisotropy can also arise from band structure effects, however. We perform a quasiclassical calculation of the density of states of a single vortex in an anisotropic superconductor, and show that if the gap itself is not highly anisotropic, the Fermi surface anisotropy dominates, preventing direct observation of superconducting gap features. This serves as a cautionary message for the analysis of STS data on the vortex state on Fe-based superconductors, in particular LiFeAs, which we treat explicitly.


title: Leptonic and Hadronic Models for the Extra Components in Fermi-LAT GRBs

abstract: {\it Fermi} satellite has detected extra spectral components in GeV energy range in several GRBs. Those components have power-law shapes, which may contribute to also X-ray band. The limited photon statistics make it difficult to determine the origin of GeV photons, namely internal or external shocks. We try to explain the extra components with our numerical simulations based on internal dissipation picture. Our leptonic model may reproduce not only the GeV excess via SSC emission but also the low-energy excess via the late synchrotron emission from remnant electrons. The hadronic models also reproduce keV-GeV power-law components by synchrotron and SSC emissions from secondary electron-positron pairs. In most cases the hadronic models require a much larger energy of protons than gamma-rays. However, the keV-GeV flat spectra detected in GRB 090902B is well explained with a comparable energy in protons and gamma-rays Finally, we discuss both advantages and weaknesses for both the leptonic and hadronic models. To overcome difficulties in internal dissipation models, we propose introduction of continuous acceleration similar to the second-order Fermi acceleration.


title: Finite Volume Errors in $B_K$

abstract: We discuss finite volume errors in our calculations of $B_K$ using improved staggered fermions on the MILC asqtad lattices. Using GPUs, we are now able to extrapolate using next-to-leading order (NLO) staggered SU(2) chiral perturbation theory including the finite volume corrections arising from pion loops. We find that the impact of FV fitting is very small, giving a 0.5% shift in the continuum limit.


title: Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input

abstract: Besides parametric uncertainties and disturbances, the unmodeled dynamics and time delay at the input are often present in practical systems, which cannot be ignored in some cases. This paper aims to solve output feedback tracking control problem for a class of nonlinear uncertain systems subject to unmodeled high-frequency gains and time delay at the input. By the additive decomposition, the uncertain system is transformed to an uncertainty-free system, where the uncertainties, disturbance and effect of unmodeled dynamics plus time delay are lumped into a new disturbance at the output. Sequently, additive decomposition is used to decompose the transformed system, which simplifies the tracking controller design. To demonstrate the effectiveness, the proposed control scheme is applied to three benchmark examples.


title: Non-Goldstone pion masses with NLO in Staggered Chiral Perturbation Theory

abstract: We present results of the masses of taste non-Goldstone $(F \ne \xi_5)$ pions and kaons calculated up to the next-to-leading order in the SU(3) staggered chiral perturbation theory (SChPT). The results can be used to fit data and to understand taste symmetry breaking effect quantitatively. The final expressions for the non-Goldstone masses contain 20 low energy constants unique to the non-Goldstone sector. We have calculated the several cases such as the full QCD, partially quenched QCD, and quenched QCD in the $N_f=1+1+1$ flavor and $N_f=2+1$ flavor cases in the SU(3) and SU(2) SChPT. In this paper, we present only the SU(3) part.


title: The group law on the tropical Hesse pencil

abstract: We show that the addition of points on the tropical Hesse curve can be realized via the intersection with a tropical line. Then the addition formula for the tropical Hesse curve is reduced from those for the level-three theta functions through the ultradiscretization procedure. A tropical analogue of the Hessian group, the group of linear automorphisms acting on the Hesse pencil, is also investigated; it is shown that the dihedral group of degree three is the group of linear automorphisms acting on the tropical Hesse pencil.


title: A Novel Method to Identify AGNs Based on Emission Line Excess and the Nature of Low-luminosity AGNs in the Sloan Digital Sky Survey: I - A Novel Method

abstract: (Abridged) We develop a novel technique to identify active galactic nuclei (AGNs) and study the nature of low-luminosity AGNs in the Sloan Digital Sky Survey. This is the first part of a series of papers and we develop a new, sensitive method to identify AGNs in this paper. An emission line luminosity in a spectrum is a sum of a star formation component and an AGN component (if present). We demonstrate that an accurate estimate of the star formation component can be achieved by fitting model spectra, generated with a recent stellar population synthesis code, to a continuum spectrum. By comparing the observed total line luminosity with that attributed to star formation, we can tell whether a galaxy host an AGN or not. We compare our method with the commonly used emission line diagnostics proposed by Baldwin et al. (1981; hereafter BPT). Our method recovers the same star formation/AGN classification as BPT for 85% of the strong emission line objects, which comprise 43% of our sample. A unique feature of our method is its sensitivity: it is applicable to 78% of the sample. We further make comparisons between our method and BPT using stacked spectra and selection in X-ray and radio wavelengths. We show that, while the method suffers from incompleteness and contamination as any AGN identification methods do, it is overall a sensitive method to identify AGNs. Another unique feature of the method is that it allows us to subtract emission line luminosity due to star formation and extract intrinsic AGN luminosity. We will make a full use of these features to study the nature of low-luminosity AGNs in Paper-II.


title: A Novel Method to Identify AGNs Based on Emission Line Excess and the Nature of Low-luminosity AGNs in the Sloan Digital Sky Survey: II - Nature of Low-luminosity AGNs

abstract: We develop a novel method to identify active galactic nuclei (AGNs) and study the nature of low-luminosity AGNs in the Sloan Digital Sky Survey. This is the second part of a series of papers and we study the correlations between the AGN activities and host galaxy properties. Based on a sample of AGNs identified with the new method developed in Paper-I, we find that AGNs typically show extinction of tau_V=1.2 and they exhibit a wide range of ionization levels. The latter finding motivates us to use [OII]+[OIII] luminosity as an indicator of AGN power. We find that AGNs are preferentially located in massive, red, early-type galaxies. By carefully taking into account a selection bias of the Oxygen-excess method, we show that strong AGNs are located in actively star forming galaxies and rapidly growing super-massive black holes are located in rapidly growing galaxies, which clearly shows the co-evolution of super-massive black holes and the host galaxies. This is a surprising phenomenon given that the growths of black holes and host galaxies occur at very different physical scales. Interestingly, the AGN power does not strongly correlate with the host galaxy mass. It seems that mass works like a 'switch' to activate AGNs. The absence of AGNs in low-mass galaxies might be due the absence of super-massive black holes in those galaxies, but a dedicated observation of nuclear region of nearby low-mass galaxies would be necessarily to obtain deeper insights into it.


title: Temperature dependance of the tunneling density of states in sub-micron planar metal / oxide / graphene junctions

abstract: We present tunneling measurements of sub-micron metal/insulator/graphene planar tunnel junctions up to room temperature. We observe a gate independent gap, as previously observed only by low temperature STM[Y. Zhang et al., Nat. Phys. 4, 627 (2008)]. No gap appears at temperatures above 150K, which is four times smaller than the theoretically expected $T_{c}$, from the accepted mean field model[T. O. Wehling et al. Phys. Rev. Lett. 101, 216803 (2008)]. We show that taking into account an additional vibrational effect of out-of-plane phonon soft modes the gap may disappear from the measurements at temperatures much lower than the calculated $T_{c}$.


title: Screening properties and phase transitions in unconventional plasmas for Ising-type quantum Hall states

abstract: Utilizing large-scale Monte-Carlo simulations, we investigate an unconventional two-component classical plasma in two dimensions which controls the behavior of the norms and overlaps of the quantum-mechanical wavefunctions of Ising-type quantum Hall states. The plasma differs fundamentally from that which is associated with the two-dimensional XY model and Abelian fractional quantum Hall states. We find that this unconventional plasma undergoes a Berezinskii-Kosterlitz-Thouless phase transition from an insulator to a metal. The parameter values corresponding to Ising-type quantum Hall states lie on the metallic side of this transition. This result verifies the required properties of the unconventional plasma used to demonstrate that Ising-type quantum Hall states possess quasiparticles with non-Abelian braiding statistics.


title: Effective convergence bounds for Frobenius structures on connections

abstract: Consider a meromorphic connection on P^1 over a p-adic field. In many cases, such as those arising from Picard-Fuchs equations or Gauss-Manin connections, this connection admits a Frobenius structure defined over a suitable rigid analytic subspace. We give an effective convergence bound for this Frobenius structure by studying the effect of changing the Frobenius lift. We also give some examples indicating that our bound is essentially optimal.


title: Electromagnetic priors for black hole spindown in searches for gravitational-waves from supernovae and long GRBs

abstract: Some core-collapse supernovae appear to be hyper-energetic, and a subset of these are aspherical and associated with long GRBs. We use observations of electromagnetic emission from core-collapse supernovae and GRBs to impose constraints on their free energy source as a prior to searches for their gravitational wave emission. We review these events based on a finite efficiency for the conversion of spin energy to magnetic winds powering supernovae. We find that some of the hyper-energetic events cannot be powered by the spindown of rapidly rotating proto-neutron stars by virtue of their limited rotational energy. They can, instead, be produced by the spindown of black holes providing a distinct prospect for gravitational-wave emission of interest to LIGO, Virgo, and the LCGT.


title: Behavior of heat capacity of an attractive Bose-Einstein Condensate approaching collapse

abstract: We report calculation of heat capacity of an attractive Bose-Einstein condensate, with the number N of bosons increasing and eventually approaching the critical number Ncr for collapse, using the correlated potential harmonics (CPH) method. Boson pairs interact via the realistic van der Waals potential. It is found that the transition temperature Tc increases initially slowly, then rapidly as N becomes closer to Ncr . The peak value of heat capacity for a fixed N increases slowly with N, for N far away from Ncr . But after reaching a maximum, it starts decreasing when N approaches Ncr . The effective potential calculated by CPH method provides an insight into this strange behavior.


title: Nucleation and evolution of false vacuum bubbles in scalar-tensor gravity

abstract: In this presentation, we discuss the nucleation and subsequent evolution of false vacuum bubbles in the scalar-tensor gravity. First, we transform the scalar-tensor type theory of gravity to the standard Brans-Dicke type. Second, we transform the Brans-Dicke type theory from the Jordan frame to the Einstein frame. For a certain potential, a true vacuum bubble in the Einstein frame can be transformed to a false vacuum bubble in the Jordan frame by a conformal transformation. Thus, in the Jordan frame, the nucleation of a false vacuum bubble can be possible and its subsequent evolution can be described with the help of thin-wall approximation. False vacuum bubbles have physical importance: a set of false vacuum bubbles might generate a negative energy bath and it has further theoretical implications.


title: Multistage Zeeman deceleration of metastable neon

abstract: A supersonic beam of metastable neon atoms has been decelerated by exploiting the interaction between the magnetic moment of the atoms and time-dependent inhomogeneous magnetic fields in a multistage Zeeman decelerator. Using 91 deceleration solenoids, the atoms were decelerated from an initial velocity of 580m/s to final velocities as low as 105m/s, corresponding to a removal of more than 95% of their initial kinetic energy. The phase-space distribution of the cold, decelerated atoms was characterized by time-of-flight and imaging measurements, from which a temperature of 10mK was obtained in the moving frame of the decelerated sample. In combination with particle-trajectory simulations, these measurements allowed the phase-space acceptance of the decelerator to be quantified. The degree of isotope separation that can be achieved by multistage Zeeman deceleration was also studied by performing experiments with pulse sequences generated for $^{20}$Ne and $^{22}$Ne.


title: The XMM-BCS galaxy cluster survey: I. The X-ray selected cluster catalog from the initial 6 deg$^2$

abstract: The XMM-Newton - Blanco Cosmology Survey project (XMM-BCS) is a coordinated X-ray, optical and mid-infrared cluster survey in a field also covered by Sunyaev-Zel'dovich effect surveys by the South Pole Telescope and the Atacama Cosmology Telescope. The aim of the project is to study the cluster population in a 14 deg$^2$ field. In this work, we present a catalog of 46 X-ray selected clusters from the initial 6 deg$^2$ survey core. We describe the XMM-BCS source detection pipeline and derive physical properties of the clusters. We provide photometric redshift estimates derived from the BCS imaging data and spectroscopic redshift measurements for a low redshift subset of the clusters. We derive the cluster log N - log S relation using an approximation to the survey selection function and find it in good agreement with previous studies. We carry out an initial comparison between X-ray luminosity derived masses and masses from optical estimators from the Southern Cosmology Survey for a subset of the cluster sample. Optical masses based on cluster richness and total optical luminosity are found to be significantly higher than the X-ray values. (abridged)


title: Charm quark system on the physical point in 2+1 flavor lattice QCD

abstract: We investigate the charm quark system on 2+1 flavor PACS-CS configurations. Calculations are performed at the lattice spacing $a^{-1}=2.194(10)$ GeV and the spatial extent $L=2.9$ fm with O(a)-improved Wilson fermions for the light quarks and the relativistic heavy fermion for the charm quark. Our dynamical $ud$ and strange quark masses and valence charm quark mass are set to their physical values. A comparison of the mass spectrum and decay constants with experiments is presented. Our results for the charm quark mass and CKM matrix elements are also reported.


title: Observation of the Perseus cluster of galaxies with the MAGIC telescopes

abstract: The MAGIC telescopes performed a deep observation of the central region of the Perseus galaxy cluster in stereoscopic mode between October 2009 and February 2011. The nearly 85 hr of collected data (after quality selection) represent the deepest observation of a cluster of galaxies at very high energies (VHE, E > 100 GeV) ever. The survey resulted in the detection of VHE gamma-ray emissions from its central galaxy NGC 1275 and from the radio galaxy IC 310. In addition, the deep survey also permits for the first time to constrain emission models predicting VHE gamma-rays from cosmic-ray acceleration in the cluster. In this contribution we report the latest MAGIC results concerning these topics.


title: The near-critical planar FK-Ising model

abstract: We study the near-critical FK-Ising model. First, a determination of the correlation length defined via crossing probabilities is provided. Second, a phenomenon about the near-critical behavior of FK-Ising is highlighted, which is completely missing from the case of standard percolation: in any monotone coupling of FK configurations $\omega_p$ (e.g., in the one introduced in [Gri95]), as one raises $p$ near $p_c$, the new edges arrive in a self-organized way, so that the correlation length is not governed anymore by the number of pivotal edges at criticality.


title: A Tensor Space Representation of the Symplectic Blob Algebra

abstract: The symplectic blob algebras are a family of finite dimensional noncommutative algebras over $\mathbb{Z}[X_1,X_2,X_3,X_4,X_5,X_6]$ that can be defined in terms of planar diagrams in a way that extends the Temperley-Lieb and (ordinary) blob algebras. In this paper we construct a new "tensor space" representation of the symplectic blob algebra $\mathcal{A} \otimes \sba$ for each $n \in \mathbb{N}$, for $\mathcal{A}$ a particular commutative ring with indeterminates. The form of this representation is motivated by the XXZ representation of the Temperley-Lieb algebra $\TL_n$ \cite{jimbo86} and the related Martin-Woodcock representation of the blob algebra $b_n$ \cite{martinwoodcock2003}. For $k$ an algebraically closed field, and for any $(\delta,\delta_L,\delta_R,\kappa_L,\kappa_R,\kappa) \in k^{6}$, the algebra $\sba$ specialises to a $k$-algebra $\sba(\delta,\delta_L,\delta_R,\kappa_L,\kappa_R,\kappa)$. For any such specialisation, our representation passes to a $\sba(\delta,\delta_L,\delta_R,\kappa_L,\kappa_R,\kappa)$-module $\mathcal{V}(n)$.


title: Tilting Modules for the Symplectic Blob Algebra

abstract: Let $\Field$ be an algebraically closed field. For $n \in \mathbb{N}$ and $\delta, \delta_L, \delta_R, \kappa_L, \kappa_R, \kappa \in \Field$, the symplectic blob algebra $\sba(\delta, \delta_L, \delta_R, \kappa_L, \kappa_R, \kappa)$ is a finite dimensional non-commutative $\Field$-algebra that may be viewed as an extension of the Temperley-Lieb algebra. In a previous paper, we defined, for any $n \in \mathbb{N}$, a tensor space module $\tensor[_\sba]{\mathcal{V}(n)}{}$. In this paper we generalise an argument used by Martin and Ryom-Hansen in their study of the (ordinary) blob algebra to show that when $\sba$ is quasihereditary the module $\tensor[_\sba]{\mathcal{V}(n)}{}$ is full-tilting.


title: Critical phenomena in Born-Infeld AdS black holes

abstract: We investigate the thermodynamics of critical phenomena in Born-Infeld AdS black holes using a canonical ensemble. The critical behavior has been studied near the critical point which is characterized by a discontinuity in the heat capacity at constant charge. We explicitly calculate the critical exponents of the relevant thermodynamic quantities. These exponents satisfy all the thermodynamic scaling laws. We also check the Generalized Homogeneous Function (GHF) hypothesis (or the scaling hypothesis) which is shown to be compatible with the thermodynamic scaling laws. Finally we check the validity of the scaling laws of second kind which include the critical exponents associated with the spatial correlation. In the appropriate limit our results also provide the corresponding expressions for the Reissner Nordstrom AdS case.


title: Electronic transport in graphene-based structures: an effective cross section approach

abstract: We show that transport in low-dimensional carbon structures with finite concentrations of scatterers can be modeled by utilising scaling theory and effective cross sections. Our reults are based on large scale numerical simulations of carbon nanotubes and graphene nanoribbons, using a tightbinding model with parameters obtained from first principles electronic structure calculations. As shown by a comprehensive statistical analysis, the scattering cross sections can be used to estimate the conductance of a quasi-1D system both in the Ohmic and localized regimes. They can be computed with good accuracy from the transmission functions of single defects, greatly reducing the computational cost and paving the way towards using first principles methods to evaluate the conductance of mesoscopic systems, consisting of millions of atoms.


title: Manifestly non-Gaussian fluctuations in superconductor-normal metal tunnel nanostructures

abstract: We propose a mesoscopic setup which exhibits strong and manifestly non-Gaussian fluctuations of energy and temperature when suitably driven out of equilibrium. The setup consists of a normal metal island (N) coupled by tunnel junctions (I) to two superconducting leads (S), forming a SINIS structure, and is biased near the threshold voltage for quasiparticle tunneling, $eV\approx2\Delta$. The fluctuations can be measured by monitoring the time-dependent electric current through the system, which makes the setup suitable for the realization of feedback schemes which allow to stabilize the temperature to the desired value.


title: Molecular Dynamics Simulations of Weak Detonations

abstract: Detonation of a three-dimensional reactive non-isotropic molecular crystal is modeled using molecular dynamics simulations. The detonation process is initiated by an impulse, followed by the creation of a stable fast reactive shock wave. The terminal shock velocity is independent of the initiation conditions. Further analysis shows supersonic propagation decoupled from the dynamics of the decomposed material left behind the shock front. The dependence of the shock velocity on crystal nonlinear compressibility resembles solitary behavior. These properties categorize the phenomena as a weak detonation. The dependence of the detonation wave on microscopic potential parameters was investigated. An increase in detonation velocity with the reaction exothermicity reaching a saturation value is observed. In all other respects the model crystal exhibits typical properties of a molecular crystal.


title: The Distribution of Mixing Times in Markov Chains

abstract: The distribution of the "mixing time" or the "time to stationarity" in a discrete time irreducible Markov chain, starting in state i, can be defined as the number of trials to reach a state sampled from the stationary distribution of the Markov chain. Expressions for the probability generating function, and hence the probability distribution of the mixing time starting in state i are derived and special cases explored. This extends the results of the author regarding the expected time to mixing [J.J. Hunter, Mixing times with applications to perturbed Markov chains, Linear Algebra Appl. 417 (2006) 108-123], and the variance of the times to mixing, [J.J. Hunter, Variances of first passage times in a Markov chain with applications to mixing times, Linear Algebra Appl. 429 (2008) 1135-1162]. Some new results for the distribution of recurrence and first passage times in three-state Markov chain are also presented.