title: Software model refactoring based on performance analysis: better working on software or performance side?

abstract: Several approaches have been introduced in the last few years to tackle the problem of interpreting model-based performance analysis results and translating them into architectural feedback. Typically the interpretation can take place by browsing either the software model or the performance model. In this paper, we compare two approaches that we have recently introduced for this goal: one based on the detection and solution of performance antipatterns, and another one based on bidirectional model transformations between software and performance models. We apply both approaches to the same example in order to illustrate the differences in the obtained performance results. Thereafter, we raise the level of abstraction and we discuss the pros and cons of working on the software side and on the performance side.


title: Validity of Hydrostatic Equilibrium in Galaxy Clusters from Cosmological Hydrodynamical Simulations

abstract: We examine the validity of the hydrostatic equilibrium (HSE) assumption for galaxy clusters using one of the highest-resolution cosmological hydrodynamical simulations. We define and evaluate several effective mass terms corresponding to the Euler equations of the gas dynamics, and quantify the degree of the validity of HSE in terms of the mass estimate. We find that the mass estimated under the HSE assumption (the HSE mass) deviates from the true mass by up to ~ 30 %. This level of departure from HSE is consistent with the previous claims, but our physical interpretation is rather different. We demonstrate that the inertial term in the Euler equations makes a negligible contribution to the total mass, and the overall gravity of the cluster is balanced by the thermal gas pressure gradient and the gas acceleration term. Indeed the deviation from the HSE mass is well explained by the acceleration term at almost all radii. We also clarify the confusion of previous work due to the inappropriate application of the Jeans equations in considering the validity of HSE from the gas dynamics extracted from cosmological hydrodynamical simulations.


title: Towards a Formal Framework for Mobile, Service-Oriented Sensor-Actuator Networks

abstract: Service-oriented sensor-actuator networks (SOSANETs) are deployed in health-critical applications like patient monitoring and have to fulfill strong safety requirements. However, a framework for the rigorous formal modeling and analysis of SOSANETs does not exist. In particular, there is currently no support for the verification of correct network behavior after node failure or loss/addition of communication links. To overcome this problem, we propose a formal framework for SOSANETs. The main idea is to base our framework on the \pi-calculus, a formally defined, compositional and well-established formalism. We choose KLAIM, an existing formal language based on the \pi-calculus as the foundation for our framework. With that, we are able to formally model SOSANETs with possible topology changes and network failures. This provides the basis for our future work on prediction, analysis and verification of the network behavior of these systems. Furthermore, we illustrate the real-life applicability of this approach by modeling and extending a use case scenario from the medical domain.


title: Assembling the Proofs of Ordered Model Transformations

abstract: In model-driven development, an ordered model transformation is a nested set of transformations between source and target classes, in which each transformation is governed by its own pre and post- conditions, but structurally dependent on its parent. Following the proofs-as-model-transformations approach, in this paper we consider a formalisation in Constructive Type Theory of the concepts of model and model transformation, and show how the correctness proofs of potentially large ordered model transformations can be systematically assembled from the proofs of the specifications of their parts, making them easier to derive.


title: Towards a Framework for Behavioral Specifications of OSGi Components

abstract: We present work on behavioral specifications of OSGi components. Our behavioral specifications are based on finite automata like formalisms. Behavioral specifications can be used to find appropriate components to interact with, detect incompatibilities between communication protocols of components and potential problems resulting from the interplay of non-deterministic component specifications. These operations can be carried out during development and at runtime of a system. Furthermore, we describe work carried out using the Eclipse based implementation of our framework.


title: Quantum graph spectra of a graphyne structure

abstract: We study the dispersion relations and spectra of invariant Schr\"odinger operators on a graphyne structure (lithographite). In particular, description of different parts of the spectrum, band-gap structure, and Dirac points are provided.


title: Online Deliberation Design: Choices, Criteria, and Evidence

abstract: This chapter reviews empirical evidence bearing on the design of online forums for deliberative civic engagement. Dimensions of design are defined for different aspects of the deliberation: its purpose, the target population, the spatiotemporal distance separating participants, the communication medium, and the deliberative process to be followed. After a brief overview of criteria for evaluating different design options, empirical findings are organized around design choices. Research has evolved away from treating technology for online deliberation dichotomously (either present or not) toward nuanced findings that differentiate between technological features, ways of using them, and cultural settings. The effectiveness of online deliberation depends on how well the communicative environment is matched to the deliberative task. Tradeoffs, e.g. between rich and lean media and between anonymous and identifiable participation, suggest different designs depending on the purpose and participants. Findings are limited by existing technologies, and may change as technologies and users co-evolve.


title: The WiggleZ Dark Energy Survey: measuring the cosmic growth rate with the two-point galaxy correlation function

abstract: The growth history of large-scale structure in the Universe is a powerful probe of the cosmological model, including the nature of dark energy. We study the growth rate of cosmic structure to redshift $z = 0.9$ using more than $162{,}000$ galaxy redshifts from the WiggleZ Dark Energy Survey. We divide the data into four redshift slices with effective redshifts $z = [0.2,0.4,0.6,0.76]$ and in each of the samples measure and model the 2-point galaxy correlation function in parallel and transverse directions to the line-of-sight. After simultaneously fitting for the galaxy bias factor we recover values for the cosmic growth rate which are consistent with our assumed $\Lambda$CDM input cosmological model, with an accuracy of around 20% in each redshift slice. We investigate the sensitivity of our results to the details of the assumed model and the range of physical scales fitted, making close comparison with a set of N-body simulations for calibration. Our measurements are consistent with an independent power-spectrum analysis of a similar dataset, demonstrating that the results are not driven by systematic errors. We determine the pairwise velocity dispersion of the sample in a non-parametric manner, showing that it systematically increases with decreasing redshift, and investigate the Alcock-Paczynski effects of changing the assumed fiducial model on the results. Our techniques should prove useful for current and future galaxy surveys mapping the growth rate of structure using the 2-dimensional correlation function.


title: A Semple Approach to Goursat: The Multi-Flag Case

abstract: In this note we summarize our results from earlier work with the Monster Tower (A Monster Tower Approach to Goursat Multi-Flags). In particular, we give an overview of the problem of classifying the orbits within a tower of fibrations with fibers diffeomorphic to projective planes. Included in this note is one new result that was not in our previous work.


title: Convergence Analysis of a Finite Difference Scheme for the Gradient Flow associated with the ROF Model

abstract: We present a convergence analysis of a finite difference scheme for the time dependent partial different equation called gradient flow associated with the Rudin-Osher-Fatemi model. We devise an iterative algorithm to compute the solution of the finite difference scheme and prove the convergence of the iterative algorithm. Finally computational experiments are shown to demonstrate the convergence of the finite difference scheme. An application for image denoising is given.


title: Basic Classes of Grammars with Prohibition

abstract: A practical tool for natural language modeling and development of human-machine interaction is developed in the context of formal grammars and languages. A new type of formal grammars, called grammars with prohibition, is introduced. Grammars with prohibition provide more powerful tools for natural language generation and better describe processes of language learning than the conventional formal grammars. Here we study relations between languages generated by different grammars with prohibition based on conventional types of formal grammars such as context-free or context sensitive grammars. Besides, we compare languages generated by different grammars with prohibition and languages generated by conventional formal grammars. In particular, it is demonstrated that they have essentially higher computational power and expressive possibilities in comparison with the conventional formal grammars. Thus, while conventional formal grammars are recursive and subrecursive algorithms, many classes of grammars with prohibition are superrecursive algorithms. Results presented in this work are aimed at the development of human-machine interaction, modeling natural languages, empowerment of programming languages, computer simulation, better software systems, and theory of recursion.


title: Synthesis of Topological Quantum Circuits

abstract: Topological quantum computing has recently proven itself to be a very powerful model when considering large- scale, fully error corrected quantum architectures. In addition to its robust nature under hardware errors, it is a software driven method of error corrected computation, with the hardware responsible for only creating a generic quantum resource (the topological lattice). Computation in this scheme is achieved by the geometric manipulation of holes (defects) within the lattice. Interactions between logical qubits (quantum gate operations) are implemented by using particular arrangements of the defects, such as braids and junctions. We demonstrate that junction-based topological quantum gates allow highly regular and structured implementation of large CNOT (controlled-not) gate networks, which ultimately form the basis of the error corrected primitives that must be used for an error corrected algorithm. We present a number of heuristics to optimise the area of the resulting structures and therefore the number of the required hardware resources.


title: On the world cognizability

abstract: The paper gives a few examples of the phenomena that will never be understood by the mankind. The first example is the physics at the scales of $\sim 10^{-33}$ cm where the gravitation interaction becomes strong, sales at the very beginning of the Big Bang. It argues that the mankind will never establish the laws that controls the events at these scales. Further, it is supposed that the time dependence of the entropy, which determine the direction of the time arrow, originates at the same time scale and, thus, the nature of the time arrow will be never established either. Finally, I conjecture that the brain cells are controlled by quantum computer with the very large (or even infinite) number of degenerate states. An external observation destroys this degeneracy, leading to impossibility to understand the mechanism of the conscience.


title: Electric field and photo-excited control of the carrier concentration in GdN

abstract: We present both electric-field and photo-excited control of the carrier concentration in GdN. There is no evidence in the results of a carrier-mediated contribution to the Gd-Gd exchange interaction that has been suggested to explain a measured Curie temperature that is much higher than obtained within theoretical treatments. Persistent carrier concentrations seen in both the field-effect and photo-induced conductivities point to a distribution of long-lived trap states below the conduction band, very likely centred at nitrogen vacancies


title: Finite-size effect in shot noise in hopping conduction

abstract: We study a current shot noise in a macroscopic insulator based on a two-dimensional electron system in GaAs in a variable range hopping (VRH) regime. At low temperature and in a sufficiently depleted sample a shot noise close to a full Poissonian value is measured. This suggests an observation of a finite-size effect in shot noise in the VRH conduction and demonstrates a possibility of accurate quasiparticle charge measurements in the insulating regime.


title: Unsupervised edge map scoring: a statistical complexity approach

abstract: We propose a new Statistical Complexity Measure (SCM) to qualify edge maps without Ground Truth (GT) knowledge. The measure is the product of two indices, an \emph{Equilibrium} index $\mathcal{E}$ obtained by projecting the edge map into a family of edge patterns, and an \emph{Entropy} index $\mathcal{H}$, defined as a function of the Kolmogorov Smirnov (KS) statistic. This new measure can be used for performance characterization which includes: (i)~the specific evaluation of an algorithm (intra-technique process) in order to identify its best parameters, and (ii)~the comparison of different algorithms (inter-technique process) in order to classify them according to their quality. Results made over images of the South Florida and Berkeley databases show that our approach significantly improves over Pratt's Figure of Merit (PFoM) which is the objective reference-based edge map evaluation standard, as it takes into account more features in its evaluation.


title: Hearts of twin cotorsion pairs on exact categories

abstract: In the papers of Nakaoka, he introduced the notion of hearts of (twin) cotorsion pairs on triangulated categories and showed that they have structures of (semi-) abelian categories. We study in this article a twin cotorsion pair (S,T),(U,V) on an exact category B with enough projectives and injectives and introduce a notion of the heart. First we show that its heart is preabelian. Moreover we show the heart of a single cotorsion pair is abelian. These results are analog of Nakaoka's results in triangulated categories. We also consider special cases where the heart has nicer structure. By our results, the heart of a special twin cotorsion pair (S,T),(T,V), is integral and almost abelian. Finally we show that the Gabriel-Zisman localisation of the heart at the class of regular morphisms is abelian, and moreover it is equivalent to the category of finitely presented modules over a stable subcategory of B.


title: The Heegaard distances cover all non-negative integers

abstract: In this paper, we prove that (1) For any integers $n\geq 1$ and $g\geq 2$, there is a closed 3-manifold $M_{g}^{n}$ which admits a distance $n$ Heegaard splitting of genus $g$ except that the pair of $(g, n)$ is $(2, 1)$. Furthermore, $M_{g}^{n}$ can be chosen to be hyperbolic except that the pair of $(g, n)$ is $(3, 1)$. (2) For any integers $g\geq 2$ and $n\geq 4$, there are infinitely many non-homeomorphic closed 3-manifolds admitting distance $n$ Heegaard splittings of genus $g$.


title: Object Detection in Real Images

abstract: Object detection and recognition are important problems in computer vision. Since these problems are meta-heuristic, despite a lot of research, practically usable, intelligent, real-time, and dynamic object detection/recognition methods are still unavailable. We propose a new object detection/recognition method, which improves over the existing methods in every stage of the object detection/recognition process. In addition to the usual features, we propose to use geometric shapes, like linear cues, ellipses and quadrangles, as additional features. The full potential of geometric cues is exploited by using them to extract other features in a robust, computationally efficient, and less meta-heuristic manner. We also propose a new hierarchical codebook, which provides good generalization and discriminative properties. The codebook enables fast multi-path inference mechanisms based on propagation of conditional likelihoods, that make it robust to occlusion and noise. It has the capability of dynamic learning. We also propose a new learning method that has generative and discriminative learning capabilities, does not need large and fully supervised training dataset, and is capable of online learning. The preliminary work of detecting geometric shapes in real images has been completed. This preliminary work is the focus of this report. Future path for realizing the proposed object detection/recognition method is also discussed in brief.


title: Driving Perpendicular Heat Flow: Ambipolar Transverse Thermoelectrics for Microscale and Cryogenic Peltier Cooling

abstract: Whereas thermoelectric performance is normally limited by the figure of merit ZT, transverse thermoelectrics can achieve arbitrarily large temperature differences in a single leg even with inferior ZT by being geometrically tapered. We introduce a band-engineered transverse thermoelectric with p-type Seebeck in one direction and n-type orthogonal, resulting in off-diagonal terms that drive heat flow transverse to electrical current. Such materials are advantageous for microscale devices and cryogenic temperatures -- exactly the regimes where standard longitudinal thermoelectrics fail. InAs/GaSb type II superlattices are shown to have the appropriate band structure for use as a transverse thermoelectric.


title: A non-self-adjoint Lebesgue decomposition

abstract: We study the structure of bounded linear functionals on a class of non-self-adjoint operator algebras that includes the multiplier algebra of every complete Nevanlinna-Pick space, and in particular the multiplier algebra of the Drury-Arveson space. Our main result is a Lebesgue decomposition expressing every linear functional as the sum of an absolutely continuous (i.e. weak-* continuous) linear functional, and a singular linear functional that is far from being absolutely continuous. This is a non-self-adjoint analogue of Takesaki's decomposition theorem for linear functionals on von Neumann algebras. We apply our decomposition theorem to prove that the predual of every algebra in this class is (strongly) unique.


title: The CORE Storage Primitive: Cross-Object Redundancy for Efficient Data Repair & Access in Erasure Coded Storage

abstract: Erasure codes are an integral part of many distributed storage systems aimed at Big Data, since they provide high fault-tolerance for low overheads. However, traditional erasure codes are inefficient on reading stored data in degraded environments (when nodes might be unavailable), and on replenishing lost data (vital for long term resilience). Consequently, novel codes optimized to cope with distributed storage system nuances are vigorously being researched. In this paper, we take an engineering alternative, exploring the use of simple and mature techniques -juxtaposing a standard erasure code with RAID-4 like parity. We carry out an analytical study to determine the efficacy of this approach over traditional as well as some novel codes. We build upon this study to design CORE, a general storage primitive that we integrate into HDFS. We benchmark this implementation in a proprietary cluster and in EC2. Our experiments show that compared to traditional erasure codes, CORE uses 50% less bandwidth and is up to 75% faster while recovering a single failed node, while the gains are respectively 15% and 60% for double node failures.


title: Global Asymptotics of Stieltjes-Wigert Polynomials

abstract: Asymptotic formulas are derived for the Stieltjes-Wigert polynomials $S_n(z;q)$ in the complex plane as the degree $n$ grows to infinity. One formula holds in any disc centered at the origin, and the other holds outside any smaller disc centered at the origin; the two regions together cover the whole plane. In each region, the $q$-Airy function $A_q(z)$ is used as the approximant. For real $x> 1/4$, a limiting relation is also established between the $q$-Airy function $A_q(x)$ and the ordinary Airy function $\mathrm{Ai}(x)$ as $q \to 1$.


title: On log canonical rings

abstract: We discuss the relationship among various conjectures in the minimal model theory including the finite generation conjecture of the log canonical rings and the abundance conjecture. In particular, we show that the finite generation conjecture of the log canonical rings for log canonical pairs can be reduced to that of the log canonical rings for purely log terminal pairs of log general type.


title: Strategic Advantage in Web Tourism Promotion: An e-Commerce Strategy for Developing Countries

abstract: This research informs the means to develop an e-commerce strategy for web based tourism promotion of hotels located in developing countries. The study explored the aspects related to the use of information systems in web based tourism promotion, along with a focus on the organizational factors affecting the use of e-commerce strategy. Interviews were conducted with the managers of selected five sample hotels located in Sri Lanka. A structured web content analysis was undertaken for all five sample hotels to trace process level data on the e-commerce web content. Specific aspects of web content analysis include interactivity, trust, information and value adding features. Instrument for web content analysis was developed by the researcher. The outcome of research produces an outline for developing an e-commerce strategy for hotels located in developing countries to achieve strategic advantages in web based tourism promotion.


title: Critical Success Factors for Positive User Experience in Hotel Websites: Applying Herzberg's Two Factor Theory for User Experience Modeling

abstract: This research presents the development of a critical success factor matrix for increasing positive user experience of hotel websites based upon user ratings. Firstly, a number of critical success factors for web usability have been identified through the initial literature review. Secondly, hotel websites were surveyed in terms of critical success factors identified through the literature review. Thirdly, Herzberg's motivation theory has been applied to the user rating and the critical success factors were categorized into two areas. Finally, the critical success factor matrix has been developed using the two main sets of data.


title: Stellar theory for flag complexes

abstract: Refining a basic result of Alexander, we show that two flag simplicial complexes are piecewise linearly homeomorphic if and only if they can be connected by a sequence of flag complexes, each obtained from the previous one by either an edge subdivision or its inverse. For flag spheres we pose new conjectures on their combinatorial structure forced by their face numbers, analogous to the extremal examples in the upper and lower bound theorems for simplicial spheres. Furthermore, we show that our algorithm to test the conjectures searches through the entire space of flag PL spheres of any given dimension.


title: Implications for Improving Accessibility to E-Commerce Websites in Developing Countries: A Subjective Study of Sri Lankan Hotel Websites

abstract: This research explores the accessibility issues with regard to the e-commerce websites in developing countries, through a subjective study of Sri Lankan hotel websites. A web survey and a web content analysis were conducted as the methods to elicit data on web accessibility. Factors preventing accessibility were hypothesized as an initial experiment. Hazardous design elements are identified through web content analysis, the results of which are utilized to develop specific implications for improving web accessibility. The hypothesis tests show that there is no significant correlation between accessibility and geographical or economic factors. However, physical impairments of users have a considerable influence on the accessibility. Especially, visual and mobility impaired users experience poor accessibility. Poor readability and less navigable page designs are two observable issues, which pose threats to accessibility. The lack of conformance to W3C accessibility guidelines and the poor design process are the specific shortcomings which reduce the overall accessibility. Guidelines aim to improve the accessibility of sites with a strategic focus. Further enhancements are suggested with adherence to principles and user centered design and developing customizable web portals compatible for connections with differing speeds. A need for developing new design models for differencing user groups and implementing web accessibility strategy are emphasized as vital steps towards effective information dissemination via e-commerce websites in the developing countries.


title: A Virtual World Model to Enhance Tourism Destination Accessibility in Developing Countries

abstract: The problem of destination accessibility is a vital concern in the sustainable tourism development in the emerging regions due to the increasing numbers of tourism business growth in the recent times. Tourism is one of the potential foreign exchange earning sectors, which place sustainability as one of the main success metrics for benchmarking the industry's overall development. On the other hand, there are several destinations, which are inaccessible to tourists due to several reasons. Underutilization of potential destinations in both pre purchase and consumption stages is a strategic disadvantage for emerging countries on leading their tourism industry towards sustainability. A virtual world model to increase the destination accessibility of tourism products has been proposed. The model has to be designed with visual and auditory experience to tourists. The model is expected to enhance the accessibility of destinations for users of different categories. Elderly users, users with panic disorders, users with mobility impairments also will be able to enjoy traveling experience just same as other, through the proposed model.


title: A Proposal To Support Wellbeing in People With Borderline Personality Disorder: Applying Reminiscent Theory in a Mobile App

abstract: In this paper the research draws upon reminiscence therapy, which is used in treating dementia, as an applied theory to promote well being in people who experience low moods. The application proposed here aims to promote wellbeing for people suffering from mood disorders and dementia but could potentially be used to enhance wellbeing for many types of users. Use of the application is anticipated to improve mood in a group of users where severe emotional problems are prevalent. The research aims to evaluate the effectiveness of a reminiscence based application in promoting well being in people specifically with Borderline Personality Disorder (BPD). The long term objective of this research is to establish the effectiveness of reminiscence theory on user groups aside from dementia, particularly other mental illnesses. The research advocates involving end users within the design process both to inform and evaluate the development of a mobile and tablet application.


title: Spectral modelling of massive binary systems

abstract: Aims: We simulate the spectra of massive binaries at different phases of the orbital cycle, accounting for the gravitational influence of the companion star on the shape and physical properties of the stellar surface. Methods: We used the Roche potential modified to account for radiation pressure to compute the stellar surface of close circular systems and we used the TIDES code for surface computation of eccentric systems. In both cases, we accounted for gravity darkening and mutual heating generated by irradiation to compute the surface temperature. We then interpolated NLTE plane-parallel atmosphere model spectra in a grid to obtain the local spectrum at each surface point. We finally summed all contributions, accounting for the Doppler shift, limb-darkening, and visibility to obtain the total synthetic spectrum. We computed different orbital phases and sets of physical and orbital parameters. Results: Our models predict line strength variations through the orbital cycle, but fail to completely reproduce the Struve-Sahade effect. Including radiation pressure allows us to reproduce a surface temperature distribution that is consistent with observations of semi-detached binary systems. Conclusions: Radiation pressure effects on the stellar surface are weak in (over)contact binaries and well-detached systems but can become very significant in semi-detached systems. The classical von Zeipel theorem is sufficient for the spectral computation. Broad-band light curves derived from the spectral computation are different from those computed with a model in which the stellar surfaces are equipotentials of the Roche potential scaled by the instantaneous orbital separation. In many cases, the fit of two Gaussian/Lorentzian profiles fails to properly measure the equivalent width of the lines and leads to apparent variations that could explain some of the effects reported in the literature.


title: Estimation of integrated covariances in the simultaneous presence of nonsynchronicity, microstructure noise and jumps

abstract: We propose a new estimator for the integrated covariance of two Ito semimartingales observed at a high-frequency. This new estimator, which we call the pre-averaged truncated Hayashi-Yoshida estimator, enables us to separate the sum of the co-jumps from the total quadratic covariation even in the case that the sampling schemes of two processes are nonsynchronous and the observation data is polluted by some noise. It is the first estimator which can simultaneously handle these three issues, which are fundamental to empirical studies of high-frequency financial data. We also show the asymptotic mixed normality of this estimator under some mild conditions allowing infinite activity jump processes with finite variations, some dependency between the sampling times and the observed processes as well as a kind of endogenous observation errors. We examine the finite sample performance of this estimator using a Monte Carlo study.


title: Vector magnetic field sensing by single nitrogen vacancy center in diamond

abstract: In this Letter, we proposed and experimentally demonstrated a method to detect vector magnetic field with a single nitrogen vacancy (NV) center in diamond. The magnetic field in parallel with the axis of the NV center can be obtained by detecting the electron Zeeman shift, while the Larmor precession of an ancillary nuclear spin close to the NV center can be used to measure the field perpendicular to the axis. Experimentally, both the Zeeman shift and Larmor precession can be measured through the fluorescence from the NV center. By applying additional calibrated magnetic fields, complete information of the vector magnetic field can be achieved with such a method. This vector magnetic field detection method is insensitive to temperature fluctuation and it can be applied to nanoscale magnetic measurement.


title: Cellularity of the lowest two-sided ideal of an affine Hecke algebra

abstract: In this paper we show that the lowest two-sided ideal of an affine Hecke algebra is affine cellular for all choices of parameters. We explicitely describe the cellular basis and we show that the basis elements have a nice decomposition when expressed in the Kazhdan-Lusztig basis. In type $A$ we provide a combinatorial description of this decomposition in term of number of paths.


title: The exponential family in abstract information theory

abstract: We introduce generalized notions of a divergence function and a Fisher information matrix. We propose to generalize the notion of an exponential family of models by reformulating it in terms of the Fisher information matrix. Our methods are those of information geometry. The context is general enough to include applications from outside statistics.


title: Lookahead Strategies for Sequential Monte Carlo

abstract: Based on the principles of importance sampling and resampling, sequential Monte Carlo (SMC) encompasses a large set of powerful techniques dealing with complex stochastic dynamic systems. Many of these systems possess strong memory, with which future information can help sharpen the inference about the current state. By providing theoretical justification of several existing algorithms and introducing several new ones, we study systematically how to construct efficient SMC algorithms to take advantage of the "future" information without creating a substantially high computational burden. The main idea is to allow for lookahead in the Monte Carlo process so that future information can be utilized in weighting and generating Monte Carlo samples, or resampling from samples of the current state.


title: Electrical conductivity measured in atomic carbon chains

abstract: The first electrical conductivity measurements of monoatomic carbon chains are reported in this study. The chains were obtained by unraveling carbon atoms from graphene ribbons while an electrical current flowed through the ribbon and, successively, through the chain. The formation of the chains was accompanied by a characteristic drop in the electrical conductivity. The conductivity of carbon chains was much lower than previously predicted for ideal chains. First-principles calculations using both density functional and many-body perturbation theory show that strain in the chains determines the conductivity in a decisive way. Indeed, carbon chains are always under varying non-zero strain that transforms its atomic structure from cumulene to polyyne configuration, thus inducing a tunable band gap. The modified electronic structure and the characteristics of the contact to the graphitic periphery explain the low conductivity of the locally constrained carbon chain.


title: Gamma Ray Cherenkov-Transition Radiation

abstract: The production of gamma-ray Cherenkov-transition radiation (GCTR) by charged particles in the photon energy region 0.8 - 2 MeV is studied theoretically using the results of the recent discovery that in the above mentioned region the dielectric constant or the refraction index of some materials is greater than 1 due to Delbruck scattering on Coulomb field of nuclei. Using the results of the carried out numerical calculations, the possibility of observing GCTR and some of its applications are discussed.


title: The Herschel PEP/HerMES Luminosity Function. I: Probing the Evolution of PACS selected Galaxies to z~4

abstract: We exploit the deep and extended far infrared data sets (at 70, 100 and 160 um) of the Herschel GTO PACS Evolutionary Probe (PEP) Survey, in combination with the HERschel Multi tiered Extragalactic Survey (HerMES) data at 250, 350 and 500 um, to derive the evolution of the restframe 35 um, 60 um, 90 um, and total infrared (IR) luminosity functions (LFs) up to z~4. We detect very strong luminosity evolution for the total IR LF combined with a density evolution. In agreement with previous findings, the IR luminosity density increases steeply to z~1, then flattens between z~1 and z~3 to decrease at z greater than 3. Galaxies with different SEDs, masses and sSFRs evolve in very different ways and this large and deep statistical sample is the first one allowing us to separately study the different evolutionary behaviours of the individual IR populations contributing to the IR luminosity density. Galaxies occupying the well established SFR/stellar mass main sequence (MS) are found to dominate both the total IR LF and luminosity density at all redshifts, with the contribution from off MS sources (0.6 dex above MS) being nearly constant (~20% of the total IR luminosity density) and showing no significant signs of increase with increasing z over the whole 0.8<z<2.2 range. Sources with mass in the 10< log(M/Msun) <11 range are found to dominate the total IR LF, with more massive galaxies prevailing at the bright end of the high-z LF. A two-fold evolutionary scheme for IR galaxies is envisaged: on the one hand, a starburst-dominated phase in which the SMBH grows and is obscured by dust, is followed by an AGN dominated phase, then evolving toward a local elliptical. On the other hand, moderately starforming galaxies containing a low-luminosity AGN have various properties suggesting they are good candidates for systems in a transition phase preceding the formation of steady spiral galaxies.


title: Sperner's Theorem and a Problem of Erdos-Katona-Kleitman

abstract: A central result in extremal set theory is the celebrated theorem of Sperner from 1928, which gives the size of the largest family of subsets of [n] not containing a 2-chain. Erdos extended this theorem to determine the largest family without a k-chain. Erdos and Katona, followed by Kleitman, asked how many chains must appear in families with sizes larger than the corresponding extremal bounds. In 1966, Kleitman resolved this question for 2-chains, showing that the number of such chains is minimized by taking sets as close to the middle level as possible. Moreover, he conjectured the extremal families were the same for k-chains, for all k. In this paper, making the first progress on this problem, we verify Kleitman's conjecture for the families whose size is at most the size of the $k+1$ middle levels. We also characterize all extremal configurations.


title: INTEGRAL & RXTE View of Gamma-ray Binaries

abstract: Gamma-ray binaries are X-ray binaries with gamma-ray emissions. Their multi-wavelength emissions range from radio, optical, X-ray and to very high energy (TeV). X-ray emissions are crucial to understand the nature of gamma-ray binaries. INTEGRAL and RXTE have covered and monitored most of the gamma-ray binaries in hard and soft X-rays. Here we report the results of several gamma-ray binaries and possible gamma-ray binaries from INTEGRAL and RXTE.


title: The geometry of Lie algebroids and its applications to optimal control

abstract: The paper presents the geometry of Lie algebroids and its applications to optimal control. The first part deals with the theory of Lie algebroids, connections on Lie algebroids and dynamical systems defined on Lie algebroids (mainly Lagrangian and Hamiltonian systems). In the second part we use the framework of Lie algebroids in the study of distributional systems (drift less control affine systems) with holonomic or nonholonomic distributions.


title: Accuracy of basis-set extrapolation schemes for DFT-RPA correlation energies in molecular calculations

abstract: We construct a reference benchmark set for atomic and molecular random-phase-approximation (RPA) correlation energies in a density functional theory (DFT) framework at the complete basis set limit. This set is used to evaluate the accuracy of some popular extrapolation schemes for RPA all-electron molecular calculations. The results indicate that for absolute energies accurate results, clearly outperforming raw data, are achievable with two-point extrapolation schemes based on quintuple- and sextuple-zeta basis sets. Moreover, we show that results in good agreement with the benchmark can also be also obtained by using a semiempirical extrapolation procedure based on quadruple- and quintuple-zeta basis sets. Finally, we analyze the performance of different extrapolation schemes for atomization energies.


title: Ray system in lasers, nonlinear arithmetic pyramid and nonlinear arithmetic triangles

abstract: The paper describes a system of rays declining at small angles in lasers. The correlation between a group of rays and binomial coefficients is shown. The correlation of distribution of rays in the system of numbers placed in a three-dimensional table, the nonlinear arithmetic pyramid is shown. Two types of nonlinear arithmetic triangles are considered. Various types of partitions of integers is described.


title: Development Of Ontology-Based Intelligent System For Software Testing

abstract: Software testing is a prime factor in software industry. Besides knowing the importance of testing, only limited time is allocated for teaching it. It will be more efficient if testing is taught simultaneously with programming foundations. This integrated learning of testing techniques and programming allows the programmers to perform in a better way and this leads to the improvement of the performance of the industry progress. In this paper, a technique named ontology is introduced, it first defines the various testing process in hierarchy and define relationships among them, to share and reuse the knowledge that is captured, secondly metadata is created by natural language processing and finally, the application use ontologies to support test management, it act as knowledge base for multiple environment with the integrated teaching of programming foundation and testing concepts. Keywords: Meta Data, Ontology, Software Testing, Integration, Programming Foundations.


title: Integral Calculus on Quantum Exterior Algebras

abstract: Hom-connections and associated integral forms have been introduced and studied by T.Brzezi\'nski as an adjoint version of the usual notion of a connection in non-commutative geometry. Given a flat hom-connection on a differential calculus $(\Omega, d)$ over an algebra $A$ yields the integral complex which for various algebras has been shown to be isomorphic to the noncommutative de Rham complex (in the sense of Brzezi\'nski et al.). In this paper we shed further light on the question when the integral and the de Rham complex are isomorphic for an algebra $A$ with a flat hom-connection. We specialise our study to the case where an $n$-dimensional differential calculus can be constructed on a quantum exterior algebra over an $A$-bimodule. Criteria are given for free bimodules with diagonal or upper triangular bimodule structure. Our results are illustrated for a differential calculus on a multivariate quantum polynomial algebra and for a differential calculus on Manin's quantum $n$-space.


title: Mixed neutron-star-plus-wormhole systems: Linear stability analysis

abstract: We consider configurations consisting of a neutron star with a wormhole at the core. The wormhole is held open by a ghost scalar field with a quartic coupling. The neutron matter is described by a perfect fluid with a polytropic equation of state. We obtain static regular solutions for these systems. A stability analysis, however, shows that they are unstable with respect to linear perturbations.


title: Optical Absorption in Twisted Bilayer Graphene

abstract: We theoretically study the optical absorption property of twisted bilayer graphenes with various stacking geometries, and demonstrate that the spectroscopic characteristics serve as a fingerprint to identify the rotation angle between two layers. We find that the absorption spectrum almost continuously evolves in changing the rotation angle, regardless of the lattice commensurability. The spectrum is characterized by series of peaks associated with the van Hove singularity, and the peak energies systematically shift with the rotation angle. We calculate the optical absorption in two different frameworks; the tight-binding model and the effective continuum model based on the Dirac equation. For small rotation angles less than $10^\circ$, the effective model well reproduces the low-energy band structure and the optical conductivity of the tight-binding model, and also explains the optical selection rule analytically in terms of the symmetry of the effective Hamiltonian.


title: Recent progress in staggered chiral perturbation theory

abstract: We present a review on recent progress in staggered chiral perturbation theory (SChPT). In the last decade, the scope of the application of SChPT has been extended beyond the level of calibration into the region of prediction with high precision. SChPT becomes an essential tool to do the data analysis reliably for physical observables calculated using improved staggered fermions. Here, we focus on the following examples: pion spectrum, pion decay constants, $\varepsilon_K$, and $\pi-\pi$ scattering amplitudes. In each subject, we review the recent progress and future prospects.


title: Bending instabilities of soft tissues

abstract: Rubber components and soft tissues are often subjected to large bending deformations "in service". The circumferential line elements on the inner face of a bent block can contract up to a certain critical stretch ratio lambda_cr (say) before bifurcation occurs and axial creases appear. For several models used to describe rubber, it is found that lambda_cr = 0.56, allowing for a 44% contraction. For models used to describe arteries it is found, somewhat surprisingly, that the strain-stiffening effect promotes instability. For example, the models used for the artery of a 70 year old human predict that lambda_cr = 0.73, allowing only for a 27% contraction. Tensile experiments conducted on pig skin indicate that bending instabilities should occur even earlier there.


title: Identification of Finite Dimensional L\'evy Systems in Financial Mathematics

abstract: L\'evy processes are widely used in financial mathematics to model return data. Price processes are then defined as a corresponding geometric L\'evy process, implying the fact that returns are independent. In this paper we propose an alternative class of models allowing to describe dependence between return data. Technically such an alternative model class is obtained by considering finite dimensional linear stochastic SISO systems driven by a L\'evy process. In this paper we consider a discrete-time version of this model, focusing on the problem of identifying the dynamics and the noise characteristics of such a so-called L\'evy system. The special feature of this problem is that the characteristic function (c.f.) of the driving noise is explicitly known, possibly up to a few unknown parameters. We develop and analyze a variety of novel identification methods by adapting the so-called empirical characteristic function method (ECF) originally devised for estimating parameters of c.f.-s from i.i.d. samples. Precise characterization of the errors of these estimators will be given, and their asymptotic covariance matrices will be obtained. Their potential to outperform the prediction error method in estimating the system parameters will also be demonstrated.


title: Unitary and symmetric units of a commutative group algebra

abstract: Let F be the field of two elements and G a finite abelian 2-group with an involutory automorphism. The extension of this automorphism to the group algebra FG is called an involutory involution. This determines the groups of unitary and symmetric normalized units of FG. We calculate the orders and the invariants of these subgroups.


title: On codimension-one $\mathbb A^1$-fibration with retraction

abstract: In this paper we prove some results on the sufficiency of codimension-one fibre conditions for a flat algebra with a retraction to be locally $\mathbb{A}^1$ or at least an $\mathbb{A}^1$-fibration.


title: Dynamical Lifshitz-type solutions and aging phenomena

abstract: We consider time-dependent Lifshitz-type solutions in type IIB supergravity. The solutions describe a time evolution from Lifshitz spacetimes to AdS spaces. We argue the holographic relation of them to aging phenomena in condensed matter physics. The solutions have no time-translation invariance and possess the dynamical scaling symmetry with z_c=2. In addition, the time evolution corresponds to slow (nonexponential) dynamics from nonequilibrium states to the equilibrium. We also discuss a mechanism of quantum quench to generate nonequilibrium states.


title: Study of gas contaminants and interaction with materials in RPC closed loop system

abstract: Resistive Plate Counters (RPC) detectors at the Large Hadron Collider (LHC) experiments use gas recirculation systems to cope with large gas mixture volumes and costs. In this paper a long-term systematic study about gas purifiers, gas contaminants and detector performance is discussed. The study aims at measuring the lifetime of purifiers with new and used cartridge material along with contaminants release in the gas system. During the data-taking the response of several RPC double-gap detectors was monitored in order to characterize the correlation between dark currents, filter status and gas contaminants.


title: Dobrushin ergodicity coefficient for Markov operators on cones, and beyond

abstract: The analysis of classical consensus algorithms relies on contraction properties of adjoints of Markov operators, with respect to Hilbert's projective metric or to a related family of seminorms (Hopf's oscillation or Hilbert's seminorm). We generalize these properties to abstract consensus operators over normal cones, which include the unital completely positive maps (Kraus operators) arising in quantum information theory. In particular, we show that the contraction rate of such operators, with respect to the Hopf oscillation seminorm, is given by an analogue of Dobrushin's ergodicity coefficient. We derive from this result a characterization of the contraction rate of a non-linear flow, with respect to Hopf's oscillation seminorm and to Hilbert's projective metric.


title: Influence of trap location on the efficiency of trapping in dendrimers and regular hyperbranched polymers

abstract: In this paper, we study the trapping problem in two representative polymer networks, Cayley trees and Vicsek fractals, which separately model dendrimers and regular hyperbranched polymers. Our goal is to explore the impact of trap location on the efficiency of trapping in these two important polymer systems, with the efficiency being measured by the average trapping time (ATT) that is the average of source-to-trap mean first-passage time over every staring point in the whole networks. For Cayley trees, we derive an exact analytic formula for the ATT to an arbitrary trap node, based on which we further obtain the explicit expression of ATT for the case that the trap is uniformly distributed. For Vicsek fractals, we provide the closed-form solution for ATT to a peripheral node farthest from the central node, as well as the numerical solutions for the case when the trap is placed on other nodes. Moreover, we derive the exact formula for the ATT corresponding to the trapping problem when the trap has an uniform distribution over all nodes. Our results show that the influence of trap location on the trapping efficiency is completely different for the two polymer networks. In Cayley trees, the leading scaling of ATT increases with the shortest distance between the trap and the central node, implying that trap's position has an essential impact on the trapping efficiency; while in Vicsek fractals, the effect of location of the trap is negligible, since the dominant behavior of ATT is identical, respective of the location where the trap is placed. We also present that for all cases of trapping problems being studied, the trapping process is more efficient in Cayley trees than in Vicsek fractals. We demonstrate that all differences related to trapping in the two polymer systems are rooted in their underlying topological structures.


title: Supersymmetry on Three-dimensional Lorentzian Curved Spaces and Black Hole Holography

abstract: We study N <= 2 superconformal and supersymmetric theories on Lorentzian threemanifolds with a view toward holographic applications, in particular to BPS black hole solutions. As in the Euclidean case, preserved supersymmetry for asymptotically locally AdS solutions implies the existence of a (charged) "conformal Killing spinor" on the boundary. We find that such spinors exist whenever there is a conformal Killing vector which is null or timelike. We match these results with expectations from supersymmetric four-dimensional asymptotically AdS black holes. In particular, BPS bulk solutions in global AdS are known to fall in two classes, depending on their graviphoton magnetic charge, and we reproduce this dichotomy from the boundary perspective. We finish by sketching a proposal to find the dual superconformal quantum mechanics on the horizon of the magnetic black holes.


title: Large zero-field cooled exchange-bias in bulk Mn2PtGa

abstract: We report a large exchange-bias (EB) effect after zero-field cooling the new tetragonal Heusler compound Mn2PtGa from the paramagnetic state. The first-principle calculation and the magnetic measurements reveal that Mn2PtGa orders ferrimagnetically with some ferromagnetic (FM) inclusions. We show that ferrimagnetic (FI) ordering is essential to isothermally induce the exchange anisotropy needed for the zero-field cooled (ZFC) EB during the virgin magnetization process. The complex magnetic behavior at low temperatures is characterized by the coexistence of a field induced irreversible magnetic behavior and a spin-glass-like phase. The field induced irreversibility originates from an unusual first-order FI to antiferromagnetic transition, whereas, the spin-glass like state forms due to the existence of anti-site disorder intrinsic to the material.


title: Kinematics and chemistry of the hot core in G20.08-0.14N

abstract: We present Submillimeter Array observations of the massive star-forming region G20.08-0.14N at 335 and 345 GHz. With the SMA data, 41 molecular transitions were detected related to 11 molecular species and their isotopologues, including SO2, SO, C34S, NS, C17O, SiO, CH3OH, HC3N, H13CO+, HCOOCH3 and NH2CHO. In G20.08-0.14N, 10 transition lines of the detected 41 transition lines belong to SO2, which dominates the appearance of the submillimeter-wave spectrum. To obtain the spatial kinematic distribution of molecules in G20.08-0.14N, we chose the strongest and unblended lines for the channel maps. The channel maps of C34S an SiO, together with their position-velocity diagrams, present that there are two accretion flows in G20.08-0.14N. Additionally, SiO emission shows a collimated outflow at the NE-SW direction. The direction of the outflow is for the first time revealed. The rotational temperature and the column density of CH3OH are 105 K and 3.1*10^{17} cm^{-2}, respectively. Our results confirm that a hot core is associated with G20.08-0.14N. The hot core is heated by a protostar radiation at it center, not by the external excitation from shocks. The images of the spatial distribution of different species have shown that the different molecules are located at the different positions of the hot core. Through comparing the spatial distributions and abundances of the molecules, we discuss possible chemical processes for producing the complex sulfur-bearing, nitrogen-bearing and oxygen-bearing molecules in G20.08-0.14N.


title: Fading entanglement near equilibrium state

abstract: It was recently shown that entanglement in quantum systems being in a non-equilibrium state can appear at much higher temperatures than in an equilibrium state. However, any system is subject to the natural relaxation process establishing equilibrium. The work deals with the numerical study of entanglement dynamics in a dipolar coupled spin-1/2 system under the transition from a non-equilibrium state to an equilibrium state. The spin system is characterized by a two-temperature density matrix, and the process of the establishment of equilibrium is in the equalization of these temperatures. The method of the non-equilibrium statistical operator is used to describe the evolution of the system. The process of establishing an equilibrium state in the homonuclear spin systems at low temperature was first considered. It was shown that the time dependences of the inverse temperatures of the spin subsystems are given by a solution of non-linear equations in contrast to the linear equations in the well-known high temperature approximation. It was first studied the entanglement dynamics during the equilibrium state establishment and found that, during establishing equilibrium, the concurrence changes non-monotonically with time and temperatures. Entanglement fades long before equilibrium is established in the system. It was shown that the entanglement dynamics depends strongly on the ratio of the Zeeman energy to the dipolar energy. At a high ratio, the concurrence in the system decreases quickly for time about 100 {\mu}s while, at a low ratio, establishment of equilibrium and fading entanglement take prolonged time up to 1 ms.


title: Quantum entanglement at negative temperature

abstract: An isolated spin system that is in internal thermodynamic equilibrium and that has an upper limit to its allowed energy states can possess a negative temperature. We calculate the thermodynamic characteristics and the concurrence in this system over the entire range of positive and negative temperatures. Our calculation was performed for different real structures, which can be used in experiments. It is found that the temperature dependence of the concurrence is substantially asymmetrical similarly other thermodynamic characteristics. At a negative temperature the maximum concurrence and the absolute temperature of the entanglement appearance are sufficiently larger than those at a positive temperature. The concurrence can be characterized by two dimensionless parameters: by the ratio between the Zeeman and dipolar energies and by the ratio of the thermal and dipolar energies. It was shown that for all considered structures the dimensionless temperatures of the transition between entanglement and separability of the first and second spins are independent of spin structure and number of spins.


title: On Quantifying Dependence: A Framework for Developing Interpretable Measures

abstract: We present a framework for selecting and developing measures of dependence when the goal is the quantification of a relationship between two variables, not simply the establishment of its existence. Much of the literature on dependence measures is focused, at least implicitly, on detection or revolves around the inclusion/exclusion of particular axioms and discussing which measures satisfy said axioms. In contrast, we start with only a few nonrestrictive guidelines focused on existence, range and interpretability, which provide a very open and flexible framework. For quantification, the most crucial is the notion of interpretability, whose foundation can be found in the work of Goodman and Kruskal [Measures of Association for Cross Classifications (1979) Springer], and whose importance can be seen in the popularity of tools such as the $R^2$ in linear regression. While Goodman and Kruskal focused on probabilistic interpretations for their measures, we demonstrate how more general measures of information can be used to achieve the same goal. To that end, we present a strategy for building dependence measures that is designed to allow practitioners to tailor measures to their needs. We demonstrate how many well-known measures fit in with our framework and conclude the paper by presenting two real data examples. Our first example explores U.S. income and education where we demonstrate how this methodology can help guide the selection and development of a dependence measure. Our second example examines measures of dependence for functional data, and illustrates them using data on geomagnetic storms.


title: Quadrupole transitions in the bound rotational-vibrational spectrum of the deuterium molecular ion

abstract: After the study of the three body molecular system H$_2^+$ ({\it J. Phys. B: At. Mol. Opt. Phys.} {\bf 45} 065101), its isotopomer, the deuterium molecular ion D$_2^+$ is studied. The three-body Schr\"odinger equation is solved using the Lagrange-mesh method in perimetric coordinates. Energies and wave functions for four vibrational states $v=0-3$ and bound or quasibound states for total orbital momenta from 0 to 56 are calculated. The 1986 fundamental constant $m_d=3670.483014\,m_e$ is used. The obtained energies have an accuracy from about 13 digits for the lowest vibrational state to at least 9 digits for the third vibrational excited state. Quadrupole transition probabilities per time unit between those states over the whole rotational bands were calculated. Extensive results are presented with six significant figures.


title: Predicting the Temporal Dynamics of Information Diffusion in Social Networks

abstract: Online social networks play a major role in the spread of information at very large scale and it becomes essential to provide means to analyse this phenomenon. In this paper we address the issue of predicting the temporal dynamics of the information diffusion process. We develop a graph-based approach built on the assumption that the macroscopic dynamics of the spreading process are explained by the topology of the network and the interactions that occur through it, between pairs of users, on the basis of properties at the microscopic level. We introduce a generic model, called T-BaSIC, and describe how to estimate its parameters from users behaviours using machine learning techniques. Contrary to classical approaches where the parameters are fixed in advance, T-BaSIC's parameters are functions depending of time, which permit to better approximate and adapt to the diffusion phenomenon observed in online social networks. Our proposal has been validated on real Twitter datasets. Experiments show that our approach is able to capture the particular patterns of diffusion depending of the studied sub-networks of users and topics. The results corroborate the "two-step" theory (1955) that states that information flows from media to a few "opinion leaders" who then transfer it to the mass population via social networks and show that it applies in the online context. This work also highlights interesting recommendations for future investigations.


title: On the toric ideal of a matroid

abstract: Describing minimal generating set of a toric ideal is a well-studied and difficult problem. In 1980 White conjectured that the toric ideal associated to a matroid is equal to the ideal generated by quadratic binomials corresponding to symmetric exchanges. We prove White's conjecture up to saturation, that is that the saturations of both ideals are equal. In the language of algebraic geometry this means that both ideals define the same projective scheme. Additionally we prove the full conjecture for strongly base orderable matroids.


title: Beno\^{i}t Mandelbrot and Fractional Brownian Motion

abstract: Although fractional Brownian motion was not invented by Benoit Mandelbrot, it was he who recognized the importance of this random process and gave it the name by which it is known today. This is a personal account of the history behind fractional Brownian motion and some subsequent developments.


title: Entanglement in two site Bose-Hubbard model

abstract: In this paper, we study the decoherence and entanglement properties for the two site Bose-Hubbard model in the presence of a non-linear damping. We apply the techniques of thermo field dynamics and then use Hartree-Fock approximation to solve the corresponding master equation. The expectation values of the approximated field operators appearing in the solution of master equation, are computed self-consistently. We solve this master equation for a small time $t$ so that we get the analytical solution, thereby we compute the decoherence and entanglement properties of the solution of the two-mode bosonic system.


title: Quantum discord for two-qubit CS states: Analytical solution

abstract: We found an universal local unitary (orthogonal) transformation which transforms any centrosymmetric (CS) density matrix \rho_{CS} into the X density matrix \rho_X: H\otimes H\rho_{CS}H\otimes H=\rho_X, where H is the Hadamard transformation. Because quantum discord is invariant under the local unitary transformations, this remarkable property allows to get the discord of general two-qubit CS states in the analytical form using the corresponding well-known formulas for the X states. Examples of systems with CS density matrices provided from the recent literature, including XXZ spin model with the Dzyaloshinsky-Moriya interaction, a gas of spin-carrying particles in closed nanopore, and a family of pseudopure states.


title: Activation cross-sections of longer lived products of deuteron induced nuclear reactions on ytterbium up to 40 MeV

abstract: In the frame of a systematic study of the activation cross-sections of the deuteron induced nuclear reactions, excitation functions of the natYb(d,xn)177,173,172mg,171mg,170,169Lu, natYb(d,x)175,169Yb and natYb(d,x)173,172,168,167,165Tm reactions are studied up to 40 MeV, a few of them for the first time. Cross-sections were measured with the activation method using a stacked foil irradiation technique and high resolution gamma-ray spectrometry. The experimental data are analyzed and compared to the results of the theoretical model codes ALICE-IPPE, EMPIRE-II and TALYS. From the measured cross-section data integral production yields were calculated. Applications of the new cross-sections are discussed.


title: Structure, stability and defects of single layer h-BN in comparison to graphene

abstract: We study by molecular dynamics the structural properties of single layer h-BN in comparison to graphene. We show that the Tersoff bond order potential developed for BN by Albe, Moller and Heinig gives a thermally stable hexagonal single layer with a bending constant kappa= 0.54 eV at T = 0. We find that the non-monotonic behaviour of the lattice parameter, the expansion of the interatomic distance and the growth of the bending rigidity with temperature are qualitatively similar to those of graphene. Conversely, the energetics of point defects is extremely different: instead of Stone Wales defects, the two lowest energy defects in h-BN involve either a broken bond or an out of plane displacement of a N atom to form a tetrahedron with three B atoms in the plane. We provide the formation energies and an estimate of the energy barriers.


title: Topological rf-SQUID with a frustrating pi-junction for probing the Majorana Bound State

abstract: Majorana Bound States are predicted to appear as boundary states of the Kitaev model. Here we show that a pi-Josephson Junction, inserted in a topologically non trivial model ring, sustains a Majorana Bound State, which is robust with respect to local and non local perturbations. The realistic structure could be based on a High Tc Superconductor tricrystal structure, similar to the one used to spot the d-wave order parameter. The presence of the Majorana Bound State changes the ground state of the topologically non trivial ring in a measurable way, with respect to that of a conventional one.


title: Tuning of the Rashba effect in Pb quantum well states via a variable Schottky barrier

abstract: Spin-orbit interaction (SOI) in low-dimensional systems results in the fascinating property of spin-momentum locking. In a Rashba system the inversion symmetry normal to the plane of a two-dimensional (2D) electron gas is broken, generating a Fermi surface spin texture reminiscent of spin vortices of different radii. This can be exploited in a spin-based field-effect transistor (spin- FET), where the Rashba system forms a 2D channel between ferromagnetic (FM) source and drain electrodes. The electron spin precesses when propagating through the Rashba channel and spin orientations (anti)parallel to the drain give (low) high conductivity. Crucial is the possibility to tune the momentum splitting, and consequently the precession angle, through an external parameter. Here we show that this can be achieved in Pb quantum well states through the doping dependence of the Schottky barrier, opening up the possibility of a terahertz spin-FET.


title: The Fermat-Torricelli Problem and Weiszfeld's Algorithm in the Light of Convex Analysis

abstract: In the early 17th century, Pierre de Fermat proposed the following problem: given three points in the plane, find a point such that the sum of its Euclidean distances to the three given points is minimal. This problem was solved by Evangelista Torricelli and was named the {\em Fermat-Torricelli problem}. A more general version of the Fermat-Torricelli problem asks for a point that minimizes the sum of the distances to a finite number of given points in $\Bbb R^n$. This is one of the main problems in location science. In this paper we revisit the Fermat-Torricelli problem from both theoretical and numerical viewpoints using some ingredients of convex analysis and optimization.


title: Positive definite hermitian mappings associated to tripotent elements

abstract: We give a simple proof of a meaningful result established by Y. Friedman and B. Russo in 1985, whose proof was originally based on strong holomorphic results. We provide a simple proof which is directly deduced from the axioms of JB*-triples with techniques of Functional Analysis.


title: Chiral symmetry and the Yang--Mills gradient flow

abstract: In the last few years, the Yang--Mills gradient flow was shown to be an attractive tool for non-perturbative studies of non-Abelian gauge theories. Here a simple extension of the flow to the quark fields in QCD is considered. As in the case of the pure-gauge gradient flow, the renormalizability of correlation functions involving local fields at positive flow times can be established using a representation through a local field theory in 4+1 dimensions. Applications of the extended flow in lattice QCD include non-perturbative renormalization and O(a) improvement as well as accurate calculations of the chiral condensate and of the pseudo-scalar decay constant in the chiral limit.


title: Dynamical Constraints on Multi-Planet Exoplanetary Systems

abstract: As a direct result of ongoing efforts to detect more exoplanetary systems, an ever-increasing number of multiple-planet systems are being announced. But how many of these systems are truly what they seem? In many cases, such systems are announced solely on the basis of orbital fits to observational data, and no attempt is made to see whether the proposed orbits are actually dynamically feasible. As a result, it is certain that planetary systems are being announced that involve planets moving on orbits that would be dynamically unstable on timescales of just a few hundred years. Here, we present the results of dynamical simulations that investigate the orbital stability and evolution of a number of recently discovered exoplanetary systems. These simulations have enabled us to create highly detailed dynamical maps of those systems, allowing us to better constrain the orbits of the planets contained therein. In some cases, our results have even led to the very existence of the planets themselves being called into question.


title: Elastic Splines I: Existence

abstract: Given interpolation points $P_1,P_2,\ldots,P_n$ in the plane, it is known that there does not exist an interpolating curve with minimal bending energy, unless the given points lie sequentially along a line. We say than an interpolating curve is {\it admissable} if each piece, connecting two consecutive points $P_i$ and $P_{i+1}$, is an s-curve, where an {\it s-curve} is a planar curve which first turns at most $180^\circ$ in one direction and then turns at most $180^\circ$ in the opposite direction. Our main result is that among all admissable interpolating curves there exists a curve with minimal bending energy. We also prove, in a very constructive manner, the existence of an s-curve, with minimal bending energy, which connects two given unit tangent vectors.


title: MG13 proceedings: On the validity of the adiabatic approximation in compact binary inspirals

abstract: We use the post-Newtonian-Affine model to assess the validity of the adiabatic approximation in modeling tidal effects in the phase evolution of compact binary systems. We compute the dynamical evolution of the tidal tensor, which we estimate at the 2 PN order, and of the quadrupole tensor, finding that their ratio, i.e. the tidal deformability, increases in the last phases of the inspiral. We derive the gravitational wave phase corrections due to this phenomenon and quantify how they affect gravitational wave detectability.


title: Radiative parton processes in perturbative QCD - an improved version of the Gunion and Bertsch cross section from comparisons to the exact result

abstract: In this work we compare the Gunion-Bertsch approximation of the leading order perturbative QCD radiation matrix element to the exact result. To this end, we revisit the derivation of the Gunion-Bertsch approximation as well as perform extensive numerical comparisons of the Gunion-Bertsch and the exact result. We find that when employing the matrix elements to obtain rates or cross sections from phase space integration, the amplitude by Gunion and Bertsch deviates from the correct result in characteristic regions of the phase space. We propose an improved version of the Gunion-Bertsch matrix element which agrees very well with the exact result in all phase space regions.


title: Robust estimators for non-decomposable elliptical graphical models

abstract: Asymptotic properties of scatter estimators for elliptical graphical models are studied. Such models impose a given pattern of zeros on the inverse of the shape matrix of an elliptically distributed random vector. In particular, we introduce the class of graphical M-estimators and compare them to plug-in M-estimators. It turns out that, under suitable conditions, both approaches yield the same asymptotic efficiency. Furthermore, the results of this paper apply to both decomposable and non-decomposable graphical models and so generalize the results for decomposable models given by Vogel & Fried (2011) for the plug-in M-estimators.


title: The role of vector meson dominance and running masses in the hadronic contributions to the muon $g-2$

abstract: We summarize our recent results for the quark loop part of the light-by-light scattering contribution as well as the hadronic vacuum polarisation contributions to the anomalous magnetic moment of the muon. In particular we focus on the role played by the momentum dependence of the quark- and quark-photon vertex dressing functions. We give a detailed comparison of the Dyson-Schwinger description of this contribution to the corresponding picture emerging from hadronic models in particular the extended Nambu--Jona-Lasonio model (ENJL). We find that the details of the momentum dependence are important on a quantitative level. Especially the transverse parts of the quark-photon-vertex, which serve as a dynamical extension of simple vector meson dominance models, do not yield the large suppression of the light-by-light contribution found in the ENJL model if realistic dressings are taken into account.


title: Tunnelling black-hole radiation with $\phi^3$ self-interaction: one-loop computation for Rindler Killing horizons

abstract: Tunnelling processes through black hole horizons have recently been investigated in the framework of WKB theory discovering interesting interplay with the Hawking radiation. A more precise and general account of that phenomenon has been subsequently given within the framework of QFT in curved spacetime by two of the authors of the present paper. In particular, it has been shown that, in the limit of sharp localization on opposite sides of a Killing horizon, the quantum correlation functions of a scalar field appear to have thermal nature, and the tunnelling probability is proportional to $\exp\{-\beta_{Hawking} E\}$. This local result is valid in every spacetime including a local Killing horizon, no field equation is necessary, while a suitable choice for the quantum state is relevant. Indeed, the two point function has to verify a short-distance condition weaker than the Hadamard one. In this paper we consider a massive scalar quantum field with a $\phi^3$ self-interaction and we investigate the issue whether or not the black hole radiation can be handled at perturbative level, including the renormalisation contributions. We prove that, for the simplest model of the Killing horizon generated by the boost in Minkowski spacetime, and referring to Minkowski vacuum, the tunnelling probability in the limit of sharp localization on opposite sides of the horizon preserves the thermal form proportional to $\exp\{-\beta_H E\}$ even taking the one-loop renormalisation corrections into account. A similar result is expected to hold for the Unruh state in the Kruskal manifold, since that state is Hadamard and looks like Minkowski vacuum close to the horizon.


title: Expressing Properties in Second and Third Order Logic: Hypercube Graphs and SATQBF

abstract: It follows from the famous Fagin's theorem that all problems in NP are expressible in existential second-order logic (ESO), and vice versa. Indeed, there are well-known ESO characterizations of NP-complete problems such as 3-colorability, Hamiltonicity and clique. Furthermore, the ESO sentences that characterize those problems are simple and elegant. However, there are also NP problems that do not seem to possess equally simple and elegant ESO characterizations. In this work, we are mainly interested in this latter class of problems. In particular, we characterize in second-order logic the class of hypercube graphs and the classes SATQBF_k of satisfiable quantified Boolean formulae with k alternations of quantifiers. We also provide detailed descriptions of the strategies followed to obtain the corresponding nontrivial second-order sentences. Finally, we sketch a third-order logic sentence that defines the class SATQBF = \bigcup_{k \geq 1} SATQBF_k. The sub-formulae used in the construction of these complex second- and third-order logic sentences, are good candidates to form part of a library of formulae. Same as libraries of frequently used functions simplify the writing of complex computer programs, a library of formulae could potentially simplify the writing of complex second- and third-order queries, minimizing the probability of error.


title: Determination of Chiral Perturbarion Theory low energy constants from a precise description of pi-pi scattering threshold parameters

abstract: We report on our determination of the values of the one and two loop low energy constants appearing in the Chiral Perturbation Theory calculation of the pi-pi scattering amplitude. For this we use a precise sum rule determination of scattering lengths and slopes that appear in the effective range expansion. In addition we provide new sum rules and the values for these coefficients up to third order in the expansion. Our results when using only the scattering lengths and slopes of the S, P, D and F waves are consistent with previous determinations, but seem to require higher order contributions if they are to accommodate the third order coefficients of the effective range expansion.


title: Recent Experimental Results on Soft Strong Interactions

abstract: This report contains selected recent highlights from experimental studies of soft and semi-hard strong interactions from the Large Hadron Collider, HERA and the Tevatron. The subject is broken down into diffractive and non-diffractive channels and the most significant recent progress and open questions in each area are summarised.


title: Stable Self-Interacting Pais-Uhlenbeck Oscillator

abstract: It is shown that the interacting Pais-Uhlenbeck oscillator necessarily leads to a description with a Hamiltonian that contains positive and negative energies associated with two oscillators. Descriptions with a positive definite Hamiltonians, considered by some authors, can hold only for a free Pais-Uhlenbeck oscillator. We demonstrate that the solutions of a self-interacting Pais-Uhlenbeck oscillator are stable on islands in the parameter space, as already observed in the literature. If we slightly modify the system, by considering a sine interaction term, and/or by taking unequal masses of the two oscillators, then the system is stable on the continents that extend from zero to infinity in the parameter space. Therefore, the Pais-Uhlenbeck oscillator is quite acceptable physical system.


title: Infinitely many homoclinic orbits for a class of superquadratic Hamiltonian systems

abstract: In this paper, we prove the existence of infinitely many homoclinic orbits for the first order Hamiltonian systems $J\dot{x}-M(t)x+ R'(t,x)=0$, by the minimax methods in critical point theory, when $R(t,y)$ satisfies the superquadratic condition ${{R(t,x)}\over{\|x\r|^{2}}}\longrightarrow \pm\infty$ as $\|x\|\longrightarrow\infty$, uniformly in $t$, and need not satisfy the global Ambrosetti-Rabinowitz condition


title: Radiation damage in the LHCb Vertex Locator

abstract: The LHCb Vertex Locator (VELO) is a silicon strip detector designed to reconstruct charged particle trajectories and vertices produced at the LHCb interaction region. During the first two years of data collection, the 84 VELO sensors have been exposed to a range of fluences up to a maximum value of approximately $\rm{45 \times 10^{12}\,1\,MeV}$ neutron equivalent ($\rm{1\,MeV\,n_{eq}}$). At the operational sensor temperature of approximately $-7\,^{\circ}\rm{C}$, the average rate of sensor current increase is $18\,\upmu\rm{A}$ per $\rm{fb^{-1}}$, in excellent agreement with predictions. The silicon effective bandgap has been determined using current versus temperature scan data after irradiation, with an average value of $E_{g}=1.16\pm0.03\pm0.04\,\rm{eV}$ obtained. The first observation of n-on-n sensor type inversion at the LHC has been made, occurring at a fluence of around $15 \times 10 ^{12}$ of $1\,\rm{MeV\,n_{eq}}$. The only n-on-p sensors in use at the LHC have also been studied. With an initial fluence of approximately $\rm{3 \times 10^{12}\,1\,MeV\,n_{eq}}$, a decrease in the Effective Depletion Voltage (EDV) of around 25\,V is observed, attributed to oxygen induced removal of boron interstitial sites. Following this initial decrease, the EDV increases at a comparable rate to the type inverted n-on-n type sensors, with rates of $(1.43\pm 0.16) \times 10 ^{-12}\,\rm{V} / \, 1 \, \rm{MeV\,n_{eq}}$ and $(1.35\pm 0.25) \times 10 ^{-12}\,\rm{V} / \, 1 \, \rm{MeV\,n_{eq}}$ measured for n-on-p and n-on-n type sensors, respectively. A reduction in the charge collection efficiency due to an unexpected effect involving the second metal layer readout lines is observed.


title: An incomplete model of RRATs and of nulls mode-changes and subpulses

abstract: A model for pulsars with polar-cap magnetic flux density B antiparallel with rotational spin is described. It recognizes the significance of two elementary processes, proton production in electromagnetic showers and photoelectric transitions in ions accelerated through the blackbody radiation field, which must be present at the polar cap in the antiparallel case, but not for pulsars of the opposite spin direction. The two populations are likely to be indistinguishable observationally until curvature radiation pair creation ceases to be possible. The model generates, and provides a physically realistic framework for, the polar-cap potential fluctuations and their time-scales that can produce mode-changes and nulls. The RRATs are then no more than an extreme case of the more commonly observed nulls. The model is also able to support the basic features of subpulse drift and to some extent the null-memory phenomenon that is associated with it. Unfortunately, it appears that the most important neutron-star parameter for quantitative predictive purposes is the whole-surface temperature, a quantity which is not readily observable at the neutron-star ages concerned.


title: Revisiting the concentration problem of vector fields within a spherical cap: a commuting differential operator solution

abstract: We propose a novel basis of vector functions, the mixed vector spherical harmonics that are closely related to the functions $F_{lm}$ of Sheppard and T\"or\"ok and help us reduce the concentration problem of tangential vector fields within a spherical cap to an equivalent scalar problem. Exploiting an analogy with previous results published by Gr\"unbaum and his colleagues, we construct a differential operator that commutes with the concentration operator of this scalar problem and propose a stable and convenient method to obtain its eigenfunctions. Having obtained the scalar eigenfunctions, the calculation of tangential vector Slepian functions is straightforward.


title: Fixing the EW scale in supersymmetric models after the Higgs discovery

abstract: TeV-scale supersymmetry was originally introduced to solve the hierarchy problem and therefore fix the electroweak (EW) scale in the presence of quantum corrections. Numerical methods testing the SUSY models often report a good likelihood L (or chi^2=-2ln L) to fit the data {\it including} the EW scale itself (m_Z^0) with a {\it simultaneously} large fine-tuning i.e. a large variation of this scale under a small variation of the SUSY parameters. We argue that this is inconsistent and we identify the origin of this problem. Our claim is that the likelihood (or chi^2) to fit the data that is usually reported in such models does not account for the chi^2 cost of fixing the EW scale. When this constraint is implemented, the likelihood (or chi^2) receives a significant correction (delta_chi^2) that worsens the current data fits of SUSY models. We estimate this correction for the models: constrained MSSM (CMSSM), models with non-universal gaugino masses (NUGM) or higgs soft masses (NUHM1, NUHM2), the NMSSM and the general NMSSM (GNMSSM). For a higgs mass m_h\approx 126 GeV, one finds that in these models (delta_chi^2)/ndf> 1.5 (approx 1 for GNMSSM), which violates the usual condition of a good fit (total chi^2/ndf approx 1) already before fitting observables other than the EW scale itself (ndf=number of degrees of freedom). This has (negative) implications for SUSY models and it is suggested that future data fits properly account for this effect, if one remains true to the original goal of SUSY. Since the expression of delta_chi^2 that emerges from our calculation depends on a familiar measure of fine-tuning, one concludes that EW fine-tuning is an intrinsic part of the likelihood to fit the data that includes the EW scale (m_Z^0).


title: Computing Gibbs free energy differences by interface pinning

abstract: We propose an approach for computing the Gibbs free energy difference between phases of a material. The method is based on the determination of the average force acting on interfaces that separate the two phases of interest. This force, which depends on the Gibbs free energy difference between the phases, is computed by applying an external harmonic field that couples to a parameter which specifies the two phases. Validated first for the Lennard-Jones model, we demonstrate the flexibility, efficiency and practical applicability of this approach by computing the melting temperatures of sodium, magnesium, aluminum and silicon at ambient pressure using density functional theory. Excellent agreement with experiment is found for all four elements, except for silicon, for which the melting temperature is, in agreement with previous simulations, seriously underestimated.


title: RF Basics I and II

abstract: Maxwell's equations are introduced in their general form, together with a basic set of mathematical operations needed to work with them. After simplifying and adapting the equations for application to radio frequency problems, we derive the most important formulae and characteristic quantities for cavities and waveguides. Several practical examples are given to demonstrate the use of the derived equations and to explain the importance of the most common figures of merit.


title: Loop quantization of the Schwarzschild black hole

abstract: We quantize spherically symmetric vacuum gravity without gauge fixing the diffeomorphism constraint. Through a rescaling, we make the algebra of Hamiltonian constraints Abelian and therefore the constraint algebra is a true Lie algebra. This allows the completion of the Dirac quantization procedure using loop quantum gravity techniques. We can construct explicitly the exact solutions of the physical Hilbert space annihilated by all constraints. New observables living in the bulk appear at the quantum level (analogous to spin in quantum mechanics) that are not present at the classical level and are associated with the discrete nature of the spin network states of loop quantum gravity. The resulting quantum space-times resolve the singularity present in the classical theory inside black holes.


title: Electromagnetically induced transparency in systems with degenerate autoionizing levels in \Lambda-configuration

abstract: We discuss a \Lambda-like model of atomic levels involving two autoionizing (AI) states of the same energy. The system is irradiated by two external electromagnetic fields (strong -- driving and weak -- probing ones). For such a system containing degenerate AI levels we derive the analytical formula describing the medium susceptibility. We show that the presence of the second AI level lead to the additional electromagnetically induced transparency (EIT) window appearance. We show that the characteristic of this window can be manipulated by changes of the parameters describing the interactions of AI levels with other ones. This is a new mechanism which leads to additional transparency windows in EIT model, that differs from the mechanism, where a bigger number of Zeeman sublevels is taken into account.


title: Metrical lower bounds on the discrepancy of digital Kronecker-sequences

abstract: Digital Kronecker-sequences are a non-archimedean analog of classical Kronecker-sequences whose construction is based on Laurent series over a finite field. In this paper it is shown that for almost all digital Kronecker-sequences the star discrepancy satisfies $D_N^\ast \ge c(q,s) (\log N)^s \log \log N$ for infinitely many $N \in \NN$, where $c(q,s)>0$ only depends on the dimension $s$ and on the order $q$ of the underlying finite field, but not on $N$. This result shows that a corresponding metrical upper bound due to Larcher is up to some $\log \log N$ term best possible.


title: Cosmological constraints on ghost-free bigravity: background dynamics and late-time acceleration

abstract: The recent discovery of a ghost-free, non-linear extension of the Fierz-Pauli theory of massive gravity, and its bigravity formulation, introduced new possibilities of interpreting cosmological observations, in particular, the apparent late-time accelerated expansion of the Universe. Here we discuss such possibilities by studying the background cosmology of the model and comparing its predictions to different cosmological measurements. We place constraints on the model parameters through an extensive statistical analysis of the model, and compare its viability to that of the standard model of cosmology. We demonstrate that the model can yield perfect fits to the data and is capable of explaining the cosmic acceleration in the absence of an explicit cosmological constant or dark energy, but there are a few caveats that must be taken into account when interpreting the results.


title: Resonances on hedgehog manifolds

abstract: We discuss resonances for a nonrelativistic and spinless quantum particle confined to a two- or three-dimensional Riemannian manifold to which a finite number of semiinfinite leads is attached. Resolvent and scattering resonances are shown to coincide in this situation. Next we consider the resonances together with embedded eigenvalues and ask about the high-energy asymptotics of such a family. For the case when all the halflines are attached at a single point we prove that all resonances are in the momentum plane confined to a strip parallel to the real axis, in contrast to the analogous asymptotics in some metric quantum graphs; we illustrate it on several simple examples. On the other hand, the resonance behaviour can be influenced by a magnetic field. We provide an example of such a `hedgehog' manifold at which a suitable Aharonov-Bohm flux leads to absence of any true resonance, i.e. that corresponding to a pole outside the real axis.


title: Spectrum of Lebesgue measure zero for Jacobi matrices of quasicrystals

abstract: We study one-dimensional random Jacobi operators corresponding to strictly ergodic dynamical systems. In this context, we characterize the spectrum of these operators by non-uniformity of the transfer matrices and the set where the Lyapunov exponent vanishes. Adapting this result to subshifts satisfying the so-called Boshernitzan condition, it turns out that the spectrum is supported on a Cantor set with Lebesgue measure zero. This generalizes earlier results for Schr\"odinger operators.


title: Mechanisms of Ignition by Transient Energy Deposition: Regimes of Combustion Waves Propagation

abstract: Regimes of chemical reaction wave propagating in reactive gaseous mixtures, whose chemistry is governed by chain-branching kinetics, are studied depending on the characteristics of a transient thermal energy deposition localized in a finite volume of reactive gas. Different regimes of the reaction wave propagation are initiated depending on the amount of deposited thermal energy, power of the source and the size of the hot spot. The main parameters which define regimes of the combustion waves facilitated by the transient deposition of thermal energy are: acoustic timescale, duration of the energy deposition, ignition time scale and size of the hot spot. The interplay between these parameters specifies the role of gasdynamical processes, the formation and steepness of the temperature gradient and speed of the spontaneous wave. The obtained results show how ignition of one or another regime of combustion wave depends on the value of energy, rate of the energy deposition and size of the hot spot, which is important for the practical use and for risk assessment.


title: Quasi-phase-matching of high-order-harmonic generation using multimode polarization beating

abstract: The generalization of quasi-phase-matching using polarization beating and of multimode quasi-phase-matching (MMQPM) for the generation of high-order harmonics is explored, and a method for achieving polarization beating is proposed. If two (and in principle more) modes of a waveguide are excited, modulation of the intensity, phase, and/or polarization of the guided radiation will be achieved. By appropriately matching the period of this modulation to the coherence length, quasi-phase-matching of high-order-harmonic radiation generated by the guided wave can occur. We show that it is possible to achieve efficiencies with multimode quasi-phase-matching greater than the ideal square wave modulation. We present a Fourier treatment of QPM and use this to show that phase modulation, rather than amplitude modulation, plays the dominant role in the case of MMQPM. The experimental parameters and optimal conditions for this scheme are explored.


title: There exist no 4-dimensional geodesically equivalent metrics with the same stress-energy tensor

abstract: We show that if two 4-dimensional metrics of arbitrary signature on one manifold are geodesically equivalent (i.e., have the same geodesics considered as unparameterized curves) and are solutions of the Einstein field equation with the same stress-energy tensor, then they are affinely equivalent or flat. Under the additional assumption that the metrics are complete or the manifold is closed, the result survives in all dimensions >2.


title: A sharp bilinear estimate for the Klein-Gordon equation in arbitrary space-time dimensions

abstract: We prove a sharp bilinear inequality for the Klein-Gordon equation on $\sr^{d+1}$, for any $d \geq 2$. This extends work of Ozawa-Rogers and Quilodr\'an for the Klein-Gordon equation and generalises work of Bez-Rogers for the wave equation. As a consequence we obtain a sharp Strichartz estimate for the solution of the Klein-Gordon equation in five spatial dimensions for data belonging to $H^1$. We show that maximisers for this estimate do not exist and that any maximising sequence of initial data concentrates at spatial infinity.


title: Porous dust grains in debris disks

abstract: When modeling the density and grain size distribution in debris disks, the minimum particle size is often significantly larger than the corresponding blowout size. While the dust particles are usually modeled as compact, homogenous spheres, we instead investigate the impact of porosity. The optical properties of porous particles are determined, and the influences of porosity on the blowout size and dust temperatures investigated. Using the method of discrete dipole approximation, we calculate the scattering and absorption cross sections of porous particles and derive the blowout size and the behavior of the dust temperature. We investigate the influence on the beta-ratio. Blowout sizes are calculated for various stellar luminosities and porosities, and an approximation equation is derived to estimate the blowout size as a function of these parameters. Furthermore, we investigate the influence of the porosity on the dust equilibrium temperature. The blowout size increases with the particle porosity and stellar luminosity. The dust temperature of porous particles is lower than the one of the compact spheres, in particular the temperature of blowout grains decreases for porous particles.