title: A Multi-Factor Security Protocol for Wireless Payment - Secure Web Authentication using Mobile Devices

abstract: Previous Web access authentication systems often use either the Web or the Mobile channel individually to confirm the claimed identity of the remote user. This paper proposes a new protocol using multifactor authentication system that is both secure and highly usable. It uses a novel approach based on Transaction Identification Code and SMS to enforce extra security level with the traditional Login/password system. The system provides a highly secure environment that is simple to use and deploy, that does not require any change in infrastructure or protocol of wireless networks. This Protocol for Wireless Payment is extended to provide two way authentications.


title: Eigenvalues in gaps of selfadjoint operators in Pontryagin spaces

abstract: Given an open real interval \Delta\ and two selfadjoint operators A_1, A_2 in a \Pi_\kappa-space with n-dimensional resolvent difference we show that the difference of the total multiplicities of the eigenvalues of A_1 and A_2 in \Delta\ is at most n+2\kappa.


title: Supersymmetric Yang-Mills theory: a step towards the continuum

abstract: The spectrum of supersymmetric Yang-Mills theory presented so far shows an unexpected gap between the bosonic and fermionic masses. This finding was in contradiction with the basic requirements of supersymmetry. In this work we will present new results indicating that the mass gap is reduced at a smaller lattice spacing. Hence lattice artifacts are the most likely explanation for it. These new results have been obtained at a larger beta value and on a larger lattice.


title: Formal approaches to information hiding: An analysis of interactive systems, statistical disclosure control, and refinement of specifications

abstract: In this thesis we consider the problem of information hiding in the scenarios of interactive systems, statistical disclosure control, and refinement of specifications. We apply quantitative approaches to information flow in the first two cases, and we propose improvements for the usual solutions based on process equivalences for the third case. In the first scenario we consider the problem of defining the information leakage in interactive systems where secrets and observables can alternate during the computation and influence each other. We show that the information-theoretic approach which interprets such systems as (simple) noisy channels is not valid. The principle can be recovered if we consider channels with memory and feedback. We also propose the use of directed information from input to output as the real measure of leakage in interactive systems. In the second scenario we consider the problem of statistical disclosure control, which concerns how to reveal accurate statistics about a set of respondents while preserving the privacy of individuals. We focus on the concept of differential privacy, a notion that has become very popular in the database community. We show how to model the query system in terms of an information-theoretic channel, and we compare the notion of differential privacy with that of min-entropy leakage.In the third scenario we address the problem of using process equivalences to characterize information-hiding properties. We show that, in the presence of nondeterminism, this approach may rely on the assumption that the scheduler "works for the benefit of the protocol", and this is often not a safe assumption. We present a formalism in which we can specify admissible schedulers and, correspondingly, safe versions of complete-trace equivalence and bisimulation, and we show that safe equivalences can be used to establish information-hiding properties.


title: Subordination model of anomalous diffusion leading to the two-power-law relaxation responses

abstract: We derive a general pattern of the nonexponential, two-power-law relaxation from the compound subordination theory of random processes applied to anomalous diffusion. The subordination approach is based on a coupling between the very large jumps in physical and operational times. It allows one to govern a scaling for small and large times independently. Here we obtain explicitly the relaxation function, the kinetic equation and the susceptibility expression applicable to the range of experimentally observed power-law exponents which cannot be interpreted by means of the commonly known Havriliak-Negami fitting function. We present a novel two-power relaxation law for this range in a convenient frequency-domain form and show its relationship to the Havriliak-Negami one.


title: W, Z + Jets production with CMS detector

abstract: We present a study of jet production in association with W and Z bosons in proton-proton collisions at a centre-of-mass energy of 7 TeV using the full 2010 data set collected by CMS corresponding to an integrated luminosity of (35.9 +/- 1.4) inverse picobarn. We report the measurement of ratios s(V + >= n jets)/s(V) and s(V + >= n jets)/s(V + >= (n - 1) jets), where V represents either a W or a Z, s stands for the cross section and n stands for the number of jets.


title: Entanglement dynamics of a superconducting phase qubit coupled to a two-level system

abstract: We report the observation and quantitative characterization of driven and spontaneous oscillations of quantum entanglement, as measured by concurrence, in a bipartite system consisting of a macroscopic Josephson phase qubit coupled to a microscopic two-level system. The data clearly show the behavior of entanglement dynamics such as sudden death and revival, and the effect of decoherence and ac driving on entanglement.


title: Quantum Field Theory in Graphene

abstract: This is a short non-technical introduction to applications of the Quantum Field Theory methods to graphene. We derive the Dirac model from the tight binding model and describe calculations of the polarization operator (conductivity). Later on, we use this quantity to describe the Quantum Hall Effect, light absorption by graphene, the Faraday effect, and the Casimir interaction.


title: Diffusion and Relaxation Controlled by Tempered \alpha-stable Processes

abstract: We derive general properties of anomalous diffusion and nonexponential relaxation from the theory of tempered \alpha-stable processes. Its most important application is to overcome the infinite-moment difficulty for the \alpha-stable random operational time \tau. The tempering results in the existence of all moments of \tau. The subordination by the inverse tempered \alpha-stable process provides diffusion(relaxation) that occupies an intermediate place between subdiffusion (Cole-Cole law) and normal diffusion (exponential law). Here we obtain explicitly the Fokker-Planck equation, the mean square displacement and the relaxation function. This model includes subdiffusion as a particular case.


title: Behavior of nearby synchronous rotation of a Poincar\'e-Hough satellite at low eccentricity

abstract: This paper presents a study of the Poincar\'e-Hough model of rotation of the synchronous natural satellites, in which these bodies are assumed to be composed of a rigid mantle and a triaxial cavity filled with inviscid fluid of constant uniform density and vorticity. In considering an Io-like body on a low eccentricity orbit, we describe the different possible behaviors of the system, depending on the size, polar flattening and shape of the core. We use for that the numerical tool. We propagate numerically the Hamilton equations of the systems, before expressing the resulting variables under a quasi-periodic representation. This expression is obtained numerically by frequency analysis. This allows us to characterize the equilibria of the system, and to distinguish the causes of their time variations. We show that, even without orbital eccentricity, the system can have complex behaviors, in particular when the core is highly flattened. In such a case, the polar motion is forced by several degrees and longitudinal librations appear. This is due to splitting of the equilibrium position of the polar motion. We also get a shift of the obliquity when the polar flattening of the core is small.


title: On the semicontinuity problem of fibers and global $F$-regularity

abstract: In this article, we discuss the semicontinuity problem of certain properties on fibers for a morphism of schemes. One aspect of this problem is local. Namely, we consider properties of schemes at the level of local rings, in which the main results are established by solving the lifting and localization problems for local rings. In particular, we obtain the localization theorems in the case of seminormal and $F$-rational rings, respectively. Another aspect of this problem is global, which is often related to the vanishing problem of certain higher direct image sheaves. As a test example, we consider the deformation of the global $F$-regularity.


title: Physical process first law and increase of horizon entropy for black holes in Einstein-Gauss-Bonnet gravity

abstract: We establish the physical process version of first law by studying small perturbations of a stationary black hole with regular bifurcation surface in Einstein-Gauss-Bonnet (EGB) gravity. Our result shows that when the stationary black hole is perturbed by a matter stress energy tensor and finally settles down to a new stationary state, the Wald entropy increases as long as the matter satisfies null energy condition.


title: Design of a Sliding Window over Asynchronous Event Streams

abstract: The proliferation of sensing and monitoring applications motivates adoption of the event stream model of computation. Though sliding windows are widely used to facilitate effective event stream processing, it is greatly challenged when the event sources are distributed and asynchronous. To address this challenge, we first show that the snapshots of the asynchronous event streams within the sliding window form a convex distributive lattice (denoted by Lat-Win). Then we propose an algorithm to maintain Lat-Win at runtime. The Lat-Win maintenance algorithm is implemented and evaluated on the open-source context-aware middleware we developed. The evaluation results first show the necessity of adopting sliding windows over asynchronous event streams. Then they show the performance of detecting specified predicates within Lat-Win, even when faced with dynamic changes in the computing environment.


title: RI/MOM renormalization constants (N_f=4) and the strong coupling constant (N_f=2+1+1) from twisted-mass QCD

abstract: We study RI/MOM renormalization constants of bilinear quark operators for $N_f=4$ and the strong coupling constant for $N_f=2+1+1$ using Wilson twisted-mass fermions. We use the "egalitarian" method to remove H(4) hypercubic artifacts non-perturbatively, which enables us to study physical quantities in a wide range of momenta. We then apply OPE in studying the running behavior of $Z_q$ and $\alpha_s$, from which we are able to extract the Landau gauge dimension-two gluon condensate $<A^2>$ which is of phenomenological interest.


title: A characterization of domains in $\C^n$ with locally Levi-flat boundaries

abstract: A domain in $\C^n$ with Levi-flat boundary near a given point is characterized in terms of the boundary behavior of the Kobayashi or Bergman metrics, or of the Bergman kernel. Some results are given in the case of intermediate values of the rank of the Levi form.


title: Intelligent Distributed Production Control

abstract: This editorial introduces the special issue of the Springer journal, Journal of Intelligent Manufacturing, on intelligent distributed production control. This special issue contains selected papers presented at the 13th IFAC Symposium on Information Control Problems in Manufacturing - INCOM'2009 (Bakhtadze and Dolgui, 2009). The papers in this special issue were selected because of their high quality and their specific way of addressing the variety of issues dealing with intelligent distributed production control. Previous global discussions about the state of the art in intelligent distributed production control are provided, as well as exploratory guidelines for future research in this area.


title: Analysing the Effect on CMB in a Parity and Charge Parity Violating Varying Alpha Theory

abstract: In this paper we study in detail the effect of our recently proposed model of parity and charge-parity (PCP) violating varying alpha on the Cosmic Microwave Background (CMB) photon passing through the intra galaxy-cluster medium (ICM). The ICM is well known to be composed of magnetized plasma. According to our model, the polarization and intensity of the CMB would be affected when traversing through the ICM due to non-trivial scalar photon interactions. We have calculated the evolution of such polarization and intensity collectively, known as the stokes parameters of the CMB photon during its journey through the ICM and tested our results against the Sunyaev-Zel'dovich (SZ) measurement on Coma galaxy cluster. Our model contains a PCP violating parameter, $\beta$, and a scale of alpha variation $\omega$. Using the derived constrained on the photon-to-scalar conversion probability, ${\bar P}_{\gamma \rightarrow \phi}$, for Coma cluster in ref.[34] we found a contour plot in the ($\omega,\beta$) parameter plane. The $\beta =0$ line in this parameter space corresponds to well-studied Maxwell-dilaton type models which has lower bound on $\omega \gtrapprox 6.4 \times 10^{9}$ GeV. In general, as the absolute value of $\beta$ increases, lower bound on $\omega$ also increases. Our model in general predicts the modification of the CMB polarization with a non-trivial dependence on the parity violating coupling parameter $\beta$. However, it is unconstrained in this particular study. We show that this effect can in principle be detected in the future measurements on CMB polarization such that $\beta$ can also be constrained.


title: Spontaneous CP violation in quark scattering from QCD Z(3) interfaces

abstract: In this paper, we explore the possibility of spontaneous CP violation in the scattering of quarks and anti-quarks from QCD Z(3) domain walls. The CP violation here arises from the nontrivial profile of the background gauge field $(A_{0})$ between different Z(3) vacua. We calculate the spatial variation of $A_{0}$ across the Z(3) interface from the profile of the Polyakov loop $L(\vec{x})$ for the Z(3) interface and calculate the reflection of quarks and antiquarks using the Dirac equation. This spontaneous CP violation has interesting consequences for the relativistic heavy-ion collision experiments, such as baryon enhancement at high $P_{T}$. It also acts as a source of additional J/$\psi$ suppression. We also discuss its implications for the early universe.


title: Observable Signatures of the low-z Circum-Galactic and Inter-Galactic Medium : UV Line Emission in Simulations

abstract: We present for the first time predictions for UV line emission of intergalactic and circumgalactic gas from Adaptive Mesh Resolution (AMR) Large Scale Structure (LSS) simulations at redshifts 0.3<z<1.2, with specific emphasis on observability with current and near-future UV instrumentation. In three transitions of interest (Lya, OVI and CIV) there is a clear bimodality in the type of objects : the overwhelming majority of flux stems from discrete, compact sources, while a much larger volume fraction is filled by more tenuous gas. We characterise both object types with regard to number density, physical size and shape, brightness, luminosity, velocity structure, mass, temperature, ionisation state, and metal content. Degrading AMR grids to characteristic resolutions of available (such as FIREBall) or foreseeable instrumentation, allows to assess which inferences can be drawn from currently possible observations, and set foundations to prepare observing strategies for future missions. In general, the faint emission of the IGM and filamentary structure remains beyond capabilities of instruments with only short duration exposure potential (stratospheric balloons), even for optimistic assumptions for Lya, while the yet fainter metal line transitions for these structures will remain challenging for long duration exposures (space-based telescopes), mostly due to low metallicity pushing them more than three orders of magnitudes in brightness below Lya radiation. For the circum-galactic medium (CGM) the situation is more promising, and it is foreseeable that in the near future we will not only just dectect such sources, but the combination of all three lines in addition to velocity information will yield valuable insight into the physical processes at hand, illuminating important mechanisms during the formation of galaxies and their backreaction onto the IGM from whence they formed. (abrigded)


title: Parametric estimation. Finite sample theory

abstract: The paper aims at reconsidering the famous Le Cam LAN theory. The main features of the approach which make it different from the classical one are as follows: (1) the study is nonasymptotic, that is, the sample size is fixed and does not tend to infinity; (2) the parametric assumption is possibly misspecified and the underlying data distribution can lie beyond the given parametric family. These two features enable to bridge the gap between parametric and nonparametric theory and to build a unified framework for statistical estimation. The main results include large deviation bounds for the (quasi) maximum likelihood and the local quadratic bracketing of the log-likelihood process. The latter yields a number of important corollaries for statistical inference: concentration, confidence and risk bounds, expansion of the maximum likelihood estimate, etc. All these corollaries are stated in a nonclassical way admitting a model misspecification and finite samples. However, the classical asymptotic results including the efficiency bounds can be easily derived as corollaries of the obtained nonasymptotic statements. At the same time, the new bracketing device works well in the situations with large or growing parameter dimension in which the classical parametric theory fails. The general results are illustrated for the i.i.d. setup as well as for generalized linear and median estimation. The results apply for any dimension of the parameter space and provide a quantitative lower bound on the sample size yielding the root-n accuracy.


title: Experimental Evidence of the Role of Compound Counting Processes in Random Walk Approaches to Fractional Dynamics

abstract: We present dielectric spectroscopy data obtained for gallium-doped Cd$_{0.99}$Mn$_{0.01}$Te:Ga mixed crystals which exhibit a very special case of the two-power-law relaxation pattern with the high-frequency power-law exponent equal to 1. We explain this behavior, which cannot be fitted by none of the well-known empirical relaxation functions, in a subordinated diffusive framework. We propose diffusion scenario based on a renormalized clustering of random number of spatio-temporal steps in the continuous time random walk. Such a construction substitutes the renewal counting process, used in the classical continuous time random walk methodology, by a compound counting one. As a result, we obtain a novel relaxation function governing the observed non-standard pattern, and we show the importance of the compound counting processes in studying fractional dynamics of complex systems.


title: Gluon saturation in $pA$ collisions at the LHC: KLN model predictions for hadron multiplicities

abstract: The upcoming p+Pb run at the LHC will probe the nuclear gluon distribution at very small Bjorken x (from $x \sim 10^{-4}$ at mid-rapidity down to $x \sim 10^{-6}$ in the proton fragmentation region) and will allow to test approaches based on parton saturation. Here, we present the predictions of the KLN model for hadron multiplicities and multiplicity distributions in p+Pb collisions at a center-of-mass energy of 4.4 TeV. We also compare the model to the existing pp, dA and AA data from RHIC and LHC.


title: GIT and moduli with a twist

abstract: We survey the role played by GIT in the study of moduli spaces, with an emphasis on the birational geometry of GIT quotients.


title: ModuLand plug-in for Cytoscape: determination of hierarchical layers of overlapping network modules and community centrality

abstract: Summary: The ModuLand plug-in provides Cytoscape users an algorithm for determining extensively overlapping network modules. Moreover, it identifies several hierarchical layers of modules, where meta-nodes of the higher hierarchical layer represent modules of the lower layer. The tool assigns module cores, which predict the function of the whole module, and determines key nodes bridging two or multiple modules. The plug-in has a detailed JAVA-based graphical interface with various colouring options. The ModuLand tool can run on Windows, Linux, or Mac OS. We demonstrate its use on protein structure and metabolic networks. Availability: The plug-in and its user guide can be downloaded freely from: http://www.linkgroup.hu/modules.php. Contact: csermely.peter@med.semmelweis-univ.hu Supplementary information: Supplementary information is available at Bioinformatics online.

categories: physics.comp-ph cond-mat.dis-nn cs.SI q-bio.MN


title: Tempered relaxation with clustering patterns

abstract: This work is motivated by the relaxation data for materials which exhibit a change of the relationship between the fractional power-law exponents when different relaxation peaks in their dielectric susceptibility are observed. Within the proposed framework we derive a frequency-domain relaxation function fitting the whole range of the two-power-law dielectric spectroscopy data with independent low- and high-frequency fractional exponents \gamma\ and -\alpha, respectively. We show that this effect results from a contribution of different processes. For high frequencies it is determined by random stops and movement of relaxing components, and the low-frequency slope is caused by clustering in their temporal changes.


title: Sustainable Credit And Interest Rates

abstract: With negative growth in real production in many countries and debt levels which become an increasing burden on developed societies, the calls for a change in economic policy and even the monetary system become louder and increasingly impatient. We research the consequences of a system of credit and debt, that still allows for the expansion of credit and fundamentally retains many features of the present monetary system, without the instability inherent in the present system.


title: Thermal spin pumping and magnon-phonon-mediated spin-Seebeck effect

abstract: The spin-Seebeck effect (SSE) in ferromagnetic metals and insulators has been investigated systematically by means of the inverse spin-Hall effect (ISHE) in paramagnetic metals. The SSE generates a spin voltage as a result of a temperature gradient in a ferromagnet, which injects a spin current into an attached paramagnetic metal. In the paramagnet, this spin current is converted into an electric field due to the ISHE, enabling the electric detection of the SSE. The observation of the SSE is performed in longitudinal and transverse configurations consisting of a ferromagnet/paramagnet hybrid structure, where thermally generated spin currents flowing parallel and perpendicular to the temperature gradient are detected, respectively. Our results explain the SSE in terms of a two-step process: (1) the temperature gradient creates a non-equilibrium state in the ferromagnet governed by both magnon and phonon propagations and (2) the non-equilibrium between magnons in the ferromagnet and electrons in the paramagnet at the contact interface leads to "thermal spin pumping" and the ISHE signal. The non-equilibrium state of metallic magnets (e.g. Ni81Fe19) under a temperature gradient is governed mainly by the phonons in the sample and the substrate, while in insulating magnets (e.g. Y3Fe5O12) both magnon and phonon propagations appear to be important. The phonon-mediated non-equilibrium that drives the thermal spin pumping is confirmed also by temperature-dependent measurements, giving rise to a giant enhancement of the SSE signals at low temperatures.


title: Regularization Methods for Ill-Posed Problems in Multiple Hilbert Scales

abstract: Several convergence results in Hilbert scales under different source conditions are proved and orders of convergence and optimal orders of convergence are derived. Also, relations between those source conditions are proved. The concept of a multiple Hilbert scale on a product space is introduced, regularization methods on these scales are defined, both for the case of a single observation and for the case of multiple observations. In the latter case, it is shown how vector-valued regularization functions in these multiple Hilbert scales can be used. In all cases convergence is proved and orders and optimal orders of convergence are shown.


title: Subordination scenario of anomalous relaxation

abstract: The non-exponential relaxation is shown to result from subordination by inverse tempered \alpha-stable processes. The main feature of tempered \alpha-stable processes is a finiteness of their moments, and the class of random processes includes ordinary \alpha-stable processes as a particular case. Starting with the Cole-Cole response this subordination approach establishes its direct link with the Cole-Davidson law. We derive the relaxation function describing the tempered relaxation. The meaning of the empirical response function is clarified.


title: Analytical Solution of Two-Dimensional Scarf II Model by Means of SUSY Methods

abstract: New two-dimensional quantum model - the generalization of the Scarf II - is completely solved analytically for the integer values of parameter. This model being not amenable to conventional procedure of separation of variables is solved by recently proposed method of supersymmetrical separation. The latter is based on two constituents of SUSY Quantum Mechanics: the intertwining relations with second order supercharges and the property of shape invariance. As a result, all energies of bound states were found, and the analytical expressions for corresponding wave functions were obtained.


title: A Field Range Bound for General Single-Field Inflation

abstract: We explore the consequences of a detection of primordial tensor fluctuations for general single-field models of inflation. Using the effective theory of inflation, we propose a generalization of the Lyth bound. Our bound applies to all single-field models with two-derivative kinetic terms for the scalar fluctuations and is always stronger than the corresponding bound for slow-roll models. This shows that non-trivial dynamics can't evade the Lyth bound. We also present a weaker, but completely universal bound that holds whenever the Null Energy Condition (NEC) is satisfied at horizon crossing.


title: Maximizing System Throughput by Cooperative Sensing in Cognitive Radio Networks

abstract: Cognitive Radio Networks allow unlicensed users to opportunistically access the licensed spectrum without causing disruptive interference to the primary users (PUs). One of the main challenges in CRNs is the ability to detect PU transmissions. Recent works have suggested the use of secondary user (SU) cooperation over individual sensing to improve sensing accuracy. In this paper, we consider a CRN consisting of a single PU and multiple SUs to study the problem of maximizing the total expected system throughput. We propose a Bayesian decision rule based algorithm to solve the problem optimally with a constant time complexity. To prioritize PU transmissions, we re-formulate the throughput maximization problem by adding a constraint on the PU throughput. The constrained optimization problem is shown to be NP-hard and solved via a greedy algorithm with pseudo-polynomial time complexity that achieves strictly greater than 1/2 of the optimal solution. We also investigate the case for which a constraint is put on the sensing time overhead, which limits the number of SUs that can participate in cooperative sensing. We reveal that the system throughput is monotonic over the number of SUs chosen for sensing. We illustrate the efficacy of the performance of our algorithms via a numerical investigation.


title: Effects of Model Parameters in Thermodynamics of the PNJL Model

abstract: The thermodynamic behavior of the two-flavor($N_f=$2) three-color ($N_c=3$) Polyakov-loop-extended Nambu-Jona-Lasinio model at the finite chemical potential is investigated. New lattice gluon data for gluon thermodynamics are used defining the effective potential within polynomial and logarithmic forms of its approximation. We study the effects of using different sets of data and different forms of the potential on thermodynamic properties of hot and dense matter. It is found that the PNJL thermodynamics depends stronger on the form of the effective potential than on the used lattice data set. Particular attention is paid to the phase diagram in the $(T,\mu)$ plane.


title: Numerical solution for the anisotropic Willmore flow of graphs

abstract: The Willmore flow is well known problem from the differential geometry. It minimizes the Willmore functional defined as integral of the mean-curvature square over given manifold. For the graph formulation, we derive modification of the Willmore flow with anisotropic mean curvature. We define the weak solution and we prove an energy equality. We approximate the solution numerically by the complementary finite volume method. To show the stability, we re-formulate the resulting scheme in terms of the finite difference method. By using simple framework of FDM we show discrete version of the energy equality. The time discretization is done by the method of lines and the resulting system of ODEs is solved by the Runge-Kutta-Merson solver with adaptive integration step. We also show experimental order of convergence as well as results of the numerical experiments, both for several different anisotropies.


title: Effect of calibration errors on Bayesian parameter estimation for gravitational wave signals from inspiral binary systems in the advanced detectors era

abstract: By 2015 the advanced versions of the gravitational-wave detectors Virgo and LIGO will be online. They will collect data in coincidence with enough sensitivity to potentially deliver multiple detections of gravitation waves from inspirals of compact-object binaries. This work is focused on understanding the effects introduced by uncertainties in the calibration of the interferometers. We consider plausible calibration errors based on estimates obtained during LIGO's fifth and Virgo's third science runs, which include frequency-dependent amplitude errors of $\sim 10%$ and frequency-dependent phase errors of $\sim 3$ degrees in each instrument. We quantify the consequences of such errors estimating the parameters of inspiraling binaries. We find that the systematics introduced by calibration errors on the inferred values of the chirp mass and mass ratio are smaller than 20% of the statistical measurement uncertainties in parameter estimation for 90% of signals in our mock catalog. Meanwhile, the calibration-induced systematics in the inferred sky location of the signal are smaller than $\sim 50%$ of the statistical uncertainty. We thus conclude that calibration-induced errors at this level are not a significant detriment to accurate parameter estimation.


title: Olber's Paradox for Superluminal Neutrinos: Constraining Extreme Neutrino Speeds at TeV-ZeV Energies with the Diffuse Neutrino Background

abstract: The only invariant speed in special relativity is c; therefore, if some neutrinos travel at even tiny speeds above c, normal special relativity is incomplete and any superluminal speed may be possible. I derive a limit on superluminal neutrino speeds v >> c at high energies by noting that such speeds would increase the size of the neutrino horizon. The increased volume of the Universe visible leads to a brighter astrophysical neutrino background. The nondetection of "guaranteed" neutrino backgrounds from star-forming galaxies and ultrahigh energy cosmic rays (UHECRs) constrains v/c at TeV--ZeV energies. I find that v/c <= 820 at 60 TeV from the nondetection of neutrinos from star-forming galaxies. The nondetection of neutrinos from UHECRs constrains v/c to be less than 2500 at 0.1 EeV in a pessimistic model and less than 4.6 at 4 EeV in an optimistic model. The UHECR neutrino background nondetection is strongly inconsistent with a naive quadratic extrapolation of the OPERA results to EeV energies. The limits apply subject to some caveats, particularly that the expected pionic neutrino backgrounds exist and that neutrinos travel faster than c when they pass the detector. They could be improved substantially as the expected neutrino backgrounds are better understood and with new experimental neutrino background limits. I also point out that extremely subluminal speeds would result in a much smaller neutrino background intensity than expected.


title: The Role of Kozai Cycles in Near-Earth Binary Asteroids

abstract: We investigate the Kozai mechanism in the context of near-Earth binaries and the Sun. The Kozai effect can lead to changes in eccentricity and inclination of the binary orbit, but it can be weakened or completely suppressed by other sources of pericenter precession, such as the oblateness of the primary body. Through numerical integrations including primary oblateness and 3 bodies (the two binary components and the Sun), we show that Kozai cycles cannot occur for the closely-separated near-Earth binaries in our sample. We demonstrate that this is due to pericenter precession around the oblate primary, even for very small oblateness values. Since the majority of observed near-Earth binaries are not well-separated, we predict that Kozai cycles do not play an important role in the orbital evolution of most near-Earth binaries. For a hypothetical wide binary modeled after 1998 ST27, the separation is large at 16 primary radii and so the orbital effects of primary oblateness are lessened. For this wide binary, we illustrate the possible excursions in eccentricity and inclination due to Kozai cycles as well as depict stable orientations for the binary's orbital plane. Unstable orientations lead to collisions between binary components, and we suggest that the Kozai effect acting in wide binaries may be a route to the formation of near-Earth contact binaries.


title: Symmetry Breaking Bulk Effects in Local D-brane Models

abstract: We study symmetry breaking effects in local D-brane models that arise as a result of compactification, taking models constructed on C^3/Z_3 as prototype. Zero-modes of the Lichnerowicz operator in cone-like geometries have a power law behaviour; thus the leading symmetry breaking effects are captured by the modes with the lowest scaling dimension which transform non-trivially under the isometry group. Combining this with the fact that global symmetries in local models are gauged upon compactification we determine the strength and form of the leading operators responsible for the symmetry breaking. We find a hierarchical separation in the size of symmetry breaking parameters.


title: On a Connection Between Small Set Expansions and Modularity Clustering in Social Networks

abstract: In this paper we explore a connection between two seemingly different problems from two different domains: the small-set expansion problem studied in unique games conjecture, and a popular community finding approach for social networks known as the modularity clustering approach. We show that a sub-exponential time algorithm for the small-set expansion problem leads to a sub-exponential time constant factor approximation for some hard input instances of the modularity clustering problem.


title: Effect of alpha variation on the vibrational spectrum of Sr_2

abstract: We consider the effect of $\alpha$ variation on the vibrational spectrum of Sr$_2$ in the context of a planned experiment to test the stability of $\mu\equiv m_e/m_p$ using optically trapped Sr$_2$ molecules [Zelevinsky et al., Phys. Rev. Lett. {\bf 100}, 043201; Kotochigova et al., Phys. Rev. A {\bf 79}, 012504]. We find the prospective experiment to be 3 to 4 times less sensitive to fractional variation in $\alpha$ as it is to fractional variation in $\mu$. Depending on the precision ultimately achieved by the experiment, this result may give justification for the neglect of $\alpha$ variation or, alternatively, may call for its explicit consideration in the interpretation of experimental results.


title: A numerical approach to harmonic non-commutative spectral field theory

abstract: We present a first numerical investigation of a non-commutative gauge theory defined via the spectral action for Moyal space with harmonic propagation. This action is approximated by finite matrices. Using Monte Carlo simulation we study various quantities such as the energy density, the specific heat density and some order parameters, varying the matrix size and the independent parameters of the model. We find a peak structure in the specific heat which might indicate possible phase transitions. However, there are mathematical arguments which show that the limit of infinite matrices is very different from the original spectral model.


title: On the existence of curves with a triple point on a K3 surface

abstract: Let $(S,H)$ be a general primitively polarized $K3$ surface of genus $\p$ and let $p_a(nH)$ be the arithmetic genus of $nH.$ We prove the existence in $|\mathcal O_S(nH)|$ of curves with a triple point and $A_k$-singularities. In particular, we show the existence of curves of geometric genus $g$ in $|\mathcal O_S(nH)|$ with a triple point and nodes as singularities and corresponding to regular points of their equisingular deformation locus, for every $1\leq g\leq p_a(nH)-3$ and $(\p,n)\neq (4,1).$ Our result is obtained by studying the versal deformation space of a non-planar quadruple point.


title: Cumulant expansion for fast estimate of non-Condon effects in vibronic transition profiles

abstract: When existing, cumulants can provide valuable information about a given distribution and can in principle be used to either fully reconstruct or approximate the parent distribution function. A previously reported cumulant expansion approach for Franck-Condon profiles [Faraday Discuss., 150, 363 (2011)] is extended to describe also the profiles of vibronic transitions that are weakly allowed or forbidden in the Franck-Condon approximation (non-Condon profiles). In the harmonic approximation the cumulants of the vibronic spectral profile can be evaluated analytically and numerically with a coherent state-based generating function that accounts for the Duschinsky effect. As illustration, the one-photon $1 ^{1}\mathrm{A_{g}}\rightarrow1 ^{1}\mathrm{B_{2u}}$ UV absorption spectrum of benzene in the electric dipole and (linear) Herzberg-Teller approximation is presented herein for zero Kelvin and finite temperatures.


title: Quark-Novae in Neutron Star-White-Dwarf Binaries: A model for luminous (spin-down powered) sub-Chandrasekhar-mass Type Ia Supernovae ?

abstract: We show that appealing to a Quark-Nova (QN) in a tight binary system containing a massive neutron star and a CO white dwarf (WD), a Type Ia explosion could occur. The QN ejecta collides with the WD driving a shock that triggers Carbon burning under degenerate conditions (the QN-Ia). The conditions in the compressed low-mass WD (M_WD < 0.9M_sun) in our model mimics those of a Chandrasekhar mass WD. The spin-down luminosity from the QN compact remnant (the quark star) provides additional power that makes the QN-Ia light-curve brighter and broader than a standard SN-Ia with similar 56Ni yield. In QNe-Ia, photometry and spectroscopy are not necessarily linked since the kinetic energy of the ejecta has a contribution from spin-down power and nuclear decay. Although QNe-Ia may not obey the Phillips relationship, their brightness and their relatively "normal looking" light-curves means they could be included in the cosmological sample. Light-curve fitters would be confused by the discrepancy between spectroscopy at peak and photometry and would correct for it by effectively brightening or dimming the QNe-Ia apparent magnitudes. Thus over- or under-estimating the true magnitude of these spin-down powered SNe-Ia. Contamination of QNe-Ia in samples of SNe-Ia used for cosmological analyses could systematically bias measurements of cosmological parameters if QNe-Ia are numerous enough at high-redshift. The strong mixing induced by spin-down wind combined with the low 56Ni yields in QNe-Ia means that these would lack a secondary maximum in the i-band despite their luminous nature. We discuss possible QNe-Ia progenitors.


title: Consistency under sampling of exponential random graph models

abstract: The growing availability of network data and of scientific interest in distributed systems has led to the rapid development of statistical models of network structure. Typically, however, these are models for the entire network, while the data consists only of a sampled sub-network. Parameters for the whole network, which is what is of interest, are estimated by applying the model to the sub-network. This assumes that the model is consistent under sampling, or, in terms of the theory of stochastic processes, that it defines a projective family. Focusing on the popular class of exponential random graph models (ERGMs), we show that this apparently trivial condition is in fact violated by many popular and scientifically appealing models, and that satisfying it drastically limits ERGM's expressive power. These results are actually special cases of more general results about exponential families of dependent random variables, which we also prove. Using such results, we offer easily checked conditions for the consistency of maximum likelihood estimation in ERGMs, and discuss some possible constructive responses.


title: Eccentric black hole-neutron star mergers: effects of black hole spin and equation of state

abstract: There is a high level of interest in black hole-neutron star binaries, not only because their mergers may be detected by gravitational wave observatories in the coming years, but also because of the possibility that they could explain a class of short duration gamma-ray bursts. We study black hole-neutron star mergers that occur with high eccentricity as may arise from dynamical capture in dense stellar regions such as nuclear or globular clusters. We perform general relativistic simulations of binaries with a range of impact parameters, three different initial black hole spins (zero, aligned and anti-aligned with the orbital angular momentum), and neutron stars with three different equations of state. We find a rich diversity across these parameters in the resulting gravitational wave signals and matter dynamics, which should also be reflected in the consequent electromagnetic emission. Before tidal disruption, the gravitational wave emission is significantly larger than perturbative predictions suggest for periapsis distances close to effective innermost stable separations, exhibiting features reflecting the zoom-whirl dynamics of the orbit there. Guided by the simulations, we develop a simple model for the change in orbital parameters of the binary during close encounters. Depending upon the initial parameters of the system, we find that mass transfer during non-merging close encounters can range from essentially zero to a sizable fraction of the initial neutron star mass. The same holds for the amount of material outside the black hole post-merger, and in some cases roughly half of this material is estimated to be unbound. We also see that non-merging close encounters generically excite large oscillations in the neutron star that are qualitatively consistent with f-modes.

categories: astro-ph.HE astro-ph.CO astro-ph.GA gr-qc


title: Performance of Cache Memory Subsystems for Multicore Architectures

abstract: Advancements in multi-core have created interest among many research groups in finding out ways to harness the true power of processor cores. Recent research suggests that on-board component such as cache memory plays a crucial role in deciding the performance of multi-core systems. In this paper, performance of cache memory is evaluated through the parameters such as cache access time, miss rate and miss penalty. The influence of cache parameters over execution time is also discussed. Results obtained from simulated studies of multi-core environments with different instruction set architectures (ISA) like ALPHA and X86 are produced.


title: Wolstenholme's theorem: Its Generalizations and Extensions in the last hundred and fifty years (1862--2012)

abstract: In 1862 Wolstenholme proved that for any prime $p\ge 5$ the numerator of the fraction $$ 1+\frac 12 +\frac 13+...+\frac{1}{p-1} $$ written in reduced form is divisible by $p^2$, $(2)$ and the numerator of the fraction $$ 1+\frac{1}{2^2} +\frac{1}{3^2}+...+\frac{1}{(p-1)^2} $$ written in reduced form is divisible by $p$. The first of the above congruences, the so called {\it Wolstenholme's theorem}, is a fundamental congruence in combinatorial number theory. In this article, consisting of 11 sections, we provide a historical survey of Wolstenholme's type congruences and related problems. Namely, we present and compare several generalizations and extensions of Wolstenholme's theorem obtained in the last hundred and fifty years. In particular, we present more than 70 variations and generalizations of this theorem including congruences for Wolstenholme primes. These congruences are discussed here by 33 remarks. The Bibliography of this article contains 106 references consisting of 13 textbooks and monographs, 89 papers, 3 problems and Sloane's On-Line Enc. of Integer Sequences. In this article, some results of these references are cited as generalizations of certain Wolstenholme's type congruences, but without the expositions of related congruences. The total number of citations given here is 189.


title: Chebyshev-Type Quadrature Formulas for New Weight Classes

abstract: We give Chebyshev-type quadrature formulas for certain new weight classes. These formulas are of highest possible degree when the number of nodes is a power of 2. We also describe the nodes in a constructive way, which is important for applications. One of our motivations to consider these type of problems is the Faraday cage phenomenon for discrete charges as discussed by J. Korevaar and his colleagues.


title: Beam propagation in a Randomly Inhomogeneous Medium

abstract: An integro-differential equation describing the angular distribution of beams is analyzed for a medium with random inhomogeneities. Beams are trapped because inhomogeneities give rise to wave localization at random locations and random times. The expressions obtained for the mean square deviation from the initial direction of beam propagation generalize the "3/2 law".


title: Fractional oscillator

abstract: We consider the fractional oscillator being a generalization of the conventional linear oscillator in the framework of fractional calculus. It is interpreted as an ensemble average of ordinary harmonic oscillators governed by stochastic time arrow. The intrinsic absorption of the fractional oscillator results from the full contribution of the harmonic oscillators' ensemble: these oscillators differs a little from each other in frequency so that each response is compensated by an antiphase response of another harmonic oscillator. This allows to draw a parallel in the dispersion analysis for the media described by the fractional oscillator and the ensemble of ordinary harmonic oscillators with damping. The features of this analysis are discussed.


title: Hultman numbers, polygon gluings and matrix integrals

abstract: The Hultman numbers enumerate permutations whose cycle graph has a given number of alternating cycles (they are relevant to the Bafna-Pevzner approach to genome comparison and genome rearrangements). We give two new interpretations of the Hultman numbers: in terms of polygon gluings and as integrals over the space of complex matrices, and derive some properties of their generating functions.


title: Automated Seizure Detection: Unrecognized Challenges, Unexpected Insights

abstract: One of epileptology's fundamental aims is the formulation of a universal, internally consistent seizure definition. To assess this aim's feasibility, three signal analysis methods were applied to a seizure time series and performance comparisons were undertaken among them and with respect to a validated algorithm. One of the methods uses a Fisher's matrix weighted measure of the rate of parameters change of a 2n order auto-regressive model, another is based on the Wavelet Transform Maximum Modulus for quantification of changes in the logarithm of the standard deviation of ECoG power and yet another employs the ratio of short-to-long term averages computed from cortical signals. The central finding, fluctuating concordance among all methods' output as a function of seizure duration, uncovers unexpected hurdles in the path to a universal definition, while furnishing relevant knowledge in the dynamical (spectral non-stationarity and varying ictal signal complexity) and clinical (probable attainability of consensus) domains.


title: An Approach using Demisubmartingales for the Stochastic Analysis of Networks

abstract: Stochastic network calculus is the probabilistic version of the network calculus, which uses envelopes to perform probabilistic analysis of queueing networks. The accuracy of probabilistic end-to-end delay or backlog bounds computed using network calculus has always been a concern. In this paper, we propose novel end-to-end probabilistic bounds based on demisubmartingale inequalities which improve the existing bounds for the tandem networks of GI/GI/1 queues. In particular, we show that reasonably accurate bounds are achieved by comparing the new bounds with the existing results for a network of M/M/1 queues.


title: Hamiltonian formalism of fractional systems

abstract: In this paper we consider a generalized classical mechanics with fractional derivatives. The generalization is based on the time-clock randomization of momenta and coordinates taken from the conventional phase space. The fractional equations of motion are derived using the Hamiltonian formalism. The approach is illustrated with a simple-fractional oscillator in a free state and under an external force. Besides the behavior of the coupled fractional oscillators is analyzed. The natural extension of this approach to continuous systems is stated. The interpretation of the mechanics is discussed.


title: Towards a Probabilistic Definition of Seizures

abstract: This writing: a) Draws attention to the intricacies inherent to the pursuit of a universal seizure definition even when powerful, well understood signal analysis methods are utilized to this end; b) Identifies this aim as a multi-objective optimization problem and discusses the advantages and disadvantages of adopting or rejecting a unitary seizure definition; c) Introduces a Probabilistic Measure of Seizure Activity to manage this thorny issue. The challenges posed by the attempt to define seizures unitarily may be partly related to their fractal properties and understood through a simplistic analogy to the so-called "Richardson effect". A revision of the time-honored conceptualization of seizures may be warranted to further advance epileptology.


title: The effects of baryons on the halo mass function

abstract: We present an analysis of the effects of baryon physics on the halo mass function. The analysis is based on simulations of a cosmological volume. Besides a Dark Matter (DM) only simulation, we also carry out two other hydrodynamical simulations. We identified halos using a spherical overdensity algorithm and their masses are computed at three different overdensities (with respect to the critical one), $\Delta_c=200$, 500 and 1500. We find the fractional difference between halo masses in the hydrodynamical and in the DM simulations to be almost constant, at least for halos more massive than $\log (M_{\Delta_c} / \hMsun)\geq 13.5$. In this range, mass increase in the hydrodynamical simulations is of about 4-5 per cent at $\Delta_c=500$ and $\sim 1$ - 2 per cent at $\Delta_c=200$. Quite interestingly, these differences are nearly the same for both radiative and non-radiative simulations. Such variations of halo masses induce corresponding variations of the halo mass function (HMF). At $z=0$, the HMFs for GH and CSF simulations are close to the DM one, with differences of $\mincir 3$ per cent at $\Delta_c = 200$, and $\simeq 7$ per cent at $\Delta_c=500$, with $\sim 10$ - 20 per cent differences reached at $\Delta_c = 1500$. At this higher overdensity, the increase of the HMF for the radiative case is larger by about a factor 2 with respect to the non--radiative case. Assuming a constant mass shift to rescale the HMF from the hydrodynamic to the DM simulations, brings the HMF difference with respect to the DM case to be consistent with zero. Our results have interesting implications to bracket uncertainties in the mass function calibration associated to the uncertain baryon physics, in view of cosmological applications of future large surveys of galaxy clusters. (Abridged)


title: A factor of i.i.d with uniform marginals and infinite clusters spanned by equal labels

abstract: We give an example of an $\mathsf{FIID}$ vertex-labeling of $\mathbb{T}_3$ whose marginals are uniform on $[0,1]$, and if we delete the edges between those vertices whose labels are different, then some of the remaining clusters are infinite.


title: MRI-driven Accretion on to Magnetized stars: Global 3D MHD Simulations of Magnetospheric and Boundary Layer Regimes

abstract: We discuss results of global 3D MHD simulations of accretion on to a rotating magnetized star with a tilted dipole magnetic field, where the accretion is driven by the magneto-rotational instability (MRI). The simulations show that MRI-driven turbulence develops in the disc, and angular momentum is transported outwards due primarily to the magnetic stress. The turbulent flow is strongly inhomogeneous and the densest matter is in azimuthally-stretched turbulent cells. We investigate two regimes of accretion: a magnetospheric regime and a boundary layer (BL) regime. In the magnetospheric regime, the accretion disc is truncated by the star's magnetic field within a few stellar radii from the star, and matter flows to the star in funnel streams. The funnel streams flowing towards the south and north magnetic poles but are not equal due to the inhomogeneity of the flow. In the BL regime, matter accretes to the surface of the star through the boundary layer. The magnetic field in the inner disc is strongly amplified by the shear of the accretion flow, and the matter and magnetic stresses become comparable. Accreting matter forms a belt-shaped region on the surface of the star. The belt has inhomogeneous density distribution which varies in time due to variable accretion rate. Results of simulations can be applied to classical T Tauri stars, accreting brown dwarfs, millisecond pulsars, dwarf novae cataclysmic variables, and other stars with magnetospheres smaller than several stellar radii.


title: A fusion algorithm for joins based on collections in Odra (Object Database for Rapid Application development)

abstract: In this paper we present the functionality of a currently under development database programming methodology called ODRA (Object Database for Rapid Application development) which works fully on the object oriented principles. The database programming language is called SBQL (Stack based query language). We discuss some concepts in ODRA for e.g. the working of ODRA, how ODRA runtime environment operates, the interoperability of ODRA with .net and java .A view of ODRA's working with web services and xml. Currently the stages under development in ODRA are query optimization. So we present the prior work that is done in ODRA related to Query optimization and we also present a new fusion algorithm of how ODRA can deal with joins based on collections like set, lists, and arrays for query optimization.


title: On the anomalous thermal evolution of the low-temperature, normal-state specific heat of various nonmagnetic intermetallic compounds

abstract: The low-temperature normal-state specific heat and resistivity curves of various nonmagnetic intermetallic compounds manifest an anomalous thermal evolution. Such an anomaly is exhibited as a break in the slope of the linearized C/T versus T^2 curve and as a drop in the R versus T curve, both at the same T_{\beta}{\gamma}. It is related, not to a thermodynamic phase transition, but to an anomaly in the density of states curves of the phonon or electron subsystems. On representing these two anomalies as additional Dirac-type delta functions, situated respectively at kB.{\theta}_L (for lattice) and kB.{\theta}_E (for electrons), an analytical expression for the total specific heat can be obtained. A least-square fit of this expression to experimental specific heat curves of various compounds reproduced satisfactorily all the features of the anomalous thermal evolution. The obtained fit parameters (in particular the Sommerfeld constant, {\gamma}_{0}, and Debye temperatures, {\theta}_D, compare favorably with the reported values. Furthermore, the analysis shows that (i) (T_{\beta}{\gamma}) / ({\theta}_D) = 0.2(1\pm1/\surd6) and (ii) {\gamma}_{0} {\propto} ({\theta}_D)^2; both relations are in a reasonable agreement with the experimental results. Finally, this analysis (based on the above arguments) justifies the often-used procedure that treats the above anomaly in terms of either a thermal variation of {\theta}_D or an additional Einstein mode.


title: Universal Dynamics of Kerr Frequency Comb Formation in Microresonators

abstract: Optical frequency combs allow for precise measurement of optical frequencies and are used in a growing number of applications beyond spectroscopy and optical frequency metrology. A class of compact microresonator based frequency comb generators has emerged recently based on (hyper)-parametric frequency conversion, mediated by the Kerr-non-linearity, of a continuous wave laser beam. Despite the rapid progress and the emergence of a wide variety of micro-resonator Kerr-comb platforms, an understanding of the dynamics of the Kerr comb formation is still lacking. In particular the question in which regime low phase noise performance can be achieved has so far not been answered but is of critical importance for future application of this technology. Here an universal, platform independent understanding of the Kerr-comb formation dynamics based on experimental observations in crystalline MgF2 and planar Si3N4 comb generators is given. This explains a wide range of hereto not understood phenomena and reveals for the first time the underlying condition for low phase noise performance.


title: Deviation from Tri-Bimaximal Mixing and Large Reactor Mixing Angle

abstract: Recent observations for a non-zero $\theta_{13}$ have come from various experiments. We study a model of lepton mixing with a 2-3 flavor symmetry to accommodate the sizable $\theta_{13}$ measurement. In this work, we derive deviations from the tri-bimaximal (TBM) pattern arising from breaking the flavor symmetry in the neutrino sector, while the charged leptons contribution has been discussed in a previous work. Contributions from both sectors towards accommodating the non-zero $\theta_{13}$ measurement are presented.


title: Carthaginian Enlargement of Filtrations

abstract: This work is concerned with the theory of initial and progressive enlargements of a reference filtration F with a random time {\tau}. We provide, under an equivalence assumption, slightly stronger than the absolute continuity assumption of Jacod, alternative proofs to results concerning canonical decomposition of an F-martingale in the enlarged filtrations. Also, we address martingales' characterization in the enlarged filtrations in terms of martingales in the reference filtration, as well as predictable representation theorems in the enlarged filtrations.


title: The Orbit and Companion of Probable gamma-ray Pulsar J2339-0533

abstract: We have measured dramatic flux and spectral variations through the 0.193d orbit of the optical counterpart of the unidentified gamma-ray source 0FGL J2339.8-0530. This compact object companion is strongly heated, with T_eff varying from ~6900K (superior conjunction) to <3000K at minimum. A combined fit to the light curve and radial velocity amplitudes implies M_1 ~ 0.075M_sun, M_2 ~ 1.4 M_sun and inclination i ~ 57deg. Thus this is a likely `black widow' system with Edot~10^{34-34.5} erg/s pulsar driving companion mass loss. This wind, also suggested by the X-ray light curve, may prevent radio pulse detection. Our measurements constrain the pulsar's reflex motion, increasing the possibility of a pulse detection in the gamma-ray signal.


title: Anisotropy of TeV Cosmic Rays and the Outer Heliospheric Boundaries

abstract: Cosmic rays in the energy range from about 10's GeV to several 100's TeV are observed on Earth with an energy-dependent anisotropy of order 0.01-0.1%, and a consistent topology that appears to significantly change at higher energy. The nearest and most recent galactic cosmic ray sources might stochastically dominate the observation and possibly explain a change in orientation of the anisotropy as a function of energy. However, the diffusion approximation is not able to explain its non-dipolar structure and, in particular, the significant contribution of small angular scale features. Particle propagation within the mean free path in the local interstellar medium might have a major role in determining the properties of galactic cosmic rays, such as their arrival distribution. In particular, scattering on perturbations induced in the local interstellar magnetic field by the heliosphere wake, may cause a re-distribution of anisotropic cosmic rays below about 100 TeV toward the direction of the elongated heliotail and of the local interstellar magnetic field in the outer heliosphere. Such scattering processes are considered responsible of the observed TeV cosmic ray global anisotropy and its fine angular structure.


title: Group Actions on CAT(0) Simplicial Complexes

abstract: The notions of nonpositive curved spaces and biautomatic groups are generalizations of the geometric properties of hyperbolic spaces and computational properties of their fundamental groups. Given the mutual origins of these conditions, one might conjecture that groups acting on nonpositive curved spaces are biautomatic. While the conventional wisdom is that counterexamples should exist, some groups acting on nonpositively curved spaces have been shown to be biautomatic. This article adds to the list of positive examples by proving that groups acting on CAT(0) simplicial 3-complexes are biautomatic.


title: Projective Dimensions in Cluster-Tilted Categories

abstract: We study the projective dimensions of the restriction of functors Hom(-,X) to a contravariantly finite rigid subcategory T of a triangulated category C. We show that the projective dimension of Hom(-,X)|T is at most one if and only if there are no non-zero morphisms between objects in T[1] factoring through X, when the object X belongs to a suitable subcategory of C. As a consequence, we obtain a characterisation of the objects of infinite projective dimension in the category of finitely presented contravariant functors on a cluster-tilting subcategory of C.


title: First-principle studies of the spin-orbit and the Dzyaloshinskii-Moriya interactions in the \{Cu$_3$\} single-molecule magnet

abstract: Frustrated triangular molecule magnets such as \{Cu$_3$\} are characterized by two degenerate S=1/2 ground-states with opposite chirality. Recently it has been proposed theoretically [PRL {\bf 101}, 217201 (2008)] and verified by {\it ab-initio} calculations [PRB {\bf 82}, 155446 (2010)] that an external electric field can efficiently couple these two chiral spin states, even in the absence of spin-orbit interaction (SOI). The SOI is nevertheless important, since it introduces a splitting in the ground-state manifold via the Dzyaloshinskii-Moriya interaction. In this paper we present a theoretical study of the effect of the SOI on the chiral states within spin density functional theory. We employ a recently-introduced Hubbard model approach to elucidate the connection between the SOI and the Dzyaloshinskii-Moriya interaction. This allows us to express the Dzyaloshinskii-Moriya interaction constant $D$ in terms of the microscopic Hubbard model parameters, which we calculate from first-principles. The small splitting that we find for the \{Cu$_3$\} chiral state energies ($\Delta \approx 0.02$ meV) is consistent with experimental results. The Hubbard model approach adopted here also yields a better estimate of the isotropic exchange constant than the ones obtained by comparing total energies of different spin configurations. The method used here for calculating the DM interaction unmasks its simple fundamental origin which is the off-diagonal spin-orbit interaction between the generally multireference vacuum state and single-electron excitations out of those states.


title: Secular Gravitational Instability of a Dust Layer in Shear Turbulence

abstract: We perform a linear stability analysis of a dust layer in a turbulent gas disk. Youdin (2011) investigated the secular gravitational instability of a dust layer using hydrodynamic equations with a turbulent diffusion term. We obtain essentially the same result independently of Youdin (2011). In the present analysis, we restrict the area of interest to small dust particles, while investigating the secular gravitational instability in a more rigorous manner. We discuss the time evolution of the dust surface density distribution using a stochastic model and derive the advection-diffusion equation. The validity of the analysis by Youdin (2011) is confirmed in the strong drag limit. We demonstrate quantitatively that the finite thickness of a dust layer weakens the secular gravitational instability and that the density-dependent diffusion coefficient changes the growth rate. We apply the obtained results to the turbulence driven by the shear instability and find that the secular gravitational instability is faster than the radial drift when the gas density is three times as large as that in the minimum-mass disk model. If the dust particles are larger than chondrules, the secular gravitational instability grows within the lifetime of a protoplanetary disk.


title: Dependence of a quantum mechanical system on its own initial state and the initial state of the environment it interacts with

abstract: We present a unifying framework to the understanding of when and how quantum mechanical systems become independent of their initial conditions and adapt macroscopic properties (like temperature) of the environment.By viewing this problem from an quantum information theory perspective, we are able to simplify it in a very natural and easy way. We first show that for any interaction between the system and the environment, and almost all initial states of the system, the question of how long the system retains memory of its initial conditions can be answered by studying the temporal evolution of just one special initial state. This special state thereby depends only on our knowledge of macroscopic parameters of the system. We provide a simple entropic inequality for this state that can be used to determine whether mosts states of the system have, or have not become independent of their initial conditions after time $t$. We discuss applications of our entropic criterion to thermalization times in systems with an effective light-cone and to quantum memories suffering depolarizing noise. We make a similar statement for almost all initial states of the environment, and finally provide a sufficient condition for which a system never thermalizes, but remains close to its initial state for all times.


title: Specification of photonic circuits using Quantum Hardware Description Language

abstract: Following the simple observation that the interconnection of a set of quantum optical input-output devices can be specified using structural mode VHSIC Hardware Description Language (VHDL), we demonstrate a computer-aided schematic capture workflow for modeling and simulating multi-component photonic circuits. We describe an algorithm for parsing circuit descriptions to derive quantum equations of motion, illustrate our approach using simple examples based on linear and cavity-nonlinear optical components, and demonstrate a computational approach to hierarchical model reduction.


title: Relative entropies, suitable weak solutions, and weak strong uniqueness for the compressible Navier-Stokes system

abstract: We introduce the notion of relative entropy for the weak solutions of the compressible Navier-Stokes system. We show that any finite energy weak solution satisfies a relative entropy inequality for any pair of sufficiently smooth test functions. As a corollary we establish weak-strong uniqueness principle for the compressible Navier-Stokes system.


title: Revisiting the "radial-drift barrier" of planet formation and its relevance in observed protoplanetary discs

abstract: Context. To form metre-sized pre-planetesimals in protoplanetary discs, growing grains have to decouple from the gas before they are accreted onto the central star during their phase of fast radial migration and thus overcome the so-called "radial-drift barrier" (often inaccurately referred to as the "metre-size barrier"). Aims. To predict the outcome of the radial motion of dust grains in protoplanetary discs whose surface density and temperature follow power-law profiles, with exponent p and q respectively. We investigate both the Epstein and the Stokes drag regimes which govern the motion of the dust. Methods. We analytically integrate the equations of motion obtained from perturbation analysis. We compare these results with those from direct numerical integration of the equations of motion. Then, using data from observed discs, we predict the fate of dust grains in real discs. Results. When a dust grain reaches the inner regions of the disc, the acceleration due to the increase of the pressure gradient is counterbalanced by the increase of the gas drag. We find that most grains in the Epstein (resp. the Stokes) regime survive their radial migration if-p+q+1/2 \leq0 (resp. if q\leq 2/3). The majority of observed discs satisfies both-p+q+ 1/2 \leq0 and q\leq 2/3: a large fraction of both their small and large grains remain in the disc, for them the radial drift barrier does not exist.


title: A Bayesian Approach to Forecasting Solar Cycles Using a Fokker-Planck Equation

abstract: A Bayesian method for forecasting solar cycles is presented. The approach combines a Fokker--Planck description of short--timescale (daily) fluctuations in sunspot number (\citeauthor{NobleEtAl2011}, 2011, \apj{} \textbf{732}, 5) with information from other sources, such as precursor and/or dynamo models. The forecasting is illustrated in application to two historical cycles (cycles 19 and 20), and then to the current solar cycle (cycle 24). The new method allows the prediction of quantiles, i.e. the probability that the sunspot number falls outside large or small bounds at a given future time. It also permits Monte Carlo simulations to identify the expected size and timing of the peak daily sunspot number, as well as the smoothed sunspot number for a cycle. These simulations show how the large variance in daily sunspot number determines the actual reliability of any forecast of the smoothed maximum of a cycle. For cycle 24 we forecast a maximum daily sunspot number of $166\pm 24$, to occur in March 2013, and a maximum value of the smoothed sunspot number of $66\pm5$, indicating a very small solar cycle.


title: Analytic study on cold field electron emission from metallic nanowall array

abstract: The cold field electron emission from metallic nanowall array is investigated theoretically. Via conformal mapping method, analytic formulas of tunneling barrier, edge field enhancement factor, transmission coefficient, and area emission current density are derived in the semi-classical approximation. The influence of field enhancement effects and screening effects on cold field emission are discussed and the optimal spacing distance between nanowalls for the largest emission current density is found to be a linear function of the height of nanowalls and depends on the applied field.


title: High-Resolution Simulations of Convection Preceding Ignition in Type Ia Supernovae Using Adaptive Mesh Refinement

abstract: We extend our previous three-dimensional, full-star simulations of the final hours of convection preceding ignition in Type Ia supernovae to higher resolution using the adaptive mesh refinement capability of our low Mach number code, MAESTRO. We report the statistics of the ignition of the first flame at an effective 4.34 km resolution, and general flow field properties at an effective 2.17 km resolution. We find that off-center ignition is likely, with radius of 50 km most favored and a likely range of 40 to 75 km. This is consistent with our previous coarser (8.68 km resolution) simulations, implying that we have achieved sufficient resolution in our determination of likely ignition radii. The dynamics of the last few hot spots preceding ignition suggest that a multiple ignition scenario is not likely. With improved resolution, we can more clearly see the general flow pattern in the convective region, characterized by a strong outward plume with a lower speed recirculation. We show that the convective core is turbulent with a Kolmogorov spectrum and has a lower turbulent intensity and larger integral length scale than previously thought (on the order of 16 km s$^{-1}$ and 200 km, respectively), and we discuss the potential consequences for the first flames.


title: The Alexandrov problem in a quotient space of $\mathbb H^2\times \mathbb R$

abstract: We prove an Alexandrov type theorem for a quotient space of $\mathbb H^2\times \mathbb R$. More precisely we classify the compact embedded surfaces with constant mean curvature in the quotient of $\mathbb H^2\times \mathbb R$ by a subgroup of isometries generated by a parabolic translation along horocycles of $\mathbb H^2$ and a vertical translation. Moreover, we construct some examples of periodic minimal surfaces in $\mathbb H^2\times\mathbb R$ and we prove a multi-valued Rado theorem for small perturbations of the helicoid in $\mathbb H^2\times\mathbb R$.


title: The number of bar{3}bar{1}542-avoiding permutations

abstract: We confirm a conjecture of Lara Pudwell and show that permutations of [n] that avoid the barred pattern bar{3}bar{1}542 are counted by OEIS sequence A047970. In fact, we show bijectively that the number of bar{3}bar{1}542 avoiders of length n with j+k left-to-right maxima, of which j initiate a descent in the permutation and k do not, is {n}-choose-{k} j! StirlingPartition{n-j-k}{j}, where StirlingPartition{n}{j} is the Stirling partition number.


title: Dusty gas with SPH - II. Implicit timestepping and astrophysical drag regimes

abstract: In a companion paper (Laibe & Price 2011b), we have presented an algorithm for simulating two-fluid gas and dust mixtures in Smoothed Particle Hydrodynamics (SPH). In this paper, we develop an implicit timestepping method that preserves the exact conservation of the both linear and angular momentum in the underlying SPH algorithm, but unlike previous schemes, allows the iterations to converge to arbitrary accuracy and is suited to the treatment of non- linear drag regimes. The algorithm presented in Paper I is also extended to deal with realistic astrophysical drag regimes, including both linear and non-linear Epstein and Stokes drag. The scheme is benchmarked against the test suite presented in Paper I, including i) the analytic solutions of the dustybox problem and ii) solutions of the dustywave, dustyshock, dustysedov and dustydisc obtained with explicit timestepping. We find that the implicit method is 1- 10 times faster than the explicit temporal integration when the ratio r between the the timestep and the drag stopping time is 1 < r < 1000.


title: Dusty gas with SPH - I. Algorithm and test suite

abstract: We present a new algorithm for simulating two-fluid gas and dust mixtures in Smoothed Particle Hydrodynamics (SPH), systematically addressing a number of key issues including the generalised SPH density estimate in multi-fluid systems, the consistent treatment of variable smoothing length terms, finite particle size, time step stability, thermal coupling terms and the choice of kernel and smoothing length used in the drag operator. We find that using double-hump shaped kernels improves the accuracy of the drag interpolation by a factor of several hundred compared to the use of standard SPH bell-shaped kernels, at no additional computational expense. In order to benchmark our algorithm, we have developed a comprehensive suite of standardised, simple test problems for gas and dust mixtures: dustybox, dustywave, dustyshock, dustysedov and dustydisc, the first three of which have known analytic solutions. We present the validation of our algorithm against all of these tests. In doing so, we show that the spatial resolution criterion \Delta < cs ts is a necessary condition in all gas+dust codes that becomes critical at high drag (i.e. small stopping time ts) in order to correctly predict the dynamics. Implicit timestepping and the implementation of realistic astrophysical drag regimes are addressed in a companion paper.


title: C*-algebras associated with Hilbert C*-quad modules of C*-textile dynamical systems

abstract: A $C^*$-textile dynamical system $({\cal A}, \rho,\eta,\Sigma^\rho,\Sigma^\eta, \kappa)$ connsists of a unital $C^*$-algebra ${\cal A}$, two families of endomorphisms ${\rho_\alpha}_{\alpha \in \Sigma^\rho}$ and ${\eta_a}_{a \in \Sigma^\eta}$ of ${\cal A}$ and certain commutation relations $\kappa$ among them. It yields a two-dimensional subshift and multi structure of Hilbert $C^*$-bimodules, which we call a Hilbert $C^*$-quad module. We introduce a $C^*$-algebra from the Hilbert $C^*$-quad module as a two-dimensional analogue of Pimsner's construction of $C^*$-algebras from Hilbert $C^*$-bimodules. We study the $C^*$-algebras defined by the Hilbert $C^*$-quad modules and prove that they have universal properties subject to certain operator relations. We also present its examples arising from commuting matrices.


title: On a strong version of the Kepler conjecture

abstract: We raise and investigate the following problem that one can regard as a very close relative of the densest sphere packing problem. If the Euclidean 3-space is partitioned into convex cells each containing a unit ball, how should the shapes of the cells be designed to minimize the average surface area of the cells? In particular, we prove that the average surface area in question is always at least 13.8564... .


title: T-functions revisited: New criteria for bijectivity/transitivity

abstract: The paper presents new criteria for bijectivity/transitivity of T-functions and fast knapsack-like algorithm of evaluation of a T-function. Our approach is based on non-Archimedean ergodic theory: Both the criteria and algorithm use van der Put series to represent 1-Lipschitz $p$-adic functions and to study measure-preservation/ergodicity of these.


title: A relation between the shape of a permutation and the shape of the base poset derived from the Lehmer codes

abstract: For a permutation $\omega \in S_{n}$ Denoncourt constructed a poset $M_{\omega}$ which is the set of join-irreducibles of the Lehmer codes of the permutations in $[e, \omega]$ in the inversion order on $S_{n}$. In this paper we show that $M_{\omega}$ is a $B_{2}$-free poset if and only if $\omega$ is a 3412-3421-avoiding permutation.


title: Cyclicity in rank-one perturbation problems

abstract: The property of cyclicity of a linear operator, or equivalently the property of simplicity of its spectrum, is an important spectral characteristic that appears in many problems of functional analysis and applications to mathematical physics. In this paper we study cyclicity in the context of rank-one perturbation problems for self-adjoint and unitary operators. We show that for a fixed non-zero vector the property of being a cyclic vector is not rare, in the sense that for any family of rank-one perturbations of self-adjoint or unitary operators acting on the space, that vector will be cyclic for every operator from the family, with a possible exception of a small set with respect to the parameter. We discuss applications of our results to Anderson-type Hamiltonians.


title: vFlow: A GUI-Based Tool for Building Batch Applications for Cloud Computing

abstract: In this paper we introduce vFlow - A framework for rapid designing of batch processing applications for Cloud Computing environment. vFlow batch processing system extracts tasks from the vPlans diagrams, systematically captures the dynamics in batch application management tasks, and translates them to Cloud environment API, named vDocuments, that can be used to execute batch processing applications. vDocuments do not only enable the complete execution of low-level configuration management tasks, but also allow the construction of more sophisticated tasks, while imposing additional reasoning logic to realize batch application management objectives in Cloud environments. We present the design of the vFlow framework and illustrate its utility by presenting the implementation of several sophisticated operational tasks.


title: The tile assembly model is intrinsically universal

abstract: We prove that the abstract Tile Assembly Model (aTAM) of nanoscale self-assembly is intrinsically universal. This means that there is a single tile assembly system U that, with proper initialization, simulates any tile assembly system T. The simulation is "intrinsic" in the sense that the self-assembly process carried out by U is exactly that carried out by T, with each tile of T represented by an m x m "supertile" of U. Our construction works for the full aTAM at any temperature, and it faithfully simulates the deterministic or nondeterministic behavior of each T. Our construction succeeds by solving an analog of the cell differentiation problem in developmental biology: Each supertile of U, starting with those in the seed assembly, carries the "genome" of the simulated system T. At each location of a potential supertile in the self-assembly of U, a decision is made whether and how to express this genome, i.e., whether to generate a supertile and, if so, which tile of T it will represent. This decision must be achieved using asynchronous communication under incomplete information, but it achieves the correct global outcome(s).


title: On The Evolution Of The Spectral Break In The Afterglow Of Gamma Ray Bursts

abstract: The temporal evolution of the spectral break in the time resolved spectral energy density of the broad band afterglow of gamma ray bursts (GRBs) 091127 and 080319B was shown recently to be inconsistent with that expected for the cooling break in the standard fireball model of GRBs. Here we show that it is, however, in good agreement with the predicted temporal evolution of the smooth injection break/bend in the cannonball model of GRBs.


title: Fixed points and fusion rings. Part 1

abstract: In the first of this two-part series, we find `fixed point factorisation' formulas, towards an understanding of the fusion ring of WZW models. Fixed-point factorisation refers to the simplifications in the data of a CFT involving primary fields fixed by simple-currents. Until now, it has been worked out only for SU(n), where it has developed into a powerful tool for understanding the fusion rings of WZW models of CFT -- e.g. it has lead to closed formulas for NIM-reps and D-brane charges and charge-groups. In this paper, we generalise these formulas to the other classical algebras, laying the groundwork for future applications to fusion rings (Part 2). We also discuss connections with the twining characters of Fuchs-Schellekens-Schweigert.


title: Stability analysis for soliton solutions in a gauged CP(1) theory

abstract: We analyze the stability of soliton solutions in a Chern-Simons-CP(1) model. We show a condition for which the soliton solutions are stable. Finally we verified this result numerically.


title: On Regularity, Transitivity, and Ergodic Principle for Quadratic Stochastic Volterra Operators

abstract: In this paper we showed an equivalence of notions of regularity, transitivity and Ergodic principle for quadratic stochastic Volterra operators acting on the finite dimensional simplex.


title: Optimization of an electret-based energy harvester

abstract: Thanks to miniaturisation, it is today possible to imagine self-powered systems that use vibrations to produce their own electrical energy. Many energy-harvesting systems already exist. Some of them are based on the use of electrets: electrically charged dielectrics that can keep charges for years. This paper presents an optimisation of an existing system and proves that electret-based electrostatic energy scavengers can be excellent solutions to power microsystems even with low-level ambient vibrations. Thereby, it is possible to harvest up to 200\muW with vibrations lower than 1G of acceleration (typically 50\mumpp at 50Hz) using thin SiO2 electrets with an active surface of 1 cm^{2} and a mobile mass of 1g. This paper optimises such a system (geometric, electrostatic and mechanical parameters), using FEM (Finite Element Method) software (Comsol Multiphysics) and Matlab to compute the parameters and proves the importance of such an optimisation to build efficient systems. Finally, it shows that the use of electrets with high surface potential is not always the best way to maximise output power.


title: Feedback Induced Death in Coupled Oscillators

abstract: We investigate oscillation death in systems of coupled nonlinear oscillators with feedback loop. We find that feedback results in oscillation death both in small sets or large ensembles. More importantly, the death zone in parameter space is significantly enlarged and oscillation death could occur even in coupled identical oscillators in the presence of feedback. We find that there are two different ways to oscillation death, namely desynchronization and completely synchronization induced oscillation death. Feedback induced oscillation death may be used to suppress unexpected oscillations, e.g., in chaotic laser arrays.


title: The weight distributions of a class of cyclic codes

abstract: Recently, the weight distributions of the duals of the cyclic codes with two zeros have been obtained for several cases. In this paper we provide a slightly different approach toward the general problem and use it to solve one more special case. We make extensive use of standard tools in number theory such as characters of finite fields, the Gauss sums and the Jacobi sums to transform the problem of finding the weight distribution into a problem of evaluating certain character sums over finite fields, which on the special case is related with counting the number of points on some elliptic curves over finite fields. Other cases are also possible by this method.


title: Renormalization group analysis of the M-p-spin glass model with p=3 and M=3

abstract: We study an M-p-spin spin glass model with p=3 and M=3 in three dimensions using the Migdal-Kadanoff renormalization group approximation (MKA). In this version of the p-spin model, there are three (M=3) Ising spins on each site. At mean-field level, this model is known to have two transitions; a dynamical transition and a thermodynamic one at a lower temperature. The dynamical transition is similar to the mode-coupling transition in glasses, while the thermodynamic transition possibly describes what happens at the Kauzmann temperature. We find that all the coupling constants in the model flow under the MKA to the high-temperature sink implying that the mean-field features disappear in three dimensions and that there is no transition in this model. The behavior of the coupling constant flow is qualitatively similar to that of the model with p=3 and M=2, for which only a single transition is predicted at the mean-field level. We conclude that for p-spin models in three dimensions, fluctuation effects completely remove all traces of their mean-field behavior.


title: Practical Distributed Control Synthesis

abstract: Classic distributed control problems have an interesting dichotomy: they are either trivial or undecidable. If we allow the controllers to fully synchronize, then synthesis is trivial. In this case, controllers can effectively act as a single controller with complete information, resulting in a trivial control problem. But when we eliminate communication and restrict the supervisors to locally available information, the problem becomes undecidable. In this paper we argue in favor of a middle way. Communication is, in most applications, expensive, and should hence be minimized. We therefore study a solution that tries to communicate only scarcely and, while allowing communication in order to make joint decision, favors local decisions over joint decisions that require communication.


title: Trees over Infinite Structures and Path Logics with Synchronization

abstract: We provide decidability and undecidability results on the model-checking problem for infinite tree structures. These tree structures are built from sequences of elements of infinite relational structures. More precisely, we deal with the tree iteration of a relational structure M in the sense of Shelah-Stupp. In contrast to classical results where model-checking is shown decidable for MSO-logic, we show decidability of the tree model-checking problem for logics that allow only path quantifiers and chain quantifiers (where chains are subsets of paths), as they appear in branching time logics; however, at the same time the tree is enriched by the equal-level relation (which holds between vertices u, v if they are on the same tree level). We separate cleanly the tree logic from the logic used for expressing properties of the underlying structure M. We illustrate the scope of the decidability results by showing that two slight extensions of the framework lead to undecidability. In particular, this applies to the (stronger) tree iteration in the sense of Muchnik-Walukiewicz.


title: Synthesis of Switching Rules for Ensuring Reachability Properties of Sampled Linear Systems

abstract: We consider here systems with piecewise linear dynamics that are periodically sampled with a given period {\tau} . At each sampling time, the mode of the system, i.e., the parameters of the linear dynamics, can be switched, according to a switching rule. Such systems can be modelled as a special form of hybrid automata, called "switched systems", that are automata with an infinite real state space. The problem is to find a switching rule that guarantees the system to still be in a given area V at the next sampling time, and so on indefinitely. In this paper, we will consider two approaches: the indirect one that abstracts the system under the form of a finite discrete event system, and the direct one that works on the continuous state space. Our methods rely on previous works, but we specialize them to a simplified context (linearity, periodic switching instants, absence of control input), which is motivated by the features of a focused case study: a DC-DC boost converter built by electronics laboratory SATIE (ENS Cachan). Our enhanced methods allow us to treat successfully this real-life example.


title: A coinductive semantics of the Unlimited Register Machine

abstract: We exploit (co)inductive specifications and proofs to approach the evaluation of low-level programs for the Unlimited Register Machine (URM) within the Coq system, a proof assistant based on the Calculus of (Co)Inductive Constructions type theory. Our formalization allows us to certify the implementation of partial functions, thus it can be regarded as a first step towards the development of a workbench for the formal analysis and verification of both converging and diverging computations.


title: Model Checking Probabilistic Real-Time Properties for Service-Oriented Systems with Service Level Agreements

abstract: The assurance of quality of service properties is an important aspect of service-oriented software engineering. Notations for so-called service level agreements (SLAs), such as the Web Service Level Agreement (WSLA) language, provide a formal syntax to specify such assurances in terms of (legally binding) contracts between a service provider and a customer. On the other hand, formal methods for verification of probabilistic real-time behavior have reached a level of expressiveness and efficiency which allows to apply them in real-world scenarios. In this paper, we suggest to employ the recently introduced model of Interval Probabilistic Timed Automata (IPTA) for formal verification of QoS properties of service-oriented systems. Specifically, we show that IPTA in contrast to Probabilistic Timed Automata (PTA) are able to capture the guarantees specified in SLAs directly. A particular challenge in the analysis of IPTA is the fact that their naive semantics usually yields an infinite set of states and infinitely-branching transitions. However, using symbolic representations, IPTA can be analyzed rather efficiently. We have developed the first implementation of an IPTA model checker by extending the PRISM tool and show that model checking IPTA is only slightly more expensive than model checking comparable PTA.


title: A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking

abstract: Probabilistic Computation Tree Logic (PCTL) and Continuous Stochastic Logic (CSL) are often used to describe specifications of probabilistic properties for discrete time and continuous time, respectively. In PCTL and CSL, the possibility of executions satisfying some temporal properties can be quantitatively represented by the probabilistic extension of the path quantifiers in their basic Computation Tree Logic (CTL), however, path formulae of them are expressed via the same operators in CTL. For this reason, both of them cannot represent formulae with quantitative temporal properties, such as those of the form "some properties hold to more than 80% of time points (in a certain bounded interval) on the path." In this paper, we introduce a new temporal operator which expressed the notion of frequency of events, and define probabilistic frequency temporal logic (PFTL) based on CTL\star. As a result, we can easily represent the temporal properties of behavior in probabilistic systems. However, it is difficult to develop a model checker for the full PFTL, due to rich expressiveness. Accordingly, we develop a model-checking algorithm for the CTL-like fragment of PFTL against finite-state Markov chains, and an approximate model-checking algorithm for the bounded Linear Temporal Logic (LTL) -like fragment of PFTL against countable-state Markov chains.


title: Landau and Gruss type inequalities for inner product type integral transformers in norm ideals

abstract: For a probability measure $\mu$ and for square integrable fields $(\mathscr{A}_t)$ and $(\mathscr{B}_t)$ ($t\in\Omega$) of commuting normal operators we prove Landau type inequality \llu\int_\Omega\mathscr{A}_tX\mathscr{B}_td\mu(t)- \int_\Omega\mathscr{A}_t\,d\mu(t)X \int_\Omega\mathscr{B}_t\,d\mu(t) \rru \le \llu \sqrt{\,\int_\Omega|\mathscr{A}_t|^2\dt-|\int_\Omega\mathscr{A}_t\dt|^2}X \sqrt{\,\int_\Omega|\mathscr{B}_t|^2 \dt-|\int_\Omega\mathscr{B}_t\dt|^2} \rru for all $X\in\mathcalb{B}(\mathcal{H})$ and for all unitarily invariant norms $\lluo\cdot\rruo$. For Schatten $p$-norms similar inequalities are given for arbitrary double square integrable fields. Also, for all bounded self-adjoint fields satisfying $C\le\mathscr{A}_t\le D$ and $E\le\mathscr{B}_t\le F$ for all $t\in\Omega $ and some bounded self-adjoint operators $C,D,E$ and $F$, then for all $X\in\ccu$ we prove Gr\"uss type inequality \llu\int_\Omega\mathscr{A}_tX\mathscr{B}_t \dt- \int_\Omega \mathscr{A}_t\,d\mu(t)X \int_\Omega\mathscr{B}_t\,d\mu(t) \rru\leq \frac{\|D-C\|\cdot\|F-E\|}4\cdot\lluo X\rruo. More general results for arbitrary bounded fields are also given.


title: Electronic and spin transport properties of zigzag graphene nanoribbon mediated by metal adatom: A study by QUAMBO-NEGF approach

abstract: Structural and electronic properties, including deformation, magnetic moment, Mulliken population, bond order as well as electronic transport properties, of zigzag graphene nanoribbon (ZGNR) with Co adatom on hollow site are investigated by quasi-atomic minimal basis orbits (QUAMBOs), a first-principles tight binding (TB) scheme based on density functional theory (DFT), combined with non-equilibrium Green's function. As for electronic transport, below Fermi level the transmission is strongly suppressed and spin-dependent as a result of magnetism by Co adatom adsorption, while above Fermi level the transmission is slightly distorted and spin-independent. Due to local environment dependence of QUAMBOs-TB parameters, we construct QUAMBOs-TB parameters of ZGNR lead and ZGNR with Co adatom on the hollow center site by divide-and-conquer approach, and well reproduce the electronic transmission behavior. Our QUAMBO-NEGF method is a new and promising way for electronic transport in large-scale system.