title: Information amplification via postselection: A parameter estimation perspective

abstract: It is known that weak measurement can significantly amplify the mean of measurement results, sometimes out of the range limited in usual quantum measurement. This fact, as actively demonstrated recently in both theory and experiment, implies the possibility to estimate a very small parameter using the weak measurement technique. But does the weak measurement really bring about the increase of "information" for parameter estimation? This paper clarifies that, in a general situation, the answer is NO; more precisely, the weak measurement cannot further decrease the lower bound of the estimation error, i.e. the so-called Cram\'{e}r-Rao bound, which is proportional to the inverse of the quantum Fisher information.


title: Improved H\"older and reverse H\"{o}lder inequalities for correlated Gaussian random vectors

abstract: We propose algebraic criteria that yield sharp H\"{o}lder types of inequalities for the product of functions of Gaussian random vectors with arbitrary covariance structure. While our lower inequality appears to be new, we prove that the upper inequality gives an equivalent formulation for the geometric Brascamp-Lieb inequality for Gaussian measures. As an application, we retrieve the Gaussian Hypercontractivity as well as its reverse and we present a generalization of the sharp Young and reverse Young inequalities. From the latter, we recover several known inequalities in literatures including the Pr\'{e}kopa-Leindler and Barthe inequalities.


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

abstract: The three-body Schr\"odinger equation of the H$_2^+$ hydrogen molecular ion with Coulomb potentials is solved in perimetric coordinates using the Lagrange-mesh method. The Lagrange-mesh method is an approximate variational calculation with variational accuracy and the simplicity of a calculation on a mesh. Energies and wave functions of up to four of the lowest vibrational bound or quasibound states for total orbital momenta from 0 to 40 are calculated. The obtained energies have an accuracy varying from about 13 digits for the lowest vibrational state to at least 9 digits for the third vibrational excited state. With the corresponding wave functions, a simple calculation using the associated Gauss quadrature provides accurate quadrupole transition probabilities per time unit between those states over the whole rotational bands. Extensive results are presented with six significant figures.


title: On the distribution of DNA translocation times in solid-state nanopores: an analysis using Schrodinger's first-passage-time theory

abstract: In this short note, a correction is made to the recently proposed solution [1] to a 1D biased diffusion model for linear DNA translocation and a new analysis will be given to the data in [1]. It was pointed out [2] by us recently that this 1D linear translocation model is equivalent to the one that was considered by Schrodinger [3] for the Enrenhaft-Millikan measurements [4,5] on electron charge. Here we apply Schrodinger's first-passage-time distribution formula to the data set in [1]. It is found that Schrodinger's formula can be used to describe the time distribution of DNA translocation in solid-state nanopores. These fittings yield two useful parameters: drift velocity of DNA translocation and diffusion constant of DNA inside the nanopore. The results suggest two regimes of DNA translocation: (I) at low voltages, there are clear deviations from Smoluchowski's linear law of electrophoresis [6] which we attribute to the entropic barrier effects; (II) at high voltages, the translocation velocity is a linear function of the applied electric field. In regime II, the apparent diffusion constant exhibits a quadratic dependence on applied electric field, suggesting a mechanism of Taylor dispersion effect likely due the electro-osmotic flow field in the nanopore channel. This analysis yields a dispersion-free diffusion constant value for the segment of DNA inside the nanopore which is in agreement with Stokes-Einstein theory quantitatively. The implication of Schrodinger's formula for DNA sequencing is discussed.


title: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems

abstract: Quantitative aspects of computation are important and sometimes essential in characterising the behavior and determining the properties of systems. They are related to the use of physical quantities (storage space, time, bandwidth, etc.) as well as mathematical quantities (e.g. probability and measures for reliability, security and trust). Such quantities play a central role in defining both the model of systems (architecture, language design, semantics) and the methodologies and tools for the analysis and verification of system properties. The aim of this workshop is to discuss the explicit use of quantitative information such as time and probabilities either directly in the model or as a tool for the analysis of systems.


title: Action Research Can Swing the Balance in Experimental Software Engineering

abstract: In general, professionals still ignore scientific evidence in place of expert opinions in most of their decision-making. For this reason, it is still common to see the adoption of new software technologies in the field without any scientific basis or well-grounded criteria, but on the opinions of experts. Experimental Software Engineering is of paramount importance to provide the foundations to understand the limits and applicability of software technologies. The need to better observe and understand the practice of Software Engineering leads us to look for alternative experimental approaches to support our studies. Different research strategies can be used to explore different Software Engineering practices. Action Research can be seen as one alternative to intensify the conducting of important experimental studies with results of great value while investigating the Software Engineering practices in depth. In this paper, a discussion on the use of Action Research in Software Engineering is presented. Aiming at better explaining the application of Action Research, an experimental study (in vivo) on the investigation of the subjective decisions of software developers, concerned with the refactoring of source code to improve source code quality in a distributed software development context is depicted. In addition, some guidance on how to accomplish an Action Research study in Software Engineering supplement the discussions.


title: Positivity for cluster algebras

abstract: We prove the positivity conjecture for all skew-symmetric cluster algebras.


title: Aspects of Gond Astronomy

abstract: The Gond community is considered to be one of the most ancient tribes of India with a continuing history of several thousand years. They are also known for their largely isolated history which they have retained through the millennia. Several of their intellectual traditions therefore are a record of parallel aspects of human intellectual growth, and still preserve their original flavour and have not been homogenised by the later traditions of India. In view of this, the Gonds provide a special window to the different currents that constitute contemporary India. In the present study, we summarise their mythology, genetics and script. We then investigate their astronomical traditions and try to understand this community through a survey of 15 Gond villages spread over Maharashtra, Andhra Pradesh and Madhya Pradesh. We show that they have a distinctly different view of the sky from the conventional astronomical ideas encountered elsewhere in India, which is both interesting and informative. We briefly comment on other aspects of their life as culled from our encounters with different members of the Gond community.


title: An optical equilibrium in lateral waveguide-resonator optical force

abstract: We consider the lateral optical force between resonator and waveguide, and study the possibility of an equilibrium that occurs solely from the optical force. We prove analytically that a single- resonance system cannot give such an equilibrium in resonator-waveguide force. We then show that two-resonance systems can provide such an equilibrium. We provide an intuitive way to predict the existence of an equilibrium, and give numerical examples.


title: Atmospheric Circulation of Terrestrial Exoplanets

abstract: The investigation of planets around other stars began with the study of gas giants, but is now extending to the discovery and characterization of super-Earths and terrestrial planets. Motivated by this observational tide, we survey the basic dynamical principles governing the atmospheric circulation of terrestrial exoplanets, and discuss the interaction of their circulation with the hydrological cycle and global-scale climate feedbacks. Terrestrial exoplanets occupy a wide range of physical and dynamical conditions, only a small fraction of which have yet been explored in detail. Our approach is to lay out the fundamental dynamical principles governing the atmospheric circulation on terrestrial planets--broadly defined--and show how they can provide a foundation for understanding the atmospheric behavior of these worlds. We first survey basic atmospheric dynamics, including the role of geostrophy, baroclinic instabilities, and jets in the strongly rotating regime (the "extratropics") and the role of the Hadley circulation, wave adjustment of the thermal structure, and the tendency toward equatorial superrotation in the slowly rotating regime (the "tropics"). We then survey key elements of the hydrological cycle, including the factors that control precipitation, humidity, and cloudiness. Next, we summarize key mechanisms by which the circulation affects the global-mean climate, and hence planetary habitability. In particular, we discuss the runaway greenhouse, transitions to snowball states, atmospheric collapse, and the links between atmospheric circulation and CO2 weathering rates. We finish by summarizing the key questions and challenges for this emerging field in the future.


title: A new recentered confidence sphere for the multivariate normal mean

abstract: We describe a new recentered confidence sphere for the mean, theta, of a multivariate normal distribution. This sphere is centred on the positive-part James-Stein estimator, with radius that is a piecewise cubic Hermite interpolating polynomial function of the norm of the data vector. This radius function is determined by numerically minimizing the scaled expected volume, at theta = 0, of this confidence sphere, subject to the coverage constraint. We use the computationally-convenient formula, derived by Casella and Hwang [3], for the coverage probability of a recentered confidence sphere. Casella and Hwang, op. cit., describe a recentered confidence sphere that is also centred on the positive-part James-Stein estimator, but with radius function determined by empirical Bayes considerations. Our new recentered confidence sphere compares favourably with this confidence sphere, in terms of both the minimum coverage probability and the scaled expected volume at theta = 0.


title: Timescales on which Star Formation Affects the Neutral ISM

abstract: Turbulent neutral hydrogen (HI) line widths are often thought to be driven primarily by star formation (SF), but the timescale for converting SF energy to HI kinetic energy is unclear. As a complication, studies on the connection between Hi line widths and SF in external galaxies often use broadband tracers for the SF rate, which must implicitly assume that SF histories (SFHs) have been constant over the timescale of the tracer. In this paper, we compare measures of HI energy to time-resolved SFHs in a number of nearby dwarf galaxies. We find that HI energy surface density is strongly correlated only with SF that occurred 30-40 Myr ago. This timescale corresponds to the approximate lifetime of the lowest mass supernova progenitors (~ 8 Msun). This analysis suggests that the coupling between SF and the neutral ISM is strongest on this timescale, due either to an intrinsic delay between the release of the peak energy from SF or to the coherent effects of many SNe during this interval. At \Sigma_SFR > 10^-3 Msun yr^-1 kpc^-2, we find a mean coupling efficiency between SF energy and HI energy of \epsilon = 0.11 +/- 0.04 using the 30-40 Myr timescale. However, unphysical efficiencies are required in lower \Sigma_SFR systems, implying that SF is not the primary driver of HI kinematics at \Sigma_SFR < 10^-3 Msun yr^-1 kpc^-2.


title: Some basic aspects of analysis on metric and ultrametric spaces

abstract: A number of topics involving metrics and measures are discussed, including some of the special structure associated with ultrametrics.


title: Relative Observability of Discrete-Event Systems and its Supremal Sublanguages

abstract: We identify a new observability concept, called relative observability, in supervisory control of discrete-event systems under partial observation. A fixed, ambient language is given, relative to which observability is tested. Relative observability is stronger than observability, but enjoys the important property that it is preserved under set union; hence there exists the supremal relatively observable sublanguage of a given language. Relative observability is weaker than normality, and thus yields, when combined with controllability, a generally larger controlled behavior; in particular, no constraint is imposed that only observable controllable events may be disabled. We design algorithms which compute the supremal relatively observable (and controllable) sublanguage of a given language, which is generally larger than the normal counterparts. We demonstrate the new observability concept and algorithms with a Guideway and an AGV example.


title: Numerical Radii for Tensor Products of Matrices

abstract: For $n$-by-$n$ and $m$-by-$m$ complex matrices $A$ and $B$, it is known that the inequality $w(A\otimes B)\le\|A\|w(B)$ holds, where $w(\cdot)$ and $\|\cdot\|$ denote, respectively, the numerical radius and the operator norm of a matrix. In this paper, we consider when this becomes an equality. We show that (1) if $\|A\|=1$ and $w(A\otimes B)=w(B)$, then either $A$ has a unitary part or $A$ is completely nonunitary and the numerical range $W(B)$ of $B$ is a circular disc centered at the origin, (2) if $\|A\|=\|A^k\|=1$ for some $k$, $1\le k<\infty$, then $w(A)\ge\cos(\pi/(k+2))$, and, moreover, the equality holds if and only if $A$ is unitarily similar to the direct sum of the $(k+1)$-by-$(k+1)$ Jordan block $J_{k+1}$ and a matrix $B$ with $w(B)\le\cos(\pi/(k+2))$, and (3) if $B$ is a nonnegative matrix with its real part (permutationally) irreducible, then $w(A\otimes B)=\|A\|w(B)$ if and only if either $p_A=\infty$ or $n_B\le p_A<\infty$ and $B$ is permutationally similar to a block-shift matrix \[[ {array}{cccc} 0 & B_1 & & & 0 & \ddots & & & \ddots & B_k & & & 0 {array} ]\] with $k=n_B$, where $p_A=\sup\{\ell\ge 1: \|A^{\ell}\|=\|A\|^{\ell}\}$ and $n_B=\sup\{\ell\ge 1 : B^{\ell}\neq 0\}$.


title: Galaxy And Mass Assembly (GAMA): Linking Star Formation Histories and Stellar Mass Growth

abstract: We present evidence for stochastic star formation histories in low-mass (M* < 10^10 Msun) galaxies from observations within the Galaxy And Mass Assembly (GAMA) survey. For ~73,000 galaxies between 0.05<z<0.32, we calculate star formation rates (SFR) and specific star formation rates (SSFR = SFR/M*) from spectroscopic Halpha measurements and apply dust corrections derived from Balmer decrements. We find a dependence of SSFR on stellar mass, such that SSFRs decrease with increasing stellar mass for star-forming galaxies, and for the full sample, SSFRs decrease as a stronger function of stellar mass. We use simple parametrizations of exponentially declining star formation histories to investigate the dependence on stellar mass of the star formation timescale and the formation redshift. We find that parametrizations previously fit to samples of z~1 galaxies cannot recover the distributions of SSFRs and stellar masses observed in the GAMA sample between 0.05<z<0.32. In particular, a large number of low-mass (M* < 10^10 Msun) galaxies are observed to have much higher SSFRs than can be explained by these simple models over the redshift range of 0.05<z<0.32, even when invoking mass-dependent staged evolution. For such a large number of galaxies to maintain low stellar masses, yet harbour such high SSFRs, requires the late onset of a weak underlying exponentially declining SFH with stochastic bursts of star formation superimposed.


title: Ber Performance Analysis of WiMAX PHY Layer under different channel conditions

abstract: This paper gives an introduction on the IEEE 802.16 standard WIMAX or Worldwide Interoperability for Microwave Access. The different parts give details on the architectural specifications of WiMAX networks and also on the working principle of WiMAX networks including its services provided. It also provides brief descriptions on its salient features of this technology and how it benefits the networking industry. A brief outline of the basic building blocks or equipment of WiMAX architecture is also provided. This paper also evaluates the simulation performance of IEEE 802.16 OFDM PHY layer. The Stanford University Interim (SUI) channel model under varying parameters is selected for the wireless channel in the simulation. The performance measurements and analysis was done in simulation developed in MATLAB.


title: Correlations between low energy leptonic CP violation and leptogenesis in the light of recent experiments

abstract: Leptogenesis is the most favourable mechanism for generating the observed baryon asymmetry of the Universe (BAU) which implies CP violation in the high energy scale. The low energy leptonic CP violation is expected to be observed in the neutrino oscillations and $0\nu 2 \beta$ decay experiments. Generally it is not possible to connect both the CP violations. Here we revisit the issue of connecting the two in flavoured leptogenesis scenario within the Type I seesaw in the light of recent neutrino oscillation and {\it Planck} data. With the recent precise measurements of $\theta_{13}$ and BAU we are able to find new correlations between the low and high energy CP violating phases when leptogenesis occurs at temperature between $10^9$ to $10^{12}$ GeV and there is no contribution to CP violation from the heavy neutrino sector.


title: Model Selection in Linear Mixed Models

abstract: Linear mixed effects models are highly flexible in handling a broad range of data types and are therefore widely used in applications. A key part in the analysis of data is model selection, which often aims to choose a parsimonious model with other desirable properties from a possibly very large set of candidate statistical models. Over the last 5-10 years the literature on model selection in linear mixed models has grown extremely rapidly. The problem is much more complicated than in linear regression because selection on the covariance structure is not straightforward due to computational issues and boundary problems arising from positive semidefinite constraints on covariance matrices. To obtain a better understanding of the available methods, their properties and the relationships between them, we review a large body of literature on linear mixed model selection. We arrange, implement, discuss and compare model selection methods based on four major approaches: information criteria such as AIC or BIC, shrinkage methods based on penalized loss functions such as LASSO, the Fence procedure and Bayesian techniques.


title: Flux-limited solutions for quasi-convex Hamilton-Jacobi equations on networks

abstract: We study Hamilton-Jacobi equations on networks in the case where Hamiltonians are quasi-convex with respect to the gradient variable and can be discontinuous with respect to the space variable at vertices. First, we prove that imposing a general vertex condition is equivalent to imposing a specific one which only depends on Hamiltonians and an additional free parameter, the flux limiter. Second, a general method for proving comparison principles is introduced. This method consists in constructing a vertex test function to be used in the doubling variable approach. With such a theory and such a method in hand, we present various applications, among which a very general existence and uniqueness result for quasi-convex Hamilton-Jacobi equations on networks.


title: Estimates on elliptic equations that hold only where the gradient is large

abstract: We consider a function which is a viscosity solution of a uniformly elliptic equation only at those points where the gradient is large. We prove that the H{\"o}lder estimates and the Harnack inequality, as in the theory of Krylov and Safonov, apply to these functions.


title: Comparison inequalities on Wiener space

abstract: We define a covariance-type operator on Wiener space: for F and G two random variables in the Gross-Sobolev space $D^{1,2}$ of random variables with a square-integrable Malliavin derivative, we let $Gamma_{F,G}=$ where $D$ is the Malliavin derivative operator and $L^{-1}$ is the pseudo-inverse of the generator of the Ornstein-Uhlenbeck semigroup. We use $\Gamma$ to extend the notion of covariance and canonical metric for vectors and random fields on Wiener space, and prove corresponding non-Gaussian comparison inequalities on Wiener space, which extend the Sudakov-Fernique result on comparison of expected suprema of Gaussian fields, and the Slepian inequality for functionals of Gaussian vectors. These results are proved using a so-called smart-path method on Wiener space, and are illustrated via various examples. We also illustrate the use of the same method by proving a Sherrington-Kirkpatrick universality result for spin systems in correlated and non-stationary non-Gaussian random media.


title: Oscillating dipole model for the X-ray standing wave enhanced fluorescence in periodic multilayers

abstract: Periodic multilayers give rise to enhanced X-ray fluorescence when a regime of standing waves occurs within the structure. This regime may concern the primary radiation used to induce the fluorescence, the secondary radiation of fluorescence or both of them. Until now, existing models only dealt with standing wave regime of primary radiation. We present a theoretical approach based on the oscillating dipole model and the coupled-wave theory that can treat efficiently any standing wave regime. We compare our simulations to experimental data available in the literature.


title: Neutrino-nucleus DIS data and their consistency with nuclear PDFs

abstract: In this talk, we discuss the compatibility of different deeply inelastic neutrino-nucleus data sets and the universal nuclear PDFs. This is an issue that has lately been investigated by different groups but the conclusions have been surprisingly contradictory. While some studies have found a good overall agreement between the nuclear PDFs and the neutrino data, others have claimed for an incompatibility. Here, we demonstrate that the independent neutrino data sets from NuTeV, CHORUS and CDHSW collaborations differ in the absolute overall normalization and that it is not possible to accurately reproduce all the data simultaneously with a single set of PDFs. Our strategy to overcome this difficulty and allow a consistent use of all neutrino data in global PDF analyses is to normalize the data by the integrated cross-sections thereby cancelling possible inaccuracies in the absolute normalization. Indeed, this brings all data to a surprisingly good mutual agreement underscoring the x-dependence of the nuclear modifications in a model-independent way. The consistency of these data with the present nuclear PDFs is verified by introducing a method to test the effect of a new data set in an existing global fit that performed a Hessian error analysis.


title: The Discrete-Continuous Logic and its possible quantum realizations

abstract: We propose a new version of generalized probabilistic propositional logic, namely, discrete-continuous logic (DCL) in which every generalized proposition (GP) is represented as 2x2 nondiagonal positive matrix with unit trace. We demonstrate that on the set of propositions of this kind one can define both the discrete logical operations (connectives) such as negation and strong logical disjunction and in addition one parameter group of continuous operations (logical rotations). We prove that an arbitrary classical proposition (which in this logic is represented by the purely diagonal matrix) can be considered as the result of strong disjunction of two identical GP. This fact gives one a good reason to presume the DCL as a prime logical substructure underlying to ordinary propositional logic, which is recorded by our consciousness. We believe that proposed version of DCL will find many applications both in physics (quantum logic) and also in cognitive sciences (mental imagery) for better understanding of the pecular nature of mental brain operations.


title: Compressive Time Delay Estimation Using Interpolation

abstract: Time delay estimation has long been an active area of research. In this work, we show that compressive sensing with interpolation may be used to achieve good estimation precision while lowering the sampling frequency. We propose an Interpolating Band-Excluded Orthogonal Matching Pursuit algorithm that uses one of two interpolation functions to estimate the time delay parameter. The numerical results show that interpolation improves estimation precision and that compressive sensing provides an elegant tradeoff that may lower the required sampling frequency while still attaining a desired estimation performance.


title: Solving single molecules: filtering noisy discrete data made of photons and other type of observables

abstract: In numerous systems in biophysics and related fields, scientists measure (with very smart methods) individual molecules (e.g. biopolymers (proteins, DNA, RNA, etc), nano - crystals, ion channels), aiming at finding a model from the data. But the noise is not solved accurately in not so few cases and this may lead to misleading models. Here, we solve the noise. We consider two state photon trajectories from any on off kinetic scheme (KS): the process emitting photons with a rate {\gamma}on when it is in the on state, and emitting with a rate {\gamma}off when it is in the off state. We develop a filter that removes the noise resulting in clean data also in cases where binning fails. The filter is a numerical algorithm with various new statistical treatments. It is based on a new general likelihood function developed here, with observable dependent form. The filter can solve the noise, in the detectable region of the rate space: that is, we also find a region where the data is "too" noisy. Consistency tests will find the region's type from the data. If the data is ruled "too noisy", binning obviously fails, and one should apply simpler methods on the raw data and realizing that the extracted information is partial. We show that not applying the filter while cleaning results in erroneous rates. This filter (with minor adjustments) can solve the noise in any discrete state trajectories, yet extensions are needed in "tackling" the noise from other data, e.g. continuous data and FRET data. The filter developed here is complementary with our previous projects in this field, where we have solved clean two state data with the development of reduced dimensions forms (RDFs): only the combined procedures enabling building the most accurate model from noisy trajectories from single molecules


title: Topological quantum phase transitions in the spin-singlet superconductor with Rashba and Dresselhaus (110) spin-orbit couplings

abstract: We examine the topological properties of a spin-singlet superconductor with Rashba and Dresselhaus (110) spin-orbit couplings. We demonstrate that there are several topological invariants in the Bogoliubov-de Gennes (BdG) Hamiltonian by symmetry analysis. We use the Pfaffian invariant $\mathcal{P}$ for the particle-hole symmetry to demonstrate all the possible phase diagrams of the BdG Hamiltonian. We find that the edge spectrum is either Dirac cone or flat band which supports the emergence of the Majorana fermion in this system. For the Majorana flat bands, a higher symmetric BdG Hamiltonian is needed to make them topologically stable. The Pfaffian invariant $\mathcal{P}(k_{y})$ and the winding number $\mathcal{W}(k_{y})$ are used in determining the location of the Majorana flat bands.


title: Query Complexity of Correlated Equilibrium

abstract: We study lower bounds on the query complexity of determining correlated equilibrium. In particular, we consider a query model in which an n-player game is specified via a black box that returns players' utilities at pure action profiles. In this model we establish that in order to compute a correlated equilibrium any deterministic algorithm must query the black box an exponential (in n) number of times.


title: Enhanced HBVMs for the numerical solution of Hamiltonian problems with multiple invariants

abstract: Recently, the class of energy-conserving Runge-Kutta methods named Hamiltonian Boundary Value Methods (HBVMs), has been proposed for the efficient solution of Hamiltonian problems, as well as for other types of conservative problems. In this paper, we report further advances concerning such methods, resulting in their enhanced version (Enhanced HBVMs, or EHBVMs). The basic theoretical results are sketched, along with a few numerical tests on a Hamiltonian problem, taken from the literature, possessing multiple invariants.


title: Efficient implementation of geometric integrators for separable Hamiltonian problems

abstract: We here investigate the efficient implementation of the energy-conserving methods named Hamiltonian Boundary Value Methods (HBVMs) recently introduced for the numerical solution of Hamiltonian problems. In this note, we describe an iterative procedure, based on a triangular splitting, for solving the generated discrete problems, when the problem at hand is separable.


title: Strongly clean triangular matrix rings with endomorphisms

abstract: A ring $R$ is strongly clean provided that every element in $R$ is the sum of an idempotent and a unit that commutate. Let $T_n(R,\sigma)$ be the skew triangular matrix ring over a local ring $R$ where $\sigma$ is an endomorphism of $R$. We show that $T_2(R,\sigma)$ is strongly clean if and only if for any $a\in 1+J(R), b\in J(R)$, $l_a-r_{\sigma(b)}: R\to R$ is surjective. Further, $T_3(R,\sigma)$ is strongly clean if $l_{a}-r_{\sigma(b)}, l_{a}-r_{\sigma^2(b)}$ and $l_{b}-r_{\sigma(a)}$ are surjective for any $a\in U(R),b\in J(R)$. The necessary condition for $T_3(R,\sigma)$ to be strongly clean is also obtained.


title: On the dynamics of the interaction between triggered active inclusions

abstract: In a one-dimensional elastic medium with finite correlation length and purely relaxational dynamics, we calculate the time dependence of the elastic force F(t) exchanged between two active inclusions that trigger an elastic deformation at t=0. We consider (i) linear inclusions coupling to the field with a finite force, and (ii) non-linear inclusions imposing a finite deformation. In the non-linear case, the force exhibits a transient maximum much larger than the equilibrium force, diverging as ~L^(-2) at separations L shorter than the field's correlation length. Both the mean-field and the Casimir component of the interaction are calculated. We also discuss the typical appearance time and equilibration time of the force, comparing the linear and the non-linear cases. The existence of a high transient force in the non-linear case should be a generic feature of elastically-mediated interactions.


title: A Preliminary Study of Oxidation of Lignin from Rubber Wood to Vanillin in Ionic Liquid Medium

abstract: In this study, lignin was oxidised to vanillin by means of oxygen in ionic liquid (1,3-dimethylimidazolium methylsulphate) medium. The parameters of the oxidation reaction that have been investigated were the following: concentration of oxygen (5, 10, 15 and 20 ft3 h-1), reaction time (2, 4, 6, 8 and 10 h) and reaction temperature (25, 40, 60, 80 and 100{\deg}C). The Fourier transform infrared spectroscopy, high performance liquid chromatography and ultraviolet-visible analyses were used to characterise the product. The results revealed vanillin as the product obtained via the oxidation reaction. The optimum parameters of vanillin production were 20 ft3 h-1 of oxygen for 10 h at 100{\deg}C. In conclusion, 1,3-dimethylimidazolium methylsulphate could be used as an oxidation reaction medium for the production of vanillin from rubber wood lignin.


title: Interfertile oaks in an island environment. II. Limited hybridization between Quercus alnifolia Poech and Q. coccifera L. in a mixed stand

abstract: Hybridization and introgression between Quercus alnifolia Poech and Q. coccifera L. is studied by analyzing morphological traits, nuclear and chloroplast DNA markers. The study site is a mixed stand on Troodos Mountains (Cyprus) and the analyzed material includes both adult trees and progenies of specific mother trees. Multivariate analysis of morphological traits shows that the two species can be well distinguished using simple leaf morphometric parameters. A lower genetic diversity in Q. alnifolia than in Q. coccifera and a high interspecific differentiation between the two species are supported by an analysis of nuclear and chloroplast microsatellites. The intermediacy of the four designated hybrids is verified by both leaf morphometric and genetic data. Analysis of progeny arrays provides evidence that interspecific crossings are rare. This finding is further supported by limited introgression of chloroplast genomes. Reproductive barriers (e.g. asynchronous phenology, post-zygotic incompatibilities) might account for this result. A directionality of interspecific gene flow is indicated by a genetic assignment analysis of effective pollen clouds with Q. alnifolia acting as pollen donor. Differences in flowering phenology and species distribution in the stand may have influenced the direction of gene flow and the genetic differentiation among effective pollen clouds of different mother trees within species.


title: Spinodal Decomposition in the TiO2-VO2 System

abstract: Spinodal decomposition is a ubiquitous phenomenon leading to phase separation from a uniform solution. We show that a spinodal decomposition occurs in a unique combination of two rutile compounds of TiO2 and VO2, which are chemically and physically distinguished from each other: TiO2 is a wide-gap insulator with photo catalytic activities and VO2 is assumed to be a strongly correlated electron system which exhibits a dramatic metal-insulator transition at 342 K. The spinodal decomposition takes place below 830 K at a critical composition of 34 mol% Ti, generates a unidirectional composition modulation along the c axis with a wavelength of approximately 6 nm, and finally results in the formation of self-assembled lamella structures made up of Ti-rich and V-rich layers stacked alternately with 30-50 nm wavelengths. A metal-insulator transition is not observed in quenched solid solutions with intermediate compositions but emerges in the thin V-rich layers as the result of phase separation. Interestingly, the metal-insulator transition remains as sharp as in pure VO2 even in such thin layers and takes place at significantly reduced temperatures of 310-340 K, which is probably due to a large misfit strain induced by lattice matching at the coherent interface.


title: Anti-glitch of magnetar 1E 2259+586 in the wind braking scenario

abstract: The anti-glitch of magnetar 1E 2259+586 is analyzed theoretically. An enhanced particle wind during the observational interval will taken away additional rotational energy of the neutron star. This will result in a net spin-down of the magnetar, i.e., an anti-glitch. In the wind braking scenario of anti-glitch, there are several predictions: (1) A radiative event will always accompany the anti-glitch, (2) Decrease/variation of braking index after anti-glitch, (3) Anti-glitch is just a period of enhanced spin-down. If there are enough timing observations, a period of enhanced spin-down is expected instead of an anti-glitch. Applications to previous timing events of SGR 1900+14, and PSR J1846-0258 are also included. It is shown that current timing events of 1E 2259+586, SGR 1900+14, and PSR J1846-0258 can be understood safely in the wind braking model. The enhanced spin-down and absence of an anti-glitch before the giant flare of SGR 1806-20 is consistent with the wind braking scenario.


title: Infinite-order diagrammatic summation approach to explicitly correlated congruent transformed Hamiltonian

abstract: A resolution of identity approach to explicitly correlated congruent transformed Hamiltonian (CTH) is presented. One of the principle challenges associated with the congruent transformation of the many-electron Hamiltonian is the generation of three, four, five, and six particle operators. Successful application of the congruent transformation requires efficient implementation of the many-particle operators. In this work, we present the resolution of identity congruent transformed Hamiltonian (RI-CTH) method to handle many-particle operators. The resolution of identity was used to project the explicitly correlated operator in a N-particle finite basis to avoid explicit computation of the many-particle operators. Single-particle states were obtained by performing Hartee-Fock calculations, which were then used for construction of many-particle states. The limitation of the finite nature of the resolution of identity was addressed by developing partial infinite order (PIOS) diagrammatic summation technique. In the PIOS method, the matrix elements of the projected congruent transformed Hamiltonian was expressed in terms of diagrammatic notation and a subset of diagrams were summed up to infinite order. The RI-CTH and RI-CTH-PIOS methods were applied to isoelectronic series of 10-electron systems (Ne,HF,H2O,NH3,CH4) and results were compared with CISD and CCSD(T) calculations. One of the key results from this work is that for identical basis set, the RI-CTH-PIOS energies are lower than CISD and CCSD(T) values.


title: Interplay between Charge and Magnetic Ordering in YbPd

abstract: The pressure-temperature phase diagram of an intermediate-valence compound YbPd was revealed via simultaneous ac-calorimetry and electrical resistivity measurements. Two successive structural phase transition temperatures, $T_1$ = 125 K and $T_2$ = 110 K, are found to decrease with increasing pressure. The magnetic ordering transition at $T_{\rm N} ~sim$ 1.9 K decreases monotonically up to 1.7 GPa and disappears discontinuously at $P_{\rm c} sim$ 1.9 GPa, where the structural phase transition at $T_2$ is also suppressed. At $P_{\rm c}$, enhancement of the effective mass and residual resistivity are observed. Another probable magnetic phase transition, however, is found to take place at $T_{\rm ML} sim$0.3 K and smoothly varies even when crossing $P_{\rm c}$. Structural phase transitions at ambient pressure were also studied by a single crystal X-ray diffraction measurement. Below $T_2$, a tetragonal lattice distortion with doubling of the unit cell along the c-axis is observed, and thus there are two inequivalent Yb-sites below $P_{\rm c}$. These results indicate that one Yb-site, having larger valence configuration and thus smaller Kondo temperature, orders at $T_{\rm N}$. The other phase transition at $T_{\rm ML}$ seems to couple to the crystal structure for $T_2 < T < T_1$. YbPd is a unique system exhibiting magnetic orderings in metallic charge-ordered Yb systems.


title: Ballistic Phonon Transport in Ultra-Thin Silicon Layers: Effects of Confinement and Orientation

abstract: We investigate the effect of confinement and orientation on the phonon transport properties of ultra-thin silicon layers of thicknesses between 1 nm-16 nm. We employ the modified valence force field method to model the lattice dynamics and the ballistic Landauer transport formalism to calculate the thermal conductance. We consider the major thin layer surface orientations {100}, {110}, {111}, and {112}. For every surface orientation, we study thermal conductance as a function of the transport direction within the corresponding surface plane. We find that the ballistic thermal conductance in the thin layers is anisotropic, with the {110}/<110> channels exhibiting the highest and the {112}/<111> channels the lowest thermal conductance with a ratio of about two. We find that in the case of the {110} and {112} surfaces, different transport orientations can result in ~50% anisotropy in thermal conductance. The thermal conductance of different transport orientations in the {100} and {111} layers, on the other hand, is mostly isotropic. These observations are invariant under different temperatures and layer thicknesses. We show that this behavior originates from the differences in the phonon group velocities, whereas the phonon density of states is very similar for all the thin layers examined. We finally show how the phonon velocities can be understood from the phonon spectrum of each channel. Our findings could be useful in the design of the thermal properties of ultra-thin Si layers for thermoelectric and thermal management applications.


title: Interfertile oaks in an island environment: I. High nuclear genetic differentiation and high degree of chloroplast DNA sharing between Q. alnifolia and Q. coccifera in Cyprus. A multipopulation study

abstract: The evergreen Quercus alnifolia and Q. coccifera form the only interfertile pair of oak species growing in Cyprus. Hybridization between the two species has already been observed and studied morphologically. However, little evidence exists about the extent of genetic introgression. In the present study, we aimed to study the effects of introgressive hybridization mutually on both chloroplast and nuclear genomes. We sampled both pure and mixed populations of Q. alnifolia and Q. coccifera from several locations across their distribution area in Cyprus. We analyzed the genetic variation within and between species by conducting Analysis of Molecular Variance (AMOVA) based on nuclear microsatellites. Population genetic structure and levels of admixture were studied by means of a Bayesian analysis (STRUCTURE simulation analysis). Chloroplast DNA microsatellites were used for a spatial analysis of genetic barriers. The main part of the nuclear genetic variation was explained by partition into species groups. High interspecific differentiation and low admixture of nuclear genomes, both in pure and mixed populations, support limited genetic introgression between Q. alnifolia and Q. coccifera in Cyprus. On the contrary, chloroplast DNA haplotypes were shared between the species and were locally structured suggesting cytoplasmic introgression. Occasional hybridization events followed by backcrossings with both parental species might lead to this pattern of genetic differentiation.


title: Asymptotics of eigenvalues and eigenfunctions of energy-dependent Sturm--Liouville equations

abstract: We study asymptotics of eigenvalues, eigenfunctions and norming constants of singular energy-dependent Sturm--Liouville equations with complex-valued potentials. The analysis essentially exploits the integral representation of solutions, which we derive using the connection of the problem under study and a Dirac system of a special form.


title: Magnetic Systems Triggering the M6.6-class Solar Flare in NOAA Active Region 11158

abstract: We report a detailed event analysis on the M6.6-class flare in the active region (AR) NOAA 11158 on 2011 February 13. AR 11158, which consisted of two major emerging bipoles, showed prominent activities including one X- and several M-class flares. In order to investigate the magnetic structures related to the M6.6 event, particularly the formation process of a flare-triggering magnetic region, we analyzed multiple spacecraft observations and numerical results of a flare simulation. We observed that, in the center of this quadrupolar AR, a highly sheared polarity inversion line (PIL) was formed through proper motions of the major magnetic elements, which built a sheared coronal arcade lying over the PIL. The observations lend support to the interpretation that the target flare was triggered by a localized magnetic region that had an intrusive structure, namely a positive polarity penetrating into a negative counterpart. The geometrical relationship between the sheared coronal arcade and the triggering region was consistent with the theoretical flare model based on the previous numerical study. We found that the formation of the trigger region was due to a continuous accumulation of the small-scale magnetic patches. A few hours before the flare occurrence, the series of emerged/advected patches reconnected with a preexisting fields. Finally, the abrupt flare eruption of the M6.6 event started around 17:30 UT. Our analysis suggests that, in a triggering process of a flare activity, all magnetic systems of multiple scales, not only the entire AR evolution but also the fine magnetic elements, are altogether involved.


title: Simulation of forward-reverse stochastic representations for conditional diffusions

abstract: In this paper we derive stochastic representations for the finite dimensional distributions of a multidimensional diffusion on a fixed time interval, conditioned on the terminal state. The conditioning can be with respect to a fixed point or more generally with respect to some subset. The representations rely on a reverse process connected with the given (forward) diffusion as introduced in Milstein, Schoenmakers and Spokoiny [Bernoulli 10 (2004) 281-312] in the context of a forward-reverse transition density estimator. The corresponding Monte Carlo estimators have essentially root-$N$ accuracy, and hence they do not suffer from the curse of dimensionality. We provide a detailed convergence analysis and give a numerical example involving the realized variance in a stochastic volatility asset model conditioned on a fixed terminal value of the asset.


title: A Fast Fault Tolerant Partitioning Algorithm for Wireless Sensor Networks

abstract: In this paper, given a random uniform distribution of sensor nodes on a 2-D plane, a fast self-organized distributed algorithm is proposed to find the maximum number of partitions of the nodes such that each partition is connected and covers the area to be monitored. Each connected partition remains active in a round robin fashion to cover the query region individually. In case of a node failure, the proposed distributed fault recovery algorithm reconstructs the affected partition locally utilizing the available free nodes. Simulation studies show significant improvement in performance compared to the earlier works in terms of computation time, the diameter of each partition, message overhead and network lifetime.


title: Optimal parameter selection for the alternating direction method of multipliers (ADMM): quadratic problems

abstract: The alternating direction method of multipliers (ADMM) has emerged as a powerful technique for large-scale structured optimization. Despite many recent results on the convergence properties of ADMM, a quantitative characterization of the impact of the algorithm parameters on the convergence times of the method is still lacking. In this paper we find the optimal algorithm parameters that minimize the convergence factor of the ADMM iterates in the context of l2-regularized minimization and constrained quadratic programming. Numerical examples show that our parameter selection rules significantly outperform existing alternatives in the literature.


title: Evidence of a metal-rich surface for the asteroid (16) Psyche from interferometric observations in the thermal infrared

abstract: We describe the first determination of thermal properties and size of the M-type asteroid (16) Psyche from interferometric observations obtained with the Mid-Infrared Interferometric Instrument (MIDI) of the Very Large Telescope Interferometer. We used a thermophysical model to interpret our interferometric data. Our analysis shows that Psyche has a low macroscopic surface roughness. Using a convex 3-D shape model obtained by Kaasalainen et al. (2002, Icarus 159, 369-395), we derived a volume-equivalent diameter for (16) Psyche of 247 +- 25 km or 238 +- 24 km, depending on the possible values of surface roughness. Our corresponding thermal inertia estimates are 133 or 114 J.m-2.s-0.5.K-1, with a total uncertainty estimated to 40 J.m-2.s-0.5.K-1. They are among the highest thermal inertia values ever measured for an asteroid of this size. We consider this as a new evidence of a metal-rich surface for the asteroid (16) Psyche.


title: Surfaces on Oeljeklaus-Toma Manifolds

abstract: Oeljeklaus-Toma manifolds are complex non-K\"ahler manifolds constructed by Oeljeklaus and Toma from certain number fields. These manifolds generalize Inoue surfaces of type $S_m$. In this work it is shown that Oeljeklaus-Toma manifolds could not contain any compact complex submanifolds of dimension 2 (surfaces) except Inoue surfaces.


title: The Clusters AgeS Experiment (CASE): Variable Stars in the Globular Cluster M4

abstract: Based on over 3000 BV images of M4 collected in years 1995-2009 we obtain light curves of 22 variables, 10 of which are newly detected objects. We identify four detached eclipsing binaries and eight contact binaries. Accurate periods are found for all but two variables. Nineteen variables are proper-motion members of the cluster, and the remaining three are field stars. Five variables are optical counterparts of X-ray sources. For one of the variables unassociated with X-ray sources we report a flare lasting for about 90 min and reaching an amplitude of 0.11 mag in V. One of the new contact binaries has a record-low mass ratio q=0.06. Another four such systems show season-to season luminosity variations probably related to magnetic activity cycles, whose lengths are surprisingly similar to that of the solar cycle despite a huge difference in rotational periods. The location of contact binaries on the color-magnitude diagram of M4 strongly suggests that at least in globular clusters the principal factor enabling EW systems to form from close but detached binaries is stellar evolution. We identify 46 blue and yellow stragglers in M4 and discuss their properties. We also derive a map of the differential extinction in the central part of M4, and determine the reddening of a selected reference region, E(B-V)= 0.392 mag.


title: Ultraviolet and visual flux and line variations of one of the least variable Bp stars HD 64740

abstract: The light variability of hot magnetic chemically peculiar stars is typically caused by the flux redistribution in spots with peculiar abundance. This raises the question why some stars with surface abundance spots show significant rotational light variability, while others do not. We study the Bp star HD 64740 to investigate how its remarkable inhomogeneities in the surface distribution of helium and silicon, and the corresponding strong variability of many spectral lines, can result in one of the faintest photometric variabilities among the Bp stars. We used model atmospheres and synthetic spectra calculated for the silicon and helium abundances from surface abundance maps to predict the ultraviolet and visual light and line variability of HD 64740. The predicted fluxes and line profiles were compared with the observed ones derived with the IUE, HST, and Hipparcos satellites and with spectra acquired using the FEROS spectrograph at the 2.2m MPG/ESO telescope. We are able to reproduce the observed visual light curve of HD 64740 assuming an inhomogeneous distribution of iron correlated with silicon distribution. The light variations in the ultraviolet are hardly detectable. We detect the variability of many ultraviolet lines of carbon, silicon, and aluminium and discuss the origin of these lines and the nature of their variations. The maximum abundances of helium and silicon are not high enough to cause significant light variations. The detected variability of many ultraviolet lines is most likely of atmospheric origin and reflects the inhomogeneous elemental surface distribution. The variability of the Civ resonance lines is stronger and it probably results from the dependence of the wind mass-loss rate on the chemical composition and magnetic field orientation. We have not been able to detect a clear signature of the matter trapped in the circumstellar clouds.


title: Fast Search for Dynamic Multi-Relational Graphs

abstract: Acting on time-critical events by processing ever growing social media or news streams is a major technical challenge. Many of these data sources can be modeled as multi-relational graphs. Continuous queries or techniques to search for rare events that typically arise in monitoring applications have been studied extensively for relational databases. This work is dedicated to answer the question that emerges naturally: how can we efficiently execute a continuous query on a dynamic graph? This paper presents an exact subgraph search algorithm that exploits the temporal characteristics of representative queries for online news or social media monitoring. The algorithm is based on a novel data structure called the Subgraph Join Tree (SJ-Tree) that leverages the structural and semantic characteristics of the underlying multi-relational graph. The paper concludes with extensive experimentation on several real-world datasets that demonstrates the validity of this approach.


title: StreamWorks - A system for Dynamic Graph Search

abstract: Acting on time-critical events by processing ever growing social media, news or cyber data streams is a major technical challenge. Many of these data sources can be modeled as multi-relational graphs. Mining and searching for subgraph patterns in a continuous setting requires an efficient approach to incremental graph search. The goal of our work is to enable real-time search capabilities for graph databases. This demonstration will present a dynamic graph query system that leverages the structural and semantic characteristics of the underlying multi-relational graph.


title: Real-time planar flow velocity measurements using an optical flow algorithm implemented on GPU

abstract: This paper presents a high speed implementation of an optical flow algorithm which computes planar velocity fields in an experimental flow. Real-time computation of the flow velocity field allows the experimentalist to have instantaneous access to quantitative features of the flow. This can be very useful in many situations: fast evaluation of the performances and characteristics of a new setup, design optimization, easier and faster parametric studies, etc. It can also be a valuable measurement tool for closed-loop flow control experiments where fast estimation of the state of the flow is needed. The algorithm is implemented on a Graphics Processing Unit (GPU). The accuracy of the computation is shown. Computation speed and scalability are highlighted along with guidelines for further improvements. The system architecture is flexible, scalable and can be adapted on the fly in order to process higher resolutions or achieve higher precision. The set-up is applied on a Backward-Facing Step (BFS) flow in a hydrodynamic channel. For validation purposes, classical Particle Image Velocimetry (PIV) is used to compare with instantaneous optical flow measurements. Important flow characteristics, such as the dynamics of the recirculation bubble, are well recovered in real time. Accuracy of real-time optical flow measurements is comparable to off-line PIV computations.


title: Network topology reconstructed from derivative-variable correlations

abstract: A method of network reconstruction from the dynamical time series is introduced, relying on the concept of derivative-variable correlation. Using a tunable observable as a parameter, the reconstruction of any network with known interaction functions is formulated via simple matrix equation. We suggest a procedure aimed at optimizing the reconstruction from the time series of length comparable to the characteristic dynamical time scale. Our method also provides a reliable precision estimate. We illustrate the method's implementation via elementary dynamical models, and demonstrate its robustness to both model and observation errors.


title: Chaotic Scattering on Individual Quantum Graphs

abstract: For chaotic scattering on quantum graphs, the semiclassical approximation is exact. We use this fact and employ supersymmetry, the colour-flavour transformation, and the saddle-point approximation to calculate the exact expression for the lowest and asymptotic expressions in the Ericson regime for all higher correlation functions of the scattering matrix. Our results agree with those available from the random-matrix approach to chaotic scattering. We conjecture that our results hold universally for quantum-chaotic scattering.


title: Photon Emission from Charged Particles Moving in Undulators Placed in a Photonic Crystal

abstract: The law of photon radiation from electron beams passing through a photonic crystal in the presence of an undulator is considered. The spectral-angular distribution and the time evolution of radiation is found. It is shown that the characteristics of the radiation intensity in time demonstrate oscillations due to the interference between undulator and parametric (quasi-Cherenkov) radiations.


title: Contagious Sets in Expanders

abstract: We consider the following activation process in undirected graphs: a vertex is active either if it belongs to a set of initially activated vertices or if at some point it has at least $r$ active neighbors, where $r>1$ is the activation threshold. A \emph{contagious set} is a set whose activation results with the entire graph being active. Given a graph $G$, let $m(G,r)$ be the minimal size of a contagious set. Computing $m(G,r)$ is NP-hard. It is known that for every $d$-regular or nearly $d$-regular graph on $n$ vertices, $m(G,r) \le O(\frac{nr}{d})$. We consider such graphs that additionally have expansion properties, parameterized by the spectral gap and/or the girth of the graphs. The general flavor of our results is that sufficiently strong expansion (e.g., $\lambda(G)=O(\sqrt{d})$, or girth $\Omega(\log \log d)$) implies that $m(G,2) \le O(\frac{n}{d^2})$ (and more generally, $m(G,r) \le O(\frac{n}{d^{r/(r-1)}})$). Significantly weaker expansion properties suffice in order to imply that $m(G,2)\le O(\frac{n \log d}{d^2})$. For example, we show this for graphs of girth at least~7, and for graphs with $\lambda(G)<(1-\epsilon)d$, provided the graph has no 4-cycles. Nearly $d$-regular expander graphs can be obtained by considering the binomial random graph $G(n,p)$ with $p \simeq \frac{d}{n}$ and $d > \log n$. For such graphs we prove that $\Omega(\frac{n}{d^2 \log d}) \le m(G,2) \le O(\frac{n\log\log d}{d^2\log d})$ almost surely. Our results are algorithmic, entailing simple and efficient algorithms for selecting contagious sets.


title: A variational algorithm for the detection of line segments

abstract: In this paper we propose an algorithm for the detection of edges in images that is based on topological asymptotic analysis. Motivated from the Mumford--Shah functional, we consider a variational functional that penalizes oscillations outside some approximate edge set, which we represent as the union of a finite number of thin strips, the width of which is an order of magnitude smaller than their length. In order to find a near optimal placement of these strips, we compute an asymptotic expansion of the functional with respect to the strip size. This expansion is then employed for defining a (topological) gradient descent like minimization method. As opposed to a recently proposed method by some of the authors, which uses coverings with balls, the usage of strips includes some directional information into the method, which can be used for obtaining finer edges and can also result in a reduction of computation times.


title: Positive rank gradient and p-largeness for groups defined by presentations with p-deficiency less than or equal to one

abstract: It is an immediate consequence of the results by Yiftach and Schlage-Puchta that a presentation with p-deficiency greater than one defines a group with positive rank gradient. By results of Button and Thillaisundaram, a finite presentation with p-deficiency greater than one defines a p-large group. Both Yiftach/Schlage-Puchta and Thillaisundaram extended these results to the p-deficiency one case. In this paper we consider the case when the presentation has p-deficiency less than or equal to one.


title: Single-parameter adiabatic charge pumping in carbon nanotube resonators

abstract: Single-parameter adiabatic charge pumping, induced by a nearby radio-frequency antenna, is achieved in suspended carbon nanotubes close to the mechanical resonance. The charge pumping is due to an important dynamic adjustment of the oscillating motion to the antenna signal and it is different from the mechanism active in the two-parameter pumping. Finally, the second harmonic oscillator response shows an interesting relationship with the first harmonic that should be experimentally observed.


title: On sequences in 2-normed spaces

abstract: A function $f$ defined on a 2-normed space $ (X,||.,.||)$ is ward continuous if it preserves quasi-Cauchy sequences where a sequence $(x_n)$ of points in $X$ is called quasi-Cauchy if $lim_{n\rightarrow\infty}||\Delta x_{n},z||=0$ for every $z\in X$. Some other kinds of continuties are also introduced via quasi-Cauchy sequences in 2-normed spaces. It turns out that uniform limit of ward continuous functions is again ward continuous.


title: Dynamics of an Inverting Tippe Top

abstract: The existing results about inversion of a tippe top (TT) establish stability of asymptotic solutions and prove inversion by using the LaSalle theorem. Dynamical behaviour of inverting solutions has only been explored numerically and with the use of certain perturbation techniques. The aim of this paper is to provide analytical arguments showing oscillatory behaviour of TT through the use of the main equation for the TT. The main equation describes time evolution of the inclination angle $\theta(t)$ within an effective potential $V(\cos\theta,D(t),\lambda)$ that is deforming during the inversion. We prove here that $V(\cos\theta,D(t),\lambda)$ has only one minimum which (if Jellett's integral is above a threshold value $\lambda>\lambda_{\text{thres}}=\frac{\sqrt{mgR^3I_3\alpha}(1+\alpha)^2}{\sqrt{1+\alpha-\gamma}}$ and $1-\alpha^2<\gamma=\frac{I_1}{I_3}<1$ holds) moves during the inversion from a neighbourhood of $\theta=0$ to a neighbourhood of $\theta=\pi$. This allows us to conclude that $\theta(t)$ is an oscillatory function. Estimates for a maximal value of the oscillation period of $\theta(t)$ are given.


title: Connecting QGP-Heavy Ion Physics to the Early Universe

abstract: We discuss properties and evolution of quark-gluon plasma in the early Universe and compare to laboratory heavy ion experiments. We describe how matter and antimatter emerged from a primordial soup of quarks and gluons. We focus our discussion on similarities and differences between the early Universe and the laboratory experiments.


title: Comparing first order microscopic and macroscopic crowd models for an increasing number of massive agents

abstract: In this paper a comparison between first order microscopic and macroscopic differential models of crowd dynamics is established for an increasing number $N$ of pedestrians. The novelty is the fact of considering massive agents, namely particles whose individual mass does not become infinitesimal when $N$ grows. This implies that the total mass of the system is not constant but grows with $N$. The main result is that the two types of models approach one another in the limit $N\to\infty$, provided the strength and/or the domain of pedestrian interactions are properly modulated by $N$ at either scale. This is consistent with the idea that pedestrians may adapt their interpersonal attitudes according to the overall level of congestion.


title: The 1+1+2 formalism for Scalar-Tensor gravity

abstract: We use the 1+1+2 covariant approach to clarify a number of aspects of spherically symmetric solutions of non-minimally coupled scalar tensor theories. Particular attention is focused on the extension of Birkhoff's theorem and the nature of quasi-local horizons in this context.


title: Environment-derived constraints on the progenitors of low-luminosity type I supernovae

abstract: We present a study of the properties of the host galaxies of unusual transient objects of two types, both being sub-luminous compared with the major classes of supernovae. Those of one type exhibit unusually strong calcium features, and have been termed 'Ca-rich'. Those of the second type, with SN2002cx as the prototype and SN2008ha as the most extreme example to date, have some properties in common with the first, but show typically lower ejecta velocities, and different early spectra. We confirm important differences in the environments of the two types, with the Ca-rich transients preferentially occurring in galaxies dominated by old stellar populations. Quantitatively, the association of the the Ca-rich transients with regions of ongoing star formation is well matched to that of type Ia supernovae. The SN2002cx-like transients are very different, with none of the present sample occurring in an early-type host, and a statistical association with star-formation regions similar to that of type II-P supernovae, and therefore a delay time of 30-50 Myrs.


title: Very fast X-ray spectral variability in Cygnus X-1: Origin of the hard and soft-state emission components

abstract: The way in which the X-ray photon index, {\Gamma}, varies as a function of count rate is a strong diagnostic of the emission processes and emission geometry around accreting compact objects. Here we present the results from a study using a new, and simple, method designed to improve sensitivity to the measurement of the variability of {\Gamma} on very short time-scales. We have measured {\Gamma} in ~2 million spectra, extracted from observations with a variety of different accretion rates and spectral states, on time-scales as short as 16 ms for the high mass X-ray binary Cygnus X-1, and have cross-correlated these measurements with the source count rate. In the soft-state cross-correlation functions (CCFs) we find a positive peak at zero lag, stronger and narrower in the softer observations. Assuming that the X-rays are produced by Compton scattering of soft seed photons by high energy electrons in a corona, these results are consistent with Compton cooling of the corona by seed photons from the inner edge of the accretion disc, the truncation radius of which increases with increasing hardness ratio. The CCFs produced from the hard-state observations, however, show an anti-correlation which is most easily explained by variation in the energy of the electrons in the corona rather than in variation of the seed photon flux. The hard-state CCFs can be decomposed into a narrow anti-correlation at zero lag, which we tentatively associate with the effects of self-Comptonisation of cyclo-synchrotron seed photons in either a hot, optically thin accretion flow or the base of the jet, and a second, asymmetric component which we suggest is produced as a consequence of a lag between the soft and hard X-ray emission. The lag may be caused by a radial temperature/energy gradient in the Comptonising electrons combined with the inward propagation of accretion rate perturbations.


title: A Systematically Empirical Evaluation of Vulnerability Discovery Models: a Study on Browsers' Vulnerabilities

abstract: A precise vulnerability discovery model (VDM) will provide a useful insight to assess software security, and could be a good prediction instrument for both software vendors and users to understand security trends and plan ahead patching schedule accordingly. Thus far, several models have been proposed and validated. Yet, no systematically independent validation by somebody other than the author exists. Furthermore, there are a number of issues that might bias previous studies in the field. In this work, we fill in the gap by introducing an empirical methodology that systematically evaluates the performance of a VDM in two aspects: quality and predictability. We further apply this methodology to assess existing VDMs. The results show that some models should be rejected outright, while some others might be adequate to capture the discovery process of vulnerabilities. We also consider different usage scenarios of VDMs and find that the simplest linear model is the most appropriate choice in terms of both quality and predictability when browsers are young. Otherwise, logistics-based models are better choices.


title: Cloud Security Challenges: Investigating Policies, Standards, and Guidelines in a Fortune 500 Organization

abstract: Cloud computing is quickly becoming pervasive in today's globally integrated networks. The cloud offers organizations opportunities to potentially deploy software and data solutions that are accessible through numerous mechanisms, in a multitude of settings, at a reduced cost with increased reliability and scalability. The increasingly pervasive and ubiquitous nature of the cloud creates an environment that is potentially conducive to security risks. While previous discussions have focused on security and privacy issues in the cloud from the end-users perspective, minimal empirical research has been conducted from the perspective of a corporate environment case study. This paper presents the results of an initial case study identifying real-world information security documentation issues for a Global Fortune 500 organization, should the organization decide to implement cloud computing services in the future. The paper demonstrates the importance of auditing policies, standards and guidelines applicable to cloud computing environments along with highlighting potential corporate concerns. The results from this case study has revealed that from the 1123 'relevant' statements found in the organization's security documentation, 175 statements were considered to be 'inadequate' for cloud computing. Furthermore, the paper provides a foundation for future analysis and research regarding implementation concerns for corporate cloud computing applications and services


title: Jellett-Minkowski's formula revisited. Isoperimetric inequalities for submanifolds in an ambient manifold with bounded curvature

abstract: In this paper we provide an extension to the Jellett-Minkowski's formula for immersed submanifolds into ambient manifolds which possesses a pole and radial curvatures bounded from above or below by the radial sectional curvatures of a rotationally symmetric model space. Using this Jellett-Minkowski's generalized formula we can focus on several isoperimetric problems. More precisely, on lower bounds for isoperimetric quotients of any precompact domain with smooth boundary, or on the isoperimetric profile of the submanifold and its modified volume. In the particular case of a model space with strictly decreasing radial curvatures, an Aleksandrov type theorem is provided.


title: Incomplete-exclusion Statistical Mechanics in Non-collisional Violent Relaxation of Celestial Objects

abstract: Violent relaxation has been proposed half a century ago to bear responsibility for non-collisional dynamics and formation of gravitationally bound systems of extended celestial objects (agglomeration of stars, galaxies, clusters of galaxies) when reaching an approximate equilibrium state which can be described thermodynamically. The Lynden-Bell equilibrium distribution of such systems, resulting from a spatial exclusion principle, had been shown to be an analog to the Fermi distribution of states in solid state physics. Real extended objects like galaxies do not completely exclude each other, however. Permitting for partial exclusion leads to a modification of the equilibrium distribution. Here we show that this case can be treated in analogy to a hypothetical incomplete population of Fermi states. An incomplete-exclusion equilibrium distribution is obtained which enters the violent relaxation theory.


title: Boolean constraint satisfaction problems for reaction networks

abstract: We define and study a class of (random) Boolean constraint satisfaction problems representing minimal feasibility constraints for networks of chemical reactions. The constraints we consider encode, respectively, for hard mass-balance conditions (where the consumption and production fluxes of each chemical species are matched) and for soft mass-balance conditions (where a net production of compounds is in principle allowed). We solve these constraint satisfaction problems under the Bethe approximation and derive the corresponding Belief Propagation equations, that involve 8 different messages. The statistical properties of ensembles of random problems are studied via the population dynamics methods. By varying a chemical potential attached to the activity of reactions, we find first order transitions and strong hysteresis, suggesting a non-trivial structure in the space of feasible solutions.


title: Is bimodality a sufficient condition for a first order phase transition existence?

abstract: Here we present two explicit counterexamples to the widely spread beliefs about an exclusive role of bimodality as the first order phase transition signal. On the basis of an exactly solvable statistical model generalizing the statistical multifragmentation model we demonstrate that the bimodal distributions can naturally appear both in infinite and in finite systems without a phase transition. In the first counterexample a bimodal distribution appears in an infinite system at the supercritical temperatures due to the negative values of the surface tension coefficient. In the second counterexample we explicitly demonstrate that a bimodal fragment distribution appears in a finite volume analog of a gaseous phase. In contrast to the statistical multifragmentation model, the developed statistical model corresponds to the compressible nuclear liquid with the tricritical endpoint located at one third of the normal nuclear density. The suggested parameterization of the liquid phase equation of state is consistent with the L. van Hove axioms of statistical mechanics and it does not lead to an appearance of the non-monotonic isotherms in the macroscopic mixed phase region which are typical for the classical models of the Van der Waals type. Peculiarly, such a way to account for the nuclear liquid compressibility automatically leads to an appearance of an additional state that in many respects resembles the physical antinuclear matter.


title: Thermal convection in Earth's inner core with phase change at its boundary

abstract: Inner core translation, with solidification on one hemisphere and melting on the other, provides a promising basis for understanding the hemispherical dichotomy of the inner core, as well as the anomalous stable layer observed at the base of the outer core - the F-layer - which might be sustained by continuous melting of inner core material. In this paper, we study in details the dynamics of inner core thermal convection when dynamically induced melting and freezing of the inner core boundary (ICB) are taken into account. If the inner core is unstably stratified, linear stability analysis and numerical simulations consistently show that the translation mode dominates only if the viscosity $\eta$ is large enough, with a critical viscosity value, of order $3 10^{18}$ Pas, depending on the ability of outer core convection to supply or remove the latent heat of melting or solidification. If $\eta$ is smaller, the dynamical effect of melting and freezing is small. Convection takes a more classical form, with a one-cell axisymmetric mode at the onset and chaotic plume convection at large Rayleigh number. [...] Thermal convection requires that a superadiabatic temperature profile is maintained in the inner core, which depends on a competition between extraction of the inner core internal heat by conduction and cooling at the ICB. Inner core thermal convection appears very likely with the low thermal conductivity value proposed by Stacey & Davis (2007), but nearly impossible with the much higher thermal conductivity recently put forward. We argue however that the formation of an iron-rich layer above the ICB may have a positive feedback on inner core convection: it implies that the inner core crystallized from an increasingly iron-rich liquid, resulting in an unstable compositional stratification which could drive inner core convection, perhaps even if the inner core is subadiabatic.


title: Motif matching using gapped patterns

abstract: We present new algorithms for the problem of multiple string matching of gapped patterns, where a gapped pattern is a sequence of strings such that there is a gap of fixed length between each two consecutive strings. The problem has applications in the discovery of transcription factor binding sites in DNA sequences when using generalized versions of the Position Weight Matrix model to describe transcription factor specificities. In these models a motif can be matched as a set of gapped patterns with unit-length keywords. The existing algorithms for matching a set of gapped patterns are worst-case efficient but not practical, or vice versa, in this particular case. The novel algorithms that we present are based on dynamic programming and bit-parallelism, and lie in a middle-ground among the existing algorithms. In fact, their time complexity is close to the best existing bound and, yet, they are also practical. We also provide experimental results which show that the presented algorithms are fast in practice, and preferable if all the strings in the patterns have unit-length.


title: Generalization of Boole-Shannon expansion, consistency of Boolean equations and elimination by orthonormal expansion

abstract: The well known Boole-Shannon expansion of Boolean functions in several variables (with co-efficients in a Boolean algebra $B$) is also known in more general form in terms of expansion in a set $\Phi$ of orthonormal functions. However, unlike the one variable step of this expansion an analogous elimination theorem and consistency is not well known. This article proves such an elimination theorem for a special class of Boolean functions denoted $B(\Phi)$. When the orthonormal set $\Phi$ is of polynomial size in number $n$ of variables, the consistency of a Boolean equation $f=0$ can be determined in polynomial number of $B$-operations. A characterization of $B(\Phi)$ is also shown and an elimination based procedure for computing consistency of Boolean equations is proposed.


title: A Scientific Analysis of the Preprint arXiv:1301.1828v1 [nucl-th]

abstract: Below we analyze the `critic' statements made in the Preprint arXiv:1301.1828v1 [nucl-th]. The doubtful scientific argumentation of the authors of the Preprint arXiv:1301.1828v1 [nucl-th] is also discussed.


title: Nuclear PDFs from the LHeC perspective

abstract: We study the prospects for constraining the nuclear parton distribution functions by small-x deep inelastic scattering. Performing a global fit of nuclear parton distribution functions including a sample of pseudodata representing expected measurements at the planned LHeC collider, we demonstrate that the accuracy of the present nuclear parton distributions could be be improved substantially. We also discuss the impact of flavour-tagged data.


title: How many parameters to model states of mind ?

abstract: A series of examples of computational models is provided, where the model aim is to interpret numerical results in terms of internal states of agents minds. Two opposite strategies or research can be distinguished in the literature. First is to reproduce the richness and complexity of real world as faithfully as possible, second is to apply simple assumptions and check the results in depth. As a rule, the results of the latter method agree only qualitatively with some stylized facts. The price we pay for more detailed predictions within the former method is that consequences of the rich set of underlying assumptions remain unchecked. Here we argue that for computational reasons, complex models with many parameters are less suitable.


title: Tracing the Physical Conditions in Active Galactic Nuclei with Time-Dependent Chemistry

abstract: We present an extension of the code ProDiMo that allows for a modeling of processes pertinent to active galactic nuclei and to an ambient chemistry that is time dependent. We present a proof-of-concept and focus on a few astrophysically relevant species, e.g., H+, H2+ and H3+; C+ and N+; C and O; CO and H2O; OH+, H2O+ and H3O+; HCN and HCO+. We find that the freeze-out of water is strongly suppressed and that this affects the bulk of the oxygen and carbon chemistry occurring in AGN. The commonly used AGN tracer HCN/HCO+ is strongly time-dependent, with ratios that vary over orders of magnitude for times longer than 10^4 years. Through ALMA observations this ratio can be used to probe how the narrow-line region evolves under large fluctuations in the SMBH accretion rate. Strong evolutionary trends, on time scales of 10^4-10^8 years, are also found in species such as H3O+, CO, and H2O. These reflect, respectively, time dependent effects in the ionization balance, the transient nature of the production of molecular gas, and the freeze-out/sublimation of water.


title: Stability of mode-locked kinks in the ac driven and damped sine-Gordon lattice

abstract: Kink dynamics in the underdamped and strongly discrete sine-Gordon lattice that is driven by the oscillating force is studied. The investigation is focused mostly on the properties of the mode-locked states in the {\it overband} case, when the driving frequency lies above the linear band. With the help of Floquet theory it is demonstrated that the destabilizing of the mode-locked state happens either through the Hopf bifurcation or through the tangential bifurcation. It is also observed that in the overband case the standing mode-locked kink state maintains its stability for the bias amplitudes that are by the order of magnitude larger than the amplitudes in the low-frequency case.


title: Crossover from injection to tunneling conduction mode and associated magneto-resistance in a single $Fe_{3}O_{4}$(111)/$Alq_{3}$/Co spin-valve device

abstract: We demonstrate interface energy level engineering, exploiting the modification in energy band structure across Verwey phase transition of $Fe_{3}O_{4}$ electrode, in a $Fe_{3}O_{4}$(111)/$Alq_{3}$/Co vertical spin-valve (SV) device. Experimental results on device characteristics I-V) study exhibit a transition in conduction mode from carrier injection to tunneling across Verwey transition temperature ($T_{V}$) of $Fe_{3}O_{4}$ electrode. Both giant magneto-resistance (GMR) and tunneling MR (TMR) have been observed in a single SV device as a function of temperature, below and above $T_{V}$, respectively. Appearance of GMR, accompanied by injection limited natural Schottky-like I-V characteristics, provide evidences of spin injection at electrode/$Alq_{3}$ interface and transport through molecular orbitals in this SV device. Features of TMR exhibit significant differences from that of GMR. This is due to the dominant hyperfine-field interaction in the multi-step tunneling regime. We have achieved room-temperature SV operation in our device. A phenomenological model for device operation has been proposed to explain the transition in the conduction mode and associated MR features across $T_{V}$. We propose that the tuning of charge gap at Fermi level across Verwey transition due to charge ordering on the octahedral iron sites of $Fe_{3}O_{4}$ results in a corresponding tuning of conduction mode causing this unique cross over from GMR to TMR in this ferrite-based organic SV.


title: Optimal Sensor and Actuator Placement in Complex Dynamical Networks

abstract: Controllability and observability have long been recognized as fundamental structural properties of dynamical systems, but have recently seen renewed interest in the context of large, complex networks of dynamical systems. A basic problem is sensor and actuator placement: choose a subset from a finite set of possible placements to optimize some real-valued controllability and observability metrics of the network. Surprisingly little is known about the structure of such combinatorial optimization problems. In this paper, we show that an important class of metrics based on the controllability and observability Gramians has a strong structural property that allows efficient global optimization: the mapping from possible placements to the trace of the associated Gramian is a modular set function. We illustrate the results via placement of power electronic actuators in a model of the European power grid.


title: Two Finite Classes of Orthogonal Functions

abstract: By using Fourier transforms of two symmetric sequences of finite orthogonal polynomials, we introduce two new classes of finite orthogonal functions and obtain their orthogonality relations via Parseval's identity.


title: Fractional Negative Binomial and Polya Processes

abstract: In this paper, we define a fractional negative binomial process (FNBP) by replacing the Poisson process by a fractional Poisson process (FPP) in the gamma subordinated form of the negative binomial process. First, it is shown that the one-dimensional distributions of the FPP are not infinitely divisible. The long-range dependence of the FNBP, the short-range dependence of its increments and the infinite divisibility of the FPP and the FNBP are investigated. Also, the space fractional Polya process (SFPP) is defined by replacing the rate parameter $\lambda$ by a gamma random variable in the definition of the space fractional Poisson process. The properties of the FNBP and the SFPP and the connections to $pde$'$s$ governing the density of the FNBP and the SFPP are also investigated.


title: Generalized Inexact Proximal Algorithms: Habit's/ Routine's Formation with Resistance to Change, following Worthwhile Changes

abstract: This paper shows how, in a quasi metric space, an inexact proximal algorithm with a generalized perturbation term appears to be a nice tool for Behavioral Sciences (Psychology, Economics, Management, Game theory,...). More precisely, the new perturbation term represents an index of resistance to change, defined as a "curved enough" function of the quasi distance between two successive iterates. Using this behavioral point of view, the present paper shows how such a generalized inexact proximal algorithm can modelize the formation of habits and routines in a striking way. This idea comes from a recent "variational rationality approach" of human behavior which links a lot of different theories of stability (habits, routines, equilibrium, traps,...) and changes (creations, innovations, learning and destructions,...) in Behavioral Sciences and a lot of concepts and algorithms in Variational Analysis. In this variational context, the perturbation term represents a specific instance of the very general concept of resistance to change, which is the disutility of some inconvenients to change. Central to the analysis are the original variational concepts of "worthwhile changes" and "marginal worthwhile stays". At the behavioral level, this paper advocates that proximal algorithms are well suited to modelize the emergence of habituation/routinized human behaviors. We show when, and at which speed, a "worthwhile to change" process converges to a behavioral trap.


title: Large-scale dynamo action due to $\alpha$ fluctuations in a linear shear flow

abstract: We present a model of large-scale dynamo action in a shear flow that has stochastic, zero-mean fluctuations of the $\alpha$ parameter. This is based on a minimal extension of the Kraichnan-Moffatt model, to include a background linear shear and Galilean-invariant $\alpha$-statistics. Using the first order smoothing approximation we derive a linear integro-differential equation for the large-scale magnetic field, which is non perturbative in the shearing rate $S\,$, and the $\alpha$-correlation time $\tau_\alpha\,$. The white-noise case, $\tau_\alpha = 0\,$, is solved exactly, and it is concluded that the necessary condition for dynamo action is identical to the Kraichnan-Moffatt model without shear; this is because white-noise does not allow for memory effects, whereas shear needs time to act. To explore memory effects we reduce the integro-differential equation to a partial differential equation, valid for slowly varying fields when $\tau_\alpha$ is small but non zero. Seeking exponential modal solutions, we solve the modal dispersion relation and obtain an explicit expression for the growth rate as a function of the six independent parameters of the problem. A non zero $\tau_\alpha$ gives rise to new physical scales, and dynamo action is completely different from the white-noise case; e.g. even weak $\alpha$ fluctuations can give rise to a dynamo. We argue that, at any wavenumber, both Moffatt drift and Shear always contribute to increasing the growth rate. Two examples are presented: (a) a Moffatt drift dynamo in the absence of shear; (b) a Shear dynamo in the absence of Moffatt drift.


title: VLT/X-Shooter Near-Infrared Spectroscopy and HST Imaging of Gravitationally-Lensed z~2 Compact Quiescent Galaxies

abstract: Quiescent massive galaxies at z~2 are thought to be the progenitors of present-day massive ellipticals. Observations revealed them to be extraordinarily compact. The determination of stellar ages, star formation rates and dust properties via spectroscopic measurements has up to now only been feasible for the most luminous and massive specimens (~3x M*). Here we present a spectroscopic study of two near-infrared selected galaxies which are close to the characteristic stellar mass M* (~0.9x M* and ~1.3x M*) and whose observed brightness has been boosted by the gravitational lensing effect. We measure the redshifts of the two galaxies to be z=1.71\pm0.02 and z=2.15\pm0.01. By fitting stellar population synthesis models to their spectro-photometric SEDs we determine their ages to be 2.4^{+0.8}_{-0.6} Gyr and 1.7\pm0.3 Gyr, respectively, which implies that the two galaxies have higher mass-to-light ratios than most quiescent z~2 galaxies in other studies. We find no direct evidence for active star-formation or AGN activity in either of the two galaxies, based on the non-detection of emission lines. Based on the derived redshifts and stellar ages we estimate the formation redshifts to be z=4.3^{+3.4}_{-1.2} and z=4.3^{+1.0}_{-0.6}, respectively. We use the increased spatial resolution due to the gravitational lensing to derive constraints on the morphology. Fitting Sersic profiles to the de-lensed images of the two galaxies confirms their compactness, with one of them being spheroid-like, and the other providing the first confirmation of a passive lenticular galaxy at a spectroscopically derived redshift z~2.


title: A Nadel vanishing theorem for metrics with minimal singularities on big line bundles

abstract: The purpose of this paper is to establish a Nadel vanishing theorem for big line bundles with multiplier ideal sheaves of singular metrics admitting an analytic Zariski decomposition (such as, metrics with minimal singularities and Siu's metrics). For this purpose, we apply the theory of harmonic integrals and generalize Enoki's proof of Koll'ar's injectivity theorem. Moreover we investigate the asymptotic behavior of harmonic forms with respect to a family of regularized metrics.


title: On a class of intersection graphs

abstract: Given a directed graph D = (V,A) we define its intersection graph I(D) = (A,E) to be the graph having A as a node-set and two nodes of I(D) are adjacent if their corresponding arcs share a common node that is the tail of at least one of these arcs. We call these graphs facility location graphs since they arise from the classical uncapacitated facility location problem. In this paper we show that facility location graphs are hard to recognize and they are easy to recognize when the graph is triangle-free. We also determine the complexity of the vertex coloring, the stable set and the facility location problems on that class.


title: Using Arabic Wordnet for semantic indexation in information retrieval system

abstract: In the context of arabic Information Retrieval Systems (IRS) guided by arabic ontology and to enable those systems to better respond to user requirements, this paper aims to representing documents and queries by the best concepts extracted from Arabic Wordnet. Identified concepts belonging to Arabic WordNet synsets are extracted from documents and queries, and those having a single sense are expanded. The expanded query is then used by the IRS to retrieve the relevant documents searched. Our experiments are based primarily on a medium size corpus of arabic text. The results obtained shown us that there are a global improvement in the performance of the arabic IRS.


title: Can atmospheric neutrino experiments provide the first hint of leptonic CP violation?

abstract: The measurement of a non-zero value of the 1-3 mixing angle has paved the way for the determination of leptonic CP violation. However the current generation long-baseline experiments T2K and NOvA have limited sensitivity to delta_{CP}. In this paper we show for the first time, the significance of that atmospheric neutrino experiments in providing the first hint of CP violation in conjunction with T2K and NOvA. In particular, we find that adding atmospheric neutrino data from the ICAL detector at the India-based Neutrino Observatory (INO) to T2K and NOvA results in a two-fold increase in the range of delta_{CP} values for which a 2 sigma hint of CP violation can be obtained. In fact in the parameter region unfavorable for the latter experiments, the first signature of CP violation may well come from the inclusion of atmospheric neutrino data.


title: The structure of the R^8 term in type IIB string theory

abstract: Based on the structure of the on-shell linearized superspace of type IIB supergravity, we argue that there is a non--BPS 16 derivative interaction in the effective action of type IIB string theory of the form (t_8 t_8 R^4)^2, which we call the R^8 interaction. It lies in the same supermultiplet as the G^8 R^4 interaction. Using the KLT relation, we analyse the structure of the tree level eight graviton scattering amplitude in the type IIB theory, which leads to the R^8 interaction at the linearized level. This involves an analysis of color ordered multi-gluon disc amplitudes in the type I theory, which shows an intricate pole structure and transcendentality consistent with various other interactions. Considerations of S-duality show that the R^8 interaction receives non-analytic contributions in the string coupling at one and two loops. Apart from receiving perturbative contributions, we show that the R^8 interaction receives a non-vanishing contribution in the one D-instanton-anti-instanton background at leading order in the weak coupling expansion.


title: Case Study Based Software Engineering Project Development: State of Art

abstract: This research paper designates the importance and usage of the case study approach effectively to educating and training software designers and software engineers both in academic and industry. Subsequently an account of the use of case studies based on software engineering in the education of professionals, there is a conversation of issues in training software designers and how a case teaching method can be used to state these issues. The paper describes a software project titled Online Tower Plotting System (OTPS) to develop a complete and comprehensive case study, along with supporting educational material. The case study is aimed to demonstrate a variety of software areas, modules and courses: from bachelor through masters, doctorates and even for ongoing professional development.


title: Defining Predictive Probability Functions for Species Sampling Models

abstract: We review the class of species sampling models (SSM). In particular, we investigate the relation between the exchangeable partition probability function (EPPF) and the predictive probability function (PPF). It is straightforward to define a PPF from an EPPF, but the converse is not necessarily true. In this paper we introduce the notion of putative PPFs and show novel conditions for a putative PPF to define an EPPF. We show that all possible PPFs in a certain class have to define (unnormalized) probabilities for cluster membership that are linear in cluster size. We give a new necessary and sufficient condition for arbitrary putative PPFs to define an EPPF. Finally, we show posterior inference for a large class of SSMs with a PPF that is not linear in cluster size and discuss a numerical method to derive its PPF.


title: Semiclassical geons as solitonic black hole remnants

abstract: We find that the end state of black hole evaporation could be represented by non-singular and without event horizon stable solitonic remnants with masses of the order the Planck scale and up to 16 units of charge. Though these objects are locally indistinguishable from spherically symmetric, massive electric (or magnetic) charges, they turn out to be sourceless geons containing a wormhole generated by the electromagnetic field. Our results are obtained by interpreting semiclassical corrections to Einstein's theory in the first-order (Palatini) formalism, which yields second-order equations and avoids the instabilities of the usual (metric) formulation of quadratic gravity. We also discuss the potential relevance of these solutions for primordial black holes and the dark matter problem.