title: Root geometry of polynomial sequences II: Type (1,0)

abstract: We consider the sequence of polynomials $W_n(x)$ defined by the recursion $W_n(x)=(ax+b)W_{n-1}(x)+dW_{n-2}(x)$, with initial values $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a,b,d,t,r$ are real numbers, $a,t>0$, and $d<0$. We show that every polynomial $W_n(x)$ is distinct-real-rooted, and that the roots of the polynomial $W_n(x)$ interlace the roots of the polynomial $W_{n-1}(x)$. We find that, as $n\to\infty$, the sequence of smallest roots of the polynomials $W_n(x)$ converges decreasingly to a real number, and that the sequence of largest roots converges increasingly to a real number. Moreover, by using the Dirichlet approximation theorem, we prove that there is a number to which, for every positive integer $i\ge2$, the sequence of $i$th smallest roots of the polynomials $W_n(x)$ converges. Similarly, there is a number to which, for every positive integer $i\ge2$, the sequence of $i$th largest roots of the polynomials $W_n(x)$ converges. It turns out that these two convergence points are independent of the numbers $t$ and $r$, as well as $i$. We derive explicit expressions for these four limit points, and we determine completely when some of these limit points coincide.


title: Constraining the neutron star equation of state with gravitational wave signals from coalescing binary neutron stars

abstract: Recently exploratory studies were performed on the possibility of constraining the neutron star equation of state (EOS) using signals from coalescing binary neutron stars, or neutron star-black hole systems, as they will be seen in upcoming advanced gravitational wave detectors such as Advanced LIGO and Advanced Virgo. In particular, it was estimated to what extent the combined information from multiple detections would enable one to distinguish between different equations of state through hypothesis ranking or parameter estimation. Under the assumption of zero neutron star spins both in signals and in template waveforms and considering tidal effects to 1 post-Newtonian (1PN) order, it was found that O(20) sources would suffice to distinguish between a hard, moderate, and soft equation of state. Here we revisit these results, this time including neutron star tidal effects to the highest order currently known, termination of gravitational waveforms at the contact frequency, neutron star spins, and the resulting quadrupole-monopole interaction. We also take the masses of neutron stars in simulated sources to be distributed according to a relatively strongly peaked Gaussian, as hinted at by observations, but without assuming that the data analyst will necessarily have accurate knowledge of this distribution for use as a mass prior. We find that especially the effect of the latter is dramatic, necessitating many more detections to distinguish between different EOS and causing systematic biases in parameter estimation, on top of biases due to imperfect understanding of the signal model pointed out in earlier work. This would get mitigated if reliable prior information about the mass distribution could be folded into the analyses.


title: Blow-up solutions for a Blow-up solutions for a Blow-up solutions for a $p$-Laplacian elliptic equation of logistic type with singular nonlinearity

abstract: In this paper, we deal with existence, uniqueness and exact rate of boundary behavior of blow-up solutions for a class of logistic type quasilinear problem in a smooth bounded domain involving the $p$-Laplacian operator, where the nonlinearity can have a singular behavior. In the proof of the existence of solution, we have used the sub and super solution method in conjunction with variational techniques and comparison principles. Related to the rate on boundary and uniqueness, we combine a comparison principle proved in the present paper together with the our result of existence of solution.


title: Solutions of Sequential Conformable Fractional Differential Equations around an Ordinary Point and Conformable Fractional Hermite Differential Equation

abstract: In this work, we give the power series solutions around an ordinary point, in the case of variable coefficients, homogeneous sequential linear conformable fractional differential equations of order 2\alpha. Further, we introduce the conformable fractional Hermite differential equations, conformable fractional Hermite polynomials and basic properties of these polynomials.


title: Higgs boson decays into {\gamma}{\gamma} and Z{\gamma} in the MSSM and BLSSM

abstract: We calculate Higgs decay rates into {\gamma}{\gamma} and Z{\gamma} in the Minimal Supersymmetric Standard Model (MSSM) and (B-L) Supersymmetric Standard Model (BLSSM) by allowing for contributions from light staus and charginos. We show that sizable departures are possible from the SM predictions for the 125 GeV state and that they are testable during run 2 at the Large Hadron Collider. Furthermore, we illustrate how a second light scalar Higgs signal in either or both these decay modes can be accessed at the CERN machine rather promptly within the BLSSM, a possibility instead precluded to the MSSM owing to the much larger mass of its heavy scalar state.


title: A more robust multiparameter conformal mapping method for geometry generation of any arbitrary ship section

abstract: The central problem of strip theory is the calculation of potential flowaround 2D sections. One particular method of solutions to this problem is conformal mapping of the body section to the unit circle over which a solution of potential flow is available. Here, a new multiparameter conformal mapping method is presented that can map any arbitrary section onto a unit circle with good accuracy. The procedure for finding the corresponding mapping coefficients is iterative. The suggested mapping technique is shown to be capable of appropriately mapping any chined, bulbous, and large and fine sections. Several examples of mapping symmetric and nonsymmetric sections are demonstrated. For symmetric and nonsymmetric sections, the results of the current method are compared against other mapping techniques, and the currently produced geometries display good agreement with the actual geometries.


title: Occurrence Rates and Heating Effects of Tangential and Rotational Discontinuities as Obtained from Three-dimensional Simulation of Magnetohydrodynamic Turbulence

abstract: In solar wind, magnetohydrodynamic (MHD) discontinuities are ubiquitous and often found to be at the origin of turbulence intermittency. They may also play a key role in the turbulence dissipation and heating of the solar wind. The tangential (TD) and rotational (RD) discontinuities are the two most important types of discontinuities. Recently, the connection between turbulence intermittency and proton thermodynamics has been being investigated observationally. Here we present numerical results from three-dimensional MHD simulation with pressure anisotropy and define new methods to identify and to distinguish TDs and RDs. Three statistical results obtained about the relative occurrence rates and heating effects are highlighted: (1) RDs tend to take up the majority of the discontinuities along with time; (2) the thermal states embedding TDs tend to be associated with extreme plasma parameters or instabilities, while RDs do not; (3) TDs have a higher average T as well as perpendicular temperature $T_\perp$. The simulation shows that TDs and RDs evolve and contribute to solar wind heating differently. These results will inspire our understanding of the mechanisms that generate discontinuities and cause plasma heating.


title: Notes on noncommutative geometry

abstract: The book covers basics of noncommutative geometry and its applications in topology, algebraic geometry and number theory. A brief survey of main parts of noncommutative geometry with historical remarks, bibliography and a list of exercises is attached. Our notes are intended for the graduate students and faculty with interests in noncommutative geometry; they can be read by non-experts in the field.


title: Dark matter, dark radiation and Higgs phenomenology in the hidden sector DM models

abstract: I present a class of hidden sector dark matter (DM) models with local dark gauge symmetries, where DM is stable due to unbroken local dark gauge symmetry, or due topology, or it is long-lived because of some accidental symme- tries, and the particle contents and their dynamics are completely fixed by local gauge symmetries. In these models, one have two types of natural force mediators, dark gauge bosons and dark Higgs boson, which would affect DM and Higgs phenomenology in important ways. I discuss various phenomenological issues including the GeV scale gamma-ray excess from the galactic center (GC), (in)direct detection signatures, dark radiation, Higgs phenomenology and Higgs inflation assisted by dark Higgs.


title: De- Moivre's and Euler Formulas for Matrices of Split Quaternions

abstract: In this paper, real matrix representations of split quaternions are examined in terms of the casual character of quaternion. Then, we give De-Moivre' s formula for real matrices of timelike and spacelike split quaternions, separately. Finally, we state the Euler theorem for real matrices of pure split quaternions.


title: Does "Like" Really Mean Like? A Study of the Facebook Fake Like Phenomenon and an Efficient Countermeasure

abstract: Social networks help to bond people who share similar interests all over the world. As a complement, the Facebook "Like" button is an efficient tool that bonds people with the online information. People click on the "Like" button to express their fondness of a particular piece of information and in turn tend to visit webpages with high "Like" count. The important fact of the Like count is that it reflects the number of actual users who "liked" this information. However, according to our study, one can easily exploit the defects of the "Like" button to counterfeit a high "Like" count. We provide a proof-of-concept implementation of these exploits, and manage to generate 100 fake Likes in 5 minutes with a single account. We also reveal existing counterfeiting techniques used by some online sellers to achieve unfair advantage for promoting their products. To address this fake Like problem, we study the varying patterns of Like count and propose an innovative fake Like detection method based on clustering. To evaluate the effectiveness of our algorithm, we collect the Like count history of more than 9,000 websites. Our experiments successfully uncover 16 suspicious fake Like buyers that show abnormal Like count increase patterns.


title: On Projectively Flat Spherically Symmetric Finsler Metrics

abstract: The class of spherically symmetric Finsler metrics is studied and locally dually flat and projectively flat spherically symmetric Finsler metrics is classified.


title: The Principal-Agent Problem With Time Inconsistent Utility Functions

abstract: In this paper we study a generalization of the continuous time Principal-Agent problem allowing for time inconsistent utility functions, for instance of mean-variance type. Using recent results on the Pontryagin maximum principle for FBSDEs we suggest a method of characterizing optimal contracts for such models. To illustrate this we consider a fully solved explicit example in the linear quadratic setting.


title: Two-temperature pair potentials and phonon spectra for simple metals in the warm dense matter regime

abstract: We develop ion-ion pair potentials for Al, Na and K for densities and temperatures relevant to the warm-dense-matter (WDM) regime. Furthermore, we emphasize non-equilibrium states where the ion temperature $T_i$ differs from the electron temperature $T_e$. This work focuses mainly on ultra-fast laser-metal interactions where the energy of the laser is almost exclusively transferred to the electron sub-system over femtosecond time scales. This results in a two-temperature system with $T_e>T_i$ and with the ions still at the initial room temperature $T_i=T_r$. First-principles calculations, such as density functional theory (DFT) or quantum Monte Carlo, are as yet not fully feasible for WDM conditions due to lack of finite-$T$ features, e.g. pseudopotentials, and extensive CPU time requirements. Simpler methods are needed to study these highly complex systems. We propose to use two-temperature pair potentials $U_{ii}(r, T_i,T_e)$ constructed from linear-response theory using the non-linear electron density $n(\mathbf{r})$ obtained from finite-$T$ DFT with a single ion immersed in the appropriate electron fluid. We compute equilibrium phonon spectra at $T_r$ which are found to be in very good agreement with experiments. This gives credibility to our non-equilibrium phonon dispersion relations which are important in determining thermophysical properties, stability, energy-relaxation mechanisms and transport coefficients.


title: Kazakh History and Philosophy: the Ethnomathematical Component of the Content of Primary School Education in the Republic of Kazakhstan

abstract: In the article, we would like to take part in a discussion over the problem of ethnomathematics, which has been under way for several years. We would like to express our opinion, our ideas concerning this problem and suggest our point of view on solving this problem. We would like to introduce readers to experience in working on including ethnomathematical component when teaching mathematics at primary school in the Republic of Kazakhstan.


title: Global well-posedness for the 3-D density-dependent liquid crystal flows in the critical Besov spaces

abstract: In this paper, we prove the local well-posedness of 3-D density-dependent liquid crystal flows with initial data in the critical Besov spaces, without assumptions of small density variation. Furthermore, if the initial density is close enough to a positive constant and the critical Besov norm of the liquid crystal orientation field and the horizontal components of the initial velocity field polynomially small compared with the critical Besov norm to the veritcal component of the initial velocity field, then the system has a unique global solution.


title: Nodal complete intersection threefold with defect

abstract: In this paper we show that a nodal complete intersection threefold $X$ in $\mathbb{P}^{3+c}$ with defect, but without induced defect, has at least $\sum_{i\leq j} (d_i-1)(d_j-1)$ nodes, provided either $c=2$ or $d_c>\sum_{i=1}^{c-1} d_i$ holds.


title: Determination of stabilizer states

abstract: The determination of many special types of quantum states has been studied thoroughly, such as the generalized |GHZ> states, |W> states equivalent under stochastic local operations and classical communication and Dicke states. In this paper, we are going to study another special entanglement states which is stabilizer states. The stabilizer states and their subset graph states play an important role in quantum error correcting codes, multipartite purification and so on. We show that all n- qubit stabilizer states are uniquely determined (among arbitrary states, pure or mixed) by their reduced density matrices for systems which are the supports of n independent generators of the corresponding stabilizer formalisms.


title: Cosmic Bulk Flow and the Local Motion from Cosmicflows-2

abstract: Full sky surveys of peculiar velocity are arguably the best way to map the large scale structure out to distances of a few times 100 Mpc/h. Using the largest and most accurate ever catalog of galaxy peculiar velocities "Cosmicflows-2", the large scale structure has been reconstructed by means of the Wiener filter and constrained realizations assuming as a Bayesian prior model the LCDM model with the WMAP inferred cosmological parameters. The present paper focuses on studying the bulk flow of the local flow field, defined as the mean velocity of top-hat spheres with radii ranging out to R=500 Mpc/h. The estimated large scale structures, in general, and the bulk flow, in particular, are determined by the tension between the observational data and the assumed prior model. A prerequisite for such an analysis is the requirement that the estimated bulk flow is consistent with the prior model. Such a consistency is found here. At R=50(150) Mpc/h the estimated bulk velocity is 250+/-21 (239+/-38) km/s. The corresponding cosmic variance at these radii is 126(60)km/s, which implies that these estimated bulk flows are dominated by the data and not by the assumed prior model. The estimated bulk velocity is dominated by the data out to R~200 Mpc/h, where the cosmic variance on the individual Supergalactic Cartesian components (of the r.m.s. values) exceeds the variance of the Constrained Realizations by at least a factor of 2. The supergalactic SGX and SGY components of the CMB dipole velocity are recovered by the Wiener filter velocity field down to a very few km/s. The SGZ component of the estimated velocity, the one that is most affected by the Zone of Avoidance, is off by 126 km/s (an almost 2 sigma discrepancy).


title: Rank logic is dead, long live rank logic!

abstract: Motivated by the search for a logic for polynomial time, we study rank logic (FPR) which extends fixed-point logic with counting (FPC) by operators that determine the rank of matrices over finite fields. While FPR can express most of the known queries that separate FPC from PTIME, nearly nothing was known about the limitations of its expressive power. In our first main result we show that the extensions of FPC by rank operators over different prime fields are incomparable. This solves an open question posed by Dawar and Holm and also implies that rank logic, in its original definition with a distinct rank operator for every field, fails to capture polynomial time. In particular we show that the variant of rank logic FPR* with an operator that uniformly expresses the matrix rank over finite fields is more expressive than FPR. One important step in our proof is to consider solvability logic FPS which is the analogous extension of FPC by quantifiers which express the solvability problem for linear equation systems over finite fields. Solvability logic can easily be embedded into rank logic, but it is open whether it is a strict fragment. In our second main result we give a partial answer to this question: in the absence of counting, rank operators are strictly more expressive than solvability quantifiers.


title: Gold-Gold Bonding: The Key to Stabilizing the 19-Electron Ternary Phases LnAuSb (Ln = La-Nd and Sm) as New Dirac Semimetals

abstract: We report a new family of ternary 111 hexagonal LnAuSb (Ln = La-Nd, Sm) compounds that, with a 19 valence electron count, has one extra electron compared to all other known LnAuZ compound. The "19th" electron is accommodated by Au-Au bonding between the layers; this Au-Au interaction drives the phases to crystallize in the YPtAs-type structure rather than the more common LiGaGe-type. This is critical, as the YPtAs structure type has the symmetry-allowed band crossing necessary for the formation of Dirac semimetals. Band structure, density of stats, and crystal orbital calculations confirm this picture, which results in a nearly complete band gap between full and empty electronic states and stable compounds; we can thus present a structural stability phase diagram for the LnAuZ (Ln = Ge, As, Sn, Sb, Pb, Bi) family of phases. Those calculations also show that LaAuSb has a bulk Dirac cone below the Fermi level. The YPtAs-type LnAuSb family reported here is an example of the uniqueness of gold chemistry applied to a rigidly closed shell system in an unconventional way.


title: Search for vector-like $B$ quarks in events with one isolated lepton, missing transverse momentum and jets at $\sqrt{s}=$ 8 TeV with the ATLAS detector

abstract: A search has been performed for pair production of heavy vector-like down-type ($B$) quarks. The analysis explores the lepton-plus-jets final state, characterized by events with one isolated charged lepton (electron or muon), significant missing transverse momentum and multiple jets. One or more jets are required to be tagged as arising from $b$-quarks, and at least one pair of jets must be tagged as arising from the hadronic decay of an electroweak boson. The analysis uses the full data sample of $pp$ collisions recorded in 2012 by the ATLAS detector at the LHC, operating at a center-of-mass energy of 8 TeV, corresponding to an integrated luminosity of 20.3 fb$^{-1}$. No significant excess of events is observed above the expected background. Limits are set on vector-like $B$ production, as a function of the $B$ branching ratios, assuming the allowable decay modes are $B \rightarrow Wt/Zb/Hb$. In the chiral limit with a branching ratio of 100% for the decay $B \rightarrow Wt$, the observed (expected) 95% CL lower limit on the vector-like $B$ mass is 810 GeV (760 GeV). In the case where the vector-like $B$ quark has branching ratio values corresponding to those of an $SU(2)$ singlet state, the observed (expected) 95% CL lower limit on the vector-like $B$ mass is 640 GeV (505 GeV). The same analysis, when used to investigate pair production of a colored, charge 5/3 exotic fermion $T_{5/3}$, with subsequent decay $T_{5/3} \rightarrow Wt$, sets an observed (expected) 95% CL lower limit on the $T_{5/3}$ mass of 840 GeV (780 GeV).


title: YouLighter: An Unsupervised Methodology to Unveil YouTube CDN Changes

abstract: YouTube relies on a massively distributed Content Delivery Network (CDN) to stream the billions of videos in its catalogue. Unfortunately, very little information about the design of such CDN is available. This, combined with the pervasiveness of YouTube, poses a big challenge for Internet Service Providers (ISPs), which are compelled to optimize end-users' Quality of Experience (QoE) while having no control on the CDN decisions. This paper presents YouLighter, an unsupervised technique to identify changes in the YouTube CDN. YouLighter leverages only passive measurements to cluster co-located identical caches into edge-nodes. This automatically unveils the structure of YouTube's CDN. Further, we propose a new metric, called Constellation Distance, that compares the clustering obtained from two different time snapshots, to pinpoint sudden changes. While several approaches allow comparison between the clustering results from the same dataset, no technique allows to measure the similarity of clusters from different datasets. Hence, we develop a novel methodology, based on the Constellation Distance, to solve this problem. By running YouLighter over 10-month long traces obtained from two ISPs in different countries, we pinpoint both sudden changes in edge-node allocation, and small alterations to the cache allocation policies which actually impair the QoE that the end-users perceive.


title: Measurement of the top quark mass in the $t\bar t \to {\rm lepton+jets}$ and $t\bar t \to {\rm dilepton}$ channels using $\sqrt{s}=7$ TeV ATLAS data

abstract: The top quark mass was measured in the channels $t\bar{t} \to \mathrm{lepton+jets}$ and $t\bar{t} \to \mathrm{dilepton}$ (lepton=$e, \mu$) based on ATLAS data recorded in 2011. The data were taken at the LHC with a proton--proton centre-of-mass energy of $\sqrt{s}=7$ TeV and correspond to an integrated luminosity of 4.6fb$^{-1}$. The $t\bar{t} \to \mathrm{lepton+jets}$ analysis uses a three-dimensional template technique which determines the top quark mass together with a global jet energy scale factor (JSF), and a relative $b$-to-light-jet energy scale factor (bJSF), where the terms $b$-jets and light-jets refer to jets originating from $b$-quarks and $u, d, c, s$-quarks or gluons, respectively. The analysis of the $t\bar{t} \to \mathrm{dilepton}$ channel exploits a one-dimensional template method using the $m_{\ell b}$ observable, defined as the average invariant mass of the two lepton+$b$-jet pairs in each event. The top quark mass is measured to be $172.33\pm 0.75(\rm {stat}) \pm 1.02(\rm {syst})$ GeV, and $173.79 \pm 0.54({\rm stat}) \pm 1.30({\rm syst})$ GeV in the $t\bar{t} \to lepton+jets$ and $t\bar{t} \to dilepton$ channels, respectively. The combination of the two results yields $m_{\mathrm top} = 172.99 \pm 0.48({\rm stat}) \pm 0.78({\rm syst})$ GeV, with a total uncertainty of $0.91$ GeV.


title: PBW-type filtration on quantum groups of type $A_n$

abstract: We will introduce an $\mathbb{N}$-filtration on the negative part of a quantum group of type $A_n$, such that the associated graded algebra is a q-commutative polynomial algebra. This filtration is given in terms of the representation theory of quivers, by realizing the quantum group as the Hall algebra of a quiver. We show that the induced associated graded module of any simple finite-dimensional module (of type 1) is isomorphic to a quotient of this polynomial algebra by a monomial ideal, and we provide a monomial basis for this associated graded module. This construction can be viewed as a quantum analog of the classical PBW framework, and in fact, by considering the classical limit, this basis is the monomial basis provided by Feigin, Littelmann and the second author in the classical setup.


title: Investigation of the Cubic Boron Nitride Nucleation under the High Pressure and the High Temperature

abstract: In this paper we have theoretically found the activation energy ($420.38kJ/mol$) for the transformation from hBN to cBN in the microscopic viewpoint. We have introduced an analytical formula representing the dependence of nucleus formation time on the activation energy, synthesis pressure and temperature. We have theoretically determined the boundary line of cBN nucleus formation region in the $P-T$ phase diagram on the basis of the diffusion mechanism of cBN nucleus formation. We have found that the cBN crystal nucleus formation time is less than $300ms$ by comparing of the theory and experiment.


title: What Properties are Desirable from an Electron Microscopy Segmentation Algorithm

abstract: The prospect of neural reconstruction from Electron Microscopy (EM) images has been elucidated by the automatic segmentation algorithms. Although segmentation algorithms eliminate the necessity of tracing the neurons by hand, significant manual effort is still essential for correcting the mistakes they make. A considerable amount of human labor is also required for annotating groundtruth volumes for training the classifiers of a segmentation framework. It is critically important to diminish the dependence on human interaction in the overall reconstruction system. This study proposes a novel classifier training algorithm for EM segmentation aimed to reduce the amount of manual effort demanded by the groundtruth annotation and error refinement tasks. Instead of using an exhaustive pixel level groundtruth, an active learning algorithm is proposed for sparse labeling of pixel and boundaries of superpixels. Because over-segmentation errors are in general more tolerable and easier to correct than the under-segmentation errors, our algorithm is designed to prioritize minimization of false-merges over false-split mistakes. Our experiments on both 2D and 3D data suggest that the proposed method yields segmentation outputs that are more amenable to neural reconstruction than those of existing methods.


title: Convergence of Alternating Least Squares Optimisation for Rank-One Approximation to High Order Tensors

abstract: The approximation of tensors has important applications in various disciplines, but it remains an extremely challenging task. It is well known that tensors of higher order can fail to have best low-rank approximations, but with an important exception that best rank-one approximations always exists. The most popular approach to low-rank approximation is the alternating least squares (ALS) method. The convergence of the alternating least squares algorithm for the rank-one approximation problem is analysed in this paper. In our analysis we are focusing on the global convergence and the rate of convergence of the ALS algorithm. It is shown that the ALS method can converge sublinearly, Q-linearly, and even Q-superlinearly. Our theoretical results are illustrated on explicit examples.


title: Discrete Signal Processing on Graphs: Sampling Theory

abstract: We propose a sampling theory for signals that are supported on either directed or undirected graphs. The theory follows the same paradigm as classical sampling theory. We show that perfect recovery is possible for graph signals bandlimited under the graph Fourier transform. The sampled signal coefficients form a new graph signal, whose corresponding graph structure preserves the first-order difference of the original graph signal. For general graphs, an optimal sampling operator based on experimentally designed sampling is proposed to guarantee perfect recovery and robustness to noise; for graphs whose graph Fourier transforms are frames with maximal robustness to erasures as well as for Erd\H{o}s-R\'enyi graphs, random sampling leads to perfect recovery with high probability. We further establish the connection to the sampling theory of finite discrete-time signal processing and previous work on signal recovery on graphs. To handle full-band graph signals, we propose a graph filter bank based on sampling theory on graphs. Finally, we apply the proposed sampling theory to semi-supervised classification on online blogs and digit images, where we achieve similar or better performance with fewer labeled samples compared to previous work.


title: Stochastic and partial differential equations on non-smooth time-dependent domains

abstract: In this article, we consider non-smooth time-dependent domains and single-valued, smoothly varying directions of reflection at the boundary. In this setting, we first prove existence and uniqueness of strong solutions to stochastic differential equations with oblique reflection. Secondly, we prove, using the theory of viscosity solutions, a comparison principle for fully nonlinear second-order parabolic partial differential equations with oblique derivative boundary conditions. As a consequence, we obtain uniqueness, and, by barrier construction and Perron's method, we also conclude existence of viscosity solutions. Our results generalize two articles by Dupuis and Ishii to time-dependent domains.


title: Compressed Differential Erasure Codes for Efficient Archival of Versioned Data

abstract: In this paper, we study the problem of storing an archive of versioned data in a reliable and efficient manner in distributed storage systems. We propose a new storage technique called differential erasure coding (DEC) where the differences (deltas) between subsequent versions are stored rather than the whole objects, akin to a typical delta encoding technique. However, unlike delta encoding techniques, DEC opportunistically exploits the sparsity (i.e., when the differences between two successive versions have few non-zero entries) in the updates to store the deltas using compressed sensing techniques applied with erasure coding. We first show that DEC provides significant savings in the storage size for versioned data whenever the update patterns are characterized by in-place alterations. Subsequently, we propose a practical DEC framework so as to reap storage size benefits against not just in-place alterations but also real-world update patterns such as insertions and deletions that alter the overall data sizes. We conduct experiments with several synthetic workloads to demonstrate that the practical variant of DEC provides significant reductions in storage overhead (up to 60\% depending on the workload) compared to baseline storage system which incorporates concepts from Rsync, a delta encoding technique to store and synchronize data across a network.


title: Determination of the Beam-Spin Asymmetry of Deuteron Photodisintegration in the Energy Region $E_\gamma=1.1-2.3$ GeV

abstract: The beam-spin asymmetry, $\Sigma$, for the reaction $\gamma d\rightarrow pn$ has been measured using the CEBAF Large Acceptance Spectrometer (CLAS) at the Thomas Jefferson National Accelerator Facility (JLab) for six photon-energy bins between 1.1 and 2.3 GeV, and proton angles in the center-of-mass frame, $\theta_{c.m.}$, between $25^\circ$ and $160^\circ$. These are the first measurements of beam-spin asymmetries at $\theta_{c.m.}=90^\circ$ for photon-beam energies above 1.6 GeV, and the first measurements for angles other than $\theta_{c.m.}=90^\circ$. The angular and energy dependence of $\Sigma$ is expected to aid in the development of QCD-based models to understand the mechanisms of deuteron photodisintegration in the transition region between hadronic and partonic degrees of freedom, where both effective field theories and perturbative QCD cannot make reliable predictions.


title: Inference in Additively Separable Models With a High-Dimensional Set of Conditioning Variables

abstract: This paper studies nonparametric series estimation and inference for the effect of a single variable of interest x on an outcome y in the presence of potentially high-dimensional conditioning variables z. The context is an additively separable model E[y|x, z] = g0(x) + h0(z). The model is high-dimensional in the sense that the series of approximating functions for h0(z) can have more terms than the sample size, thereby allowing z to have potentially very many measured characteristics. The model is required to be approximately sparse: h0(z) can be approximated using only a small subset of series terms whose identities are unknown. This paper proposes an estimation and inference method for g0(x) called Post-Nonparametric Double Selection which is a generalization of Post-Double Selection. Standard rates of convergence and asymptotic normality for the estimator are shown to hold uniformly over a large class of sparse data generating processes. A simulation study illustrates finite sample estimation properties of the proposed estimator and coverage properties of the corresponding confidence intervals. Finally, an empirical application to college admissions policy demonstrates the practical implementation of the proposed method.


title: On the Analytic Solution of the Balitsky-Kovchegov Evolution Equation

abstract: The study presents an analytic solution of the Balitsky-Kovchegov~(BK) equation in a particular kinematics. The solution is written in the momentum space and based on the eigenfunctions of the truncated Balitsky-Fadin-Kuraev-Lipatov~(BFKL) equation in the gauge adjoint representation, which was used for calculation of the Regge~(Mandelstam) cut contribution to the planar helicity amplitudes. We introduce an eigenfunction of the singlet BFKL equation constructed of the adjoint eigenfunction multiplied by a factor, which restores the dual conformal symmetry present in the adjoint and broken in the singlet BFKL equations. The proposed analytic BK solution correctly reproduces the initial condition and the high energy asymptotics of the scattering amplitude.


title: Optimal management and spatial patterns in a distributed shallow lake model

abstract: We present a numerical framework to treat infinite time horizon spatially distributed optimal control problems via the associated canonical system derived by Pontryagin's Maximum Principle. The basic idea is to consider the canonical system in two steps. First we perform a bifurcation analysis of canonical steady states using the continuation and bifurcation package pde2path, yielding a number of so called flat and patterned canonical steady states. In a second step we link pde2path to the two point boundary value problem solver TOM to study time dependent canonical paths to steady states having the so called saddle point property. As an example we consider a shallow lake model with diffusion.


title: Continuous warped time-frequency representations - Coorbit spaces and discretization

abstract: We present a novel family of continuous, linear time-frequency transforms adaptable to a multitude of (nonlinear) frequency scales. Similar to classical time-frequency or time-scale representations, the representation coefficients are obtained as inner products with the elements of a continuously indexed family of time-frequency atoms. These atoms are obtained from a single prototype function, by means of modulation, translation and warping. By warping we refer to the process of nonlinear evaluation according to a bijective, increasing function, the warping function. Besides showing that the resulting integral transforms fulfill certain basic, but essential properties, such as continuity and invertibility, we will show that a large subclass of warping functions gives rise to families of generalized coorbit spaces, i.e. Banach spaces of functions whose representations possess a certain localization. Furthermore, we obtain sufficient conditions for subsampled warped time-frequency systems to form atomic decompositions and Banach frames. To this end, we extend results previously presented by Fornasier and Rauhut to a larger class of function systems via a simple, but crucial modification. The proposed method allows for great flexibility, but by choosing particular warping functions $\Phi$ we also recover classical time-frequency representations, e.g. $\Phi(t) = ct$ provides the short-time Fourier transform and $\Phi(t) = log_a(t)$ provides wavelet transforms. This is illustrated by a number of examples provided in the manuscript.


title: Using genetic data to estimate diffusion rates in heterogeneous landscapes

abstract: Having a precise knowledge of the dispersal ability of a population in a heterogeneous environment is of critical importance in agroecology and conservation biology as it can provide management tools to limit the effects of pests or to increase the survival of endangered species. In this paper, we propose a mechanistic-statistical method to estimate space-dependent diffusion parameters of spatially-explicit models based on stochastic differential equations, using genetic data. Dividing the total population into subpopulations corresponding to different habitat patches with known allele frequencies, the expected proportions of individuals from each subpopulation at each position is computed by solving a system of reaction-diffusion equations. Modelling the capture and genotyping of the individuals with a statistical approach, we derive a numerically tractable formula for the likelihood function associated with the diffusion parameters. In a simulated environment made of three types of regions, each associated with a different diffusion coefficient, we successfully estimate the diffusion parameters with a maximum-likelihood approach. Although higher genetic differentiation among subpopulations leads to more accurate estimations, once a certain level of differentiation has been reached, the finite size of the genotyped population becomes the limiting factor for accurate estimation.


title: The pde2path add-on toolbox p2pOC for solving infinite time-horizon spatially distributed optimal control problems - Quickstart Guide -

abstract: p2pOC is an add-on toolbox to the Matlab package pde2path. It is aimed at the numerical solution of optimal control (OC) problems with an infinite time horizon for parabolic systems of PDE over 1D or 2D spatial domains. The basic idea is to treat the OC problem via the associated canonical system in two steps. First we use pde2path to find branches of stationary solutions of the canonical system, also called canonical steady states (CSS). In a second step we use the results and the spatial discretization of the first step to calculate the objective values of time-dependent canonical paths ending at a CSS with the so called saddle point property. This is a (typically very high dimensional) boundary value problem (BVP) in time, which we solve by combining a modification of the BVP solver TOM with a continuation algorithm in the initial states. We explain the design and usage of the package via two example problems, namely the optimal management of a distributed shallow lake model, and of a semi-arid grazing system. Both show interesting bifurcations of so called patterned CSS, and in particular the latter also a variety of patterned optimal steady states. The package (library and demos) can be downloaded at www.staff.uni-oldenburg.de/hannes.uecker/pde2path.


title: Unbiased diffusion of Brownian particles on disordered correlated potentials

abstract: In this work we study the diffusion of non-interacting overdamped particles, moving on unbiased disordered correlated potentials, subjected to Gaussian white noise. We obtain an exact expression for the diffusion coefficient which allows us to prove that the unbiased diffusion of overdamped particles on a random polymer does not depend on the correlations of the disordered potentials. This universal behavior of the unbiased diffusivity is a direct consequence of the validity of the Einstein relation and the decay of correlations of the random polymer. We test the independence on correlations of the diffusion coefficient for correlated polymers produced by two different stochastic processes, a one-step Markov chain and the expansion-modification system. Within the accuracy of our simulations, we found that the numerically obtained diffusion coefficient for these systems agree with the analytically calculated ones, confirming our predictions.


title: Can we track the geography of surnames based on bibliographic data?

abstract: In this paper we explore the possibility of using bibliographic databases for tracking the geographic origin of surnames. Surnames are used as a proxy to determine the ethnic, genetic or geographic origin of individuals in many fields such as Genetics or Demography; however they could also be used for bibliometric purposes such as the analysis of scientific migration flows. Here we present two relevant methodologies for determining the most probable country to which a surname could be assigned. The first methodology assigns surnames based on the most common country that can be assigned to a surname and the Kullback-Liebler divergence measure. The second method uses the Gini Index to evaluate the assignment of surnames to countries. We test both methodologies with control groups and conclude that, despite needing further analysis on its validity; these methodologies already show promising results.


title: A new Generating Function of Exponential Polynomials and its Applications to the Related Polynomials and Numbers

abstract: In this paper we use computational method based on operational point of view to prove a new generating function of exponential polynomials. We give its applications involving geometric polynomials, Bernoulli and Euler numbers.


title: Danger Invariants

abstract: Static analysers search for overapproximating proofs of safety commonly known as safety invariants. Fundamentally, such analysers summarise traces into sets of states, thus trading the ability to distinguish traces for computational tractability. Conversely, static bug finders (e.g. Bounded Model Checking) give evidence for the failure of an assertion in the form of a counterexample, which can be inspected by the user. However, static bug finders fail to scale when analysing programs with bugs that require many iterations of a loop as the computational effort grows exponentially with the depth of the bug. We propose a novel approach for finding bugs, which delivers the performance of abstract interpretation together with the concrete precision of BMC. To do this, we introduce the concept of danger invariants -- the dual to safety invariants. Danger invariants summarise sets of traces that are guaranteed to reach an error state. This summarisation allows us to find deep bugs without false alarms and without explicitly unwinding loops. We present a second-order formulation of danger invariants and use the Second-Order SAT solver described in previous work to compute danger invariants for intricate programs taken from the literature.


title: Spin-Orbit Angles of Kepler-13Ab and HAT-P-7b from Gravity-Darkened Transit Light Curves

abstract: Analysis of the transit light curve deformed by the stellar gravity darkening allows us to photometrically measure both components of the spin-orbit angle $\psi$, its sky projection $\lambda$ and inclination of the stellar spin axis $i_\star$. In this paper, we apply the method to two transiting hot Jupiter systems monitored with the Kepler spacecraft, Kepler-13A and HAT-P-7. For Kepler-13A, we find $i_\star=81^\circ\pm5^\circ$ and $\psi=60^\circ\pm2^\circ$ adopting the spectroscopic constraint $\lambda=58.6^\circ\pm2.0^\circ$ by Johnson et al. (2014). In our solution, the discrepancy between the above $\lambda$ and that previously reported by Barnes et al. (2011) is solved by fitting both of the two parameters in the quadratic limb-darkening law. We also report the temporal variation in the orbital inclination of Kepler-13Ab, $\mathrm{d} |\cos i_{\rm orb}|/\mathrm{d}t=(-7.0\pm0.4)\times10^{-6}\,\mathrm{day}^{-1}$, providing further evidence for the spin-orbit precession in this system. By fitting the precession model to the time series of $i_{\rm orb}$, $\lambda$, and $i_\star$ obtained with the gravity-darkened model, we constrain the stellar quadrupole moment $J_2=(6.1\pm0.3)\times10^{-5}$ for our new solution, which is several times smaller than $J_2=(1.66\pm0.08)\times10^{-4}$ obtained for the previous one. We show that the difference can be observable in the future evolution of $\lambda$, thus providing a possibility to test our solution with follow-up observations. The second target, HAT-P-7, is the first F-dwarf star analyzed with the gravity-darkening method. Our analysis points to a nearly pole-on configuration with $\psi=101^\circ\pm2^\circ$ or $87^\circ\pm2^\circ$ and the gravity-darkening exponent $\beta$ consistent with $0.25$. Such an observational constraint on $\beta$ can be useful for testing the theory of gravity darkening.


title: Hopf Categories

abstract: We introduce Hopf categories enriched over braided monoidal categories. The notion is linked to several recently developed notions in Hopf algebra theory, such as Hopf group (co)algebras, weak Hopf algebras and duoidal categories. We generalize the fundamental theorem for Hopf modules and some of its applications to Hopf categories.


title: A Transfer Learning Approach for Cache-Enabled Wireless Networks

abstract: Locally caching contents at the network edge constitutes one of the most disruptive approaches in $5$G wireless networks. Reaping the benefits of edge caching hinges on solving a myriad of challenges such as how, what and when to strategically cache contents subject to storage constraints, traffic load, unknown spatio-temporal traffic demands and data sparsity. Motivated by this, we propose a novel transfer learning-based caching procedure carried out at each small cell base station. This is done by exploiting the rich contextual information (i.e., users' content viewing history, social ties, etc.) extracted from device-to-device (D2D) interactions, referred to as source domain. This prior information is incorporated in the so-called target domain where the goal is to optimally cache strategic contents at the small cells as a function of storage, estimated content popularity, traffic load and backhaul capacity. It is shown that the proposed approach overcomes the notorious data sparsity and cold-start problems, yielding significant gains in terms of users' quality-of-experience (QoE) and backhaul offloading, with gains reaching up to $22\%$ in a setting consisting of four small cell base stations.


title: A Climate Network Based Stability Index for El Ni\~no Variability

abstract: Most of the existing prediction methods gave a false alarm regarding the El Ni\~no event in 2014. A crucial aspect is currently limiting the success of such predictions, i.e. the stability of the slowly varying Pacific climate. This property determines whether sea surface temperature perturbations will be amplified by coupled ocean-atmosphere feedbacks or not. The so-called Bjerknes stability index has been developed for this purpose, but its evaluation is severely constrained by data availability. Here we present a new promising background stability index based on complex network theory. This index efficiently monitors the changes in spatial correlations in the Pacific climate and can be evaluated by using only sea surface temperature data.


title: Endomorphism algebras of semi-tilting modules

abstract: Let $A$ be a finite dimensional algebra over an algebraically closed field $k$. We investigate the structure properties of the endomorphism algebras of semi-tilting $A$-modules, and prove that the endomorphism algebras arising from the mutations of semi-tilting $A$-modules can be realized as the endomorphism algebras of BB-tilting modules.


title: Autonomy Infused Teleoperation with Application to BCI Manipulation

abstract: Robot teleoperation systems face a common set of challenges including latency, low-dimensional user commands, and asymmetric control inputs. User control with Brain-Computer Interfaces (BCIs) exacerbates these problems through especially noisy and erratic low-dimensional motion commands due to the difficulty in decoding neural activity. We introduce a general framework to address these challenges through a combination of computer vision, user intent inference, and arbitration between the human input and autonomous control schemes. Adjustable levels of assistance allow the system to balance the operator's capabilities and feelings of comfort and control while compensating for a task's difficulty. We present experimental results demonstrating significant performance improvement using the shared-control assistance framework on adapted rehabilitation benchmarks with two subjects implanted with intracortical brain-computer interfaces controlling a seven degree-of-freedom robotic manipulator as a prosthetic. Our results further indicate that shared assistance mitigates perceived user difficulty and even enables successful performance on previously infeasible tasks. We showcase the extensibility of our architecture with applications to quality-of-life tasks such as opening a door, pouring liquids from containers, and manipulation with novel objects in densely cluttered environments.


title: Rheological properties of dense granular flows

abstract: Recent progresses in understanding the behavior of dense granular flows are presented. After presenting a bulk rheology of granular materials, I focus on the new developments to account for non-local effects, and on ongoing research concerning the surface rheology and the evolution of mechanical properties for heterogeneous systems.


title: Transferable atomic multipole machine learning models for small organic molecules

abstract: Accurate representation of the molecular electrostatic potential, which is often expanded in distributed multipole moments, is crucial for an efficient evaluation of intermolecular interactions. Here we introduce a machine learning model for multipole coefficients of atom types H, C, O, N, S, F, and Cl in any molecular conformation. The model is trained on quantum chemical results for atoms in varying chemical environments drawn from thousands of organic molecules. Multipoles in systems with neutral, cationic, and anionic molecular charge states are treated with individual models. The models' predictive accuracy and applicability are illustrated by evaluating intermolecular interaction energies of nearly 1,000 dimers and the cohesive energy of the benzene crystal.


title: Signatures of pairing and spin-orbit coupling in correlation functions of Fermi gases

abstract: We derive expressions for spin and density correlation functions in the (greatly enhanced) pseudogap phase of spin-orbit coupled Fermi superfluids. Density-density correlation functions are found to be relatively insensitive to the presence of these Rashba effects. To arrive at spin-spin correlation functions we derive new $f$-sum rules, valid even in the absence of a spin conservation law. Our spin-spin correlation functions are shown to be fully consistent with these $f$-sum rules. Importantly, they provide a clear signature of the Rashba band-structure and separately help to establish the presence of a pseudogap.


title: Search for H to $ \mathrm{b\bar{b}}$ in association with single top quarks as a test of Higgs boson couplings

abstract: The production of a Higgs boson in association with a single top quark is one of a few channels which are sensitive for not yet excluded anomalous couplings of the Higgs boson to fermions. Multivariate analysis tools are used for the reconstruction and classification of signal events, where the Higgs boson decays into bottom quarks and the single top quark decays leptonically. In this conference report the most recent results at time of the conference using the full dataset recorded by the CMS detector at 8 TeV are presented.


title: Minimum distance of Symplectic Grassmann codes

abstract: We introduce the Symplectic Grassmann codes as projective codes defined by symplectic Grassmannians, in analogy with the orthogonal Grassmann codes introduced in [4]. Note that the Lagrangian-Grassmannian codes are a special class of Symplectic Grassmann codes. We describe the weight enumerator of the Lagrangian--Grassmannian codes of rank $2$ and $3$ and we determine the minimum distance of the line Symplectic Grassmann codes.


title: Solar wind turbulence from MHD to sub-ion scales: high-resolution hybrid simulations

abstract: We present results from a high-resolution and large-scale hybrid (fluid electrons and particle-in-cell protons) two-dimensional numerical simulation of decaying turbulence. Two distinct spectral regions (separated by a smooth break at proton scales) develop with clear power-law scaling, each one occupying about a decade in wave numbers. The simulation results exhibit simultaneously several properties of the observed solar wind fluctuations: spectral indices of the magnetic, kinetic, and residual energy spectra in the magneto-hydrodynamic (MHD) inertial range along with a flattening of the electric field spectrum, an increase in magnetic compressibility, and a strong coupling of the cascade with the density and the parallel component of the magnetic fluctuations at sub-proton scales. Our findings support the interpretation that in the solar wind large-scale MHD fluctuations naturally evolve beyond proton scales into a turbulent regime that is governed by the generalized Ohm's law.


title: Deception by Design: Evidence-Based Signaling Games for Network Defense

abstract: Deception plays a critical role in the financial industry, online markets, national defense, and countless other areas. Understanding and harnessing deception - especially in cyberspace - is both crucial and difficult. Recent work in this area has used game theory to study the roles of incentives and rational behavior. Building upon this work, we employ a game-theoretic model for the purpose of mechanism design. Specifically, we study a defensive use of deception: implementation of honeypots for network defense. How does the design problem change when an adversary develops the ability to detect honeypots? We analyze two models: cheap-talk games and an augmented version of those games that we call cheap-talk games with evidence, in which the receiver can detect deception with some probability. Our first contribution is this new model for deceptive interactions. We show that the model includes traditional signaling games and complete information games as special cases. We also demonstrate numerically that deception detection sometimes eliminate pure-strategy equilibria. Finally, we present the surprising result that the utility of a deceptive defender can sometimes increase when an adversary develops the ability to detect deception. These results apply concretely to network defense. They are also general enough for the large and critical body of strategic interactions that involve deception.


title: Hypoelliptic Diffusion Maps I: Tangent Bundles

abstract: We introduce the concept of Hypoelliptic Diffusion Maps (HDM), a framework generalizing Diffusion Maps in the context of manifold learning and dimensionality reduction. Standard non-linear dimensionality reduction methods (e.g., LLE, ISOMAP, Laplacian Eigenmaps, Diffusion Maps) focus on mining massive data sets using weighted affinity graphs; Orientable Diffusion Maps and Vector Diffusion Maps enrich these graphs by attaching to each node also some local geometry. HDM likewise considers a scenario where each node possesses additional structure, which is now itself of interest to investigate. Virtually, HDM augments the original data set with attached structures, and provides tools for studying and organizing the augmented ensemble. The goal is to obtain information on individual structures attached to the nodes and on the relationship between structures attached to nearby nodes, so as to study the underlying manifold from which the nodes are sampled. In this paper, we analyze HDM on tangent bundles, revealing its intimate connection with sub-Riemannian geometry and a family of hypoelliptic differential operators. In a later paper, we shall consider more general fibre bundles.


title: Effective spectrum width of the synchrotron radiation

abstract: For an exact quantitative description of spectral properties of synchrotron radiation (SR), the concept of effective width of the spectrum is introduced. In the most interesting case, which corresponds to the ultrarelativistic limit of SR, the effective width of the spectrum is calculated for the polarization components, and new physically important quantitative information on the structure of spectral distributions is obtained. For the first time, the spectral distribution for the circular polarization component of the SR for the upper half-space is obtained within classical theory.


title: Inner functions and operator theory

abstract: This tutorial paper presents a survey of results, both classical and new, linking inner functions and operator theory. Topics discussed include invariant subspaces, universal operators, Hankel and Toeplitz operators, model spaces, truncated Toeplitz operators, restricted shifts, numerical ranges, and interpolation.


title: Massless ground state for a compact SU(2) matrix model in 4D

abstract: We show the existence and uniqueness of a massless supersymmetric ground state wavefunction of a SU(2) matrix model in a bounded smooth domain with Dirichlet boundary conditions. This is a gauge system and we provide a new framework to analyze the quantum spectral properties of this class of supersymmetric matrix models subject to constraints which can be generalized for arbitrary number of colors.


title: Numerical simulations of super-luminous supernovae of type IIn

abstract: We present numerical simulations that include 1-D Eulerian multi-group radiation-hydrodynamics, 1-D non-LTE radiative transfer, and 2-D polarised radiative transfer for super-luminous interacting supernovae (SNe). Our reference model is a ~10Msun inner shell with 10^51erg ramming into a ~3Msun cold outer shell (the circumstellar-medium, or CSM) that extends from 10^15cm to 2x10^16cm and moves at 100km/s. We discuss the light curve evolution, which cannot be captured adequately with a grey approach. In these interactions, the shock-crossing time through the optically-thick CSM is much longer than the photon diffusion time. Radiation is thus continuously leaking from the shock through the CSM, in disagreement with the shell-shocked model that is often invoked. Our spectra redden with time, with a peak distribution in the near-UV during the first month gradually shifting to the optical range over the following year. Initially Balmer lines exhibit a narrow line core and the broad line wings that are characteristic of electron scattering in the SNe IIn atmospheres (CSM). At later times they also exhibit a broad blue shifted component which arises from the cold dense shell. Our model results are broadly consistent with the bolometric light curve and spectral evolution observed for SN2010jl. Invoking a prolate pole-to-equator density ratio in the CSM, we can also reproduce the ~2% continuum polarisation, and line depolarisation, observed in SN2010jl. By varying the inner shell kinetic energy and the mass and extent of the outer shell, a large range of peak luminosities and durations, broadly compatible with super-luminous SNe IIn like 2010jl or 2006gy, can be produced.


title: A distributed-memory package for dense Hierarchically Semi-Separable matrix computations using randomization

abstract: We present a distributed-memory library for computations with dense structured matrices. A matrix is considered structured if its off-diagonal blocks can be approximated by a rank-deficient matrix with low numerical rank. Here, we use Hierarchically Semi-Separable representations (HSS). Such matrices appear in many applications, e.g., finite element methods, boundary element methods, etc. Exploiting this structure allows for fast solution of linear systems and/or fast computation of matrix-vector products, which are the two main building blocks of matrix computations. The compression algorithm that we use, that computes the HSS form of an input dense matrix, relies on randomized sampling with a novel adaptive sampling mechanism. We discuss the parallelization of this algorithm and also present the parallelization of structured matrix-vector product, structured factorization and solution routines. The efficiency of the approach is demonstrated on large problems from different academic and industrial applications, on up to 8,000 cores. This work is part of a more global effort, the STRUMPACK (STRUctured Matrices PACKage) software package for computations with sparse and dense structured matrices. Hence, although useful on their own right, the routines also represent a step in the direction of a distributed-memory sparse solver.


title: Ultrafast Plasmonic Control of Second Harmonic Generation

abstract: Efficient frequency conversion techniques are crucial to the development of plasmonic metasurfaces for information processing and signal modulation. In principle, nanoscale electric-field confinement in nonlinear materials enables higher harmonic conversion efficiencies per unit volume than those attainable in bulk materials. Here we demonstrate efficient second-harmonic generation (SHG) in a serrated nanogap plasmonic geometry that generates steep electric field gradients on a dielectric metasurface. An ultrafast pump is used to control plasmon-induced electric fields in a thin-film material with inversion symmetry that, without plasmonic enhancement, does not exhibit an an even-order nonlinear optical response. The temporal evolution of the plasmonic near-field is characterized with ~100as resolution using a novel nonlinear interferometric technique. The ability to manipulate nonlinear signals in a metamaterial geometry as demonstrated here is indispensable both to understanding the ultrafast nonlinear response of nanoscale materials, and to producing active, optically reconfigurable plasmonic devices


title: Lagrangian Quantum Homology for Lagrangian cobordism

abstract: We extend the definition of Lagrangian quantum homology to monotone Lagrangian cobordism and establish its general algebraic properties. In particular we develop a relative version of Lagrangian quantum homology associated to a cobordism relative to a part of its boundary and study relations of this invariant to the ambient quantum homology.


title: Measurements of the ZZ production cross sections in the 2 l 2 nu channel in proton-proton collisions at sqrt(s) = 7 and 8 TeV and combined constraints on triple gauge couplings

abstract: Measurements of the ZZ production cross sections in proton-proton collisions at center-of-mass energies of 7 and 8 TeV are presented. Candidate events for the leptonic decay mode ZZ to 2 l 2 nu, where l denotes an electron or a muon, are reconstructed and selected from data corresponding to an integrated luminosity of 5.1 (19.6) inverse femtobarns at 7 (8) TeV collected with the CMS experiment. The measured cross sections, sigma(pp to ZZ) = 5.1 -1.4 +1.5 (stat) -1.1 +1.4 (syst) +/- 0.1 (lumi) pb at 7 TeV, and 7.2 -0.8 +0.8 (stat.) -1.5 +1.9 (syst) +/- 0.2 (lumi) pb at 8 TeV, are in good agreement with the standard model predictions with next-to-leading-order accuracy. The selected data are analyzed to search for anomalous triple gauge couplings involving the ZZ final state. In the absence of any deviation from the standard model predictions, limits are set on the relevant parameters. These limits are then combined with the previously published CMS results for ZZ in 4 l final states, yielding the most stringent constraints on the anomalous couplings.


title: Sharp numerical inclusion of the best constant for embedding $H_{0}^{1}(\Omega) \hookrightarrow L^{p}(\Omega)$ on bounded convex domain

abstract: In this paper, we propose a verified numerical method for obtaining a sharp inclusion of the best constant for the embedding $H_{0}^{1}(\Omega) \hookrightarrow L^{p}(\Omega)$ on bounded convex domain in $\mathbb{R}^{2}$. We estimate the best constant by computing the corresponding extremal function using a verified numerical computation. Verified numerical inclusions of the best constant on a square domain are presented.


title: Noncommutative Reissner-Nordstr{\o}m Black hole

abstract: A deformed embedding of the Reissner-Nordstr{\o}m spacetime is constructed within the framework of a noncommutative Riemannian geometry. We find noncommutative corrections to the usual Riemannian expressions for the metric and curvature tensors, which, in the case of the metric, are valid to all orders in the deformation parameter. We calculate the area of the event horizon of the corresponding noncommutative R-N black-hole, obtaining corrections up to fourth order in the deformation parameter for the area of the black-hole. Finally we include some comments on the noncommutative version on one of the second order scalar invariants of the Riemann tensor, the so called Kretschmann invariant, a quantity regularly used in order to extend gravity to quantum level.


title: Large dynamic light-matter entanglement from driving neither too fast nor too slow

abstract: A significant problem facing next-generation quantum technologies is how to generate and manipulate macroscopic entanglement in light and matter systems. Here we report a new regime of dynamical light-matter behavior in which a giant, system-wide entanglement is generated by varying the light-matter coupling at \emph{intermediate} velocities. This enhancement is far larger and broader-ranged than that occurring near the quantum phase transition of the same model under adiabatic conditions. By appropriate choices of the coupling within this intermediate regime, the enhanced entanglement can be made to spread system-wide or to reside in each subsystem separately.


title: Shared latent subspace modelling within Gaussian-Binary Restricted Boltzmann Machines for NIST i-Vector Challenge 2014

abstract: This paper presents a novel approach to speaker subspace modelling based on Gaussian-Binary Restricted Boltzmann Machines (GRBM). The proposed model is based on the idea of shared factors as in the Probabilistic Linear Discriminant Analysis (PLDA). GRBM hidden layer is divided into speaker and channel factors, herein the speaker factor is shared over all vectors of the speaker. Then Maximum Likelihood Parameter Estimation (MLE) for proposed model is introduced. Various new scoring techniques for speaker verification using GRBM are proposed. The results for NIST i-vector Challenge 2014 dataset are presented.


title: Twisted complex superfluids in optical lattices

abstract: We show that correlated pair tunneling drives a phase transition to a twisted superfluid with a complex order parameter. This unconventional superfluid phase spontaneously breaks the time-reversal symmetry and is characterized by a twisting of the complex phase angle between adjacent lattice sites. We discuss the entire phase diagram of the extended Bose--Hubbard model for a honeycomb optical lattice showing a multitude of quantum phases including twisted superfluids, pair superfluids, supersolids and twisted supersolids. Furthermore, we show that the nearest-neighbor interactions lead to a spontaneous breaking of the inversion symmetry of the lattice and give rise to dimerized density-wave insulators, where particles are delocalized on dimers. For two components, we find twisted superfluid phases with strong correlations between the species already for surprisingly small pair-tunneling amplitudes. Interestingly, this ground state shows an infinite degeneracy ranging continuously from a supersolid to a twisted superfluid.


title: The holomorphic couch theorem

abstract: We prove that if two conformal embeddings between Riemann surfaces with finite topology are homotopic, then they are isotopic through conformal embeddings. Furthermore, we show that the space of all conformal embeddings in a given homotopy class deformation retracts into a point, a circle, a torus, or the unit tangent bundle of the codomain, depending on the induced homomorphism on fundamental groups. Quadratic differentials play a central role in the proof.


title: Voltage dependence of rate functions for Na+ channel inactivation within a membrane

abstract: The inactivation of a Na+ channel occurs when the activation of the charged S4 segment of domain DIV is followed by the binding of an intracellular hydrophobic motif which blocks conduction through the ion pore. The voltage dependence of Na+ channel inactivation is, in general, dependent on the rate functions of the S4 sensors of each of the domains DI to DIV. If the activation of a single voltage sensor that regulates the Na+ channel conductance is coupled to a two-stage inactivation process, the rate functions for inactivation and recovery from inactivation, as well as the time dependence of the Na+ current in terms of the variables m(t) and h(t), may be derived from a solution to the master equation for interdependent activation and inactivation. The rate functions have a voltage dependence that is consistent with the Hodgkin-Huxley empirically determined expressions, and exhibit saturation for both depolarized and hyperpolarized clamp potentials.


title: Almost-sure hedging with permanent price impact

abstract: We consider a financial model with permanent price impact. Continuous time trading dynamics are derived as the limit of discrete rebalancing policies. We then study the problem of super-hedging a European option. Our main result is the derivation of a quasi-linear pricing equation. It holds in the sense of viscosity solutions. When it admits a smooth solution, it provides a perfect hedging strategy.


title: The analytical solution of the Laplace equation with the Robin boundary conditions on a sphere: Applications to some inverse problems

abstract: This paper studies the third boundary problem of the Laplace equation with azimuthal symmetry.Many solutions of the boundary value problems in spherical coordinates are available in the form of infinite series of Legendre polynomials but the evaluation of the summing series shows many computational difficulties. Integral transform is a challenge as it involves an inverse Legendre transform. Here, the closed-form solution of the Laplace equation with the Robin boundary conditions on a sphere is solved by the Legendre transform. This analytical solution is expressed with the Appell hypergeometric function F1. The Robin boundary conditions is a weighted combination of Dirichlet boundary conditions and Neumann boundary conditions. In many experimental approaches, this weight h, the Robin coefficient, is the main unknown parameter for example in transport phenomena where the Robin coefficient is the dimensionless Biot number. The usefulness of this formula is illustrated by some examples of inverse problems in mass and heat transfer, in optics, in corrosion detection and in physical geodesy.


title: Replacing the Soft FEC Limit Paradigm in the Design of Optical Communication Systems

abstract: The FEC limit paradigm is the prevalent practice for designing optical communication systems to attain a certain bit-error rate (BER) without forward error correction (FEC). This practice assumes that there is an FEC code that will reduce the BER after decoding to the desired level. In this paper, we challenge this practice and show that the concept of a channel-independent FEC limit is invalid for soft-decision bit-wise decoding. It is shown that for low code rates and high order modulation formats, the use of the soft FEC limit paradigm can underestimate the spectral efficiencies by up to 20%. A better predictor for the BER after decoding is the generalized mutual information, which is shown to give consistent post-FEC BER predictions across different channel conditions and modulation formats. Extensive optical full-field simulations and experiments are carried out in both the linear and nonlinear transmission regimes to confirm the theoretical analysis.


title: A "bottom up" characterization of smooth Deligne-Mumford stacks

abstract: In casual discussion, a stack is often described as a variety (the coarse space) together with stabilizer groups attached to some of its subvarieties. However, this description does not uniquely specify the stack. Our main result shows that for a large class of stacks one typically encounters, this description does indeed characterize them. Moreover, we prove that each such stack can be described in terms of two simple procedures applied iteratively to its coarse space: canonical stack constructions and root stack constructions. More precisely, if $\mathcal X$ is a smooth separated tame Deligne-Mumford stack of finite type over a field $k$ with trivial generic stabilizer, it is completely determined by its coarse space $X$ and the ramification divisor (on $X$) of the coarse space morphism $\pi\colon \mathcal X \to X$. Therefore, to specify such a stack, it is enough to specify a variety and the orders of the stabilizers of codimension 1 points. The group structures, as well as the stabilizer groups of higher codimension points, are then determined.


title: Interpolating Convex and Non-Convex Tensor Decompositions via the Subspace Norm

abstract: We consider the problem of recovering a low-rank tensor from its noisy observation. Previous work has shown a recovery guarantee with signal to noise ratio $O(n^{\lceil K/2 \rceil /2})$ for recovering a $K$th order rank one tensor of size $n\times \cdots \times n$ by recursive unfolding. In this paper, we first improve this bound to $O(n^{K/4})$ by a much simpler approach, but with a more careful analysis. Then we propose a new norm called the subspace norm, which is based on the Kronecker products of factors obtained by the proposed simple estimator. The imposed Kronecker structure allows us to show a nearly ideal $O(\sqrt{n}+\sqrt{H^{K-1}})$ bound, in which the parameter $H$ controls the blend from the non-convex estimator to mode-wise nuclear norm minimization. Furthermore, we empirically demonstrate that the subspace norm achieves the nearly ideal denoising performance even with $H=O(1)$.


title: Convergence of Structured Quadratic Forms With Application to Theoretical Performances of Adaptive Filters in Low Rank Gaussian Context

abstract: This paper addresses the problem of deriving the asymptotic performance of adaptive Low Rank (LR) filters used in target detection embedded in a disturbance composed of a LR Gaussian noise plus a white Gaussian noise. In this context, we use the Signal to Interference to Noise Ratio (SINR) loss as performance measure which is a function of the estimated projector onto the LR noise subspace. However, although the SINR loss can be determined through Monte-Carlo simulations or real data, this process remains quite time consuming. Thus, this paper proposes to predict the SINR loss behavior in order to not depend on the data anymore and be quicker. To derive this theoretical result, previous works used a restrictive hypothesis assuming that the target is orthogonal to the LR noise. In this paper, we propose to derive this theoretical performance by relaxing this hypothesis and using Random Matrix Theory (RMT) tools. These tools will be used to present the convergences of simple quadratic forms and perform new RMT convergences of structured quadratic forms and SINR loss in the large dimensional regime, i.e. the size and the number of the data tend to infinity at the same rate. We show through simulations the interest of our approach compared to the previous works when the restrictive hypothesis is no longer verified.


title: Strategy Implementation for the CTA Atmospheric Monitoring Program

abstract: The Cherenkov Telescope Array (CTA) is the next generation facility of Imaging Atmospheric Cherenkov Telescopes. It will reach unprecedented sensitivity and energy resolution in very-high-energy gamma-ray astronomy. CTA will detect Cherenkov light emitted within an atmospheric shower of particles initiated by cosmic-gamma rays or cosmic rays entering the Earth's atmosphere. From the combination of images the Cherenkov light produces in the telescopes, one is able to infer the primary particle energy and direction. A correct energy estimation can be thus performed only if the local atmosphere is well characterized. The atmosphere not only affects the shower development itself, but also the Cherenkov photon transmission from the emission point in the particle shower, at about 10-20 km above the ground, to the detector. Cherenkov light on the ground is peaked in the UV-blue region, and therefore molecular and aerosol extinction phenomena are important. The goal of CTA is to control systematics in energy reconstruction to better than 10%. For this reason, a careful and continuous monitoring and characterization of the atmosphere is required. In addition, CTA will be operated as an observatory, with data made public along with appropriate analysis tools. High-level data quality can only be ensured if the atmospheric properties are consistently and continuously taken into account. In this contribution, we concentrate on discussing the implementation strategy for the various atmospheric monitoring instruments currently under discussion in CTA. These includes Raman lidars and ceilometers, stellar photometers and others available both from commercial providers and public research centres.


title: Super-Hydrophobic Multi-Walled Carbon Nanotube Coatings for Stainless Steel

abstract: We have taken advantage of the native surface roughness and the iron content of AISI 316 stainless steel to direct grow multi-walled carbon nanotube (MWCNT) random networks by chemical vapor deposition (CVD) at low-temperature ($< 1000^{\circ}$C), without the addition of any external catalysts or time-consuming pre-treatments. In this way, super-hydrophobic MWCNT films on stainless steel sheets were obtained, exhibiting high contact angle values ($154^{\circ}$) and high adhesion force (high contact angle hysteresis). Furthermore, the investigation of MWCNT films at scanning electron microscopy (SEM) reveals a two-fold hierarchical morphology of the MWCNT random networks made of hydrophilic carbonaceous nanostructures on the tip of hydrophobic MWCNTs. Owing to the Salvinia effect, the hydrophobic and hydrophilic composite surface of the MWCNT films supplies a stationary super-hydrophobic coating for conductive stainless steel. This biomimetical inspired surface not only may prevent corrosion and fouling but also could provide low-friction and drag-reduction.


title: Vacuum energy and the cosmological constant

abstract: The accelerating expansion of the Universe points to a small positive value for the cosmological constant or vacuum energy density. We discuss recent ideas that the cosmological constant plus LHC results might hint at critical phenomena near the Planck scale.


title: A radio jet drives a molecular and atomic gas outflow in multiple regions within one square kiloparsec of the nucleus of the nearby galaxy IC5063

abstract: We analyzed near-infrared data of the nearby galaxy IC5063 taken with the Very Large Telescope SINFONI instrument. IC5063 is an elliptical galaxy that has a radio jet nearly aligned with the major axis of a gas disk in its center. The data reveal multiple signatures of molecular and atomic gas that has been kinematically distorted by the passage of the jet plasma or cocoon within an area of ~1 kpc^2. Concrete evidence that the interaction of the jet with the gas causes the gas to accelerate comes from the detection of outflows in four different regions along the jet trail: near the two radio lobes, between the radio emission tip and the optical narrow-line-region cone, and at a region with diffuse 17.8 GHz emission midway between the nucleus and the north radio lobe. The outflow in the latter region is biconical, centered 240 pc away from the nucleus, and oriented perpendicularly to the jet trail. The diffuse emission that is observed as a result of the gas entrainment or scattering unfolds around the trail and away from the nucleus with increasing velocity. It overall extends for >700 pc parallel and perpendicular to the trail. Near the outflow starting points, the gas has a velocity excess of 600 km/s to 1200 km/s with respect to ordered motions, as seen in [FeII], Pa alpha, or H2 lines. High H2 (1-0) S(3)/S(1) flux ratios indicate non-thermal excitation of gas in the diffuse outflow.


title: Petri Net Modeling of the Brain Circuit Involved in Aggressive Behavior

abstract: The purpose of this work in to demonstrate the initial results of a research project having as its goal to develop dynamic models of the brain network involved in aggressive behavior. In this way, the complex neural process correlated to basic anger emotions and resulting in aggressive behaviors is purportedly schematized by the use of Petri nets, a work-flow computational tool. Initially, the modeling technique is introduced taking into account the most recent and accepted notion of the neural substrates of emotions, particularly the brain structures involved in the aggression neural network, including their inputs, outputs, and internal connectivity. In order to optimally represent these structures, their connections, and temporal dynamics, the Petri net foundations employed in the simulation theory are defined. Finally, the model and dynamic simulation of the neural process associated with aggressive behavior is presented and evaluated as a feasible in silico experimental support of the Patterned-Process Theory.


title: Molecular recognition by van der Waals interaction between polymers with sequence-specific polarizabilities

abstract: We analyze van der Waals interactions between two rigid polymers with sequence-specific, anisotropic polarizabilities along the polymer backbones, so that the dipole moments fluctuate parallel to the polymer backbones. Assuming that each polymer has a quenched-in polarizability sequence which reflects, for example, the polynucleotide sequence of a double-stranded DNA molecule, we study the van der Waals interaction energy between a pair of such polymers with rod-like structure for the cases where their respective polarizability sequences are (i) distinct and (ii) identical, with both zero and non-zero correlation length of the polarizability correlator along the polymer backbones in the latter case. For identical polymers, we find a novel $r^{-5}$ scaling behavior of the van der Waals interaction energy for small inter-polymer separation $r$, in contradistinction to the $r^{-4}$ scaling behavior of distinct polymers, with furthermore a pronounced angular dependence favoring attraction between sufficiently aligned identical polymers. Such behavior can assist the molecular recognition between polymers.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.stat-mech physics.bio-ph physics.chem-ph


title: Premixed Flame Dynamics in Narrow 2D Channels

abstract: Premixed flames propagating within small channels show complex combustion phenomena that differ from flame propagation at conventional scales. Available experimental and numerical studies have documented stationary/non-stationary and/or asymmetric modes that depend on properties of the incoming reactant flow as well as channel geometry and wall temperatures. The present work seeks to illuminate mechanisms leading to symmetry-breaking and limit cycle behavior that are fundamental to these combustion modes. Specifically, four cases of lean premixed methane/air combustion -- two equivalence ratios (0.53 and 0.7) and two channel widths (2 and 5mm) -- are investigated in a 2D configuration with constant channel length and bulk inlet velocity, where numerical simulations are performed using detailed chemistry. External wall heating is simulated by imposing a linear temperature gradient as a boundary condition on both walls. In the 2mm-channel, both equivalence ratios produce flames that stabilize with symmetric flame fronts after propagating upstream. In the 5mm-channel, flame fronts start symmetric, although symmetry is broken almost immediately after ignition. Further, 5mm channels produce instationary combustion modes with dramatically different limit cycles: : in the leaner case ({\phi} = 0.53), the asymmetric flame front flops periodically, whereas in the richer case ({\phi} = 0.7), flames with repetitive extinctions and ignitions (FREI) are observed. In order to provide insights into mechanisms responsible for flame dynamics, reaction fronts and flame fronts are captured and differentiated. Results show that the loss of flame front symmetry originates in a region where negative stretch rates close to the flame cusp show large gradients/curvatures; thus, symmetry-breaking is attributed to a hydrodynamic instability. Limit cycle behavior is [...]


title: Bootstrapping Time Dilation Decoherence

abstract: We present a general relativistic model of a spherical shell of matter with a perfect fluid on its surface coupled to an internal oscillator, which generalizes a model recently introduced by the authors to construct a self-gravitating interferometer [1]. The internal oscillator evolution is defined with respect to the local proper time of the shell, allowing the oscillator to serve as a local clock that ticks differently depending on the shell's position and momentum. A Hamiltonian reduction is performed on the system, and an approximate quantum description is given to the reduced phase space. If we focus only on the external dynamics, we must trace out the clock degree of freedom, and this results in a form of intrinsic decoherence that shares some features with a proposed "universal" decoherence mechanism attributed to gravitational time dilation [2]. We note that the proposed decoherence remains present in the (gravity-free) limit of flat spacetime, emphasizing that the effect can be attributed entirely to proper time differences, and thus is not necessarily related to gravity. Whereas the effect described in [2] vanishes in the absence of an external gravitational field, our approach bootstraps the gravitational contribution to the time dilation decoherence by including self-interaction, yielding a fundamentally gravitational intrinsic decoherence effect.


title: Note on infinite iterated crossed products of Hopf algebras and the Drinfeld double

abstract: For a finite dimensional Hopf algebra we show that an associated natural inclusion of infinite crossed products is the crossed product by the Drinfeld double, and that this is a characterisation of the double.


title: Synchronization and phase redistribution in self-replicating populations of coupled oscillators and excitable elements

abstract: We study the dynamics of phase synchronization in growing populations of discrete phase oscillatory systems when the division process is coupled to the distribution of oscillator phases. Using mean field theory, linear stability analysis, and numerical simulations, we demonstrate that coupling between population growth and synchrony can lead to a wide range of dynamical behavior, including extinction of synchronized oscillations, the emergence of asynchronous states with unequal state (phase) distributions, bistability between oscillatory and asynchronous states or between two asynchronous states, a switch between continuous (supercritical) and discontinuous (subcritical) transitions, and modulation of the frequency of bulk oscillations.


title: Prospects of Heavy Neutrino Searches at Future Lepton Colliders

abstract: We discuss the future prospects of heavy neutrino searches at next generation lepton colliders. In particular, we focus on the planned electron-positron colliders, operating in two different beam modes, namely, $e^+e^-$ and $e^-e^-$. In the $e^+e^-$ beam mode, we consider various production and decay modes of the heavy neutrino ($N$), and find that the final state with $e+2j+{E\!\!\!/}_T$, arising from the $e^+e^-\to N\nu$ production mode, is the most promising channel. However, since this mode is insensitive to the Majorana nature of the heavy neutrinos, we also study a new production channel $e^+e^-\to Ne^\pm W^\mp$, which leads to a same-sign dilepton plus four jet final state, thus directly probing the lepton number violation in $e^+e^-$ colliders. In the $e^-e^-$ beam mode, we study the prospects of the lepton number violating process of $e^-e^-\to W^-W^-$, mediated by a heavy Majorana neutrino. We use both cut-based and multivariate analysis techniques to make a realistic calculation of the relevant signal and background events, including detector effects for a generic linear collider detector. We find that with the cut-based analysis, the light-heavy neutrino mixing parameter $|V_{eN}|^2$ can be probed down to $\sim 10^{-4}$ at 95\% C.L. for the heavy neutrino mass up to $400$ GeV or so at $\sqrt s=500$ GeV with $100 \rm{fb}^{-1}$ of integrated luminosity. For smaller mixing values, we show that a multivariate analysis can improve the signal significance by up to an order of magnitude. These limits will be at least an order of magnitude better than the current best limits from electroweak precision data, as well as the projected limits from $\sqrt s=14$ TeV LHC.


title: Tensor Product of $C$-Injective Modules

abstract: Let $R$ be a Noetherian ring and let $C$ be a semidualizing $R$-module. In this paper, we are concerned with the tensor and torsion product of $C$-injective modules. Firstly, it is shown that the tensor product of any two $C$-injective $R$-modules is $C$-injective if and only if the injective hull of $C$ is $C$-flat. Secondly, it is proved that $C$ is a pointwise dualizing $R$-module if and only if $Tor^R_i(M,N)$ is $C$-injective for all $C$-injective $R$-modules $M$ and $N$, and all $ i \geq 0$. These results recover the celebrated theorems of Enochs and Jenda \cite{EJ2}.


title: Testability Measurement Model for Object Oriented Design (TMMOOD)

abstract: Measuring testability early in the development life cycle especially at design phase is a criterion of crucial importance to software designers, developers, quality controllers and practitioners. However, most of the mechanism available for testability measurement may be used in the later phases of development life cycle. Early estimation of testability, absolutely at design phase helps designers to improve their designs before the coding starts. Practitioners regularly advocate that testability should be planned early in design phase. Testability measurement early in design phase is greatly emphasized in this study; hence, considered significant for the delivery of quality software. As a result, it extensively reduces rework during and after implementation, as well as facilitate for design effective test plans, better project and resource planning in a practical manner, with a focus on the design phase. An effort has been put forth in this paper to recognize the key factors contributing in testability measurement at design phase. Additionally, testability measurement model is developed to quantify software testability at design phase. Furthermore, the relationship of Testability with these factors has been tested and justified with the help of statistical measures. The developed model has been validated using experimental tryout. Finally, it incorporates the empirical validation of the testability measurement model as the authors most important contribution.


title: The projection spectral theorem and Jacobi fields

abstract: We review several applications of Berezansky's projection spectral theorem to Jacobi fields in a symmetric Fock space, which lead to L\'evy white noise measures.


title: On evaluation of ShARP passive rainfall retrievals over snow-covered land surfaces and coastal zones

abstract: For precipitation retrievals over land, using satellite measurements in microwave bands, it is important to properly discriminate the weak rainfall signals from strong and highly variable background surface emission. Traditionally, land rainfall retrieval methods often rely on a weak signal of rainfall scattering on high-frequency channels (85 GHz) and make use of empirical thresholding and regression-based techniques. Due to the increased ground surface signal interference, precipitation retrieval over radiometrically complex land surfaces, especially over snow-covered lands, deserts and coastal areas, is of particular challenge for this class of retrieval techniques. This paper evaluates the results by the recently proposed Shrunken locally linear embedding Algorithm for Retrieval of Precipitation (ShARP), over a radiometrically complex terrain and coastal areas using the data provided by the Tropical Rainfall Measuring Mission (TRMM) satellite. To this end, the ShARP retrieval experiments are performed over a region in Southeast Asia, partly covering the Tibetan Highlands, Himalayas, Ganges-Brahmaputra-Meghna river basins and its delta. We elucidate promising results by ShARP over snow covered land surfaces and at the vicinity of coastlines, in comparison with the land rainfall retrievals of the standard TRMM-2A12 product. Specifically, using the TRMM-2A25 radar product as a reference, we provide evidence that the ShARP algorithm can significantly reduce the rainfall over estimation due to the background snow contamination and markedly improve detection and retrieval of rainfall at the vicinity of coastlines. During the calendar year 2013, we demonstrate that over the study domain the root mean squared difference can be reduced up to 38% annually, while the reduction can reach up to 70% during the cold months.


title: IMP with exceptions over decorated logic

abstract: In this paper, we facilitate the reasoning about impure programming languages, by annotating terms with `decorations' that describe what computational (side) effect evaluation of a term may involve. In a point-free categorical language,called the `decorated logic', we formalize the mutable state and the exception effects first separately, exploiting anice duality between them, and then combined. The combined decorated logic is used as the target language forthe denotational semantics of the IMP+Exc imperative programming language, and allows us to prove equivalencesbetween programs written in IMP+Exc. The combined logic is encoded in Coq, and this encoding is used to certifysome program equivalence proofs.


title: Amenable groups and smooth topology of 4-manifolds

abstract: A smooth five-dimensional s-cobordism becomes a smooth product if stabilized by a finite number n of $S^2xS^2x[0,1]$'s. We show that for amenable fundamental groups, the minimal n is subextensive in covers, i.e., n(cover)/index(cover) has limit 0. We focus on the notion of sweepout width, which is a bridge between 4-dimensional topology and coarse geometry.


title: Adiabatic Control of Atomic Dressed States for Transport and Sensing

abstract: We describe forms of adiabatic transport that arise for dressed-state atoms in optical lattices. Focussing on the limit of weak tunnel-coupling between nearest-neighbour lattice sites, we explain how adiabatic variation of optical dressing allows control of atomic motion between lattice sites: allowing adiabatic particle transport in a direction that depends on the internal state, and force measurements via spectroscopic preparation and readout. For uniformly filled bands these systems display topologically quantised particle transport.


title: Experimental Quantum Fingerprinting

abstract: Quantum communication holds the promise of creating disruptive technologies that will play an essential role in future communication networks. For example, the study of quantum communication complexity has shown that quantum communication allows exponential reductions in the information that must be transmitted to solve distributed computational tasks. Recently, protocols that realize this advantage using optical implementations have been proposed. Here we report a proof of concept experimental demonstration of a quantum fingerprinting system that is capable of transmitting less information than the best known classical protocol. Our implementation is based on a modified version of a commercial quantum key distribution system using off-the-shelf optical components over telecom wavelengths, and is practical for messages as large as 100 Mbits, even in the presence of experimental imperfections. Our results provide a first step in the development of experimental quantum communication complexity.


title: An inversion formula for transport equation in 3-dimensions using several complex variable analysis

abstract: In this paper, the photon stationary transport equation has been extended from $\mathbb{R}^3$ to $\mathbb{C}^3$. A solution of the inverse problem is obtained on a hyper-sphere and a hyper-cylinder as X-ray and Radon transform, respectively. We show that these results can be transformed into each other and they agree with known results.