title: An Epistemic Strategy Logic

abstract: This paper presents an extension of temporal epistemic logic with operators that quantify over agent strategies. Unlike previous work on alternating temporal epistemic logic, the semantics works with systems whose states explicitly encode the strategy being used by each of the agents. This provides a natural way to express what agents would know were they to be aware of some of the strategies being used by other agents. A number of examples that rely upon the ability to express an agent's knowledge about the strategies being used by other agents are presented to motivate the framework, including reasoning about game theoretic equilibria, knowledge-based programs, and information theoretic computer security policies. Relationships to several variants of alternating temporal epistemic logic are discussed. The computational complexity of model checking the logic and several of its fragments are also characterized.


title: Multi-resonant silver nano-disk patterned thin film hydrogenated amorphous silicon solar cells for Staebler-Wronski effect compensation

abstract: We study polarization independent improved light trapping in commercial thin film hydrogenated amorphous silicon (a-Si:H) solar photovoltaic cells using a three-dimensional silver array of multi-resonant nano-disk structures embedded in a silicon nitride anti-reflection coating (ARC) to enhance optical absorption in the intrinsic layer (i-a-Si:H) for the visible spectrum for any polarization angle. Predicted total optical enhancement (OE) in absorption in the i-a-Si:H for AM-1.5 solar spectrum is 18.51% as compared to the reference, and producing a 19.65% improvement in short-circuit current density (JSC) over 11.7 mA/cm2 for a reference cell. The JSC in the nano-disk patterned solar cell (NDPSC) was found to be higher than the commercial reference structure for any incident angle. The NDPSC has a multi-resonant optical response for the visible spectrum and the associated mechanism for OE in i-a-Si:H layer is excitation of Fabry-Perot resonance facilitated by surface plasmon resonances. The detrimental Staebler-Wronski effect (SWE) in a-Si:H solar cell can be minimized by the additional OE in the NDPSC and self-annealing of defect states by additional heat generation, thus likely improving the overall stabilized characteristics of a-Si:H solar cells.


title: Analyzing the Language of Food on Social Media

abstract: We investigate the predictive power behind the language of food on social media. We collect a corpus of over three million food-related posts from Twitter and demonstrate that many latent population characteristics can be directly predicted from this data: overweight rate, diabetes rate, political leaning, and home geographical location of authors. For all tasks, our language-based models significantly outperform the majority-class baselines. Performance is further improved with more complex natural language processing, such as topic modeling. We analyze which textual features have most predictive power for these datasets, providing insight into the connections between the language of food, geographic locale, and community characteristics. Lastly, we design and implement an online system for real-time query and visualization of the dataset. Visualization tools, such as geo-referenced heatmaps, semantics-preserving wordclouds and temporal histograms, allow us to discover more complex, global patterns mirrored in the language of food.


title: The Geometry of Axisymmetric Ideal Fluid Flows with Swirl

abstract: The sectional curvature of the volume preserving diffeomorphism group of a Riemannian manifold $M$ can give information about the stability of inviscid, incompressible fluid flows on $M$. We demonstrate that the submanifold of the volumorphism group of the solid flat torus generated by axisymmetric fluid flows with swirl, denoted by $\mathcal{D}_{\mu,E}(M)$, has positive sectional curvature in every section containing the field $X = u(r)\partial_\theta$ iff $\partial_r(ru^2)>0$. This is in sharp contrast to the situation on $\mathcal{D}_{\mu}(M)$, where only Killing fields $X$ have nonnegative sectional curvature in all sections containing it. We also show that this criterion guarantees the existence of conjugate points on $\mathcal{D}_{\mu,E}(M)$ along the geodesic defined by $X$.


title: Riemannian geometry of the contactomorphism group

abstract: We define a right-invariant Riemannian metric on the group of contactomorphisms and study its Euler-Arnold equation. If the metric is associated to the contact form, the Euler-Arnold equation reduces to $m_t + u(m) + (n+2) mE(f) = 0$, in terms of the Reeb field $E$, a stream function $f$, the contact vector field $u$ defined by $f$, and the momentum $m = f - \Delta f$. Here the equation is considered on a compact manifold $M$ of dimension $2n+1$. When $n=0$ this reduces to the Camassa-Holm equation, and we emphasize the analogy with the higher-order equation. We use the usual momentum conservation law for Euler-Arnold equations to rewrite the geodesic equation as a smooth first-order equation on the contactomorphism group of Sobolev class $H^s$, and thus obtain local existence in time of solutions which depend smoothly on initial data. In addition we prove a global existence criterion analogous to the Beale-Kato-Majda criterion in fluid mechanics, and show how this criterion is automatically satisfied on the totally geodesic subgroup of quantomorphisms. Finally we briefly discuss singular solutions and conservation laws of the Euler-Arnold equation.


title: On Some Computations of Higher Rank Refined Donaldson-Thomas Invariants

abstract: We present some computations of higher rank refined Donaldson-Thomas invariants on local curve geometries, corresponding to local D6-D2-D0 or D4-D2-D0 configurations. A refined wall-crossing formula for invariants with higher D6 or D4 ranks is derived and verified to agree with the existing formulas under the unrefined limit. Using the formula, refined invariants on the $(-1,-1)$ and $(-2,0)$ local rational curve with higher D6 or D4 ranks are computed.


title: Distribution of quantum Fisher information in asymmetric cloning machines

abstract: An unknown quantum state cannot be copied on demand and broadcast freely due to the famous no-cloning theorem. Approximate cloning schemes have been proposed to achieve the optimal cloning characterized by the maximal fidelity between the original and its copies. Here, from the perspective of quantum Fisher information (QFI), we investigate the distribution of QFI in asymmetric cloning machines which produce two nonidentical copies. As one might expect, improving the QFI of one copy results in decreasing the QFI of the other copy, roughly the same as that of fidelity. It is perhaps also unsurprising that asymmetric phase-covariant cloning machine outperforms universal cloning machine in distributing QFI since a priori information of the input state has been utilized. However, interesting results appear when we compare the distributabilities of fidelity (which quantifies the full information of quantum states), and QFI (which only captures the information of relevant parameters) in asymmetric cloning machines. In contrast to the results of fidelity, where the distributability of symmetric cloning is always optimal for any d-dimensional cloning, we find that asymmetric cloning performs always better than symmetric cloning on the distribution of QFI for $d\leq18$, but this conclusion becomes invalid when $d>18$.


title: Multiple phase estimation for arbitrary pure states under white noise

abstract: In any realistic quantum metrology scenarios, the ultimate precision in the estimation of parameters is limited not only by the so-called Heisenberg scaling, but also the environmental noise encountered by the underlying system. In the context of quantum estimation theory, it is of great significance to carefully evaluate the impact of a specific type of noise on the corresponding quantum Fisher information (QFI) or quantum Fisher information matrix (QFIM). Here we investigate the multiple phase estimation problem for a natural parametrization of arbitrary pure states under white noise. We obtain the explicit expression of the symmetric logarithmic derivative (SLD) and hence the analytical formula of QFIM. Moreover, the attainability of the quantum Cram\'{e}r-Rao bound (QCRB) is confirmed by the commutability of SLDs and the optimal estimators are elucidated for the experimental purpose. These findings generalize previously known partial results and highlight the role of white noise in quantum metrology.


title: Systemic Measures for Performance and Robustness of Large-Scale Interconnected Dynamical Networks

abstract: In this paper, we develop a novel unified methodology for performance and robustness analysis of linear dynamical networks. We introduce the notion of systemic measures for the class of first--order linear consensus networks. We classify two important types of performance and robustness measures according to their functional properties: convex systemic measures and Schur--convex systemic measures. It is shown that a viable systemic measure should satisfy several fundamental properties such as homogeneity, monotonicity, convexity, and orthogonal invariance. In order to support our proposed unified framework, we verify functional properties of several existing performance and robustness measures from the literature and show that they all belong to the class of systemic measures. Moreover, we introduce new classes of systemic measures based on (a version of) the well--known Riemann zeta function, input--output system norms, and etc. Then, it is shown that for a given linear dynamical network one can take several different strategies to optimize a given performance and robustness systemic measure via convex optimization. Finally, we characterized an interesting fundamental limit on the best achievable value of a given systemic measure after adding some certain number of new weighted edges to the underlying graph of the network.


title: Cryogenic Control Architecture for Large-Scale Quantum Computing

abstract: Solid-state qubits have recently advanced to the level that enables them, in-principle, to be scaled-up into fault-tolerant quantum computers. As these physical qubits continue to advance, meeting the challenge of realising a quantum machine will also require the engineering of new classical hardware and control architectures with complexity far beyond the systems used in today's few-qubit experiments. Here, we report a micro-architecture for controlling and reading out qubits during the execution of a quantum algorithm such as an error correcting code. We demonstrate the basic principles of this architecture in a configuration that distributes components of the control system across different temperature stages of a dilution refrigerator, as determined by the available cooling power. The combined setup includes a cryogenic field-programmable gate array (FPGA) controlling a switching matrix at 20 millikelvin which, in turn, manipulates a semiconductor qubit.


title: Lie Algebraic Similarity Transformed Hamiltonians for Lattice Model Systems

abstract: We present a class of Lie algebraic similarity transformations generated by exponentials of two-body on-site hermitian operators whose Hausdorff series can be summed exactly without truncation. The correlators are defined over the entire lattice and include the Gutzwiller factor $n_{i\uparrow}n_{i\downarrow}$, and two-site products of density $(n_{i\uparrow} + n_{i\downarrow})$ and spin $(n_{i\uparrow}-n_{i\downarrow})$ operators. The resulting non-hermitian many-body Hamiltonian can be solved in a biorthogonal mean-field approach with polynomial computational cost. The proposed similarity transformation generates locally weighted orbital transformations of the reference determinant. Although the energy of the model is unbound, projective equations in the spirit of coupled cluster theory lead to well-defined solutions. The theory is tested on the 1D and 2D repulsive Hubbard model where we find accurate results across all interaction strengths.


title: Self-accelerating Massive Gravity: Covariant Perturbation Theory

abstract: We undertake a complete and covariant treatment for the quadratic Lagrangian of all of the degrees of freedom of massive gravity with a fixed flat fiducial metric for arbitrary massive gravity parameters around any isotropic self-accelerating background solution. Generically, 3 out of 4 Stuckelberg degrees of freedom propagate in addition to the usual 2 tensor degrees of freedom of general relativity. The complete kinetic structure typically is only revealed at an order in the graviton mass that is equivalently to retaining curvature terms in a locally flat expansion. These results resolve several apparent discrepancies in the literature where zero degrees of freedom propagate in either special cases or approximate treatments as well as decoupling limit analyses which attempt to count longitudinal degrees of freedom.


title: Theoretical modelling discriminates the stochastic and deterministic hypothesis of cell reprogramming

abstract: How to induce differentiated cells into pluripotent cells has elicited researchers' interests for a long time since pluripotent stem cells are able to offer remarkable potential in numerous subfields of biological research. However, the nature of cell reprogramming, especially the mechanisms still remain elusive for the sake of most protocols of inducing pluripotent stem cells were discovered by screening but not from the knowledge of gene regulation networks. Generally there are two hypotheses to elucidate the mechanism termed as elite model and stochastic model which regard reprogramming process a deterministic process or a stochastic process, respectively. However, the difference between these two models cannot yet be discriminated experimentally. Here we used a general mathematical model to elucidate the nature of cell reprogramming which can fit both hypotheses. We investigated this process from a novel perspective, the timing. We calculated the time of reprogramming in a general way and find that noise would play a significant role if the stochastic hypothesis holds. Thus the two hypotheses may be discriminated experimentally by counting the time of reprogramming in different magnitudes of noise. Because our approach is general, our results should facilitate broad studies of rational design of cell reprogramming protocols.


title: Comparing the dynamics of diagonal and general Bianchi IX spacetime

abstract: We make comparison of the dynamics of the diagonal and nondiagonal Bianchi IX models in the evolution towards the cosmological singularity. Apart from the original variables, we use the Hubble normalized ones commonly applied in the examination of the dynamics of homogeneous models. Applying the dynamical systems method leads to the result that in both cases the continuous space of critical points is higher dimensional and they are of the nonhyperbolic type. This is a generic feature of the dynamics of both cases and seems to be independent on the choice of phase space variables. The topologies of the corresponding critical spaces are quite different. We conjecture that the nondiagonal case may carry a new type of chaos different from the one specific to the usually examined diagonal one.


title: The Shifting Sands of Creative Thinking: Connections to Dual Process Theory

abstract: Dual process models of cognition suggest there are two kinds of thought: rapid, automatic Type 1 processes, and effortful, controlled Type 2 processes. Models of creative thinking also distinguish between two sets of processes: those involved in the generation of ideas, and those involved with their refinement, evaluation and/or selection. Here we review dual process models in both these literatures and delineate the similarities and differences. Both generative and evaluative creative processing modes involve elements that have been attributed to each of the dual processes of cognition. We explore the notion that creative thinking may rest upon the nature of a shifting process between generative and evaluative modes of thought. We suggest that through a synthesis application of the evidence bases on dual process models of cognition and from neuroimaging, together with developing chronometric approaches to explore the shifting process, could assist the development of interventions to facilitate creativity.


title: A wireless hand-held platform for robotic behavior control

abstract: The need for customizable properties in autonomous robotic platforms, such as in-home nursing care for the elderly and parallel implementations of human-to-machine control interfaces creates an opportunity to introduce methods deploying commonly available mobile devices running robotic command applications in managed code. This paper will discuss a human-to-machine interface and demonstrate a prototype consisting of a mobile device running a configurable application communicating with a mobile robot using a managed, type-safe language, C#.NET, over Bluetooth.


title: Dynamics of magnetization and carriers at the onset of the photo-excited precession of magnetization in (Ga,Mn)As

abstract: Photo-excited precession of magnetization in (Ga,Mn)As is investigated by measuring time-resolved magneto-optical response and transient differential reflectivity with pump-and-probe technique. In the time region less than 1 ps, rapidly oscillating and spike-like signals are observed, respectively, with excitation of below and above the GaAs band gap. Analysis with gyromagnetic model and autocorrelation function concludes that those signals are not attributed to ultrafast demagnetization but due to interference between pump and probe pulses incorporating sub-ps carrier dynamics characteristic of low-temperature grown semiconductors. Photo-ionization of Mn ions (Mn2+ -> Mn3+) is proposed as a mechanism which dynamically induces orbital angular momentum and affects hole-mediated magnetic anisotropy in (Ga,Mn)As.


title: Why Blind-Variation Selective-Retention is an Inappropriate Explanatory Framework for Creativity

abstract: Simonton is attempting to salvage the Blind Variation Selective Retention theory of creativity (often referred to as the Darwinian theory of creativity) by dissociating it from Darwinism. This is a necessary move for complex reasons outlined in detail elsewhere. However, whether or not one calls BVSR a Darwinian theory, it is still a variation-and-selection theory. Variation-and-selection was put forward to solve a certain kind of paradox, that of how biological change accumulates (that is, over generations, species become more adapted to their environment) despite being discarded at the end of each generation (that is, parents don't transmit to offspring knowledge or bodily changes acquired during their lifetimes, e.g., you don't inherit your mother's ear piercings). This paradox does not exist with respect to creative thought. There is no discarding of acquired change when ideas are transmitted amongst individuals; we share with others modified versions of the ideas we were exposed to on a regular basis.


title: Lifting Galois representations to ramified coefficient fields

abstract: Let $p>5$ be a prime integer and $K/\mathbb{Q}_p$ a finite ramified extension with ring of integers $\mathcal{O}$ and uniformizer $\pi$. Let $n>1$ be a positive integer and $\rho_n:G_\mathbb{Q} \to \text{GL}_2(\mathcal{O}/\pi^n)$ be a continuous Galois representation. In this article we prove that under some technical hypotheses the representation $\rho_n$ can be lifted to a representation $\rho:G_\mathbb{Q} \to \text{GL}_2(\mathcal{O})$. Furthermore, we can pick the lift restriction to inertia at any finite set of primes (at the cost of allowing some extra ramification) and get a deformation problem whose universal ring is isomorphic to $W(\mathbb{F})[[X]]$. The lifts constructed are "nearly ordinary" (not necessarily Hodge-Tate) but we can prove the existence of ordinary modular points (up to twist).


title: Singular integrals of non-convolution type on product spaces

abstract: We study a new class of pseudo differential operators whose symbols satisfy the differential inequality with a mixture of homogeneities. On the other hand, by taking singular integral realization, it can be equivalently defined by kernels carrying certain characteristic properties on product spaces. We prove that these operators are bounded on L^p-spaces for 1<p<infinity. Moreover, they form an algebra.


title: Constraint on K Kbar compositeness of the a0(980) and f0(980) resonances from their mixing intensity

abstract: Structure of the $a_{0}(980)$ and $f_{0}(980)$ resonances is investigated with the $a_{0}(980)$-$f_{0}(980)$ mixing intensity from the viewpoint of compositeness, which corresponds to the amount of two-body states composing resonances as well as bound states. For this purpose we first formulate the $a_{0}(980)$-$f_{0}(980)$ mixing intensity as the ratio of two partial decay widths of a parent particle, in the same manner as the recent analysis in BES experiments. Calculating the $a_{0}(980)$-$f_{0}(980)$ mixing intensity with the existing Flatte parameters from experiments, we find that many combinations of the $a_{0}(980)$ and $f_{0}(980)$ Flatte parameters can reproduce the experimental value of the $a_{0}(980)$-$f_{0}(980)$ mixing intensity by BES. Next, from the same Flatte parameters we also calculate the $K \bar{K}$ compositeness for $a_{0}(980)$ and $f_{0}(980)$. Although the compositeness with the correct normalization becomes complex in general for resonance states, we find that the Flatte parameters for $f_{0}(980)$ imply large absolute value of the $K \bar{K}$ compositeness and the parameters for $a_{0}(980)$ lead to small but nonnegligible absolute value of the $K \bar{K}$ compositeness. Then, connecting the mixing intensity and the $K \bar{K}$ compositeness via the $a_{0}(980)$- and $f_{0}(980)$-$K \bar{K}$ coupling constants, we establish a relation between them. As a result, a small mixing intensity indicates a small value of the product of the $K \bar{K}$ compositeness for the $a_{0}(980)$ and $f_{0}(980)$ resonances. Moreover, the experimental value of the $a_{0}(980)$-$f_{0}(980)$ mixing intensity implies that the $a_{0}(980)$ and $f_{0}(980)$ resonances cannot be simultaneously $K \bar{K}$ molecular states.


title: Approximation of eigenvalues of spot cross volatility matrix with a view toward principal component analysis

abstract: In order to study the geometry of interest rates market dynamics, Malliavin, Mancino and Recchioni [A non-parametric calibration of the HJM geometry: an application of It\^o calculus to financial statistics, {\it Japanese Journal of Mathematics}, 2, pp.55--77, 2007] introduced a scheme, which is based on the Fourier Series method, to estimate eigenvalues of a spot cross volatility matrix. In this paper, we present another estimation scheme based on the Quadratic Variation method. We first establish limit theorems for each scheme and then we use a stochastic volatility model of Heston's type to compare the effectiveness of these two schemes.


title: In situ characterization of delamination and crack growth of a CGO-LSM multi-layer ceramic sample investigated by X-ray tomographic microscopy

abstract: The densification, delamination and crack growth behavior in a Ce$_{0.9}$Gd$_{0.1}$O$_{1.95}$ (CGO) and (La$_{0.85}$Sr$_{0.15})_{0.9}$MnO$_{3}$ (LSM) multi-layer ceramic sample was studied using in situ X-ray tomographic microscopy (microtomography), to investigate the critical dynamics of crack propagation and delamination in a multilayered sample. Naturally occurring defects, caused by the sample preparation process, are shown not to be critical in sample degradation. Instead defects are nucleated during the debinding step. Crack growth is significantly faster along the material layers than perpendicular to them, and crack growth and delamination only accelerates when sintering occurs.


title: Genus one factors of curves defined by separated variable polynomials

abstract: We give some sufficient conditions on complex polynomials P and Q to assure that the algebraic plane curve P(x)-Q(y)=0 has no irreducible component of genus 0 or 1. Moreover, if deg (P)=deg (Q) and if both P, Q satisfy Hypothesis I introduced by H. Fujimoto, our sufficient conditions are necessary.


title: Remarks on absolute continuity in the context of free probability and random matrices

abstract: In this note, we show that the limiting spectral distribution of symmetric random matrices with stationary entries is absolutely continuous under some sufficient conditions. This result is applied to obtain sufficient conditions on a probability measure for its free multiplicative convolution with the semicircle law to be absolutely continuous.


title: On conjectures and problems of Ruzsa concerning difference graphs of S-units

abstract: Given a finite nonempty set of primes S, we build a graph $\mathcal{G}$ with vertex set $\mathbb{Q}$ by connecting x and y if the prime divisors of both the numerator and denominator of x-y are from S. In this paper we resolve two conjectures posed by Ruzsa concerning the possible sizes of induced nondegenerate cycles of $\mathcal{G}$, and also a problem of Ruzsa concerning the existence of subgraphs of $\mathcal{G}$ which are not induced subgraphs.


title: An Explicit Result for $|L(1+it,\chi)|$

abstract: We give an explicit upper bound for non-principal Dirichlet $L$-functions on the line $s=1+it$. This result can be applied to improve the error in the zero-counting formulae for these functions.


title: Ambient cosmology and spacetime singularities

abstract: We present a new approach to the issues of spacetime singularities and cosmic censorship in general relativity. This is based on the idea that standard 4-dimensional spacetime is the conformal infinity of an ambient metric for the 5-dimensional Einstein equations with fluid sources. We then find that the existence of spacetime singularities in four dimensions is constrained by asymptotic properties of the ambient 5-metric, while the non-degeneracy of the latter crucially depends on cosmic censorship holding on the boundary.


title: Adaptive Anchored Inversion for Gaussian Random Fields Using Nonlinear Data

abstract: In a broad and fundamental type of ''inverse problems'' in science, one infers a spatially distributed physical attribute based on observations of processes that are controlled by the spatial attribute in question. The data-generating field processes, known as ''forward processes'', are usually nonlinear with respect to the spatial attribute, and are often defined non-analytically by a numerical model. The data often contain a large number of elements with significant inter-correlation. We propose a general statistical method to tackle this problem. The method is centered on a parameterization device called ''anchors'' and an iterative algorithm for deriving the distribution of anchors conditional on the observed data. The algorithm draws upon techniques of importance sampling and multivariate kernel density estimation with weighted samples. Anchors are selected automatically; the selection evolves in iterations in a way that is tailored to important features of the attribute field. The method and the algorithm are general with respect to the scientific nature and technical details of the forward processes. Conceptual and technical components render the method in contrast to standard approaches that are based on regularization or optimization. Some important features of the proposed method are demonstrated by examples from the earth sciences, including groundwater flow, rainfall-runoff, and seismic tomography.


title: Analysis of factors that affect the students academic performance - Data Mining Approach

abstract: Analysis of factors that affect students academic performance - Data Mining Approach


Assessment of classification techniques on predicting success or failure of Software reusability


title: Isolating relativistic effects in large-scale structure

abstract: We present a fully relativistic calculation of the observed galaxy number counts in the linear regime. We show that besides the density fluctuations and redshift-space distortions, various relativistic effects contribute to observations at large scales. These effects all have the same physical origin: they result from the fact that our coordinate system, namely the galaxy redshift and the incoming photons' direction, is distorted by inhomogeneities in our universe. We then discuss the impact of the relativistic effects on the angular power spectrum and on the two-point correlation function in configuration space. We show that the latter is very well adapted to isolate the relativistic effects since it naturally makes use of the symmetries of the different contributions. In particular, we discuss how the Doppler effect and the gravitational redshift distortions can be isolated by looking for a dipole in the cross-correlation function between a bright and a faint population of galaxies.


title: Supersymmetry and eigensurface topology of the spherical quantum pendulum

abstract: We undertook a mutually complementary analytic and computational study of the full-fledged spherical (3D) quantum rotor subject to combined orienting and aligning interactions characterized, respectively, by dimensionless parameters $\eta$ and $\zeta$. By making use of supersymmetric quantum mechanics (SUSY QM), we found two sets of conditions under which the problem of a spherical quantum pendulum becomes analytically solvable. These conditions coincide with the loci $\zeta=\frac{\eta^2}{4k^2}$ of the intersections of the eigenenergy surfaces spanned by the $\eta$ and $\zeta$ parameters. The integer topological index $k$ is independent of the eigenstate and thus of the projection quantum number $m$. These findings have repercussions for rotational spectra and dynamics of molecules subject to combined permanent and induced dipole interactions.


title: Optimal double stopping of a Brownian bridge

abstract: We study optimal double stopping problems driven by a Brownian bridge. The objective is to maximize the expected spread between the payoffs achieved at the two stopping times. We study several cases where the solutions can be solved explicitly by strategies of threshold type.


title: Prediction of pressure-induced stabilization of noble-gas-atom compounds with alkali oxides and alkali sulfides

abstract: The cubic antifluorite structure comprises a face-centered cubic sublattice of anions with cations on the tetrahedral sites. The voids in the antifluorite structure that are crucial for superionicity in Li2O might also act as atomic traps. Trapping of guest atoms and small molecules within voids of a host structure leads to the formation of what are known as clathrate compounds. Here we investigate the possibility of trapping helium or larger neon guest atoms under pressure within alkali metal oxide and sulfide structures. We find stable helium and neon-bearing compounds at very low pressures. These structures are stabilized by a reduction in volume from incorporation of helium or neon atoms within the antifluorite structure. We predict that NeCs2S could be stable at ambient pressure. Our study suggests a novel class of alkali oxide and sulfide materials incorporating noble gas atoms that might potentially be useful for gas storage.


title: Defining medium-specific condensates in QCD sum rules for $D$ and $B$ mesons

abstract: QCD sum rules for $D$ and $B$ mesons in a strongly interacting environment require the decomposition of Gibbs averaged operators related to tensor structures. We present a procedure to decompose these operators into vacuum and medium-specific parts, thus defining plain medium-specific condensates with coefficients vanishing in vacuum. Our decomposition allows for an identification of potential elements of order parameters for chiral restoration, in particular for higher mass-dimension quark-condensates which would be masked otherwise if operators with uncontracted Lorentz indices would be linked to DIS amplitudes.


title: Singular multicontact structures

abstract: We describe the automorphisms of a singular multicontact structure, that is a generalisation of the Martinet distribution. Such a structure is interpreted as a para-CR structure on a hypersurface M of a direct product space R^2 x R^2. We introduce the notion of a finite type singularity analogous to CR geometry and, along the way, we prove extension results for para-CR functions and mappings on embedded para-CR manifolds into the ambient space.


title: Exciton formation in strongly correlated electron-hole systems near the semimetal-semiconductor transition

abstract: The region surrounding the excitonic insulator phase is a three-component plasma composed of electrons, holes, and excitons. Due to the extended nature of the excitons, their presence influences the surrounding electrons and holes. We analyze this correlation. To this end, we calculate the density of bound electrons, the density of electrons in the correlated state, the momentum-resolved exciton density, and the momentum-resolved density of electron-hole pairs that are correlated but unbound. We find qualitative differences in the electron-hole correlations between the weak-coupling and the strong-coupling regime.


title: The sensitivity of the ICAL detector at India-based Neutrino Observatory to neutrino oscillation parameters

abstract: The India-based Neutrino Observatory (INO) will host a 50 kt magnetized iron calorimeter (ICAL) detector that will be able to detect muon tracks and hadron showers produced by Charged-Current muon neutrino interactions in the detector. The ICAL experiment will be able to determine the precision of atmospheric neutrino mixing parameters and neutrino mass hierarchy using atmospheric muon neutrinos through earth matter effect. In this paper, we report on the sensitivity for the atmospheric neutrino mixing parameters ($\sin^{2}\theta_{23}$ and $|\Delta m^{2}_{32}|$) for the ICAL detector using the reconstructed neutrino energy and muon direction as observables. We apply realistic resolutions and efficiencies obtained by the ICAL collaboration with a GEANT4-based simulation to reconstruct neutrino energy and muon direction. Our study shows that using neutrino energy and muon direction as observables for a $\chi^{2}$ analysis, ICAL detector can measure $\sin^{2}\theta_{23}$ and $|\Delta m^{2}_{32}|$ with 13% and 4% uncertainties at 1$\sigma$ confidence level for 10 years of exposure.


title: When coding meets ranking: A joint framework based on local learning

abstract: Sparse coding, which represents a data point as a sparse reconstruction code with regard to a dictionary, has been a popular data representation method. Meanwhile, in database retrieval problems, learning the ranking scores from data points plays an important role. Up to now, these two problems have always been considered separately, assuming that data coding and ranking are two independent and irrelevant problems. However, is there any internal relationship between sparse coding and ranking score learning? If yes, how to explore and make use of this internal relationship? In this paper, we try to answer these questions by developing the first joint sparse coding and ranking score learning algorithm. To explore the local distribution in the sparse code space, and also to bridge coding and ranking problems, we assume that in the neighborhood of each data point, the ranking scores can be approximated from the corresponding sparse codes by a local linear function. By considering the local approximation error of ranking scores, the reconstruction error and sparsity of sparse coding, and the query information provided by the user, we construct a unified objective function for learning of sparse codes, the dictionary and ranking scores. We further develop an iterative algorithm to solve this optimization problem.


title: Many 2-level polytopes from matroids

abstract: The family of 2-level matroids, that is, matroids whose base polytope is 2-level, has been recently studied and characterized by means of combinatorial properties. 2-level matroids generalize series-parallel graphs, which have been already successfully analyzed from the enumerative perspective. We bring to light some structural properties of 2-level matroids and exploit them for enumerative purposes. Moreover, the counting results are used to show that the number of combinatorially non-equivalent (n-1)-dimensional 2-level polytopes is bounded from below by $c \cdot n^{-5/2} \cdot \rho^{-n}$, where $c\approx 0.03791727 $ and $\rho^{-1} \approx 4.88052854$.


title: Managing Flexibility in Multi-Area Power Systems

abstract: In this paper we present a framework to efficiently characterize the available operational flexibility in a multi-area power system. We focus on the available reserves and the tie-line flows. The proposed approach is an alternative to the current calculation of the Available Transfer Capacity (ATC), as it considers location and availability of reserves, transmission constraints, and interdependencies of tie-line flows between different areas, while it takes into account the N-1 security criterion. The method is based on computational geometry using polytopic projections. It requires only a limited amount of information exchange and does not need central coordination. The method has two versions: a passive and an active approach, where neighboring areas can share reserves. In that respect we also introduce the term "exported flexibility", which could form the basis for a new trading product in electricity markets. Case studies demonstrate the improved tie-line utilization, especially if reserves are shared, and the visualization benefits.


title: Tracing Analytic Ray Curves for Light and Sound Propagation in Non-linear Media

abstract: The physical world consists of spatially varying media, such as the atmosphere and the ocean, in which light and sound propagates along non-linear trajectories. This presents a challenge to existing ray-tracing based methods, which are widely adopted to simulate propagation due to their efficiency and flexibility, but assume linear rays. We present a novel algorithm that traces analytic ray curves computed from local media gradients, and utilizes the closed-form solutions of both the intersections of the ray curves with planar surfaces, and the travel distance. By constructing an adaptive unstructured mesh, our algorithm is able to model general media profiles that vary in three dimensions with complex boundaries consisting of terrains and other scene objects such as buildings. We trace the analytic ray curves using the adaptive unstructured mesh, which considerably improves the efficiency over prior methods. We highlight the algorithm's application on simulation of sound and visual propagation in outdoor scenes.


title: Nanoscale Graphene Disk: A Natural Functionally Graded Material --The Thermal Conductivity of Nanoscale Graphene Disk by Molecular Dynamics Simulation

abstract: In this letter, we investigate numerically (by non-equilibrium molecular dynamics) and analytically the thermal conductivity of nanoscale graphene disks (NGDs), and discussed the possibility to realize FGM with only one material, NGDs. We found that the NGD has a graded thermal conductivity and can be used as FGM in a large temperature range. Moreover, we show the dependent of NGDs' thermal conductivity on radius and temperature. Our study may inspire experimentalists to develop NGD based FGMs and help heat removal of hot spots on chips by graphene.


title: Universal Optimal Quantum Correlator

abstract: Recently, a novel operational strategy to access quantum correlation functions of the form Tr[A rho B] was provided in [F. Buscemi, M. Dall'Arno, M. Ozawa, and V. Vedral, arXiv:1312.4240]. Here we propose a realization scheme, that we call partial expectation values, implementing such strategy in terms of a unitary interaction with an ancillary system followed by the measurement of an observable on the ancilla. Our scheme is universal, being independent of rho, A, and B, and it is optimal in a statistical sense. Our scheme is suitable for implementation with present quantum optical technology, and provides a new way to test uncertainty relations.


title: Ambient Pressure Structural Quantum Critical Point in the Phase Diagram of (Ca$_x$Sr$_{1-x}$)$_3$Rh$_4$Sn$_{13}$

abstract: The quasi-skutterudite superconductor Sr$_3$Rh$_4$Sn$_{13}$ features a pronounced anomaly in electrical resistivity at $T^*\sim$138 K. We show that the anomaly is caused by a second-order structural transition, which can be tuned to 0 K by applying physical pressure and chemical pressure via the substitution of Ca for Sr. A broad superconducting dome is centred around the structural quantum critical point. Detailed analysis of the tuning parameter dependence of $T^*$ as well as insights from lattice dynamics calculations strongly support the existence of a structural quantum critical point at ambient pressure when the fraction of Ca is 0.9 (i.e., $x_c=0.9$). This establishes (Ca$_x$Sr$_{1-x}$)$_3$Rh$_4$Sn$_{13}$ series as an important system for exploring the physics of structural quantum criticality without the need of applying high pressures.


title: Analytical model for waveguide light propagation and applications

abstract: We study the polarization properties of elliptical femtosecond-laser-written waveguides arrays. A new analytical model is presented to explain the asymmetry of the spatial transverse profiles of linearly polarized modes in these waveguides. This asymmetry produces a polarization dependent coupling coefficient, between adjacent waveguides, which strongly affects the propagation of light in a lattice. Our analysis explains how this effect can be exploited to tune the final intensity distribution of light propagated through the array, and links the properties of a polarizing beam splitter in integrated optical circuits to the geometry of the waveguides.


title: Detecting the Diffuse Supernova Neutrino Background with LENA

abstract: LENA (Low Energy Neutrino Astronomy) has been proposed as a next generation 50 kt liquid scintillator detector. Its large target mass allows to search for the Diffuse Supernova Neutrino Background (DSNB), which was generated by the cumulative emissions of all core-collapse supernovae throughout the universe. Indistinguishable background from reactor and atmospheric electron antineutrinos limits the detection window to the energy range between 9.5 MeV and 25 MeV. Depending on the mean supernova neutrino energy, about 5 to 10 events per year are expected in this energy window. The background from neutral current reactions of atmospheric neutrinos surpasses the DSNB by more than one order magnitude, but can be suppressed by pulse shape discrimination. Assuming that the residual background is known with 5% uncertainty, the DSNB can be detected with 2 sigma significance after 10 years of data taking. In case that no hint for a signal is seen, current standard DSNB models would be ruled out with more than 90% C.L.


title: Lebesgue measure theory and integration theory on non-archimedean real closed fields with archimedean value group

abstract: Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results from the classical setting hold. The construction involves methods from model theory, o-minimal geometry and valuation theory. We set up the construction in such a way that it is determined by a section of the valuation. If the value group is isomorphic to the group of rational numbers the construction is uniquely determined up to isomorphism. The range of the measure and integration is obtained in a controled and tame way from the real closed field we start with. The main example is given by the case of the field of Puiseux series where the range is the polynomial ring in one variable over this field.


title: Model of the expansion of H II region RCW 82

abstract: This paper aims to resolve the problem of formation of young objects observed in the RCW 82 H {\small II} region. In the framework of a classical trigger model the estimated time of fragmentation is larger than the estimated age of the H {\small II} region. Thus the young objects could not have formed during the dynamical evolution of the H {\small II} region. We propose a new model that helps resolve this problem. This model suggests that the H {\small II} region RCW 82 is embedded in a cloud of limited size that is denser than the surrounding interstellar medium. According to this model, when the ionization--shock front leaves the cloud it causes the formation of an accelerating dense gas shell. In the accelerated shell, the effects of the Rayleigh--Taylor (R-T) instability dominate and the characteristic time of the growth of perturbations with the observed magnitude of about 3 pc is 0.14 Myr, which is less than the estimated age of the H {\small II} region. The total time $t_{\sum}$, which is the sum of the expansion time of the H {\small II} region to the edge of the cloud, the time of the R-T instability growth, and the free fall time, is estimated as $0.44<t_{\sum} < 0.78$ Myr. We conclude that the young objects in the H {\small II} region RCW 82 could be formed as a result of the R-T instability with subsequent fragmentation into large-scale condensations.


title: How to Detect the Signatures of Self-Gravitating Circumstellar Discs with the Atacama Large Millimetre/sub-millimetre Array

abstract: In this paper we present simulated Atacama Large Millimetre/sub-millimetre Array (ALMA) observations of self-gravitating circumstellar discs with different properties in size, mass and inclination, located in four of the most extensively studied and surveyed star-forming regions. Starting from a Smoothed Particle Hydrodynamics (SPH) simulation and representative dust opacities, we have initially constructed maps of the expected emission at sub-mm wavelengths of a large sample of discs with different properties. We have then simulated realistic observations of discs as they may appear with ALMA using the Common Astronomy Software Application ALMA simulator. We find that, with a proper combination of antenna configuration and integration time, the spiral structure characteristic of self-gravitating discs is readily detectable by ALMA over a wide range of wavelengths at distances comparable to TW Hydrae ($\sim 50 \,$pc), Taurus - Auriga and Ophiucus ($\sim 140 \,$pc) star-forming regions. However, for discs located in Orion complex ($\sim 400 \,$pc) only the largest discs in our sample (outer radius of 100 au) show a spatially resolved structure while the smaller ones (outer radius of 25 au) are characterized by a spiral structure that is not conclusively detectable with ALMA.


title: Unitary evolution and the distinguishability of quantum states

abstract: The study of quantum systems evolving from initial states to distinguishable, orthogonal final states is important for information processing applications such as quantum computing and quantum metrology. However, for most unitary evolutions and initial states the system does not evolve to an orthogonal quantum state. Here, we ask what proportion of quantum states evolves to nearly orthogonal systems as a function of the dimensionality of the Hilbert space of the system, and numerically study the evolution of quantum states in low-dimensional Hilbert spaces. We find that, as well as the speed of dynamical evolution, the level of maximum distinguishability depends critically on the Hamiltonian of the system.


title: Parabolically induced unitary representations of the universal group U(F)^+ are C_0

abstract: By employing a new strategy we prove that all parabolically induced unitary representations of the Burger-Mozes universal group U(F)^+, with F being primitive, have all their matrix coefficients vanishing at infinity. This generalizes the same well-known result for the universal group U(F)^+, when F is 2-transitive.


title: DCT${^2}$Gen: A Versatile TCP Traffic Generator for Data Centers

abstract: Only little is publicly known about traffic in non-educational data centers. Recent studies made some knowledge available, which gives us the opportunity to create more realistic traffic models for data center research. We used this knowledge to create the first publicly available traffic generator that produces realistic traffic between hosts in data centers of arbitrary size. We characterize traffic by using six probability distribution functions and concentrate on the generation of traffic on flow-level. The distribution functions are described as step functions, which makes our generator highly configurable to generate traffic for different kinds of data centers. Moreover, in data centers, traffic between hosts in the same rack and hosts in different racks have different properties. We model this phenomenon, making our generated traffic very realistic. We carefully evaluated our approach and conclude that it reproduces these characteristics with high accuracy.


title: Compensation of high-order quasi-static aberrations on SPHERE with the coronagraphic phase diversity (COFFEE)

abstract: The second-generation instrument SPHERE, dedicated to high-contrast imaging, will soon be in operation on the European Very Large Telescope. Such an instrument relies on an extreme adaptive optics system coupled with a coronagraph that suppresses most of the diffracted stellar light. However, the coronagraph performance is strongly limited by quasi-static aberrations that create long-lived speckles in the scientific image plane, which can easily be mistaken for planets. The ultimate performance is thus limited by the unavoidable differential aberrations between the wave-front sensor and the scientific camera, which have to be estimated andcompensated for. In this paper, we use the COFFEE approach to measure and compensate for SPHERE's quasi-static aberrations. COFFEE (for COronagraphic Focal-plane wave-Front Estimation for Exoplanet detection), which consists in an extension of phase diversity to coronagraphic imaging, estimates the quasi-static aberrations, including the differential ones, using only two focal plane images recorded by the scientific camera. In this paper, we use coronagraphic images recorded from SPHERE's infrared detector IRDIS to estimate the aberrations upstream of the coronagraph, which are then compensated for using SPHERE's extreme adaptive optics loop SAXO. We first validate the ability of COFFEE to estimate high-order aberrations by estimating a calibrated influence function pattern introduced upstream of the coronagraph. We then use COFFEE in an original iterative compensation process to compensate for the estimated aberrations, leading to a contrast improvement by a factor that varies from 1.4 to 4.7 between 2l/D and 15l/D on IRDIS. The performance of the compensation process is also evaluated through simulations. An excellent match between experimental results and these simulations is found.


title: Secure pseudo-random linear binary sequences generators based on arithmetic polynoms

abstract: We present a new approach to constructing of pseudo-random binary sequences (PRS) generators for the purpose of cryptographic data protection, secured from the perpetrator's attacks, caused by generation of masses of hardware errors and faults. The new method is based on use of linear polynomial arithmetic for the realization of systems of boolean characteristic functions of PRS' generators. "Arithmetizatio" of systems of logic formulas has allowed to apply mathematical apparatus of residue systems for multisequencing of the process of PRS generation and organizing control of computing errors, caused by hardware faults. This has guaranteed high security of PRS generator's functioning and, consequently, security of tools for cryptographic data protection based on those PRSs.


title: Connected quandles and transitive groups

abstract: We establish a canonical correspondence between connected quandles and certain configurations in transitive groups, called quandle envelopes. This correspondence allows us to efficiently enumerate connected quandles of small orders, and present new proofs concerning connected quandles of order p and 2p. We also present a new characterization of connected quandles that are affine.


title: Colouring of plane graphs with unique maximal colours on faces

abstract: The Four Colour Theorem asserts that the vertices of every plane graph can be properly coloured with four colors. Fabrici and G\"oring conjectured the following stronger statement to also hold: the vertices of every plane graph can be properly coloured with the numbers 1,...,4 in such a way that every face contains a unique vertex coloured with the maximal color appearing on that face. They proved that every plane graph has such a colouring with the numbers 1,...,6. We prove that every plane graph has such a colouring with the numbers 1,...,5 and we also prove the list variant of the statement for lists of sizes seven.


title: A model for discussing entropy and time reversibility

abstract: In this article we discuss a model used to introduce the concept of entropy with secondary school students. It can be used to discuss with students the reversibility of time, the tendency towards homogeneity and the link between probability theory and second law of thermodynamics. The model is useful to introduce crucial epistemological issues and helps student to understand the deep connection between the macroscopic and the microscopic.


title: Toward a Nonequilibrium Green functions approach to diffusion in strongly coupled finite quantum systems

abstract: Transport properties of strongly correlated quantum systems are of central interest in condensed matter, ultracold atoms and in dense plasmas. There, the proper treatment of strong correlations poses a great challenge to theory. Here, we apply a Nonequilibrium Green Functions approach using a lattice model as a basic system. This allow us to treat a finite spatially inhomogeneous system with an arbitrary nonequilibrium initial state. Placing all particles initially to one side of the system allows for a nonequilibrium study of diffusion. Strong correlation effects are incorporated via T-matrix selfenergies.


title: Measurement of double-polarization asymmetries in the quasi-elastic $^3\vec{\mathrm{He}}(\vec{\mathrm{e}},\mathrm{e}'\mathrm{d})$ process

abstract: We present a precise measurement of double-polarization asymmetries in the $^3\vec{\mathrm{He}}(\vec{\mathrm{e}},\mathrm{e}'\mathrm{d})$ reaction. This particular process is a uniquely sensitive probe of hadron dynamics in $^3\mathrm{He}$ and the structure of the underlying electromagnetic currents. The measurements have been performed in and around quasi-elastic kinematics at $Q^2 = 0.25\,(\mathrm{GeV}/c)^2$ for missing momenta up to $270\,\mathrm{MeV}/c$. The asymmetries are in fair agreement with the state-of-the-art calculations in terms of their functional dependencies on $p_\mathrm{m}$ and $\omega$, but are systematically offset. Beyond the region of the quasi-elastic peak, the discrepancies become even more pronounced. Thus, our measurements have been able to reveal deficiencies in the most sophisticated calculations of the three-body nuclear system, and indicate that further refinement in the treatment of their two- and/or three-body dynamics is required.


title: The non-properness of the functor of F-trivial bundles

abstract: We study the properness of the functor of $F$-trivial bundles by relating it to the base change question for the fundamental group scheme of Nori.


title: Open-coopetition in the PC and mobile industries: the WebKit case

abstract: In an era of software crisis, the move of firms towards geographically-distributed software development teams is being challenged by collaboration issues. On this matter, the open-source phenomenon may shed some light, as successful cases on distributed collaboration in the open-source community have been recurrently reported. While practitioners move with difficulties towards globally distributed software development, there is a lack of research addressing the collaboration dynamics of large-scale distributed software projects. More particularly, even if there are empirical manifestations of collaboration among software-houses that market rival-software products within the same market, there is a clear lack of research addressing the development of information systems by coopetitive manners. While addressing a previous call for the advancement of methods and techniques to support the visualization of temporal aspects to represent change and evolution in ecosystems, we combined and virtual-ethnography (VA) with a Social Network Analysis (SNA) over publicly-available and naturally-occurring data that allowed us to re-construct and visualize the evolution of the WebKit collaboration in a sequence of networks. We started by screening, publicly available data such as company announcements, financial reports and specialized-press that allowed us to gain insights of the industrial context. After attaining a better understanding of the the competitive dynamics of the mobile-devices and PC industries, we started extracting and analyzing the social network of the WebKit community leveraging SNA, which is an emergent method widely established across disciplines of social sciences in general.Our case confirmed much of the established literature on coopetition, but more detailed observations revealed that not all coopetition theoretical propositions can be generalized to the open-source arena.


title: Realization of Fractional Chern Insulators in the Thin-Torus-Limit with Ultracold Bosons

abstract: Topological states of interacting many-body systems are at the focus of current research due to the exotic properties of their elementary excitations. In this paper we suggest a realistic experimental setup for the realization of a simple version of such a phase. We show how delta-interacting bosons hopping on the links of a one-dimensional (1D) ladder can be used to simulate the thin-torus-limit of the two-dimensional (2D) Hofstadter-Hubbard model at one-quarter magnetic flux per plaquette. Bosons can be confined to ladders by optical superlattices, and synthetic magnetic fields can be realized by far off-resonant Raman beams. We show that twisted boundary conditions can be implemented, enabling the realization of a fractionally quantized Thouless pump. Using numerical density-matrix-renormalization-group (DMRG) calculations we show that the groundstate of our model is an incompressible symmetry-protected topological charge density wave (CDW) phase at average filling $\rho = 1/8$ per lattice site, related to the 1/2 Laughlin-type state of the corresponding 2D model.


title: Swift J2218.4+1925: a new hard X-ray selected Polar observed with XMM-Newton

abstract: Swift J2218.4+1925, a hard X-ray source detected by Swift BAT, has been proposed as a candidate magnetic cataclysmic variable of the polar type from optical spectroscopy. Using XMM-Newton we perform detailed timing and spectral analysis with simultaneous X-ray ($0.3-10$ keV) and optical B band data. We complement the spectral study with archival hard X-ray (14-70 keV) spectra collected by Swift BAT as well as with optical, near and mid-infrared photometry from $SDSS$, $2MASS$ and $WISE$ archive, respectively. A strong periodic X-ray signal at 2.16 h, consistent with the recently determined spectroscopic orbital period, adds Swift J2218.4+1925 to the small group of hard X-ray polars and locates it at the low edge of the orbital period gap. The X-ray pulse profile shows the typical bright and faint phases seen in polars ($\sim 70%$ and $\sim 30%$ of the orbit, respectively). A pronounced dip centred on the bright phase is also detected. It is stronger at lower energies and is mainly produced by photoelectric absorption. A binary inclination $i \sim 40^o - 50^o$ and a magnetic colatitude $\beta \sim 55^o - 64^o$ are estimated. The source appears to accrete over a large area $\sim 24^o$ wide. A multi-temperature optically thin emission with complex absorption well describes the broad-band ($0.3-70$ keV) spectrum, with no signs of a soft X-ray blackbody component. The spectral shape varies with the source rotation reaching plasma temperatures up to 55 keV, hardening at the dip and being softer during the faint phase ($\sim7$ keV). We find the first indication of an absorption edge due to a warm absorber in a polar. Indication of overabundance of neon is found in the RGS spectra. The UV to mid-IR spectral energy distribution reveals an excess in the near and mid-IR, likely due to low cyclotron harmonics. We estimate a WD mass of 0.97 M$_{\odot}$ and a distance of 230-250 pc.


title: The AMBRE Project: Parameterisation of FGK-type stars from the ESO:HARPS archived spectra

abstract: The AMBRE project is a collaboration between the European Southern Observatory (ESO) and the Observatoire de la Cote d'Azur (OCA). It has been established to determine the stellar atmospheric parameters (effective temperature, surface gravity, global metallicities and abundance of alpha-elements over iron) of the archived spectra of four ESO spectrographs. The analysis of the ESO:HARPS archived spectra is presented. The sample being analysed (AMBRE:HARPS) covers the period from 2003 to 2010 and is comprised of 126688 scientific spectra corresponding to 17218 different stars. For the analysis of the spectral sample, the automated pipeline developed for the analysis of the AMBRE:FEROS archived spectra has been adapted to the characteristics of the HARPS spectra. Within the pipeline, the stellar parameters are determined by the MATISSE algorithm, developed at OCA for the analysis of large samples of stellar spectra in the framework of galactic archaeology. In the present application, MATISSE uses the AMBRE grid of synthetic spectra, which covers FGKM-type stars for a range of gravities and metallicities. We first determined the radial velocity and its associated error for the ~15% of the AMBRE:HARPS spectra, for which this velocity had not been derived by the ESO:HARPS reduction pipeline. The stellar atmospheric parameters and the associated chemical index [alpha/Fe] with their associated errors have then been estimated for all the spectra of the AMBRE:HARPS archived sample. Based on quality criteria, we accepted and delivered the parameterisation of ~71% of the total sample to ESO. These spectra correspond to ~10706 stars; each are observed between one and several hundred times. This automatic parameterisation of the AMBRE:HARPS spectra shows that the large majority of these stars are cool main-sequence dwarfs with metallicities greater than -0.5 dex.


title: The simultaneous measurement of energy and linear polarization of the scattered radiation in resonant inelastic soft x-ray scattering

abstract: Resonant Inelastic X-ray Scattering (RIXS) in the soft x-ray range is an element-specific energy-loss spectroscopy used to probe the electronic and magnetic excitations in strongly correlated solids. In the recent years, RIXS has been progressing very quickly in terms of energy resolution and understanding of the experimental results, but the interpretation of spectra could further improve, sometimes decisively, from a full knowledge of the polarization of incident and scattered photons. Here we present the first implementation, in a high resolution RIXS spectrometer used to analyze the scattered radiation, of a device allowing the measurement of the degree of linear polarization. The system, based on a graded W/B4C multilayer mirror installed in proximity of the CCD detector, has been installed on the AXES spectrometer at the ESRF; it has been fully characterized and it has been used for a demonstration experiment at the Cu L3 edge on a high-Tc superconducting cuprate. The loss in efficiency suffered by the spectrometer equipped with this test facility was a factor 17.5. We propose also a more advanced version, suitable for a routine use on the next generation of RIXS spectrometers and with an overall efficiency up to 10%.


title: A Trotter-Kato Theorem for Quantum Markov Limits

abstract: Using the Trotter-Kato theorem we prove the convergence of the unitary dynamics generated by an increasingly singular Hamiltonian in the case of a single field coupling. The limit dynamics is a quantum stochastic evolution of Hudson-Parthasarathy type, and we establish in the process a graph limit convergence of the pre-limit Hamiltonian operators to the Chebotarev-Gregoratti-von Waldenfels Hamiltonian generating the quantum Ito evolution.

categories: math-ph math.FA math.MP math.SP quant-ph


title: Evaluation of Enhanced Security Solutions in 802.11-Based Networks

abstract: Traditionally, 802.11-based networks that relied on wired equivalent protocol (WEP) were especially vulnerable to packet sniffing. Today, wireless networks are more prolific, and the monitoring devices used to find them are mobile and easy to access. Securing wireless networks can be difficult because these networks consist of radio transmitters and receivers, and anybody can listen, capture data and attempt to compromise it. In recent years, a range of technologies and mechanisms have helped make networking more secure. This paper holistically evaluated various enhanced protocols proposed to solve WEP related authentication, confidentiality and integrity problems. It discovered that strength of each solution depends on how well the encryption, authentication and integrity techniques work. The work suggested using a Defence-in-Depth Strategy and integration of biometric solution in 802.11i. Comprehensive in-depth comparative analysis of each of the security mechanisms is driven by review of related work in WLAN security solutions.


title: Stratified Gaussian Graphical Models

abstract: Gaussian graphical models represent the backbone of the statistical toolbox for analyzing continuous multivariate systems. However, due to the intrinsic properties of the multivariate normal distribution, use of this model family may hide certain forms of context-specific independence that are natural to consider from an applied perspective. Such independencies have been earlier introduced to generalize discrete graphical models and Bayesian networks into more flexible model families. Here we adapt the idea of context-specific independence to Gaussian graphical models by introducing a stratification of the Euclidean space such that a conditional independence may hold in certain segments but be absent elsewhere. It is shown that the stratified models define a curved exponential family, which retains considerable tractability for parameter estimation and model selection.


title: Twist-controlled resonant tunnelling in graphene-boron nitride-graphene heterostructures

abstract: Recent developments in the technology of van der Waals heterostructures made from two-dimensional atomic crystals have already led to the observation of new physical phenomena, such as the metal-insulator transition and Coulomb drag, and to the realisation of functional devices, such as tunnel diodes, tunnel transistors and photovoltaic sensors. An unprecedented degree of control of the electronic properties is available not only by means of the selection of materials in the stack but also through the additional fine-tuning achievable by adjusting the built-in strain and relative orientation of the component layers. Here we demonstrate how careful alignment of the crystallographic orientation of two graphene electrodes, separated by a layer of hexagonal boron nitride (hBN) in a transistor device, can achieve resonant tunnelling with conservation of electron energy, momentum and, potentially, chirality. We show how the resonance peak and negative differential conductance in the device characteristics induces a tuneable radio-frequency oscillatory current which has potential for future high frequency technology.


title: Mining Users' Significant Driving Routes with Low-power Sensors

abstract: While there is significant work on sensing and recognition of significant places for users, little attention has been given to users' significant routes. Recognizing these routine journeys, opens doors to the development of novel applications, like personalized travel alerts, and enhancement of user's travel experience. However, the high energy consumption of traditional location sensing technologies, such as GPS or WiFi based localization, is a barrier to passive and ubiquitous route sensing through smartphones. In this paper, we present a passive route sensing framework that continuously monitors a vehicle user solely through a phone's gyroscope and accelerometer. This approach can differentiate and recognize various routes taken by the user by time warping angular speeds experienced by the phone while in transit and is independent of phone orientation and location within the vehicle, small detours and traffic conditions. We compare the route learning and recognition capabilities of this approach with GPS trajectory analysis and show that it achieves similar performance. Moreover, with an embedded co-processor, common to most new generation phones, it achieves energy savings of an order of magnitude over the GPS sensor.


title: The role of phonons for exciton and biexciton generation in an optically driven quantum dot

abstract: For many applications of semiconductor quantum dots in quantum technology a well controlled state preparation of the quantum dot states is mandatory. Since quantum dots are embedded in the semiconductor matrix, the interaction with phonons plays often a major role in the preparation process. In this review, we discuss the influence of phonons on three basically different optical excitation schemes which can be used for the preparation of exciton, biexciton, and superposition states: a resonant excitation leading to Rabi rotations in the excitonic system, an excitation with chirped pulses exploiting the effect of adiabatic rapid passage, and an off-resonant excitation giving rise to a phonon-assisted state preparation. We give an overview over experimental and theoretical results showing the role of the phonons and compare the performance of the schemes for state preparation.


title: Ages of stars: Methods and uncertainties

abstract: Estimating ages for stars is difficult at best, but Galactic problems have their own requirements that go beyond those for other areas of astrophysics. As in other areas, asteroseismology is helping, and in this review I discuss some of the general problems encountered and some specific to large-scale studies of the Milky Way.


title: Solar-like oscillating stars as standard clocks and rulers for Galactic studies

abstract: The CoRoT and Kepler space missions have detected oscillations in hundreds of Sun-like stars and thousands of field red-giant stars. This has opened the door to a new era of stellar population studies in the Milky Way. We report on the current status and future prospects of harvesting space-based photometric data for ensemble asteroseismology, and highlight some of the challenges that need to be faced to use these stars as accurate clocks and rulers for Galactic studies.


title: Uncertainties in stellar evolution models: convective overshoot

abstract: In spite of the great effort made in the last decades to improve our understanding of stellar evolution, significant uncertainties remain due to our poor knowledge of some complex physical processes that require an empirical calibration, such as the efficiency of the interior mixing related to convective overshoot. Here we review the impact of convective overshoot on the evolution of stars during the main Hydrogen and Helium burning phases.


title: Effects of rotation on stellar evolution and asteroseismology of red giants

abstract: The impact of rotation on the properties of low-mass stars at different evolutionary stages is first described by discussing the properties of stellar models computed with shellular rotation. The observational constraints that are currently available to progress in our understanding of these dynamical processes are then presented, with a peculiar focus on asteroseismic measurements of red-giant stars.


title: Open clusters: probes of galaxy evolution and bench tests of stellar models

abstract: Open clusters are the only example of single-age, single initial chemical composition populations in the Galaxy, and they play an important role in the study of the formation and evolution of the Galactic disk. In addition, they have been traditionally employed to test theoretical stellar evolution models. A brief review of constraints/tests of white dwarf models/progenitors, and rotating star models based on Galactic open clusters' observations is presented, introducing also recent contributions of asteroseismic analyses.


title: Exploiting the open clusters in the Kepler and CoRoT fields

abstract: The open clusters in the Kepler and CoRoT fields potentially provide tight constraints for tests of stellar models and observational methods because they allow a combination of complementary methods. We are in the process of identi- fying and measuring parameters for detached eclipsing binaries (dEBs) in the open clusters in the Kepler and CoRoT fields. We make use of measurements of dEBs in the clusters to test the accuracy of asteroseismic scaling relations for mass. We are able to provide strong indications that the asteroseismic scaling relations over- estimate the stellar mass, but we are not yet able to distinguish between different proposed corrections from the literature. We argue how our ongoing measurements of more dEBs in more clusters, complemented by dEBs in the field, should be able to break the degeneracy. We also briefly describe how we can identify cluster stars that have evolved through non-standard evolution by making use of ensemble asteroseismology.


title: Photometric stellar parameters for asteroseismology and Galactic studies

abstract: Asteroseismology has the capability of delivering stellar properties which would otherwise be inaccessible, such as radii, masses and thus ages of stars. When coupling this information with classical determinations of stellar parameters, such as metallicities, effective temperatures and angular diameters, powerful new diagnostics for both stellar and Galactic studies can be obtained. I review how different photometric systems and filters carry important information on classical stellar parameters, the accuracy at which those parameters can be derived, and summarize some of the calibrations available in the literature for late-type stars. Recent efforts in combining classical and asteroseismic parameters are discussed, and the unique- ness of their intertwine is highlighted.


title: Preliminary Evaluation of the Kepler Input Catalog Extinction Model Using Stellar Temperatures

abstract: The Kepler Input Catalog (KIC) provides reddening estimates for its stars, based on the assumption of a simple exponential dusty screen. This project focuses on evaluating and improving these reddening estimates for the KIC's giant stars, for which extinction is a much more significant concern than for the nearby dwarf stars. We aim to improve the calibration (and thus consistency) amongst various photometric and spectroscopic temperatures of stars in the Kepler field by removing systematics due to incorrect extinction assumptions. The revised extinction estimates may then be used to derive improved stellar and planetary properties. We plan to eventually use the large number of KIC stars as probes into the structure and properties of the Galactic ISM.


title: The red giants in NGC 6633 as seen with CoRoT, HARPS and SOPHIE

abstract: The open cluster NGC 6633 was observed with CoRoT in 2011 and simultaneous high-resolution spectroscopy was obtained with the SOPHIE and HARPS spectrographs. One of the four targets was not found to be a cluster member. For all stars we provide estimates of the seismic and spectroscopic parameters.


title: New Observational Constraints to Milky Way Chemodynamical models

abstract: Galactic Archaeology, i.e. the use of chemo-dynamical information for stellar samples covering large portions of the Milky Way to infer the dominant processes involved in its formation and evolution, is now a powerful method thanks to the large recently completed and ongoing spectroscopic surveys. It is now important to ask the right questions when analyzing and interpreting the information contained in these rich datasets. To this aim, we have developed a chemodynamical model for the Milky Way that provides quantitative predictions to be compared with the chemo-kinematical properties extracted from the stellar spectra. Three key parameters are needed to make the comparison between data and model predictions useful in order to advance in the field, namely: precise proper-motions, distances and ages. The uncertainties involved in the estimate of ages and distances for field stars are currently the main obstacles in the Galactic Archaeology method. Two important developments might change this situation in the near future: asteroseismology and the now launched Gaia. When combined with the large datasets from surveys like RAVE, SEGUE, LAMOST, Gaia-ESO, APOGEE , HERMES and the future 4MOST we will have the basic ingredients for the reconstruction of the MW history in hands. In the light of these observational advances, the development of detailed chemo-dynamical models tailored to the Milky Way is urgently needed in the field. Here we show the steps we have taken, both in terms of data analysis and modelling. The examples shown here illustrate how powerful can the Galactic Archaeology method become once ages and distances are known with better precision than what is currently feasible.


title: The expected stellar populations in the Kepler and CoRoT fields

abstract: Using the stellar population synthesis tool TRILEGAL, we discuss the expected stellar populations in the Kepler and CoRoT fields


title: Early Results from APOKASC

abstract: Asteroseismology and spectroscopy provide complementary constraints on the fundamental and chemical properties of stars. I describe the first results from APOKASC, a collaboration between the Kepler asteroseismic science consortium (KASC) and the SDSS-III APOGEE survey. These include (1) the first test of asteroseismic scaling relationships in the metal-poor regime using halo and thick disk stars identified in the APOKASC sample; and (2) the calibration of spectroscopic parameters using precise asteroseismic measurements of surface gravity. I also highlight future research avenues that are made possible by this unique sample of thousands of well-characterized red giant stars.


title: The Metallicity Gradient of the Old Galactic Bulge Population

abstract: Understanding the structure, formation and evolution of the Galactic Bulge requires the proper determination of spatial metallicity gradients in both the radial and vertical directions. RR Lyrae pulsators, known to be excellent distance indicators, may hold the key to determining these gradients. Jurcsik & Kovacs (1996) has shown that RR Lyrae light curves and the phase difference of their Fourier decomposition, {\phi}31, can be used to estimate photometric metallicities. The existence of galactic bulge metallicity gradients is a currently debated topic that would help pinpoint the Galaxy's formation and evolution. A recent study of the OGLE-III Galactic Bulge RR Lyrae Population by Pietrukowicz et al. (2012) suggests that the spatial distribution is uniform. We investigate how small a gradient would be detectable within the current S/N levels of the present data set, given the random and systematic errors associated with the derivation of a photometric metallicity versus spatial position relationship.


title: 4MOST - 4m Multi Object Spectroscopic Telescope

abstract: 4MOST (4m Multi Object Spectroscopic Telescope) is a spectroscopic facility that will be installed on ESO's VISTA around 2020. The science rationale of this facility are to be found in the ASTRONET Science Vision for European Astronomy (de Zeeuw & Molster, 2007). Specifically fundamental contribution can be made to the Extreme Universe (Dark Energy & Dark Matter, Black holes), Galaxy Formation & Evolution, and the Origin of Stars science cases in the ASTRONET Science Vision. The unique capabilities of the 4MOST facility are due to by its large field-of-view, high multiplex, its broad optical spectral wavelength coverage


title: Mapping the stellar populations of the Milky Way with Gaia

abstract: Gaia will be ESA's milestone astrometric mission, and is due for launch at the end of 2013. Gaia will repeatedly map the whole sky measuring about one billion sources to V=20-22 mag. Its data products will be {\mu}as accuracy astrometry, optical spectrophotometry and medium resolution spectroscopy. A description of the Gaia space mission and its characteristics and performance is given. The expected impact on Galactic stellar population studies is discussed, with particular attention to the sources of interest for CoRoT and Kepler.


title: Uncertainties in models of stellar structure and evolution

abstract: Numerous physical aspects of stellar physics have been presented in Ses- sion 2 and the underlying uncertainties have been tentatively assessed. We try here to highlight some specific points raised after the talks and during the general discus- sion at the end of the session and eventually at the end of the workshop. A table of model uncertainties is then drawn with the help of the participants in order to give the state of the art in stellar modeling uncertainties as of July 2013.


title: Photospheric constraints, current uncertainties in models of stellar atmospheres, and spectroscopic surveys

abstract: We summarize here the discussions around photospheric constraints, current uncertainties in models of stellar atmospheres, and reports on ongoing spectroscopic surveys. Rather than a panorama of the state of the art, we chose to present a list of open questions that should be investigated in order to improve future analyses.


title: Magnetic Fields of Compact Objects in Close X-Ray Binary Systems

abstract: X-ray binary systems are very popular objects for astrophysical investigations. Compact objects in these systems are neutron stars, white dwarfs and black holes. Neutron stars and white dwarfs can have intrinsic magnetic fields. There is well known, famous theorem about absence of intrinsic magnetic fields of black holes. But magnetic field can exist in the accretion disk around a black hole. We present here the real estimates of the magnetic field strength at the radius of innermost stable orbit in an accretion disk of stellar mass black holes.


title: Finiteness of Fixed Equilibrium Configurations of Point Vortices in the Plane with Background Flow

abstract: For a dynamic system consisting of $n$ point vortices in an ideal plane fluid with a steady, incompressible and} irrotational background flow, a more physically significant definition of a fixed equilibrium configuration is suggested. Under this new definition, if the complex polynomial $w$ that determines the aforesaid background flow is non-constant, we have found an attainable generic upper bound \smash{$\fr{(m+n-1)!}{(m-1)!\,n_1!\cdots n_{i_0}!}$} for the number of fixed equilibrium configurations. Here, $m=\deg w$, $i_0$ is the number of species, and each $n_i$ is the number of vortices in a species. We transform the rational function system arisen from} fixed equilibria into a polynomial system, whose form is good enough to apply the BKK theory (named after D. N. Bernshtein, A. G. Khovanskii and A. G. Kushnirenko) to show the finiteness of its number of solutions. Having this finiteness, the required bound follows from B\'ezout's theorem or the BKK root count by T. Y. Li and X.-S. Wang.}


title: The APOKASC Catalog

abstract: I report on the APOKASC catalog, a joint effort between the Kepler Asteroseismic Science Consortium and the SDSS-III APOGEE spectroscopic survey. It will contain both seismic and spectroscopic values for stars observed by both surveys. I discuss the derivation of spectroscopic parameters and their uncertainties from the H-band spectra delivered by the APOGEE spectrograph, illustrating the sensitivity of stellar spectra to some parameters, such as Teff, and lack of sensitivity to others, such as logg.


title: Stochastic Stability of Monotone Economies in Regenerative Environments

abstract: We introduce and analyze a new class of monotone stochastic recursions in a regenerative environment which is essentially broader than that of Markov chains. We prove stability theorems and apply our results {to three canonical models in recursive economics}, generalizing some known stability results to the cases when driving sequences are not independent and identically distributed.


title: Variational Inference for Uncertainty on the Inputs of Gaussian Process Models

abstract: The Gaussian process latent variable model (GP-LVM) provides a flexible approach for non-linear dimensionality reduction that has been widely applied. However, the current approach for training GP-LVMs is based on maximum likelihood, where the latent projection variables are maximized over rather than integrated out. In this paper we present a Bayesian method for training GP-LVMs by introducing a non-standard variational inference framework that allows to approximately integrate out the latent variables and subsequently train a GP-LVM by maximizing an analytic lower bound on the exact marginal likelihood. We apply this method for learning a GP-LVM from iid observations and for learning non-linear dynamical systems where the observations are temporally correlated. We show that a benefit of the variational Bayesian procedure is its robustness to overfitting and its ability to automatically select the dimensionality of the nonlinear latent space. The resulting framework is generic, flexible and easy to extend for other purposes, such as Gaussian process regression with uncertain inputs and semi-supervised Gaussian processes. We demonstrate our method on synthetic data and standard machine learning benchmarks, as well as challenging real world datasets, including high resolution video data.


title: Search for invisible decays of $\pi^0, \eta, \eta', K_S$ and $K_L$: A probe of new physics and tests using the Bell-Steinberger relation

abstract: In the standard model the rate of the $\pi^0, \eta, \eta', K_S, K_L\to \nu \overline{\nu}$ decays is predicted to be extremely small. Therefore, observation of any of these mesons ($M^0$) decaying into an invisible final state would signal the presence of new physics. The Bell-Steinberger relation connects CP and CPT violation in the mass matrix to CP and CPT violation in all decay channels of neutral kaons. It is a powerful tool for testing CPT invariance in the $K^0-\overline{K}^0$ system, assuming that there are no significant undiscovered decay modes of either $K_S$ or $K_L$ which could contribute to the precision of the results. The $K_S,K_L\to invisible$ decays have never been tested and the question of how much these decays can influence the Bell-Steinberger analysis of the kaon system still remains open. In the present work we propose a new experiment to search for the $M^0\to invisible$ decays which aims at probing new physics and answering this question. The experiment utilizes high energy hadronic beams from the CERN SPS and the charge exchange reactions of pion or kaon on nucleons of an active target, e.g. $\pi^- (K^-) + p\to M^0 + n $, as a source of the well-tagged $M^0$s emitted with the beam energy. If the decay $M^0\to invisible$ exists, it could be observed by looking for an excess of events with a specific signature: the complete disappearance of the beam energy in the detector. This unique signal of $M^0\to invisible$ decays allows for searches of the decays $K_S,K_L\to invisible$ with a sensitivity in branching ratio Br$(K_S (K_L)\to invisible) \lesssim 10^{-8} (10^{-6})$, and $\pi^0,\eta, \eta' \to invisible$ decays with a sensitivity a few orders of magnitude beyond the present experimental limits. This experiment is complementary to the one recently proposed for the search for invisible decays of dark photons and fits well with the present kaon program at CERN.


title: Convergence and Divergence of Approximations in terms of the Derivatives of Heat Kernel

abstract: We consider an approximate solution to the heat equation which consists of the derivatives of heat kernel. Some conditions in the initial value, under which the approximation converges to the solution of the heat equation or diverges when the number of terms of the approximation goes to infinity with a fixed time $t$, will be given. For example, when the initial data is a Gaussian $e^{-|{\bf x}|^2/4t_0}$, the approximation converges when $t>t_0$. But if $t<t_0$, it diverges to infinity. Also the $L^\infty$-error estimate will be given and the meaning of the approximation will be clarified by comparing with eigenfunction expansion.


title: Computational Complexity, Phase Transitions, and Message-Passing for Community Detection

abstract: We take a whirlwind tour of problems and techniques at the boundary of computer science and statistical physics. We start with a brief description of P, NP, and NP-completeness. We then discuss random graphs, including the emergence of the giant component and the k-core, using techniques from branching processes and differential equations. Using these tools as well as the second moment method, we give upper and lower bounds on the critical clause density for random k-SAT. We end with community detection in networks, variational methods, the Bethe free energy, belief propagation, the detectability transition, and the non-backtracking matrix.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.CC physics.soc-ph


title: A Framework for Automated Competitive Analysis of On-line Scheduling of Firm-Deadline Tasks

abstract: We present a flexible framework for the automated competitive analysis of on-line scheduling algorithms for firm-deadline real-time tasks based on multi-objective graphs: Given a taskset and an on-line scheduling algorithm specified as a labeled transition system, along with some optional safety, liveness, and/or limit-average constraints for the adversary, we automatically compute the competitive ratio of the algorithm w.r.t. a clairvoyant scheduler. We demonstrate the flexibility and power of our approach by comparing the competitive ratio of several on-line algorithms, including $D^{over}$, that have been proposed in the past, for various tasksets. Our experimental results reveal that none of these algorithms is universally optimal, in the sense that there are tasksets where other schedulers provide better performance. Our framework is hence a very useful design tool for selecting optimal algorithms for a given application.


title: On the Covering Number of Small Symmetric Groups and Some Sporadic Simple Groups

abstract: A set of proper subgroups is a covering for a group if its union is the whole group. The minimal number of subgroups needed to cover $G$ is called the covering number of $G$, denoted by $\sigma(G)$. Determining $\sigma(G)$ is an open problem for many non-solvable groups. For symmetric groups $S_n$, Mar\'oti determined $\sigma(S_n)$ for odd $n$ with the exception of $n=9$ and gave estimates for $n$ even. In this paper we determine $\sigma(S_n)$ for $n = 8$, $9$, $10$ and $12$. In addition we find the covering number for the Mathieu group $M_{12}$ and improve an estimate given by Holmes for the Janko group $J_1$.


title: Study of Color Octet Matrix Elements Through $J/\psi$ Production in $e^{+}e^{-}$ Annihilation

abstract: In this paper, the color-octet long distance matrix elements are studied though the inclusive $J/\psi$ production in $e^{+}e^{-}$ annihilation within the non-relativistic QCD frame. The calculations are up-to next-to-leading order with the radiative corrections and relativistic corrections at the B-factory energy region and the near-threshold region of $4.6\sim5.6~{\rm GeV}$. A constraint of the long distance matrix elements ($\langle^1S_0^{8}\rangle$, $\langle^3P_0^{8}\rangle$) is obtained. Through our estimation, the P-wave color-octet matrix element ( $\langle0|^3P^8_0|0\rangle$ ) should be the order of $0.005m_c^2~{\rm GeV}^3$ or less. The constraint region is not compatible with the values of the long distance matrix elements fitted at hadron colliders.


title: Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems

abstract: These proceedings contain the papers presented at the 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014), which was held on 18 July 2014 in Vienna, Austria, as a satellite workshop of the Federated Logic Conference (FLoC 2014), associated to the 7th International Joint Conference on Automated Reasoning (IJCAR 2014), as part of the Vienna Summer of Logic (VSL 2014). WWV is a yearly workshop that aims at providing an interdisciplinary forum to facilitate the cross-fertilization and the advancement of hybrid methods that exploit concepts and tools drawn from rule-based programming, formal methods, software engineering and Web-oriented research.


title: Photonuclear Reaction Cross Sections for Gallium Isotopes

abstract: The photon induced reactions which are named as photonuclear reactions have a great importance in many field of nuclear, radiation physics and related fields. Since we have planned to perform photonuclear reaction on gallium target with bremmstrahlung photons from clinical linear accelerator in the future, the cross-sections of neutron (photo-neutron ({\gamma},xn)) and proton (photo-proton ({\gamma},xn)) productions after photon activation have been calculated by using TALYS 1.2 computer code in this study. The target nucleus has been considered gallium which has two stable isotopes, 69Ga and 71Ga. According to the results, we have seen that the calculations are in harmony in the limited literature values. Furthermore, the pre-equilibrium and compound process contributions to the total cross-section have been investigated.


title: Limits on the strength of individual gravitational wave sources using high-cadence observations of PSR B1937+21

abstract: We present the results of a search for gravitational waves (GWs) from individual sources using high cadence observations of PSR B1937+21. The data were acquired from an intensive observation campaign with the Lovell telescope at Jodrell Bank, between June 2011 and May 2013. The almost daily cadence achieved, allowed us to be sensitive to GWs with frequencies up to $4.98\times10^{-6}\,\rm {Hz}$, extending the upper bound of the typical frequency range probed by Pulsar Timing Arrays. We used observations taken at three different radio frequencies with the Westerbork Synthesis Radio Telescope in order to correct for dispersion measure effects and scattering variances. The corrected timing residuals exhibited an unmodeled periodic noise with an amplitude $~150\,\rm {ns}$ and a frequency of $3.4\rm {yr}^{-1}$. As the signal is not present in the entire data set, we attributed it to the rotational behaviour of the pulsar, ruling out the possibilities of being either due to a GW or an asteroid as the cause. After removing this noise component, we placed limits on the GW strain of individual sources equaling to $h_{\rm s}=1.53\times10^{-11}$ and $h_{\rm s}=4.99\times10^{-14}$ at $10^{-7}\,\rm {Hz}$ for random and optimal sources locations respectively.

categories: astro-ph.SR astro-ph.HE astro-ph.IM gr-qc


title: O(\alpha_s^2) corrections to the running top-Yukawa coupling and the mass of the lightest Higgs boson in the MSSM

abstract: In this paper we propose a method to compute the running top-Yukawa coupling in supersymmetric models with heavy mass spectrum based on the "running" and "decoupling" procedure. In order to enable this approach we compute the two-loop SUSY-QCD radiative corrections required in the decoupling process. The method has the advantage that large logarithmic corrections are automatically resummed through the Renormalization Group Equations. As phenomenological application we study the effects of this approach on the prediction of the lightest Higgs boson mass at three-loop accuracy. We observe a significant reduction of the renormalization scale dependence as compared to the direct method, that is based on the conversion relation between the running and pole mass for the top quark. The effect of resummation of large logarithmic contributions consists in an increased prediction for the Higgs boson mass, an observation in agreement with the previous analyses.


title: Fragmentation of colliding planetesimals with water content

abstract: We investigate the outcome of collisions of Ceres-sized planetesimals composed of a rocky core and a shell of water ice. These collisions are not only relevant for explaining the formation of planetary embryos in early planetary systems, but also provide insight into the formation of asteroid families and possible water transport via colliding small bodies. Earlier studies show characteristic collision velocities exceeding the bodies' mutual escape velocity which - along with the distribution of the impact angles - cover the collision outcome regimes 'partial accretion', 'erosion', and 'hit-and-run' leading to different expected fragmentation scenarios. Existing collision simulations use bodies composed of strengthless material; we study the distribution of fragments and their water contents considering the full elasto-plastic continuum mechanics equations also including brittle failure and fragmentation.