July 2013 arXiv papers — page 4

Deepti Kapri, Rosy Madaan, A. K Sharma, Ashutosh Dixit

Blogs are undoubtedly the richest source of information available in cyberspace. Blogs can be of various natures i.e. personal blogs which contain posts on mixed issues or blogs can be domain specific which contains posts on particular topics, this is the reason, they offer wide variety of relevant information which is often focused. A general search engine

Nikolai Dokuchaev

We study linear stochastic partial differential equations of parabolic type with non-local in time or mixed in time boundary conditions. The standard Cauchy condition at the terminal time is replaced by a condition that mixes the random values of the solution at different times, including the terminal time, initial time and continuously distributed times. Fo

W. -C. Syu, D. -S. Lee, C. N. Leung

Inspired by recent discussions of inverse magnetic catalysis in the literature, we examine the effects of a uniform external magnetic field on the chiral phase transition in quenched ladder QED at nonzero chemical potential. In particular, we study the behaviour of the effective potential as the strength of the magnetic field is varied while the chemical pot

Viktor S. Perunicic, Liam T. Hall, David A. Simpson, Charles D. Hill

Nanomagnetometry using the nitrogen-vacancy (NV) centre in diamond has attracted a great deal of interest because of the combined features of room temperature operation, nanoscale resolution and high sensitivity. One of the important goals for nano-magnetometry is to be able to detect nanoscale nuclear magnetic resonance (NMR) in individual molecules. Our th

M. N. Vahia, Saurabh Singh, Amit Seta, B. V. Subbarayappa

We investigate the anomalies in the Earth - Moon system using ancient eclipse data. We identify nine groups of anomalous eclipses between 400 and 1800 AD recorded in parts of India that should have completely missed the subcontinent as per NASA simulations (Espenak and Meeus, 2011). We show that the typical correction to the lunar location required to reconc

Gongjun Xu, Bodhisattva Sen, Zhiliang Ying

This paper investigates the (in)-consistency of various bootstrap methods for making inference on a change-point in time in the Cox model with right censored survival data. A criterion is established for the consistency of any bootstrap method. It is shown that the usual nonparametric bootstrap is inconsistent for the maximum partial likelihood estimation of

Yoshiaki Sofue

The mass distribution in the Galaxy is determined by dynamical and photometric methods. Rotation curves are the major tool for determining the dynamical mass distribution in the Milky Way and spiral galaxies. The photometric (statistical) method utilizes luminosity profiles from optical and infrared observations, and assumes empirical values of the mass-to-l

Amira Henaien, Sorin Stratulat

Largely adopted by proof assistants, the conventional induction methods based on explicit induction schemas are non-reductive and local, at schema level. On the other hand, the implicit induction methods used by automated theorem provers allow for lazy and mutual induction reasoning. In this paper, we present a new tactic for the Coq proof assistant able to

Naeem Abbasi, Osman Hasan, Sofiène Tahar

Modeling and analysis of soft errors in electronic circuits has traditionally been done using computer simulations. Computer simulations cannot guarantee correctness of analysis because they utilize approximate real number representations and pseudo random numbers in the analysis and thus are not well suited for analyzing safety-critical applications. In thi

Razika Lounas, Mohamed Mezghiche, Jean-Louis Lanet

Program transformation has gained a wide interest since it is used for several purposes: altering semantics of a program, adding features to a program or performing optimizations. In this paper we focus on program transformations at the bytecode level. Because these transformations may introduce errors, our goal is to provide a formal way to verify the updat

Mohamed Chaabani, Mohamed Mezghiche, Martin Strecker

Description Logics (DLs) are a family of languages used for the representation and reasoning on the knowledge of an application domain, in a structured and formal manner. In order to achieve this objective, several provers, such as RACER and FaCT++, have been implemented, but these provers themselves have not been yet certified. In order to ensure the soundn

Hatem Ghabri, Ghazi Maatoug, Michael Rusinowitch

Recently efficient model-checking tools have been developed to find flaws in security protocols specifications. These flaws can be interpreted as potential attacks scenarios but the feasability of these scenarios need to be confirmed at the implementation level. However, bridging the gap between an abstract attack scenario derived from a specification and a

Assia Ben Shil, Kaouther Blibech, Riadh Robbana, Wafa Neji

A Publicly Verifiable Secret Sharing (PVSS) scheme allows anyone to verify the validity of the shares computed and distributed by a dealer. The idea of PVSS was introduced by Stadler in [18] where he presented a PVSS scheme based on Discrete Logarithm. Later, several PVSS schemes were proposed. In [2], Behnad and Eghlidos present an interesting PVSS scheme w

Maissa Elleuch, Osman Hasan, Sofiène Tahar, Mohamed Abid

Wireless Sensor Networks (WSNs) have been widely explored for forest fire detection, which is considered a fatal threat throughout the world. Energy conservation of sensor nodes is one of the biggest challenges in this context and random scheduling is frequently applied to overcome that. The performance analysis of these random scheduling approaches is tradi

Davide Ancona, Paola Giannini, Elena Zucca

We define an extension of the simply-typed lambda calculus where two different binding mechanisms, by position and by name, nicely coexist. In the former, as in standard lambda calculus, the matching between parameter and argument is done on a positional basis, hence alpha-equivalence holds, whereas in the latter it is done on a nominal basis. The two mechan

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably, invertible terms are linear terms of a particular shape, called finite hereditary permutators. Typing properties of finite hered

Erika De Benedetti, Simona Ronchi Della Rocca

Non-idempotent intersection types are used in order to give a bound of the length of the normalization beta-reduction sequence of a lambda term: namely, the bound is expressed as a function of the size of the term.

Jana Dunfield

In functional programming languages, the classic form of annotation is a single type constraint on a term. Intersection types add complications: a single term may have to be checked several times against different types, in different contexts, requiring annotation with several types. Moreover, it is useful (in some systems, necessary) to indicate the context

Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof

We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection types. The idea is that components are modeled as typed combinators, and an algorithm for inhabitation {\textemdash} is there a combinatory term e with type tau relative to an environm

Steffen van Bakel, Franco Barbanera, Ugo de'Liguoro

We provide a characterisation of strongly normalising terms of the lambda-mu-calculus by means of a type system that uses intersection and product types. The presence of the latter and a restricted use of the type omega enable us to represent the particular notion of continuation used in the literature for the definition of semantics for the lambda-mu-calcul

Jaume Pernas, Bernat Gastony, Chau Yuen, Jaume Pujol

In the traditional two-rack distributed storage system (DSS) model, due to the assumption that the storage capacity of each node is the same, the minimum bandwidth regenerating (MBR) point becomes infeasible. In this paper, we design a new non-homogeneous two-rack model by proposing a generalization of the threshold function used to compute the tradeoff curv

H. Suzuki, T. Yoshida, S. Ideta, G. Shibata

We have studied the electronic structure of Ba(Fe$_{1-x}$Mn$_{x}$)$_{2}$As$_{2}$ ($x$=0.08), which fails to become a superconductor in spite of the formal hole doping like Ba$_{1-x}$K$_{x}$Fe$_{2}$As$_{2}$, by photoemission spectroscopy and X-ray absorption spectroscopy (XAS). With decreasing temperature, a transition from the paramagnetic phase to the antif

Charith Perera, Arkady Zaslavsky, Peter Christen, Dimitrios Georgakopoulos

The world population is growing at a rapid pace. Towns and cities are accommodating half of the world's population thereby creating tremendous pressure on every aspect of urban living. Cities are known to have large concentration of resources and facilities. Such environments attract people from rural areas. However, unprecedented attraction has now beco

Tyson B. Littenberg, Michael Coughlin, Benjamin Farr, Will M. Farr

The study of compact binary in-spirals and mergers with gravitational wave observatories amounts to optimizing a theoretical description of the data to best reproduce the true detector output. While most of the research effort in gravitational wave data modeling focuses on the gravitational wave- forms themselves, here we will begin to improve our model of t

Maissam Barkeshli

The Kalmeyer-Laughlin chiral spin liquids (CSL) and the Z2 spin liquids are two of the simplest topologically ordered states. Here I develop a theory of a direct quantum phase transition between them. Each CSL is characterized by an integer n and is topologically equivalent to the 1/2n Laughlin fractional quantum Hall (FQH) state. Depending on the parity of

Volodymyr Borshch, Sergij V. Shiyanovskii, Oleg D. Lavrentovich

Electrically induced reorientation of nematic liquid crystal (NLC) molecules caused by dielectric anisotropy of the material is a fundamental phenomenon widely used in modern technologies. Its Achilles heel is a slow (millisecond) relaxation from the field-on to the field-off state. We present an electro-optic effect in an NLC with a response time of about 3

Syaprina, Leon Andretti Abdillah, Nyimas Sopiah

The purpose of this research is to develop an Information System of Selling and Services using Microsoft Visual Basic and Microsoft Access for it database. The benefits of this research is to help CV Computer Plus in selling and services data processing everyday. To develop this IS is used 5 (five) steps: 1) Planning, 2) Analysis, 3) Design, 4) Implementatio

Kristen L. Pudenz, Tameem Albash, Daniel A. Lidar

Quantum information processing offers dramatic speedups, yet is famously susceptible to decoherence, the process whereby quantum superpositions decay into mutually exclusive classical alternatives, thus robbing quantum computers of their power. This has made the development of quantum error correction an essential and inescapable aspect of both theoretical a

Aureliano Calvo, Ariel Futoransky, Carlos Sarraute

Building a password cracking server that preserves the privacy of the queries made to the server is a problem that has not yet been solved. Such a server could acquire practical relevance in the future: for instance, the tables used to crack the passwords could be calculated, stored and hosted in cloud-computing services, and could be queried from devices wi

Nuno Costa Dias, Maurice A. de Gosson, João Nuno Prata

We show that the linear symplectic and anti-symplectic transformations form the maximal covariance group for both the Wigner transform and Weyl operators. The proof is based on a new result from symplectic geometry which characterizes symplectic and anti-symplectic matrices, and which allows us, in addition, to refine a classical result on the preservation o

Aldo V. Figallo, Elda Pick, Susana Saad, Martin Figallo

Hilbert algebras with supremum, i.e., Hilbert algebras where the associated order is a join-semilattice were first considered by A.V. Figallo, G. Ramon and S. Saad in [11], and independently by S. Celani and D. Montangie in [7]. On the other hand, L. Monteiro introduced the notion of n-valued Hilbert algebras (see [12]). In this work, we investigate the clas

Paulo F. Bedaque, Sanjay Reddy

We formulate a theory of Goldstone bosons and their interactions in the superfluid and superconducting phase of dense nucleonic matter at densities of relevance to the neutron star core. For typical neutron star temperatures in the range T = 10^6 to 10^9 K, the Goldstone mode associated with rotational symmetry, called angulons, couple weakly to each other a

Carlos Sarraute, Olivier Buffet, Joerg Hoffmann

Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic testing. A key question is how to generate the attacks. This is naturally formulated as planning under uncertainty, i.e., under incomplete knowledge about the network configuration

Nobuhito Maru, Nobuchika Okada

In the context of gauge-Higgs unification scenario in a 5-dimensional flat spacetime, we investigate Higgs boson production via gluon fusion and its diphoton and Z gamma decay modes at the LHC. We show that the signal strength of the Higgs diphoton decay mode observed at ATLAS (and CMS), which is considerably larger than the Standard Model expectation, can b

Xiaojun Cheng, Chushun Tian, Azriel Z. Genack

The impact of surface reflection on the statistics of transmission eigenvalues is a largely unexplored subject of fundamental and practical importance in statistical optics. Here, we develop a first-principles theory and confirm numerically that the distribution of transmission eigenvalues of diffusive waves exhibits a nonanalytic `transition' as the str

Quist-Aphetsi Kester, Ajibade Ibrahim Kayode

Medicines exist for combating illnesses and drug stores provide an outlet for consumers to gain access to these drugs. However, due to various factors such as cost of production, accessibility and legal issues as well as distribution factors, availability of these drugs at any location cannot be guaranteed at all times. There is need for individuals and orga

M. W. Ahmed, A. E. Champagne, B. R. Holstein, C. R. Howell

We discuss the scientific motivation, possible experiments, and beam requirements for measurements of parity violation in photonuclear reactions at an intensity upgraded HIGS facility, HIGS2.

Jie Xiang, Oleg D. Lavrentovich

We report on fast electro-optic switching (response time 0.1 ms) of a blue-phase-polymer templated nematic with a broad-temperature range of thermodynamic stability and hysteresis-free performance. The nematic fills a polymer template that imposes a periodic structure with cubic symmetry and submicron period. In the field-free state, the nematic in polymer t

Baosen Zhang, Alejandro D. Domiguez-Garcia, David Tse

This paper address the problem of voltage regulation in power distribution networks with deep penetration of distributed energy resources (DERs) without any explicit communication between the buses in the network. We cast the problem as an optimization problem with the objective of minimizing the distance between the bus voltage magnitudes and some reference

Matin Jafarian, Claudio De Persis

In this paper, we study the problem of formation keeping of a network of strictly passive systems when very coarse information is exchanged. We assume that neighboring agents only know whether their relative position is larger or smaller than the prescribed one. This assumption results in very simple control laws that direct the agents closer or away from ea

Felipe Cucker, Javier Peña, Vera Roshchina

We describe and analyze an interior-point method to decide feasibility problems of second-order conic systems. A main feature of our algorithm is that arithmetic operations are performed with finite precision. Bounds for both the number of arithmetic operations and the finest precision required are exhibited.

J. Reuter, W. Kilian, M. Sekulla

In this contribution to the Snowmass process 2013 (which is a preliminary version of [1]) we give a brief review of how new physics could enter in the electroweak (EW) sector of the Standard Model (SM). This new physics, if it is directly accessible at low energies, can be parameterized by explicit resonances having certain quantum numbers. The extreme case

Jahrul Alam, Raymond Walsh, Alamgir Hossain, Andrew Rose

A weighted residual collocation methodology for simulating two-dimensional shear-driven and natural convection flows has been presented. Using a dyadic mesh refinement, the methodology generates a basis and a multiresolution scheme to approximate a fluid flow. To extend the benefits of the dyadic mesh refinement approach to the field of computational fluid d

B. Baller, C. Bromberg, N. Buchanan, F. Cavanna

A workshop was held at Fermilab on March 20-21, 2013 to discuss the development of liquid argon time projection chambers (LArTPC) in the United States. The workshop was organized under the auspices of the Coordinating Panel for Advanced Detectors, a body that was initiated by the American Physical Society Division of Particles and Fields. All presentations a

I. Bediaga, T. Frederico, O. Lourenço

We show that, besides the usual short distance contribution for CP violation, final state interactions together with CPT invariance can play an important role in the recent observation of CP violation in three-body charmless $B^\pm$ decays. A significant part of the observed CP asymmetry distribution in the Dalitz plot is located in a region where hadronic c

Jason McCullough

Let K be a field of characteristic 0 and consider exterior algebras of finite dimensional K-vector spaces. In this short paper we exhibit principal quadric ideals in a family whose Castelnuovo-Mumford regularity is unbounded. This negatively answers the analogue of Stillman's Question for exterior algebras posed by I. Peeva. We show that these examples a

Sean Stotyn, C. Danielle Leonard, Marius Oltean, Laura J. Henderson

We numerically construct asymptotically anti-de Sitter boson star solutions using a minimally coupled $\frac{D-1}{2}$-tuplet complex scalar field in $D=5,7,9,11$ dimensions. The metric admits multiple Killing vector fields in general, however the scalar fields are only invariant under a particular combination, leading to such boson star solutions possessing

Z. Haba

We discuss Einstein gravity for a fluid consisting of particles interacting with an unidentified environment of some other particles whose dissipative effect is approximated by a diffusion. The environment is described by a time dependent cosmological term which is compensating the lack of the conservation law of the energy momentum of the diffusing fluid. W

Antony Lewis

Rayleigh scattering from neutral hydrogen during and shortly after recombination causes the CMB anisotropies to be significantly frequency dependent at high frequencies. This may be detectable with Planck, and would be a strong signal in any future space-based CMB missions. The later peak of the Rayleigh visibility compared to Thomson scattering gives an inc

Artem Kotelskiy

In this paper we investigate a family of Hamiltonian-minimal Lagrangian submanifolds in ${\mathbb C}^m$, ${\mathbb C}P^m$ and other symplectic toric manifolds constructed from intersections of real quadrics. In particular, we explain the nature of this phenomenon by proving H-minimality in a more conceptual way, and prove minimality of the same submanifolds

Vladimir Koltchinskii, Stanislav Minsker

We study functional regression with random subgaussian design and real-valued response. The focus is on the problems in which the regression function can be well approximated by a functional linear model with the slope function being "sparse" in the sense that it can be represented as a sum of a small number of well separated "spikes". This c

M. Hirsch, R. A. Lineros, S. Morisi, J. Palacio

The minimal seesaw extension of the Standard SU(3) x SU(2) x U(1) Model requires two electroweak singlet fermions in order to accommodate the neutrino oscillation parameters at tree level. Here we consider a next to minimal extension where light neutrino masses are generated radiatively by two electroweak fermions: one singlet and one triplet under SU(2). Th

C. A. Busser, G. B. Martins, A. E. Feiguin

We present a completely unbiased and controlled numerical method to solve quantum impurity problems in d-dimensional lattices. This approach is based on a canonical transformation, of the Lanczos form, where the complete lattice Hamiltonian is exactly mapped onto an equivalent one dimensional system, in the same spirit as Wilson's numerical renormalizati

Cenke Xu

We discuss three dimensional $Z_2$ topological phases enriched by the $Z_2^T$ time-reversal symmetry with bosonic bulk excitations. Some of these phases can be constructed by coupling the three dimensional symmetry protected topological phases with $Z_2 \times Z_2^T$ symmetry to a deconfined dynamical $Z_2$ gauge field. Besides these simple phases, we also c

Roberto Sanchis-Ojeda, Joshua N. Winn, Geoffrey W. Marcy, Andrew W. Howard

We present the discovery and characterization of a giant planet orbiting the young Sun-like star Kepler-63 (KOI-63, $m_{\rm Kp} = 11.6$, $T_{\rm eff} = 5576$ K, $M_\star = 0.98\, M_\odot$). The planet transits every 9.43 days, with apparent depth variations and brightening anomalies caused by large starspots. The planet's radius is $6.1 \pm 0.2 R_{\earth

Robert V. Harlander, Stefan Liebler, Tom Zirke

We present a calculation of all relevant contributions to associated production of a Higgs boson with a weak gauge boson in the 2-Higgs-Doublet Model (2HDM) at the LHC, $pp \rightarrow Vϕ$, with $ϕ\in\{h,H^0,A\}$ and $V\in\{W,Z\}$. While for the $Wϕ$ mode, this mostly amounts to a simple rescaling of the Standard Model (SM) cross section, the $Zϕ$ cross sect

Brian Swingle

Renormalization is often described as the removal or "integrating out" of high energy degrees of freedom. In the context of quantum matter, one might suspect that quantum entanglement provides a sharp way to characterize such a loss of degrees of freedom. Indeed, for quantum many-body systems with Lorentz invariance, such entanglement monotones have

Shun Ohkubo

Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$, whose residue field may not be perfect, and $G_K$ the absolute Galois group of $K$. In the first part of this paper, we prove that Scholl's generalization of fields of norms over $K$ is compatible with Abbes-Saito's ramification theory. In the second part, we construct a

Joachim Jelisiejew

In this thesis we consider the geometry of the Hilbert scheme of points in P^n, concentrating on the locus of points corresponding to the Gorenstein subschemes of P^n. New results are given, most importantly we provide tools for constructing flat families and analysis of finite Gorenstein algebras and expose their efficiency by proving smoothability of certa

Shun Ohkubo

Let $K$ be a complete discrete valuation field of mixed characteristic $(0,p)$ with residue field $k_K$ such that $[k_K:k_K^p]=p^d<\infty$. Let $G_K$ be the absolute Galois group of $K$ and $ρ:G_K\to GL_h(\Q_p)$ a $p$-adic representation. When $k_K$ is perfect, Shankar Sen described the Lie algebra of $ρ(G_K)$ in terms of so-called Sen&#39;s operator $Θ$ for

R. Gran, J. Nieves, F. Sanchez, M. J. Vicente Vacas

We extend to 10 GeV results from a microscopic calculation of charged-current neutrino-nucleus reactions that do not produce a pion in the final state. For the class of events coming from neutrino interactions with two nucleons producing two holes (2p2h), limiting the calculation to three-momentum transfers less than 1.2 GeV produces a two dimensional distri

Jean-François Caron, Christopher Hearty, Philip Lu, Rocky So

Single-cell prototype drift chambers were built at TRIUMF and tested with a $\sim\unit[210]{MeV/c}$ beam of positrons, muons, and pions. A cluster-counting technique is implemented which improves the ability to distinguish muons and pions when combined with a traditional truncated-mean charge measurement. Several cluster-counting algorithms and equipment var

Irene Amado, Daniel Arean, Amadeo Jimenez-Alba, Karl Landsteiner

We revisit the question of stability of holographic superfluids with finite superfluid velocity. Our method is based on applying the Landau criterion to the Quasinormal Mode (QNM) spectrum. In particular we study the QNMs related to the Goldstone modes of spontaneous symmetry breaking with linear and quadratic dispersions.In the linear case we show that the

Sylvain Mogliacci, Jens O. Andersen, Michael Strickland, Nan Su

We perform a detailed analysis of the predictions of resummed perturbation theory for the pressure and the second-, fourth-, and sixth-order diagonal quark number susceptibilities in a hot and dense quark-gluon plasma. First, we present an exact one-loop calculation of the equation of state within hard-thermal-loop perturbation theory (HTLpt) and compare it

Lorenzo Traldi

Given a 4-regular graph $F$, we introduce a binary matroid $M_τ(F)$ on the set of transitions of $F$. Parametrized versions of the Tutte polynomial of $M_τ(F)$ yield several well-known graph and knot polynomials, including the Martin polynomial, the homflypt polynomial, the Kauffman polynomial and the Bollobás-Riordan polynomial.

Artem Dudko, David Sauzin

Given a holomorphic germ at the origin of C with a simple parabolic fixed point, the Fatou coordinates have a common asymptotic expansion whose formal Borel transform is resurgent. We show how to use Ecalle&#39;s alien operators to study the singularities in the Borel plane and relate them to the horn maps, providing each of Ecalle-Voronin&#39;s invariants i

Artem Dudko, David Sauzin

Given a holomorphic germ at the origin of C with a simple parabolic fixed point, the local dynamics is classically described by means of pairs of attracting and repelling Fatou coordinates and the corresponding pairs of horn maps, of crucial importance for Écalle-Voronin&#39;s classification result and the definition of the parabolic renormalization operator

Vasyl Alba, Kenan Diab

We study unitary conformal field theories with a unique stress tensor and at least one higher-spin conserved current in four dimensions. We prove that every such theory contains an infinite number of higher-spin conserved currents of arbitrarily high spin, and that Ward identities generated by the conserved charges of these currents suffice to completely fix

Frank Freimuth, Robert Bamler, Yuriy Mokrousov, Achim Rosch

The semiclassical motion of electrons in phase space, x=(R, k), is influenced by Berry phases described by a 6-component vector potential, A=(A^R, A^k). In chiral magnets Dzyaloshinskii-Moriya (DM) interactions induce slowly varying magnetic textures (helices and skyrmion lattices) for which all components of A are important inducing effectively a curvature

Vishagan Sivanesan

We give a proof of the most general multiple scalar field theory in flat space-time free of Ostrogradski ghosts. We start from the assumption that the action is a functional of the scalar fields and their derivatives of order upto two (which in general can have field equations of derivative order up to four), and arrive at the most-general field theory that

J. Anderson, J. Asaadi, B. Carls, R. Cotta

From April to July 2013 the Snowmass Young Physicists (SYP) administered an online survey collecting the opinions and concerns of the High Energy Physics (HEP) community. The aim of this survey is to provide input into the long term planning meeting known as the Community Summer Study (CSS), or Snowmass on the Mississippi. In total, 1112 respondents took par

Nico Roos

The interest in the concept of entropic forces has risen considerably since E. Verlinde proposed to interpret the force in Newton s second law and Gravity as entropic forces [1]. Brownian motion, the motion of a small particle (pollen) driven by random impulses from the surrounding molecules, may be the first example of a stochastic process in which such for

Igor Lesanovsky, Juan P. Garrahan

We show that the dynamics of a laser driven Rydberg gas in the limit of strong dephasing is described by a master equation with manifest kinetic constraints. The equilibrium state of the system is uncorrelated but the constraints in the dynamics lead to spatially correlated collective relaxation reminiscent of glasses. We study and quantify the evolution tow

M. Berggren, A. Cakir, D. Krücker, J. List

Simplified models have become a widely used and important tool to cover the more diverse phenomenology beyond constrained SUSY models. However, they come with a substantial number of caveats themselves, and great care needs to be taken when drawing conclusions from limits based on the simplified approach. To illustrate this issue with a concrete example, we

Georg Rieckh, Gašper Tkačik

Based on the measurements of noise in gene expression performed during the last decade, it has become customary to think of gene regulation in terms of a two-state model, where the promoter of a gene can stochastically switch between an ON and an OFF state. As experiments are becoming increasingly precise and the deviations from the two-state model start to

Abolhassan Vaezi

Read and Rezayi $Z_k$ parafermion wavefunctions describe $ν=2+\frac{k}{kM+2}$ fractional quantum Hall (FQH) states. These states support non-Abelian excitations from which protected quantum gates can be designed. However, there is no experimental evidence for these non-Abelian anyons to date. In this paper, we study the $ν=2/k$ FQH-superconductor heterostruc

Ruggero Bandiera

We recover some recent results by Dotsenko, Shadrin and Vallette on the Deligne groupoid of a pre-Lie algebra, showing that they follow naturally by a pre-Lie variant of the PBW Theorem. As an application, we show that Kapranov&#39;s $L_\infty$ algebra structure on the Dolbeault complex of a Kähler manifold is homotopy abelian and independent on the choice o

Giacomo Canevari

We consider the Landau-de Gennes variational problem on a bound\-ed, two dimensional domain, subject to Dirichlet smooth boundary conditions. We prove that minimizers are maximally biaxial near the singularities, that is, their biaxiality parameter reaches the maximum value $1$. Moreover, we discuss the convergence of minimizers in the vanishing elastic cons

Michael W. Courtney, Joshua M. Courtney

Mississippi River nutrient loads and water stratification on the Louisiana-Texas shelf contribute to an annually recurring, short-lived hypoxic bottom layer in areas of the northern Gulf of Mexico comprising less than 2% of the total Gulf of Mexico bottom area. This paper observes that the NOAA and LUMCON have now published errant predictions of possible rec

Claudio Bonati, Massimo D&#39;Elia, Marco Mariti, Francesco Negro

We propose a method to determine the total magnetic susceptibility of strongly interacting matter by lattice QCD simulations, and present first numerical results for the theory with two light flavors, which suggest a weak magnetic activity in the confined phase and the emergence of strong paramagnetism in the deconfined, Quark-Gluon Plasma phase.

S. Jouvel, F. B. Abdalla, O. Lahav, D. Kirk

The next generation of spectroscopic surveys will have a wealth of photometric data available for use in target selection. Selecting the best targets is likely to be one of the most important hurdles in making these spectroscopic campaigns as successful as possible. Our ability to measure dark energy depends strongly on the types of targets that we are able

Tobias Toll, Thomas Ullrich

We present the Monte Carlo generator Sartre for simulating diffractive exclusive vector meson production and DVCS in electron-proton, electron-ion, and hadron-hadron collisions.

J. B. Holberg, T. D. Oswalt, E. M. Sion, M. A. Barstow

Approximately 70 percent of the nearby white dwarfs appear to be single stars, with the remainder being members of binary or multiple star systems. The most numerous and most easily identifiable systems are those in which the main sequence companion is an M star, since even if the systems are unresolved the white dwarf either dominates or is at least competi

Jurandir Ceccon, Carlos Duran

Let (M,g) be a smooth compact Riemannian manifold of dimension n \geq 2, 1 < p < n and 1 \leq q < r < p^\ast = \frac{np}{n-p} be real parameters. This paper concerns to the validity of the optimal Gagliardo-Nirenberg inequality (\int_M |u|^r\; dv_g)^{\fracτ{r θ}} \leq (A_{opt} (\int_M |\nabla_g u|^p\; dv_g)^{\fracτ{p}} + B_{opt} (\int_M |u|^p\; dv_g)^{\fracτ

Nikhil R. Devanur, Jugal Garg, László A. Végh

We give a new, flow-type convex program describing equilibrium solutions to linear Arrow-Debreu markets. Whereas convex formulations were previously known [Nenakov, Primak 83; Jain 07; Cornet &#39;89], our program exhibits several new features. It gives a simple necessary and sufficient condition and a concise proof of the existence and rationality of equili

Timothy J. H. Hele, Stuart C. Althorpe

It was shown recently that there exists a true quantum transition-state theory (QTST) corresponding to the t->0+ limit of a (new form of) quantum flux-side time-correlation function. Remarkably, this QTST is identical to ring-polymer molecular dynamics (RPMD) TST. Here we provide evidence which suggests very strongly that this QTST (= RPMD-TST) is unique, in

Sacha Davidson, Martin Elmer

The axion is a motivated cold dark matter candidate, which it would be interesting to distinguish from weakly interacting massive particles. Sikivie has suggested that axions could behave differently during non-linear galaxy evolution, if they form a Bose-Einstein condensate, and argues that ``gravitational thermalisation&#39;&#39; drives them to a Bose-Eins

Philip D. Hall, Christopher A. Tout, Robert G. Izzard, Denise Keller

It is likely that at least some planetary nebulae are composed of matter which was ejected from a binary star system during common-envelope (CE) evolution. For these planetary nebulae the ionizing component is the hot and luminous remnant of a giant which had its envelope ejected by a companion in the process of spiralling-in to its current short-period orbi

David N. Sibley, Andreas Nold, Nikos Savva, Serafim Kalliadasis

The motion of a contact line is examined, and comparisons drawn, for a variety of models proposed in the literature. Pressure and stress behaviours at the contact line are examined in the prototype system of quasistatic spreading of a thin two-dimensional droplet on a planar substrate. The models analysed include three disjoining pressure models based on van

Boyan Hristozov Petkov

The sequences, given by a 7D map have been analysed by means of the methods, widely used to detect chaos in the real world in order to test their sensitivity to chaotic features of a non-linear system determined by comparatively high number of parameters. The same diagnostic approaches have been applied to the 3D Lorenz map for comparison. The results show t

Helena Aro

We study the effects of non-systematic and systematic mortality risks on the required initial capital in a pension plan, in the presence of financial risks. We discover that for a pension plan with few members the impact of pooling on the required capital per person is strong, but non-systematic risk diminishes rapidly as the number of members increases. Sys

Mehjabin S. Monjur, Shih Tseng, Renu Tripathi, M. S. Shahriar

In this paper, we show that our proposed hybrid optoelectronic correlator (HOC), which correlates images using spatial light modulators (SLM), detectors and field programmable gate arrays (FPGAs), is capable of detecting objects in a scale and rotation invariant manner, along with the shift invariance feature, by incorporating polar mellin transform (PMT). W

Joseph K. Pickrell, Nick Patterson, Po-Ru Loh, Mark Lipson

The history of southern Africa involved interactions between indigenous hunter-gatherers and a range of populations that moved into the region. Here we use genome-wide genetic data to show that there are at least two admixture events in the history of Khoisan populations (southern African hunter-gatherers and pastoralists who speak non-Bantu languages with c

H. Razmi, S. M. Shirazi

We want to study the Casimir effect for a single conducting microscopic cylindrical cavity. The mathematical technique is based on the Green function of the geometry of the inside of the cavity, and the integral regularization is based on the plasma frequency cutoff for real conductors. Using the symmetric electromagnetic energy-momentum tensor, in terms of

Malcolm Fairbairn, Philipp Grothaus

We show that vector-like fermions can act as the dark matter candidate in the universe whilst also playing a crucial role in electroweak baryogenesis through contributing to the barrier in the one-loop thermal scalar potential. In order for the new fermions to give rise to a strong first order phase transition, we show that one requires rather large Yukawa c

Xiaoxing Jing, Jing Liu, Wei Zhong, Xiaoguang Wang

We give an analytical result for the quantum Fisher information of entangled coherent States in a lossy Mach-Zehnder Interferometer recently proposed by J. Joo et al. [Phys. Rev. Lett. 107, 083601(2011)]. For small loss of photons, we find that the entangled coherent state can surpass the Heisenberg limit. Furthermore, The formalism developed here is applica

Holger Boche, Minglai Cai, Christian Deppe, Janis Nötzel

We establish Ahlswede dichotomy for arbitrarily varying classical-quantum wiretap channels. This means that either the deterministic secrecy capacity of an arbitrarily varying classical-quantum wiretap channel is zero or it equals its randomness-assisted secrecy capacity. We analyze the secrecy capacity of arbitrarily varying classical-quantum wiretap channe

Crystal Hoyt

A weight module of a basic Lie superalgebra is called finite if all of its weight spaces are finite dimensional, and it is called bounded if there is a uniform bound on the dimension of a weight space. The minimum bound is called the degree of the module. For the basic Lie superalgebra D(2,1,a), we prove that every simple weight module is bounded and has deg

Matthew Emerton, Davide A. Reduzzi, Liang Xiao

Let $F$ be a totally real number field and let $p$ be a prime unramified in $F$. We prove the existence of Galois pseudo-representations attached to mod $p^m$ Hecke eigenclasses of paritious weight occurring in the coherent cohomology of Hilbert modular varieties for $F$ of level prime to $p$.

Fengying Li, Shiqing Zhang, Xiaoxiao Zhao

We try to generalize a result of M. Willem on forced periodic oscillations which required the assumption that the forced potential is periodic on spatial variables. In this paper, we only assume its integral on the time variable is periodic, and so we extend the result to cover the forced pendulum equation. We apply the direct variational minimizing method a