title: Computing preimages of Boolean Networks

abstract: In this paper we present an algorithm to address the predecessor problem of feed-forward Boolean networks. We propose an probabilistic algorithm, which solves this problem in linear time with respect to the number of nodes in the network. Finally, we evaluate our algorithm for random Boolean networks and the regulatory network of Escherichia coli.


title: Coherent Population Trapping Resonances in Buffer Gas-filled Cs Vapor Cells with Push-Pull Optical Pumping

abstract: We report on a theoretical study and experimental characterization of coherent population trapping (CPT) resonances in buffer gas-filled vapor cells with push-pull optical pumping (PPOP) on Cs D1 line. We point out that the push-pull interaction scheme is identical to the so-called lin per lin polarization scheme. Expressions of the relevant dark states, as well as of absorption, are reported. The experimental setup is based on the combination of a distributed feedback (DFB) diode laser, a pigtailed intensity Mach-Zehnder electro-optic modulator (MZ EOM) for optical sidebands generation and a Michelson-like interferometer. A microwave technique to stabilize the transfer function operating point of the MZ EOM is implemented for proper operation. A CPT resonance contrast as high as 78% is reported in a cm-scale cell for the magnetic-field insensitive clock transition. The impact of the laser intensity on the CPT clock signal key parameters (linewidth - contrast - linewidth/contrast ratio) is reported for three different cells with various dimensions and buffer gas contents. The potential of the PPOP technique for the development of high-performance atomic vapor cell clocks is discussed.


title: Thermal phase transitions in Artificial Spin-Ice

abstract: We use the sixteen vertex model to describe bi-dimensional artificial spin ice (ASI). We find excellent agreement between vertex densities in fifteen differently grown samples and the predictions of the model. Our results demonstrate that the samples are in usual thermal equilibrium away from a critical point separating a disordered and an anti-ferromagnetic phase in the model. The second-order phase transition that we predict suggests that the spatial arrangement of vertices in near-critical ASI should be studied in more detail in order to verify whether they show the expected space and time long-range correlations.


title: Improved upper and lower bound techniques for monotone switching networks for directed connectivity

abstract: In this paper, we analyze the monotone space of complexity of directed connectivity for a large class of input graphs $G$ using the switching network model. The upper and lower bounds we obtain are a significant generalization of previous results and the proofs involve several completely new techniques and ideas.


title: spo(2|2)-Equivariant Quantizations on the Supercircle $S^{1|2}$

abstract: We consider the space of differential operators $\mathcal{D}_{\lambda\mu}$ acting between $\lambda$- and $\mu$-densities defined on $S^{1|2}$ endowed with its standard contact structure. This contact structure allows one to define a filtration on $\mathcal{D}_{\lambda\mu}$ which is finer than the classical one, obtained by writting a differential operator in terms of the partial derivatives with respect to the different coordinates. The space $\mathcal{D}_{\lambda\mu}$ and the associated graded space of symbols $\mathcal{S}_{\delta}$ ($\delta=\mu-\lambda$) can be considered as $\mathfrak{spo}(2|2)$-modules, where $\mathfrak{spo}(2|2)$ is the Lie superalgebra of contact projective vector fields on $S^{1|2}$. We show in this paper that there is a unique isomorphism of $\mathfrak{spo}(2|2)$-modules between $\mathcal{S}_{\delta}$ and $\mathcal{D}_{\lambda\mu}$ that preserves the principal symbol (i.e. an $\mathfrak{spo}(2|2)$-equivariant quantization) for some values of $\delta$ called non-critical values. Moreover, we give an explicit formula for this isomorphism, extending in this way the results of [Mellouli N., SIGMA 5 (2009), 111, 11 pages, arXiv:0912.5190] which were established for second-order differential operators. The method used here to build the $\mathfrak{spo}(2|2)$-equivariant quantization is the same as the one used in [Mathonet P., Radoux F., Lett. Math. Phys. 98 (2011), 311-331, arXiv:1003.3320] to prove the existence of a $\mathfrak{pgl}(p+1|q)$-equivariant quantization on $\mathbb{R}^{p|q}$.


title: Asteroseismic determination of obliquities of the exoplanet systems Kepler-50 and Kepler-65

abstract: Results on the obliquity of exoplanet host stars -- the angle between the stellar spin axis and the planetary orbital axis -- provide important diagnostic information for theories describing planetary formation. Here we present the first application of asteroseismology to the problem of stellar obliquity determination in systems with transiting planets and Sun-like host stars. We consider two systems observed by the NASA Kepler Mission which have multiple transiting small (super-Earth sized) planets: the previously reported Kepler-50 and a new system, Kepler-65, whose planets we validate in this paper. Both stars show rich spectra of solar-like oscillations. From the asteroseismic analysis we find that each host has its rotation axis nearly perpendicular to the line of sight with the sines of the angles constrained at the 1-sigma level to lie above 0.97 and 0.91, respectively. We use statistical arguments to show that coplanar orbits are favoured in both systems, and that the orientations of the planetary orbits and the stellar rotation axis are correlated.


title: Koszul duality theory for operads over Hopf algebras

abstract: The transfer of the generating operations of an algebra to a homotopy equivalent chain complex produces higher operations. The first goal of this paper is to describe precisely the higher structure obtained when the unary operations commute with the contracting homotopy. To solve this problem, we develop the Koszul duality theory of operads in the category of modules over a cocommutative Hopf algebra. This gives rise to a simpler category of homotopy algebras and infinity-morphisms, which allows us to get a new description of the homotopy category of algebras over such operads. The main example of this theory is given by Batalin-Vilkovisky algebras.


title: Non-universal parameters, corrections and universality in Kardar-Parisi-Zhang growth

abstract: We present a comprehensive numerical investigation of non-universal parameters and corrections related to interface fluctuations of models belonging to the Kardar-Parisi-Zhang (KPZ) universality class, in d=1+1, for both flat and curved geometries. We analyzed two classes of models. In the isotropic models the non-universal parameters are uniform along the surface, whereas in the anisotropic growth they vary. In the latter case, that produces curved surfaces, the statistics must be computed independently along fixed directions. The ansatz h = v t + (\Gamma t)^{1/3} \chi + \eta, where \chi is a Tracy-Widom (geometry-dependent) distribution and \eta is a time-independent correction, is probed. Our numerical analysis shows that the non-universal parameter \Gamma determined through the first cumulant leads to a very good accordance with the extended KPZ ansatz for all investigated models in contrast with the estimates of \Gamma obtained from higher order cumulants that indicate a violation of the generalized ansatz for some of the studied models. We associate the discrepancies to corrections of unknown nature, which hampers an accurate estimation of \Gamma at finite times. The discrepancies in \Gamma via different approaches are relatively small but sufficient to modify the scaling law t^{-1/3} that characterize the finite-time corrections due to \eta. Among the investigated models, we have revisited an off-lattice Eden model that supposedly disobeyed the shift in the mean scaling as t^{-1/3} and showed that there is a crossover to the expected regime. We have found model-dependent (non-universal) corrections for cumulants of order n > 1. All investigated models are consistent with a further term of order t^{-1/3} in the KPZ ansatz.


title: Jacob's ladders, conjugate integrals, external mean-values and other properties of a multiply $\pi(T)$-autocorrelation of the function $|\zf|^2$

abstract: In this paper we obtain a new class of transformation formulae (without an explicit presence of a derivative) for the integrals containing products of factors $|\zf|^2$ with respect to two components of a disconnected set on the critical line.


title: The Minimal and the New Minimal Supersymmetric Grand Unified Theories on Noncommutative Space-time

abstract: We construct noncommutative versions of both the minimal and the new minimal supersymmetric Grand Unified Theories. The enveloping-algebra formalism is used to carry out such constructions. The beautiful formulation of the Higgs sector of these noncommutative theories is a consequence of fact that, in the GUTs at hand, the ordinary Higgs fields can be realized as elements of the Clifford algebra Cl10(C). In the noncommutative supersymmetric GUTs we formulate, supersymmetry is linearly realized by the noncommutative fields; but it is not realized by the ordinary fields that define those noncommutative fields via the Seiberg-Witten map.


title: Hyperbolic metamaterial lens with hydrodynamic nonlocal response

abstract: We investigate the effects of hydrodynamic nonlocal response in hyperbolic metamaterials (HMMs), focusing on the experimentally realizable parameter regime where unit cells are much smaller than an optical wavelength but much larger than the wavelengths of the longitudinal pressure waves of the free-electron plasma in the metal constituents. We derive the nonlocal corrections to the effective material parameters analytically, and illustrate the noticeable nonlocal effects on the dispersion curves numerically. As an application, we find that the focusing characteristics of a HMM lens in the local-response approximation and in the hydrodynamic Drude model can differ considerably. Interestingly, sometimes the nonlocal theory predicts significantly better focusing. Thus, to detect whether nonlocal response is at work in a hyperbolic metamaterial, we propose to measure the near-field distribution of a hyperbolic metamaterial lens.


title: Wavelet methods in multi-conjugate adaptive optics

abstract: The next generation ground-based telescopes rely heavily on adaptive optics for overcoming the limitation of atmospheric turbulence. In the future adaptive optics modalities, like multi-conjugate adaptive optics (MCAO), atmospheric tomography is the major mathematical and computational challenge. In this severely ill-posed problem a fast and stable reconstruction algorithm is needed that can take into account many real-life phenomena of telescope imaging. We introduce a novel reconstruction method for the atmospheric tomography problem and demonstrate its performance and flexibility in the context of MCAO. Our method is based on using locality properties of compactly supported wavelets, both in the spatial and frequency domain. The reconstruction in the atmospheric tomography problem is obtained by solving the Bayesian MAP estimator with a conjugate gradient based algorithm. An accelerated algorithm with preconditioning is also introduced. Numerical performance is demonstrated on the official end-to-end simulation tool OCTOPUS of European Southern Observatory.


title: Equatorial trench at the magnetopause under saturation

abstract: Magnetic data from GOES geosynchronous satellites were applied for statistical study of the low-latitude dayside magnetopause under a strong interplanetary magnetic field of southward orientation when the reconnection at the magnetopause was saturated. From minimum variance analysis, we determined the magnetopause orientation and compared it with predictions of a reference model. The magnetopause shape was found to be substantially distorted by a duskward shifting such that the nose region appeared in the postnoon sector. At equatorial latitudes, the shape of magnetopause was characterized by a prominent bluntness and by a trench formed in the postnoon sector. The origin of distortions was regarded in the context of the storm-time magnetospheric currents and the large-scale quasi-state reconnection at the dayside magnetopause.


title: Irreducibility of the moduli space of stable vector bundles of rank two and odd degree on a very general quintic surface

abstract: The moduli space $M(c_2)$, of stable rank two vector bundles of degree one on a very general quintic surface $X\subset {\mathbb P}^3$, is irreducible for all $c_2\geq 4$ and empty otherwise.


title: Actions of groups of homeomorphisms on one-manifolds

abstract: In this article, we describe all the group morphisms from the group of compactly-supported homeomorphisms isotopic to the identity of a manifold to the group of homeomorphisms of the real line or of the circle.


title: On the free Gamma distributions

abstract: For each positive number $\alpha$ we study the analog $\nu_alpha$ in free probability of the classical Gamma distribution with parameter $\alpha$. We prove that $\nu_\alpha$ is absolutely continuous and establish the main properties of the density, including analyticity and unimodality. We study further the asymptotic behavior of $\nu_\alpha$ as $\alpha\downarrow0$.


title: The mass of the b-quark from lattice NRQCD and lattice perturbation theory

abstract: We present a determination of the b-quark mass accurate through O(\alpha_s^2) in perturbation theory and including partial contributions at O(\alpha_s^3). Nonperturbative input comes from the calculation of the Upsilon and B_s energies in lattice QCD including the effect of u, d and s sea quarks. We use an improved NRQCD action for the b-quark. This is combined with the heavy quark energy shift in NRQCD determined using a mixed approach of high-beta simulation and automated lattice perturbation theory. Comparison with experiment enables the quark mass to be extracted: in the MS bar scheme we find m_b(m_b) = 4.166(43) GeV.


title: Strong approximations for long memory sequences based partial sums, counting and their Vervaat processes

abstract: We study the asymptotic behaviour of partial sums of long range dependent random variables and that of their counting process, together with an appropriately normalized integral process of the sum of these two processes, the so-called Vervaat process. The first two of these processes are approximated by an appropriately constructed fractional Brownian motion, while the Vervaat process in turn is approximated by the square of the same fractional Brownian motion.


title: Upper bounds for Newton's method on monotone polynomial systems, and P-time model checking of probabilistic one-counter automata

abstract: A central computational problem for analyzing and model checking various classes of infinite-state recursive probabilistic systems (including quasi-birth-death processes, multi-type branching processes, stochastic context-free grammars, probabilistic pushdown automata and recursive Markov chains) is the computation of {\em termination probabilities}, and computing these probabilities in turn boils down to computing the {\em least fixed point} (LFP) solution of a corresponding {\em monotone polynomial system} (MPS) of equations, denoted x=P(x). It was shown by Etessami & Yannakakis that a decomposed variant of Newton's method converges monotonically to the LFP solution for any MPS that has a non-negative solution. Subsequently, Esparza, Kiefer, & Luttenberger obtained upper bounds on the convergence rate of Newton's method for certain classes of MPSs. More recently, better upper bounds have been obtained for special classes of MPSs. However, prior to this paper, for arbitrary (not necessarily strongly-connected) MPSs, no upper bounds at all were known on the convergence rate of Newton's method as a function of the encoding size |P| of the input MPS, x=P(x). In this paper we provide worst-case upper bounds, as a function of both the input encoding size |P|, and epsilon > 0, on the number of iterations required for decomposed Newton's method (even with rounding) to converge within additive error epsilon > 0 of q^*, for any MPS with LFP solution q^*. Our upper bounds are essentially optimal in terms of several important parameters. Using our upper bounds, and building on prior work, we obtain the first P-time algorithm (in the standard Turing model of computation) for quantitative model checking, to within desired precision, of discrete-time QBDs and (equivalently) probabilistic 1-counter automata, with respect to any (fixed) omega-regular or LTL property.


title: Direct CP violation in non-leptonic charm decays: Implications for new physics

abstract: I review the implications of recent measurements of CP violation in D meson decays in the context of standard model extensions. Using effective theory methods, one can derive significant constraints on the possible non-standard contributions from measurements of neutral D meson mixing and direct CP violation in kaon decays. Due to an approximate universality of CP violation in new physics scenarios which only break the SU(3)_Q flavor symmetry of the standard model kinetic Lagrangian, such contributions are particularly constrained by epsilon'/epsilon. Explanations of the observed effect within several explicit well-motivated new physics frameworks are briefly discussed. Finally, possible future experimental tests able to distinguish standard vs. non-standard explanations of the observed CP violation in the charm sector are mentioned.


title: Effect of sonic poloidal flows in determining flow and density asymmetries for trace impurities in the tokamak edge pedestal

abstract: The structure of poloidal and toroidal flows of trace impurities in the edge pedestal of tokamak plasmas is studied analytically and numerically. Parallel momentum balance is analysed upon retaining the following terms: poloidal and toroidal centrifugal forces (inertia), pressure force, electric force, and the friction force. It is shown that, when the poloidal flow is such to produce a properly defined Mach number of order unity somewhere on the flux surface, shock fronts can form. The shock fronts can modify the predicted asymmetry structures in both the flow and the density profile along the poloidal arc. Predictions of the theory are shown against experimental observations in the ASDEX Upgrade tokamak, showing good qualitative and quantitative agreement if the inertia term associated with the poloidal flow is retained.


title: Local theta lifting of generalized Whittaker models associated to nilpotent orbits

abstract: Let $(G,\tilde{G})$ be a reductive dual pair over a local field ${\Fontauri k}$ of characteristic 0, and denote by $V$ and $\tilde{V}$ the standard modules of $G$ and $\tilde{G}$, respectively. Consider the set $Max Hom(V,\tilde{V})$ of full rank elements in $Hom(V,\tilde{V})$, and the nilpotent orbit correspondence $\mathcal{O} \subset \mathfrak{g}$ and $\Theta (\mathcal{O})\subset \tilde{\mathfrak{g}}$ induced by elements of $Max Hom(V,\tilde{V})$ via the moment maps. Let $(\pi,\mathscr{V})$ be a smooth irreducible representation of $G$. We show that there is a correspondence of the generalized Whittaker models of $\pi $ of type $\mathcal{O}$ and of $\Theta (\pi)$ of type $\Theta (\mathcal{O})$, where $\Theta (\pi)$ is the full theta lift of $\pi $. When $(G,\tilde{G})$ is in the stable range with $G$ the smaller member, every nilpotent orbit $\mathcal{O} \subset \mathfrak{g}$ is in the image of the moment map from $Max Hom (V,\tilde{V})$. In this case, and for ${\Fontauri k}$ non-Archimedean, the result has been previously obtained by M\oe{}glin in a different approach.


title: Ion sources for high-power hadron accelerators

abstract: Ion sources are a critical component of all particle accelerators. They create the initial beam that is accelerated by the rest of the machine. This paper will introduce the many methods of creating a beam for high-power hadron accelerators. A brief introduction to some of the relevant concepts of plasma physics and beam formation is given. The different types of ion source used in accelerators today are examined. Positive ion sources for producing H+ ions and multiply charged heavy ions are covered. The physical principles involved with negative ion production are outlined and different types of negative ion sources are described. Cutting edge ion source technology and the techniques used to develop sources for the next generation of accelerators are discussed.


title: Adsorption and absorption of Boron, Nitrogen, Aluminium and Phosphorus on Silicene: stability, electronic and phonon properties

abstract: Ab initio calculations within the density-functional theory formalism are performed to investigate the chemical functionalization of a graphene-like monolayer of silicon - silicene - with B, N, Al or P atoms. The structural, electronic, magnetic and vibrational properties are reported. The most preferable adsorption sites are found to be valley, bridge, valley and hill site for B, N, Al and P adatoms, respectively. All the relaxed systems with adsorbed/substituted atoms exhibit metallic behaviour with strongly bonded B, N, Al, and P atoms accompanied by an appreciable electron transfer from silicene to the B, N and P adatom/substituent. The Al atoms exhibit opposite charge transfer, with n-type doping of silicene and weaker bonding. The adatoms/substituents induce characteristic branches in the phonon spectrum of silicene, which can be probed by Raman measurements. Using molecular dynamics we found that the systems under study are stable up to at least T = 500 K. Our results demonstrate that silicene has a very reactive and functionalizable surface.


title: Construction of minimal non-abelian left group codes

abstract: Algorithms to construct minimal left group codes are provided. These are based on results describing a complete set of orthogonal primitive idempotents in each Wedderburn component of a semisimple finite group algebra FG for a large class of groups G. As an illustration of our methods, alternative constructions to some best linear codes over F_2 and F_3 are given.


title: Phantom evolving wormholes with big rip singularities

abstract: We investigate a family of inhomogeneous and anisotropic gravitational fields exhibiting a future singularity at a finite value of the proper time. The studied spherically symmetric spacetimes are asymptotically Friedmann-Robertson-Walker at spatial infinity and describe wormhole configurations filled with two matter components: one inhomogeneous and anisotropic fluid and another isotropic and homogeneously distributed fluid, characterized by the supernegative equation of state \omega=p/\rho < -1. In previously constructed wormholes, the notion of the phantom energy was used in a more extended sense than in cosmology, where the phantom energy is considered a homogeneously distributed fluid. Specifically, for some static wormhole geometries the phantom matter was considered as an inhomogeneous and anisotropic fluid, with radial and lateral pressures satisfying the relations $p_{r}/\rho<-1$ and $p_{_l} \neq p_r$, respectively. In this paper we construct phantom evolving wormhole models filled with an isotropic and homogeneous component, described by a barotropic or viscous phantom energy, and ending in a big rip singularity. In two of considered cases the equation of state parameter is constrained to be less than -1, while in the third model the finite-time future singularity may occur for $\omega<-1$, as well as for $-1 < \omega \leq 1$.


title: Effective System for Pregnant Women using Mobile GIS

abstract: World Health Organization showed at one year about 287 000 women died most of them during and following pregnancy and childbirth in Africa and south Asia. This paper suggests mHealth system for serving pregnant women, that proposed system is first an effective mHealth system works base on mobile GIS to select adjacent care centre or hospital maternity on Google map at online registration for woman pregnant, that is done when the pregnant woman will send SMS via GPRS network contains her ID and coordinates (Longitude and Latitude) the server when receive it will search database support that system and using the same infrastructure for help the pregnant women at her location (home, market, etc) in emergency cases when the woman send SMS contains her coordinates for succoring. Implement the proposed pregnant women system shows more effective from view of cost than other systems because it works in economic (SMS) mode and from view of serve the system can easy and rapidly manage when achieving locally registration, succoring in emergency cases, change the review date of pregnant woman, as well as different types of advising. Keywords Pregnant Women, mHealth System, General Packet Radio Service (GPRS); Mobile GIS; Short Message Service (SMS), Global Position System (GPS).


title: Kardar-Parisi-Zhang universality class in 2+1 dimensions: Universal geometry-dependent distributions and finite-time corrections

abstract: The dynamical regimes of models belonging to the Kardar-Parisi-Zhang (KPZ) universality class are investigated in d=2+1 by extensive simulations considering flat and curved geometries. Geometry-dependent universal distributions, different from their Tracy-Widom counterpart in one-dimension, were found. Distributions exhibit finite-time corrections hallmarked by a shift in the mean decaying as t^-\beta, where \beta is the growth exponent. Our results support a generalization of the ansatz h = v t + (\Gamma t)^\beta \chi + \eta + \zeta t^-\beta to higher dimensions, where v, \Gamma, \zeta and \eta are non-universal quantities whereas \beta and \chi are universal and the last one depends on the surface geometry. Generalized Gumbel distributions provide very good fits of the distributions in at least four orders of magnitude around the peak, which can be used for comparisons with experiments. Our numerical results call for analytical approaches and experimental realizations of KPZ class in two-dimensional systems.


title: Wavelets in function spaces on cellular domains

abstract: Nowadays the theory and application of wavelet decompositions plays an important role not only for the study of function spaces (of Lebesgue, Hardy, Sobolev, Besov, Triebel-Lizorkin type) but also for its applications in signal and numerical analysis, partial differential equations and image processing. In this context it it a hard problem to construct wavelet bases for suitable function spaces on domains, e. g. the unit cube. A big step in this direction are the contributions of Hans Triebel from 2006 to 2008 where he constructed Riesz bases for classes of Besov- and Triebel-Lizorkin spaces on domains, starting with Daubechies wavelets. But there was a problem coming from the method: He had to exclude a big number of function spaces, in particular a large class of classical Sobolev spaces. The main goal of this thesis is a construction of Riesz bases of wavelet systems also for the exceptional cases using a modification of the function spaces - the so-called reinforced function spaces.


title: Checkpointing algorithms and fault prediction

abstract: This paper deals with the impact of fault prediction techniques on checkpointing strategies. We extend the classical first-order analysis of Young and Daly in the presence of a fault prediction system, characterized by its recall and its precision. In this framework, we provide an optimal algorithm to decide when to take predictions into account, and we derive the optimal value of the checkpointing period. These results allow to analytically assess the key parameters that impact the performance of fault predictors at very large scale.


title: Robust estimation of microbial diversity in theory and in practice

abstract: Quantifying diversity is of central importance for the study of structure, function and evolution of microbial communities. The estimation of microbial diversity has received renewed attention with the advent of large-scale metagenomic studies. Here, we consider what the diversity observed in a sample tells us about the diversity of the community being sampled. First, we argue that one cannot reliably estimate the absolute and relative number of microbial species present in a community without making unsupported assumptions about species abundance distributions. The reason for this is that sample data do not contain information about the number of rare species in the tail of species abundance distributions. We illustrate the difficulty in comparing species richness estimates by applying Chao's estimator of species richness to a set of in silico communities: they are ranked incorrectly in the presence of large numbers of rare species. Next, we extend our analysis to a general family of diversity metrics ("Hill diversities"), and construct lower and upper estimates of diversity values consistent with the sample data. The theory generalizes Chao's estimator, which we retrieve as the lower estimate of species richness. We show that Shannon and Simpson diversity can be robustly estimated for the in silico communities. We analyze nine metagenomic data sets from a wide range of environments, and show that our findings are relevant for empirically-sampled communities. Hence, we recommend the use of Shannon and Simpson diversity rather than species richness in efforts to quantify and compare microbial diversity.


title: Study of the distribution of High Mass X-ray Binaries in the Galaxy

abstract: Observations of the high energy sky, mainly with the INTEGRAL satellite, have raised new questions about the formation and evolution of High Mass X-ray Binaries (HMXBs). The number of detected HMXBs of different types is now high enough to allow us to carry out a statistical analysis of their distribution in the Milky Way. For the first time, we derive the distance and absorption of a sample of HMXBs using a Spectral Energy Distribution fitting procedure, and we examine the correlation with the distribution of Star Forming Complexes (SFCs) in the Galaxy. We show that HMXBs are clustered with SFCs with a typical cluster size of 0.3 +/- 0.05 kpc and a characteristic distance between clusters of 1.7 +/- 0.3 kpc. Furthermore, we present an investigation of the expected offset between the position of spiral arms and HMXBs, allowing us to constrain age and migration distance due to supernova kick for some sources. These new methods will allow us to assess the influence of the environment on these high energy objects with unprecedented reliability.


title: Ice condensation as a planet formation mechanism

abstract: We show that condensation is an efficient particle growth mechanism, leading to growth beyond decimeter-sized pebbles close to an ice line in protoplanetary discs. As coagulation of dust particles is frustrated by bouncing and fragmentation, condensation could be a complementary, or even dominant, growth mode in the early stages of planet formation. Ice particles diffuse across the ice line and sublimate, and vapour diffusing back across the ice line recondenses onto already existing particles, causing them to grow. We develop a numerical model of the dynamical behaviour of ice particles close to the water ice line, approximately 3 AU from the host star. Particles move with the turbulent gas, modelled as a random walk. They also sediment towards the midplane and drift radially towards the central star. Condensation and sublimation are calculated using a Monte Carlo approach. Our results indicate that, with a turbulent alpha-value of 0.01, growth from millimeter to at least decimeter-sized pebbles is possible on a time scale of 1000 years. We find that particle growth is dominated by ice and vapour transport across the radial ice line, with growth due to transport across the atmospheric ice line being negligible. Ice particles mix outwards by turbulent diffusion, leading to net growth across the entire cold region. The resulting particles are large enough to be sensitive to concentration by streaming instabilities, and in pressure bumps and vortices, which can cause further growth into planetesimals. In our model, particles are considered to be homogeneous ice particles. Taking into account the more realistic composition of ice condensed onto rocky ice nuclei might affect the growth time scales, by release of refractory ice nuclei after sublimation. We also ignore sticking and fragmentation in particle collisions. These effects will be the subject of future investigations.


title: On polarised class groups of orders in quartic CM-fields

abstract: We give an explicit necessary condition for pairs of orders in a quartic CM-field to have the same polarised class group. This generalises a simpler result for imaginary quadratic fields. We give an application of our results to computing endomorphism rings of abelian surfaces over finite fields, and we use our results to extend a completeness result of Murabayashi and Umegaki to a list of abelian surfaces over the rationals with complex multiplication by arbitrary orders.


title: How to predict community responses to perturbations in the face of imperfect knowledge and network complexity

abstract: It is a challenge to predict the response of a large, complex system to a perturbation. Recent attempts to predict the behaviour of food webs have revealed that the effort needed to understand a system grows quickly with its complexity, because increasingly precise information on the elements of the system is required. Here, we show that not all elements of the system need to be measured equally well. This suggests that a more efficient allocation of effort to understand a complex systems is possible. We develop an iterative technique for determining an efficient measurement strategy. Finally, in our assessment of model food webs, we find that it is most important to precisely measure the mortality and predation rates of long-lived, generalist, top predators. Prioritizing the study of such species will make it easier to understand the response of complex food webs to perturbations.


title: On the convexity of Relativistic Hydrodynamics

abstract: The relativistic hydrodynamic system of equations for a perfect fluid obeying a causal equation of state is hyperbolic (Anile 1989 {\it Relativistic Fluids and Magneto-Fluids} (Cambridge: Cambridge University Press)). In this report, we derive the conditions for this system to be convex in terms of the fundamental derivative of the equation of state (Menikoff and Plohr 1989 {\it Rev. Mod. Phys.} {\bf 61} 75). The classical limit is recovered.


title: Diagonals in 2D-tilings and coincidence densities of substitutions

abstract: We study the diagonals of two-dimensional tilings generated by direct product substitutions. The properties of these diagonals are primarily determined by the eigenvalues of the substitution matrix, but also the order of the letters in the substitution plays a role. We show that the diagonals may fail to be uniformly recurrent, and that the frequencies of letters on the diagonal may not exist. We also highlight the connection with the density of coincidences and overlap distributions.


title: Exact Kahler Potential for Calabi-Yau Fourfolds

abstract: We study quantum Kahler moduli space of Calabi-Yau fourfolds. Our analysis is based on the recent work by Jockers et al. which gives a novel method to compute the Kahler potential on the quantum Kahler moduli space of Calabi-Yau manifold. In contrast to Calabi-Yau threefold, the quantum nature of higher dimensional Calabi-Yau manifold is yet to be fully elucidated. In this paper we focus on the Calabi-Yau fourfold. In particular, we conjecture the explicit form of the quantum-corrected Kahler potential. We also compute the genus zero Gromov-Witten invariants and test our conjecture by comparing the results with predictions from mirror symmetry. Local toric Calabi-Yau varieties are also discussed.


title: PARSEC: A Parametrized Simulation Engine for Ultra-High Energy Cosmic Ray Protons

abstract: We present a new simulation engine for fast generation of ultra-high energy cosmic ray data based on parametrizations of common assumptions of UHECR origin and propagation. Implemented are deflections in unstructured turbulent extragalactic fields, energy losses for protons due to photo-pion production and electron-pair production, as well as effects from the expansion of the universe. Additionally, a simple model to estimate propagation effects from iron nuclei is included. Deflections in galactic magnetic fields are included using a matrix approach with precalculated lenses generated from backtracked cosmic rays. The PARSEC program is based on object oriented programming paradigms enabling users to extend the implemented models and is steerable with a graphical user interface.


title: Dilated Matrix Inequalities for Control Design in Systems with Actuator Constraint

abstract: In this paper, we present a new variation of dilated matrix inequalities (MIs) for Bounded Real MI, invariant set MI and constraint MI, for both state and output feedback synthesis problems. In these dilated MIs, system matrices are separated from Lyapunov matrices to allow the use of different Lyapunov matrices in multi-objective and robust problems. To demonstrate the benefit of these new dilated MIs over conventional ones, they are used in solving controller synthesis problem for systems with bounded actuator in disturbance attenuation. It is shown that for the resulting multi-objective saturation problem, the new form of dilated MIs achieves an upper bound for $L_2$ gain that is less than or equal to the upper bound estimate achieved by conventional method.


title: Faster exponential-time algorithms in graphs of bounded average degree

abstract: We first show that the Traveling Salesman Problem in an n-vertex graph with average degree bounded by d can be solved in O*(2^{(1-\eps_d)n}) time and exponential space for a constant \eps_d depending only on d, where the O*-notation suppresses factors polynomial in the input size. Thus, we generalize the recent results of Bjorklund et al. [TALG 2012] on graphs of bounded degree. Then, we move to the problem of counting perfect matchings in a graph. We first present a simple algorithm for counting perfect matchings in an n-vertex graph in O*(2^{n/2}) time and polynomial space; our algorithm matches the complexity bounds of the algorithm of Bjorklund [SODA 2012], but relies on inclusion-exclusion principle instead of algebraic transformations. Building upon this result, we show that the number of perfect matchings in an n-vertex graph with average degree bounded by d can be computed in O*(2^{(1-\eps_{2d})n/2}) time and exponential space, where \eps_{2d} is the constant obtained by us for the Traveling Salesman Problem in graphs of average degree at most 2d. Moreover we obtain a simple algorithm that counts the number of perfect matchings in an n-vertex bipartite graph of average degree at most d in O*(2^{(1-1/(3.55d))n/2}) time, improving and simplifying the recent result of Izumi and Wadayama [FOCS 2012].


title: Acoustic multipole sources from the Boltzmann equation

abstract: By adding a particle source term in the Boltzmann equation of kinetic theory, it is possible to represent particles appearing and disappearing throughout the fluid with a specified distribution of particle velocities. By deriving the wave equation from this modified Boltzmann equation via the conservation equations of fluid mechanics, multipole source terms in the wave equation are found. These multipole source terms are given by the particle source term in the Boltzmann equation. To the Euler level in the momentum equation, a monopole and a dipole source term appear in the wave equation. To the Navier-Stokes level, a quadrupole term with negligible magnitude also appears.


title: Nonlinear effects and the behavior of total hadronic and photonic cross sections

abstract: In this work we use an eikonalized minijet model where the effects of the first nonlinear corrections to the DGLAP equations are taken into account. The contributions coming from gluon recombination effects are included in the DGLAP+GLRMQ approach for the free proton in the context of saturation models. The parameters of the model are fixed to fit total $pp$ and $\bar p p$ cross sections, including the very recent data from LHC, HiRes and P. Auger Collaborations. Glauber and multiple scattering approximations are then used to describe the inclusive inelastic proton-Air cross section. Photoproduction cross sections, without change of parameters fixed before, are also obtained from the model using Vector Meson Dominance and the Additive Quark Model. We show and discuss our main results as well as the implications of saturation effects in the behavior of total hadronic and photonic cross sections at very high energies.


title: Ergodic currents dual to a real tree

abstract: Let $T$ be an $\R$-tree in the boundary of Outer space with dense orbits. When the free group $\FN$ acts freely on $T$, we prove that the number of projective classes of ergodic currents dual to $T$ is bounded above by $3N-5$. We combine Rips induction and splitting induction to define unfolding induction for such an $\R$-tree $T$. Given a current $\mu$ dual to $T$, the unfolding induction produces a sequence of approximations converging towards $\mu$. We also give a unique ergodicity criterion.


title: First Steps into Physics in the Winery

abstract: Physics is introduced as a basic matter in the curricula of professional schools (i.e. schools for agriculture, electronic or chemistry experts). Students meet physics in the early years of their training and then continue in vocational subjects where many physics' topics can be useful. Rarely, however, the connection between physics and professional matters is quite explicit. Students often feel physics as boring and useless, i.e. very far from their interests. In these schools it is almost always required the physics lab, but it does not always exist. The physics teachers of a local Agricultural Technical Institute asked us to realize a learning path in laboratory for their students, since in their school the physics lab was missing. This institute is the only public school in the Chianti area specializing in Viticulture and Enology, and attending a further year post diploma, allows the achievement of the qualification of Enologist. We report a learning path realized starting from thermal equilibrium to a full understanding of the measures made with the Malligand's ebulliometer, used for determining the alcoholic strength (alcohol concentration by volume) of an alcoholic beverage and water/alcohol solutions in general. The aim was to make interesting measures of physical quantities, calorimetry and state transitions connecting them to the functioning of an instrument that students use in their professional career. The feedback of students and the interests of their teachers convinced us to go further in this way. We intend in the next future to involve teachers of physics and vocational subjects in the design of a physics curriculum spread over two years in which the main physics topics will be introduced to explain the functioning of tools and equipment used, normally, in the winery.


title: Deviation inequalities for bifurcating Markov chains on Galton-Watson tree

abstract: We provide deviation inequalities for properly normalized sums of bifurcating Markov chains on Galton-Watson tree. These processes are extension of bifurcating Markov chains (which was introduced by Guyon to detect cellular aging from cell lineage) in case the index set is a binary Galton-Watson process. As application, we derive deviation inequalities for the least-squares estimator of autoregressive parameters of bifurcating autoregressive processes with missing data. These processes allow, in case of cell division, to take into account the cell's death. The results are obtained under an uniform geometric ergodicity assumption of an embedded Markov chain.


title: Spin dynamics of a Mn atom in a semiconductor quantum dot under resonant optical excitation

abstract: We analyze the spin dynamics of an individual magnetic atom (Mn) inserted in a II-VI semiconductor quantum dot under resonant optical excitation. In addition to standard optical pumping expected for a resonant excitation, we show that for particular conditions of laser detuning and excitation intensity, the spin population can be trapped in the state which is resonantly excited. This effect is modeled considering the coherent spin dynamics of the coupled electronic and nuclear spin of the Mn atom optically dressed by a resonant laser field. This spin population trapping mechanism is controlled by the combined effect of the coupling with the laser field and the coherent interaction between the different Mn spin states induced by an anisotropy of the strain in the plane of the quantum dot.


title: The Quicksort Process

abstract: Quicksort on the fly returns the input of $n$ reals in increasing natural order during the sorting process. Correctly normalized the running time up to returning the l-th smallest out of n seen as a process in l converges weakly to a limiting process with path in the space of cadlag functions.


title: Pricing Step Options under the CEV and other Solvable Diffusion Models

abstract: We consider a special family of occupation-time derivatives, namely proportional step options introduced by Linetsky in [Math. Finance, 9, 55--96 (1999)]. We develop new closed-form spectral expansions for pricing such options under a class of nonlinear volatility diffusion processes which includes the constant-elasticity-of-variance (CEV) model as an example. In particular, we derive a general analytically exact expression for the resolvent kernel (i.e. Green's function) of such processes with killing at an exponential stopping time (independent of the process) of occupation above or below a fixed level. Moreover, we succeed in Laplace inverting the resolvent kernel and thereby derive newly closed-form spectral expansion formulae for the transition probability density of such processes with killing. The spectral expansion formulae are rapidly convergent and easy-to-implement as they are based simply on knowledge of a pair of fundamental solutions for an underlying solvable diffusion process. We apply the spectral expansion formulae to the pricing of proportional step options for four specific families of solvable nonlinear diffusion asset price models that include the CEV diffusion model and three other multi-parameter state-dependent local volatility confluent hypergeometric diffusion processes.


title: Traveling magnetopause distortion related to a large-scale magnetosheath plasma jet: THEMIS and ground-based observations

abstract: Here, we present a case study of THEMIS and ground-based observations on the dayside magnetopause, and geomagnetic field perturbations related to the interaction of an interplanetary directional discontinuity (DD), as observed by ACE, within the magnetosphere on 16 June 2007. The interaction resulted in a large-scale local magnetopause distortion of an 'expansion-compression-expansion' (ECE) sequence that lasted for 15 min. The compression was caused by a very dense, cold, and fast high-beta magnetosheath plasma flow, a so-called plasma jet, whose kinetic energy was approximately three times higher than the energy of the incident solar wind. The plasma jet resulted in the effective penetration of the magnetosheath plasma inside the magnetosphere. A strong distortion of the Chapman-Ferraro current in the ECE sequence generated a tripolar magnetic pulse 'decrease-peak-decrease' (DPD) that was observed at low and middle latitudes by the INTERMAGNET network of ground-based magnetometers. The characteristics of the ECE sequence and the spatial-temporal dynamics of the DPD pulse were found to be very different from any reported patterns of DD interactions within the magnetosphere. The observed features only partially resembled structures such as FTE, hot flow anomalies, and transient density events. Thus, it is difficult to explain them in the context of existing models.


title: Poisson ensembles of loops of one-dimensional diffusions

abstract: We study the analogue of Poisson ensembles of Markov loops ('loop soups') in the setting of one-dimensional diffusions. We give a detailed description of the corresponding intensity measure. The properties of this measure on loops lead us to an extension of Vervaat's bridge-to-excursion transformation that relates the bridges conditioned by their minimum and the excursions of all the diffusion we consider and not just the Brownian motion. Further we describe the Poisson point process of loops, their occupation fields and explain how to sample these Poisson ensembles of loops using two-dimensional Markov processes. Finally we introduce a couple of interwoven determinantal point processes on the line which is a dual through Wilson's algorithm of Poisson ensembles of loops and study the properties of these determinantal point processes.


title: Modelling of a captive unmanned aerial system teledetecting oil pollution on sea surface

abstract: Recent major oil-spills were tracked using observations with sufficient altitudes over the sea surface, to detect oil slick locations. For oil-spill responders, we propose a captive Unmanned Aerial System, UAS acting like a periscope over a ship or supply vessel. The system is composed of an umbilical deployed from ship deck, and there are few studies that have examined elasticity within cable dynamic during take-off or landing (TOL) and normal flight phases. Therefore, the safest approach for the control-commands of the system is through umbilical dynamic modelling. We give a time-dependant finite-element formulation, using improved elastic non-linear cable elements. Two kinds of boundary condition, natural or essential, are discussed for roll-in or roll-out of the umbilical. A numerical convergence and a validation with an exact solution are provided, using two examples for the flight parameters. Finally, sensitivity of the model potentially extends its capacity for the system equilibrium prediction, under wind primary influence.


title: Rotational constants of multi-phonon bands in an effective theory for deformed nuclei

abstract: We consider deformed nuclei within an effective theory that exploits the small ratio between rotational and vibrational excitations. For even-even nuclei, the effective theory predicts small changes in the rotational constants of bands built on multi-phonon excitations that are linear in the number of excited phonons. In 166Er and 168Er, this explains the main variations of the rotational constants of the two-phonon gamma vibrational bands. In 232Th, the effective theory correctly explains the trend that the rotational constants decrease with increasing spin of the band head. We also study the effective theory for deformed odd nuclei. Here, time-odd terms enter the Lagrangian and generate effective magnetic forces that yield the high level densities observed in such nuclei.


title: Some aspects of the phase diagram of nuclear matter relevant to compact stars

abstract: Dense matter as it can be found in core-collapse supernovae and neutron stars is expected to exhibit different phase transitions which impact the matter composition and the equation of state, with important consequences on the dynamics of core-collapse supernova explosion and on the structure of neutron stars. In this paper we will address the specific phenomenology of two of such transitions, namely the crust-core solid-liquid transition at sub-saturation density, and the possible strange transition at super-saturation density in the presence of hyperonic degrees of freedom. Concerning the neutron star crust-core phase transition at zero and finite temperature, it will be shown that, as a consequence of the presence of long-range Coulomb interactions, a clusterized phase is expected which is not accessible in the grand-canonical ensemble. A specific quasi-particle model will be introduced and some quantitative results relevant for the supernova dynamics will be shown. The opening of hyperonic degrees of freedom at higher densities corresponding to the neutron stars core also modifies the equation of state. The general characteristics and order of phase transitions in this regime will be analyzed in the framework of a self-consistent mean-field approach.


title: Capacity of the State-Dependent Half-Duplex Relay Channel Without Source-Destination Link

abstract: We derive the capacity of the state-dependent half-duplex relay channel without source-destination link. The output of the state-dependent half-duplex relay channel depends on the randomly varying channel states of the source-relay and relay-destination links, which are known causally at all three nodes. For this channel, we prove a converse and show the achievability of the capacity based on a buffer-aided relaying protocol with adaptive link selection. This protocol chooses in each times slot one codeword to be transmitted over either the source-relay or the relay-destination channel depending on the channel states. Our proof of the converse reveals that state-dependent half-duplex relay networks offer one additional degree of freedom which has been previously overlooked. Namely, the freedom of the half-duplex relay to choose when to receive and when to transmit.


title: Supersymmetric gauge theories, quantization of moduli spaces of flat connections, and conformal field theory

abstract: We will propose a derivation of the correspondence between certain gauge theories with N=2 supersymmetry and conformal field theory discovered by Alday, Gaiotto and Tachikawa in the spirit of Seiberg-Witten theory. Based on certain results from the literature we argue that the quantum theory of the moduli spaces of flat SL(2,R)-connections represents a non-perturbative "skeleton" of the gauge theory, protected by supersymmetry. It follows that instanton partition functions can be characterized as solutions to a Riemann-Hilbert type problem. In order to solve it, we describe the quantization of the moduli spaces of flat connections explicitly in terms of two natural sets of Darboux coordinates. The kernel describing the relation between the two pictures represents the solution to the Riemann Hilbert problem, and is naturally identified with the Liouville conformal blocks.


title: Nouvelles problematiques posees par le cyclage thermo-mecanique en cavites salines

abstract: Storage of natural gas in salt caverns had been developed mainly for seasonal storage, resulting in a small number of yearly pressure cycles and moderate gas-production rates. The needs of energy traders are changing towards more aggressive operational modes. The "high-frequency cycling" operation of salt caverns raises questions concerning the effects of frequently repeated and intense mechanical and thermal loading. These questions concern the constitutive creep laws for salt, laboratory test procedures, criteria to be used at the design stage to provide operability, and the long-term integrity of the underground salt caverns.


title: Some a priori estimates for a critical Schrodinger-Newton equation

abstract: Under natural energy and decay assumptions, we derive a priori estimates for solutions of a Schrodinger-Newton type of equation with critical exponent. On one hand, such an equation generalizes the traditional Schrodinger-Newton and Choquard equations, while, on the other hand, it is naturally related to problems involving scalar curvature and conformal deformation of metrics.


title: Two-dimensional ion trap lattice on a microchip

abstract: Microfabricated ion traps are a major advancement towards scalable quantum computing with trapped ions. The development of more versatile ion-trap designs, in which tailored arrays of ions are positioned in two dimensions above a microfabricated surface, would lead to applications in fields as varied as quantum simulation, metrology and atom-ion interactions. Current surface ion traps often have low trap depths and high heating rates, due to the size of the voltages that can be applied to them, limiting the fidelity of quantum gates. Here we report on a fabrication process that allows for the application of very high voltages to microfabricated devices in general and use this advance to fabricate a 2D ion trap lattice on a microchip. Our microfabricated architecture allows for reliable trapping of 2D ion lattices, long ion lifetimes, rudimentary shuttling between lattice sites and the ability to deterministically introduce defects into the ion lattice.


title: Super-Planckian Near-Field Thermal Emission with Phonon-Polaritonic Hyperbolic Metamaterials

abstract: We study super-Planckian near-field heat exchanges for multilayer hyperbolic metamaterials using exact S-matrix calculations. We investigate heat exchanges between two multilayer hyperbolic metamaterial structures. We show that the super- Planckian emission of such metamaterials can either come from the presence of surface phonon-polaritons modes or from a continuum of hyperbolic modes depending on the choice of composite materials as well as the structural configuration.


title: Variations of the Morse-Hedlund Theorem for $k$-Abelian Equivalence

abstract: In this paper we investigate local to global phenomena for a new family of complexity functions of infinite words indexed by $k \in \Ni \cup \{+\infty\}$ where $\Ni$ denotes the set of positive integers. Two finite words $u$ and $v$ in $A^*$ are said to be $k$-Abelian equivalent if for all $x \in A^*$ of length less than or equal to $k$, the number of occurrences of $x$ in $u$ is equal to the number of occurrences of $x$ in $v$. This defines a family of equivalence relations $\sim_k$ on $A^*$, bridging the gap between the usual notion of Abelian equivalence (when $k = 1$) and equality (when $k = +\infty$). Given an infinite word $w \in A^\omega$, we consider the associated complexity function $\mathcal P^{(k)}_w : \Ni \rightarrow \Ni$ which counts the number of $k$-Abelian equivalence classes of factors of $w$ of length $n$. As a whole, these complexity functions have a number of common features: Each gives a characterization of periodicity in the context of bi-infinite words, and each can be used to characterize Sturmian words in the framework of aperiodic one-sided infinite words. Nevertheless, they also exhibit a number of striking differences, the study of which is one of the main topics of our paper.


title: Algorithms for Enhanced Inter Cell Interference Coordination (eICIC) in LTE HetNets

abstract: The success of LTE Heterogeneous Networks (HetNets) with macro cells and pico cells critically depends on efficient spectrum sharing between high-power macros and low-power picos. Two important challenges in this context are, {(i)} determining the amount of radio resources that macro cells should {\em offer} to pico cells, and {(ii)} determining the association rules that decide which UEs should associate with picos. In this paper, we develop a novel algorithm to solve these two coupled problems in a joint manner. Our algorithm has provable guarantee, and furthermore, it accounts for network topology, traffic load, and macro-pico interference map. Our solution is standard compliant and can be implemented using the notion of Almost Blank Subframes (ABS) and Cell Selection Bias (CSB) proposed by LTE standards. We also show extensive evaluations using RF plan from a real network and discuss SON based eICIC implementation.


title: Analysis of Descent-Based Image Registration

abstract: We present a performance analysis for image registration with gradient descent methods. We consider a typical multiscale registration setting where the global 2-D translation between a pair of images is estimated by smoothing the images and minimizing the distance between them with gradient descent. Our study particularly concentrates on the effect of noise and low-pass filtering on the alignment accuracy. We adopt an analytic representation for images and analyze the well-behavedness of the image distance function by estimating the neighborhood of translations for which it is free of undesired local minima. This corresponds to the neighborhood of translation vectors that are correctly computable with a simple gradient descent minimization. We show that the area of this neighborhood increases at least quadratically with the smoothing filter size, which justifies the use of a smoothing step in image registration with local optimizers such as gradient descent. We then examine the effect of noise on the alignment accuracy and derive an upper bound for the alignment error in terms of the noise properties and filter size. Our main finding is that the error increases at a rate that is at least linear with respect to the filter size. Therefore, smoothing improves the well-behavedness of the distance function; however, this comes at the cost of amplifying the alignment error in noisy settings. Our results provide a mathematical insight about why hierarchical techniques are effective in image registration, suggesting that the multiscale coarse-to-fine alignment strategy of these techniques is very suitable from the perspective of the trade-off between the well-behavedness of the objective function and the registration accuracy. To the best of our knowledge, this is the first such study for descent-based image registration.


title: Secure entanglement distillation for double-server blind quantum computation

abstract: Blind quantum computation is a new secure quantum computing protocol where a client, who does not have enough quantum technologies at her disposal, can delegate her quantum computation to a server, who has a fully-fledged quantum computer, in such a way that the server cannot learn anything about client's input, output, and program. If the client interacts with only a single server, the client has to have some minimum quantum power, such as the ability of emitting randomly rotated single-qubit states or the ability of measuring states. If the client interacts with two servers who share Bell pairs but cannot communicate with each other, the client can be completely classical. For such a double-server scheme, two servers have to share clean Bell pairs, and therefore the entanglement distillation is necessary in a realistic noisy environment. In this paper, we show that it is possible to perform entanglement distillation in the double-server scheme without degrading the security of the blind quantum computing.


title: Proposed test of relative phase as hidden variable in quantum mechanics

abstract: We consider the possibility that the relative phase in quantum mechanics plays a role in determining measurement outcome and could therefore serve as a "hidden" variable. The Born rule for measurement equates the probability for a given outcome with the absolute square of the coefficient of the basis state, which by design removes the relative phase from the formulation. The value of this phase at the moment of measurement naturally averages out in an ensemble, which would prevent any dependence from being observed, and we show that conventional frequency-spectroscopy measurements on discrete quantum systems cannot be imposed at a specific phase due to a straightforward uncertainty relation. We lay out general conditions for imposing measurements at a specific value of the relative phase so that the possibility of its role as a hidden variable can be tested, and we discuss implementation for the specific case of an atomic two-state system with laser-induced fluorescence for measurement.


title: Suppression and emergence of granular segregation under cyclic shear

abstract: While convective flows are implicated in many granular segregation processes, the associated particle-scale rearrangements are not well understood. A three-dimensional bidisperse mixture segregates under steady shear, but the cyclically driven system either remains mixed or segregates slowly. Individual grain motion shows no signs of particle-scale segregation dynamics that precede bulk segregation. Instead, we find that the transition from non-segregating to segregating flow is accompanied by significantly less reversible particle trajectories, and the emergence of a convective flow field.


title: Magnetopause expansions for quasi-radial interplanetary magnetic field: THEMIS and Geotail observations

abstract: We report THEMIS and Geotail observations of prolonged magnetopause (MP) expansions during long-lasting intervals of quasi-radial interplanetary magnetic field (IMF) and nearly constant solar wind dynamic pressure. The expansions were global: the magnetopause was located more than 3 RE and ~7 RE outside its nominal dayside and magnetotail locations, respectively. The expanded states persisted several hours, just as long as the quasi-radial IMF conditions, indicating steady-state situations. For an observed solar wind pressure of ~1.1-1.3 nPa, the new equilibrium subsolar MP position lay at ~14.5 RE, far beyond its expected location. The equilibrium position was affected by geomagnetic activity. The magnetopause expansions result from significant decreases in the total pressure of the high-beta magnetosheath, which we term the low-pressure magnetosheath (LPM) mode. A prominent LPM mode was observed for upstream conditions characterized by IMF cone angles less than 20 ~ 25 grad, high Mach numbers and proton plasma beta<1.3. The minimum value for the total pressure observed by THEMIS in the magnetosheath adjacent to the magnetopause was 0.16 nPa and the fraction of the solar wind pressure applied to the magnetopause was therefore 0.2, extremely small. The equilibrium location of the magnetopause was modulated by a nearly continuous wavy motion over a wide range of time and space scales.


title: Reproducible probe-level analysis of the Affymetrix Exon 1.0 ST array with R/Bioconductor

abstract: The presence of different transcripts of a gene across samples can be analysed by whole-transcriptome microarrays. Reproducing results from published microarray data represents a challenge due to the vast amounts of data and the large variety of pre-processing and filtering steps employed before the actual analysis is carried out. To guarantee a firm basis for methodological development where results with new methods are compared with previous results it is crucial to ensure that all analyses are completely reproducible for other researchers. We here give a detailed workflow on how to perform reproducible analysis of the GeneChip Human Exon 1.0 ST Array at probe and probeset level solely in R/Bioconductor, choosing packages based on their simplicity of use. To exemplify the use of the proposed workflow we analyse differential splicing and differential gene expression in a publicly available dataset using various statistical methods. We believe this study will provide other researchers with an easy way of accessing gene expression data at different annotation levels and with the sufficient details needed for developing their own tools for reproducible analysis of the GeneChip Human Exon 1.0 ST Array.


title: Rotating fermions

abstract: We investigate the rigidly rotating quantum thermal distribution of fermions in flat space-time. We find that thermal states diverge on the speed of light surface. We remove the divergences by enclosing the system inside a cylindrical boundary and investigate thermal expectation values and the Casimir effect for two sets of boundary conditions.


title: Legendrian rational unknots in lens spaces

abstract: We classify Legendrian rational unknots with tight complements in the lens spaces L(p,1) up to coarse equivalence. As an example of the general case, this classification is also worked out for L(5,2). The knots are described explicitly in a contact surgery diagram of the corresponding lens space.


title: On the Communication Complexity of Approximate Nash Equilibria

abstract: We study the problem of computing approximate Nash equilibria of bimatrix games, in a setting where players initially know their own payoffs but not the payoffs of the other player. In order for a solution of reasonable quality to be found, some amount of communication needs to take place between the players. We are interested in algorithms where the communication is substantially less than the contents of a payoff matrix, for example logarithmic in the size of the matrix. When the communication is polylogarithmic in the number of strategies n, we show how to obtain epsilon-approximate Nash equilibria for epsilon approximately 0.438, and for well-supported approximate equilibria we obtain epsilon approximately 0.732. For one-way communication we show that epsilon=1/2 is achievable, but no constant improvement over 1/2 is possible, even with unlimited one-way communication. For well-supported equilibria, no value of epsilon less than 1 is achievable with one-way communication. When the players do not communicate at all, epsilon-Nash equilibria can be obtained for epsilon=3/4, and we also give a lower bound of slightly more than 1/2 on the lowest constant epsilon achievable.


title: Higgs Precision (Higgcision) Era begins

abstract: After the discovery of the Higgs boson at the LHC, it is natural to start the research program on the precision study of the Higgs-boson couplings to various standard model (SM) particles. We provide a generic framework for the deviations of the couplings from their SM values by introducing a number of parameters. We show that a large number of models beyond the SM can be covered, including two-Higgs-doublet models, supersymmetric models, little-Higgs models, extended Higgs sectors with singlets, and fourth generation models. We perform global fits to the most updated data from CMS, ATLAS, and Tevatron under various initial conditions of the parameter set. In particular, we have made explicit comparisons between the fitting results BEFORE and AFTER the Moriond 2013 meetings. Highlights of the results include: (i) the nonstandard decay branching ratio of the Higgs boson is less than 22%; (ii) the most efficient way to achieve the best fit for the data before the Moriond update is to introduce additional particle contributions to the triangular-loop functions of H\gamma\gamma and Hgg vertices; (iii) the 1\sigma allowed range of the relative coupling of HVV is 1.01 +0.13 -0.14, which means that the electroweak-symmetry breaking contribution from the observed Higgs boson leaves only a small room for other Higgs bosons; (iv) the current data do not rule out pseudoscalar couplings nor pseudoscalar contributions to the H\gamma\gamma and Hgg vertices; and (v) the SM Higgs boson provides the best fit to all the current Higgs data.


title: Structure of the inner jet of OJ 287 VLBA data at 15 GHz in a super-resolution mode

abstract: In this work we show the results obtained from the VLBA data at 15 GHz of OJ 287 in the super-resolution mode. The data showed a jet configuration in the form of "fork" where superluminal components emerge via stationary components at the northwest and the southeast close to the core to form parallel trajectories along the southwest direction in the plane of the sky. This agrees with a source structure of an extended, broad morphology of OJ 287.


title: Thermal field theory at next-to-leading order in the hard thermal loop expansion

abstract: In this paper we study the hard-thermal-loop effective theory at next-to-leading order. Standard power-counting predicts that a large number of diagrams, including 2-loop diagrams, may need to be calculated. In all of the calculations that have been done however, with the exception of the photon self-energy, the full next-to-leading order contribution can be obtained by calculating only soft 1-loop diagrams with effective lines and vertices. It is of interest to know if the photon self-energy is the only exception to this rule, or if there are others, and which ones. In this paper we perform a refined power-counting analysis using real-time finite temperature field theory which is particularly well suited to the task. We show that the standard power-counting rules obtained from the imaginary time formalism usually over-estimate the size of the 2-loop diagrams. We argue that the only exceptions to the rule that the 1-loop soft diagrams give the next-to-leading order contribution are $2n$-photon vertices.


title: Traffic jams, gliders, and bands in the quest for collective motion

abstract: We study a simple swarming model on a two-dimensional lattice where the self-propelled particles exhibit a tendency to align ferromagnetically. Volume exclusion effects are present: particles can only hop to a neighboring node if the node is empty. Here we show that such effects lead to a surprisingly rich variety of self-organized spatial patterns. As particles exhibit an increasingly higher tendency to align to neighbors, they first self-segregate into disordered particle aggregates. Aggregates turn into traffic jams. Traffic jams evolve toward gliders, triangular high density regions that migrate in a well-defined direction. Maximum order is achieved by the formation of elongated high density regions - bands - that transverse the entire system. Numerical evidence suggests that below the percolation density the phase transition associated to orientational order is of first-order, while at full occupancy it is of second-order. The model highlights the (pattern formation) importance of a coupling between local density, orientation, and local speed.


title: Silent Transitions in Automata with Storage

abstract: We consider the computational power of silent transitions in one-way automata with storage. Specifically, we ask which storage mechanisms admit a transformation of a given automaton into one that accepts the same language and reads at least one input symbol in each step. We study this question using the model of valence automata. Here, a finite automaton is equipped with a storage mechanism that is given by a monoid. This work presents generalizations of known results on silent transitions. For two classes of monoids, it provides characterizations of those monoids that allow the removal of \lambda-transitions. Both classes are defined by graph products of copies of the bicyclic monoid and the group of integers. The first class contains pushdown storages as well as the blind counters while the second class contains the blind and the partially blind counters.


title: Correlations in complex networks under attack

abstract: For any initial correlated network after any kind of attack where either nodes or edges are removed, we obtain general expressions for the degree-degree probability matrix and degree distribution. We show that the proposed analytical approach predicts the correct topological changes after the attack by comparing the evolution of the assortativity coefficient for different attack strategies and intensities in theory and simulations. We find that it is possible to turn an initial assortative network into a disassortative one, and vice versa, by fine-tuning removal of either nodes or edges. For an initial uncorrelated network, on the other hand, we discover that only a targeted edge-removal attack can induce such correlations.


title: An Enhanced Spectral Efficiency Chaos-Based Symbolic Dynamics Transceiver Design

abstract: Chaotic synchronization performs poorly in noisy environments, with the main drawback being that the coherent receiver cannot be implemented in realistic communication channels. In this paper, we focus our study on a promising communication system based on chaotic symbolic dynamics. Such modulation shows a high synchronization quality, without the need for a complex chaotic synchronization mechanism. Our study mainly concerns an improvement of the bandwidth efficiency of the chaotic modulator. A new chaotic map is proposed to achieve this goal, and a receiver based on the maximum likelihood algorithm is designed to estimate the transmitted symbols. The performance of the proposed system is analyzed and discussed.


title: Optical Dichroism by Nonlinear Excitations in Graphene Nanoribbons

abstract: The honeycomb carbon structure of graphene and nanotubes has a dynamics which can give rise to a spectrum. This can be excited via the interaction with an external electromagnetic field. In this work, non-linear waves on graphene and nanotubes associated with the carbon structure are investigated using a gauge model. Typical energies are estimated and there scaling with the nanoribbon width investigated. Furthermore, the soliton-photon interaction depends on the incident photon polarization. In particular, we find that the nanoribbon is transparent when the polarization is along the largest length. Relying on the scaling with the width, we suggest a way to experimentally identify the soliton waves in nanoribbons.


title: Fluctuations of charge separation perpendicular to the event plane and local parity violation in sqrt(sNN)=200 GeV Au+Au collisions at RHIC

abstract: Previous experimental results based on data (15 million events) collected by the STAR detector at RHIC suggest event-by-event charge separation fluctuations perpendicular to the event plane in non-central heavy-ion collisions. Here we present the correlator previously used split into its two component parts to reveal correlations parallel and perpendicular to the event plane. The results are from a high statistics 200 GeV Au+Au collisions data set (57 million events) collected by the STAR experiment. We explicitly count units of charge separation from which we find clear evidence for more charge separation fluctuations perpendicular than parallel to the event plane. We also employ a modified correlator to study the possible P-even background in same and opposite charge correlations, and find that the P-even background may largely be explained by momentum conservation and collective motion.


title: Quantum anholonomy with topology change

abstract: We study a family of closed quantum graphs described by one singular vertex of order n=4. By suitable choice of the parameters specifying the singular vertex, we can construct a closed sequence of paths in the parameter space that physically corresponds to the smooth interpolation of different topologies - a ring, separate two lines, separate two rings, two rings with a contact point. We find that the spectrum of a quantum particle on this family of graphs shows the quantum anholonomy.


title: Blazar Anti-Sequence of Spectral Variation within individual Blazars: Cases for Mrk 501 and 3C 279

abstract: The jet properties of Mrk 501 and 3C 279 are derived by fitting the broadband spectral energy distributions with the lepton models. The derived gamma_b (the break Lorenz factor of the electron distribution) are 10^4-10^6 for Mrk 501 and 200~600 for 3C 279 and the magnetic field strength (B) of Mrk 501 is usually one order of magnitude lower than that of 3C 279, but their Doppler factors (delta) are comparable. A spectral variation feature that the peak luminosity is correlated with the peak frequency, which is opposite to the blazar sequence, is observed in the two sources. We find that (1) the peak luminosities of the two bumps in SEDs for Mrk 501 depend on gamma_b in both the observer and co-moving frames, but they are not correlated with B and delta; (2)the luminosity variation of 3C 279 is dominated by the external Compton (EC) peak and its peak luminosity is correlated with gamma_b and delta, but anti-correlated with B. These results suggest that gamma_b may govern the spectral variation of Mrk 501 and delta and B would be responsible for the spectral variation of 3C 279. The narrow distribution of gamma_b and the correlation of gamma_b and B in 3C 279 would be due to the cooling by the EC process and the strong magnetic field. Based on our brief discussion, we propose that this spectral variation feature may be originated from the instability of the corona but not from the variation of the accretion rate as that for the blazar sequence.


title: Non-Commutative Gebauer-Moeller Criteria

abstract: For an efficient implementation of Buchberger's Algorithm, it is essential to avoid the treatment of as many unnecessary critical pairs or obstructions as possible. In the case of the commutative polynomial ring, this is achieved by the Gebauer-Moeller criteria. Here we present an adaptation of the Gebauer-Moeller criteria for non-commutative polynomial rings, i.e. for free associative algebras over fields. The essential idea is to detect unnecessary obstructions using other obstructions with or without overlap. Experiments show that the new criteria are able to detect almost all unnecessary obstructions during the execution of Buchberger's procedure.


title: Localization and shock waves in curved manifolds for the Gross-Pitaevskii equation

abstract: We investigate the dynamics of a Bose-Einstein condensate in a progressively bended three dimensional cigar shaped potential. The interplay between geometry and nonlinearity is considered. At high curvature, topological localization occurs and becomes frustrated by the generation of curved dispersive shock-waves when the strength of nonlinearity is increased. The analysis is supported by four-dimensional parallel simulations.


title: On-chip time resolved detection of quantum dot emission using integrated superconducting single photon detectors

abstract: We report the routing of quantum light emitted by self-assembled InGaAs quantum dots (QDs) into the optical modes of a GaAs ridge waveguide and its efficient detection on-chip via evanescent coupling to NbN superconducting nanowire single photon detectors (SNSPDs). Individual QD light sources embedded within such integrated nano-photonic circuits are highly attractive for the realization of quantum photonic circuits for many applications in photonic information science. Here, we demonstrate that the waveguide coupled SNSPDs primarily detect QD luminescence with scattered photons from the excitation laser being negligible by comparison. The SNSPD detection efficiency from the evanescently coupled waveguide modes is shown to be two orders of magnitude higher when compared with operation under normal incidence illumination. Furthermore, in-situ time resolved measurements show an average exciton lifetime of 0.93 \pm 0.03 ns when recorded with the integrated detector with an ultrafast timing jitter of only 72 \pm 2 ps showing the great potential of this highly integrated quantum optics system.


title: The quantum Hall hierarchy in spherical geometry

abstract: Representative wave functions, which encode the topological properties of the spin polarized fractional quantum Hall states in the lowest Landau level, can be expressed in terms of correlation functions in conformal field theories. Until now, the constructions have been restricted to flat geometries, but in this paper we generalize to the simplest curved geometry, namely that of a sphere. Except for being of interest for numerical studies, that usually are performed on a sphere, the response of the FQH liquids to curvature can be used to detect a topological quantity, the shift, which is the average orbital spin of the constituent electrons. We give explicit expressions for representative wave functions on the sphere, for the full Abelian FQH hierarchy, and calculate the corresponding shifts. These microscopic results, based on wave functions, agree with the predictions from the effective Chern-Simons field theory. The methods we develop can also be applied to the planar case. It gives simpler expressions for states with both quasiparticle and quasihole condensates, and allows us to give closed form expressions for a general state in the hierarchy, rather than finding the wave function on a case by case basis.


title: Variable density preserving topology grids and the digital models for the plane

abstract: We define LCL decompositions of the plane and investigate the advantages of using such decompositions in the context of digital topology. We show that discretization schemes based on such decompositions associate, to each LCL tiling of the plane, the digital model preserving the local topological structure of the object. We prove that for any LCL tiling of the plane, the digital model is necessarily a digital 2-manifold. We show that elements of an LCL tiling can be of an arbitrary shape and size. This feature generates a variable density grid with a required resolution in any region of interest, which is extremely important in medicine. Finally, we describe a simple algorithm, which allows transforming regions of interest produced by the image acquisition process into digital spaces with topological features of the regions.


title: Synchronization, quantum correlations and entanglement in oscillator networks

abstract: Synchronization is one of the paradigmatic phenomena in the study of complex systems. It has been explored theoretically and experimentally mostly to understand natural phenomena, but also in view of technological applications. Although several mechanisms and conditions for synchronous behavior in spatially extended systems and networks have been identified, the emergence of this phenomenon has been largely unexplored in quantum systems until very recently. Here we discuss synchronization in quantum networks of different harmonic oscillators relaxing towards a stationary state, being essential the form of dissipation. By local tuning of one of the oscillators, we establish the conditions for synchronous dynamics, in the whole network or in a motif. Beyond the classical regime we show that synchronization between (even unlinked) nodes witnesses the presence of quantum correlations and entanglement. Furthermore, synchronization and entanglement can be induced between two different oscillators if properly linked to a random network.


title: Indicated coloring of matroids

abstract: A coloring of a matroid is proper if elements of the same color form an independent set. For a loopless matroid M, its chromatic number \chi(M) is the minimum number of colors that suffices to color properly the ground set E of M. In this note we study a game-theoretic variant of this parameter proposed by Grytczuk. Suppose that in each round of the game Alice indicates an uncolored yet element e of E, then Bob colors it using a color from a fixed set of colors C. The rule Bob has to obey is that it is a proper coloring. The game ends if the whole matroid has been colored or if Bob can not color e using any color of C. Alice wins in the first case, while Bob in the second. The minimum size of the set of colors C for which Alice has a winning strategy is called the indicated chromatic number of M, denoted by \chi_i(M). We prove that \chi_i(M)=\chi(M).


title: Almost commensurability of 3-dimensional Anosov flows

abstract: Two flows are topologically almost commensurable if, up to removing finitely many periodic orbits and taking finite coverings, they are topologically equivalent. We prove that all suspensions of automorphisms of the 2-dimensional torus and all geodesic flows on unit tangent bundles to hyperbolic 2-orbifolds are pairwise almost commensurable.


title: Affine surfaces with a huge group of automorphisms

abstract: We describe a family of rational affine surfaces S with huge groups of automorphisms in the following sense: the normal subgroup of Aut(S) generated by all its algebraic subgroups is not generated by any countable family of such subgroups, and the quotient of Aut(S) by this subgroup contains a free group over an uncountable set of generators.


title: Multi-solitary waves for the nonlinear Klein-Gordon equation

abstract: We consider the nonlinear Klein-Gordon equation in $\R^d$. We call multi-solitary waves a solution behaving at large time as a sum of boosted standing waves. Our main result is the existence of such multi-solitary waves, provided the composing boosted standing waves are stable. It is obtained by solving the equation backward in time around a sequence of approximate multi-solitary waves and showing convergence to a solution with the desired property. The main ingredients of the proof are finite speed of propagation, variational characterizations of the profiles, modulation theory and energy estimates.


title: Universal properties of infrared oscillator basis extrapolations

abstract: Recent work has shown that a finite harmonic oscillator basis in nuclear many-body calculations effectively imposes a hard-wall boundary condition in coordinate space, motivating infrared extrapolation formulas for the energy and other observables. Here we further refine these formulas by studying two-body models and the deuteron. We accurately determine the box size as a function of the model space parameters, and compute scattering phase shifts in the harmonic oscillator basis. We show that the energy shift can be well approximated in terms of the asymptotic normalization coefficient and the bound-state momentum, discuss higher-order corrections for weakly bound systems, and illustrate this universal property using unitarily equivalent calculations of the deuteron.


title: Common fixed points for three or four mappings via common fixed point for two mappings

abstract: In this paper, we shall show that some coincidence point and common fixed point results for three or four mappings could easily be obtained from the corresponding fixed point results for two mappings.


title: Ab initio study of edge effect on relative motion of walls in carbon nanotubes

abstract: Interwall interaction energies of double-walled nanotubes (DWNTs) with long inner and short outer walls are calculated as functions of coordinates describing relative rotation and displacement of the walls using van der Waals corrected density functional theory. The magnitude of corrugation and the shape of the potential energy relief are found to be very sensitive to changes of the shorter wall length at subnanometer scale and atomic structure of the edges if at least one of the walls is chiral. Threshold forces required to start relative motion of the short walls and temperatures at which the transition between diffusive and free motion of the short walls takes place are estimated. The edges are also shown to provide a considerable contribution to the barrier to relative rotation of commensurate nonchiral walls. For such walls, temperatures of orientational melting, i.e. the crossover from rotational diffusion to free relative rotation, are estimated. The possibility to produce nanotube-based bolt/nut pairs and nanobearings is discussed.


title: Bimodality in the firm size distributions: a kinetic exchange model approach

abstract: Firm growth process in the developing economies is known to produce divergence in their growth path giving rise to bimodality in the size distribution. Similar bimodality has been observed in wealth distribution as well. Here, we introduce a modified kinetic exchange model which can reproduce such features. In particular, we will show numerically that a nonlinear retention rate (or savings propensity) causes this bimodality. This model can accommodate binary trading as well as the whole system-side trading thus making it more suitable to explain the non-standard features of wealth distribution as well as firm size distribution.


title: Doubly-periodic instability pattern in a smectic A liquid crystal

abstract: We report the observation of a doubly-periodic surface defect-pattern in the liquid crystal 8CB, formed during the nematic--smectic A phase transition. The pattern results from the antagonistic alignment of the 8CB molecules, which is homeotropic at the surface and planar in the bulk of the sample cell. Within the continuum Landau-deGennes theory of smectic liquid crystals, we find that the long period (~10 \mu m) of the pattern is given by the balance between the surface anchoring and the elastic energy of curvature wall defects. The short period (~1 \mu m) we attribute to a saddle-splay distortion, leading to a non-zero Gaussian curvature and causing the curvature walls to break up.


title: Breathfinding: A Wireless Network that Monitors and Locates Breathing in a Home

abstract: This paper explores using RSS measurements on many links in a wireless network to estimate the breathing rate of a person, and the location where the breathing is occurring, in a home, while the person is sitting, laying down, standing, or sleeping. The main challenge in breathing rate estimation is that "motion interference", i.e., movements other than a person's breathing, generally cause larger changes in RSS than inhalation and exhalation. We develop a method to estimate breathing rate despite motion interference, and demonstrate its performance during multiple short (3-7 minute) tests and during a longer 66 minute test. Further, for the same experiments, we show the location of the breathing person can be estimated, to within about 2 m average error in a 56 square meter apartment. Being able to locate a breathing person who is not otherwise moving, without calibration, is important for applications in search and rescue, health care, and security.


title: Investigation of the Earth Ionosphere using the Radio Emission of Pulsars

abstract: The investigation of the Earth ionosphere both in a quiet and a disturbed states is still desirable. Despite recent progress in its modeling and in estimating the electron concentration along the line of sight by GPS signals, the impact of the disturbed ionosphere and magnetic field on the wave propagation still remains not sufficiently understood. This is due to lack of information on the polarization of GPS signals, and due to poorly conditioned models of the ionosphere at high altitudes and strong perturbations. In this article we consider a possibility of using the data of pulsar radio emission, along with the traditional GPS system data, for the vertical and oblique sounding of the ionosphere. This approach also allows to monitor parameters of the propagation medium, such as the dispersion measure and the rotation measure using changes of the polarization between pulses. By using a selected pulsar constellation it is possible to increase the number of directions in which parameters of the ionosphere and the magnetic field can be estimated.


title: Roots of characteristic polynomials and intersection points of line arrangements

abstract: We study a relation between roots of characteristic polynomials and intersection points of line arrangements. Using these results, we obtain a lot of applications for line arrangements. Namely, we give (i) a generalized addition theorem for line arrangements, (ii) a generalization of Faenzi-Vall\`{e}s' theorem over a field of arbitrary characteristic, (iii) a partial result on the conjecture of Terao of line arrangements, and (iv) a new sufficient condition for freeness over finite fields. Also, a higher dimensional version of main results is considered.


title: Dynamical decoupling with tailored waveplates for long distance communication using polarization qubits

abstract: We address the issue of dephasing effects in flying polarization qubits propagating through optical fiber by using the method of dynamical decoupling. The control pulses are implemented with half waveplates suitably placed along the realistic lengths of the single mode optical fiber. The effects of the finite widths of the waveplates on the polarization rotation are modeled using tailored refractive index profiles inside the waveplates. We show that dynamical decoupling is effective in preserving the input qubit state with the fidelity close to one when the polarization qubit is subject to the random birefringent noise in the fiber, as well the rotational imperfections (flip-angle errors) due to the finite width of the waveplates.


title: Tunable electromagnetic environment for superconducting quantum bits

abstract: We introduce a setup which realises a tunable engineered environment for experiments in circuit quantum electrodynamics. We illustrate this concept with the specific example of a quantum bit, qubit, in a high-quality-factor cavity which is capacitively coupled to another cavity including a resistor. The temperature of the resistor, which acts as the dissipative environment, can be controlled in a well defined manner in order to provide a hot or cold environment for the qubit, as desired. Furthermore, introducing superconducting quantum interference devices (SQUIDs) into the cavity containing the resistor, provides control of the coupling strength between this artificial environment and the qubit. We demonstrate that our scheme allows us to couple strongly to the environment enabling rapid initialization of the system, and by subsequent tuning of the magnetic flux of the SQUIDs we may greatly reduce the resistor-qubit coupling, allowing the qubit to evolve unhindered.


title: The consequences of large \theta_13 for the turbulence signatures in supernova neutrinos

abstract: The set of transition probabilities for a single neutrino emitted from a point source after passage through a turbulent supernova density profile have been found to be random variates drawn from parent distributions whose properties depend upon the stage of the explosion, the neutrino energy and mixing parameters, the observed channel, and the properties of the turbulence such as the amplitude C*. In this paper we examine the consequences of the recently measured mixing angle \theta_13 upon the neutrino flavor transformation in supernova when passing through turbulence. We find the measurements of a relatively large value of \theta_13 means the neutrinos are relatively immune to small, C* < 1%, amplitude turbulence but as C* increases the turbulence effects grow rapidly and spread to all mixing channels. For C* > 10% the turbulence effects in the high (H) density resonance mixing channels are independent of \theta_13 but non-resonant mixing channels are more sensitive to turbulence when \theta_13 is large.