title: An improved, easily computable combinatorial lower bound for weighted graph bipartitioning

abstract: There has recently been much progress on exact algorithms for the (un)weighted graph (bi)partitioning problem using branch-and-bound and related methods. In this note we present and improve an easily computable, purely combinatorial lower bound for the weighted bipartitioning problem. The bound is computable in $O(n\log n+m)$ time steps for weighted graphs with $n$ vertices and $m$ edges. In the branch-and-bound setting, the bound for each new subproblem can be updated in $O(n+(m/n)\log n)$ time steps amortized over a series of $n$ branching steps; a rarely triggered tightening of the bound requires search on the graph of unassigned vertices and can take from $O(n+m)$ to $O(nm+n^2\log n)$ steps depending on implementation and possible bound quality. Representing a subproblem uses $O(n)$ space. Although the bound is weak, we believe that it can be advantageous in a parallel setting to be able to generate many subproblems fast, possibly out-weighting the advantages of tighter, but much more expensive (algebraic, spectral, flow) lower bounds. We use a recent priority task-scheduling framework for giving a parallel implementation, and show the relative improvements in bound quality and solution speed by the different contributions of the lower bound. A detailed comparison with standardized input graphs to other lower bounds and frameworks is pending. Detailed investigations of branching and subproblem selection rules are likewise not the focus here, but various options are discussed.


title: Instrumental Variables Before and LATEr

abstract: The modern formulation of the instrumental variable methods initiated the valuable interactions between economics and statistics literatures of causal inference and fueled new innovations of the idea. It helped resolving the long-standing confusion that the statisticians used to have on the method, and encouraged the economists to rethink how to make use of instrumental variables in policy analysis. [arXiv:1410.0163]


title: Condition for emergence of the Floquet-Gibbs state in periodically driven open systems

abstract: We study probability distribution of a steady state of a periodically driven system coupled to a thermal bath by using a quantum master equation in the weak coupling limit. It is proved that, even when the external field is strong, the probability distribution is independent of the detailed nature of the thermal bath under the following conditions: (i) the Hamiltonian of the relevant system is bounded and the period of the driving field is short, (ii) the Hamiltonians for the driving field at different times commute, and (iii) the Hamiltonians of the driving field and of the interaction between the relevant system and the thermal bath commute. It is shown that the steady state is described by the Gibbs distribution of the Floquet states of the relevant system at the temperature of the thermal bath.


title: The VIMOS Public Extragalactic Survey (VIPERS): First Release of spectra

abstract: We release the spectra for the more than 57000 objects presented in the First VIPERS Data Release. For each object we distribute the observed, wavelength and flux calibrated spectrum, as well as cleaned spectra, where artifacts due to fringing are removed. We also provide the sky and noise spectrum and the 2D spectrum. Data can be downloaded from http://vipers.inaf.it.


title: Brauer groups for quiver moduli

abstract: We compute the Brauer groups of several moduli spaces of stable quiver representations.


title: A fractional Helly theorem for boxes

abstract: Let $\mathcal{F}$ be a family of $n$ axis-parallel boxes in $\mathbb{R}^d$ and $\alpha\in (1-1/d,1]$ a real number. There exists a real number $\beta(\alpha )>0$ such that if there are $\alpha {n\choose 2}$ intersecting pairs in $\mathcal{F}$, then $\mathcal{F}$ contains an intersecting subfamily of size $\beta n$. A simple example shows that the above statement is best possible in the sense that if $\alpha \leq 1-1/d$, then there may be no point in $\mathbb{R}^d$ that belongs to more than $d$ elements of $\mathcal{F}$.


title: Spin Operators for Massive Particles

abstract: Since the discovery a century ago, spin describing the intrinsic angular momentum of massive elementary particles has exposed its nature and significant roles in wide ranges of (relativistic) quantum phenomena and practical applications for future quantum technology. Emerging inconsistencies have also disclosed its telltale incomplete description. Finding relativistic spins (operators) of massive particles is a long-standing fundamental problem from the beginning of relativistic quantum mechanics. Here we present the rigorous derivation and the representation of spin operators from the spacetime symmetry. The covariant parity operation, defined by the spin operators, naturally leads to a fundamental equation equivalent to the covariant Dirac equation, which manifests existent relativistic spins. Proper understanding position operator in the Dirac theory on account of the spin operator through total angular momentum predicts no Zitterbewegung as well as conserving orbital and spin currents. The spin operators can be applicable for unraveling the inconsistencies and for exploring unveiled physics of massive particles.


title: A functional central limit theorem for branching random walks, almost sure weak convergence, and applications to random trees

abstract: Let $W_{\infty}(\beta)$ be the limit of the Biggins martingale $W_n(\beta)$ associated to a supercritical branching random walk with mean number of offspring $m$. We prove a functional central limit theorem stating that as $n\to\infty$ the process $$ D_n(u):= m^{\frac 12 n} \left(W_{\infty}\left(\frac{u}{\sqrt n}\right) - W_{n}\left(\frac{u}{\sqrt n}\right) \right) $$ converges weakly, on a suitable space of analytic functions, to a Gaussian random analytic function with random variance. Using this result we prove central limit theorems for the total path length of random trees. In the setting of binary search trees, we recover a recent result of R. Neininger [Refined Quicksort Asymptotics, Rand. Struct. and Alg., to appear], but we also prove a similar theorem for uniform random recursive trees. Moreover, we replace weak convergence in Neininger's theorem by the almost sure weak (a.s.w.) convergence of probability transition kernels. In the case of binary search trees, our result states that $$ L\left\{\sqrt{\frac{n}{2\log n}} \left(EPL_{\infty} - \frac{EPL_n-2n\log n}{n}\right)\Bigg | G_{n}\right\} \to \{\omega\mapsto N_{0,1}\}, \quad \text{a.s.w.},$$ where $EPL_n$ is the external path length of a binary search tree $X_n$ with $n$ vertices, $EPL_{\infty}$ is the limit of the R\'egnier martingale, and $L(\,\cdot\, |G_n)$ denotes the conditional distribution w.r.t. the $\sigma$-algebra $G_n$ generated by $X_1,\ldots,X_n$. A.s.w. convergence is stronger than weak and even stable convergence. We prove several basic properties of the a.s.w. convergence and study a number of further examples in which the a.s.w. convergence appears naturally. These include the classical central limit theorem for Galton-Watson processes and the P\'olya urn.


title: ACE Bounds; SEMs with Equilibrium Conditions

abstract: Discussion of "Instrumental Variables: An Econometrician's Perspective" by Guido W. Imbens [arXiv:1410.0163].


title: PinView: Implicit Feedback in Content-Based Image Retrieval

abstract: This paper describes PinView, a content-based image retrieval system that exploits implicit relevance feedback collected during a search session. PinView contains several novel methods to infer the intent of the user. From relevance feedback, such as eye movements or pointer clicks, and visual features of images, PinView learns a similarity metric between images which depends on the current interests of the user. It then retrieves images with a specialized online learning algorithm that balances the tradeoff between exploring new images and exploiting the already inferred interests of the user. We have integrated PinView to the content-based image retrieval system PicSOM, which enables applying PinView to real-world image databases. With the new algorithms PinView outperforms the original PicSOM, and in online experiments with real users the combination of implicit and explicit feedback gives the best results.


title: Demonstration of a fully tuneable entangling gate for continuous-variable one-way quantum computation

abstract: We introduce a fully tuneable entangling gate for continuous-variable one-way quantum computation. We present a proof-of-principle demonstration by propagating two independent optical inputs through a three-mode linear cluster state and applying the gate in various regimes. The genuine quantum nature of the gate is confirmed by verifying the entanglement strength in the output state. Our protocol can be readily incorporated into efficient multi-mode interaction operations in the context of large-scale one-way quantum computation, as our tuning process is the generalisation of cluster state shaping.


title: Causal Graphs: Addressing the Confounding Problem Without Instruments or Ignorability


title: A travelling wave approach to a multi-agent system with a path-graph topology

abstract: The paper presents a novel approach for the analysis and control of a multi-agent system with non-identical agents and a path-graph topology. With the help of irrational wave transfer functions, the approach describes the interaction among the agents from the `local' perspective and identifies travelling waves in the system. It is shown that different dynamics of the agents creates a virtual boundary that causes a partial reflection of the travelling waves. Undesired effects due to the reflection of the waves, such as amplification/attenuation, long transients or string instability, can be compensated by the feedback controllers introduced in this paper. We show that the controllers achieve asymptotic and even string stability of the system.


title: The Curvature of the Determinant Line Bundle on the Noncommutative Two Torus

abstract: We compute the curvature of the determinant line bundle on a family of Dirac operators for a noncommutative two torus. Following Quillen's original construction for Riemann surfaces and using zeta regularized determinant of Laplacians, one can endow the determinant line bundle with a natural Hermitian metric. By using an analogue of Kontsevich-Vishik canonical trace, defined on Connes' algebra of classical pseudodifferential symbols for the noncommutative two torus, we compute the curvature form of the determinant line bundle by computing the second variation $\delta_{w}\delta_{\bar{w}}\log\det(\Delta)$.


title: SU(3) and Isospin Breaking Effects on B to PPP Amplitudes

abstract: Several modes of $B$ decays into three pseudoscalar octet mesons PPP have been measured. These decays have provided useful information for B decays in the standard model (SM). Some of powerful tools in analyzing B decays are flavor $SU(3)$ and isospin symmetries. Such analyses are usually hampered by $SU(3)$ breaking effects due to a relatively large strange quark mass which breaks SU(3) symmetry down to isospin symmetry. The isospin symmetry also breaks down when up and down quark mass difference is non-zero. It is therefore interesting to find relations which are not sensitive to $SU(3)$ and isospin breaking effects. We find that the relations among several fully-symmetric $B \to PPP$ decay amplitudes are not affected by first order $SU(3)$ breaking effects due to a non-zero strange quark mass, and also some of them are not affected by first isospin breaking effects. These relations, therefore, hold to good precisions. Measurements for these relations can provide important information about B decays in the SM.


title: Think Globally, Act Globally: An Epidemiologist's Perspective on Instrumental Variable Estimation


title: Recognition of Handwritten Bangla Basic Characters and Digits using Convex Hull based Feature Set

abstract: In dealing with the problem of recognition of handwritten character patterns of varying shapes and sizes, selection of a proper feature set is important to achieve high recognition performance. The current research aims to evaluate the performance of the convex hull based feature set, i.e. 125 features in all computed over different bays attributes of the convex hull of a pattern, for effective recognition of isolated handwritten Bangla basic characters and digits. On experimentation with a database of 10000 samples, the maximum recognition rate of 76.86% is observed for handwritten Bangla characters. For Bangla numerals the maximum success rate of 99.45%. is achieved on a database of 12000 sample. The current work validates the usefulness of a new kind of feature set for recognition of handwritten Bangla basic characters and numerals.


title: Hamiltonian formalisms and symmetries of the Pais-Uhlenbeck oscillator

abstract: The study of the symmetry of Pais-Uhlenbeck oscillator initiated in [Nucl. Phys. B 885 (2014) 150] is continued with special emphasis put on the Hamiltonian formalism. The symmetry generators within the original Pais and Uhlenbeck Hamiltonian approach as well as the canonical transformation to the Ostrogradski Hamiltonian framework are derived. The resulting algebra of generators appears to be the central extension of the one obtained on the Lagrangian level; in particular, in the case of odd frequencies one obtains the centrally extended l-conformal Newton-Hooke algebra. In this important case the canonical transformation to an alternative Hamiltonian formalism (related to the free higher derivatives theory) is constructed. It is shown that all generators can be expressed in terms of the ones for the free theory and the result agrees with that obtained by the orbit method.


title: Partial dynamical symmetry and odd-even staggering in deformed nuclei

abstract: Partial dynamical symmetry (PDS) is shown to be relevant for describing the odd-even staggering in the $\gamma$-band of $^{156}$Gd while retaining solvability and good SU(3) symmetry for the ground and $\beta$ bands. Several classes of interacting boson model Hamiltonians with SU(3) PDS are surveyed.


title: Centrality Dependence of Particle Production in p--A collisions measured by ALICE

abstract: We present the centrality dependence of particle production in p-A collisions at sqrt(s_NN) = 5.02 TeV measured by the ALICE experiment, including the pseudo-rapidity and transverse momentum spectra, with a special emphasis on the event classification in centrality classes and its implications for the interpretation of the nuclear effects.


abstract: Rejoinder of "Instrumental Variables: An Econometrician's Perspective" by Guido W. Imbens [arXiv:1410.0163].


title: Tensor products and regularity properties of Cuntz semigroups

abstract: The Cuntz semigroup of a C*-algebra is an important invariant in the structure and classification theory of C*-algebras. It captures more information than K-theory but is often more delicate to handle. We systematically study the lattice and category theoretic aspects of Cuntz semigroups. Given a C*-algebra $A$, its (concrete) Cuntz semigroup $Cu(A)$ is an object in the category $Cu$ of (abstract) Cuntz semigroups, as introduced by Coward, Elliott and Ivanescu. To clarify the distinction between concrete and abstract Cuntz semigroups, we will call the latter $Cu$-semigroups. We establish the existence of tensor products in the category $Cu$ and study the basic properties of this construction. We show that $Cu$ is a symmetric, monoidal category and relate $Cu(A\otimes B)$ with $Cu(A)\otimes_{Cu}Cu(B)$ for certain classes of C*-algebras. As a main tool for our approach we introduce the category $W$ of pre-completed Cuntz semigroups. We show that $Cu$ is a full, reflective subcategory of $W$. One can then easily deduce properties of $Cu$ from respective properties of $W$, e.g. the existence of tensor products and inductive limits. The advantage is that constructions in $W$ are much easier since the objects are purely algebraic. We also develop a theory of $Cu$-semirings and their semimodules. The Cuntz semigroup of a strongly self-absorbing C*-algebra has a natural product giving it the structure of a $Cu$-semiring. We give explicit characterizations of $Cu$-semimodules over such $Cu$-semirings. For instance, we show that a $Cu$-semigroup $S$ tensorially absorbs the $Cu$-semiring of the Jiang-Su algebra if and only if $S$ is almost unperforated and almost divisible, thus establishing a semigroup version of the Toms-Winter conjecture.


title: Topological Minimally Entangled States via Geometric Measure

abstract: Here we show how the Minimally Entangled States (MES) of a 2d system with topological order can be identified using the geometric measure of entanglement. We show this by minimizing this measure for the doubled semion, doubled Fibonacci and toric code models on a torus with non-trivial topological partitions. Our calculations are done either quasi-exactly for small system sizes, or using the tensor network approach in [R. Orus, T.-C. Wei, O. Buerschaper, A. Garcia-Saez, arXiv:1406.0585] for large sizes. As a byproduct of our methods, we see that the minimisation of the geometric entanglement can also determine the number of Abelian quasiparticle excitations in a given model. The results in this paper provide a very efficient and accurate way of extracting the full topological information of a 2d quantum lattice model from the multipartite entanglement structure of its ground states.


title: Brownian motion and gambling: from ratchets to paradoxical games

abstract: Two losing gambling games, when alternated in a periodic or random fashion, can produce a winning game. This paradox has been inspired by certain physical systems capable of rectifying fluctuations: the so-called Brownian ratchets. In this paper we review this paradox, from Brownian ratchets to the most recent studies on collective games, providing some intuitive explanations of the unexpected phenomena that we will find along the way.


title: Higher-order time discretizations with ALE finite elements for parabolic problems on evolving surfaces

abstract: A linear evolving surface partial differential equation is first discretized in space by an arbitrary Lagrangian Eulerian (ALE) evolving surface finite element method, and then in time either by a Runge-Kutta method, or by a backward difference formula. The ALE technique allows to maintain the mesh regularity during the time integration, which is not possible in the original evolving surface finite element method. Unconditional stability and optimal order convergence of the full discretizations is shown, for algebraically stable and stiffly accurate Runge-Kutta methods, and for backward differentiation formulae of order less than 6. Numerical experiments are included, supporting the theoretical results.


title: Matrix model holography

abstract: We set up the formalism of holographic renormalization for the matter-coupled two-dimensional maximal supergravity that captures the low-lying fluctuations around the non-conformal D0-brane near-horizon geometry. As an application we compute holographically one- and two-point functions of the BFSS matrix quantum mechanics and its supersymmetric $SO(3)\times SO(6)$ deformation.


title: Inefficiency of voting in Parrondo games

abstract: We study a modification of the so-called Parrondo's paradox where a large number of individuals choose the game they want to play by voting. We show that it can be better for the players to vote randomly than to vote according to their own benefit in one turn. The former yields a winning tendency while the latter results in steady losses. An explanation of this behaviour is given by noting that selfish voting prevents the switching between games that is essential for the total capital to grow. Results for both finite and infinite number of players are presented. It is shown that the extension of the model to the history-dependent Parrondo's paradox also displays the same effect.


title: Circular polarization in the optical afterglow of GRB 121024A

abstract: Gamma-ray bursts (GRBs) are most probably powered by collimated relativistic outflows (jets) from accreting black holes at cosmological distances. Bright afterglows are produced when the outflow collides with the ambient medium. Afterglow polarization directly probes the magnetic properties of the jet, when measured minutes after the burst, and the geometric properties of the jet and the ambient medium when measured hours to days after the burst. High values of optical polarization detected minutes after burst in GRB 120308A indicate the presence of large-scale ordered magnetic fields originating from the central engine (the power source of the GRB). Theoretical models predict low degrees of linear polarization and negligable circular polarization at late times, when the energy in the original ejecta is quickly transferred to the ambient medium and propagates farther into the medium as a blastwave. Here we report the detection of circularly polarized optical light in the afterglow of GRB 121024A, measured 0.15 days after the burst. We show that the circular polarization is intrinsic to the afterglow and unlikely to be produced by dust scattering or plasma propagation effects. A possible explanation is to invoke anisotropic (rather than the commonly assumed isotropic) electron pitch angle distributions, and we suggest that new models are required to produce the complex microphysics of realistic shocks in relativistic jets.


title: Homogenization of functional with linear growth in the context of $\mathcal{A}$-quasiconvexity

abstract: This work deals with the homogenization of functionals with linear growth in the context of $\mathcal{A}$-quasiconvexity. A representation theorem is proved, where the new integrand function is obtained by solving a cell problem where the coupling between homogenization and the $\mathcal{A}$-free condition plays a crucial role. This result extends some previous work to the linear case, thus allowing for concentration effects.


title: Absence of the Ordinary and Extraordinary Hall effects scaling in granular ferromagnets at metal-insulator transition

abstract: Universality of the extraordinary Hall effect scaling was tested in granular three-dimensional Ni-SiO2 films across the metal-insulator transition. Three types of magnetotransport behavior have been identified: metallic, weakly insulating and strongly insulating. Scaling between both the ordinary and extraordinary Hall effects and material resistivity is absent in the weakly insulating range characterized by logarithmic temperature dependence of conductivity. The results provide compelling experimental confirmation to recent models of granular metals predicting transition from logarithmic to exponential conductivity temperature dependence when inter-granular conductance drops below the quantum conductance value and loss of Hall effect scaling when inter-granular conductance is higher than the quantum one. The effect was found at high temperatures and reflects the granular structure of material rather than low temperature quantum corrections.


title: High-resolution imaging of velocity-controlled molecular collisions using counterpropagating beams

abstract: We present ultrahigh-resolution measurements of state-to-state inelastic differential cross sections for NO-Ne and NO-Ar collisions, obtained by combining the Stark deceleration and velocity map imaging techniques. We show that for counterpropagating crossed beam geometries, the effect of the velocity spreads of the reagent beams on the angular resolution of the images is minimized. Futhermore, the counterpropagating geometry results in images that are symmetric with respect to the relative velocity vector. This allows for the use of inverse Abel transformation methods that enhance the resolution further. State-resolved diffraction oscillations in the differential cross sections are measured with an angular resolution approaching 0.3$^\circ$. Distinct structures observed in the cross sections gauge the quality of recent \emph{ab initio} potential energy surfaces for NO-rare gas atom collisions with unprecedented precision.


title: Comet C/2011 J2 (Linear): Fragmentation and physical properties of the two nuclei

abstract: Comet C2011 J2 (Linear), was discovered to the Catalina Sky Survey Observatory, based on University of Arizona. Is an hyperbolic comet passed to the perihelion at T 2013 Dec. 25.4020 TT. The distance q from the Sun is 3.443732 A.U., that mean that dont never cross the snow line. Also, the Sun gravitational force is not such to determine a strong stress on the cometary nucleus. A possible fragmentation at that distance from the Sun in general, is unlikely, but on 2014 September 19th, the CBAT 3979 by D. Green of the ICQ, report the discoveries of a fragment companion of the comet main body. In the following days others observers confirms the presence of the secondary body. (F. Manzini et al. September 2014, IAU CBET 3986, 2014 September 24th) In the observation of the comet on 2014 September 28, using a 25 cm Newton and CCD with R photometric filter, I detect the secondary body and assuming as possible scenario the presence of a solid fragment in the cloud of material of the fragmentation, I measured some physical parameters, the magnitude in R band and Af(rho) value of the two nuclei. Here are presented the preliminaries data.


title: Internal structure of exotic hadrons by high-energy exclusive reactions

abstract: We propose to use high-energy exclusive reactions for probing internal structure of exotic hadron candidates. First, the constituent counting rule of perturbative QCD can be used for finding internal configurations of an exotic hadron candidate. It is because the number of constituents ($n$), which participate in the exclusive reaction, is found by the scaling behavior of the cross section $d\sigma/dt \propto 1/s^{n-2}$ at large momentum transfer, where $s$ is the center-of-mass energy squared. As an example, we show that the internal structure of $\Lambda \, (1405)$ should be found, for example, by the reaction $\pi^- + p \to K^0 + \Lambda (1405)$. Second, the internal structure of exotic hadron candidates should be investigated by hadron tomography with generalized parton distributions (GPDs) and generalized distribution amplitudes (GDAs) in exclusive reactions. Exotic nature should be reflected in the GPDs which contain two factors, longitudinal parton distributions as indicated by the constituent counting rule and transverse form factors as suggested by the hadron size. The GDAs should be investigated by the two-photon process $\gamma^* \gamma \to h\bar h$, for example $h=f_0$ or $a_0$, in electron-positron annihilation. Since the GDAs contain information on a time-like form factor, exotic nature should be found by studying the $h\bar h$ invariant mass dependence of the cross section. The internal structure of exotic hadron candidates should be clarified by the exclusive reactions at facilities such as J-PARC and KEKB.


abstract: The sintering behavior of close packed spheres is investigated using a numerical model. The investigated systems are the body centered cubic (BCC), face centered cubic (FCC) and hexagonal closed packed spheres (HCP). The sintering behavior is found to be ideal with no grain growth until full density is reached for all systems. During sintering the grains change shape from spherical to tetrakaidecahedron, similar to the geometry analyzed by Coble (R. L. Coble, J. Appl. Phys. 32 (1961) 787).


title: The ideal dimensions of a Halbach cylinder of finite length

abstract: In this paper the smallest or optimal dimensions of a Halbach cylinder of a finite length for a given sample volume and desired flux density are determined using numerical modeling and parameter variation. A sample volume that is centered in and shaped as the Halbach cylinder bore but with a possible shorter length is considered. The external radius and the length of the Halbach cylinder with the smallest possible dimensions are found as a function of a desired internal radius, length of the sample volume and mean flux density. It is shown that the optimal ratio between the outer and inner radius of the Halbach cylinder does not depend on the length of the sample volume. Finally, the efficiency of a finite length Halbach cylinder is considered and compared with the case of a cylinder of infinite length. The most efficient dimensions for a Halbach cylinder are found and it is shown that the efficiency increases slowly with the length of the cylinder.


title: A simplified view of blazars: the very high energy gamma-ray vision

abstract: We have recently proposed a simplified scenario for blazars in which these sources are classified as flat-spectrum radio quasars or BL Lacs according to the prescriptions of unified schemes, and to a varying combination of Doppler boosted radiation from the jet, emission from the accretion disk, the broad line region, and light from the host galaxy. This scenario has been thoroughly tested through detailed Monte Carlo simulations and reproduces all the main features of existing radio, X-ray, and gamma-ray surveys. In this paper we consider the case of very high energy emission (E > 100 GeV) extrapolating from the expectations for the GeV band, which are in full accordance with the Fermi-LAT survey results, and make detailed predictions for current and future Cherenkov facilities, including the Cherenkov Telescope Array. Our results imply that >~ 100 new blazars can be detected now at very high energy and up to z ~1, consistently with the very recent MAGIC detection of S4 0218+35 at z=0.944.


title: Free/Congested Two-Phase Model from Weak Solutions to Multi-Dimensional Compressible Navier-Stokes Equations

abstract: We approximate a two--phase model by the compressible Navier-Stokes equations with a singular pressure term. Up to a subsequence, these solutions are shown to converge to a global weak solution of the compressible system with the congestion constraint studied for instance by P.L. Lions and N. Masmoudi [ Annales I.H.P., 1999]. The paper is an extension of the previous result obtained in one-dimensional setting by D. Bresch et al. [ C. R. Acad. Sciences Paris, 2014] to the multi-dimensional case with heterogeneous barrier for the density.


title: Reflecting random flights

abstract: We consider random flights in $\mathbb{R}^d$ reflecting on the surface of a sphere $\mathbb{S}^{d-1}_R,$ with center at the origin and with radius $R,$ where reflection is performed by means of circular inversion. Random flights studied in this paper are motions where the orientation of the deviations are uniformly distributed on the unit-radius sphere $\mathbb{S}^{d-1}_1$. We obtain the explicit probability distributions of the position of the moving particle when the number of changes of direction is fixed and equal to $n\geq 1$. We show that these distributions involve functions which are solutions of the Euler-Darboux-Poisson equation. The unconditional probability distributions of the reflecting random flights are obtained by suitably randomizing $n$ by means of a fractional-type Poisson process. Random flights reflecting on hyperplanes according to the optical reflection form are considered and the related distributional properties derived.


title: Strong existence and uniqueness of the stationary distribution for a stochastic inviscid dyadic model

abstract: We consider an inviscid stochastically forced dyadic model, where the additive noise acts only on the first component. We prove that a strong solution for this problem exists and is unique by means of uniform energy estimates. Moreover, we exploit these results to establish strong existence and uniqueness of the stationary distribution.


title: Alienation in Italian cities. Social network fragmentation from collective data

abstract: We study the structure of a social network of strong ties (trust network) investigating its property of connectedness versus fragmentation. To this purpose we analyse an extensive set of census data, about marrying or having children with immigrants, collected by Italian national statistical institute for all Italian municipalities from 2001 to 2011. Not using neither obtaining personal local information but only average ones, our method fully complies with privacy and confidentiality. Our findings show that large cities display the behaviour of highly fragmented trust networks where individuals face possible phenomena of alienation. Smaller cities and villages instead behave like fully connected social systems with a rich tie structure, where isolation is rare or completely absent. While confirming classical sociological theories on alienation in large urban areas our approach provides a quantitative method to test them and a predictive tool for policy makers.


title: Vanishing of Massey products and Brauer groups

abstract: Let p be a prime number and F a field containing a root of unity of order p. We relate recent results on vanishing of triple Massey products in the mod-p Galois cohomology of F, due to Hopkins, Wickelgren, Minac, and Tan, to classical results in the theory of central simple algebras. For global fields, we prove a stronger form of the vanishing property.


title: On Bayes Risk Lower Bounds

abstract: This paper provides a general technique for lower bounding the Bayes risk of statistical estimation, applicable to arbitrary loss functions and arbitrary prior distributions. A lower bound on the Bayes risk not only serves as a lower bound on the minimax risk, but also characterizes the fundamental limit of any estimator given the prior knowledge. Our bounds are based on the notion of $f$-informativity, which is a function of the underlying class of probability measures and the prior. Application of our bounds requires upper bounds on the $f$-informativity, thus we derive new upper bounds on $f$-informativity which often lead to tight Bayes risk lower bounds. Our technique leads to generalizations of a variety of classical minimax bounds (e.g., generalized Fano's inequality). Our Bayes risk lower bounds can be directly applied to several concrete estimation problems, including Gaussian location models, generalized linear models, and principal component analysis for spiked covariance models. To further demonstrate the applications of our Bayes risk lower bounds to machine learning problems, we present two new theoretical results: (1) a precise characterization of the minimax risk of learning spherical Gaussian mixture models under the smoothed analysis framework, and (2) lower bounds for the Bayes risk under a natural prior for both the prediction and estimation errors for high-dimensional sparse linear regression under an improper learning setting.


title: Symmetrization with respect to the anisotropic perimeter and applications

abstract: In this paper we introduce a new type of symmetrization, which preserves the anisotropic perimeter of the level sets of a suitable concave smooth function, in order to prove sharp comparison results for solutions of a class of homogeneous Dirichlet fully nonlinear elliptic problems of second order and for suitable anisotropic Hessian integrals.


title: Momentum Dependent Two-Loop Corrections to the Neutral Higgs Boson Masses in the MSSM

abstract: The momentum dependent two-loop contributions of the order $\mathcal{O}$($\alpha_s \alpha_t$) to the masses in the Higgs-boson sector of the MSSM are computed. Adopting the Feynman-diagrammatic approach and using a mixed on-shell/$\overline{DR}$ renormalization scheme, the new corrections can directly be matched onto the higher-order corrections included in the code FeynHiggs. Two-loop diagrams involving several mass scales are evaluated with the program SecDec. The combination of the new momentum dependent two-loop contribution with the existing one- and two-loop corrections leads to an improved prediction of the light MSSM Higgs-boson mass with reduced theoretical uncertainty. The resulting shifts in the lightest Higgs-boson mass $M_h$ can extend up to the level of the current experimental uncertainty of about 500 MeV in the scenario considered in these proceedings.


title: Elimination of spiral waves in 2D excitable media by feedback control

abstract: Control strategy for suppression of spiral-wave in a 2-D model of an excitable media is developed with application to the cardiac system. The controller which incorporates a finite number of actuators (electrodes) assures the establishment of traveling plane behavior using the following strategy in the context of cardiac system: a small current that is proportional to a discrepancy between actual and assigned voltages at some sensor position is imposed via the actuators. We present a systematic methodology for controller design and for stability analysis based on an approximate 1-D model of the wave front. The validity of control is checked by numerical simulations. Control is successful provided a sufficient number of actuators is incorporated. The proposed control method is similar in spirit to that the previously developed by the authors for a 1-D model of cardiac tissue.


title: Generating functionals for computational intelligence: the Fisher information as an objective function for self-limiting Hebbian learning rules

abstract: Generating functionals may guide the evolution of a dynamical system and constitute a possible route for handling the complexity of neural networks as relevant for computational intelligence. We propose and explore a new objective function, which allows to obtain plasticity rules for the afferent synaptic weights. The adaption rules are Hebbian, self-limiting, and result from the minimization of the Fisher information with respect to the synaptic flux. We perform a series of simulations examining the behavior of the new learning rules in various circumstances. The vector of synaptic weights aligns with the principal direction of input activities, whenever one is present. A linear discrimination is performed when there are two or more principal directions; directions having bimodal firing-rate distributions, being characterized by a negative excess kurtosis, are preferred. We find robust performance and full homeostatic adaption of the synaptic weights results as a by-product of the synaptic flux minimization. This self-limiting behavior allows for stable online learning for arbitrary durations. The neuron acquires new information when the statistics of input activities is changed at a certain point of the simulation, showing however, a distinct resilience to unlearn previously acquired knowledge. Learning is fast when starting with randomly drawn synaptic weights and substantially slower when the synaptic weights are already fully adapted.


title: t dependence of the slope of the high energy elastic pp cross section

abstract: We consider the main factors which cause the variation of the value of the local slope of the elastic pp cross section B(t)=d[\ln(d\sigma_el(pp)/dt]/dt with t. Namely, we discuss the role of the pion-loop insertion in the pomeron trajectory, the t-dependence of the pomeron-nucleon coupling and the role of the eikonalization of the proton-proton amplitude in both the one- and two-channel eikonal models.


title: Black hole horizons and quantum charged particles

abstract: We point out a structural similarity between the characterization of black hole apparent horizons as stable marginally outer trapped surfaces (MOTS) and the quantum description of a non-relativistic charged particle moving in given magnetic and electric fields on a closed surface. Specifically, the spectral problem of the MOTS-stability operator corresponds to a stationary quantum particle with a formal fine-structure constant $\alpha$ of negative sign. We discuss how such analogy enriches both problems, illustrating this with the insights into the MOTS-spectral problem gained from the analysis of the spectrum of the quantum charged particle Hamiltonian.


title: Deep Sequential Neural Network

abstract: Neural Networks sequentially build high-level features through their successive layers. We propose here a new neural network model where each layer is associated with a set of candidate mappings. When an input is processed, at each layer, one mapping among these candidates is selected according to a sequential decision process. The resulting model is structured according to a DAG like architecture, so that a path from the root to a leaf node defines a sequence of transformations. Instead of considering global transformations, like in classical multilayer networks, this model allows us for learning a set of local transformations. It is thus able to process data with different characteristics through specific sequences of such local transformations, increasing the expression power of this model w.r.t a classical multilayered network. The learning algorithm is inspired from policy gradient techniques coming from the reinforcement learning domain and is used here instead of the classical back-propagation based gradient descent techniques. Experiments on different datasets show the relevance of this approach.


title: Gaussian processes, bridges and membranes extracted from selfsimilar random fields

abstract: We consider the class of selfsimilar Gaussian generalized random fields introduced by Dobrushin in 1979. These fields are indexed by Schwartz functions on $\mathbb{R}^d$ and parametrized by a self-similarity index and the degree of stationarity of their increments. We show that such Gaussian fields arise in explicit form by letting Gaussian white noise, or Gaussian random balls white noise, drive a shift and scale shot-noise mechanism on $\mathbb{R}^d$, covering both isotropic and anisotropic situations. In some cases these fields allow indexing with a wider class of signed measures, and by using families of signed measures parametrized by the points in euclidean space we are able to extract pointwise defined Gaussian processes, such as fractional Brownian motion on $\mathbb{R}^d$. Developing this method further, we construct Gaussian bridges and Gaussian membranes on a finite domain, which vanish on the boundary of the domain.


title: Search for R-parity violation from J-PARC and LHC

abstract: We consider the case that $\mu$-$e$ conversion signal is discovered but other charged lepton flavor violating (cLFV) processes will never be found. In such a case, we need other approaches to confirm the $\mu$-$e$ conversion and its underlying physics without conventional cLFV searches. We study R-parity violating (RPV) SUSY models as a benchmark. We briefly review that our interesting case is realized in RPV SUSY models with reasonable settings according to current theoretical/experimental status. We focus on the exotic collider signatures at the LHC ($pp \to \mu^- e^+$ and $pp \to jj$) as the other approaches. We show the correlations between the branching ratio of $\mu$-$e$ conversion process and cross sections of these processes. It is first time that the correlations are graphically shown. We exhibit the RPV parameter dependence of the branching ratio and the cross sections, and discuss the feasibility to determine the parameters.


title: Effect of Curvature and Confinement on the Casimir-Polder Interaction

abstract: Modifications of Casimir-Polder interactions due to confinement inside a cylindrical cavity and due to curvature in- and outside the cavity are studied. We consider a perfectly conducting cylindrical shell with a single particle (atom or macroscopic sphere) located next to its interior or exterior surface, or two atoms placed inside the shell. By employing the scattering approach, we obtain the particle-cavity interaction and the modification of the two-particle interaction due to the cavity. We consider both retardation and thermal effects. While for the atoms a dipole description is sufficient, for the macroscopic sphere we sum (numerically) over many multipole fluctuations to compute the interaction at short separations. In the latter limit we compare to the proximity approximation and a gradient expansion and find agreement. Our results indicate an confinement induced suppression of the force between atoms. General criteria for suppression and enhancement of Casimir interactions due to confinement are discussed.


title: Bishop-Phelps-Bollob\'as property for bilinear forms on spaces of continuous functions

abstract: It is shown that the Bishop-Phelps-Bollob\'as theorem holds for bilinear forms on the complex $C_0(L_1)\times C_0(L_2)$ for arbitrary locally compact topological Hausdorff spaces $L_1$ and $L_2$.


title: Search for patterns by combining cosmic-ray energy and arrival directions at the Pierre Auger Observatory

abstract: Energy-dependent patterns in the arrival directions of cosmic rays are searched for using data of the Pierre Auger Observatory. We investigate local regions around the highest-energy cosmic rays with $E \geq 6 \cdot 10^{19}$ eV by analyzing cosmic rays with energies above $E = 5 \cdot 10^{18}$ eV arriving within an angular separation of approximately $15{\deg}$. We characterize the energy distributions inside these regions by two independent methods, one searching for angular dependence of energy-energy correlations and one searching for collimation of energy along the local system of principal axes of the energy distribution. No significant patterns are found with this analysis. The comparison of these measurements with astrophysical scenarios can therefore be used to obtain constraints on related model parameters such as strength of cosmic-ray deflection and density of point sources.


title: Landau-Zener transitions in a two-level system coupled to a finite-temperature harmonic oscillator

abstract: We analyze the dynamics and final populations in a Landau-Zener problem for a two level system (or qubit) when this system interacts with one harmonic oscillator mode that is initially set to a finite-temperature thermal equilibrium state. The harmonic oscillator could represent an external mode that is strongly coupled to the qubit, e.g. an ionic oscillation mode in a molecule, or it could represent a prototypical uncontrolled environment. We analyze the qubit's occupation probabilities at the final time in a number of different regimes, varying the qubit and oscillator frequencies, their coupling strength and the temperature. In particular we find some surprising non-monotonic dependence on the coupling strength and temperature.


title: Viewing the Steklov eigenvalues of the Laplace operator as critical Neumann eigenvalues

abstract: We consider the Steklov eigenvalues of the Laplace operator as limiting Neumann eigenvalues in a problem of boundary mass concentration. We discuss the asymptotic behavior of the Neumann eigenvalues in a ball and we deduce that the Steklov eigenvalues minimize the Neumann eigenvalues. Moreover, we study the dependence of the eigenvalues of the Steklov problem upon perturbation of the mass density and show that the Steklov eigenvalues violates a maximum principle in spectral optimization problems.


title: Thin Sequences and Their Role in Model Spaces and Douglas Algebras

abstract: We study thin interpolating sequences $\{\lambda_n\}$ and their relationship to interpolation in the Hardy space $H^2$ and the model spaces $K_\Theta = H^2 \ominus \Theta H^2$, where $\Theta$ is an inner function. Our results, phrased in terms of the functions that do the interpolation as well as Carleson measures, show that under the assumption that $\Theta(\lambda_n) \to 0$ the interpolation properties in $H^2$ are essentially the same as those in $K_\Theta$.


title: Museum Automation with RFID

abstract: By increase of culture and knowledge of the people, request for visiting museums has increased and made the management of these places more complex. Valuable things in a museum or ancient place must be maintained well and also it need to managing visitors. To maintain things we should prevent them from theft, as well as environmental factors such as temperature, humidity, PH, chemical factors and mechanical events should be monitored. And if the conditions are damaging, appropriate alerts or reports to managers and experts should be announced. Visitors should also be monitored, as well as visitors need to be guided and getting information in the environment. By utilizing RFID technology and short-distance network tools, technical solutions for more efficient management and more effective retention in museums can be implemented.


title: A Note on the Malliavin Differentiability of One-Dimensional Reflected Stochastic Differential Equations with Discontinuous Drift

abstract: We consider a one-dimensional Stochastic Differential Equation with reflection where we allow the drift to be merely bounded and measurable. It is already known that such equations have a unique strong solution. Recently, it has been shown that non-reflected SDE's with discontinuous drift possess more regularity than one could expect, namely they are Malliavin differentiable and weakly differentiable w.r.t. the initial value. In this paper we show that similar results hold for one-dimensional SDE's with reflection. We then apply the results to get a Bismut-Elworthy-Li formula for the corresponding Kolmogorov equation.


title: NLO QCD Corrections for $\chi_{cJ}$ Inclusive Production at $B$ Factories

abstract: The next-to-leading order (NLO) quantum chromodynamics (QCD) corrections for $\chi_{cJ}(^3P_J^{[1]},^3S_1^{[8]})$, the P-wave charmoniums inclusive production at $B$ factories are calculated utilizing the non-relativistic QCD (NRQCD) factorization formalism. Large NLO corrections are found, especially for $^3P_0^{[1]}$ and $^3S_1^{[8]}$ configurations. Numerical evaluation indicates that the total cross sections of $\chi_{cJ}$ inclusive production processes are at the order of $10$fb, which are accessible in BELLE II(super-B) experiment.


title: Second-order sensitivity of parallel shear flows and optimal spanwise-periodic flow modifications

abstract: The question of optimal spanwise-periodic modification for the stabilisation of spanwise-invariant flows is addressed. A 2nd-order sensitivity analysis is conducted for the linear temporal stability of parallel flows U0 subject to small-amplitude spanwise-periodic modification e*U1, e<<1. Spanwise-periodic modifications have a quadratic effect on stability, i.e. the 1st-order eigenvalue variation is zero. A 2nd-order sensitivity operator is computed from a 1D calculation, allowing one to predict how eigenvalues are affected by any U1, without actually solving for modified eigenvalues/eigenmodes. Comparisons with full 2D stability calculations in a plane channel flow and in a mixing layer show excellent agreement. Next, optimisation is performed on the 2nd-order sensitivity operator: for each eigenmode streamwise wavenumber and base flow modification spanwise wavenumber b, the most stabilising profiles U1 are computed, together with lower bounds for the variation in leading eigenvalue. These bounds increase like b^-2 as b goes to 0, yielding a large stabilising potential. However, 3D modes with wavenumbers |b0|=b and b/2 are destabilised, thus larger control wavenumbers should be preferred. The modification U1 optimised for the most unstable streamwise wavenumber has a stabilising effect on other streamwise wavenumbers too. Finally, the potential of transient growth to amplify perturbations and stabilise the flow is assessed. Combined optimal perturbations that achieve the best balance between transient linear amplification and flow stabilisation are determined. In the mixing layer with b<1.5, these combined optimal perturbations appear similar to transient growth-only optimal perturbations, and achieve a more efficient overall stabilisation than optimal 1D and 2D modifications computed for stabilisation only. This is consistent with the efficiency of streak-based control strategies.


title: Large-scale peculiar velocities through the galaxy luminosity function at z ~ 0.1

abstract: Peculiar motion introduces systematic variations in the observed luminosity distribution of galaxies. This allows one to constrain the cosmic peculiar velocity field from large galaxy redshift surveys. Using around half a million galaxies from the SDSS Data Release 7 at z ~ 0.1, we demonstrate the applicability of this approach to large datasets and obtain bounds on peculiar velocity moments and $\sigma_{8}$, the amplitude of the linear matter power spectrum. Our results are in good agreement with the $\Lambda$CDM model and consistent with the previously reported ~ 1% zero-point tilt in the SDSS photometry. Finally, we discuss the prospects of constraining the growth rate of density perturbations by reconstructing the full linear velocity field from the observed galaxy clustering in redshift space.


title: Likelihood free inference for Markov processes: a comparison

abstract: Approaches to Bayesian inference for problems with intractable likelihoods have become increasingly important in recent years. Approximate Bayesian computation (ABC) and "likelihood free" Markov chain Monte Carlo techniques are popular methods for tackling inference in these scenarios but such techniques are computationally expensive. In this paper we compare the two approaches to inference, with a particular focus on parameter inference for stochastic kinetic models, widely used in systems biology. Discrete time transition kernels for models of this type are intractable for all but the most trivial systems yet forward simulation is usually straightforward. We discuss the relative merits and drawbacks of each approach whilst considering the computational cost implications and efficiency of these techniques. In order to explore the properties of each approach we examine a range of observation regimes using two example models. We use a Lotka--Volterra predator prey model to explore the impact of full or partial species observations using various time course observations under the assumption of known and unknown measurement error. Further investigation into the impact of observation error is then made using a Schl\"ogl system, a test case which exhibits bi-modal state stability in some regions of parameter space.


title: Optimistic limit of the colored Jones polynomial and the existence of a solution

abstract: For the potential function of a link diagram induced by the optimistic limit of the colored Jones polynomial, we show the existence of a solution of the hyperbolicity equations by directly constructing it. This construction is based on the shadow-coloring of the conjugation quandle induced by a boundary-parabolic representation $\rho:\pi_1(L)\rightarrow{\rm PSL}(2,\mathbb{C})$. This gives us a very simple and combinatorial method to calculate the complex volume of $\rho$.


title: Form factors and decay rate of $B_c^\ast \rightarrow D_{s}~l^+ l^-$ decays in the QCD sum rules

abstract: Rare exclusive $B_c^\ast \rightarrow D_{s}~l^+ l^-$ decays are analyzed in the framework of the three--point QCD sum rules approach. The two gluon condensate corrections to the correlation function are included and the form factors of this transition are evaluated. Using the form factors, the decay width and integrated decay rate for these decays are also calculated.


title: Unicity Concepts for Sudoku

abstract: This paper deals with a generalized Sudoku problem and investigates the unicity of a given solution. We introduce constraint sets, which is a generalization of the rows, columns and blocks of a classical Sudoku puzzle. The unicity property is characterized by three different properties. We describe unicity by permutations, by unicity cells and by rectangles. These terms are defined in this paper and are illustrated with examples. Throughout this paper we are not concerned with the existence of a solution.


title: Sub-micron period lattice structures of magnetic microtraps for ultracold atoms on an atom chip

abstract: We report on the design, fabrication and characterization of magnetic nanostructures to create a lattice of magnetic traps with sub--micron period for trapping ultracold atoms. These magnetic nanostructures were fabricated by patterning a Co/Pd multilayered magnetic film grown on a silicon substrate using high precision e-beam lithography and reactive ion etching. The Co/Pd film was chosen for its small grain size and high remanent magnetization and coercivity. The fabricated structures are designed to magnetically trap $^{87}$Rb atoms above the surface of the magnetic film with 1D and 2D (triangular and square) lattice geometries and sub-micron period. Such magnetic lattices can be used for quantum tunneling and quantum simulation experiments, including using geometries and periods that may be inaccessible with optical lattice.


title: Investigation of the rare exculsive $B_c^\ast \rightarrow D_{s}~\nu \bar{\nu}$ decays in the faramework of the QCD sum rules

abstract: Exclusive $B_c^\ast \rightarrow D_{s}~\nu \bar{\nu}$ decay is studied in the framework of the three--point QCD sum rules approach. The two gluon condensate contributions to the correlation function are calculated and the form factors of this transition are found. The decay width and total branching ratio for this decay is also calculated.


title: Quantum Noise from a Bohmian perspective: fundamental understanding and practical computation in electron devices

abstract: In the literature, the study of electron transport in quantum devices is mainly devoted to DC properties. The fluctuations of the electrical current around these DC values, the so-called quantum noise, are much less analyzed. The computation of quantum noise is intrinsically linked (by temporal correlations) to our ability to understand/compute the time-evolution of a quantum system that is measured several times. There are several quantum theories that provide different (but empirically equivalent) ways of understanding/computing the perturbation of the wave function when it is measured. In this work, quantum noise associated to an electron impinging upon a semitransparent barrier is explained using Bohmian mechanics (which deals with wave functions and point-like particles). From this result, the fundamental understanding and practical computation of quantum noise with Bohmian trajectories are discussed. Numerical simulations of low and high frequency features of quantum shot noise in a resonant tunneling diode are presented (through the BITLLES simulator), showing the usefulness of the Bohmian approach.


title: Online Social Networks and Terrorism 2.0 in Developing Countries

abstract: The advancement in technology has brought a new era in terrorism where Online Social Networks have become a major platform of communication with wide range of usage from message channeling to propaganda and recruitment of new followers in terrorist groups. Meanwhile, during the terrorist attacks people use social networks for information exchange, mobilizing and uniting and raising money for the victims. This paper critically analyses the specific usage of social networks in the times of terrorism attacks in developing countries.


title: Automated conjecturing of Frobenius numbers via grammatical evolution

abstract: Conjecturing formulas and other symbolic relations occurs frequently in number theory and combinatorics. If we could automate conjecturing, we could benefit not only from speeding up, but also from finding conjectures previously out of our grasp. Grammatical evolution, a genetic programming technique, can be used for automated conjecturing in mathematics. Concretely, this work describes how one can interpret the Frobenius problem as a symbolic regression problem, and then apply grammatical evolution to it. In this manner, a few formulas for Frobenius numbers of specific quadruples were found automatically. The sketch of the proof for one conjectured formula, using lattice point enumeration method, is provided as well. Same method can easily be used on other problems to speed up and enhance the research process.


title: Factors Affecting QoS in Tanzania Cellular Networks

abstract: Quality of service in cellular communication system is a topic that recently has raised much interest for many researchers. This paper presents the findings obtained from the study on factors affecting QoS in Tanzania cellular networks. The study was carried out in Dodoma Municipal, Tanzania. The study employed cross sectional research design. Information was gathered from structured questionnaire of 240 subscribers during the study of quality of service for the four leading cellular networks in Tanzania. Both qualitative and quantitative data from field survey were collected and analyzed using Statistical Package for Social Sciences and Excel software. The study findings show that the major factors that degrade QoS in Tanzania cellular networks are inadequate network infrastructure, lack of fairness from service providers and little efforts taken by the government in enforcing the national agreed standards. Other factors are lack of reliable end to end systems, geographical terrain, low quality handsets, poor government monitoring on standards and lack of subscriber skills and training.


title: Authentication System for Smart Homes Based on ARM7TDMI-S and IRIS-Fingerprint Recognition Technologies

abstract: With the rapid advancement in technology, smart homes have become applicable and so the need arise to solve the security challenges that are accompanied with its operation. Passwords and identity cards have been used as traditional authentication mechanisms in home environments, however, the rise of misuse of these mechanisms are proving them to be less reliable. For instance, ID cards can be misplaced, copied or counterfeited and being misused. Conversely, studies have shown that biometrics authentication systems particularly Iris Recognition Technology (IRT) and Fingerprint Recognition Technology (FRT) have the most reliable mechanisms to date providing tremendous accuracy and speed. As the technology becomes less expensive, application of IRT& FRT in smart-homes becomes more reliable and appropriate solution for security challenges. In this paper, we present our approach to design an authentication system for smart homes based on IRT, FRT and ARM7TDMI.The system employs two biometrics mechanisms for high reliability whereby initially, system users must enroll their fingerprints and eyes into the camera. Iris and fingerprint biometrics are scanned and the images are stored in the database. In the stage of authentication, FRT and IRT fingerprint scan and analyze points of the user's current input iris and fingerprint and match with the database contents. If one or more captured images do not match with the one in the database, then the system will not give authorization.


title: On log local Cartier transform of higher level in characteristic $p$

abstract: In our previous paper, given an integral log smooth morphism $X\to S$ of fine log schemes of characteristic $p>0$, we studied the Azumaya nature of the sheaf of log differential operators of higher level and constructed a splitting module of it under an existence of a certain lifting modulo $p^{2}$. In this paper, under a certain liftability assumption which is stronger than our previous paper, we construct another splitting module of our Azumaya algebra over a scalar extension, which is smaller than our previous paper. As an application, we construct an equivalence, which we call the log local Cartier transform of higher level, between certain $\cal D$-modules and certain Higgs modules. We also discuss about the compatibility of the log Frobenius descent and the log local Cartier transform and the relation between the splitting module constructed in this paper and that constructed in the previous paper. Our result can be considered as a generalization of the result of Ogus-Vologodsky, Gros-Le Stum-Quir\'os to the case of log schemes and that of Schepler to the case of higher level.


title: The white dwarf cooling sequence of 47 Tucanae

abstract: 47 Tucanae is one of the most interesting and well observed and theoretically studied globular clusters. This allows us to study the reliability of our understanding of white dwarf cooling sequences, to confront different methods to determine its age, and to assess other important characteristics, like its star formation history. Here we present a population synthesis study of the cooling sequence of the globular cluster 47 Tucanae. In particular, we study the distribution of effective temperatures, the shape of the color-magnitude diagram, and the corresponding magnitude and color distributions. We do so using an up-to-date population synthesis code based on Monte Carlo techniques, that incorporates the most recent and reliable cooling sequences and an accurate modeling of the observational biases. We find a good agreement between our theoretical models and the observed data. Thus, our study, rules out previous claims that there are still missing physics in the white dwarf cooling models at moderately high effective temperatures. We also derive the age of the cluster using the termination of the cooling sequence, obtaining a good agreement with the age determinations using the main-sequence turn-off. Finally, we find that the star formation history of the cluster is compatible with that btained using main sequence stars, which predict the existence of two distinct populations. We conclude that a correct modeling of the white dwarf population of globular clusters, used in combination with the number counts of main sequence stars provides an unique tool to model the properties of globular clusters.


title: Plasmonic eigenmodes in individual and bow-tie graphene nanotriangles

abstract: Serving as a new two-dimensional plasmonic material, graphene has stimulated an intensive study of its optical properties which benefit from the unique electronic band structure of the underlying honeycomb lattice of carbon atoms. In classical electrodynamics, nanostructured graphene is commonly modeled by the computationally demanding problem of a three-dimensional conducting film of atomic-scale thickness. Here, we propose an efficient alternative two-dimensional electrostatic approach where all the calculation procedures are restricted to the plane of the graphene sheet. To explore possible quantum effects, we perform tight-binding calculations, adopting a random-phase approximation. We investigate the multiple plasmon modes in triangles of graphene, treating the optical response classically as well as quantum mechanically in the case of both armchair and zigzag edge termination of the underlying atomic lattice. Compared to the classical plasmonic spectrum which is "blind" to the edge termination, we find that the quantum plasmon frequencies exhibit blueshifts in the case of armchair edge termination, while redshifts are found for zigzag edges. Furthermore, we find spectral features in the zigzag case which are associated with electronic edge states not present for armchair termination. Merging pairs of such triangles into dimers, the plasmon hybridization leads to energy splitting in accordance with plasmon-hybridization theory, with a lower energy for the antisymmetric modes and a smaller splitting for modes with less confinement to the gap region. The hybridization appears strongest in classical calculations while the splitting is lower for armchair edges and even more reduced for zigzag edges. Our various results illustrate a surprising phenomenon: Even 20 nm large graphene structures clearly exhibit quantum plasmonic features due to atomic-scale details in the edge termination.


title: Multiparticle distributions and intercepts of $r$-particle correlation functions in the symmetric Tamm-Dancoff type $q$-Bose gas model

abstract: Symmetric Tamm-Dancoff (STD) type $q$-deformed quantum oscillators are used as the base for constructing the respective STD type $q$-Bose gas model. In this letter, within the STD $q$-deformed Bose gas model we derive explicit analytic expressions for the $r$-particle momentum distribution functions, and for the (momentum) correlation function intercepts of 2nd, 3rd, and any $r$th order. Besides, we obtain large-momentum asymptotic formulas for the $r$th order intercepts which show dependence on the $q$-parameter only. The obtained formulas provide new example, in addition to already known two cases, of exact results for $r$-particle distributions and the correlation function intercepts in deformed analogs of Bose gas model.


title: Phase transition properties of Bell-Lavis model

abstract: Using Monte Carlo calculations we analyze the order and the universality class of phase transitions into a low density (honeycomb) phase of a triangular antiferromagnetic three-state Bell-Lavis model. The results are obtained in a whole interval of chemical potential $\mu$ corresponding to the honeycomb phase. Our results demonstrate that the phase transitions might be attributed to the three-state Potts universality class for all $\mu$ values except for the edges of the honeycomb phase existence. At the honeycomb phase and the low density gas phase boundary the transitions become of the first order. At another, honeycomb-to-frustrated phase boundary, we observe the approach to the crossover from the three-state Potts to the Ising model universality class. We also obtain the Schottky anomaly in the specific heat close to this edge. We show that the intermediate planar phase, found in a very similar antiferromagnetic triangular Blume-Capel model, does not occur in the Bell-Lavis model.


title: Matching in Gabriel Graphs

abstract: Given a set $P$ of $n$ points in the plane, the order-$k$ Gabriel graph on $P$, denoted by $k$-$GG$, has an edge between two points $p$ and $q$ if and only if the closed disk with diameter $pq$ contains at most $k$ points of $P$, excluding $p$ and $q$. We study matching problems in $k$-$GG$ graphs. We show that a Euclidean bottleneck perfect matching of $P$ is contained in $10$-$GG$, but $8$-$GG$ may not have any Euclidean bottleneck perfect matching. In addition we show that $0$-$GG$ has a matching of size at least $\frac{n-1}{4}$ and this bound is tight. We also prove that $1$-$GG$ has a matching of size at least $\frac{2(n-1)}{5}$ and $2$-$GG$ has a perfect matching. Finally we consider the problem of blocking the edges of $k$-$GG$.


title: Calculating the chiral condensate of QCD at infinite coupling using a generalised lattice diagrammatic approach

abstract: We develop a lattice diagrammatic technique for calculating the chiral condensate of QCD at infinite coupling inspired by recent work of Tomboulis and earlier work from the 80's. The technique involves calculating the contribution of gauge link diagrams formed from all possible combinations of a number of sub-diagram types. This is achieved by performing a resummation, using a truncated number of sub-diagram types. We show how to calculate the relevant sub-diagrams, including a new technique for evaluating group integrals with arbitrary number of gauge link elements, using Young Projectors. Including up to four different diagram types we calculate the chiral condensate as a function of Nf, and show that two real solutions result, which are non-zero for all integer Nf. We analyse these solutions and find signs of convergence of the expansion at small Nf. We discuss sources of error associated with this approach in detail and implement a technique to reduce over-counting of diagrams.


title: Controlled reattachment in separated flows: a variational approach to recirculation length reduction

abstract: A variational technique is used to derive analytical expressions for the sensitivity of recirculation length to steady forcing in separated flows. Linear sensitivity analysis is applied to the two-dimensional steady flow past a circular cylinder for Reynolds numbers $40 \leq Re \leq 120$, both in the subcritical and supercritical regimes. Regions which are the most sensitive to volume forcing and wall blowing/suction are identified. Control configurations which reduce the recirculation length are designed based on the sensitivity information, in particular small cylinders used as control devices in the wake of the main cylinder, and fluid suction at the cylinder wall. Validation against full non-linear Navier-Stokes calculations shows excellent agreement for small-amplitude control. The linear stability properties of the controlled flow are systematically investigated. At moderate Reynolds numbers, we observe that regions where control reduces the recirculation length correspond to regions where it has a stabilising effect on the most unstable global mode associated to vortex shedding, while this property does not hold any more at larger Reynolds numbers.


title: Outward migration of Jupiter and Saturn in 3:2 or 2:1 resonance in radiative disks: implications for the Grand Tack and Nice models

abstract: Embedded in the gaseous protoplanetary disk, Jupiter and Saturn naturally become trapped in 3:2 resonance and migrate outward. This serves as the basis of the Grand Tack model. However, previous hydrodynamical simulations were restricted to isothermal disks, with moderate aspect ratio and viscosity. Here we simulate the orbital evolution of the gas giants in disks with viscous heating and radiative cooling. We find that Jupiter and Saturn migrate outward in 3:2 resonance in modest-mass ($M_{disk} \approx M_{MMSN}$, where MMSN is the "minimum-mass solar nebula") disks with viscous stress parameter $\alpha$ between $10^{-3}$ and $10^{-2} $. In disks with relatively low-mass ($M_{disk} \lesssim M_{MMSN}$) , Jupiter and Saturn get captured in 2:1 resonance and can even migrate outward in low-viscosity disks ($\alpha \le 10^{-4}$). Such disks have a very small aspect ratio ($h\sim 0.02-0.03$) that favors outward migration after capture in 2:1 resonance, as confirmed by isothermal runs which resulted in a similar outcome for $h \sim 0.02$ and $\alpha \le 10^{-4}$. We also performed N-body runs of the outer Solar System starting from the results of our hydrodynamical simulations and including 2-3 ice giants. After dispersal of the gaseous disk, a Nice model instability starting with Jupiter and Saturn in 2:1 resonance results in good Solar Systems analogs. We conclude that in a cold Solar Nebula, the 2:1 resonance between Jupiter and Saturn can lead to outward migration of the system, and this may represent an alternative scenario for the evolution of the Solar System.


title: Controllable spin-orbit coupling and its influence on the upper critical field in the chemically doped quasi-one-dimensional Nb$_2$PdS$_5$ superconductor

abstract: By systematic chemical substitution of Pt and Ni in the newly-discovered superconductor Nb$_2$PdS$_5$ ($T_c\sim$6 K), we study the evolution of its superconducting properties with doping, focussing on the behavior of the upper critical field $H_{c2}$. In contrast to the previous results of Se doping on S sites, superconductivity is found to be rather robust against the Pt and Ni dopants on the one-dimensional Pd chains. Most strikingly, the reduced $H_{c2}$, i.e., the ratio of $H_{c2}/T_c$, is seen to be significantly enhanced by the heavier Pt doping but suppressed in the Ni-doped counterparts, distinct from the nearly constant value in the Se doped samples. Our findings therefore suggest that the upper critical field of this system can be modified in a tunable fashion by chemical doping on the Pd chains with elements of varying mass numbers. The spin-orbit coupling on the Pd sites, by inference, should play an important role in the observed superconductivity and on the large upper critical field beyond the Pauli pair-breaking field.


title: Effect of short-range interaction for collision of ultracold dipoles

abstract: We consider the low-energy scattering of two ultracold polarized dipoles with both a short-range interaction (SRI) and a weak dipole-dipole interaction (DDI) which is far away from shape-resonances. In previous analytical studies, the scattering amplitude in this system was often calculated via the first-order Born approximation (FBA). Our results show that significant derivations from this approximation can arise in some cases. In these cases, the SRI can significantly modify the inter-dipole scattering amplitudes even if the scattering amplitudes for the SRI alone are much smaller than the dipolar length of the DDI. We further obtain approximate analytical expressions for these inter-dipole scattering amplitudes.


title: Remarques sur le premier cas du th\'eor\`eme de Fermat sur les corps de nombres

abstract: The first case of Fermat's Last Theorem for a prime exponent $p$ can sometimes be proved using the existence of local obstructions. In 1823, Sophie Germain has obtained an important result in this direction by establishing that, if $2p+1$ is a prime number, the first case of Fermat's Last Theorem is true for $p$. In this paper, we investigate such obstructions over number fields. We obtain analogous results on Sophie Germain type criteria, for imaginary quadratic fields. Furthermore, extending a well known statement over ${\bf Q}$, we give an easily testable condition which allows occasionally to prove the first case of Fermat's Last Theorem over number fields for a prime number $p\equiv 2 \mod 3$.


title: Design Mining Interacting Wind Turbines

abstract: An initial study of surrogate-assisted evolutionary algorithms used to design vertical-axis wind turbines wherein candidate prototypes are evaluated under fan generated wind conditions after being physically instantiated by a 3D printer has recently been presented. Unlike other approaches, such as computational fluid dynamics simulations, no mathematical formulations were used and no model assumptions were made. This paper extends that work by exploring alternative surrogate modelling and evolutionary techniques. The accuracy of various modelling algorithms used to estimate the fitness of evaluated individuals from the initial experiments is compared. The effect of temporally windowing surrogate model training samples is explored. A surrogate-assisted approach based on an enhanced local search is introduced; and alternative coevolution collaboration schemes are examined.


title: Phase stability of ternary fcc and bcc Fe-Cr-Ni alloys

abstract: The phase stability of fcc and bcc magnetic binary Fe-Cr, Fe-Ni, Cr-Ni alloys and ternary Fe-Cr-Ni alloys is investigated using a combination of density functional theory (DFT), Cluster Expansion (CE) and Magnetic Cluster Expansion (MCE). Energies, magnetic moments, and volumes of more than 500 alloy structures are evaluated using DFT, and the most stable magnetic configurations are compared with experimental data. Deviations from the Vegard law in fcc Fe-Cr-Ni alloys, associated with non-linear variation of atomic magnetic moments as functions of alloy composition, are observed. Accuracy of the CE model is assessed against the DFT data, where for ternary alloys the cross-validation error is smaller than 12 meV/atom. A set of cluster interaction parameters is defined for each alloy, where it is used for predicting new ordered alloy structures. Fcc Fe2CrNi phase with Cu2NiZn-like structure is predicted as the global ground state with the lowest chemical ordering temperature of 650K. DFT-based Monte Carlo (MC) simulations are used for assessing finite temperature fcc-bcc phase stability and order-disorder transitions in Fe-Cr-Ni alloys. Enthalpies of formation of ternary alloys calculated from MC simulations at 1600K combined with magnetic correction derived from MCE are in excellent agreement with experimental values measured at 1565K. Chemical order is analysed, as a function of temperature and composition, in terms of the Warren-Cowley short-range order (SRO) parameters and effective chemical pairwise interactions.


title: Properties of the zeros of the polynomials belonging to the q-Askey scheme

abstract: In this paper we provide properties -- which are, to the best of our knowledge, new -- of the zeros of the polynomials belonging to the q-Askey scheme. These findings include Diophantine relations satisfied by these zeros when the parameters characterizing these polynomials are appropriately restricted.


title: Invariance in quantum walks with time-dependent coin operators

abstract: In this paper we unveil some features of a discrete-time quantum walk on the line whose coin depends on the temporal variable. After considering the most general form of the unitary coin operator, we focus on the role played by the two phase factors that one can incorporate there, and show how both terms influence the evolution of the system. A closer analysis reveals that the probabilistic properties of the motion of the walker remain unaltered when the update rule of these phases is chosen adequately. This invariance is based on a symmetry with consequences not yet fully explored.


title: Simultaneous detection of the spin-Hall magnetoresistance and the spin-Seebeck effect in Platinum and Tantalum on Yttrium Iron Garnet

abstract: The spin-Seebeck effect (SSE) in platinum (Pt) and tantalum (Ta) on yttrium iron garnet (YIG) has been investigated by both externally heating the sample (using an on-chip Pt heater on top of the device) as well as by current-induced heating. For SSE measurements, external heating is the most common method to obtain clear signals. Here we show that also by current-induced heating it is possible to directly observe the SSE, separate from the also present spin-Hall magnetoresistance (SMR) signal, by using a lock-in detection technique. Using this measurement technique, the presence of additional 2nd order signals at low applied magnetic fields and high heating currents is revealed. These signals are caused by current-induced magnetic fields (Oersted fields) generated by the used AC-current, resulting in dynamic SMR signals.


title: Experimental Violation Of Bell-like Inequalities By Electronic Shot Noise

abstract: Quantum electronic noise, the random current fluctuations generated by electrons crossing a quantum conductor, has been thoroughly studied from the electron point of view. Recent experiments have shown that such noise may have striking properties in terms of the quantum electromagnetic field it generates. Both the existence of vacuum squeezing \cite{PAN_squeezing} and generation of correlated photon pairs \cite{C4quantique} have been observed. Here we demonstrate that this electromagnetic field also violates Bell-like inequalities, thereby proving its true quantum nature. This is achieved by the observation of two-mode quadrature squeezing of vacuum: the electromagnetic field quadratures at two different frequencies can be so correlated that their difference goes below vacuum fluctuations. Thus, electronic noise contains entangled photon pairs, a key ingredient for quantum computing and communication.


title: The Unreasonable Success of Local Search: Geometric Optimization

abstract: What is the effectiveness of local search algorithms for geometric problems in the plane? We prove that local search with neighborhoods of magnitude $1/\epsilon^c$ is an approximation scheme for the following problems in the Euclidian plane: TSP with random inputs, Steiner tree with random inputs, facility location (with worst case inputs), and bicriteria $k$-median (also with worst case inputs). The randomness assumption is necessary for TSP.


title: $\{\beta\}$-expansion in QCD, its conformal symmetry limit: theory + applications

abstract: The basis of the $\{\beta\}$-expansion for the perturbative series evaluated in the $\overline{MS}$ scheme for the renormalization group invariant quantities is summarized.Comparison with a similar representation,used within the BLM-motivated Principle of Maximal Conformality,is discussed.We stress that the original $\{\beta\}$-expansion contains a completed list of terms rather than its PMC analog. The arguments in favour of the complete $\{\beta\}$-expansion are presented. They are based on the relations which follow from the power $\beta$-function generalization of the Crewther relation for the nonsinglet $\overline{MS}$ contributions to the Adler $D^{NS}$-functionand to the Bjorken sum rule $C^{Bjp}_{NS}$ of the polarized lepton-nucleon scattering. The terms of the complete $\{\beta\}$-expansionat the $O(\alpha_s^3)$ level for $D^{NS}$ and $C^{Bjp}_{NS}$ are presented. These perturbative results are expressed in the PMC-type form. The problem of applications of these expressions for phenomenological applications is summarized.


title: Linear State-Space Model with Time-Varying Dynamics

abstract: This paper introduces a linear state-space model with time-varying dynamics. The time dependency is obtained by forming the state dynamics matrix as a time-varying linear combination of a set of matrices. The time dependency of the weights in the linear combination is modelled by another linear Gaussian dynamical model allowing the model to learn how the dynamics of the process changes. Previous approaches have used switching models which have a small set of possible state dynamics matrices and the model selects one of those matrices at each time, thus jumping between them. Our model forms the dynamics as a linear combination and the changes can be smooth and more continuous. The model is motivated by physical processes which are described by linear partial differential equations whose parameters vary in time. An example of such a process could be a temperature field whose evolution is driven by a varying wind direction. The posterior inference is performed using variational Bayesian approximation. The experiments on stochastic advection-diffusion processes and real-world weather processes show that the model with time-varying dynamics can outperform previously introduced approaches.


title: Practical sharing of quantum secrets over untrusted channels

abstract: In this work we address the issue of sharing a quantum secret over untrusted channels between the dealer and players. Existing methods require entanglement over a number of systems which scales with the security parameter, quickly becoming impractical. We present protocols (interactive and a non-interactive) where single copy encodings are sufficient. Our protocols work for all quantum secret sharing schemes and access structures, and are implementable with current experimental set ups. For a single authorised player, our protocols act as quantum authentication protocols.


title: Two-trace model for spike-timing-dependent synaptic plasticity

abstract: We present an effective model for timing-dependent synaptic plasticity (STDP) in terms of two interacting traces, corresponding to the fraction of activated NMDA receptors and the Ca2+ concentration in the dendritic spine of the postsynaptic neuron. This model intends to bridge the worlds of existing simplistic phenomenological rules and highly detailed models, constituting thus a practical tool for the study of the interplay between neural activity and synaptic plasticity in extended spiking neural networks. For isolated pairs of pre- and postsynaptic spikes the standard pairwise STDP rule is reproduced, with appropriate parameters determining the respective weights and time scales for the causal and the anti-causal contributions. The model contains otherwise only three free parameters which can be adjusted to reproduce triplet nonlinearities in both hippocampal culture and cortical slices. We also investigate the transition from time-dependent to rate-dependent plasticity occurring for both correlated and uncorrelated spike patterns.


title: 3D Field Theories with Chern--Simons Term for Large $N$ in the Weyl Gauge

abstract: Three dimensional, $U(N)$ symmetric, field theory with fermion matter coupled to a topological Chern--Simons term, in the large $N$ limit is analyzed in details. We determine the conditions for the existence of a massless conformal invariant ground state as well as the conditions for a massive phase. We analyze the phase structure and calculate gauge invariant corelators comparing them in several cases to existing results. In addition to the non-critical explicitly broken scale invariance massive case we consider also a massive ground state where the scale symmetry is spontaneously broken. We show that such a phase appears only in the presence of a marginal deformation that is introduced by adding a certain scalar auxiliary field and discuss the fermion-boson dual mapping. The ground state contains in this case a massless $U(N)$ singlet bound state goldstone boson- the dilaton whose properties are determined. We employ here the temporal gauge which is at variance with respect to past calculations using the light-cone gauge and thus, a check (though limited) of gauge independence is at hand. The large $N$ properties are determined by using a field integral formalism and the steepest descent method. The saddle point equations, which take here the form of integral equations for non-local fields, determine the mass gap and the dressed fermion propagator. Vertex functions are calculated at leading order in $1/N$ as exact solutions of integral equations. From the vertex functions, we infer gauge invariant two-point correlation functions for scalar operators and a current. Indications about the consistency of the method are obtained by verifying that gauge-invariant quantities have a natural $O(3)$ covariant form. As a further verification, in several occasions, a few terms of the perturbative expansion are calculated and compared with the exact results in the appropriate order.


title: A homogeneous space whose complement is rigid

abstract: We construct a homogeneous subspace of $2^\omega$ whose complement is dense in $2^\omega$ and rigid. Using the same method, assuming Martin's Axiom, we also construct a countable dense homogeneous subspace of $2^\omega$ whose complement is dense in $2^\omega$ and rigid.


title: Ranks of $\mathcal{F}$-limits of filter sequences

abstract: We give an exact value of the rank of an $\mathcal{F}$-Fubini sum of filters for the case where $\mathcal{F}$ is a Borel filter of rank $1$. We also consider $\mathcal{F}$-limits of filters $\mathcal{F}_i$, which are of the form $\lim_\mathcal{F}\mathcal{F}_i=\left\{A\subset X: \left\{i\in I: A\in\mathcal{F}_i\right\}\in\mathcal{F}\right\}$. We estimate the ranks of such filters; in particular we prove that they can fall to $1$ for $\mathcal{F}$ as well as for $\mathcal{F}_i$ of arbitrarily large ranks. At the end we prove some facts concerning filters of countable type and their ranks.


title: Spontaneous polarization in an interfacial growth model for actin filament networks with a rigorous mechano-chemical coupling

abstract: Many processes in eukaryotic cells, including cell motility, rely on the growth of branched actin networks from surfaces. Despite its central role the mechano-chemical coupling mechanisms which guide the growth process are poorly understood, and a general continuum description combining growth and mechanics is lacking. We develop a theory that bridges the gap between mesoscale and continuum limit and propose a general framework providing the evolution law of actin networks growing under stress. This formulation opens an area for the systematic study of actin dynamics in arbitrary geometries. Our framework predicts a morphological instability of actin growth on a rigid sphere, leading to a spontaneous polarization of the network with a mode selection corresponding to a comet, as reported experimentally. We show that the mechanics of the contact between the network and the surface plays a crucial role, in that it determines directly the existence of the instability. We extract scaling laws relating growth dynamics and network properties offering basic perspectives for new experiments on growing actin networks.


title: A massively parallel algorithm for constructing the BWT of large string sets

abstract: We present a new scalable, lightweight algorithm to incrementally construct the BWT and FM-index of large string sets such as those produced by Next Generation Sequencing. The algorithm is designed for massive parallelism and can effectively exploit the combination of low capacity high bandwidth memory and slower external system memory typical of GPU accelerated systems. Particularly, for a string set of n characters from an alphabet with \sigma symbols, it uses a constant amount of high-bandwidth memory and at most 3n log(\sigma) bits of system memory. Given that deep memory hierarchies are becoming a pervasive trait of high performance computing architectures, we believe this to be a relevant feature. The implementation can handle reads of arbitrary length and is up to 2 and respectively 6.5 times faster than state-of-the-art for short and long genomic reads


title: The Theory of Quaternion Matrix Derivatives

abstract: A systematic theory is introduced for calculating the derivatives of quaternion matrix function with respect to quaternion matrix variables. The proposed methodology is equipped with the matrix product rule and chain rule and it is able to handle both analytic and nonanalytic functions. This corrects a flaw in the existing methods, that is, the incorrect use of the traditional product rule. In the framework introduced, the derivatives of quaternion matrix functions can be calculated directly without the differential of this function. Key results are summarized in tables. Several examples show how the quaternion matrix derivatives can be used as an important tool for solving problems related to signal processing.


title: Automatic Generation of Loop-Invariants for Matrix Operations

abstract: In recent years it has been shown that for many linear algebra operations it is possible to create families of algorithms following a very systematic procedure. We do not refer to the fine tuning of a known algorithm, but to a methodology for the actual generation of both algorithms and routines to solve a given target matrix equation. Although systematic, the methodology relies on complex algebraic manipulations and non-obvious pattern matching, making the procedure challenging to be performed by hand, our goal is the development of a fully automated system that from the sole description of a target equation creates multiple algorithms and routines. We present CL1ck, a symbolic system written in Mathematica, that starts with an equation, decomposes it into multiple equations, and returns a set of loop-invariants for the algorithms -- yet to be generated -- that will solve the equation. In a successive step each loop-invariant is then mapped to its corresponding algorithm and routine. For a large class of equations, the methodology generates known algorithms as well as many previously unknown ones. Most interestingly, the methodology unifies algorithms traditionally developed in isolation. As an example, the five well known algorithms for the LU factorization are for the first time unified under a common root.


title: The impact of oceanic heat transport on the atmospheric circulation

abstract: A general circulation model of intermediate complexity with an idealized earthlike aquaplanet setup is used to study the impact of changes in the oceanic heat transport on the global atmospheric circulation. Focus is put on the Lorenz energy cycle and the atmospheric mean meridional circulation. The latter is analysed by means of the Kuo-Eliassen equation. The atmospheric heat transport compensates the imposed oceanic heat transport changes to a large extent in conjunction with significant modification of the general circulation. Up to a maximum about 3PW, an increase of the oceanic heat transport leads to an increase of the global mean near surface temperature and a decrease of its equator-to-pole gradient. For larger transports, the gradient is reduced further but the global mean remains approximately constant. This is linked to a cooling and a reversal of the temperature gradient in the tropics. A larger oceanic heat transport leads to a reduction of all reservoirs and conversions of the Lorenz energy cycle but of different relative magnitude for the individual components. The available potential energy of the zonal mean flow and its conversion to eddy available potential energy are affected most. Both Hadley and Ferrel cell show a decline for increasing oceanic heat transport with the Hadley cell being more sensitive. Both cells exhibit a poleward shift of their maxima, and the Hadley cell broadens for larger oceanic transports. The partitioning by means of the Kuo-Eliassen equation reveals that zonal mean diabatic heating and friction are the most important sources for changes of the Hadley cell while the behaviour of the Ferrell cell is mostly controlled by friction.


title: Geometry of Morphogenesis

abstract: We introduce a formalism for the geometry of eukaryotic cells and organisms.Cells are taken to be star-convex with good biological reason. This allows for a convenient description of their extent in space as well as all manner of cell surface gradients. We assume that a spectrum of such cell surface markers determines an epigenetic code for organism shape. The union of cells in space at a moment in time is by definition the organism taken as a metric subspace of Euclidean space, which can be further equipped with an arbitrary measure. Each cell determines a point in space thus assigning a finite configuration of distinct points in space to an organism, and a bundle over this configuration space is introduced with fiber a Hilbert space recording specific epigenetic data. On this bundle, a Lagrangian formulation of morphogenetic dynamics is proposed based on Gromov-Hausdorff distance which at once describes both embryo development and regenerative growth.