title: Uncovering the Riffled Independence Structure of Rankings

abstract: Representing distributions over permutations can be a daunting task due to the fact that the number of permutations of $n$ objects scales factorially in $n$. One recent way that has been used to reduce storage complexity has been to exploit probabilistic independence, but as we argue, full independence assumptions impose strong sparsity constraints on distributions and are unsuitable for modeling rankings. We identify a novel class of independence structures, called \emph{riffled independence}, encompassing a more expressive family of distributions while retaining many of the properties necessary for performing efficient inference and reducing sample complexity. In riffled independence, one draws two permutations independently, then performs the \emph{riffle shuffle}, common in card games, to combine the two permutations to form a single permutation. Within the context of ranking, riffled independence corresponds to ranking disjoint sets of objects independently, then interleaving those rankings. In this paper, we provide a formal introduction to riffled independence and present algorithms for using riffled independence within Fourier-theoretic frameworks which have been explored by a number of recent papers. Additionally, we propose an automated method for discovering sets of items which are riffle independent from a training set of rankings. We show that our clustering-like algorithms can be used to discover meaningful latent coalitions from real preference ranking datasets and to learn the structure of hierarchically decomposable models based on riffled independence.


title: Lightlike Osserman submanifolds of semi-Riemannian manifolds

abstract: In this paper, we study Jacobi operators associated to algebraic curvature maps (tensors) on lightlike submanifolds M. We investigate conditions for an induced Rie- mann curvature tensor to be an algebraic curvature tensor on M. We introduce the notion of lightlike Osserman submanifolds and an example of 2-degenerate Osserman metric is given. Finally we give some results of symmetry properties on lightlike hy- persurfaces from Osserman condition.


title: Full counting statistics in disordered graphene at Dirac point: From ballistics to diffusion

abstract: The full counting statistics of the charge transport through an undoped graphene sheet in the presence of smooth disorder is studied. At the Dirac point both in clean and diffusive limits, transport properties of a graphene sample are described by the universal Dorokhov distribution of transmission probabilities. In the crossover regime, deviations from universality occur which can be studied analytically both on ballistic and diffusive sides. In the ballistic regime, we use a diagrammatic technique with matrix Green functions. For a diffusive system, the sigma model is applied. Our results are in good agreement with recent numerical simulations of electron transport in disordered graphene.


title: Chiral vortaic effect and neutron asymmetries at NICA

abstract: We study the possibility of testing experimentally signatures of P-odd effects related with the vorticity of the medium. The Chiral Vortaic Effect is generalized to the case of conserved charges different from the electric one. In the case of baryonic charge and chemical potential such effect should manifest itself in neutron asymmetries at the NICA accelerator complex measured by the MPD detector. The required accuracy may be achieved in a few months of accelerator running. We also discuss polarization of the hyperons and P-odd correlations of particle momenta (handedness) as probes of vorticity.


title: Phase field crystal dynamics for binary systems: Derivation from dynamical density functional theory, amplitude equation formalism, and applications to alloy heterostructures

abstract: The dynamics of phase field crystal (PFC) modeling is derived from dynamical density functional theory (DDFT), for both single-component and binary systems. The derivation is based on a truncation up to the three-point direct correlation functions in DDFT, and the lowest order approximation using scale analysis. The complete amplitude equation formalism for binary PFC is developed to describe the coupled dynamics of slowly varying complex amplitudes of structural profile, zeroth-mode average atomic density, and system concentration field. Effects of noise (corresponding to stochastic amplitude equations) and species-dependent atomic mobilities are also incorporated in this formalism. Results of a sample application to the study of surface segregation and interface intermixing in alloy heterostructures and strained layer growth are presented, showing the effects of different atomic sizes and mobilities of alloy components. A phenomenon of composition overshooting at the interface is found, which can be connected to the surface segregation and enrichment of one of the atomic components observed in recent experiments of alloying heterostructures.


title: Screening of the Raman response in multiband superconductors -- application to iron-pnictides

abstract: We performed model calculations of Raman responses for multiband 2D superconductors. The multiband effects of screening in the A_{1g} symmetry channel were investigated analytically and numerically for a band structure model mimicing ARPES data on iron-pnictide materials. An acceptable agreement between our model calculations and recent experimental data is demonstrated by modification of the band structure parameters.


title: A McLean Theorem for the moduli space of Lie solutions to mass transport equations

abstract: On compact manifolds which are not simply connected, we prove the existence of "fake" solutions to the optimal transportion problem. These maps preserve volume and arise as the exponential of a closed 1 form, hence appear geometrically like optimal transport maps. The set of such solutions forms a manifold with dimension given by the first Betti number of the manifold. In the process, we prove a Hodge-Helmholtz decomposition for vector fields. The ideas are motivated by the analogies between special Lagrangian submanifolds and solutions to optimal transport problems.


title: Data acquisition electronics and reconstruction software for directional detection of Dark Matter with MIMAC

abstract: Directional detection of galactic Dark Matter requires 3D reconstruction of low energy nuclear recoils tracks. A dedicated acquisition electronics with auto triggering feature and a real time track reconstruction software have been developed within the framework of the MIMAC project of detector. This auto-triggered acquisition electronic uses embedded processing to reduce data transfer to its useful part only, i.e. decoded coordinates of hit tracks and corresponding energy measurements. An acquisition software with on-line monitoring and 3D track reconstruction is also presented.


title: Generation and detection of NOON states in superconducting circuits

abstract: NOON states, states between two modes of light of the form $|N,0\rangle+e^{i\phi}|0,N\rangle$ allow for super-resolution interformetry. We show how NOON states can be efficiently produced in circuit quntum electrodynamics using superconducting phase qubits and resonators. We propose a protocol where only one interaction between the two modes is required, creating all the necessary entanglement at the start of the procedure. This protocol makes active use of the first three states of the phase qubits. Additionally, we show how to efficiently verify the success of such an experiment, even for large NOON states, using randomly sampled measurements and semidefinite programming techniques.


title: Weighted a priori estimates for the solution of the homogeneous Dirichlet problem for the powers of the Laplacian Operator

abstract: Let $u$ be a weak solution of $ (-\Delta)^m u=f $ with Dirichlet boundary conditions in a smooth bounded domain $\Omega \subset \mathbb{R}^n$. Then, the main goal of this paper is to prove the following a priori estimate: $$ \|u\|_{W^{2m,p}_\omega(\Omega)} \le C\, \|f\|_{L^p_\omega(\Omega)}, $$ where $\omega$ is a weight in the Muckenhoupt class $A_p.$


title: Crossover distributions at the edge of the rarefaction fan

abstract: We consider the weakly asymmetric limit of simple exclusion process with drift to the left, starting from step Bernoulli initial data with $\rho_-<\rho_+$ so that macroscopically one has a rarefaction fan. We study the fluctuations of the process observed along slopes in the fan, which are given by the Hopf--Cole solution of the Kardar-Parisi-Zhang (KPZ) equation, with appropriate initial data. For slopes strictly inside the fan, the initial data is a Dirac delta function and the one point distribution functions have been computed in [Comm. Pure Appl. Math. 64 (2011) 466-537] and [Nuclear Phys. B 834 (2010) 523-542]. At the edge of the rarefaction fan, the initial data is one-sided Brownian. We obtain a new family of crossover distributions giving the exact one-point distributions of this process, which converge, as $T\nearrow\infty$ to those of the Airy $\mathcal{A}_{2\to \mathrm{BM}}$ process. As an application, we prove moment and large deviation estimates for the equilibrium Hopf-Cole solution of KPZ. These bounds rely on the apparently new observation that the FKG inequality holds for the stochastic heat equation. Finally, via a Feynman-Kac path integral, the KPZ equation also governs the free energy of the continuum directed polymer, and thus our formula may also be interpreted in those terms.


title: Variations on R. Schwartz's inequality for the Schwarzian derivative

abstract: R. Schwartz's inequality provides an upper bound for the Schwarzian derivative of a parameterization of a circle in the complex plane and on the potential of Hill's equation with coexisting periodic solutions. We prove a discrete version of this inequality and obtain a version of the planar Blaschke-Santalo inequality for not necessarily convex polygons. We consider a centro-affine analog of L\"uk\H{o}'s inequality for the average squared length of a chord subtending a fixed arc length of a curve -- the role of the squared length played by the area -- and prove that the central ellipses are local minima of the respective functionals on the space of star-shaped centrally symmetric curves. We conjecture that the central ellipses are global minima. In an appendix, we relate the Blaschke-Santalo and Mahler inequalities with the asymptotic dynamics of outer billiards at infinity.


title: Control of cancellations that restrain the growth of a binomial recursion

abstract: We study a recursion that generates real sequences depending on a parameter $x$. Given a negative $x$ the growth of the sequence is very difficult to estimate due to canceling terms. We reduce the study of the recursion to a problem about a family of integral operators, and prove that for every parameter value except -1, the growth of the sequence is factorial. In the combinatorial part of the proof we show that when $x=-1$ the resulting recurrence yields the sequence of alternating Catalan numbers, and thus has exponential growth. We expect our methods to be useful in a variety of similar situations.


title: The isomorphism problem for universal enveloping algebras of nilpotent Lie algebras

abstract: In this paper we study the isomorphism problem for the universal enveloping algebras of nilpotent Lie algebras. We prove that if the characteristic of the underlying field is not~2 or~3, then the isomorphism type of a nilpotent Lie algebra of dimension at most~6 is determined by the isomorphism type of its universal enveloping algebra. Examples show that the restriction on the characteristic is necessary.


title: Eddington-limited accretion and the black hole mass function at redshift 6

abstract: We present discovery observations of a quasar in the Canada-France High-z Quasar Survey (CFHQS) at redshift z=6.44. We also use near-IR spectroscopy of nine CFHQS quasars at z~6 to determine black hole masses. These are compared with similar estimates for more luminous Sloan Digital Sky Survey (SDSS) quasars to investigate the relationship between black hole mass and quasar luminosity. We find a strong correlation between MgII FWHM and UV luminosity and that most quasars at this early epoch are accreting close to the Eddington limit. Thus these quasars appear to be in an early stage of their life cycle where they are building up their black hole mass exponentially. Combining these results with the quasar luminosity function, we derive the black hole mass function at z=6. Our black hole mass function is ~10^4 times lower than at z=0 and substantially below estimates from previous studies. The main uncertainties which could increase the black hole mass function are a larger population of obscured quasars at high-redshift than is observed at low-redshift and/or a low quasar duty cycle at z=6. In comparison, the global stellar mass function is only ~10^2 times lower at z=6 than at z=0. The difference between the black hole and stellar mass function evolution is due to either rapid early star formation which is not limited by radiation pressure as is the case for black hole growth or inefficient black hole seeding. Our work predicts that the black hole mass - stellar mass relation for a volume-limited sample of galaxies declines rapidly at very high redshift. This is in contrast to the observed increase at 4<z<6 from the local relation if one just studies the most massive black holes.


title: Segmentation and Nodal Points in Narrative: Study of Multiple Variations of a Ballad

abstract: The Lady Maisry ballads afford us a framework within which to segment a storyline into its major components. Segments and as a consequence nodal points are discussed for nine different variants of the Lady Maisry story of a (young) woman being burnt to death by her family, on account of her becoming pregnant by a foreign personage. We motivate the importance of nodal points in textual and literary analysis. We show too how the openings of the nine variants can be analyzed comparatively, and also the conclusions of the ballads.


title: The Dirac equation in curved spacetimes using coordinate-free notation

abstract: The Dirac equation in curved spacetimes is formulated using coordinate-free notation. A Lagrangean density which corresponds to the subject equation is presented. The subject equation is invariant under a local rotation of the coframe. The current is independent of the local orientation of the coframe and it is conserved. The subject equation has an equivalent formulation which uses the Christoffel gamma. The stress-energy tensor is calculated.


title: Bounds on Stability and Latency in Wireless Communication

abstract: In this paper, we study stability and latency of routing in wireless networks where it is assumed that no collision will occur. Our approach is inspired by the adversarial queuing theory, which is amended in order to model wireless communication. More precisely, there is an adversary that specifies transmission rates of wireless links and injects data in such a way that an average number of data injected in a single round and routed through a single wireless link is at most $r$, for a given $r\in (0,1)$. We also assume that the additional "burst" of data injected during any time interval and scheduled via a single link is bounded by a given parameter $b$. Under this scenario, we show that the nodes following so called {\em work-conserving} scheduling policies, not necessarily the same, are guaranteed stability (i.e., bounded queues) and reasonably small data latency (i.e., bounded time on data delivery), for injection rates $r<1/d$, where $d$ is the maximum length of a routing path. Furthermore, we also show that such a bound is asymptotically optimal on $d$.


title: C-HiLasso: A Collaborative Hierarchical Sparse Modeling Framework

abstract: Sparse modeling is a powerful framework for data analysis and processing. Traditionally, encoding in this framework is performed by solving an L1-regularized linear regression problem, commonly referred to as Lasso or Basis Pursuit. In this work we combine the sparsity-inducing property of the Lasso model at the individual feature level, with the block-sparsity property of the Group Lasso model, where sparse groups of features are jointly encoded, obtaining a sparsity pattern hierarchically structured. This results in the Hierarchical Lasso (HiLasso), which shows important practical modeling advantages. We then extend this approach to the collaborative case, where a set of simultaneously coded signals share the same sparsity pattern at the higher (group) level, but not necessarily at the lower (inside the group) level, obtaining the collaborative HiLasso model (C-HiLasso). Such signals then share the same active groups, or classes, but not necessarily the same active set. This model is very well suited for applications such as source identification and separation. An efficient optimization procedure, which guarantees convergence to the global optimum, is developed for these new models. The underlying presentation of the new framework and optimization approach is complemented with experimental examples and theoretical results regarding recovery guarantees for the proposed models.


title: High p_T Direct Photon and pi^0 Triggered Azimuthal Jet Correlations in sqrt(s)=200 GeV p+p Collisions

abstract: Correlations of charged hadrons of 1 < pT < 10 GeV/c with high pT direct photons and pi^ 0 mesons in the range 5 <pT < 15 GeV/c are used to study jet fragmentation in the photon+jet and di-jet channels, respectively. The magnitude of the partonic transverse momentum, kT, is obtained by comparing to a model incorporating a Gaussian kT smearing. The sensitivity of the associated charged hadron spectra to the underlying fragmentation function is tested and the data are compared to calculations using recent global fit results. The shape of the direct photon-associated hadron spectrum as well as its charge asymmetry are found to be consistent with a sample dominated by quark-gluon Compton scattering. No significant evidence of fragmentation photon correlated production is observed within experimental uncertainties.


title: Transit timing variation in exoplanet WASP-3b

abstract: Photometric follow-ups of transiting exoplanets may lead to discoveries of additional, less massive bodies in extrasolar systems. This is possible by detecting and then analysing variations in transit timing of transiting exoplanets. We present photometric observations gathered in 2009 and 2010 for exoplanet WASP-3b during the dedicated transit-timing-variation campaign. The observed transit timing cannot be explained by a constant period but by a periodic variation in the observations minus calculations diagram. Simplified models assuming the existence of a perturbing planet in the system and reproducing the observed variations of timing residuals were identified by three-body simulations. We found that the configuration with the hypothetical second planet of the mass of about 15 Earth masses, located close to the outer 2:1 mean motion resonance is the most likely scenario reproducing observed transit timing. We emphasize, however, that more observations are required to constrain better the parameters of the hypothetical second planet in WASP-3 system. For final interpretation not only transit timing but also photometric observations of the transit of the predicted second planet and the high precision radial-velocity data are needed.


title: Geography of spin symplectic 4-manifolds with abelian fundamental group

abstract: In this paper, results of J. Park and of B.D Park and Szabo on simply connected symplectic 4-manifolds are re-proven and extended to non-simply connected manifolds using Luttinger surgeries.


title: Copula Processes

abstract: We define a copula process which describes the dependencies between arbitrarily many random variables independently of their marginal distributions. As an example, we develop a stochastic volatility model, Gaussian Copula Process Volatility (GCPV), to predict the latent standard deviations of a sequence of random variables. To make predictions we use Bayesian inference, with the Laplace approximation, and with Markov chain Monte Carlo as an alternative. We find both methods comparable. We also find our model can outperform GARCH on simulated and financial data. And unlike GARCH, GCPV can easily handle missing data, incorporate covariates other than time, and model a rich class of covariance structures.

categories: stat.ME math.PR q-fin.CP q-fin.ST stat.ML


title: The GMRT-EoR Experiment: A new upper limit on the neutral hydrogen power spectrum at z~8.6

abstract: We present a new upper limit to the 21cm power spectrum during the Epoch of Reionization (EoR) which constrains reionization models with an unheated IGM. The GMRT-EoR experiment is an ongoing effort to make a statistical detection of the power spectrum of 21cm neutral hydrogen emission at redshift z~9. Data from this redshift constrain models of the EoR, the end of the Dark Ages arising from the formation of the first bright UV sources, probably stars or mini-quasars. We present results from approximately 50 hours of observations at the Giant Metrewave Radio Telescope in India from December 2007. We describe radio frequency interference (RFI) localisation schemes which allow bright sources on the ground to be identified and physically removed in addition to automated flagging. Singular-value decomposition is used to remove remaining broadband RFI by identifying ground sources with large eigenvalues. Foregrounds are modelled using a piecewise linear filter and the power spectrum is measured using cross-correlations of foreground subtracted images.


title: String universality in ten dimensions

abstract: We show that the ${\cal N}=1$ supergravity theories in ten dimensions with gauge groups $U(1)^{496}$ and $E_8 \times U(1)^{248}$ are not consistent quantum theories. Cancellation of anomalies cannot be made compatible with supersymmetry and abelian gauge invariance. Thus, in ten dimensions all supersymmetric theories of gravity without known inconsistencies are realized in string theory.


title: VLT Observations of NGC 1097's "dog-leg" tidal stream

abstract: CONTEXT: Dwarf Spheroidal Galaxies and tidal streams. AIMS: We investigate the structure and stellar population of two large stellar condensations (knots A & B) along one of the faint optical "jet-like" tidal streams associated with the spiral NGC 1097, with the goal of establishing their physical association with the galaxy and their origin. METHODS: We use the VLT/FORS2 to get deep V-band imaging and low-resolution optical spectra of two knots along NGC 1097's northeast "dog-leg" tidal stream. With this data, we explore their morphology and stellar populations. RESULTS: The FORS2 spectra show that the redshift of knot A (and perhaps of knot B) is consistent with that of NGC 1097. The FORS2 photometry shows that the two knots match very well the photometric scaling relations of canonical dwarf spheroidal galaxies (dSph). From the spectral analysis we find that knot A is mainly composed of stars near G-type, with no signs of ongoing star formation. Comparing its spectrum to a library of Galactic GC spectra, we find that the stellar population of this dSph-like object is most similar to intermediate to metal rich GCs. We find moreover, that the tidal stream shows an "S" shaped inflection as well as a pronounced stellar overdensity at knot A's position. This suggests that knot A is being tidally stripped, and populates the stellar stream with its stars. CONCLUSIONS: We have discovered that two knots along NGC 1097's northeast tidal stream share most of their spectral and photometric properties with ordinary dwarf spheroidal galaxies (dSph). Moreover, we find strong indications that the "dog-leg" tidal stream arise from the tidal disruption of knot A. Since it has been demonstrated that tidally stripping dSph galaxies need to loose most of their dark matter before starting to loose stars, we suggest that knot A is at present a CDM-poor object.


title: Thermohaline mixing in evolved low-mass stars

abstract: Thermohaline mixing has recently been proposed to occur in low-mass red giants, with large consequence for the chemical yields of low-mass stars. We investigate the role of thermohaline mixing during the evolution of stars between 1Msun and 3Msun, in comparison to other mixing processes acting in these stars. We use a stellar evolution code which includes rotational mixing, internal magnetic fields and thermohaline mixing. We confirm that during the red giant stage, thermohaline mixing has the potential to decrease the abundance of ^3He which is produced earlier on the main sequence. In our models we find that this process is working on the RGB only in stars with initial mass M \simle 1.5Msun. Moreover we report that thermohaline mixing is present also during core helium burning and beyond, and has the potential to change the surface abundances of AGB stars. While we find rotational and magnetic mixing to be negligible compared to the thermohaline mixing in the relevant layers, the interaction of thermohaline motions with the differential rotation may be essential to establish the time scale of thermohaline mixing in red giants. To explain the surface abundances observed at the bump in the luminosity function, the speed of the mixing process needs to be more than two orders of magnitude higher than in our models. However it is not clear if thermohaline mixing is the only physical process responsible for these surface abundance anomalies. Therefore, at this stage, it is not possible to calibrate the efficiency of thermohaline mixing against the observations.


title: Ultrafast effective multi-level atom method for primordial hydrogen recombination

abstract: Cosmological hydrogen recombination has recently been the subject of renewed attention because of its importance for predicting the power spectrum of cosmic microwave background anisotropies. It has become clear that it is necessary to account for a large number n >~ 100 of energy shells of the hydrogen atom, separately following the angular momentum substates in order to obtain sufficiently accurate recombination histories. However, the multi-level atom codes that follow the populations of all these levels are computationally expensive, limiting recent analyses to only a few points in parameter space. In this paper, we present a new method for solving the multi-level atom recombination problem, which splits the problem into a computationally expensive atomic physics component that is independent of the cosmology, and an ultrafast cosmological evolution component. The atomic physics component follows the network of bound-bound and bound-free transitions among excited states and computes the resulting effective transition rates for the small set of "interface" states radiatively connected to the ground state. The cosmological evolution component only follows the populations of the interface states. By pre-tabulating the effective rates, we can reduce the recurring cost of multi-level atom calculations by more than 5 orders of magnitude. The resulting code is fast enough for inclusion in Markov Chain Monte Carlo parameter estimation algorithms. It does not yet include the radiative transfer or high-n two-photon processes considered in some recent papers. Further work on analytic treatments for these effects will be required in order to produce a recombination code usable for Planck data analysis.


title: The Bestest Little Higgs

abstract: While little Higgs models provide an interesting way to address the hierarchy problem, concrete models in the literature typically face two major obstacles. First, the mechanism for generating a Higgs quartic coupling often leads to large violations of custodial symmetry. Second, there is a tension between precision electroweak observables in the gauge sector and fine-tuning in the top sector. In this work, we present a new little Higgs model which solves both of these problems. The model is based on an SO(6)xSO(6)/SO(6) coset space which has custodial symmetry built in. The Higgs quartic coupling takes a particularly simple form and does not suffer from the "dangerous singlet" pathology. We introduce a gauge breaking module which decouples the mass of gauge partners from the mass of top partners, allowing for natural electroweak symmetry breaking. The collider phenomenology is dominated by production and decay of the top partners, which are considerably lighter than in traditional little Higgs theories.


title: Semielastic Dark Matter

abstract: Many models have recently been proposed in which dark matter (DM) couples to Standard Model fields via a GeV-scale dark sector. We consider scenarios of this type where the DM mass, at the electroweak/TeV scale, is generated by the VEV of a singlet which also couples to the Higgs. Such a setup results in a distinct recoil spectrum with both elastic and inelastic components. We construct an explicit NMSSM-like realization of this setup, discuss constraints coming from the relic density, and include benchmark points which are consistent with current limits, yet visible at upcoming direct detection experiments.


title: Information preserving structures: A general framework for quantum zero-error information

abstract: Quantum systems carry information. Quantum theory supports at least two distinct kinds of information (classical and quantum), and a variety of different ways to encode and preserve information in physical systems. A system's ability to carry information is constrained and defined by the noise in its dynamics. This paper introduces an operational framework, using information-preserving structures to classify all the kinds of information that can be perfectly (i.e., with zero error) preserved by quantum dynamics. We prove that every perfectly preserved code has the same structure as a matrix algebra, and that preserved information can always be corrected. We also classify distinct operational criteria for preservation (e.g., "noiseless", "unitarily correctible", etc.) and introduce two new and natural criteria for measurement-stabilized and unconditionally preserved codes. Finally, for several of these operational critera, we present efficient (polynomial in the state-space dimension) algorithms to find all of a channel's information-preserving structures.


title: Searching for Hydrogen in Type Ib Supernovae

abstract: We present synthetic spectral fits of the typical Type Ib SN 1999dn and the Hydrogen Rich Ib SN 2000H using the generalized non-local thermodynamic equilibrium stellar atmospheres code \phx. We fit model spectra to five epochs of SN 1999dn ranging from ten days pre-maximum light to 17 days post-maximum light and the two earliest epochs of SN 2000H available, maximum light and six days post-maximum. Our goal is to investigate the possibility of hydrogen in Type Ib Supernovae (SNe Ib), specifically a feature around 6200\AA\ which has previously been attributed to high velocity H-alpha. In earlier work on SN 1999dn we found the most plausible alternative to H-alpha to be a blend of Si II and Fe II lines which can be adjusted to fit by increasing the metallicity. Our models are simple; they assume a powerlaw density profile with radius, homologous expansion, and solar compositions. The helium core is produced by burning 4H --> He in order to conserve nucleon number. For models with hydrogen the outer skin of the model consists of a shell of solar composition. The hydrogen mass of the standard solar composition shell is M_H less than about 0.001 times the mass of the sun in SN 1999dn and M_H less than about 0.2 times the mass of the sun for SN 2000H. Our models fit the observed spectra reasonably well, successfully reproducing most features including the characteristic He I absorptions. The hydrogen feature in SN 1999dn is clear, but much more pronounced in SN 2000H. We discuss a possible evolutionary scenario that accounts for the dichotomy in the hydrogen shell mass between these two supernovae.


title: Contribution of Lensed SCUBA Galaxies to the Cosmic Infrared Background

abstract: The surface density of submillimeter (sub-mm) galaxies as a function of flux, usually termed the source number counts, constrains models of the evolution of the density and luminosity of starburst galaxies. At the faint end of the distribution, direct detection and counting of galaxies are not possible. However, gravitational lensing by clusters of galaxies allows detection of sources which would otherwise be too dim to study. We have used the largest catalog of sub-mm-selected sources along the line of sight to galaxy clusters to estimate the faint end of the 850 micron number counts; integrating to S = 0.10 mJy the equivalent flux density at 850 microns is v I_{v} = 0.24 +/- 0.03 nW/m^2/sr. This provides a lower limit to the extragalactic far-infrared background and is consistent with direct estimates of the full intensity from the FIRAS. The results presented here can help to guide strategies for upcoming surveys carried out with single dish sub-mm instruments.


title: Universal Behavior of Entanglement in 2D Quantum Critical Dimer Models

abstract: We examine the scaling behavior of the entanglement entropy for the 2D quantum dimer model (QDM) at criticality and derive the universal finite sub-leading correction $\gamma_{QCP}$. We compute the value of $\gamma_{QCP}$ without approximation working directly with the wave function of a generalized 2D QDM at the Rokhsar-Kivelson QCP in the continuum limit. Using the replica approach, we construct the conformal boundary state corresponding to the cyclic identification of $n$-copies along the boundary of the observed region. We find that the universal finite term is $\gamma_{QCP}=\ln R-1/2$ where $R$ is the compactification radius of the bose field theory quantum Lifshitz model, the effective field theory of the 2D QDM at quantum criticality. We also demonstrated that the entanglement spectrum of the critical wave function on a large but finite region is described by the characters of the underlying conformal field theory. It is shown that this is formally related to the problems of quantum Brownian motion on $n$-dimensional lattices or equivalently a system of strings interacting with a brane containing a background electromagnetic field and can be written as an expectation value of a vertex operator.


title: A renormalization group decoding algorithm for topological quantum codes

abstract: Topological quantum error-correcting codes are defined by geometrically local checks on a two-dimensional lattice of quantum bits (qubits), making them particularly well suited for fault-tolerant quantum information processing. Here, we present a decoding algorithm for topological codes that is faster than previously known algorithms and applies to a wider class of topological codes. Our algorithm makes use of two methods inspired from statistical physics: renormalization groups and mean-field approximations. First, the topological code is approximated by a concatenated block code that can be efficiently decoded. To improve this approximation, additional consistency conditions are imposed between the blocks, and are solved by a belief propagation algorithm.


title: Supercharacter theories and Schur rings

abstract: Diaconis and Isaacs have defined the supercharacter theories of a finite group to be certain approximations to the ordinary character theory of the group. We make explicit the connection between supercharacter theories and Schur rings, and we provide supercharacter theory constructions which correspond to Schur ring constructions of Leung and Man and of Tamaschke.


title: Directly imaging damped Lyman-alpha galaxies at z>2. I: Methodology and First Results

abstract: We present the methodology for, and the first results from, a new imaging program aimed at identifying and characterizing the host galaxies of damped Lyman-alpha absorbers (DLAs) at z>2. We target quasar sightlines with multiple optically-thick HI absorbers and use the higher-redshift system as a "blocking filter" (via its Lyman-limit absorption) to eliminate all far-ultraviolet (FUV) emission from the quasar. This allows us to directly image the rest-frame FUV continuum emission of the lower-redshift DLA, without any quasar contamination and with no bias towards large impact parameters. We introduce a formalism based on galaxy number counts and Bayesian statistics with which we quantify the probability that a candidate is the DLA host galaxy. This method will allow the identification of a bona fide sample of DLAs that are too faint to be spectroscopically confirmed. The same formalism can be adopted to the study of other quasar absorption line systems (e.g. MgII absorbers). We have applied this imaging technique to two QSO sightlines. For the z~2.69 DLA towards J073149+285449, a galaxy with impact parameter b=1.54"=11.89 kpc and implied star formation rate (SFR) of ~5 M/yr is identified as the most reliable candidate. In the case of the z~2.92 DLA towards J211444-005533, no likely host is found down to a 3-sigma SFR limit of 1.4 M/yr. Studying the HI column density as a function of the impact parameter, including 6 DLAs with known hosts from the literature, we find evidence that the observed HI distribution is more extended than what is generally predicted from numerical simulation.


title: Higher order moment models of dense stellar systems: Applications to the modeling of the stellar velocity distribution function

abstract: Dense stellar systems such as globular clusters, galactic nuclei and nuclear star clusters are ideal loci to study stellar dynamics due to the very high densities reached, usually a million times higher than in the solar neighborhood; they are unique laboratories to study processes related to relaxation. There are a number of different techniques to model the global evolution of such a system. In statistical models we assume that relaxation is the result of a large number of two-body gravitational encounters with a net local effect. We present two moment models that are based on the collisional Boltzmann equation. By taking moments of the Boltzmann equation one obtains an infinite set of differential moment equations where the equation for the moment of order $n$ contains moments of order $n+1$. In our models we assume spherical symmetry but we do not require dynamical equilibrium. We truncate the infinite set of moment equations at order $n=4$ for the first model and at order $n=5$ for the second model. The collisional terms on the right-hand side of the moment equations account for two-body relaxation and are computed by means of the Rosenbluth potentials. We complete the set of moment equations with closure relations which constrain the degree of anisotropy of our model by expressing moments of order $n+1$ by moments of order $n$. The accuracy of this approach relies on the number of moments included from the infinite series. Since both models include fourth order moments we can study mechanisms in more detail that increase or decrease the number of high velocity stars. The resulting model allows us to derive a velocity distribution function, with unprecedented accuracy, compared to previous moment models.


title: Exact solutions for a Maxwell-Kalb-Ramond action with dilaton: Localization of massless and massive modes in a sine-Gordon brane-world

abstract: We analytically find the exact propagation modes of the electromagnetic and the Kalb-Ramond fields together in a five-dimensional curved space-time. The existence and localization of gauge particles into our four-dimensional world (4D) is studied in detail on a brane-world scenario in which two gauge fields interact with a dilaton and a gravitational background. The coupling to the dilaton is different in each case causing the splitting between both gauge spectra. The gauge field zero-modes and an infinite tower of Kaluza-Klein massive states are analytically obtained. Relevant conditions on the dilaton coupling constant are found in order to identify with precision every finite tensor and vector eigenstate in the theory. An exact quantization condition on the whole mass spectrum, depending on the dilaton coupling constant and the bulk Planck mass, is inherited from the extra-dimension. This allows finding an exact rule to prevent tachyons in the theory and, by the same token, predicting a possible Kalb-Ramond tensor zero-mode in 4D world. We also show that KK massive-modes contributions onto 4D physics are strongly suppressed.


title: Transverse Momentum Broadening and the Jet Quenching Parameter, Redux

abstract: We use Soft Collinear Effective Theory (SCET) to analyze the transverse momentum broadening, or diffusion in transverse momentum space, of an energetic parton propagating through quark-gluon plasma. Since we neglect the radiation of gluons from the energetic parton, we can only discuss momentum broadening, not parton energy loss. The interaction responsible for momentum broadening in the absence of radiation is that between the energetic (collinear) parton and the Glauber modes of the gluon fields in the medium. We derive the effective Lagrangian for this interaction, and we show that the probability for picking up transverse momentum k_\perp is given by the Fourier transform of the expectation value of two transversely separated light-like path-ordered Wilson lines. This yields a field theoretical definition of the jet quenching parameter \hat q, and shows that this can be interpreted as a diffusion constant. We close by revisiting the calculation of \hat q for the strongly coupled plasma of N=4 SYM theory, showing that previous calculations need some modifications that make them more straightforward and do not change the result.


title: Solitary Magnetic Bubbles

abstract: Stability and attractor property of free-floating axisymmetric magnetic bubbles in high-conductivity plasmas is (tentatively, numerically) demonstrated. The existence of compact non-singular axisymmetric magnetic equilibria is proved. Being attractors, the solitary magnetic bubbles should exist in nature.


title: Effect of the Heterogeneity of Metamaterials on Casimir-Lifshitz Interaction

abstract: The Casimir-Lifshitz interaction between metamaterials is studied using a model that takes into account the structural heterogeneity of the dielectric and magnetic properties of the bodies. A recently developed perturbation theory for the Casimir-Lifshitz interaction between arbitrary material bodies is generalized to include non-uniform magnetic permeability profiles, and used to study the interaction between the magneto-dielectric heterostructures within the leading order. The metamaterials are modeled as two dimensional arrays of domains with varying permittivity and permeability. In the case of two semi-infinite bodies with flat boundaries, the patterned structure of the material properties is found to cause the normal Casimir-Lifshitz force to develop an oscillatory behavior when the distance between the two bodies is comparable to the wavelength of the patterned features in the metamaterials. The non-uniformity also leads to the emergence of lateral Casimir-Lifshitz forces, which tend to strengthen as the gap size becomes smaller. Our results suggest that the recent studies on Casimir-Lifshitz forces between metamaterials, which have been performed with the aim of examining the possibility of observing the repulsive force, should be revisited to include the effect of the patterned structure at the wavelength of several hundred nanometers that coincides with the relevant gap size in the experiments.


title: Bulk scaling limit of the Laguerre ensemble

abstract: We consider the beta-Laguerre ensemble, a family of distributions generalizing the joint eigenvalue distribution of the Wishart random matrices. We show that the bulk scaling limit of these ensembles exists for all beta>0 for a general family of parameters and it is the same as the bulk scaling limit of the corresponding beta-Hermite ensemble.


title: Droplet and cluster formation in freely falling granular streams

abstract: Particle beams are important tools for probing atomic and molecular interactions. Here we demonstrate that particle beams also offer a unique opportunity to investigate interactions in macroscopic systems, such as granular media. Motivated by recent experiments on streams of grains that exhibit liquid-like breakup into droplets, we use molecular dynamics simulations to investigate the evolution of a dense stream of macroscopic spheres accelerating out of an opening at the bottom of a reservoir. We show how nanoscale details associated with energy dissipation during collisions modify the stream's macroscopic behavior. We find that inelastic collisions collimate the stream, while the presence of short-range attractive interactions drives structure formation. Parameterizing the collision dynamics by the coefficient of restitution (i.e., the ratio of relative velocities before and after impact) and the strength of the cohesive interaction, we map out a spectrum of behaviors that ranges from gas-like jets in which all grains drift apart to liquid-like streams that break into large droplets containing hundreds of grains. We also find a new, intermediate regime in which small aggregates form by capture from the gas phase, similar to what can be observed in molecular beams. Our results show that nearly all aspects of stream behavior are closely related to the velocity gradient associated with vertical free fall. Led by this observation, we propose a simple energy balance model to explain the droplet formation process. The qualitative as well as many quantitative features of the simulations and the model compare well with available experimental data and provide a first quantitative measure of the role of attractions in freely cooling granular streams.


title: Perturbations of eigenvalues embedded at threshold: one, two and three dimensional solvable models

abstract: We examine perturbations of eigenvalues and resonances for a class of multi-channel quantum mechanical model-Hamiltonians describing a particle interacting with a localized spin in dimension $d=1,2,3$. We consider unperturbed Hamiltonians showing eigenvalues and resonances at the threshold of the continuous spectrum and we analyze the effect of various type of perturbations on the spectral singularities. We provide algorithms to obtain convergent series expansions for the coordinates of the singularities.


title: A different way to read off the time - A new idea for a binary clock

abstract: A new idea for a binary clock is presented. It displays the time using a triangular array of 15 bits. It is shown that such a geometric, triangular arrangement is only possible because our system of time divisions is based on a sexagesimal system in which the number of minutes in 12 hours equals the factorial of a natural number (720=6!).


title: Conjecture concerning a completely monotonic function

abstract: Based on a sequence of numerical computations, a conjecture is presented regarding the class of functions $H(x;a)=\exp(a)-(1+a/x)^x$, and the open problem of determining the values of $a$ for which the functions are completely monotonic with respect to $x$. The critical value of $a$ is determined here to sufficient accuracy to show that it is not a simple symbolic quantity.


title: Global well-posedness and scattering for the defocusing, $L^{2}$-critical, nonlinear Schr{\"o}dinger equation when $d = 2$

abstract: In this paper we prove that the defocusing, cubic nonlinear Schr{\"o}dinger initial value problem is globally well-posed and scattering for $u_{0} \in L^{2}(\mathbf{R}^{2})$. To do this, we will prove a frequency localized interaction Morawetz estimate similar to the estimate made in \cite{CKSTT4}. Since we are considering an $L^{2}$ - critical initial value problem we will localize to low frequencies.


title: Improved Constraints on Isotropic Shift and Anisotropies of the Speed of Light using Rotating Cryogenic Sapphire Oscillators

abstract: We demonstrate that Michelson-Morley tests, which detect direction-dependent anisotropies in the speed of light, can also be used to place limits upon isotropic deviations of the vacuum speed of light from $c$, as described by the photon sector Standard Model Extension (SME) parameter $\tilde{\kappa}_{tr}$. A shift in the speed of light that is isotropic in one inertial frame implies anisotropic shifts in others. Using observer Lorentz covariance, we derive the time-dependent variations in the relative resonance frequencies of a pair of electromagnetic resonators that would be generated by such a shift in the rest frame of the Sun. A new analysis of a recent experimental test of relativity using this result constrains $\tilde{\kappa}_{tr}$ with a precision of $7.4\times10^{-9}$. This represents the first constraint on $\tilde{\kappa}_{tr}$ by a Michelson-Morley experiment and the first analysis of a single experiment to simultaneously set limits on all nine non-birefringent terms in the photon sector of the SME.


title: Joint Bandwidth and Power Allocation with Admission Control in Wireless Multi-User Networks With and Without Relaying

abstract: Equal allocation of bandwidth and/or power may not be efficient for wireless multi-user networks with limited bandwidth and power resources. Joint bandwidth and power allocation strategies for wireless multi-user networks with and without relaying are proposed in this paper for (i) the maximization of the sum capacity of all users; (ii) the maximization of the worst user capacity; and (iii) the minimization of the total power consumption of all users. It is shown that the proposed allocation problems are convex and, therefore, can be solved efficiently. Moreover, the admission control based joint bandwidth and power allocation is considered. A suboptimal greedy search algorithm is developed to solve the admission control problem efficiently. The conditions under which the greedy search is optimal are derived and shown to be mild. The performance improvements offered by the proposed joint bandwidth and power allocation are demonstrated by simulations. The advantages of the suboptimal greedy search algorithm for admission control are also shown.


title: Instability, Intermixing and Electronic Structure at the Epitaxial LaAlO3/SrTiO3(001) Heterojunction

abstract: The question of stability against diffusional mixing at the prototypical LaAlO3/SrTiO3(001) interface is explored using a multi-faceted experimental and theoretical approach. We combine analytical methods with a range of sensitivities to elemental concentrations and spatial separations to investigate interfaces grown using on-axis pulsed laser deposition. We also employ computational modeling based on the density function theory as well as classical force fields to explore the energetic stability of a wide variety of intermixed atomic configurations relative to the idealized, atomically abrupt model. Statistical analysis of the calculated energies for the various configurations is used to elucidate the relative thermodynamic stability of intermixed and abrupt configurations. We find that on both experimental and theoretical fronts, the tendency toward intermixing is very strong. We have also measured and calculated key electronic properties such as the presence of electric fields and the value of the valence band discontinuity at the interface. We find no measurable electric field in either the LaAlO3 or SrTiO3, and that the valence band offset is near zero, partitioning the band discontinuity almost entirely to the conduction band edge. Moreover, we find that it is not possible to account for these electronic properties theoretically without including extensive intermixing in our physical model of the interface. The atomic configurations which give the greatest electrostatic stability are those that eliminate the interface dipole by intermixing, calling into question the conventional explanation for conductivity at this interface - electronic reconstruction. Rather, evidence is presented for La indiffusion and doping of the SrTiO3 below the interface as being the cause of the observed conductivity.


title: The return of the bursts: Thermonuclear flashes from Circinus X-1

abstract: We report the detection of 15 X-ray bursts with RXTE and Swift observations of the peculiar X-ray binary Circinus X-1 during its May 2010 X-ray re-brightening. These are the first X-ray bursts observed from the source after the initial discovery by Tennant and collaborators, twenty-five years ago. By studying their spectral evolution, we firmly identify nine of the bursts as type I (thermonuclear) X-ray bursts. We obtain an arcsecond location of the bursts that confirms once and for all the identification of Cir X-1 as a type I X-ray burst source, and therefore as a low magnetic field accreting neutron star. The first five bursts observed by RXTE are weak and show approximately symmetric light curves, without detectable signs of cooling along the burst decay. We discuss their possible nature. Finally, we explore a scenario to explain why Cir X-1 shows thermonuclear bursts now but not in the past, when it was extensively observed and accreting at a similar rate.


title: Pareto Region Characterization for Rate Control in Multi-User Systems and Nash Bargaining

abstract: The problem of rate control in multi-user multiple-input multiple-output (MIMO) interference systems is formulated as a multicriteria optimization (MCO) problem. The Pareto rate region of the MCO problem is characterized. It is shown that for the convexity of the Pareto rate region it is sufficient that the interference-plus-noise covariance matrices (INCMs) of multiple users with conflicting objectives approach identity matrix. The latter can be achieved by using either orthogonal signaling, time-sharing, or interference cancellation strategies. In the case of high interference, the interference cancellation is preferable in order to increase the Pareto boundary and guarantee the convexity of the Pareto rate region. The Nash bargaining (NB) is applied to transform the MCO problem into a single-objective one. The characteristics of the NB over MIMO interference systems such as the uniqueness, existence of the NB solution, and feasibility of the NB set are investigated. When the NB solution exists, the sufficient condition for the corresponding single-objective problem to have a unique solution is that the INCMs of users approach identity matrix. A simple multi-stage interference cancellation scheme, which leads to a larger convex Pareto rate region and, correspondingly, a unique NB solution with larger user rates compared to the orthogonal and time-sharing signaling schemes, is proposed. The convexity of the rate region, effectiveness of the proposed interference cancellation technique, and existence of the NB solution for MIMO interference systems are examined by means of numerical studies. The fairness of the NB solution is also demonstrated. Finally, the special cases of multi-input single-output (MISO) and single-input single-output (SISO) interference systems are also considered.


title: Categories parametrized by schemes and representation theory in complex rank

abstract: Many key invariants in the representation theory of classical groups (symmetric groups $S_n$, matrix groups $GL_n$, $O_n$, $Sp_{2n}$) are polynomials in $n$ (e.g., dimensions of irreducible representations). This allowed Deligne to extend the representation theory of these groups to complex values of the rank $n$. Namely, Deligne defined generically semisimple families of tensor categories parametrized by $n\in \mathbb{C}$, which at positive integer $n$ specialize to the classical representation categories. Using Deligne's work, Etingof proposed a similar extrapolation for many non-semisimple representation categories built on representation categories of classical groups, e.g., degenerate affine Hecke algebras (dAHA). It is expected that for generic $n\in \mathbb{C}$ such extrapolations behave as they do for large integer $n$ ("stabilization"). The goal of our work is to provide a technique to prove such statements. Namely, we develop an algebro-geometric framework to study categories indexed by a parameter $n$, in which the set of values of $n$ for which the category has a given property is constructible. This implies that if a property holds for integer $n$, it then holds for generic complex $n$. We use this to give a new proof that Deligne's categories are generically semisimple. We also apply this method to Etingof's extrapolations of dAHA, and prove that when $n$ is transcendental, "finite-dimensional" simple objects are quotients of certain standard induced objects, extrapolating Zelevinsky's classification of simple dAHA-modules for $n\in \mathbb{N}$. Finally, we obtain similar results for the extrapolations of categories associated to wreath products of the symmetric group with associative algebras.


title: On Regret of Parametric Mismatch in Minimum Mean Square Error Estimation

abstract: This paper studies the effect of parametric mismatch in minimum mean square error (MMSE) estimation. In particular, we consider the problem of estimating the input signal from the output of an additive white Gaussian channel whose gain is fixed, but unknown. The input distribution is known, and the estimation process consists of two algorithms. First, a channel estimator blindly estimates the channel gain using past observations. Second, a mismatched MMSE estimator, optimized for the estimated channel gain, estimates the input signal. We analyze the regret, i.e., the additional mean square error, that is raised in this process. We derive upper-bounds on both absolute and relative regrets. Bounds are expressed in terms of the Fisher information. We also study regret for unbiased, efficient channel estimators, and derive a simple trade-off between Fisher information and relative regret. This trade-off shows that the product of a certain function of relative regret and Fisher information equals the signal-to-noise ratio, independent of the input distribution. The trade-off relation implies that higher Fisher information results to smaller expected relative regret.


title: Efficient Symbol Sorting for High Intermediate Recovery Rate of LT Codes

abstract: LT codes are modern and efficient rateless forward error correction (FEC) codes with close to channel capacity performance. Nevertheless, in intermediate range where the number of received encoded symbols is less than the number of source symbols, LT codes have very low recovery rates. In this paper, we propose a novel algorithm which significantly increases the intermediate recovery rate of LT codes, while it preserves the codes' close to channel capacity performance. To increase the intermediate recovery rate, our proposed algorithm rearranges the transmission order of the encoded symbols exploiting their structure, their transmission history, and an estimate of the channel's erasure rate. We implement our algorithm for conventional LT codes, and numerically evaluate its performance.


title: An Implicitization Challenge for Binary Factor Analysis

abstract: We use tropical geometry to compute the multidegree and Newton polytope of the hypersurface of a statistical model with two hidden and four observed binary random variables, solving an open question stated by Drton, Sturmfels and Sullivant in "Lectures on Algebraic Statistics" (Problem 7.7). The model is obtained from the undirected graphical model of the complete bipartite graph $K_{2,4}$ by marginalizing two of the six binary random variables. We present algorithms for computing the Newton polytope of its defining equation by parallel walks along the polytope and its normal fan. In this way we compute vertices of the polytope. Finally, we also compute and certify its facets by studying tangent cones of the polytope at the symmetry classes vertices. The Newton polytope has 17214912 vertices in 44938 symmetry classes and 70646 facets in 246 symmetry classes.


title: The Electric Aharonov-Bohm Effect

abstract: In their seminal paper Aharonov and Bohm (1959) claimed that electromagnetic fields can act at a distance on charged particles even if they are identically zero in the region of space where the particles propagate. They proposed two experiments to verify their theoretical conclusions. The magnetic effect, that has been extensively studied, and the electric effect where an electron is affected by a time-dependent electric potential that is constant in the region where the electron is propagating, i.e., such that the electric field vanishes along its trajectory. The Aharonov-Bohm effects imply such a strong departure from the physical intuition coming from classical physics that it is no wonder that they remain a highly controversial issue, after more than fifty years. The existence of electric Aharonov-Bohm effect, that has not been confirmed experimentally, is a very controversial issue. In their 1959 paper Aharonov and Bohm proposed an Ansatz for the solution to the Schroedinger equation in regions where there is a time-dependent electric potential that is constant in space. It consists in multiplying the free evolution by a phase given by the integral in time of the potential. The validity of this Ansatz predicts interference fringes between parts of a coherent electron beam that are subjected to different potentials. In this paper we prove that the exact solution to the Schroedinger equation is given by the Aharonov-Bohm Ansatz up to an error bound in norm that is uniform in time and that decays as a constant divided by the velocity. Our results give, for the first time, a rigorous proof that quantum mechanics predicts the existence of the electric Aharonov-Bohm effect, under conditions that we provide. We hope that our results will estimulate the experimental research on the electric Aharonov-Bohm effect.


title: Tunneling Conductance of The Graphene SNS Junction with a Single Localized Defect

abstract: We study the electronic transport in a graphene-based superconductor-normal(graphene)-superconductor (SNS) junction by use of the Dirac-Bogoliubov-de Gennes equation. We consider the properties of tunneling conductance through an undoped strip of graphene with heavily doped superconducting electrodes in the dirty limit. We find that spectrum of Andreev bound states are modified in the presence of single localized defect in the bulk. The minimum tunneling conductance remains the same and this result doesn't depend on the actual location of the imperfection.


title: Interaction strengths in cuprates from the inelastic neutron-scattering measurements

abstract: The $t-U-V-J$ model is used to describe the positions of the experimental peaks associated with commensurate and incommensurate structure of the magnetic susceptibility probed by neutron scattering in cuprate compounds. Assuming that the tight-binding form of the mean-field electron energy and the maximum gap can be obtained by fitting the angle-resolved photoemission spectroscopy (ARPES) data, we have determined the strengths of the on-site repulsive interaction $U$, the spin-independent attractive interaction $V$ and the spin-dependent antiferromagnetic interaction $J$ from the positions of the commensurate and incommensurate peaks.


title: Bethe-Salpeter equations for the collective modes of the $t-U-V-J$ model with d-wave pairing

abstract: The Bethe-Salpeter equations for the collective modes of a $t$-$U$-$V$-$J$ model are used to analyze the resonance peak observed at $\bf{Q}=(\pi,\pi)$ in neutron scattering experiments on the cuprates. We assume that the resonance emerges due to the mixing between the spin channel and 19 other channels. We have calculated the energy of the lowest mode of the extended Hubbard model ($J=0$) vs the on-site repulsive interaction $U$, as well as the $UJ$ lines in the interaction parameter space which are consistent with the ARPES data and reproduces the resonance peak at 40 meV in Bi2212 compound. We find that the resonance is predominantly a spin exciton.


title: Accelerated finite difference schemes for stochastic partial differential equations in the whole space

abstract: We give sufficient conditions under which the convergence of finite difference approximations in the space variable of the solution to the Cauchy problem for linear stochastic PDEs of parabolic type can be accelerated to any given order of convergence by Richardson's method.


title: Modelling Herschel observations of infrared-dark clouds in the Hi-GAL survey

abstract: We demonstrate the use of the 3D Monte Carlo radiative transfer code PHAETHON to model infrared-dark clouds (IRDCs) that are externally illuminated by the interstellar radiation field (ISRF). These clouds are believed to be the earliest observed phase of high-mass star formation, and may be the high-mass equivalent of lower-mass prestellar cores. We model three different cases as examples of the use of the code, in which we vary the mass, density, radius, morphology and internal velocity field of the IRDC. We show the predicted output of the models at different wavelengths chosen to match the observing wavebands of Herschel and Spitzer. For the wavebands of the long- wavelength SPIRE photometer on Herschel, we also pass the model output through the SPIRE simulator to generate output images that are as close as possible to the ones that would be seen using SPIRE. We then analyse the images as if they were real observations, and compare the results of this analysis with the results of the radiative transfer models. We find that detailed radiative transfer modelling is necessary to accurately determine the physical parameters of IRDCs (e.g. dust temperature, density profile). This method is applied to study G29.55+00.18, an IRDC observed by the Herschel Infrared Galactic Plane survey (Hi-GAL), and in the future it will be used to model a larger sample of IRDCs from the same survey.


title: Josephson effect in Graphene SNS Junction with a Single Localized Defect

abstract: Imperfections change essentially the electronic transport properties of graphene. Motivated by a recent experiment reporting on the possible application of graphene as junctions, we study transport properties in graphene-based junctions with single localized defect. We solve the Dirac-Bogoliubov-de-Gennes equation with a single localized defect superconductor-normal(graphene)-superconductor (SNS) junction. We consider the properties of tunneling conductance and Josephson current through an undoped strip of graphene with heavily doped s-wave superconducting electrodes in the dirty limit. We find that spectrum of Andreev bound states are modified in the presence of single localized defect in the bulk and the minimum tunneling conductance remains the same. The Josephson junction exhibits sign oscillations.


title: Speed of sound in a superfluid Fermi gas in an optical lattice

abstract: A system of equal mixture of $^6Li$ atomic Fermi gas of two hyperfine states loaded into a cubic three-dimensional optical lattice is studied assuming a negative scattering length (BCS side of the Feshbach resonance). When the interaction is attractive, fermionic atoms can pair and form a superfluid. The dispersion of the phonon-like mode and the speed of sound in the long-wavelength limit are obtained by solving the Bethe-Salpeter equations for the collective modes of the attractive Hubbard Hamiltonian.


title: Quantifier elimination and minimality conditions in algebraically closed valued fields

abstract: A Basarab-Kuhlmann style language L_RV is introduced in the Hrushovski-Kazhdan integration theory. The theory ACVF of algebraically closed valued fields formulated in this language admits quantifier elimination. In this paper, using well-known facts in the theory of valued fields, we give a straightforward proof of this fact. We also show that two expansions of ACVF, one with a section of the entire RV-sort and the other with a section of the residue field, admit quantifier elimination. Thereafter we show that, in terms of certain minimality conditions, the three theories are distinct geometrically.


title: Unveiling quantum entanglement degradation near a Schwarzschild black hole

abstract: We analyze the entanglement degradation provoked by the Hawking effect in a bipartite system Alice-Rob when Rob is in the proximities of a Schwarzschild black hole while Alice is free falling into it. We will obtain the limit in which the tools imported from the Unruh entanglement degradation phenomenon can be used properly, keeping control on the approximation. As a result, we will be able to determine the degree of entanglement as a function of the distance of Rob to the event horizon, the mass of the black hole, and the frequency of Rob's entangled modes. By means of this analysis we will show that all the interesting phenomena occur in the vicinity of the event horizon and that the presence of event horizons do not effectively degrade the entanglement when Rob is far off the black hole. The universality of the phenomenon is presented: There are not fundamental differences for different masses when working in the natural unit system adapted to each black hole. We also discuss some aspects of the localization of Alice and Rob states. All this study is done without using the single mode approximation.


title: Strength of the interactions in $YBa_2Cu_3O_{6.7}$ obtained from the inelastic neutron-scattering measurements

abstract: It is widely accepted that: (i) the angle-resolved photoemission spectroscopy (ARPES) data produce evidences for the opening of a d-wave pairing gap in cuprates compounds described at low energies and temperatures by a BCS theory, and (ii) the basic pairing mechanism arises from the antiferromagnetic exchange correlations, but the charge fluctuations associated with double occupancy of a site also play an essential role in doped systems. The simplest model that is consistent with the two statements is the $t$-$U$-$V$-$J$ model. We have shown that the inelastic neutron scattering data on $YBa_2Cu_3O_{6.7}$ [Phys. Rev. Lett. \textbf{83}, 608 (1999)] combined with the corresponding ARPES data allow us to obtain the strength of the on-site repulsive interaction $U$, as well as the strengths of the spin-independent attractive interaction $V$ and the spin-dependent antiferromagnetic interaction $J$.


title: Determining the Physical Lens Parameters of the Binary Gravitational Microlensing Event MOA-2009-BLG-016

abstract: We report the result of the analysis of the light curve of the microlensing event MOA-2009-BLG-016. The light curve is characterized by a short-duration anomaly near the peak and an overall asymmetry. We find that the peak anomaly is due to a binary companion to the primary lens and the asymmetry of the light curve is explained by the parallax effect caused by the acceleration of the observer over the course of the event due to the orbital motion of the Earth around the Sun. In addition, we detect evidence for the effect of the finite size of the source near the peak of the event, which allows us to measure the angular Einstein radius of the lens system. The Einstein radius combined with the microlens parallax allows us to determine the total mass of the lens and the distance to the lens. We identify three distinct classes of degenerate solutions for the binary lens parameters, where two are manifestations of the previously identified degeneracies of close/wide binaries and positive/negative impact parameters, while the third class is caused by the symmetric cycloid shape of the caustic. We find that, for the best-fit solution, the estimated mass of the lower-mass component of the binary is (0.04 +- 0.01) M_sun, implying a brown-dwarf companion. However, there exists a solution that is worse only by \Delta\chi^2 ~ 3 for which the mass of the secondary is above the hydrogen-burning limit. Unfortunately, resolving these two degenerate solutions will be difficult as the relative lens-source proper motions for both are similar and small (~ 1 mas/yr) and thus the lens will remain blended with the source for the next several decades.


title: Sharpness of Falconer's estimate in continuous and arithmetic settings, geometric incidence theorems and distribution of lattice points in convex domains

abstract: In this paper we prove, for all $d \ge 2$, that for no $s<\frac{d+1}{2}$ does $I_s(\mu)<\infty$ imply the canonical Falconer distance problem incidence bound, or the analogous estimate where the Euclidean norm is replaced by the norm generated by a particular convex body $B$ with a smooth boundary and everywhere non-vanishing curvature. Our construction, based on a combinatorial construction due to Pavel Valtr naturally leads us to some interesting connections between the problem under consideration, geometric incidence theorem in the discrete setting and distribution of lattice points in convex domains. We also prove that an example by Mattila can be discretized to produce a set of points and annuli for which the number of incidences is much greater than in the case of the lattice. In particular, we use the known results on the Gauss Circle Problem and a discretized version of Mattila's example to produce a non-lattice set of points and annuli where the number of incidences is much greater than in the case of the standard lattice. Finally, we extend Valtr's example into the setting of vector spaces over finite fields and show that a finite field analog of the key incidence bound is also sharp.


title: Representations of Hardy Algebras: Absolute Continuity, Intertwiners and Superharmonic Operators

abstract: Suppose $\mathcal{T}_{+}(E)$ is the tensor algebra of a $W^{*}$-correspondence $E$ and $H^{\infty}(E)$ is the associated Hardy algebra. We investigate the problem of extending completely contractive representations of $\mathcal{T}_{+}(E)$ on a Hilbert space to ultra-weakly continuous completely contractive representations of $H^{\infty}(E)$ on the same Hilbert space. Our work extends the classical Sz.-Nagy - Foia\c{s} functional calculus and more recent work by Davidson, Li and Pitts on the representation theory of Popescu's noncommutative disc algebra.


title: Spontaneous symmetry breaking and Lifshitz transition in bilayer graphene

abstract: We derive the renormalization group equations describing all the short-range interactions in bilayer graphene allowed by symmetry and the long range Coulomb interaction. For certain range of parameters, we predict the first order phase transition to the uniaxially deformed gapless state accompanied by the change of the topology of the electron spectrum.


title: Configuration mixing of angular-momentum projected triaxial relativistic mean-field wave functions. II. Microscopic analysis of low-lying states in magnesium isotopes

abstract: The recently developed structure model that uses the generator coordinate method to perform configuration mixing of angular-momentum projected wave functions, generated by constrained self-consistent relativistic mean-field calculations for triaxial shapes (3DAMP+GCM), is applied in a systematic study of ground states and low-energy collective states in the even-even magnesium isotopes $^{20-40}$Mg. Results obtained using a relativistic point-coupling nucleon-nucleon effective interaction in the particle-hole channel, and a density-independent $\delta$-interaction in the pairing channel, are compared to data and with previous axial 1DAMP+GCM calculations, both with a relativistic density functional and the non-relativistic Gogny force. The effects of the inclusion of triaxial degrees of freedom on the low-energy spectra and E2 transitions of magnesium isotopes are examined.


title: PhoenixCloud: Provisioning Resources for Heterogeneous Workloads in Cloud Computing

abstract: As more and more service providers choose Cloud platforms, which is provided by third party resource providers, resource providers needs to provision resources for heterogeneous workloads in different Cloud scenarios. Taking into account the dramatic differences of heterogeneous workloads, can we coordinately provision resources for heterogeneous workloads in Cloud computing? In this paper we focus on this important issue, which is investigated by few previous work. Our contributions are threefold: (1) we respectively propose a coordinated resource provisioning solution for heterogeneous workloads in two typical Cloud scenarios: first, a large organization operates a private Cloud for two heterogeneous workloads; second, a large organization or two service providers running heterogeneous workloads revert to a public Cloud; (2) we build an agile system PhoenixCloud that enables a resource provider to create coordinated runtime environments on demand for heterogeneous workloads when they are consolidated on a Cloud site; and (3) A comprehensive evaluation has been performed in experiments. For two typical heterogeneous workload traces: parallel batch jobs and Web services, our experiments show that: a) in a private Cloud scenario, when the throughput is almost same like that of a dedicated cluster system, our solution decreases the configuration size of a cluster by about 40%; b) in a public Cloud scenario, our solution decreases not only the total resource consumption, but also the peak resource consumption maximally to 31% with respect to that of EC2 +RightScale solution.


title: Blackwell-Optimal Strategies in Priority Mean-Payoff Games

abstract: We examine perfect information stochastic mean-payoff games - a class of games containing as special sub-classes the usual mean-payoff games and parity games. We show that deterministic memoryless strategies that are optimal for discounted games with state-dependent discount factors close to 1 are optimal for priority mean-payoff games establishing a strong link between these two classes.


title: Discounting in Games across Time Scales

abstract: We introduce two-level discounted games played by two players on a perfect-information stochastic game graph. The upper level game is a discounted game and the lower level game is an undiscounted reachability game. Two-level games model hierarchical and sequential decision making under uncertainty across different time scales. We show the existence of pure memoryless optimal strategies for both players and an ordered field property for such games. We show that if there is only one player (Markov decision processes), then the values can be computed in polynomial time. It follows that whether the value of a player is equal to a given rational constant in two-level discounted games can be decided in NP intersected coNP. We also give an alternate strategy improvement algorithm to compute the value.


title: How do we remember the past in randomised strategies?

abstract: Graph games of infinite length are a natural model for open reactive processes: one player represents the controller, trying to ensure a given specification, and the other represents a hostile environment. The evolution of the system depends on the decisions of both players, supplemented by chance. In this work, we focus on the notion of randomised strategy. More specifically, we show that three natural definitions may lead to very different results: in the most general cases, an almost-surely winning situation may become almost-surely losing if the player is only allowed to use a weaker notion of strategy. In more reasonable settings, translations exist, but they require infinite memory, even in simple cases. Finally, some traditional problems becomes undecidable for the strongest type of strategies.


title: Using Strategy Improvement to Stay Alive

abstract: We design a novel algorithm for solving Mean-Payoff Games (MPGs). Besides solving an MPG in the usual sense, our algorithm computes more information about the game, information that is important with respect to applications. The weights of the edges of an MPG can be thought of as a gained/consumed energy -- depending on the sign. For each vertex, our algorithm computes the minimum amount of initial energy that is sufficient for player Max to ensure that in a play starting from the vertex, the energy level never goes below zero. Our algorithm is not the first algorithm that computes the minimum sufficient initial energies, but according to our experimental study it is the fastest algorithm that computes them. The reason is that it utilizes the strategy improvement technique which is very efficient in practice.


title: On Modal {\mu}-Calculus over Finite Graphs with Bounded Strongly Connected Components

abstract: For every positive integer k we consider the class SCCk of all finite graphs whose strongly connected components have size at most k. We show that for every k, the Modal mu-Calculus fixpoint hierarchy on SCCk collapses to the level Delta2, but not to Comp(Sigma1,Pi1) (compositions of formulas of level Sigma1 and Pi1). This contrasts with the class of all graphs, where Delta2=Comp(Sigma1,Pi1).


title: Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

abstract: Interval temporal logics (ITLs) are logics for reasoning about temporal statements expressed over intervals, i.e., periods of time. The most famous ITL studied so far is Halpern and Shoham's HS, which is the logic of the thirteen Allen's interval relations. Unfortunately, HS and most of its fragments have an undecidable satisfiability problem. This discouraged the research in this area until recently, when a number non-trivial decidable ITLs have been discovered. This paper is a contribution towards the complete classification of all different fragments of HS. We consider different combinations of the interval relations Begins, After, Later and their inverses Abar, Bbar, and Lbar. We know from previous works that the combination ABBbarAbar is decidable only when finite domains are considered (and undecidable elsewhere), and that ABBbar is decidable over the natural numbers. We extend these results by showing that decidability of ABBar can be further extended to capture the language ABBbarLbar, which lays in between ABBar and ABBbarAbar, and that turns out to be maximal w.r.t decidability over strongly discrete linear orders (e.g. finite orders, the naturals, the integers). We also prove that the proposed decision procedure is optimal with respect to the complexity class.


title: Exploiting the Temporal Logic Hierarchy and the Non-Confluence Property for Efficient LTL Synthesis

abstract: The classic approaches to synthesize a reactive system from a linear temporal logic (LTL) specification first translate the given LTL formula to an equivalent omega-automaton and then compute a winning strategy for the corresponding omega-regular game. To this end, the obtained omega-automata have to be (pseudo)-determinized where typically a variant of Safra's determinization procedure is used. In this paper, we show that this determinization step can be significantly improved for tool implementations by replacing Safra's determinization by simpler determinization procedures. In particular, we exploit (1) the temporal logic hierarchy that corresponds to the well-known automata hierarchy consisting of safety, liveness, Buechi, and co-Buechi automata as well as their boolean closures, (2) the non-confluence property of omega-automata that result from certain translations of LTL formulas, and (3) symbolic implementations of determinization procedures for the Rabin-Scott and the Miyano-Hayashi breakpoint construction. In particular, we present convincing experimental results that demonstrate the practical applicability of our new synthesis procedure.


title: Local Strategy Improvement for Parity Game Solving

abstract: The problem of solving a parity game is at the core of many problems in model checking, satisfiability checking and program synthesis. Some of the best algorithms for solving parity game are strategy improvement algorithms. These are global in nature since they require the entire parity game to be present at the beginning. This is a distinct disadvantage because in many applications one only needs to know which winning region a particular node belongs to, and a witnessing winning strategy may cover only a fractional part of the entire game graph. We present a local strategy improvement algorithm which explores the game graph on-the-fly whilst performing the improvement steps. We also compare it empirically with existing global strategy improvement algorithms and the currently only other local algorithm for solving parity games. It turns out that local strategy improvement can outperform these others by several orders of magnitude.


title: Playing Muller Games in a Hurry

abstract: This work studies the following question: can plays in a Muller game be stopped after a finite number of moves and a winner be declared. A criterion to do this is sound if Player 0 wins an infinite-duration Muller game if and only if she wins the finite-duration version. A sound criterion is presented that stops a play after at most 3^n moves, where n is the size of the arena. This improves the bound (n!+1)^n obtained by McNaughton and the bound n!+1 derived from a reduction to parity games.


title: Unitary Noise and the Mermin-GHZ Game

abstract: Communication complexity is an area of classical computer science which studies how much communication is necessary to solve various distributed computational problems. Quantum information processing can be used to reduce the amount of communication required to carry out some distributed problems. We speak of pseudo-telepathy when it is able to completely eliminate the need for communication. Since it is generally very hard to perfectly implement a quantum winning strategy for a pseudo-telepathy game, quantum players are almost certain to make errors even though they use a winning strategy. After introducing a model for pseudo-telepathy games, we investigate the impact of erroneously performed unitary transformations on the quantum winning strategy for the Mermin-GHZ game. The question of how strong the unitary noise can be so that quantum players would still be better than classical ones is also dealt with.


title: On the Expressiveness of Markovian Process Calculi with Durational and Durationless Actions

abstract: Several Markovian process calculi have been proposed in the literature, which differ from each other for various aspects. With regard to the action representation, we distinguish between integrated-time Markovian process calculi, in which every action has an exponentially distributed duration associated with it, and orthogonal-time Markovian process calculi, in which action execution is separated from time passing. Similar to deterministically timed process calculi, we show that these two options are not irreconcilable by exhibiting three mappings from an integrated-time Markovian process calculus to an orthogonal-time Markovian process calculus that preserve the behavioral equivalence of process terms under different interpretations of action execution: eagerness, laziness, and maximal progress. The mappings are limited to classes of process terms of the integrated-time Markovian process calculus with restrictions on parallel composition and do not involve the full capability of the orthogonal-time Markovian process calculus of expressing nondeterministic choices, thus elucidating the only two important differences between the two calculi: their synchronization disciplines and their ways of solving choices.


title: Coinductive subtyping for abstract compilation of object-oriented languages into Horn formulas

abstract: In recent work we have shown how it is possible to define very precise type systems for object-oriented languages by abstractly compiling a program into a Horn formula f. Then type inference amounts to resolving a certain goal w.r.t. the coinductive (that is, the greatest) Herbrand model of f. Type systems defined in this way are idealized, since in the most interesting instantiations both the terms of the coinductive Herbrand universe and goal derivations cannot be finitely represented. However, sound and quite expressive approximations can be implemented by considering only regular terms and derivations. In doing so, it is essential to introduce a proper subtyping relation formalizing the notion of approximation between types. In this paper we study a subtyping relation on coinductive terms built on union and object type constructors. We define an interpretation of types as set of values induced by a quite intuitive relation of membership of values to types, and prove that the definition of subtyping is sound w.r.t. subset inclusion between type interpretations. The proof of soundness has allowed us to simplify the notion of contractive derivation and to discover that the previously given definition of subtyping did not cover all possible representations of the empty type.


title: Model-Checking an Alternating-time Temporal Logic with Knowledge, Imperfect Information, Perfect Recall and Communicating Coalitions

abstract: We present a variant of ATL with distributed knowledge operators based on a synchronous and perfect recall semantics. The coalition modalities in this logic are based on partial observation of the full history, and incorporate a form of cooperation between members of the coalition in which agents issue their actions based on the distributed knowledge, for that coalition, of the system history. We show that model-checking is decidable for this logic. The technique utilizes two variants of games with imperfect information and partially observable objectives, as well as a subset construction for identifying states whose histories are indistinguishable to the considered coalition.


title: Formats of Winning Strategies for Six Types of Pushdown Games

abstract: The solution of parity games over pushdown graphs (Walukiewicz '96) was the first step towards an effective theory of infinite-state games. It was shown that winning strategies for pushdown games can be implemented again as pushdown automata. We continue this study and investigate the connection between game presentations and winning strategies in altogether six cases of game arenas, among them realtime pushdown systems, visibly pushdown systems, and counter systems. In four cases we show by a uniform proof method that we obtain strategies implementable by the same type of pushdown machine as given in the game arena. We prove that for the two remaining cases this correspondence fails. In the conclusion we address the question of an abstract criterion that explains the results.


title: Efficient Symmetry Reduction and the Use of State Symmetries for Symbolic Model Checking

abstract: One technique to reduce the state-space explosion problem in temporal logic model checking is symmetry reduction. The combination of symmetry reduction and symbolic model checking by using BDDs suffered a long time from the prohibitively large BDD for the orbit relation. Dynamic symmetry reduction calculates representatives of equivalence classes of states dynamically and thus avoids the construction of the orbit relation. In this paper, we present a new efficient model checking algorithm based on dynamic symmetry reduction. Our experiments show that the algorithm is very fast and allows the verification of larger systems. We additionally implemented the use of state symmetries for symbolic symmetry reduction. To our knowledge we are the first who investigated state symmetries in combination with BDD based symbolic model checking.


title: Quench Dynamics of Entanglement in an Opened Anisotropic Spin-1/2 Heisenberg Chain

abstract: The quantum entanglement dynamics of a one-dimensional spin-1/2 anisotropic XXZ model is studied using the method of the adaptive time-dependent density-matrix renormalization-group when two cases of quenches are performed in the system. An anisotropic interaction quench and the maximum number of domain walls of staggered magnetization quench are considered. The dynamics of pairwise entanglement between the nearest two qubits in the spin chain is investigated. The entanglement of the two-spin qubits can be created and oscillates in both cases of the quench. The anisotropic interaction has a strong influence on the oscillation frequency of entanglement.


title: Stability, fragility, and Rota's Conjecture

abstract: Fix a matroid N. A matroid M is N-fragile if, for each element e of M, at least one of M\e and M/e has no N-minor. The Bounded Canopy Conjecture is that all GF(q)-representable matroids M that have an N-minor and are N-fragile have branch width bounded by a constant depending only on q and N. A matroid N stabilizes a class of matroids over a field F if, for every matroid M in the class with an N-minor, every F-representation of N extends to at most one F-representation of M. We prove that, if Rota's conjecture is false for GF(q), then either the Bounded Canopy Conjecture is false for GF(q) or there is an infinite chain of GF(q)-representable matroids, each not stabilized by the previous, each of which can be extended to an excluded minor. Our result implies the previously known result that Rota's conjecture holds for GF(4), and that the classes of near-regular and sixth-roots-of-unity have a finite number of excluded minors. However, the bound that we obtain on the size of such excluded minors is considerably larger than that obtained in previous proofs. For GF(5) we show that Rota's Conjecture reduces to the Bounded Canopy Conjecture.


title: Understanding the Quantum Computational Speed-up via De-quantisation

abstract: While it seems possible that quantum computers may allow for algorithms offering a computational speed-up over classical algorithms for some problems, the issue is poorly understood. We explore this computational speed-up by investigating the ability to de-quantise quantum algorithms into classical simulations of the algorithms which are as efficient in both time and space as the original quantum algorithms. The process of de-quantisation helps formulate conditions to determine if a quantum algorithm provides a real speed-up over classical algorithms. These conditions can be used to develop new quantum algorithms more effectively (by avoiding features that could allow the algorithm to be efficiently classically simulated), as well as providing the potential to create new classical algorithms (by using features which have proved valuable for quantum algorithms). Results on many different methods of de-quantisations are presented, as well as a general formal definition of de-quantisation. De-quantisations employing higher-dimensional classical bits, as well as those using matrix-simulations, put emphasis on entanglement in quantum algorithms; a key result is that any algorithm in which the entanglement is bounded is de-quantisable. These methods are contrasted with the stabiliser formalism de-quantisations due to the Gottesman-Knill Theorem, as well as those which take advantage of the topology of the circuit for a quantum algorithm. The benefits of the different methods are contrasted, and the importance of a range of techniques is emphasised. We further discuss some features of quantum algorithms which current de-quantisation methods do not cover.


title: Landauer's principle in the quantum domain

abstract: Recent papers discussing thermodynamic processes in strongly coupled quantum systems claim a violation of Landauer's principle and imply a violation of the second law of thermodynamics. If true, this would have powerful consequences. Perpetuum mobiles could be build as long as the operating temperature is brought close to zero. It would also have serious consequences on thermodynamic derivations of information theoretic results, such as the Holevo bound. Here we argue why these claims are erroneous. Correlations occurring in the strongly coupled, quantum domain require a rethink of how entropy, heat and work are calculated. It is shown that a consistent treatment solves the paradox.


title: Quantum phase transition in easy-axis antiferromagnetic Heisenberg spin-1 chain

abstract: The fidelity and entropy in an easy-axis antiferromagnetic Heisenberg spin-1 chain are studied numerically. By using the method of density-matrix renormalization group, the effects of anisotropy on fidelity and entanglement entropy are investigated. Their relations with quantum phase transition are analyzed. It is found that the quantum phase transition from the Haldane spin liquid to N\'eel spin solid can be well characterized by the fidelity. The phase transition can be hardly detected by the entropy but it can be successfully detected by the first deviation of the entropy.


title: Engineering Long Range Distance Independent Entanglement through Kondo Impurities in Spin Chains

abstract: We investigate the entanglement properties of the Kondo spin chain when it is prepared in its ground state as well as its dynamics following a single bond quench. We show that a true measure of entanglement such as negativity enables to characterize the unique features of the gapless Kondo regime. We determine the spatial extent of the Kondo screening cloud and propose an ansatz for the ground state in the Kondo regime accessible to this spin chain; we also demonstrate that the impurity spin is indeed maximally entangled with the Kondo cloud. We exploit these features of the entanglement in the gapless Kondo regime to show that a single local quench at one end of a Kondo spin chain may always induce a fast and long lived oscillatory dynamics, which establishes a high quality entanglement between the individual spins at the opposite ends of the chain. This entanglement is a footprint of the presence of the Kondo cloud and may be engineered so as to attain - even for very large chains- a constant high value independent of the length; in addition, it is thermally robust. To better evidence the remarkable peculiarities of the Kondo regime, we carry a parallel analysis of the entanglement properties of the Kondo spin chain model in the gapped dimerised regime where these remarkable features are absent.


title: Quantum algorithms for testing Boolean functions

abstract: We discuss quantum algorithms, based on the Bernstein-Vazirani algorithm, for finding which variables a Boolean function depends on. There are 2^n possible linear Boolean functions of n variables; given a linear Boolean function, the Bernstein-Vazirani quantum algorithm can deterministically identify which one of these Boolean functions we are given using just one single function query. The same quantum algorithm can also be used to learn which input variables other types of Boolean functions depend on, with a success probability that depends on the form of the Boolean function that is tested, but does not depend on the total number of input variables. We also outline a procedure to futher amplify the success probability, based on another quantum algorithm, the Grover search.