title: SetGAN: Improving the stability and diversity of generative models through a permutation invariant architecture

abstract: Generative adversarial networks (GANs) have proven effective in modeling distributions of high-dimensional data. However, their training instability is a well-known hindrance to convergence, which results in practical challenges in their applications to novel data. Furthermore, even when convergence is reached, GANs can be affected by mode collapse, a phenomenon for which the generator learns to model only a small part of the target distribution, disregarding the vast majority of the data manifold or distribution. This paper addresses these challenges by introducing SetGAN, an adversarial architecture that processes sets of generated and real samples, and discriminates between the origins of these sets (i.e., training versus generated data) in a flexible, permutation invariant manner. We also propose a new metric to quantitatively evaluate GANs that does not require previous knowledge of the application, apart from the data itself. Using the new metric, in conjunction with the state-of-the-art evaluation methods, we show that the proposed architecture, when compared with GAN variants stemming from similar strategies, produces more accurate models of the input data in a way that is also less sensitive to hyperparameter settings.


title: Confinement in Nuclei and the Expanding Proton

abstract: High-precision knowledge of electromagnetic form factors of nuclei is a subject of much current experimental and theoretical activity in nuclear and atomic physics. Such precision mandates that effects of the non-zero spatial extent of the constituent nucleons be handled in a manner that goes beyond the usual impulse approximation. A series of simple, Poincare-invariant, composite-proton models that respect the Ward-Takahashi identity and in which quarks are confined are used to study the validity of this approximation. The result of all of the models is a general theorem showing that medium modification of proton structure must occur. Combining this result with lattice QCD calculations leads to a conclusion that a bound proton must be larger than a free one.


title: An Intrinsic Geometrical Approach for Statistical Process Control of Surface and Manifold Data

abstract: We present a new method for statistical process control (SPC) of a discrete part manufacturing system based on intrinsic geometrical properties of the parts, estimated from three-dimensional sensor data. An intrinsic method has the computational advantage of avoiding the difficult part registration problem, necessary in previous SPC approaches of three-dimensional geometrical data, but inadequate if noncontact sensors are used. The approach estimates the spectrum of the Laplace-Beltrami (LB) operator of the scanned parts and uses a multivariate nonparametric control chart for online process control. Our proposal brings SPC closer to computer vision and computer graphics methods aimed to detect large differences in shape (but not in size). However, the SPC problem differs in that small changes in either shape or size of the parts need to be detected, keeping a controllable false alarm rate and without completely filtering noise. An online or "Phase II" method and a scheme for starting up in the absence of prior data ("Phase I") are presented. Comparison with earlier approaches that require registration shows the LB spectrum method to be more sensitive to rapidly detect small changes in shape and size, including the practical case when the sequence of part datasets is in the form of large, unequal size meshes. A post-alarm diagnostic method to investigate the location of defects on the surface of a part is also presented. While we focus in this article on surface (triangulation) data, the methods can also be applied to point cloud and voxel metrology data.


title: Leveraging Acoustic Cues and Paralinguistic Embeddings to Detect Expression from Voice

abstract: Millions of people reach out to digital assistants such as Siri every day, asking for information, making phone calls, seeking assistance, and much more. The expectation is that such assistants should understand the intent of the users query. Detecting the intent of a query from a short, isolated utterance is a difficult task. Intent cannot always be obtained from speech-recognized transcriptions. A transcription driven approach can interpret what has been said but fails to acknowledge how it has been said, and as a consequence, may ignore the expression present in the voice. Our work investigates whether a system can reliably detect vocal expression in queries using acoustic and paralinguistic embedding. Results show that the proposed method offers a relative equal error rate (EER) decrease of 60% compared to a bag-of-word based system, corroborating that expression is significantly represented by vocal attributes, rather than being purely lexical. Addition of emotion embedding helped to reduce the EER by 30% relative to the acoustic embedding, demonstrating the relevance of emotion in expressive voice.


title: Learning Markov models via low-rank optimization

abstract: Modeling unknown systems from data is a precursor of system optimization and sequential decision making. In this paper, we focus on learning a Markov model from a single trajectory of states. Suppose that the transition model has a small rank despite of having a large state space, meaning that the system admits a low-dimensional latent structure. We show that one can estimate the full transition model accurately using a trajectory of length that is proportional to the total number of states. We propose two maximum likelihood estimation methods: a convex approach with nuclear-norm regularization and a nonconvex approach with rank constraint. We explicitly derive the statistical rates of both estimators in terms of the Kullback-Leiber divergence and the $\ell_2$ error and also establish a minimax lower bound to assess the tightness of these rates. For computing the nonconvex estimator, we develop a novel DC (difference of convex function) programming algorithm that starts with the convex M-estimator and then successively refines the solution till convergence. Empirical experiments demonstrate consistent superiority of the nonconvex estimator over the convex one.


title: Direct observation of proton emission in 11Be

abstract: The elusive $\beta^-\text{p}^+$ decay was observed in $^{11}$Be by directly measuring the emitted protons and their energy distribution for the first time with the prototype Active Target Time Projection Chamber (pAT-TPC) in an experiment performed at ISAC-TRIUMF. The measured $\beta^-\text{p}^+$ branching ratio is orders of magnitude larger than any previous theoretical model predicted. This can be explained by the presence of a narrow resonance in $^{11}$B above the proton separation energy.


title: Pulsating white dwarfs: new insights

abstract: White dwarf stars constitute the final evolutionary stage for more than 95 per cent of all stars. The Galactic population of white dwarfs conveys a wealth of information about several fundamental issues and are of vital importance to study the structure, evolution and chemical enrichment of our Galaxy and its components ---including the star formation history of the Milky Way. In addition, white dwarfs are tracers of the evolution of planetary systems along several phases of stellar evolution. Also, white dwarfs are used as laboratories for astro-particle physics, being their interest focused on physics beyond the standard model. The last decade has witnessed a great progress in the study of white dwarfs. In particular, a wealth of information of these stars from different surveys has allowed us to make meaningful comparison of evolutionary models with observations. While some information like surface chemical composition, temperature and gravity of isolated white dwarfs can be inferred from spectroscopy, and the total mass and radius can be derived as well when they are in binaries, the internal structure of these compact stars can be unveiled only by means of asteroseismology, an approach based on the comparison between the observed pulsation periods of variable stars and the periods predicted by appropriate theoretical models. The asteroseismological techniques allow us to infer details of the internal chemical stratification, the total mass, and even the stellar rotation profile. In this review, we first revise the evolutionary channels currently accepted that lead to the formation of white-dwarf stars, and then, we give a detailed account of the different sub-types of pulsating white dwarfs known so far, emphasizing the recent observational and theoretical advancements in the study of these fascinating variable stars.


title: Roots of Formal Power Series and New Theorems on Riordan Group Elements

abstract: Elements of the Riordan group $\cal R$ over a field $\mathbb F$ of characteristic zero are infinite lower triangular matrices which are defined in terms of pairs of formal power series. We wish to bring to the forefront, as a tool in the theory of Riordan groups, the use of multiplicative roots $a(x)^\frac{1}{n}$ of elements $a(x)$ in the ring of formal power series over $\mathbb F$ . Using roots, we give a Normal Form for non-constant formal power series, we prove a surprising simple Composition-Cancellation Theorem and apply this to show that, for a major class of Riordan elements (i.e., for non-constant $g(x)$ and appropriate $F(x)$), only one of the two basic conditions for checking that $\big(g(x), \, F(x)\big)$ has order $n$ in the group $\cal R$ actually needs to be checked. Using all this, our main result is to generalize C. Marshall [Congressus Numerantium, 229 (2017), 343-351] and prove: Given non-constant $g(x)$ satisfying necessary conditions, there exists a unique $F(x)$, given by an explicit formula, such that $\big(g(x), \, F(x)\big)$ is an involution in $\cal R$. Finally, as examples, we apply this theorem to ``aerated" series $h(x) = g(x^q),\ q\ \text{odd}$, to find the unique $K(x)$ such that $\big(h(x), K(x)\big)$ is an involution.


title: Min-Max Correlation Clustering via MultiCut

abstract: Correlation clustering is a fundamental combinatorial optimization problem arising in many contexts and applications that has been the subject of dozens of papers in the literature. In this problem we are given a general weighted graph where each edge is labeled positive or negative. The goal is to obtain a partitioning (clustering) of the vertices that minimizes disagreements - weight of negative edges trapped inside a cluster plus positive edges between different clusters. Most of the papers on this topic mainly focus on minimizing total disagreement, a global objective for this problem. In this paper, we study a cluster-wise objective function that asks to minimize the maximum number of disagreements of each cluster, which we call min-max correlation clustering. The min-max objective is a natural objective that respects the quality of every cluster. In this paper, we provide the first nontrivial approximation algorithm for this problem achieving an $\mathcal{O}(\sqrt{\log n\cdot\max\{\log(|E^-|),\log(k)\}})$ approximation for general weighted graphs, where $|E^-|$ denotes the number of negative edges and $k$ is the number of clusters in the optimum solution. To do so, we also obtain a corresponding result for multicut where we wish to find a multicut solution while trying to minimize the total weight of cut edges on every component. The results are then further improved to obtain (i) $\mathcal{O}(r^2)$-approximation for min-max correlation clustering and min-max multicut for graphs that exclude $K_{r,r}$ minors (ii) a 14-approximation for the min-max correlation clustering on complete graphs.


title: Cellular State Transformations using Generative Adversarial Networks

abstract: We introduce a novel method to unite deep learning with biology by which generative adversarial networks (GANs) generate transcriptome perturbations and reveal condition-defining gene expression patterns. We find that a generator conditioned to perturb any input gene expression profile simulates a realistic transition between source and target RNA expression states. The perturbed samples follow a similar distribution to original samples from the dataset, also suggesting these are biologically meaningful perturbations. Finally, we show that it is possible to identify the genes most positively and negatively perturbed by the generator and that the enriched biological function of the perturbed genes are realistic. We call the framework the Transcriptome State Perturbation Generator (TSPG), which is open source software available at https://github.com/ctargon/TSPG.


title: One Size Does Not Fit All: Modeling Users' Personal Curiosity in Recommender Systems

abstract: Today's recommender systems are criticized for recommending items that are too obvious to arouse users' interest. That's why the recommender systems research community has advocated some "beyond accuracy" evaluation metrics such as novelty, diversity, coverage, and serendipity with the hope of promoting information discovery and sustain users' interest over a long period of time. While bringing in new perspectives, most of these evaluation metrics have not considered individual users' difference: an open-minded user may favor highly novel or diversified recommendations whereas a conservative user's appetite for novelty or diversity may not be that large. In this paper, we developed a model to approximate an individual's curiosity distribution over different levels of stimuli guided by the well-known Wundt curve in Psychology. We measured an item's surprise level to assess the stimulation level and whether it is in the range of the user's appetite for stimulus. We then proposed a recommendation system framework that considers both user preference and appetite for stimulus where the curiosity is maximally aroused. Our framework differs from a typical recommender system in that it leverages human's curiosity to promote intrinsic interest with the system. A series of evaluation experiments have been conducted to show that our framework is able to rank higher the items with not only high ratings but also high response likelihood. The recommendation list generated by our algorithm has higher potential of inspiring user curiosity compared to traditional approaches. The personalization factor for assessing the stimulus (surprise) strength further helps the recommender achieve smaller (better) inter-user similarity.


title: Ground state modulations in the ${\mathbb C}P^{N-1}$ model

abstract: In this work we examine a system consisting of a confined one-dimensional arrangement of atoms that we describe by using the 2-dimensional ${\mathbb C}P^{N-1}$ model, restricted to an interval and at finite temperature. We develop a method to obtain the bulk and boundary parts of the one-loop effective action as a function of the effective mass of the fluctuations. The formalism has the advantage of allowing for a systematic analysis of a large class of boundary conditions and to model the (adiabatic) response of the ground state to changes in the boundary conditions. In the case of periodic boundary conditions, we find that inhomogeneous phases are disfavored for intervals of large size. Away from periodic boundary conditions, our numerical results show that the ground state has a generic crystal-like structure that can be modulated by variations of the boundary conditions. The results presented here could be relevant for experimental implementations of nonlinear sigma models and could be tested by lattice numerical simulations.


title: The Gemini/HST Galaxy Cluster Project: Environment Effects on the Stellar Populations in the Lynx Clusters at z=1.27

abstract: Few detailed investigations of stellar populations in passive galaxies beyond z~1 are based on deep spectroscopic observations, due to the difficulty in obtaining such data. We present a study of stellar populations, structure, and mass-to-light ratios of a large sample of bulge-dominated galaxies in the two z=1.27 clusters Lynx E and Lynx W, based on deep ground-based optical spectroscopy combined with imaging from Hubble Space Telescope. We find that Lynx E has a well-defined core of red passive galaxies, while Lynx W lacks such a core. If all the sample galaxies evolve similarly in size from z=1.27 to the present, the data allow only 0.1 dex size-growth at a fixed dynamical mass. However, to link the Lynx central galaxies to brightest cluster galaxies similar to those of low redshift clusters, the Lynx galaxies would have to grow by at least a factor five, possibly through major merging. The mass-to-light ratios and the Balmer absorption lines of the Lynx galaxies are consistent with passive evolution of the stellar populations from z=1.27 to the present and support ages of 1--3 Gyr. The galaxies in the outskirts of the clusters contain younger stellar populations than found in the cluster cores. However, when evolved passively to z~0 both populations are consistent with the observed populations in the Coma cluster galaxies. The bulge-dominated emission line galaxies in the clusters are dominated by stellar populations with sub-solar metallicities. Thus, additional enrichment of these is required to produce Coma-like stellar populations by z~0.


title: Bow shocks, bow waves, and dust waves. IV. Shell shape statistics

abstract: Stellar bow shocks result from relative motions between stars and their environment. The interaction of the stellar wind and radiation with gas and dust in the interstellar medium produces curved arcs of emission at optical, infrared, and radio wavelengths. We recently proposed a new two-dimensional classification scheme for the shape of such bow shocks, which we here apply to three very different observational datasets: mid-infrared arcs around hot OB stars; far-infrared arcs around luminous cool stars; and H alpha emission-line arcs around proplyds and other young stars in the Orion Nebula. For OB stars, the average shape is consistent with simple thin-shell models for the interaction of a spherical wind with a parallel stream, but the diversity of observed shapes is many times larger than such models predict. We propose that this may be caused by time-dependent oscillations in the bow shocks, due to either instabilities or wind variability. Cool star bow shocks have markedly more closed wings than hot star bow shocks, which may be due to the dust emission arising in the shocked stellar wind instead of the shocked interstellar medium. The Orion Nebula arcs, on the other hand, have both significantly more open wings and significantly flatter apexes than the hot star bow shocks. We test several possible explanations for this difference (divergent ambient stream, low Mach number, observational biases, and influence of collimated jets), but the evidence for each is inconclusive.


title: Deep Reinforcement Learning for 5G Networks: Joint Beamforming, Power Control, and Interference Coordination

abstract: The fifth generation of wireless communications (5G) promises massive increases in traffic volume and data rates, as well as improved reliability in voice calls. Jointly optimizing beamforming, power control, and interference coordination in a 5G wireless network to enhance the communication performance to end users poses a significant challenge. In this paper, we formulate the joint design of beamforming, power control, and interference coordination as a non-convex optimization problem to maximize the signal to interference plus noise ratio (SINR) and solve this problem using deep reinforcement learning. By using the greedy nature of deep Q-learning to estimate future rewards of actions and using the reported coordinates of the users served by the network, we propose an algorithm for voice bearers and data bearers in sub-6 GHz and millimeter wave (mmWave) frequency bands, respectively. The algorithm improves the performance measured by SINR and sum-rate capacity. In realistic cellular environments, the simulation results show that our algorithm outperforms the link adaptation industry standards for sub-6 GHz voice bearers. For data bearers in the mmWave frequency band, our algorithm approaches the maximum sum-rate capacity, but with less than 4% of the required run time.


title: Helion: Enabling a Natural Perspective of Home Automation

abstract: Security researchers have recently discovered significant security and safety issues related to home automation and developed approaches to address them. Such approaches often face design and evaluation challenges which arise from their restricted perspective of home automation that is bounded by the IoT apps they analyze. The challenges of past work can be overcome by relying on a deeper understanding of realistic home automation usage. More specifically, the availability of natural home automation scenarios, i.e., sequences of home automation events that may realistically occur in an end-user's home, could help security researchers design better security/safety systems. This paper presents Helion, a framework for building a natural perspective of home automation. Helion identifies the regularities in user-driven home automation, i.e., from user-driven routines that are increasingly being created by users through intuitive platform UIs. Our intuition for designing Helion is that smart home event sequences created by users exhibit an inherent set of semantic patterns, or naturalness that can be modeled and used to generate valid and useful scenarios. To evaluate our approach, we first empirically demonstrate that this naturalness hypothesis holds, with a corpus of 30,518 home automation events, constructed from 273 routines collected from 40 users. We then demonstrate that the scenarios generated by Helion are reasonable and valid from an end-user perspective, through an evaluation with 16 external evaluators. We further show the usefulness of Helion's scenarios by generating 17 home security/safety policies with significantly less effort than existing approaches. We conclude by discussing key takeaways and future research challenges enabled by Helion's natural perspective of home automation.


title: Magnetocaloric properties of an inhomogeneous magnetic thin film of 7.6 nm La${}_{0.7}$Sr${}_{0.3}$MnO${}_{3}$ grown on SrTiO${}_{3.}$

abstract: Magnetocaloric properties of an inhomogeneous magnetic system of a 7.6 nm La${}_{0.7}$Sr${}_{0.3}$MnO${}_{3}$ consisting of superparamagnetic (SPM) with blocking temperature ( $T_B$ = 240 K) and ferromagnetic (FM) phases ( $T_C$ = 290 K) is studied by dc magnetization measurements. Isothermal magnetization versus applied magnetic field is carried out from 100 K to 320 K in magnetic fields up to 4 kOe to determine changes in the magnetic entropy ($-\Delta S_M$) and the relative cooling power (RCP). Due to the co-existence of SPM and FM phases, there are two peaks in the temperature dependence of$-\Delta S_M$ in different applied magnetic fields from 1.3 kOe to 4 kOe. The peaks are at 220 K and 270 K which are close $T_B$ and $T_C$ of the film. The highest RCP occurs at 270 K (which is in $T_B$ $\mathrm{<}$ $T$ $\mathrm{<}$ $T_C$) in H = 4 kOe with the value of 0.19 (J/kg K). The $-\Delta S_M$ vs T data are fit to the exponent power law, $-\Delta S_M=a H^n$ where it shows good fits for the whole measured temperature range. This analysis reveals a deviation of n from $n$ = 2/3 which is likely due to the presence of SPM spin clusters in the dead layer for $T$ $\mathrm{<}$ $T_C$. Results show that the thin film of La${}_{0.7}$Sr${}_{0.3}$MnO${}_{3}$ can be a good candidate for magnetic refrigeration devices with multiple RCP peaks in low and high temperatures.


title: Competing Neural Networks for Robust Control of Nonlinear Systems

abstract: The output of physical systems is often accessible by measurements such as the 3D position of a robotic arm actuated by many actuators or the speckle patterns formed by shining the spot of a laser pointer on a wall. The selection of the input of such a system (actuators and the shape of the laser spot respectively) to obtain a desired output is difficult because it is an ill-posed problem i.e. there are multiple inputs yielding the same output. In this paper, we propose an approach that provides a robust solution to this dilemma for any physical system. We show that it is possible to find the appropriate input of a system that results in a desired output, despite the input-output relation being nonlinear and\or with incomplete measurements of the systems variables. We showcase our approach using an extremely ill-posed problem in imaging. We demonstrate the projection of arbitrary shapes through a multimode fiber (MMF) when a sample of intensity-only measurements are taken at the output. We show image projection fidelity as high as ~90 %, which is on par with the gold standard methods which characterize the system fully by phase and amplitude measurements. The generality as well as simplicity of the proposed approach provides a new way of target-oriented control in real-world applications.


title: Blowup solutions for stochastic parabolic equations

abstract: In this short paper, we are concerned with the blowup phenomenon of stochastic parabolic equations. By using comparison principle and the results of deterministic parabolic equations, we obtain blowup results of solutions for stochastic parabolic equations.


title: New hot subdwarf stars identified in Gaia DR2 with LAMOST DR5 spectra -- II

abstract: 388 hot subdwarf stars have been identified by using the Hertzsprung-Russell (HR) diagram built from the second data release (DR2) of the Gaia mission. By analyzing their observed LAMOST spectra, we characterized 186 sdB, 73 He-sdOB, 65 sdOB, 45 sdO, 12 He-sdO and 7 He-sdB stars. The atmospheric parameters of these stars (e.g., T eff , log g, log(nHe/nH)) are obtained by fitting the hydrogen (H) and helium (He) line profiles with synthetic spectra calculated from non-Local Thermodynamic Equilibrium (non-LTE) model atmospheres. Among these stars, we have 135 new identified hot subdwarfs which have not been cataloged before. Although 253 stars appear in the catalog by Geier et al. (2017) , but only 91 of them have atmospheric parameters. Together with the 294 hot subdwarf stars found by Lei et al. (2018), we identified 682 hot subdwarf stars in total by using the Gaia HR-diagram and LAMOST spectra. These results demonstrate the efficiency of our method to combine large surveys to search for hot subdwarf stars. We found a distinct gap in our He-sdOB stars based on their He abundance, which is also presented in extreme horizontal branch (EHB) stars of the globular cluster (GC) {\omega} Cen. The number fraction of the sample size for the two sub-groups is very different between the two counterparts. However, the distinct gap between the H-sdB stars and He-sdOB stars in {\omega} Cen is not visible in our sample. More interestingly, the He-sdB population with the highest He abundance in our sample is completely missing in {\omega} Cen. The discrepancy between our field hot subdwarf stars and the EHB stas in {\omega} Cen indicate different origins for the two counterparts.


title: Parity-odd Parton Distribution Functions from $\theta$-Vacuum

abstract: Quantum chromodynamics is a fundamental non-abelian gauge theory of strong interactions. The physical quantum chromodynamics vacuum state, $|\theta\rangle$, is a linear superposition of the $n$-vacua states with different topological numbers. Because of the configuration of the gauge fields, the tunneling events can induce the local parity-odd domains. Those interactions that occur in these domains can be affected by these effects. Considering the hadron (nucleon) system, we introduce the parity-odd parton distribution functions in order to describe the parity-odd structures inside the hadron in this paper. We obtain 8 parity-odd parton distribution functions at leading twist for spin-1/2 hadrons and present properties of these parton distribution functions. By introducing the parity-odd quark-quark correlator, we find the parity-odd effects vanish from the macroscopic point of view. Since the parity-odd effects are confined in small domains, we consider the high energy semi-inclusive deeply inelastic scattering process to investigate these effects by calculating the single spin asymmetries.


title: Katugampola Generalized Conformal Derivative Approach to Inada Conditions and Solow-Swan Economic Growth Model

abstract: This article shows a new focus of mathematic analysis for the Solow-Swan economic growth model, using the generalized conformal derivative Katugampola (KGCD). For this, under the same Solow-Swan model assumptions, the Inada conditions are extended, which, for the new model shown here, depending on the order of the KGCD. This order plays an important role in the speed of convergence of the closed solutions obtained with this derivative for capital (k) and for per-capita production (y) in the cases without migration and with negative migration. Our approach to the model with the KGCD adds a new parameter to the Solow-Swan model, the order of the KGCD and not a new state variable. In addition, we propose several possible economic interpretations for that parameter.


title: Cosmological Unification, Dark Energy and the Origin of Neutrino Mass

abstract: We suggest that quintessential vacuum energy could be the source of right handed neutrino masses that feed the seesaw mechanism, which may provide observed small masses to light standard neutrinos. This idea is naturally implemented in the Cosmological Unification model based on the global $SO(1,1)$ symmetry, where early inflation and late accelerated expansion of the Universe are driven by the degrees of freedom of a doublet scalar field. In this model, the $SO(1,1)$ custodial symmetry naturally provides the quintessence to standard model singlet fermion couplings that source neutrino masses. We also show that the model predicts a highly suppressed contribution to relativistic degrees of freedom from quintessential quanta at any late Universe epoch, ensuring the consistency of the model.


title: Searching for Hot Subdwarf Stars in LAMOST DR1-II. Pure spectroscopic identification method for hot subdwarfs

abstract: Employing a new machine learning method, named hierarchical extreme learning machine (HELM) algorithm, we identified 56 hot subdwarf stars in the first data release (DR1) of the Large Sky Area Multi-Object Fibre Spectroscopic Telescope (LAMOST) survey. The atmospheric parameters of the stars are obtained by fitting the profiles of hydrogen (H) Balmer lines and helium (He) lines with synthetic spectra calculated from non-Local Thermodynamic Equilibrium (NLTE) model atmospheres. Five He-rich hot subdwarf stars were found in our sample with their log(nHe/nH) > -1 , while 51 stars are He-poor sdB, sdO and sdOB stars. We also confirmed the two He sequences of hot subdwarf stars found by Edelmann et al. (2003) in Teff - log(nHe/nH) diagram. The HELM algorithm works directly on the observed spectroscopy and is able to filter out spectral properties without supplementary photometric data. The results presented in this study demonstrate that the HELM algorithm is a reliable method to search for hot subdwarf stars after a suitable training is performed, and it is also suitable to search for other objects which have obvious features in their spectra or images.


title: Meromorphic connections, determinant line bundles and the Tyurin parametrization

abstract: We develop a holomorphic equivalence between on one hand the space of pairs (stable bundle, flat connection on the bundle) and the "sheaf of holomorphic connections" (the sheaf of splittings of the one-jet sequence) for the determinant (Quillen) line bundle over the moduli space of vector bundles on a compact connected Riemann surface. This equivalence is shown to be holomorphically symplectic. The equivalences, both holomorphic and symplectic, seem to be quite general, in that they extend to other general families of holomorphic bundles and holomorphic connections, in particular those arising from "Tyurin families" of stable bundles over the surface. These families generalize the Tyurin parametrization of stable vector bundles $E$ over a compact connected Riemann surface, and one can build above them spaces of (equivalence classes of) connections, which are again symplectic. These spaces are also symplectically biholomorphically equivalent to the sheaf of connections for the determinant bundle over the Tyurin family. The last portion of the paper shows how this extends to moduli of framed bundles.


title: Regaining a spatial dimension: Mechanically transferrable two-dimensional InAs nanofins grown by selective area epitaxy

abstract: We report a method for growing rectangular InAs nanofins with deterministic length, width and height by dielectric-templated selective-area epitaxy. These freestanding nanofins can be transferred to lay flat on a separate substrate for device fabrication. A key goal was to regain a spatial dimension for device design compared to nanowires, whilst retaining the benefits of bottom-up epitaxial growth. The transferred nanofins were made into devices featuring multiple contacts for Hall effect and four-terminal resistance studies, as well as a global back-gate and nanoscale local top-gates for density control. Hall studies give a 3D electron density $2.5~-~5 \times 10^{17}$ cm$^{-3}$, corresponding to an approximate surface accumulation layer density $3~-~6 \times 10^{12}$ cm$^{-2}$ that agrees well with previous studies of InAs nanowires. We obtain Hall mobilities as high as $1200$ cm$^{2}$/Vs, field-effect mobilities as high as $4400$ cm$^{2}$/Vs and clear quantum interference structure at temperatures as high as $20$ K. Our devices show excellent prospects for fabrication into more complicated devices featuring multiple ohmic contacts, local gates and possibly other functional elements, e.g., patterned superconductor contacts, that may make them attractive options for future quantum information applications.


title: RFBNet: Deep Multimodal Networks with Residual Fusion Blocks for RGB-D Semantic Segmentation

abstract: RGB-D semantic segmentation methods conventionally use two independent encoders to extract features from the RGB and depth data. However, there lacks an effective fusion mechanism to bridge the encoders, for the purpose of fully exploiting the complementary information from multiple modalities. This paper proposes a novel bottom-up interactive fusion structure to model the interdependencies between the encoders. The structure introduces an interaction stream to interconnect the encoders. The interaction stream not only progressively aggregates modality-specific features from the encoders but also computes complementary features for them. To instantiate this structure, the paper proposes a residual fusion block (RFB) to formulate the interdependences of the encoders. The RFB consists of two residual units and one fusion unit with gate mechanism. It learns complementary features for the modality-specific encoders and extracts modality-specific features as well as cross-modal features. Based on the RFB, the paper presents the deep multimodal networks for RGB-D semantic segmentation called RFBNet. The experiments on two datasets demonstrate the effectiveness of modeling the interdependencies and that the RFBNet achieved state-of-the-art performance.


title: Robust entanglement preparation against noise by controlling spatial indistinguishability

abstract: Initialization of composite quantum systems into highly entangled states is usually a must to allow their use for quantum technologies. However, the presence of unavoidable noise in the preparation stage makes the system state mixed, thus limiting the possibility of achieving this goal. Here we address this problem in the context of identical particle systems. We define the entanglement of formation for an arbitrary state of two identical qubits within the operational framework of spatially localized operations and classical communication (sLOCC). We then introduce an entropic measure of spatial indistinguishability under sLOCC as an information resource. We show that spatial indistinguishability, even partial, may shield entanglement from noise, guaranteeing Bell inequality violations. These results prove the fundamental role of particle identity as a control for efficient noise-protected entanglement generation.


title: Terahertz Faraday and Kerr rotation spectroscopy of Bi$_{1-x}$Sb$_x$ films in high magnetic fields up to 30 Tesla

abstract: We report results of terahertz Faraday and Kerr rotation spectroscopy measurements on thin films of $\text{Bi}_{1-x}\text{Sb}_{x}$, an alloy system that exhibits a semimetal-to-topological-insulator transition as the Sb composition $x$ increases. By using a single-shot time-domain terahertz spectroscopy setup combined with a table-top pulsed mini-coil magnet, we conducted measurements in magnetic fields up to 30~T, observing distinctly different behaviors between semimetallic ($x < 0.07$) and topological insulator ($x > 0.07$) samples. Faraday and Kerr rotation spectra for the semimetallic films showed a pronounced dip that blue-shifted with the magnetic field, whereas spectra for the topological insulator films were positive and featureless, increasing in amplitude with increasing magnetic field and eventually saturating at high fields ($>$20~T). Ellipticity spectra for the semimetallic films showed resonances, whereas the topological insulator films showed no detectable ellipticity. To explain these observations, we developed a theoretical model based on realistic band parameters and the Kubo formula for calculating the optical conductivity of Landau-quantized charge carriers. Our calculations quantitatively reproduced all experimental features, establishing that the Faraday and Kerr signals in the semimetallic films predominantly arise from bulk hole cyclotron resonances while the signals in the topological insulator films represent combined effects of surface carriers originating from multiple electron and hole pockets. These results demonstrate that the use of high magnetic fields in terahertz magnetopolarimetry, combined with detailed electronic structure and conductivity calculations, allows us to unambiguously identify and quantitatively determine unique contributions from different species of carriers of topological and nontopological nature in Bi$_{1-x}$Sb$_x$.


title: Approximate matrix completion based on cavity method

abstract: In order to solve large matrix completion problems with practical computational cost, an approximate approach based on matrix factorization has been widely used. Alternating least squares (ALS) and stochastic gradient descent (SGD) are two major algorithms to this end. In this study, we propose a new algorithm, namely cavity-based matrix factorization (CBMF) and approximate cavity-based matrix factorization (ACBMF), which are developed based on the cavity method from statistical mechanics. ALS yields solutions with less iterations when compared to those of SGD. This is because its update rules are described in a closed form although it entails higher computational cost. CBMF can also write its update rules in a closed form, and its computational cost is lower than that of ALS. ACBMF is proposed to compensate a disadvantage of CBMF in terms of relatively high memory cost. We experimentally illustrate that the proposed methods outperform the two existing algorithms in terms of convergence speed per iteration, and it can work under the condition where observed entries are relatively fewer. Additionally, in contrast to SGD, (A)CBMF does not require scheduling of the learning rate.


title: Fast Convolutive Nonnegative Matrix Factorization Through Coordinate and Block Coordinate Updates

abstract: Identifying recurring patterns in high-dimensional time series data is an important problem in many scientific domains. A popular model to achieve this is convolutive nonnegative matrix factorization (CNMF), which extends classic nonnegative matrix factorization (NMF) to extract short-lived temporal motifs from a long time series. Prior work has typically fit this model by multiplicative parameter updates---an approach widely considered to be suboptimal for NMF, especially in large-scale data applications. Here, we describe how to extend two popular and computationally scalable NMF algorithms---Hierarchical Alternating Least Squares (HALS) and Alternatining Nonnegative Least Squares (ANLS)---for the CNMF model. Both methods demonstrate performance advantages over multiplicative updates on large-scale synthetic and real world data.


title: Planting Trees for scalable and efficient Canonical Hub Labeling

abstract: Point-to-Point Shortest Distance (PPSD) query is a crucial primitive in graph database applications. Hub labeling algorithms compute a labeling that converts a PPSD query into a list intersection problem (over a pre-computed indexing) enabling swift query response. However, constructing hub labeling is computationally challenging. Even state-of-the-art parallel algorithms based on Pruned Landmark Labeling (PLL) [3], are plagued by large label size, violation of given network hierarchy, poor scalability and inability to process large graphs. In this paper, we develop novel parallel shared-memory and distributed-memory algorithms for constructing the Canonical Hub Labeling (CHL) that is minimal in size for a given network hierarchy. To the best of our knowledge, none of the existing parallel algorithms guarantee canonical labeling. Our key contribution, the PLaNT algorithm, scales well beyond the limits of current practice by completely avoiding inter-node communication. PLaNT also enables the design of a collaborative label partitioning scheme across multiple nodes for completely in-memory processing of massive graphs whose labels cannot fit on a single machine. Compared to the sequential PLL, we empirically demonstrate upto 47.4x speedup on a 72 thread shared-memory platform. On a 64-node cluster, PLaNT achieves an average 42x speedup over single node execution. Finally, we show how our approach demonstrates superior scalability - we can process 14x larger graphs (in terms of label size) and construct hub labeling orders of magnitude faster compared to state-of-the-art distributed paraPLL algorithm.


title: Approximate Inference in Structured Instances with Noisy Categorical Observations

abstract: We study the problem of recovering the latent ground truth labeling of a structured instance with categorical random variables in the presence of noisy observations. We present a new approximate algorithm for graphs with categorical variables that achieves low Hamming error in the presence of noisy vertex and edge observations. Our main result shows a logarithmic dependency of the Hamming error to the number of categories of the random variables. Our approach draws connections to correlation clustering with a fixed number of clusters. Our results generalize the works of Globerson et al. (2015) and Foster et al. (2018), who study the hardness of structured prediction under binary labels, to the case of categorical labels.


title: On matrix description of D-branes

abstract: We study the low energy dynamics of a single Dp-brane carrying sufcient large number of D0-brane charges in type IIA theory. We assume the D-brane topology to be $R \times \mathcal{M}_{2n} $ , where $\mathcal{M}_{2n}$ is a closed manifold admitting a symplectic structure. We propose a new gauge fixing condition which eliminates the spatial gauge fluctuations on the Dp-brane. Using a conventional regularization method, one finds that the dynamics is characterized by D0-brane matrix description when the density of D0-branes is large enough. We also calculate the leading order interactions between two D2-branes carrying both electric and magnetic fluxes in matrix theory.


title: An\'alise Est\'atica de C\'odigo-Fonte

abstract: This article presents a theoretical summary of the source code static analysis, its definition, uses and applications, how static analysis is performed, their intermediate representation formats, models and most common analysis techniques, ends up presenting a set of free and freely available downloadable static analysis tools, academic software tools developed by scientists during their research work (The paper is written in Brazillian Portuguese).


title: Compact $sssc\bar{c}$ pentaquark states predicted by a quark model

abstract: Several compact $sssc\bar c$ pentaquark resonances are predicted in a potential quark model. The Hamiltonian is the best available one, which reproduces the masses of the low-lying charmed and strange hadrons well. Full five-body calculations are carried out by the use of the Gaussian expansion method, and the relevant baryon-meson thresholds are taken into account explicitly. Employing the real scaling method, we predict four sharp resonances, $J^P=1/2^-$ ($E=5180$ MeV, $\Gamma=20$ MeV), $5/2^-$ (5645 MeV, 30 MeV), $5/2^-$ (5670 MeV, 50 MeV), and $1/2^+$ (5360 MeV, 80 MeV). These are the candidates of compact pentaquark resonance states from the current best quark model, which should be confirmed either by experiments or lattice QCD calculations.


title: Dynamics of a micro-VCSEL operated in the threshold region under low-level optical feedback

abstract: Semiconductor lasers are notoriously sensitive to optical feedback, and their dynamics and coherence can be significantly modified through optical reinjection. We concentrate on the dynamical properties of a very small (i.e., microscale) Vertical Cavity Surface Emitting Laser (VCSEL) operated in the low coherence region between the emission of (partially) coherent pulses and ending below the accepted macroscopic lasing threshold, with the double objective of: 1. studying the feedback influence in a regime of very low energy consumption; 2. using the micro-VCSEL as a surrogate for nanolasers, where measurements can only be based on photon statistics. The experimental investigation is based on time traces and radiofrequency spectra (common for macroscale devices) and correlation functions (required at the nanoscale). Comparison of these results confirms the ability of correlation functions to satisfactorily characterize the action of feedback on the laser dynamics. Numerical predictions obtained from a previously developed, fully stochastic modeling technique provide very close agreement with the experimental observations, thus supporting the possible extension of our observations to the nanoscale.


title: DataPop: Knowledge Base Population using Distributed Voice Enabled Devices

abstract: Data scientists are constantly creating methods to efficiently and accurately populate big data sets for use in large-scale applications. Many recent efforts utilize crowd-sourcing and textual interfaces. In this paper, we propose a new method of curating data; namely, creating a multi-device Amazon Alexa Skill in the form of a research trivia game. Users experience a synchronized gaming experience with other Amazon Echo users, competing against one another while filling in gaps of a connected knowledge base. This allows for full exploitation of the speed improvement offered by voice interface technology in a game-based format.


title: Ultra-Low Surface Resistance via Vacuum Heat Treatment of Superconducting Radiofrequency Cavities

abstract: We report on an effort to improve the performance of superconducting radiofrequency cavities by the use of heat treatment in a temperature range sufficient to dissociate the natural surface oxide. We find that the residual resistance is significantly decreased, and we find an unexpected reduction in the BCS resistance. Together these result in extremely high quality factor values at relatively large accelerating fields Eacc ~20 MV/m: Q0 of 3-4x10^11 at <1.5 K and Q0 ~5x10^10 at 2.0 K. In one cavity, measurements of surface resistance versus temperature showed an extremely small residual resistance of just 0.63+/-0.06 nOhms at 16 MV/m. SIMS measurements confirm that the oxide was significantly dissociated, but they also show the presence of nitrogen after heat treatment. We also present studies of surface oxidation via exposure to air and to water, as well as the effects of very light surface removal via HF rinse. The possibilities for applications and the planned future development are discussed.


title: Improved ICH classification using task-dependent learning

abstract: Head CT is one of the most commonly performed imaging studied in the Emergency Department setting and Intracranial hemorrhage (ICH) is among the most critical and timesensitive findings to be detected on Head CT. We present BloodNet, a deep learning architecture designed for optimal triaging of Head CTs, with the goal of decreasing the time from CT acquisition to accurate ICH detection. The BloodNet architecture incorporates dependency between the otherwise independent tasks of segmentation and classification, achieving improved classification results. AUCs of 0.9493 and 0.9566 are reported on held out positive-enriched and randomly sampled sets comprised of over 1400 studies acquired from over 10 different hospitals. These results are comparable to previously reported results with smaller number of tagged studies.


title: Time-changed \levy processes and option pricing: a critical comment

abstract: Carr and Wu (2004), henceforth CW, developed a framework that encompasses almost all of the continuous-time models proposed in the option pricing literature. Their framework hinges on the stopping time property of the time changes. By analyzing the measurability of the time changes with respect to the underlying filtration, we show that all models CW proposed for the time changes fail to satisfy this assumption.


title: Northern Galactic Molecular Cloud Clumps in Hi-GAL: Clump and Star Formation within Clouds

abstract: We investigate how the properties of Galactic giant molecular clouds (GMCs) and their denser substructures (clumps) correlate with the local star formation rate. We trace clouds using the $^{12}$CO(3-2) transition, as observed by the CO High Resolution Survey (COHRS). We identify their constituent clumps using thermal dust emission, as observed by the Herschel infrared GALactic plane survey (Hi-GAL). We estimate star formation rates in these clouds using 70 $\mu$m emission. In total, we match 3,674 clumps to 473 clouds in position-position-velocity space spanning the Galactic longitude range $10^\circ<\ell<56^\circ$. We find that more massive clouds produce more clumps and more massive clumps. These clumps have average number densities an order of magnitude greater than their host clouds. We find a mean clump mass fraction of $0.20^{+0.13}_{-0.10}$. This mass fraction weakly varies with mass and mass surface density of clouds, and shows no clear dependence on the virial parameter and line width of the clouds. The average clump mass fraction is only weakly dependent upon Galactocentric radius. Although the scatter in our measured properties is significant, the star formation rate for clouds is independent of clump mass fraction. However, there is a positive correlation between the depletion times for clouds and clump mass fraction. We find a star formation efficiency per free fall time of $\epsilon_{\mathrm{ff}}=0.15\%$ for GMCs but $\epsilon_{\mathrm{ff}}=0.37\%$ for clumps.


title: GPT-based Generation for Classical Chinese Poetry

abstract: We present a simple yet effective method for generating high quality classical Chinese poetry with Generative Pre-trained Language Model (GPT). The method adopts a simple GPT model, without using any human crafted rules or features, or designing any additional neural components. While the proposed model learns to generate various forms of classical Chinese poems, including Jueju, L\"{u}shi, various Cipai and Couples, the generated poems are of very high quality. We also propose and implement a method to fine-tune the model to generate acrostic poetry. To the best of our knowledge, this is the first to employ GPT in developing a poetry generation system. We have released an online mini demonstration program on Wechat to show the generation capability of the proposed method for classical Chinese poetry.


title: Some properties of $h$-extendible domains in $\mathbb C^{n+1}$

abstract: The purpose of this article is twofold. The first aim is to characterize $h$-extendibility of smoothly bounded pseudoconvex domains in $\mathbb C^{n+1}$ by their noncompact automorphism groups. Our second goal is to show that if the squeezing function tends to $1$ at an $h$-extendible boundary point of a smooth pseudoconvex domain in $\mathbb C^{n+1}$, then this point must be strongly pseudoconvex.


title: Inclusive $\Upsilon$ production in p--Pb collisions at $\sqrt{s_{\rm NN}}$ = 8.16 TeV with ALICE at the LHC

abstract: In order to disentangle CNM effects from the ``hot'' QGP effects, quarkonium production is studied in p--Pb collisions in which QGP formation is not expected. ALICE has measured the $\Upsilon$ production in p--Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV at backward ($-$4.46 $<y_{\rm cms}<$ $-$2.96) and forward (2.03 $< y_{\rm cms}<$ 3.53) rapidity down to zero transverse momentum. At forward rapidity, a suppression of $\Upsilon$(1S) production in p--Pb collisions is observed compared to the binary-scaled yield in pp collisions in the same kinematic domain while at backward rapidity no significant suppression or enhancement is found within the experimental uncertainties. In 2016, the LHC delivered p--Pb collisions at $\sqrt{s_{\rm NN}}$ = 8.16 TeV with higher integrated luminosity compared to the data collected at $\sqrt{s_{\rm NN}}$ = 5.02 TeV, which allowed a more detailed study of the bottomonium production in p--Pb collisions. We report on the inclusive $\Upsilon$(1S) production as a function of rapidity, transverse momentum ($p_{\rm T}$) and centrality of the collision and compare the results with those obtained at $\sqrt{s_{\rm NN}}$ = 5.02 TeV. Theoretical model predictions as a function of $y_{\rm cms}$ and $p_{\rm T}$ are also discussed. The results of $\Upsilon$(2S) suppression integrated over $y_{\rm cms}$, $p_{\rm T}$ and centrality are also reported and compared to the corresponding $\Upsilon$(1S) measurement.


title: Time Dependent Conserved Charges and their Gauging -- A Modest Case Study in Shared Memory of Victor --

abstract: There exist instances of dynamical systems possessing symmetry transformations of which the conserved Noether charges generating these symmetries feature an explicit time dependence in their functional representation over phase space. The generators of such symmetries certainly do not commute with the Hamiltonian, and yet these charges are conserved observables for the classical and quantised dynamics. Furthermore within the Hamiltonian formalism and in the case of global symmetries such charges may be gauged to allow for arbitrary time dependent symmetry transformations, simply by extending the Hamiltonian to include the Noether charges as first-class constraints. An explicit illustration of these issues is presented in a simple and most familiar model that applies also to the constant gravitational force. This note draws its primary motivation from the quest towards a theory for quantum gravity, in wanting to understand better the tension existing between the local Equivalence Principle of the gravitational interaction and the fundamental principles of Quantum Mechanics by considering the formulation of quantum systems relative to reference frames that are inertial or noninertial, and thus accelerated relative to one another through arbitrary time dependent spatial translations.


title: Operational total space theory of principal 2-bundles II: 2-connections and 1- and 2--gauge transformations

abstract: The geometry of the total space of a principal bundle with regard to the action of the bundle's structure group is elegantly described by the bundle's operation, a collection of derivations consisting of the de Rham differential and the contraction and Lie derivatives of all vertical vector fields and satisfying the six Cartan relations. Connections and gauge transformations are defined by the way they behave under the action of the operation's derivations. In the first paper of a series of two extending the ordinary theory, we constructed an operational total space theory of strict principal 2--bundles with reference to the action of the structure strict 2--group. Expressing this latter through a crossed module $(\mathsans{E},\mathsans{G})$, the operation is based on the derived Lie group $\mathfrak{e}[1]\rtimes\mathsans{G}$. In this paper, the second of the series, an original formulation of the theory of $2$--connections and $1$-- and $2$--gauge transformations of principal $2$--bundles based on the operational framework is provided.


title: Axisymmetric Schwarzschild models of an isothermal axisymmetric mock dwarf spheroidal galaxy

abstract: We test the ability of Schwarzschild's orbit superposition method in measuring the mass content, scale radius and shape of a flattened dwarf spheroidal galaxy. Until now, most dynamical model efforts have assumed that dwarf spheroidal galaxies and their host halos are spherical. We use an Evans model (1993) to construct an isothermal mock galaxy whose properties somewhat resemble those of the Sculptor dwarf spheroidal galaxy. This mock galaxy contains flattened luminous and dark matter components, resulting in a logarithmic profile for the global potential. We have tested how well our Schwarzschild method could constrain the characteristic parameters of the system for different sample sizes, and also if the functional form of the potential was unknown. When assuming the true functional form of the potential, the Schwarzschild modelling technique is able to provide an accurate and precise measurement of the characteristic mass parameter of the system and reproduces well the light distribution and the stellar kinematics of our mock galaxy. When assuming a different functional form for the potential, such as a flattened NFW profile, we also constrain the mass and scale radius to their expected values. However in both cases, we find that the flattening parameter remains largely unconstrained. This is likely because the information content of the velocity dispersion on the geometric shape of the potential is too small, since $\sigma$ is constant across our mock dSph. Our results using Schwarzschild's method indicate that the mass enclosed can be derived reliably, even if the flattening parameter is unknown, and already for samples containing 2000 line-of-sight radial velocities, such as those currently available. Further applications of the method to more general distribution functions of flattened systems are needed to establish how well the flattening of dSph dark halos can be determined.


title: Progressive Fashion Attribute Extraction

abstract: Extracting fashion attributes from images of people wearing clothing/fashion accessories is a very hard multi-class classification problem. Most often, even catalogues of fashion do not have all the fine-grained attributes tagged due to prohibitive cost of annotation. Using images of fashion articles, running multi-class attribute extraction with a single model for all kinds of attributes (neck design detailing, sleeves detailing, etc) requires classifiers that are robust to missing and ambiguously labelled data. In this work, we propose a progressive training approach for such multi-class classification, where weights learnt from an attribute are fine tuned for another attribute of the same fashion article (say, dresses). We branch networks for each attributes from a base network progressively during training. While it may have many labels, an image doesn't need to have all possible labels for fashion articles present in it. We also compare our approach to multi-label classification, and demonstrate improvements over overall classification accuracies using our approach.


title: Self-Assembly Formed by Spherical Patchy Particles with Long-Range Attraction

abstract: We report on self-assemblies formed from spherical patchy particles interacting by a long-range attraction through a patch region in a two-dimensional system. We performed Monte Carlo simulations to find stable structures in a system with constant number of particles under constant temperature and constant pressure (NPT system), in which particles interact via the Kern--Frenkel potential. We also performed Brownian dynamics simulations employing an interaction potential similar to the Kern--Frenkel potential to study the formation of those structures. For long-range attractive potentials, we describe how these stable structures and their formation depend on the coverage of the patch. Under high pressure, when the coverage is small, triangular lattices are formed as reported in previous papers. From our simulations, we find when the pressure is low short chain-like structures, in which the distance between particles is long, and square clusters, which are not formed with a short-range attractive potential, are formed. When the coverage of the patch region is large, square clusters are formed since the interaction between particles is stronger than that for with small coverage When the coverage ratio is larger than 0.5, the direction of the patch is perpendicular to the plane in which the particles are placed.


title: Cohn-Leavitt path algebras of bi-separated graphs

abstract: The purpose of this paper is to provide a common framework for studying various generalizations of Leavitt algebras and Leavitt path algebras. This paper consists of two parts. In part I we define Cohn-Leavitt path algebras of a new class of graphs with an additional structure called bi-separated graphs, which generalize the constructions of Leavitt path algebras of various types of graphs. We define and study the category \textbf{BSG} of bi-separated graphs with appropriate morphisms so that the functor which associates a bi-separated graph to its Cohn-Leavitt path algebra is continuous. We also characterize a full subcategory of \textbf{BSG} whose objects are direct limits of finite complete subobjects. We compute normal forms of these algebras and apply them to study some algebraic theoretic properties in terms of bi-separated graph-theoretic properties. In part II we specialize our attention to Cohn-Leavitt path algebras of a special class of bi-separated graphs called B-hypergraphs. We investigate their non-stable K-theory and show that the lattice of order-ideals of V-monoids of these algebras is determined by bi-separated graph-theoretic data. Using this information we study representations of Leavitt path algebras of regular hypergraphs and also find a matrix criterion for Leavitt path algebras of finite hypergraphs to have IBN property.


title: Decomposable Branching Processes and Viral Marketing

abstract: The decomposable branching processes are relatively less studied objects, particularly in the continuous time framework. In this paper, we consider various variants of decomposable continuous time branching processes. As usual practice in the theory of decomposable branching processes, we group various types into irreducible classes. These irreducible classes evolve according to the well-studied nondecomposable/ irreducible branching processes. And we investigate the time evolution of the population of various classes when the process is initiated by the other class particle(s). We obtained class-wise extinction probability and the time evolution of the population in the different classes. We then studied another peculiar type of decomposable branching process where any parent at the transition epoch either produces a random number of offspring, or its type gets changed (which may or may not be regarded as new offspring produced depending on the application). Such processes arise in modeling the content propagation of competing contents in online social networks. Here also, we obtain various performance measures. Additionally, we conjecture that the time evolution of the expected number of shares (different from the total progeny in irreducible branching processes) is given by the sum of two exponential curves corresponding to the two different classes.


title: trialr: Bayesian Clinical Trial Designs in R and Stan

abstract: This manuscript introduces an \proglang{R} package called \pkg{trialr} that implements a collection of clinical trial methods in \proglang{Stan} and \proglang{R}. In this article, we explore three methods in detail. The first is the continual reassessment method for conducting phase I dose-finding trials that seek a maximum tolerable dose. The second is EffTox, a dose-finding design that scrutinises doses by joint efficacy and toxicity outcomes. The third is the augmented binary method for modelling the probability of treatment success in phase II oncology trials with reference to repeated measures of continuous tumour size and binary indicators of treatment failure. We emphasise in this article the benefits that stem from having access to posterior samples, including flexible inference and powerful visualisation. We hope that this package encourages the use of Bayesian methods in clinical trials.


title: CPT- and Lorentz-Violation Tests with Muon g-2

abstract: The status of Lorentz- and CPT-violation searches using measurements of the anomalous magnetic moment of the muon is reviewed. Results from muon g-2 experiments have set the majority of the most stringent limits on Standard- Model Extension Lorentz and CPT violation in the muon sector. These limits are consistent with calculations of the level of Standard-Model Extension effects required to account for the current 3.7{\sigma} experiment-theory discrepancy in the muon's g-2. The prospects for the new Muon g-2 Experiment at Fermilab to improve upon these searches is presented.


title: Inter-qubit interaction mediated by collective modes in a linear array of three-dimensional cavities

abstract: A design of LEGO-like construction set that allows assembling of different linear arrays of three-dimensional (3D) cavities and qubits for circuit quantum electrodynamics (cQED) experiments has been developed. A study of electromagnetic properties of qubit-3D cavity arrays has been done by using high frequency structure simulator (HFSS). A technique for estimation of inter-qubit coupling strength between qubits embedded in different cavities of cavity array, which combines Hamiltonian description of the system with simple HFSS simulations, has been proposed. A good agreement between inter-qubit coupling strengths, which were obtained by using this technique and directly from simulation, demonstrates the suitability of the method for more complex qubit-cavity arrays where usage of finite-element electromagnetic simulators is limited.


title: On the Privacy Risks of Model Explanations

abstract: Privacy and transparency are two key foundations of trustworthy machine learning. Model explanations offer insights into a model's decisions on input data, whereas privacy is primarily concerned with protecting information about the training data. We analyze connections between model explanations and the leakage of sensitive information about the model's training set. We investigate the privacy risks of feature-based model explanations using membership inference attacks: quantifying how much model predictions plus their explanations leak information about the presence of a datapoint in the training set of a model. We extensively evaluate membership inference attacks based on feature-based model explanations, over a variety of datasets. We show that backpropagation-based explanations can leak a significant amount of information about individual training datapoints. This is because they reveal statistical information about the decision boundaries of the model about an input, which can reveal its membership. We also empirically investigate the trade-off between privacy and explanation quality, by studying the perturbation-based model explanations.


title: No experimental evidence for the significant anthropogenic climate change

abstract: In this paper we will prove that GCM-models used in IPCC report AR5 fail to calculate the influences of the low cloud cover changes on the global temperature. That is why those models give a very small natural temperature change leaving a very large change for the contribution of the green house gases in the observed temperature. This is the reason why IPCC has to use a very large sensitivity to compensate a too small natural component. Further they have to leave out the strong negative feedback due to the clouds in order to magnify the sensitivity. In addition, this paper proves that the changes in the low cloud cover fraction practically control the global temperature.


title: Speeding up adiabatic passage with an optimal modified Roland-Cerf protocol

abstract: In this article we propose a novel method to accelerate adiabatic passage in a two-level system with only longitudinal field (detuning) control, while the transverse field is kept constant. The suggested method is a modification of the Roland-Cerf protocol, during which the parameter quantifying local adiabaticity is held constant. Here, we show that with a simple ``on-off" modulation of this local adiabaticity parameter, a perfect adiabatic passage can be obtained for every duration larger than the lower bound $\pi/\Omega$, where $\Omega$ is the constant transverse field. For a fixed maximum amplitude of the local adiabaticity parameter, the timings of the ``on-off" pulse-sequence which achieves perfect fidelity in minimum time are obtained using optimal control theory. The corresponding detuning control is continuous and monotonic, a significant advantage compared to the detuning variation at the quantum speed limit which includes non-monotonic jumps. The proposed methodology can be applied in several important core tasks in quantum computing, for example to the design of a high fidelity controlled-phase gate, which can be mapped to the adiabatic quantum control of such a qubit. Additionally, it is expected to find applications across all Physics disciplines which exploit the adiabatic control of such a two-level system.


title: A linearly implicit structure-preserving scheme for the Camassa-Holm equation based on multiple scalar auxiliary variables approach

abstract: In this paper, we present a linearly implicit energy-preserving scheme for the Camassa-Holm equation by using the multiple scalar auxiliary variables approach, which is first developed to construct efficient and robust energy stable schemes for gradient systems. The Camassa-Holm equation is first reformulated into an equivalent system by utilizing the multiple scalar auxiliary variables approach, which inherits a modified energy. Then, the system is discretized in space aided by the standard Fourier pseudo-spectral method and a semi-discrete system is obtained, which is proven to preserve a semi-discrete modified energy. Subsequently, the linearized Crank-Nicolson method is applied for the resulting semi-discrete system to arrive at a fully discrete scheme. The main feature of the new scheme is to form a linear system with a constant coefficient matrix at each time step and produce numerical solutions along which the modified energy is precisely conserved, as is the case with the analytical solution. Several numerical results are addressed to confirm accuracy and efficiency of the proposed scheme.


title: The CUED's Grammatical Error Correction Systems for BEA-2019

abstract: We describe two entries from the Cambridge University Engineering Department to the BEA 2019 Shared Task on grammatical error correction. Our submission to the low-resource track is based on prior work on using finite state transducers together with strong neural language models. Our system for the restricted track is a purely neural system consisting of neural language models and neural machine translation models trained with back-translation and a combination of checkpoint averaging and fine-tuning -- without the help of any additional tools like spell checkers. The latter system has been used inside a separate system combination entry in cooperation with the Cambridge University Computer Lab.


title: Liquid-Fed Pulsed Plasma Thruster for Propelling Nanosatellites

abstract: This paper presents a novel micropropulsion system for nanosatellite applications - a liquid fed pulsed-plasma thruster (LF-PPT) comprised of a Lorentz-force pulsed plasma accelerator (PPA) and a low-energy surface flashover (LESF) igniter. A 3 {\mu}F / 2 kV capacitor bank, offering shot energies of < 6 J, supported PPA current pulsed durations of ~ 16 {\mu}s with observed peaks of 7.42 kA. Plasma jet exhaust velocity was measured at ~ 32 km/s using a time-of-flight technique via a set of double probes located along the jet's path. Intensified charge coupled device (ICCD) photography was concurrently leveraged to visualize plasma dynamics and mechanisms of the ignition / acceleration events. A peak thrust and impulse bit of 5.8 N and 35 {\mu}Ns, respectively, were estimated using large-area Langmuir probe measurements of total ion flux produced by the thruster.


title: Nonadiabatic escape and stochastic resonance

abstract: We analyze the fluctuation-driven escape of particles from a metastable state under the influence of a weak periodic force. We develop an asymptotic method to solve the appropriate Fokker-Planck equation with mixed natural and absorbing boundary conditions. The approach uses two boundary layers flanking an interior region; most of the probability is concentrated within the boundary layer near the metastable point of the potential and particles transit the interior region before exiting the domain through the other boundary layer, which is near the unstable maximal point of the potential. The dominant processes in each region are given by approximate time-dependent solutions matched to construct the approximate composite solution, which gives the rate of escape with weak periodic forcing. Using reflection we extend the method to a double well potential influenced by white noise and weak periodic forcing, and thereby derive a two-state stochastic model--the simplest treatment of stochastic resonance theory--in the nonadiabatic limit


title: Precise Local Estimates for Hypoelliptic Differential Equations driven by Fractional Brownian Motions

abstract: This article is concerned with stochastic differential equations driven by a $d$ dimensional fractional Brownian motion with Hurst parameter $H>1/4$, understood in the rough paths sense. Whenever the coefficients of the equation satisfy a uniform hypoellipticity condition, we establish a sharp local estimate on the associated control distance function and a sharp local lower estimate on the density of the solution. Our methodology relies heavily on the rough paths structure of the equation.


title: Model Checking a C++ Software Framework, a Case Study

abstract: This paper presents a case study on applying two model checkers, SPIN and DIVINE, to verify key properties of a C++ software framework, known as ADAPRO, originally developed at CERN. SPIN was used for verifying properties on the design level. DIVINE was used for verifying simple test applications that interacted with the implementation. Both model checkers were found to have their own respective sets of pros and cons, but the overall experience was positive. Because both model checkers were used in a complementary manner, they provided valuable new insights into the framework, which would arguably have been hard to gain by traditional testing and analysis tools only. Translating the C++ source code into the modeling language of the SPIN model checker helped to find flaws in the original design. With DIVINE, defects were found in parts of the code base that had already been subject to hundreds of hours of unit tests, integration tests, and acceptance tests. Most importantly, model checking was found to be easy to integrate into the workflow of the software project and bring added value, not only as verification, but also validation methodology. Therefore, using model checking for developing library-level code seems realistic and worth the effort.


title: Fast Accurate Beam and Channel Tracking for Two-dimensional Phased Antenna Arrays

abstract: The sparsity and the severe attenuation of millimeter-wave (mmWave) channel imply that highly directional communication is needed. The narrow beam produced by large array requires accurate alignment, which is difficult to achieve when serving fast-moving users. In this paper, we focus on accurate two-dimensional (2D) beam and channel tracking problem aiming at minimizing exploration overhead and tracking error. Using a typical frame structure with periodic exploration and communication, a proven minimum overhead of exploration is provided first. Then tracking algorithms are designed for three types of channels with different dynamic properties. It is proved that the algorithms for quasi-static channels and channels in Dynamic Case I are optimal in approaching the minimum Cramer-Rao lower bound (CRLB). The computational complexity of our algorithms is analyzed showing their efficiency, and simulation results verify their advantages in both tracking error and tracking speed.


title: The Engineering of Software-Defined Quantum Key Distribution Networks

abstract: Quantum computers will change the cryptographic panorama. A technology once believed to lay far away into the future is increasingly closer to real world applications. Quantum computers will break the algorithms used in our public key infrastructure and in our key exchange protocols, forcing a complete retooling of the cryptography as we know it. Quantum Key distribution is a physical layer technology immune to quantum or classical computational threats. However, it requires a physical substrate, and optical fiber has been the usual choice. Most of the time used just as a point to point link for the exclusive transport of the delicate quantum signals. Its integration in a real-world shared network has not been attempted so far. Here we show how the new programmable software network architectures, together with specially designed quantum systems can be used to produce a network that integrates classical and quantum communications, including management, in a single, production-level infrastructure. The network can also incorporate new quantum-safe algorithms and use the existing security protocols, thus bridging the gap between today's network security and the quantum-safe network of the future. This can be done in an evolutionary way, without zero-day migrations and the corresponding upfront costs. We also present how the technologies have been deployed in practice using a production network.


title: Violation of Mermin's version of a Bell inequality in a classical statistical model

abstract: We investigate a classical statistical model and show that Mermin's version of a Bell inequality is violated. We get this violation, if the measurement modifies the ensemble, a feature, which is also characteristic for measurement processes for quantum systems.


title: HE Stratosphere Event of 1975 Revisited: the Difference between the Patterns of Astroparticle Interaction and LHC Nucleus-Nucleus Collision

abstract: The event of astroparticle collision at high energy was detected in 1975 during the balloon flight in the stratosphere. The data of hundred particle tracks in x-ray films have been re-analyzed in the style of LHC experiments: rapidity distributions of charged particles and transverse mass spectra of multi-particle production have been built. The comparison of multiple histograms with the expectations of the Quark-Gluon String Model (QGSM) gives us, at first sight, the conclusion that it might be the carbon-nucleus collision with the matter of atmosphere at the c.m.s. equivalent energy $\sqrt{s} \ge $ 5 TeV. Nevertheless, the data indicate the features that cannot be associated with nucleus-nucleus collision: one particle with transverse mass 16 GeV was detected and a small nucleon population has been seen in the region of projectile fragmentation that does not correspond to the carbon nucleus collision. Both facts make us convinced that there might be a baryonic DM decay (Piskounova O., 2018). Baryonic DM particles are to be formed at the huge gravitation pressure in giant massive objects like Black Holes. Relativistic jets are spreading the baryonic DM in space. The important difference between this form of matter and the ordinary nucleus lies in the results of collision: baryonic DM is the object, where protons and antiprotons are strongly connected, so the energy is divided between nucleon components due to the structure function of Regge type, like for quarks in the proton. The lightest debris of baryonic DM particle interacts with the greatest maximal rapidity and gives the small number of nucleons in the forwarding part of spectra. Baryonic DM can also split into the pair of similar DM with lower mass giving an unusual couple of hadrons with mass like 14 GeV and heavier.


title: Elastic Form Factors of Nucleon Excitations in Lattice QCD

abstract: First principles calculations of the form factors of baryon excitations are now becoming accessible through advances in Lattice QCD techniques. In this paper, we explore the utility of the parity-expanded variational analysis (PEVA) technique in calculating the Sachs electromagnetic form factors for excitations of the proton and neutron. We study the two lowest-lying odd-parity excitations and demonstrate that at heavier quark masses, these states are dominated by behaviour consistent with constituent quark models for the $N^*(1535)$ and $N^*(1650)$, respectively. We also study the lowest-lying localised even-parity excitation, and find that its form factors are consistent with a radial excitation of the ground state nucleon. A comparison of the results from the PEVA technique with those from a conventional variational analysis exposes the necessity of the PEVA approach in baryon excited-state studies.


title: Music Performance Analysis: A Survey

abstract: Music Information Retrieval (MIR) tends to focus on the analysis of audio signals. Often, a single music recording is used as representative of a "song" even though different performances of the same song may reveal different properties. A performance is distinct in many ways from a (arguably more abstract) representation of a "song," "piece," or musical score. The characteristics of the (recorded) performance -- as opposed to the score or musical idea -- can have a major impact on how a listener perceives music. The analysis of music performance, however, has been traditionally only a peripheral topic for the MIR research community. This paper surveys the field of Music Performance Analysis (MPA) from various perspectives, discusses its significance to the field of MIR, and points out opportunities for future research in this field.


title: Forecast for weighing neutrinos in cosmology with SKA

abstract: We investigate what role the SKA neutral hydrogen (HI) intensity mapping (IM) sky survey observation will play in weighing neutrinos in cosmology. We use the simulated data of the baryon acoustic oscillation (BAO) measurements from the HI IM survey based on SKA1 and SKA2 to do the analysis. For the current observations, we use the Planck 2015 cosmic microwave background (CMB) anisotropies observation, the optical BAO measurements, the type Ia supernovae (SN) observation (Pantheon compilation), and the latest $H_0$ measurement. We consider three mass ordering cases for massive neutrinos, i.e., the normal hierarchy (NH), inverted hierarchy (IH), and degenerate hierarchy (DH) cases. It is found that the SKA observation can significantly improve the constraints on $\Omega_{\rm m}$ and $H_0$. Compared to the current observation, the SKA1 data can improve the constraints on $\Omega_{\rm m}$ by about 33%, and on $H_0$ by about 36%; the SKA2 data can improve the constraints on $\Omega_{\rm m}$ by about 58%, and on $H_0$ by about 66%. It is also found that the SKA observation can only slightly improve the constraints on $\sum m_\nu$. Compared to the current observation, the SKA1 data can improve the constraints on $\sum m_\nu$ by about 4%, 3%, and 10%, for the NH, IH, and DH cases, respectively; the SKA2 data can improve the constraints on $\sum m_\nu$ by about 7%, 7%, and 16%, for the NH, IH, and DH cases, respectively.


title: The GeV emission in the field of the star-forming region W30 revisited

abstract: We present a detailed study of the gamma-ray emission from the direction of the star-forming region W30 based on a decade of the Fermi Large Area Telescope data in the 0.3-300 GeV photon energy range. The morphological and spectral analyses allow us to resolve the gamma-ray emission into two extended structures from different origins. One of them mostly overlaps with the supernova remnant (SNR) G8.7-0.1 and has a soft spectrum that resembles with the spectra of other middle-aged SNRs interacting with molecular clouds. The other shows remarkable spatial and spectral consistency with the TeV emission from HESS J1804-216, and its spectrum could be naturally explained by inverse Compton scattering of electrons like a number of TeV gamma-ray emitting pulsar wind nebulae. Thus we attribute this source to the nebula around the pulsar PSR J1803-2137.


title: Fake News Detection using Stance Classification: A Survey

abstract: This paper surveys and presents recent academic work carried out within the field of stance classification and fake news detection. Echo chambers and the model organism problem are examples that pose challenges to acquire data with high quality, due to opinions being polarised in microblogs. Nevertheless it is shown that several machine learning approaches achieve promising results in classifying stance. Some use crowd stance for fake news detection, such as the approach in [Dungs et al., 2018] using Hidden Markov Models. Furthermore feature engineering have significant importance in several approaches, which is shown in [Aker et al., 2017]. This paper additionally includes a proposal of a system implementation based on the presented survey.


title: Continual Learning for Robotics: Definition, Framework, Learning Strategies, Opportunities and Challenges

abstract: Continual learning (CL) is a particular machine learning paradigm where the data distribution and learning objective changes through time, or where all the training data and objective criteria are never available at once. The evolution of the learning process is modeled by a sequence of learning experiences where the goal is to be able to learn new skills all along the sequence without forgetting what has been previously learned. Continual learning also aims at the same time at optimizing the memory, the computation power and the speed during the learning process. An important challenge for machine learning is not necessarily finding solutions that work in the real world but rather finding stable algorithms that can learn in real world. Hence, the ideal approach would be tackling the real world in a embodied platform: an autonomous agent. Continual learning would then be effective in an autonomous agent or robot, which would learn autonomously through time about the external world, and incrementally develop a set of complex skills and knowledge. Robotic agents have to learn to adapt and interact with their environment using a continuous stream of observations. Some recent approaches aim at tackling continual learning for robotics, but most recent papers on continual learning only experiment approaches in simulation or with static datasets. Unfortunately, the evaluation of those algorithms does not provide insights on whether their solutions may help continual learning in the context of robotics. This paper aims at reviewing the existing state of the art of continual learning, summarizing existing benchmarks and metrics, and proposing a framework for presenting and evaluating both robotics and non robotics approaches in a way that makes transfer between both fields easier.


title: Exact exchange-correlation potential of effectively interacting Kohn-Sham systems

abstract: Aiming to combine density functional theory (DFT) and wavefunction theory, we study a mapping from the many-body interacting system to an effectively-interacting Kohn-Sham system instead of a non-interacting Kohn-Sham system. Because a ground state of effectively-interacting systems requires having a solution for the correlated many-body wavefunctions, this provides a natural framework to many-body wavefunction theories such as the configuration interaction and the coupled cluster method in the formal theoretical framework of DFT. Employing simple one-dimensional two-electron systems -- namely, the one-dimensional helium atom, hydrogen molecule and heteronuclear diatomic molecule -- we investigate properties of many-body wavefunctions and exact exchange-correlation potentials of effectively-interacting Kohn-Sham systems. As a result, we find that the asymptotic behavior of the exact exchange-correlation potential can be controlled by optimizing that of the effective interaction. Furthermore, the typical features of the exact non-interacting Kohn-Sham system, namely a spiky feature and a step feature in the exchange-correlation potential for the molecular dissociation limit can be suppressed by a proper choice of the effective interaction. These findings open a possibility to construct numerically robust and efficient exchange-correlation potentials and functionals based on the effectively-interacting Kohn-Sham scheme.


title: Empirical Evaluation of Sequence-to-Sequence Models for Word Discovery in Low-resource Settings

abstract: Since Bahdanau et al. [1] first introduced attention for neural machine translation, most sequence-to-sequence models made use of attention mechanisms [2, 3, 4]. While they produce soft-alignment matrices that could be interpreted as alignment between target and source languages, we lack metrics to quantify their quality, being unclear which approach produces the best alignments. This paper presents an empirical evaluation of 3 main sequence-to-sequence models (CNN, RNN and Transformer-based) for word discovery from unsegmented phoneme sequences. This task consists in aligning word sequences in a source language with phoneme sequences in a target language, inferring from it word segmentation on the target side [5]. Evaluating word segmentation quality can be seen as an extrinsic evaluation of the soft-alignment matrices produced during training. Our experiments in a low-resource scenario on Mboshi and English languages (both aligned to French) show that RNNs surprisingly outperform CNNs and Transformer for this task. Our results are confirmed by an intrinsic evaluation of alignment quality through the use of Average Normalized Entropy (ANE). Lastly, we improve our best word discovery model by using an alignment entropy confidence measure that accumulates ANE over all the occurrences of a given alignment pair in the collection.


title: P-hacking in clinical trials and how incentives shape the distribution of results across phases

abstract: Clinical research should conform to high standards of ethical and scientific integrity, given that human lives are at stake. However, economic incentives can generate conflicts of interest for investigators, who may be inclined to withhold unfavorable results or even tamper with data in order to achieve desired outcomes. To shed light on the integrity of clinical trial results, this paper systematically analyzes the distribution of p-values of primary outcomes for phase II and phase III drug trials reported to the ClinicalTrials.gov registry. First, we detect no bunching of results just above the classical 5% threshold for statistical significance. Second, a density discontinuity test reveals an upward jump at the 5% threshold for phase III results by small industry sponsors. Third, we document a larger fraction of significant results in phase III compared to phase II. Linking trials across phases, we find that early favorable results increase the likelihood of continuing into the next phase. Once we take into account this selective continuation, we can explain almost completely the excess of significant results in phase III for trials conducted by large industry sponsors. For small industry sponsors, instead, part of the excess remains unexplained.


title: Integral representation using Green function for fractional Hardy equation

abstract: Our main aim is to study Green function for the fractional Hardy operator $P:=(-\Delta)^s -\frac{\theta}{|x|^{2s}}$ in $\mathbb{R}^N$, where $0<\theta<\Lambda_{N,s}$ and $\Lambda_{N,s}$ is the best constant in the fractional Hardy inequality. Using Green function, we also show that the integral representation of the weak solution holds.


title: Centimeter-scale propagation of optical surface waves at visible wavelengths

abstract: Guiding and confining light at interfaces is crucial for applications involving light-matter interactions such as surface spectroscopy, nonlinear optics, and quantum information technology. While dielectric surface waves offer promising perspectives for strong light confinement at non-absorbing interfaces, their capacity has not yet been widely explored. Here, we focus on the propagation properties of optical modes supported at the free surface of a one-dimensional photonic crystal. The contributions of intrinsic and extrinsic loss mechanisms are investigated. Structures optimized to support long propagating optical surface waves are designed and fabricated. We experimentally demonstrate, for the first time, the existence of optical surface waves capable of propagating over centimeter-scale distances in the visible spectral range. Our results open new perspectives for the use of optical surface waves in integrated optics and enhanced light-matter interactions.


title: Theta Blocks

abstract: We define theta blocks as products of Jacobi theta functions divided by powers of the Dedekind eta-function and show that they give a powerful new method to construct Jacobi forms and Siegel modular forms, with applications also in lattice theory and algebraic geometry. One of the central questions is when a theta block defines a Jacobi form. It turns out that this seemingly simple question is connected to various deep problems in different fields ranging from Fourier analysis over infinite-dimensional Lie algebras to the theory of moduli spaces in algebraic geometry. We give several answers to this question.


title: Unveiling Dust Aggregate Structure in Protoplanetary Disks by Millimeter-wave Scattering Polarization

abstract: Dust coagulation in a protoplanetary disk is the first step of planetesimal formation. However, a pathway from dust aggregates to planetesimals remains unclear. Both numerical simulations and laboratory experiments have suggested the importance of dust structure in planetesimal formation, but it is not well constrained by observations. We study how dust structure and porosity alters polarimetric images at millimeter wavelength by performing 3D radiative transfer simulations. Aggregates with different porosity and fractal dimension are considered. As a result, we find that dust aggregates with lower porosity and/or higher fractal dimension are favorable to explain observed millimeter-wave scattering polarization of disks. Aggregates with extremely high porosity fail to explain the observations. In addition, we also show that particles with moderate porosity show weak wavelength dependence of scattering polarization, indicating that multi-wavelength polarimetry is useful to constrain dust porosity. Finally, we discuss implications for dust evolution and planetesimal formation in disks.


title: Distributed Design of Robust Kalman Filters over Corrupted Channels

abstract: We study distributed filtering for a class of uncertain systems over corrupted communication channels. We propose a distributed robust Kalman filter with stochastic gains, through which upper bounds of the conditional mean square estimation errors are calculated online. We present a robust collective observability condition, under which the mean square error of the distributed filter is proved to be uniformly upper bounded if the network is strongly connected. For better performance, we modify the filer by introducing a switching fusion scheme based on a sliding window. It provides a smaller upper bound of the conditional mean square error. Numerical simulations are provided to validate the theoretical results and show that the filter scales to large networks.


title: Distributed generalized Nash equilibrium seeking in aggregative games on time-varying networks

abstract: We design the first fully-distributed algorithm for generalized Nash equilibrium seeking in aggregative games on a time-varying communication network, under partial-decision information, i.e., the agents have no direct access to the aggregate decision. The algorithm is derived by integrating dynamic tracking into a projected pseudo-gradient algorithm. The convergence analysis relies on the framework of monotone operator splitting and the Krasnosel'skii-Mann fixed-point iteration with errors.


title: Recurrence along directions in multidimensional words

abstract: In this paper we introduce and study new notions of uniform recurrence in multidimensional words. A $d$-dimensional word is called \emph{uniformly recurrent} if for all $(s_1,\ldots,s_d)\in\mathbb{N}^d$ there exists $n\in\mathbb{N}$ such that each block of size $(n,\ldots,n)$ contains the prefix of size $(s_1,\ldots,s_d)$. We are interested in a modification of this property. Namely, we ask that for each rational direction $(q_1,\ldots,q_d)$, each rectangular prefix occurs along this direction in positions $\ell(q_1,\ldots,q_d)$ with bounded gaps. Such words are called \emph{uniformly recurrent along all directions}. We provide several constructions of multidimensional words satisfying this condition, and more generally, a series of four increasingly stronger conditions. In particular, we study the uniform recurrence along directions of multidimentional rotation words and of fixed points of square morphisms.