title: Self-Stabilizing Supervised Publish-Subscribe Systems

abstract: In this paper we present two major results: First, we introduce the first self-stabilizing version of a supervised overlay network by presenting a self-stabilizing supervised skip ring. Secondly, we show how to use the self-stabilizing supervised skip ring to construct an efficient self-stabilizing publish-subscribe system. That is, in addition to stabilizing the overlay network, every subscriber of a topic will eventually know all of the publications that have been issued so far for that topic. The communication work needed to processes a subscribe or unsubscribe operation is just a constant in a legitimate state, and the communication work of checking whether the system is still in a legitimate state is just a constant on expectation for the supervisor as well as any process in the system.


title: Orthogonality of bounded linear operators on complex Banach spaces

abstract: We study Birkhoff-James orthogonality of bounded linear operators on complex Banach spaces and obtain a complete characterization of the same. By means of introducing new definitions, we illustrate that it is possible in the complex case, to develop a study of orthogonality of bounded (compact) linear operators, analogous to the real case. Furthermore, earlier operator theoretic characterizations of Birkhoff-James orthogonality in the real case, can be obtained as simple corollaries to our present study. In fact, we obtain more than one equivalent characterizations of Birkhoff-James orthogonality of compact linear operators in the complex case, in order to distinguish the complex case from the real case. We also study the left symmetric linear operators on complex two-dimensional $l_p$ spaces. We prove that $ T $ is a left symmetric linear operator on $ \ell_p^2{(\mathbb{C})}$ if and only if $ T $ is the zero operator.


title: A semigroup approach to nonlinear L\'evy processes

abstract: We study the relation between L\'evy processes under nonlinear expectations, nonlinear semigroups and fully nonlinear PDEs. First, we establish a one-to-one relation between nonlinear L\'evy processes and nonlinear Markovian convolution semigroups. Second, we provide a condition on a family of infinitesimal generators $(A_\lambda)_{\lambda\in\Lambda}$ of linear L\'evy processes which guarantees the existence of a nonlinear L\'evy processes such that the corresponding nonlinear Markovian convolution semigroup is a viscosity solution of the fully nonlinear PDE $\partial_t u=\sup_{\lambda\in \Lambda} A_\lambda u$. The results are illustrated with several examples.


title: Enzyme kinetics: A note on negative reaction constants in Lineweaver-Burk plots

abstract: Reaction constants in traditional Michaelis-Menten type enzyme kinetics are most often determined through a linear Lineweaver-Burk plot. While such a graphical plot is sometimes good to achieve the end, it is always better to go for a few numerical tests that can assess the quality of the data set being used and hence offer more reliable measures of the quantities sought, furnishing along with appropriate error estimates. In this context, we specifically highlight how cases may appear with negative reaction constants and explore the origin of such bizarre findings.


title: Gap probability at the hard edge for random matrix ensembles with pole singularities in the potential

abstract: We study the Fredholm determinant of an integrable operator acting on the interval $(0,s)$ whose kernel is constructed out of a hierarchy of higher order analogues to the Painlev\'{e} III equation. This Fredholm determinant describes the critical behavior of the eigenvalue gap probability at the hard edge of unitary invariant random matrix ensembles perturbed by poles of order $k$ in the double scaling regime. Using the Riemann-Hilbert method, we obtain the large $s$ asymptotics of the Fredholm determinant. Moreover, we derive a Painlev\'e type formula of the Fredholm determinant, which is expressed in terms of an explicit integral involving a solution to the coupled Painlev\'e III system.


title: The monotonicity of the apsidal angle using the theory of potential oscillators

abstract: In a central force system the angle between two successive passages of a body through pericenters is called the apsidal angle. In this paper we prove that for central forces of the form $f(r)\sim \lambda r^{-(\alpha+1)}$ with $\alpha<2$ the apsidal angle is a monotonous function of the energy, or equivalently of the orbital eccentricity.


title: Vanishing mean volume velocity in isothermal isobaric diffusion of a binary fluid mixture

abstract: It is shown that in isothermal isobaric diffusion of a binary fluid mixture the mean volume velocity vanishes in the linear regime, independent of the equation of state. The partial specific volumes of the two components are uniform and constant in the process of mutual diffusion. The properties lead to a simple derivation of the de Groot-Mazur thermodynamic factor in the diffusion coefficient. The properties also imply that the diffusive volume flux defined by Brenner is proportional to the mass current density, and is therefore not a quantity of independent interest.


title: An iterative closest point method for measuring the level of similarity of 3d log scans in wood industry

abstract: In the Canadian's lumber industry, simulators are used to predict the lumbers resulting from the sawing of a log at a given sawmill. Giving a log or several logs' 3D scans as input, simulators perform a real-time job to predict the lumbers. These simulators, however, tend to be slow at processing large volume of wood. We thus explore an alternative approximation techniques based on the Iterative Closest Point (ICP) algorithm to identify the already processed log to which an unseen log resembles the most. The main benefit of the ICP approach is that it can easily handle 3D scans with a variable number of points. We compare this ICP-based nearest neighbor predictor, to predictors built using machine learning algorithms such as the K-nearest-neighbor (kNN) and Random Forest (RF). The implemented ICP-based predictor enabled us to identify key points in using the 3D scans directly for distance calculation. The long-term goal of this ongoing research is to integrated ICP distance calculations and machine learning.


title: Development of novel plastic scintillators based on polyvinyltoluene for the hybrid J-PET/MR tomograph

abstract: A novel plastic scintillator, referred to as J-PET scintillator, has been developed for the application in the digital positron emission tomography (PET). The novelty of the concept lies in application of the 2-(4-styrylphenyl)benzoxazole as a wavelength shifter. To date, the chemical compound has not been used as scintillator additive. A role of wavelength shifter is to shift the scintillation spectrum towards longer wavelengths making it more suitable for applications in scintillators of long strips geometry because of larger attenuation length, and light detection with digital silicon photomultipliers. In the thesis method of scintillators development and characterization of their properties are presented as well as synthesis method of the novel wavelength shifter. The optimal concentration of the novel wavelength shifter was established by maximizing the light output. Performance of scintillator, considering light emission spectrum, light emission efficiency, rising and decay times of the scintillation pulses were analyzed and compared to state of the art commercially available plastic scintillators. Structure of J-PET scintillators was studied and discussed.


title: Phases of a strongly coupled four-fermion theory

abstract: We present ongoing investigations of a four-dimensional lattice field theory with four massless reduced staggered fermions coupled through an SU(4)-invariant four-fermion interaction. As in previous studies of four-fermion and Higgs--Yukawa models with different lattice fermion discretizations, we observe a strong-coupling phase in which the system develops a mass gap without breaking any lattice symmetry. This symmetric strong-coupling phase is separated from the symmetric weak-coupling phase by a narrow region of four-fermi coupling in which the system exhibits long-range correlations.


title: Algebraic and logistic investigations on free lattices

abstract: Lorenzen's ``Algebraische und logistische Untersuchungen \"uber freie Verb\"ande'' appeared in 1951 in The journal of symbolic logic. These ``Investigations'' have immediately been recognised as a landmark in the history of infinitary proof theory, but their approach and method of proof have not been incorporated into the corpus of proof theory. More precisely, Lorenzen proves the admissibility of cut by double induction, on the cut formula and on the complexity of the derivations, without using any ordinal assignment, contrary to the presentation of cut elimination in most standard texts on proof theory. This translation has the intent of giving a new impetus to their reception. The ``Investigations'' are best known for providing a constructive proof of consistency for ramified type theory without axiom of reducibility. They do so by showing that it is a part of a trivially consistent ``inductive calculus'' that describes our knowledge of arithmetic without detour. The proof resorts only to the inductive definition of formulae and theorems. They propose furthermore a definition of a semilattice, of a distributive lattice, of a pseudocomplemented semilattice, and of a countably complete boolean algebra as deductive calculuses, and show how to present them for constructing the respective free object over a given preordered set. This translation is published with the kind permission of Lorenzen's daughter, Jutta Reinhardt.


title: On the stability of the $\mu(I)$-rheology for granular flow

abstract: This article deals with the Hadamard instability of the so-called $\mu(I)$ model of dense rapidly-sheared granular flow, as reported recently by Barker et al. (2015,this journal, ${\bf 779}$, 794-818). The present paper presents a more comprehensive study of the linear stability of planar simple shearing and pure shearing flows, with account taken of convective Kelvin wave-vector stretching by the base flow. We provide a closed form solution for the linear stability problem and show that wave-vector stretching leads to asymptotic stabilization of the non-convective instability found by Barker et al. We also explore the stabilizing effects of higher velocity gradients achieved by an enhanced-continuum model based on a dissipative analog of the van der Waals-Cahn-Hilliard equation of equilibrium thermodynamics. This model involves a dissipative hyper-stress, as the analog of a special Korteweg stress, with surface viscosity representing the counterpart of elastic surface tension. Based on the enhanced continuum model, we also present a model of steady shear bands and their non-linear stability against parallel shearing. Finally, we propose a theoretical connection between the non-convective instability of Barker et al. and the loss of generalized ellipticity in the quasi-static field equations. Apart from the theoretical interest, the present work may suggest stratagems for the numerical simulation of continuum field equations involving the $\mu(I)$ rheology and variants thereof.


title: Finite type invariants of knots in homology 3-spheres with respect to null LP-surgeries

abstract: We study a theory of finite type invariants for null-homologous knots in rational homology 3-spheres with respect to null Lagrangian-preserving surgeries. It is an analogue in the setting of the rational homology of the Goussarov-Rozansky theory for knots in integral homology 3-spheres. We give a partial combinatorial description of the graded space associated with our theory and determine some cases when this description is complete. For null-homologous knots in rational homology 3-spheres with a trivial Alexander polynomial, we show that the Kricker lift of the Kontsevich integral and the Lescop equivariant invariant built from integrals in configuration spaces are universal finite type invariants for this theory; in particular it implies that they are equivalent for such knots.


title: Classification of algebras of level two in the variety of nilpotent algebras and Leibniz algebras

abstract: This paper is devoted to the description of complex finite-dimensional algebras of level two. We obtain the classification of algebras of level two in the variety of Leibniz algebras. It is shown that, up to isomorphism, there exist three Leibniz algebras of level two, one of which is solvable, and two of which are nilpotent. Moreover we describe all algebras of level two in the variety of nilpotent algebras.


title: Chemical and kinematic complexity of the very young star-forming region Serpens Main observed with ALMA

abstract: The youngest low-mass protostars are known to be chemically rich, accreting matter most vigorously, and producing the most powerful outflows. Molecules are unique tracers of these phenomena. We use ALMA to study several outflow sources in the Serpens Main region. The most luminous source, Ser-SMM1, shows the richest chemical composition, but some complex molecules are also present in S68N. No emission from complex organics is detected toward Ser-emb 8N, which is the least luminous in the sample. We discuss whether these differences reflect an evolutionary effect or whether they are due to different physical structures. We also analyze the outflow structure from these young protostars by comparing emission of CO and SiO. EHV molecular jets originating from SMM1-a,b and Ser-emb 8N contrast with no such activity from S68N, which on the other hand presents a complex outflow structure.


title: The distinguishing index of graphs with at least one cycle is not more than its distinguishing number

abstract: The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex (edge) labeling with $d$ labels that is preserved only by the trivial automorphism. It is known that for every graph $G$ we have $D'(G) \leq D(G) + 1$. The complete characterization of finite trees $T$ with $D'(T)=D(T)+ 1$ has been given recently. In this note we show that if $G$ is a finite connected graph with at least one cycle, then $D'(G)\leq D(G)$. Finally, we characterize all connected graphs for which $D'(G) \leq D(G)$.


title: SMSSVD - SubMatrix Selection Singular Value Decomposition

abstract: High throughput biomedical measurements normally capture multiple overlaid biologically relevant signals and often also signals representing different types of technical artefacts like e.g. batch effects. Signal identification and decomposition are accordingly main objectives in statistical biomedical modeling and data analysis. Existing methods, aimed at signal reconstruction and deconvolution, in general, are either supervised, contain parameters that need to be estimated or present other types of ad hoc features. We here introduce SubMatrix Selection SingularValue Decomposition (SMSSVD), a parameter-free unsupervised signal decomposition and dimension reduction method, designed to reduce noise, adaptively for each low-rank-signal in a given data matrix, and represent the signals in the data in a way that enable unbiased exploratory analysis and reconstruction of multiple overlaid signals, including identifying groups of variables that drive different signals. The Submatrix Selection Singular Value Decomposition (SMSSVD) method produces a denoised signal decomposition from a given data matrix. The SMSSVD method guarantees orthogonality between signal components in a straightforward manner and it is designed to make automation possible. We illustrate SMSSVD by applying it to several real and synthetic datasets and compare its performance to golden standard methods like PCA (Principal Component Analysis) and SPC (Sparse Principal Components, using Lasso constraints). The SMSSVD is computationally efficient and despite being a parameter-free method, in general, outperforms existing statistical learning methods. A Julia implementation of SMSSVD is openly available on GitHub (https://github.com/rasmushenningsson/SMSSVD.jl).


title: Chiral orbital magnetism of $p$-orbital bosons in optical lattices

abstract: Chiral magnetism is a fascinating quantum phenomena that has been found in low-dimensional magnetic materials. It is not only interesting for understanding the concept of chirality, but also important for potential applications in spintronics. Past studies show that chiral magnets require both lack of the inversion symmetry and spin-orbit coupling to induce the Dzyaloshinskii-Moriya (DM) interaction. Here we report that the combination of inversion symmetry breaking and quantum degeneracy of orbital degrees of freedom will provide a new paradigm to achieve the chiral orbital magnetism. By means of the density matrix renormalization group (DMRG) calculation, we demonstrate that the chiral orbital magnetism can be found when considering bosonic atoms loaded in the $p$-band of an optical lattice in the Mott regime. The high tunability of our scheme is also illustrated through simply manipulating the inversion symmetry of the system for the cold atom experimental conditions.


title: Accurate simulation of the finite density lattice Thirring model

abstract: We present a study of the finite density lattice Thirring model in 1+1 dimensions using the world-line/fermion-bag algorithm. The model has features similar to QCD and provides a test case for exploring the accuracy of various methods of solving sign problems. In the massless limit and with open boundary conditions we show that the sign problem is an artifact of the auxiliary field approach and is completely eliminated in the fermion bag approach. With periodic boundary conditions the sign problem is mild in the fermion bag method. We present accurate results for various quantities in the model that can be used as a benchmark for comparison with other methods of solving sign problems.


title: A 3D Human Body Blockage Model for Outdoor Millimeter-Wave Cellular Communication

abstract: Blocking is one of the most important challenges in exploiting millimeter-wave for fifth-generation (5G) cellular communication systems. Compared to blockages caused by buildings or terrains, human body blockage exhibits a higher complexity due to the mobility and dynamic statistics of humans. To support development of outdoor millimeter-wave cellular systems, in this paper we present a novel 3D physical model of human body blockage. Based on the proposed model, the impact of human body blockage on frame-based data transmission is discussed, with respect to the system specifications and environment conditions.


title: In situ high resolution real-time quantum efficiency imaging for photocathodes

abstract: Aspects of the preparation process and performance degradation are two major problems of photocathodes. The lack of a means for dynamic quantum efficiency measurements results in the inability to observe the inhomogeneity of the cathode surface by fine structural analysis and in real time.Here we present a simple and scalable technique for in situ real-time quantum efficiency diagnosis. An incoherent light source provides uniform illumination on the cathode surface, and solenoid magnets are used as lens for focusing and imaging the emitted electron beam on a downstream scintillator screen, which converts the quantum efficiency information into fluorescence intensity distribution. The microscopic discontinuity and the dynamic changes of the quantum efficiency of a gallium arsenide photocathode are observed at a resolution of a few microns. An unexpected uneven decrease of the quantum efficiency is also recorded. The work demonstrates a new observation method for photoemission materials research.


title: Image Segmentation and Classification for Sickle Cell Disease using Deformable U-Net

abstract: Reliable cell segmentation and classification from biomedical images is a crucial step for both scientific research and clinical practice. A major challenge for more robust segmentation and classification methods is the large variations in the size, shape and viewpoint of the cells, combining with the low image quality caused by noise and artifacts. To address this issue, in this work we propose a learning-based, simultaneous cell segmentation and classification method based on the deep U-Net structure with deformable convolution layers. The U-Net architecture for deep learning has been shown to offer a precise localization for image semantic segmentation. Moreover, deformable convolution layer enables the free form deformation of the feature learning process, thus makes the whole network more robust to various cell morphologies and image settings. The proposed method is tested on microscopic red blood cell images from patients with sickle cell disease. The results show that U-Net with deformable convolution achieves the highest accuracy for segmentation and classification, comparing with original U-Net structure.


title: MultiDark-Galaxies: data release and first results

abstract: We present the public release of the MultiDark-Galaxies: three distinct galaxy catalogues derived from one of the Planck cosmology MultiDark simulations (i.e. MDPL2, with a volume of (1 Gpc/$h$)$^{3}$ and mass resolution of $1.5 \times 10^{9} M_{\odot}/h$) by applying the semi-analytic models GALACTICUS, SAG, and SAGE to it. We compare the three models and their conformity with observational data for a selection of fundamental properties of galaxies like stellar mass function, star formation rate, cold gas fractions, and metallicities - noting that they sometimes perform differently reflecting model designs and calibrations. We have further selected galaxy subsamples of the catalogues by number densities in stellar mass, cold gas mass, and star formation rate in order to study the clustering statistics of galaxies. We show that despite different treatment of orphan galaxies, i.e. galaxies that lost their dark-matter host halo due to the finite mass resolution of the N-body simulation or tidal stripping, the clustering signal is comparable, and reproduces the observations in all three models - in particular when selecting samples based upon stellar mass. Our catalogues provide a powerful tool to study galaxy formation within a volume comparable to those probed by on-going and future photometric and redshift surveys. All model data consisting of a range of galaxy properties - including broad-band SDSS magnitudes - are publicly available.


title: The 2016-2017 peak luminosity of the pre-main sequence variable V2492 Cyg

abstract: V2492 Cyg is a young pre-main sequence star presenting repetitive brightness variations of significant amplitude (Delta R > 5 mag) whose physical origin has been ascribed to both extinction (UXor-type) and accretion (EXor-type) variability, although their mutual proportion has not been clarified yet. Recently, V2492 Cyg has reached a level of brightness ever registered in the period of its documented activity. Optical and near-infrared photometry and spectroscopy have been obtained in October 2016 and between March and July 2017. The source has remained bright until the end of May 2017, then it started to rapidly fade since the beginning of June at a rate of about 0.08 mag/day. On mid-July 2017 the source has reached the same low-brightness level as two years before. Extinction and mass accretion rate were derived by means of the luminosity of the brightest lines, in particular Halpha and Hbeta. A couple of optical high-resolution spectra are also presented to derive information on the gas kinematics. Visual extinction variations do not exceed a few magnitudes, while the mass accretion rate is estimated to vary from less than 10^-8 up to a few 10^-7 M_sun/yr. This latter is comparable to that estimated on the previous high-state in 2010, likely occurred under more severe extinction conditions. The combined analysis of the optical and near-infrared (NIR) observations extends to the present event the original suggestion that the V2492 Cyg variability is a combination of changing extinction and accretion.


title: Thermo-elasto-plastic simulations of femtosecond laser-induced multiple-cavity in fused silica

abstract: The formation and the interaction of multiple cavities, induced by tightly focused femtosecond laser pulses, are studied by using a developed numerical tool, including the thermo-elasto-plastic material response. Simulations are performed in fused silica in cases of one, two, and four spots of laser energy deposition. The relaxation of the heated matter, launching shock waves in the surrounding cold material, leads to cavity formation and emergence of areas where cracks may be induced. Results show that the laser-induced structure shape depends on the energy deposition configuration and demonstrate the potential of the used numerical tool to obtain the desired designed structure or technological process.


title: Big-Bang nucleosynthyesis: constraints on nuclear reaction rates, neutrino degeneracy, inhomogeneous and Brans-Dicke models

abstract: We review the recent progress in the Big-Bang nucleosynthesis which includes the standard and non-standard theory of cosmology, effects of neutrino degeneracy, and inhomogeneous nucleosynthesis within the framework of a Friedmann model. As for a non-standard theory of gravitation, we adopt a Brans-Dicke theory which incorporate a cosmological constant. We constrain various parameters associated with each subject.


title: Emergence and percolation of rigid domains during colloidal glass transition

abstract: Using video microscopy, we measure local spatial constraints in disordered binary colloidal samples, ranging from dilute fluids to jammed glasses, and probe their spatial and temporal correlations to local dynamics during the glass transition. We observe the emergence of significant correlations between constraints and local dynamics within the Lindemann criterion, which coincides with the onset of glassy dynamics in supercooled liquids. Rigid domains in fluids are identified based on local constraints, and demonstrate a percolation transition near glass transition, accompanied by the emergence of dynamical heterogeneities. Our results show that the spatial constraints instead of the geometry of amorphous structures is the key that connects the complex spatial-temporal correlations in disordered materials.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.stat-mech


title: VOEvent Standard for Fast Radio Bursts

abstract: Fast radio bursts are a new class of transient radio phenomena currently detected as millisecond radio pulses with very high dispersion measures. As new radio surveys begin searching for FRBs a large population is expected to be detected in real-time, triggering a range of multi-wavelength and multi-messenger telescopes to search for repeating bursts and/or associated emission. Here we propose a method for disseminating FRB triggers using Virtual Observatory Events (VOEvents). This format was developed and is used successfully for transient alerts across the electromagnetic spectrum and for multi-messenger signals such as gravitational waves. In this paper we outline a proposed VOEvent standard for FRBs that includes the essential parameters of the event and where these parameters should be specified within the structure of the event. An additional advantage to the use of VOEvents for FRBs is that the events can automatically be ingested into the FRB Catalogue (FRBCAT) enabling real-time updates for public use. We welcome feedback from the community on the proposed standard outlined below and encourage those interested to join the nascent working group forming around this topic.


title: Solar Energetic Particle Forecasting Algorithms and Associated False Alarms

abstract: Solar energetic particle (SEP) events are known to occur following solar flares and coronal mass ejections (CMEs). However some high-energy solar events do not result in SEPs being detected at Earth, and it is these types of event which may be termed "false alarms". We define two simple SEP forecasting algorithms based upon the occurrence of a magnetically well-connected CME with a speed in excess of 1500 km/s ("a fast CME") or a well-connected X-class flare and analyse them with respect to historical data sets. We compare the parameters of those solar events which produced an enhancement of >40 MeV protons at Earth ("an SEP event") and the false alarms. We find that an SEP forecasting algorithm based solely upon the occurrence of a well-connected fast CME produces fewer false alarms (28.8%) than one based solely upon a well-connected X-class flare (50.6%). Both algorithms fail to forecast a relatively high percentage of SEP events (53.2% and 50.6% respectively). Our analysis of the historical data sets shows that false alarm X-class flares were either not associated with any CME, or were associated with a CME slower than 500 km/s; false alarm fast CMEs tended to be associated with flares of class less than M3. A better approach to forecasting would be an algorithm which takes as its base the occurrence of both CMEs and flares. We define a new forecasting algorithm which uses a combination of CME and flare parameters and show that the false alarm ratio is similar to that for the algorithm based upon fast CMEs (29.6%), but the percentage of SEP events not forecast is reduced to 32.4%. Lists of the solar events which gave rise to >40 MeV protons and the false alarms have been derived and are made available to aid further study.


title: Manipulating Magnetic Moments by Superconducting Currents

abstract: We show that the interaction between a superconducting order parameter and the magnetic moment of an atomic cluster in a two-dimensional s-wave superconductor with Rashba spin-orbit coupling generates magnetic anisotropy that can be stronger or comparable to the magnetic anisotropy due to the crystal field and the shape of the cluster. Transport current through the superconductor produces the effective magnetic field acting on the cluster's magnetic moment. The direction of the effective field depends on the direction of the current, thus allowing one to manipulate the magnetic moment by the superconducting current. Due to the large density of the superconducting current this method of magnetization reversal can be more advantageous at low temperatures than the spin-transfer torque method that requires a large spin-polarized current through a normal metal.


title: Tracking bitcoin users activity using community detection on a network of weak signals

abstract: Bitcoin is a cryptocurrency attracting a lot of interest both from the general public and researchers. There is an ongoing debate on the question of users' anonymity: while the Bitcoin protocol has been designed to ensure that the activity of individual users could not be tracked, some methods have been proposed to partially bypass this limitation. In this article, we show how the Bitcoin transaction network can be studied using complex networks analysis techniques, and in particular how community detection can be efficiently used to re-identify multiple addresses belonging to a same user.


title: An infinite dimensional Duffing-like evolution equation with linear dissipation and an asymptotically small source term

abstract: We consider an abstract nonlinear second order evolution equation, inspired by some models for damped oscillations of a beam subject to external loads or magnetic fields, and shaken by a transversal force. When there is no external force, the system has three stationary positions, two stable and one unstable, and all solutions are asymptotic for $t$ large to one of these stationary solutions.We show that this pattern extends to the case where the external force is bounded and small enough, in the sense that solutions can exhibit only three different asymptotic behaviors.


title: Brown measure and asymptotic freeness of elliptic and related matrices

abstract: We show that independent elliptic matrices converge to freely independent elliptic elements. Moreover, the elliptic matrices are asymptotically free with deterministic matrices under appropriate conditions. We compute the Brown measure of the product of elliptic elements. It turns out that this Brown measure is same as the limiting spectral distribution.


title: Direct, Resonant Production of States with Positive Charge Conjugation in Electron-Positron Annihilation

abstract: Recent theory results on direct production of resonances with positive charge conjugation in electron-positron annihilation are reviewed. The strong model dependence is emphasized, with predictions varying between 0.03 eV and 0.43 eV for the charmonium state with $J^{PC} = 1^{++}$ and between 0.16 eV and 4.25 eV for the state with $J^{PC} = 2^{++}$. For the state with $J^{PC} = 0^{++}$ the cross section is of $\cal{O}$ $(m^2_e/M^2_{\chi})$ and thus negligeable for all practical purpose. The importance of the relative phase of the production amplitude is emphasized.


title: bridgesampling: An R Package for Estimating Normalizing Constants

abstract: Statistical procedures such as Bayes factor model selection and Bayesian model averaging require the computation of normalizing constants (e.g., marginal likelihoods). These normalizing constants are notoriously difficult to obtain, as they usually involve high-dimensional integrals that cannot be solved analytically. Here we introduce an R package that uses bridge sampling (Meng & Wong, 1996; Meng & Schilling, 2002) to estimate normalizing constants in a generic and easy-to-use fashion. For models implemented in Stan, the estimation procedure is automatic. We illustrate the functionality of the package with three examples.


title: Satisfiability in multi-valued circuits

abstract: Satisfiability of Boolean circuits is among the most known and important problems in theoretical computer science. This problem is NP-complete in general but becomes polynomial time when restricted either to monotone gates or linear gates. We go outside Boolean realm and consider circuits built of any fixed set of gates on an arbitrary large finite domain. From the complexity point of view this is strictly connected with the problems of solving equations (or systems of equations) over finite algebras. The research reported in this work was motivated by a desire to know for which finite algebras $\mathbf A$ there is a polynomial time algorithm that decides if an equation over $\mathbf A$ has a solution. We are also looking for polynomial time algorithms that decide if two circuits over a finite algebra compute the same function. Although we have not managed to solve these problems in the most general setting we have obtained such a characterization for a very broad class of algebras from congruence modular varieties. This class includes most known and well-studied algebras such as groups, rings, modules (and their generalizations like quasigroups, loops, near-rings, nonassociative rings, Lie algebras), lattices (and their extensions like Boolean algebras, Heyting algebras or other algebras connected with multi-valued logics including MV-algebras). This paper seems to be the first systematic study of the computational complexity of satisfiability of non-Boolean circuits and solving equations over finite algebras. The characterization results provided by the paper is given in terms of nice structural properties of algebras for which the problems are solvable in polynomial time.


title: Structural properties of the seed bank and the two-island diffusion

abstract: We investigate various aspects of the (biallelic) Wright-Fisher diffusion with seed bank in conjunction with and contrast to the two-island model analysed e.g. in Kermany, Zhou and Hickey, 2008, and Nath and Griffiths, 1993, including moments, stationary distribution and reversibility, for which our main tool is duality. Further, we show that the Wright-Fisher diffusion with seed bank can be reformulated as a one-dimensional stochastic delay differential equation, providing an elegant interpretation of the age structure in the seed bank also forward in time in the spirit of Kaj, Krone and Lascoux, 2001. We also provide a complete boundary classification for this two-dimensional SDE using martingale-based reasoning known as McKean's argument.


title: Fast MCMC sampling algorithms on polytopes

abstract: We propose and analyze two new MCMC sampling algorithms, the Vaidya walk and the John walk, for generating samples from the uniform distribution over a polytope. Both random walks are sampling algorithms derived from interior point methods. The former is based on volumetric-logarithmic barrier introduced by Vaidya whereas the latter uses John's ellipsoids. We show that the Vaidya walk mixes in significantly fewer steps than the logarithmic-barrier based Dikin walk studied in past work. For a polytope in $\mathbb{R}^d$ defined by $n >d$ linear constraints, we show that the mixing time from a warm start is bounded as $\mathcal{O}(n^{0.5}d^{1.5})$, compared to the $\mathcal{O}(nd)$ mixing time bound for the Dikin walk. The cost of each step of the Vaidya walk is of the same order as the Dikin walk, and at most twice as large in terms of constant pre-factors. For the John walk, we prove an $\mathcal{O}(d^{2.5}\cdot\log^4(n/d))$ bound on its mixing time and conjecture that an improved variant of it could achieve a mixing time of $\mathcal{O}(d^2\cdot\text{polylog}(n/d))$. Additionally, we propose variants of the Vaidya and John walks that mix in polynomial time from a deterministic starting point. The speed-up of the Vaidya walk over the Dikin walk are illustrated in numerical examples.


title: Pseudorotations in Molecules: Electronic Orbital Triplets

abstract: Topological and geometrical methods are used to calculate the pseudorotational part of the vibronic spectrum for an electronic triplet of an octahedral, tetrahedral, or icosahedral molecule. The calculations take into account the nontrivial geometry inherent in the Jahn-Teller effect. It is shown that the Jahn-Teller effect gives rise to a geometry, which is related to the isoparametric geometry of E. Cartan. The pseudorotational spectra correspond to the spectra of connection Laplacians on nontrivial line bundles over base spaces with this geometry. Globally, the isoparametric submanifolds form a totally geodesic foliation of S^4 and the spectral flow of these connection Laplacians on this foliation is computed.


title: Interactive Visual Data Exploration with Subjective Feedback: An Information-Theoretic Approach

abstract: Visual exploration of high-dimensional real-valued datasets is a fundamental task in exploratory data analysis (EDA). Existing methods use predefined criteria to choose the representation of data. There is a lack of methods that (i) elicit from the user what she has learned from the data and (ii) show patterns that she does not know yet. We construct a theoretical model where identified patterns can be input as knowledge to the system. The knowledge syntax here is intuitive, such as "this set of points forms a cluster", and requires no knowledge of maths. This background knowledge is used to find a Maximum Entropy distribution of the data, after which the system provides the user data projections in which the data and the Maximum Entropy distribution differ the most, hence showing the user aspects of the data that are maximally informative given the user's current knowledge. We provide an open source EDA system with tailored interactive visualizations to demonstrate these concepts. We study the performance of the system and present use cases on both synthetic and real data. We find that the model and the prototype system allow the user to learn information efficiently from various data sources and the system works sufficiently fast in practice. We conclude that the information theoretic approach to exploratory data analysis where patterns observed by a user are formalized as constraints provides a principled, intuitive, and efficient basis for constructing an EDA system.


title: Long time stability of small finite gap solutions of the cubic Nonlinear Schr\"odinger equation on $\mathbb T^2$

abstract: In this paper we study long time stability of a class of nontrivial, quasi-periodic solutions depending on one spacial variable of the cubic defocusing non-linear Schr\"odinger equation on the two dimensional torus. We prove that these quasi-periodic solutions are orbitally stable for finite but long times, provided that their Fourier support and their frequency vector satisfy some complicated but explicit condition, which we show holds true for most solutions. The proof is based on a normal form result. More precisely we expand the Hamiltonian in a neighborhood of a quasi-periodic solution, we reduce its quadratic part to diagonal constant coefficients through a KAM scheme, and finally we remove its cubic terms with a step of nonlinear Birkhoff normal form. The main difficulty is to impose second and third order Melnikov conditions; this is done by combining the techniques of reduction in order of pseudo-differential operators with the algebraic analysis of resonant quadratic Hamiltonians.


title: Electromagnetic decays of the neutral pion investigated in the Dyson-Schwinger formalism

abstract: We summarize recent work in determining the transition form factor (TFF) of the neutral pion ($\pi^0 \to \gamma^*\gamma^*$), by solving the non-perturbative Dyson-Schwinger and Bethe-Salpeter equations. We first study the transition form factor, followed by the rare decay $\pi^0 \to e^+ e^- $, which requires the TFF as input. In addition to the aspects of truncation required to compute the solution, we discuss unexpected behavior in the large $Q^2$ regime (with $Q^2$ the photon virtuality), and also touch on a path deformation in the complex plane to access the total decay rate for the rare decay.


title: Generic representations of countable groups

abstract: The paper is devoted to a study of generic representations (homomorphisms) of discrete countable groups $\Gamma$ in Polish groups $G$, i.e. those elements in the Polish space $\mathrm{Rep}(\Gamma,G)$ of all representations of $\Gamma$ in $G$, whose orbit under the conjugation action of $G$ on $\mathrm{Rep}(\Gamma,G)$ is comeager. We investigate a closely related notion of finite approximability of actions on countable structures such as tournaments or $K_n$-free graphs, and we show its connections with Ribes-Zalesski-like properties of the acting groups. We prove that $\mathbb{N}$ has a generic representation in the automorphism group of the random tournament (i.e., there is a comeager conjugacy class in this group). We formulate a Ribes-Zalesskii-like condition on a group that guarantees finite approximability of its actions on tournaments. We also provide a simpler proof of a result of Glasner, Kitroser and Melleray characterizing groups with a generic permutation representation. We also investigate representations of infinite groups $\Gamma$ in automorphism groups of metric structures such as the isometry group $\mathrm{Iso}(\mathbb{U})$ of the Urysohn space, isometry group $\mathrm{Iso}(\mathbb{U}_1)$ of the Urysohn sphere, or the linear isometry group $\mbox{LIso}(\mathbb{G})$ of the Gurarii space. We show that the conjugation action of $\mathrm{Iso}(\mathbb{U})$ on $\mathrm{Rep}(\Gamma,\mathrm{Iso}(\mathbb{U}))$ is generically turbulent answering a question of Kechris and Rosendal.


title: A hierarchical Bayesian model for measuring individual-level and group-level numerical representations

abstract: A popular method for indexing numerical representations is to compute an individual estimate of a response time effect, such as the SNARC effect or the numerical distance effect. Classically, this is done by estimating individual linear regression slopes and then either pooling the slopes to obtain a group-level slope estimate, or using the individual slopes as predictors of other phenomena. In this paper, I develop a hierarchical Bayesian model for simultaneously estimating group-level and individual-level slope parameters. I show examples of using this modeling framework to assess two common effects in numerical cognition: the SNARC effect and the numerical distance effect. Finally, I demonstrate that the Bayesian approach can result in better measurement fidelity than the classical approach, especially with small samples.


title: Microscopic core-quasiparticle coupling model for spectroscopy of odd-mass nuclei

abstract: Predictions of the spectroscopic properties of low-lying states are critical for nuclear structure studies, but are problematic for nuclei with an odd nucleon due to the interplay of the unpaired single particle with nuclear collective degrees of freedom. In this work, a microscopic core-quasiparticle coupling (CQC) model based on the covariant density functional theory is developed that contains the collective excitations of even-mass cores and spherical single-particle states of the odd nucleon as calculated from a quadrupole collective Hamiltonian combined with a constrained triaxial relativistic Hartree-Bogoliubov model. Predictions of the new model for excitation energies, kinematic and dynamic moments of inertia, and transition rates are shown to be in good agreement with results of low-lying spectroscopy measurements of the axially deformed odd-proton nucleus $^{159}$Tb and the odd-neutron nucleus $^{157}$Gd. Future studies with additional nuclei are planned.


title: Comment on "No Evidence for Orbital Loop Currents in Charge Ordered ${\rm YBa_2Cu_3O_{6+x}}$ from Polarized Neutron Diffraction"

abstract: Intra-unit cell magnetic order has been observed in four different families of high-temperature superconductors from polarized neutron diffraction experiments and supported by several other techniques. That order, which does not break translation symmetry, is consistent with the predicted orbital moments generated by two microscopic loop currrents in each CuO$_2$ cell. Recently, using polarized neutron diffraction, Croft {\it et al} [Phys. Rev. B 96, 214504 (2017)] claim to find no evidence for such orbital loop currents in charge ordered ${\rm YBa_2Cu_3O_{6+x}}$. Their experiment is done with detwinned samples at least 100 times smaller than in previous experiments without counting much longer. We show by a detailed quantitative analysis of their data that contrary to their conclusion, the magnetic signal falls below their threshold of detection. None of the data reported by Croft {\it et al} challenge the universality of the intra-unit cell order in cuprates.


title: Predicting bioaccumulation using molecular theory: A machine learning approach

abstract: In this work, we present a new method for predicting bioaccumulation factor of organic molecules. The approach utilizes 3D convolutional neural network (ActivNet4) that uses solvent spatial distributions around solutes as input. These spatial distributions are obtained by a molecular theory called three-dimensional reference interaction site model (3D-RISM). We have shown that the method allows one to achieve a good accuracy of prediction. Our research demonstrates that combination of molecular theories with modern machine learning approaches can be effectively used for predicting properties that are otherwise inaccessible to purely physics-based models.


title: Higher order dispersive deformations of multidimensional Poisson brackets of hydrodynamic type

abstract: The theory of multidimensional Poisson vertex algebras (mPVAs) provides a completely algebraic formalism to study the Hamiltonian structure of PDEs, for any number of dependent and independent variables. In this paper, we compute the cohomology of the PVAs associated with two-dimensional, two-components Poisson brackets of hydrodynamic type at the third differential degree. This allows us to obtain their corresponding Poisson-Lichnerowicz cohomology, which is the main building block of the theory of their deformations. Such a cohomology is trivial neither in the second group, corresponding to the existence of a class of not equivalent infinitesimal deformation, nor in the third, corresponding to the obstruction to extend such deformations


title: On the transmission-based graph topological indices

abstract: The distance $d(u,v)$ between the vertices $u$ and $v$ of a connected graph $G$ is defined as the number of edges in a minimal path connecting them. The \emph{transmission} of a vertex $v$ of $G$ is defined by $\sigma(v)=\sum\limits_{u\in V(G)}{d(v,u)}$. In this article we aim to define some transmission-based topological indices. We obtain lower and upper bounds on these indices and characterize graphs for which these bounds are best possible. Finally, we find these indices for various graphs using the group of automorphisms of $G$. This is an efficient method of finding these indices especially when the automorphism group of $G$ has a few orbits on $V(G)$ or $E(G)$.


title: Progressive Learning for Systematic Design of Large Neural Networks

abstract: We develop an algorithm for systematic design of a large artificial neural network using a progression property. We find that some non-linear functions, such as the rectifier linear unit and its derivatives, hold the property. The systematic design addresses the choice of network size and regularization of parameters. The number of nodes and layers in network increases in progression with the objective of consistently reducing an appropriate cost. Each layer is optimized at a time, where appropriate parameters are learned using convex optimization. Regularization parameters for convex optimization do not need a significant manual effort for tuning. We also use random instances for some weight matrices, and that helps to reduce the number of parameters we learn. The developed network is expected to show good generalization power due to appropriate regularization and use of random weights in the layers. This expectation is verified by extensive experiments for classification and regression problems, using standard databases.


title: Quantum return probability of a system of $N$ non-interacting lattice fermions

abstract: We consider $N$ non-interacting fermions performing continuous-time quantum walks on a one-dimensional lattice. The system is launched from a most compact configuration where the fermions occupy neighboring sites. We calculate exactly the quantum return probability (sometimes referred to as the Loschmidt echo) of observing the very same compact state at a later time $t$. Remarkably, this probability depends on the parity of the fermion number -- it decays as a power of time for even $N$, while for odd $N$ it exhibits periodic oscillations modulated by a decaying power law. The exponent also slightly depends on the parity of $N$, and is roughly twice smaller than what it would be in the continuum limit. We also consider the same problem, and obtain similar results, in the presence of an impenetrable wall at the origin constraining the particles to remain on the positive half-line. We derive closed-form expressions for the amplitudes of the power-law decay of the return probability in all cases. The key point in the derivation is the use of Mehta integrals, which are limiting cases of the Selberg integral.


title: Magnetic swirls and associated fast magnetoacoustic kink waves in a solar chromospheric flux tube

abstract: We perform numerical simulations of impulsively generated magnetic swirls in an isolated flux tube which is rooted in the solar photosphere. These swirls are triggered by an initial pulse in a horizontal component of the velocity. The initial pulse is launched either: (a) centrally, within the localized magnetic flux tube; or (b) off-central, in the ambient medium. The evolution and dynamics of the flux tube is described by three-dimensional, ideal magnetohydrodynamic equations. These equations are numerically solved to reveal that in case (a) dipole-like swirls associated with the fast magnetoacoustic kink and $m=1$ Alfv\'en waves are generated. In case (b), the fast magnetoacoustic kink and $m=0$ Alfv\'en modes are excited. In both these cases, the excited fast magnetoacoustic kink and Alfv\'en waves consist of similar flow pattern and magnetic shells are also generated with clockwise and counter-clockwise rotating plasma within them, which can be the proxy of dipole-shaped chromospheric swirls. The complex dynamics of vortices and wave perturbations reveals the channelling of sufficient amount of energy to fulfill energy losses in the chromosphere ($\sim$ 10$^{4}$ W m$^{-1}$) and in the corona ($\sim$ 10$^{2}$ W m$^{-1}$). Some of these numerical findings are reminiscent of signatures in recent observational data.


title: POD-based reduced-order model of an eddy-current levitation problem

abstract: The accurate and efficient treatment of eddy-current problems with movement is still a challenge. Very few works applying reduced-order models are available in the literature. In this paper, we propose a proper-orthogonal-decomposition reduced-order model to handle these kind of motional problems. A classical magnetodynamic finite element formulation based on the magnetic vector potential is used as reference and to build up the reduced models. Two approaches are proposed. The TEAM workshop problem 28 is chosen as a test case for validation. Results are compared in terms of accuracy and computational cost.


title: Realization of balanced gain and loss in a time-dependent four-mode Bose-Hubbard model

abstract: A quantum system exhibiting $\mathcal{PT}$ symmetry is a Bose-Einstein condensate in a double-well potential with balanced particle gain and loss, which is described in the mean-field limit by a Gross-Pitaevskii equation with a complex potential. A possible experimental realization of such a system by embedding it into a Hermitian time-dependent four-mode optical lattice was proposed by Kreibich et al. [Phys. Rev. A 87, 051601(R) (2013)], where additional potential wells act as reservoirs and particle exchange happens via tunneling. Since particle influx and outflux have to be controlled explicitly, a set of conditions on the potential parameters had to be derived. In contrast to previous work, our focus lies on a full many-body description beyond the mean-field approximation using a Bose-Hubbard model with time-dependent potentials. This gives rise to novel quantum effects, such that the differences between mean-field and many-body dynamics are of special interest. We further present stationary analytical solutions for the embedded wells in the mean-field limit, different approaches for the embedding into a many-body system, and a very efficient method for the evaluation of hopping terms to calculate exact Bose-Hubbard dynamics.


title: Minimum-domain impulse theory for unsteady aerodynamic force

abstract: We extend the impulse theory for unsteady aerodynamics, from its classic global form to finite-domain formulation then to minimum-domain form, and from incompressible to compressible flows. For incompressible flow, the minimum-domain impulse theory raises the finding of Li and Lu (J. Fluid Mech., 712: 598-613, 2012) to a theorem: The entire force with discrete wake is completely determined by only the time rate of impulse of those vortical structures still connecting to the body, along with the Lamb-vector integral thereof that captures the contribution of all the rest disconnected vortical structures. For compressible flow, we find that the global form in terms of the curl of momentum, obtained by Huang (Unsteady Vortical Aerodynamics. Shanghai Jiaotong Univ. Press, 1994), can be generalized to having arbitrary finite domain, but the formula is cumbersome and in general the curl of momentum no longer has discrete structure and hence no minimum-domain theory exists. Nevertheless, as the measure of transverse process only, the unsteady field of vorticity may still have discrete wake. This leads to a minimum-domain compressible vorticity-moment theory in terms of density-weighted vorticity (but it is beyond the classic concept of impulse). These new findings and applications have been confirmed by our numerical experiments. The results not only open an avenue to combine the theory with computation-experiment in wide applications, but also reveals a physical truth that it is no longer necessary to account for all wake vortical structures in computing the force and moment.


title: Coefficient of thermal expansion of nanostructured tungsten based coatings assessed by thermally induced substrate curvature method

abstract: The in plane coefficient of thermal expansion (CTE) and the residual stress of nanostructured W based coatings are extensively investigated. The CTE and the residual stresses are derived by means of an optimized ad-hoc developed experimental setup based on the detection of the substrate curvature by a laser system. The nanostructured coatings are deposited by Pulsed Laser Deposition. Thanks to its versatility, nanocrystalline W metallic coatings, ultra-nano-crystalline pure W and W-Tantalum coatings and amorphous-like W coatings are obtained. The correlation between the nanostructure, the residual stress and the CTE of the coatings are thus elucidated. We find that all the samples show a compressive state of stress that decreases as the structure goes from columnar nanocrystalline to amorphous-like. The CTE of all the coatings is higher than the one of the corresponding bulk W form. In particular, as the grain size shrinks, the CTE increases from 5.1 10$^{-6}$ K$^{-1}$ for nanocrystalline W to 6.6 10$^{-6}$ K$^{-1}$ in the ultra-nano-crystalline region. When dealing with amorphous W, the further increase of the CTE is attributed to a higher porosity degree of the samples. The CTE trend is also investigated as function of materials stiffness. In this case, as W coatings become softer, the easier they thermally expand.


title: Chaos and random matrices in supersymmetric SYK

abstract: We use random matrix theory to explore late-time chaos in supersymmetric quantum mechanical systems. Motivated by the recent study of supersymmetric SYK models and their random matrix classification, we consider the Wishart-Laguerre unitary ensemble and compute the spectral form factors and frame potentials to quantify chaos and randomness. Compared to the Gaussian ensembles, we observe the absence of a dip regime in the form factor and a slower approach to Haar-random dynamics. We find agreement between our random matrix analysis and predictions from the supersymmetric SYK model, and discuss the implications for supersymmetric chaotic systems.


title: A brief overview and some comments on the weak measurement protocol

abstract: The main purpose of this short article is to give a brief overview of the development of the very interesting weak measurement protocol. I add some comments relating to the reality of weak values, and also comment on the allowed values of observables between measurements.


title: Developpement des methodes de correlation d images pour l analyse de la mobilite moleculaire dans un systeme biologique complexe spatialement et temporellement

abstract: Fluorescence spectroscopy is an image correlation technique to analyze and characterize the molecular dynamics from a sequence of fluorescence images. Many image correlation techniques have been developed for different applications [1]. But in practice the use of these techniques is often limited to a manually selected region of analysis where it is assumed that the observed molecules have homogeneous and constant behavior over time. Due to the spatial and temporal complexity of biological objects, this assumption is frequently at fault. It is then necessary to propose a robust method for discriminating the different behaviors over time from experience, as well as identification of the type of dynamics (diffusion or flow). This paper presents an original system of automatic discrimination and identification of spatially and temporally uniform regions for the analysis of molecular different dynamics over time by calculating STICS (Spatio-Temporal Image Correlation Spectroscopy) at different time lags. An evaluation of system performance is presented on simulated images and images acquired by fluorescence microscopy on actin cytoskeleton.


title: Periodically driven Taylor-Couette turbulence

abstract: We study periodically driven Taylor-Couette turbulence, i.e. the flow confined between two concentric, independently rotating cylinders. Here, the inner cylinder is driven sinusoidally while the outer cylinder is kept at rest (time-averaged Reynolds number is $Re_i = 5 \times 10^5$). Using particle image velocimetry (PIV), we measure the velocity over a wide range of modulation periods, corresponding to a change in Womersley number in the range $15 \leq Wo \leq 114$. To understand how the flow responds to a given modulation, we calculate the phase delay and amplitude response of the azimuthal velocity. In agreement with earlier theoretical and numerical work, we find that for large modulation periods the system follows the given modulation of the driving, i.e. the system behaves quasi-stationary. For smaller modulation periods, the flow cannot follow the modulation, and the flow velocity responds with a phase delay and a smaller amplitude response to the given modulation. If we compare our results with numerical and theoretical results for the laminar case, we find that the scalings of the phase delay and the amplitude response are similar. However, the local response in the bulk of the flow is independent of the distance to the modulated boundary. Apparently, the turbulent mixing is strong enough to prevent the flow from having radius-dependent responses to the given modulation.


title: Painting with bacteria: Smart templated self assembly using motile bacteria

abstract: External control of the swimming speed of `active particles' can be used to self assemble designer structures in situ on the micrometer to millimeter scale. We demonstrate such reconfigurable templated active self assembly in a fluid environment using light powered strains of Escherichia coli. The physics and biology controlling the sharpness and formation speed of patterns is investigated using a bespoke fast-responding strain.


title: Survey of Machine Learning Techniques for Malware Analysis

abstract: Coping with malware is getting more and more challenging, given their relentless growth in complexity and volume. One of the most common approaches in literature is using machine learning techniques, to automatically learn models and patterns behind such complexity, and to develop technologies to keep pace with malware evolution. This survey aims at providing an overview on the way machine learning has been used so far in the context of malware analysis in Windows environments, i.e. for the analysis of Portable Executables. We systematize surveyed papers according to their objectives (i.e., the expected output), what information about malware they specifically use (i.e., the features), and what machine learning techniques they employ (i.e., what algorithm is used to process the input and produce the output). We also outline a number of issues and challenges, including those concerning the used datasets, and identify the main current topical trends and how to possibly advance them. In particular, we introduce the novel concept of malware analysis economics, regarding the study of existing trade-offs among key metrics, such as analysis accuracy and economical costs.


title: Quasi-symmetric invariant properties of Cantor metric spaces

abstract: For metric spaces, the doubling property, the uniform disconnectedness, and the uniform perfectness are known as quasi-symmetric invariant properties. The David-Semmes uniformization theorem states that if a compact metric space satisfies all the three properties, then it is quasi-symmetrically equivalent to the middle-third Cantor set. We say that a Cantor metric space is standard if it satisfies all the three properties; otherwise, it is exotic. In this paper, we conclude that for each of exotic types the class of all the conformal gauges of Cantor metric spaces has continuum cardinality. As a byproduct of our study, we state that there exists a Cantor metric space with prescribed Hausdorff dimension and Assouad dimension.


abstract: Little by little, newspapers are revealing the bright future that Artificial Intelligence (AI) is building. Intelligent machines will help everywhere. However, this bright future has a dark side: a dramatic job market contraction before its unpredictable transformation. Hence, in a near future, large numbers of job seekers will need financial support while catching up with these novel unpredictable jobs. This possible job market crisis has an antidote inside. In fact, the rise of AI is sustained by the biggest knowledge theft of the recent years. Learning AI machines are extracting knowledge from unaware skilled or unskilled workers by analyzing their interactions. By passionately doing their jobs, these workers are digging their own graves. In this paper, we propose Human-in-the-loop Artificial Intelligence (HIT-AI) as a fairer paradigm for Artificial Intelligence systems. HIT-AI will reward aware and unaware knowledge producers with a different scheme: decisions of AI systems generating revenues will repay the legitimate owners of the knowledge used for taking those decisions. As modern Robin Hoods, HIT-AI researchers should fight for a fairer Artificial Intelligence that gives back what it steals.


title: Investigating the feature collection for semantic segmentation via single skip connection

abstract: Since the study of deep convolutional neural network became prevalent, one of the important discoveries is that a feature map from a convolutional network can be extracted before going into the fully connected layer and can be used as a saliency map for object detection. Furthermore, the model can use features from each different layer for accurate object detection: the features from different layers can have different properties. As the model goes deeper, it has many latent skip connections and feature maps to elaborate object detection. Although there are many intermediate layers that we can use for semantic segmentation through skip connection, still the characteristics of each skip connection and the best skip connection for this task are uncertain. Therefore, in this study, we exhaustively research skip connections of state-of-the-art deep convolutional networks and investigate the characteristics of the features from each intermediate layer. In addition, this study would suggest how to use a recent deep neural network model for semantic segmentation and it would therefore become a cornerstone for later studies with the state-of-the-art network models.


title: Muon bundles from the Universe

abstract: Recently the CERN ALICE experiment, in its dedicated cosmic ray run, observed muon bundles of very high multiplicities, thereby confirming similar findings from the LEP era at CERN (in the CosmoLEP project). Significant evidence for anisotropy of arrival directions of the observed high multiplicity muonic bundles is found. Estimated directionality suggests their possible extragalactic provenance. We argue that muonic bundles of highest multiplicity are produced by strangelets, hypothetical stable lumps of strange quark matter infiltrating our Universe.


title: Water adsorption on the P-rich GaP(100) surface: Optical spectroscopy from first principles

abstract: The contact of water with semiconductors typically changes its surface electronic structure by oxidation or corrosion processes. A detailed knowledge - or even control of - the surface structure is highly desirable, as it impacts the performance of opto-electronic devices from gas-sensing to energy conversion applications. It is also a prerequisite for density functional theory-based modelling of the electronic structure in contact with an electrolyte. The P-rich GaP(100) surface is extraordinary with respect to its contact with gas-phase water, as it undergoes a surface reordering, but does not oxidise. We investigate the underlying changes of the surface in contact with water by means of theoretically derived reflection anisotropy spectroscopy (RAS). A comparison of our results with experiment reveals that a water-induced hydrogen-rich phase on the surface is compatible with the boundary conditions from experiment, reproducing the optical spectra. We discuss potential reaction paths that comprise a water-enhanced hydrogen mobility on the surface. Our results also show that computational RAS - required for the interpretation of experimental signatures - is feasible for GaP in contact with water double layers. Here, RAS is sensitive to surface electric fields, which are an important ingredient of the Helmholtz-layer. This paves the way for future investigations of RAS at the semiconductor-electrolyte interface.


title: The Refinement Calculus of Reactive Systems Toolset

abstract: We present the Refinement Calculus of Reactive Systems Toolset, an environment for compositional modeling and reasoning about reactive systems, built on top of Isabelle, Simulink, and Python.


title: Experimental identification of non-classicality of noisy twin beams and other related two-mode states

abstract: Different non-classicality criteria expressed in the form of inequalities among intensity moments and elements of photon-number distributions are applied to noisy twin beams and other two-mode states obtained from a twin beam by using a beam splitter. Their performance in revealing the non-classicality is judged in comparison with the exact results provided by suitable entanglement and local non-classicality quantifiers. Whereas the non-classicality of noisy twin beams is always revealed by these criteria, not all the nonclassical states obtained at the output of the beam splitter can be identified by these experimentally easily reachable criteria.


title: Tests of discrete symmetries and quantum coherence with neutral kaons at the KLOE-2 experiment

abstract: The KLOE-2 detector records decays of quantum-entangled pairs of neutral kaons produced in decays of phi mesons provided by the DAFNE accelerator at the Laboratori Nazionali di Frascati, Italy. This system allows for a broad range of studies of fundamental discrete symmetries including tests which are only feasible with entangled neutral mesons. This work reports on the Lorentz non-invariance and CPT violation searches with the KSKL->pi+pi-pi+pi- process in the framework of the Standard Model Extension. Moreover, status and results of quantum coherence tests with the same process are discussed. Finally, the status of ongoing direct tests of T and CPT in neutral kaon transitions is presented. For each of thereported studies, perspectives are discussed for the KLOE-2 experiment, which is presently taking data.


title: Conformally Coupled General Relativity

abstract: Gravity model developed in the series of papers \cite{Arbuzov:2009zza,Arbuzov:2010fz,Pervushin:2011gz} is revisited. Model is based on Ogievetsky theorem that specifies structure of general coordinate transformation group. The theorem is implemented in the context of Noether theorem with the use of nonlinear representation technique. Canonical quantization is performed with the use of reparametrization-invariant time and ADM foliation techniques. Basic quantum features of the models are discussed. Mistakes occurred in the previous papers are corrected.


title: Multiband Dual Fermion Approach to Quantum Criticality in the Hubbard Honeycomb Lattice

abstract: We study the Hubbard model on the honeycomb lattice in the vicinity of the quantum critical point by means of a multiband formulation of the Dual Fermion approach. Beyond the strong local correlations of the dynamical mean field, critical fluctuations on all length scales are included by means of a ladder diagram summation. Analysis of the susceptibility yields an estimate of the critical interaction strength of the quantum phase transition from a paramagnetic semimetal to an antiferromagnetic insulator, in good agreement to other numerical methods. We further estimate the crossover temperature to the renormalized classical regime. Our data imply that, at large interaction strengths, the Hubbard model on the honeycomb lattice behaves like a quantum nonlinear sigma model, while being in a non-Fermi liquid state.


title: Self-Adjoint Extensions for the Dirac Operator with Coulomb-Type Spherically Symmetric Potentials

abstract: We describe the self-adjoint realizations of the operator $H:=-i\alpha\cdot \nabla + m\beta + \mathbb V(x)$, for $m\in\mathbb R $, and $\mathbb V(x)= |x|^{-1} ( \nu \mathbb{I}_4 +\mu \beta -i \lambda \alpha\cdot{x}/{|x|}\,\beta)$, for $\nu,\mu,\lambda \in \mathbb R$. We characterize the self-adjointness in terms of the behaviour of the functions of the domain in the origin, exploiting Hardy-type estimates and trace lemmas. Finally, we describe the distinguished extension.


title: $6$-th Norm of a Steinhaus Chaos

abstract: We prove that for the Steinhaus Random Variable $z(n)$ \[\mathbb{E}\left(\left|\sum_{n\in E_{N, m}}z(n)\right|^6\right)\asymp |E_{N, m}|^3 \text{ for } m\ll(\log\log N)^{\frac{1}{3}},\] where \[E_{N, m}:=\{1\leq n:\Omega(n)=m\}\] and $\Omega(n)$ denotes the number of prime factors of $N$.


title: Non-liftable Calabi-Yau varieties in characteristic $p \geq 5$

abstract: Based on recent work of Totaro, we provide two simple constructions of non-liftable Calabi-Yau varieties in characteristic $p \geq 5$. Our examples are of dimension $2p$ and $2p+1$.


title: Mixed and discontinuous finite volume element schemes for the optimal control of immiscible flow in porous media

abstract: We introduce a family of hybrid discretisations for the numerical approximation of optimal control problems governed by the equations of immiscible displacement in porous media. The proposed schemes are based on mixed and discontinuous finite volume element methods in combination with the optimise-then-discretise approach for the approximation of the optimal control problem, leading to nonsymmetric algebraic systems, and employing minimum regularity requirements. Estimates for the error (between a local reference solution of the infinite dimensional optimal control problem and its hybrid approximation) measured in suitable norms are derived, showing optimal orders of convergence.


title: New Results from RENO using 1500 Days of Data

abstract: RENO (Reactor Experiment for Neutrino Oscillation) is the first reactor neutrino experiment which began data-taking in 2011 with two identical near and far detectors in Yonggwang, Korea. Using 1500 live days of data, sin^2(2{\theta}_13) and |{\Delta}m^2_ee| are updated using spectral measurements: sin^2(2{\theta}_13) = 0.086 +/- 0.006 (stat.) +/- 0.005 (syst.) and |{\Delta}m^2_ee| = 2.61+0.15-0.16 (stat.) +/- 0.09 (syst.) (x10^-3 eV^2). The correlation between the 5 MeV excess rate and the reactor thermal power is again clearly observed with the increased data set.


title: Reconciling cosmic ray diffusion with Galactic magnetic field models

abstract: We calculate the diffusion coefficients of charged cosmic rays (CR) propagating in regular and turbulent magnetic fields. If the magnetic field is dominated by an isotropic turbulent component, we find that CRs reside too long in the Galactic disc. As a result, CRs overproduce secondary nuclei like boron for any reasonable values of the strength and the coherence length of an isotropic turbulent field. We conclude therefore that the propagation of Galactic CRs has to be strongly anisotropic because of a sufficiently strong regular field and/or of an anisotropy in the turbulent field. As a consequence, the number of sources contributing to the local CR flux is reduced by a factor ${\cal O}(100)$ compared to the case of isotropic CR diffusion.


title: Quantized Laplacian growth, II: 1D hydrodynamics of the Loewner density

abstract: A systematic analytic treatment of fluctuations in Laplacian growth is given. The growth process is regularized by a short-distance cutoff $\hbar$ preventing the cusps production in a finite time. This regularization mechanism generates tiny inevitable fluctuations on a microscale, so that the interface dynamics becomes chaotic. The time evolution of fluctuations can be described by the universal Dyson Brownian motion, which reduces to the complex viscous Burgers equation in the hydrodynamic approximation. Because of the intrinsic instability of the interface dynamics, tiny fluctuations of the interface on a microscale generate universal patterns with well developed fjords and fingers in a long time asymptotic.

categories: cond-mat.stat-mech hep-th math-ph math.MP nlin.PS


title: Quantized Laplacian growth, I: Statistical theory of Laplacian growth

abstract: We regularize the Laplacian growth problem with zero surface tension by introducing a short-distance cutoff $\hbar$, so that the change of the area of domains is quantized and equals an integer multiple of the area quanta $\hbar$. The domain can be then considered as an aggregate of tiny particles (area quanta) obeying the Pauli exclusion principle. The statistical theory of Laplacian growth is introduced by using Laughlin's description of the integer quantum Hall effect. The semiclassical evolution of the aggregate is similar to classical deterministic Laplacian growth. However, the quantization procedure generates inevitable fluctuations at the edge of the droplet. The statistical properties of the edge fluctuations are universal and common to that of quantum chaotic systems, which are generally described by Dyson's circular ensembles on symmetric unitary matrices.


title: Asymptotic behavior of local times related statistics for fractional Brownian motion

abstract: We consider high frequency observations from a fractional Brownian motion. Inspired by the work of Jean Jacod in a diffusion setting, we investigate the asymptotic behavior of various classical statistics related to the local times of the process. We show that as in the diffusion case, these statistics indeed converge to some local times up to a constant factor. As a corollary, we provide limit theorems for the quadratic variation of the absolute value of a fractional Brownian motion.


title: Lines of descent under selection

abstract: We review recent progress on ancestral processes related to mutation-selection models, both in the deterministic and the stochastic setting. We mainly rely on two concepts, namely, the killed ancestral selection graph and the pruned lookdown ancestral selection graph. The killed ancestral selection graph gives a representation of the type of a random individual from a stationary population, based upon the individual's potential ancestry back until the mutations that define the individual's type. The pruned lookdown ancestral selection graph allows one to trace the ancestry of individuals from a stationary distribution back into the distant past, thus leading to the stationary distribution of ancestral types. We illustrate the results by applying them to a prototype model for the error threshold phenomenon.


title: Magnetic-Field-Induced Superconductivity in Ultrathin Pb Films with Magnetic Impurities

abstract: It is well known that external magnetic fields and magnetic moments of impurities both suppress superconductivity. Here, we demonstrate that their combined effect enhances the superconductivity of a few atomic layer thick Pb films grown on a cleaved GaAs(110) surface. A Ce-doped film, where superconductivity is totally suppressed at zero-field, actually turns superconducting when an external magnetic field is applied parallel to the conducting plane. For films with Mn adatoms, the screening of the magnetic moment by conduction electrons, i.e., the Kondo singlet formation, becomes important. We found that the degree of screening can be reduced by capping the Pb film with a Au layer, and observed the positive magnetic field dependence of the superconducting transition temperature.


title: Measurement-device-independent quantum key distribution with source state errors and statistical fluctuation

abstract: We show how to calculate the secure final key rate in the four-intensity decoy-state MDI-QKD protocol with both source errors and statistical fluctuations with a certain failure probability. Our results rely only on the range of only a few parameters in the source state. All imperfections in this protocol have been taken into consideration without any unverifiable error patterns.


title: Effect of Parallel Magnetic Field on Superconductivity of Ultrathin Metal Films Grown on a Cleaved GaAs Surface

abstract: The parallel-magnetic-field $H_\parallel$ dependence of the superconducting transition temperature $T_c$ is studied for ultrathin films of In, Bi, and Al grown on GaAs(110). In the case of In films in the monolayer regime, $T_c$ exhibits a quadratic-like $H_\parallel$ dependence, which is one order of magnitude stronger than that previously observed in monolayer Pb films by the present authors [Phys. Rev. Lett. 111, 057005 (2013)]. The results are well reproduced by a model developed for an inhomogeneous two-dimensional superconducting state in the presence of a moderate Rashba spin-orbit interaction. The Rashba spin splitting is estimated to be 0.04 eV, which is much smaller than that expected for monolayer Pb films. In a few-monolayer Bi film, the suppression of $T_c$ with increasing $H_\parallel$ is comparable to that in monolayer Pb films. On the other hand, much stronger suppression, which is attributed to the Pauli paramagnetic effect, was observed for the Al film.


title: Multiple large-time behavior of nonlocal interaction equations with quadratic diffusion

abstract: In this paper we consider a one-dimensional nonlocal interaction equation with quadratic porous-medium type diffusion in which the interaction kernels are attractive, nonnegative, and integrable on the real line. Earlier results in the literature have shown existence of nontrivial steady states if the $L^1$ norm of the kernel $G$ is larger than the diffusion constant $\varepsilon$. In this paper we aim at showing that this equation exhibits a "multiple" behavior, in that solutions can either converge to the nontrivial steady states or decay to zero for large times. We prove the former situation holds in case the initial conditions are concentrated enough and "close" to the steady state in the $\infty$-Wasserstein distance. Moreover, we prove that solutions decay to zero for large times in the diffusion-dominated regime $\varepsilon\geq \|G\|_{L^1}$. Finally, we show two partial results suggesting that the large-time decay also holds in the complementary regime $\varepsilon< \|G\|_{L^1}$ for initial data with large enough second moment. We use numerical simulations both to validate our local asymptotic stability result and to support our conjecture on the large time decay.


title: Parametric channel estimation for massive MIMO

abstract: Channel state information is crucial to achieving the capacity of multi-antenna (MIMO) wireless communication systems. It requires estimating the channel matrix. This estimation task is studied, considering a sparse channel model particularly suited to millimeter wave propagation, as well as a general measurement model taking into account hybrid architectures. The contribution is twofold. First, the Cram{\'e}r-Rao bound in this context is derived. Second, interpretation of the Fisher Information Matrix structure allows to assess the role of system parameters, as well as to propose asymptotically optimal and computationally efficient estimation algorithms.


title: Cluster Generation Under Pulsed Laser Ablation Of Compound Semiconductors

abstract: A comparative experimental study of pulsed laser ablation in vacuum of two binary semiconductors, zinc oxide and indium phosphide, has been performed using IR-and visible laser pulses with particular attention to cluster generation. Neutral and cationic Zn\_n O\_m and In\_n P\_m particles of various stoichiometry have been produced and investigated by time-of-flight mass spectrometry. At ZnO ablation, large cationic (n>9) and all neutral clusters are mainly stoichiometric in the ablation plume. In contrast, indium phosphide clusters are strongly indium-rich with In\_4 P being a magic cluster. Analysis of the plume composition upon laser exposure has revealed congruent vaporization of ZnO and a disproportionate loss of phosphorus by the irradiated InP surface. Plume expansion conditions under ZnO ablation are shown to be favourable for stoichiometric cluster formation. A delayed vaporization of phosphorus under InP ablation has been observed that results in generation of off-stoichiometric clusters.


title: Measurement-device-independent quantum key distribution with source state errors in photon number space

abstract: The existing decoy-state MDI-QKD theory assumes the perfect control of the source states which is a an impossible task for any real setup. In this paper, we study the decoy-state MDI-QKD method with source errors without any presumed conditions and we get the final security key rate only with the range of a few parameters in the source state.


title: Democratizing online controlled experiments at Booking.com

abstract: There is an extensive literature about online controlled experiments, both on the statistical methods available to analyze experiment results as well as on the infrastructure built by several large scale Internet companies but also on the organizational challenges of embracing online experiments to inform product development. At Booking.com we have been conducting evidenced based product development using online experiments for more than ten years. Our methods and infrastructure were designed from their inception to reflect Booking.com culture, that is, with democratization and decentralization of experimentation and decision making in mind. In this paper we explain how building a central repository of successes and failures to allow for knowledge sharing, having a generic and extensible code library which enforces a loose coupling between experimentation and business logic, monitoring closely and transparently the quality and the reliability of the data gathering pipelines to build trust in the experimentation infrastructure, and putting in place safeguards to enable anyone to have end to end ownership of their experiments have allowed such a large organization as Booking.com to truly and successfully democratize experimentation.


title: The Flow Constraint Influence on the Properties of Nuclear Matter Critical Endpoint

abstract: We propose a novel family of equations of state for symmetric nuclear matter based on the induced surface tension concept for the hard-core repulsion. It is shown that having only four adjustable parameters the suggested equations of state can, simultaneously, reproduce not only the main properties of the nuclear matter ground state, but the proton flow constraint up its maximal particle number densities. Varying the model parameters we carefully examine the range of values of incompressibility constant of normal nuclear matter and its critical temperature which are consistent with the proton flow constraint. This analysis allows us to show that the physically most justified value of nuclear matter critical temperature is 15.5-18 MeV, the incompressibility constant is 270-315 MeV and the hard-core radius of nucleons is less than 0.4 fm.


title: Chimera states in brain networks: empirical neural vs. modular fractal connectivity

abstract: Complex spatiotemporal patterns, called chimera states, consist of coexisting coherent and incoherent domains and can be observed in networks of coupled oscillators. The interplay of synchrony and asynchrony in complex brain networks is an important aspect in studies of both brain function and disease. We analyse the collective dynamics of FitzHugh-Nagumo neurons in complex networks motivated by its potential application to epileptology and epilepsy surgery. We compare two topologies: an empirical structural neural connectivity derived from diffusion-weighted magnetic resonance imaging and a mathematically constructed network with modular fractal connectivity. We analyse the properties of chimeras and partially synchronized states, and obtain regions of their stability in the parameter planes. Furthermore, we qualitatively simulate the dynamics of epileptic seizures and study the influence of the removal of nodes on the network synchronizability, which can be useful for applications to epileptic surgery.


title: Chiral interactions up to next-to-next-to-next-to-leading order and nuclear saturation

abstract: We present an efficient Monte Carlo framework for perturbative calculations of infinite nuclear matter based on chiral two-, three-, and four-nucleon interactions. The method enables the incorporation of all many-body contributions in a straightforward and transparent way, and makes it possible to extract systematic uncertainty estimates by performing order-by-order calculations in the chiral expansion as well as the many-body expansion. The versatility of this new framework is demonstrated by applying it to chiral low-momentum interactions, exhibiting a very good many-body convergence up to fourth order. Following these benchmarks, we explore new chiral interactions up to next-to-next-to-next-to-leading order (N$^3$LO). Remarkably, simultaneous fits to the triton and to saturation properties can be achieved, while all three-nucleon low-energy couplings remain natural. The theoretical uncertainties of nuclear matter are significantly reduced when going from next-to-next-to-leading order to N$^3$LO.


title: Mid-infrared excess from the west hot spot of the radio galaxy Pictor A unveiled by WISE

abstract: Mid-infrared properties are reported of the west hot spot of the radio galaxy Pictor A with the Wide-field Infrared Survey Explorer (WISE). The mid-infrared counterpart to the hot spot, WISE J051926.26-454554.1, is listed in the AllWISE source catalog. The source was detected in all the four WISE photometric bands. A comparison between the WISE and radio images reinforces the physical association of the \wise\ source to the hot spot. The WISE flux density of the source was carefully evaluated. A close investigation of the multi-wavelength synchrotron spectral energy distribution from the object reveals a mid-infrared excess at the wavelength of $\lambda=22$ $\mu$m with a statistical significance of $4.8 \sigma$ over the simple power-law extrapolation from the synchrotron radio spectrum. The excess is reinforced by single and double cutoff power-law modeling of the radio-to-optical spectral energy distribution. The synchrotron cutoff frequency of the main and excess components was evaluated as $7.1 \times 10^{14}$ Hz and $5.5 \times 10^{13}$ Hz, respectively. From the cutoff frequency, the magnetic field of the emission region was constrained as a function of the region size. In order to interpret the excess component, an electron population different from the main one dominating the observed radio spectrum is necessary. The excess emission is proposed to originate in a sub structure within the hot spot, in which the magnetic field is by a factor of a few stronger than that in the minimum energy condition. The relation of the mid-infrared excess to the X-ray emission is briefly discussed.


title: Multi-Epoch Radio Imaging of gamma-ray Nova V959 Mon

abstract: V959 Mon (Nova Mon 2012) was first detected by the Fermi Large Area Telescope in June 2012, as a transient gamma-ray source. Subsequent optical observations showed that this gamma-ray emission was due to a classical nova explosion. Multi-frequency observations of V959 Mon with the VLA between June and September 2012 revealed dramatic brightening, and a spectrum that steepened with increasing frequency. High resolution radio images of V959 Mon using e-MERLIN are presented here, at six epochs between September 2012 and February 2014 which show morphological evolution of the source. While early e-MERLIN observations of V959 Mon show an east-west elonga- tion in the ejecta morphology, subsequent observations suggest that the ejecta become elongated in the north-south direction. Our high-resolution observations of this sur- prising evolution in the structure of V959 Mon can assist us in further understanding the behaviour and morphology of nova ejecta.


title: Learning With Errors and Extrapolated Dihedral Cosets

abstract: The hardness of the learning with errors (LWE) problem is one of the most fruitful resources of modern cryptography. In particular, it is one of the most prominent candidates for secure post-quantum cryptography. Understanding its quantum complexity is therefore an important goal. We show that under quantum polynomial time reductions, LWE is equivalent to a relaxed version of the dihedral coset problem (DCP), which we call extrapolated DCP (eDCP). The extent of extrapolation varies with the LWE noise rate. By considering different extents of extrapolation, our result generalizes Regev's famous proof that if DCP is in BQP (quantum poly-time) then so is LWE (FOCS'02). We also discuss a connection between eDCP and Childs and Van Dam's algorithm for generalized hidden shift problems (SODA'07). Our result implies that a BQP solution for LWE might not require the full power of solving DCP, but rather only a solution for its relaxed version, eDCP, which could be easier.


title: A treatment of breakdowns and near breakdowns in a reduction of a matrix to upper $J$-Hessenberg form and related topics

abstract: The reduction of a matrix to an upper $J$-Hessenberg form is a crucial step in the $SR$-algorithm (which is a $QR$-like algorithm), structure-preserving, for computing eigenvalues and vectors, for a class of structured matrices. This reduction may be handled via the algorithm JHESS or via the recent algorithm JHMSH and its variants. The main drawback of JHESS (or JHMSH) is that it may suffer from a fatal breakdown, causing a brutal stop of the computations and hence, the $SR$-algorithm does not run. JHESS may also encounter near-breakdowns, source of serious numerical instability. In this paper, we focus on these aspects. We first bring light on the necessary and sufficient condition for the existence of the $SR$-decomposition, which is intimately linked to $J$-Hessenberg reduction. Then we will derive a strategy for curing fatal breakdowns and also for treating near breakdowns. Hence, the $J$-Hessenberg form may be obtained. Numerical experiments are given, demonstrating the efficiency of our strategies to cure and treat breakdowns or near breakdowns.


title: Symbolic Computations of First Integrals for Polynomial Vector Fields

abstract: In this article we show how to generalize to the Darbouxian, Liouvillian and Riccati case the extactic curve introduced by J. Pereira. With this approach, we get new algorithms for computing, if it exists, a rational, Darbouxian, Liouvillian or Riccati first integral with bounded degree of a polynomial planar vector field. We give probabilistic and deterministic algorithms. The arithmetic complexity of our probabilistic algorithm is in $\tilde{\mathcal{O}}(N^{\omega+1})$, where $N$ is the bound on the degree of a representation of the first integral and $\omega \in [2;3]$ is the exponent of linear algebra. This result improves previous algorithms. Our algorithms have been implemented in Maple and are available on authors' websites. In the last section, we give some examples showing the efficiency of these algorithms.


title: Large subgroups in finite groups

abstract: Following Isaacs (see [Isa08, p. 94]), we call a normal subgroup N of a finite group G large, if $C_G(N) \leq N$, so that N has bounded index in G. Our principal aim here is to establish some general results for systematically producing large subgroups in finite groups (see Theorems A and C). We also consider the more specialised problems of finding large (non-abelian) nilpotent as well as abelian subgroups in soluble groups.


title: Algorithms Based on Unions of Nonexpansive Maps

abstract: In this note, we consider a framework for the analysis of iterative algorithms which can described in terms of a structured set-valued operator. More precisely, at each point in the ambient space, we assume that the value of operator can be expressed as a finite union of values of single-valued paracontracting operators. Our main result, which shows that the associated fixed point iteration is locally convergent around strong fixed points, generalises a theorem due to Bauschke and Noll (2014).


title: Extremal problems on the hypercube and the codegree Tur\'an density of complete $r$-graphs

abstract: Let $G$ be a finite abelian group, and $r$ be a multiple of its exponent. The generalized Erd\H{o}s-Ginzburg-Ziv constant $s_r(G)$ is the smallest integer $s$ such that every sequence of length $s$ over $G$ has a zero-sum subsequence of length $r$. We show that $s_{2m}(\mathbb{Z}_2^d) \leq C_m 2^{d/m} + O(1)$ when $d\rightarrow\infty$, and $s_{2m}(\mathbb{Z}_2^d) \geq 2^{d/m} + 2m-1$ when $d=km$. We use results on $s_r(G)$ to prove new bounds for the codegree Tur\'{a}n density of complete $r$-graphs.


title: Modulating the phase transition temperature of giant magnetocaloric thin films by ion irradiation

abstract: Magnetic refrigeration based on the magnetocaloric effect at room temperature is one of the most attractive alternative to the current gas compression/expansion method routinely employed. Nevertheless, in giant magnetocaloric materials, optimal refrigeration is restricted to the narrow temperature window of the phase transition (Tc). In this work, we present the possibility of varying this transition temperature into a same giant magnetocaloric material by ion irradiation. We demonstrate that the transition temperature of iron rhodium thin films can be tuned by the bombardment of ions of Ne 5+ with varying fluences up to 10 14 ions cm --2 , leading to optimal refrigeration over a large 270--380 K temperature window. The Tc modification is found to be due to the ion-induced disorder and to the density of new point-like defects. The variation of the phase transition temperature with the number of incident ions opens new perspectives in the conception of devices using giant magnetocaloric materials.