title: Faster sublinear approximations of $k$-cliques for low arboricity graphs

abstract: Given query access to an undirected graph $G$, we consider the problem of computing a $(1\pm\epsilon)$-approximation of the number of $k$-cliques in $G$. The standard query model for general graphs allows for degree queries, neighbor queries, and pair queries. Let $n$ be the number of vertices, $m$ be the number of edges, and $n_k$ be the number of $k$-cliques. Previous work by Eden, Ron and Seshadhri (STOC 2018) gives an $O^*(\frac{n}{n^{1/k}_k} + \frac{m^{k/2}}{n_k})$-time algorithm for this problem (we use $O^*(\cdot)$ to suppress $\poly(\log n, 1/\epsilon, k^k)$ dependencies). Moreover, this bound is nearly optimal when the expression is sublinear in the size of the graph. Our motivation is to circumvent this lower bound, by parameterizing the complexity in terms of \emph{graph arboricity}. The arboricity of $G$ is a measure for the graph density "everywhere". We design an algorithm for the class of graphs with arboricity at most $\alpha$, whose running time is $O^*(\min\{\frac{n\alpha^{k-1}}{n_k},\, \frac{n}{n_k^{1/k}}+\frac{m \alpha^{k-2}}{n_k} \})$. We also prove a nearly matching lower bound. For all graphs, the arboricity is $O(\sqrt m)$, so this bound subsumes all previous results on sublinear clique approximation. As a special case of interest, consider minor-closed families of graphs, which have constant arboricity. Our result implies that for any minor-closed family of graphs, there is a $(1\pm\epsilon)$-approximation algorithm for $n_k$ that has running time $O^*(\frac{n}{n_k})$. Such a bound was not known even for the special (classic) case of triangle counting in planar graphs.


title: Evidence for Rapid Adiabatic Cooling as an Origin of the Recombining Plasma in the Supernova Remnant W49B Revealed by NuSTAR Observations

abstract: X-ray observations of supernova remnants (SNRs) in the last decade have shown that the presence of recombining plasmas is somewhat common in a certain type of object. The SNR W49B is the youngest, hottest, and most highly ionized among such objects and hence provides crucial information about how the recombination phase is reached during the early evolutionary phase of SNRs. In particular, spectral properties of radiative recombination continuum (RRC) from Fe are the key for constraining the detailed plasma conditions. Here we present imaging and spectral studies of W49B with Nuclear Spectroscopic Telescope Array (NuSTAR), utilizing the highest-ever sensitivity to the Fe RRC at > 8.8keV. We confirm that the Fe RRC is the most prominent at the western part of the SNR because of the lowest electron temperature (~ 1.2 keV) achieved there. Our spatially-resolved spectral analysis reveals a positive correlation between the electron temperature and the recombination timescale with a uniform initial temperature of ~ 4 keV, which is consistent with the rapid adiabatic cooling scenario as an origin of the overionization. This work demonstrates NuSTAR's suitability for studies of thermal emission, in addition to hard nonthermal X-rays, from young and middle-aged SNRs.


title: Dynamics of the Kuramoto-Sakaguchi Oscillator Network with Asymmetric Order Parameter

abstract: We study the dynamics of a generalized version of the famous Kuramoto-Sakaguchi coupled oscillator model. In the classic version of this system, all oscillators are governed by the same ODE, which depends on the order parameter of the oscillator configuration. The order parameter is the arithmetic mean of the configuration of complex oscillator phases, multiplied by some constant complex coupling factor. In the generalized model we consider, the order parameter is allowed to be any complex linear combination of the complex oscillator phases, so the oscillators are no longer necessarily weighted identically in the order parameter. This asymmetric version of the K-S model exhibits a much richer variety of steady-state dynamical behavior than the classic symmetric version; in addition to stable synchronized states, the system may possess multiple stable (N-1,1) states, in which all but one of the oscillators are in sync, as well as multiple families of neutrally stable asynchronous states or closed orbits, in which no two oscillators are in sync. We present an exhaustive description of the possible steady state dynamical behaviors; our classification depends on the complex coefficients that determine the order parameter. We use techniques from group theory and hyperbolic geometry to reduce the dynamic analysis to a 2D flow on the unit disc, which has geometric significance relative to the hyperbolic metric. The geometric-analytic techniques we develop can in turn be applied to study even more general versions of Kuramoto oscillator networks.


title: Hadronic Sector in the 4-d Pseudo-Conformal Field Theory

abstract: The pseudo-conformal field theory (PCFT) is a 4-d action, which depends on the lorentzian Cauchy-Riemann (LCR) structure. Like the 2-d linearized string action, it does not depend on the metric tensor. But the invariance under the pseudo-conformal transformations imposes in the action the existence of a gauge field instead of the scalar field of the string action. The tetrad of the LCR-structure defines a class of metrics and a corresponding class of self dual 2-forms. Soliton and multisoliton point of view of PCFT is described and related to the Einstein derivation of the equations of motion. After the expansion of the action around the static LCR-structure soliton, the quadratic part of the Yang-Mills-like term implies a linear partial differential equation (PDE). I solve this PDE using the Teukolsky method for the solution of the electromagnetic field in the background of the Kerr black hole. The angular and radial ODEs are different from the corresponding Teukolsky master equations. The exact gauge field PDEs are also solved, solved, using the fundamental property of LCR-structure coordinates. The found solutions have colored sources, which could be identified with the quarks.


title: Generating subgraphs in chordal graphs

abstract: A graph $G$ is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function $w$ is defined on its vertices. Then $G$ is $w$-well-covered if all maximal independent sets are of the same weight. For every graph $G$, the set of weight functions $w$ such that $G$ is $w$-well-covered is a vector space, denoted $WCW(G)$. Let $B$ be a complete bipartite induced subgraph of $G$ on vertex sets of bipartition $B_{X}$ and $B_{Y}$. Then $B$ is generating if there exists an independent set $S$ such that $S \cup B_{X}$ and $S \cup B_{Y}$ are both maximal independent sets of $G$. In the restricted case that a generating subgraph $B$ is isomorphic to $K_{1,1}$, the unique edge in $B$ is called a relating edge. Generating subgraphs play an important role in finding $WCW(G)$. Deciding whether an input graph $G$ is well-covered is co-NP-complete. Hence, finding $WCW(G)$ is co-NP-hard. Deciding whether an edge is relating is NP-complete. Therefore, deciding whether a subgraph is generating is NP-complete as well. A graph is chordal if every induced cycle is a triangle. It is known that finding $WCW(G)$ can be done polynomially in the restricted case that $G$ is chordal. Thus recognizing well-covered chordal graphs is a polynomial problem. We present a polynomial algorithm for recognizing relating edges and generating subgraphs in chordal graphs.


title: Pedersen ideals of tensor products of nonunital C*-algebras

abstract: We show that positive elements of a Pedersen ideal of a tensor product can be approximated in a particularly strong sense by sums of tensor products of positive elements. This has a range of applications to the structure of tracial cones and related topics, such as the Cuntz-Pedersen space or the Cuntz semigroup. For example, we determine the cone of lower semicontinuous traces of a tensor product in terms of the traces of the tensor factors, in an arbitrary C*-tensor norm. We show that the positive elements of a Pedersen ideal are sometimes stable under Cuntz equivalence. We generalize a result of Pedersen's by showing that certain classes of completely positive maps take a Pedersen ideal into a Pedersen ideal. We provide theorems that in many cases compute the Cuntz semigroup of a tensor product.


title: Quantum Rabi-Stark model: Solutions and exotic energy spectra

abstract: The quantum Rabi-Stark model, where the linear dipole coupling and the nonlinear Stark-like coupling are present on an equal footing, are studied within the Bogoliubov operators approach. Transcendental functions responsible for the exact solutions are derived in a compact way, much simpler than previous ones obtained in the Bargmann representation. The zeros of transcendental functions reproduce completely the regular spectra. In terms of the explicit pole structure of these functions, two kinds of exceptional eigenvalues are obtained and distinguished in a transparent manner. Very interestingly, a first-order quantum phase transition indicated by level crossing of the ground state and the first excited state is induced by the positive nonlinear Stark-like coupling, which is however absent in any previous isotropic quantum Rabi models. When the absolute value of the nonlinear coupling strength is equal to twice the cavity frequency, this model can be reduced to an effective quantum harmonic oscillator, and solutions are then obtained analytically. The spectra collapse phenomenon is observed at a critical coupling, while below this critical coupling, infinite discrete spectra accumulate into a finite energy from below.


title: Gravitational Self-Force Regularization in the Regge-Wheeler and Easy Gauges

abstract: We present numerical results for the gravitational self-force and redshift invariant calculated in the Regge-Wheeler and Easy gauges for circular orbits in a Schwarzschild background, utilizing the regularization framework introduced by Pound, Merlin, and Barack. The numerical calculation is performed in the frequency domain and requires the integration of a single second-order ODE, greatly improving computation times over more traditional Lorenz gauge numerical methods. A sufficiently high-order, analytic expansion of the Detweiler-Whiting singular field is gauge-transformed to both the Regge-Wheeler and Easy gauges and used to construct tensor-harmonic mode-sum regularization parameters. We compare our results to the gravitational self-force calculated in the Lorenz gauge by explicitly gauge-transforming the Lorenz gauge self-force to the Regge-Wheeler and Easy gauges, and find that our results agree to a relative accuracy of $10^{-15}$ for an orbital radius of $r_0=6M$ and $10^{-16}$ for an orbital radius of $r_0=10M$.


title: Recognizing generating subgraphs revisited

abstract: A graph $G$ is well-covered if all its maximal independent sets are of the same cardinality. Assume that a weight function $w$ is defined on its vertices. Then $G$ is $w$-well-covered if all maximal independent sets are of the same weight. For every graph $G$, the set of weight functions $w$ such that $G$ is $w$-well-covered is a vector space, denoted as $WCW(G).$ Deciding whether an input graph $G$ is well-covered is co-NP-complete. Therefore, finding $WCW(G)$ is co-NP-hard. A generating subgraph of a graph $G$ is an induced complete bipartite subgraph $B$ of $G$ on vertex sets of bipartition $B_{X}$ and $B_{Y}$, such that each of $S \cup B_{X}$ and $S \cup B_{Y}$ is a maximal independent set of $G$, for some independent set $S$. If $B$ is generating, then $w(B_{X})=w(B_{Y})$ for every weight function $w \in WCW(G)$. Therefore, generating subgraphs play an important role in finding $WCW(G)$. The decision problem whether a subgraph of an input graph is generating is known to be NP-complete. In this article, we prove NP-completeness of the problem for graphs without cycles of length 3 and 5, and for bipartite graphs with girth at least 6. On the other and, we supply polynomial algorithms for recognizing generating subgraphs and finding $WCW(G)$, when the input graph is bipartite without cycles of length 6. We also present a polynomial algorithm which finds $WCW(G)$ when $G$ does not contain cycles of lengths 3, 4, 5, and 7.


title: On the corona theorem on smooth curves

abstract: We prove the corona theorem for domains whose boundary lies in certain smooth quasicircles. These curves, which are not necessarily Dini-smooth, are defined by quasiconformal mappings whose complex dilatation verifies certain conditions. Most importantly we do not assume any "thickness" condition on the boundary domain. In this sense, our results complement those obtained by Garnett and Jones (1985) and C. Moore on $C^{1+\alpha}$ curves (1987).


title: The semi-constrained NMSSM in light of muon g-2, LHC, and dark matter constraints

abstract: The semi-constrained NMSSM (scNMSSM) extends the MSSM by a singlet field, and requires unification of the soft SUSY breaking terms in the squark and slepton sectors, while it allows that in the Higgs sector to be different. We try to interpret the muon g-2 in the scNMSSM, under the constraints of 125 GeV Higgs data, B physics, searches for low and high mass resonances, searches for SUSY particles at the LHC, dark matter relic density by WMAP/Planck, and direct searches for dark matter by LUX, XENON1T, and PandaX-II. We find that under the above constraints, the scNMSSM can still (i) satisfy muon g-2 at 1$\sigma$ level, with a light muon sneutrino and light chargino; (ii) predict a highly-singlet-dominated 95~GeV Higgs, with a diphoton rate as hinted at by CMS data, because of a light higgsino-like chargino and moderate $\lambda$; (iii) get low fine tuning from the GUT scale with small $\mu_{\rm eff},\, M_0,\, M_{1/2},\, {\rm and}\, A_0$, with a lighter stop mass which can be as low as about 500 GeV, which can be further checked in future studies with search results from the 13~TeV LHC; (iv) have the lightest neutralino be singlino-dominated or higgsino-dominated, while the bino and wino are heavier because of high gluino bounds at the LHC and universal gaugino conditions at the GUT scale; (v) satisfy all the above constraints, although it is not easy for the lightest neutralino, as the only dark matter candidate, to get enough relic density. Several ways to increase relic density are discussed.


title: Universality in ultradilute liquid Bose-Bose mixtures

abstract: We have studied dilute Bose-Bose mixtures of atoms with attractive interspecies and repulsive intraspecies interactions using quantum Monte Carlo methods at $T=0$. Using a number of models for interactions, we determine the range of validity of the universal equation of state of the symmetric liquid mixture as a function of two parameters: the $s$-wave scattering length and the effective range of the interaction potential. It is shown that the Lee-Huang-Yang correction is sufficient only for extremely dilute liquids with the additional restriction that the range of the potential is small enough. Based on the quantum Monte Carlo equation of state we develop a new density functional which goes beyond the Lee-Huang-Yang term and use it together with local density approximation to determine density profiles of realistic self-bound drops.


title: A Progressively-trained Scale-invariant and Boundary-aware Deep Neural Network for the Automatic 3D Segmentation of Lung Lesions

abstract: Volumetric segmentation of lesions on CT scans is important for many types of analysis, including lesion growth kinetic modeling in clinical trials and machine learning of radiomic features. Manual segmentation is laborious, and impractical for large-scale use. For routine clinical use, and in clinical trials that apply the Response Evaluation Criteria In Solid Tumors (RECIST), clinicians typically outline the boundaries of a lesion on a single slice to extract diameter measurements. In this work, we have collected a large-scale database, named LesionVis, with pixel-wise manual 2D lesion delineations on the RECIST-slices. To extend the 2D segmentations to 3D, we propose a volumetric progressive lesion segmentation (PLS) algorithm to automatically segment the 3D lesion volume from 2D delineations using a scale-invariant and boundary-aware deep convolutional network (SIBA-Net). The SIBA-Net copes with the size transition of a lesion when the PLS progresses from the RECIST-slice to the edge-slices, as well as when performing longitudinal assessment of lesions whose size change over multiple time points. The proposed PLS-SiBA-Net (P-SiBA) approach is assessed on the lung lesion cases from LesionVis. Our experimental results demonstrate that the P-SiBA approach achieves mean Dice similarity coefficients (DSC) of 0.81, which significantly improves 3D segmentation accuracy compared with the approaches proposed previously (highest mean DSC at 0.78 on LesionVis). In summary, by leveraging the limited 2D delineations on the RECIST-slices, P-SiBA is an effective semi-supervised approach to produce accurate lesion segmentations in 3D.


title: (Meta-)stability and Core-Shell Dynamics of Gold Nanoclusters at Finite Temperature

abstract: Gold nanoclusters have been the focus of numerous computational studies but an atomistic understanding of their structural and dynamical properties at finite temperature is far from satisfactory. To address this deficiency, we investigate gold nanoclusters via ab initio molecular dynamics, in a range of sizes where a core-shell morphology is observed. We analyze their structure and dynamics using of state-of-the-art techniques, including unsupervised machine-learning nonlinear dimensionality reduction (sketch-map) for describing the similarities and differences among the range of sampled configurations. We find that, whereas the gold nanoclusters exhibit continuous structural rearrangement, they clearly show persistent motifs: a cationic core of one to five atoms is loosely bound to a shell which typically displays a substructure resulting from the competition between locally spherical vs planar fragments. Besides illuminating the properties of core-shell gold nanoclusters, the present study proposes a set of useful tools for understanding their nature in operando.


title: Impact of Single-Mask Hole Asymmetry on the Properties of GEM Detectors

abstract: A single-mask Gas Electron Multiplier (GEM) technique overcomes the cumbersome practice of alignment of two masks and allows the production of foils with very large area as needed for the CMS muon forward region upgrade. However, the holes obtained with refinements in the single-mask technique are asymmetrically bi-conical in shape compared to symmetrically bi-conical holes of double-mask technology. The hole geometry and their uniformity define the performance of the detectors which are constructed with such GEM foils. To evaluate the effect of this asymmetry, the foils have been characterized experimentally using a special prototype with three single-mask GEM foils. The structure allowed to change the orientation of foils, testing from above with foils having a large hole opening, testing from the bottom with all the foils having small hole opening. The effective gain, energy resolution and the charging up behavior are compared for the two different hole orientations.


title: Derived invariance of the Tamarkin--Tsygan calculus of an algebra

abstract: We prove that derived equivalent algebras have isomorphic differential calculi in the sense of Tamarkin--Tsygan.


title: End-to-end Structure-Aware Convolutional Networks for Knowledge Base Completion

abstract: Knowledge graph embedding has been an active research topic for knowledge base completion, with progressive improvement from the initial TransE, TransH, DistMult et al to the current state-of-the-art ConvE. ConvE uses 2D convolution over embeddings and multiple layers of nonlinear features to model knowledge graphs. The model can be efficiently trained and scalable to large knowledge graphs. However, there is no structure enforcement in the embedding space of ConvE. The recent graph convolutional network (GCN) provides another way of learning graph node embedding by successfully utilizing graph connectivity structure. In this work, we propose a novel end-to-end Structure-Aware Convolutional Network (SACN) that takes the benefit of GCN and ConvE together. SACN consists of an encoder of a weighted graph convolutional network (WGCN), and a decoder of a convolutional network called Conv-TransE. WGCN utilizes knowledge graph node structure, node attributes and edge relation types. It has learnable weights that adapt the amount of information from neighbors used in local aggregation, leading to more accurate embeddings of graph nodes. Node attributes in the graph are represented as additional nodes in the WGCN. The decoder Conv-TransE enables the state-of-the-art ConvE to be translational between entities and relations while keeps the same link prediction performance as ConvE. We demonstrate the effectiveness of the proposed SACN on standard FB15k-237 and WN18RR datasets, and it gives about 10% relative improvement over the state-of-the-art ConvE in terms of HITS@1, HITS@3 and HITS@10.


title: Effect of Sr doping on structure, morphology and transport properties of Bi$_2$Se$_3$ epitaxial thin films

abstract: We report molecular beam epitaxy growth of Sr-doped Bi$_2$Se$_3$ films on (111) BaF$_2$ substrate, aimed to realize unusual superconducting properties inherent to Sr$_x$Bi$_2$Se$_3$ single crystals. Despite wide range of the compositions, we do not achieve superconductivity. To explore the reason for that we study structural, morphological and electronic properties of the films and compare them to the corresponding properties of the single crystals. The dependence of the c-lattice constant in the films on Sr content appears to be more than an order of magnitude stronger than in the crystals. Correspondingly, all other properties also differ substantially, indicating that Sr atoms get different positions in lattices. We argue that these structural discrepancies come from essential differences in growth conditions. Our research calls for more detailed structural studies and novel growth approaches for design of superconducting Sr$_x$Bi$_2$Se$_3$ thin films.


title: Vacuum Solution for Solov'ev's Equilibrium Configuration in Tokamaks

abstract: In this work, we have revisited the Solov'ev analytical solution for a tokamak equilibrium. We point out that the vacuum solution in the Solov'ev formulation is inapplicable, since a distributed current density is assumed to fill the vacuum. The realistic vacuum should be current-free. To amend this vacuum solution problem, we use Green's function method to compute the plasma current contribution, together with a homogeneous solution to the Grad-Shafranov equation, to construct the full solution. Matching with the Solov'ev solution on the last closed flux surface is performed to determine the homogeneous solution. The total solution is then extended into the vacuum region to get a realistic vacuum solution. We find that the actual vacuum solution is different from the Solov'ev solution in the vacuum region, especially the X-point structure. The X-point obtained at the last closed flux surface is not like the letter "X", and the expanded angle in the vacuum is larger than corresponding angle in the plasma at the null point. The results are important for understanding the X-point and separatrix structure. At the end of the paper, we have extended the classic Solovev's configuration to an ITER-like configuration, and obtained the full solution.


title: Plane Wave Methods for Quantum Eigenvalue Problems of Incommensurate Systems

abstract: We propose a novel numerical algorithm for computing the electronic structure related eigenvalue problem of incommensurate systems. Unlike the conventional practice that approximates the system by a large commensurate supercell, our algorithm directly discretizes the eigenvalue problem under the framework of a plane wave method. The emerging ergodicity and the interpretation from higher dimensions give rise to many unique features compared to what we have been familiar with in the periodic system. The numerical results of 1D and 2D quantum eigenvalue problems are presented to show the reliability and efficiency of our scheme. Furthermore, the extension of our algorithm to full Kohn-Sham density functional theory calculations are discussed.


title: Linear cosmological perturbations in Scalar-tensor-vector gravity

abstract: We investigate the cosmological perturbations in the context of a Scalar-Tensor-Vector theory of Gravity known as MOG in the literature. Recent investigations show that MOG reproduces a viable background cosmological evolution comparable to $\Lambda$CDM. However, the matter-dominated era is slightly different. In this paper, we study the linear matter perturbations and estimate the relevant modified gravity parameters. We show that MOG reduces the growth rate of the perturbations and comparing with the RSD data reveals that MOG suggests a higher value for $\sigma_8$, compare to $\Lambda$CDM. This point, constitutes a powerful challenge to the cosmological viability of MOG.


title: Statistical modelling of conidial discharge of entomophthoralean fungi using a newly discovered Pandora species

abstract: Entomophthoralean fungi are insect pathogenic fungi and are characterized by their active discharge of infective conidia that infect insects. Our aim was to study the effects of temperature on the discharge and to characterize the variation in the associated temporal pattern of a newly discovered Pandora species with focus on peak location and shape of the discharge. Mycelia were incubated at various temperatures in darkness, and conidial discharge was measured over time. We used a novel modification of a statistical model (pavpop), that simultaneously estimates phase and amplitude effects, into a setting of generalized linear models. This model is used to test hypotheses of peak location and discharge of conidia. The statistical analysis showed that high temperature leads to an early and fast decreasing peak, whereas there were no significant differences in total number of discharged conidia. Using the proposed model we also quantified the biological variation in the timing of the peak location at a fixed temperature.


title: On Static Manifolds and Related Critical Spaces with cyclic parallel Ricci tensor

abstract: The aim of this paper is to classify three dimensional compact Riemannian manifolds $(M^{3},g)$ that admits a non-constant solution to the equation $$-\Delta f g+Hess f-fRic=\mu Ric+\lambda g,$$ for some special constants $(\mu, \lambda)$, under assumption that the manifold has cyclic parallel Ricci tensor. Namely, the structures that we will study here will be: positive static triples, critical metrics of the volume functional, and critical metrics of the total scalar curvature functional. We shall also classify $n$-dimensional critical metrics of the volume functional with non-positive scalar curvature and satisfying the cyclic parallel Ricci tensor condition.


title: A Multi-modal Deep Neural Network approach to Bird-song identification

abstract: We present a multi-modal Deep Neural Network (DNN) approach for bird song identification. The presented approach takes both audio samples and metadata as input. The audio is fed into a Convolutional Neural Network (CNN) using four convolutional layers. The additionally provided metadata is processed using fully connected layers. The flattened convolutional layers and the fully connected layer of the metadata are joined and fed into a fully connected layer. The resulting architecture achieved 2., 3. and 4. rank in the BirdCLEF2017 task in various training configurations.


title: Approximation Algorithms for Graph Burning

abstract: Numerous approaches study the vulnerability of networks against social contagion. Graph burning studies how fast a contagion, modeled as a set of fires, spreads in a graph. The burning process takes place in synchronous, discrete rounds. In each round, a fire breaks out at a vertex, and the fire spreads to all vertices that are adjacent to a burning vertex. The selection of vertices where fires start defines a schedule that indicates the number of rounds required to burn all vertices. Given a graph, the objective of an algorithm is to find a schedule that minimizes the number of rounds to burn graph. Finding the optimal schedule is known to be NP-hard, and the problem remains NP-hard when the graph is a tree or a set of disjoint paths. The only known algorithm is an approximation algorithm for disjoint paths, which has an approximation ratio of 1.5.


title: Borel complexity of sets of normal numbers via generic points in subshifts with specification

abstract: We study the Borel complexity of sets of normal numbers in several numeration systems. Taking a dynamical point of view, we offer a unified treatment for continued fraction expansions and base $r$ expansions, and their various generalisations: generalised L\"uroth series expansions and $\beta$-expansions. In fact, we consider subshifts over a countable alphabet generated by all possible expansions of numbers in $[0,1)$. Then normal numbers correspond to generic points of shift-invariant measures. It turns out that for these subshifts the set of generic points for a shift-invariant probability measure is precisely at the third level of the Borel hierarchy (it is a $\Pi^0_3$-complete set, meaning that it is a countable intersection of $F_\sigma$-sets, but it is not possible to write it as a countable union of $G_\delta$-sets). We also solve a problem of Sharkovsky--Sivak on the Borel complexity of the basin of statistical attraction. The crucial dynamical feature we need is a feeble form of specification. All expansions named above generate subshifts with this property. Hence the sets of normal numbers under consideration are $\Pi^0_3$-complete.


title: Multi-Source Neural Variational Inference

abstract: Learning from multiple sources of information is an important problem in machine-learning research. The key challenges are learning representations and formulating inference methods that take into account the complementarity and redundancy of various information sources. In this paper we formulate a variational autoencoder based multi-source learning framework in which each encoder is conditioned on a different information source. This allows us to relate the sources via the shared latent variables by computing divergence measures between individual source's posterior approximations. We explore a variety of options to learn these encoders and to integrate the beliefs they compute into a consistent posterior approximation. We visualise learned beliefs on a toy dataset and evaluate our methods for learning shared representations and structured output prediction, showing trade-offs of learning separate encoders for each information source. Furthermore, we demonstrate how conflict detection and redundancy can increase robustness of inference in a multi-source setting.


title: The arithmetic of vector-valued modular forms on $\Gamma_{0}(2)$

abstract: Let $\rho$ denote an irreducible two-dimensional representation of $\Gamma_{0}(2)$. The collection of vector-valued modular forms for $\rho$, which we denote by $M(\rho)$, form a graded and free module of rank two over the ring of modular forms on $\Gamma_{0}(2)$, which we denote by $M(\Gamma_{0}(2))$. For a certain class of $\rho$, we prove that if Z is any vector-valued modular form for $\rho$ whose component functions have algebraic Fourier coefficients then the sequence of the denominators of the Fourier coefficients of both component functions of Z is unbounded. Our methods involve computing an explicit basis for $M(\rho)$ as a $M(\Gamma_{0}(2))$-module. We give formulas for the component functions of a minimal weight vector-valued form for $\rho$ in terms of the Gaussian hypergeometric series $_{2}F_{1}$, a Hauptmodul of $\Gamma_{0}(2)$, and the Dedekind $\eta$-function.


title: Pedestrian Collision Avoidance System (PeCAS): a Deep Learning Framework

abstract: We propose a new deep learning based framework to identify pedestrians, and caution distracted drivers, in an effort to prevent the loss of life and property. This framework uses two Convolutional Neural Networks (CNN), one which detects pedestrians and the second which predicts the onset of drowsiness in a driver, is implemented on a Raspberry Pi 3 Model B+, shows great promise. The algorithm for implementing such a low-cost, low-compute model is presented and the results discussed.


title: ReDecode Framework for Iterative Improvement in Paraphrase Generation

abstract: Generating paraphrases, that is, different variations of a sentence conveying the same meaning, is an important yet challenging task in NLP. Automatically generating paraphrases has its utility in many NLP tasks like question answering, information retrieval, conversational systems to name a few. In this paper, we introduce iterative refinement of generated paraphrases within VAE based generation framework. Current sequence generation models lack the capability to (1) make improvements once the sentence is generated; (2) rectify errors made while decoding. We propose a technique to iteratively refine the output using multiple decoders, each one attending on the output sentence generated by the previous decoder. We improve current state of the art results significantly - with over 9% and 28% absolute increase in METEOR scores on Quora question pairs and MSCOCO datasets respectively. We also show qualitatively through examples that our re-decoding approach generates better paraphrases compared to a single decoder by rectifying errors and making improvements in paraphrase structure, inducing variations and introducing new but semantically coherent information.


title: Learning with tree-based tensor formats

abstract: This paper is concerned with the approximation of high-dimensional functions in a statistical learning setting, by empirical risk minimization over model classes of functions in tree-based tensor format. These are particular classes of rank-structured functions that can be seen as deep neural networks with a sparse architecture related to the tree and multilinear activation functions. For learning in a given model class, we exploit the fact that tree-based tensor formats are multilinear models and recast the problem of risk minimization over a nonlinear set into a succession of learning problems with linear models. Suitable changes of representation yield numerically stable learning problems and allow to exploit sparsity. For high-dimensional problems or when only a small data set is available, the selection of a good model class is a critical issue. For a given tree, the selection of the tuple of tree-based ranks that minimize the risk is a combinatorial problem. Here, we propose a rank adaptation strategy which provides in practice a good convergence of the risk as a function of the model class complexity. Finding a good tree is also a combinatorial problem, which can be related to the choice of a particular sparse architecture for deep neural networks. Here, we propose a stochastic algorithm for minimizing the complexity of the representation of a given function over a class of trees with a given arity, allowing changes in the topology of the tree. This tree optimization algorithm is then included in a learning scheme that successively adapts the tree and the corresponding tree-based ranks. Contrary to classical learning algorithms for nonlinear model classes, the proposed algorithms are numerically stable, reliable, and require only a low level expertise of the user.


title: Mapping the QCD phase diagram with statistics friendly distributions

abstract: We demonstrate that the multiplicity distribution of a system located in the vicinity of a first-order phase transition can be successfully measured in terms of its factorial cumulants with a surprisingly small number of events. This finding has direct implications for the experimental search of a QCD phase transition conjectured to be located in the high baryon density region of the QCD phase diagram.


title: A 3-D Projection Model for X-ray Dark-field Imaging

abstract: Talbot-Lau X-ray phase-contrast imaging is a novel imaging modality, which provides not only an X-ray absorption image, but also additionally a differential phase image and a dark-field image. The dark-field image is related to small angle scattering and has an interesting property when canning oriented structures: the recorded signal depends on the relative orientation of the structure in the imaging system. Exactly this property allows to draw conclusions about the orientation and to reconstruct the structure. However, the reconstruction is a complex, non-trivial challenge. A lot of research was conducted towards this goal in the last years and several reconstruction algorithms were proposed. A key step of the reconstruction algorithm is the inversion of a forward projection model. Up until now, only 2-D projection models are available, with effectively limit the scanning trajectory to a 2-D plane. To obtain true 3-D information, this limitation requires to combine several 2-D scans, which leads to quite complex, impractical acquisitions schemes. Furthermore, it is not possible with these models to use 3-D trajectories that might allow simpler protocols, like for example a helical trajectory. To address these limitations, we propose in this work a very general 3-D projection model. Our projection model defines the dark-field signal dependent on an arbitrarily chosen ray and sensitivity direction. We derive the projection model under the assumption that the observed scatter distribution has a Gaussian shape. We theoretically show the consistency of our model with more constrained existing 2-D models. Furthermore, we experimentally show the compatibility of our model with dark-field measurements of two matchsticks. We believe that this 3-D projection model is an important step towards more flexible trajectories and imaging protocols that are much better applicable in practice.


title: Time-interval balancing in multi-processor scheduling of composite modular jobs (preliminary description)

abstract: The article describes a special time-interval balancing in multi-processor scheduling of composite modular jobs. This scheduling problem is close to just-in-time planning approach. First, brief literature surveys are presented on just-in-time scheduling and due-data/due-window scheduling problems. Further, the problem and its formulation are proposed for the time-interval balanced scheduling of composite modular jobs. The illustrative real world planning example for modular home-building is described. Here, the main objective function consists in a balance between production of the typical building modules (details) and the assembly processes of the building(s) (by several teams). The assembly plan has to be modified to satisfy the balance requirements. The solving framework is based on the following: (i) clustering of initial set of modular detail types to obtain about ten basic detail types that correspond to main manufacturing conveyors; (ii) designing a preliminary plan of assembly for buildings; (iii) detection of unbalanced time periods, (iv) modification of the planning solution to improve the schedule balance. The framework implements a metaheuristic based on local optimization approach. Two other applications (supply chain management, information transmission systems) are briefly described.


title: Three-dimensional double helical DNA structure directly revealed from its X-ray fiber diffraction pattern by iterative phase retrieval

abstract: Coherent diffraction imaging (CDI) allows the retrieval of the structure of an isolated object, such as a macromolecule, from its diffraction pattern. CDI requires the fulfilment of two conditions: the imaging radiation must be coherent and the object must be isolated. We discuss that it is possible to directly retrieve the molecular structure from its diffraction pattern which was acquired neither with coherent radiation nor from an individual molecule, provided the molecule exhibits periodicity in one direction, as in the case of fiber diffraction. We demonstrate that by applying iterative phase retrieval methods to a fiber diffraction pattern, the repeating unit, that is, the molecule structure, can directly be reconstructed without any prior modeling. As an example, we recover the structure of the DNA double helix in three-dimensions from its two-dimensional X-ray fiber diffraction pattern, Photograph 51, acquired in the famous experiment by Raymond Gosling and Rosalind Franklin, at a resolution of 3.4 Angstrom.

categories: physics.optics physics.bio-ph physics.data-an physics.ins-det


title: Analysis vs Synthesis - An Investigation of (Co)sparse Signal Models on Graphs

abstract: In this work, we present a theoretical study of signals with sparse representations in the vertex domain of a graph, which is primarily motivated by the discrepancy arising from respectively adopting a synthesis and analysis view of the graph Laplacian matrix. Sparsity on graphs and, in particular, the characterization of the subspaces of signals which are sparse with respect to the connectivity of the graph, as induced by analysis with a suitable graph operator, remains in general an opaque concept which we aim to elucidate. By leveraging the theory of cosparsity, we present a novel (co)sparse graph Laplacian-based signal model and characterize the underlying (structured) (co)sparsity, smoothness and localization of its solution subspaces on undirected graphs, while providing more refined statements for special cases such as circulant graphs. Ultimately, we substantiate fundamental discrepancies between the cosparse analysis and sparse synthesis models in this structured setting, by demonstrating that the former constitutes a special, constrained instance of the latter.


title: Latent Network Summarization: Bridging Network Embedding and Summarization

abstract: Motivated by the computational and storage challenges that dense embeddings pose, we introduce the problem of latent network summarization that aims to learn a compact, latent representation of the graph structure with dimensionality that is independent of the input graph size (i.e., #nodes and #edges), while retaining the ability to derive node representations on the fly. We propose Multi-LENS, an inductive multi-level latent network summarization approach that leverages a set of relational operators and relational functions (compositions of operators) to capture the structure of egonets and higher-order subgraphs, respectively. The structure is stored in low-rank, size-independent structural feature matrices, which along with the relational functions comprise our latent network summary. Multi-LENS is general and naturally supports both homogeneous and heterogeneous graphs with or without directionality, weights, attributes or labels. Extensive experiments on real graphs show 3.5 - 34.3% improvement in AUC for link prediction, while requiring 80 - 2152x less output storage space than baseline embedding methods on large datasets. As application areas, we show the effectiveness of Multi-LENS in detecting anomalies and events in the Enron email communication graph and Twitter co-mention graph.


title: Control of fast electron propagation in foam target by high-Z doping

abstract: The influence of high-Z dopant (Bromine) in low-Z foam (polystyrene) target on laser-driven fast electron propagation is studied by the 3D hybrid particle-in-cell (PIC)/fluid code HEETS.It is found that the fast electrons are better confined in doped targets due to the increasing resistivity of the target, which induces a stronger resistive magnetic field which acts to collimate the fast electron propagation.The energy deposition of fast electrons into the background target is increased slightly in the doped target, which is beneficial for applications requiring long distance propagation of fast electrons, such as fast ignition.


title: Machine Learning with Abstention for Automated Liver Disease Diagnosis

abstract: This paper presents a novel approach for detection of liver abnormalities in an automated manner using ultrasound images. For this purpose, we have implemented a machine learning model that can not only generate labels (normal and abnormal) for a given ultrasound image but it can also detect when its prediction is likely to be incorrect. The proposed model abstains from generating the label of a test example if it is not confident about its prediction. Such behavior is commonly practiced by medical doctors who, when given insufficient information or a difficult case, can chose to carry out further clinical or diagnostic tests before generating a diagnosis. However, existing machine learning models are designed in a way to always generate a label for a given example even when the confidence of their prediction is low. We have proposed a novel stochastic gradient based solver for the learning with abstention paradigm and use it to make a practical, state of the art method for liver disease classification. The proposed method has been benchmarked on a data set of approximately 100 patients from MINAR, Multan, Pakistan and our results show that the proposed scheme offers state of the art classification performance.


title: Hyperbolic groups, 4-manifolds and Quantum Gravity

abstract: 4-manifolds have special topological properties which can be used to get a different view on quantum mechanics. One important property (connected with exotic smoothness) is the natural appearance of 3-manifold wild embeddings (Alexanders horned sphere) which can be interpreted as quantum states. This relation can be confirmed by using the Turaev-Drinfeld quantization procedure. Every part of the wild embedding admits a hyperbolic geometry uncovering a deep connection between quantum mechanics and hyperbolic geometry. Then the corresponding symmetry is used to get a dimensional reduction from 4 to 2 for infinite curvatures. Physical consequences will be discussed. At the end we will obtain a spacetime representation of a quantum state of geometry by a non-singular fractal space (wild embedding) which is stable in the limit of infinite curvatures.


title: Computational Complexity Analysis of Genetic Programming

abstract: Genetic programming (GP) is an evolutionary computation technique to solve problems in an automated, domain-independent way. Rather than identifying the optimum of a function as in more traditional evolutionary optimization, the aim of GP is to evolve computer programs with a given functionality. While many GP applications have produced human competitive results, the theoretical understanding of what problem characteristics and algorithm properties allow GP to be effective is comparatively limited. Compared with traditional evolutionary algorithms for function optimization, GP applications are further complicated by two additional factors: the variable-length representation of candidate programs, and the difficulty of evaluating their quality efficiently. Such difficulties considerably impact the runtime analysis of GP, where space complexity also comes into play. As a result, initial complexity analyses of GP have focused on restricted settings such as the evolution of trees with given structures or the estimation of solution quality using only a small polynomial number of input/output examples. However, the first computational complexity analyses of GP for evolving proper functions with defined input/output behavior have recently appeared. In this chapter, we present an overview of the state of the art.


title: Constraints on the dark energy with barotropic equation of state: assessing the importance of different observations

abstract: For dynamical dark energy with the barotropic equation of state we determine the mean values of parameters and their confidence ranges together with other cosmological parameters on the basis of different combined datasets. The used observations include Planck data on CMB temperature anisotropy, E-mode polarization and lensing, BICEP2/Keck Array data on B-mode polarization, BAO from SDSS and 6dFGS, power spectrum of galaxies from WiggleZ, weak lensing from CFHTLenS and SN Ia data from the JLA compilation. We find that all but one mean models are phantom, mean values of the equation of state parameter at current epoch are close to $-1$ and constraints on the adiabatic sound speed of dark energy are weak. We investigate the effect of CMB polarization data on the dark energy parameters estimation. We discuss also which type of data on the large scale structure of the Universe allows to determine the dark energy parameters most precisely.


title: Estimating the radiative part of QED effects in systems with supercritical charge

abstract: The effective interaction of the electron magnetic moment anomaly with the Coulomb field of superheavy nuclei is investigated by taking into account its dynamical screening at small distances. The shift of the electronic levels, caused by this interaction, is considered for H-like atoms and for compact nuclear quasi-molecules, non-perturbatively both in $Z\alpha$ and (partially) in $\alpha/\pi$. It is shown that the levels shift reveals a non-monotonic behavior in the region $Z\alpha>1$ and near the threshold of the lower continuum decreases both with the increasing the charge and with enlarging the size of the system of Coulomb sources. The last result is generalized to the total self-energy contribution to the levels shift and so to the possible behavior of radiative QED effects with virtual photon exchange near the lower continuum in the supercritical region.


title: Bose-Einstein Condensates as Gravitational Wave Detectors

abstract: We investigate a Bose-Einstein condensate (BEC) as a gravitational wave detector, and study its sensitivity by optimizing the properties of the condensate and the measurement duration. We show that detecting kilohertz gravitational waves is limited by current experimental techniques in squeezing BEC phonons. Future improvements in technology to squeeze BEC states can make them competitive detectors for gravitational waves of astrophysical and/or cosmological origin.


title: On constrained optimization problems solved using CDT

abstract: DY Gao together with some of his collaborators applied his Canonical duality theory (CDT) for solving a class of constrained optimization problems. Unfortunately, in several papers on this subject there are unclear statements, not convincing proofs, or even false results. It is our aim in this work to study rigorously these class of constrained optimization problems in finite dimensional spaces and to discuss several results published in the last ten years.


title: Simultaneous Ruin Probability for Two-Dimensional Brownian and L\'evy Risk Models

abstract: The ruin probability in the classical Brownian risk model can be explicitly calculated for both finite and infinite-time horizon. This is not the case for the simultaneous ruin probability in two-dimensional Brownian risk model. Resorting on asymptotic theory, we derive in this contribution approximations of both simultaneous ruin probability and simultaneous ruin time for the two-dimensional Brownian risk model when the initial capital increases to infinity. Given the interest in proportional reinsurance, we consider in some details the case where the correlation is 1. This model is tractable allowing for explicit formulas for the simultaneous ruin probability for linearly dependent spectrally positive L\'evy processes. Examples include perturbed Brownian and gamma L\'evy processes.


title: Thompson Sampling for Pursuit-Evasion Problems

abstract: Pursuit-evasion is a multi-agent sequential decision problem wherein a group of agents known as pursuers coordinate their traversal of a spatial domain to locate an agent trying to evade them. Pursuit evasion problems arise in a number of import application domains including defense and route planning. Learning to optimally coordinate pursuer behaviors so as to minimize time to capture of the evader is challenging because of a large action space and sparse noisy state information; consequently, previous approaches have relied primarily on heuristics. We propose a variant of Thompson Sampling for pursuit-evasion that allows for the application of existing model-based planning algorithms. This approach is general in that it allows for an arbitrary number of pursuers, a general spatial domain, and the integration of auxiliary information provided by informants. In a suite of simulation experiments, Thompson Sampling for pursuit evasion significantly reduces time-to-capture relative to competing algorithms.


title: Involution matchings, the semigroup of orientation-preserving and orientation-reversing mappings, and inverse covers of the full transformation semigroup

abstract: We continue the study of permutations of a finite regular semigroup that map each element to one of its inverses, providing a complete description in the case of semigroups whose idempotent generated subsemigroup is a union of groups. We show, in two ways, how to construct an involution matching on the semigroup of all transformations which either preserve or reverse orientation of a finite cycle. Finally, by way of application, we prove that finite full transformation semigroups have no cover by inverse semigroups that is closed under intersection.


title: Capital Structure and Speed of Adjustment in U.S. Firms. A Comparative Study in Microeconomic and Macroeconomic Conditions - A Quantille Regression Approach

abstract: The major perspective of this paper is to provide more evidence regarding how "quickly", in different macroeconomic states, companies adjust their capital structure to their leverage targets. This study extends the empirical research on the topic of capital structure by focusing on a quantile regression method to investigate the behavior of firm-specific characteristics and macroeconomic factors across all quantiles of distribution of leverage (book leverage and market leverage). Therefore, depending on a partial adjustment model, we find that the adjustment speed fluctuated in different stages of book versus market leverage. Furthermore, while macroeconomic states change, we detect clear differentiations of the contribution and the effects of the firm-specific and the macroeconomic variables between market leverage and book leverage debt ratios. Consequently, we deduce that across different macroeconomic states the nature and maturity of borrowing influence the persistence and endurance of the relation between determinants and borrowing.


title: Supersymmetry in the Insulating Phase of a Chain of Majorana Cooper Pair Boxes

abstract: The charging energy $U$ of a small superconducting island containing Majorana zero modes---a Majorana Cooper-pair box---induces interactions between the Majorana zero modes. Considering a chain of many such boxes, a topological superconductor-insulator transition occurs when $U$ is much larger than the transfer matrix element $t$ between the boxes. In this Letter, we focus on the insulting phases occurring in this regime. We show that there are several competing insulating phases, and that the transition between them is described by a supersymmetric field theory with a central charge $c=7/10$. We obtain this result by mapping the model to a spin-$1$ system and through a field theoretical approach. The microscopic model we propose consists of a chain of Majorana Cooper-pair boxes with \textit{local} tunneling between Majorana zero modes and \textit{local} charging energy terms, which can be controlled by gate potentials, thus making its realization more feasible.


title: Managing App Install Ad Campaigns in RTB: A Q-Learning Approach

abstract: Real time bidding (RTB) enables demand side platforms (bidders) to scale ad campaigns across multiple publishers affiliated to an RTB ad exchange. While driving multiple campaigns for mobile app install ads via RTB, the bidder typically has to: (i) maintain each campaign's efficiency (i.e., meet advertiser's target cost-per-install), (ii) be sensitive to advertiser's budget, and (iii) make profit after payouts to the ad exchange. In this process, there is a sense of delayed rewards for the bidder's actions; the exchange charges the bidder right after the ad is shown, but the bidder gets to know about resultant installs after considerable delay. This makes it challenging for the bidder to decide beforehand the bid (and corresponding cost charged to advertiser) for each ad display opportunity. To jointly handle the objectives mentioned above, we propose a state space based policy which decides the exchange bid and advertiser cost for each opportunity. The state space captures the current efficiency, budget utilization and profit. The policy based on this state space is trained on past decisions and outcomes via a novel Q-learning algorithm which accounts for the delay in install notifications. In our experiments based on data from app install campaigns managed by Yahoo's Gemini advertising platform, the Q-learning based policy led to a significant increase in the profit and number of efficient campaigns.


title: Finding the ground state of the Hubbard model by variational methods on a quantum computer with gate errors

abstract: A key goal of digital quantum computing is the simulation of fermionic systems such as molecules or the Hubbard model. Unfortunately, for present and near-future quantum computers the use of quantum error correction schemes is still out of reach. Hence, the finite error rate limits the use of quantum computers to algorithms with a low number of gates. The variational Hamiltonian ansatz (VHA) has been shown to produce the ground state in good approximation in a manageable number of steps. Here we study explicitly the effect of gate errors on its performance. The VHA is inspired by the adiabatic quantum evolution under the influence of a time-dependent Hamiltonian, where the - ideally short - fixed Trotter time steps are replaced by variational parameters. The method profits substantially from quantum variational error suppression, e.g., unitary quasi-static errors are mitigated within the algorithm. We test the performance of the VHA when applied to the Hubbard model in the presence of unitary control errors on quantum computers with realistic gate fidelities.


title: Unifying Gaussian LWF and AMP Chain Graphs to Model Interference

abstract: An intervention may have an effect on units other than those to which it was administered. This phenomenon is called interference and it usually goes unmodeled. In this paper, we propose to combine Lauritzen-Wermuth-Frydenberg and Andersson-Madigan-Perlman chain graphs to create a new class of causal models that can represent both interference and non-interference relationships for Gaussian distributions. Specifically, we define the new class of models, introduce global and local and pairwise Markov properties for them, and prove their equivalence. We also propose an algorithm for maximum likelihood parameter estimation for the new models, and report experimental results. Finally, we show how to compute the effects of interventions in the new models.


title: Lessons Learned in Migrating from Swing to JavaFX

abstract: The authors describe a case study of the migration of an interactive diagramming tool written in Java from the Swing Graphical User Interface framework to the more recent JavaFX framework. The study distills the authors' experience identifying what information was needed to support the migration effort, and how the information was ultimately discovered. The outcome is presented in a set of five lessons about the discrepancies between expectations and reality in the search for information when migrating software between major frameworks.


title: Two-junction ballistic switch in quantum network model

abstract: Searching of optimal parameters of nanoelectronic devices is a primal problem in their modeling. We solve this problem on example of the electron ballistic switch in quantum network model. For this purpose, we use a computing scheme in which closed channels are taking into account. It allows calculating correctly a scattering matrix of the switch and, consequently, the electric currents flowing through it. Without losing generality, we consider model of two-junction switch at room temperature. Its character is localization of the controlling electric field in the domain before branching. We optimize switch parameters using a genetic algorithm. At the expense of it for InP, GaAs and GaSb switch efficiency reached 77-78%. It is established that, for the considered materials, volt-ampere characteristics of the device are close to the linear ones at bias voltages 0-50 mV. It allowed describing with a good accuracy electron transport in the switch by means of $3\times 3$ matrix of approximate conductivity. Finally, based on the performed parameters optimization of two-junction switch we formulate the general scheme of modeling nanoelectronic devices in the framework of quantum network formalism.


title: Semi-supervised Deep Representation Learning for Multi-View Problems

abstract: While neural networks for learning representation of multi-view data have been previously proposed as one of the state-of-the-art multi-view dimension reduction techniques, how to make the representation discriminative with only a small amount of labeled data is not well-studied. We introduce a semi-supervised neural network model, named Multi-view Discriminative Neural Network (MDNN), for multi-view problems. MDNN finds nonlinear view-specific mappings by projecting samples to a common feature space using multiple coupled deep networks. It is capable of leveraging both labeled and unlabeled data to project multi-view data so that samples from different classes are separated and those from the same class are clustered together. It also uses the inter-view correlation between views to exploit the available information in both the labeled and unlabeled data. Extensive experiments conducted on four datasets demonstrate the effectiveness of the proposed algorithm for multi-view semi-supervised learning.


title: RADS: Real-time Anomaly Detection System for Cloud Data Centres

abstract: Cybersecurity attacks in Cloud data centres are increasing alongside the growth of the Cloud services market. Existing research proposes a number of anomaly detection systems for detecting such attacks. However, these systems encounter a number of challenges, specifically due to the unknown behaviour of the attacks and the occurrence of genuine Cloud workload spikes, which must be distinguished from attacks. In this paper, we discuss these challenges and investigate the issues with the existing Cloud anomaly detection approaches. Then, we propose a Real-time Anomaly Detection System (RADS) for Cloud data centres, which uses a one class classification algorithm and a window-based time series analysis to address the challenges. Specifically, RADS can detect VM-level anomalies occurring due to DDoS and cryptomining attacks. We evaluate the performance of RADS by running lab-based experiments and by using real-world Cloud workload traces. Evaluation results demonstrate that RADS can achieve 90-95% accuracy with a low false positive rate of 0-3%. The results further reveal that RADS experiences fewer false positives when using its window-based time series analysis in comparison to using state-of-the-art average or entropy based analysis.


title: Hitting time for quantum walks of identical particles

abstract: Quantum particles are known to be faster than classical when they propagate stochastically on certain graphs. A time needed for a particle to reach a target node on a distance, the hitting time, can be exponentially less for quantum walks than for classical random walks. It is however not known how fast would interacting quantum particles propagate on different graphs. Here we present our results on hitting times for quantum walks of identical particles on cycle graphs, and relate the results to our previous findings on the usefulness of identical interacting particles in quantum information theory. We observe that interacting fermions traverse cycle graphs faster than non-interacting fermions. We show that the rate of propagation is related to fermionic entanglement: interacting fermions keep traversing the cycle graph as long as their entanglement grows. Our results demonstrate the role of entanglement in quantum particles propagation. These results are of importance for understanding quantum transport properties of identical particles.


title: Anomaly Detection and Correction in Large Labeled Bipartite Graphs

abstract: Binary classification problems can be naturally modeled as bipartite graphs, where we attempt to classify right nodes based on their left adjacencies. We consider the case of labeled bipartite graphs in which some labels and edges are not trustworthy. Our goal is to reduce noise by identifying and fixing these labels and edges. We first propose a geometric technique for generating random graph instances with untrustworthy labels and analyze the resulting graph properties. We focus on generating graphs which reflect real-world data, where degree and label frequencies follow power law distributions. We review several algorithms for the problem of detection and correction, proposing novel extensions and making observations specific to the bipartite case. These algorithms range from math programming algorithms to discrete combinatorial algorithms to Bayesian approximation algorithms to machine learning algorithms. We compare the performance of all these algorithms using several metrics and, based on our observations, identify the relative strengths and weaknesses of each individual algorithm.


title: Homotopy groups of $E_{C}^{hG_{24}}\wedge A_1$

abstract: Let $A_1$ be any spectrum in a class of finite spectra whose mod $2$ cohomology is isomorphic to a free module of rank one over the subalgebra $\mathcal{A}(1)$ of the Steenrod algebra. Let $E_{C}$ be the second Morava-$E$ theory associated to a universal deformation of the formal completion of the supersingular elliptic curve $(C) : y^{2}+y = x^{3}$ defined over $\mathbb{F}_{4}$ and $G_{24}$ a maximal finite subgroup of automorphism group $\mathbb{S}_{C}$ of the formal completion of $C$. In this paper, we compute the homotopy groups of $E_{C}^{hG_{24}}\wedge A_1$ by means of the homotopy fixed point spectral sequence.


title: Computing discrete Morse complexes from simplicial complexes

abstract: We consider the problem of efficiently computing a discrete Morse complex on simplicial complexes of arbitrary dimension and very large size. Based on a common graph-based formalism, we analyze existing data structures for simplicial complexes, and we define an efficient encoding for the discrete Morse gradient on the most compact of such representations. We theoretically compare methods based on reductions and coreductions for computing a discrete Morse gradient, proving that the combination of reductions and coreductions produces new mutually equivalent approaches. We design and implement a new algorithm for computing a discrete Morse complex on simplicial complexes. We show that our approach scales very well with the size and the dimension of the simplicial complex also through comparisons with the only existing public-domain algorithm for discrete Morse complex computation. We discuss applications to the computation of multi-parameter persistent homology and of extrema graphs for visualization of time-varying 3D scalar fields.


title: Understanding droplet collisions through a model flow: Insights from a Burgers vortex

abstract: We investigate the role of intense vortical structures, similar to those in a turbulent flow, in enhancing collisions (and coalescences) which lead to the formation of large aggregates in particle-laden flows. By using a Burgers vortex model, we show, in particular, that vortex stretching significantly enhances sharp inhomogeneities in spatial particle densities, related to the rapid ejection of particles from intense vortices. Furthermore our work shows how such spatial clustering leads to an enhancement of collision rates and extreme statistics of collisional velocities. We also study the role of poly-disperse suspensions in this enhancement. Our work uncovers an important principle which, {if valid for realistic turbulent flows, may be a factor in} how small nuclei water droplets in warm clouds can aggregate to sizes large enough to trigger rain.


title: Four-Dimensonal Gauss-Bonnet Gravity Without Gauss-Bonnet Coupling to Matter - Spherically Symmetric Solutions, Domain Walls and Spacetime Singularities

abstract: We discuss a new extended gravity model in ordinary $D=4$ spacetime dimensions, where an additional term in the action involving Gauss-Bonnet topological density is included without the need to couple it to matter fields unlike the case of ordinary D=4 Gauss-Bonnet gravity models. Avoiding the Gauss-Bonnet density becoming a total derivative is achieved by employing the formalism of metric-independent non-Riemannian spacetime volume-forms. The non-Riemannian volume element triggers dynamically the Gauss-Bonnet scalar to become an arbitrary integration constant on-shell. We describe in some detail the class of static spherically symmetric solutions of the above modified D=4 Gauss-Bonnet gravity including solutions with deformed (anti)-de Sitter geometries, black holes, domain walls and Kantowski-Sachs-type universes. Some solutions exhibit physical spacetime singular surfaces not hidden behind horizons and bordering whole forbidden regions of space. Singularities can be avoided by pairwise matching of two solutions along appropriate domain walls. For a broad class of solutions the corresponding matter source is shown to be a special form of nonlinear electrodynamics whose Lagrangian L(F^2) is a non-analytic function of F^2 (the square of Maxwell tensor F_mu_nu), i.e., L(F^2) is not of Born-Infeld type.


title: Closed-form weak localization magnetoconductivity in quantum wells with arbitrary Rashba and Dresselhaus spin-orbit interactions

abstract: We derive a closed-form expression for the weak localization (WL) corrections to the magnetoconductivity of a 2D electron system with arbitrary Rashba $\alpha$ and Dresselhaus $\beta$ (linear) and $\beta_3$ (cubic) spin-orbit interaction couplings, in a perpendicular magnetic field geometry. In a system of reference with an in-plane $\hat{z}$ axis chosen as the high spin-symmetry direction at $\alpha = \beta$, we formulate a new algorithm to calculate the three independent contributions that lead to WL. The antilocalization is counterbalanced by the term associated with the spin-relaxation along $\hat{z}$, dependent only on $\alpha - \beta$. The other term is generated by two identical scattering modes characterized by spin-relaxation rates which are explicit functions of the orientation of the scattered momentum. Excellent agreement is found with data from GaAs quantum wells, where in particular our theory correctly captures the shift of the minima of the WL curves as a function of $\alpha/\beta$. This suggests that the anisotropy of the effective spin relaxation rates is fundamental to understanding the effect of the SO coupling in transport.


title: Nonlinear analysis of EEG complexity in episode and remission phase of recurrent depression

abstract: Biomarkers of Major Depressive Disorder(MDD), its phases and forms have long been sought. Research indicates that the complexity measures of the cortical electrical activity (EEG) might be candidates for this role. To examine whether the complexity of EEG activity, measured by Higuchi fractal dimension (HFD) and sample entropy (SampEn), differs between healthy subjects, patients in remission and episode phase of the recurrent depression and whether the changes are differentially distributed between hemispheres and cortical regions. Resting state EEG with eyes closed was recorded from 26 patients suffering from recurrent depression and 20 age and sex-matched healthy control subjects. Artefact-free EEG epochs were analyzed by in-house developed programs running HFD and SampEn algorithms. Depressed patients had higher HFD and SampEn complexity compared to healthy subjects. Surprisingly, the complexity was even higher in patients who were in remission than in those in the episode. Altered complexity was present in the frontal and centro-parietal regions when compared to the control group. The complexity in frontal and parietal regions differed between the two phases of depressive disorder. SampEn manifested higher sensitivity than HFD in some cortical areas. Complexity measures of EEG distinguish between the three groups. Further studies are needed to establish whether these measures carry the potential to aid clinically relevant decisions about depression.


title: Detecting Gravitational Wave Bursts with LISA in the presence of Instrumental Glitches

abstract: The Laser Interferometer Space Antenna (LISA) will open a rich discovery space in the milli-Hertz gravitational wave band. In addition to the anticipated signals from many millions of binary systems, this band may contain new and previously un-imagined sources for which we currently have no models. To detect unmodeled and unexpected signals we need to be able to separate them from instrumental noise artifacts, or glitches. Glitches are a regular feature in the data from ground based laser interferometers, and they were also seen in data from the LISA Pathfinder mission. In contrast to the situation on ground, we will not have the luxury of having multiple independent detectors to help separate unmodeled signals from glitches, and new techniques have to be developed. Here we show that unmodeled gravitational wave bursts can be detected with LISA by leveraging the different way in which instrument glitches and gravitational wave bursts imprint themselves in the time-delay interferometery data channels. We show that for signals with periods longer than the light travel time between the spacecraft, the "breathing mode" or Sagnac data combination is key to detection. Conversely, for short period signals it is the time of arrival at each spacecraft that aids separation. We investigate the conditions under which we can distinguish the origin of signals and glitches consisting of a single sine-Gaussian wavelet and determine how well we can characterize the signal. We find that gravitational waves bursts can be unambiguously detected and characterized with just a single data channel (four functioning laser links), though the signal separation and parameter estimation improve significantly when all six laser links are operational.


title: Multiple Subspace Alignment Improves Domain Adaptation

abstract: We present a novel unsupervised domain adaptation (DA) method for cross-domain visual recognition. Though subspace methods have found success in DA, their performance is often limited due to the assumption of approximating an entire dataset using a single low-dimensional subspace. Instead, we develop a method to effectively represent the source and target datasets via a collection of low-dimensional subspaces, and subsequently align them by exploiting the natural geometry of the space of subspaces, on the Grassmann manifold. We demonstrate the effectiveness of this approach, using empirical studies on two widely used benchmarks, with state of the art domain adaptation performance


title: Machine Learning as a Service for HEP

abstract: Machine Learning (ML) will play significant role in success of the upcoming High-Luminosity LHC (HL-LHC) program at CERN. The unprecedented amount of data at the Exa-Byte scale to be collected by the CERN experiments in next decade will require a novel approaches to train and use ML models. In this paper we discuss Machine Learning as a Service (MLaaS) model which is capable to read HEP data in their native ROOT data format, rely on the World-Wide LHC Grid (WLCG) infrastructure for remote data access, and serve a pre-trained model via HTTP protocol. Such modular design opens up a possibility to train data at large scale by reading ROOT files from remote storages, avoiding data-transformation to flatten data formats currently used by ML frameworks, and easily access pre-trained ML models in existing infrastructure and applications.


title: Analysis vs Synthesis with Structure - An Investigation of Union of Subspace Models on Graphs

abstract: We consider the problem of characterizing the `duality gap' between sparse synthesis- and cosparse analysis-driven signal models through the lens of spectral graph theory, in an effort to comprehend their precise equivalencies and discrepancies. By detecting and exploiting the inherent connectivity structure, and hence, distinct set of properties, of rank-deficient graph difference matrices such as the graph Laplacian, we are able to substantiate discrepancies between the cosparse analysis and sparse synthesis models, according to which the former constitutes a constrained and translated instance of the latter. In view of a general union of subspaces model, we conduct a study of the associated subspaces and their composition, which further facilitates the refinement of specialized uniqueness and recovery guarantees, and discover an underlying structured sparsity model based on the graph incidence matrix. Furthermore, for circulant graphs, we provide an exact characterization of underlying subspaces by deriving closed-form expressions as well as demonstrating transitional properties between equivalence and non-equivalence for a parametric generalization of the graph Laplacian.


title: Massive MIMO-based Localization and Mapping Exploiting Phase Information of Multipath Components

abstract: In this paper, we present a robust multipath-based localization and mapping framework that exploits the phases of specular multipath components (MPCs) using a massive multiple-input multiple-output (MIMO) array at the base station. Utilizing the phase information related to the propagation distances of the MPCs enables the possibility of localization with extraordinary accuracy even with limited bandwidth. The specular MPC parameters along with the parameters of the noise and the dense multipath component (DMC) are tracked using an extended Kalman filter (EKF), which enables to preserve the distance-related phase changes of the MPC complex amplitudes. The DMC comprises all non-resolvable MPCs, which occur due to finite measurement aperture. The estimation of the DMC parameters enhances the estimation quality of the specular MPCs and therefore also the quality of localization and mapping. The estimated MPC propagation distances are subsequently used as input to a distance-based localization and mapping algorithm. This algorithm does not need prior knowledge about the surrounding environment and base station position. The performance is demonstrated with real radio-channel measurements using an antenna array with 128 ports at the base station side and a standard cellular signal bandwidth of 40 MHz. The results show that high accuracy localization is possible even with such a low bandwidth.


title: Energy-momentum tensor and metric near the Schwarzschild sphere

abstract: Regularity of the horizon radius $r_g$ of a collapsing body constrains a limiting form of a spherically-symmetric energy-momentum tensor near it. Its non-zero limit belongs to one of four classes that are distinguished only by two signs. As a result, close to $r_g$ the geometry can always be described by either an ingoing or outgoing Vaidya metric with increasing or decreasing mass. If according to a distant outside observer the trapped regions form in finite time, then the Einstein equations imply violation of the null energy condition. In this case the horizon radius and its rate of change determine the metric in its vicinity, and the hypersurface $r = r_g(t)$ is timelike during both the expansion and contraction of the trapped region. We present the implications of these results for the firewall paradox and discuss arguments that the required violation of the null energy condition is incompatible with the standard analysis of black hole evaporation.


title: A Theory of $R(D^*,D)$ Anomaly With Right-Handed Currents

abstract: We present an ultraviolet complete theory for the $R(D^*)$ and $R(D)$ anomaly in terms of a low mass $W_R^\pm$ gauge boson of a class of left-right symmetric models. These models, which are based on the gauge symmetry $SU(3)_c \times SU(2)_L \times SU(2)_R \times U(1)_{B-L}$, utilize vector-like fermions to generate quark and lepton masses via a universal seesaw mechanism. A parity symmetric version as well as an asymmetric version are studied. A light sterile neutrino emerges naturally in this setup, which allows for new decay modes of $B$-meson via right-handed currents. We show that these models can explain $R(D^*)$ and $R(D)$ anomaly while being consistent with LHC and LEP data as well as low energy flavor constraints arising from $K_L-K_S, B_{d,s}-\bar{B}_{d,s}$, $D-\bar{D}$ mixing, etc., but only for a limited range of the $W_R$ mass: $1.2\, (1.8)~{\rm TeV} \leq M_{W_R}\leq 3~ {\rm TeV}$ for parity asymmetric (symmetric) Yukawa sectors. The light sterile neutrinos predicted by the model may be relevant for explaining the MiniBoone and LSND neutrino oscillation results. The parity symmetric version of the model provides a simple solution to the strong CP problem without relying on the axion. It also predicts an isospin singlet top partner with a mass $M_T = (1.5-2.5)$ TeV.


title: Inverse Mean Curvature Flow with Singularities

abstract: This paper concerns the inverse mean curvature flow of convex hypersurfaces which are Lipschitz in general. After defining a weak solution, we study the evolution of the singularity by looking at the blow-up tangent cone around each singular point. We prove the cone also evolves by the inverse mean curvature flow and each singularity is removed when the evolving cone becomes flat. As a result, we derive the exact waiting time for a weak solution to be a smooth solution. In particular, a necessary and sufficient condition for an existence of smooth classical solution is given.


title: Product Title Refinement via Multi-Modal Generative Adversarial Learning

abstract: Nowadays, an increasing number of customers are in favor of using E-commerce Apps to browse and purchase products. Since merchants are usually inclined to employ redundant and over-informative product titles to attract customers' attention, it is of great importance to concisely display short product titles on limited screen of cell phones. Previous researchers mainly consider textual information of long product titles and lack of human-like view during training and evaluation procedure. In this paper, we propose a Multi-Modal Generative Adversarial Network (MM-GAN) for short product title generation, which innovatively incorporates image information, attribute tags from the product and the textual information from original long titles. MM-GAN treats short titles generation as a reinforcement learning process, where the generated titles are evaluated by the discriminator in a human-like view.


title: Revealing the Competing Contributions of Charge Carriers, Excitons, and Defects to the Non-Equilibrium Optical Properties of ZnO

abstract: Due to its wide band gap and high carrier mobility, ZnO is an attractive material for light-harvesting and optoelectronic applications. Its functional efficiency, however, is strongly affected by defect-related in-gap states that open up extrinsic decay channels and modify relaxation timescales. As a consequence, almost every ZnO sample behaves differently, leading to irreproducible or even contradicting observations. Here, a complementary set of time-resolved spectroscopies is applied to two ZnO samples of different defect density to disentangle the competing contributions of charge carriers, excitons, and defects to the non-equilibrium dynamics after photoexcitation: Time-resolved photoluminescence, excited state transmission, and electronic sum frequency generation. Remarkably, defects affect the transient optical properties of ZnO across more than eight orders of magnitude in time, starting with photodepletion of normally occupied defect states on femtosecond timescales, followed by the competition of free exciton emission and exciton trapping at defect sites within picoseconds, photoluminescence of defect-bound and free excitons on nanosecond timescales, and deeply trapped holes with microsecond lifetimes. These findings do not only provide the first comprehensive picture of charge and exciton relaxation pathways in ZnO, but also uncover the microscopic origin of previous conflicting observations in this challenging material and thereby offer means of overcoming its difficulties.


title: Subsampling to Enhance Efficiency in Input Uncertainty Quantification

abstract: In stochastic simulation, input uncertainty refers to the output variability arising from the statistical noise in specifying the input models. This uncertainty can be measured by a variance contribution in the output, which, in the nonparametric setting, is commonly estimated via the bootstrap. However, due to the convolution of the simulation noise and the input noise, the bootstrap consists of a two-layer sampling and typically requires substantial simulation effort. This paper investigates a subsampling framework to reduce the required effort, by leveraging the form of the variance and its estimation error in terms of the data size and the sampling requirement in each layer. We show how the total required effort can be reduced from an order bigger than the data size in the conventional approach to an order independent of the data size in subsampling. We explicitly identify the procedural specifications in our framework that guarantee relative consistency in the estimation, and the corresponding optimal simulation budget allocations. We substantiate our theoretical results with numerical examples.


title: Solitons and nonsmooth diffeomorphisms in conformal nets

abstract: We show that any solitonic representation of a conformal (diffeomorphism covariant) net on S^1 has positive energy and construct an uncountable family of mutually inequivalent solitonic representations of any conformal net, using nonsmooth diffeomorphisms. On the loop group nets, we show that these representations induce representations of the subgroup of loops compactly supported in S^1 \ {-1} which do not extend to the whole loop group. In the case of the U(1)-current net, we extend the diffeomorphism covariance to the Sobolev diffeomorphisms D^s(S^1), s > 2, and show that the positive-energy vacuum representations of Diff_+(S^1) with integer central charges extend to D^s(S^1). The solitonic representations constructed above for the U(1)-current net and for Virasoro nets with integral central charge are continuously covariant with respect to the stabilizer subgroup of Diff_+(S^1) of -1 of the circle.


title: A Simple Combinatorial Model of World Economic History

abstract: We use a simple combinatorial model of technological change to explain the Industrial Revolution. The Industrial Revolution was a sudden large improvement in technology, which resulted in significant increases in human wealth and life spans. In our model, technological change is combining or modifying earlier goods to produce new goods. The underlying process, which has been the same for at least 200,000 years, was sure to produce a very long period of relatively slow change followed with probability one by a combinatorial explosion and sudden takeoff. Thus, in our model, after many millennia of relative quiescence in wealth and technology, a combinatorial explosion created the sudden takeoff of the Industrial Revolution.


title: On a P\'olya functional for rhombi, isosceles triangles, and thinning convex sets

abstract: Let $\Omega$ be an open convex set in ${\mathbb R}^m$ with finite width, and let $v_{\Omega}$ be the torsion function for $\Omega$, i.e. the solution of $-\Delta v=1, v\in H_0^1(\Omega)$. An upper bound is obtained for the product of $\Vert v_{\Omega}\Vert_{L^{\infty}(\Omega)}\lambda(\Omega)$, where $\lambda(\Omega)$ is the bottom of the spectrum of the Dirichlet Laplacian acting in $L^2(\Omega)$. The upper bound is sharp in the limit of a thinning sequence of convex sets. For planar rhombi and isosceles triangles with area $1$, it is shown that $\Vert v_{\Omega}\Vert_{L^{1}(\Omega)}\lambda(\Omega)\ge \frac{\pi^2}{24}$, and that this bound is sharp.


title: SLANG: Fast Structured Covariance Approximations for Bayesian Deep Learning with Natural Gradient

abstract: Uncertainty estimation in large deep-learning models is a computationally challenging task, where it is difficult to form even a Gaussian approximation to the posterior distribution. In such situations, existing methods usually resort to a diagonal approximation of the covariance matrix despite, the fact that these matrices are known to result in poor uncertainty estimates. To address this issue, we propose a new stochastic, low-rank, approximate natural-gradient (SLANG) method for variational inference in large, deep models. Our method estimates a "diagonal plus low-rank" structure based solely on back-propagated gradients of the network log-likelihood. This requires strictly less gradient computations than methods that compute the gradient of the whole variational objective. Empirical evaluations on standard benchmarks confirm that SLANG enables faster and more accurate estimation of uncertainty than mean-field methods, and performs comparably to state-of-the-art methods.


title: The Dynamics, Structure, and Fate of a Young Cluster During Gas Dispersal: Hectoschelle, Chandra, Spitzer, and Gaia Observations of CepOB3b

abstract: We present a study of the kinematics and structure of the Cep OB3b cluster based on new spectra obtained with the Hectoschelle spectrograph on the MMT and data from Spitzer, Chandr}, and Gaia. At a distance of 819+/-16 pc, Cep OB3b is one of the closest examples of a young (~3 - 5 Myr), large (~3000 total members) cluster at the late stages of gas dispersal. The cluster is broken into two sub-clusters surrounded by a lower density halo. We fit the empirical density law of King (1962) to each sub-cluster to constrain their sizes and structure. The richer eastern sub-cluster has circular symmetry, a modest central density, and lacks molecular gas toward its core suggesting it has undergone expansion due to gas dispersal. In contrast, the western sub-cluster deviates from circular symmetry, has a smaller core size, and contains significant molecular gas near its core, suggesting that it is in an earlier phase of gas dispersal. We present posterior probability distributions for the velocity dispersions from the Hectoschelle spectra. The east will continue to expand and likely form a bound cluster with ~35% of stars remaining. The west is undergoing slower gas dispersal and will potentially form a bound cluster with ~75% of stars remaining. If the halo dissipates, this will leave two independent clusters with ~300 members; proper motions suggest that the two sub-clusters are not bound to each other.


title: Factorization of Darboux-Laplace transformations for discrete hyperbolic operatros

abstract: Elementary Darboux--Laplace transformations for semidiscrete and discrete second order hyperbolic operators are classified. It is proved that in the (semi)-discrete case there are two types of elementary Darboux--Laplace transformations as well: Darboux transformations that are defined by the choice of particular element in the kernel of the initial hyperbolic operator and classical Laplace transformations that are defined by the operator itself. It is proved that in the discrete case on the level of equivalence classes any Darboux--Laplace transformation is a product of elementary ones.


title: An Interpretable Generative Model for Handwritten Digit Image Synthesis

abstract: An interpretable generative model for handwritten digits synthesis is proposed in this work. Modern image generative models, such as Generative Adversarial Networks (GANs) and Variational Autoencoders (VAEs), are trained by backpropagation (BP). The training process is complex and the underlying mechanism is difficult to explain. We propose an interpretable multi-stage PCA method to achieve the same goal and use handwritten digit images synthesis as an illustrative example. First, we derive principal-component-analysis-based (PCA-based) transform kernels at each stage based on the covariance of its inputs. This results in a sequence of transforms that convert input images of correlated pixels to spectral vectors of uncorrelated components. In other words, it is a whitening process. Then, we can synthesize an image based on random vectors and multi-stage transform kernels through a coloring process. The generative model is a feedforward (FF) design since no BP is used in model parameter determination. Its design complexity is significantly lower, and the whole design process is explainable. Finally, we design an FF generative model using the MNIST dataset, compare synthesis results with those obtained by state-of-the-art GAN and VAE methods, and show that the proposed generative model achieves comparable performance.


title: Dual-colour magic-wavelength trap for suppression of light shifts in atoms

abstract: We present an optical approach to compensating for spatially varying ac-Stark shifts that appear on atomic ensembles subject to strong optical control or trapping fields. The introduction of an additional weak light field produces an intentional perturbation between atomic states that is tuned to suppress the influence of the strong field. The compensation field suppresses sensitivity in one of the transition frequencies of the trapped atoms to both the atomic distribution and motion. We demonstrate this technique in a cold rubidium ensemble and show a reduction in inhomogeneous broadening in the trap. This two-colour approach emulates the magic trapping approach that is used in modern atomic lattice clocks but provides greater flexibility in choice of atomic species, probe transition, and trap wavelength.


title: The Einsteins Quantum: How can Mathematics be Used to Articulate Reality?

abstract: In this paper, we discuss the role of Mathematics in articulating reality in theoretical Physics. We propose a parallel between empirical and theoretical work and investigate how scientists can also speak about reality without performing any laboratory trial, a key explanation element of STS. To do so, we examine Einsteins 1905 paper on the nature of light for which he received the Nobel Prize of Physics in 1922 and which is deemed as revolutionary by contemporary textbooks. Using Bakhtins Philosophy of Language, we analyze Einsteins narrative to trace the mechanisms he has used to articulate a new entity, the quantum without performing any experiment or empirical observation. We dialogue with classical results obtained by STS in the context of empirical sciences, drawing in particular on Bruno Latours concept of chain of reference. We have also used Bakhtins metalinguistic analysis to highlight Einsteins rhetoric strategies. Our results indicate that the concept of chain of reference can be applied to theoretical physics and that it is possible to trace a parallel between laboratory trials and mathematical trials, in which mathematic operators play the role of laboratory equipment. We show that the main features of the laboratory trials are also present in the mathematical ones. Moreover, our analysis challenges the common representation of Einsteins paper as a moment of epistemological rupture and highlights, on the contrary, its translation efforts to articulate new ideas with the dominant paradigm of the time.


title: Some perspective on Homotopy obstructions

abstract: Throughout $A$ will denote commutative noetherian ring, with $\dim A=d\geq 2$, and $P$ denote a projective $A$-module with $rank(P)=n$. In \cite{MM1} we considered the Homotopy obstruction sets $\pi_0\left({\mathcal LO}(P)\right)$, which has a structure of an abelian monoid, under suitable regularity and other conditions. In this article, we provide some perspective on these sets $\pi_0\left({\mathcal LO}(P)\right)$. Under similar regularity and other conditions, we prove if $P, Q$ are two projective $A$-modules, with $rank(P)=rank(Q)=d$ and $\det(P) \cong \det Q$, then $\pi_0\left({\mathcal LO}(Q)\right)\cong \pi_0\left({\mathcal LO}(P)\right)$. Further, for any projective $A$-module $P$ with $rank(P)=n$, we define a natural set theoretic map $\pi_0\left({\mathcal LO}(P)\right)\rightarrow CH^n(A)$, where $CH^n(A)$ Chow groups of codimension $n$ cycles.


title: Positional Offsets Between SiO Masers in Evolved Stars and their Cross-Matched Counterparts

abstract: Observations of dust-enshrouded evolved stars selected from infrared catalogs requiring high positional accuracy, like infrared spectroscopy or long baseline radio interferometric observations, often require preparational observational steps determining a position with an accuracy much better than 1". Using phase-referencing observations with the Very Large Array at its highest resolution, we have compared the positions of SiO 43 GHz masers in evolved stars, assumed to originate in their infrared detected circumstellar shells, with the positions listed in the MSX, WISE, 2MASS, and Gaia catalogs. Starting from an MSX position it is, in general, simple to match 2MASS and WISE counterparts. However, in order to obtain a Gaia match to the MSX source it is required to use a two-step approach due to the large number of nearby candidates and low initial positional accuracy of the MSX data. We show that the closest comparable position to the SiO maser in our limited sample never is the MSX position. When a plausible source with a characteristic signature of an evolved star with a circumstellar shell can be found in the area, the best indicator of the maser position is provided by the Gaia position, with the 2MASS position being second-best. Typical positional offsets from all catalogs to the SiO masers are reported.