title: Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

abstract: Parameterised Boolean Equation Systems (PBESs) are sequences of Boolean fixed point equations with data variables, used for, e.g., verification of modal mu-calculus formulae for process algebraic specifications with data. Solving a PBES is usually done by instantiation to a Parity Game and then solving the game. Practical game solvers exist, but the instantiation step is the bottleneck. We enhance the instantiation in two steps. First, we transform the PBES to a Parameterised Parity Game (PPG), a PBES with each equation either conjunctive or disjunctive. Then we use LTSmin, that offers transition caching, efficient storage of states and both distributed and symbolic state space generation, for generating the game graph. To that end we define a language module for LTSmin, consisting of an encoding of variables with parameters into state vectors, a grouped transition relation and a dependency matrix to indicate the dependencies between parts of the state vector and transition groups. Benchmarks on some large case studies, show that the method speeds up the instantiation significantly and decreases memory usage drastically.


title: Lex-Partitioning: A New Option for BDD Search

abstract: For the exploration of large state spaces, symbolic search using binary decision diagrams (BDDs) can save huge amounts of memory and computation time. State sets are represented and modified by accessing and manipulating their characteristic functions. BDD partitioning is used to compute the image as the disjunction of smaller subimages. In this paper, we propose a novel BDD partitioning option. The partitioning is lexicographical in the binary representation of the states contained in the set that is represented by a BDD and uniform with respect to the number of states represented. The motivation of controlling the state set sizes in the partitioning is to eventually bridge the gap between explicit and symbolic search. Let n be the size of the binary state vector. We propose an O(n) ranking and unranking scheme that supports negated edges and operates on top of precomputed satcount values. For the uniform split of a BDD, we then use unranking to provide paths along which we partition the BDDs. In a shared BDD representation the efforts are O(n). The algorithms are fully integrated in the CUDD library and evaluated in strongly solving general game playing benchmarks.


title: Log-Harnack Inequality for Mild Solutions of SPDEs with Strongly Multiplicative Noise

abstract: Due to technical reasons, existing results concerning Harnack type inequalities for SPDEs with multiplicative noise apply only to the case where the coefficient in the noise term is an Hilbert-Schmidt perturbation of a fixed bounded operator. In this paper we investigate a class of semi-linear SPDEs with strongly multiplicative noise whose coefficient is even allowed to be unbounded which is thus no way to be Hilbert-Schmidt. Gradient estimates, log-Harnack inequality and applications are derived. Applications to stochastic reaction-diffusion equations driven by space-time white noise are presented.


title: A running coupling explanation of the surprising transparency of the QGP at LHC

abstract: The CUJET Monte Carlo Jet Energy loss model is applied to predict the jet flavor, centrality and density dependence of the nuclear modification factor $R_{AA}$ at RHIC and LHC. Running coupling effects due to combined $x$, $k_\perp$ and $q_\perp$ evolution are included for the first time in the dynamical DGLV opacity expansion framework and are shown to provide a natural dynamical QCD tomographic solution to the surprising transparency of the quark gluon plasma produced at LHC as suggested by $p_\perp>10$ GeV $R_{AA}$ data from ALICE, ATLAS, and CMS.


title: A New Approach to The Quantum Mechanics

abstract: In this paper, we try to give a new approach to the quantum mechanics(QM) on the framework of quantum field theory(QFT). Firstly, we make a detail study on the (non-relativistic) Schr\"odinger field theory, obtaining the Schr\"odinger equation as a field equation, after field quantization, the Heisenberg equations for the momentum and position operators of the particles excited from the (Schr\"odinger) field and the Feynman path integral formula of QM are also obtained. We then give the probability concepts of quantum mechanics in terms of a statistical ensemble, realizing the ensemble(or statistical) interpretation. With these, we make a series of conceptual modifications to the standard quantum mechanics, especially propose a new assumption about the quantum measurement theory which can solve the EPR paradox from the view of the QFT. Besides, a field theoretical description to the double-slit interference experiment is developed, obtaining the required particle number distribution. In the end, we extend all the above concepts to the relativistic case so that the ensemble interpretation is still proper. Two extra topics are added, in the first one, an operable experiment is proposed to distinguish the Copenhagen interpretation from the ensemble one via very different experimental results. While the second topic concerns with the extensions of the concept of coherent state to both the Bosonic and Fermionic field cases, to obtain the corresponding classical fields. And in the concluding section, we make some general comparisons between the standard QM and the one derived from the QFT, from which we claim that the QFT is the fundamental theory.


title: Global continuation of monotone wavefronts

abstract: In this paper, we answer the question about the criteria of existence of monotone travelling fronts $u = \phi(\nu \cdot x+ct), \phi(-\infty) =0, \phi(+\infty) = \kappa,$ for the monostable (and, in general, non-quasi-monotone) delayed reaction-diffusion equations $u_t(t,x) - \Delta u(t,x) = f(u(t,x), u(t-h,x)).$ $C^{1,\gamma}$-smooth $f$ is supposed to satisfy $f(0,0) = f(\kappa,\kappa) =0$ together with other monostability restrictions. Our theory covers the two most important cases: Mackey-Glass type diffusive equations and KPP-Fisher type equations. The proofs are based on a variant of Hale-Lin functional-analytic approach to the heteroclinic solutions where Lyapunov-Schmidt reduction is realized in a `mobile' weighted space of $C^2$-smooth functions. This method requires a detailed analysis of a family of associated linear differential Fredholm operators: at this stage, the discrete Lyapunov functionals by Mallet-Paret and Sell are used in an essential way.


title: Sheaf theory and Paschke duality

abstract: Paschke duality identifies the K-homology of a space X with the K-theory of a certain dual C*-algebra. We show that Paschke's dual algebra is in a natural way the algebra of sections of a certain sheaf of C*-algebras over X, which can be thought of as a sheaf of noncommutative symbols. This conceptually simplifies a number of constructions in K-homology, such as the association of a homology class to an elliptic operator and the construction of assembly maps.


title: Orbital free entropy, revisited

abstract: We give another definition of orbital free entropy introduced by Hiai, Miyamoto and us, which does not need the hyperfiniteness assumption for each given random multi-variable. The present definition is somehow related to one of its several recent `generalizations' due to Biane and Dabrowski, but completely agrees with the original definition and much closer to the original approach.


title: Spin ordering in magnetic quantum dots: From core-halo to Wigner molecules

abstract: The interplay of confinement and Coulomb interactions in quantum dots can lead to strongly correlated phases differing qualitatively from the Fermi liquid behavior. We explore how the presence of magnetic impurities in quantum dots can provide additional opportunities to study correlation effects and the resulting ordering in carrier and impurity spin. By employing exact diagonalization we reveal that seemingly simple two-carrier quantum dots lead to a rich phase diagram. We propose experiments to verify our predictions, in particular we discuss interband optical transitions as a function of temperature and magnetic field.


title: On the Transfer of Information and Energy in Multi-User Systems

abstract: The problem of joint transfer of information and energy for wireless links has been recently investigated in light of emerging applications such as RFID and body area networks. Specifically, recent work has shown that the additional requirements of providing sufficient energy to the receiver significantly affects the design of the optimal communication strategy. In contrast to most previous works, this letter focuses on baseline multi-user systems, namely multiple access and multi-hop channels, and demonstrates that energy transfer constraints call for additional coordination among distributed nodes of a wireless network. The analysis is carried out using information theoretic tools, and specific examples are worked out to illustrate the main conclusions.


title: Cotorsion pairs and t-structures in a $2-$Calabi-Yau triangulated category

abstract: For a Calabi-Yau triangulated category $\mathcal{C}$ of Calabi-Yau dimension $d$ with a $d-$cluster tilting subcategory $\mathcal{T}$, it is proved that the decomposition of $\mathcal{C}$ is determined by the special decomposition of $\mathcal{T}$, namely, $\mathcal{C}=\oplus_{i\in I}\mathcal{C}_i$, where $\mathcal{C}_i, i\in I$ are triangulated subcategories, if and only if $\mathcal{T}=\oplus_{i\in I}\mathcal{T}_i,$ where $\mathcal{T}_i, i\in I$ are subcategories with $Hom_{\mathcal{C}}(\mathcal{T}_i[t],\mathcal{T}_j)=0, \forall 1\leq t\leq d-2$ and $i\not= j.$ This induces that the Gabriel quivers of endomorphism algebras of any two cluster tilting objects in a $2-$Calabi-Yau triangulated category are connected or not at the same time. As an application, we prove that indecomposable $2-$Calabi-Yau triangulated categories with cluster tilting objects have no non-trivial t-structures and no non-trivial co-t-structures. This allows us to give a classification of cotorsion pairs in this triangulated category. Moreover the hearts of cotorsion pairs in the sense of Nakaoka are equivalent to the module categories over the endomorphism algebras of the cores of the cotorsion pairs.


title: Origin of the Large Anisotropy in the \chi_3 Anomaly in URu_2Si_2

abstract: Motivated by recent quantum oscillations experiments on URu_2Si_2, we discuss the microscopic origin of the large anisotropy observed many years ago in the anomaly of the nonlinear susceptibility in this same material. We show that the magnitude of this anomaly emerges naturally from hastatic order, a proposal for hidden order that is a two-component spinor arising from the hybridization of a non-Kramers Gamma_5 doublet with Kramers conduction electrons. A prediction is made for the angular anisotropy of the nonlinear susceptibility anomaly as a test of this proposed order parameter for URu_2Si_2.


title: Two Ising-like magnetic excitations in a single-layer cuprate superconductor

abstract: There exists increasing evidence that the phase diagram of the high-transition temperature (Tc) cuprate superconductors is controlled by a quantum critical point. One distinct theoretical proposal is that, with decreasing hole-carrier concentration, a transition occurs to an ordered state with two circulating orbital currents per CuO2 square. Below the 'pseudogap' temperature T* (T* > Tc), the theory predicts a discrete order parameter and two weakly-dispersive magnetic excitations in structurally simple compounds that should be measurable by neutron scattering. Indeed, novel magnetic order and one such excitation were recently observed. Here, we demonstrate for tetragonal HgBa2CuO4+d the existence of a second excitation with local character, consistent with the theory. The excitations mix with conventional antiferromagnetic fluctuations, which points toward a unifying picture of magnetism in the cuprates that will likely require a multi-band description.


title: One possible interaction-inertial interaction

abstract: Proposed in this paper is a possible interaction which exists in nature - inertial interaction. It gives matter an inertia and inertial mass. The formula of inertial mass has been derived. It is possible that inertial interaction leads to the redshifts of quasars, the rotation curve of spiral galaxy, the accelerating expansion of the universe, and the stronger gravitational lens effects of quasars, galaxies, or clusters of galaxies. Einstein's Gravitational Equation has been modified. Gravitational redshift, perihelion precession, and bending of light in spherically symmetric vacuum gravitational field are calculated. The differential equations of static spherically symmetric star's internal evolution are given. The accelerating expansion stage of the universe evolution equations are derived. The evolution of the universe is periodic. Time does not have an origin. There is no Big Bang. Although there is divergent singularity, there is no universe's singularity of incomplete geodesic. There are no horizon problem and no flatness problem. The problems that may exist are discussed.


title: Spin Current Generation as a Nonequilibrium Kondo Effect in a Spin-orbit Mesoscopic Interferometer

abstract: We study nonequilibrium generation of spin-dependent transport through a single-level quantum dot embedded in a ring with the Rashba spin-orbit coupling. We consider nonmagnetic systems, involving no magnetic field nor ferromagnetic leads. It is theoretically predicted that large spin-dependent current occurs as a combined effect of the Rashba spin-orbit interaction, the Kondo effect, and nonequilibrium effect, without using magnetic field or material. The phenomenon is viewed as a new nonequilibrium correlation effect that disappears when either interaction or finite bias is absent. We show how the Kondo physics is connected with such emergent spin phenomenon by employing the finite interaction slave-boson approach.


title: Multiplicative Congruences with Variables from Short Intervals

abstract: Recently, several bounds have been obtained on the number of solutions to congruences of the type $$ (x_1+s)...(x_{\nu}+s)\equiv (y_1+s)...(y_{\nu}+s)\not\equiv0 \pmod p $$ modulo a prime $p$ with variables from some short intervals. Here, for almost all $p$ and all $s$ and also for a fixed $p$ and almost all $s$, we derive stronger bounds. We also use similar ideas to show that for almost all primes, one can always find an element of a large order in any rather short interval.


title: A solution of the 3D reflection equation from quantized algebra of functions of type B

abstract: Let A_q(g) be the quantized algebra of functions associated with simple Lie algebra g defined by generators obeying the so called RTT relations. We describe the embedding $A_q(B_2) \hookrightarrow A_q(C_2)$ explicitly. As an application, a new solution of the Isaev-Kulish 3D reflection equation is constructed by combining the embedding with the previous solution for A_q(C_2) by the authors.


title: A new global 1-form in Lyra geometric cosmos model

abstract: Dark energy phenomena has inspired lots of investigations on the cosmological constant problems. In order to understand its origin and properties as well as its impacts on universe's evolutions, there are many approaches to modify the well-known General Relativity, such as the Weyl-Lyra Geometry. In the well studied cosmology model within Lyra geometry, there is a problem that the first law of thermodynamics is violated. To unravel this issue, if we use the effective density and pressure in the Lyra cosmology model to preserve the first law of thermodynamics in the cosmos, the former 1-form $(\beta,0,0,0)$ cannot give a proper vacuum behavior. In this paper, the auxiliary 1-form is modified to overcome this difficulty. It can be shown that the complex terms in the field equation derived from the regime of Lyra Geometric$ \frac{3}{2}{\phi}^{\mu}{\phi}_{\nu}-\frac{3}{4}{\delta}^{\mu}_{\nu}{\phi}^{\alpha}{\phi}_{\alpha}$with our new 1-form could behave just as the cosmological constant. This work can be regarded as a new exploration on a possible origin of the cosmological constant from a Lyra cosmology model.


title: Hopf actions and Nakayama automorphisms

abstract: Let H be a Hopf algebra with antipode S, and let A be an N-Koszul Artin-Schelter regular algebra. We study connections between the Nakayama automorphism of A and S^2 of H when H coacts on A inner-faithfully. Several applications pertaining to Hopf actions on Artin-Schelter regular algebras are given.


title: Can supersymmetry breaking lead to electroweak symmetry breaking via formation of scalar bound states?

abstract: The recent discovery of the putative 125-GeV Higgs boson has motivated a number of attempts to reconcile its relatively large mass with the predictions of the minimal supersymmetric standard model (MSSM). Some approaches invoked large trilinear supersymmetry-breaking terms A_t between stops and one of the elementary Higgs fields. We consider the possibility that electroweak symmetry breaking may be triggered by supersymmetry breaking with a large A_t, large enough to generate a composite field with the same quantum numbers as the Higgs boson and with a non-vanishing vacuum expectation value. In the resulting vacuum, the usual relation between the gauge couplings and the Higgs self-coupling does not apply, and there is no reason to expect the same upper bound on the mass of the lightest Higgs boson. In a simple model where the bound state is assumed to have no mixing with the other fields, we calculate the critical coupling A_t necessary for symmetry breaking using the lowest-order Bethe-Salpeter (BS) equation. Study of the BS equation is complicated by the structure of its lowest-order kernel, which is a crossed box graph, but we find an accurate approximation to its solution. In a realistic model, the mixing of the bound state with the fundamental Higgs boson creates a symmetry-breaking seesaw. We outline the steps toward a realistic model.


title: Variation of Emission Line Width in Mid- and High-Latitude Corona

abstract: Spectroscopic studies of the solar corona, using the high spatial and spectral resolution 25-cm coronagraph at the Norikura observatory for equatorial off-limb observations, indicated that the variation of radiance and line width with height is different for different temperature lines. The line width of the forbidden red emission line [\FeX] 6374 \AA was found to increase with height and that of the green emission line [\FeXIV] 5303 \AA decrease with height. This had been interpreted in terms of the interaction between different temperature plasma but needed to be confirmed. Further observations were made on several days during 2004, in two emission lines simultaneously covering the mid-latitude and polar regions to investigate the existence of the observed variation in other parts of the solar corona. In this study, we have analysed several raster scans that cover mid- and high-latitude regions of the off-limb corona in all four bright emission lines [\FeX] 6374 \AA, [\FeXI] 7892 \AA, [\FeXIII] 10747 \AA, and [\FeXIV] 5303 \AA. We find that the FWHM of the red line increases with height and that of the green line decreases with height similar to that observed in equatorial regions. The line widths are found to be higher in polar regions for all of the observed emission lines except for the green line. Higher values of FWHM in polar regions may imply higher non-thermal velocities which could be further linked to a non-thermal source powering the solar-wind acceleration, but the reason for the behaviour of the green emission line remains to be explored.


title: Motion Control of a Spinning Disc on Rotating Earth

abstract: This paper considers the motion control of a particle and a spinning disc on rotating earth. The equations of motion are derived using Lagrangian mechanics. Trajectory planning is studied as an optimization problem using the method referred to as Discrete Mechanics and Optimal Control.

categories: physics.flu-dyn physics.ao-ph physics.class-ph physics.geo-ph


title: Impact of Colored Environmental Noise on the Extinction of a Long-Lived Stochastic Population: Role of the Allee Effect

abstract: We study the combined impact of a colored environmental noise and demographic noise on the extinction risk of a long-lived and well-mixed isolated stochastic population which exhibits the Allee effect. The environmental noise modulates the population birth and death rates. Assuming that the Allee effect is strong, and the environmental noise is positively correlated and Gaussian, we derive a Fokker-Planck equation for the joint probability distribution of the population sizes and environmental fluctuations. In WKB approximation this equation reduces to an effective two-dimensional Hamiltonian mechanics, where the most likely path to extinction and the most likely environmental fluctuation are encoded in an instanton-like trajectory in the phase space. The mean time to extinction (MTE) is related to the mechanical action along this trajectory. We obtain new analytic results for short-correlated, long-correlated and relatively weak environmental noise. The population-size dependence of the MTE changes from exponential for weak environmental noise to no dependence for strong noise, implying a greatly increased extinction risk. The theory is readily extendable to population switches between different metastable states, and to stochastic population explosion, due to a combined action of demographic and environmental noise.


title: Webs and quantum skew Howe duality

abstract: We give a diagrammatic presentation in terms of generators mod relations of the representation category of $U_q(\mathfrak{sl}_n)$. More precisely, we produce all the relations among $\rm{SL}_n$-webs, thus describing the full subcategory tensor-generated by fundamental representations $\bigwedge^k \mathbb{C}^n$ (this subcategory can be idempotent completed to recover the entire representation category). Our result answers a question posed by Kuperberg [arXiv:q-alg/9712003] and affirms conjectures of Kim [arXiv:math.QA/0310143] and Morrison [arXiv:0704.1503]. Our main tool is an application of quantum skew Howe duality.


title: Assembly Histories and Observational Properties of Simulated Early-type Galaxies

abstract: We demonstrate that massive simulated galaxies assemble in two phases, with the initial growth dominated by compact in situ star formation, whereas the late growth is dominated by accretion of old stars formed in subunits outside the main galaxy. We also show that 1) gravitational feedback strongly suppresses late star formation in massive galaxies contributing to the observed galaxy colour bimodality that 2) the observed galaxy downsizing can be explained naturally in the two-phased model and finally that 3) the details of the assembly histories of massive galaxies are directly connected to their observed kinematic properties.


title: Is boundary conformal in CFT?

abstract: We discuss boundary conditions for conformal field theories that preserve the boundary Poincare invariance. As in the bulk field theories, a question arises whether boundary scale invariance leads to boundary conformal invariance. With unitarity, Cardy's condition of vanishing momentum flow is necessary for the boundary conformal invariance, but it is not sufficient in general. We show both a proof and a counterexample of the enhancement of boundary conformal invariance in (1+1) dimension, which depends on the extra assumption we make. In (1+2) dimension, Cardy's condition is shown to be sufficient. In higher dimensions, we give a perturbative argument in favor of the enhancement based on the boundary g-theorem. With the help of the holographic dual recently proposed, we show a holographic proof of the boundary conformal invariance under the assumption of the boundary strict null energy condition, which also gives a sufficient condition for the strong boundary g-theorem.


title: Extended Lyman-alpha emission from interacting galaxies at high redshifts

abstract: Recent observations have discovered a population of extended Lya sources, dubbed Lyman-alpha blobs (LABs), at high redshift z ~ 3 - 6.6. These LABs typically have a luminosity of L ~ 10^42-10^44 erg/s, and a size of tens of kiloparsecs, with some giant ones reaching up to D ~ 100 kpc. However, the origin of these LABs is not well understood. In this paper, we investigate a merger model for the formation of LABs by studying Lya emission from interacting galaxies at high redshifts by means of a combination of hydrodynamics simulations with three dimensional radiative transfer calculations. Our galaxy simulations focus on a set of binary major mergers of galaxies with a mass range of 3-7 *10^12 Msun in the redshift range of z ~ 3 -7, and we use the newly improved ART^2 code to perform the radiative transfer calculations which couple multi-wavelength continuum, ionization of hydrogen, and Lya line emission. We find that intense star formation and enhanced cooling induced by gravitational interaction produce strong Lya emission from these merging galaxies. The Lya emission appears to be extended due to the extended distribution of sources and gas. During the close encounter of galaxy progenitors when the star formation rate peaks at ~ 10^3 Msun/yr, our model produces Lya blobs with luminosity of L ~ 10^42-10^44 erg/s, and size of D ~ 10-20 kpc at z>6 and D ~ 20-50 kpc at z ~ 3, in broad agreement with observations in the same redshift range. Our results suggest that merging galaxies may produce some typical LABs as observed, but the giant ones may be produced by mergers more massive than those in our model, or a combination of mergers and cold accretion from filaments on a large scale.


title: Anonymous and Adaptively Secure Revocable IBE with Constant Size Public Parameters

abstract: In Identity-Based Encryption (IBE) systems, key revocation is non-trivial. This is because a user's identity is itself a public key. Moreover, the private key corresponding to the identity needs to be obtained from a trusted key authority through an authenticated and secrecy protected channel. So far, there exist only a very small number of revocable IBE (RIBE) schemes that support non-interactive key revocation, in the sense that the user is not required to interact with the key authority or some kind of trusted hardware to renew her private key without changing her public key (or identity). These schemes are either proven to be only selectively secure or have public parameters which grow linearly in a given security parameter. In this paper, we present two constructions of non-interactive RIBE that satisfy all the following three attractive properties: (i) proven to be adaptively secure under the Symmetric External Diffie-Hellman (SXDH) and the Decisional Linear (DLIN) assumptions; (ii) have constant-size public parameters; and (iii) preserve the anonymity of ciphertexts---a property that has not yet been achieved in all the current schemes.


title: Thermally induced structural modification in the Al/Zr multilayers

abstract: The effect of increasing temperature on the structural stability and interactions of two kinds of Al/Zr (Al(1%wtSi)/Zr and Al(Pure)/Zr) multilayer mirrors are investigated. All Al/Zr multilayers annealed from 200^{\circ}C to 500^{\circ}C, were deposited on Si wafers by using direct-current magnetron sputtering technology. A detailed and consistent picture of the thermally induced changes in the microstructure is obtained using an array of complementary measurements including grazing incidence X-ray reflectance, atomic force microscope, X-ray diffraction and high-resolution transmission electron microscopy. The first significant structural changes of two systems are observed at 250^{\circ}C, characterized by asymmetric interlayers appears at interface. At 290^{\circ}C, the interface consisted of amorphous Al-Zr alloy is transformed to amorphous Al-Zr alloy and cubic ZrAl3 in both systems. By 298^{\circ}C of Al(1%wtSi)/Zr and 295^{\circ}C of Al(Pure)/Zr multilayers, the interfacial phases of Al-Zr alloy transform completely into polycrystalline mixtures of hcp-ZrAl2 and cubic-ZrAl3, which smooth the interface boundary and lower the surface roughness in the multilayers. Up to 500^{\circ}C, the multilayer structure still exists in both systems, and the differences between the asymmetric interlayers are much larger in the multilayers. Finally, we discuss the transformation from symmetric to asymmetric in the annealing process for other systems.


title: Magnetorotational turbulence in stratified shearing boxes with perfect gas equation of state and finite thermal diffusivity

abstract: We present a numerical study of turbulence and dynamo action in stratified shearing boxes with zero mean magnetic flux. We assume that the fluid obeys the perfect gas law and has finite (constant) thermal diffusivity. The calculations begin from an isothermal state spanning three scale heights above and below the mid-plane. After a long transient the layers settle to a stationary state in which thermal losses out of the boundaries are balanced by dissipative heating. We identify two regimes. A conductive regime in which the heat is transported mostly by conduction and the density decreases with height. In the limit of large thermal diffusivity this regime resembles the more familiar isothermal case. Another, the convective regime, observed at smaller values of the thermal diffusivity, in which the layer becomes unstable to overturning motions, the heat is carried mostly by advection and the density becomes nearly constant throughout the layer. In this latter constant-density regime we observe evidence for large-scale dynamo action leading to a substantial increase in transport efficiency relative to the conductive cases.


title: The hourglass and the early conservation models - co-existing evolutionary patterns in vertebrate development

abstract: Developmental constraints have been postulated to limit the space of feasible phenotypes and thus shape animal evolution. These constraints have been suggested to be the strongest during either early or mid-embryogenesis, which corresponds to the early conservation model or the hourglass model, respectively. Conflicting results have been reported, but in recent studies of animal transcriptomes the hourglass model has been favored. Studies usually report descriptive statistics calculated for all genes over all developmental time points. This introduces dependencies between the sets of compared genes, and may lead to biased results. Here we overcome this problem using an alternative modular analysis. We used the Iterative Signature Algorithm to identify distinct modules of genes co-expressed specifically in consecutive stages of zebrafish development. We then performed a detailed comparison of several gene properties between modules, allowing for a less biased and more powerful analysis. Notably, our analysis corroborated the hourglass pattern only at the regulatory level, with sequences of regulatory regions being most conserved for genes expressed in mid-development, but not at the level of gene sequence, age or expression, in contrast to some previous studies. The early conservation model was supported with gene duplication and birth that were the most rare for genes expressed in early development. Finally, for all gene properties we observed the least conservation for genes expressed in late development or adult, consistent with both models. Overall, with the modular approach, we showed that different levels of molecular evolution follow different patterns of developmental constraints. Thus both models are valid, but with respect to different genomic features.


title: Studying the properties of galaxy cluster morphology estimators

abstract: X-ray observations of galaxy clusters reveal a large range of morphologies with various degrees of disturbance, showing that the assumptions of hydrostatic equilibrium and spherical shape which are used to determine the cluster mass from X-ray data are not always satisfied. It is therefore important for the understanding of cluster properties as well as for cosmological applications to detect and quantify substructure in X-ray images of galaxy clusters. Two promising methods to do so are power ratios and center shifts. Since these estimators can be heavily affected by Poisson noise and X-ray background, we performed an extensive analysis of their statistical properties using a large sample of simulated X-ray observations of clusters from hydrodynamical simulations. We quantify the measurement bias and error in detail and give ranges where morphological analysis is feasible. A new, computationally fast method to correct for the Poisson bias and the X-ray background contribution in power ratio and center shift measurements is presented and tested for typical XMM-Newton observational data sets. We studied the morphology of 121 simulated cluster images and establish structure boundaries to divide samples into relaxed, mildly disturbed and disturbed clusters. In addition, we present a new morphology estimator - the peak of the 0.3-1 r500 P3/P0 profile to better identify merging clusters. The analysis methods were applied to a sample of 80 galaxy clusters observed with XMM-Newton. We give structure parameters (P3/P0 in r500, w and P3/P0_max) for all 80 observed clusters. Using our definition of the P3/P0 (w) substructure boundary, we find 41% (47%) of our observed clusters to be disturbed.


title: Precise Measurement of the Radial Baryon Acoustic Oscillation Scales in Galaxy Redshift Surveys

abstract: In this paper we present a new method to extract cosmological parameters using the radial scale of the Baryon Acoustic Oscillations as a standard ruler in deep galaxy surveys. The method consists in an empirical parametrization of the radial 2-point correlation function, which provides a robust and precise extraction of the sound horizon scale. Moreover, it uses data from galaxy surveys in a manner that is fully cosmology independent and therefore, unbiased. A study of the main systematic errors and the validation of the method in cosmological simulations are also presented, showing that the measurement is limited only by cosmic variance. We then study the full information contained in the Baryon Acoustic Oscillations, obtaining that the combination of the radial and angular determinations of this scale is a very sensitive probe of cosmological parameters, able to set strong constraints on the dark energy properties, even without combining it with any other probe.


title: Disk Scheduling: Selection of Algorithm

abstract: The objective of this paper is to take some aspects of disk scheduling and scheduling algorithms. The disk scheduling is discussed with a sneak peak in general and selection of algorithm in particular.


title: Imitating Chemical Motors with Optimal Information Motors

abstract: To induce transport, detailed balance must be broken. A common mechanism is to bias the dynamics with a thermodynamic fuel, such as chemical energy. An intriguing, alternative strategy is for a Maxwell demon to effect the bias using feedback. We demonstrate that these two different mechanisms lead to distinct thermodynamics by contrasting a chemical motor and information motor with identical dynamics. To clarify this difference, we study both models within one unified framework, highlighting the role of the interaction between the demon and the motor. This analysis elucidates the manner in which information is incorporated into a physical system.


title: Enhancement of $h \to \gamma \gamma$ by seesaw-motivated exotic scalars

abstract: We examine the role of seesaw motivated exotic scalars in loop-mediated Higgs decays. We consider a simple TeV-scale seesaw model built upon the fermionic quintuplet mediator in conjunction with the scalar quadruplet, where we examine portions of the model parameter space for which the contributions of charged components of the scalar quadruplet significantly increase the $h \to \gamma \gamma$ decay rate. The most significant change in the diphoton width comes from a doubly charged scalar \Phi^{--} which should be the lightest component in the scalar quadruplet. There is a mild suppression of the $h \to Z \gamma$ decay width by a factor 0.9 -- 0.7 in the part of the parameter space where the $h \to \gamma \gamma$ decay width is enhanced by a factor 1.25 -- 2.


title: Short Report on: Possible directions to Auctions with Cryptographic pre-play

abstract: In auction theory, cryptography has been used to achieve anonymity of the participants, security and privacy of the bids, secure computation and to simulate mediator (auctioneer). Auction theory focuses on revenue and Cryptography focuses on security and privacy. Involving Cryptography at base level, to enhance revenue gives entirely new perspective and insight to Auction theory, thereby achieving the core goals of auction theory. In this report, we try to investigate an interesting field of study in Auction Theory using Cryptographic primitives.


title: Non-linear lattice response of SmFeAsO_{1-x}F_{x} superconductor to hydrostatic pressure

abstract: Hydrostatic pressure Raman measurements have been carried out on the SmFeAsO series of oxypnictides with varying amount of doping (F substitution for O and Co for Fe) and transition temperature (T_{c}), in order to investigate lattice modifications and their connection to doping and superconductivity. Synchrotron XRD data on some of these compounds indicated that at low doping the lattice constants vary smoothly with pressure, but with increasing F concentration there is a deviation from the normal equation of state and these effects are related with modifications in the superconducting FeAs4 tetrahedra. The hydrostatic pressure Raman measurements show that the A1g mode of the rare earth atom for the superconducting compounds deviates from the linear pressure dependence at the same pressures where the XRD results indicate pressure-induced lattice anomalies. A similar anomaly is found for the As phonon of same symmetry. As in cuprates, the effect is diminished in the undoped compounds and it is not related with the F substitution being present in the Sm(Fe_{1-x}Co_{x})AsO as well. The calculated Gr\"uneisen parameter for the Sm phonon ({\gamma \approx}1.5) is very similar to the corresponding values of cuprates and it does not vary with doping. For the Fe mode it has higher value ({\gamma \approx}1.8) than for As ({\gamma \approx}1) indicating a more anharmonic phonon.


title: Yunnan-III models for Evolutionary population synthesis

abstract: We build the Yunnan-III evolutionary population synthesis (EPS) models by using the MESA stellar evolution code, BaSeL stellar spectra library and the initial mass functions (IMFs) of Kroupa and Salpeter, and present colours and integrated spectral energy distributions (ISEDs) of solar-metallicity stellar populations (SPs) in the range of 1Myr-15 Gyr. The main characteristic of the Yunnan-III EPS models is the usage of a set of self-consistent solar-metallicity stellar evolutionary tracks (the masses of stars are from 0.1 to 100Msun). This set of tracks is obtained by using the state-of-the-art MESA code. MESA code can evolve stellar models through thermally pulsing asymptotic giant branch (TP-AGB) phase for low- and intermediate-mass stars. By comparisons, we confirm that the inclusion of TP-AGB stars make the V-K, V-J and V-R colours of SPs redder and the infrared flux larger at ages log(t/yr)>7.6 (the differences reach the maximum at log(t/yr)~8.6, ~0.5-0.2mag for colours, ~2 times for K-band flux). The stellar evolutionary tracks, isochrones, colours and ISEDs can be obtained on request from the first author or from our website (http://www1.ynao.ac.cn/~zhangfh/). Using the isochrones, you can build your EPS models. Now the format of stellar evolutionary tracks is the same as that in the STARBURST99 code, you can put them into the STARBURST99 code and get the SP's results. Moreover, the colours involving other passbands or on other systems (for example, HST $F439W-F555W$ colour on AB system) can also be obtained on request.


title: Early work on pion-nucleon scattering at Rochester

abstract: In 1956 when I was a graduate student at the University of Rochester, the post doc Herman Winick arrived there, joined the group and we worked together with colleagues from different countries on low energy pion-proton elastic scattering at the cyclotron. The small experiment was highly successful and was the beginning of a long research life and of friendship.


title: Many-body correlations in Semiclassical Molecular Dynamics and Skyrme forces for symmetric Nuclear Matter

abstract: Constraint Molecular dynamics CoMD calculations have been performed for symmetric nuclear matter (NM) by using a simple effective interactions of the Skyrme type. The set of parameter values reproducing common accepted saturation properties of nuclear matter have been obtained for different degree of stiffness characterizing the iso-vectorial potential density dependence. A comparison with results obtained in the limit of the Semi-Classical Mean Field approximation performed using the same kind of interaction put in evidence the role played by the many-body correlations present in the model explaining also the noticeable differences obtained in the parameter values in the two cases


title: An application of a bijection of Mansour, Deng, and Du

abstract: The large Schroder numbers are known to count several classes of permutations avoiding two 4-letter patterns. Here we show they count another family of permutations, those whose left to right minima decomposition, when reversed, is 321-avoiding. The main tool is the Mansour-Deng-Du bijection from 321-avoiding permutations to Dyck paths.


title: Interactive Overlay Maps for US Patent (USPTO) Data Based on International Patent Classifications (IPC)

abstract: We report on the development of an interface to the US Patent and Trademark Office (USPTO) that allows for the mapping of patent portfolios as overlays to basemaps constructed from citation relations among all patents contained in this database during the period 1976-2011. Both the interface and the data are in the public domain; the freeware programs VOSViewer and/or Pajek can be used for the visualization. These basemaps and overlays can be generated at both the 3-digit and 4-digit levels of the International Patent Classifications (IPC) of the World Intellectual Property Organization (WIPO). The basemaps can provide a stable mental framework for analysts to follow developments over searches for different years, which can be animated. The full flexibility of the advanced search engines of USPTO are available for generating sets of patents and/or patent applications which can thus be visualized and compared. This instrument allows for addressing questions about technological distance, diversity in portfolios, and animating the developments of both technologies and technological capacities of organizations over time.


title: Non-negative global weak solutions for a degenerated parabolic system approximating the two-phase Stokes problem

abstract: We establish the existence of non-negative global weak solutions for a strongly couple degenerated parabolic system which was obtained as an approximation of the two-phase Stokes problem driven solely by capillary forces. Moreover, the system under consideration may be viewed as a two-phase generalization of the classical Thin Film equation.


title: Comment on "ADM reduction of IIB on $H^{p,q}$ to dS braneworld"

abstract: We make a comment on "ADM reduction of IIB on $H^{p,q}$ to dS braneworld" by E. Hatefi, A. J. Nurmagambetov and I. Y. Park, arXiv:1210.3825.


title: A note on binary completely regular codes with large minimum distance

abstract: We classify all binary error correcting completely regular codes of length $n$ with minimum distance $\delta>n/2$.


title: On a relation between the Szeged index and the Wiener index for bipartite graphs

abstract: {\small The Wiener index $W(G)$ of a graph $G$ is the sum of the distances between all pairs of vertices in the graph. The Szeged index $Sz(G)$ of a graph $G$ is defined as $Sz(G)=\sum_{e=uv \in E}n_u(e)n_v(e)$ where $n_u(e)$ and $n_v(e)$ are, respectively, the number of vertices of $G$ lying closer to vertex $u$ than to vertex $v$ and the number of vertices of $G$ lying closer to vertex $v$ than to vertex $u$. Hansen used the computer programm AutoGraphiX and made the following conjecture about the Szeged index and the Wiener index for a bipartite connected graph $G$ with $n \geq 4$ vertices and $m \geq n$ edges: $$ Sz(G)-W(G) \geq 4n-8. $$ Moreover the bound is best possible as shown by the graph composed of a cycle on 4 vertices $C_4$ and a tree $T$ on $n-3$ vertices sharing a single vertex. This paper is to give a confirmative proof to this conjecture.


title: Rattling and Superconducting Properties of the Cage Compound GaxV2Al20

abstract: Low-energy rattling modes and their effects on superconductivity are studied in the cage compound GaxV2Al20. A series of polycrystalline samples of 0 < x =< 0.6 are examined through resistivity, magnetic susceptibility, and heat capacity measurements. A weak-coupling BCS superconductivity is observed below Tc = 1.4-1.7 K for all the samples. For small Ga contents below 0.20, approximately 30% of the cages are occupied by rattling Al atoms having an Einstein temperature TE of 23 K, probably with most Ga atoms substituting for the cage-forming Al atoms. For higher Ga contents, approximately 0.05 Ga and 0.25-0.35 Al atoms coexist statistically inside the cages and behave as rattlers with TE ~ 8 and 23 K, respectively. A significant effect of Ga rattling on the superconductivity is clearly evidenced by the observation of a sharp rise in Tc by 8% at x = 0.20 when 0.05 Ga atoms are introduced into the case. Probably, the electron-phonon interaction is significantly enhanced by an additional contribution to the phonon density of states from the extremely low energy rattling modes of Ga atoms. In addition, a large softening of the acoustic modes is observed for x => 0.20, suggesting that the cage itself becomes anomalously soft in the presence of low-energy Ga rattling modes.


title: Suppression of Interactions in Multimode Random Lasers in the Anderson Localized Regime

abstract: Understanding random lasing is a formidable theoretical challenge. Unlike conventional lasers, random lasers have no resonator to trap light, they are highly multimode with potentially strong modal interactions and they are based on disordered gain media, where photons undergo random multiple scattering. Interference effects notoriously modify the propagation of waves in such random media, but their fate in the presence of nonlinearity and interactions is poorly understood. Here, we present a semiclassical theory for multimode random lasing in the strongly scattering regime. We show that Anderson localization, a wave-interference effect, is not affected by the presence of nonlinearities. To the contrary, its presence suppresses interactions between simultaneously lasing modes. Using a recently constructed theory for complex multimode lasers, we show analytically how Anderson localization justifies a noninteracting, single-pole approximation. Consequently, lasing modes in a strongly scattering random laser are given by long-lived, Anderson localized modes of the passive cavity, whose frequency and wave profile does not vary with pumping, even in the multi-mode regime when mode overlap spatially.


title: Direct characterization of linear-optical networks

abstract: We introduce an efficient method for fully characterizing multimode linear-optical networks. Our approach requires only a standard laser source and intensity measurements to directly and uniquely determine all moduli and non-trivial phases of the matrix describing a network. We experimentally demonstrate the characterization of a $6{\times}6$ fiber-optic network and independently verify the results via nonclassical two-photon interference.


title: R\'eflexions dans un cristal

abstract: Let g = n^- + h + n^+ be a symmetrizable Kac-Moody algebra. Let B(\infty) be the Kashiwara crystal of U_q(n^-), let \lambda be a dominant integral weight, let T_\lambda = {t_\lambda} be the crystal with one element of weight \lambda, and let B(\lambda) \subset B(\infty) \otimes T_\lambda be the crystal of the integrable representation of highest weight \lambda. We compute the descending string parameters of an element b \otimes t_\lambda in B(\lambda) in terms of the Lusztig parameters of b.


title: Black-Box Complexity: Breaking the $O(n \log n)$ Barrier of LeadingOnes

abstract: We show that the unrestricted black-box complexity of the $n$-dimensional XOR- and permutation-invariant LeadingOnes function class is $O(n \log (n) / \log \log n)$. This shows that the recent natural looking $O(n\log n)$ bound is not tight. The black-box optimization algorithm leading to this bound can be implemented in a way that only 3-ary unbiased variation operators are used. Hence our bound is also valid for the unbiased black-box complexity recently introduced by Lehre and Witt (GECCO 2010). The bound also remains valid if we impose the additional restriction that the black-box algorithm does not have access to the objective values but only to their relative order (ranking-based black-box complexity).


title: Modeling and Analysis Generic Interface for eXternal numerical codes (MAGIX)

abstract: The modeling and analysis generic interface for external numerical codes (MAGIX) is a model optimizer developed under the framework of the coherent set of astrophysical tools for spectroscopy (CATS) project. The MAGIX package provides a framework of an easy interface between existing codes and an iterating engine that attempts to minimize deviations of the model results from available observational data, constraining the values of the model parameters and providing corresponding error estimates. Many models (and, in principle, not only astrophysical models) can be plugged into MAGIX to explore their parameter space and find the set of parameter values that best fits observational/experimental data. MAGIX complies with the data structures and reduction tools of ALMA (Atacama Large Millimeter Array), but can be used with other astronomical and with non-astronomical data.


title: Desynchronizing Networks Using Phase Resetting

abstract: Understanding complex systems which exhibit desynchronization as an emergent property should have important implications, particularly in treating neurological disorders and designing efficient communication networks. Here were demonstrate how, using a system similar to the pulse coupling used to model firefly interactions, phase desynchronization can be achieved in pulse coupled oscillator systems, for a variety of network architectures, with symmetric and non symmetric internal oscillator frequencies and with both instantaneous and time delayed coupling.


title: Substitution rules and topological properties of the Robinson tilings

abstract: A relatively simple substitution for the Robinson tilings is presented, which requires only 56 tiles up to translation. In this substitution, due to Joan M. Taylor, neighboring tiles are substituted by partially overlapping patches of tiles. We show that this overlapping substitution gives rise to a normal primitive substitution as well, implying that the Robinson tilings form a model set and thus have pure point diffraction. This substitution is used to compute the Cech cohomology of the hull of the Robinson tilings via the Anderson-Putnam method, and also the dynamical zeta function of the substitution action on the hull. The dynamical zeta function is then used to obtain a detailed description of the structure of the hull, relating it to features of the cohomology groups.


title: High magnetoresistance in graphene nanoribbon heterojunction

abstract: We show a large magnetoresistance(MR) effect in a graphene heterostructure consisting of an metallic(M) and semiconductor(SC)-type armchair-graphene-nanoribbon(aGNR). In the heterostructure, the transmission across the first subband of the SC-aGNR and M-aGNR is forbidden under zero magnetic-field, due to the orthogonality of the wavefunctions. A finite magnetic-field introduces the quantum hall-like effect, which distorts the wavefunctions. Thus, a finite transmission occurs across the heterojunction, giving rise to a large MR effect. We study the dependence of this MR on temperature and electron energy. Finally, we design a magnetic-field-effect-transistor which yields a MR of close to 100%(85%) at low(room) temperature.


title: A detailed view of a Molecular Cloud in the far outer disk of M33

abstract: The amount of H$_2$ present in spiral galaxies remains uncertain, particularly in the dim outer regions and in low-metallicity environments. We present high-resolution CO(1--0) observations with the Plateau de Bure interferometer of the most distant molecular cloud in the local group galaxy M 33. The cloud is a single entity rather than a set of smaller clouds within the broad beam of the original single-dish observations. The interferometer and single-dish fluxes are very similar and the line widths are indistinguishable, despite the difference in beamsize. At a spatial resolution of 10 pc, beyond the optical radius of the M 33, the CO brightness temperature reaches 2.4 Kelvins. A virial mass estimate for the cloud yields a mass of $4.3 \times 10^4$ \msun and a ratio $\ratio \simeq 3.5 \times 10^{20} \Xunit$. While no velocity gradient is seen where the emission is strong, the velocity is redshifted to the extreme SW and blue-shifted to the far NE. If the orientation of the cloud is along the plane of the disk (i.e. not perpendicular), then these velocities correspond to slow infall or accretion. The rather modest infall rate would be about $2 \times 10^{-4}$\moyr.


title: Factorization of numbers with truncated Gauss sums at rational arguments

abstract: Factorization of numbers with the help of Gauss sums relies on an intimate relationship between the maxima of these functions and the factors. Indeed, when we restrict ourselves to integer arguments of the Gauss sum we profit from a one-to-one relationship. As a result the identification of factors by the maxima is unique. However, for non-integer arguments such as rational numbers this powerful instrument to find factors breaks down. We develop new strategies for factoring numbers using Gauss sums at rational arguments. This approach may find application in a recent suggestion to factor numbers using an light interferometer [V. Tamma et al., J. Mod. Opt. in this volume] discussed in this issue.


title: Feynman-Kac theorems for generalized diffusions

abstract: We find Feynman-Kac type representation theorems for generalized diffusions. To do this we need to establish existence, uniqueness and regularity results for equations with measure-valued coefficients.


title: Compactness of special functions of bounded higher variation

abstract: Given an open set \Omega\subset\R^m and n>1, we introduce the new spaces GB_nV(\Omega) of Generalized functions of bounded higher variation and GSB_nV(\Omega) of Generalized special functions of bounded higher variation that generalize, respectively, the space B_nV introduced by Jerrard and Soner and the corresponding SB_nV space studied by De Lellis. In this class of spaces, which allow the description of singularities of codimension n, the distributional jacobian Ju need not have finite mass: roughly speaking, finiteness of mass is not required for the (m-n)-dimensional part of Ju, but only finiteness of size. In the space GSB_nV we are able to provide compactness of sublevel sets and lower semicontinuity of Mumford-Shah type functionals, in the same spirit of the codimension 1 theory.


title: Factorization of numbers with Gauss sums: I. Mathematical background

abstract: We use the periodicity properties of generalized Gauss sums to factor numbers. Moreover, we derive rules for finding the factors and illustrate this factorization scheme for various examples. This algorithm relies solely on interference and scales exponentially.


title: Wave operators, similarity and dynamics for a class of Schroedinger operators with generic non-mixed interface conditions in 1D

abstract: We consider a simple modification of the 1D-Laplacian where non-mixed interface conditions occur at the boundaries of a finite interval. It has recently been shown that Schr\"odinger operators having this form allow a new approach to the transverse quantum transport through resonant heterostructures. In this perspective, it is important to control the deformations effects introduced on the spectrum and on the time propagator by this class of non-selfadjont perturbations. In order to obtain uniform-in-time estimates of the perturbed semigroup, our strategy consists in constructing stationary waves operators allowing to intertwine the modified non-selfadjoint Schr\"odinger operator with a 'physical' Hamiltonian. For small values of a deformation parameter '{\theta}', this yields a dynamical comparison between the two models showing that the distance between the corresponding semigroups is dominated by |{\theta}| uniformly in time in the L^2-operator norm.


title: On standing sausage waves in photospheric magnetic waveguides

abstract: By focusing on the oscillations of the cross-sectional area and the intensity of magnetic waveguides located in the lower solar atmosphere, we aim to detect and identify magnetohydrodynamic (MHD) sausage waves. Capturing several series of high-resolution images of pores and sunspots and employing wavelet analysis in conjunction with empirical mode decomposition (EMD) makes the MHD wave analysis possible. For this paper, two sunspots and one pore (with a light bridge) were chosen as representative examples of MHD waveguides in the lower solar atmosphere. The sunspots and pore display a range of periods from 4 to 65 minutes. The sunspots support longer periods than the pore - generally enabling a doubling or quadrupling of the maximum pore oscillatory period. All of these structures display area oscillations indicative of MHD sausage modes and in-phase behaviour between the area and intensity, presenting mounting evidence for the presence of the slow sausage mode within these waveguides. The presence of fast and slow MHD sausage waves has been detected in three different magnetic waveguides in the lower solar photosphere. Furthermore, these oscillations are potentially standing harmonics supported in the waveguides which are sandwiched vertically between the temperature minimum in the lower solar atmosphere and the transition region. Standing harmonic oscillations, by means of solar magneto-seismology, may allow insight into the sub-resolution structure of photospheric MHD waveguides.


title: Radiative Production of Lightest Neutralinos in $e^+ e^-$ collisions in Supersymmetric Grand Unified Models

abstract: We study the production of the lightest neutralinos in the radiative process $e^+e^- \to \tilde\chi^0_1 \tilde\chi^0_1\gamma$ in supersymmetric models with grand unification. We consider models wherein the standard model gauge group $SU(3)_c \times SU(2)_L \times U(1)_Y$ is unified into the grand unified gauge groups SU(5), or SO(10). We study this process at energies that may be accessible at a future International Linear Collider. We compare and contrast the dependence of the signal cross section on the grand unified gauge group, and different representations of the grand unified gauge group, into which the standard model gauge group is unified. We carry out a comprehensive study of the radiative production process which includes higher order QED corrections in our calculations. In addition we carry out a detailed study of the background to the signal process coming from the Standard Model radiative neutrino production $e^+e^- \to \nu \bar\nu \gamma$, as well as from the radiative production of the scalar partners of the neutrinos (sneutrinos) $e^+e^- \to \tilde\nu \tilde\nu^\ast \gamma$. The latter can be a major supersymmetric background to the radiative production of neutralinos when the sneutrinos decay invisibly. It is likely that the radiative production of the lightest neutralinos may be a viable channel to study supersymmetric partners of the Standard Model particles at the first stage of a International Linear Collider, where heavier sparticles may be too heavy to be produced in pairs.


title: The monotonicity results and sharp inequalities for some power-type means of two arguments

abstract: For $a,b>0$ with $a\neq b$, we define M_{p}=M^{1/p}(a^{p},b^{p})\text{if}p\neq 0 \text{and} M_{0}=\sqrt{ab}, where $M=A,He,L,I,P,T,N,Z$ and $Y$ stand for the arithmetic mean, Heronian mean, logarithmic mean, identric (exponential) mean, the first Seiffert mean, the second Seiffert mean, Neuman-S\'{a}ndor mean, power-exponential mean and exponential-geometric mean, respectively. Generally, if $M$ is a mean of $a$ and $b$, then $M_{p}$ is also, and call "power-type mean". We prove the power-type means $P_{p}$, $T_{p}$, $N_{p}$, $Z_{p}$ are increasing in $p$ on $\mathbb{R}$ and establish sharp inequalities among power-type means $A_{p}$, $He_{p}$, $L_{p}$, $I_{p}$, $P_{p}$, $N_{p}$, $Z_{p}$, $Y_{p}$% . From this a very nice chain of inequalities for these means L_{2}<P<N_{1/2}<He<A_{2/3}<I<Z_{1/3}<Y_{1/2} follows. Lastly, a conjecture is proposed.


title: Determining neutrino mass hierarchy from electron disappearance at a Low energy neutrino factory

abstract: Recent measurements of large theta_{13} by Daya Bay and RENO reactor experiments have opened up the possibility of determining the neutrino mass hierarchy, i.e. the sign of the mass squared splitting Delta m_{31}^2, the CP-violating phase delta_{CP} and the octant of theta_{23}. In the light of this result, we study the performance of a low energy neutrino factory (LENF) for determination of the mass hierarchy. In particular, we explore the potential of the nu_e$ and bar{\nu}_e disappearance channels at LENF to determine the neutrino mass hierarchy, that is free from the uncertainties arising from the unknown delta_{CP} phase and the theta_{23} octant. We find that using these electron neutrino (antineutrino) disappearance channels with a standard LENF, it is possible to exclude the wrong hierarchy at 5 sigma with only 2 years of running.


title: Quasi-Periodic Oscillations in magnetars: linking variability and emission

abstract: I present recent results studying flare emission in magnetars. Strong quasi-periodic oscillations observed in the tail of giant magnetar flares are frequently interpreted as evidence for global seismic oscillations. I demonstrate that such a global oscillation is not directly observable in the lightcurve. New work suggests the amplitude for the strongest QPO stays nearly constant in the rotation phases where it is observed, which I argue suggests it is produced by an additional emission process from the star.


title: Complex Systems with Trivial Dynamics

abstract: In this communication, complex systems with a near trivial dynamics are addressed. First, under the hypothesis of equiprobability in the asymptotic equilibrium, it is shown that the (hyper) planar geometry of an $N$-dimensional multi-agent economic system implies the exponential (Boltzmann-Gibss) wealth distribution and that the spherical geometry of a gas of particles implies the Gaussian (Maxwellian) distribution of velocities. Moreover, two non-linear models are proposed to explain the decay of these statistical systems from an out-of-equilibrium situation toward their asymptotic equilibrium states.


title: Digital clocks: simple Boolean models can quantitatively describe circadian systems

abstract: The gene networks that comprise the circadian clock modulate biological function across a range of scales, from gene expression to performance and adaptive behaviour. The clock functions by generating endogenous rhythms that can be entrained to the external 24-h day?night cycle, enabling organisms to optimally time biochemical processes relative to dawn and dusk. In recent years, computational models based on differential equations have become useful tools for dissecting and quantifying the complex regulatory relationships underlying the clock's oscillatory dynamics. However, optimizing the large parameter sets characteristic of these models places intense demands on both computational and experimental resources, limiting the scope of in silico studies. Here, we develop an approach based on Boolean logic that dramatically reduces the parametrization, making the state and parameter spaces finite and tractable. We introduce efficient methods for fitting Boolean models to molecular data, successfully demonstrating their application to synthetic time courses generated by a number of established clock models, as well as experimental expression levels measured using luciferase imaging. Our results indicate that despite their relative simplicity, logic models can (i) simulate circadian oscillations with the correct, experimentally observed phase relationships among genes and (ii) flexibly entrain to light stimuli, reproducing the complex responses to variations in daylength generated by more detailed differential equation formulations. Our work also demonstrates that logic models have sufficient predictive power to identify optimal regulatory structures from experimental data. By presenting the first Boolean models of circadian circuits together with general techniques for their optimization, we hope to establish a new framework for the systematic modelling of complex clocks.


title: Development of a resonant laser ionization gas cell for high-energy, short-lived nuclei

abstract: A new laser ion source configuration based on resonant photoionization in a gas cell has been developed at RIBF RIKEN. This system is intended for the future PArasitic RI-beam production by Laser Ion-Source (PALIS) project which will be installed at RIKEN's fragment separator, BigRIPS. A novel implementation of differential pumping, in combination with a sextupole ion beam guide (SPIG), has been developed. A few small scroll pumps create a pressure difference from 1000 hPa - 10^-3 Pa within a geometry drastically miniaturized compared to conventional systems. This system can utilize a large exit hole for fast evacuation times, minimizing the decay loss for short-lived nuclei during extraction from a buffer gas cell, while sufficient gas cell pressure is maintained for stopping high energy RI-beams. In spite of the motion in a dense pressure gradient, the photo-ionized ions inside the gas cell are ejected with an assisting force gas jet and successfully transported to a high-vacuum region via SPIG followed by a quadrupole mass separator. Observed behaviors agree with the results of gas flow and Monte Carlo simulations.


title: An Inequality for the Sum of Independent Bounded Random Variables

abstract: We give a simple inequality for the sum of independent bounded random variables. This inequality improves on the celebrated result of Hoeffding in a special case. It is optimal in the limit where the sum tends to a Poisson random variable.


title: Berkovich spaces embed in Euclidean spaces

abstract: Let K be a field that is complete with respect to a nonarchimedean absolute value such that K has a countable dense subset. We prove that the Berkovich analytification V^an of any d-dimensional quasi-projective scheme V over K embeds in R^{2d+1}. If, moreover, the value group of K is dense in R_{>0} and V is a curve, then we describe the homeomorphism type of V^an by using the theory of local dendrites.


title: Measurement of Z boson Production in Pb+Pb Collisions at sqrt(s_NN)=2.76 TeV with the ATLAS Detector

abstract: The ATLAS experiment has observed 1995 Z boson candidates in data corresponding to 0.15 inverse nb of integrated luminosity obtained in the 2011 LHC Pb+Pb run at sqrt(s_NN)=2.76 TeV. The Z bosons are reconstructed via di-electron and di-muon decay channels, with a background contamination of less than 3%. Results from the two channels are consistent and are combined. Within the statistical and systematic uncertainties, the per-event Z boson yield is proportional to the number of binary collisions estimated by the Glauber model. The elliptic anisotropy of the azimuthal distribution of the Z boson with respect to the event plane is found to be consistent with zero.


title: Factorization of numbers with Gauss sums: II. Suggestions for implementations with chirped laser pulses

abstract: We propose three implementations of the Gauss sum factorization schemes discussed in part I of this series: (i) a two-photon transition in a multi-level ladder system induced by a chirped laser pulse, (ii) a chirped one-photon transition in a two-level atom with a periodically modulated excited state, and (iii) a linearly chirped one-photon transition driven by a sequence of ultrashort pulses. For each of these quantum systems we show that the excitation probability amplitude is given by an appropriate Gauss sum. We provide rules how to encode the number N to be factored in our system and how to identify the factors of N in the fluorescence signal of the excited state.


title: A New Identification Framework For Off-Line Computation of Moving-Horizon Observers

abstract: In this paper, a new nonlinear identification framework is proposed to address the issue of off-line computation of moving-horizon observer estimate. The proposed structure merges the advantages of nonlinear approximators with the efficient computation of constrained quadratic programming problems. A bound on the estimation error is proposed and the efficiency of the resulting scheme is illustrated using two state estimation examples.


title: Magnetic phase diagram of CePt3B1-xSix

abstract: We present a study of the main bulk properties (susceptibility, magnetization, resistivity and specific heat) of CePt_3B_(1-x)Si-x, an alloying system that crystallizes in a noncentrosymmetric lattice, and derive the magnetic phase diagram. The materials at the end point of the alloying series have previously been studied, with CePt_3B established as a material with two different magnetic phases at low temperatures (antiferromagnetic below T_N = 7.8 K, weakly ferromagnetic below T_C ~ 5 K), while CePt3Si is a heavy fermion superconductor (T_c = 0.75 K) coexisting with antiferromagnetism (T_N = 2.2 K). From our experiments we conclude that the magnetic phase diagram is divided into two regions. In the region of low Si content (up to x ~ 0.7) the material properties resemble those of CePt3B. Upon increasing the Si concentration further the magnetic ground state continuously transforms into that of CePt3Si. In essence, we argue that CePt_3B can be understood as a low pressure variant of CePt3Si.


title: Invariant formulation of the Functional Renormalisation Group method for $U(n)\times U(n)$ symmetric matrix models

abstract: The Local Potential Approximation (LPA) to the Wetterich-equation is formulated explicitly in terms of operators, which are invariant under the $U(n)\times U(n)$ symmetry group. Complete formulas are presented for the two-flavor ($U(2)\times U(2)$) case. The same approach leads to a unique natural truncation of the functional driving the renormalisation flow of the potential of the three-flavor case ($U(3)\times U(3)$). The procedure applied to the $SU(3)\times SU(3)$ symmetric theory, results in an equation, which potentially allows an RG-investigation of the effect of the 't Hooft term representing the $U_A(1)$ anomaly, disentangled from the other operators.


title: Factorization of numbers with Gauss sums: III. Algorithms with Entanglement

abstract: We propose two algorithms to factor numbers using Gauss sums and entanglement: (i) in a Shor-like algorithm we encode the standard Gauss sum in one of two entangled states and (ii) in an interference algorithm we create a superposition of Gauss sums in the probability amplitudes of two entangled states.These schemes are rather efficient provided that there exists a fast algorithm that can detect a period of a function hidden in its zeros.


title: Using Householder Matrices to Establish Mixing Test Critical Values

abstract: A measure-preserving dynamical system can be approximated by a Markov shift with a bistochastic matrix. This leads to using empirical stochastic matrices to measure and estimate properties of stirring protocols. Specifically, the second largest eigenvalue can be used to statistically decide if a stirring protocol is weak-mixing, ergodic, or nonergodic. Such hypothesis tests require appropriate probability distributions. In this paper, we propose using Monte Carlo empirical probability distributions from unistochastic matrices to establish critical values. These unistochastic matrices arise from randomly constructed Householder matrices.


title: One New Blowup Criterion for the 2D Full Compressible Navier-Stokes System

abstract: We establish a blowup criterion for the two-dimensional (2D) full compressible Navier-Stokes system. The criterion is given in terms of the divergence of the velocity field only, and is independent of the temperature. It is almost the same as that of barotropic case.


title: Short review of lattice basis reduction types and his applications (Russian)

abstract: This article presets a review of lattice lattice basis reduction types. Paper contains the main five types of lattice basis reduction: size reduced (weak Hermit), c-reduced, Lovasz condition, Hermit-Korkin-Zolotarev, Minkowski reduced. The article provides references to applications in: information theory (decoding of coding group in MIMO), calculus (minimize of the positive quadratic form), complexity theory and cryptanalysis of Merkle-Hellman cryptography (solving subset sum problems), algebra and control theory(solving system of linear diophantine equation), compiler theory (lattice based memory allocation), synthesize cryptographic and cryptanalysis in lattice based cryptography.


title: Red Giant Oscillations: Stellar Models and Mode Frequency Calculations

abstract: We present preliminary results on modelling KIC 7693833, the so far most metal-poor red-giant star observed by {\it Kepler}. From time series spanning several months, global oscillation parameters and individual frequencies were obtained and compared to theoretical calculations. Evolution models are calculated taking into account spectroscopic and asteroseismic constraints. The oscillation frequencies of the models were computed and compared to the {\it Kepler} data. In the range of mass computed, there is no preferred model, giving an uncertainty of about 30 K in $T_eff$, 0.02 dex in $\log g$, $0.7 \,R_\odot$ in radius and of about 2.5 Gyr in age.


title: Homotopies and the universal fixed point property

abstract: A topological space has the fixed point property if every continuous self-map of that space has at least one fixed point. We demonstrate that there are serious restraints imposed by the requirement that there be a choice of fixed points that is continuous whenever the self-map varies continuously. To even specify the problem, we introduce the universal fixed point property. Our results apply in particular to the analysis of convex subspaces of Banach spaces, to the topology of finite-dimensional manifolds and CW complexes, and to the combinatorics of Kolmogorov spaces associated with finite posets.


title: Topic-Level Opinion Influence Model(TOIM): An Investigation Using Tencent Micro-Blogging

abstract: Mining user opinion from Micro-Blogging has been extensively studied on the most popular social networking sites such as Twitter and Facebook in the U.S., but few studies have been done on Micro-Blogging websites in other countries (e.g. China). In this paper, we analyze the social opinion influence on Tencent, one of the largest Micro-Blogging websites in China, endeavoring to unveil the behavior patterns of Chinese Micro-Blogging users. This paper proposes a Topic-Level Opinion Influence Model (TOIM) that simultaneously incorporates topic factor and social direct influence in a unified probabilistic framework. Based on TOIM, two topic level opinion influence propagation and aggregation algorithms are developed to consider the indirect influence: CP (Conservative Propagation) and NCP (None Conservative Propagation). Users' historical social interaction records are leveraged by TOIM to construct their progressive opinions and neighbors' opinion influence through a statistical learning process, which can be further utilized to predict users' future opinions on some specific topics. To evaluate and test this proposed model, an experiment was designed and a sub-dataset from Tencent Micro-Blogging was used. The experimental results show that TOIM outperforms baseline methods on predicting users' opinion. The applications of CP and NCP have no significant differences and could significantly improve recall and F1-measure of TOIM.


title: Block algebra in two-component BKP and D type Drinfeld-Sokolov hierarchies

abstract: We construct generalized additional symmetries of a two-component BKP hierarchy defined by two pseudo-differential Lax operators. These additional symmetry flows form a Block type algebra with some modified(or additional) terms because of a B type reduction condition of this integrable hierarchy. Further we show that the D type Drinfeld-Sokolov hierarchy, which is a reduction of the two-component BKP hierarchy, possess a complete Block type additional symmetry algebra. That D type Drinfeld-Sokolov hierarchy has a similar algebraic structure as the bigraded Toda hierarchy which is a differential-discrete integrable system.


title: Two-dimensional MHD models of solar magnetogranulation. Testing of the models and methods of Stokes diagnostics

abstract: We carried out the Stokes diagnostics of new two-dimensional magnetohydrodynamic models with a continuous evolution of magnetogranulation in the course of two hours of the hydrodynamic (solar) time. Our results agree satisfactorily with the results of Stokes diagnostics of the solar small-scale flux tubes observed in quiet network elements and active plages. The straightforward methods often used in the Stokes diagnostics of solar small-scale magnetic elements were tested by means of the magnetohydrodynamic models. We conclude that the most reliable methods are the determination of magnetic field strength from the separation of the peaks in the Stokes V profiles of the infrared Fe I line 1564.8 nm and the determination of the magnetic inclination angle from the ratio tan^2 gamma approx (Q^2 + U^2)^{1/2}/V^2. The lower limits for such determinations are about 20 mT and 10 degree, respectively. We also conclude that the 2D MHD models of solar magnetogranulation are in accord with observations and may be successfully used to study magnetoconvection in the solar photosphere.


title: Asymptotic Symmetry Algebras in Non-Anti-de-Sitter Higher-Spin Gauge Theories

abstract: We analyze asymptotic symmetry algebras in (2+1)-dimensional non-AdS higher-spin gravity with a focus on AdS$_2\times\mathbb{R}$ and $\mathbb{H}_2\times\mathbb{R}$. We find a consistent set of boundary conditions for spin-3 gravity in the non-principal embedding and calculate the corresponding asymptotic symmetry algebra in the classical and quantum mechanical case. In addition, we check for unitary representations of the resulting quantum $\mathcal{W}_3^{(2)}$ algebra and give an interpretation of the corresponding CFT.


title: The Unexpected Properties of Alkali Metal Iron Selenide Superconductors

abstract: The iron-based superconductors that contain FeAs layers as the fundamental building block in the crystal structures have been rationalized in the past using ideas based on the Fermi Surface nesting of hole and electron pockets when in the presence of weak Hubbard $U$ interactions. This approach seemed appropriate considering the small values of the magnetic moments in the parent compounds and the clear evidence based on photoemission experiments of the required electron and hole pockets. However, recent results in the context of alkali metal iron selenides, with generic chemical composition $A_x$Fe$_{2-y}$Se$_2$ ($A$ = alkali element), have drastically challenged those previous ideas since at particular compositions $y$ the low-temperature ground states are insulating and display antiferromagnetic magnetic order with large iron magnetic moments. Moreover, angle resolved photoemission studies have revealed the absence of hole pockets at the Fermi level in these materials. The present status of this exciting area of research, with the potential to alter conceptually our understanding of the iron-based superconductors, is here reviewed, covering both experimental and theoretical investigations. Other recent related developments are also briefly reviewed, such as the study of selenide two-leg ladders and the discovery of superconductivity in a single layer of FeSe. The conceptual issues considered established for the alkali metal iron selenides, as well as the several issues that still require further work, are discussed in the text.


title: Block Korkin-Zolotarev algorithm generalization and their practical implementation (Russian)

abstract: We propose a practical algorithm for block Korkin-Zolotarev reduction, a concept introduced by Schnorr, using CPU arbitrary length Householder QR-decomposition for orthogonalization and double precision OpenCL GPU Finke-Post shortest vector enumeration. Empirical tests was used on random lattices in the sense of Goldstein and Mayer.


title: Fast control of the reflection of a ferroelectric by an extremely short pulse

abstract: We propose a new type of optical switch based on a ferroelectric. It is based on the gap which exists for waves propagating from a dielectric to a ferroelectric material. This gap depends on the polarization of the ferroelectric. We show that it can be shifted by a control electromagnetic pulse so that the material becomes transparent. This device would shift much faster than the relaxation time of the ferroelectric (1 nano s). Estimates are given for a real material.


title: Collisions of anisotropic two-dimensional bright solitons in dipolar Bose-Einstein condensates

abstract: We investigate the coherent collision of anisotropic quasi-two-dimensional bright solitons in dipolar Bose-Einstein condensates. Our analysis is based on the extended Gross-Pitaevskii equation, and we use the split-operator method for the grid calculations and the time-dependent variational principle with an ansatz of coupled Gaussian functions to calculate the time evolution of the ground state. We compare the results of both approaches for collisions where initially the solitons are in the repelling side-by-side configuration and move towards each other with a specific momentum. We change the relative phases of the condensates, and introduce a total angular momentum by shifting the solitons in opposite direction along the polarization axis. Our calculations show that collisions result in breathing-mode-like excitations of the solitons.


title: Replica-Permutation Method with the Suwa-Todo Algorithm beyond the Replica-Exchange Method

abstract: We propose a new method for molecular dynamics and Monte Carlo simulations, which is referred to as the replica-permutation method (RPM), to realize more efficient sampling than the replica-exchange method (REM).In RPM not only exchanges between two replicas but also permutations among more than two replicas are performed. Furthermore, instead of the Metropolis algorithm, the Suwa-Todo algorithm is employed for replica-permutation trials to minimize its rejection ratio. We applied RPM to particles in a double-well potential energy, Met-enkephalin in vacuum, and a C-peptide analog of ribonuclease A in explicit water. For a comparison purposes, replica-exchange molecular dynamics simulations were also performed. As a result, RPM sampled not only the temperature space but also the conformational space more efficiently than REM for all systems. From our simulations of C-peptide, we obtained the \alpha-helix structure with salt-bridges between Gly2 and Arg10 which is known in experiments. Calculating its free-energy landscape, the folding pathway was revealed from an extended structure to the \alpha-helix structure with the salt-bridges. We found that the folding pathway consists of the two steps: The first step is the "salt-bridge formation step", and the second step is the "\alpha-helix formation step".


title: Metric-enriched categories and approximate Fra\"{i}ss\'{e} limits

abstract: We develop the theory of approximate Fra\"{i}ss\'{e} limits in the context of categories enriched over metric spaces. Among applications, we construct a generic projection on the Gurarii space and we present a simpler proof of a characterization of the pseudo-arc, due to Irwin and Solecki.


title: A Supersymmetric Explanation of the Excess of Higgs--Like Events at the LHC and at LEP

abstract: The LHC collaborations have recently announced evidence for the production of a "Higgs--like" boson with mass near 125 GeV. The properties of the new particle are consistent (within still quite large uncertainties) with those of the Higgs boson predicted in the Standard Model (SM). This discovery comes nearly ten years after a combined analysis of the four LEP experiments showed a mild excess of Higgs--like events with a mass near 98 GeV. I show that both groups of events can be explained simultaneously in the minimal supersymmetric extension of the SM, in terms of the production and decay of the two neutral CP--even Higgs bosons predicted by this model, and explore the phenomenological consequences of this explanation.


title: An algebraic approach to project schedule development under precedence constraints

abstract: An approach to schedule development in project management is developed within the framework of idempotent algebra. The approach offers a way to represent precedence relationships among activities in projects as linear vector equations in terms of an idempotent semiring. As a result, many issues in project scheduling reduce to solving computational problems in the idempotent algebra setting, including linear equations and eigenvalue-eigenvector problems. The solutions to the problems are given in a compact vector form that provides the basis for the development of efficient computation procedures and related software applications.


title: On the Inverse Erdos-Heilbronn Problem for Restricted Set Addition in Finite Groups

abstract: We provide a survey of results concerning both the direct and inverse problems to the Cauchy-Davenport theorem and Erdos-Heilbronn problem in Additive Combinatorics. We formulate an open conjecture concerning the inverse Erdos-Heilbronn problem in nonabelian groups. We extend an inverse to the Dias da Silva-Hamidoune Theorem to Z/nZ where n is composite, and we generalize this result into nonabelian groups.


title: A measure of similarity between scientific journals and of diversity of a list of publications

abstract: The aim of this note is to propose a definition of the scientific diversity and corollarly, a measure of the "interdisciplinarity" of collaborations. With respect to previous studies, the proposed approach consists of 2 steps : first, the definition of similarity between journals and second, these similarities are used to characterize the homogeneity (or, on the contrary the diversity) of a publication list (that can be for one individual or a team).


title: Neural Networks for Complex Data

abstract: Artificial neural networks are simple and efficient machine learning tools. Defined originally in the traditional setting of simple vector data, neural network models have evolved to address more and more difficulties of complex real world problems, ranging from time evolving data to sophisticated data structures such as graphs and functions. This paper summarizes advances on those themes from the last decade, with a focus on results obtained by members of the SAMM team of Universit\'e Paris 1


title: An Introduction to Quantum Computing using Cavity QED concepts

abstract: We present a concise but complete conceptual treatment of quantum computing implemented with Cavity Quantum Electrodynamics (CQED. The paper is intended as a brief overview for professionals who are coming over to the field from other areas and who may have not discussed the concepts behind quantum computing during their technical training.


title: Identification of HESS J1303-631 as a Pulsar Wind Nebula through gamma-ray, X-ray and radio observations

abstract: The previously unidentified very high-energy (VHE; E > 100 GeV) \gamma-ray source HESS J1303-631, discovered in 2004, is re-examined including new data from the H.E.S.S. Cherenkov telescope array. Archival data from the XMM-Newton X-ray satellite and from the PMN radio survey are also examined. Detailed morphological and spectral studies of VHE \gamma-ray emission as well as of the XMM-Newton X-ray data are performed. Significant energy-dependent morphology of the \gamma-ray source is detected with high-energy emission (E > 10 TeV) positionally coincident with the pulsar PSR J1301-6305 and lower energy emission (E <2 TeV) extending \sim 0.4^{\circ} to the South-East of the pulsar. The spectrum of the VHE source can be described with a power-law with an exponential cut-off N_{0} = (5.6 \pm 0.5) X 10^{-12} TeV^-1 cm^-2 s^-1, \Gamma = 1.5 \pm 0.2) and E_{\rm cut} = (7.7 \pm 2.2) TeV. The PWN is also detected in X-rays, extending \sim 2-3' from the pulsar position towards the center of the \gamma-ray emission region. The spectral energy distribution (SED) is well described by a one zone leptonic scenario which, with its associated caveats, predicts a very low average magnetic field for this source. Significant energy-dependent morphology of this source, as well as the identification of an associated X-ray PWN from XMM-Newton observations enable identification of the VHE source as an evolved PWN associated to the pulsar PSR J1303-6305. However, the large discrepancy in emission region sizes and the low level of synchrotron radiation suggest a multi-population leptonic nature. The low implied magnetic field suggests that the PWN has undergone significant expansion. This would explain the low level of synchrotron radiation and the difficulty in detecting counterparts at lower energies, the reason this source was originally classified as a "dark" VHE \gamma-ray source.


title: Full randomness from arbitrarily deterministic events

abstract: Do completely unpredictable events exist in nature? Classical theory, being fully deterministic, completely excludes fundamental randomness. On the contrary, quantum theory allows for randomness within its axiomatic structure. Yet, the fact that a theory makes prediction only in probabilistic terms does not imply the existence of any form of randomness in nature. The question then remains whether one can certify randomness independent of the physical framework used. While standard Bell tests approach this question from this perspective, they require prior perfect randomness, which renders the approach circular. Recently, it has been shown that it is possible to certify full randomness using almost perfect random bits. Here, we prove that full randomness can indeed be certified using quantum non-locality under the minimal possible assumptions: the existence of a source of arbitrarily weak (but non-zero) randomness and the impossibility of instantaneous signalling. Thus we are left with a strict dichotomic choice: either our world is fully deterministic or there exist in nature events that are fully random. Apart from the foundational implications, our results represent a quantum protocol for full randomness amplification, an information task known to be impossible classically. Finally, they open a new path for device-independent protocols under minimal assumptions.


title: Do phantom Cuntz-Krieger algebras exist?

abstract: If phantom Cuntz-Krieger algebras do not exist, then real rank zero Cuntz-Krieger algebras can be characterized by outer properties. In this survey paper, a summary of the known results on non-existence of phantom Cuntz-Krieger algebras is given.


title: The RKHS Approach to Minimum Variance Estimation Revisited: Variance Bounds, Sufficient Statistics, and Exponential Families

abstract: The mathematical theory of reproducing kernel Hilbert spaces (RKHS) provides powerful tools for minimum variance estimation (MVE) problems. Here, we extend the classical RKHS based analysis of MVE in several directions. We develop a geometric formulation of five known lower bounds on the estimator variance (Barankin bound, Cramer-Rao bound, constrained Cramer-Rao bound, Bhattacharyya bound, and Hammersley-Chapman-Robbins bound) in terms of orthogonal projections onto a subspace of the RKHS associated with a given MVE problem. We show that, under mild conditions, the Barankin bound (the tightest possible lower bound on the estimator variance) is a lower semicontinuous function of the parameter vector. We also show that the RKHS associated with an MVE problem remains unchanged if the observation is replaced by a sufficient statistic. Finally, for MVE problems conforming to an exponential family of distributions, we derive novel closed-form lower bound on the estimator variance and show that a reduction of the parameter set leaves the minimum achievable variance unchanged.


title: A new approach to soft set through applications of cubic set

abstract: The notions of (internal, external) cubic soft sets, P-(R-)order,P-(R-)union, P-(R-)intersection and P-OR, R-OR, P-AND and R-AND are introduced, and related properties are investigated. We show that the P-union and the P-intersection of internal cubic soft sets are also internal cubic soft sets. We provide conditions for the P-union (resp. P-intersection) of two external cubic soft sets to be an internal cubic soft set. We give conditions for the P-union (resp. R-union and R-intersection) of two external cubic soft sets to be an external cubic soft set. We consider conditions for the R-intersection (resp.P-intersection) of two cubic sof sets to be both an external cubic soft set and an internal cubic soft set.


title: A new generalization of fuzzy ideals in LA-semigroups

abstract: In this article, the concept of generalized fuzzy ideals in LA-semigroups. We introduced different types of generalized fuzzy ideals like bi-ideals, interior ideals and quasi ideals in LA-semigroups


title: Pointed homotopy and pointed lax homotopy of 2-crossed module maps

abstract: We address the (pointed) homotopy theory of 2-crossed modules (of groups), which are known to faithfully represent Gray 3-groupoids, with a single object, and also connected homotopy 3-types. The homotopy relation between 2-crossed module maps will be defined in a similar way to Crans' 1-transfors between strict Gray functors, however being pointed, thus this corresponds to Baues' homotopy relation between quadratic module maps. Despite the fact that this homotopy relation between 2-crossed module morphisms is not, in general, an equivalence relation, we prove that if $A$ and $A'$ are 2-crossed modules, with the underlying group $F$ of $A$ being free (in short $A$ is free up to order one), then homotopy between 2-crossed module maps $A \to A'$ yields, in this case, an equivalence relation. Furthermore, if a chosen basis $B$ is specified for $F$, then we can define a 2-groupoid $HOM_B(A,A')$ of 2-crossed module maps $A \to A'$, homotopies connecting them, and 2-fold homotopies between homotopies, where the latter correspond to (pointed) Crans' 2-transfors between 1-transfors. We define a partial resolution $Q^1(A)$, for a 2-crossed module $A$, whose underlying group is free, with a canonical chosen basis, together with a projection map ${\rm proj}\colon Q^1(A) \to A$, defining isomorphisms at the level of 2-crossed module homotopy groups. This resolution (which is part of a comonad) leads to a weaker notion of homotopy (lax homotopy) between 2-crossed module maps, which we fully develop and describe. In particular, given 2-crossed modules $A$ and $A'$, there exists a 2-groupoid ${HOM}_{\rm LAX}(A,A')$ of (strict) 2-crossed module maps $A \to A'$, and their lax homotopies and lax 2-fold homotopies. The associated notion of a (strict) 2-crossed module map $f\colon A \to A'$ to be a lax homotopy equivalence has the two-of-three property, and it is closed under retracts.


title: Error Estimation, Error Correction and Verification In Quantum Key Distribution

abstract: We consider error correction in quantum key distribution. To avoid that Alice and Bob unwittingly end up with different keys precautions must be taken. Before running the error correction protocol, Bob and Alice normally sacrifice some bits to estimate the error rate. To reduce the probability that they end up with different keys to an acceptable level, we show that a large number of bits must be sacrificed. Instead, if Alice and Bob can make a good guess about the error rate before the error correction, they can verify that their keys are similar after the error correction protocol. This verification can be done by utilizing properties of Low Density Parity Check codes used in the error correction. We compare the methods and show that by verification it is often possible to sacrifice less bits without compromising security. The improvement is heavily dependent on the error rate and the block length, but for a key produced by the IdQuantique system Clavis^2, the increase in the key rate is approximately 5 percent. We also show that for systems with large fluctuations in the error rate a combination of the two methods is optimal.