title: 82 Treebanks, 34 Models: Universal Dependency Parsing with Multi-Treebank Models

abstract: We present the Uppsala system for the CoNLL 2018 Shared Task on universal dependency parsing. Our system is a pipeline consisting of three components: the first performs joint word and sentence segmentation; the second predicts part-of- speech tags and morphological features; the third predicts dependency trees from words and tags. Instead of training a single parsing model for each treebank, we trained models with multiple treebanks for one language or closely related languages, greatly reducing the number of models. On the official test run, we ranked 7th of 27 teams for the LAS and MLAS metrics. Our system obtained the best scores overall for word segmentation, universal POS tagging, and morphological features.


title: Exploring the Role of a Tachocline in M-Dwarf Magnetism

abstract: M-type stars are quickly stepping into the forefront as some of the best candidates in searches for habitable Earth-like exoplanets, and yet many M-dwarfs exhibit extraordinary flaring events which would bombard otherwise habitable planets with ionizing radiation. In recent years, observers have found that the fraction of M-stars demonstrating significant magnetic activity transitions sharply from roughly $10\%$ for main-sequence stars earlier (more massive) than spectral type M3.5 (0.35 M$_\odot$) to nearly $90\%$ for stars later than M3.5. Suggestively, it is also later than M3.5 at which main-sequence stars become fully convective, and may no longer contain a tachocline. Using the spherical 3D MHD simulation code Rayleigh, we compare the peak field strengths, topologies, and time dependencies of convective dynamos generated within a quickly rotating (2 $\Omega_\odot$) M2 (0.4 M$_\odot$) star, with the computational domain either terminating at the base of the convection zone or including the tachocline. We find that while both models generate strong ($\sim$10kG), wreathlike toroidal fields exhibiting polarity reversals, the tachocline model provided a further reservoir for the toroidal field, which slowed the average reversal period from 100 rotations to more than 220 rotations and increased the spectral power of the low-order modes of the near-surface radial field by a factor of 4.


title: Higher dimensional obstructions for star reductions

abstract: A $*$-reduction between two equivalence relations is a Baire measurable reduction which preserves generic notions, i.e., preimages of meager sets are meager. We show that a $*$-reduction between orbit equivalence relations induces generically an embedding between the associated Becker graphs. We introduce a notion of dimension for Polish $G$-spaces which is generically preserved under $*$-reductions. For every natural number $n$ we define a free action of $S_{\infty}$ whose dimension is $n$ on every invariant Baire measurable non-meager set. We also show that the $S_{\infty}$-space which induces the equivalence relation $=^{+}$ of countable sets of reals is $\infty$-dimensional on every invariant Baire measurable non-meager set. We conclude that the orbit equivalence relations associated to all these actions are pairwise incomparable with respect to $*$-reductions.


title: Hypergames and Cyber-Physical Security for Control Systems

abstract: The identification of the Stuxnet worm in 2010 provided a highly publicized example of a cyber attack used to damage an industrial control system physically. This raised public awareness about the possibility of similar attacks against other industrial targets -- including critical infrastructure. In this paper, we use hypergames to analyze how adversarial perturbations, like those used by Stuxnet, can be used to manipulate a system that employs optimal control. Hypergames form an extension of game theory that enables us to model strategic interactions where the players may have significantly different perceptions of the game(s) they are playing. Past work with hypergames has been limited to relatively simple interactions consisting of a small set of discrete choices for each player, but here, we apply hypergames to larger systems with continuous variables. We find that manipulating constraints can be a more effective attacker strategy than directly manipulating objective function parameters. Moreover, the attacker need not change the underlying system to carry out a successful attack -- it may be sufficient to deceive the defender controlling the system. It is possible to scale our approach up to even larger systems, but the ability to do so will depend on the characteristics of the system in question, and we identify several characteristics that will make those systems amenable to hypergame analysis.


title: Sequential Model Selection Method for Nonparametric Autoregression

abstract: In this paper for the first time the nonparametric autoregression estimation problem for the quadratic risks is considered. To this end we develop a new adaptive sequential model selection method based on the efficient sequential kernel estimators proposed by Arkoun and Pergamenshchikov (2016). Moreover, we develop a new analytical tool for general regression models to obtain the non asymptotic sharp or- acle inequalities for both usual quadratic and robust quadratic risks. Then, we show that the constructed sequential model selection proce- dure is optimal in the sense of oracle inequalities.


title: Scheme-Independent Calculations of Properties at a Conformal Infrared Fixed Point in Gauge Theories with Multiple Fermion Representations

abstract: In previous work we have presented scheme-independent calculations of physical properties of operators at a conformally invariant infrared fixed point in an asymptotically free gauge theory with gauge group $G$ and $N_f$ fermions in a representation $R$ of $G$. Here we generalize this analysis to the case of fermions in multiple representations, focusing on the case of two different representations. Our results include the calculation of the anomalous dimensions of gauge-invariant fermion bilinear operators, and the derivative of the beta function, evaluated at the infrared fixed point. We illustrate our results in an SU($N_c$) gauge theory with $N_F$ fermions in the fundamental representation and $N_{Adj}$ fermions in the adjoint representation.


title: Nucleation for one-dimensional long-range Ising models

abstract: In this note we study metastability phenomena for a class of long-range Ising models in one-dimension. We prove that, under suitable general conditions, the configuration -1 is the only metastable state and we estimate the mean exit time. Moreover, we illustrate the theory with two examples (exponentially and polynomially decaying interaction) and we show that the critical droplet can be macroscopic or mesoscopic, according to the value of the external magnetic field.


title: Learning Optimal Fair Policies

abstract: Systematic discriminatory biases present in our society influence the way data is collected and stored, the way variables are defined, and the way scientific findings are put into practice as policy. Automated decision procedures and learning algorithms applied to such data may serve to perpetuate existing injustice or unfairness in our society. In this paper, we consider how to make optimal but fair decisions, which "break the cycle of injustice" by correcting for the unfair dependence of both decisions and outcomes on sensitive features (e.g., variables that correspond to gender, race, disability, or other protected attributes). We use methods from causal inference and constrained optimization to learn optimal policies in a way that addresses multiple potential biases which afflict data analysis in sensitive contexts, extending the approach of (Nabi and Shpitser 2018). Our proposal comes equipped with the theoretical guarantee that the chosen fair policy will induce a joint distribution for new instances that satisfies given fairness constraints. We illustrate our approach with both synthetic data and real criminal justice data.


title: Generalizing Geometric Brownian Motion

abstract: To convert standard Brownian motion $Z$ into a positive process, Geometric Brownian motion (GBM) $e^{\beta Z_t}, \beta >0$ is widely used. We generalize this positive process by introducing an asymmetry parameter $ \alpha \geq 0$ which describes the instantaneous volatility whenever the process reaches a new low. For our new process, $\beta$ is the instantaneous volatility as prices become arbitrarily high. Our generalization preserves the positivity, constant proportional drift, and tractability of GBM, while expressing the instantaneous volatility as a randomly weighted $L^2$ mean of $\alpha$ and $\beta$. The running minimum and relative drawup of this process are also analytically tractable. Letting $\alpha = \beta$, our positive process reduces to Geometric Brownian motion. By adding a jump to default to the new process, we introduce a non-negative martingale with the same tractabilities. Assuming a security's dynamics are driven by these processes in risk neutral measure, we price several derivatives including vanilla, barrier and lookback options.


title: Characterization of the HAYSTAC axion dark matter search cavity using microwave measurement and simulation techniques

abstract: Many searches for axion cold dark matter rely on the use of tunable electromagnetic resonators. Current detectors operate at or near microwave frequencies and use cylindrical cavities with cylindrical tuning rods. The cavity performance strongly impacts the signal power of the detector, which is expected to be very small even under optimal conditions. There is strong motivation to characterize these microwave cavities and improve their performance in order to maximize the achievable signal power. We present the results of a study characterizing the HAYSTAC (Haloscope At Yale Sensitive to Axion Cold dark matter) cavity using bead perturbation measurements and detailed 3D electromagnetic simulations. This is the first use of bead perturbation methods to characterize an axion haloscope cavity. In this study, we measured impacts of misalignments on the order of 0.001 in and demonstrated that the same impacts can be predicted using electromagnetic simulations. We also performed a detailed study of mode crossings and hybridization between the TM$_{010}$ mode used in operation and other cavity modes. This mixing limits the tuning range of the cavity that can be used during an axion search. By characterizing each mode crossing in detail, we show that some mode crossings are benign and are potentially still useful for data collection. The level of observed agreement between measurements and simulations demonstrates that finite element modeling can capture non-ideal cavity behavior and the impacts of very small imperfections. 3D electromagnetic simulations and bead perturbation measurements are standard tools in the microwave engineering community, but they have been underutilized in axion cavity design. This work demonstrates their potential to improve understanding of existing cavities and to optimize future designs.


title: Excitation spectra of exotic nuclei in a self-consistent phonon-coupling model

abstract: We explore giant resonance spectra and low-lying dipole strength in the Ni and Sn chains from proton rich to very neutron rich isotopes, relevant in astrophysical reaction chains. For the theoretical description we employ the random-phase approximation (RPA) plus many-body effects through a phonon coupling model with optimized selection of phonons. The nuclear force is based on the Skyrme-Hartree-Fock energy functional carried consistently through all steps of modelling. The main effect of phonon coupling is a broadening of the spectral distributions (collisional width). This broadening is particularly dramatic for low-lying dipole strength in very neutron rich nuclei delivering there a qualitative change of the spectra.


title: Global versus local superintegrability of nonlinear oscillators

abstract: Liouville (super)integrability of a Hamiltonian system of differential equations is based on the existence of globally well-defined constants of the motion, while Lie point symmetries provide a local approach to conserved integrals. Therefore, it seems natural to investigate in which sense Lie point symmetries can be used to provide information concerning the superintegrability of a given Hamiltonian system. The two-dimensional oscillator and the central force problem are used as benchmark examples to show that the relationship between standard Lie point symmetries and superintegrability is neither straightforward nor universal. In general, it turns out that superintegrability is not related to either the size or the structure of the algebra of variational dynamical symmetries. Nevertheless, all of the first integrals for a given Hamiltonian system can be obtained through an extension of the standard point symmetry method, which is applied to a superintegrable nonlinear oscillator describing the motion of a particle on a space with non-constant curvature and spherical symmetry.


title: A Morphological Study of the Supernova Remnant RX J0852.0-4622 (Vela Jr.)

abstract: We conduct a multi-wavelength morphological study of the Galactic supernova remnant RXJ0852.0-4622 (also known as Vela Jr., Vela Z and G266.2-1.2). RX J0852.0-4622 is coincident with the edge of the larger Vela supernova remnant causing confusion in the attribution of some filamentary structures to either RX J0852.0-4622 or its larger sibling. We find that the RX J0852.0-4622 radio continuum emission can be characterised by a 2-dimensional shell with a radius of 0.90+/-0.01deg (or 11.8+/-0.6pc at an assumed distance of 750pc) centred at (l,b)=(133.08+/-0.01 deg,-46.34+/-0.01deg) (or RA=8h52m19.2s, Dec=-46deg20'24.0'', J2000), consistent with X-ray and gamma-ray emission. Although [OIII] emission features are generally associated with the Vela SNR, one particular [OIII] emission feature, which we denote as "the Vela Claw", morphologically matches a molecular clump that is thought to have been stripped by the stellar progenitor of the RX J0852.0-4622 SNR. We argue that the Vela Claw feature is possibly associated with RX J0852.0-4622. Towards the north-western edge of RX J0852.0-4622, we find a flattening of the radio spectral index towards another molecular clump also thought to be associated with RX J0852.0-4622. It is currently unclear whether this feature and the Vela Claw result from interactions between the RX J0852.0-4622 shock and the ISM.


title: Fractional Calculus of Variations: a novel way to look at it

abstract: In this work we look at the original fractional calculus of variations problem in a somewhat different way. As a simple consequence, we show that a fractional generalization of a classical problem has a solution without any restrictions on the derivative-order $\alpha$.


title: Adversarial Feature-Mapping for Speech Enhancement

abstract: Feature-mapping with deep neural networks is commonly used for single-channel speech enhancement, in which a feature-mapping network directly transforms the noisy features to the corresponding enhanced ones and is trained to minimize the mean square errors between the enhanced and clean features. In this paper, we propose an adversarial feature-mapping (AFM) method for speech enhancement which advances the feature-mapping approach with adversarial learning. An additional discriminator network is introduced to distinguish the enhanced features from the real clean ones. The two networks are jointly optimized to minimize the feature-mapping loss and simultaneously mini-maximize the discrimination loss. The distribution of the enhanced features is further pushed towards that of the clean features through this adversarial multi-task training. To achieve better performance on ASR task, senone-aware (SA) AFM is further proposed in which an acoustic model network is jointly trained with the feature-mapping and discriminator networks to optimize the senone classification loss in addition to the AFM losses. Evaluated on the CHiME-3 dataset, the proposed AFM achieves 16.95% and 5.27% relative word error rate (WER) improvements over the real noisy data and the feature-mapping baseline respectively and the SA-AFM achieves 9.85% relative WER improvement over the multi-conditional acoustic model.


title: Neutral Helium Triplet Spectroscopy of Quiescent Coronal Rain with Sensitivity Estimates for Spectropolarimetric Magnetic Field Diagnostics

abstract: On account of its polarizability and magnetic field sensitivity, as well as the role of neutral helium in partially ionized solar environments, the neutral helium triplet (orthohelium) system provides important, yet under-utilized, diagnostics of solar coronal rain. This work describes off-limb observations of coronal rain in NOAA Active Region 12468 obtained in the He I 10830 $\AA$ triplet using the Massively MultipleXed Imaging Spectrograph experiment at the Dunn Solar Telescope along with co-temporal observations from NASA's Solar Dynamics Observatory and the Interface Region Imaging Spectrograph. We detect rain simultaneously in the IRIS 1400 $\AA$ and 2796 $\AA$ channels and in He I 10830 $\AA$. The large degree of spatial coherence present between all channels agrees with previous observations of the multi-thermal nature of coronal rain. A statistical analysis of He I spectral profiles for rain identified via automated detection indicate He I line radiances are, on average, $10^{4}$ ergs cm$^{-2}$ s$^{-1}$ sr$^{-1}$; the average translational velocity is 70 km s$^{-1}$ and Doppler widths are distributed around 10 km s$^{-1}$. Based on these results, forward models of expected He I polarized signals allow us to estimate, using synthetic observables and an inversion algorithm including fits for the scattering angle constraining the material's location along-the-line of sight, the magnetic sensitivity of the upcoming National Science Foundation's Daniel K. Inouye Solar Telescope. We predict joint observations of the He I 10830 $\AA$ and 5876 $\AA$ multiplets, using first-light instrumentation, will provide inverted magnetic field errors of $\pm3.5$ G ($2\sigma$) for spatial scales of $0.5''$ ($\sim360$ km) assuming dynamically-limited integration times of 5.5 seconds.


title: Cycle-Consistent Speech Enhancement

abstract: Feature mapping using deep neural networks is an effective approach for single-channel speech enhancement. Noisy features are transformed to the enhanced ones through a mapping network and the mean square errors between the enhanced and clean features are minimized. In this paper, we propose a cycle-consistent speech enhancement (CSE) in which an additional inverse mapping network is introduced to reconstruct the noisy features from the enhanced ones. A cycle-consistent constraint is enforced to minimize the reconstruction loss. Similarly, a backward cycle of mappings is performed in the opposite direction with the same networks and losses. With cycle-consistency, the speech structure is well preserved in the enhanced features while noise is effectively reduced such that the feature-mapping network generalizes better to unseen data. In cases where only unparalleled noisy and clean data is available for training, two discriminator networks are used to distinguish the enhanced and noised features from the clean and noisy ones. The discrimination losses are jointly optimized with reconstruction losses through adversarial multi-task learning. Evaluated on the CHiME-3 dataset, the proposed CSE achieves 19.60% and 6.69% relative word error rate improvements respectively when using or without using parallel clean and noisy speech data.


title: Quantum algorithms and approximating polynomials for composed functions with shared inputs

abstract: We give new quantum algorithms for evaluating composed functions whose inputs may be shared between bottom-level gates. Let $f$ be an $m$-bit Boolean function and consider an $n$-bit function $F$ obtained by applying $f$ to conjunctions of possibly overlapping subsets of $n$ variables. If $f$ has quantum query complexity $Q(f)$, we give an algorithm for evaluating $F$ using $\tilde{O}(\sqrt{Q(f) \cdot n})$ quantum queries. This improves on the bound of $O(Q(f) \cdot \sqrt{n})$ that follows by treating each conjunction independently, and our bound is tight for worst-case choices of $f$. Using completely different techniques, we prove a similar tight composition theorem for the approximate degree of $f$. By recursively applying our composition theorems, we obtain a nearly optimal $\tilde{O}(n^{1-2^{-d}})$ upper bound on the quantum query complexity and approximate degree of linear-size depth-$d$ AC$^0$ circuits. As a consequence, such circuits can be PAC learned in subexponential time, even in the challenging agnostic setting. Prior to our work, a subexponential-time algorithm was not known even for linear-size depth-3 AC$^0$ circuits. As an additional consequence, we show that AC$^0 \circ \oplus$ circuits of depth $d+1$ require size $\tilde{\Omega}(n^{1/(1- 2^{-d})}) \geq \omega(n^{1+ 2^{-d}} )$ to compute the Inner Product function even on average. The previous best size lower bound was $\Omega(n^{1+4^{-(d+1)}})$ and only held in the worst case (Cheraghchi et al., JCSS 2018).


title: Adversarial Domain Adaptation for Duplicate Question Detection

abstract: We address the problem of detecting duplicate questions in forums, which is an important step towards automating the process of answering new questions. As finding and annotating such potential duplicates manually is very tedious and costly, automatic methods based on machine learning are a viable alternative. However, many forums do not have annotated data, i.e., questions labeled by experts as duplicates, and thus a promising solution is to use domain adaptation from another forum that has such annotations. Here we focus on adversarial domain adaptation, deriving important findings about when it performs well and what properties of the domains are important in this regard. Our experiments with StackExchange data show an average improvement of 5.6% over the best baseline across multiple pairs of domains.


title: Multi-Source Domain Adaptation with Mixture of Experts

abstract: We propose a mixture-of-experts approach for unsupervised domain adaptation from multiple sources. The key idea is to explicitly capture the relationship between a target example and different source domains. This relationship, expressed by a point-to-set metric, determines how to combine predictors trained on various domains. The metric is learned in an unsupervised fashion using meta-training. Experimental results on sentiment analysis and part-of-speech tagging demonstrate that our approach consistently outperforms multiple baselines and can robustly handle negative transfer.


title: Representing Images in 200 Bytes: Compression via Triangulation

abstract: A rapidly increasing portion of internet traffic is dominated by requests from mobile devices with limited and metered bandwidth constraints. To satisfy these requests, it has become standard practice for websites to transmit small and extremely compressed image previews as part of the initial page load process to improve responsiveness. Increasing thumbnail compression beyond the capabilities of existing codecs is therefore an active research direction. In this work, we concentrate on extreme compression rates, where the size of the image is typically 200 bytes or less. First, we propose a novel approach for image compression that, unlike commonly used methods, does not rely on block-based statistics. We use an approach based on an adaptive triangulation of the target image, devoting more triangles to high entropy regions of the image. Second, we present a novel algorithm for encoding the triangles. The results show favorable statistics, in terms of PSNR and SSIM, over both the JPEG and the WebP standards.


title: Gelfand--Tsetlin degenerations of representations and flag varieties

abstract: Our main goal is to show that the Gelfand--Tsetlin toric degeneration of the type A flag variety can be obtained within a degenerate representation-theoretic framework similar to the theory of PBW degenerations. In fact, we provide such frameworks for all Gr\"obner degenerations intermediate between the flag variety and the GT toric variety. These degenerations are shown to induce filtrations on the irreducible representations and the associated graded spaces are acted upon by a certain associative algebra. To achieve our goal, we construct embeddings of our Gr\"obner degenerations into the projectivizations of said associated graded spaces in terms of this action. We also obtain an explicit description of the maximal cone in the tropical flag variety that parametrizes the Gr\"obner degenerations we consider. In an addendum we propose an alternative solution to the problem which relies on filtrations and gradings by non-abelian ordered semigroups.


title: On the Nature of Ultra-faint Dwarf Galaxy Candidates. III. Horologium I, Pictor I, Grus I, and Phoenix II

abstract: We use deep Gemini/GMOS-S $g,r$ photometry to study the stellar populations of the recently discovered Milky Way satellite candidates Horologium I, Pictor I, Grus I, and Phoenix II. Horologium I is most likely an ultra-faint dwarf galaxy at $D_\odot = 68\pm3$ kpc, with $r_h = 23^{+4}_{-3}$pc and $\langle $[Fe/H]$ \rangle = -2.40^{+0.10}_{-0.35}$\,dex. It's color-magnitude diagram shows evidence of a split sub-giant branch similar to that seen in some globular clusters. Additionally, Gaia DR2 data suggests it is, or was, a member of the Magellanic Cloud group. Pictor I with its compact size ($r_h = 12.9^{+0.3}_{-0.2}$pc) and metal-poor stellar population ($\langle $[Fe/H]$ \rangle = -2.28^{+0.30}_{-0.25}$) closely resembles confirmed star clusters. Grus I lacks a well-defined centre, but has two stellar concentrations within the reported half-light radius ($r_h = 1.77^{+0.85}_{-0.39}$ arcmin) and has a mean metallicity of $\langle $[Fe/H]$ \rangle = -2.5\pm0.3$. Phoenix II has a half-light radius of $r_h = 12.6\pm2.5$pc and an $\langle $[Fe/H]$ \rangle = -2.10^{+0.25}_{-0.20}$ and exhibits S-shaped tidal arms extending from its compact core. Great circles through each of these substructures intersect at the Large Magellanic Cloud (LMC). This suggests that these objects are, or once were, satellites of the LMC.


title: The Force of Proof by Which Any Argument Prevails

abstract: Jakob Bernoulli, working in the late 17th century, identified a gap in contemporary probability theory. He cautioned that it was inadequate to specify force of proof (probability of provability) for some kinds of uncertain arguments. After 300 years, this gap remains in present-day probability theory. We present axioms analogous to Kolmogorov's axioms for probability, specifying uncertainty that lies in an argument's inference/implication itself rather than in its premise and conclusion. The axioms focus on arguments spanning two Boolean algebras, but generalize the obligatory: "force of proof of A implies B is the probability of B or not A" in the case that the Boolean algebras are identical. We propose a categorical framework that relies on generalized probabilities (objects) to express uncertainty in premises, to mix with arguments (morphisms) to express uncertainty embedded directly in inference/implication. There is a direct application to Shafer's evidence theory (Dempster-Shafer theory), greatly expanding its scope for applications. Therefore, we can offer this framework not only as an optimal solution to a difficult historical puzzle, but also to advance the frontiers of contemporary artificial intelligence. Keywords: force of proof, probability of provability, Ars Conjectandi, non additive probabilities, evidence theory.


title: Measurement of electron antineutrino oscillation with 1958 days of operation at Daya Bay

abstract: We report a measurement of electron antineutrino oscillation from the Daya Bay Reactor Neutrino Experiment with nearly 4 million reactor $\overline{\nu}_{e}$ inverse beta decay candidates observed over 1958 days of data collection. The installation of a Flash-ADC readout system and a special calibration campaign using different source enclosures reduce uncertainties in the absolute energy calibration to less than 0.5% for visible energies larger than 2 MeV. The uncertainty in the cosmogenic $^9$Li and $^8$He background is reduced from 45% to 30% in the near detectors. A detailed investigation of the spent nuclear fuel history improves its uncertainty from 100% to 30%. Analysis of the relative $\overline{\nu}_{e}$ rates and energy spectra among detectors yields $\sin^{2}2\theta_{13} = 0.0856\pm 0.0029$ and $\Delta m^2_{32}=(2.471^{+0.068}_{-0.070})\times 10^{-3}~\mathrm{eV}^2$ assuming the normal hierarchy, and $\Delta m^2_{32}=-(2.575^{+0.068}_{-0.070})\times 10^{-3}~\mathrm{eV}^2$ assuming the inverted hierarchy.


title: Logistic Regression Augmented Community Detection for Network Data with Application in Identifying Autism-Related Gene Pathways

abstract: When searching for gene pathways leading to specific disease outcomes, additional information on gene characteristics is often available that may facilitate to differentiate genes related to the disease from irrelevant background when connections involving both types of genes are observed and their relationships to the disease are unknown. We propose method to single out irrelevant background genes with the help of auxiliary information through a logistic regression, and cluster relevant genes into cohesive groups using the adjacency matrix. Expectation-maximization algorithm is modified to maximize a joint pseudo-likelihood assuming latent indicators for relevance to the disease and latent group memberships as well as Poisson or multinomial distributed link numbers within and between groups. A robust version allowing arbitrary linkage patterns within the background is further derived. Asymptotic consistency of label assignments under the stochastic blockmodel is proven. Superior performance and robustness in finite samples are observed in simulation studies. The proposed robust method identifies previously missed gene sets underlying autism related neurological diseases using diverse data sources including de novo mutations, gene expressions and protein-protein interactions.


title: Center of $\mathcal{H}_R(0,c_{\tilde{s}})$ associated to a pro-$p$-Iwahori Weyl group

abstract: Let $W$ be an Iwahori Weyl group and $W(1)$ be an extension of $W$ by an abelian group. Vigneras gave a description of the $R$-algebra $\mathcal{H}_R(q_{\tilde{s}}, c_{\tilde{s}})$ associated to $W(1)$, and also gave a basis of the center of $\mathcal{H}_R(q_{\tilde{s}}, c_{\tilde{s}})$ using the Bernstein presentation of $\mathcal{H}_R(q_{\tilde{s}}, c_{\tilde{s}})$. In this paper, we restrict to the case where $q_{\tilde{s}}=0$ and use the Iwahori-Matsumoto presentation to give a basis of the center of $\mathcal{H}_R(0, c_{\tilde{s}})$.


title: Expanding tidy data principles to facilitate missing data exploration, visualization and assessment of imputations

abstract: Despite the large body of research on missing value distributions and imputation, there is comparatively little literature with a focus on how to make it easy to handle, explore, and impute missing values in data. This paper addresses this gap. The new methodology builds upon tidy data principles, with the goal of integrating missing value handling as a key part of data analysis workflows. We define a new data structure, and a suite of new operations. Together, these provide a connected framework for handling, exploring, and imputing missing values. These methods are available in the R package `naniar`.


title: Constraints on a sub-eV scale sterile neutrino from non-oscillation measurements

abstract: Anomalies in several short-baseline neutrino oscillation experiments suggest the possible existence of sterile neutrinos at about eV scale having appreciable mixing with the already known three neutrinos. We find that if such a light sterile neutrino exists, through a combined study of the leptonic decays of $\mu^-$, $\tau^-$, $\pi^-$ and $K^-$, some semi-leptonic decays of $\tau^-$ and the invisible decay width of the $Z$ boson, it is possible to constrain the relevant mixing matrix elements. Furthermore, we compare the constraints, derived by using the method presented here, with the experimental results obtained from short-baseline neutrino oscillation experiments. We find that a single light sterile neutrino cannot satisfy the existing short-baseline neutrino oscillation constraints and explain the anomalies mentioned above. Along the way we provide a number of experimentally clean observables which can be used to directly study the light sterile neutrino independently of the neutrino oscillation experiments.


title: BubGAN: Bubble Generative Adversarial Networks for Synthesizing Realistic Bubbly Flow Images

abstract: Bubble segmentation and size detection algorithms have been developed in recent years for their high efficiency and accuracy in measuring bubbly two-phase flows. In this work, we proposed an architecture called bubble generative adversarial networks (BubGAN) for the generation of realistic synthetic images which could be further used as training or benchmarking data for the development of advanced image processing algorithms. The BubGAN is trained initially on a labeled bubble dataset consisting of ten thousand images. By learning the distribution of these bubbles, the BubGAN can generate more realistic bubbles compared to the conventional models used in the literature. The trained BubGAN is conditioned on bubble feature parameters and has full control of bubble properties in terms of aspect ratio, rotation angle, circularity and edge ratio. A million bubble dataset is pre-generated using the trained BubGAN. One can then assemble realistic bubbly flow images using this dataset and associated image processing tool. These images contain detailed bubble information, therefore do not require additional manual labeling. This is more useful compared with the conventional GAN which generates images without labeling information. The tool could be used to provide benchmarking and training data for existing image processing algorithms and to guide the future development of bubble detecting algorithms.


title: Cloud-based Quadratic Optimization with Partially Homomorphic Encryption

abstract: The development of large-scale distributed control systems has led to the outsourcing of costly computations to cloud-computing platforms, as well as to concerns about privacy of the collected sensitive data. This paper develops a cloud-based protocol for a quadratic optimization problem involving multiple parties, each holding information it seeks to maintain private. The protocol is based on the projected gradient ascent on the Lagrange dual problem and exploits partially homomorphic encryption and secure multi-party computation techniques. Using formal cryptographic definitions of indistinguishability, the protocol is shown to achieve computational privacy, i.e., there is no computationally efficient algorithm that any involved party can employ to obtain private information beyond what can be inferred from the party's inputs and outputs only. In order to reduce the communication complexity of the proposed protocol, we introduced a variant that achieves this objective at the expense of weaker privacy guarantees. We discuss in detail the computational and communication complexity properties of both algorithms theoretically and also through implementations. We conclude the paper with a discussion on computational privacy and other notions of privacy such as the non-unique retrieval of the private information from the protocol outputs.


title: Computation of Total Kidney Volume from CT images in Autosomal Dominant Polycystic Kidney Disease using Multi-Task 3D Convolutional Neural Networks

abstract: Autosomal Dominant Polycystic Kidney Disease (ADPKD) characterized by progressive growth of renal cysts is the most prevalent and potentially lethal monogenic renal disease, affecting one in every 500-100 people. Total Kidney Volume (TKV) and its growth computed from Computed Tomography images has been accepted as an essential prognostic marker for renal function loss. Due to large variation in shape and size of kidney in ADPKD, existing methods to compute TKV (i.e. to segment ADKP) including those based on 2D convolutional neural networks are not accurate enough to be directly useful in clinical practice. In this work, we propose multi-task 3D Convolutional Neural Networks to segment ADPK and achieve a mean DICE score of 0.95 and mean absolute percentage TKV error of 3.86. Additionally, to solve the challenge of class imbalance, we propose to simply bootstrap cross entropy loss and compare results with recently prevalent dice loss in medical image segmentation community.


title: edge2vec: Representation learning using edge semantics for biomedical knowledge discovery

abstract: Representation learning provides new and powerful graph analytical approaches and tools for the highly valued data science challenge of mining knowledge graphs. Since previous graph analytical methods have mostly focused on homogeneous graphs, an important current challenge is extending this methodology for richly heterogeneous graphs and knowledge domains. The biomedical sciences are such a domain, reflecting the complexity of biology, with entities such as genes, proteins, drugs, diseases, and phenotypes, and relationships such as gene co-expression, biochemical regulation, and biomolecular inhibition or activation. Therefore, the semantics of edges and nodes are critical for representation learning and knowledge discovery in real world biomedical problems. In this paper, we propose the edge2vec model, which represents graphs considering edge semantics. An edge-type transition matrix is trained by an Expectation-Maximization approach, and a stochastic gradient descent model is employed to learn node embedding on a heterogeneous graph via the trained transition matrix. edge2vec is validated on three biomedical domain tasks: biomedical entity classification, compound-gene bioactivity prediction, and biomedical information retrieval. Results show that by considering edge-types into node embedding learning in heterogeneous graphs, \textbf{edge2vec}\ significantly outperforms state-of-the-art models on all three tasks. We propose this method for its added value relative to existing graph analytical methodology, and in the real world context of biomedical knowledge discovery applicability.


title: Learning Embeddings of Directed Networks with Text-Associated Nodes---with Applications in Software Package Dependency Networks

abstract: A network embedding consists of a vector representation for each node in the network. Its usefulness has been shown in many real-world application domains, such as social networks and web networks. Directed networks with text associated with each node, such as software package dependency networks, are commonplace. However, to the best of our knowledge, their embeddings have hitherto not been specifically studied. In this paper, we propose PCTADW-1 and PCTADW-2, two algorithms based on neural networks that learn embeddings of directed networks with text associated with each node. We create two new node-labeled such networks: The package dependency networks in two popular GNU/Linux distributions, Debian and Fedora. We experimentally demonstrate that the embeddings produced by our algorithms resulted in node classification with better quality than those of various baselines on these two networks. We observe that there exist systematic presence of analogies (similar to those in word embeddings) in the network embeddings of software package dependency networks. To the best of our knowledge, this is the first time that such systematic presence of analogies is observed in network and document embeddings. We further demonstrate that these network embeddings can be novelly used for better understanding software attributes, such as the development process and user interface of software, etc.


title: Approximation algorithms for stochastic clustering

abstract: We consider stochastic settings for clustering, and develop provably-good approximation algorithms for a number of these notions. These algorithms yield better approximation ratios compared to the usual deterministic clustering setting. Additionally, they offer a number of advantages including clustering which is fairer and has better long-term behavior for each user. In particular, they ensure that *every user* is guaranteed to get good service (on average). We also complement some of these with impossibility results.


title: Nuclear spin pumping by pulling effect

abstract: The nuclear-to-electron spin angular momentum conversion via hyperfine coupling in a normal metal (NM)/ferromagnet (FM) bilayer system is theoretically investigated by using the nonequilibrium Green's function method. The spin current generated by the nuclear magnetic resonance (NMR) is found to be enhanced by the pulling effect in the FM when the temperature is lower than NMR resonance frequency. In a Co/Pt bilayer system, we show that the spin current by NMR becomes larger than that of the ferromagnetic resonance (FMR).


title: Expansions of the real field by discrete subgroups of Gl$_n(\mathbb{C})$

abstract: Let $\Gamma$ be an infinite discrete subgroup of Gl$_n(\mathbb{C})$. Then either $(\mathbb{R}, <, +, \cdot, \Gamma)$ is interdefinable with $(\mathbb{R}, <, +, \cdot, \lambda^\mathbb{Z})$ for some $\lambda \in \mathbb{R}$, or $(\mathbb{R}, < , +, \cdot, \Gamma)$ defines the set of integers. When $\Gamma$ is not virtually abelian, the second case holds.


title: Optimal Relaying Beamforming in Multiple Access Broadcast Channel (MABC) Bidirectional Cognitive Radio Networks in Presence of Interferers

abstract: In this paper, a general cognitive radio system consisting of a set of users with different level of spectrum access including two primary transceivers and several types of secondary users is considered. It is assumed that two secondary users operate based on an underlay model at the same frequency bandwidth and at the same time as the primary users based on a multiple access broadcast channel (MABC) bidirectional beamforming scheme. Other secondary users provide a relaying service to the primary users in exchange for the opportunity to send their messages towards their own destinations for a fixed portion of the communication cycle. In addition, it is assumed that some interferers are active during the communication cycle and cause interference for the network. Furthermore, it is assumed that only partial channel state information (CSI) between interferers and other nodes in the network is available. We provide a robust optimization method against imperfection on the interferers' CSI to maximize the joint primary and secondary {signal-to-interference-plus-noise-ratio (SINR)} with the assumption of limited available power at the secondary relays. An amplify-and-forward (AF) relaying scheme is deployed at the secondary relays and the optimal beamforming is obtained using second order convex programming (SOCP) method. The simulation results show the performance of the proposed beamforming method against the existence of interferers, and demonstrate the effectiveness of our robust method against uncertainty in knowledge of interferers' CSIs.


title: Double pair breaking peak in Raman scattering spectra of triple layer cuprate Bi2223

abstract: We report the Raman scattering measurements on the triple layer Bi2Sr2Ca2Cu3O10 (Bi2223) crystals of four different doping levels from slightly overdoped to strongly underdoped regimes. We observed a double pair-breaking peak in the antinodal B1g configuration that we attribute to the two antinodal gaps opening on the outer and inner CuO2-plane (OP and IP) band, respectively. The doping dependence of the pair-breaking peak energy was investigated. Considering the difference in doping level between the IP and OP, all the B1g pair-breaking peak energies for OP and IP were found to align on a single line as a function of doping, which is consistent with the previous results on the double and mono-layer cuprates. Within our experimental accuracy the IP and OP peaks start to appear almost at the same temperature. These findings suggest some sort of interaction between the layers. The observed gap energy is very large, not scaling with Tc.


title: Energy quantization at the "three-quarter Dirac point" in a magnetic field

abstract: The quantization of the energy in a magnetic field (Landau quantization) at a three-quarter Dirac point is studied theoretically. The three-quarter Dirac point is realized in the system of massless Dirac fermions with the critically tilted Dirac cone in one direction, where a linear term disappears and a quadratic term $\alpha_2 q_x^2$ with aconstant $\alpha_2$ plays an important role. The energy is obtained as $E_n \propto \alpha_2^{\frac{3}{5}} (n B)^{\frac{4}{5}}$, where $n=1, 2, 3, \dots$, by means of numerically and analytically solving the differential equation, as well as by the semiclassical quantization rule. The existence of the $n=0$ state is studied by introducing the energy gap due to the inversion-symmetry-breaking term, and it is obtained that the $n=0$ state exists in one of a pair of three-quarter Dirac points, depending on the direction of the magnetic field when the energy gap is finite.


title: Local Music Event Recommendation with Long Tail Artists

abstract: In this paper, we explore the task of local music event recommendation. Many local artists tend to be obscure long-tail artists with a small digital footprint. That is, it can be hard to find social tag and artist similarity information for many of the artists who are playing shows in the local music community. To address this problem, we explore using Latent Semantic Analysis (LSA) to embed artists and tags into a latent feature space and examine how well artists with small digital footprints are represented in this space. We find that only a relatively small digital footprint is needed to effectively model artist similarity. We also introduce the concept of a Music Event Graph as a data structure that makes it easy and efficient to recommend events based on user-selected genre tags and popular artists. Finally, we conduct a small user study to explore the feasibility of our proposed system for event recommendation.


title: An E-sequence approach to the 3x + 1 problem

abstract: For any odd positive integer $x$, define $(x_n)_{n\geqslant 0} $ and $(a_n )_{n\geqslant 1} $ by setting $x_{0}=x, \,\, x_n =\cfrac{3x_{n-1} +1}{2^{a_n }}$ such that all $x_n $ are odd. The 3x+1 problem asserts that there is an $x_n =1$ for all $x$. Usually, $(x_n )_{n\geqslant 0} $ is called the trajectory of $x$. In this paper, we concentrate on $(a_n )_{n\geqslant 1} $ and call it the E-sequence of $x$. The idea is that, we generalize E-sequences to all infinite sequence $(a_n )_{n\geqslant 1} $ of positive integers and consider all these generalized E-sequences. We then define $(a_n )_{n\geqslant 1} $ to be $\Omega-$convergent to $x$ if it is the E-sequence of $x$ and to be $\Omega-$divergent if it is not the E-sequence of any odd positive integer. We prove a remarkable fact that the $\Omega-$divergence of all non-periodic E-sequences implies the periodicity of $(x_n )_{n\geqslant 0} $ for all $x_0$. The principal results of this paper are to prove the $\Omega-$divergence of several classes of non-periodic E-sequences. Especially, we prove that all non-periodic E-sequences $(a_n )_{n\geqslant 1} $ with $\mathop {\overline {\lim } }\limits_{n\to \infty } \cfrac{b_n }{n}>\log _23$ are $\Omega-$divergent by using the Wendel's inequality and the Matthews and Watts's formula $x_n =\cfrac{3^n x_0 }{2^{b_n }}\prod\limits_{k=0}^{n-1} {(1+\cfrac{1}{3x_k })} $, where $b_n =\sum\limits_{k=1}^n {a_k } $. These results present a possible way to prove the periodicity of trajectories of all positive integers in the 3x + 1 problem and we call it the E-sequence approach.


title: Cell-aware Stacked LSTMs for Modeling Sentences

abstract: We propose a method of stacking multiple long short-term memory (LSTM) layers for modeling sentences. In contrast to the conventional stacked LSTMs where only hidden states are fed as input to the next layer, the suggested architecture accepts both hidden and memory cell states of the preceding layer and fuses information from the left and the lower context using the soft gating mechanism of LSTMs. Thus the architecture modulates the amount of information to be delivered not only in horizontal recurrence but also in vertical connections, from which useful features extracted from lower layers are effectively conveyed to upper layers. We dub this architecture Cell-aware Stacked LSTM (CAS-LSTM) and show from experiments that our models bring significant performance gain over the standard LSTMs on benchmark datasets for natural language inference, paraphrase detection, sentiment classification, and machine translation. We also conduct extensive qualitative analysis to understand the internal behavior of the suggested approach.


title: Smoothed Efficient Algorithms and Reductions for Network Coordination Games

abstract: Worst-case hardness results for most equilibrium computation problems have raised the need for beyond-worst-case analysis. To this end, we study the smoothed complexity of finding pure Nash equilibria in Network Coordination Games, a PLS-complete problem in the worst case. This is a potential game where the sequential-better-response algorithm is known to converge to a pure NE, albeit in exponential time. First, we prove polynomial (resp. quasi-polynomial) smoothed complexity when the underlying game graph is a complete (resp. arbitrary) graph, and every player has constantly many strategies. We note that the complete graph case is reminiscent of perturbing all parameters, a common assumption in most known smoothed analysis results. Second, we define a notion of smoothness-preserving reduction among search problems, and obtain reductions from $2$-strategy network coordination games to local-max-cut, and from $k$-strategy games (with arbitrary $k$) to local-max-cut up to two flips. The former together with the recent result of [BCC18] gives an alternate $O(n^8)$-time smoothed algorithm for the $2$-strategy case. This notion of reduction allows for the extension of smoothed efficient algorithms from one problem to another. For the first set of results, we develop techniques to bound the probability that an (adversarial) better-response sequence makes slow improvements on the potential. Our approach combines and generalizes the local-max-cut approaches of [ER14,ABPW17] to handle the multi-strategy case: it requires a careful definition of the matrix which captures the increase in potential, a tighter union bound on adversarial sequences, and balancing it with good enough rank bounds. We believe that the approach and notions developed herein could be of interest in addressing the smoothed complexity of other potential and/or congestion games.


title: Existence and Classification of Pseudo-Asymptotic Solutions for Tolman-Oppenheimer-Volkoff Systems

abstract: The Tolman--Oppenheimer--Volkoff (TOV) equations are a partially uncoupled system of nonlinear and non-autonomous ordinary differential equations which describe the structure of isotropic spherically symmetric static fluids. Nonlinearity makes finding explicit solutions of TOV systems very difficult and such solutions and very rare. In this paper we introduce the notion of pseudo-asymptotic TOV systems and we show that the space of such systems is at least fifteen-dimensional. We also show that if the system is defined in a suitable domain (meaning the extended real line), then well-behaved pseudo-asymptotic TOV systems are genuine TOV systems in that domain, ensuring the existence of new fourteen analytic solutions for extended TOV equations. The solutions are classified according to the nature of the matter (ordinary or exotic) and to the existence of cavities and singularities. It is shown that at least three of them are realistic, in the sense that they are formed only by ordinary matter and contain no cavities or singularities.


title: Evolutionary Centrality and Maximal Cliques in Mobile Social Networks

abstract: This paper introduces an evolutionary approach to enhance the process of finding central nodes in mobile networks. This can provide essential information and important applications in mobile and social networks. This evolutionary approach considers the dynamics of the network and takes into consideration the central nodes from previous time slots. We also study the applicability of maximal cliques algorithms in mobile social networks and how it can be used to find the central nodes based on the discovered maximal cliques. The experimental results are promising and show a significant enhancement in finding the central nodes.


title: Relational Program Synthesis

abstract: This paper proposes relational program synthesis, a new problem that concerns synthesizing one or more programs that collectively satisfy a relational specification. As a dual of relational program verification, relational program synthesis is an important problem that has many practical applications, such as automated program inversion and automatic generation of comparators. However, this relational synthesis problem introduces new challenges over its non-relational counterpart due to the combinatorially larger search space. As a first step towards solving this problem, this paper presents a synthesis technique that combines the counterexample-guided inductive synthesis framework with a novel inductive synthesis algorithm that is based on relational version space learning. We have implemented the proposed technique in a framework called Relish, which can be instantiated to different application domains by providing a suitable domain-specific language and the relevant relational specification. We have used the Relish framework to build relational synthesizers to automatically generate string encoders/decoders as well as comparators, and we evaluate our tool on several benchmarks taken from prior work and online forums. Our experimental results show that the proposed technique can solve almost all of these benchmarks and that it significantly outperforms EUSolver, a generic synthesis framework that won the general track of the most recent SyGuS competition.


title: Ergodicity of partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds

abstract: We study conservative partially hyperbolic diffeomorphisms in hyperbolic 3-manifolds. We show that they are always accessible and deduce as a result that every conservative $C^{1+}$ partially hyperbolic in a hyperbolic 3-manifold must be ergodic, giving an afirmative answer to a conjecture of Hertz-Hertz-Ures in the context of hyperbolic 3-manifolds. Some of the intermediary steps are also done for general partially hyperbolic diffeomorphisms homotopic to the identity.


title: Verification Of The Jones Unknot Conjecture Up To 23 Crossings

abstract: The Jones unknot conjecture states that the Jones polynomial distinguishes the unknot from nontrivial knots. We prove it for knots up to 23 crossings.


title: Dynamic Compositionality in Recursive Neural Networks with Structure-aware Tag Representations

abstract: Most existing recursive neural network (RvNN) architectures utilize only the structure of parse trees, ignoring syntactic tags which are provided as by-products of parsing. We present a novel RvNN architecture that can provide dynamic compositionality by considering comprehensive syntactic information derived from both the structure and linguistic tags. Specifically, we introduce a structure-aware tag representation constructed by a separate tag-level tree-LSTM. With this, we can control the composition function of the existing word-level tree-LSTM by augmenting the representation as a supplementary input to the gate functions of the tree-LSTM. In extensive experiments, we show that models built upon the proposed architecture obtain superior or competitive performance on several sentence-level tasks such as sentiment analysis and natural language inference when compared against previous tree-structured models and other sophisticated neural models.


title: Performance test of the MAIKo active target

abstract: A new active target named MAIKo (Mu-PIC based Active target for Inverse Kinematics$_{\circ}$) has been developed at Kyoto University and Research Center for Nuclear Physics (RCNP), Osaka University. MAIKo is suited for missing-mass spectroscopy of unstable nuclei at forward scattering angles in inverse kinematics. MAIKo consists of a time projection chamber (TPC), which incorporates a micro-pixel chamber ($\mu$-PIC) as the electron multiplication and collection system. In MAIKo, the medium gas also plays the role of a reaction target, thus allowing detection of low-energy recoil particles with high position resolution. The MAIKo TPC was commissioned with He(93%)+iso-C$_{4}$H$_{10}$(7%) and He(93%)+CO$_{2}$(7%) mixture gasses at 430 hPa. The gas gain and the angular resolution of MAIKo were evaluated with an alpha source and a $^{4}$He beam at 56 MeV. The TPC was stably operated up to 1000-kcps beam intensity. A tracking algorithm using the Hough transform method has been developed to analyze scattering events. An angular resolution of 1.3$^{\circ}$ was achieved for scattered $^{4}$He particles.


title: Tensor Ring Decomposition with Rank Minimization on Latent Space: An Efficient Approach for Tensor Completion

abstract: In tensor completion tasks, the traditional low-rank tensor decomposition models suffer from the laborious model selection problem due to their high model sensitivity. In particular, for tensor ring (TR) decomposition, the number of model possibilities grows exponentially with the tensor order, which makes it rather challenging to find the optimal TR decomposition. In this paper, by exploiting the low-rank structure of the TR latent space, we propose a novel tensor completion method which is robust to model selection. In contrast to imposing the low-rank constraint on the data space, we introduce nuclear norm regularization on the latent TR factors, resulting in the optimization step using singular value decomposition (SVD) being performed at a much smaller scale. By leveraging the alternating direction method of multipliers (ADMM) scheme, the latent TR factors with optimal rank and the recovered tensor can be obtained simultaneously. Our proposed algorithm is shown to effectively alleviate the burden of TR-rank selection, thereby greatly reducing the computational cost. The extensive experimental results on both synthetic and real-world data demonstrate the superior performance and efficiency of the proposed approach against the state-of-the-art algorithms.


title: Charged rotating black holes coupled with nonlinear electrodynamics Maxwell field in the mimetic gravity

abstract: In mimetic gravity, we derive $D$-dimension charged black hole solutions having flat or cylindrical horizons with zero curvature boundary. The asymptotic behaviours of these black holes behave as (A)dS. We study both linear and nonlinear forms of the Maxwell field equations in two separate contexts. For the nonlinear case, we derive a new solution having a metric with monopole, dipole and quadrupole terms. The most interesting feature of this black hole is that its dipole and quadruple terms are related by a constant. However, the solution reduces to the linear case of the Maxwell field equations when this constant acquires a null value. Also, we apply a coordinate transformation and derive rotating black hole solutions (for both linear and nonlinear cases). We show that the nonlinear black hole has stronger curvature singularities than the corresponding known black hole solutions in general relativity. We show that the obtained solutions could have at most two horizons. We determine the critical mass of the degenerate horizon at which the two horizons coincide. We study the thermodynamical stability of the solutions. We note that the nonlinear electrodynamics contributes to process a second-order phase transition whereas the heat capacity has an infinite discontinuity.


title: The entropy function of an invariant measure

abstract: Given a countable relational language $L$, we consider probability measures on the space of $L$-structures with underlying set $\mathbb{N}$ that are invariant under the logic action. We study the growth rate of the entropy function of such a measure, defined to be the function sending $n \in \mathbb{N}$ to the entropy of the measure induced by restrictions to $L$-structures on $\{0, \ldots, n-1\}$. When $L$ has finitely many relation symbols, all of arity $k\ge 1$, and the measure has a property called non-redundance, we show that the entropy function is of the form $Cn^k+o(n^k)$, generalizing a result of Aldous and Janson. When $k\ge 2$, we show that there are invariant measures whose entropy functions grow arbitrarily fast in $o(n^k)$, extending a result of Hatami-Norine. For possibly infinite languages $L$, we give an explicit upper bound on the entropy functions of non-redundant invariant measures in terms of the number of relation symbols in $L$ of each arity; this implies that finite-valued entropy functions can grow arbitrarily fast.


title: Large scale quantum key distribution: challenges and solutions

abstract: Quantum key distribution (QKD) together with one time pad encoding can provide information-theoretical security for communication. Currently, though QKD has been widely deployed in many metropolitan fiber networks, its implementation in a large scale remains experimentally challenging. This letter provides a brief review on the experimental efforts towards the goal of global QKD, including the security of practical QKD with imperfect devices, QKD metropolitan and backbone networks over optical fiber and satellite-based QKD over free space.


title: A Block Coordinate Ascent Algorithm for Mean-Variance Optimization

abstract: Risk management in dynamic decision problems is a primary concern in many fields, including financial investment, autonomous driving, and healthcare. The mean-variance function is one of the most widely used objective functions in risk management due to its simplicity and interpretability. Existing algorithms for mean-variance optimization are based on multi-time-scale stochastic approximation, whose learning rate schedules are often hard to tune, and have only asymptotic convergence proof. In this paper, we develop a model-free policy search framework for mean-variance optimization with finite-sample error bound analysis (to local optima). Our starting point is a reformulation of the original mean-variance function with its Fenchel dual, from which we propose a stochastic block coordinate ascent policy search algorithm. Both the asymptotic convergence guarantee of the last iteration's solution and the convergence rate of the randomly picked solution are provided, and their applicability is demonstrated on several benchmark domains.


title: An introduction to Bayesian inference in gravitational-wave astronomy: parameter estimation, model selection, and hierarchical models

abstract: This is an introduction to Bayesian inference with a focus on hierarchical models and hyper-parameters. We write primarily for an audience of Bayesian novices, but we hope to provide useful insights for seasoned veterans as well. Examples are drawn from gravitational-wave astronomy, though we endeavor for the presentation to be understandable to a broader audience. We begin with a review of the fundamentals: likelihoods, priors, and posteriors. Next, we discuss Bayesian evidence, Bayes factors, odds ratios, and model selection. From there, we describe how posteriors are estimated using samplers such as Markov Chain Monte Carlo algorithms and nested sampling. Finally, we generalize the formalism to discuss hyper-parameters and hierarchical models. We include extensive appendices discussing the creation of credible intervals, Gaussian noise, explicit marginalization, posterior predictive distributions, and selection effects.


title: Lyapunov exponent and variance in the CLT for products of random matrices related to random Fibonacci sequences

abstract: We consider three matrix models of order 2 with one random entry $\epsilon$ and the other three entries being deterministic. In the first model, we let $\epsilon\sim\textrm{Bernoulli}\left(\frac{1}{2}\right)$. For this model we develop a new technique to obtain estimates for the top Lyapunov exponent in terms of a multi-level recursion involving Fibonacci-like sequences. This in turn gives a new characterization for the Lyapunov exponent in terms of these sequences. In the second model, we give similar estimates when $\epsilon\sim\textrm{Bernoulli}\left(p\right)$ and $p\in [0,1]$ is a parameter. Both of these models are related to random Fibonacci sequences. In the last model, we compute the Lyapunov exponent exactly when the random entry is replaced with $\xi\epsilon$ where $\epsilon$ is a standard Cauchy random variable and $\xi$ is a real parameter. We then use Monte Carlo simulations to approximate the variance in the CLT for both parameter models.


title: Explicit class field theory and the algebraic geometry of $\Lambda$-rings

abstract: We consider generalized $\Lambda$-structures on algebras and schemes over the ring of integers $\mathit{O}_K$ of a number field $K$. When $K=\mathbb{Q}$, these agree with the $\lambda$-ring structures of algebraic K-theory. We then study reduced finite flat $\Lambda$-rings over $\mathit{O}_K$ and show that the maximal ones are classified in a Galois theoretic manner by the ray class monoid of Deligne and Ribet. Second, we show that the periodic loci on any $\Lambda$-scheme of finite type over $\mathit{O}_K$ generate a canonical family of abelian extensions of $K$. This raises the possibility that $\Lambda$-schemes could provide a framework for explicit class field theory, and we show that the classical explicit class field theories for the rational numbers and imaginary quadratic fields can be set naturally in this framework. This approach has the further merit of allowing for some precise questions in the spirit of Hilbert's 12th Problem. In an interlude which might be of independent interest, we define rings of periodic big Witt vectors and relate them to the global class field theoretical mathematics of the rest of the paper.


title: A simple exact series representation for relativistic perihelion advance

abstract: The small discrepancy between the observed orbit of Mercury and the orbit predicted by Newtonian gravity was a key test of Einstein's theory, and a dramatic verification of the correctness of General Relativity. This `anomalous precession' of the perihelion is here calculated using a particularly simple method and resulting in a new and elegant series for the precession which converges very quickly.


title: Extending Common Envelope Simulations from Roche Lobe Overflow to the Nebular Phase

abstract: We have simulated a common envelope interaction of a 0.88-M$_{\odot}$, 90-R$_{\odot}$, red giant branch star and a 0.6-M$_{\odot}$, compact companion with the smoothed particle hydrodynamics code, Phantom, from the beginning of the Roche lobe overflow phase to the beginning of the self-regulated inspiral, using three different resolutions. The duration of the Roche lobe overflow phase is resolution dependent and would lengthen with increased resolution beyond the $\sim$20 years observed, while the inspiral phase and the post-common envelope separation are largely independent of resolution. Mass transfer rates through the Lagrangian points drive the orbital evolution during the Roche lobe overflow phase, as predicted analytically. The absolute mass transfer rate is resolution dependent, but always within an order of magnitude of the analytical value. Similarly, the gravitational drag in the simulations is close to the analytical approximation. This gives us confidence that simulations approximate reality. The $L_2$ and $L_3$ outflow observed during Roche lobe overflow remains bound, forming a circumbinary disk that is largely disrupted by the common envelope ejection. However, a longer phase of Roche lobe overflow and weaker common envelope ejection typical of a more stable binary may result in a surviving circumbinary disk. Finally, we examine the density distribution resulting from the interaction for simulations that include or omit the phase of Roche lobe overflow. We conclude that the degree of stability of the Roche lobe phase may modulate the shape of the subsequent planetary nebula, explaining the wide range of post-common envelope planetary nebula shapes observed.


title: Playing with Matches: Vehicular Mobility through Analysis of Trip Similarity and Matching

abstract: Understanding city-scale vehicular mobility and trip patterns is essential to addressing many problems, from transportation and pollution to public safety, among others. Using spatio-temporal analysis of vehicular mobility, promising solutions can be proposed to alleviate these major challenges, utilizing shared mobility and crowd-sourcing. The rise of transportation networks (e.g. Uber, Lyft), is a mere beginning to shared mobility. In this paper, we address problems of trip representation and matching. Particularly, we study a real-world dataset of trips (from Cologne, Germany), from spatial and temporal perspectives. Comparison of trajectories is desired for applications relying on spatio-temporal phenomena. For that purpose, we present a novel combined spatio-temporal similarity score, based on the weighted geometric mean (WGM) and conduct experiments on its applicability and strengths. First, we use the score to find clusters of trips that were spatially and/or temporally separable using spectral clustering. The score is then used in a real-time matching of trips for Catch-a-Ride (CaR) and CarPooling (CP) scenarios. CaR and CP achieve $\approx40\%$ and $\approx25\%$ decrease in traveled distances respectively, at the cost of moving to pick-up and from drop-off locations (i.e. drivers going on average $<700m$ out of their way on pick-up and drop-off for CP). Additionally, a comparison with the metrics available in the literature is presented on CaR scenario. We find that main advantages of WGM include the flexibility to favor time or space components, and linearity of runtime complexity. Finally, we formulate an optimal free float Car-Sharing scenario (e.g. scheduling a system of automated vehicles or taxis) resulting in an average of $\approx3.88$ trips serviced by a car in one hour.


title: Cold accretion flows and chemical bimodality of the Milky Way galaxy

abstract: Abundance of chemical elements in the stars provides important clues regarding galaxy formation. The most powerful diagnostics is the relative abundance of {\alpha}-elements (O, Mg, Si, S, Ca, and Ti) with respect to iron (Fe), [{\alpha}/Fe], each of which is produced by different kinds of supernovae. The existence of two distinct groups of stars in the solar neighbourhood, one with high [{\alpha}/Fe] and another with low [{\alpha}/Fe], suggests that the stars in the solar vicinity have two different origins. However, the specific mechanism of the realization of this bimodality is unknown. Here, we show that the cold flow hypothesis recently proposed for the accretion process of primordial gas onto forming galaxies predicts two episodes of star formation separated by a hiatus 6-7 Gyr ago and naturally explains the observed chemical bimodality. We found that the first phase of star formation that forms high [{\alpha}/Fe] stars is caused by the 'genuine' cold flow, in which unheated primordial gas accretes to the galactic disk in a freefall fashion. The second episode of star formation that forms low [{\alpha}/Fe] stars is sustained by much slower gas accretion as the once-heated gas gradually cools by radiation. The cold flow hypothesis can also explain the large-scale variation in the abundance pattern observed in the Milky Way galaxy in terms of the spatial variation of gas accretion history.


title: Transverse shift in crossed Andreev reflection

abstract: Crossed Andreev reflection (CAR) is an intriguing effect that occurs in a normal-superconductor-normal junction. In CAR, an incoming electron from one terminal is coherently scattered as an outgoing hole into the other terminal. Here, we reveal that there exists a transverse spatial shift in CAR, i.e., the plane of CAR for the outgoing hole may have a sizable transverse shift from the plane of incidence for the incoming electron. We explicitly demonstrate the effect in a model system based on Weyl semimetals. We further show that the effect is quite general and exists when the terminals have sizable spin-orbit coupling. In addition, we find that the corresponding shift in the elastic cotunneling process shows different behaviors, and it vanishes when the two terminals are identical. Based on these findings, we suggest possible experimental setups for detecting the effect, which may also offer an alternative method for probing CAR.


title: A novel Hermite RBF-based differential quadrature method for solving two-dimensional variable-order time fractional advection-diffusion equation with Neumann boundary condition

abstract: In this paper, a novel Hermite radial basis function-based differential quadrature method (H-RBF-DQ) is presented. This new method is designed to treat derivative boundary conditions accurately. The developed method is very different from the original Hermite RBF method. In order to illustrate the specific process of this method, although the method can be used to study most of partial differential equations, the numerical simulation of two-dimensional variable-order time fractional advection-diffusion equation is chosen as an example. For the general case of irregular geometry, the meshless local form of RBF-DQ was used and the multiquadric type of radial basis functions are selected for the computations. The method is validated by the documented test examples involving variable-order fractional modeling of air pollution. The numerical results demonstrate the robustness and the versatility of the proposed approach.


title: Neurons Merging Layer: Towards Progressive Redundancy Reduction for Deep Supervised Hashing

abstract: Deep supervised hashing has become an active topic in information retrieval. It generates hashing bits by the output neurons of a deep hashing network. During binary discretization, there often exists much redundancy between hashing bits that degenerates retrieval performance in terms of both storage and accuracy. This paper proposes a simple yet effective Neurons Merging Layer (NMLayer) for deep supervised hashing. A graph is constructed to represent the redundancy relationship between hashing bits that is used to guide the learning of a hashing network. Specifically, it is dynamically learned by a novel mechanism defined in our active and frozen phases. According to the learned relationship, the NMLayer merges the redundant neurons together to balance the importance of each output neuron. Moreover, multiple NMLayers are progressively trained for a deep hashing network to learn a more compact hashing code from a long redundant code. Extensive experiments on four datasets demonstrate that our proposed method outperforms state-of-the-art hashing methods.


title: Change-Point Testing for Risk Measures in Time Series

abstract: We propose novel methods for change-point testing for nonparametric estimators of expected shortfall and related risk measures in weakly dependent time series. We can detect general multiple structural changes in the tails of marginal distributions of time series under general assumptions. Self-normalization allows us to avoid the issues of standard error estimation. The theoretical foundations for our methods are functional central limit theorems, which we develop under weak assumptions. An empirical study of S&P 500 and US Treasury bond returns illustrates the practical use of our methods in detecting and quantifying market instability via the tails of financial time series.


title: Series-connected array of superconductor-insulator-superconductor junctions in the 100-GHz band heterodyne mixer for FOREST on the Nobeyama 45-m telescope

abstract: In this study, we designed and experimentally evaluated a series-connected array of superconductor-insulator-superconductor (SIS) junctions in the 100-GHz band mixer for the multi-beam receiver FOREST on the Nobeyama 45-m millimeter-wave telescope. The construction of the junction chip comprised a waveguide probe antenna, impedance matching circuit, SIS array junction, and choke filter, which were made from a superconducting niobium planar circuit on a quartz substrate. The multi-stage impedance matching circuit between the feed point and the SIS junction was designed as a capacitively loaded transmission line, and it comprised two sections with high (~90 Ohm) and low (~10 Ohm) characteristic impedance transmission lines. The structure of this tuning line was simple and easy to fabricate, and the feed impedance matched with the SIS junction in a wide frequency range. The signal coupling efficiency was more than 92% and the expected receiver noise temperature was approximately two times the quantum limit for 75-125 GHz based on quantum theory. The array junction devices with 3-6 connected junctions were fabricated and we measured their performance in terms of the receiver noise temperature and gain compression in the laboratory. We successfully developed an array junction device with a receiver noise temperature of ~15-30 K and confirmed that the improvement in the saturation power corresponded to the number of junctions. The newly developed array junction mixer was installed in the FOREST receiver and it successfully detected the 12CO (J = 1-0) molecular line toward IRC+10216 with the Nobeyama 45-m telescope.


title: Data Augmentation for Spoken Language Understanding via Joint Variational Generation

abstract: Data scarcity is one of the main obstacles of domain adaptation in spoken language understanding (SLU) due to the high cost of creating manually tagged SLU datasets. Recent works in neural text generative models, particularly latent variable models such as variational autoencoder (VAE), have shown promising results in regards to generating plausible and natural sentences. In this paper, we propose a novel generative architecture which leverages the generative power of latent variable models to jointly synthesize fully annotated utterances. Our experiments show that existing SLU models trained on the additional synthetic examples achieve performance gains. Our approach not only helps alleviate the data scarcity issue in the SLU task for many datasets but also indiscriminately improves language understanding performances for various SLU models, supported by extensive experiments and rigorous statistical testing.


title: Unsupervised Cross-lingual Word Embedding by Multilingual Neural Language Models

abstract: We propose an unsupervised method to obtain cross-lingual embeddings without any parallel data or pre-trained word embeddings. The proposed model, which we call multilingual neural language models, takes sentences of multiple languages as an input. The proposed model contains bidirectional LSTMs that perform as forward and backward language models, and these networks are shared among all the languages. The other parameters, i.e. word embeddings and linear transformation between hidden states and outputs, are specific to each language. The shared LSTMs can capture the common sentence structure among all languages. Accordingly, word embeddings of each language are mapped into a common latent space, making it possible to measure the similarity of words across multiple languages. We evaluate the quality of the cross-lingual word embeddings on a word alignment task. Our experiments demonstrate that our model can obtain cross-lingual embeddings of much higher quality than existing unsupervised models when only a small amount of monolingual data (i.e. 50k sentences) are available, or the domains of monolingual data are different across languages.


title: Free actions of finite groups on products of Dold manifolds

abstract: The Dold manifold $ P(m,n)$ is the quotient of $S^m \times \mathbb{C}P^n$ by the free involution that acts antipodally on $ S^m $ and by complex conjugation on $ \mathbb{C}P^n $. In this paper, we investigate free actions of finite groups on products of Dold manifolds. We show that if a finite group $ G $ acts freely and mod 2 cohomologically trivially on a finite-dimensional CW-complex homotopy equivalent to ${\displaystyle \prod_{i=1}^{k} P(2m_i,n_i)}$, then $G\cong (\mathbb{Z}_2)^l$ for some $l\leq k$. This is achieved by first proving a similar assertion for $ \displaystyle \prod_{i=1}^{k} S^{2m_i} \times \mathbb{C} P^{n_i} $. We also determine the possible mod 2 cohomology algebra of orbit spaces of arbitrary free involutions on Dold manifolds, and give an application to $ \mathbb{Z}_2 $-equivariant maps.


title: Splittings and symbolic powers of square-free monomial Ideals

abstract: We study the symbolic powers of square-free monomial ideals via symbolic Rees algebras and methods in prime characteristic. In particular, we prove that the symbolic Rees algebra and the symbolic associated graded algebra are split with respect to a morphism which resembles the Frobenius map and that exists in all characteristics. Using these methods, we recover a result by Hoa and Trung which states that the normalized $a$-invariants and the Castelnuovo-Mumford regularity of the symbolic powers converge. In addition, we give a sufficient condition for the equality of the ordinary and symbolic powers of this family of ideals, and relate it to Conforti-Cornu\'ejols conjecture. Finally, we interpret this condition in the context of linear optimization.


title: Magnetohydrodynamic Modeling of a Solar Eruption Associated with X9.3 Flare Observed in Active Region 12673

abstract: On SOL2017-09-06 solar active region 12673 produced an X9.3 flare which is regarded as largest to occur in solar cycle 24. In this work we have preformed a magnetohydrodynamic (MHD) simulation in order to reveal the three-dimensional (3D) dynamics of the magnetic fields associated with the X9.3 solar flare. We first performed an extrapolation of the 3D magnetic field based on the observed photospheric magnetic field prior to the flare and then used it as the initial condition for an MHD simulation. Consequently, the simulation showed a dramatic eruption. In particular, we found that a large coherent flux rope composed of highly twisted magnetic field lines is formed during the eruption. A series of small flux ropes are found to lie along a magnetic polarity inversion line prior to the flare. Reconnection occurring between each small flux rope during the early stages of the eruption forms the large and highly twisted flux rope.Furthermore, we found a writhing motion of the erupting flux rope. The understanding of these dynamics is important in increasing the accuracy of space weather forecasting. We report on the detailed dynamics of the 3D eruptive flux rope and discuss the possible mechanisms of the writhing motion.


title: On asymptotic vanishing behavior of local cohomology

abstract: Let $R$ be a standard graded algebra over a field $k$, with irrelevant maximal ideal $\fm$, and $I$ a homogeneous $R$-ideal. We study the asymptotic vanishing behavior of the graded components of the local cohomology modules $\{\HH{i}{\fm}{R/I^n}\}_{n\in \NN}$ for $i<\dim R/I$. We show that, when $\chara k= 0$, $R/I$ is Cohen-Macaulay, and $I$ is a complete intersection locally on $\Spec R \setminus\{\fm\}$, the lowest degrees of the modules $\{\HH{i}{\fm}{R/I^n}\}_{n\in \NN}$ are bounded by a linear function whose slope is controlled by the generating degrees of the dual of $I/I^2$. Our result is a direct consequence of a related bound for symmetric powers of locally free modules. If no assumptions are made on the ideal or the field $k$, we show that the complexity of the sequence of lowest degrees is at most polynomial, provided they are finite. Our methods also provide a result on stabilization of maps between local cohomology of consecutive powers of ideals.


title: A Riemann-Hilbert Approach to the Heun Equation

abstract: We describe the close connection between the linear system for the sixth Painlev\'e equation and the general Heun equation, formulate the Riemann-Hilbert problem for the Heun functions and show how, in the case of reducible monodromy, the Riemann-Hilbert formalism can be used to construct explicit polynomial solutions of the Heun equation.


title: A weakly convergent fully inexact Douglas-Rachford method with relative error tolerance

abstract: Douglas-Rachford method is a splitting algorithm for finding a zero of the sum of two maximal monotone operators. Each of its iterations requires the sequential solution of two proximal subproblems. The aim of this work is to present a fully inexact version of Douglas-Rachford method wherein both proximal subproblems are solved approximately within a relative error tolerance. We also present a semi-inexact variant in which the first subproblem is solved exactly and the second one inexactly. We prove that both methods generate sequences weakly convergent to the solution of the underlying inclusion problem, if any.


title: Tailoring $\mathcal{PT}$-symmetric soliton switch

abstract: We theoretically demonstrate soliton steering in $\mathcal{PT}$-symmetric coupled nonlinear dimers. We show that if the length of the $\mathcal{PT}$-symmetric system is set to $2\pi$ contrary to the conventional one which operates satisfactorily well only at the half-beat coupling length, the $\mathcal{PT}$ dimer remarkably yields an ideal soliton switch exhibiting almost 99.99% energy efficiency with an ultra-low critical power.


title: Fast greedy algorithms for dictionary selection with generalized sparsity constraints

abstract: In dictionary selection, several atoms are selected from finite candidates that successfully approximate given data points in the sparse representation. We propose a novel efficient greedy algorithm for dictionary selection. Not only does our algorithm work much faster than the known methods, but it can also handle more complex sparsity constraints, such as average sparsity. Using numerical experiments, we show that our algorithm outperforms the known methods for dictionary selection, achieving competitive performances with dictionary learning algorithms in a smaller running time.


title: Abelian categories arising from cluster tilting subcategories

abstract: For a triangulated category T, if C is a cluster-tilting subcategory of T, then the quotient category T\C is an abelian category. Under certain conditions, the converse also holds. This is an very important result of cluster-tilting theory, due to Koenig-Zhu and Beligiannis. Now let B be a suitable extriangulated category, which is a simultaneous generalization of triangulated categories and exact categories. We introduce the notion of pre-cluster tilting subcategory C of B, which is a generalization of cluster tilting subcategory. We show that C is cluster tilting if and only if B/C is abelian.


title: On Sectional Curvature Operator of 3-dimensional Locally Homogeneous Lorentzian Manifolds

abstract: The main purpose of this paper is to determine the admissible forms of the sectional curvature operator on a three-dimensional locally homogeneous Lorentzian manifolds.


title: QoS aware Automatic Web Service Composition with Multiple objectives

abstract: With an increasing number of web services, providing an end-to-end Quality of Service (QoS) guarantee in responding to user queries is becoming an important concern. Multiple QoS parameters (e.g., response time, latency, throughput, reliability, availability, success rate) are associated with a service, thereby, service composition with a large number of candidate services is a challenging multi-objective optimization problem. In this paper, we study the multi-constrained multi-objective QoS aware web service composition problem and propose three different approaches to solve the same, one optimal, based on Pareto front construction and two other based on heuristically traversing the solution space. We compare the performance of the heuristics against the optimal, and show the effectiveness of our proposals over other classical approaches for the same problem setting, with experiments on WSC-2009 and ICEBE-2005 datasets.


title: Scaling Video Analytics Systems to Large Camera Deployments

abstract: Driven by advances in computer vision and the falling costs of camera hardware, organizations are deploying video cameras en masse for the spatial monitoring of their physical premises. Scaling video analytics to massive camera deployments, however, presents a new and mounting challenge, as compute cost grows proportionally to the number of camera feeds. This paper is driven by a simple question: can we scale video analytics in such a way that cost grows sublinearly, or even remains constant, as we deploy more cameras, while inference accuracy remains stable, or even improves. We believe the answer is yes. Our key observation is that video feeds from wide-area camera deployments demonstrate significant content correlations (e.g. to other geographically proximate feeds), both in space and over time. These spatio-temporal correlations can be harnessed to dramatically reduce the size of the inference search space, decreasing both workload and false positive rates in multi-camera video analytics. By discussing use-cases and technical challenges, we propose a roadmap for scaling video analytics to large camera networks, and outline a plan for its realization.


title: Collision Free Navigation of a Multi-Robot Team for Intruder Interception

abstract: In this report, we propose a decentralised motion control algorithm for the mobile robots to intercept an intruder entering (k-intercepting) or escaping (e-intercepting) a protected region. In continuation, we propose a decentralized navigation strategy (dynamic-intercepting) for a multi-robot team known as predators to intercept the intruders or in the other words, preys, from escaping a siege ring which is created by the predators. A necessary and sufficient condition for the existence of a solution of this problem is obtained. Furthermore, we propose an intelligent game-based decision-making algorithm (IGD) for a fleet of mobile robots to maximize the probability of detection in a bounded region. We prove that the proposed decentralised cooperative and non-cooperative game-based decision-making algorithm enables each robot to make the best decision to choose the shortest path with minimum local information. Then we propose a leader-follower based collision-free navigation control method for a fleet of mobile robots to traverse an unknown cluttered environment where is occupied by multiple obstacles to trap a target. We prove that each individual team member is able to traverse safely in the region, which is cluttered by many obstacles with any shapes to trap the target while using the sensors in some indefinite switching points and not continuously, which leads to saving energy consumption and increasing the battery life of the robots consequently. And finally, we propose a novel navigation strategy for a unicycle mobile robot in a cluttered area with moving obstacles based on virtual field force algorithm. The mathematical proof of the navigation laws and the computer simulations are provided to confirm the validity, robustness, and reliability of the proposed methods.


title: Nascent fragment shell effects on the nuclear fission processes in semiclassical periodic orbit theory

abstract: Making use of the semiclassical periodic orbit theory (POT), we propose, for the first time, a method to exclusively evaluate the shell effects associated with each of the nascent fragments (prefragments) generated by the neck formation in nuclear fission processes. In spite of the strong indication of such shell effects in asymmetric fragment mass distributions, they could not have been accessed by any previous theoretical approach since most of the single-particle wave functions are delocalized. In the POT, we have found that the prefragment shell effects can be naturally and unambiguously identified as the ontributions of the classical periodic orbits localized in each of the prefragments. For a numerical test, simple cavity potential models are employed with the shape described by the three-quadratic-surface shape parametrization. Deformed shell energies are studied with the trace formula for degenerate orbits in a runcated spherical cavity which was recently derived [K. Arita, Phys. Rev. C 98, 064310 (2018)]. In this simple model, it is shown that the prefragment shell effect dominates the total shell energy shortly after the neck formation, and the magicity of the heavier prefragment plays a significant role in establishing the fission saddle with asymmetric shape which leads to an asymmetric scission.


title: Measurements of spin properties of atomic systems in and out of equilibrium via noise spectroscopy

abstract: We explore the applications of spin noise spectroscopy (SNS) for detection of the spin properties of atomic ensembles in and out of equilibrium. In SNS, a linearly polarized far-detuned probe beam on passing through an ensemble of atomic spins acquires the information of the spin correlations of the system which is extracted using its time-resolved Faraday-rotation noise. We measure various atomic, magnetic and sub-atomic properties as well as perform precision magnetometry using SNS in rubidium atomic vapor in thermal equilibrium. Thereafter, we manipulate the relative spin populations between different ground state hyperfine levels of rubidium by controlled optical pumping which drives the system out of equilibrium. We then apply SNS to probe such spin imbalance nonperturbatively. We further use this driven atomic vapor to demonstrate that SNS can have better resolution than typical absorption spectroscopy in detecting spectral lines in the presence of various spectral broadening mechanisms.


title: Beyond Gradient Descent for Regularized Segmentation Losses

abstract: The simplicity of gradient descent (GD) made it the default method for training ever-deeper and complex neural networks. Both loss functions and architectures are often explicitly tuned to be amenable to this basic local optimization. In the context of weakly-supervised CNN segmentation, we demonstrate a well-motivated loss function where an alternative optimizer (ADM) achieves the state-of-the-art while GD performs poorly. Interestingly, GD obtains its best result for a "smoother" tuning of the loss function. The results are consistent across different network architectures. Our loss is motivated by well-understood MRF/CRF regularization models in "shallow" segmentation and their known global solvers. Our work suggests that network design/training should pay more attention to optimization methods.


title: Non-parametric uncertainties in the dark matter velocity distribution

abstract: We investigate the impact of uncertainty in the velocity distribution of dark matter on direct detection experiments. We construct an multinomial prior with a hyperparameter $\beta$ that describes the strength of our belief in an isotropic Maxwell-Boltzmann velocity distribution. By varying $\beta$, we interpolate between a halo-independent and halo-dependent analysis. We present a novel approximation for the marginalisation of this prior that is applicable to any counting experiment. With this formula, we investigate the impact of the uncertainty in limits from XENON1T. For dark matter masses greater than about 60 GeV, we find extremely mild sensitivity to the distribution. Below about 60 GeV, the limit weakens by less than an order of magnitude if we assume an isotropic distribution in the galactic frame. If we permit anisotropic distributions, the limit further weakens, but at most by about two orders of magnitude. Lastly, we check the impact of parametric uncertainties and discuss the possible inclusion and impact of our technique in global fits.


title: Molecular Mechanics Simulations and Improved Tight-binding Hamiltonians for Artificial Light Harvesting Systems: Predicting Geometric Distributions, Disorder, and Spectroscopy of Chromophores in a Protein Environment

abstract: We present molecular mechanics {and spectroscopic} calculations on prototype artificial light harvesting systems consisting of chromophores attached to a tobacco mosaic virus (TMV) protein scaffold. These systems have been synthesized and characterized spectroscopically, but information about the microscopic configurations and geometry of these TMV-templated chromophore assemblies is largely unknown. We use a Monte Carlo conformational search algorithm to determine the preferred positions and orientations of two chromophores, Coumarin 343 together with its linker, and Oregon Green 488, when these are attached at two different sites (104 and 123) on the TMV protein. The resulting geometric information shows that the extent of disorder and aggregation properties, and therefore the optical properties of the TMV-templated chromophore assembly, are highly dependent on the choice of chromophores and protein site to which they are bound. We used the results of the conformational search as geometric parameters together with an improved tight-binding Hamiltonian to simulate the linear absorption spectra and compare with experimental spectral measurements. The ideal dipole approximation to the Hamiltonian is not valid since the distance between chromophores can be very small. We found that using the geometries from the conformational search is necessary to reproduce the features of the experimental spectral peaks.


title: Atomic structure calculations of super heavy noble element oganesson (Z=118)

abstract: We calculate the spectrum and allowed E1 transitions of the superheavy element Og (Z=118). A combination of configuration interaction (CI) and perturbation theory (PT) is used (Dzuba \textit{et at.} Phys. Rev. A, \textbf{95}, 012503 (2017)). The spectrum of lighter analog Rn I is also calculated and compared to experiment with good agreement.