title: Geographical Distribution of Biomedical Research in the USA and China

abstract: We analyze nearly 20 million geocoded PubMed articles with author affiliations. Using K-means clustering for the lower 48 US states and mainland China, we find that the average published paper is within a relatively short distance of a few centroids. These centroids have shifted very little over the past 30 years, and the distribution of distances to these centroids has not changed much either. The overall country centroids have gradually shifted south (about 0.2{\deg} for the USA and 1.7{\deg} for China), while the longitude has not moved significantly. These findings indicate that there are few large scientific hubs in the USA and China and the typical investigator is within geographical reach of one such hub. This sets the stage to study centralization of biomedical research at national and regional levels across the globe, and over time.


title: The Geography of Love: Decoding the Spatial Pattern and Digital Self in Chinese Online Courtship

abstract: The evolution of Chinese online courtship culture is a mixed product under dynamic interaction between the feudal tradition, urban development and government policies. The presented research examines the regional online dating popularity, spatial homogamy and the self-presentation pattern in the cyber love market, with a special focus on the geographical factors. More than 30 thousand recent data are collected from China's biggest online dating site jiayuan.com, and analyzed through the ordered logit modeling, Katz centrality analysis and Word2Vec linguistic modeling. The results indicate that the high user density spots are widely spread among different parts of China rather than only clustering in the developed areas. While major users expect a within-city distance with the potential dater, the increasing social mobility and cross-city mating trend is also driven by the motivation of gaining localized access to better social and welfare resources. Moreover, people tend to emphasize the soft qualities of caring, reliable and family engagement in the online self-presentation, with the marriage pragmatism overweighing the personalized individualism and emotional self.


title: A Federated Lightweight Authentication Protocol for the Internet of Things

abstract: Considering the world's IoT development and market, it is necessary to guarantee the security of the developed IoT applications as well as the privacy of their end users. In this sense, Federated Identity Management (FIdM) systems can be of great help as they improve user authentication and privacy. In this paper, we claim that traditional FIdM are mostly cumbersome and then ill-suited for IoT. As a solution to this problem, we come up with a federated identity authentication protocol exclusively tailored to IoT. Federated Lightweight Authentication of Things (FLAT), our solution, replaces weighty protocols and asymmetric cryptographic primitives used in traditional FIdM by lighter ones. For instance, FLAT synergistically combines symmetric cryptosystems and Implicit Certificates. The results show that FLAT can reduce the data exchange overhead by around 31% when compared to a baseline solution. FLAT's Client is also more efficient than the baseline solution in terms of data transmitted, data received, total data exchange, and computation time. Our results indicate that FLAT runs efficiently even on top of resource-constrained devices like Arduino.


title: Evolving complexity: how tinkering shapes cells, software and ecological networks

abstract: A common trait of complex systems is that they can be represented by means of a network of interacting parts. It is, in fact, the network organisation (more than the parts) what largely conditions most higher-level properties, which are not reducible to the properties of the individual parts. Can the topological organisation of these webs provide some insight into their evolutionary origins? Both biological and artificial networks share some common architectural traits. They are often heterogeneous and sparse, and most exhibit the small-world property or the presence of modular or hierarchical patterns. These properties have often been attributed to the selection of functionally meaningful traits. However, the proper formulation of generative network models suggests a rather different picture. Against the standard selection-optimisation argument, some networks reveal the inevitable generation of complex patterns resulting from reuse and can be modelled using duplication-rewiring rules. These give rise to the heterogeneous, scale-free and modular architectures observed in the real case studies. Tinkering is a universal mechanism that drives not only biological evolution but also the large-scale dynamics of some technological designs. Here we examine the evidence for tinkering in cellular, technological and ecological webs and its impact in shaping their architecture and deeply affecting their functional properties. Our analysis suggests to seriously reconsider the role played by selection forces or design principles as main drivers of network evolution.


title: A Model-Theoretic Approach to Modular Implementation, with Application to Biological Systems

abstract: We present a method for logical specification of the behavior of a system based on the specification of its components and for representing and specifying the effect of a class of communication "signaling pathways" among them. Variations in the actions and effects (semantics) of the pathways can be seen in the resulting system. We show how to "enrich" the behavior of the original components by exactly what is provided by the signaling pathways. This has the potential to allow a formal proof of a property of the system as a whole, or a formal diagnosis why a system of communicating modules may not satisfy a desired specification, and if and how it can be "fixed." There are five distinct stages in our view: 1. A description of the connections between potential components at the level of which potential modules are connected. 2. Specific choices for those modules 3. An "elaboration" of the connections among different modules to connections among members of those different modules 4. A description of the semantics of those connections (what they actually do) 5. A "padding" of the modules chosen in step 2 to allow for the action of the connections (step 3), as described in step 4. The formalism is completely hierarchical -- in other words, the formalism works equally for the system as a whole, for each of the modules, and for any larger system in which the original system is a component. As it turns out, for whatever reason -- perhaps evolutionary advantage optimization at the right level of abstraction -- many biological systems are hierarchically modular, with the modules communicating via various pathways. Thus, a formalism such as the one presented here could have application to questions in biology.


title: Interference Exploitation via Symbol-Level Precoding: Overview, State-of-the-Art and Future Directions

abstract: Interference is traditionally viewed as a performance limiting factor in wireless communication systems, which is to be minimized or mitigated. Nevertheless, a recent line of work has shown that by manipulating the interfering signals such that they add up constructively at the receiver side, known interference can be made beneficial and further improve the system performance in a variety of wireless scenarios, achieved by symbol-level precoding (SLP). This paper aims to provide a tutorial on interference exploitation techniques from the perspective of precoding design in a multi-antenna wireless communication system, by beginning with the classification of constructive interference (CI) and destructive interference (DI). The definition for CI is presented and the corresponding mathematical characterization is formulated for popular modulation types, based on which optimization-based precoding techniques are discussed. In addition, the extension of CI precoding to other application scenarios as well as for hardware efficiency is also described. Proof-of-concept testbeds are demonstrated for the potential practical implementation of CI precoding, and finally a list of open problems and practical challenges are presented to inspire and motivate further research directions in this area.


title: Order and randomness in dopant distributions: exploring the thermodynamics of solid solutions from atomically resolved imaging

abstract: Exploration of structure-property relationships as a function of dopant concentration is commonly based on mean field theories for solid solutions. However, such theories that work well for semiconductors tend to fail in materials with strong correlations, either in electronic behavior or chemical segregation. In these cases, the details of atomic arrangements are generally not explored and analyzed. The knowledge of the generative physics and chemistry of the material can obviate this problem, since defect configuration libraries as stochastic representation of atomic level structures can be generated, or parameters of mesoscopic thermodynamic models can be derived. To obtain such information for improved predictions, we use data from atomically resolved microscopic images that visualize complex structural correlations within the system and translate them into statistical mechanical models of structure formation. Given the significant uncertainties about the microscopic aspects of the material's processing history along with the limited number of available images, we combine model optimization techniques with the principles of statistical hypothesis testing. We demonstrate the approach on data from a series of atomically-resolved scanning transmission electron microscopy images of Mo$_x$Re$_{1-x}$S$_2$ at varying ratios of Mo/Re stoichiometries, for which we propose an effective interaction model that is then used to generate atomic configurations and make testable predictions at a range of concentrations and formation temperatures.


title: Transient Stability of Droop-Controlled Inverter Networks with Operating Constraints

abstract: Due to the rise of distributed energy resources, the control of networks of grid-forming inverters is now a pressing issue for power system operation. Droop control is a popular control strategy in the literature for frequency control of these inverters. In this paper, we analyze transient stability in droop-controlled inverter networks that are subject to multiple operating constraints. Using a physically-meaningful Lyapunov-like function, we provide two sets of criteria (one mathematical and one computational) to certify that a post-fault trajectory achieves frequency synchronization while respecting operating constraints. We show how to obtain less-conservative transient stability conditions by incorporating information from loop flows, i.e., net flows of active power around cycles in the network. Finally, we use these conditions to quantify the scale of parameter disturbances to which the network is robust. We illustrate our results with numerical case studies of the IEEE 24-bus system.


title: Neutrinos from Type Ia and failed core-collapse supernovae at dark matter detectors

abstract: Neutrinos produced in the hot and dense interior of the next galactic supernova would be visible at dark matter experiments in coherent elastic nuclear recoils. While studies on this channel have focused on successful core-collapse supernovae, a thermonuclear (Type Ia) explosion, or a core-collapse that fails to explode and forms a black hole, are as likely to occur as the next galactic supernova event. I show that generation-3 noble liquid-based dark matter experiments such as DARWIN and ARGO, operating at sub-keV thresholds with ionization-only signals, would distinguish between (a) leading hypotheses of Type Ia explosion mechanisms by detecting an $\mathcal{O}$(1) s burst of $\mathcal{O}$(1) MeV neutrinos, and (b) progenitor models of failed supernovae by detecting an $\mathcal{O}$(1) s burst of $\mathcal{O}$(10) MeV neutrinos, especially by marking the instant of black hole formation from abrupt stoppage of neutrino detection. This detection is sensitive to all neutrino flavors and insensitive to neutrino oscillations, thereby making measurements complementary to neutrino experiments.


title: Exploring the innermost dust formation region of the oxygen-rich AGB star IK~Tau with VLT/SPHERE-ZIMPOL and VLTI/AMBER

abstract: Low- and intermediate-mass stars at the asymptotic giant branch (AGB) are known to be prevalent dust providers to galaxies. However, the mechanisms responsible for the formation and acceleration of dust in the cool extended atmospheres of AGB stars are still open to debate. We present visible polarimetric imaging observations of the oxygen-rich AGB star IK Tau obtained with SPHERE-ZIMPOL (phase 0.27) as well as interferometric observations with AMBER. IK Tau was observed with ZIMPOL at three wavelengths in the pseudo-continuum (645, 748, and 820 nm), in the H$\alpha$ line at 656.3 nm, and in the TiO band at 717 nm. The AMBER observations were carried out in the wavelength region of the CO first overtone lines near 2.3 $\mu$m (R=12 000). The polarimetric imaging capabilities of SPHERE-ZIMPOL have allowed us to spatially resolve clumpy dust clouds at 20--50 mas from the central star, which corresponds to 2--5 $R_{\star}$ when combined with a central star's angular diameter of 20.7$\pm$1.53 mas measured with AMBER. The diffuse, asymmetric dust emission extends out to $\sim$73 $R_{\star}$. We find that the TiO emission extends to 150 mas (15 $R_{\star}$). The AMBER data in the CO lines also suggest a molecular outer atmosphere extending to $\sim$1.5 $R_{\star}$. The results of our 2-D Monte Carlo radiative transfer modelling of dust clumps suggest that the polarized intensity and degree of linear polarization can be reasonably explained by small-sized (0.1 $\mu$m) grains of Al$_{2}$O$_{3}$, MgSiO$_{3}$, or Mg$_{2}$SiO$_{4}$ in an optically thin shell ($\tau_{550\mathrm{nm}}$=0.5$\pm$0.1) with an inner boundary radius of 3.5 $R_{\star}$. IK Tau's mass-loss rate is 20 to 50 times higher than the previously studied AGB stars W Hya, R Dor, and $o$ Cet. Nevertheless, our observations of IK Tau revealed that clumpy dust formation occurs close to the star as seen in those low mass-rate AGB stars.


title: Rigid band shifts in two-dimensional semiconductors through environmental screening

abstract: We investigate the effects of environmental dielectric screening on the electronic dispersion and the band gap in the atomically-thin, quasi two-dimensional (2D) semiconductor WS$_2$ using correlative angle-resolved photoemission and optical spectroscopies, along with first-principles calculations. We find the main effect of increased environmental screening to be a reduction of the band gap, with little change to the electronic dispersion of the band structure. These essentially rigid shifts of the bands results from the special spatial structure of the changes in the Coulomb potential induced by the dielectric environment in the 2D limit. Our results suggest dielectric engineering as a non-invasive method of tailoring the band structure of 2D semiconductors and provide guidance for understanding the electronic properties of 2D materials embedded in multilayer heterostructures.


title: Dynamics of multiple bodies in a corotation resonance: Conserved quantities and relevance to ring arcs

abstract: The interactions among objects in a mean motion resonance are important for the orbital evolution of satellites and rings, especially Saturn's ring arcs and associated moons. In this work, we examine interactions among massive bodies in the same corotation eccentricity resonance site that affect the orbital evolution of those bodies using numerical simulations. During these simulations, the bodies exchange angular momentum and energy during close encounters, altering their orbits. This energy exchange, however, does not mean that one body necessarily moves closer to exact corotation when the other moves away from it. Indeed, if one object moves towards one of these sites, the other object is equally likely to move towards or away from it. This happens because the timescale of these close encounters is short compared to the synodic period between these particles and the secondary mass (i.e., the timescale where corotation sites can be treated as potential maxima). Because the timescale of a gravitational encounter is comparable to the timescale of a collision, we could expect energy to be exchanged in a similar way for collisional interactions. In that case, these findings could be relevant for denser systems like the arcs in Neptune's Adams ring and how they can be maintained in the face of frequent inelastic collisions.


title: Covers and direct limits: a contramodule-based approach

abstract: We present applications of contramodule techniques to the Enochs conjecture about covers and direct limits, both in the categorical tilting context and beyond. In the $n$-tilting-cotilting correspondence situation, if $\mathsf A$ is a Grothendieck abelian category and the related abelian category $\mathsf B$ is equivalent to the category of contramodules over a topological ring $\mathfrak R$ belonging to one of certain four classes of topological rings (e.g., $\mathfrak R$ is commutative), then the left tilting class is covering in $\mathsf A$ if and only if it is closed under direct limits in $\mathsf A$, and if and only if all the discrete quotient rings of the topological ring $\mathfrak R$ are perfect. More generally, if $M$ is a module satisfying a certain telescope Hom exactness condition (e.g., $M$ is $\Sigma$-pure-$\operatorname{Ext}^1$-self-orthogonal) and the topological ring $\mathfrak R$ of endomorphisms of $M$ belongs to one of certain seven classes of topological rings, then the class $\mathsf{Add}(M)$ is closed under direct limits if and only if every countable direct limit of copies of $M$ has an $\mathsf{Add}(M)$-cover, and if and only if $M$ has perfect decomposition. In full generality, for an additive category $\mathsf A$ with (co)kernels and a precovering class $\mathsf L\subset\mathsf A$ closed under summands, an object $N\in\mathsf A$ has an $\mathsf L$-cover if and only if a certain object $\Psi(N)$ in an abelian category $\mathsf B$ with enough projectives has a projective cover. The $1$-tilting modules and objects arising from injective ring epimorphisms of projective dimension $1$ form a class of examples which we discuss.


title: Active Rendezvous for Multi-Robot Pose Graph Optimization using Sensing over Wi-Fi

abstract: We present a novel framework for collaboration amongst a team of robots performing Pose Graph Optimization (PGO) that addresses two important challenges for multi-robot SLAM: i) that of enabling information exchange "on-demand" via Active Rendezvous without using a map or the robot's location, and ii) that of rejecting outlying measurements. Our key insight is to exploit relative position data present in the communication channel between robots to improve groundtruth accuracy of PGO. We develop an algorithmic and experimental framework for integrating Channel State Information (CSI) with multi-robot PGO; it is distributed, and applicable in low-lighting or featureless environments where traditional sensors often fail. We present extensive experimental results on actual robots and observe that using Active Rendezvous results in a 64% reduction in ground truth pose error and that using CSI observations to aid outlier rejection reduces ground truth pose error by 32%. These results show the potential of integrating communication as a novel sensor for SLAM.


title: Electron dynamics in counter-propagating laser waves

abstract: The electron dynamics in counter-propagating laser waves is investigated by employing a novel approach, where the new Hamiltonian is time-independent when the perturbative laser wave is absent. The physical picture of stochastic electron dynamics is clearly revealed and the threshold values of the amplitude of the perturbative laser field for triggering stochastic electron acceleration are derived for different laser polarization directions and initial electron momentum. It demonstrates that the dephasing rate (new Hamiltonian) between the electron and the dominant laser can be randomly reduced if the amplitude of the perturbative laser is above the threshold such that the electron could be accelerated by the dominant laser well beyond the ponderomotive energy scaling. The impact of a superluminal phase velocity is examined, which slightly changes the stochastic region in Hamiltonian space if the superluminal phase velocity is under a threshold value but significantly decreases the maximum electron kinetic energy. All the analytic considerations are confirmed by the numerical simulations.


title: Geometric and algebraic interpretation of primitive Pythagorean triples parameters

abstract: The paper found a geometric and algebraic interpretation of the parameters m and n from the formulas for obtaining primitive Pythagorean triples, which are solutions of the equation ${x^2+y^2=z^2}$, namely: ${x=m^2-n^2}$, ${y=2mn}$, ${z=m^2+n^2}$. The study was based on the process of building figurate numbers using gnomons. The paper discusses the process of building squares. The addition of the gnomon U to the original square leads to a larger square: ${x^2+U=z^2}$. The first stage of the investigation was the construction of the gnomon U, which is equal to the area of a square ${y^2}$. The construction is based on a generating square with a side equal to an even number. The area of the generating square is represented as the sum of the areas of two equal rectangles in all possible ways. At the same time, using the generating square, the gnomon U and the sides of all squares are also constructed: x, y, z. The second stage of the investigation was to obtain a formula for the parameters m and n through the partition elements t and l of the side of the generating square.


title: Dark states of multilevel fermionic atoms in doubly-filled optical lattices

abstract: We propose to use fermionic atoms with degenerate ground and excited internal levels ($F_g\rightarrow F_e$), loaded into the motional ground state of an optical lattice with two atoms per lattice site, to realize dark states with no radiative decay. The physical mechanism behind the dark states is an interplay of Pauli blocking and multilevel dipolar interactions. The dark states are independent of lattice geometry, can support an extensive number of excitations and can be coherently prepared using a Raman scheme taking advantage of the quantum Zeno effect. These attributes make them appealing for atomic clocks, quantum memories, and quantum information on decoherence free subspaces.


title: Theorie der Electrophorese -- Het Relaxatie-Effect

abstract: In this thesis, a theoretical treatment of the relation between electrophoretic velocity and the potential of the double layer of colloidal particles is presented. Translators' note: The theory of electrophoresis is one of the foundational topics that underpinned the development of colloid and surface science and ranks with the famous Derjaguin-Landau-Verwey-Overbeek (DLVO) theory of colloidal stability. J. Th. G. Overbeek ("Theo" to all who knew him) was the first to develop a complete theoretical analysis of the electrophoretic motion of a charged spherical particle under the influence of an external electric field. This provided the theoretical framework for a widely used experimental method to characterize the state of charge and particle size of small colloidal particles. The solution of this problem required mastery of fluid mechanics, colloidal electrostatics, statistical thermodynamics and transport theory in addition to solid applied mathematics. Theo carried out this study as his doctoral thesis under H.R. Kruyt at Utrecht University. The thesis, in Dutch, was later published as a monograph. Given the important pedagogic value and historical status of this work, we felt that it deserved to enjoy a wide readership.


title: QES solutions of a two-dimensional system with quadratic nonlinearities

abstract: We consider a one parameter family of a PT symmetric two dimensional system with quadratic non-linearities. Such systems are shown to perform periodic oscillations due to existing centers. We describe this systems by constructing a non-Hermitian Hamiltonian of a particle with position dependent mass. We further construct a canonical transformation which maps this position dependent mass systems to a QES system. First few QES levels are calculated explicitly by using Bender-Dunne (BD) polynomial method.


title: Electrical current switching of the noncollinear antiferromagnet Mn$_3$GaN

abstract: We report electrical current switching of noncollinear antiferromagnetic (AFM) Mn$_3$GaN/Pt bilayers at room temperature. The Hall resistance of these bilayers can be manipulated by applying a pulse current of $1.5\times10^6$~A/cm$^2$, whereas no significant change is observed up to $\sim10^8$~A/cm$^2$ in Mn$_3$GaN single films, indicating that the Pt layer plays an important role. In comparison with ferrimagnetic Mn$_3$GaN/Pt bilayers, a lower electrical current switching of noncollinear AFM Mn$_3$GaN is demonstrated, with a critical current density two orders of magnitude smaller. Our results highlight that a combination of a noncollinear AFM antiperovskite nitride and a spin-torque technique is a good platform of AFM spintronics.


title: The Dynamic Embedded Topic Model

abstract: Topic modeling analyzes documents to learn meaningful patterns of words. For documents collected in sequence, dynamic topic models capture how these patterns vary over time. We develop the dynamic embedded topic model (D-ETM), a generative model of documents that combines dynamic latent Dirichlet allocation (D-LDA) and word embeddings. The D-ETM models each word with a categorical distribution parameterized by the inner product between the word embedding and a per-time-step embedding representation of its assigned topic. The D-ETM learns smooth topic trajectories by defining a random walk prior over the embedding representations of the topics. We fit the D-ETM using structured amortized variational inference with a recurrent neural network. On three different corpora---a collection of United Nations debates, a set of ACL abstracts, and a dataset of Science Magazine articles---we found that the D-ETM outperforms D-LDA on a document completion task. We further found that the D-ETM learns more diverse and coherent topics than D-LDA while requiring significantly less time to fit.


title: On induced saturation for paths

abstract: For a graph $H$, a graph $G$ is $H$-induced-saturated if $G$ does not contain an induced copy of $H$, but either removing an edge from $G$ or adding a non-edge to $G$ creates an induced copy of $H$. Depending on the graph $H$, an $H$-induced-saturated graph does not necessarily exist. In fact, Martin and Smith (2012) showed that $P_4$-induced-saturated graphs do not exist, where $P_k$ denotes a path on $k$ vertices. Axenovich and Csik\'{o}s (2019) asked the existence of $P_k$-induced-saturated graphs for $k \ge 5$; it is easy to construct such graphs when $k\in\{2, 3\}$. Recently, R\"{a}ty constructed a graph that is $P_6$-induced-saturated. In this paper, we show that there exists a $P_{k}$-induced-saturated graph for infinitely many values of $k$. To be precise, we find a $P_{3n}$-induced-saturated graph for every positive integer $n$. As a consequence, for each positive integer $n$, we construct infinitely many $P_{3n}$-induced-saturated graphs. We also show that the Kneser graph $K(n,2)$ is $P_6$-induced-saturated for every $n\ge 5$.


title: Predictions of $\Upsilon(4S) \to h_b(1P,2P) \pi^+\pi^-$ transitions

abstract: In this work, we study the contributions of the intermediate bottomoniumlike $Z_b$ states and the bottom meson loops in the heavy quark spin flip transitions $\Upsilon(4S) \to h_b(1P,2P) \pi^+\pi^-$. Depending on the constructive or destructive interferences between the $Z_b$-exchange and the bottom meson loops mechanisms, we predict two possible branching ratios for each process: BR$_{\Upsilon(4S) \to h_b(1P)\pi^+\pi^-}\simeq\big(1.2^{+0.8}_{-0.4}\times10^{-6}\big)$ or $\big( 0.5^{+0.5}_{-0.2}\times10^{-6}\big)$, and BR$_{\Upsilon(4S) \to h_b(2P)\pi^+\pi^-}\simeq \big(7.1^{+1.7}_{-1.1}\times10^{-10}\big)$ or $\big( 2.4^{+0.2}_{-0.1}\times10^{-10}\big)$. The bottom meson loops contribution is found to be much larger than the $Z_b$-exchange contribution in the $\Upsilon(4S) \to h_b(1P) \pi\pi$ transitions, while it can not produce decay rates comparable to the heavy quark spin conserved $\Upsilon(4S) \to \Upsilon(1S,2S) \pi\pi$ processes. We also predict the branch fractions of $\psi(3S,4S) \to h_c(1P)\pi^+\pi^-$ contributed from the charm meson loops.


title: The Projection Games Conjecture and the Hardness of Approximation of super-SAT and related problems

abstract: The Super-SAT or SSAT problem was introduced by Dinur et al.(2002,2003) to prove the NP-hardness of approximation of two popular lattice problems - Shortest Vector Problem(SVP) and Closest Vector Problem(CVP). They conjectured that SSAT is NP-hard to approximate to within a factor of $n^c$ ($c>0$ is constant), where $n$ is the size of the SSAT instance. In this paper we prove this conjecture assuming the Projection Games Conjecture(PGC), given by Moshkovitz (2012). This implies hardness of approximation of SVP and CVP within polynomial factors, assuming PGC. We also reduce SSAT to the Nearest Codeword Problem(NCP) and Learning Halfspace Problem(LHP), as considered by Arora et al.(1997). This proves that both these problems are NP-hard to approximate within a factor of $N^{c'/\log\log n}$($c'>0$ is constant) where $N$ is the size of the instances of the respective problems. Assuming PGC these problems are proved to be NP-hard to approximate within polynomial factors.


title: Canonical quantization of 1+1-dimensional Yang-Mills theory: An operator-algebraic approach

abstract: We present a mathematically rigorous canonical quantization of Yang-Mills theory in 1+1 dimensions (YM$_{1+1}$) by operator-algebraic methods. The latter are based on Hamiltonian lattice gauge theory and multi-scale analysis via inductive limits of $C^{*}$-algebras which are applicable in arbitrary dimensions. The major step, restricted to one spatial dimension, is the explicitly construction of the spatially-localized von Neumann algebras of time-zero fields in the time gauge in representations associated with scaling limits of Gibbs states of the Kogut-Susskind Hamiltonian. We relate our work to existing results about YM$_{1+1}$ and its counterpart in Euclidean quantum field theory (YM$_{2}$). In particular, we show that the operator-algebraic approach offers a unifying perspective on results about YM$_{1+1}$ obtained by Dimock as well as Driver and Hall, especially regarding the existence of dynamics. Although our constructions work for non-abelian gauge theory, we obtain the most explicit results in the abelian case by applying the results of our recent companion article. In view of the latter, we also discuss relations with the construction of unitary representations of Thompson's groups by Jones. To understand the scaling limits arising from our construction, we explain our findings via a rigorous adaptation of the Wilson-Kadanoff renormalization group, which connects our construction with the multi-scale entanglement renormalization ansatz (MERA). Finally, we discuss potential generalizations and extensions to higher dimensions ($d+1\geq 3$).


title: Faster Neural Network Training with Data Echoing

abstract: In the twilight of Moore's law, GPUs and other specialized hardware accelerators have dramatically sped up neural network training. However, earlier stages of the training pipeline, such as disk I/O and data preprocessing, do not run on accelerators. As accelerators continue to improve, these earlier stages will increasingly become the bottleneck. In this paper, we introduce "data echoing," which reduces the total computation used by earlier pipeline stages and speeds up training whenever computation upstream from accelerators dominates the training time. Data echoing reuses (or "echoes") intermediate outputs from earlier pipeline stages in order to reclaim idle capacity. We investigate the behavior of different data echoing algorithms on various workloads, for various amounts of echoing, and for various batch sizes. We find that in all settings, at least one data echoing algorithm can match the baseline's predictive performance using less upstream computation. We measured a factor of 3.25 decrease in wall-clock time for ResNet-50 on ImageNet when reading training data over a network.


title: Analytical representation for metrics of scalarized Einstein-Maxwell black holes and their shadows

abstract: Here we construct approximate analytical forms for the metric coefficients and fields representing the scalarized Einstein-Maxwell black holes with various couplings of the scalar field, once the parameters of the system are fixed. By increasing approximation order, one can obtain the analytic representation with any desired accuracy, what was tested via calculations of shadows for these black holes by using approximate analytical and accurate numerical metric functions. We share the Mathematica code which allows one to find an appropriate analytical form of the metric for any couplings and values of parameters. Scalarization increases the radius of the black-hole shadow for all the considered coupling functions.


title: Tiny-Inception-ResNet-v2: Using Deep Learning for Eliminating Bonded Labors of Brick Kilns in South Asia

abstract: This paper proposes to employ a Inception-ResNet inspired deep learning architecture called Tiny-Inception-ResNet-v2 to eliminate bonded labor by identifying brick kilns within "Brick-Kiln-Belt" of South Asia. The framework is developed by training a network on the satellite imagery consisting of 11 different classes of South Asian region. The dataset developed during the process includes the geo-referenced images of brick kilns, houses, roads, tennis courts, farms, sparse trees, dense trees, orchards, parking lots, parks and barren lands. The dataset is made publicly available for further research. Our proposed network architecture with very fewer learning parameters outperforms all state-of-the-art architectures employed for recognition of brick kilns. Our proposed solution would enable regional monitoring and evaluation mechanisms for the Sustainable Development Goals.


title: MLR (Memory, Learning and Recognition): A General Cognitive Model -- applied to Intelligent Robots and Systems Control

abstract: This paper introduces a new perspective of intelligent robots and systems control. The presented and proposed cognitive model: Memory, Learning and Recognition (MLR), is an effort to bridge the gap between Robotics, AI, Cognitive Science, and Neuroscience. The currently existing gap prevents us from integrating the current advancement and achievements of these four research fields which are actively trying to define intelligence in either application-based way or in generic way. This cognitive model defines intelligence more specifically, parametrically and detailed. The proposed MLR model helps us create a general control model for robots and systems independent of their application domains and platforms since it is mainly based on the dataset provided for robots and systems controls. This paper is mainly proposing and introducing this concept and trying to prove this concept in a small scale, firstly through experimentation. The proposed concept is also applicable to other different platforms in real-time as well as in simulation.


title: Residual cross-grid flow numerical error in large-eddy simulations of cumulus-topped boundary layers

abstract: A computational domain translation velocity is often used in LES simulations to improve computational performance by allowing longer time-step intervals. Even though the equations of motion are Galilean invariant, LES results have been observed to depend on the translation velocity. It is found that LES results of shallow convection depend on the domain translation velocity even when a Galilean invariant formulation is used. This type of model error is named residual cross-grid flow error, to emphasize the expectation that it should be negligible or zero. The residual gross-grid flow error is caused by biases in finite difference dispersion errors. Schemes with low resolving power (typically low order of accuracy) produce larger dispersion errors that can be amplified by large-scale flow asymmetries, such as strong updrafts in cumulus-cloud layers. Accordingly, the cross-grid flow error strongly depends on the order of accuracy of the numerical scheme progressively becoming negligible as the order of accuracy is increased from second to sixth in the present simulations.


title: Quantum storage and manipulation of heralded single photons in atomic quantum memories

abstract: We demonstrate the storage and manipulation of narrowband heralded single photons from a cavity-enhanced spontaneous parametric downconversion (SPDC) source in the atomic quantum memory based on electromagnetically induced transparency. We show that nonclassical correlations are preserved between the heralding and the retrieved photons after storage process. By varying the intensity of the coupling field during retrieval process, we further demonstrate that the waveform or bandwidth of the single photons can be manipulated and the nonclassical correlation between the photon pairs can be even enhanced. Unlike previous works, our SPDC source is single mode in frequency, which not only reduces the experimental complexity arising from external filtering but also increases the useful photon generation rate. Our results can be scaled up with ease and thus lay the foundation for future realization of large-scale applications in quantum information processing.


title: UVIT Open Cluster Study. I. Detection of a White Dwarf Companion to a Blue Straggler in M67: Evidence of Formation through Mass Transfer

abstract: The old open cluster M67, populated with blue straggler stars (BSSs), is a well known test bed to study the BSS formation pathways. Here, we report the first direct detection of a white dwarf (WD) companion to a BSS in M67, using far-UV images from the \textit{Ultra Violet Imaging telescope} ({\it UVIT}) on {\it ASTROSAT}. Near-simultaneous observations in three far-UV bands combined with {\it GALEX}, {\it IUE}, ground and space based photometric data covering 0.14 -11.5 $\mu$m range for WOCS1007 were found to require a binary fit to its spectral energy distribution (SED), consisting of a BSS and a hot companion. On the other hand, a single spectral fit was found to be satisfactory for the SEDs of two other BSSs, WOCS1006 and WOCS2011, with the latter showing a deficient far-UV flux. The hot companion of WOCS1007 is found to have a T$_{eff}$ $\sim$ 13250-13750K and a radius of 0.09$\pm$0.01 R$_\odot$. A comparison with WD models suggests it to be a low mass WD ($\sim$ 0.18$M_\odot$), in agreement with the kinematic mass from the literature. As a low mass WD ($<$ 0.4$M_\odot$) necessitates formation through mass transfer (MT) in close binaries, WOCS1007 with a known period of 4.2 days along with its fast rotation, is likely to be formed by a case A or case B binary evolution.


title: Relationship between the Metallicity of the Circumgalactic Medium and Galaxy Orientation

abstract: We investigate the geometric distribution of gas metallicities in the circumgalactic medium (CGM) around $47$, $z<0.7$ galaxies from the "Multiphase Galaxy Halos" Survey. Using a combination of quasar spectra from HST/COS and from Keck/HIRES or VLT/UVES we measure column densities of, or determine limits on, CGM absorption lines. We then use a Monte-Carlo Markov chain approach with Cloudy to estimate the metallicity of cool (T$\sim$$10^4$K) CGM gas. We also use HST images to determine host galaxy inclination and quasar--galaxy azimuthal angles. Our sample spans a HI column density range of $13.8$ cm s$^{-1}<{\log N_{HI}}<19.9$ cm s$^{-1}$. We find (1) while the metallicity distribution appears bimodal, a Hartigan dip test cannot rule out a unimodal distribution ($0.4\sigma$). (2) CGM metallicities are independent of halo mass, spanning three orders of magnitude at fixed halo mass. (3) The CGM metallicity does not depend on the galaxy azimuthal and inclination angles regardless of HI column density, impact parameter and galaxy color. (4) Ionization parameter does not depend on azimuthal angle. We suggest that the partial Lyman limit metallicity bimodality is not driven by a spatial azimuthal bimodality. Our results are consistent with simulations where the CGM is complex and outflowing, accreting, and recycled gas are well-homogenized at $z<0.7$. The presence of low metallicity gas at all orientations suggests that cold streams of accreting filaments are not necessarily aligned with the galaxy plane at low redshifts or intergalactic transfer may dominate. Finally, our results support simulations showing that strong metal absorption can mask the presence of low metallicity gas in integrated line-of-sight CGM metallicities.


title: Weighted Sum Power Maximization for Intelligent Reflecting Surface Aided SWIPT

abstract: The low efficiency of far-field wireless power transfer (WPT) limits the fundamental rate-energy (R-E) performance trade-off of the simultaneous wireless information and power transfer (SWIPT) system. To address this challenge, we propose in this letter a new SWIPT system aided by the emerging intelligent reflecting surface (IRS) technology. By leveraging massive low-cost passive elements that are able to reflect the signals with adjustable phase shifts, IRS achieve a high passive beamforming gain, which is appealing for drastically enhancing the WPT efficiency and thereby the R-E trade-off of SWIPT systems. We consider an IRS being deployed to assist a multi-antenna access point (AP) to serve multiple information decoding receivers (IDRs) and energy harvesting receivers (EHRs). We aim to maximize the weighted sum-power received by EHRs via jointly optimizing the transmit precoders at the AP and reflect phase shifts at the IRS, subject to the individual signal-to-interference-plus-noise ratio (SINR) constraints for IDRs. Since this problem is non-convex, we propose efficient algorithms to obtain suboptimal solutions for it. In particular, we prove that it is sufficient to send information signals only at the AP to serve both IDRs and EHRs regardless of their channel realizations. Moreover, simulation results show significant performance gains achieved by our proposed designs over benchmark schemes.


title: NPA: Neural News Recommendation with Personalized Attention

abstract: News recommendation is very important to help users find interested news and alleviate information overload. Different users usually have different interests and the same user may have various interests. Thus, different users may click the same news article with attention on different aspects. In this paper, we propose a neural news recommendation model with personalized attention (NPA). The core of our approach is a news representation model and a user representation model. In the news representation model we use a CNN network to learn hidden representations of news articles based on their titles. In the user representation model we learn the representations of users based on the representations of their clicked news articles. Since different words and different news articles may have different informativeness for representing news and users, we propose to apply both word- and news-level attention mechanism to help our model attend to important words and news articles. In addition, the same news article and the same word may have different informativeness for different users. Thus, we propose a personalized attention network which exploits the embedding of user ID to generate the query vector for the word- and news-level attentions. Extensive experiments are conducted on a real-world news recommendation dataset collected from MSN news, and the results validate the effectiveness of our approach on news recommendation.


title: Simulating Nonlinear Neutrino Oscillations on Next-Generation Many-Core Architectures

abstract: In this work an astrophysical simulation code, XFLAT, is developed to study neutrino oscillations in supernovae. XFLAT is designed to utilize multiple levels of parallelism through MPI, OpenMP, and SIMD instructions (vectorization). It can run on both the CPU and the Xeon Phi co-processor, the latter of which is based on the Intel Many Integrated Core Architecture (MIC). The performance of XFLAT on configurations and scenarios has been analyzed. In addition, the impact of I/O and the multi-node configuration on the Xeon Phi-equipped heterogeneous supercomputers such as Stampede at the Texas Advanced Computing Center (TACC) was investigated.


title: Spin structure and spin Hall magnetoresistance of epitaxial thin films of the insulating non-collinear antiferromagnet SmFeO$_3$

abstract: We report a combined study of imaging the antiferromagnetic (AFM) spin structure and measuring the spin Hall magnetoresistance (SMR) in epitaxial thin films of the insulating non-collinear antiferromagnet SmFeO$_3$. X-ray magnetic linear dichroism photoemission electron microscopy measurements reveal that the AFM spins of the SmFeO$_3$(110) align in the plane of the film. Angularly dependent magnetoresistance measurements show that SmFeO$_3$/Ta bilayers exhibit a positive SMR, in contrast to the negative SMR expected in previously studied collinear AFMs. The SMR amplitude increases linearly with increasing external magnetic field at higher magnetic field, suggesting that field-induced canting of the AFM spins plays an important role. In contrast, around the coercive field, no detectable SMR signal is observed, indicating that SMR of AFM and canting magnetization components cancel out. Below 50~K, the SMR amplitude increases sizably by a factor of two as compared to room temperature, which likely correlates with the long-range ordering of the Sm ions. Our results show that the SMR is a sensitive technique for non-equilibrium spin system of non-collinear AFM systems.


title: ScenarioSA: A Large Scale Conversational Database for Interactive Sentiment Analysis

abstract: Interactive sentiment analysis is an emerging, yet challenging, subtask of the sentiment analysis problem. It aims to discover the affective state and sentimental change of each person in a conversation. Existing sentiment analysis approaches are insufficient in modelling the interactions among people. However, the development of new approaches are critically limited by the lack of labelled interactive sentiment datasets. In this paper, we present a new conversational emotion database that we have created and made publically available, namely ScenarioSA. We manually label 2,214 multi-turn English conversations collected from natural contexts. In comparison with existing sentiment datasets, ScenarioSA (1) covers a wide range of scenarios; (2) describes the interactions between two speakers; and (3) reflects the sentimental evolution of each speaker over the course of a conversation. Finally, we evaluate various state-of-the-art algorithms on ScenarioSA, demonstrating the need of novel interactive sentiment analysis models and the potential of ScenarioSA to facilitate the development of such models.


title: Elementary proofs of generalized continued fraction formulae for $e$

abstract: In this short note we prove two elegant generalized continued fraction formulae $$e= 2+\cfrac{1}{1+\cfrac{1}{2+\cfrac{2}{3+\cfrac{3}{4+\ddots}}}}$$ and $$e= 3+\cfrac{-1}{4+\cfrac{-2}{5+\cfrac{-3}{6+\cfrac{-4}{7+\ddots}}}}$$ using elementary methods. The first formula is well-known, and the second one is newly-discovered in arXiv:1907.00205 [cs.LG]. We then explore the possibility of automatic verification of such formulae using computer algebra systems (CAS's).


title: Framework Code Samples: How Are They Maintained and Used by Developers?

abstract: Background: Modern software systems are commonly built on the top of frameworks. To accelerate the learning process of features provided by frameworks, code samples are made available to assist developers. However, we know little about how code samples are actually developed. Aims: In this paper, we aim to fill this gap by assessing the characteristics of framework code samples. We provide insights on how code samples are maintained and used by developers. Method: We analyze 233 code samples of Android and SpringBoot, and assess aspects related to their source code, evolution, popularity, and client usage. Results: We find that most code samples are small and simple, provide a working environment to the clients, and rely on automated build tools. They change frequently over time, for example, to adapt to new framework versions. We also detect that clients commonly fork the code samples, however, they rarely modify them. Conclusions: We provide a set of lessons learned and implications to creators and clients of code samples to improve maintenance and usage activities.


title: Intrinsic anomalous Nernst effect amplified by disorder in a half-metallic semimetal

abstract: Intrinsic anomalous Nernst effect (ANE), like its Hall counterpart, is generated by Berry curvature of electrons in solids. Little is known about its response to disorder. In contrast, the link between the amplitude of the ordinary Nernst coefficient and the mean-free-path is extensively documented. Here, by studying Co$_3$Sn$_2$S$_2$, a topological half-metallic semimetal hosting sizable and recognizable ordinary and anomalous Nernst responses, we demonstrate an anti-correlation between the amplitude of ANE and carrier mobility. We argue that the observation, paradoxically, establishes the intrinsic origin of the ANE in this system. We conclude that various intrinsic off-diagonal coefficients are set by the way the Berry curvature is averaged on a grid involving the mean-free-path, the Fermi wavelength and the de Broglie thermal length.


title: Collective dynamics of opposing groups with stochastic communication

abstract: We propose models describing the collective dynamics of two opposing groups of individuals with stochastic communication. Individuals from the same group are assumed to align in a stochastic manner, while individuals from different groups are assumed to anti-align. Under reasonable assumptions, we prove the large time behavior of separation, in the sense that the variation inside a group is much less than the distance between the two groups. The separation phenomena are verified by numerical simulations.


title: A controlled study of virtual reality in first-year magnetostatics

abstract: Stereoscopic virtual reality (VR) has experienced a resurgence due to flagship products such as the Oculus Rift, HTC Vive and smartphone-based VR solutions like Google Cardboard. This is causing the question to resurface: how can stereoscopic VR be useful in instruction, if at all, and what are the pedagogical best practices for its use? To address this, and to continue our work in this sphere, we performed a study of 289 introductory physics students who were sorted into three different treatment types: stereoscopic virtual reality, WebGL simulation, and static 2D images, each designed to provide information about magnetic fields and forces. Students were assessed using preliminary items designed to focus on heavily-3D systems. We report on assessment reliability, and on student performance. Overall, we find that students who used VR did not significantly outperform students using other treatment types. There were significant differences between sexes, as other studies have noted. Dependence on students' self-reported 3D videogame play was observed, in keeping with previous studies, but this dependence was not restricted to the VR treatment.


title: A Quantum-inspired Classical Algorithm for Separable Non-negative Matrix Factorization

abstract: Non-negative Matrix Factorization (NMF) asks to decompose a (entry-wise) non-negative matrix into the product of two smaller-sized nonnegative matrices, which has been shown intractable in general. In order to overcome this issue, the separability assumption is introduced which assumes all data points are in a conical hull. This assumption makes NMF tractable and is widely used in text analysis and image processing, but still impractical for huge-scale datasets. In this paper, inspired by recent development on dequantizing techniques, we propose a new classical algorithm for separable NMF problem. Our new algorithm runs in polynomial time in the rank and logarithmic in the size of input matrices, which achieves an exponential speedup in the low-rank setting.


title: Decoherence of collective motion in warm nuclei

abstract: Collective states in cold nuclei are represented by a wave function that assigns coherent phases to the participating nucleons. The degree of coherence decreases with excitation energy above the yrast line because of coupling to the increasingly dense background of quasiparticle excitations. The consequences of decoherence are discussed, starting with the well studied case of rotational damping. In addition to superdeformed bands, a highly excited oblate band is presented as a new example of screening from rotational damping. Suppression of pair correlation leads to incoherent thermal M1 radiation, which appears as an exponential spike (LEMAR) at zero energy in the $\gamma$ strength function of spherical nuclei. In deformed nuclei a Scissors Resonance appears and LEMAR changes to damped magnetic rotation, which is interpreted as partial restoration of coherence.


title: Dual Adversarial Semantics-Consistent Network for Generalized Zero-Shot Learning

abstract: Generalized zero-shot learning (GZSL) is a challenging class of vision and knowledge transfer problems in which both seen and unseen classes appear during testing. Existing GZSL approaches either suffer from semantic loss and discard discriminative information at the embedding stage, or cannot guarantee the visual-semantic interactions. To address these limitations, we propose the Dual Adversarial Semantics-Consistent Network (DASCN), which learns primal and dual Generative Adversarial Networks (GANs) in a unified framework for GZSL. In particular, the primal GAN learns to synthesize inter-class discriminative and semantics-preserving visual features from both the semantic representations of seen/unseen classes and the ones reconstructed by the dual GAN. The dual GAN enforces the synthetic visual features to represent prior semantic knowledge well via semantics-consistent adversarial learning. To the best of our knowledge, this is the first work that employs a novel dual-GAN mechanism for GZSL. Extensive experiments show that our approach achieves significant improvements over the state-of-the-art approaches.


title: Non-Orthogonal Multiple Access in UAV-to-Everything (U2X) Networks

abstract: This article investigates the non-orthogonal multiple access (NOMA) enhanced unmanned aerial vehicle (UAV)-to-Everything (U2X) frameworks. A novel 3-Dimension framework for providing wireless services to randomly roaming NOMA receivers (Rxs) in the sphere space is proposed by utilizing stochastic geometry tools. In an effort to evaluate the performance of the proposed framework, we first derive closed-form expressions for the outage probability and the ergodic rate of paired NOMA Rxs. For obtaining more insights, we investigate the diversity order and the high signal-to-noise (SNR) slope of NOMA enhanced U2X frameworks. We also derive the spectrum efficiency in both NOMA and orthogonal multiple access (OMA) enhanced U2X frameworks. Our analytical results demonstrate that the diversity order and the high SNR slope of the proposed framework are $m$ and one, respectively. Numerical results are provided to confirm that: i) the proposed NOMA enhanced U2X frameworks have superior outage performance and spectrum efficiency compared with the OMA-enhanced U2X frameworks; and ii) for the case of fixed LoS probability, the outage performance of paired NOMA Rxs mainly depends on users with poor channel conditions.


title: R-Transformer: Recurrent Neural Network Enhanced Transformer

abstract: Recurrent Neural Networks have long been the dominating choice for sequence modeling. However, it severely suffers from two issues: impotent in capturing very long-term dependencies and unable to parallelize the sequential computation procedure. Therefore, many non-recurrent sequence models that are built on convolution and attention operations have been proposed recently. Notably, models with multi-head attention such as Transformer have demonstrated extreme effectiveness in capturing long-term dependencies in a variety of sequence modeling tasks. Despite their success, however, these models lack necessary components to model local structures in sequences and heavily rely on position embeddings that have limited effects and require a considerable amount of design efforts. In this paper, we propose the R-Transformer which enjoys the advantages of both RNNs and the multi-head attention mechanism while avoids their respective drawbacks. The proposed model can effectively capture both local structures and global long-term dependencies in sequences without any use of position embeddings. We evaluate R-Transformer through extensive experiments with data from a wide range of domains and the empirical results show that R-Transformer outperforms the state-of-the-art methods by a large margin in most of the tasks. We have made the code publicly available at \url{https://github.com/DSE-MSU/R-transformer}.


title: Quadratic Algebras arising from Hopf operads generated by a single element

abstract: The operads of Poisson and Gerstenhaber algebras are generated by a single binary element if we consider them as Hopf operads (i.e. as operads in the category of cocommutative coalgebras). In this note we discuss in details the Hopf operads generated by a single element of arbitrary arity. We explain why the dual space to the space of $n$-ary operations in this operads are quadratic and Koszul algebras. We give the detailed description of generators, relations and a certain monomial basis in these algebras.


title: Post-formation in alpha emission from nuclei

abstract: We propose a novel mechanism to explain nuclear decay by emission of an alpha particle. We show that the famous Geiger-Nuttall law can be explained by post-forming an alpha particle outside the range of the nuclear interaction with the daughter nucleus. This contrasts with the commonly accepted mechanism of first alpha particle pre-formation followed by emission through barrier penetration. We predict that the post-formation mechanism is more likely to occur for alpha-particles with higher energy.


title: Learning an Urban Air Mobility Encounter Model from Expert Preferences

abstract: Airspace models have played an important role in the development and evaluation of aircraft collision avoidance systems for both manned and unmanned aircraft. As Urban Air Mobility (UAM) systems are being developed, we need new encounter models that are representative of their operational environment. Developing such models is challenging due to the lack of data on UAM behavior in the airspace. While previous encounter models for other aircraft types rely on large datasets to produce realistic trajectories, this paper presents an approach to encounter modeling that instead relies on expert knowledge. In particular, recent advances in preference-based learning are extended to tune an encounter model from expert preferences. The model takes the form of a stochastic policy for a Markov decision process (MDP) in which the reward function is learned from pairwise queries of a domain expert. We evaluate the performance of two querying methods that seek to maximize the information obtained from each query. Ultimately, we demonstrate a method for generating realistic encounter trajectories with only a few minutes of an expert's time.


title: Neural News Recommendation with Attentive Multi-View Learning

abstract: Personalized news recommendation is very important for online news platforms to help users find interested news and improve user experience. News and user representation learning is critical for news recommendation. Existing news recommendation methods usually learn these representations based on single news information, e.g., title, which may be insufficient. In this paper we propose a neural news recommendation approach which can learn informative representations of users and news by exploiting different kinds of news information. The core of our approach is a news encoder and a user encoder. In the news encoder we propose an attentive multi-view learning model to learn unified news representations from titles, bodies and topic categories by regarding them as different views of news. In addition, we apply both word-level and view-level attention mechanism to news encoder to select important words and views for learning informative news representations. In the user encoder we learn the representations of users based on their browsed news and apply attention mechanism to select informative news for user representation learning. Extensive experiments on a real-world dataset show our approach can effectively improve the performance of news recommendation.


title: Boosting Scene Character Recognition by Learning Canonical Forms of Glyphs

abstract: As one of the fundamental problems in document analysis, scene character recognition has attracted considerable interests in recent years. But the problem is still considered to be extremely challenging due to many uncontrollable factors including glyph transformation, blur, noisy background, uneven illumination, etc. In this paper, we propose a novel methodology for boosting scene character recognition by learning canonical forms of glyphs, based on the fact that characters appearing in scene images are all derived from their corresponding canonical forms. Our key observation is that more discriminative features can be learned by solving specially-designed generative tasks compared to traditional classification-based feature learning frameworks. Specifically, we design a GAN-based model to make the learned deep feature of a given scene character be capable of reconstructing corresponding glyphs in a number of standard font styles. In this manner, we obtain deep features for scene characters that are more discriminative in recognition and less sensitive against the above-mentioned factors. Our experiments conducted on several publicly-available databases demonstrate the superiority of our method compared to the state of the art.


title: Fibered Cusp b-Pseudodifferential Operators and its Applications

abstract: Let $X$ be a smooth compact manifold with corners which has two embedded boundary hypersurfaces $\partial_0 X , \partial_1 X$, and a fiber bundle $\phi:\partial_0 X \to Y$ is given. By using the method of blowing up, we define a pseudodifferential culculus $\Psi ^* _{\Phi,b} (X)$ generalizing the $\Phi$-calculus of Mazzeo and Melrose and the (small) $b$-calculus of Melrose. We discuss the Fredholm condition of such operators and prove the relative index theorem. And as its application, the index theorem of "non-closed" $\mathbb{Z}/k$ - manifolds is proved.


title: Learning a Static Bug Finder from Data

abstract: We present an alternative approach to creating static bug finders. Instead of relying on human expertise, we utilize deep neural networks to train static analyzers directly from data. In particular, we frame the problem of bug finding as a classification task and train a classifier to differentiate the buggy from non-buggy programs using Graph Neural Network (GNN). Crucially, we propose a novel interval-based propagation mechanism that leads to a significantly more efficient, accurate and scalable generalization of GNN. We have realized our approach into a framework, NeurSA, and extensively evaluated it. In a cross-project prediction task, three neural bug detectors we instantiate from NeurSA are effective in catching null pointer dereference, array index out of bound and class cast bugs in unseen code. We compare NeurSA against several static analyzers (e.g. Facebook Infer and Pinpoint) on a set of null pointer dereference bugs. Results show that NeurSA is more precise in catching the real bugs and suppressing the spurious warnings. We also apply NeurSA to several popular Java projects on GitHub and discover 50 new bugs, among which 9 have been fixed, and 3 have been confirmed.


title: Well-posedness and Critical Index Set of the Cauchy Problem for the Coupled KdV-KdV Systems on $\mathbb{T}$

abstract: Studied in this paper is the well-posedness of the Cauchy problem for the coupled KdV-KdV systems \[ u_t+a_1u_{xxx} = c_{11}uu_x+c_{12}vv_x+d_{11}u_{x}v+d_{12}uv_{x}, \quad u(x,0)= u_0(x) \] \[ v_t+a_2v_{xxx}= c_{21}uu_x+c_{22}vv_x +d_{21}u_{x}v+d_{22}uv_{x}, \quad v(x,0)=v_0(x)\] posed on the torus $\mathbb{T}$ in the spaces \[ {\cal H}^s_1:=H^s_0 (\mathbb{T})\times H^s_0 (\mathbb{T}), \quad {\cal H}^s_2:=H^s_0 (\mathbb{T})\times H^s(\mathbb{T}), \quad {\cal H}^s_3:=H^s (\mathbb{T})\times H^s_0 (\mathbb{T}), \quad {\cal H}^s_4:=H^s (\mathbb{T})\times H^s (\mathbb{T}).\] For $k=1,2,3,4$, it is shown that for given $a_1$, $a_2$, $(c_{ij})$ and $(d_{ij})$, there exists a unique $s^*_k \in (-\infty, +\infty]$, called the critical index, such that the system is analytically well-posed in $\cal{H}^s_k$ for $s>s^*_k$ while the bilinear estimate, the key for the proof of the analytical well-posedness, fails if $s<s^{*}_k$. Viewing the critical index $s^*_k$ as a function of the coefficients $a_1$, $a_2$, $(c_{ij})$ and $(d_{ij})$, its range $\cal{C}_k$ is called the critical index set for the analytical well-posedness of the system in the space $\cal{H}^s_k$. Invoking some classical results of Diophantine approximation in number theory, we are able to identify that \[ \mbox{$ {\cal C}_1= \left \{ -\frac12, \infty \right\} \bigcup \left \{ \alpha: \frac12\leq \alpha\leq 1 \right \}$ } \quad\text{and}\quad \mbox{${\cal C}_q= \left \{ -\frac12, -\frac14, \infty \right\} \bigcup \left \{ \alpha: \frac12\leq \alpha\leq 1 \right \}$ $\quad$ for $\quad$ $q=2,3,4$.}\] This is in sharp contrast to the $R$ case in which the critical index set ${\cal C}$ for the analytical well-posedness of in the space $H^s (R)\times H^s (R)$ consists of exactly four numbers: $ {\cal C}=\left \{ -\frac{13}{12}, -\frac34, 0, \frac34 \right \}.$


title: On a critical Kirchhoff-type problem

abstract: In the present paper, we study a Kirchhoff type problem involving the critical Sobolev exponent. We give sufficient conditions for the sequentially weakly lower semicontinuity and the Palais Smale property of the energy functional associated to the problem.


title: Singularities and Catastrophes in Economics: Historical Perspectives and Future Directions

abstract: Economic theory is a mathematically rich field in which there are opportunities for the formal analysis of singularities and catastrophes. This article looks at the historical context of singularities through the work of two eminent Frenchmen around the late 1960s and 1970s. Ren\'e Thom (1923-2002) was an acclaimed mathematician having received the Fields Medal in 1958, whereas G\'erard Debreu (1921-2004) would receive the Nobel Prize in economics in 1983. Both were highly influential within their fields and given the fundamental nature of their work, the potential for cross-fertilisation would seem to be quite promising. This was not to be the case: Debreu knew of Thom's work and cited it in the analysis of his own work, but despite this and other applied mathematicians taking catastrophe theory to economics, the theory never achieved a lasting following and relatively few results were published. This article reviews Debreu's analysis of the so called ${\it regular}$ and ${\it crtitical}$ economies in order to draw some insights into the economic perspective of singularities before moving to how singularities arise naturally in the Nash equilibria of game theory. Finally a modern treatment of stochastic game theory is covered through recent work on the quantal response equilibrium. In this view the Nash equilibrium is to the quantal response equilibrium what deterministic catastrophe theory is to stochastic catastrophe theory, with some caveats regarding when this analogy breaks down discussed at the end.


title: Can Bayes Factors "Prove" the Null Hypothesis?

abstract: It is possible to obtain a large Bayes Factor (BF) favoring the null hypothesis when both the null and alternative hypotheses have low likelihoods, and there are other hypotheses being ignored that are much more strongly supported by the data. As sample sizes become large it becomes increasingly probable that a strong BF favouring a point null against a conventional Bayesian vague alternative co-occurs with a BF favouring various specific alternatives against the null. For any BF threshold q and sample mean, there is a value n such that sample sizes larger than n guarantee that although the BF comparing H0 against a conventional (vague) alternative exceeds q, nevertheless for some range of hypothetical {\mu}, a BF comparing H0 against {\mu} in that range falls below 1/q. This paper discusses the conditions under which this conundrum occurs and investigates methods for resolving it.


title: Toeplitz Inverse Covariance based Robust Speaker Clustering for Naturalistic Audio Streams

abstract: Speaker diarization determines who spoke and when? in an audio stream. In this study, we propose a model-based approach for robust speaker clustering using i-vectors. The ivectors extracted from different segments of same speaker are correlated. We model this correlation with a Markov Random Field (MRF) network. Leveraging the advancements in MRF modeling, we used Toeplitz Inverse Covariance (TIC) matrix to represent the MRF correlation network for each speaker. This approaches captures the sequential structure of i-vectors (or equivalent speaker turns) belonging to same speaker in an audio stream. A variant of standard Expectation Maximization (EM) algorithm is adopted for deriving closed-form solution using dynamic programming (DP) and the alternating direction method of multiplier (ADMM). Our diarization system has four steps: (1) ground-truth segmentation; (2) i-vector extraction; (3) post-processing (mean subtraction, principal component analysis, and length-normalization) ; and (4) proposed speaker clustering. We employ cosine K-means and movMF speaker clustering as baseline approaches. Our evaluation data is derived from: (i) CRSS-PLTL corpus, and (ii) two meetings subset of the AMI corpus. Relative reduction in diarization error rate (DER) for CRSS-PLTL corpus is 43.22% using the proposed advancements as compared to baseline. For AMI meetings IS1000a and IS1003b, relative DER reduction is 29.37% and 9.21%, respectively.


title: Beamforming Design in Multiple-Input-Multiple-Output Symbiotic Radio Backscatter Systems

abstract: Symbiotic radio (SR) backscatter systems are possible techniques for the future low-power wireless communications for Internet of Things devices. In this paper, we propose a multiple-input-multiple-output (MIMO) SR backscatter system, where the secondary multi-antenna transmission from the backscatter device (BD) to the receiver is riding on the primary multi-antenna transmission from the transmitter to the receiver. We investigate the beamforming design optimization problem which maximizes the achievable rate of secondary transmission under the achievable rate constraint of primary transmission. In the MIMO SR backscatter system, each antenna of the SR BD reflects its received ambient radio frequency signals from all the transmitting antennas of the transmitter, which causes the globally optimal solution is difficult to obtain. In this paper, we propose a method to obtain the achievable rate upper bound. Furthermore, considering both primary and secondary transmissions, we propose an exact penalty method based locally optimal solution. Simulation results illustrate that our proposed exact penalty method based locally optimal solution performs close to the upper bound.


title: Rectification of Twitching bacteria through narrow channels: A numerical simulations study

abstract: Bacteria living on surfaces use different types of motility mechanisms to move on the surface in search of food or to form micro-colonies. Twitching is one such form of motility employed by bacteria such as N. gonorrhoeae, in which the polymeric extensions known as type IV pili mediate its movement. Pili extending from cell body adheres to the surface and pulls the bacteria by retraction. The bacterial movement is decided by the two-dimensional tug-of-war between the pili attached to the surface. Natural surfaces in which these micro-crawlers dwell are generally spatially inhomogeneous and have varying surface properties. Their motility is known to be affected by the topography of the surfaces. Therefore, it is possible to control bacterial movement by designing structured surfaces which can be potentially utilized for controlling biofilm architecture. In this paper, we numerically investigate the twitching motility in a two-dimensional corrugated channel. The bacterial movement is simulated by two different models: (a) a detailed tug-of-war model which extensively describe the twitching motility of bacteria assisted by pili and (b) a coarse-grained run-and-tumble model which depicts the motion of wide-ranging self-propelled particles. The simulation of bacterial motion through asymmetric corrugated channels using the above models show rectification. The bacterial transport depends on the geometric parameters of the channel and inherent system parameters such as persistence length and self-propelled velocity. In particular, the variation of the particle current with the geometric parameters of the micro-channels show that one can optimize the particle current for specific values of these parameters.


title: Stateful Detection of Black-Box Adversarial Attacks

abstract: The problem of adversarial examples, evasion attacks on machine learning classifiers, has proven extremely difficult to solve. This is true even when, as is the case in many practical settings, the classifier is hosted as a remote service and so the adversary does not have direct access to the model parameters. This paper argues that in such settings, defenders have a much larger space of actions than have been previously explored. Specifically, we deviate from the implicit assumption made by prior work that a defense must be a stateless function that operates on individual examples, and explore the possibility for stateful defenses. To begin, we develop a defense designed to detect the process of adversarial example generation. By keeping a history of the past queries, a defender can try to identify when a sequence of queries appears to be for the purpose of generating an adversarial example. We then introduce query blinding, a new class of attacks designed to bypass defenses that rely on such a defense approach. We believe that expanding the study of adversarial examples from stateless classifiers to stateful systems is not only more realistic for many black-box settings, but also gives the defender a much-needed advantage in responding to the adversary.


title: Controller-independent bidirectional quantum direct communication

abstract: Recently, Chang et al (Quantum Inf Process,14,3515,2015) proposed a controlled bidirectional quantum direct communication protocol using Bell states. In this work, the significance of Bell states, which are being used as initial states in Chang et al. protocol, is elucidated. The possibility of preparing initial state based on the secret message of the communicants is explored. In doing so,the controller-independent bidirectional quantum direct communication protocol has evolved naturally. It is shown that any communicant cannot read the secret message without knowing the initial states generated by the other communicant. Further,intercept and resend attack and information leakage can be avoided. The proposed protocol is like a conversion between two persons without the help of any third person with high-level security.


title: Optimally Perturbed Identity Matrices of Rank 2

abstract: The problem of optimal antipodal codes can be framed as finding low rank Gram matrices $G$ with $G_{ii} = 1$ and $|G_{ij}| \leq \epsilon$ for $1 \leq i \neq j \leq n$. In 2018, Bukh and Cox introduced a new bounding technique by removing the condition that $G$ be a gram matrix. In this work, we investigate how tight this relaxation is, and find exact results for real valued matrices of rank $2$.


title: Revisiting Occurrence Typing

abstract: We revisit occurrence typing, a technique to refine the type of variables occurring in type-cases and, thus, capturesome programming patterns used in untyped languages. Although occurrence typing was tied from its inceptionto set-theoretic types-union types, in particular-it never fully exploited the capabilities of these types. Here weshow how, by using set-theoretic types, it is possible to develop a general typing framework that encompasses andgeneralizes several aspects of current occurrence typing proposals and that can be applied to tackle other problemssuch as the reconstruction of intersection types for unannotated or partially annotated functions and the optimizationof the compilation of gradually typed languages.


title: Strain distribution and thermal strain relaxation in MOVPE grown hBN films on sapphire substrates

abstract: Recently, hexagonal boron nitride (hBN) layers have generated a lot of interest as ideal substrates for 2D stacked devices. Sapphire-supported thin hBN films of different thicknesses are grown using metalorganic vapour phase epitaxy technique by following a flow modulation scheme. Though these films of relatively large size are potential candidates to be employed in designing real devices, they exhibit wrinkling. The formation of wrinkles is a key signature of strain distribution in a film. Raman imaging has been utilized to study the residual strain distribution in these wrinkled hBN films. An increase in the overall compressive strain in the films with an increase in the layer thickness has been observed. To find whether the residual lattice strain in the films can be removed by a thermal treatment, temperature dependent Raman measurements of these films are carried out. The study demonstrates that the thermal rate of strain evolution is higher in the films of lower thickness than in the thicker films. This observation further provides a possible explanation for the variation of strain in the as-grown films. An empirical relation has been proposed for estimating the residual strain from the morphology of the films. We have also shown that the residual strain can be partially released by the delamination of the films.


title: High Speed Mid-Infrared Interband Cascade Photodetector Based on InAs/GaSb Type-II Superlattice

abstract: High speed mid-wave infrared (MWIR) photodetectors have applications in the areas such as free space optical communication and frequency comb spectroscopy. However, most of the research on the MWIR photodetectors is focused on how to increase the quantum efficiency and reduce the dark current, in order to improve the detectivity (D*), and the 3dB bandwidth performance of the corresponding MWIR photodetectors is still not fully studied. In this work, we report and characterize a MWIR interband cascade photodetector based on InAs/GaSb type-II superlattice with a 50% cutoff wavelength at ~5.3 um at 300 K. The 3 dB cutoff frequency is 2.4 GHz at 300 K, for a 40 {\mu}m circular diameter device under -5 V applied bias. Limitations on the detector high speed performance are also discussed.High speed mid-wave infrared (MWIR) photodetectors have applications in the areas such as free space optical communication and frequency comb spectroscopy. However, most of the research on the MWIR photodetectors is focused on how to increase the quantum efficiency and reduce the dark current, in order to improve the detectivity (D*), and the 3dB bandwidth performance of the corresponding MWIR photodetectors is still not fully studied. In this work, we report and characterize a MWIR interband cascade photodetector based on InAs/GaSb type-II superlattice with a 50% cutoff wavelength at ~5.3 um at 300 K. The 3 dB cutoff frequency is 2.4 GHz at 300 K, for a 40 um circular diameter device under -5 V applied bias. Limitations on the detector high speed performance are also discussed.


title: From small markets to big markets

abstract: We study the most famous example of a large financial market: the Arbitrage Pricing Model, where investors can trade in a one-period setting with countably many assets admitting a factor structure. We consider the problem of maximising expected utility in this setting. Besides establishing the existence of optimizers under weaker assumptions than previous papers, we go on studying the relationship between optimal investments in finite market segments and those in the whole market. We show that certain natural (but nontrivial) continuity rules hold: maximal satisfaction, reservation prices and (convex combinations of) optimizers computed in small markets converge to their respective counterparts in the big market.


title: Pareto Optimal Demand Response Based on Energy Costs and Load Factor in Smart Grid

abstract: Demand response for residential users is essential to the realization of modern smart grids. This paper proposes a multiobjective approach to designing a demand response program that considers the energy costs of residential users and the load factor of the underlying grid. A multiobjective optimization problem (MOP) is formulated and Pareto optimality is adopted. Stochastic search methods of generating feasible values for decision variables are proposed. Theoretical analysis is performed to show that the proposed methods can effectively generate and preserve feasible points during the solution process, which comparable methods can hardly achieve. A multiobjective evolutionary algorithm is developed to solve the MOP, producing a Pareto optimal demand response (PODR) program. Simulations reveal that the proposed method outperforms the comparable methods in terms of energy costs while producing a satisfying load factor. The proposed PODR program is able to systematically balance the needs of the grid and residential users.


title: Jointly Adversarial Network to Wavelength Compensation and Dehazing of Underwater Images

abstract: Severe color casts, low contrast and blurriness of underwater images caused by light absorption and scattering result in a difficult task for exploring underwater environments. Different from most of previous underwater image enhancement methods that compute light attenuation along object-camera path through hazy image formation model, we propose a novel jointly wavelength compensation and dehazing network (JWCDN) that takes into account the wavelength attenuation along surface-object path and the scattering along object-camera path simultaneously. By embedding a simplified underwater formation model into generative adversarial network, we can jointly estimates the transmission map, wavelength attenuation and background light via different network modules, and uses the simplified underwater image formation model to recover degraded underwater images. Especially, a multi-scale densely connected encoder-decoder network is proposed to leverage features from multiple layers for estimating the transmission map. To further improve the recovered image, we use an edge preserving network module to enhance the detail of the recovered image. Moreover, to train the proposed network, we propose a novel underwater image synthesis method that generates underwater images with inherent optical properties of different water types. The synthesis method can simulate the color, contrast and blurriness appearance of real-world underwater environments simultaneously. Extensive experiments on synthetic and real-world underwater images demonstrate that the proposed method yields comparable or better results on both subjective and objective assessments, compared with several state-of-the-art methods.


title: Single-cell micro- and nano-photonic technologies

abstract: Since the advent of optogenetics, technology development has focused on new methods to optically interact with single nervous cells. This gave rise to the field of photonic neural interfaces, intended as the set of technologies that can modify light radiation in either a linear or non-linear fashion to control and/or monitor cellular functions. These include the use of plasmonic effects, up-conversion, electron transfer and integrated light steering, with some of them already implemented in vivo. This article will review available approaches in this framework, with a particular emphasis on methods operating at the single-unit level or having the potential to reach single-cell resolution.


title: Activity2Vec: Learning ADL Embeddings from Sensor Data with a Sequence-to-Sequence Model

abstract: Recognizing activities of daily living (ADLs) plays an essential role in analyzing human health and behavior. The widespread availability of sensors implanted in homes, smartphones, and smart watches have engendered collection of big datasets that reflect human behavior. To obtain a machine learning model based on these data,researchers have developed multiple feature extraction methods. In this study, we investigate a method for automatically extracting universal and meaningful features that are applicable across similar time series-based learning tasks such as activity recognition and fall detection. We propose creating a sequence-to-sequence (seq2seq) model to perform this feature learning. Beside avoiding feature engineering, the meaningful features learned by the seq2seq model can also be utilized for semi-supervised learning. We evaluate both of these benefits on datasets collected from wearable and ambient sensors.


title: Coupled-Projection Residual Network for MRI Super-Resolution

abstract: Magnetic Resonance Imaging(MRI) has been widely used in clinical application and pathology research by helping doctors make more accurate diagnoses. On the other hand, accurate diagnosis by MRI remains a great challenge as images obtained via present MRI techniques usually have low resolutions. Improving MRI image quality and resolution thus becomes a critically important task. This paper presents an innovative Coupled-Projection Residual Network (CPRN) for MRI super-resolution. The CPRN consists of two complementary sub-networks: a shallow network and a deep network that keep the content consistency while learning high frequency differences between low-resolution and high-resolution images. The shallow sub-network employs coupled-projection for better retaining the MRI image details, where a novel feedback mechanism is introduced to guide the reconstruction of high-resolution images. The deep sub-network learns from the residuals of the high-frequency image information, where multiple residual blocks are cascaded to magnify the MRI images at the last network layer. Finally, the features from the shallow and deep sub-networks are fused for the reconstruction of high-resolution MRI images. For effective fusion of features from the deep and shallow sub-networks, a step-wise connection (CPRN S) is designed as inspired by the human cognitive processes (from simple to complex). Experiments over three public MRI datasets show that our proposed CPRN achieves superior MRI super-resolution performance as compared with the state-of-the-art. Our source code will be publicly available at http://www.yongxu.org/lunwen.html.


title: Effective Incorporation of Speaker Information in Utterance Encoding in Dialog

abstract: In dialog studies, we often encode a dialog using a hierarchical encoder where each utterance is converted into an utterance vector, and then a sequence of utterance vectors is converted into a dialog vector. Since knowing who produced which utterance is essential to understanding a dialog, conventional methods tried integrating speaker labels into utterance vectors. We found the method problematic in some cases where speaker annotations are inconsistent among different dialogs. A relative speaker modeling method is proposed to address the problem. Experimental evaluations on dialog act recognition and response generation show that the proposed method yields superior and more consistent performances.


title: Generative Modeling by Estimating Gradients of the Data Distribution

abstract: We introduce a new generative model where samples are produced via Langevin dynamics using gradients of the data distribution estimated with score matching. Because gradients can be ill-defined and hard to estimate when the data resides on low-dimensional manifolds, we perturb the data with different levels of Gaussian noise, and jointly estimate the corresponding scores, i.e., the vector fields of gradients of the perturbed data distribution for all noise levels. For sampling, we propose an annealed Langevin dynamics where we use gradients corresponding to gradually decreasing noise levels as the sampling process gets closer to the data manifold. Our framework allows flexible model architectures, requires no sampling during training or the use of adversarial methods, and provides a learning objective that can be used for principled model comparisons. Our models produce samples comparable to GANs on MNIST, CelebA and CIFAR-10 datasets, achieving a new state-of-the-art inception score of 8.87 on CIFAR-10. Additionally, we demonstrate that our models learn effective representations via image inpainting experiments.


title: Estimating tropospheric and stratospheric winds using infrasound from explosions

abstract: The receiver-to-source backazimuth of atmospheric infrasound signals is biased when cross-winds are present along the propagation path. Infrasound from 598 surface explosions from over 30 years in northern Finland is measured with high spatial resolution on an array 178 km almost due North. The array is situated in the classical shadow-zone distance from the explosions. However, strong infrasound is almost always observed, which is most plausibly due to partial reflections from stratospheric altitudes. The most probable propagation paths are subject to both tropospheric and stratospheric cross-winds, and our wave-propagation modelling yields good correspondence between the observed backazimuth deviation and cross-winds from the ERA-Interim reanalysis product. We demonstrate that atmospheric cross-winds can be estimated directly from infrasound data using propagation time and backazimuth deviation observations. We find these cross-wind estimates to be in good agreement with the ERA-Interim reanalysis.


title: Cograde conditions and cotorsion pairs

abstract: Let $R$ and $S$ be rings and $_R\omega_S$ a semidualizing bimodule. We study when the double functor $\Tor^S_i(\omega, \Ext^i_{R}(\omega,-))$ preserves epimorphisms and the double functor $\Ext_{R}^i(\omega, \Tor_i^{S}(\omega,-))$ preserves monomorphisms in terms of the (strong) cograde conditions of modules. Under certain cograde condition of modules, we construct two complete cotorsion pairs. In addition, we establish the relation between some relative finitistic dimensions of rings and the right and left projective dimensions of $\omega$.


title: Eigenvalues of the non-backtracking operator detached from the bulk

abstract: We describe the non-backtracking spectrum of a stochastic block model with connection probabilities $p_{\mathrm{in}}, p_{\mathrm{out}} = \omega(\log n)/n$. In this regime we answer a question posed in Dall'Amico and al. (2019) regarding the existence of a real eigenvalue `inside' the bulk, close to the location $\frac{p_{\mathrm{in}}+ p_{\mathrm{out}}}{p_{\mathrm{in}}- p_{\mathrm{out}}}$. We also introduce a variant of the Bauer-Fike theorem well suited for perturbations of quadratic eigenvalue problems, and which could be of independent interest.


title: Generalized Riesz systems and quasi bases in Hilbert space

abstract: The purpose of this article is twofold. First of all, the notion of $(D, E)$-quasi basis is introduced for a pair $(D, E)$ of dense subspaces of Hilbert spaces. This consists of two biorthogonal sequences $\{ \varphi_n \}$ and $\{ \psi_n \}$ such that $\sum_{n=0}^\infty \ip{x}{\varphi_n}\ip{\psi_n}{y}=\ip{x}{y}$ for all $x \in D$ and $y \in E$. Secondly, it is shown that if biorthogonal sequences $\{ \varphi_n \}$ and $\{ \psi_n \}$ form a $(D ,E)$-quasi basis, then they are generalized Riesz systems. The latter play an interesting role for the construction of non-self-adjoint Hamiltonians and other physically relevant operators.


title: Non-coupling from the past

abstract: The method of 'coupling from the past' permits exact sampling from the invariant distribution of a Markov chain on a finite state space. The coupling is successful whenever the stochastic dynamics are such that there is coalescence of all trajectories. The issue of the coalescence or non-coalescence of trajectories of a finite state space Markov chain is investigated in this note. The notion of the 'coalescence number' $k(\mu)$ of a Markovian coupling $\mu$ is introduced, and results are presented concerning the set $K(P)$ of coalescence numbers of couplings corresponding to a given transition matrix $P$.


title: Deep Learning based Blind Symbol Packing Ratio Estimation for Faster-than-Nyquist Signaling

abstract: This letter proposes a blind symbol packing rartio estimation for faster-than-Nyquist (FTN) signaling based on state-of-the-art deep learning (DL) technology. The symbol packing rartio is a vital parameter to obtain the real symbol rate and recover the origin symbols from the received symbols by calculating the intersymbol interference (ISI). To the best of our knowledge, this is the first effective estimation approach for symbol packing rartio in FTN signaling and has shown its fast convergence and robustness to signal-to-noise ratio (SNR) by numerical simulations. Benefiting from the proposed blind estimation, the packing-ratio-based adaptive FTN transmission without dedicate channel or control frame becomes available. Also, the secure FTN communications based on secret symbol packing rartio can be easily cracked.


title: A strong no-go theorem on the Wigner's friend paradox

abstract: Does quantum theory apply at all scales, including that of observers? New light on this fundamental question has recently been shed through a resurgence of interest in the long-standing Wigner's friend paradox. This is a thought experiment addressing the quantum measurement problem -- the difficulty of reconciling the (unitary, deterministic) evolution of isolated systems and the (non-unitary, probabilistic) state update after a measurement. Here, by building on a scenario with two separated but entangled friends introduced by Brukner, we prove that if quantum evolution is controllable on the scale of an observer, then one of 'No-Superdeterminism', 'Locality' or 'Absoluteness of Observed Events' -- that every observed event exists absolutely, not relatively -- must be false. We show that although the violation of Bell-type inequalities in such scenarios is not in general sufficient to demonstrate the contradiction between those three assumptions, new inequalities can be derived in a theory-independent manner, that are violated by quantum correlations. This is demonstrated in a proof-of-principle experiment where a photon's path is deemed an observer. We discuss how this new theorem places strictly stronger constraints on physical reality than Bell's theorem.


title: Evaporating primordial black holes as varying dark energy

abstract: If light enough primordial black holes (PBH) account for dark matter, then its density decreases with time as they lose mass via Hawking radiation. We show that this time-dependence of the matter density can be formulated as an equivalent $w(z)$ dark energy model and we study its implications on the expansion history. Using our approach and comparing with the latest cosmological data, including the supernovae type Ia, Baryon Acoustic Oscillations, Cosmic Microwave Background and the Hubble expansion H(z) data, we place observational constraints on the PBH model. We find that it is statistically consistent with $\Lambda$CDM according to the AIC statistical tool. Furthermore, we entertain the idea of having a population of ultra-light PBHs, decaying around neutrino decoupling, on top of the dark matter fluid and show how this offers a natural dark matter-radiation coupling altering the expansion history of the Universe and alleviating the $H_0$ tension.


title: Narvis: Authoring Narrative Slideshows for Introducing Data Visualization Designs

abstract: Visual designs can be complex in modern data visualization systems, which poses special challenges for explaining them to the non-experts. However, few if any presentation tools are tailored for this purpose. In this study, we present Narvis, a slideshow authoring tool designed for introducing data visualizations to non-experts. Narvis targets two types of end-users: teachers, experts in data visualization who produce tutorials for explaining a data visualization, and students, non-experts who try to understand visualization designs through tutorials. We present an analysis of requirements through close discussions with the two types of end-users. The resulting considerations guide the design and implementation of Narvis. Additionally, to help teachers better organize their introduction slideshows, we specify a data visualization as a hierarchical combination of components, which are automatically detected and extracted by Narvis. The teachers craft an introduction slideshow through first organizing these components, and then explaining them sequentially. A series of templates are provided for adding annotations and animations to improve efficiency during the authoring process. We evaluate Narvis through a qualitative analysis of the authoring experience, and a preliminary evaluation of the generated slideshows.