title: Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders

abstract: We introduce a universe of regular datatypes with variable binding information, for which we define generic formation and elimination (i.e. induction /recursion) operators. We then define a generic alpha-equivalence relation over the types of the universe based on name-swapping, and derive iteration and induction principles which work modulo alpha-conversion capturing Barendregt's Variable Convention. We instantiate the resulting framework so as to obtain the Lambda Calculus and System F, for which we derive substitution operations and substitution lemmas for alpha-conversion and substitution composition. The whole work is carried out in Constructive Type Theory and machine-checked by the system Agda.


title: Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution

abstract: We present a full formalization in Martin-L\"of's Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using first-order syntax with one sort of names for both free and bound variables and Stoughton's multiple substitution. Our formalization is based on a proof by Ryo Kashima, in which a notion of beta-reducibility with a standard sequence is captured by an inductive relation. The proof uses only structural induction over the syntax and the relations defined, which is possible due to the specific formulation of substitution that we employ. The whole development has been machine-checked using the system Agda.


title: Abstract Representation of Binders in OCaml using the Bindlib Library

abstract: The Bindlib library for OCaml provides a set of tools for the manipulation of data structures with variable binding. It is very well suited for the representation of abstract syntax trees, and has already been used for the implementation of half a dozen languages and proof assistants (including a new version of the logical framework Dedukti). Bindlib is optimised for fast substitution, and it supports variable renaming. Since the representation of binders is based on higher-order abstract syntax, variable capture cannot arise during substitution. As a consequence, variable names are not updated at substitution time. They can however be explicitly recomputed to avoid "visual capture" (i.e., distinct variables with the same apparent name) when a data structure is displayed.


title: Sharing a Library between Proof Assistants: Reaching out to the HOL Family

abstract: We observe today a large diversity of proof systems. This diversity has the negative consequence that a lot of theorems are proved many times. Unlike programming languages, it is difficult for these systems to co-operate because they do not implement the same logic. Logical frameworks are a class of theorem provers that overcome this issue by their capacity of implementing various logics. In this work, we study the STTforall logic, an extension of Simple Type Theory that has been encoded in the logical framework Dedukti. We present a translation from this logic to OpenTheory, a proof system and interoperability tool between provers of the HOL family. We have used this translation to export an arithmetic library containing Fermat's little theorem to OpenTheory and to two other proof systems that are Coq and Matita.


title: Road surface 3d reconstruction based on dense subpixel disparity map estimation

abstract: Various 3D reconstruction methods have enabled civil engineers to detect damage on a road surface. To achieve the millimetre accuracy required for road condition assessment, a disparity map with subpixel resolution needs to be used. However, none of the existing stereo matching algorithms are specially suitable for the reconstruction of the road surface. Hence in this paper, we propose a novel dense subpixel disparity estimation algorithm with high computational efficiency and robustness. This is achieved by first transforming the perspective view of the target frame into the reference view, which not only increases the accuracy of the block matching for the road surface but also improves the processing speed. The disparities are then estimated iteratively using our previously published algorithm where the search range is propagated from three estimated neighbouring disparities. Since the search range is obtained from the previous iteration, errors may occur when the propagated search range is not sufficient. Therefore, a correlation maxima verification is performed to rectify this issue, and the subpixel resolution is achieved by conducting a parabola interpolation enhancement. Furthermore, a novel disparity global refinement approach developed from the Markov Random Fields and Fast Bilateral Stereo is introduced to further improve the accuracy of the estimated disparity map, where disparities are updated iteratively by minimising the energy function that is related to their interpolated correlation polynomials. The algorithm is implemented in C language with a near real-time performance. The experimental results illustrate that the absolute error of the reconstruction varies from 0.1 mm to 3 mm.


title: Motional Fock states for quantum-enhanced amplitude and phase measurements with trapped ions

abstract: Non-vanishing fluctuations of the vacuum state are a salient feature of quantum theory. These fluctuations fundamentally limit the precision of quantum sensors. Nowadays, several systems such as optical clocks, gravitational wave detectors, matter-wave interferometers, magnetometers, and optomechanical systems approach measurement sensitivities where the effect of quantum fluctuations sets a fundamental limit, the so-called standard quantum limit (SQL). It has been proposed that the SQL can be overcome by squeezing the vacuum fluctuations. Realizations of this scheme have been demonstrated in various systems. However, protocols based on squeezed vacuum crucially rely on precise control of the relative orientation of the squeezing with respect to the operation imprinting the measured quantity. Lack of control can lead to an amplification of noise and reduces the sensitivity of the device. Here, we experimentally demonstrate a novel quantum metrological paradigm based on phase insensitive Fock states of the motional state of a trapped ion, with applications in frequency metrology and displacement detection. The measurement apparatus is used in two different experimental settings probing non-commuting observables with sensitivities beyond the SQL. In both measurements, classical preparation and detection noise are sufficiently small to preserve the quantum gain in a full metrological protocol.


title: Probing Charge Transfer Dynamics in a Single Iron Tetraphenylporphyrin Dyad Adsorbed on an Insulating Surface

abstract: Although the dynamics of charge transfer (CT) processes can be probed with ultimate lifetime resolution, the helplessness to control CT at the nanoscale constitutes one of the most important road-blocks to revealing some of its deep fundamental aspects. In this work, we present an investigation of CT dynamics in a single iron tetraphenylporphyrin (Fe-TPP) donor/acceptor dyad adsorbed on a CaF2/Si(100) insulating surface. The tip of a scanning tunneling microscope (STM) is used to create local ionic states in one fragment of the dyad. The CT process is monitored by imaging subsequent changes in the neighbor acceptor molecule and its efficiency is mapped revealing the influence of the initial excited state in the donor molecule. In validation of the experiments, simulations based on density functional theory show that holes have a higher donor-acceptor CT rate compared to electrons and highlight a noticeable initial state dependence on the CT process. We leverage the unprecedented spatial resolution achieved in our experiments to show that the CT process in the dyad is governed via molecule-molecule coherent tunneling with negligible surface-mediated character.


title: Surprising strategies obtained by stochastic optimization in partially observable games

abstract: This paper studies the optimization of strategies in the context of possibly randomized two players zero-sum games with incomplete information. We compare 5 algorithms for tuning the parameters of strategies over a benchmark of 12 games. A first evolutionary approach consists in designing a highly randomized opponent (called naive opponent) and optimizing the parametric strategy against it; a second one is optimizing iteratively the strategy, i.e. constructing a sequence of strategies starting from the naive one. 2 versions of coevolutions, real and approximate, are also tested as well as a seed method. The coevolution methods were performing well, but results were not stable from one game to another. In spite of its simplicity, the seed method, which can be seen as an extremal version of coevolution, works even when nothing else works. Incidentally, these methods brought out some unexpected strategies for some games, such as Batawaf or the game of War, which seem, at first view, purely random games without any structured actions possible for the players or Guess Who, where a dichotomy between the characters seems to be the most reasonable strategy. All source codes of games are written in Matlab/Octave and are freely available for download.


title: General self-similarity properties for Markov processes and exponential functionals of L{\'e}vy processes

abstract: Positive self-similar Markov processes (pssMp) are positive Markov processes that satisfy the scaling property and it is known that they can be represented as the exponential of a time-changed L\'evy process via Lamperti representation. In this work, we are interested in the following problem: what happens if we consider Markov processes in dimension $1$ or $2$ that satisfy self-similarity properties of a more general form than a scaling property ? Can they all be represented as a function of a time-changed L\'evy process ? If not, how can Lamperti representation be generalized ? We show that, not surprisingly, a Markovian process in dimension $1$ that satisfies self-similarity properties of a general form can indeed be represented as a function of a time-changed L\'evy process, which shows some kind of universality for the classical Lamperti representation in dimension $1$. However, and this is our main result, we show that a Markovian process in dimension $2$ that satisfies self-similarity properties of a general form is represented as a function of a time-changed exponential functional of a bivariate L\'evy process, and processes that can be represented as a function of a time-changed L\'evy process form a strict subclass. This shows that the classical Lamperti representation is not universal in dimension $2$. We briefly discuss the complications that occur in higher dimensions. In dimension $2$ we present an example, built from a self-similar fragmentation process, where our representation in term of an exponential functional of a bivariate L\'evy process appears naturally and has a nice interpretation in term of the self-similar fragmentation process.


title: A twist on multicenter AdS$_2$ solutions

abstract: The multicenter solutions of 4d ${\cal N}=2$ supergravity contain a subset of scaling solutions with vanishing total angular momentum. In a near limit those solutions are asymptotically locally AdS$_2\times$ S$^2$, but we show that a higher moment of angular momentum contributes a subtle twist, rotating the S$^2$ with time. This provides some potential hair distinguishing the asymptotics of these scaling solutions from the near horizon geometry of an extremal BPS black hole.


title: The effect of positron-alkali metal atom interactions in the diffuse ISM

abstract: In the Milky Way galaxy, positrons, which are responsible for the diffuse $511\,\mathrm{keV}$ gamma ray emission observed by space-based gamma ray observatories, are thought to annihilate predominantly through charge exchange interactions with neutral hydrogen. These charge exchange interactions can only take place if positrons have energies greater than $6.8\,\mathrm{eV}$, the minimum energy required to liberate the electron bound to the hydrogen atom and then form positronium, a short-lived bound state composed of a positron-electron pair. Here we demonstrate the importance of positron interactions with neutral alkali metals in the warm interstellar medium (ISM). Positrons may undergo charge exchange with these atoms at any energy. In particular, we show that including positron interactions with sodium at solar abundance in the warm ISM can significantly reduce the annihilation timescale of positrons with energies below $6.8\,\mathrm{eV}$ by at least an order of magnitude. We show that including these interactions in our understanding of positron annihilation in the Milky Way rules out the idea that the number of positrons in the Galactic ISM could be maintained in steady state by injection events occurring at a typical periodicity $>\mathrm{Myr}$.


title: Quaternionic structure and analysis of some Kramers-Fokker-Planck operators

abstract: The present article is concerned with global subelliptic estimates for Kramers-Fokker-Planck operators with polynomials of degree less than or equal to two. The constants appearing in those estimates are accurately formulated in terms of the coefficients, especially when those are large.


title: Chinese Lexical Analysis with Deep Bi-GRU-CRF Network

abstract: Lexical analysis is believed to be a crucial step towards natural language understanding and has been widely studied. Recent years, end-to-end lexical analysis models with recurrent neural networks have gained increasing attention. In this report, we introduce a deep Bi-GRU-CRF network that jointly models word segmentation, part-of-speech tagging and named entity recognition tasks. We trained the model using several massive corpus pre-tagged by our best Chinese lexical analysis tool, together with a small, yet high-quality human annotated corpus. We conducted balanced sampling between different corpora to guarantee the influence of human annotations, and fine-tune the CRF decoding layer regularly during the training progress. As evaluated by linguistic experts, the model achieved a 95.5% accuracy on the test set, roughly 13% relative error reduction over our (previously) best Chinese lexical analysis tool. The model is computationally efficient, achieving the speed of 2.3K characters per second with one thread.


title: A multiscale neural network based on hierarchical matrices

abstract: In this work we introduce a new multiscale artificial neural network based on the structure of $\mathcal{H}$-matrices. This network generalizes the latter to the nonlinear case by introducing a local deep neural network at each spatial scale. Numerical results indicate that the network is able to efficiently approximate discrete nonlinear maps obtained from discretized nonlinear partial differential equations, such as those arising from nonlinear Schr\"odinger equations and the Kohn-Sham density functional theory.


title: A Single Shot Text Detector with Scale-adaptive Anchors

abstract: Currently, most top-performing text detection networks tend to employ fixed-size anchor boxes to guide the search for text instances. They usually rely on a large amount of anchors with different scales to discover texts in scene images, thus leading to high computational cost. In this paper, we propose an end-to-end box-based text detector with scale-adaptive anchors, which can dynamically adjust the scales of anchors according to the sizes of underlying texts by introducing an additional scale regression layer. The proposed scale-adaptive anchors allow us to use a few number of anchors to handle multi-scale texts and therefore significantly improve the computational efficiency. Moreover, compared to discrete scales used in previous methods, the learned continuous scales are more reliable, especially for small texts detection. Additionally, we propose Anchor convolution to better exploit necessary feature information by dynamically adjusting the sizes of receptive fields according to the learned scales. Extensive experiments demonstrate that the proposed detector is fast, taking only $0.28$ second per image, while outperforming most state-of-the-art methods in accuracy.


title: Boundary Element Method for non-adhesive and adhesive contacts of a coated elastic half-space

abstract: We present a new formulation of the Boundary Element Method (BEM) for simulating the non-adhesive and adhesive contact between an indenter of arbitrary shape and an elastic half-space coated with an elastic layer of different material. We use the Fast Fourier Transform based formulation of BEM, while the fundamental solution is determined directly in the Fourier space. Numerical tests are validated by comparison with available asymptotic analytical solutions for axisymmetric flat and spherical indenter shapes.


title: First radial excitations of heavy quarkonium in a contact interaction

abstract: For the flavor-singlet heavy quark systems of quarkonia, we compute the masses of the first radial excitation of mesons in four different channels: pseudo-scalar ($\eta_{c,b}(2S)$), vector ($\psi (2S),\Upsilon(2S)$), scalar ($\chi_{c_0,b_0}(2P)$) and axial vector ($\chi_{c_1,b_{1}}(2P)$), as well as the weak decay constants of the $\eta_{c,b}(2S)$ and $\psi (2S),\Upsilon(2S)$. The framework for this analysis is provided by a symmetry-preserving Schwinger-Dyson equations treatment of a vector$\times$vector contact interaction. The results found for the meson masses are in good agreement experimental data and earlier model calculations based upon Schwinger-Dyson and Bethe-Salpeter equations (BSEs) involving sophisticated interaction kernels.


title: Self-consistent and Maxwell approximations to describe the excess conductivity anisotropy in FeSe above superconducting transition temperature

abstract: Using the self-consistent approximation we calculate conductivity in an anisotropic heterogeneous media with superconducting inclusions and compare the results with those obtained previously using the Maxwell approximation and with available experimental data on excess conductivity above $ T_c= $~8K in FeSe. Advantages and drawbacks of these two approximations are discussed. The obtained analytical formulas can be applied to various other anisotropic heterogeneous superconductors, including high-Tc layered superconductors.


title: Bound states in the continuum and high-Q resonances supported by a dielectric ridge on a slab waveguide

abstract: We investigate the diffraction of guided modes of a dielectric slab waveguide on a simple integrated structure consisting of a single dielectric ridge on the surface of the waveguide. Numerical simulations based on aperiodic rigorous coupled-wave analysis demonstrate the existence of sharp resonant features and bound states in the continuum (BICs) in the reflectance and the transmittance spectra occurring at oblique incidence of a TE-polarized guided mode on the ridge. Using the effective index method, we explain the resonances by the excitation of the cross-polarized modes of the ridge. The formation of the BICs is confirmed using a theoretical model based on the coupled-wave theory. The model suggests that the BICs occur due to coupling of quasi-TE and quasi-TM modes of the structure. Simple analytical expressions for the angle of incidence and the ridge width predicting the location of the BICs are obtained. The existence of high-Q resonances and BICs makes the considered integrated structure promising for filtering, sensing, transformation of optical signals, and enhancing nonlinear light-matter interactions.


title: Learning in Variational Autoencoders with Kullback-Leibler and Renyi Integral Bounds

abstract: In this paper we propose two novel bounds for the log-likelihood based on Kullback-Leibler and the R\'{e}nyi divergences, which can be used for variational inference and in particular for the training of Variational AutoEncoders. Our proposal is motivated by the difficulties encountered in training VAEs on continuous datasets with high contrast images, such as those with handwritten digits and characters, where numerical issues often appear unless noise is added, either to the dataset during training or to the generative model given by the decoder. The new bounds we propose, which are obtained from the maximization of the likelihood of an interval for the observations, allow numerically stable training procedures without the necessity of adding any extra source of noise to the data.


title: Elementary proof of congruences modulo 25 for broken $k$-diamond partitions

abstract: Let $\Delta_{k}(n)$ denote the number of $k$-broken diamond partitions of $n$. Quite recently, the second author proved an infinite family of congruences modulo 25 for $\Delta_{k}(n)$ with the help of modular forms. In this paper, we aim to provide an elementary proof of this result.


title: Observation of the decay $B_s^0 \to \overline{D}^0 K^+ K^-$

abstract: The first observation of the $B_s^0 \to \overline{D}^0 K^+ K^-$ decay is reported, together with the most precise branching fraction measurement of the mode $B^0 \to \overline{D}^0 K^+ K^-$. The results are obtained from an analysis of $pp$ collision data corresponding to an integrated luminosity of $3.0~\textrm{fb}^{-1}$. The data were collected with the LHCb detector at centre-of-mass energies of $7$ and $8$ TeV. The branching fraction of the $B^0 \to \overline{D}^0 K^+ K^-$ decay is measured relative to that of the decay $B^0 \to \overline{D}^0 \pi^+ \pi^-$ to be $$\frac{\mathcal{B}(B^0 \to \overline{D}^0 K^+ K^-)}{\mathcal{B}(B^0 \to \overline{D}^0 \pi^+ \pi^-)} = (6.9 \pm 0.4 \pm 0.3)\%,$$ where the first uncertainty is statistical and the second is systematic. The measured branching fraction of the $B_s^0 \to \overline{D}^0 K^+ K^-$ decay mode relative to that of the corresponding $B^0$ decay is $$\frac{\mathcal{B}(B_s^0 \to \overline{D}^0 K^+ K^-)}{\mathcal{B}(B^0 \to \overline{D}^0 K^+ K^-)} = (93.0 \pm 8.9 \pm 6.9)\%.$$ Using the known branching fraction of ${B^0 \to \overline{D}^0 \pi^+ \pi^-}$, the values of ${{\mathcal B}(B^0 \to \overline{D}^0 K^+ K^- )=(6.1 \pm 0.4 \pm 0.3 \pm 0.3) \times 10^{-5}}$, and ${{\cal B}(B_s^0 \to \overline{D}^0 K^+ K^-)=}$ $(5.7 \pm 0.5 \pm 0.4 \pm 0.5) \times 10^{-5}$ are obtained, where the third uncertainties arise from the branching fraction of the decay modes ${B^0 \to \overline{D}^0 \pi^+ \pi^-}$ and $B^0 \to \overline{D}^0 K^+ K^-$, respectively.


title: Observation of $B_s^0 \to \overline{D}^{*0} \phi$ and search for $B^0 \to \overline{D}^0 \phi$ decays

abstract: The first observation of the $B_s^0 \to \overline{D}^{*0} \phi$ decay is reported, with a significance of more than seven standard deviations, from an analysis of $pp$ collision data corresponding to an integrated luminosity of 3 fb$^{-1}$, collected with the LHCb detector at centre-of-mass energies of $7$ and $8$ TeV. The branching fraction is measured relative to that of the topologically similar decay $B^0 \to \overline{D}^0 \pi^+\pi^-$ and is found to be $\mathcal{B}(B_s^0 \to \overline{D}^{*0} \phi) = (3.7 \pm 0.5 \pm 0.3 \pm 0.2) \times 10^{-5}$, where the first uncertainty is statistical, the second systematic, and the third from the branching fraction of the $B^0 \to \overline{D}^0 \pi^+\pi^-$ decay. The fraction of longitudinal polarisation in this decay is measured to be ${f_{\rm L} =(73 \pm 15 \pm 3)\%}$. The most precise determination of the branching fraction for the $B_s^0 \to \overline{D}^{0} \phi$ decay is also obtained, $\mathcal{B}(B_s^0 \to \overline{D}^{0} \phi) = (3.0 \pm 0.3 \pm 0.2 \pm 0.2) \times 10^{-5}$. An upper limit, $\mathcal{B}(B^0 \to \overline{D}^{0} \phi) < 2.0 \ (2.2) \times 10^{-6}$ at $90\%$ (95\%) confidence level is set. A constraint on the $\omega-\phi$ mixing angle $\delta$ is set at $|\delta| < 5.2^\circ~ (5.5^\circ)$ at $90\%$ ($95\%$) confidence level.


title: Re-visiting the case of R Mon: Is CO removed at R<20 au?

abstract: To our knowledge, R Mon is the only B0 star in which a gaseous Keplerian disk has been detected. However, there is some controversy about the spectral type of R Mon. Some authors propose that it could be a later B8e star, where disks are more common. We have re-evaluated the spectral type of R Mon using the available continuum data and UVES emission lines. We used a power-law disk model to fit previous 12 CO 1-0 and 2-1 interferometric observations and the PACS CO data to investigate the disk structure. Interferometric detections of 13 CO J=1-0, HCO+ 1-0, and CN 1-0 lines using the IRAM Plateau de Bure Interferometer (PdBI) are presented. The HCN 1-0 line was not detected. Our analysis confirms that R Mon is a B0 star. The disk model compatible with the 12 CO 1-0 and 2-1 interferometric observations falls short of predicting the observed fluxes of the 14<Ju<31 PACS lines; this is consistent with the scenario in which some contribution to these lines is coming from a warm envelope and/or UV-illuminated outflow walls. More interestingly, the upper limits to the fluxes of the Ju>31 CO lines suggest the existence of a region empty of CO at R<20 au in the proto-planetary disk. The intense emission of the HCO+ and CN lines shows the strong influence of UV photons on gas chemistry. The observations gathered in this paper are consistent with the presence around R Mon of a transition disk with a cavity about 20 au. This size is similar to the photoevaporation radius that supports the interpretation that UV photoevaporation is main disk dispersal mechanism in massive stars


abstract: In this note, we compute the Gelfand-Kirillov dimension of cosemisimple Hopf algebras that arise as deformations of a linearly reductive algebraic group. Our work lies in a purely algebraic setting and generalizes results of Goodearl-Zhang (2007), of Banica-Vergnioux (2009), and of D'Andrea-Pinzari-Rossi (2017).


title: On some properties of the space of upper semicontinuous functions

abstract: For a Tychonoff space $X$, we will denote by $USC_{p}(X)$ ($B_1(X)$) a set of all real-valued upper semicontinuous functions (a set of all Baire functions of class 1) defined on $X$ endowed with the pointwise convergence topology. In this paper we describe a class of Tychonoff spaces $X$ for which the space $USC_{p}(X)$ is sequentially separable. Unexpectedly, it turns out that this class coincides with the class of spaces for which a stronger form of the sequential separability for the space $B_1(X)$ holds.


title: On the size of Diophantine $m$-tuples in imaginary quadratic number rings

abstract: A Diophantine $m$-tuple is a set of $m$ distinct integers such that the product of any two distinct elements plus one is a perfect square. It was recently proven that there is no Diophantine quintuple in positive integers. We study the same problem in the rings of integers of imaginary quadratic fields. By using a gap principle proven by Diophantine approximations, we show that $m\leqslant 42$. Our proof is relatively simple compared to the proofs of the similar results in positive integers.


title: Optimized MPGD-based Photon Detectors for high momentum particle identification at the Electron-Ion Collider

abstract: Particle IDentification (PID) is a central requirement of the experiments at the future EIC. Hadron PID at high momenta by RICH techniques requires the use of low density gaseous radiators, where the challenge is the limited length of the radiator region available at a collider experiment. By selecting a photon wavelength range in the far UV domain, around 120 nm, the number of detectable photons can be increased. Ideal sensors are gaseous Photon Detectors (PD) with CsI photocathode, where the status of the art is represented by the MPGD-based PDs at COMPASS RICH. Detector optimization is required for the application at EIC. Here we report about a dedicated prototype where the sensor pad-size has been reduced to preserve the angular resolution. A new DAQ system based on the SRS readout electronics has been developed for the laboratory and test beam studies of the prototype.


title: Denoising Auto-encoder with Recurrent Skip Connections and Residual Regression for Music Source Separation

abstract: Convolutional neural networks with skip connections have shown good performance in music source separation. In this work, we propose a denoising Auto-encoder with Recurrent skip Connections (ARC). We use 1D convolution along the temporal axis of the time-frequency feature map in all layers of the fully-convolutional network. The use of 1D convolution makes it possible to apply recurrent layers to the intermediate outputs of the convolution layers. In addition, we also propose an enhancement network and a residual regression method to further improve the separation result. The recurrent skip connections, the enhancement module, and the residual regression all improve the separation quality. The ARC model with residual regression achieves 5.74 siganl-to-distoration ratio (SDR) in vocals with MUSDB in SiSEC 2018. We also evaluate the ARC model alone on the older dataset DSD100 (used in SiSEC 2016) and it achieves 5.91 SDR in vocals.


title: Simple bounded weight modules of $\displaystyle{\mathfrak{sl}(\infty)}$, $\displaystyle{\mathfrak{o}(\infty)}$, $\displaystyle{\mathfrak{sp}(\infty)}$

abstract: We classify the simple bounded weight modules of ${\mathfrak{sl}(\infty})$, ${\mathfrak{o}(\infty)}$ and ${\mathfrak{sp}(\infty)}$, and compute their annihilators in $U({\mathfrak{sl}(\infty}))$, $U({\mathfrak{o}(\infty))}$, $U({\mathfrak{sp}(\infty))}$, respectively.


title: Multiplicity of positive solutions for an equation with degenerate nonlocal diffusion

abstract: Even without a variational background, a multiplicity result of positive solutions with ordered $L^{p}(\Omega)$-norms is provided to the following boundary value problem \begin{equation*} \left \{ \begin{array}{ll} -a(\int_{\Omega}u^{p}dx)\Delta u = f(u) & \mbox{in $\Omega$,}\\ u=0 & \mbox{on $\partial\Omega$,} \end{array}\right. \end{equation*} where $\Omega$ is a bounded domain and $a$, $f$ are continuous real functions with $a$ vanishing in many positive points.


title: Database of Molecular Masers and Variable Stars

abstract: We present the database of maser sources in H2O, OH and SiO lines that can be used to identify and study variable stars at evolved stages. Detecting the maser emission in H2O, OH and SiO molecules toward infrared-excess objects is one of the methods of identification long-period variables (LPVs, including Miras and Semi-Regular), because these stars exhibit maser activity in their circumstellar shells. Our sample contains 1803 known LPV objects. 46% of these stars (832 objects) manifest maser emission in the line of at least one molecule: H2O, OH or SiO. We use the database of circumstellar masers in order to search for long-periodic variables which are not included in the General Catalogue of Variable Stars (GCVS). Our database contains 4806 objects (3866 objects without associations in GCVS catalog) with maser detection in at least one molecule. Therefore it is possible to use the database in order to locate and study the large sample of long-period variable stars. Entry to the database at http://maserdb.net


title: A Bayesian model for lithology/fluid class prediction using a Markov mesh prior fitted from a training image

abstract: We consider a Bayesian model for inversion of observed amplitude variation with offset (AVO) data into lithology/fluid classes, and study in particular how the choice of prior distribution for the lithology/fluid classes influences the inversion results. Two distinct prior distributions are considered, a simple manually specified Markov random field prior with a first order neighborhood and a Markov mesh model with a much larger neighborhood estimated from a training image. They are chosen to model both horisontal connectivity and vertical thickness distribution of the lithology/fluid classes, and are compared on an offshore clastic oil reservoir in the North Sea. We combine both priors with the same linearised Gaussian likelihood function based on a convolved linearised Zoeppritz relation and estimate properties of the resulting two posterior distributions by simulating from these distributions with the Metropolis-Hastings algorithm. The influence of the prior on the marginal posterior probabilities for the lithology/fluid classes is clearly observable, but modest. The importance of the prior on the connectivity properties in the posterior realisations, however, is much stronger. The larger neighborhood of the Markov mesh prior enables it to identify and model connectivity and curvature much better than what can be done by the first order neighborhood Markov random field prior. As a result, we conclude that the posterior realisations based on the Markov mesh prior appear with much higher lateral connectivity, which is geologically plausible.


title: Development of gaseous particle detectors based on semiconductive plate electrodes

abstract: A new particle detector with sub-nanosecond time resolution capable of working in high-rate environment (rate capability of the order of $MHz/ cm^2$) is under developmnet. Semiconductive electrodes with resistivity $\rho$ up to $10^8 \Omega\cdot cm$ have been used to improve the RPC [1] [2] rate capability. In this paper efficiency and time resolution of three different detector structures are presented.


title: Dynamics of Haumea's dust ring

abstract: The particle dynamics of the recently observed ring around dwarf planet Haumea is numerically investigated. The point mass gravitational force, a second degree and order gravity field, and the solar radiation pressure as the main perturbations are considered. The quasi-stationary state of the ring varies for different micron-sized grains and depends also on the spin-orbit resonances between the rotation rate of the main body and the orbital period of the dust particles. The simulations confirm the variable radial width of the ring observed during the transit ingress and egress. Results show that the micron sized grains, initially on circular orbits, become eccentric and form an apse-aligned ring at the observed radial distance near to the 3:1 spin-orbit resonance. It is also demonstrated that this coincidence is only apparent and independent of 3:1 resonance.


title: A note on characterizations of relative amenability on finite von Neumann algebras

abstract: In this paper, we give another two characterizations of relative amenability on finite von Neumann algebras, one of which can be thought of as an analogue of injective operator systems. As an application, we prove a stable property of relative amenable inclusions. We prove that under certain assumptions, the inclusion $N=\int_{X} \bigoplus N_{p} d \mu\subset M=\int_{X} \bigoplus M_{p} d \mu$ is amenable if and only if $N_p\subset M_p$ is amenable almost everywhere.


title: K-space magnetism as the origin of superconductivity

abstract: The nonadiabatic Heisenberg model presents a nonadiabatic mechanism generating Cooper pairs in narrow, roughly half-filled "superconducting bands" of special symmetry. Here we show that this mechanism may be understood as the outcome of a special spin structure in the reciprocal space, hereinafter referred to as k-space magnetism. The presented picture permits a vivid depiction of this new mechanism highlighting the height similarity as well as the essential difference between the new nonadiabatic and the familiar Bardeen-Cooper-Schrieffer mechanism.


title: Five-neighbour packings of centrally symmetric convex discs

abstract: In an old paper of the author the thinnest five-neighbour packing of translates of a convex disc (different from a parallelogram) was determined. The minimal density was $3/7$, and was attained for a certain packing of triangles. In that paper it was announced that for centrally symmetric convex plates (different from a parallelogram) the analogous minimal density was $9/14$, and was attained for a certain packing of affine regular hexagons, and a very sketchy idea of the proof was given. In this paper we give details of this proof.


title: MuSCAT2: four-color Simultaneous Camera for the 1.52-m Telescopio Carlos S\'anchez

abstract: We report the development of a 4-color simultaneous camera for the 1.52~m Telescopio Carlos S\'anchez (TCS) in the Teide Observatory, Canaries, Spain. The new instrument, named MuSCAT2, has a capability of 4-color simultaneous imaging in $g$ (400--550 nm), $r$ (550--700 nm), $i$ (700--820 nm), and $z_s$ (820--920 nm) bands. MuSCAT2 equips four 1024$\times$1024 pixel CCDs, having a field of view of 7.4$\times$7.4 arcmin$^2$ with a pixel scale of 0.44 arcsec per pixel. The principal purpose of MuSCAT2 is to perform high-precision multi-color exoplanet transit photometry. We have demonstrated photometric precisions of 0.057%, 0.050%, 0.060%, and 0.076% as root-mean-square residuals of 60~s binning in $g$, $r$, $i$ and $z_s$ bands, respectively, for a G0 V star WASP-12 ($V=11.57\pm0.16$). MuSCAT2 has started science operations since January 2018, with over 250 telescope nights per year. MuSCAT2 is expected to become a reference tool for exoplanet transit observations, and will substantially contribute to the follow-up of the TESS and PLATO space missions.


title: Multi-robot Path Planning in Well-formed Infrastructures: Prioritized Planning vs. Prioritized Wait Adjustment (Preliminary Results)

abstract: We study the problem of planning collision-free paths for a group of homogeneous robots. We propose a novel approach for turning the paths that were planned egocentrically by the robots, e.g. without taking other robots' moves into account, into collision-free trajectories and evaluate it empirically. Suggested algorithm is much faster (up to one order of magnitude) than state-of-the-art but this comes at the price of notable drop-down of the solution cost.


title: Ghostpeakons and Characteristic Curves for the Camassa-Holm, Degasperis-Procesi and Novikov Equations

abstract: We derive explicit formulas for the characteristic curves associated with the multipeakon solutions of the Camassa-Holm, Degasperis-Procesi and Novikov equations. Such a curve traces the path of a fluid particle whose instantaneous velocity equals the elevation of the wave at that point (or the square of the elevation, in the Novikov case). The peakons themselves follow characteristic curves, and the remaining characteristic curves can be viewed as paths of 'ghostpeakons' with zero amplitude; hence, they can be obtained as solutions of the ODEs governing the dynamics of multipeakon solutions. The previously known solution formulas for multipeakons only cover the case when all amplitudes are nonzero, since they are based upon inverse spectral methods unable to detect the ghostpeakons. We show how to overcome this problem by taking a suitable limit in terms of spectral data, in order to force a selected peakon amplitude to become zero. Moreover, we use direct integration to compute the characteristic curves for the solution of the Degasperis-Procesi equation where a shockpeakon forms at a peakon-antipeakon collision. In addition to the theoretical interest in knowing the characteristic curves, they are also useful for plotting multipeakon solutions, as we illustrate in several examples.


title: One-loop effects of MSSM particles in e^-e^+ \to Zh and e^-e^+ \to \nu\bar\nu h at the ILC

abstract: The 1-loop effects of the MSSM at the ILC are investigated through numerical analysis. We studied the higgs production processes $e^-e^+\rightarrow Zh$ and $e^-e^+\rightarrow \nu\bar{\nu}h$ at the ILC. It is found that the magnitude of the MSSM contribution through the 1-loop effects is sizable enough to be detected. In the study, three sets of the MSSM parameters are proposed, which are consistent with the observed higgs mass, the muon $g$-$2$, the dark matter abundance and the decay branching ratios of $B$ mesons. In the $e^-e^+\rightarrow Zh$ process, the 1-loop effects of the MSSM are visible and the distinction of the parameter sets is partially possible. For the study of $e^-e^+\rightarrow \nu\bar{\nu}h$, we used the equivalent $\it W$-boson approximation in the evaluation of the 1-loop cross section. While the 1-loop effect of the MSSM is visible, the distinction of the parameter sets might not be possible in this process under the value of realistic luminosity at the ILC.


title: Examining the relationship between student performance and video interactions

abstract: In this work, we attempted to predict student performance on a suite of laboratory assessments using students' interactions with associated instructional videos. The students' performance is measured by a graded presentation for each of four laboratory presentations in an introductory mechanics course. Each lab assessment was associated with between one and three videos of instructional content. Using video clickstream data, we define summary features (number of pauses, seeks) and contextual information (fraction of time played, in-semester order). These features serve as inputs to a logistic regression (LR) model that aims to predict student performance on the laboratory assessments. Our findings show that LR models are unable to predict student performance. Adding contextual information did not change the model performance. We compare our findings to findings from other studies and explore caveats to the null-result such as representation of the features, the possibility of underfitting, and the complexity of the assessment.


title: Homogenization of degenerate coupled transport processes in porous media with memory terms

abstract: In this paper we establish a homogenization result for a doubly nonlinear parabolic system arising from the hygro-thermo-chemical processes in porous media taking into account memory phenomena. We present a meso-scale model of the composite (heterogeneous) material where each component is considered as a porous system and the voids of the skeleton are partially saturated with liquid water. It is shown that the solution of the meso-scale problem is two-scale convergent to that of the upscaled problem as the spatial parameter goes to zero.


title: A multiple-try Metropolis-Hastings algorithm with tailored proposals

abstract: We present a new multiple-try Metropolis-Hastings algorithm designed to be especially beneficial when a tailored proposal distribution is available. The algorithm is based on a given acyclic graph $G$, where one of the nodes in $G$, $k$ say, contains the current state of the Markov chain and the remaining nodes contain proposed states generated by applying the tailored proposal distribution. The Metropolis-Hastings algorithm alternates between two types of updates. The first update type is using the tailored proposal distribution to generate new states in all nodes in $G$ except in node $k$. The second update type is generating a new value for $k$, thereby changing the value of the current state. We evaluate the effectiveness of the proposed scheme in an example with previously defined target and proposal distributions.


title: $\delta^{(k)}$-Colouring of Cycle Related Graphs

abstract: With respect to a proper colouring of a graph $G$, we know that $\delta(G) \leq \chi(G) \leq \Delta(G)+1$. If distinct colours represent distinct technology types to be located at vertices the question arises on how to place at least one of each of $k$, $1\leq k < \chi(G)$ technology types together with the minimum adjacency between similar technology types. In an improper colouring an edge $uv$ such that $c(u)=c(v)$ is called a bad edge. In this paper, we introduce the notion of $\delta^{(k)}$-colouring which is a near proper colouring of $G$ with exactly $1\leq k < \chi(G)$ distinct colours which minimizes the number of bad edges.


title: Privacy against a Hypothesis Testing Adversary

abstract: Privacy against an adversary (AD) that tries to detect the underlying privacy-sensitive data distribution is studied. The original data sequence is assumed to come from one of the two known distributions, and the privacy leakage is measured by the probability of error of the binary hypothesis test carried out by the AD. A management unit (MU) is allowed to manipulate the original data sequence in an online fashion, while satisfying an average distortion constraint. The goal of the MU is to maximize the minimal type II probability of error subject to a constraint on the type I probability of error assuming an adversarial Neyman-Pearson test, or to maximize the minimal error probability assuming an adversarial Bayesian test. The asymptotic exponents of the maximum minimal type II probability of error and the maximum minimal error probability are shown to be characterized by a Kullback-Leibler divergence rate and a Chernoff information rate, respectively. Privacy performances of particular management policies, the memoryless hypothesis-aware policy and the hypothesis-unaware policy with memory, are compared. The proposed formulation can also model adversarial example generation with minimal data manipulation to fool classifiers. Lastly, the results are applied to a smart meter privacy problem, where the user's energy consumption is manipulated by adaptively using a renewable energy source in order to hide user's activity from the energy provider.


title: Indicatrix geometry clarifies that Finsler length can be larger than relative length

abstract: I show that Matsumoto conjectured inequality between relative length and Finsler length is false. The incorrectness of the claim is easily inferred from the geometry of the indicatrix.


title: Optimizing Execution of Dynamic Goal-Directed Robot Movements with Learning Control

abstract: Highly dynamic tasks that require large accelerations and precise tracking usually rely on accurate models and/or high gain feedback. While kinematic optimization allows for efficient representation and online generation of hitting trajectories, learning to track such dynamic movements with inaccurate models remains an open problem. In particular, stability issues surrounding the learning performance, in the iteration domain, can prevent the successful implementation of model based learning approaches. To achieve accurate tracking for such tasks in a stable and efficient way, we propose a new adaptive Iterative Learning Control (ILC) algorithm that is implemented efficiently using a recursive approach. Moreover, covariance estimates of model matrices are used to exercise caution during learning. We evaluate the performance of the proposed approach in extensive simulations and in our robotic table tennis platform, where we show how the striking performance of two seven degree of freedom anthropomorphic robot arms can be optimized. Our implementation on the table tennis platform compares favorably with high-gain PD-control, model-free ILC (simple PD feedback type) and model-based ILC without cautious adaptation.


title: First observation of the doubly charmed baryon decay $\Xi_{cc}^{++}\rightarrow \Xi_{c}^{+}\pi^{+}$

abstract: The doubly charmed baryon decay $\Xi_{cc}^{++} \rightarrow \Xi_{c}^{+} \pi^{+}$ is observed for the first time, with a statistical significance of $5.9\sigma$, confirming a recent observation of the baryon in the $\Lambda_c^{+} K^{-} \pi^{+} \pi^{+}$ final state. The data sample used corresponds to an integrated luminosity of $1.7\,\mathrm{fb}^{-1}$, collected by the LHCb experiment in $pp$ collisions at a center-of-mass energy of $13\mathrm{\,Te\kern -0.1em V}$. The $\Xi_{cc}^{++}$ mass is measured to be \begin{equation}\nonumber 3620.6\pm 1.5~(\text{stat})\pm 0.4~(\text{syst}) \pm 0.3~(\Xi_{c}^{+})~\text{MeV}/\it{c}^{2}, \end{equation} and is consistent with the previous result. The ratio of branching fractions between the decay modes is measured to be \begin{equation}\nonumber \frac{\mathcal{B} (\Xi_{cc}^{++} \rightarrow \Xi_{c}^{+} \pi^{+}) \times \mathcal{B}(\Xi_{c}^{+} \rightarrow pK^{-}\pi^{+})} {\mathcal{B} (\Xi_{cc}^{++} \rightarrow \Lambda_c^{+} K^{-} \pi^{+} \pi^{+}) \times \mathcal{B}(\Lambda_c^{+} \rightarrow pK^{-}\pi^{+})} = 0.035\pm 0.009~(\text{stat}) \pm 0.003~(\text{syst}). \end{equation}


title: Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness

abstract: We investigate the problem $\#\mathsf{IndSub}(\Phi)$ of counting all induced subgraphs of size $k$ in a graph $G$ that satisfy a given property $\Phi$. This continues the work of Jerrum and Meeks who proved the problem to be $\#\mathrm{W[1]}$-hard for some families of properties which include, among others, (dis)connectedness [JCSS 15] and even- or oddness of the number of edges [Combinatorica 17]. Using the recent framework of graph motif parameters due to Curticapean, Dell and Marx [STOC 17], we discover that for monotone properties $\Phi$, the problem $\#\mathsf{IndSub}(\Phi)$ is hard for $\#\mathrm{W[1]}$ if the reduced Euler characteristic of the associated simplicial (graph) complex of $\Phi$ is non-zero. This observation links $\#\mathsf{IndSub}(\Phi)$ to Karp's famous Evasiveness Conjecture, as every graph complex with non-vanishing reduced Euler characteristic is known to be evasive. Applying tools from the "topological approach to evasiveness" which was introduced in the seminal paper of Khan, Saks and Sturtevant [FOCS 83], we prove that $\#\mathsf{IndSub}(\Phi)$ is $\#\mathrm{W[1]}$-hard for every monotone property $\Phi$ that does not hold on the Hamilton cycle as well as for some monotone properties that hold on the Hamilton cycle such as being triangle-free or not $k$-edge-connected for $k > 2$. Moreover, we show that for those properties $\#\mathsf{IndSub}(\Phi)$ can not be solved in time $f(k)\cdot n^{o(k)}$ for any computable function $f$ unless the Exponential Time Hypothesis (ETH) fails. In the final part of the paper, we investigate non-monotone properties and prove that $\#\mathsf{IndSub}(\Phi)$ is $\#\mathrm{W[1]}$-hard if $\Phi$ is any non-trivial modularity constraint on the number of edges with respect to some prime $q$ or if $\Phi$ enforces the presence of a fixed isolated subgraph.


title: Branching Processes -- A General Concept

abstract: The paper has four goals. First, we want to generalize the classical concept of the branching property so that it becomes applicable for historical and genealogical processes (using the coding of genealogies by ($V$-marked) ultrametric measure spaces leading to state spaces $\mathbb{U}$ resp. $\mathbb{U}^V$). The processes are defined by well-posed martingale problems. In particular we want to complement the corresponding concept of infinite divisibility developed in \cite{infdiv} for this context. Second one of the two main points, we want to find a corresponding characterization of the generators of branching processes more precisely their martingale problems which is both easy to apply and general enough to cover a wide range of state spaces. As a third goal we want to obtain the branching property of the $\mathbb{U}$-valued Feller diffusion respectively $\mathbb{U}^V$-valued super random walk and the historical process on countable geographic spaces the latter as two examples of a whole zoo of spatial processes we could treat. The fourth goal is to show the robustness of the method and to get the branching property for genealogies marked with ancestral path, giving the line of descent moving through the ancestors and space, leading to path-marked ultra-metric measure spaces. This processes are constructed here giving our second major result. The starting point for all four points is the Feller diffusion model, the final goal the (historical) super random walk model.


title: The Si-Ge substitutional series in the chiral STW Zeolite Structure Type

abstract: The whole compositional range (Ge$_f$ = Ge/(Ge+Si)= 0 to 1) of zeolite STW has been synthesized and studied by a comprehensive combined experimental--theoretical approach. The yield of zeolite goes through a maximum and then drops at the GeO$_2$ side of the series, following the inverse of the calculated free energy curve. The unit cell generally expands, roughly linearly, as the Ge$_f$ increases, but a notable resilience to expansion is observed at the high silica side. This can be attributed to the more rigid character of SiO$_2$ and the ability of Ge units to deform. Density functional theory calculations provide a new assignment of the previously controversial $^{19}$F MAS NMR resonances for occluded fluoride, which is based not only in the number of Ge atoms in the double-4-ring units but also on the way they are associated (namely, no Ge, isolated Ge, Ge pairs or closed Ge clusters). While we found an overall good agreement between the experimental and theoretical trends in preferential occupation by Ge of different crystallographic sites, the theoretical models show more sharp and abrupt tendencies, likely due both to limitations of the approach and to kinetic factors that allow metastable configurations to actually exist.


title: Towards Classification of Lightweight Formal Methods

abstract: The use of lightweight formal methods (LFM) for the development of industrial applications has become a major trend. Although the term "lightweight formal methods" has been used for over ten years now, there seems to be no common agreement on what "lightweight" actually means, and different communities apply the term in all kinds of ways. In this paper, we explore the recent trends in the use of LFM, and establish our opinion that cost-effectiveness is the driving force to deploy LFM. Further, we propose a simple framework that should help to classify different LFM approaches and to estimate which of them are most cost-effective for a certain software engineering project. We demonstrate our framework using some examples.


title: Revisiting $B \to \pi\pi \ell \nu$ at Large Dipion Masses

abstract: We revisit QCD factorization of $B\to \pi\pi$ form factors at large dipion masses, by deriving new constraints based on the analyticity properties of these objects. We then propose a parametrization of the form factors, inspired by the leading-twist QCD factorization formula, that incorporates all known analytic properties. This parameterization is used to interpolate between the QCDF results and the constraints from the $B^*$ pole. Based on this interpolation, we predict the $B\to \pi\pi\ell\nu$ decay rate in a larger phase space region than previous studies could. We obtain a partially-integrated branching ratio up to $\mathcal{B} \simeq \mathcal{O}({10^{-6}})$, which implies that a measurement of the non-resonant semileptonic decay is potentially within reach of the Belle II experiment.


title: Evaluating the impact of the 2012 Olympic Games policy on the regeneration of East London using spatio-temporal big data

abstract: For urban governments, introducing policies has long been adopted as a main approach to instigate regeneration processes, and to promote social mixing and vitality within the city. However, due to the absence of large fine-grained datasets, the effects of these policies have been historically hard to evaluate. In this research, we illustrate how a combination of large-scale datasets, the Index of Deprivation and Foursquare data (an online geo-social network service) could be used to investigate the impact of the 2012 Olympic Games on the regeneration of East London neighbourhoods. We study and quantify both the physical and socio-economic aspects of this, where our empirical findings suggest that the target areas did indeed undergo regeneration after the Olympic project in some ways. In general, the growth rate of Foursquare venue density in Olympic host boroughs is higher than the city's average level since the preparation period of the Games and up to two years after the event. Furthermore, the deprivation levels in East London boroughs also saw improvements in various aspects after the Olympic Games. One negative outcome we notice is that the housing affordability becomes even more of an issue in East London areas with the regeneration gradually unfolding.


title: Linear finite difference operators with constant coefficients and distribution of zeros of polynomials

abstract: We study the effect of finite difference operators of finite order on the distribution of zeros of polynomials and entire functions.


title: Convergent beam electron holography for analysis of van der Waals heterostructures

abstract: Van der Waals heterostructures, which explore the synergetic properties of two-dimensional (2D) materials when assembled into three-dimensional stacks, have already brought to life a number of exciting new phenomena and novel electronic devices. Still, the interaction between the layers in such assembly, possible surface reconstruction, intrinsic and extrinsic defects are very difficult to characterise by any method, because of the single-atomic nature of the crystals involved. Here we present a convergent beam electron holographic technique which allows imaging of the stacking order in such heterostructures. Based on the interference of electron waves scattered on different crystals in the stack, this approach allows one to reconstruct the relative rotation, stretching, out-of-plane corrugation of the layers with atomic precision. Being holographic in nature, our approach allows extraction of quantitative information about the three-dimensional structure of the typical defects from a single image covering thousands of square nanometres. Furthermore, qualitative information about the defects in the stack can be extracted from the convergent diffraction patterns even without reconstruction - simply by comparing the patterns in different diffraction spots. We expect that convergent beam electron holography will be widely used to study the properties of van der Waals heterostructures.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other physics.app-ph physics.ins-det


title: FocusST Solution for Analysis of Cryptographic Properties

abstract: To analyse cryptographic properties of distributed systems in a systematic way, a formal theory is required. In this paper, we present a theory that allows (1) to specify distributed systems formally, (2) to verify their cryptographic wrt. composition properties, and (3) to demonstrate the correctness of syntactic interfaces for specified system components automatically. To demonstrate the feasibility of the approach we use a typical example from the domain of crypto-based systems: a variant of the Internet security protocol TLS. A security flaw in the initial version of TLS specification was revealed using a semi-automatic theorem prover, Isabelle/HOL.


title: Characteristic cycles and the microlocal geometry of the Gauss map, II

abstract: We show that for the reductive Tannaka groups of semisimple holonomic $\mathscr{D}$-modules on abelian varieties, every Weyl group orbit of weights of their universal cover is realized by a conic Lagrangian cycle on the cotangent bundle. Applications include a weak solution to the Schottky problem in genus five, an obstruction for the existence of summands of subvarieties on abelian varieties and a criterion for the simplicity of the arising Lie algebras.


title: Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia

abstract: Software development requires intensive communication between the requirements engineers and software stakeholders, particularly during the Requirements Engineering (RE) phase. Therefore, the individuals' culture might influence both the RE process and the result. Our aims are to investigate the extend of cultural influences on the RE process, and to analyze how the RE process can be adapted to take into account cultural aspects. The model we present is based on Hofstede's cultural theory. The model was applied on a pilot case study in the context of the conservative Saudi Arabian culture. The results reveal 6 RE aspects and 10 cultural factors that have a large impact on the RE practice.


title: Homotopy types of $SU(n)$-gauge groups over non-spin 4-manifolds

abstract: Let $M$ be an orientable, simply-connected, closed, non-spin 4-manifold and let $\mathcal{G}_k(M)$ be the gauge group of the principal $G$-bundle over $M$ with second Chern class $k\in\mathbb{Z}$. It is known that the homotopy type of $\mathcal{G}_k(M)$ is determined by the homotopy type of $\mathcal{G}_k(\mathbb{CP}^2)$. In this paper we investigate properties of $\mathcal{G}_k(\mathbb{CP}^2)$ when $G = SU(n)$ that partly classify the homotopy types of the gauge groups.


title: Hodge ideals for Q-divisors: birational approach

abstract: We develop the theory of Hodge ideals for Q-divisors by means of log resolutions, extending our previous work on reduced hypersurfaces. We prove local (non-)triviality criteria and a global vanishing theorem, as well as other analogues of standard results from the theory of multiplier ideals, and we derive a new local vanishing theorem. The connection with the V-filtration is analyzed in a sequel.


title: Hydrogenoid spectra with central perturbations

abstract: Through the Kre\u{\i}n-Vi\v{s}ik-Birman extension scheme, unlike the classical analysis based on von Neumann's theory, we reproduce the construction and classification of all self-adjoint realisations of three-dimensional hydrogenoid-like Hamiltonians with singular perturbation supported at the Coulomb centre (the nucleus), as well as of Schr\"{o}dinger operators with Coulomb potentials on the half-line. These two problems are technically equivalent, albeit sometimes treated by their own in the the literature. Based on such scheme, we then recover the formula to determine the eigenvalues of each self-adjoint extension, as corrections of the non-relativistic hydrogenoid energy levels. We discuss in which respect the Kre\u{\i}n-Vi\v{s}ik-Birman scheme is somewhat more natural in yielding the typical boundary condition of self-adjointness at the centre of the perturbation.


title: Directed Continuous-Time Random Walk with memory

abstract: We propose a new Directed Continuous-Time Random Walk (CTRW) model with memory. As CTRW trajectory consists of spatial jumps preceded by waiting times, in Directed CTRW, we consider the case with only positive spatial jumps. Moreover, we consider the memory in the model as each spatial jump depends on the previous one. Our model is motivated by the financial application of the CTRW presented in [Phys. Rev. E 82:046119][Eur. Phys. J. B 90:50]. As CTRW can successfully describe the short term negative autocorrelation of returns in high-frequency financial data (caused by the bid-ask bounce phenomena), we asked ourselves to what extent the observed long-term autocorrelation of absolute values of returns can be explained by the same phenomena. It turned out that the bid-ask bounce can be responsible only for the small fraction of the memory observed in the high-frequency financial data.


title: Hodge ideals for Q-divisors, V-filtration, and minimal exponent

abstract: We explicitly compute the Hodge ideals of Q-divisors in terms of the V-filtration induced by a local defining equation, inspired by a result of Saito in the reduced case. We deduce basic properties of Hodge ideals in this generality, and relate them to Bernstein-Sato polynomials. As a consequence of our study we establish general properties of the minimal exponent, a refined version of the log canonical threshold, and bound it in terms of discrepancies on log resolutions, addressing a question of Lichtin and Koll\'ar.


title: PandaX-II Constraints on Spin-Dependent WIMP-Nucleon Effective Interactions

abstract: We present PandaX-II constraints on candidate WIMP-nucleon effective interactions involving the nucleon or WIMP spin, including, in addition to standard axial spin-dependent (SD) scattering, various couplings among vector and axial currents, magnetic and electric dipole moments, and tensor interactions. The data set corresponding to a total exposure of 54-ton-days is reanalyzed to determine constraints as a function of the WIMP mass and isospin coupling. We obtain WIMP-nucleon cross section bounds of $\rm 1.6 \times 10^{-41} cm^2$ and $\rm 9.0 \times 10^{-42} cm^2$ ($90\%$ c.l.) for neutron-only SD and tensor coupling, respectively, for a mass $M_\mathrm{WIMP} \sim {\rm 40~GeV}/c^2$. The SD limits are the best currently available for $M_\mathrm{WIMP} > {\rm 40~GeV}/c^2$. We show that PandaX-II has reached a sensitivity sufficient to probe a variety of other candidate spin-dependent interactions at the weak scale.


title: Rational pullbacks of Galois covers

abstract: The finite subgroups of ${\rm PGL}_2(\mathbb{C})$ are shown to be the only finite groups $G$ with this property: for some integer $r_0$ (depending on $G$), all Galois covers $X\rightarrow \mathbb{P}^1_{\mathbb{C}}$ of group $G$ can be obtained by pulling back those with at most $r_0$ branch points along non-constant rational maps $\mathbb{P}^1_{\mathbb{C}} \rightarrow \mathbb{P}^1_{\mathbb{C}}$. For $G\subset {\rm PGL}_2(\mathbb{C})$, it is in fact enough to pull back one well-chosen cover with at most $3$ branch points. A consequence of the converse for inverse Galois theory is that, for $G\not \subset {\rm PGL}_2({\mathbb{C}})$, letting the branch point number grow provides truly new Galois realizations $F/{\mathbb{C}}(T)$ of $G$. Another application is that the ``Beckmann--Black'' property that ``any two Galois covers of $\mathbb{P}^1_{\mathbb{C}}$ with the same group $G$ are always pullbacks of another Galois cover of group $G$'' only holds if $G\subset {\rm PGL}_2({\mathbb{C}})$.


title: Veloce Rosso: Australia's new precision radial velocity spectrograph

abstract: Veloce is an ultra-stable fibre-fed R4 echelle spectrograph for the 3.9 m Anglo-Australian Telescope. The first channel to be commissioned, Veloce 'Rosso', utilises multiple low-cost design innovations to obtain Doppler velocities for Sun-like and M-dwarf stars at <1 m/s precision. The spectrograph has an asymmetric white-pupil format with a 100-mm beam diameter, delivering R>75,000 spectra over a 580-950 nm range for the Rosso channel. Simultaneous calibration is provided by a single-mode pulsed laser frequency comb in tandem with a traditional arc lamp. A bundle of 19 object fibres provides a 2.4" field of view for full sampling of stellar targets from the AAT site. Veloce is housed in dual environmental enclosures that maintain positive air pressure at a stability of +/-0.3 mbar, with a thermal stability of +/-0.01 K on the optical bench. We present a technical overview and early performance data from Australia's next major spectroscopic machine.


title: Bayesian Inference Analysis of Unmodelled Gravitational-Wave Transients

abstract: We report the results of an in-depth analysis of the parameter estimation capabilities of BayesWave, an algorithm for the reconstruction of gravitational-wave signals without reference to a specific signal model. Using binary black hole signals, we compare BayesWave's performance to the theoretical best achievable performance in three key areas: sky localisation accuracy, signal/noise discrimination, and waveform reconstruction accuracy. BayesWave is most effective for signals that have very compact time-frequency representations. For binaries, where the signal time-frequency volume decreases with mass, we find that BayesWave's performance reaches or approaches theoretical optimal limits for system masses above approximately 50 M_sun. For such systems BayesWave is able to localise the source on the sky as well as templated Bayesian analyses that rely on a precise signal model, and it is better than timing-only triangulation in all cases. We also show that the discrimination of signals against glitches and noise closely follow analytical predictions, and that only a small fraction of signals are discarded as glitches at a false alarm rate of 1/100 y. Finally, the match between BayesWave- reconstructed signals and injected signals is broadly consistent with first-principles estimates of the maximum possible accuracy, peaking at about 0.95 for high mass systems and decreasing for lower-mass systems. These results demonstrate the potential of unmodelled signal reconstruction techniques for gravitational-wave astronomy.


title: Spin-Orbit Protection of Induced Superconductivity in Majorana Nanowires

abstract: Spin-orbit interaction (SOI) plays a key role in creating Majorana zero modes in semiconductor nanowires proximity coupled to a superconductor. We track the evolution of the induced superconducting gap in InSb nanowires coupled to a NbTiN superconductor in a large range of magnetic field strengths and orientations. Based on realistic simulations of our devices, we reveal SOI with a strength of 0.15-0.35 eV$\require{mediawiki-texvc}\AA$. Our approach identifies the direction of the spin-orbit field, which is strongly affected by the superconductor geometry and electrostatic gates.


title: Statistics of Vector Manakov Rogue Waves

abstract: We present a statistical analysis based on the height and return time probabilities of high amplitude wave events in both focusing and defocusing Manakov systems. We find that analytical rational/semirational solutions, associated with extreme, rogue wave (RW) structures, are the leading high amplitude events in this system. We define the thresholds for classifying an extreme wave event as a RW. Our results indicate that there is a strong relation between the type of the RW and the mechanism which is responsible for its creation. Initially, high amplitude events originate from modulation instability. Upon subsequent evolution, the interaction among these events prevails as the mechanism for RW creation. We suggest a new strategy for confirming the basic properties of different extreme events. This involves the definition of proper statistical measures at each stage of the RW dynamics. Our results point to the need for defining new criteria for identifying RW events.


title: Placement and Implementation of Grid-Forming and Grid-Following Virtual Inertia and Fast Frequency Response

abstract: The electric power system is witnessing a shift in the technology of generation. Conventional thermal generation based on synchronous machines is gradually being replaced by power electronics interfaced renewable generation. This new mode of generation, however, lacks the natural inertia and governor damping which are quintessential features of synchronous machines. The loss of these features results in increasing frequency excursions and, ultimately, system instability. Among the numerous studies on mitigating these undesirable effects, the main approach involves virtual inertia emulation to mimic the behavior of synchronous machines. In this work, explicit models of grid-following and grid-forming virtual inertia (VI) devices are developed for inertia emulation in low-inertia systems. An optimization problem is formulated to optimize the parameters and location of these devices in a power system to increase its resilience. Finally, a case study based on a high-fidelity model of the South-East Australian system is used to illustrate the effectiveness of such devices.


title: Bosonic Gaussian states from conformal field theory

abstract: We study nonchiral wave functions for systems with continuous spins obtained from the conformal field theory (CFT) of a free, massless boson. In contrast to the case of discrete spins, these can be treated as bosonic Gaussian states, which allows us to efficiently compute correlations and entanglement properties both in one (1D) and in two spatial dimensions (2D). In 1D, the computed entanglement entropy and spectra are in agreement with the underlying CFT. Furthermore, we construct a 1D parent Hamiltonian with a low-energy spectrum corresponding to that of a free, massless boson. In 2D, we find edge excitations in the entanglement spectrum, although the states do not have intrinsic topological order, as revealed by a determination of the topological entanglement entropy.


title: Nontrivial topology of bulk HgSe from the study of cyclotron effective mass, electron mobility and phase shift of Shubnikov-de Haas oscillations

abstract: In this paper, the authors report the results of an experimental study of effective mass, electron mobility and phase shift of Shubnikov de Haas oscillations of transverse magnetoresistance in an extended electron concentration region from 8.8*10^15 cm^-3 to 4.3*10^18 cm^-3 in single crystals of mercury selenide. The revealed features confirm the existence of a Weyl semimetal phase in HgSe at low electron density, which has been indicated by previous magnetotransport studies. However, the most significant result is the discovery of an abrupt change of Berry phase of Pi at electron concentration 2*10^18 cm^-3, which we explain in terms of a manifestation of topological Lifshitz transition in HgSe that occurs by tuning Fermi energy via doping.


title: Investigating kpc-scale radio emission properties of narrow-line Seyfert 1 galaxies

abstract: In recent years, several Radio-Loud Narrow-Line Seyfert 1 galaxies (RL-NLS1) possessing relativistic jets have come into attention with their detections in Very Large Baseline Array (VLBA) and in $\gamma$-ray observations. In this paper we attempt to understand the nature of radio-jets in NLS1s by examining the kpc-scale radio properties of, hitherto, the largest sample of 11101 optically-selected NLS1s. Using 1.4 GHz FIRST, 1.4 GHz NVSS, 327 MHz WENNS, and 150 MHz TGSS catalogues we find the radio-detection of merely $\sim$ 4.5 per cent (498/11101) NLS1s, with majority (407/498 $\sim$ 81.7 per cent) of them being RL-NLS1s. Our study yields the highest number of RL-NLS1s and it can only be a lower limit. We find that the most of our radio-detected NLS1s are compact ($<$ 30 kpc), exhibit both flat as well as steep radio spectra, and are distributed across a wide range of 1.4 GHz radio luminosities (10$^{22}$ $-$ 10$^{27}$ W Hz$^{-1}$). At the high end of radio luminosity our NLS1s often tend to show blazar-like properties such as compact radio-size, flat/inverted radio spectrum, radio variability and polarization. The diagnostic plots based on the mid-IR colours suggest that the radio emission in NLS1s is mostly powered by AGN, while nuclear star-formation may have a significant contribution in NLS1s of low radio luminosities. The radio luminosity versus radio-size plot infers that the radio-jets in NLS1s are either in the early evolutionary phase or possibly remain confined within the nuclear region due to low-power or intermittent AGN activity.


title: Role of zero-point effects in stabilizing the ground state structure of bulk Fe2P

abstract: Structural stability of Fe2P is investigated in detail using first-principles calculations based on density functional theory. While the orthorhombic C23 phase is found to be energetically more stable, the experiments suggest it to be hexagonal C22 phase. In the present study, we show that in order to obtain the correct ground state structure of Fe2P from the first-principles based methods it is utmost necessary to consider the zero-point effects such as zero-point vibrations and spin fluctuations. This study demonstrates an exceptional case where a bulk material is stabilized by quantum effects, which are usually important in low-dimensional materials. Our results also indicate the possibility of magnetic field induced structural quantum phase transition in Fe2P, which should form the basis for further theoretical and experimental efforts.


title: On the Strong unique continuation property of a degenerate elliptic operator with Hardy type potential

abstract: In this paper we prove strong unique continuation for the following degenerate elliptic equation \begin{equation}\label{e0} \Delta_zu +|z|^2\partial_t^2u = Vu,\quad (z,t) \in \mathbb{R}^N \times \mathbb{R} \end{equation} where the potential $V$ satisfies either of the following growth assumptions \begin{align} & |V(z,t)| \leq \frac{f(\rho(z,t))}{\rho(z,t)^2},\ \text{where $f$ satisfies the Dini integrability condition as in (1.3)} \\ & \text{or when } \notag \\ & |V(z,t)| \leq C\frac{\psi(z,t)^{\epsilon}}{\rho(z,t)^2},\ \text{for some $\epsilon>0$ with $\psi$ as in (2.6) and $N$ even.} \notag \end{align} This extends some of the previous results obtained in [G] for this subfamily of Baouendi-Grushin operators. As corollaries, we obtain new unique continuation properties for solutions $u$ to \[ \Delta_{\mathbb{H}} u = Vu \] with certain symmetries as expressed in (1.6) where $\Delta_{\mathbb{H}}$ corresponds to the sub-Laplacian on the Heisenberg group $\mathbb{H}^n$.


title: Incremental Relational Lenses

abstract: Lenses are a popular approach to bidirectional transformations, a generalisation of the view update problem in databases, in which we wish to make changes to source tables to effect a desired change on a view. However, perhaps surprisingly, lenses have seldom actually been used to implement updatable views in databases. Bohannon, Pierce and Vaughan proposed an approach to updatable views called relational lenses, but to the best of our knowledge this proposal has not been implemented or evaluated to date. We propose incremental relational lenses, that equip relational lenses with change-propagating semantics that map small changes to the view to (potentially) small changes to the source tables. We also present a language-integrated implementation of relational lenses and a detailed experimental evaluation, showing orders of magnitude improvement over the non-incremental approach. Our work shows that relational lenses can be used to support expressive and efficient view updates at the language level, without relying on updatable view support from the underlying database.


title: Reflection Spectroscopy of the Black Hole Binary XTE J1752-223 in its Long-Stable Hard State

abstract: We present a detailed spectral analysis of the Black Hole Binary XTE J1752-223 in the hard state of its 2009 outburst. Regular monitoring of this source by RXTE provided high signal-to-noise spectra along the outburst rise and decay. During one full month this source stalled at $\sim$30\% of its peak count rate at a constant hardness and intensity. By combining all the data in this exceptionally-stable hard state, we obtained an aggregate PCA spectrum (3-45 keV) with 100 million counts, and a corresponding HEXTE spectrum (20-140 keV) with 5.8 million counts. Implementing a version of our reflection code with a physical model for Comptonization, we obtain tight constraints on important physical parameters for this system. In particular, the inner accretion disk is measured very close in, at $R_\mathrm{in}=1.7\pm0.4$ $R_g$. Assuming $R_\mathrm{in}=R_\mathrm{ISCO}$, we find a relatively high black hole spin ($a_*=0.92\pm0.06$). Imposing a lamppost geometry, we obtain a low inclination ($i=35\pm4$ deg), which agrees with the upper limit found in the radio ($i<49$ deg). However, we note that this model cannot be statistically distinguished from a non-lamppost model with free emissivity index, for which the inclination is markedly higher. Additionally, we find a relatively cool corona ($57-70$ keV), and large iron abundance ($3.3-3.7$ solar). We further find that properly accounting for Comptonization of the reflection emission improves the fit significantly and causes an otherwise low reflection fraction ($\sim 0.2-0.3$) to increase by an order of magnitude, in line with geometrical expectations for a lamppost corona. We compare these results with similar investigations reported for GX 339-4 in its bright hard state.


title: Volumetric performance capture from minimal camera viewpoints

abstract: We present a convolutional autoencoder that enables high fidelity volumetric reconstructions of human performance to be captured from multi-view video comprising only a small set of camera views. Our method yields similar end-to-end reconstruction error to that of a probabilistic visual hull computed using significantly more (double or more) viewpoints. We use a deep prior implicitly learned by the autoencoder trained over a dataset of view-ablated multi-view video footage of a wide range of subjects and actions. This opens up the possibility of high-end volumetric performance capture in on-set and prosumer scenarios where time or cost prohibit a high witness camera count.


title: When are group shifts of finite type?

abstract: It is known that a group shift on a polycyclic group is necessarily of finite type. We show that, for trivial reasons, if a group does not satisfy the maximal condition on subgroups, then it admits non-SFT abelian group shifts. In particular, we show that if group is elementarily amenable or satisfies the Tits alternative, then it is virtually polycyclic if and only if all its group shifts are of finite type. Our theorems are minor elaborations of results of Schmidt and Osin.


title: Subpixel-Precise Tracking of Rigid Objects in Real-time

abstract: We present a novel object tracking scheme that can track rigid objects in real time. The approach uses subpixel-precise image edges to track objects with high accuracy. It can determine the object position, scale, and rotation with subpixel-precision at around 80fps. The tracker returns a reliable score for each frame and is capable of self diagnosing a tracking failure. Furthermore, the choice of the similarity measure makes the approach inherently robust against occlusion, clutter, and nonlinear illumination changes. We evaluate the method on sequences from rigid objects from the OTB-2015 and VOT2016 dataset and discuss its performance. The evaluation shows that the tracker is more accurate than state-of-the-art real-time trackers while being equally robust.


title: Lattice based Conceptual Spaces to Explore Cognitive Functionalities for Prosthetic Arm

abstract: Upper limb Prosthetic can be viewed as an independent cognitive system in order to develop a conceptual space. In this paper, we provide a detailed analogical reasoning of prosthetic arm to build the conceptual spaces with the help of the theory called geometric framework of conceptual spaces proposed by Gardenfors. Terminologies of conceptual spaces such as concepts, similarities, properties, quality dimensions and prototype are applied for a specific prosthetic system and conceptual space is built for prosthetic arm. Concept lattice traversals are used on the lattice represented conceptual spaces. Cognitive functionalities such as generalization (Similarities) and specialization (Differences) are achieved in the lattice represented conceptual space. This might well prove to design intelligent prosthetics to assist challenged humans. Geometric framework of conceptual spaces holds similar concepts closer in geometric structures in a way similar to concept lattices. Hence, we also propose to use concept lattice to represent concepts of geometric framework of conceptual spaces. Also, we extend our discussion with our insights on conceptual spaces of bidirectional hand prosthetics.


title: Precise simulation of electromagnetic calorimeter showers using a Wasserstein Generative Adversarial Network

abstract: Simulations of particle showers in calorimeters are computationally time-consuming, as they have to reproduce both energy depositions and their considerable fluctuations. A new approach to ultra-fast simulations are generative models where all calorimeter energy depositions are generated simultaneously. We use GEANT4 simulations of an electron beam impinging on a multi-layer electromagnetic calorimeter for adversarial training of a generator network and a critic network guided by the Wasserstein distance. The generator is constraint during the training such that the generated showers show the expected dependency on the initial energy and the impact position. It produces realistic calorimeter energy depositions, fluctuations and correlations which we demonstrate in distributions of typical calorimeter observables. In most aspects, we observe that generated calorimeter showers reach the level of showers as simulated with the GEANT4 program.


title: Spin Correlations in Parton Shower Simulations

abstract: Spin correlations are an important, but often neglected, effect in modern Monte Carlo event generators. We show that they can be fully incorporated in Herwig 7 using the algorithm originally proposed by Collins and Knowles in all stages of the event generation process and between the different stages of the event generation. In this paper we present the final missing ingredient, correlations in both the angular-ordered and dipole shower algorithms and between the parton shower and hard production and decay processes.


title: Neural Language Codes for Multilingual Acoustic Models

abstract: Multilingual Speech Recognition is one of the most costly AI problems, because each language (7,000+) and even different accents require their own acoustic models to obtain best recognition performance. Even though they all use the same phoneme symbols, each language and accent imposes its own coloring or "twang". Many adaptive approaches have been proposed, but they require further training, additional data and generally are inferior to monolingually trained models. In this paper, we propose a different approach that uses a large multilingual model that is \emph{modulated} by the codes generated by an ancillary network that learns to code useful differences between the "twangs" or human language. We use Meta-Pi networks to have one network (the language code net) gate the activity of neurons in another (the acoustic model nets). Our results show that during recognition multilingual Meta-Pi networks quickly adapt to the proper language coloring without retraining or new data, and perform better than monolingually trained networks. The model was evaluated by training acoustic modeling nets and modulating language code nets jointly and optimize them for best recognition performance.


title: Low Overhead Weighted-Graph-Coloring-Based Two-Layer Precoding for FDD Massive MIMO Systems

abstract: A massive multiple-input multiple-output (MIMO) system, operating in Frequency Division Duplexing (FDD) mode of operation, suffers from prohibitively high overhead associated with downlink channel state information (CSI) acquisition and downlink precoding, due to the lack of uplink/downlink channel reciprocity. In this paper, a heuristic edge-weighted vertex-coloring based pattern division (EWVC-PD) scheme is proposed to alleviate the overhead of a two-layer precoding approach, in a practical scenario where the user clusters undergo serious angular-spreading-range (ASR) overlapping. Specifically, under a constraint of limited number of subchannels, an undirected edge-weighted graph (EWG) is firstly constructed, to depict the potential ASR overlapping relationship among clusters. Then, inspired by classical graph coloring algorithms, we develop the EWVC-PD scheme which mitigate the ASR by subchannel orthogonalization between clusters possessing serious ASR overlapping, and multiplexing the ones having slight ASR overlapping. Simulation results reveal that our scheme efficiently outperforms the existing pattern division schemes.


title: Deeply-Sparse Signal rePresentations ($\text{D}\text{S}^2\text{P}$)

abstract: A recent line of work shows that a deep neural network with ReLU nonlinearities arises from a finite sequence of cascaded sparse coding models, the outputs of which, except for the last element in the cascade, are sparse and unobservable. That is, intermediate outputs deep in the cascade are sparse, hence the title of this manuscript. We show here, using techniques from the dictionary learning literature that, if the measurement matrices in the cascaded sparse coding model (a) satisfy RIP and (b) all have sparse columns except for the last, they can be recovered with high probability. We propose two algorithms for this purpose: one that recovers the matrices in a forward sequence, and another that recovers them in a backward sequence. The method of choice in deep learning to solve this problem is by training an auto-encoder. Our algorithms provide a sound alternative, with theoretical guarantees, as well upper bounds on sample complexity. The theory shows that the learning complexity of the forward algorithm depends on the number of hidden units at the deepest layer and the number of active neurons at that layer (sparsity). In addition, the theory relates the number of hidden units in successive layers, thus giving a practical prescription for designing deep ReLU neural networks. Because it puts fewer restrictions on the architecture, the backward algorithm requires more data. We demonstrate the deep dictionary learning algorithm via simulations. Finally, we use a coupon-collection argument to conjecture a lower bound on sample complexity that gives some insight as to why deep networks require more data to train than shallow ones.


title: Complete and vertical lifts of Poisson vector fields and infinitesimal deformations of Poisson tensor

abstract: In this paper we prove that both complete and vertical lifts of a Poisson vector field from a Poisson manifold $(M, \pi)$ to its tangent bundle $(TM, \pi_{TM})$ are also Poisson. We use this fact to describe the infinitesimal deformations of Poisson tensor $\pi_{TM}$. We study some of their properties and present a extensive set of examples in a low dimensional case.


title: Deep Reinforcement Learning for Doom using Unsupervised Auxiliary Tasks

abstract: Recent developments in deep reinforcement learning have enabled the creation of agents for solving a large variety of games given a visual input. These methods have been proven successful for 2D games, like the Atari games, or for simple tasks, like navigating in mazes. It is still an open question, how to address more complex environments, in which the reward is sparse and the state space is huge. In this paper we propose a divide and conquer deep reinforcement learning solution and we test our agent in the first person shooter (FPS) game of Doom. Our work is based on previous works in deep reinforcement learning and in Doom agents. We also present how our agent is able to perform better in unknown environments compared to a state of the art reinforcement learning algorithm.


title: A Boo(n) for Evaluating Architecture Performance

abstract: We point out important problems with the common practice of using the best single model performance for comparing deep learning architectures, and we propose a method that corrects these flaws. Each time a model is trained, one gets a different result due to random factors in the training process, which include random parameter initialization and random data shuffling. Reporting the best single model performance does not appropriately address this stochasticity. We propose a normalized expected best-out-of-$n$ performance ($\text{Boo}_n$) as a way to correct these problems.


title: Partitioning Vectors into Quadruples: Worst-Case Analysis of a Matching-Based Algorithm

abstract: Consider a problem where 4k given vectors need to be partitioned into k clusters of four vectors each. A cluster of four vectors is called a quad, and the cost of a quad is the sum of the component-wise maxima of the four vectors in the quad. The problem is to partition the given 4k vectors into k quads with minimum total cost. We analyze a straightforward matching-based algorithm, and prove that this algorithm is a (3/2)-approximation algorithm for this problem. We further analyze the performance of this algorithm on a hierarchy of special cases of the problem, and prove that, in one particular case, the algorithm is a (5/4)-approximation algorithm. Our analysis is tight in all cases except one.


title: Model-free Consensus Maximization for Non-Rigid Shapes

abstract: Many computer vision methods use consensus maximization to relate measurements containing outliers with the correct transformation model. In the context of rigid shapes, this is typically done using Random Sampling and Consensus (RANSAC) by estimating an analytical model that agrees with the largest number of measurements (inliers). However, small parameter models may not be always available. In this paper, we formulate the model-free consensus maximization as an Integer Program in a graph using `rules' on measurements. We then provide a method to solve it optimally using the Branch and Bound (BnB) paradigm. We focus its application on non-rigid shapes, where we apply the method to remove outlier 3D correspondences and achieve performance superior to the state of the art. Our method works with outlier ratio as high as 80\%. We further derive a similar formulation for 3D template to image matching, achieving similar or better performance compared to the state of the art.


title: Open Logo Detection Challenge

abstract: Existing logo detection benchmarks consider artificial deployment scenarios by assuming that large training data with fine-grained bounding box annotations for each class are available for model training. Such assumptions are often invalid in realistic logo detection scenarios where new logo classes come progressively and require to be detected with little or none budget for exhaustively labelling fine-grained training data for every new class. Existing benchmarks are thus unable to evaluate the true performance of a logo detection method in realistic and open deployments. In this work, we introduce a more realistic and challenging logo detection setting, called Open Logo Detection. Specifically, this new setting assumes fine-grained labelling only on a small proportion of logo classes whilst the remaining classes have no labelled training data to simulate the open deployment. We further create an open logo detection benchmark, called OpenLogo,to promote the investigation of this new challenge. OpenLogo contains 27,083 images from 352 logo classes, built by aggregating/refining 7 existing datasets and establishing an open logo detection evaluation protocol. To address this challenge, we propose a Context Adversarial Learning (CAL) approach to synthesising training data with coherent logo instance appearance against diverse background context for enabling more effective optimisation of contemporary deep learning detection models. Experiments show the performance advantage of CAL over existing state-of-the-art alternative methods on the more realistic and challenging OpenLogo benchmark.


title: Exact Master Equation and General Non-Markovian Dynamics in Open Quantum Systems

abstract: Investigations of quantum and mesoscopic thermodynamics force one to answer two fundamental questions associated with the foundations of statistical mechanics: (i) how does macroscopic irreversibility emerge from microscopic reversibility? (ii) how does the system relax in general to thermal equilibrium with its environment? The answers to these questions rely on a deep understanding of nonequilibrium dynamics of systems interacting with their environments. Decoherence is also a main concern in developing quantum information technology. In the past two decades, many theoretical and experimental investigations have devoted to this topic, most of these investigations take the Markov (memory-less) approximation. These investigations have provided a partial understanding to several fundamental issues, such as quantum measurement and the quantum-to-classical transition, etc. However, experimental implementations of nanoscale solid-state quantum information processing makes strong non-Markovian memory effects unavoidable, thus rendering their study a pressing and vital issue. Through the rigorous derivation of the exact master equation and a systematical exploration of various non-Markovian processes for a large class of open quantum systems, we find that decoherence manifests unexpected complexities. We demonstrate these general non-Markovian dynamics manifested in different open quantum systems.


title: The Cloud Technologies and Augmented Reality: the Prospects of Use

abstract: The article discusses the prospects of the augmented reality using as a component of a cloud-based environment. The research goals are the next: to explore the possibility of the augmented reality using with the involvement of the cloud-based environment components. The research objectives are the next: to consider the notion of augmented reality; to analyze the experience the augmented reality using within the cloud environment / system; to outline the prospects of the augmented reality using in educational institutions; to consider the technical conditions of the augmented reality use. The object of research is: the educational process in educational institutions of Ukraine of different levels of accreditation. The subject of research is: the educational process in a cloud-based environment in educational institutions of Ukraine. The research methods used are the next: analysis of scientific publications, observations. The results of the research are the next: on the basis of the analysis of scientific works, it has been established that the experience of the augmented reality using in the systems based on cloud technologies already exists. However, the success of such a combination has not yet been proven. Currently, laboratory tests are known, while the experiment was not carried out under natural conditions in control and experimental groups. It is revealed that the attraction of the augmented reality for the educators requires the development of new methodologies, didactic materials, updating and updating of the curriculum. The main conclusions and recommendations: the main principles of augmented reality use in the learning process are: designing of the environment that is flexible enough, attention should be paid to the teaching and didactic issues; adjusting the educational content for mastering the material provided by the curriculum.


title: RKKY interaction in Mn-doped 4 $\times$ 4 Luttinger systems

abstract: We consider Mn-doped bulk zinc-blende semiconductors described by the 4 $ \times$ 4 Luttinger Hamiltonian. In these semiconductors, Mn atom acts as an acceptor providing the system a mobile hole, and also acts like a magnetic impurity of spin $S=5/2$. We obtain exact analytical expressions of the hole mediated Ruderman-Kittel-Kasuya-Yoshida (RKKY) exchange interaction between two Mn${}^{2+}$ ions. The RKKY interaction of the Luttinger system consists of collinear Heisenberg-like and Ising-like interactions. The characteristic beating patterns appear in the range functions of the RKKY interaction owing to the presence of multiple Fermi wave-vectors of the underlying $j=3/2$ states. As an application of the analytical form of the range function, from the finite temperature evaluation of the correlation functions, we calculate the contribution of RKKY interaction to the Curie-Weiss temperatures of a particular dilute magnetic semiconductor ZnMnTe where $4\times4$ Luttinger Hamiltonian is valid.