title: Unraveling the Emission Geometry of the Fermi Millisecond Pulsars

abstract: The nine millisecond pulsars (MSPs) that have now been detected by Fermi-LAT are providing an excellent opportunity to probe the emission geometry of these ancient compact objects. As they are radio-loud, one may use the relative phase lags across wavebands to obtain constraints on the orientation, size, and location of their radio and gamma-ray beams. We model the gamma-ray light curves using geometric outer gap (OG) and two-pole caustic (TPC) models, in addition to a pair-starved polar cap (PSPC) model which incorporates the full General Relativistic E-field. We find that most MSP light curves are fit by OG and TPC models, while PSPC is more appropriate for two others. The light curves of the newest discovery, PSR J0034-0534, are best modeled using outer magnetosphere OG / TPC models of limited extension for both radio and gamma-ray beams. We model the radio emission of the other eight MSPs using a fixed-altitude conal model at lower altitude. We lastly deduce values for inclination and observer angles (alpha and zeta), as well as the flux correction factor, in each case.


title: Local orientational ordering in fluids of spherical molecules with dipolar-like anisotropic adhesion

abstract: We discuss some interesting physical features stemming from our previous analytical study of a simple model of a fluid with dipolar-like interactions of very short range in addition to the usual isotropic Baxter potential for adhesive spheres. While the isotropic part is found to rule the global structural and thermodynamical equilibrium properties of the fluid, the weaker anisotropic part gives rise to an interesting short-range local ordering of nearly spherical condensation clusters, containing short portions of chains having nose-to-tail parallel alignment which runs antiparallel to adjacent similar chains.


title: Quantum radiation reaction force on a one-dimensional cavity with two relativistic moving mirrors

abstract: We consider a real massless scalar field inside a cavity with two moving mirrors in a two-dimensional spacetime, satisfying Dirichlet boundary condition at the instantaneous position of the boundaries, for arbitrary and relativistic laws of motion. Considering vacuum as the initial field state, we obtain formulas for the exact value of the energy density of the field and the quantum force acting on the boundaries, which extend results found in previous papers. For the particular cases of a cavity with just one moving boundary, non-relativistic velocities, or in the limit of infinity length of the cavity (a single mirror), our results coincide with those found in the literature.


title: Data Preservation at LEP

abstract: The four LEP experiments ALEPH, DELPHI, L3 and OPAL successfully recorded e+e- collision data during the years 1989 to 2000. As part of the ordinary evolution in High Energy Physics, these experiments can not be repeated and their data is therefore unique. This article briefly reviews the data preservation efforts undertaken by the four experiments beyond the end of data taking. The current status of the preserved data and associated tools is summarised.


title: Dressed Qubits in Nuclear Spin Baths

abstract: We present a method to encode a \textit{dressed} qubit into the product state of an electron spin localized in quantum dot and its surrounding nuclear spins via a dressing transformation. In this scheme, the hyperfine coupling and a portion of nuclear dipole dipole interaction become logic gates, while they are the sources of decoherence in electron spin qubit proposals. We discuss errors and corrections for the dressed qubits. Interestingly, the effective Hamiltonian of nuclear spins is equivalent to a pairing Hamiltonian, which provides the microscopic mechanism to protect dressed qubits against decoherence.


title: iSSEE: IMS Sensors Search Engine Enabler for Sensors Mashups Convergent Application

abstract: Integrating the sensing capabilities in Internet Protocol network will open the opportunities to build a wide range of novel multimedia applications. The problem when using sensors (e.g. temperature sensor, camera, audio, humidity, etc.) connected to the network is to know dynamically at any time if they are always connected or not, what type of data they can transmit and where they are geographically located. This paper describes an application enabler: IMS Sensor Search Engine Enabler (iSSEE), which allows IMS applications using sensors and IMS based devices, to get information about the sensor availability, its location and the type of the sensor. Using data collected by sensors and from the web, mash-ups convergent applications use cases are proposed by combining the contents from heterogeneous data.


title: Complete controllability of finite quantum systems with two-fold energy level degeneracy

abstract: Complete controllability of finite dimensional quantum systems with energy level degeneracy is investigated using two different approaches. One approach is to apply a weak constant field to eliminate the degeneracy and then control it using techniques developed for non-degenerate quantum systems. Conditions for the elimination of degeneracy are found and the issue of influence of relaxation time of constant external field to the target state are addressed through the fidelity. Another approach is to control the degenerate system by a single control field directly. It is found that the system with two-fold degenerate excited states and non-degenerate ground state are completely controllable except for the two-level system. Conditions of complete controllability are found for both systems with different energy gaps and with equal energy gaps.


title: Magnetic Branes in Brans-Dicke-Maxwell Theory

abstract: We present a new class of magnetic brane solutions in $(n+1)$-dimensional Brans-Dicke-Maxwell theory in the presence of a quadratic potential for the scalar field. These solutions are neither asymptotically flat nor (anti)-de Sitter. Our strategy for constructing these solutions is applying a conformal transformation to the corresponding solutions in dilaton gravity. This class of solutions represents a spacetime with a longitudinal magnetic field generated by a static brane. They have no curvature singularity and no horizons but have a conic geometry with a deficit angle $\delta$. We generalize this class of solutions to the case of spinning magnetic brane with all rotation parameters. We also use the counterterm method and calculate the conserved quantities of the solutions.


title: Regularity of weak solutions of a complex Monge-Amp\`ere equation

abstract: We prove the smoothness of weak solutions to an elliptic complex Monge-Ampere equation, using the smoothing property of the corresponding parabolic flow.


title: A Bernstein Type Theorem For Self-similar Shrinkers

abstract: In this note, we prove that smooth self-shrinkers in $\Real^{n+1}$, that are entire graphs, are hyperplanes. Previously Ecker and Huisken showed that smooth self-shrinkers, that are entire graphs and have at most polynomial growth, are hyperplanes. The point of this note is that no growth assumption at infinity is needed.


title: Emotions in Pervasive Computing Environments

abstract: The ability of an intelligent environment to connect and adapt to real internal sates, needs and behaviors' meaning of humans can be made possible by considering users' emotional states as contextual parameters. In this paper, we build on enactive psychology and investigate the incorporation of emotions in pervasive systems. We define emotions, and discuss the coding of emotional human markers by smart environments. In addition, we compare some existing works and identify how emotions can be detected and modeled by a pervasive system in order to enhance its service and response to users. Finally, we analyze closely one XML-based language for representing and annotating emotions known as EARL and raise two important issues which pertain to emotion representation and modeling in XML-based languages.


title: Pairing mechanism in Fe pnictide superconductors

abstract: By applying an exact unitary transformation to a two-band hamiltonian which also includes the effects due to large pnictogen polarizabilities, we show that an attractive spin-mediated Hubbard term appears in the $d_{xz}$, $d_{yz}$ nearest-neighbour channel. This pairing mechanism implies a singlet superconducting order parameter in iron pnictides.


title: A Bright Spatially-Coherent Compact X-ray Synchrotron Source

abstract: Each successive generation of x-ray machines has opened up new frontiers in science, such as the first radiographs and the determination of the structure of DNA. State-of-the-art x-ray sources can now produce coherent high brightness keV x-rays and promise a new revolution in imaging complex systems on nanometre and femtosecond scales. Despite the demand, only a few dedicated synchrotron facilities exist worldwide, partially due the size and cost of conventional (accelerator) technology. Here we demonstrate the use of a recently developed compact laser-plasma accelerator to produce a well-collimated, spatially-coherent, intrinsically ultrafast source of hard x-rays. This method reduces the size of the synchrotron source from the tens of metres to centimetre scale, accelerating and wiggling a high electron charge simultaneously. This leads to a narrow-energy spread electron beam and x-ray source that is >1000 times brighter than previously reported plasma wiggler and thus has the potential to facilitate a myriad of uses across the whole spectrum of light-source applications.


title: On topological properties of the formal power series substitution group

abstract: Certain topological properties of the group $\J(\k)$ of all formal one-variable power series with coefficients in a topological unitary ring $\k$ are considered. We show, in particular, that in the case when $\k=\Q$ the group $\J(\Q)$ has no continuous bijections into a locally compact group. In the case when $\k=\Z$ supplied with discrete topology, in spite of the fact that the group $\J(\Z)$ has continuous bijections into compact groups, it cannot be embedded into a locally compact group. In the final part of the paper the compression property for topological groups is considered. We establish the compressibility of $\J(\Z)$.


title: Towards a manifestly supersymmetric action for 11-dimensional supergravity

abstract: We investigate the possibility of writing a manifestly supersymmetric action for 11-dimensional supergravity. The construction involves an explicit relation between the fields in the super-vielbein and the super-3-form, and uses non-minimal pure spinors. A simple cubic interaction term for a single scalar superfield is found.


title: Detection of Denial of Service Attacks against Domain Name System Using Neural Networks

abstract: In this paper we introduce an intrusion detection system for Denial of Service (DoS) attacks against Domain Name System (DNS). Our system architecture consists of two most important parts: a statistical preprocessor and a neural network classifier. The preprocessor extracts required statistical features in a shorttime frame from traffic received by the target name server. We compared three different neural networks for detecting and classifying different types of DoS attacks. The proposed system is evaluated in a simulated network and showed that the best performed neural network is a feed-forward backpropagation with an accuracy of 99%.


title: Empirically Derived Integrated Stellar Yields of Fe-Peak Elements

abstract: We present here the initial results of a new study of massive star yields of Fe-peak elements. We have compiled from the literature a database of carefully determined solar neighborhood stellar abundances of seven iron-peak elements, Ti, V, Cr, Mn, Fe, Co, and Ni and then plotted [X/Fe] versus [Fe/H] to study the trends as functions of metallicity. Chemical evolution models were then employed to force a fit to the observed trends by adjusting the input massive star metallicity-sensitive yields of Kobayashi et al. Our results suggest that yields of Ti, V, and Co are generally larger as well as anticorrelated with metallicity, in contrast to the Kobayashi et al. predictions. We also find the yields of Cr and Mn to be generally smaller and directly correlated with metallicity compared to the theoretical results. Our results for Ni are consistent with theory, although our model suggests that all Ni yields should be scaled up slightly. The outcome of this exercise is the computation of a set of integrated yields, i.e., stellar yields weighted by a slightly flattened time-independent Salpeter initial mass function and integrated over stellar mass, for each of the above elements at several metallicity points spanned by the broad range of observations. These results are designed to be used as empirical constraints on future iron-peak yield predictions by stellar evolution modelers. Special attention is paid to the interesting behavior of [Cr/Co] with metallicity -- these two elements have opposite slopes -- as well as the indirect correlation of [Ti/Fe] with [Fe/H]. These particular trends, as well as those exhibited by the inferred integrated yields of all iron-peak elements with metallicity, are discussed in terms of both supernova nucleosynthesis and atomic physics.


title: From covariant to canonical formulations of discrete gravity

abstract: Starting from an action for discretized gravity we derive a canonical formalism that exactly reproduces the dynamics and (broken) symmetries of the covariant formalism. For linearized Regge calculus on a flat background -- which exhibits exact gauge symmetries -- we derive local and first class constraints for arbitrary triangulated Cauchy surfaces. These constraints have a clear geometric interpretation and are a first step towards obtaining anomaly--free constraint algebras for canonical lattice gravity. Taking higher order dynamics into account the symmetries of the action are broken. This results in consistency conditions on the background gauge parameters arising from the lowest non--linear equations of motion. In the canonical framework the constraints to quadratic order turn out to depend on the background gauge parameters and are therefore pseudo constraints. These considerations are important for connecting path integral and canonical quantizations of gravity, in particular if one attempts a perturbative expansion.


title: Spectrum of the heat equation with memory

abstract: We consider the Gurtin-Pipkin equation of the first order in time. For the kernel as a series of exponentials we obtain the structure of the spectrum of the system.


title: Congruence B-Orbits and the Bruhat Poset of Involutions of the Symmetric Group

abstract: We study the poset of Borel congruence classes of symmetric matrices ordered by containment of closures. We give a combinatorial description of this poset and calculate its rank function. We discuss the relation between this poset and the Bruhat poset of involutions of the symmetric group.


title: Parsing of part-of-speech tagged Assamese Texts

abstract: A natural language (or ordinary language) is a language that is spoken, written, or signed by humans for general-purpose communication, as distinguished from formal languages (such as computer-programming languages or the "languages" used in the study of formal logic). The computational activities required for enabling a computer to carry out information processing using natural language is called natural language processing. We have taken Assamese language to check the grammars of the input sentence. Our aim is to produce a technique to check the grammatical structures of the sentences in Assamese text. We have made grammar rules by analyzing the structures of Assamese sentences. Our parsing program finds the grammatical errors, if any, in the Assamese sentence. If there is no error, the program will generate the parse tree for the Assamese sentence


title: Application of Generalized Fokker-Planck Theory To Electron And Photon Transport In Tissue

abstract: We study a deterministic method for particle transport in tissue in selected medical applications. Generalized Fokker-Planck (GFP) theory has been developed to improve the Fokker-Planck (FP) equation in cases where scattering is forward-peaked and where there is a sufficient amount of large-angle scattering. We compare grid-based numerical solutions to Fokker-Planck and Generalized Fokker-Planck (GFP) in realistic applications. Electron dose calculations in heterogeneous parts of the human body are performed. Accurate electron scattering cross sections are therefore included and their incorporation in our model is extensively described. Moreover, we solve GFP approximations of the radiative transport equation to investigate reflectance and transmittance of light in tissue. All results are compared with either Monte Carlo or discrete-ordinates transport solutions.


title: Association Rule Pruning based on Interestingness Measures with Clustering

abstract: Association rule mining plays vital part in knowledge mining. The difficult task is discovering knowledge or useful rules from the large number of rules generated for reduced support. For pruning or grouping rules, several techniques are used such as rule structure cover methods, informative cover methods, rule clustering, etc. Another way of selecting association rules is based on interestingness measures such as support, confidence, correlation, and so on. In this paper, we study how rule clusters of the pattern Xi - Y are distributed over different interestingness measures.


title: A model for non-singular black hole collapse and evaporation

abstract: We study the formation of a black hole and its subsequent evaporation in a model employing a minisuperspace approach to loop quantum gravity. In previous work the static solution was obtained and shown to be singularity-free. Here, we examine the more realistic dynamical case by generalizing the static case with help of the Vaidya metric. We track the formation and evolution of trapped surfaces during collapse and evaporation and examine the buildup of quantum gravitationally caused stress-energy preventing the formation of a singularity.


title: Local Asymptotics of P-Spline Smoothing

abstract: This paper addresses asymptotic properties of general penalized spline estimators with an arbitrary B-spline degree and an arbitrary order difference penalty. The estimator is approximated by a solution of a linear differential equation subject to suitable boundary conditions. It is shown that, in certain sense, the penalized smoothing corresponds approximately to smoothing by the kernel method. The equivalent kernels for both inner points and boundary points are obtained with the help of Green's functions of the differential equation. Further, the asymptotic normality is established for the estimator at interior points. It is shown that the convergence rate is independent of the degree of the splines, and the number of knots does not affect the asymptotic distribution, provided that it tends to infinity fast enough.


title: Alexandrov curvature of convex hypersurfaces in Hilbert space

abstract: It is shown that convex hypersurfaces in Hilbert spaces have nonnegative Alexandrov curvature. This extends an earlier result of Buyalo for convex hypersurfaces in Riemannian manifolds of finite dimension.


title: Robust Video Watermarking using Multi-Band Wavelet Transform

abstract: This paper addresses copyright protection as a major security demand in digital marketplaces. Two watermarking techniques are proposed and compared for compressed and uncompressed video with the intention to show the advantages and the possible weaknesses in the schemes working in the frequency domain and in the spatial domain. In this paper a robust video watermarking method is presented. This method embeds data to the specific bands in the wavelet domain using motion estimation approach. The algorithm uses the HL and LH bands to add the watermark where the motion in these bands does not affect the quality of extracted watermark if the video is subjected to different types of malicious attacks. Watermark is embedded in an additive way using random Gaussian distribution in video sequences. The method is tested on different types of video (compressed DVD quality movie and uncompressed digital camera movie). The proposed watermarking method in frequency domain has strong robustness against some attacks such as frame dropping, frame filtering and lossy compression. The experimental results indicate that the similarity measure before and after certain attacks is very close to each other in frequency domain in comparison to the spatial domain.


title: Scaling Properties of Ge-SixGe1-x Core-Shell Nanowire Field Effect Transistors

abstract: We demonstrate the fabrication of high-performance Ge-SixGe1-x core-shell nanowire field-effect transistors with highly doped source and drain, and systematically investigate their scaling properties. Highly doped source and drain regions are realized by low energy boron implantation, which enables efficient carrier injection with a contact resistance much lower than the nanowire resistance. We extract key device parameters, such as intrinsic channel resistance, carrier mobility, effective channel length, and external contact resistance, as well as benchmark the device switching speed and ON/OFF current ratio.


title: Using social annotation and web log to enhance search engine

abstract: Search services have been developed rapidly in social Internet. It can help web users easily to find their documents. So that, finding a best method search is always an imagine. This paper would like introduce hybrid method of LPageRank algorithm and Social Sim Rank algorithm. LPageRank is the method using link structure to rank priority of page. It doesn't care content of page and content of query. Therefore, we want to use benefit of social annotations to create the latent semantic association between queries and annotations. This model, we use algorithm SocialPageRank and LPageRank to enhance accuracy of search system. To experiment and evaluate the proposed of the new model, we have used this model for Music Machine Website with their web logs.


title: Document Searching System based on Natural Language Query Processing for Vietnam Open Courseware Library

abstract: The necessary of buiding the searching system being able to support users expressing their searching by natural language queries is very important and opens the researching direction with many potential. It combines the traditional methods of information retrieval and the researching of Question Answering (QA). In this paper, we introduce a searching system built by us for searching courses on the Vietnam OpenCourseWare Program (VOCW). It can be considered as the first tool to be able to perform the user's Vietnamese questions. The experiment results are rather good when we evaluate this system on the precision


title: Gesture Recognition with a Focus on Important Actions by Using a Path Searching Method in Weighted Graph

abstract: This paper proposes a method of gesture recognition with a focus on important actions for distinguishing similar gestures. The method generates a partial action sequence by using optical flow images, expresses the sequence in the eigenspace, and checks the feature vector sequence by applying an optimum path-searching method of weighted graph to focus the important actions. Also presented are the results of an experiment on the recognition of similar sign language words.


title: Amicable pairs and aliquot cycles for elliptic curves

abstract: An amicable pair for an elliptic curve E/Q is a pair of primes (p,q) of good reduction for E satisfying #E(F_p) = q and #E(F_q) = p. In this paper we study elliptic amicable pairs and analogously defined longer elliptic aliquot cycles. We show that there exist elliptic curves with arbitrarily long aliqout cycles, but that CM elliptic curves (with j not 0) have no aliqout cycles of length greater than two. We give conjectural formulas for the frequency of amicable pairs. For CM curves, the derivation of precise conjectural formulas involves a detailed analysis of the values of the Grossencharacter evaluated at a prime ideal P in End(E) having the property that #E(F_P) is prime. This is especially intricate for the family of curves with j = 0.


title: Lexicographic Multi-objective Geometric Programming Problems

abstract: A Geometric programming (GP) is a type of mathematical problem characterized by objective and constraint functions that have a special form. Many methods have been developed to solve large scale engineering design GP problems. In this paper GP technique has been used to solve multi-objective GP problem as a vector optimization problem. The duality theory for lexicographic geometric programming has been developed to solve the problems with posynomial in objectives and constraints.


title: Formation of Random Dark Envelope Solitons from Incoherent Waves

abstract: This letter reports experimental results on a new type of soliton: the random temporal dark soliton. One excites an incoherent large-amplitude propagating spin-wave packet in a ferromagnetic film strip with a repulsive, instantaneous nonlinearity. One then observes the random formation of dark solitons from this wave packet. The solitons appear randomly in time and in position relative to the entire wave packet. They can be gray or black. For wide and/or very strong spin-wave packets, one also observes multiple dark solitons. In spite of the randomness of the initial wave packets and the random formation processes, the solitons show signatures that are found for conventional coherent dark solitons.


title: Polynomials Related to Harmonic Numbers and Evaluation of Harmonic Number Series I

abstract: In this paper we focus on two new families of polynomials which are connected with exponential polynomials and geometric polynomials. We discuss their generalizations and show that these new families of polynomials and their generalizations are useful to obtain closed forms of some series related to harmonic numbers.


title: High Availability Cluster System for Local Disaster Recovery with Markov Modeling Approach

abstract: The need for high availability (HA) and disaster recovery (DR) in IT environment is more stringent than most of the other sectors of enterprises. Many businesses require the availability of business-critical applications 24 hours a day, seven days a week, and can afford no data loss in the event of a disaster. It is vital that the IT infrastructure is resilient with regard to disruption, even site failures, and that business operations can continue without significant impact. As a result, DR has gained great importance in IT. Clustering of multiple industries standard servers together to allow workload sharing and fail-over capabilities is a low cost approach. In this paper, we present the availability model through Semi-Markov Process (SMP) and also analyze the difference in downtime of the SMP model and the approximate Continuous Time Markov Chain (CTMC) model. To acquire system availability, we perform numerical analysis and SHARPE tool evaluation.


title: An exact solution of the inelastic Boltzmann equation for the Couette flow with uniform heat flux

abstract: In the steady Couette flow of a granular gas the sign of the heat flux gradient is governed by the competition between viscous heating and inelastic cooling. We show from the Boltzmann equation for inelastic Maxwell particles that a special class of states exists where the viscous heating and the inelastic cooling exactly compensate each other at every point, resulting in a uniform heat flux. In this state the (reduced) shear rate is enslaved to the coefficient of restitution $\alpha$, so that the only free parameter is the (reduced) thermal gradient $\epsilon$. It turns out that the reduced moments of order $k$ are polynomials of degree $k-2$ in $\epsilon$, with coefficients that are nonlinear functions of $\alpha$. In particular, the rheological properties ($k=2$) are independent of $\epsilon$ and coincide exactly with those of the simple shear flow. The heat flux ($k=3$) is linear in the thermal gradient (generalized Fourier's law), but with an effective thermal conductivity differing from the Navier--Stokes one. In addition, a heat flux component parallel to the flow velocity and normal to the thermal gradient exists. The theoretical predictions are validated by comparison with direct Monte Carlo simulations for the same model.


title: A multiwavelength study of the star forming region IRAS 18544+0112

abstract: This work aims at investigating the molecular and infrared components in the massive young stellar object (MYSO) candidate IRAS 18544+0112. The purpose is to determine the nature and the origin of this infrared source. To analyze the molecular gas towards IRAS 18544+0112, we have carried out observations in a 90" x 90" region around l = 34.69, b = -0.65, using the Atacama Submillimeter Telescope Experiment (ASTE) in the 12CO J=3-2, 13CO J=3-2, HCO+ J=4-3 and CS J=7-6 lines with an angular resolution of 22". The infrared emission in the area has been analyzed using 2MASS and Spitzer public data. From the molecular analysis, we find self-absorbed 12CO J=3-2 profiles, which are typical in star forming regions, but we do not find any evidence of outflow activity. Moreover, we do not detect either HCO+ J=4-3 or CS J=7-6 in the region, which are species normally enhanced in molecular outflows and high density envelopes. The 12CO J=3-2 emission profile suggests the presence of expanding gas in the region. The Spitzer images reveal that the infrared source has a conspicuous extended emission bright at 8 um with an evident shell-like morphology of ~ 1.5 arcmin in size (~ 1.4 pc at the proposed distance of 3 kpc) that encircles the 24 um emission. The non-detection of ionized gas related to IRAS 18544+0112, together with the fact that it is still embedded in a molecular clump suggest that IRAS 18544+0112, has not reached the UCHII region stage yet. Based on near infrared photometry we search for YSO candidates in the region and propos that 2MASS 18565878+0116233 is the infrared point source associated with IRAS 18544+0112. Finally, we suggest that the expansion of a larger nearby HII region, G034.8-0.7, might be related to the formation of IRAS 18544+0112.


title: A Brief History of Context

abstract: Context is a rich concept and is an elusive concept to define. The concept of context has been studied by philosophers, linguists, psychologists, and recently by computer scientists. Within each research community the term context was interpreted in a certain way that is well-suited for their goals, however no attempt was made to define context. In many areas of research in computer science, notably on web-based services, human-computer interaction (HCI), ubiquitous computing applications, and context-aware systems there is a need to provide a formal operational definition of context. In this brief survey an account of the early work on context, as well as the recent work on many working definitions of context, context modeling, and a formalization of context are given. An attempt is made to unify the different context models within the formalization. A brief commentary on the usefulness of the formalization in the development of context-aware and dependable systems is included.


title: ICT in Universities of the Western Himalayan Region in India: Status, Performance- An Assessment

abstract: The present paper describes a live project study carried out for the universities located in the western Himalayan region of India in the year 2009. The objective of this study is to undertake the task of assessment regarding initiative, utilization of ICT resources, its performance and impact in these higher educational institutions/universities. In order to answer these, initially basic four- tier framework was prepared. Followed by a questionnaire containing different ICT components 18 different groups like vision, planning, implementation, ICT infrastructure and related activities exhibiting performance. Primary data in the form of feedback on the five point scale, of the questionnaire, was gathered from six universities of the region. A simple statistical analysis was undertaken using weighted mean, to assess the ICT initiative, status and performance of various universities. In the process, a question related to Performance Indicator was identified from each group, whose Coefficient of Correlation was calculated. This study suggests that a progressive vision, planning and initiative regarding academic syllabi, ICT infrastructure, used in training the skilled human resource, is going to have a favourable impact through actual placement, research and play a dominant role at the National and International level.


title: Superconductivity in New Iron Pnictide Oxide (Fe2As2)(Sr4(Mg,Ti)2O6)

abstract: We have discovered a new iron pnictide oxide superconductor (Fe2As2)(Sr4(Mg,Ti)2O6). This material is isostructual with (Fe2As2)(Sr4M2O6) (M = Sc, Cr, V), which were found in previous studies. The structure of this compound is tetragonal with a space group of P4/nmm and consists of the anti-fluorite type FeAs layer and perovskite-type block layer. The lattice constants are a = 3.935 A and c = 15.952 A for (Fe2As2)(Sr4MgTiO6). Bulk superconductivity with Tc(onset) of ~26 K was observed for a partially Co substituted sample. Moreover, Co-free and Ti-rich samples exhibited higher Tc(onset)'s above 35 K, which were further enhanced by applying high pressures up to ~43 K.


title: A duality approach to the worst case value at risk for a sum of dependent random variables with known covariances

abstract: We propose an approach to the aggregation of risks which is based on estimation of simple quantities (such as covariances) associated to a vector of dependent random variables, and which avoids the use of parametric families of copulae. Our main result demonstrates that the method leads to bounds on the worst case Value at Risk for a sum of dependent random variables. Its proof applies duality theory for infinite dimensional linear programs.


title: Improving Roth's theorem in the primes

abstract: Let A be a subset of the primes. Let \delta_P(N) = \frac{|\{n\in A: n\leq N\}|}{|\{\text{$n$ prime}: n\leq N\}|}. We prove that, if \delta_P(N)\geq C \frac{\log \log \log N}{(\log \log N)^{1/3}} for N\geq N_0, where C and N_0 are absolute constants, then A\cap [1,N] contains a non-trivial three-term arithmetic progression. This improves on B. Green's result, which needs \delta_P(N) \geq C' \sqrt{\frac{\log \log \log \log \log N}{\log \log \log \log N}}.


title: Knots with small rational genus

abstract: If K is a rationally null-homologous knot in a 3-manifold M, the rational genus of K is the infimum of -\chi(S)/2p over all embedded orientable surfaces S in the complement of K whose boundary wraps p times around K for some p (hereafter: S is a p-Seifert surface for K). Knots with very small rational genus can be constructed by "generic" Dehn filling, and are therefore extremely plentiful. In this paper we show that knots with rational genus less than 1/402 are all geometric -- i.e. they may be isotoped into a special form with respect to the geometric decomposition of M -- and give a complete classification. Our arguments are a mixture of hyperbolic geometry, combinatorics, and a careful study of the interaction of small p-Seifert surfaces with essential subsurfaces in M of non-negative Euler characteristic.


title: Global AdS Picture of 1/2 BPS Wilson Loops

abstract: We study the holographic dual string configuration of 1/2 BPS circular Wilson loops in N=4 super Yang-Mills theory by using the global coordinate of AdS. The dual string worldsheet is given by the Poincare disk AdS_2 sitting at a constant global time slice of AdS_5. We also analyze the correlator of two concentric circular Wilson loops from the global AdS perspective and study the phase transition associated with the instability of annulus worldsheet connecting the two Wilson loops.


title: Multiplicative Noise Removal Using Variable Splitting and Constrained Optimization

abstract: Multiplicative noise (also known as speckle noise) models are central to the study of coherent imaging systems, such as synthetic aperture radar and sonar, and ultrasound and laser imaging. These models introduce two additional layers of difficulties with respect to the standard Gaussian additive noise scenario: (1) the noise is multiplied by (rather than added to) the original image; (2) the noise is not Gaussian, with Rayleigh and Gamma being commonly used densities. These two features of multiplicative noise models preclude the direct application of most state-of-the-art algorithms, which are designed for solving unconstrained optimization problems where the objective has two terms: a quadratic data term (log-likelihood), reflecting the additive and Gaussian nature of the noise, plus a convex (possibly nonsmooth) regularizer (e.g., a total variation or wavelet-based regularizer/prior). In this paper, we address these difficulties by: (1) converting the multiplicative model into an additive one by taking logarithms, as proposed by some other authors; (2) using variable splitting to obtain an equivalent constrained problem; and (3) dealing with this optimization problem using the augmented Lagrangian framework. A set of experiments shows that the proposed method, which we name MIDAL (multiplicative image denoising by augmented Lagrangian), yields state-of-the-art results both in terms of speed and denoising performance.


title: Zone-plate focusing of Bose-Einstein condensates for atom optics and erasable high-speed lithography of quantum electronic components

abstract: We show that Fresnel zone plates, fabricated in a solid surface, can sharply focus atomic Bose-Einstein condensates that quantum reflect from the surface or pass through the etched holes. The focusing process compresses the condensate by orders of magnitude despite inter-atomic repulsion. Crucially, the focusing dynamics are insensitive to quantum fluctuations of the atom cloud and largely preserve the condensates' coherence, suggesting applications in passive atom-optical elements, for example zone plate lenses that focus atomic matter waves and light at the same point to strengthen their interaction. We explore transmission zone-plate focusing of alkali atoms as a route to erasable and scalable lithography of quantum electronic components in two-dimensional electron gases embedded in semiconductor nanostructures. To do this, we calculate the density profile of a two-dimensional electron gas immediately below a patch of alkali atoms deposited on the surface of the nanostructure by zone-plate focusing. Our results reveal that surface-induced polarization of only a few thousand adsorbed atoms can locally deplete the electron gas. We show that, as a result, the focused deposition of alkali atoms by existing zone plates can create quantum electronic components on the 50 nm scale, comparable to that attainable by ion beam implantation but with minimal damage to either the nanostructure or electron gas.


title: Constraints on the Source of Lunar Cataclysm Impactors

abstract: Multiple impact basins formed on the Moon about 3.8 Gyr ago in what is known as the lunar cataclysm or late heavy bombardment. Many workers currently interpret the lunar cataclysm as an impact spike primarily caused by main-belt asteroids destabilized by delayed planetary migration. We show that morphologically fresh (class 1) craters on the lunar highlands were mostly formed during the brief tail of the cataclysm, as they have absolute crater number density similar to that of the Orientale basin and ejecta blanket. The connection between class 1 craters and the cataclysm is supported by the similarity of their size-frequency distribution to that of stratigraphically-identified Imbrian craters. Majority of lunar craters younger than the Imbrium basin (including class 1 craters) thus record the size-frequency distribution of the lunar cataclysm impactors. This distribution is much steeper than that of main-belt asteroids. We argue that the projectiles bombarding the Moon at the time of the cataclysm could not have been main-belt asteroids ejected by purely gravitational means.


title: Hydrodynamic simulations of correlation and scatter in galaxy cluster maps

abstract: The two dimensional structure of hot gas in galaxy clusters contains information about the hydrodynamical state of the cluster, which can be used to understand the origin of scatter in the thermodynamical properties of the gas, and to improve the use of clusters to probe cosmology. Using a set of hydrodynamical simulations, we provide a comparison between various maps currently employed in the X-ray analysis of merging clusters and those cluster maps anticipated from forthcoming observations of the thermal Sunyaev-Zel'dovich effect. We show the following: 1) an X-ray pseudo-pressure, defined as square root of the soft band X-ray image times the temperature map is a good proxy for the SZ map; 2) we find that clumpiness is the main reason for deviation between X-ray pseudo-pressure and SZ maps; 3) the level of clumpiness can be well characterized by X-ray pseudo-entropy maps. 4) We describe the frequency of deviation in various maps of clusters as a function of the amplitude of the deviation. This enables both a comparison to observations and a comparison to effects of introduction of complex physical processes into simulation.


title: Global Study of Electron-Quark Unparticle Interactions

abstract: We perform a global fit on parity-conserving electron-quark interactions via spin-1 unparticle exchange. Besides the peculiar features of unparticle exchange due to non-integral values for the scaling dimension d_U and a non-trivial phase factor exp (-id_U \pi) associated with a time-like unparticle propagator, the energy dependence s^{-2 + d_U} of the unparticle contributions in the scattering amplitudes are also taken into account. The high energy data sets taken into consideration in our analysis are from (1) deep inelastic scattering at high Q^2 from ZEUS and H1, (2) Drell-Yan production at Run II of CDF and DO, and (3) e^+e^- --> hadrons at LEPII. The hadronic data at LEPII by itself indicated a 3-4 sigma preference of new physics over the Standard Model. However, when all data sets are combined, no preference for unparticle effects can be given. We thus deduce an improved 95% confidence level limit on the unparticle energy scale \Lambda_\U.


title: State selection in the noisy stabilized Kuramoto-Sivashinsky equation

abstract: In this work, we study the 1D stabilized Kuramoto Sivashinsky equation with additive uncorrelated stochastic noise. The Eckhaus stable band of the deterministic equation collapses to a narrow region near the center of the band. This is consistent with the behavior of the phase diffusion constants of these states. Some connections to the phenomenon of state selection in driven out of equilibrium systems are made.


title: Turbulence in Galaxy Cluster Cores: a Key to Cluster Bimodality?

abstract: We study the effects of externally imposed turbulence on the thermal properties of galaxy cluster cores, using three-dimensional numerical simulations including magnetic fields, anisotropic thermal conduction, and radiative cooling. The imposed "stirring" crudely approximates the effects of galactic wakes, waves generated by galaxies moving through the intracluster medium (ICM), and/or turbulence produced by a central active galactic nucleus. The simulated clusters exhibit a strong bimodality. Modest levels of turbulence, ~100 km/s (~10% of the sound speed), suppress the heat-flux-driven buoyancy instability (HBI), resulting in an isotropically tangled magnetic field and a quasi-stable, high entropy, thermal equilibrium with no cooling catastrophe. Thermal conduction dominates the heating of the cluster core, but turbulent mixing is critical because it suppresses the HBI and (to a lesser extent) the thermal instability. Lower levels of turbulent mixing (approximately less than 100 km/s) are insufficient to suppress the HBI, rapidly leading to a thermal runaway and a cool-core cluster. Remarkably, then, small fluctuations in the level of turbulence in galaxy cluster cores can initiate transitions between cool-core (low entropy) and non cool-core (high entropy) states.


title: Molecular Rings and the Thickness of Star-Forming Clouds

abstract: The winds and radiation from massive stars clear out large cavities in the interstellar medium. These bubbles, as they have been called, impact their surrounding molecular clouds and may influence the formation of stars therein. Here we present JCMT observations of the J=3-2 line of CO in 43 bubbles identified with Spitzer Space Telescope observations. These spectroscopic data reveal the three-dimensional structure of the bubbles. In particular, we show that the cold gas lies in a ring, not a sphere, around the bubbles indicating that the parent molecular clouds are flattened with a typical thickness of a few parsecs. We also mapped 7 bubbles in the J=4-3 line of HCO+ and find that the column densities inferred from the CO and HCO+ line intensities are below that necessary for "collect and collapse" models of induced star formation. We hypothesize that the flattened molecular clouds are not greatly compressed by expanding shock fronts, which may hinder the formation of new stars.


title: Stellar Ages and Metallicities of Central and Satellite Galaxies: Implications for Galaxy Formation and Evolution

abstract: Using a large SDSS galaxy group catalogue, we study how the stellar ages and metallicities of central and satellite galaxies depend on stellar mass and halo mass. We find that satellites are older and metal-richer than centrals of the same stellar mass. In addition, the slopes of the age-stellar mass and metallicity-stellar mass relations are found to become shallower in denser environments. This is due to the fact that the average age and metallicity of low mass satellite galaxies increase with the mass of the halo in which they reside. A comparison with the semi-analytical model of Wang et al. (2008) shows that it succesfully reproduces the fact that satellites are older than centrals of the same stellar mass and that the age difference increases with the halo mass of the satellite. This is a consequence of strangulation, which leaves the stellar populations of satellites to evolve passively, while the prolonged star formation activity of centrals keeps their average ages younger. The resulting age offset is larger in more massive environments because their satellites were accreted earlier. The model fails, however, in reproducing the halo mass dependence of the metallicities of low mass satellites, yields metallicity-stellar mass and age-stellar mass relations that are too shallow, and predicts that satellite galaxies have the same metallicities as centrals of the same stellar mass, in disagreement with the data. We argue that these discrepancies are likely to indicate the need to (i) modify the recipes of both supernova feedback and AGN feedback, (ii) use a more realistic description of strangulation, and (iii) include a proper treatment of the tidal stripping, heating and destruction of satellite galaxies. [Abridged]


title: The detectability of dark matter annihilation with Fermi using the anisotropy energy spectrum of the gamma-ray background

abstract: The energy-dependence of the anisotropy (the anisotropy energy spectrum) of the large-scale diffuse gamma-ray background can reveal the presence of multiple source populations. Annihilating dark matter in the substructure of the Milky Way halo could give rise to a modulation in the anisotropy energy spectrum of the diffuse gamma-ray emission measured by Fermi, enabling the detection of a dark matter signal. We determine the detectability of a dark-matter-induced modulation for scenarios in which unresolved blazars are the primary contributor to the measured emission above ~1 GeV and find that in some scenarios pair-annihilation cross sections of order the value expected for thermal relic dark matter can produce a detectable feature. We anticipate that the sensitivity of this technique to specific dark matter models could be improved by tailored likelihood analysis methods.


title: Are astronomical papers with more authors cited more?

abstract: Following my previous study of paper length vs. number of citations in astronomy (Stanek 2008), some colleagues expressed an interest in knowing if any correlation exists between citations and the number of authors on an astronomical paper. At least naively, one would expect papers with more authors to be cited more. I test this expectation with the same sample of papers as analyzed in Stanek (2008), selecting all (~30,000) refereed papers from A&A, AJ, ApJ and MNRAS published between 2000 and 2004. (...) I find that indeed papers with more authors are on average cited more, but only weakly so: roughly, the number of citations doubles with ten-fold increase in the number of authors. While the median number of citations to a 2 author paper is 17, the median number of citations to a paper with 10 to 20 authors is 32. I find that most of the papers are written by a small number of authors, with a mode of 2 authors and a median of 3 authors. I also find that papers with more authors are not longer than papers with fewer authors, in fact a median number of 8 to 10 pages per paper holds for any number of authors. For the same sample of papers, a median number of citations per paper grew from 15 in June 2008 (Stanek 2008) to 19 in November 2009. Unlike Stanek (2008), I do not conclude with any career advice, semi-humorous or otherwise.


title: Cold Quark Matter

abstract: We perform an O(alpha_s^2) perturbative calculation of the equation of state of cold but dense QCD matter with two massless and one massive quark flavor, finding that perturbation theory converges reasonably well for quark chemical potentials above 1 GeV. Using a running coupling constant and strange quark mass, and allowing for further non-perturbative effects, our results point to a narrow range where absolutely stable strange quark matter may exist. Absent stable strange quark matter, our findings suggest that quark matter in compact star cores becomes confined to hadrons only slightly above the density of atomic nuclei. Finally, we show that equations of state including quark matter lead to hybrid star masses up to M~2M_solar, in agreement with current observations. For strange stars, we find maximal masses of M~2.75M_solar and conclude that confirmed observations of compact stars with M>2M_solar would strongly favor the existence of stable strange quark matter.


title: Attractive Lagrangians for Noncanonical Inflation

abstract: Treating inflation as an effective theory, we expect the effective Lagrangian to contain higher-dimensional kinetic operators suppressed by the scale of UV physics. When these operators are powers of the inflaton kinetic energy, the scalar field can support a period of noncanonical inflation which is smoothly connected to the usual slow-roll inflation. We show how to construct noncanonical inflationary solutions to the equations of motion for the first time, and demonstrate that noncanonical inflation is an attractor in phase space for all small- and large-field models. We identify some sufficient conditions on the functional form of the Lagrangian that lead to successful noncanonical inflation since not every Lagrangian with higher-dimensional kinetic operators can support noncanonical inflation. This extends the class of known viable Lagrangians and excludes many Lagrangians which do not work.


title: The Impact of cold gas accretion above a mass floor on galaxy scaling relations

abstract: Using the cosmological baryonic accretion rate and normal star formation efficiencies, we present a very simple model for star-forming galaxies (SFGs) that accounts for the mass and redshift dependencies of the SFR-Mass and Tully-Fisher relations from z=2 to the present. The time evolution follows from the fact that each modelled galaxy approaches a steady state where the SFR follows the (net) cold gas accretion rate. The key feature of the model is a halo mass floor M_{min}~10^{11} below which accretion is quenched in order to simultaneously account for the observed slopes of the SFR-Mass and Tully-Fischer relations. The same successes cannot be achieved via a star-formation threshold (or delay) nor by varying the SF efficiency or the feedback efficiency. Combined with the mass ceiling for cold accretion due to virial shock heating, the mass floor M_{min} explains galaxy "downsizing", where more massive galaxies formed earlier and over a shorter period of time. It turns out that the model also accounts for the observed galactic baryon and gas fractions as a function of mass and time, and the cosmic SFR density from z~6 to z=0, which are all resulting from the mass floor M_{min}. The model helps to understand that it is the cosmological decline of accretion rate that drives the decrease of cosmic SFR density between z~2 and z=0 and the rise of the cosmic SFR density allows us to put a constraint on our main parameter M_{min}~10^{11} solar masses. Among the physical mechanisms that could be responsible for the mass floor, we view that photo-ionization feedback (from first in-situ hot stars) lowering the cooling efficiency is likely to play a large role.


title: On the correlation between the X-ray and gamma-ray emission in TeV blazars

abstract: The observations of TeV blazars published recently show an unexpected quadratic or even cubic correlation between the X-ray and gamma-ray emission. A standard model of the synchrotron self-Compton emission of a compact source inside a jet is not able to explain such a correlation. Therefore, we propose an alternative scenario where the emission of at least two independent compact components is observed at the same time. We compare two different models. The first model assumes the injection of relativistic particles into a downstream region of a shock wave inside a jet that creates the emitting source. The model precisely describes the evolution of the particle energy spectrum inside the source and takes into account a light-crossing time effect for the produced radiation. The second model assumes an intrinsically constant emission of a homogeneous source that travels inside the jet along a curved trajectory, where the activity is produced simply by different values of the source's Doppler factor. To verify the two models we use recentlu published observations of Mrk 421. Our simulations show that simultaneous radiation of at least two independent sources, where the first source dominates the emission in the X-ray range and the second source radiates strongly in the gamma-ray range, can explain the observed correlations. However, the injection model provides inadequate results because it gives different values for the correlation of the rise and decay of a flare. This problem is negligible in the scenario that uses the Doppler boosting effect. Therefore, this approach yields much better results.


title: Classical and Quantum Equations of Motion for a BTZ Black String in AdS Space

abstract: We investigate gravitational collapse of a $(3+1)$-dimensional BTZ black string in AdS space in the context of both classical and quantum mechanics. This is done by first deriving the conserved mass per unit length of the cylindrically symmetric domain wall, which is taken as the classical Hamiltonian of the black string. In the quantum mechanical context, we take primary interest in the behavior of the collapse near the horizon and near the origin (classical singularity) from the point of view of an infalling observer. In the absence of radiation, quantum effects near the horizon do not change the classical conclusions for an infalling observer, meaning that the horizon is not an obstacle for him/her. The most interesting quantum mechanical effect comes in when investigating near the origin. First, quantum effects are able to remove the classical singularity at the origin, since the wave function is non-singular at the origin. Second, the Schr\"odinger equation describing the behavior near the origin displays non-local effects, which depend on the energy density of the domain wall. This is manifest in that derivatives of the wavefunction at one point are related to the value of the wavefunction at some other distant point.


title: Layering in Crumpled Sheets

abstract: We introduce a toy model of crumpled sheets. We use simulation to show there is a first order phase transition in the model, from a disordered dilute phase to a mixture with a layered phase.


title: Metallicity distributions in and around galaxies

abstract: Metals are found in all baryonic phases and environments, and our knowledge of their distribution `in and around galaxies' has significantly improved over the past few years. Theoretical work has shown that the fraction of metals in different baryonic components can vary significantly when different feedback schemes are adopted. Therefore, studies of element abundances provide important information about all gas-dynamical processes which determine the cosmic evolution of baryons. I give here a brief review of recent observational progress, describe the implications of recent theoretical studies, and discuss briefly future prospects.


title: Longitudinal bunch profile diagnostics in the 50fs range using coherent Smith-Purcell radiation

abstract: We have considered the possibility of using coherent Smith-Purcell radiation for the single-shot determination of the longitudinal profile of 50 fs (FWHM) long electron bunches. This length is typical for the bunches currently produced by Laser Wakefield Acceleration and is at the limit of what is achievable by alternative techniques, such as Electro-Optic sampling. It is concluded that there are no obstacles, either theoretical or experimental, in the implementation of this technique. A set of three gratings, with periods of 15, 85 and 500 micrometres, will produce detectable energy in the wavelength region 10-1000 micrometres, which should be adequate for the reconstruction of the bunch shape by the Kramers-Kronig technique. For bunch charges of 109 electrons, or more, the radiated energy can be detected by room temperature pyroelectric detectors. The limits of possible extension of the technique to even shorter lengths are also considered.


title: Types of Paradox in Physics

abstract: Paradoxes are a relatively frequent occurrence in physics. The nature of their genesis is diverse and they are found in all branches of physics. There are a number of general and special classifications of paradoxes, but there are no classifications of paradoxes in physics. Nowadays, physics is a fundamental and rather formalized science, the paradoxes of which imply falsity and imprecision. One of the basic methods of addressing a problem is to present classifications that facilitate its formulation and study. This work groups together the paradoxes in physics according to certain common characteristics, which should assist in explaining the causes for paradox formation.


title: Critical entropies for magnetic ordering in bosonic mixtures on a lattice

abstract: We perform a numeric study (worm algorithm Monte Carlo simulations) of ultracold two-component bosons in two- and three-dimensional optical lattices. At strong enough interactions and low enough temperatures the system features magnetic ordering. We compute critical temperatures and entropies for the disappearance of the Ising antiferromagnetic and the xy-ferromagnetic order and find that the largest possible entropies per particle are ~0.5kB. We also estimate (optimistically) the experimental hold times required to reach equilibrium magnetic states to be on a scale of seconds. Low critical entropies and long hold times render the experimental observations of magnetic phases challenging and call for increased control over heating sources.


title: A Divisor Function Inequality

abstract: This short note provides a sharper upper bound of a well known inequality for the sum of divisors function. This is a problem in pure mathematics related to the distribution of prime numbers. Furthermore, the technique is completely elementary.


title: The nature of optical and near-infrared variability of BL Lacertae

abstract: Since 1997, BL Lacertae has undergone a phase of high optical activity, with the occurrence of several prominent outbursts. Starting from 1999, the Whole Earth Blazar Telescope (WEBT) consortium has organized various multifrequency campaigns on this blazar, collecting tens of thousands of data points. One of the main issues in the analysis of this huge dataset has been the study of colour variability. The massive amount of optical and near-infrared data collected during the campaigns enables us to perform a deep analysis of multiband data, with the aim of understanding the flux variability mechanisms. We use a new approach for the analysis of these data, focusing on the source spectral evolution. We show that the overall behaviour of the BL Lacertae light and colour curves can be explained in terms of changing viewing angle of a moving, discrete emitting region, which causes variable Doppler boosting of the corresponding radiation. A fractal helical structure is suggested to be at the origin of the different time scales of variability.


title: Fermi Large Area Telescope Observations of the Cosmic-Ray Induced gamma-ray Emission of the Earth's Atmosphere

abstract: We report on measurements of the cosmic-ray induced gamma-ray emission of Earth's atmosphere by the Large Area Telescope onboard the Fermi Gamma-ray Space Telescope. The LAT has observed the Earth during its commissioning phase and with a dedicated Earth-limb following observation in September 2008. These measurements yielded 6.4 x 10^6 photons with energies >100MeV and ~250hours total livetime for the highest quality data selection. This allows the study of the spatial and spectral distributions of these photons with unprecedented detail. The spectrum of the emission - often referred to as Earth albedo gamma-ray emission - has a power-law shape up to 500 GeV with spectral index Gamma = 2.79+-0.06.


title: Formal and finite order equivalences

abstract: We show that two families of germs of real-analytic subsets in $C^{n}$ are formally equivalent if and only if they are equivalent of any finite order. We further apply the same technique to obtain analogous statements for equivalences of real-analytic self-maps and vector fields under conjugations. On the other hand, we provide an example of two sets of germs of smooth curves that are equivalent of any finite order but not formally equivalent.


title: Detection of high-dimensional genuine multi-partite entanglement of mixed states

abstract: We derive a general framework to identify genuinely multipartite entangled mixed quantum states in arbitrary-dimensional systems and show in exemplary cases that the constructed criteria are stronger than those previously known. Our criteria are simple functions of the given quantum state and detect genuine multipartite entanglement that had not been identified so far. They are experimentally accessible without quantum state tomography and are easily computable as no optimization or eigenvalue evaluation is needed.


title: Studying Parton Energy Loss in Heavy-Ion Collisions via Direct-Photon and Charged-Particle Azimuthal Correlations

abstract: Charged-particle spectra associated with direct photon ($\gamma_{dir} $) and $\pi^0$ are measured in $p$+$p$ and Au+Au collisions at center-of-mass energy $\sqrt{s_{_{NN}}}=200$ GeV with the STAR detector at RHIC. A hower-shape analysis is used to partially discriminate between $\gamma_{dir}$ and $\pi^0$. Assuming no associated charged particles in the $\gamma_{dir}$ direction (near side) and small contribution from fragmentation photons ($\gamma_{frag}$), the associated charged-particle yields opposite to $\gamma_{dir}$ (away side) are extracted. At mid-rapidity ($|\eta|<0.9$) in central Au+Au collisions, charged-particle yields associated with $\gamma_{dir}$ and $\pi^0$ at high transverse momentum ($8< p_{T}^{trig}<16$ GeV/$c$) are suppressed by a factor of 3-5 compared with $p$ + $p$ collisions. The observed suppression of the associated charged particles, in the kinematic range $|\eta|<1$ and $3< p_{T}^{assoc} < 16$ GeV/$c$, is similar for $\gamma_{dir}$ and $\pi^0$, and independent of the $\gamma_{dir}$ energy within uncertainties. These measurements indicate that the parton energy loss, in the covered kinematic range, is insensitive to the parton path length.


title: Cloaking a sensor via transformation optics

abstract: It is generally believed that transformation optics based cloaking, besides rendering the cloaked region invisible to detection by scattering of incident waves, also shields the region from those same waves. We demonstrate a coupling between the cloaked and uncloaked regions, exposing a difference between cloaking for rays and waves. Interior resonances allow this coupling to be amplified, and careful choice of parameters leads to effective cloaks with degraded shielding. As one application, we describe how to use transformation optics to hide sensors in the cloaked region and yet enable the sensors to efficiently measure waves incident on the exterior of the cloak, an effect similar to the plasmon based approach of Alu' and Engheta.


title: Stealth Galaxies in the Halo of the Milky Way

abstract: We predict that there is a population of low-luminosity dwarf galaxies orbiting within the halo of the Milky Way that have surface brightnesses low enough to have escaped detection in star-count surveys. The overall count of stealth galaxies is sensitive to the presence (or lack) of a low-mass threshold in galaxy formation. These systems have luminosities and stellar velocity dispersions that are similar to those of known ultrafaint dwarf galaxies but they have more extended stellar distributions (half light radii greater than about 100 pc) because they inhabit dark subhalos that are slightly less massive than their higher surface brightness counterparts. As a result, the typical peak surface brightness is fainter than 30 mag per square arcsec. One implication is that the inferred common mass scale for Milky Way dwarfs may be an artifact of selection bias. If there is no sharp threshold in galaxy formation at low halo mass, then ultrafaint galaxies like Segue 1 represent the high-mass, early forming tail of a much larger population of objects that could number in the hundreds and have typical peak circular velocities of about 8 km/s and masses within 300 pc of about 5 million solar masses. Alternatively, if we impose a low-mass threshold in galaxy formation in order to explain the unexpectedly high densities of the ultrafaint dwarfs, then we expect only a handful of stealth galaxies in the halo of the Milky Way. A complete census of these objects will require deeper sky surveys, 30m-class follow-up telescopes, and more refined methods to identify extended, self-bound groupings of stars in the halo.


title: Jamming in Granular Polymers

abstract: We examine the jamming transition in a two-dimensional granular polymer system using compressional simulations. The jamming density \phi_c decreases with increasing length of the granular chain due to the formation of loop structures, in excellent agreement with recent experiments. The jamming density can be further reduced in mixtures of granular chains and granular rings, also as observed in experiment. We show that the nature of the jamming in granular polymer systems has pronounced differences from the jamming behavior observed for polydisperse two-dimensional disk systems at Point J. This result provides further evidence that there is more than one type of jamming transition.


title: Systems of Hess-Appel'rot Type and Zhukovskii Property

abstract: We start with a review of a class of systems with invariant relations, so called {\it systems of Hess--Appel'rot type} that generalizes the classical Hess--Appel'rot rigid body case. The systems of Hess-Appel'rot type carry an interesting combination of both integrable and non-integrable properties. Further, following integrable line, we study partial reductions and systems having what we call the {\it Zhukovskii property}: these are Hamiltonian systems with invariant relations, such that partially reduced systems are completely integrable. We prove that the Zhukovskii property is a quite general characteristic of systems of Hess-Appel'rote type. The partial reduction neglects the most interesting and challenging part of the dynamics of the systems of Hess-Appel'rot type - the non-integrable part, some analysis of which may be seen as a reconstruction problem. We show that an integrable system, the magnetic pendulum on the oriented Grassmannian $Gr^+(4,2)$ has natural interpretation within Zhukovskii property and it is equivalent to a partial reduction of certain system of Hess-Appel'rot type. We perform a classical and an algebro-geometric integration of the system, as an example of an isoholomorphic system. The paper presents a lot of examples of systems of Hess-Appel'rot type, giving an additional argument in favor of further study of this class of systems.


title: Optical spectroscopy of 20 Be/X-ray Binaries in the Small Magellanic Cloud

abstract: We present a large sample (20 in total) of optical spectra of Small Magellanic Cloud (SMC) High-Mass X-ray Binaries obtained with the 2dF spectrograph at the Anglo-Australian Telescope. All of these sources are found to be Be/X-ray binaries (Be-XRBs), while for 5 sources we present original classifications. Several statistical tests on this expanded sample support previous findings for similar spectral-type distributions of Be-XRBs and Be field stars in the SMC, and of Be-XRBs in the Large Magellanic Cloud and the Milky Way, although this could be the result of small samples. On the other hand, we find that Be-XRBs follow a different distribution than Be stars in the Galaxy, also in agreement with previous studies. In addition, we find similar Be spectral type distributions between the Magellanic Clouds samples. These results reinforce the relation between the orbital period and the equivalent width of the Halpha line that holds for Be-XRBs. SMC Be stars have larger Halpha equivalent widths when compared to Be-XRBs, supporting the notion of circumstellar disk truncation by the compact object.


title: Holographic Lovelock Gravities and Black Holes

abstract: We study holographic implications of Lovelock gravities in AdS spacetimes. For a generic Lovelock gravity in arbitrary spacetime dimensions we formulate the existence condition for asymptotically AdS black holes. We consider small fluctuations around these black holes and determine the constraint on Lovelock parameters by demanding causality of the boundary theory. For the case of cubic Lovelock gravity in seven spacetime dimensions we compute the holographic Weyl anomaly and determine the three point functions of the stress energy tensor in the boundary CFT. Remarkably, these correlators happen to satisfy the same relation as the one imposed by supersymmetry. We then compute the energy flux; requiring it to be positive is shown to be completely equivalent to requiring causality of the finite temperature CFT dual to the black hole. These constraints are not stringent enough to place any positive lower bound on the value of viscosity. Finally, we conjecture an expression for the energy flux valid for any Lovelock theory in arbitrary dimensions.


title: The spectral investigation of seven HII regions in Kazarian galaxies

abstract: According to SDSS DR5 spectra the spectrophotometric investigations of seven HII regions of six Kazarian galaxies are conducted. The abundances of heavy elements and helium and also quantity of ionizing stars and star formation rate are determined. The oxygen abundance 12+log(O/H) lies in the range 7.94 - 8.35. The mean log(S/O), log(Ar/O) and log(Ne/O) abundance ratios are equal to: -1.63, -2.37 and -0.78, respectively. The log(N/O) abundance ratio of investigated HII regions is in the interval -0.63 to -1.37. They occupy the same area in the diagram N/O - O/H as the high-excitation HII regions. Most likely, the ages of investigated HII regions are larger than 100-300 Myr, required for the enrichment in nitrogen by intermediate-mass stars. The star formation rate is one order as in HII regions in spiral and irregular galaxies, and is in the interval 0.05 - 0.81 M year-1.


title: The Opportunity Process for Optimal Consumption and Investment with Power Utility

abstract: We study the utility maximization problem for power utility random fields in a semimartingale financial market, with and without intermediate consumption. The notion of an opportunity process is introduced as a reduced form of the value process of the resulting stochastic control problem. We show how the opportunity process describes the key objects: optimal strategy, value function, and dual problem. The results are applied to obtain monotonicity properties of the optimal consumption.


title: Nonzero coefficients in restrictions and tensor products of supercharacters of $U_n(q)$

abstract: The standard supercharacter theory of the finite unipotent upper-triangular matrices $U_n(q)$ gives rise to a beautiful combinatorics based on set partitions. As with the representation theory of the symmetric group, embeddings of $U_m(q)\subseteq U_n(q)$ for $m\leq n$ lead to branching rules. Diaconis and Isaacs established that the restriction of a supercharacter of $U_n(q)$ is a nonnegative integer linear combination of supercharacters of $U_m(q)$ (in fact, it is polynomial in $q$). In a first step towards understanding the combinatorics of coefficients in the branching rules of the supercharacters of $U_n(q)$, this paper characterizes when a given coefficient is nonzero in the restriction of a supercharacter and the tensor product of two supercharacters. These conditions are given uniformly in terms of complete matchings in bipartite graphs.


title: Role of defects on the electronic and magnetic properties of CrAs/InAs and CrAs/CdSe half-metallic interfaces

abstract: We present an extended study of single impurity atoms at the interface between the half-metallic ferromagnetic zinc-blende CrAs compound and the zinc-blende binary InAs and CdSe semiconductors in the form of very thin multilayers. Contrary to the case of impurities in the perfect bulk CrAs studied in [I. Galanakis and S.G. Pouliasis, J. Magn. Magn. Mat. 321 (2009) 1084] defects at the interfaces do not alter in general the half-metallic character of the perfect systems. The only exception are Void impurities at Cr or In(Cd) sites which lead, due to the lower-dimensionality of the interfaces with respect to the bulk CrAs, to a shift of the $p$ bands of the nearest neighboring As(Se) atom to higher energies and thus to the loss of the half-metallicity. But Void impurities are Schottky-type and should exhibit high formation energies and thus we expect the interfaces in the case of thin multilayers to exhibit a robust half-metallic character.


title: Single magnetic molecule between conducting leads: Effect of mechanical rotations

abstract: We study spin-rotation effects in a magnetic molecule bridged between two conducting leads. Dynamics of the total angular momentum couples spin tunneling to the mechanical rotations. Landau-Zener spin transition produced by the time-dependent magnetic field generates a unique pattern of mechanical oscillations that can be detected by measuring the electronic tunneling current through the molecule.


title: The Bellman equation for power utility maximization with semimartingales

abstract: We study utility maximization for power utility random fields with and without intermediate consumption in a general semimartingale model with closed portfolio constraints. We show that any optimal strategy leads to a solution of the corresponding Bellman equation. The optimal strategies are described pointwise in terms of the opportunity process, which is characterized as the minimal solution of the Bellman equation. We also give verification theorems for this equation.


title: The spectrum of Gamma-ray Burst: a clue

abstract: In this work we numerically calculate the thermal radiation efficiency of the baryonic outflow. The possible outflow acceleration in the transparent stage, which lowers thermal radiation efficiency, has been taken into account. In the standard internal shock model for the prompt emission, the fast shells should move with a typical Lorentz factor $\gtrsim 5 \Gamma_{\rm i}$ otherwise the GRB efficiency will be in disagreement with the observations, where $\Gamma_{\rm i}$ is the bulk Lorentz factor of the shocked/emitting region. The photosphere radius of these fast shells is small and the thermal radiation is too strong to be effectively outshone by the internal shock emission. This is particularly the case for some extremely bright events having $\Gamma_{\rm i} \sim 10^{3}$, like GRBs 080319B and 080916C. The absence of a distinct thermal component in the spectrum of most GRBs challenges the standard internal shock model and may suggest a non-baryonic (magnetic) outflow component. Though the magnetic outflow model seems favored by more and more data, it can hardly reproduce the typical GRB spectrum. In the photosphere-gradual magnetic dissipation scenario, the spectrum cuts off at $\sim 1$ GeV, too low to account for the observations of GRBs 080916C. In the sudden magnetic energy dissipation model, the low energy spectrum is expected to be $F_\nu \propto \nu^{-1/2}$, too soft to be consistent with the data $F_\nu \propto \nu^{0}$. We speculate that the low energy spectrum puzzle could be unveiled by the mechanism that particles, in the magnetic dissipation process, are repeatedly accelerated.


title: Power Utility Maximization in Constrained Exponential L\'evy Models

abstract: We study power utility maximization for exponential L\'evy models with portfolio constraints, where utility is obtained from consumption and/or terminal wealth. For convex constraints, an explicit solution in terms of the L\'evy triplet is constructed under minimal assumptions by solving the Bellman equation. We use a novel transformation of the model to avoid technical conditions. The consequences for q-optimal martingale measures are discussed as well as extensions to non-convex constraints.


title: Mod-discrete expansions

abstract: In this paper, we consider approximating expansions for the distribution of integer valued random variables, in circumstances in which convergence in law cannot be expected. The setting is one in which the simplest approximation to the $n$'th random variable $X_n$ is by a particular member $R_n$ of a given family of distributions, whose variance increases with $n$. The basic assumption is that the ratio of the characteristic function of $X_n$ and that of R_n$ converges to a limit in a prescribed fashion. Our results cover a number of classical examples in probability theory, combinatorics and number theory.


title: Interpreting the high energy emission of Fermi GRBs

abstract: The high energy emission from Gamma-ray Bursts has some interesting features, including the absence of the GeV excess in the prompt spectrum, the delayed onset of the GeV emission, and the longer duration of the GeV emission than the prompt soft gamma-ray emission. We suggest that the non-detection of a GeV excess in most GRB spectrum may favor the magnetic fireball model and the early prompt emission may be dominated by the photosphere radiation of the breakout material and is thus very soft. The synchrotron radiation in GeV band can be the dominant component of the high energy afterglow emission, as speculated in GRB 080319B and then confirmed in GRB 080916C and GRB 090510. A simple estimate of the thermal radiation of the breakout material has been presented.


title: Phase Curves of Nine Trojan Asteroids over a Wide Range of Phase Angles

abstract: We have observed well-sampled phase curves for nine Trojan asteroids in B-, V-, and I-bands. These were constructed from 778 magnitudes taken with the 1.3-m telescope on Cerro Tololo as operated by a service observer for the SMARTS consortium. Over our typical phase range of 0.2-10 deg, we find our phase curves to be adequately described by a linear model, for slopes of 0.04-0.09 mag/deg with average uncertainty less than 0.02 mag/deg. (The one exception, 51378 (2001 AT33), has a formally negative slope of -0.02 +- 0.01 mag/deg.) These slopes are too steep for the opposition surge mechanism to be shadow hiding (SH), so we conclude that the dominant surge mechanism must be coherent backscattering (CB). In a detailed comparison of surface properties (including surge slope, B-R color, and albedo), we find that the Trojans have surface properties similar to the P and C class asteroids prominent in the outer main belt, yet they have significantly different surge properties (at a confidence level of 99.90%). This provides an imperfect argument against the traditional idea that the Trojans were formed around Jupiter's orbit. We also find no overlap in Trojan properties with either the main belt asteroids or with the small icy bodies in the outer Solar System. Importantly, we find that the Trojans are indistinguishable from other small bodies in the outer Solar System that have lost their surface ices (such as the gray Centaurs, gray Scattered Disk Objects, and dead comets). Thus, we find strong support for the idea that the Trojans originally formed as icy bodies in the outer Solar System, were captured into their current orbits during the migration of the gas giant planets, and subsequently lost all their surface ices.


title: FERO (Finding Extreme Relativistic Objects): relativistic Iron K alpha lines in type 1 AGN

abstract: The observational evidence for AGN relativistic Iron lines is very much debated. To address this topic, the FERO project makes use of the largest sample of X-ray spectra of radio quiet Type 1 AGN available in the XMM-Newton archive. We perform a systematic fit of the individual sources using a full relativistic code. Results on the first part of the project are presented here.


title: The spectroscopic evolution of the symbiotic star AG Draconis. I.The O VI Raman, Balmer, and helium emission line variations during the outburst of 2006-2008

abstract: AG Dra is one of a small group of low metallicity S-type symbiotic binaries with K-type giants that undergoes occasional short-term outbursts of unknown origin. Our aim is to study the behavior of the white dwarf during an outburst using the optical Raman lines and other emission features in the red giant wind. The goal is to determine changes in the envelope and the wind of the gainer in this system during a major outburst event and to study the coupling between the UV and optical during a major outburst. Using medium and high resolution groundbased optical spectra and comparisons with archival $FUSE$ and $HST/STIS$ spectra, we study the evolution of the Raman O VI features and the Balmer, He I, and He II lines during the outburst from 2006 Sept. through 2007 May and include more recent observations (2009) to study the subsequent evolution of the source. The O VI Raman features disappeared completely at the peak of the major outburst and the subsequent variation differs substantially from that reported during the previous decade. The He I and He II lines, and the Balmer lines, vary in phase with the Raman features but there is a double-valuedness to the He I 6678, 7065 relative to the O VI Raman 6825\AA\ variations in the period between 2006-2008 that has not been previously reported. The variations in the Raman feature ratio through the outburst interval are consistent with the disappearance of the O VI FUV resonance wind lines from the white dwarf and of the surrounding O$^{+5}$ ionized region within the red giant wind provoked by the expansion and cooling of the white dwarf photosphere.


title: Notes on the "Ramified" Seiberg-Witten Equations and Invariants

abstract: In these notes, we carefully analyze the properties of the "ramified" Seiberg-Witten equations associated with supersymmetric configurations of the Seiberg-Witten abelian gauge theory with surface operators on an oriented closed four-manifold X. We find that in order to have sensible solutions to these equations, only surface operators with certain parameters and embeddings in X, are admissible. In addition, the corresponding "ramified" Seiberg-Witten invariants on X with positive scalar curvature and b^+_2 > 1, vanish, while if X has b^+_2 = 1, there can be wall-crossings whence the invariants will jump. In general, for each of the finite number of basic classes that corresponds to a moduli space of solutions with zero virtual dimension, the perturbed "ramified" Seiberg-Witten invariants on Kahler manifolds will depend - among other parameters associated with the surface operator - on the monopole number "l" and the holonomy parameter "alpha". Nonetheless, the (perturbed) "ramified" and ordinary invariants are found to coincide, albeit up to a sign, in some examples.


title: Unlimited Energy Gain in the Laser-Driven Radiation Pressure Dominant Acceleration of Ions

abstract: The energy of the ions accelerated by an intense electromagnetic wave in the radiation pressure dominated regime can be greatly enhanced due to a transverse expansion of a thin target. The expansion decreases the number of accelerated ions in the irradiated region increasing the energy and the longitudinal velocity of remaining ions. In the relativistic limit, the ions become phase-locked with respect to the electromagnetic wave resulting in the unlimited ion energy gain. This effect and the use of optimal laser pulse shape provide a new approach for great enhancing the energy of laser accelerated ions.


title: Phase diagram and Gap anisotropy in Iron-Pnictide Superconductors

abstract: Using the fluctuation-exchange (FLEX) approximation we study an effective five-band Hubbard model for iron-pnictide superconductors obtained from the first-principles band structure. We preclude deformations of the Fermi surface due to electronic correlations by introducing a static potential, which mimics the effect of charge relaxation. Evaluating the Eliashberg equation for various dopings and interaction parameters, we find that superconductivity can sustain higher hole than electron doping. Analyzing the symmetry of the superconducting order parameter we observe clear differences between the hole and electron doped systems. We discuss the importance of the pnictogen height for superconductivity. Finally, we dissect the pairing interaction into various contributions, which allows us to clarify the relationship between the superconducting transition temperature and the proximity to the anti-ferromagnetic phase.


title: Capillary force-induced structural instability in liquid infiltrated elastic circular tubes

abstract: The capillary-induced structural instability of an elastic circular tube partially filled by a liquid is studied by combining theoretical analysis and molecular dynamics simulations. The analysis shows that, associated with the instability, there is a well-defined length scale (elasto-capillary length), which exhibits a scaling relationship with the characteristic length of the tube, regardless of the interaction details. We validate this scaling relationship for a carbon nanotube partially filled by liquid iron. The capillary-induced structural transformation could have potential applications for nano-devices.


title: Green's function method for strength function in three-body continuum

abstract: Practical methods to compute dipole strengths for a three-body system by using a discretized continuum are analyzed. New techniques involving Green's function are developed, either by correcting the tail of the approximate wave function in a direct calculation of the strength function or by using a solution of a driven Schroedinger equation in a summed expression of the strength. They are compared with the complex scaling method and the Lorentz integral transform, also making use of a discretized continuum. Numerical tests are performed with a hyperscalar three-body potential in the hyperspherical-harmonics formalism. They show that the Lorentz integral transform method is less practical than the other methods because of a difficult inverse transform. These other methods provide in general comparable accuracies.


title: An application of Galactic parallax: the distance to the tidal stream GD-1

abstract: We assess the practicality of computing the distance to stellar streams in our Galaxy, using the method of Galactic parallax suggested by Eyre & Binney (2009). We find that the uncertainty in Galactic parallax is dependent upon the specific geometry of the problem in question. In the case of the tidal stream GD-1, the problem geometry indicates that available proper motion data, with individual accuracy ~4 mas/yr, should allow estimation of its distance with about 50 percent uncertainty. Proper motions accurate to ~1 mas/yr, which are expected from the forthcoming Pan-STARRS PS-1 survey, will allow estimation of its distance to about 10 percent uncertainty. Proper motions from the future LSST and Gaia projects will be more accurate still, and will allow the parallax for a stream 30 kpc distant to be measured with ~14 percent uncertainty. We demonstrate the feasibility of the method and show that our uncertainty estimates are accurate by computing Galactic parallax using simulated data for the GD-1 stream. We also apply the method to actual data for the GD-1 stream, published by Koposov et al. (2009). With the exception of one datum, the distances estimated using Galactic parallax match photometric estimates with less than 1 kpc discrepancy. The scatter in the distances recovered using Galactic parallax is very low, suggesting that the proper motion uncertainty reported by Koposov et al. (2009) is in fact over-estimated. We conclude that the GD-1 stream is (8 +/- 1) kpc distant, on a retrograde orbit inclined 37 deg to the plane, and that the visible portion of the stream is likely to be near pericentre.


title: Adaptive Scheduling of Data Paths using Uppaal Tiga

abstract: We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a printer. As far as we know, this is the first application of timed automata technology to an industrial scheduling problem with uncertainty in job arrivals.


title: Singlet-triplet transitions in highly correlated nanowire quantum dots

abstract: We consider a quantum dot embedded in a three-dimensional nanowire with tunable aspect ratio a. A configuration interaction theory is developed to calculate the energy spectra of the finite 1D quantum dot systems charged with two electrons in the presence of magnetic fields B along the wire axis. Fruitful singlet-triplet transition behaviors are revealed and explained in terms of the competing exchange interaction, correlation interaction, and spin Zeeman energy. In the high aspect ratio regime, the singlet-triplet transitions are shown designable by tuning the parameters a and B. The transitions also manifest the highly correlated nature of long nanowire quantum dots.


title: Markovian Testing Equivalence and Exponentially Timed Internal Actions

abstract: In the theory of testing for Markovian processes developed so far, exponentially timed internal actions are not admitted within processes. When present, these actions cannot be abstracted away, because their execution takes a nonzero amount of time and hence can be observed. On the other hand, they must be carefully taken into account, in order not to equate processes that are distinguishable from a timing viewpoint. In this paper, we recast the definition of Markovian testing equivalence in the framework of a Markovian process calculus including exponentially timed internal actions. Then, we show that the resulting behavioral equivalence is a congruence, has a sound and complete axiomatization, has a modal logic characterization, and can be decided in polynomial time.


title: Quantitative Safety: Linking Proof-Based Verification with Model Checking for Probabilistic Systems

abstract: This paper presents a novel approach for augmenting proof-based verification with performance-style analysis of the kind employed in state-of-the-art model checking tools for probabilistic systems. Quantitative safety properties usually specified as probabilistic system invariants and modeled in proof-based environments are evaluated using bounded model checking techniques. Our specific contributions include the statement of a theorem that is central to model checking safety properties of proof-based systems, the establishment of a procedure; and its full implementation in a prototype system (YAGA) which readily transforms a probabilistic model specified in a proof-based environment to its equivalent verifiable PRISM model equipped with reward structures. The reward structures capture the exact interpretation of the probabilistic invariants and can reveal succinct information about the model during experimental investigations. Finally, we demonstrate the novelty of the technique on a probabilistic library case study.


title: Modelling Clock Synchronization in the Chess gMAC WSN Protocol

abstract: We present a detailled timed automata model of the clock synchronization algorithm that is currently being used in a wireless sensor network (WSN) that has been developed by the Dutch company Chess. Using the Uppaal model checker, we establish that in certain cases a static, fully synchronized network may eventually become unsynchronized if the current algorithm is used, even in a setting with infinitesimal clock drifts.


title: Strong, Weak and Branching Bisimulation for Transition Systems and Markov Reward Chains: A Unifying Matrix Approach

abstract: We first study labeled transition systems with explicit successful termination. We establish the notions of strong, weak, and branching bisimulation in terms of boolean matrix theory, introducing thus a novel and powerful algebraic apparatus. Next we consider Markov reward chains which are standardly presented in real matrix theory. By interpreting the obtained matrix conditions for bisimulations in this setting, we automatically obtain the definitions of strong, weak, and branching bisimulation for Markov reward chains. The obtained strong and weak bisimulations are shown to coincide with some existing notions, while the obtained branching bisimulation is new, but its usefulness is questionable.


title: Verifying Real-Time Systems using Explicit-time Description Methods

abstract: Timed model checking has been extensively researched in recent years. Many new formalisms with time extensions and tools based on them have been presented. On the other hand, Explicit-Time Description Methods aim to verify real-time systems with general untimed model checkers. Lamport presented an explicit-time description method using a clock-ticking process (Tick) to simulate the passage of time together with a group of global variables for time requirements. This paper proposes a new explicit-time description method with no reliance on global variables. Instead, it uses rendezvous synchronization steps between the Tick process and each system process to simulate time. This new method achieves better modularity and facilitates usage of more complex timing constraints. The two explicit-time description methods are implemented in DIVINE, a well-known distributed-memory model checker. Preliminary experiment results show that our new method, with better modularity, is comparable to Lamport's method with respect to time and memory efficiency.


title: Caustics, counting maps and semi-classical asymptotics

abstract: This paper develops a deeper understanding of the structure and combinatorial significance of the partition function for Hermitian random matrices. The coefficients of the large N expansion of the logarithm of this partition function,also known as the genus expansion, (and its derivatives) are generating functions for a variety of graphical enumeration problems. The main results are to prove that these generating functions are in fact specific rational functions of a distinguished irrational (algebraic) function of the generating function parameters. This distinguished function is itself the generating function for the Catalan numbers (or generalized Catalan numbers, depending on the choice of parameter). It is also a solution of the inviscid Burgers equation for certain initial data. The shock formation, or caustic, of the Burgers characteristic solution is directly related to the poles of the rational forms of the generating functions. These results in turn provide new information about the asymptotics of recurrence coefficients for orthogonal polynomials with respect to exponential weights. One gains new insights into the relation between certain derivatives of the genus expansion and the asymptotic expansion of the first Painleve transcendent, related to the double-scaling limit. This work provides a precise expression of the Painleve asymptotic coefficients directly in terms of the coefficients of the partial fractions expansion of the rational form of the generating functions established here. Moreover, these insights point toward a more general program relating the first Painleve hierarchy and the higher order structure of the double-scaling limit to the specific rational structure of generating functions.