title: A Digital Low Dispersion Spectral Library Covering the 3500-7500AA Region Using the SAAO Radcliffe 1.9m Telescope's Cassegrain Spectrograph

abstract: We have created a digital spectral library, using low resolution optical spectra, of photometric and spectral standard stars. The data were acquired using the Cassegrain Spectrograph installed on the 1.9m Radcliffe telescope at the South African Astronomical Observatory. The library consists of optical wavelength (~ 3500-7500AA) spectra for main sequence and giant stars encompassing those most commonly observed in the Galaxy, namely the late-B, A-, F-, G-, K-, and early- to mid-M stars. We intend that our standard star spectra will be especially useful for spectral classification of stars in the field and Galactic clusters alike, and will have high pedagogic value when included into representative Introductory Astronomy or Stellar Astronomy curricula for undergraduate astronomy major and minor programs. We exploit the spectral library in order to derive spectral types for seventy-six optically and X-ray selected members of the young open cluster NGC 6475. Comparison of spectral-type, optical and infrared photometric data to theoretical colors derived from spectral type show that the reddening of the cluster is E(B-V) = 0.068 +/- 0.012 (1sigma=0.058), a vector consistent with earlier surveys. Our analysis also highlights the utility of such spectra in rejecting cluster non-members, thereby allowing the creation of a clean sample of bona fide cluster members for follow-up science observations.


title: Improved Median Polish Kriging for Simulation Metamodeling

abstract: In simulation, Median Polish Kriging is a technique used to predict unobserved data points in two-dimensional space. The linear behavior of the traditional Median Polish Kriging in the estimation of the mean function in a high grid makes the interpolation of O(1) which has a low order in the prediction and that leads to a high prediction error. Therefore, an improvement in the estimation of the mean function has been introduced using Biharmonic spline interpolation and the new technique has been called Improved Median Polish Kriging (IMPK). The IMPK has been applied to the standard coal-ash data in two-dimension. The novel method gave much better results according to the cross validation results that were obtained when compared with the traditional Median Polish Kriging.


title: Ginzburg-Landau phase diagram of QCD near chiral critical point - chiral defect lattice and solitonic pion condensate -

abstract: We investigate the influence of the isospin asymmetry on the phase structure of quark matter near the chiral critical point systematically using a generalized version of Ginzburg-Landau approach. The effect has proven to be so profound that it brings about not only a shift of the critical point but also a rich variety of phases in its neighborhood. In particular, there shows up a phase with spatially varying charged pion condensate which we name the "solitonic pion condensate" in addition to the "chiral defect lattice" where the chiral condensate is partially destructed by periodic placements of two-dimensional wall-like defects. Our results suggest that there may be an island of solitonic pion condensate in the low temperature and high density side of QCD phase diagram.


title: AGT relation in the light asymptotic limit

abstract: It is known that the path integral of correlators in Liouville theory reduces to a finite dimensional integral in the limit of vanishing coupling b. We take the example of four-point functions on sphere and investigate how the simple integral expression is reproduced from the path integral of gauge theory on extremely squashed ellipsoids. The simplified form for correlators suggests there is a 2D gauge theory describing the limit.


title: Blue-phase-polymer-templated nematic with sub-millisecond broad-temperature range electro-optic switching

abstract: We report on fast electro-optic switching (response time 0.1 ms) of a blue-phase-polymer templated nematic with a broad-temperature range of thermodynamic stability and hysteresis-free performance. The nematic fills a polymer template that imposes a periodic structure with cubic symmetry and submicron period. In the field-free state, the nematic in polymer template is optically isotropic. An applied electric field causes non-zero optical retardance. The approach thus combines beneficial structural and optical features of the blue phase (cubic structure with submicron periodicity) and superior thermodynamic stability and electro-optic switching ability of the nematic filler.


title: Impact of backscattered light in a squeezing-enhanced interferometric gravitational-wave detector

abstract: Squeezed states of light have been recently used to improve the sensitivity of laser interferometric gravitational-wave detectors beyond the quantum limit. To completely establish quantum engineering as a realistic option for the next generation of detectors, it is crucial to study and quantify the noise coupling mechanisms which injection of squeezed states could potentially introduce. We present a direct measurement of the impact of backscattered light from a squeezed-light source deployed on one of the 4 km long detectors of the Laser Interferometric Gravitational Wave Observatory (LIGO). We also show how our measurements inform the design of squeezed light sources compatible with the even more sensitive advanced detectors currently under construction, such as Advanced LIGO.


title: The 2-Weierstrass points of genus 3 hyperelliptic curves with extra automorphisms

abstract: For each group $G$, $(|G| > 2)$ \, which acts as a full automorphism group on a genus 3 hyperelliptic curve, we determine the family of curves which have 2-Weierstrass points. Such families of curves are explicitly determined in terms of the absolute invariants of binary octavics. The 1-dimensional families that we discover have the property that they contain only genus 0 components.


title: Parity Violation in Photonuclear Reactions at HIGS -- Submission to Snowmass 2013: Intensity Frontier

abstract: We discuss the scientific motivation, possible experiments, and beam requirements for measurements of parity violation in photonuclear reactions at an intensity upgraded HIGS facility, HIGS2.


title: Using SOA with Web Services for effective data integration of Enterprise Pharmaceutical Information Systems

abstract: Medicines exist for combating illnesses and drug stores provide an outlet for consumers to gain access to these drugs. However, due to various factors such as cost of production, accessibility and legal issues as well as distribution factors, availability of these drugs at any location cannot be guaranteed at all times. There is need for individuals and organizations such as hospitals to be able to locate required drugs within given geographical vicinity. This is of immense importance especially during emergencies, travel, and in cases where the drugs are uncommon. This research work is aimed at solving this problem by designing a system that integrates all drugstores. The integration of the drug stores will be based on SOA concepts with web services via a central service bus. The database systems of the drug stores will be integrated via a service bus such that drugs can easily be searched for and the results will be displayed based on its availability. Drugs can easily be searched for within geographically distributed pharmaceutical databases as well as consumption of drugs with relation to geographical locations can easily be monitored and tracked. This will make it easy for health institutions to research on drug consumption patterns across geographical areas and also control their usage.


title: Transmission eigenvalues in random media with surface reflection

abstract: The impact of surface reflection on the statistics of transmission eigenvalues is a largely unexplored subject of fundamental and practical importance in statistical optics. Here, we develop a first-principles theory and confirm numerically that the distribution of transmission eigenvalues of diffusive waves exhibits a nonanalytic `transition' as the strength of surface reflection at one surface passes through a critical value while that at the other is fixed. Above the critical value, the highest transmission eigenvalue is strictly smaller than unity and decreases with increasing internal reflection. When the input and output surfaces are equally reflective, the highest transmission eigenvalue is unity and the transition disappears irrespective of the strength of surface reflection.


title: Diphoton and Z photon Decays of Higgs Boson in Gauge-Higgs Unification: A Snowmass white paper

abstract: In the context of gauge-Higgs unification scenario in a 5-dimensional flat spacetime, we investigate Higgs boson production via gluon fusion and its diphoton and Z gamma decay modes at the LHC. We show that the signal strength of the Higgs diphoton decay mode observed at ATLAS (and CMS), which is considerably larger than the Standard Model expectation, can be explained by a simple gauge-Higgs unification model with color-singlet bulk fermions to which a half-periodic boundary condition is assigned. The bulk fermions with mass at the TeV scale also play a crucial role in reproducing the observed Higgs boson mass of around 125 GeV. One naturally expects that the KK modes also contribute to the effective H-Z-gamma coupling. However, we show a very specific and general prediction of the gauge-Higgs unification scenario that KK-mode contributions to the H-Z-gamma coupling do not exist at the 1-loop level. If the excess of the Higgs to diphoton decay mode persists, its correlation with the Higgs to Z photon decay mode can be a clue to distinguish scenarios beyond the SM, providing a significant improvement of the sensitivity for the Higgs boson signals in the future.


title: POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing

abstract: Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic testing. A key question is how to generate the attacks. This is naturally formulated as planning under uncertainty, i.e., under incomplete knowledge about the network configuration. Previous work uses classical planning, and requires costly pre-processes reducing this uncertainty by extensive application of scanning methods. By contrast, we herein model the attack planning problem in terms of partially observable Markov decision processes (POMDP). This allows to reason about the knowledge available, and to intelligently employ scanning actions as part of the attack. As one would expect, this accurate solution does not scale. We devise a method that relies on POMDPs to find good attacks on individual machines, which are then composed into an attack on the network as a whole. This decomposition exploits network structure to the extent possible, making targeted approximations (only) where needed. Evaluating this method on a suitably adapted industrial test suite, we demonstrate its effectiveness in both runtime and solution quality.


title: Goldstone modes in the neutron star core

abstract: We formulate a theory of Goldstone bosons and their interactions in the superfluid and superconducting phase of dense nucleonic matter at densities of relevance to the neutron star core. For typical neutron star temperatures in the range T = 10^6 to 10^9 K, the Goldstone mode associated with rotational symmetry, called angulons, couple weakly to each other and to electrons. Consequently, these modes have anomalously large mean free paths and can contribute to both diffusive and ballistic transport of heat and momentum. In contrast, the two Goldstone bosons associated with density oscillations of the neutron and electron + proton fluids, called superfluid phonons, mix and couple strongly to electrons. They have shorter mean free paths, and their contribution to transport is negligible. Long-wavelength superfluid phonons and angulons can play a role in neutron star seismology, and lead to interesting phenomenology as angulons couple to magnetic fields and have anisotropic dispersion relations.


title: Free algebras in varieties of Hilbert algebras with supremum generated by finite chains

abstract: Hilbert algebras with supremum, i.e., Hilbert algebras where the associated order is a join-semilattice were first considered by A.V. Figallo, G. Ramon and S. Saad in [11], and independently by S. Celani and D. Montangie in [7]. On the other hand, L. Monteiro introduced the notion of n-valued Hilbert algebras (see [12]). In this work, we investigate the class of n-valued Hilbert algebras with supremum, denoted Hn, i.e., n-valued Hilbert algebras where the associated order is a join-semilattice. The varieties Hn are generated by finite chains. The free Hn-algebra Freen+1(r) with r generators is studied. In particular, we determine an upper bound to the cardinal of the finitely generated free algebra Freen+1(r).


title: Maximal Covariance Group of Wigner Transforms and Pseudo-Differential Operators

abstract: We show that the linear symplectic and anti-symplectic transformations form the maximal covariance group for both the Wigner transform and Weyl operators. The proof is based on a new result from symplectic geometry which characterizes symplectic and anti-symplectic matrices, and which allows us, in addition, to refine a classical result on the preservation of symplectic capacities of ellipsoids.

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


title: An Oblivious Password Cracking Server

abstract: Building a password cracking server that preserves the privacy of the queries made to the server is a problem that has not yet been solved. Such a server could acquire practical relevance in the future: for instance, the tables used to crack the passwords could be calculated, stored and hosted in cloud-computing services, and could be queried from devices with limited computing power. In this paper we present a method to preserve the confidentiality of a password cracker---wherein the tables used to crack the passwords are stored by a third party---by combining Hellman tables and Private Information Retrieval (PIR) protocols. We provide the technical details of this method, analyze its complexity, and show the experimental results obtained with our implementation.


title: Towards Minimax Online Learning with Unknown Time Horizon

abstract: We consider online learning when the time horizon is unknown. We apply a minimax analysis, beginning with the fixed horizon case, and then moving on to two unknown-horizon settings, one that assumes the horizon is chosen randomly according to some known distribution, and the other which allows the adversary full control over the horizon. For the random horizon setting with restricted losses, we derive a fully optimal minimax algorithm. And for the adversarial horizon setting, we prove a nontrivial lower bound which shows that the adversary obtains strictly more power than when the horizon is fixed and known. Based on the minimax solution of the random horizon setting, we then propose a new adaptive algorithm which "pretends" that the horizon is drawn from a distribution from a special family, but no matter how the actual horizon is chosen, the worst-case regret is of the optimal rate. Furthermore, our algorithm can be combined and applied in many ways, for instance, to online convex optimization, follow the perturbed leader, exponential weights algorithm and first order bounds. Experiments show that our algorithm outperforms many other existing algorithms in an online linear optimization setting.


title: On Rational Connectedness of Globally F-Regular Threefolds

abstract: In this paper, we show that projective globally $F$-regular threefolds, defined over an algebraically closed field of characteristic $p\geq 11$, are rationally chain connected.


title: The Noncommutative Infinitesimal Equivariant Index Formula

abstract: In this paper, we establish an infinitesimal equivariant index formula in the noncommutative geometry framework using Greiner's approach to heat kernel asymptotics. An infinitesimal equivariant index formula for odd dimensional manifolds is also given. We define infinitesimal equivariant eta cochains, prove their regularity and give an explicit formula for them. We also establish an infinitesimal equivariant family index formula and introduce the infinitesimal equivariant eta forms as well as compare them with the equivariant eta forms.


title: Error corrected quantum annealing with hundreds of qubits

abstract: Quantum information processing offers dramatic speedups, yet is famously susceptible to decoherence, the process whereby quantum superpositions decay into mutually exclusive classical alternatives, thus robbing quantum computers of their power. This has made the development of quantum error correction an essential and inescapable aspect of both theoretical and experimental quantum computing. So far little is known about protection against decoherence in the context of quantum annealing, a computational paradigm which aims to exploit ground state quantum dynamics to solve optimization problems more rapidly than is possible classically. Here we develop error correction for quantum annealing and provide an experimental demonstration using up to 344 superconducting flux qubits in processors which have recently been shown to physically implement programmable quantum annealing. We demonstrate a substantial improvement over the performance of the processors in the absence of error correction. These results pave a path toward large scale noise-protected adiabatic quantum optimization devices.


title: Sistem Informasi Penjualan Dan Perbaikan Komputer (Studi Kasus: CV Computer Plus Palembang)

abstract: The purpose of this research is to develop an Information System of Selling and Services using Microsoft Visual Basic and Microsoft Access for it database. The benefits of this research is to help CV Computer Plus in selling and services data processing everyday. To develop this IS is used 5 (five) steps: 1) Planning, 2) Analysis, 3) Design, 4) Implementation, and 5) Evaluation. The Information System can record the selling and services data, it also prepared usefull reports. By using this IS, CV Computer Plus can operate their selling and services efficiency and effectively. In the future it can be upgraded for network application.


title: Morpion Solitaire 5D: a new upper bound of 121 on the maximum score

abstract: Morpion Solitaire is a pencil-and-paper game for a single player. A move in this game consists of putting a cross at a lattice point and then drawing a line segment that passes through exactly five consecutive crosses. The objective is to make as many moves as possible, starting from a standard initial configuration of crosses. For one of the variants of this game, called 5D, we prove an upper bound of 121 on the number of moves. This is done by introducing line-based analysis, and improves the known upper bound of 138 obtained by potential-based analysis.


title: Nanosecond electro-optic switching of a liquid crystal

abstract: Electrically induced reorientation of nematic liquid crystal (NLC) molecules caused by dielectric anisotropy of the material is a fundamental phenomenon widely used in modern technologies. Its Achilles heel is a slow (millisecond) relaxation from the field-on to the field-off state. We present an electro-optic effect in an NLC with a response time of about 30 ns to both the field-on and field-off switching. This effect is caused by the electric field induced modification of the order parameters (EMOP) and does not require reorientation of the optic axis (director).

categories: cond-mat.soft cond-mat.mtrl-sci physics.chem-ph physics.optics


title: Transitions Between Chiral Spin Liquids and Z2 Spin Liquids

abstract: The Kalmeyer-Laughlin chiral spin liquids (CSL) and the Z2 spin liquids are two of the simplest topologically ordered states. Here I develop a theory of a direct quantum phase transition between them. Each CSL is characterized by an integer n and is topologically equivalent to the 1/2n Laughlin fractional quantum Hall (FQH) state. Depending on the parity of n, the transition from the CSL is either to a "twisted" version of the Z2 spin liquid, the "doubled semion" model, or the conventional Z_2 spin liquid ("toric code"). In the presence of SU(2) spin symmetry, the triplet gap remains open through the transition and only singlet operators acquire algebraic correlations. An essential observation is that the CSL/Laughlin FQH states can be understood in terms of bosonic integer quantum Hall (BIQH) states of Schwinger bosons or vortices, respectively. I propose several novel many-body wave functions that can interpolate through the transition.


title: Fortifying the characterization of binary mergers in LIGO data

abstract: The study of compact binary in-spirals and mergers with gravitational wave observatories amounts to optimizing a theoretical description of the data to best reproduce the true detector output. While most of the research effort in gravitational wave data modeling focuses on the gravitational wave- forms themselves, here we will begin to improve our model of the instrument noise by introducing parameters which allow us to determine the background instrumental power spectrum while simul- taneously characterizing the astrophysical signal. We use data from the fifth LIGO science run and simulated gravitational wave signals to demonstrate how the introduction of noise parameters results in resilience of the signal characterization to variations in an initial estimation of the noise power spectral density. We find substantial improvement in the consistency of Bayes factor calculations when we are able to marginalize over uncertainty in the instrument noise level.


title: Lagrangian Circle Actions

abstract: We consider paths of Hamiltonian diffeomorphism preserving a given compact monotone Lagrangian in a symplectic manifold that extend to an $S^1$--Hamiltonian action. We compute the leading term of the associated Lagrangian Seidel element. We show that such paths minimize the Lagrangian Hofer length. Finally we apply these computations to Lagrangian uniruledness and to give a nice presentation of the Quantum cohomology of real lagrangians in Fano symplectic toric manifolds.


title: Least Squares Shadowing Sensitivity Analysis of a Modified Kuramoto-Sivashinsky Equation

abstract: Computational methods for sensitivity analysis are invaluable tools for scientists and engineers investigating a wide range of physical phenomena. However, many of these methods fail when applied to chaotic systems, such as the Kuramoto-Sivashinsky (K-S) equation, which models a number of different chaotic systems found in nature. The following paper discusses the application of a new sensitivity analysis method developed by the authors to a modified K-S equation. We find that least squares shadowing sensitivity analysis computes accurate gradients for solutions corresponding to a wide range of system parameters.


title: Sensing as a Service Model for Smart Cities Supported by Internet of Things

abstract: The world population is growing at a rapid pace. Towns and cities are accommodating half of the world's population thereby creating tremendous pressure on every aspect of urban living. Cities are known to have large concentration of resources and facilities. Such environments attract people from rural areas. However, unprecedented attraction has now become an overwhelming issue for city governance and politics. The enormous pressure towards efficient city management has triggered various Smart City initiatives by both government and private sector businesses to invest in ICT to find sustainable solutions to the growing issues. The Internet of Things (IoT) has also gained significant attention over the past decade. IoT envisions to connect billions of sensors to the Internet and expects to use them for efficient and effective resource management in Smart Cities. Today infrastructure, platforms, and software applications are offered as services using cloud technologies. In this paper, we explore the concept of sensing as a service and how it fits with the Internet of Things. Our objective is to investigate the concept of sensing as a service model in technological, economical, and social perspectives and identify the major open challenges and issues.


title: Technical Report: An MGF-based Unified Framework to Determine the Joint Statistics of Partial Sums of Ordered i.n.d. Random Variables

abstract: The joint statistics of partial sums of ordered random variables (RVs) are often needed for the accurate performance characterization of a wide variety of wireless communication systems. A unified analytical framework to determine the joint statistics of partial sums of ordered independent and identically distributed (i.i.d.) random variables was recently presented. However, the identical distribution assumption may not be valid in several real-world applications. With this motivation in mind, we consider in this paper the more general case in which the random variables are independent but not necessarily identically distributed (i.n.d.). More specifically, we extend the previous analysis and introduce a new more general unified analytical framework to determine the joint statistics of partial sums of ordered i.n.d. RVs. Our mathematical formalism is illustrated with an application on the exact performance analysis of the capture probability of generalized selection combining (GSC)-based RAKE receivers operating over frequency-selective fading channels with a non-uniform power delay profile. We also discussed a couple of other sample applications of the generic results presented in this work.


title: Absence of Superconductivity in the "hole-doped" Fe pnictide Ba(Fe$_{1-x}$Mn$_{x}$)$_{2}$As$_{2}$: Photoemission and X-ray Absorption Spectroscopy Studies

abstract: We have studied the electronic structure of Ba(Fe$_{1-x}$Mn$_{x}$)$_{2}$As$_{2}$ ($x$=0.08), which fails to become a superconductor in spite of the formal hole doping like Ba$_{1-x}$K$_{x}$Fe$_{2}$As$_{2}$, by photoemission spectroscopy and X-ray absorption spectroscopy (XAS). With decreasing temperature, a transition from the paramagnetic phase to the antiferromagnetic phase was clearly observed by angle-resolved photoemission spectroscopy. XAS results indicated that the substituted Mn atoms form a strongly hybridized ground state. Resonance-photoemission spectra at the Mn $L_{3}$ edge revealed that the Mn 3d partial density of states is distributed over a wide energy range of 2-13 eV below the Fermi level ($E_F$), with little contribution around $E_F$. This indicates that the dopant Mn 3$d$ states are localized in spite of the strong Mn 3d-As $4p$ hybridization and split into the occupied and unoccupied parts due to the on-site Coulomb and exchange interaction. The absence of superconductivity in Ba(Fe$_{1-x}$Mn$_{x}$)$_{2}$As$_{2}$ can thus be ascribed both to the absence of carrier doping in the FeAs plane, and to the strong stabilizaiton of the antiferromagnetic order by the Mn impurities.


title: Non-homogeneous Two-Rack Model for Distributed Storage Systems

abstract: In the traditional two-rack distributed storage system (DSS) model, due to the assumption that the storage capacity of each node is the same, the minimum bandwidth regenerating (MBR) point becomes infeasible. In this paper, we design a new non-homogeneous two-rack model by proposing a generalization of the threshold function used to compute the tradeoff curve. We prove that by having the nodes in the rack with higher regenerating bandwidth stores more information, all the points on the tradeoff curve, including the MBR point, become feasible. Finally, we show how the non-homogeneous two-rack model outperforms the traditional model in the tradeoff curve between the storage per node and the repair bandwidth.


title: Characterisation of Strongly Normalising lambda-mu-Terms

abstract: We provide a characterisation of strongly normalising terms of the lambda-mu-calculus by means of a type system that uses intersection and product types. The presence of the latter and a restricted use of the type omega enable us to represent the particular notion of continuation used in the literature for the definition of semantics for the lambda-mu-calculus. This makes it possible to lift the well-known characterisation property for strongly-normalising lambda-terms - that uses intersection types - to the lambda-mu-calculus. From this result an alternative proof of strong normalisation for terms typeable in Parigot's propositional logical system follows, by means of an interpretation of that system into ours.


title: Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis

abstract: We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection types. The idea is that components are modeled as typed combinators, and an algorithm for inhabitation {\textemdash} is there a combinatory term e with type tau relative to an environment Gamma? {\textemdash} can be used to synthesize compositions. Here, Gamma represents the repository in the form of typed combinators, tau specifies the synthesis goal, and e is the synthesized program. We illustrate our approach by examples, including an application to synthesis from GUI-components.


title: Annotations for Intersection Typechecking

abstract: In functional programming languages, the classic form of annotation is a single type constraint on a term. Intersection types add complications: a single term may have to be checked several times against different types, in different contexts, requiring annotation with several types. Moreover, it is useful (in some systems, necessary) to indicate the context in which each such type is to be used. This paper explores the technical design space of annotations in systems with intersection types. Earlier work (Dunfield and Pfenning 2004) introduced contextual typing annotations, which we now tease apart into more elementary mechanisms: a "right hand" annotation (the standard form), a "left hand" annotation (the context in which a right-hand annotation is to be used), a merge that allows for multiple annotations, and an existential binder for index variables. The most novel element is the left-hand annotation, which guards terms (and right-hand annotations) with a judgment that must follow from the current context.


title: Bounding normalization time through intersection types

abstract: Non-idempotent intersection types are used in order to give a bound of the length of the normalization beta-reduction sequence of a lambda term: namely, the bound is expressed as a function of the size of the term.


title: Toward Isomorphism of Intersection and Union types

abstract: This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably, invertible terms are linear terms of a particular shape, called finite hereditary permutators. Typing properties of finite hereditary permutators are then studied in a relevant type inference system with intersection and union types for linear terms. In particular, an isomorphism preserving reduction between types is defined. Type reduction is confluent and terminating, and induces a notion of normal form of types. The properties of normal types are a crucial step toward the complete characterisation of type isomorphism. The main results of this paper are, on one hand, the fact that two types with the same normal form are isomorphic, on the other hand, the characterisation of the isomorphism between types in normal form, modulo isomorphism of arrow types.


title: Reconciling positional and nominal binding

abstract: We define an extension of the simply-typed lambda calculus where two different binding mechanisms, by position and by name, nicely coexist. In the former, as in standard lambda calculus, the matching between parameter and argument is done on a positional basis, hence alpha-equivalence holds, whereas in the latter it is done on a nominal basis. The two mechanisms also respectively correspond to static binding, where the existence and type compatibility of the argument are checked at compile-time, and dynamic binding, where they are checked at run-time.


title: Formal Probabilistic Analysis of a Wireless Sensor Network for Forest Fire Detection

abstract: Wireless Sensor Networks (WSNs) have been widely explored for forest fire detection, which is considered a fatal threat throughout the world. Energy conservation of sensor nodes is one of the biggest challenges in this context and random scheduling is frequently applied to overcome that. The performance analysis of these random scheduling approaches is traditionally done by paper-and-pencil proof methods or simulation. These traditional techniques cannot ascertain 100% accuracy, and thus are not suitable for analyzing a safety-critical application like forest fire detection using WSNs. In this paper, we propose to overcome this limitation by applying formal probabilistic analysis using theorem proving to verify scheduling performance of a real-world WSN for forest fire detection using a k-set randomized algorithm as an energy saving mechanism. In particular, we formally verify the expected values of coverage intensity, the upper bound on the total number of disjoint subsets, for a given coverage intensity, and the lower bound on the total number of nodes.


title: A New PVSS Scheme with a Simple Encryption Function

abstract: A Publicly Verifiable Secret Sharing (PVSS) scheme allows anyone to verify the validity of the shares computed and distributed by a dealer. The idea of PVSS was introduced by Stadler in [18] where he presented a PVSS scheme based on Discrete Logarithm. Later, several PVSS schemes were proposed. In [2], Behnad and Eghlidos present an interesting PVSS scheme with explicit membership and disputation processes. In this paper, we present a new PVSS having the advantage of being simpler while offering the same features.


title: Compiling symbolic attacks to protocol implementation tests

abstract: Recently efficient model-checking tools have been developed to find flaws in security protocols specifications. These flaws can be interpreted as potential attacks scenarios but the feasability of these scenarios need to be confirmed at the implementation level. However, bridging the gap between an abstract attack scenario derived from a specification and a penetration test on real implementations of a protocol is still an open issue. This work investigates an architecture for automatically generating abstract attacks and converting them to concrete tests on protocol implementations. In particular we aim to improve previously proposed blackbox testing methods in order to discover automatically new attacks and vulnerabilities. As a proof of concept we have experimented our proposed architecture to detect a renegotiation vulnerability on some implementations of SSL/TLS, a protocol widely used for securing electronic transactions.


title: Formal verification of a proof procedure for the description logic ALC

abstract: Description Logics (DLs) are a family of languages used for the representation and reasoning on the knowledge of an application domain, in a structured and formal manner. In order to achieve this objective, several provers, such as RACER and FaCT++, have been implemented, but these provers themselves have not been yet certified. In order to ensure the soundness of derivations in these DLs, it is necessary to formally verify the deductions applied by these reasoners. Formal methods offer powerful tools for the specification and verification of proof procedures, among them there are methods for proving properties such as soundness, completeness and termination of a proof procedure. In this paper, we present the definition of a proof procedure for the Description Logic ALC, based on a semantic tableau method. We ensure validity of our prover by proving its soundness, completeness and termination properties using Isabelle proof assistant. The proof proceeds in two phases, first by establishing these properties on an abstract level, and then by instantiating them for an implementation based on lists.


title: Towards a General Framework for Formal Reasoning about Java Bytecode Transformation

abstract: Program transformation has gained a wide interest since it is used for several purposes: altering semantics of a program, adding features to a program or performing optimizations. In this paper we focus on program transformations at the bytecode level. Because these transformations may introduce errors, our goal is to provide a formal way to verify the update and establish its correctness. The formal framework presented includes a definition of a formal semantics of updates which is the base of a static verification and a scheme based on Hoare triples and weakest precondition calculus to reason about behavioral aspects in bytecode transformation


title: Formal Analysis of Soft Errors using Theorem Proving

abstract: Modeling and analysis of soft errors in electronic circuits has traditionally been done using computer simulations. Computer simulations cannot guarantee correctness of analysis because they utilize approximate real number representations and pseudo random numbers in the analysis and thus are not well suited for analyzing safety-critical applications. In this paper, we present a higher-order logic theorem proving based method for modeling and analysis of soft errors in electronic circuits. Our developed infrastructure includes formalized continuous random variable pairs, their Cumulative Distribution Function (CDF) properties and independent standard uniform and Gaussian random variables. We illustrate the usefulness of our approach by modeling and analyzing soft errors in commonly used dynamic random access memory sense amplifier circuits.


title: Performing Implicit Induction Reasoning with Certifying Proof Environments

abstract: Largely adopted by proof assistants, the conventional induction methods based on explicit induction schemas are non-reductive and local, at schema level. On the other hand, the implicit induction methods used by automated theorem provers allow for lazy and mutual induction reasoning. In this paper, we present a new tactic for the Coq proof assistant able to perform automatically implicit induction reasoning. By using an automatic black-box approach, conjectures intended to be manually proved by the certifying proof environment that integrates Coq are proved instead by the Spike implicit induction theorem prover. The resulting proofs are translated afterwards into certified Coq scripts.


title: The Mass Distribution and Rotation Curve in the Galaxy

abstract: The mass distribution in the Galaxy is determined by dynamical and photometric methods. Rotation curves are the major tool for determining the dynamical mass distribution in the Milky Way and spiral galaxies. The photometric (statistical) method utilizes luminosity profiles from optical and infrared observations, and assumes empirical values of the mass-to-luminosity (M/L) ratio to convert the luminosity to mass. In this chapter the dynamical method is described in detail, and rotation curves and mass distribution in the Milky Way and nearby spiral galaxies are presented. The dynamical method is categorized into two methods: the decomposition method and direct method. The former fits the rotation curve by calculated curve assuming several mass components such as a bulge, disk and halo, and adjust the dynamical parameters of each component. Explanations are given of the mass profiles as the de Vaucouleurs law, exponential disk, and dark halo profiles inferred from numerical simulations. Another method is the direct method, with which the mass distribution can be directly calculated from the data of rotation velocities without employing any mass models. Some results from both methods are presented, and the Galactic structure is discussed in terms of the mass. Rotation curves and mass distributions in external galaxies are also discussed, and the fundamental mass structures are shown to be universal.


title: Classification of automorphic conjugacy classes in the free group on two generators

abstract: We associate a finite directed graph with each equivalence class of words in $F_2$ under $\operatorname*{Aut} F_2$, and we completely classify these graphs, giving a structural classification of the automorphic conjugacy classes of $F_2$. This classification refines work of Khan and proves a conjecture of Myasnikov and Shpilrain on the number of minimal words in an automorphic conjugacy class whose minimal words have length $n$, which in turn implies a sharp upper bound on the running time of Whitehead's algorithm for determining whether two words in $F_2$ are automorphic conjugates.


title: Bootstrapping a Change-Point Cox Model for Survival Data

abstract: This paper investigates the (in)-consistency of various bootstrap methods for making inference on a change-point in time in the Cox model with right censored survival data. A criterion is established for the consistency of any bootstrap method. It is shown that the usual nonparametric bootstrap is inconsistent for the maximum partial likelihood estimation of the change-point. A new model-based bootstrap approach is proposed and its consistency established. Simulation studies are carried out to assess the performance of various bootstrap schemes.


title: Ancient eclipses and long-term drifts in the Earth - Moon system

abstract: We investigate the anomalies in the Earth - Moon system using ancient eclipse data. We identify nine groups of anomalous eclipses between 400 and 1800 AD recorded in parts of India that should have completely missed the subcontinent as per NASA simulations (Espenak and Meeus, 2011). We show that the typical correction to the lunar location required to reconcile the anomalous eclipses is relatively small and consistent with the fluctuations in the length of day that are observed in recent periods. We then investigate the change in Earth's moment of inertia due to differential acceleration of land and water that can account for this discrepancy. We show that 80 percent of these discrepancies occur when the Moon is at declinations greater than 10 deg and closer to its major standstill of 28 deg while it spends 46 percent of the time in this region. We simulate the differential interaction of the Moon's gravity with landmass and water using finite element method to account for landmass and water mass. We show that the results of eclipse error are consistent with the estimate of a small differential acceleration when the Moon is over land at high latitudes. However, we encounter some examples where the results from simulations studies cannot explain the phenomena. Hence we propose that dT corrections have to be coupled with some other mechanism possibly a small vertical oscillation in the Moon's rotational plane with a period of the order of a few hundred years to achieve the required adjustment in the Eclipse maps.


title: Freezing a Quantum Magnet by Repeated Quantum Interference: An Experimental Realization

abstract: We experimentally demonstrate the phenomenon of dynamical many-body freezing in a periodically driven Ising chain. Theoretically [Phys. Rev. B 82, 172402 (2010)], for certain values of the drive parameters all fundamental degrees of freedom contributing to the response dynamics freeze for all time and for arbitrary initial states. Also, since the condition of freezing involves only the drive parameters and not on the quantization of the momentum (i.e., the system-size), our simulation with a small (3-spin) chain captures all salient features of the freezing phenomenon predicted for the infinite chain. Using optimal control techniques, we realize high-fidelity cosine modulated drive, and observe non-monotonic freezing of magnetization at specific frequencies of modulation. Time-evolution of the excitations in momentum space has been tracked directly through magnetization measurements.


title: Single molecule NMR detection and spectroscopy using single spins in diamond

abstract: Nanomagnetometry using the nitrogen-vacancy (NV) centre in diamond has attracted a great deal of interest because of the combined features of room temperature operation, nanoscale resolution and high sensitivity. One of the important goals for nano-magnetometry is to be able to detect nanoscale nuclear magnetic resonance (NMR) in individual molecules. Our theoretical analysis shows how a single molecule at the surface of diamond, with characteristic NMR frequencies, can be detected using a proximate NV centre on a time scale of order seconds with nanometer precision. We perform spatio-temporal resolution optimisation and also outline paths to greater sensitivity. In addition, the method is suitable for application in low and relatively inhomogeneous background magnetic fields in contrast to both conventional liquid and solid state NMR spectroscopy.


title: Three-dimensional Simulations of Pure Deflagration Models for Thermonuclear Supernovae

abstract: We present a systematic study of the pure deflagration model of Type Ia supernovae using three-dimensional, high-resolution, full-star hydrodynamical simulations, nucleosynthetic yields calculated using Lagrangian tracer particles, and light curves calculated using radiation transport. We evaluate the simulations by comparing their predicted light curves with many observed SNe Ia using the SALT2 data-driven model and find that the simulations may correspond to under-luminous SNe Iax. We explore the effects of the initial conditions on our results by varying the number of randomly selected ignition points from 63 to 3500, and the radius of the centered sphere they are confined in from 128 to 384 km. We find that the rate of nuclear burning depends on the number of ignition points at early times, the density of ignition points at intermediate times, and the radius of the confining sphere at late times. The results depend primarily on the number of ignition points, but we do not expect this to be the case in general. The simulations with few ignition points release more nuclear energy $E_{\mathrm{nuc}}$, have larger kinetic energies $E_{\mathrm{K}}$, and produce more $^{56}$Ni than those with many ignition points, and differ in the distribution of $^{56}$Ni, Si, and C/O in the ejecta. For these reasons, the simulations with few ignition points exhibit higher peak B-band absolute magnitudes $M_\mathrm{B}$ and light curves that rise and decline more quickly; their $M_\mathrm{B}$ and light curves resemble those of under-luminous SNe Iax, while those for simulations with many ignition points are not.


title: External magnetic fields and the chiral phase transition in QED at nonzero chemical potential

abstract: Inspired by recent discussions of inverse magnetic catalysis in the literature, we examine the effects of a uniform external magnetic field on the chiral phase transition in quenched ladder QED at nonzero chemical potential. In particular, we study the behaviour of the effective potential as the strength of the magnetic field is varied while the chemical potential is held constant. For a certain range of the magnetic field, the effective potential develops a local maximum. Inverse magnetic catalysis is observed at this maximum, whereas the usual magnetic catalysis is observed at the true minimum of the effective potential.


title: On forward and backward SPDEs with non-local boundary conditions

abstract: We study linear stochastic partial differential equations of parabolic type with non-local in time or mixed in time boundary conditions. The standard Cauchy condition at the terminal time is replaced by a condition that mixes the random values of the solution at different times, including the terminal time, initial time and continuously distributed times. For the case of backward equations, this setting covers almost surely periodicity. Uniqueness, solvability and regularity results for the solutions are obtained. Some possible applications to portfolio selection are discussed.


title: Enhancement in the Figure of Merit of p-type BiSb alloys through multiple valence-band doping

abstract: N-type Bi100-xSbx alloys have the highest thermoelectric figure of merit (zT) of all materials below 200K; here we investigate how filling multiple valence band pockets at T and H-points of the Brillouin zone produces high zT in p-type Sn-doped material. This approach, theoretically predicted to potentially give zT>1 in Bi, was used successfully in PbTe. We report thermopower, electrical and thermal conductivity (2 to 400K) of single crystals with 12<x<37 and polycrystals (x=50-90), higher Sb concentrations than previous studies. We obtain a 60% improvement in zT to 0.13.


title: A Novel Architecture for Relevant Blog Page Identifcation

abstract: Blogs are undoubtedly the richest source of information available in cyberspace. Blogs can be of various natures i.e. personal blogs which contain posts on mixed issues or blogs can be domain specific which contains posts on particular topics, this is the reason, they offer wide variety of relevant information which is often focused. A general search engine gives back a huge collection of web pages which may or may not give correct answers, as web is the repository of information of all kinds and a user has to go through various documents before he gets what he was originally looking for, which is a very time consuming process. So, the search can be made more focused and accurate if it is limited to blogosphere instead of web pages. The reason being that the blogs are more focused in terms of information. So, User will only get related blogs in response to his query. These results will be then ranked according to our proposed method and are finally presented in front of user in descending order


title: Fano manifolds with weak almost K\"ahler-Ricci solitons

abstract: In this paper, we prove that a sequence of weak almost K\"ahler-Ricci solitons under further suitable conditions converge to a K\"ahler-Ricci soliton with complex codimension of singularities at least 2 in the Gromov-Hausdorff topology. As a corollary, we show that on a Fano manifold with the modified K-energy bounded below, there exists a sequence of weak almost K\"ahler-Ricci solitons which converge to a K\"ahler-Ricci soliton with complex codimension of singularities at least 2 in the Gromov-Hausdorff topology.


title: Nichols algebras over classical Weyl groups, Fomin-Kirillov algebras and Lyndon basis

abstract: We show that except in several cases conjugacy classes of classical Weyl groups $W(B_n)$ and $W(D_n)$ are of type {\rm D}. We prove that except in three cases Nichols algebras of irreducible Yetter-Drinfeld ({\rm YD} in short )modules over the classical Weyl groups are infinite dimensional. We establish the relationship between Fomin-Kirillov algebra $\mathcal E_n$ and Nichols algebra $\mathfrak{B} ({\mathcal O}_{{(1, 2)}} , \epsilon \otimes {\rm sgn})$ of transposition over symmetry group by means of quiver Hopf algebras. We generalize {\rm FK } algebra. The characteristic of finiteness of Nichols algebras in thirteen ways and of {\rm FK } algebras ${\mathcal E}_n$ in nine ways is given. All irreducible representations of finite dimensional Nichols algebras %({\rm FK } algebras ${\mathcal E}_n$) and a complete set of hard super- letters of Nichols algebras of finite Cartan types are found. The sufficient and necessary condition for Nichols algebra $\mathfrak B(M)$ of reducible {\rm YD} module $M$ over $A \rtimes \mathbb{S}_n$ with ${\rm supp } (M) \subseteq A$ to be finite dimensional is given. % Some conditions for a braided vector space to become a {\rm YD} module over finite commutative group are obtained. It is shown that hard braided Lie Lyndon word, standard Lyndon word, Lyndon basis path, hard Lie Lyndon word and standard Lie Lyndon word are the same with respect to $ \mathfrak B(V)$, Cartan matrix $A_c$ and $U(L^+)$, respectively, where $V$ and $L$ correspond to the same finite Cartan matrix $A_c$.


title: Addressing Security Challenges in Cloud Computing

abstract: Cloud computing is a new computing paradigm which allows sharing of resources on remote server such as hardware, network, storage using internet and provides the way through which application, computing power, computing infrastructure can be delivered to the user as a service. Cloud computing unique attribute promise cost effective Information Technology Solution (IT Solution) to the user. All computing needs are provided by the Cloud Service Provider (CSP) and they can be increased or decreased dynamically as required by the user. As data and Application are located at the server and may be beyond geographical boundary, this leads a number of concern from the user prospective. The objective of this paper is to explore the key issues of cloud computing which is delaying its adoption.


title: Posterior Contraction Rates of the Phylogenetic Indian Buffet Processes

abstract: By expressing prior distributions as general stochastic processes, nonparametric Bayesian methods provide a flexible way to incorporate prior knowledge and constrain the latent structure in statistical inference. The Indian buffet process (IBP) is such an example that can be used to define a prior distribution on infinite binary features, where the exchangeability among subjects is assumed. The phylogenetic Indian buffet process (pIBP), a derivative of IBP, enables the modeling of non-exchangeability among subjects through a stochastic process on a rooted tree, which is similar to that used in phylogenetics, to describe relationships among the subjects. In this paper, we study the theoretical properties of IBP and pIBP under a binary factor model. We establish the posterior contraction rates for both IBP and pIBP and substantiate the theoretical results through simulation studies. This is the first work addressing the frequentist property of the posterior behaviors of IBP and pIBP. We also demonstrated its practical usefulness by applying pIBP prior to a real data example arising in the field of cancer genomics where the exchangeability among subjects is violated.

categories: stat.ML math.ST q-bio.QM stat.AP stat.TH


title: An Information Theoretic Point of View to Contention Resolution

abstract: We consider a slotted wireless network in an infrastructure setup with a base station (or an access point) and N users. The wireless channel gain between the base station and the users is assumed to be i.i.d., and the base station seeks to schedule the user with the highest channel gain in every slot (opportunistic scheduling). We assume that the identity of the user with the highest channel gain is resolved using a series of contention slots and with feedback from the base station. In this setup, we formulate the contention resolution problem for opportunistic scheduling as identifying a random threshold (channel gain) that separates the best channel from the other samples. We show that the average delay to resolve contention is related to the entropy of the random threshold. We illustrate our formulation by studying the opportunistic splitting algorithm (OSA) for i.i.d. wireless channel [9]. We note that the thresholds of OSA correspond to a maximal probability allocation scheme. We conjecture that maximal probability allocation is an entropy minimizing strategy and a delay minimizing strategy for i.i.d. wireless channel. Finally, we discuss the applicability of this framework for few other network scenarios.


title: Nonlocal interactions in a BEC: an Analogue Gravity perspective

abstract: We add a minimal correction term to the local Gross-Pitaevskii equation to represent non-locality in the interactions. We show that the effective minimal non-locality can make the healing length decrease more rapidly with the increase of $s$-wave scattering length leaving the expression of the velocity of sound unaltered. We discuss the implication of this result for a Bose-Einstein Condensate (BEC) being used as an analogue gravity system. The presented result is important in the context of condensed matter physics as well because one can considerably change the size of a quantized vortex at finite $s$-wave scattering length by tuning the healing length.


title: Maximum-Hands-Off Control and L1 Optimality

abstract: In this article, we propose a new paradigm of control, called a maximum-hands-off control. A hands-off control is defined as a control that has a much shorter support than the horizon length. The maximum-hands-off control is the minimum-support (or sparsest) control among all admissible controls. We first prove that a solution to an L1-optimal control problem gives a maximum-hands-off control, and vice versa. This result rationalizes the use of L1 optimality in computing a maximum-hands-off control. The solution has in general the "bang-off-bang" property, and hence the control may be discontinuous. We then propose an L1/L2-optimal control to obtain a continuous hands-off control. Examples are shown to illustrate the effectiveness of the proposed control method.


title: A Prototyping Environment for Integrated Artificial Attention Systems

abstract: Artificial visual attention systems aim to support technical systems in visual tasks by applying the concepts of selective attention observed in humans and other animals. Such systems are typically evaluated against ground truth obtained from human gaze-data or manually annotated test images. When applied to robotics, the systems are required to be adaptable to the target system. Here, we describe a flexible environment based on a robotic middleware layer allowing the development and testing of attention-guided vision systems. In such a framework, the systems can be tested with input from various sources, different attention algorithms at the core, and diverse subsequent tasks.


title: Effect of self-interaction on the phase diagram of a Gibbs-like measure derived by a reversible Probabilistic Cellular Automata

abstract: Cellular Automata are discrete-time dynamical systems on a spatially extended discrete space which provide paradigmatic examples of nonlinear phenomena. Their stochastic generalizations, i.e., Probabilistic Cellular Automata (PCA), are discrete time Markov chains on lattice with finite single-cell states whose distinguishing feature is the \emph{parallel} character of the updating rule. We study the ground states of the Hamiltonian and the low-temperature phase diagram of the related Gibbs measure naturally associated with a class of reversible PCA, called the \textit{cross PCA}. In such a model the updating rule of a cell depends indeed only on the status of the five cells forming a cross centered at the original cell itself. In particular, it depends on the value of the center spin (\textit{self-interaction}). The goal of the paper is that of investigating the role played by the self-interaction parameter in connection with the ground states of the Hamiltonian and the low-temperature phase diagram of the Gibbs measure associated with this particular PCA.


title: Thermoelectric Effect of Correlated Metals - Band Structure Effects and the Breakdown of Mott's Formula

abstract: We study the thermoelectric effect of two-dimensional metals on a square lattice within semiclassical Boltzmann transport theory with particular focus on electron-electron scattering. We compute the electrical conductivity and the Seebeck coefficient as a function of band filling and temperature for generically chosen hopping parameters in a two-dimensional tight-binding model. The Boltzmann equation is solved numerically after computing the full collision integral, taking the angular and radial degrees of freedom into account. These degrees of freedom of the collision integral, neglected in the standard single-relaxation-time approximation, play an important role if the transport coefficients show unconventional features. Within our detailed numerical simulation, we show that the widely used Mott formula to compute the Seebeck effect is not sufficient to describe the thermoelectric effect in the presence of strong electron-electron scattering. Furthermore, we study the Seebeck coefficient and its temperature dependence in the vicinity of a Lifshitz transition and demonstrate that it shows remarkable parallels to transport features near a quantum critical point.


title: A converse of the Gauss--Lucas theorem

abstract: All linear operators $L:\mathcal{C}[z]\to \mathcal{C}[z]$ which decrease the diameter of the zero set of any $P\in\mathcal{C}[z]$ are found.


title: Equidistribution on the space of rank two vector bundles over the projective line

abstract: Fix a finite field. A hyperelliptic curve determines a measure on the discrete space of rank two bundles on the projective line: the mass of a given vector bundle is the number of line bundles whose pushforward it is. In a sequence of hyperelliptic curves whose genera tend to infinity, these measures tend to the natural measure on the space of rank two bundles. This is a function field analogue of Duke's theorem on the equidistribution of Heegner points, and can be proven similarly: it follows from a manipulation of zeta functions, plus the Riemann Hypothesis for curves. Likewise, a sequence of hyperelliptic curves equipped with line bundles gives rise to a sequence of measures on the space of pairs of rank 2 bundles. We give a conjectural classification of the possible limit measures which arise; this is a function field analogue of the "Mixing Conjecture" of Michel and Venkatesh. As in the number field setting, ergodic theory suffices when the line bundle is sufficiently special. For the remaining bundles, we turn to geometry and count points on intersections of translates of loci of special divisors in the Jacobian of a hyperelliptic curve. To prove equidistribution, we would require two results. The first, we prove: the upper cohomologies of these loci agree with the cohomology of the Jacobian. The second, which we establish in characteristic zero and conjecture in characteristic p, is that the sum of the Betti numbers of these spaces grows at most as the exponential of the genus of the hyperelliptic curve.


title: Spontaneous parametric down-conversion photon sources are scalable in the asymptotic limit for boson-sampling

abstract: Boson-sampling has emerged as a promising avenue towards post-classical optical quantum computation, and numerous elementary demonstrations have recently been performed. Spontaneous parametric down-conversion (SPDC) is the mainstay for single-photon state preparation, the technique employed in most optical quantum information processing implementations to-date. Here we present a simple architecture for boson-sampling based on multiplexed SPDC sources and demonstrate that the architecture is limited only by the post-selection detection efficiency assuming that other errors, such as spectral impurity, dark counts, and interferometric instability are negligible. For any given number of input photons, there exists a minimum detector efficiency that allows post selection. If this efficiency is achieved, photon-number errors in the SPDC sources are sufficiently low as to guarantee correct boson-sampling most of the time. In this scheme the required detector efficiency must increase exponentially in the photon number. Thus, we show that idealised SPDC sources will not present a bottleneck for future boson-sampling implementations. Rather, photodetection efficiency is the limiting factor and thus future implementations may continue to employ SPDC sources.


title: Detecting the historical roots of research fields by reference publication year spectroscopy (RPYS)

abstract: We introduce the quantitative method named "reference publication year spectroscopy" (RPYS). With this method one can determine the historical roots of research fields and quantify their impact on current research. RPYS is based on the analysis of the frequency with which references are cited in the publications of a specific research field in terms of the publication years of these cited references. The origins show up in the form of more or less pronounced peaks mostly caused by individual publications which are cited particularly frequently. In this study, we use research on graphene and on solar cells to illustrate how RPYS functions, and what results it can deliver.


title: On Finding a Subset of Healthy Individuals from a Large Population

abstract: In this paper, we derive mutual information based upper and lower bounds on the number of nonadaptive group tests required to identify a given number of "non defective" items from a large population containing a small number of "defective" items. We show that a reduction in the number of tests is achievable compared to the approach of first identifying all the defective items and then picking the required number of non-defective items from the complement set. In the asymptotic regime with the population size $N \rightarrow \infty$, to identify $L$ non-defective items out of a population containing $K$ defective items, when the tests are reliable, our results show that $\frac{C_s K}{1-o(1)} (\Phi(\alpha_0, \beta_0) + o(1))$ measurements are sufficient, where $C_s$ is a constant independent of $N, K$ and $L$, and $\Phi(\alpha_0, \beta_0)$ is a bounded function of $\alpha_0 \triangleq \lim_{N\rightarrow \infty} \frac{L}{N-K}$ and $\beta_0 \triangleq \lim_{N\rightarrow \infty} \frac{K} {N-K}$. Further, in the nonadaptive group testing setup, we obtain rigorous upper and lower bounds on the number of tests under both dilution and additive noise models. Our results are derived using a general sparse signal model, by virtue of which, they are also applicable to other important sparse signal based applications such as compressive sensing.


title: Rotation Curve and Mass Distribution in the Galactic Center --- From Black Hole to Entire Galaxy ---

abstract: Analyzing high-resolution longitude-velocity (LV) diagrams of the Galactic Center observed with the Nobeyama 45-m telescope in the CO and CS line emissions, we obtain a central rotation curve of the Milky Way. We combine it with the data for the outer disk, and construct a logarithmic rotation curve of the entire Galaxy. The new rotation curve covers a wide range of radius from r ~ 1 pc to several hundred kpc without a gap of data points. It links, for the first time, the kinematical characteristics of the Galaxy from the central black hole to the bulge, disk and dark halo. Using this grand rotation curve, we calculate the radial distribution of surface mass density in the entire Galaxy, where the radius and derived mass densities vary over a dynamical range with several orders of magnitudes. We show that the galactic bulge is deconvolved into two components: the inner (core) and main bulges. Both the two bulge components are represented by exponential density profiles, but the de Vaucouleurs law was found to fail in representing the mass profile of the galactic bulge.


title: Sparse Packetized Predictive Control for Networked Control over Erasure Channels

abstract: We study feedback control over erasure channels with packet-dropouts. To achieve robustness with respect to packet-dropouts, the controller transmits data packets containing plant input predictions, which minimize a finite horizon cost function. To reduce the data size of packets, we propose to adopt sparsity-promoting optimizations, namely, ell-1-ell-2 and ell-2-constrained ell-0 optimizations, for which efficient algorithms exist. We derive sufficient conditions on design parameters, which guarantee (practical) stability of the resulting feedback control systems when the number of consecutive packet-dropouts is bounded.


title: High Frequency top-down Junction-less Silicon Nanowire Resonators

abstract: We report here the first realization of top-down silicon nanowires (SiNW) transduced by both junction-less field effect transistor (FET) and the piezoresistive (PZR) effect. The suspended SiNWs are among the smallest top-down SiNWs reported to date, featuring widths down to ~20nm. This has been achieved thanks to a 200mm-wafer-scale, VLSI process fully amenable to monolithic CMOS co-integration. Thanks to the very small dimensions, the conductance of the silicon nanowire can be controlled by a nearby electrostatic gate. Both the junction-less FET and the previously demonstrated PZR transduction have been performed with the same SiNW. These self-transducing schemes have shown similar signal-to-background ratios, and the PZR transduction has exhibited a relatively higher output signal. Allan deviation AD of the same SiNW has been measured with both schemes, and we obtain AD~20ppm for the FET detection and AD~3ppm for the PZR detection at room temperature and low pressure. Orders of magnitude improvements are expected from tighter electrostatic control via changes in geometry and doping level, as well as from CMOS integration. The compact, simple topology of these elementary SiNW resonators opens up new paths towards ultra-dense arrays for gas and mass sensing, time keeping or logic switching systems in SiNW-CMOS platform.


abstract: Instead of studying anyon condensation in concrete models, we take an abstract approach. Assume that a system of anyons, which form a modular tensor category D, is obtained via an anyon condensation from another system of anyons (i.e. another modular tensor category C). By a bootstrap analysis, we derive the relation between C and D from natural physical requirements. It turns out that the tensor unit of D can be identified with a connected commutative separable algebra A in C. The modular tensor category D consists of all deconfined particles and can be identified with the category of local $A$-modules in C. If this condensation occurs in a 2d region in the C-phase, then it also produces a 1d gapped domain wall between the C-phase and the D-phase. The confined and deconfined particles accumulate on the wall and form a fusion category that is precisely the category of right A-modules in C. We also consider condensations that are confined to a 1d line. We show how to determine the algebra A from physical macroscopic data. We provide examples of anyon condensation in the toric code model, Kitaev quantum double models and Levin-Wen types of lattice models and in some chiral topological phases. In the end, we briefly discuss Witt equivalence between 2d topological phases. We also attach to this paper an Erratum and Addendum to the original version of "Anyon condensation and tensor categories" published in [Nucl. Phys. B 886 (2014) 436-482].


title: $\mathscr{L}$-invariants and logarithm derivatives of eigenvalues of Frobenius

abstract: Let $K$ be a $p$-adic local field. In this work we study a special kind of $p$-adic Galois representations of it. These representations are similar to the Galois representations occurred in the exceptional zero conjecture for modular forms. In particular, we verify that a formula of Colmez can be generalized to our case. We also include a degenerated version of Colmez's formula.


title: Note on Bessaga-Klee classification

abstract: We collect several variants of the proof of the third case of the Bessaga-Klee relative classification of closed convex bodies in topological vector spaces. We were motivated by the fact that we have not found anywhere in the literature a complete correct proof. In particular, we point out an error in the proof given in the book of C.~Bessaga and A.~Pe\l czy\'nski (1975). We further provide a simplified version of T.~Dobrowolski's proof of the smooth classification of smooth convex bodies in Banach spaces which works simultaneously in the topological case.


title: Distributive lattices and the poset of pre-projective tilting modules

abstract: D.Happel and L.Unger defined a partial order on the set of basic tilting modules. We study the poset of basic pre-projective tilting modules over path algebra of infinite type. We give an equivalent condition for that this poset is a distributive lattice. We also give an equivalent condition for that a distributive lattice is isomorphic to the poset of basic pre-projective tilting modules over a path algebra of representation infinite type.


title: Energy consistent discontinuous Galerkin methods for a quasi-incompressible diffuse two phase flow model

abstract: We design consistent discontinuous Galerkin finite element schemes for the approximation of a quasi-incompressible two phase flow model of Allen-Cahn/Cahn-Hilliard/Navier-Stokes-Korteweg type which allows for phase transitions. We show that the scheme is mass conservative and monotonically energy dissipative. In this case the dissipation is isolated to discrete equivalents of those effects already causing dissipation on the continuous level, that is, there is no artificial numerical dissipation added into the scheme. In this sense the methods are consistent with the energy dissipation of the continuous PDE system.


title: Late-replicating CNVs as a source of new genes

abstract: Asynchronous replication of the genome has been associated with different rates of point mutation and copy number variation (CNV) in human populations. Here, we explored if the bias in the generation of CNV that is associated to DNA replication timing might have conditioned the birth of new protein-coding genes during evolution. We show that genes that were duplicated during primate evolution are more commonly found among the human genes located in late-replicating CNV regions. We traced the relationship between replication timing and the evolutionary age of duplicated genes. Strikingly, we found that there is a significant enrichment of evolutionary younger duplicates in late replicating regions of the human and mouse genome. Indeed, the presence of duplicates in late replicating regions gradually decreases as the evolutionary time since duplication extends. Our results suggest that the accumulation of recent duplications in late replicating CNV regions is an active process influencing genome evolution.


title: Critical Transitions in Social Network Activity

abstract: A large variety of complex systems in ecology, climate science, biomedicine and engineering have been observed to exhibit tipping points, where the internal dynamical state of the system abruptly changes. For example, such critical transitions may result in the sudden change of ecological environments and climate conditions. Data and models suggest that detectable warning signs may precede some of these drastic events. This view is also corroborated by abstract mathematical theory for generic bifurcations in stochastic multi-scale systems. Whether the stochastic scaling laws used as warning signs are also present in social networks that anticipate a-priori {\it unknown} events in society is an exciting open problem, to which at present only highly speculative answers can be given. Here, we instead provide a first step towards tackling this formidable question by focusing on a-priori {\it known} events and analyzing a social network data set with a focus on classical variance and autocorrelation warning signs. Our results thus pertain to one absolutely fundamental question: Can the stochastic warning signs known from other areas also be detected in large-scale social network data? We answer this question affirmatively as we find that several a-priori known events are preceded by variance and autocorrelation growth. Our findings thus clearly establish the necessary starting point to further investigate the relation between abstract mathematical theory and various classes of critical transitions in social networks.

categories: physics.soc-ph cs.SI nlin.AO physics.data-an


title: Diagnosing transient ionization in dynamic events

abstract: The present study aims to provide a diagnostic line ratio that will enable the observer to determine whether a plasma is in a state of transient ionization. We use the Atomic Data and Analysis Structure (ADAS) to calculate line contribution functions for two lines, Si IV 1394 A and O IV 1401 A, formed in the solar transition region. The generalized collisional-radiative theory is used. It includes all radiative and electron collisional processes, except for photon-induced processes. State-resolved direct ionization and recombination to and from the next ionization stage are also taken into account. For dynamic bursts with a decay time of a few seconds, the Si IV 1394 A line can be enhanced by a factor of 2-4 in the first fraction of a second with the peak in the line contribution function occurring initially at a higher electron temperature due to transient ionization compared to ionization equilibrium conditions. On the other hand, the O IV 1401 A does not show such any enhancement. Thus the ratio of these two lines, which can be observed with the Interface Region Imaging Spectrograph, can be used as a diagnostic of transient ionization. We show that simultaneous high-cadence observations of two lines formed in the solar transition region may be used as a direct diagnostic of whether the observed plasma is in transient ionization. The ratio of these two lines can change by a factor of four in a few seconds owing to transient ionization alone.


title: Selective advantage of diffusing faster

abstract: We study a stochastic spatial model of biological competition in which two species have the same birth and death rates, but different diffusion constants. In the absence of this difference, the model can be considered as an off-lattice version of the Voter model and presents similar coarsening properties. We show that even a relative difference in diffusivity on the order of a few percent may lead to a strong bias in the coarsening process favoring the more agile species. We theoretically quantify this selective advantage and present analytical formulas for the average growth of the fastest species and its fixation probability.


title: Millimetre continuum observations of comet C/2009 P1 (Garradd)

abstract: Little is known about the physical properties of the nuclei of Oort cloud comets. Measuring the thermal emission of a nucleus is one of the few means for deriving its size and constraining some of its thermal properties. We attempted to measure the nucleus size of the Oort cloud comet C/2009 P1 (Garradd). We used the Plateau de Bure Interferometer to measure the millimetric thermal emission of this comet at 157 GHz (1.9 mm) and 266 GHz (1.1 mm). Whereas the observations at 266 GHz were not usable due to bad atmospheric conditions, we derived a 3-sigma upper limit on the comet continuum emission of 0.41 mJy at 157 GHz. Using a thermal model for a spherical nucleus with standard thermal parameters, we found an upper limit of 5.6 km for the radius. The dust contribution to our signal is estimated to be negligible. Given the water production rates measured for this comet and our upper limit, we estimated that Garradd was very active, with an active fraction of its nucleus larger than 50%.


title: On the O(1/k) Convergence of Asynchronous Distributed Alternating Direction Method of Multipliers

abstract: We consider a network of agents that are cooperatively solving a global optimization problem, where the objective function is the sum of privately known local objective functions of the agents and the decision variables are coupled via linear constraints. Recent literature focused on special cases of this formulation and studied their distributed solution through either subgradient based methods with O(1/sqrt(k)) rate of convergence (where k is the iteration number) or Alternating Direction Method of Multipliers (ADMM) based methods, which require a synchronous implementation and a globally known order on the agents. In this paper, we present a novel asynchronous ADMM based distributed method for the general formulation and show that it converges at the rate O(1/k).


title: Orientation of the cores of hybrid morphology radio sources

abstract: The FRI/FRII dichotomy is a much debated issue in the astrophysics of extragalactic radio sources. Study of the properties of HYbrid MOrphology Radio Sources (HYMORS) may bring crucial information and lead to a step forward in understanding the origin of FRI/FRII dichotomy. HYMORS are a rare class of double-lobed radio sources where each of the two lobes clearly exhibits a different FR morphology. This article describes follow-up high resolution VLBA observations of the five discovered by us HYMORS. The main aim of the observations was to answer the questions of whether the unusual radio morphology is connected to the orientation of objects towards the observer. We obtained the high resolution radio maps of five hybrid radio morphology objects with the VLBA at C-band and L-band. Two of them revealed milliarcsecond core-jet structures, the next two objects showed hints of parsec-scale jets, and the last one remained point-like at both frequencies. We compared properties of observed milliarcsecond structures of hybrid sources with the larger scale ones previously detected with the VLA. We find that on both scales the fluxes of their central components are similar, which may indicate the lack of additional emission in the proximity of the nucleus. This suggests that jets present on the 1-10 kpc scale in those objects are FRII-like. When possible, the detected core-jet structures were used for estimating the core's spatial orientation. The result is that neither the FRI-like nor the FRII-like side is preferred, which may suggest that no specific spatial orientation of HYMORS is required to explain their radio morphology. Their estimated viewing angles indicate they are unbeamed objects. The 178 MHz luminosity of observed HYMORS exceed the traditional FRI/FRII break luminosity, indicating they have radio powers similar to FRIIs.


title: Multi-Version Conflict Notion

abstract: This paper introduces the useful notion of Multi-Version Conflict notion.


title: Enhancing Java Call Control with Media Server Control functions

abstract: In this paper, we propose a novel abstraction layer for application service implementation compliant with the Java Call Control (JCC) specifications. It simplifies creation of multimedia services using the Session Initiation Protocol (SIP) and the Media Gateway Control Protocol (MGCP). In order to show its effectiveness, we have implemented a JCC Resource Adaptor for a JAIN Service Logic Execution Environment (JSLEE), using the Mobicents application server, which is the only existing open source JSLEE implementation. Experimental results, obtained by implementing a complex VoIP service, show both a significant simplification of service implementation and improved performance over legacy solutions.


title: Disordered Josephson junction chains: Anderson localization of normal modes and impedance fluctuations

abstract: We study the properties of the normal modes of a chain of Josephson junctions in the simultaneous presence of disorder and absorption. We consider the superconducting regime of small phase fluctuations and focus on the case where the effects of disorder and absorption can be treated additively. We analyze the frequency shift and the localization length of the modes. We also calculate the distribution of the frequency-dependent impedance of the chain. The distribution is Gaussian if the localization length is long compared to the absorption length; it has a power law tail in the opposite limit.


title: For a few elements more: A survey of finite Rees index

abstract: This paper makes a comprehensive survey of results relating to finite Rees index for semigroups. In particular, we survey of the state of knowledge on whether various finiteness properties (such as finite generation, finite presentability, automaticity, and hopficity) are inherited by finite Rees index subsemigroups and extensions. We survey other properties that are invariant under passing to finite Rees index subsemigroups and extensions, such as the cofinality and number of ends. We prove some new results: inheritance of word-hyperbolicity by finite Rees index subsemigroups, and inheritance of (geometric) hyperbolicity by finite Rees index extensions and subsemigroups within the class of monoids of finite geometric type. We also give some improved counterexamples. All the results are summarized in a table.


title: Uniqueness of charged static asymptotically flat black holes in dynamical Chern-Simons gravity

abstract: Making use of the conformal positive energy theorem we prove the uniqueness of four-dimensional static electrically charged black holes being the solution of Chern-Simons dynamical gravity equations of motion. We assume that black hole spacetime contains an asymptotically flat spacelike hypersurface with compact interior and non-degenerate components of the event horizon.


title: Liability-driven investment in longevity risk management

abstract: This paper studies optimal investment from the point of view of an investor with longevity-linked liabilities. The relevant optimization problems rarely are analytically tractable, but we are able to show numerically that liability driven investment can significantly outperform common strategies that do not take the liabilities into account. In problems without liabilities the advantage disappears, which suggests that the superiority of the proposed strategies is indeed based on connections between liabilities and asset returns.


title: A Characterization of the Natural Embedding of the Split Cayley Hexagon in PG(6,q) by Intersection Numbers in Finite Projective Spaces of Arbitrary Dimension

abstract: We prove that a non-empty set L of at most q^5+q^4+q^3+q^2+q+1 lines of PG(n, q) with the properties that (1) every point of PG(n,q) is incident with either 0 or q+1 elements of L, (2) every plane plane of PG(n, q) is incident with either 0, 1 or q+1 elements of L, (3) every solid of PG(n, q) is incident with either 0, 1, q+1 or 2q+1 elements of L, and (4) every 4-dimensional subspace of PG(n, q) is incident with at most q^3-q^2+4q elements of L, is necessarily the set of lines of a split Cayley hexagon H(q) naturally embedded in PG(6, q).


title: Maximum likelihood evidence for Neandertal admixture in Eurasian populations from three genomes

abstract: Although there has been much interest in estimating divergence and admixture from genomic data, it has proven difficult to distinguish gene flow after divergence from alternative histories involving structure in the ancestral population. The lack of a formal test to distinguish these scenarios has sparked recent controversy about the possibility of interbreeding between Neandertals and modern humans in Eurasia. We derive the probability of mutational configurations in non-recombining sequence blocks under alternative histories of divergence with admixture and ancestral structure. Dividing the genome into short blocks makes it possible to compute maximum likelihood estimates of parameters under both models. We apply this method to triplets of human Neandertal genomes and quantify the relative support for models of long-term population structure in the ancestral African popuation and admixture from Neandertals into Eurasian populations after their expansion out of Africa. Our analysis allows us -- for the first time -- to formally reject a history of ancestral population structure and instead reveals strong support for admixture from Neandertals into Eurasian populations at a higher rate (3.4%-7.9%) than suggested previously.


title: Parity dependent Josephson current through a helical Luttinger liquid

abstract: We consider a superconductor-two dimensional topological insulator- superconductor junction (S-2DTI-S) and study how the 2{\pi}- and 4{\pi}-periodic Josephson currents are affected by the electron-electron interaction. In the long-junction limit the supercurrent can by evaluated by modeling the system as a helical Luttinger liquid coupled to superconducting reservoirs. After having introduced bosonization in the presence of the parity constraint we turn to consider the limit of perfect and poor interfaces. For transparent interfaces, where perfect Andreev reflections occur at the boundaries, the Josephson current is marginally affected by the interaction. On the contrary, if strong magnetic scatterers are present in the weak link, the situation changes dramatically. Here Coulomb interaction plays a crucial role both in low and high temperature regimes. Furthermore, a phase-shift of Josephson current can be induced by changing the direction of the magnetization of the impurity.


title: Top quark precision physics at the International Linear Collider

abstract: Top quark production in the process $e^+e^- \rightarrow t\bar{t}$ at a future linear electron positron collider with polarized beams is a powerful tool to determine the scale of new physics. Studies at the $\ttbar$ threshold will allow for precise determination of the top quark mass in a well defined theoretical framework. At higher energies vector, axial vector and tensorial CP conserving couplings can be separately determined for the photon and the $Z^0$ component in the electro-weak production process. The sensitivity to new physics would be dramatically improved w.r.t. to what expected from LHC for electroweak couplings.


title: Limits on the space-time variations of fundamental constants

abstract: We report on new tests that improve our previous (2009-2010) estimates of the electron-to-proton mass ratio variation, mu = m_e/m_p. Subsequent observations (2011-2013) at the Effelsberg 100-m telescope of a sample of eight molecular cores from the Milky Way disk reveal systematic errors in the measured sky frequencies varying with an amplitude +/-0.01 km/s during the exposure time. The averaged offset between the radial velocities of the NH3(1,1), HC3N(2-1), HC5N(9-8), HC7N(16-15), HC7N(21-20), and HC7N(23-22) transitions gives Delta V = 0.002 +/- 0.015 km/s [3 sigma confidence level (C.L.)]. This value, when interpreted in terms of Delta mu/mu = (mu_obs - mu_lab)/mu_lab constraints the mu-variation at the level of Delta mu/mu < 2x10^{-8} (3 sigma C.L.), which is the most stringent limit on the fractional changes in mu based on radio astronomical observations.


title: The influence of ultrafast temporal energy regulation on the morphology of Si surfaces through femtosecond double pulse laser irradiation

abstract: The effect of ultrashort laser-induced morphological changes upon irradiation of silicon with double pulse sequences is investigated under conditions that lead to mass removal. The temporal delay between twelve double and equal-energy pulses (Ep=0.24J/cm2 each, with pulse duration tp=430fs, 800nm laser wavelength) was varied between 0 and 14ps and a decrease of the damaged area, crater depth size and periodicity of the induced subwavelength ripples (by 3-4%) was observed with increasing pulse delay. The proposed underlying mechanism is based on the combination of carrier excitation and energy thermalization and capillary wave solidification and aims to provide an alternative explanation to the control of ripple periodicity by temporal pulse tailoring. This work demonstrates the potential of pulse shaping technology to improve nano/micro processing.


title: Helly-Type Theorems in Property Testing

abstract: Helly's theorem is a fundamental result in discrete geometry, describing the ways in which convex sets intersect with each other. If $S$ is a set of $n$ points in $R^d$, we say that $S$ is $(k,G)$-clusterable if it can be partitioned into $k$ clusters (subsets) such that each cluster can be contained in a translated copy of a geometric object $G$. In this paper, as an application of Helly's theorem, by taking a constant size sample from $S$, we present a testing algorithm for $(k,G)$-clustering, i.e., to distinguish between two cases: when $S$ is $(k,G)$-clusterable, and when it is $\epsilon$-far from being $(k,G)$-clusterable. A set $S$ is $\epsilon$-far $(0<\epsilon\leq1)$ from being $(k,G)$-clusterable if at least $\epsilon n$ points need to be removed from $S$ to make it $(k,G)$-clusterable. We solve this problem for $k=1$ and when $G$ is a symmetric convex object. For $k>1$, we solve a weaker version of this problem. Finally, as an application of our testing result, in clustering with outliers, we show that one can find the approximate clusters by querying a constant size sample, with high probability.


title: Introducing Access Control in Webdamlog

abstract: We survey recent work on the specification of an access control mechanism in a collaborative environment. The work is presented in the context of the WebdamLog language, an extension of datalog to a distributed context. We discuss a fine-grained access control mechanism for intentional data based on provenance as well as a control mechanism for delegation, i.e., for deploying rules at remote peers.


title: Applying least absolute deviation regression to regression-type estimation of the index of a stable distribution using the characteristic function

abstract: Least absolute deviation regression is applied using a fixed number of points for all values of the index to estimate the index and scale parameter of the stable distribution using regression methods based on the empirical characteristic function. The recognized fixed number of points estimation procedure uses ten points in the interval zero to one, and least squares estimation. It is shown that using the more robust least absolute regression based on iteratively re-weighted least squares outperforms the least squares procedure with respect to bias and also mean square error in smaller samples.


title: A Fractional Generalization of the Poisson Processes and Some of its Properties

abstract: We have provided a fractional generalization of the Poisson renewal processes by replacing the first time derivative in the relaxation equation of the survival probability by a fractional derivative of order $\alpha ~(0 < \alpha \leq 1)$. A generalized Laplacian model associated with the Mittag-Leffler distribution is examined. We also discuss some properties of this new model and its relevance to time series. Distribution of gliding sums, regression behaviors and sample path properties are studied. Finally we introduce the $q$-Mittag-Leffler process associated with the $q$-Mittag-Leffler distribution.


title: Discrete exact and quasi-resonances of Rossby/drift waves on $\b$-plane with periodic boundary conditions

abstract: Analysis of resonance clustering in weakly nonlinear dispersive wave systems, also called discrete wave turbulent systems, is a new methodology successfully used in the last years for characterizing energy transport due to exact and quasi-resonances. Quite recently this methodology has been used in the paper by M. D. Bustamante, U. Hayat "Complete classification of discrete resonant Rossby/drift wave triads on periodic domains", \cite{BH13}, in order to show that resonance clustering is very sparse and quasi-resonances (that is, resonances with small enough detuning) play major role in the energy transport in this specific wave system. On the other hand, in the paper by M. Yamada, T. Yoneda "Resonant interaction of Rossby waves in two-dimensional flow on $\beta$-plane", \cite{YaYo13}, the same physical system is studied and a mathematically rigorous theorem is proven: at high $\b$, the flow dynamics is governed exclusively by resonant interactions. In our present paper we demonstrate that this seeming contradiction between numerical results \cite{BH13} and analytical results \cite{YaYo13} are due to some pitfalls in numerical studies of exact and quasi-resonances presented in \cite{BH13}. We also demonstrate that resonance clustering of drift waves on periodic $\b$-plane differs substantially from characteristic resonance clustering in other 3-wave systems: instead of a usual set of isolated triads and a few bigger clusters, there exists \emph{no isolated triads} in this case. Resonant triads are interconnected in a complicated way and the smallest cluster consists of 6 connected triads.


title: Detecting Local Deflection Patterns of Ultra-high Energy Cosmic Rays using the Principal Axes of the Directional Energy Distribution

abstract: From deflections in galactic and extragalactic magnetic fields energy dependent structures in the arrival directions of ultra-high energy cosmic rays (UHECR) are expected. We propose to characterize these structures by the strength of collimation of energy along the principal axes in selected regions in the sky. While the strength of collimation are indicators of anisotropy in the arrival distribution of UHECR, the orientation of the principal system holds information about the direction of the deflections of UHECR. We discuss the method and present expected limits on the strength of deflection and density of sources using simulated scenarios of UHECR proton propagation.


title: Absorption properties of identical atoms

abstract: Emission rates and other optical properties of multiparticle systems in collective and entangled states differ from those in product ones. We show the existence of similar effects in the absorption probabilities for (anti)symmetrized states of two identical atoms. The effects strongly depend on the overlapping between the atoms and differ for bosons and fermions. We propose a viable experimental verification of these ideas.


title: Determination of the iron content of Cepheids from the shape of their light curves

abstract: We present the study of the metallicity dependence of the Fourier amplitude ratios R_21 and R_31 for the light curves of short-period Galactic classical Cepheids in B, V, R_C and I_C bands. Based on the available photometric and spectroscopic data we determined the relations between the atmospheric iron abundance, [Fe/H], and the Fourier parameters. Using these relations we calculated the photometric [Fe/H] values of all program Cepheids with an average accuracy of 0.15 dex. No spectroscopic iron abundance was known before for 14 of these stars. These empirical results provide an alternate method to determine the iron abundance of classical Cepheids too faint for spectroscopic observations. We also checked whether the metal-poor Cepheids of both Magellanic Clouds follow the same relationships, and a good agreement was found.