title: $Z_b/Z_b^\prime \to \Upsilon\pi$ and $h_b \pi$ decays in intermediate meson loops model

abstract: With the recent measurement of $Z_b(10610)$ and $Z_b(10650)\to B\bar{B}^*+c.c.$ and $B^*\bar{B}^*$, we investigate the transitions from the $Z_b(10610)$ and $Z_b(10650)$ to bottomonium states with emission of a pion via intermediate $B \ {B}^*$ meson loops. The experimental data can be reproduced in this approach with a commonly accepted range of values for the form factor cutoff parameter $\alpha$. The $\Upsilon(3S)\pi$ decay channels appear to experience obvious threshold effects which can be understood by the property of the loop integrals. By investigating the $\alpha$-dependence of partial decay widths and ratios between different decay channels, we show that the intermediate $B \ {B}^*$ meson loops are crucial for driving the transitions of $Z_b/Z_b'\to \Upsilon(nS)\pi$ with $n = 1, 2, 3$, and $h_b(mP)\pi$ with $m = 1$ and 2.


title: How to measure the charm density in the proton

abstract: We study two experimental ways to measure the heavy-quark content of the proton: using the Callan-Gross ratio $R(x,Q^2)=F_L/F_T$ and/or the azimuthal $\cos(2\varphi)$ asymmetry in DIS. Our approach is based on the following observations. First, the ratio $R(x,Q^2)=F_L/F_T$ and azimuthal $\cos(2\varphi)$ asymmetry in heavy-quark leptoproduction are stable, both parametrically and perturbatively, within pQCD. Second, both these quantities are sensitive to resummation of the mass logarithms of the type $\alpha_{s}\ln(Q^{2}/m^{2})$. We conclude that the heavy-quark densities in the nucleon can, in principle, be determined from high-$Q^2$ data on the Callan-Gross ratio and/or the azimuthal asymmetry. In particular, the charm content of the proton can be measured in future studies at the proposed Large Hadron-Electron (LHeC) and Electron-Ion (EIC) Colliders.


title: Brain Connectivity Analysis Methods for Better Understanding of Coupling

abstract: Action, cognition, emotion and perception can be mapped in the brain by using set of techniques. Translating unimodal concepts from one modality to another is an important step towards understanding the neural mechanisms. This paper provides a comprehensive survey of multimodal analysis of brain signals such as fMRI, EEG, MEG, NIRS and motivations, assumptions and pitfalls associated with it. All these non-invasive brain modalities complement and restrain each other and hence improve our understating of functional and neuronal organization. By combining the various modalities together, we can exploit the strengths and flaws of individual brain imaging methods. Integrated anatomical analysis and functional measurements of human brain offer a powerful paradigm for the brain mapping. Here we provide the brief review on non invasive brain modalities, describe the future of co-analysis of these brain signals.


title: Canonical Ensemble Model for the Black Hole Quantum Tunneling Radiation

abstract: In this paper, a canonical ensemble model for the black hole quantum tunneling radiation is introduced. With this model the probability distribution function corresponding to the emission shell is calculated. Comparing with this function, the statistical significance of the quantum tunneling radiation spectrum of black holes is investigated. Moreover, by calculating the entropy of the emission shell, a discussion about the mechanism of information flowing out from the black hole is given too.


title: CFT representation of interacting bulk gauge fields in AdS

abstract: We develop the representation of interacting bulk gauge fields and charged scalar matter in AdS in terms of non-local observables in the dual CFT. We work in holographic gauge in the bulk, A_z = 0. The correct statement of micro-causality in holographic gauge is somewhat subtle, so we first discuss it from the bulk point of view. We then show that in the 1/N expansion CFT correlators can be lifted to obtain bulk correlation functions which satisfy micro-causality. This requires adding an infinite tower of higher-dimension multi-trace operators to the CFT definition of a bulk observable. For conserved currents the Ward identities in the CFT prevent the construction of truly local bulk operators (i.e. operators that commute at spacelike separation with everything), however the resulting non-local commutators are exactly those required by the bulk Gauss constraint. In contrast a CFT which only has non-conserved currents can be lifted to a bulk theory which is truly local. Although our explicit calculations are for gauge theory, similar statements should hold for gravity.


title: Adjoint-Based Optimal Control of Time-Dependent Free Boundary Problems

abstract: In this paper we show a simplified optimisation approach for free boundary problems in arbitrary space dimensions. This approach is mainly based on an extended operator splitting which allows a decoupling of the domain deformation and solving the remaining partial differential equation. First we give a short introduction to free boundary problems and the problems occurring in optimisation. Then we introduce the extended operator splitting and apply it to a general minimisation subject to a time-dependent scalar-valued partial differential equation. This yields a time-discretised optimisation problem which allows us a quite simple application of adjoint-based optimisation methods. Finally, we verify this approach numerically by the optimisation of a flow problem (Navier-Stokes equation) and the final shape of a Stefan-type problem.


title: Orientation data on moduli space of sheaves on Calabi-Yau threefold

abstract: Kontsevich and Soibelman introduced a notion of orientation data on Calabi-Yau category. It can be viewed as a consistent choice of spin structure on moduli space of objects in the given category. The orientation data plays an important role in Donaldson-Thomas theory. Let X be a projective, simply connected and torsion free CY 3-fold. We prove the existence of orientation data for the moduli space of coherent sheaves on X.


title: Wetting dynamics on lyophilic solid surfaces patterned by lyophobic islands

abstract: A theory for wetting of structured solid surfaces is developed, based on the delta-comb periodic potential. It possesses two matching parameters: the effective line tension and the friction coefficient on the three-phase contact line at the surface. The theory is validated on the dynamics of spreading of liquid zinc droplets on morphologically patterned zinkophilic iron surface by means of square patterns of zinkophobic aluminum oxide. It is found that the effective line tension is negative and it has essential contribution to the dynamics of spreading. Thus, the theoretical analysis shows that the presence of lyophobic patterns situated on lyophilic surface makes the latter completely wettable, i.e. no equilibrium contact angle on such surface exists making the droplet spread completely in form of thin liquid layer on the patterned surface.


title: Limits in late time conversion of cold dark matter into dark radiation

abstract: Structure formation creates high temperature and density regions in the Universe that allow the conversion of matter into more stable states, with a corresponding emission of relativistic matter and radiation. An example of such a mechanism is the supernova event, that releases relativistic neutrinos corresponding to 99% of the binding energy of remnant neutron star. We take this phenomena as a starting point for an assumption that similar processes could occur in the dark sector, where structure formation would generate a late time conversion of cold dark matter into a relativistic form of dark matter. We performed a phenomenological study about the limits of this conversion, where we assumed a transition profile that is a generalized version of the neutrino production in supernovae events. With this assumption, we obtained an interesting modification for the constraint over the cold dark matter density. We show that when comparing with the standard \Lambda CDM cosmology, there is no preference for conversion, although the best fit is within 1\sigma\ from the standard model best fit. The methodology and the results obtained qualify this conversion hypothesis, from the large scale structure point of view, as a viable and interesting model to be tested in the future with small scale data, and mitigate discrepancies between observations at this scale and the pure cold dark matter model.


title: Modeling the X-ray light curves of Cygnus X-3. Possible role of the jet

abstract: Context: Physics behind the soft X-ray light curve asymmetries in Cygnus X-3, a well-known microquasar, was studied. AIMS: Observable effects of the jet close to the line-of-sight were investigated and interpreted within the frame of light curve physics. METHODS: The path of a hypothetical imprint of the jet, advected by the WR-wind, was computed and its crossing with the line-of-sight during the binary orbit determined. We explore the possibility that physically this 'imprint' is a formation of dense clumps triggered by jet bow shocks in the wind ("clumpy trail"). Models for X-ray continuum and emission line light curves were constructed using two absorbers: mass columns along the line-of-sight of i) the WR wind and ii) the clumpy trail, as seen from the compact star. These model light curves were compared with the observed ones from the RXTE/ASM (continuum) and Chandra/HETG (emission lines). Results: We show that the shapes of the Cygnus X-3 light curves can be explained by the two absorbers using the inclination and true anomaly angles of the jet as derived in Dubus et al. (2010) from gamma-ray Fermi/LAT observations. The clumpy trail absorber is much larger for the lines than for the continuum. We suggest that the clumpy trail is a mixture of equilibrium and hot (shock heated) clumps. Conclusions: A possible way for studying jets in binary stars when the jet axis and the line-of-sight are close to each other is demonstrated. The X-ray continuum and emission line light curves of Cygnus X-3 can be explained by two absorbers: the WR companion wind plus an absorber lying in the jet path (clumpy trail). We propose that the clumpy trail absorber is due to dense clumps triggered by jet bow shocks.


title: Observing atom bunching by the Fourier slice theorem

abstract: By a novel reciprocal space analysis of the measurement, we report a calibrated in situ observation of the bunching effect in a 3D ultracold gas. The calibrated measurement with no free parameters confirms the role of the exchange symmetry and the Hanbury Brown-Twiss effect in the bunching. Also, the enhanced fluctuations of the bunching effect give a quantitative measure of the increased isothermal compressibility. We use 2D images to probe the 3D gas, using the same principle by which computerized tomography reconstructs a 3D image of a body. The powerful reciprocal space technique presented is applicable to systems with one, two, or three dimensions.


title: Full range of blow up exponents for the quintic wave equation in three dimensions

abstract: For the critical focusing wave equation \Box u = u^5 on R^{3+1} in the radial case, we prove the existence of type II blow up solutions with scaling parameter \lambda(t) = t^{-1-\nu} for all \nu >0. This extends the previous work by the authors and Tataru where the condition \nu> 1/2 had been imposed, and gives the optimal range of polynomial blow up rates in light of recent work by Duyckaerts, Kenig and Merle.


title: The Z2-anomaly and boundaries of topological insulators

abstract: We study the edge and surface theories of topological insulators from the perspective of anomalies and identify a novel Z2-anomaly associated with charge conservation. The anomaly is manifested through a 2-point correlation function involving creation and annihilation operators on two decoupled boundaries. Although charge conservation on each boundary requires this quantity to vanish, we find that it diverges. A corollary result is that under an insertion of a flux quantum the ground state evolves to an exactly orthogonal state independent of the rate at which the flux is inserted. The anomaly persists in the presence of disorder and imposes sharp restrictions on possible low energy theories. Being formulated in a many-body, field theoretical language, the anomaly allows to test the robustness of topological insulators to interactions in a concise way.


title: Measurements of B lifetimes at LHCb

abstract: Measurements of the $B_s^0$ effective lifetime in decays to CP-odd and CP-even flavour specific final states allow to probe the width difference $\Delta \Gamma_s$ and the CP-violating phase $\phi_s$ of $B^0_s-\bar{B}^0_s$ mixing box-diagram. Measurements of the effective lifetime in the decay channels $B_s^0 \rightarrow K^+ K^-$ and $\bar{B}_s^0 \rightarrow J/\psi f_0(980)$ are presented, as well as a measurement of $\Delta \Gamma_s$ and $\Gamma_s$ performed by a tagged time-dependent angular analysis of $B_s^0 \rightarrow J/\psi \phi$ decays and a measurement of the sign of $\Delta \Gamma_s$, using data collected during 2011 with the LHCb detector.


title: Dead, Undead and Zombie Zones in Protostellar Disks as a Function of Stellar Mass

abstract: We investigate the viability of the magnetorotational instability (MRI) in accretion disks around both solar-type stars and very low mass stars. In particular, we determine the disk regions where the MRI can be shut off either by Ohmic resistivity (the so-called Dead and Undead Zones) or by ampipolar diffusion (a region we term the Zombie Zone). We consider 2 stellar masses: Mstar = 0.7 and 0.1 Msun. In each case, we assume that: the disk surface density profile is that of a scaled Minimum Mass Solar Nebula, with Mdisk/Mstar ~ 0.01 as currently estimated; disk ionisation is driven primarily by stellar X-rays, complemented by cosmic rays and radionuclides; and the stellar X-ray luminosity scales with bolometric luminosity as Lx/Lstar ~ 10^-3.5, as observed. Ionization rates are calculated with the MOCCASIN code, and ionisation balance determined using a simplified chemical network, including well-mixed 0.1 um grains at various levels of depletion. We find that (1) ambipolar diffusion is the primary factor controlling MRI activity in disks around both solar-type and very low mass stars. Assuming that the MRI yields the maximum possible field strength at each radius, we further find that: (2) the MRI-active layer constitutes only ~ 5-10% of the total disk mass; (3) the accretion rate (Mdot) varies radially in both magnitude and sign (inward or outward), implying time-variable accretion as well as the creation of disk gaps and overdensities, with consequences for planet formation and migration; (4) achieving the empirical accretion rates in solar-type and very low mass stars requires a depletion of well-mixed small grains by a factor of 10-1000 relative to the standard dust-to-gas mass ratio of 10^-2; and (5) the current non-detection of polarized emission from field-aligned grains in the outer disk regions is consistent with active MRI at those radii.


title: Compressed Sensing Based on Random Symmetric Bernoulli Matrix

abstract: The task of compressed sensing is to recover a sparse vector from a small number of linear and non-adaptive measurements, and the problem of finding a suitable measurement matrix is very important in this field. While most recent works focused on random matrices with entries drawn independently from certain probability distributions, in this paper we show that a partial random symmetric Bernoulli matrix whose entries are not independent, can be used to recover signal from observations successfully with high probability. The experimental results also show that the proposed matrix is a suitable measurement matrix.


title: Playing with the kinetic term in the HMC

abstract: The HMC algorithm, combining the advantages of molecular dynamics and Monte-Carlo methods, is the most efficient algorithm to simulate QCD including the effects of sea quarks. In the standard approach momentum fields are generated with a Gaussian probability density. In this work I will explore another possibility. By using a Lorentz distribution one can dynamically impose a cutoff in the rate of change of the coordinates that potentially could have a better behavior. I will present some results in pure SU(2) gauge theory.


title: Norm Inflation for Generalized Navier-Stokes Equations

abstract: We consider the incompressible Navier-Stokes equation with a fractional power $\alpha\in[1,\infty)$ of the Laplacian in the three dimensional case. We prove the existence of a smooth solution with arbitrarily small in $\dot{B}_{\infty,p}^{-\alpha}$ ($2<p \leq \infty$) initial data that becomes arbitrarily large in $\dot{B}_{\infty,\infty}^{-s}$ for all $s> 0$ in arbitrarily small time. This extends the result of Bourgain and Pavlovi\'{c} for the classical Navier-Stokes equation which utilizes the fact that the energy transfer to low modes increases norms with negative smoothness indexes. It is remarkable that the space $\dot{B}_{\infty,\infty}^{-\alpha}$ is supercritical for $\alpha >1$. Moreover, the norm inflation occurs even in the case $\alpha \geq 5/4$ where the global regularity is known.


title: Galerkin method for linear Integral-Algebraic Equations of index 1

abstract: In this paper, we study direct and indirect Galerkin method for solving linear Integral-Algebraic Equations of index 1. Convergence of indirect method is also analyzed.


title: Belyi functions for hyperbolic hypergeometric-to-Heun transformations

abstract: A complete classification of Belyi functions for transforming certain hypergeometric equations to Heun equations is given. The considered hypergeometric equations have the local exponent differences 1/k,1/l,1/m that satisfy k,l,m in N and the hyperbolic condition 1/k+1/l+1/m<1. There are 366 Galois orbits of Belyi functions giving the considered (non-parametric) hypergeometric-to-Heun pull-back transformations. Their maximal degree is 60, which is well beyond reach of standard computational methods. To obtain these Belyi functions, we developed two efficient algorithms that exploit the implied pull-back transformations.


title: Monte Carlo simulations of the three-dimensional XY spin glass focusing on the chiral and the spin order

abstract: The ordering of the three-dimensional isotropic {\it XY} spin glass with the nearest-neighbor random Gaussian coupling is studied by extensive Monte Carlo simulations. To investigate the ordering of the spin and the chirality, we compute several independent physical quantities including the glass order parameter, the Binder parameter, the correlation-length ratio, the overlap distribution and the non-self-averageness parameter, {\it etc}, for both the spin-glass (SG) and the chiral-glass (CG) degrees of freedom. Evidence of the spin-chirality decoupling, {\it i.e.}, the CG and the SG order occurring at two separated temperatures, $0<T_{SG}<T_{CG}$, is obtained from the glass order parameter, which is fully corroborated by the Binder parameter. By contrast, the CG correlation-length ratio yields a rather pathological and inconsistent result in the range of sizes we studied, which may originate from the finite-size effect associated with a significant short-length drop-off of the spatial CG correlations. Finite-size-scaling analysis yields the CG exponents $\nu_{CG}=1.36^{+0.15}_{-0.37}$ and $\eta_{CG}=0.26^{+0.29}_{-0.26}$, and the SG exponents $\nu_{SG}=1.22^{+0.26}_{-0.06}$ and $\eta_{SG}=-0.54^{+0.24}_{-0.52}$. The obtained exponents are close to those of the Heisenberg SG, but are largely different from those of the Ising SG. The chiral overlap distribution and the chiral Binder parameter exhibit the feature of a continuous one-step replica-symmetry breaking (1RSB), consistently with the previous reports. Such a 1RSB feature is again in common with that of the Heisenberg SG, but is different from the Ising one, which may be the cause of the difference in the CG critical properties from the Ising SG ones despite of a common $Z_2$ symmetry.


title: Short-Baseline Electron Neutrino Oscillation Length After Troitsk

abstract: We discuss the implications for short-baseline electron neutrino disappearance in the 3+1 mixing scheme of the recent Troitsk bounds on the mixing of a neutrino with mass between 2 and 100 eV. Considering the Troitsk data in combination with the results of short-baseline nu_e and antinu_e disappearance experiments, which include the reactor and Gallium anomalies, we derive a 2 sigma allowed range for the effective neutrino squared-mass difference between 0.85 and 43 eV^2. The upper bound implies that it is likely that oscillations in distance and/or energy can be observed in radioactive source experiments. It is also favorable for the ICARUS@CERN experiment, in which it is likely that oscillations are not washed-out in the near detector. We discuss also the implications for neutrinoless double-beta decay.


title: A Categorical Treatment of Ornaments

abstract: Ornaments aim at taming the multiplication of special-purpose datatype in dependently-typed theory. In its original form, the definition of ornaments is tied to a particular universe of datatypes. Being a type theoretic object, constructions on ornaments are typically explained through an operational narrative. This overbearing concreteness calls for an abstract model of ornaments. In this paper, we give a categorical model of ornaments. As a necessary first step, we abstract the universe of datatypes using the theory of polynomial functors. We are then able to characterize ornaments as cartesian morphisms between polynomial functors. We thus gain access to powerful mathematical tools that shall help us understand and develop ornaments. We shall also illustrate the adequacy of our model. Firstly, we rephrase the standard ornamental constructions into our framework. Thanks to its conciseness, this process gives us a deeper understanding of the structures at play. Secondly, we develop new ornamental constructions, by translating categorical structures into type theoretic artifacts.


title: Preventing the tragedy of the commons through punishment of over-consumers and encouragement of under-consumers

abstract: The conditions that can lead to the exploitative depletion of a shared resource, i.e, the tragedy of the commons, can be reformulated as a game of prisoner's dilemma: while preserving the common resource is in the best interest of the group, over-consumption is in the interest of each particular individual at any given point in time. One way to try and prevent the tragedy of the commons is through infliction of punishment for over-consumption and/or encouraging under-consumption, thus selecting against over-consumers. Here, the effectiveness of various punishment functions in an evolving consumer-resource system is evaluated within a framework of a parametrically heterogeneous system of ordinary differential equations (ODEs). Conditions leading to the possibility of sustainable coexistence with the common resource for a subset of cases are identified analytically using adaptive dynamics; the effects of punishment on heterogeneous populations with different initial composition are evaluated using the Reduction theorem for replicator equations. Obtained results suggest that one cannot prevent the tragedy of the commons through rewarding of under-consumers alone - there must also be an implementation of some degree of punishment that increases in a non-linear fashion with respect to over-consumption and which may vary depending on the initial distribution of clones in the population.


title: Light and Superlight Sterile Neutrinos in the Minimal Radiative Inverse Seesaw Model

abstract: We explore the possibility of light and superlight sterile neutrinos in the recently proposed Minimal Radiative Inverse Seesaw extension of the Standard Model for neutrino masses, in which all existing neutrino data can be explained. In particular, we discuss two benchmark scenarios with one of the three sterile neutrino states in the keV-range, having very small mixing with the active neutrinos to account for the Dark Matter in the Universe, while (i) the other two light sterile neutrino states could be in the eV-range, possessing a nonzero mixing with the active states as required to explain the LSND+MiniBooNE+reactor neutrino data, or (ii) one of the light sterile states is in the eV-range, whereas the second one could be superlight and almost mass-degenerate with the solar neutrinos. Such superlight sterile neutrinos could give rise to potentially observable effects in future neutrino oscillation experiments and may also offer a possible explanation for the extra radiation observed in the Universe.


title: Quantum algebras as quantizations of dual Poisson-Lie groups

abstract: A systematic computational approach for the explicit construction of any quantum Hopf algebra (U_z(g),\Delta_z) starting from the Lie bialgebra (g,\delta) that gives the first-order deformation of the coproduct map \Delta_z is presented. The procedure is based on the fact that any quantum algebra can be viewed as the quantization of the unique Poisson-Lie structure (G^\ast,\Lambda_g) on the dual group G^\ast, which is obtained by exponentiating the Lie algebra g^\ast defined by the dual map \delta^\ast. From this perspective, the coproduct for U_z(g) is just the pullback of the group law for G^\ast, and the Poisson analogues of the quantum commutation rules for U_z(g) are given by the unique Poisson-Lie structure \Lambda_g on G^\ast whose linearization is the Poisson analogue of the initial Lie algebra g. This approach is shown to be very useful in order to construct quantum deformations explicitly since, once a Lie bialgebra (g,\delta) is given, the full dual Poisson-Lie group (G^\ast,\Lambda) can be obtained either by applying standard Poisson-Lie group techniques or by implementing the algorithm here presented with the aid of symbolic manipulation programs. As a consequence, the quantization of (G^\ast,\Lambda) will give rise to the full U_z(g) quantum algebra, provided that ordering problems are appropriately fixed. The applicability of this approach is explicitly demonstrated by constructing several instances of quantum deformations of physically relevant Lie algebras as sl(2,R), the (2+1) Anti de Sitter algebra so(2,2) and the Poincar\'e algebra in (3+1) dimensions.


title: Gaussian Vortex Approximation to the Instanton Equations of two-dimensional Turbulence

abstract: We investigate two-dimensional turbulence within the Instanton formalism which determines the most probable field in a stochastic classical field theory starting from the Martin-Siggia-Rose path integral. We perform an approximate analysis of these equations based on a variational ansatz using elliptical vortices. The result are evolution equations for the positions and the shapes of the vortices. We solve these ordinary differential equations numerically. The extremal action for the two-point statistics is determined by the merging of two elliptical vortices. We discuss the relationship of this dynamical system to the inverse cascade process of two-dimensional turbulence.

categories: physics.flu-dyn cond-mat.stat-mech math-ph math.MP nlin.CD


title: Semistable sheaves and comparison isomorphisms in the semistable case

abstract: For a smooth proper scheme over a local field of mixed characteristics which has semistable reduction we define the category of its semistable etale sheaves and under certain hypothesis we prove the appropriate semistable comparison isomorphisms.


title: P-Adic families of Siegel modular cuspforms

abstract: Let p be an odd prime and g an integer greater or equal to 2. We prove that a finite slope Siegel cuspidal eigenform of genus g can be p-adically deformed over the g-dimensional weight space. The proof of this result relies on the construction of a family of sheaves of locally analytic overconvergent modular forms.


title: Comparison Isomorphisms for Smooth Formal Schemes

abstract: For a smooth proper scheme or formal scheme over an unramified, complete DVR of mixed characteristics we prove a comparison isomorphism relating etale cohomology of the generic fiber with values in a crystalline etale sheaf to the crystalline cohomology of its special fiber with values in the associated F-isocrystal.


title: EIT-control of single-atom motion in an optical cavity

abstract: We demonstrate cooling of the motion of a single atom confined by a dipole trap inside a high-finesse optical resonator. Cooling of the vibrational motion results from EIT-like interference in an atomic \Lambda-type configuration, where one transition is strongly coupled to the cavity mode and the other is driven by an external control laser. Good qualitative agreement with the theoretical predictions is found for the explored parameter ranges. The role of the cavity in the cooling dynamics is confirmed by means of a direct comparison with EIT-cooling performed in the dipole trap in free space. These results set the basis to the realization of an efficient photonic interface based on single atoms.


title: On the local spectra of the subconstituents of a vertex set and completely pseudo-regular codes

abstract: The local spectrum of a vertex set in a graph has been proven to be very useful to study some of its metric properties. It also has applications in the area of pseudo-distance-regularity around a set and can be used to obtain quasi-spectral characterizations of completely (pseudo-)regular codes. In this paper we study the relation between the local spectrum of a vertex set and the local spectrum of each of its subconstituents. Moreover, we obtain a new characterization for completely pseudo-regular codes, and consequently for completely regular codes, in terms of the relation between the local spectrum of an extremal set of vertices and the local spectrum of its antipodal set. We also present a new proof of the version of the Spectral Excess Theorem for extremal sets of vertices.


title: Tail decay for the distribution of the endpoint of a directed polymer

abstract: We obtain an asymptotic expansion for the tails of the random variable $\tcal=\arg\max_{u\in\mathbb{R}}(\mathcal{A}_2(u)-u^2)$ where $\mathcal{A}_2$ is the Airy$_2$ process. Using the formula of Schehr \cite{Sch} that connects the density function of $\tcal$ to the Hastings-McLeod solution of the second Painlev\'e equation, we prove that as $t\rightarrow\infty$, $\mathbb{P}(|\tcal|>t)=Ce^{-4/3\varphi(t)}t^{-145/32}(1+O(t^{-3/4}))$, where $\varphi(t)=t^3-2t^{3/2}+3t^{3/4}$, and the constant $C$ is given explicitly.


title: Probability Bracket Notation: Markov State Chain Projector, Hidden Markov Models and Dynamic Bayesian Networks

abstract: After a brief discussion of Markov Evolution Formula (MEF) expressed in Probability Bracket Notation (PBN), its close relation with the joint probability distribution (JPD) of Visible Markov Models (VMM) is demonstrated by introducing Markov State Chain Projector (MSCP). The state basis and the observed basis are defined in the Sequential Event Space (SES) of Hidden Markov Models (HMM). The JPD of HMM is derived by using basis transformation in SES. The Viterbi algorithm is revisited and applied to the famous Weather HMM example, whose node graph and inference results are displayed by using software package Elvira. In the end, the formulas of VMM, HMM and some factorial HMM (FHMM) are expressed in PBN as instances of dynamic Bayesian Networks (DBN).


title: The shear channel spectral function in hot Yang-Mills theory

abstract: We determine a next-to-leading order result for the shear channel thermal spectral function in SU(N) Yang-Mills theory, working in the limit of vanishing external three-momentum. The result is subsequently applied to the evaluation of the corresponding imaginary time correlator, and its use in the context of sum rules is discussed. Our hope is that the calculation will eventually find use in the nonperturbative determination of the shear viscosity of the theory.


title: Optimization of the X-ray incidence angle in photoelectron spectrometers

abstract: Interplay of the angle dependent X-ray reflectivity and absorption with the photoelectron attenuation length in the photoelectron emission process determine the optimal X-ray incidence angle which maximizes the photoelectron signal. Calculations in a wide VUV through hard-X-ray energy range show that the optimal angle goes with energy progressively more grazing from a few tens of degrees at 50 eV to about one degree at 3.5 keV accompanied by the intensity gain increasing up to a few tens of times as long as the X-ray footprint on the sample stays within the analyzer field of view. This trend is fairly material independent. The obtained results bear immediate implications for design of the (synchrotron based) photoelectron spectrometers.


title: Non-uniform hyperbolicity and existence of absolutely continuous invariant measures

abstract: We prove that for certain partially hyperbolic skew-products, non-uniform hyperbolicity along the leaves implies existence of a finite number of ergodic absolutely continuous invariant probability measures which describe the asymptotics of almost every point. The main technical tool is an extension for sequences of maps of a result of de Melo and van Strien relating hyperbolicity to recurrence properties of orbits. As a consequence of our main result, we also obtain a partial extension of Keller's theorem guaranteeing the existence of absolutely continuous invariant measures for non-uniformly hyperbolic one dimensional maps.


title: Critical branching Brownian motion with absorption: survival probability

abstract: We consider branching Brownian motion on the real line with absorption at zero, in which particles move according to independent Brownian motions with the critical drift of $-\sqrt{2}$. Kesten (1978) showed that almost surely this process eventually dies out. Here we obtain upper and lower bounds on the probability that the process survives until some large time $t$. These bounds improve upon results of Kesten (1978), and partially confirm nonrigorous predictions of Derrida and Simon (2007).


title: The Satisfiability Threshold for $k$-XORSAT, using an alternative proof

abstract: We consider "unconstrained" random $k$-XORSAT, which is a uniformly random system of $m$ linear non-homogeneous equations in $\mathbb{F}_2$ over $n$ variables, each equation containing $k \ge 3$ variables, and also consider a "constrained" model where every variable appears in at least two equations. Dubois and Mandler proved that $m/n=1$ is a sharp threshold for satisfiability of constrained 3-XORSAT, and analyzed the 2-core of a random 3-uniform hypergraph to extend this result to find the threshold for unconstrained 3-XORSAT. We show that $m/n=1$ remains a sharp threshold for satisfiability of constrained $k$-XORSAT for every $k \ge 3$, and we use standard results on the 2-core of a random $k$-uniform hypergraph to extend this result to find the threshold for unconstrained $k$-XORSAT. For constrained $k$-XORSAT we narrow the phase transition window, showing that $n-m \to \infty$ implies almost-sure satisfiability, while $m-n \to \infty$ implies almost-sure unsatisfiability.


title: Statistics on Hilbert's Sixteenth Problem

abstract: We study the statistics of the number of connected components and the volume of a random real algebraic hypersurface in RP^n defined by a Real Bombieri-Weyl distributed homogeneous polynomial of degree d. We prove that the expectation of the number of connected components of such hypersurface has order d^n, the asymptotic being in d for n fixed. We do not restrict ourselves to the random homogeneous case and we consider more generally random polynomials belonging to a window of eigenspaces of the laplacian on the sphere S^n, proving that the same asymptotic holds. As for the volume, we prove its expectation is of order d. Both these behaviors exhibit expectation of maximal order in light of Milnor's bound and the a priori bound for the volume.


title: Critical branching Brownian motion with absorption: particle configurations

abstract: We consider critical branching Brownian motion with absorption, in which there is initially a single particle at $x > 0$, particles move according to independent one-dimensional Brownian motions with the critical drift of $-\sqrt{2}$, and particles are absorbed when they reach zero. Here we obtain asymptotic results concerning the behavior of the process before the extinction time, as the position $x$ of the initial particle tends to infinity. We estimate the number of particles in the system at a given time and the position of the right-most particle. We also obtain asymptotic results for the configuration of particles at a typical time.


title: Characterisation of the potential of frequency modulation and optical feedback locking for cavity-enhanced absorption spectroscopy

abstract: A combination of optical feedback self-locking of a continuous-wave distributed feedback diode laser to a V-shaped high finesse cavity, laser phase modulation at a frequency equal to the free spectral range of the V-cavity and detection of the transmitted laser beam at this high modulation frequency is described for possible application in cavity-enhanced absorption spectroscopy.In order to estimate an absorbance baseline noise of laser intensity and frequency modulated light triplet passed through the V-cavity in open air, a 1.5-cm long optical cell filled by C2H2 at low pressure was placed behind the cavity output mirror. The performance of the setup was evaluated from the experimental bandwidth normalised relative intensity noise on the cavity output and the frequency modulation absorption signals induced by C2H2 absorption in the 1.5-cm cell. From these data we estimate that the noise-equivalent absorption sensitivity of 2.1*10^-11 cm^-1 Hz^-1/2 by a factor of 11.7 above a shot-noise limit can be achieved for C2H2 absorption spectra extracted from the heterodyne beat signals recorded at the transmission maxima intensity peaks of the successive TEM00 resonances.


title: Charge Transport in Pentacene-Graphene Nanojunctions

abstract: We investigate charge transport in pentacene-graphene nanojunctions employing density functional theory (DFT) electronic structure calculations and the Landauer transport formalism. The results show that the unique electronic properties of graphene strongly influence the transport in the nanojunctions. In particular, edge states in graphene electrodes with zigzag termination result in additional transport channels close to the Fermi energy which deeply affects the conductance at small bias voltages. Investigating different linker groups as well as chemical substitution, we demonstrate how the transport properties are furthermore influenced by the molecule-lead coupling and the energy level lineup.


title: Detecting gene innovations for phenotypic diversity across multiple genomes

abstract: Gene innovation is a key mechanism on the evolution and phenotypic diversity of life forms. There is a need for tools able to study gene innovation across an increasingly large number of genomic sequences to maximally capitalise our understanding of biological systems. Here we present Comparative-Phylostratigraphy, an open-source software suite that enables to time the emergence of new genes across evolutionary time and to correlate patterns of gene emergence with species traits simultaneously across whole genomes from multiple species. Such a comparative strategy is a new powerful tool for starting to dissect the relationship between gene innovation and phenotypic diversity. We describe and showcase our method by analysing recently published ant genomes. This new methodology identified significant bouts of new gene evolution in ant clades, that are associated with shifts in life-history traits. Our method allows easy integration of new genomic data as it becomes available, and thus will be a valuable analytical tool for evolutionary biologists interested in explaining the evolution of diversity of life at the level of the genes.


title: An assortment of negatively curved ends

abstract: Motivated by a recent groundbreaking work of Ontaneda, we describe a sizable class of closed manifolds such that the product of each manifold in the class with the real line admits a complete metric of bounded negative sectional curvature which is an exponentially warped near one end and has finite volume near the other end.


title: Incompressible hydrodynamic turbulence from a chain reaction of vortex reconnection events

abstract: From a new anti-parallel initial condition using long vortices, three-dimensional turbulence forms after two reconnection steps and the formation of at least one vortex ring. The long domain is needed in order to accommodate the multiple reconnections, which enhance vortex stretching rates and the generation of small-scale vortex structures within the vortex rings. In addition to making the initial vortices very long, new features introduced with this initial condition are an initial profile less likely to shed vortex sheets and an improved method for mapping the direction of the vorticity onto the three-dimensional mesh. To get to the turbulent state, the vortices progress through the following steps: First, until the first reconnection, the vortex dynamics is largely consistent with existing work on strong, possibly singular, growth of the vorticity in the Euler equations. Second, vortex reconnection at the junction of the primary symmetry planes meet. About half of the circulation from each vortex reconnects into two "bridges", leaving behind two "threads", with the bridges and threads arranged into 4 orthogonal pairs. In the third step, stretching is induced by new anti-parallel attractions due to the twisting that forms along the reconnected vortices. This extra stretching then pulls on the threads as they wind around the bridges, resulting in spirals over the entire vortices. In the fourth step, multiple vortex rings form through multiple reconnections, with each ring consisting of spiral vortices. A $k^{-5/3}$ energy spectra begins to form after the first ring separates and eventually covers one decade. It is argued that the spirals are the source of the $k^{-5/3}$ spectra that develops. Furthermore, a new hierarchy of rescaled vorticity moments is found where the lower-order moments bound the higher-order moments for all orders and all times.


title: Paramagnetic NMR chemical shift in a spin state subject to zero-field splitting

abstract: We derive a general formula for the paramagnetic NMR nuclear shielding tensor of an open-shell molecule in a pure spin state, subject to a zero-field splitting (ZFS). Our findings are in contradiction with a previous proposal. We present a simple application of the newly derived formula to the case of a triplet ground state split by an easy-plane ZFS spin Hamiltonian. When $kT$ is much smaller than the ZFS gap, thus a single non-degenerate level is thermally populated, our approach correctly predicts a temperature-independent paramagnetic shift, while the previous theory leads to a Curie temperature dependence.


title: Comment on "Magnetotransport through graphene spin valves" and its following works

abstract: We show that the key formula in the works [Ding, Zhu, and Berakdar, Phys. Rev. B {\bf 79}, 045405 (2009); {\bf 84}, 115433 (2011); Ding, Zhu, Zhang, and Berakdar, Phys. Rev. B {\bf 82}, 155143 (2010)] is invalid in the extended graphene system they investigated. The correct formalism in the extended infinite system is also presented in this comment.


abstract: In this article we introduce a theory of integration for deterministic, operator-valued integrands with respect to cylindrical L\'evy processes in separable Banach spaces. Here, a cylindrical L\'evy process is understood in the classical framework of cylindrical random variables and cylindrical measures, and thus, it can be considered as a natural generalisation of cylindrical Wiener processes or white noises. Depending on the underlying Banach space, we provide necessary and/or sufficient conditions for a function to be integrable. In the last part, the developed theory is applied to define Ornstein-Uhlenbeck processes driven by cylindrical L\'evy processes and several examples are considered.


title: Continuum tensor network field states, path integral representations and the encoding of spatial symmetries

abstract: A natural way to generalise tensor network variational classes to quantum field systems is via a continuous tensor contraction. This approach is first illustrated for the class of quantum field states known as continuous matrix-product states (cMPS). As a simple example of the path-integral representation we show that the state of a dynamically evolving quantum field admits a natural representation as a cMPS. A completeness argument is also provided that shows that all states in Fock space admit a cMPS representation when the number of variational parameters tends to infinity. Beyond this, we obtain a well-behaved field limit of projected entangled pair states (PEPS) in two dimensions that provide an abstract class of quantum field states with natural symmetries. We demonstrate how symmetries of the physical field state are encoded within the dynamics of an auxiliary field system of one dimension less. In particular, the imposition of Euclidean symmetries on the physical system requires that the auxiliary system involved in the class' definition must be Lorentz-invariant. The physical field states automatically inherit entropy area laws from the PEPS class, and are fully described by the dissipative dynamics of a lower dimensional virtual field system. Our results lie at the intersection many-body physics, quantum field theory and quantum information theory, and facilitate future exchanges of ideas and insights between these disciplines.


title: Coherent Population Trapping resonances on lower atomic levels of Doppler broadened optical lines

abstract: We have detected and analysed narrow high-contrast coherent population trapping (CPT) resonances, which are induced in absorption of the weak probe light beam by the counterpropagating two-frequency pumping radiation. Our experimental investigations have been carried out on example of nonclosed three level Lambda systems formed by spectral components of the Doppler broadened D2 line of cesium atoms. We have established that CPT resonances in transmission of the probe beam (in the cesium vapor), at definite conditions, may have not only more contrast but also much lesser width in comparison with well- known CPT resonances in transmission of the corresponding two-frequency pumping radiation. Thus CPT resonances, detected by the elaborated method, may be used in atomic frequency standards and sensitive magnetometers (based on the CPT phenomenon) and also in ultahigh resolution spectroscopy of atoms and molecules.


title: The string tension for Large N gauge theory from smeared Wilson loops

abstract: Using smeared Creutz ratios we extract the string tension for SU(N) pure gauge theory and $N$=3,4,5,6,8. We employ these results to extrapolate to large N. The same methodology is applied to the single-site Twisted Eguchi Kawai model. The corresponding string tension matches perfectly within errors with the extrapolated one, providing strong evidence in favour of the twisted reduction framework. Interesting results are also obtained on the behaviour of Creutz ratios for large sizes.


title: X-ray diffraction observation of charge density wave order at zero magnetic field in ortho-II YBa$_2$Cu$_3$O$_{6.54}$

abstract: X-ray diffraction measurements show that the high-temperature superconductor YBa$_2$Cu$_3$O$_{6.54}$, with ortho-II oxygen order, has charge density wave order (CDW) in the absence of an applied magnetic field. The dominant wavevector of the CDW is $\mathbf{q}_{\mathrm{CDW}} = (0, 0.328(2), 0.5)$, with the in-plane component parallel to the $\mathbf{b}$-axis (chain direction). It has a similar incommensurability to that observed in ortho-VIII and ortho-III samples, which have different dopings and oxygen orderings. Our results for ortho-II contrast with recent high-field NMR measurements, which suggest a commensurate wavevector along the $\mathbf{a}$-axis. We discuss the relationship between spin and charge correlations in YBa$_2$Cu$_3$O$_{y}$, and recent high-field quantum oscillation, NMR and ultrasound experiments.


title: Search for a two-Higgs-boson doublet using a simplified model in $p\bar{p}$ collisions at $\sqrt{s}=1.96$ TeV

abstract: We present a search for new particles in an extension to the standard model that includes a heavy Higgs boson ($H^0$), a lighter charged Higgs boson ($H^\pm$), and an even-lighter Higgs boson $h^0$, with decays leading to a $W$-boson pair and a bottom-antibottom quark pair in the final state. We use events with exactly one lepton, missing transverse momentum, and at least four jets in data corresponding to an integrated luminosity of 8.7 fb$^{-1}$ collected by the CDF II detector in proton-antiproton collisions at $\sqrt{s}=1.96$ TeV. We find the data to be consistent with standard model predictions and report the results in terms of a simplified Higgs-cascade-decay model, setting 95% confidence level upper limits on the product of cross-section and branching fraction from 1.3 pb to 15 fb as a function of $H^0$ and $H^\pm$ masses for $m_h^{0}=126$ GeV$/c^2$.


title: Towards Approximate Model Checking DC and PDC Specifications

abstract: DC has proved to be a promising tool for the specification and verification of functional requirements on the design of hard real-time systems. Many works were devoted to develop effective techniques for checking the models of hard real-time systems against DC specifications. DC model checking theory is still evolving and yet there is no available tools supporting practical verifications due to the high undecidability of calculus and the great complexity of model checking. Present situation of PDC model checking is much worse than the one of DC model checking. In view of the results so far achieved, it is desirable to develop approximate model checking techniques for DC and PDC specifications. This work was motivated to develop approximate techniques checking automata models of hard real-time systems for DC and PDC specifications. Unlike previous works which only deal with decidable formulas, we want to develop approximate techniques covering whole DC and PDC formulas. The first results of our work, namely, approximate techniques checking real-time automata models of systems for LDI and PLDI specifications, are described in this paper.


title: Numerical method for finding decoherence-free subspaces and its applications

abstract: In this work, inspired by the study of semidefinite programming for block-diagonalizing matrix *-algebras, we propose an algorithm that can find the algebraic structure of decoherence-free subspaces (DFS's) for a given noisy quantum channel. We prove that this algorithm will work for all cases with probability one, and it is more efficient than the algorithm proposed by Holbrook, Kribs, and Laflamme [Quant. Inf. Proc. 80, 381 (2003)]. In fact, our results reveal that this previous algorithm only works for special cases. As an application, we discuss how this method can be applied to increase the efficiency of an optimization procedure for finding an approximate DFS.


title: The A_2 theorem: Remarks and complements

abstract: I give a mini-survey of several approaches to the $A_2$ theorem, biased towards the "corona" rather than the "Bellman" side of the coin. There are two new results (a streamlined form of Lerner's local oscillation formula, and the sharpness of the linear-in-complexity weak $(1,1)$ bound for dyadic shifts) and two new proofs of known results (the $A_p$--$A_\infty$ testing conditions, and the two-weight $T1$ theorem for positive dyadic operators).


title: Nearest neighbor spacing distribution of prime numbers and quantum chaos

abstract: We give heuristic arguments and computer results to support the hypothesis that, after appropriate rescaling, the statistics of spacings between adjacent prime numbers follows the Poisson distribution. The scaling transformation removes the oscillations in the NNSD of primes. These oscillations have the very profound period of length six. We also calculate the spectral rigidity $\Delta_3$ for prime numbers by two methods. After suitable averaging one of these methods gives the Poisson dependence $\Delta_3(L)=L/15$.


title: The A_2 theorem with the Dini condition

abstract: Let $T$ be an $L^2$-bounded operator having an $\omega$-Calder\'on--Zygmund kernel $K$ with a modulus of continuity $\omega$. If $\omega$ satisfied the Dini condition $\int_0^1\omega(t)\ud t/t<\infty$, then $T$ satisfies the $A_2$ theorem $$ \Norm{Tf}{L^2(w)}\lesssim [w]_{A_2}\Norm{f}{L^2(w)} $$ and many related estimates, as a consequence of a domination by dyadic operators.


title: Analysis of the motion of an extrasolar planet in a binary system

abstract: More than 10% of extra-solar planets (EPs) orbit in a binary or multiple stellar system. We investigated the motion of planets revolving in binary systems in the frame of the particular case of the three body problem. We carried out an analysis of the motion an EP revolving in a binary system by following conditions; a) a planet in a binary system revolves around one of the components (parent star), b) the distance between the star`s components is greater than between the parent star and the orbiting planet (ratio of the semi-major axes is a small parameter), c) the mass of the planet is smaller than the mass of the stars, but is not negligible. The Hamiltonian of the system without short periodic terms was used. We expanded the Hamiltonian in terms of Legendre polynomial and truncated after the second order term depending on only one angular variable. In this case the solution of this system was obtained and the qualitative analysis of motion was produced. We have applied this theory to real EPs and compared to the numerical integration. Analyses of the possible regions of motion are presented. It is shown that the case of the stable and unstable motion of the EPs are possible. We applied our calculations to two binary systems hosting an EP and calculated the possible values for their unknown orbital elements.


title: Three-Receiver Broadcast Channel with Side Information

abstract: Three-Receiver broadcast channels (BC) are of interest due to their information-theoretic differences with two-receiver one. In this paper, we derive achievable rate regions for two classes of 3-receiver BC with side information (SI), i.e. Multilevel BC (MBC) and 3-receiver less noisy BC, using a combination of superposition coding, Gelfand-Pinsker binning scheme and Nair-El Gamal indirect decoding. Our rate region for MBC subsumes Steinberg rate region for 2-receiver degraded BC with SI as its special case. We will also show that the obtained achievable rate regions in the first two cases are tight for several classes of non-deterministic, semi-deterministic, and deterministic 3-receiver BC when SI is available both at the transmitter and at the receivers. We also prove that as far as a receiver is deterministic in the three-receiver less noisy BC, the presence of side information at that receiver does not affect the capacity region. We have also provided the writing on dirty paper (WDP) property for 3-receiver BC is provided as an example. In the last section, we provide simple bounds on the capacity region of the Additive Exponential noise three-receiver broadcast channels with Additive Exponential interference (AEN-3BC-EI).


title: Fractional Spectral Moments for Digital Simulation of Multivariate Wind Velocity Fields

abstract: In this paper, a method for the digital simulation of wind velocity fields by Fractional Spectral Moment function is proposed. It is shown that by constructing a digital filter whose coefficients are the fractional spectral moments, it is possible to simulate samples of the target process as superposition of Riesz fractional derivatives of a Gaussian white noise processes. The key of this simulation technique is the generalized Taylor expansion proposed by the authors. The method is extended to multivariate processes and practical issues on the implementation of the method are reported.


title: Evidence for a Spin Phase Transition at {\nu}=0 in Bilayer Graphene

abstract: The most celebrated property of the quantum spin Hall effect is the presence of spin-polarized counter-propagating edge states. This novel edge state configuration has also been predicted to occur in graphene when spin-split electron- and hole-like Landau levels are forced to cross at the edge of the sample. In particular, a quantum spin Hall analogue has been predicted at {\nu}=0 in bilayer graphene if the ground state is a spin ferromagnet. Previous studies have demonstrated that the bilayer {\nu}=0 state is an insulator in a perpendicular magnetic field, though the exact nature of this state has not been identified. Here we present measurements of the {\nu}=0 state in a dual-gated bilayer graphene device in tilted magnetic field. The application of an in-plane magnetic field and perpendicular electric field allows us to map out a full phase diagram of the {\nu}=0 state as a function of experimentally tunable parameters. At large in-plane magnetic field we observe a quantum phase transition to a metallic state with conductance of order 4e^2/h, consistent with predictions for the ferromagnet.


title: A torsion Jacquet--Langlands correspondence

abstract: We study torsion in the homology of arithmetic groups and give evidence that it plays a role in the Langlands program. We prove, among other results, a numerical form of a Jacquet--Langlands correspondence in the torsion setting.


title: Triggered/sequential star formation? A multi-phase ISM study around the prominent IRDC G18.93-0.03

abstract: G18.93-0.03 is a prominent dust complex within an 0.8deg long filament, with the molecular clump G18.93/m being IR dark from near IR wavelength up to 160mu. Spitzer composite images show an IR bubble spatially associated with G18.93. We use GRS 13CO and IRAM 30m H13CO+ data to disentangle the spatial structure of the region. From ATLASGAL submm data we calculate the gas mass, while we use the H13CO+ line width to estimate its virial mass. Using HERSCHEL data we produce temperature maps from fitting the SED. With the MAGPIS 20cm and SuperCOSMOS Halpha data we trace the ionized gas, and the VGPS HI survey provides information on the atomic hydrogen gas. We show that the bubble is spatially associated with G18.93, located at a kinematic near distance of 3.6kpc. With 280Msun, the most massive clump within G18.93 is G18.93/m. The virial analysis shows that it may be gravitationally bound and has neither Spitzer young stellar objects nor mid-IR point sources within. Fitting the SED reveals a temperature distribution that decreases towards its center, but heating from the ionizing source puts it above the general ISM temperature. We find that the bubble is filled by HII gas, ionized by an O8.5 star. Between the ionizing source and the IR dark clump G18.93/m we find a layered structure, from ionized to atomic to molecular hydrogen, revealing a PDR. Furthermore, we identify an additional velocity component within the bubble's 8mu emission rim at the edge of the infrared dark cloud and speculate that it might be shock induced by the expanding HII region. While the elevated temperature allows for the build-up of larger fragments, and the shock induced velocity component may lead to additional turbulent support, we do not find conclusive evidence that the massive clump G18.93/m is prone to collapse because of the expanding HII region.


title: Every locally characterized affine-invariant property is testable

abstract: Let F = F_p for any fixed prime p >= 2. An affine-invariant property is a property of functions on F^n that is closed under taking affine transformations of the domain. We prove that all affine-invariant property having local characterizations are testable. In fact, we show a proximity-oblivious test for any such property P, meaning that there is a test that, given an input function f, makes a constant number of queries to f, always accepts if f satisfies P, and rejects with positive probability if the distance between f and P is nonzero. More generally, we show that any affine-invariant property that is closed under taking restrictions to subspaces and has bounded complexity is testable. We also prove that any property that can be described as the property of decomposing into a known structure of low-degree polynomials is locally characterized and is, hence, testable. For example, whether a function is a product of two degree-d polynomials, whether a function splits into a product of d linear polynomials, and whether a function has low rank are all examples of degree-structural properties and are therefore locally characterized. Our results depend on a new Gowers inverse theorem by Tao and Ziegler for low characteristic fields that decomposes any polynomial with large Gowers norm into a function of low-degree non-classical polynomials. We establish a new equidistribution result for high rank non-classical polynomials that drives the proofs of both the testability results and the local characterization of degree-structural properties.


title: Belief Propagation for Continuous State Spaces: Stochastic Message-Passing with Quantitative Guarantees

abstract: The sum-product or belief propagation (BP) algorithm is a widely used message-passing technique for computing approximate marginals in graphical models. We introduce a new technique, called stochastic orthogonal series message-passing (SOSMP), for computing the BP fixed point in models with continuous random variables. It is based on a deterministic approximation of the messages via orthogonal series expansion, and a stochastic approximation via Monte Carlo estimates of the integral updates of the basis coefficients. We prove that the SOSMP iterates converge to a \delta-neighborhood of the unique BP fixed point for any tree-structured graph, and for any graphs with cycles in which the BP updates satisfy a contractivity condition. In addition, we demonstrate how to choose the number of basis coefficients as a function of the desired approximation accuracy \delta and smoothness of the compatibility functions. We illustrate our theory with both simulated examples and in application to optical flow estimation.


title: Sensitivity enhancement in optical micro-tube resonator sensors via mode coupling

abstract: A liquid filled, low refractive index material inner-coated silica micro-tube has been proposed and studied as a coupled micro-resonator sensor to greatly enhance biochemical sensor sensitivity. Its unique coupling phenomenon has been analyzed and utilized to boost the refractive index sensitivity of the device to 967nm/RIU. Through optimization of the coupling strength between the two microresonators, further improvement in refractive index sensitivity up to 1100nm/RIU has been achieved. This mode coupling strategy allows us to design robust, thick-walled micro-tube sensors with ultra-high sensitivity which is useful in practical biochemical sensing applications.


title: The International-Migration Network

abstract: This paper studies international migration from a complex-network perspective. We define the international-migration network (IMN) as the weighted-directed graph where nodes are world countries and links account for the stock of migrants originated in a given country and living in another country at a given point in time. We characterize the binary and weighted architecture of the network and its evolution over time in the period 1960-2000. We find that the IMN is organized around a modular structure characterized by a small-world pattern displaying disassortativity and high clustering, with power-law distributed weighted-network statistics. We also show that a parsimonious gravity model of migration can account for most of observed IMN topological structure. Overall, our results suggest that socio-economic, geographical and political factors are more important than local-network properties in shaping the structure of the IMN.


title: Incentives for P2P-Assisted Content Distribution: If You Can't Beat 'Em, Join 'Em

abstract: The rapid growth of content distribution on the Internet has brought with it proportional increases in the costs of distributing content. Adding to distribution costs is the fact that digital content is easily duplicable, and hence can be shared in an illicit peer-to-peer (P2P) manner that generates no revenue for the content provider. In this paper, we study whether the content provider can recover lost revenue through a more innovative approach to distribution. In particular, we evaluate the benefits of a hybrid revenue-sharing system that combines a legitimate P2P swarm and a centralized client-server approach. We show how the revenue recovered by the content provider using a server-supported legitimate P2P swarm can exceed that of the monopolistic scheme by an order of magnitude. Our analytical results are obtained in a fluid model, and supported by stochastic simulations.


title: Realization of quantum gates with multiple control qubits or multiple target qubits in a cavity

abstract: In this paper, we propose a scheme to realize three-qubit controlled phase gate and multiqubit controlled-NOT gate of one qubit simultaneously controlling n target qubit with four level quantum system in a cavity. Adjustment of level spacing during the gates implementation is not required. Implementation time for multiqubit controlled NOT gate is independent of number of qubit. Three-qubit phase gate is generalized to n-qubit phase gate with multiple control qubit and the number of steps (complexity) reduces linearly as compare to conventional gate decomposition method. Our scheme can be applied to various types of physical systems such as superconducting qubits coupled to resonator and trapped atoms in a cavity. Experimental possibility of our approach is also presented.


title: Quantum Anomalous Hall Effect in Kagome Ice

abstract: An anomalous Hall insulator without magnetic long-range ordering is theoretically reported in the absence of the relativistic spin-orbit coupling. It is realized in itinerant electrons coupled with the Ising spins on a <111> kagome plane of pyrochlore spin ice in applied magnetic field. We find that the kagome-ice type local spin correlation in the magnetization plateau state opens a charge gap without magnetic ordering, which results in quantization of the Hall conductivity. By Monte Carlo simulation, we identify the anomalous Hall insulating region in the magnetic phase diagram, in addition to another anomalous Hall insulator in a fully-saturated state.


title: Electrophoretic mobility without charge driven by spontaneous polarization of the nanoparticle/water interface

abstract: Polarization of the interface, spontaneously occurring when water is in contact with hydrophobic solutes or air, couples with the uniform external field to produce a non-zero force acting on a suspended particle. This force exists even in the absence of a net particle charge, and its direction is affected by the first-order, dipolar and the second-order, qudrupolar orientational order parameters of the interfacial water. The quadrupolar polarization gives rise to an effectively negative charge. The corresponding surface charge density is inversely proportional to the area of the shear surface. As a result, the overall contribution from the quadrupolar polarization to the particle mobility becomes negligible compared to experimentally reported values for particles exceeding a few nanometers in size. The dipolar order of the interface dominates the zero-charge mobility of sub-micron particles. The corresponding electrokinetic charge is determined by the preferential orientation of interfacial dipoles relative to the surface normal.


title: Observation of Majorana Quantum Critical Behavior in a Resonant Level Coupled to a Dissipative Environment

abstract: We investigate experimentally an exotic state of electronic matter obtained by fine-tuning to a quantum critical point (QCP), realized in a spin-polarized resonant level coupled to strongly dissipative electrodes. Several transport scaling laws near and far from equilibrium are measured, and then accounted for theoretically. Our analysis reveals a splitting of the resonant level into two quasi-independent Majorana modes, one strongly hybridized to the leads, and the other tightly bound to the quantum dot. Residual interactions involving these Majorana fermions result in the observation of a striking quasi-linear non-Fermi liquid scattering rate at the QCP. Our devices constitute a viable alternative to topological superconductors as a platform for studying strong correlation effects within Majorana physics.


title: Fourier phasing with phase-uncertain mask

abstract: Fourier phasing is the problem of retrieving Fourier phase information from Fourier intensity data. The standard Fourier phase retrieval (without a mask) is known to have many solutions which cause the standard phasing algorithms to stagnate and produce wrong or inaccurate solutions. In this paper Fourier phase retrieval is carried out with the introduction of a randomly fabricated mask in measurement and reconstruction. Highly probable uniqueness of solution, up to a global phase, was previously proved with exact knowledge of the mask. Here the uniqueness result is extended to the case where only rough information about the mask's phases is assumed. The exponential probability bound for uniqueness is given in terms of the uncertainty-to-diversity ratio (UDR) of the unknown mask. New phasing algorithms alternating between the object update and the mask update are systematically tested and demonstrated to have the capability of recovering both the object and the mask (within the object support) simultaneously, consistent with the uniqueness result. Phasing with a phase-uncertain mask is shown to be robust with respect to the correlation in the mask as well as the Gaussian and Poisson noises.


title: On Capacity Region of Wiretap Networks

abstract: In this paper we consider the problem of secure network coding where an adversary has access to an unknown subset of links chosen from a known collection of links subsets. We study the capacity region of such networks, commonly called "wiretap networks", subject to weak and strong secrecy constraints, and consider both zero-error and asymptotically zero-error communication. We prove that in general discrete memoryless networks modeled by discrete memoryless channels, the capacity region subject to strong secrecy requirement and the capacity region subject to weak secrecy requirement are equal. In particular, this result shows that requiring strong secrecy in a wiretap network with asymptotically zero probability of error does not shrink the capacity region compared to the case of weak secrecy requirement. We also derive inner and outer bounds on the network coding capacity region of wiretap networks subject to weak secrecy constraint, for both zero probability of error and asymptotically zero probability of error, in terms of the entropic region.


title: Multi Higgs and Vector boson production beyond the Standard Model

abstract: If the electroweak symmetry breaking is originated from a strongly coupled sector, as for instance in composite Higgs models, the Higgs boson couplings can deviate from their Standard Model values. In such cases, at sufficiently high energies there could occur an onset of multiple Higgs boson and longitudinally polarised electroweak gauge boson (V_L) production. We study the sensitivity to anomalous Higgs couplings in inelastic processes with 3 and 4 particles (either Higgs bosons or V_L's) in the final state. We show that, due to the more severe cancellations in the corresponding amplitudes as compared to the usual 2 to 2 processes, large enhancements with respect to the Standard Model can arise even for small modifications of the Higgs couplings. In particular, we find that triple Higgs production provides the best multiparticle channel to look for these deviations. We briefly explore the consequences of multiparticle production at the LHC.


title: Quantitative prediction of effective toughness at random heterogeneous interfaces

abstract: The propagation of an adhesive crack through an anisotropic heterogeneous interface is considered. Tuning the local toughness distribution function and spatial correlation is numerically shown to induce a transition between weak to strong pinning conditions. While the macroscopic effective toughness is given by the mean local toughness in case of weak pinning, a systematic toughness enhancement is observed for strong pinning (the critical point of the depinning transition). A self-consistent approximation is shown to account very accurately for this evolution, without any free parameter.


title: Spin-Orbit Coupling in Multilayer Superconductors with Charge Imbalance

abstract: In this study, we investigate the spin susceptibility in the superconducting state of a multilayer system with a layer-dependent Rashba spin-orbit coupling, representing a locally non-centrosymmetric superconductor. We show that the charge imbalance between different layers yields a strong layer dependence on the susceptibility, most significantly for a weak spin-orbit coupling, which is in contrast to a situation with an equally distributed charge. These results can be relevant for experimental test in multilayer high-Tc cuprates as well as in superconducting CeCoIn5/YbCoIn5 superlattices with more than two layers.


title: Geostationary Earth Orbit Satellite Model using Easy Java Simulation

abstract: We develop an Easy Java Simulation (EJS) model for students to visualize geostationary orbits near Earth, modeled using Java 3D implementation of the EJS 3D library. The simplified physics model is described and simulated using simple constant angular velocity equation. Four computer model design ideas such as 1) simple and realistic 3D view and associated learning to real world, 2) comparative visualization of permanent geostationary satellite 3) examples of non-geostationary orbits of different 3-1) rotation sense, 3-2) periods, 3-3) planes and 4) incorrect physics model for conceptual discourse are discussed. General feedback from the students has been relatively positive, and we hope teachers will find the computer model useful in their own classes. 2015 Resources http://iwant2study.org/ospsg/index.php/interactive-resources/physics/02-newtonian-mechanics/08-gravity/62-gravity10


title: Modeling Electronic and Thermal Characteristics of Ge/Si-Core/Shell Nanowire Quantum Dot in the Coulomb Blockade Regime

abstract: We investigate the transport characteristics of Ge/Si-Core/Shell nanowire with Coulomb Blockade in presence of external magneto-electric fields from a theoretical basis. Using the effective Luttinger-Kohn Hamiltonian we calculate the valence band energy states of the nanowire and find out the state density at mili-Kelvin temperature. We explore the current-voltage and conductance-voltage characteristics. The observed transport characteristics are in close agreement with experimental data. We find these characteristics to be sensitive to the coupling of the quantum dot with the reservoirs. The quantum nature of the characteristics becomes less prominent with increasing temperature, as expected.


title: Decoherence and maximal violations of the Leggett-Garg inequality

abstract: We consider maximal violations of the Leggett-Garg inequality, obtained by maximising over all possible measurement operators, in relation to non-unitary aspects of the system dynamics. We model the action of an environment on a qubit in terms of generic quantum channels and relate the maximal value of the Leggett-Garg correlator to the channel parameters. We focus on unital channels, and hence on decoherence. In certain important cases, exact relations between the channel parameters and maximal violations can be found. Moreover, we demonstrate the existence of distinct thresholds for the channel parameters, below which no violation of the Leggett-Garg inequality can occur.


title: Agnostic insurability of model classes

abstract: Motivated by problems in insurance, our task is to predict finite upper bounds on a future draw from an unknown distribution $p$ over the set of natural numbers. We can only use past observations generated independently and identically distributed according to $p$. While $p$ is unknown, it is known to belong to a given collection ${\cal P}$ of probability distributions on the natural numbers. The support of the distributions $p \in {\cal P}$ may be unbounded, and the prediction game goes on for \emph{infinitely} many draws. We are allowed to make observations without predicting upper bounds for some time. But we must, with probability 1, start and then continue to predict upper bounds after a finite time irrespective of which $p \in {\cal P}$ governs the data. If it is possible, without knowledge of $p$ and for any prescribed confidence however close to 1, to come up with a sequence of upper bounds that is never violated over an infinite time window with confidence at least as big as prescribed, we say the model class ${\cal P}$ is \emph{insurable}. We completely characterize the insurability of any class ${\cal P}$ of distributions over natural numbers by means of a condition on how the neighborhoods of distributions in ${\cal P}$ should be, one that is both necessary and sufficient.


title: Dynamic coupling between a multistable defect pattern and flow in nematic liquid crystals confined in a porous medium

abstract: When a nematic liquid crystal is confined in a porous medium with strong anchoring conditions, topological defects, called disclinations, are stably formed with numerous possible configurations. Since the energy barriers between them are large enough, the system shows multistability. Our lattice Boltzmann simulations demonstrate dynamic couplings between the multistable defect pattern and the flow in a regular porous matrix. At sufficiently low flow speed, the topological defects are pinned at the quiescent positions. As the flow speed is increased, the defects show cyclic motions and nonlinear rheological properties, which depend on whether or not they are topologically constrained in the porous networks. In addition, we discovered that the defect pattern can be controlled by controlling the flow. Thus, the flow path is recorded in the porous channels owing to the multistability of the defect patterns.


title: On the convergence of local expansions of layer potentials

abstract: In a recently developed quadrature method (quadrature by expansion or QBX), it was demonstrated that weakly singular or singular layer potentials can be evaluated rapidly and accurately on surface by making use of local expansions about carefully chosen off-surface points. In this paper, we derive estimates for the rate of convergence of these local expansions, providing the analytic foundation for the QBX method. The estimates may also be of mathematical interest, particularly for microlocal or asymptotic analysis in potential theory.


title: Evolution of the Sizes of Galaxies over 7<z<12 Revealed by the 2012 Hubble Ultra Deep Field Campaign

abstract: We analyze the redshift- and luminosity-dependent sizes of dropout galaxy candidates in the redshift range z~7-12 using deep images from the UDF12 campaign, data which offers two distinct advantages over that used in earlier work. Firstly, we utilize the increased S/N ratio offered by the UDF12 imaging to provide improved size measurements for known galaxies at z=6.5-8 in the HUDF. Specifically, we stack the new deep F140W image with the existing F125W data in order to provide improved measurements of the half-light radii of z-dropouts. Similarly we stack this image with the new deep UDF12 F160W image to obtain new size measurements for a sample of Y-dropouts. Secondly, because the UDF12 data have allowed the construction of the first robust galaxy sample in the HUDF at z>8, we have been able to extend the measurement of average galaxy size out to significantly higher redshifts. Restricting our size measurements to sources which are now detected at >15sigma, we confirm earlier indications that the average half-light radii of z~7-12 galaxies are extremely small, 0.3-0.4 kpc, comparable to the sizes of giant molecular associations in local star-forming galaxies. We also confirm that there is a clear trend of decreasing half-light radius with increasing redshift, and provide the first evidence that this trend continues beyond z~8. Modeling the evolution of the average half-light radius as a power-law (1+z)^s, we obtain a best-fit index of s=-1.28+/-0.13 over the redshift range z~4-12, mid-way between the physically expected evolution for baryons embedded in dark halos of constant mass (s=-1) and constant velocity (s=-1.5). A clear size-luminosity relation, such as that found at lower redshift, is also evident in both our z- and Y-dropout sample. This relation can be interpreted in terms of a constant surface density of star formation over a range in luminosity of 0.05-1.0L*_z=3.(abridged)


title: Interactive verification of Markov chains: Two distributed protocol case studies

abstract: Probabilistic model checkers like PRISM only check probabilistic systems of a fixed size. To guarantee the desired properties for an arbitrary size, mathematical analysis is necessary. We show for two case studies how this can be done in the interactive proof assistant Isabelle/HOL. The first case study is a detailed description of how we verified properties of the ZeroConf protocol, a decentral address allocation protocol. The second case study shows the more involved verification of anonymity properties of the Crowds protocol, an anonymizing protocol.


title: Adding Time to Pushdown Automata

abstract: In this tutorial, we illustrate through examples how we can combine two classical models, namely those of pushdown automata (PDA) and timed automata, in order to obtain timed pushdown automata (TPDA). Furthermore, we describe how the reachability problem for TPDAs can be reduced to the reachability problem for PDAs.


title: Parameterized Metatheory for Continuous Markovian Logic

abstract: This paper shows that a classic metalogical framework, including all Boolean operators, can be used to support the development of a metric behavioural theory for Markov processes. Previously, only intuitionistic frameworks or frameworks without negation and logical implication have been developed to fulfill this task. The focus of this paper is on continuous Markovian logic (CML), a logic that characterizes stochastic bisimulation of Markov processes with an arbitrary measurable state space and continuous-time transitions. For a parameter epsilon>0 interpreted as observational error, we introduce an epsilon-parameterized metatheory for CML: we define the concepts of epsilon-satisfiability and epsilon-provability related by a sound and complete axiomatization and prove a series of "parameterized" metatheorems including decidability, weak completeness and finite model property. We also prove results regarding the relations between metalogical concepts defined for different parameters. Using this framework, we can characterize both the stochastic bisimulation relation and various observational preorders based on behavioural pseudometrics. The main contribution of this paper is proving that all these analyses can actually be done using a unified complete Boolean framework. This extends the state of the art in this field, since the related works only propose intuitionistic contexts that limit, for instance, the use of the Boolean logical implication.


title: Learning Markov Decision Processes for Model Checking

abstract: Constructing an accurate system model for formal model verification can be both resource demanding and time-consuming. To alleviate this shortcoming, algorithms have been proposed for automatically learning system models based on observed system behaviors. In this paper we extend the algorithm on learning probabilistic automata to reactive systems, where the observed system behavior is in the form of alternating sequences of inputs and outputs. We propose an algorithm for automatically learning a deterministic labeled Markov decision process model from the observed behavior of a reactive system. The proposed learning algorithm is adapted from algorithms for learning deterministic probabilistic finite automata, and extended to include both probabilistic and nondeterministic transitions. The algorithm is empirically analyzed and evaluated by learning system models of slot machines. The evaluation is performed by analyzing the probabilistic linear temporal logic properties of the system as well as by analyzing the schedulers, in particular the optimal schedulers, induced by the learned models.


title: Reducing Weak to Strong Bisimilarity in CCP

abstract: Concurrent constraint programming (ccp) is a well-established model for concurrency that singles out the fundamental aspects of asynchronous systems whose agents (or processes) evolve by posting and querying (partial) information in a global medium. Bisimilarity is a standard behavioural equivalence in concurrency theory. However, only recently a well-behaved notion of bisimilarity for ccp, and a ccp partition refinement algorithm for deciding the strong version of this equivalence have been proposed. Weak bisimiliarity is a central behavioural equivalence in process calculi and it is obtained from the strong case by taking into account only the actions that are observable in the system. Typically, the standard partition refinement can also be used for deciding weak bisimilarity simply by using Milner's reduction from weak to strong bisimilarity; a technique referred to as saturation. In this paper we demonstrate that, because of its involved labeled transitions, the above-mentioned saturation technique does not work for ccp. We give an alternative reduction from weak ccp bisimilarity to the strong one that allows us to use the ccp partition refinement algorithm for deciding this equivalence.


title: Shared Contract-Obedient Endpoints

abstract: Most of the existing verification techniques for message-passing programs suppose either that channel endpoints are used in a linear fashion, where at most one thread may send or receive from an endpoint at any given time, or that endpoints may be used arbitrarily by any number of threads. The former approach usually forbids the sharing of channels while the latter limits what is provable about programs. In this paper we propose a midpoint between these techniques by extending a proof system based on separation logic to allow sharing of endpoints. We identify two independent mechanisms for supporting sharing: an extension of fractional shares to endpoints, and a new technique based on what we call reflexive ownership transfer. We demonstrate on a number of examples that a linear treatment of sharing is possible.


title: Metric-Aware Secure Service Orchestration

abstract: Secure orchestration is an important concern in the internet of service. Next to providing the required functionality the composite services must also provide a reasonable level of security in order to protect sensitive data. Thus, the orchestrator has a need to check whether the complex service is able to satisfy certain properties. Some properties are expressed with metrics for precise definition of requirements. Thus, the problem is to analyse the values of metrics for a complex business process. In this paper we extend our previous work on analysis of secure orchestration with quantifiable properties. We show how to define, verify and enforce quantitative security requirements in one framework with other security properties. The proposed approach should help to select the most suitable service architecture and guarantee fulfilment of the declared security requirements.


title: Towards a Theory of Glue

abstract: We propose and study the notions of behaviour type and composition operator making a first step towards the definition of a formal framework for studying behaviour composition in a setting sufficiently general to provide insight into how the component-based systems should be modelled and compared. We illustrate the proposed notions on classical examples (Traces, Labelled Transition Systems and Coalgebras). Finally, the definition of memoryless glue operators, takes us one step closer to a formal understanding of the separation of concerns principle stipulating that computational aspects of a system should be localised within its atomic components, whereas coordination layer responsible for managing concurrency should be realised by memoryless glue operators.


title: Coherent Minimisation: Towards efficient tamper-proof compilation

abstract: Automata representing game-semantic models of programs are meant to operate in environments whose input-output behaviour is constrained by the rules of a game. This can lead to a notion of equivalence between states which is weaker than the conventional notion of bisimulation, since not all actions are available to the environment. An environment which attempts to break the rules of the game is, effectively, mounting a low-level attack against a system. In this paper we show how (and why) to enforce game rules in games-based hardware synthesis and how to use this weaker notion of equivalence, called coherent equivalence, to aggressively minimise automata.


title: Interacting via the Heap in the Presence of Recursion

abstract: Almost all modern imperative programming languages include operations for dynamically manipulating the heap, for example by allocating and deallocating objects, and by updating reference fields. In the presence of recursive procedures and local variables the interactions of a program with the heap can become rather complex, as an unbounded number of objects can be allocated either on the call stack using local variables, or, anonymously, on the heap using reference fields. As such a static analysis is, in general, undecidable. In this paper we study the verification of recursive programs with unbounded allocation of objects, in a simple imperative language for heap manipulation. We present an improved semantics for this language, using an abstraction that is precise. For any program with a bounded visible heap, meaning that the number of objects reachable from variables at any point of execution is bounded, this abstraction is a finitary representation of its behaviour, even though an unbounded number of objects can appear in the state. As a consequence, for such programs model checking is decidable. Finally we introduce a specification language for temporal properties of the heap, and discuss model checking these properties against heap-manipulating programs.


title: Classical Information-Theoretical View of Physical Measurements and Generalized Uncertainty Relations

abstract: General characterizations of physical measurements are discussed within the framework of the classical information theory. The uncertainty relation for simultaneous measurements of two physical observables is defined in this framework for generalized dynamic systems governed by a Sturm--Liouville type of equation of motion. In the first step, the reduction of Kennard--Robertson type uncertainties due to boundary conditions with a mean-square error is discussed quantitatively with reference to the information entropy. Several concrete examples of generalized uncertainty relations are given. Then, by considering disturbance effects, a universally valid uncertainty relation is investigated for the generalized equation of motion with a certain boundary condition. Necessary conditions for violation (reduction) of the Heisenberg-type uncertainty relation are discussed in detail. The reduction of the generalized uncertainty relation due to the boundary condition is then tested experimentally by re-analyzing data for measured electron densities in a hydrogen molecule encapsulated in a fullerene C60 cage.


title: Optimal forwarding ratio on dynamical networks with heterogeneous mobility

abstract: As the discovery of non-Poissonian statistics of human mobility trajectories, more attention has been paid to understanding the role of these patterns in different dynamics. In this study, we first introduce the heterogeneous mobility of mobile agents into dynamical networks, and then investigate the forwarding strategy on the heterogeneous dynamical networks. We find that the faster speed and the higher proportion of high-speed agents can enhance the network throughput and reduce the mean traveling time in the case of random forwarding. A hierarchical structure in the dependence of high-speed is observed: the network throughput remains unchanged in small and large high-speed value. It is interesting to find that the slightly preferential forwarding to high-speed agents can maximize the network capacity. Through theoretical analysis and numerical simulations, we show that the optimal forwarding ratio stems from local structural heterogeneity of low-speed agents.


title: Three-body calculation of the rate of reaction $p+p+e \rightarrow d+\nu_e$ in the Sun

abstract: Using expansion of the three-body wave function of the $pep$ system in the initial state on hyperharmonic functions, the rate of the $p+p+e^{-} \rightarrow d+\nu_e$ reaction in the Sun is calculated. The results of calculation of the flux at 1 AU are compared with the results of a measurement made by the Borexino collaboration and Bahcall \textit{et al.} theoretical predictions.


title: Bayes Information-theoretic Radar Waveform Design and Delay-Doppler Resolution for Extended Targets

abstract: In this paper, we consider the problem of information-theoretic waveform design for active sensing systems such as radar for extended targets. Contrary to the popular formulation of the problem in the estimation-theoretic context, we are rather interested in a Bayes decision theoretic approach where a target present in the environment belongs to two or more classes whose priors are known. Optimal information theory based transmit waveforms are designed by maximizing mutual information (MI) between the received signal and the target impulse response, resulting in a novel iterative design equation. We also derive signal to noise ratio (SNR) maximization based waveforms. In an effort to quantize the benefits of such a design approach, the delay-Doppler ambiguity function of information-theoretic waveforms are presented and is compared with Barker codes of similar time-bandwidth product. It is found that the ambiguity function of information-theoretic waveforms has very sharp main lobe in general and excellent time autocorrelation properties in particular.


title: Extracting Unsatisfiable Cores for LTL via Temporal Resolution

abstract: Unsatisfiable cores (UCs) are a well established means for debugging in a declarative setting. Still, there are few tools that perform automated extraction of UCs for LTL. Existing tools compute a UC as an unsatisfiable subset of the set of top-level conjuncts of an LTL formula. Using resolution graphs to extract UCs is common in other domains such as SAT. In this article we construct and optimize resolution graphs for temporal resolution as implemented in the temporal resolution-based solver TRP++, and we use them to extract UCs for propositional LTL. The resulting UCs are more fine-grained than the UCs obtained from existing tools because UC extraction also simplifies top-level conjuncts instead of treating them as atomic entities. For example, given an unsatisfiable LTL formula of the form $\phi \equiv ({\bf G} \psi) \wedge {\bf F} \psi'$ existing tools return $\phi$ as a UC irrespective of the complexity of $\psi$ and $\psi'$, whereas the approach presented in this article continues to remove parts not required for unsatisfiability inside $\psi$ and $\psi'$. Our approach also identifies groups of occurrences of a proposition that do not interact in a proof of unsatisfiability. We implement our approach in TRP++. Our experimental evaluation demonstrates that our approach (i) extracts UCs that are often significantly smaller than the input formula with an acceptable overhead and (ii) produces more fine-grained UCs than competing tools while remaining at least competitive in terms of run time and memory usage. The source code of our tool is publicly available.


title: Mass of the Electroweak Monopole

abstract: We present finite energy analytic monopole and dyon solutions whose size is fixed by the electroweak scale. Our result shows that genuine electroweak monopole whose mass is around 6.7 TeV could exist, which could be detected at LHC.


title: Amplitudes of mono-components and representation by generalized sampling functions

abstract: A mono-component is a real-valued signal of finite energy that has non-negative instantaneous frequencies, which may be defined as the derivative of the phase function of the given real-valued signal through the approach of canonical amplitude-phase modulation. We study in this article how the amplitude is determined by its phase in a canonical amplitude-phase modulation. Our finding is that such an amplitude can be perfectly reconstructed by a sampling formula using the so-called generalized sampling functions and their Hilbert transforms. The regularity of such an amplitude is identified to be at least continuous. Meanwhile, we also make a very interesting and new characterization of the band-limited functions.