title: The Curious Case of PHL 293B: A Long-Lived Transient in a Metal-Poor Blue Compact Dwarf Galaxy

abstract: We report on small-amplitude optical variability and recent dissipation of the unusually persistent broad emission lines in the blue compact dwarf galaxy PHL 293B. The galaxy's unusual spectral features (P Cygni-like profiles with $\sim$800 km s$^{-1}$ blueshifted absorption lines) have resulted in conflicting interpretations of the nature of this source in the literature. However, analysis of new Gemini spectroscopy reveals the broad emission has begun to fade after being persistent for over a decade prior. Precise difference imaging light curves constructed with the Sloan Digital Sky Survey and the Dark Energy Survey reveal small-amplitude optical variability of $\sim$0.1 mag in the g band offset by $100\pm21$ pc from the brightest pixel of the host. The light curve is well-described by an active galactic nuclei (AGN)-like damped random walk process. However, we conclude that the origin of the optical variability and spectral features of PHL 293B is due to a long-lived stellar transient, likely a Type IIn supernova or non-terminal outburst, mimicking long-term AGN-like variability. This work highlights the challenges of discriminating between scenarios in such extreme environments, relevant to searches for AGNs in dwarf galaxies. This is the second long-lived transient discovered in a blue compact dwarf, after SDSS1133. Our result implies such long-lived stellar transients may be more common in metal-deficient galaxies. Systematic searches for low-level variability in dwarf galaxies will be possible with the upcoming Legacy Survey of Space and Time at Vera C. Rubin Observatory.


title: Spurious Point Source Signals in the Galactic Center Excess

abstract: We re-examine evidence that the Galactic Center Excess (GCE) originates primarily from point sources (PSs). We show that in our region of interest, non-Poissonian template fitting (NPTF) evidence for GCE PSs is an artifact of unmodeled north-south asymmetry of the GCE. This asymmetry is strongly favored by the fit (although it is unclear if this is physical), and when it is allowed, the preference for PSs becomes insignificant. We reproduce this behavior in simulations, including detailed properties of the spurious PS population. We conclude that NTPF evidence for GCE PSs is highly susceptible to certain systematic errors, and should not at present be taken to robustly disfavor a dominantly smooth GCE.


title: The Enigmatic Galactic Center Excess: Spurious Point Sources and Signal Mismodeling

abstract: The Galactic Center GeV excess (GCE) has garnered great interest as a possible signal of either dark matter annihilation or some novel astrophysical phenomenon, such as a new population of gamma-ray emitting pulsars. In a companion paper, we showed that in a $10^\circ$ radius region of interest (ROI) surrounding the Galactic Center, apparent evidence for GCE point sources (PSs) from non-Poissonian template fitting (NPTF) is actually an artifact of unmodeled north-south asymmetry of the GCE. In this work, we develop a simplified analytic description of how signal mismodeling can drive an apparent preference for a PS population, and demonstrate how the behavior pointed out in the companion paper also appears in simpler simulated datasets that contain no PS signals at all. We explore the generality of this behavior in the real gamma-ray data, and discuss the implications for past and future studies using NPTF techniques. While the drop in PS preference once north-south asymmetry is included is not ubiquitous in larger ROIs, we show that any overly-rigid signal model is expected to yield a spurious PS signal that can appear very convincing: as well as apparent significance comparable to what one would expect from a true PS population, the signal can exhibit stability against a range of variations in the analysis, and a source count function that is very consistent with previous apparent NPTF-based detections of a GCE PS population. This contrasts with previously-studied forms of systematic mismodeling which are unlikely to mimic a PS population in the same way. In the light of this observation, and its explicit realization in the region where the GCE is brightest, we argue that a dominantly smooth origin for the GCE is not in tension with existing NPTF analyses.


title: Quantum Quasi-Monte Carlo Technique for Many-Body Perturbative Expansions

abstract: High order perturbation theory has seen an unexpected recent revival for controlled calculations of quantum many-body systems, even at strong coupling. We adapt integration methods using low-discrepancy sequences to this problem. They greatly outperform state-of-the-art diagrammatic Monte Carlo. In practical applications, we show speed-ups of several orders of magnitude with scaling as fast as $1/N$ in sample number $N$; parametrically faster than $1/\sqrt{N}$ in Monte Carlo. We illustrate our technique with a solution of the Kondo ridge in quantum dots, where it allows large parameter sweeps.


title: Foreground Mismodeling and the Point Source Explanation of the Fermi Galactic Center Excess

abstract: The Fermi Large Area Telescope has observed an excess of ~GeV energy gamma rays from the center of the Milky Way, which may arise from near-thermal dark matter annihilation. Firmly establishing the dark matter origin for this excess is however complicated by challenges in modeling diffuse cosmic-ray foregrounds as well as unresolved astrophysical sources, such as millisecond pulsars. Non-Poissonian Template Fitting (NPTF) is one statistical technique that has previously been used to show that at least some fraction of the GeV excess is likely due to a population of dim point sources. These results were recently called into question by Leane and Slatyer (2019), who showed that a synthetic dark matter annihilation signal injected on top of the real Fermi data is not recovered by the NPTF procedure. In this work, we perform a dedicated study of the Fermi data and explicitly show that the central result of Leane and Slatyer (2019) is likely driven by the fact that their choice of model for the Galactic foreground emission does not provide a sufficiently good description of the data. We repeat the NPTF analyses using a state-of-the-art model for diffuse gamma-ray emission in the Milky Way and introduce a novel statistical procedure, based on spherical-harmonic marginalization, to provide an improved description of the Galactic diffuse emission in a data-driven fashion. With these improvements, we find that the NPTF results continue to robustly favor the interpretation that the Galactic Center excess is due, in part, to unresolved astrophysical point sources across the analysis variations that we have explored.


title: The Two-Loop Four-Graviton Scattering Amplitudes

abstract: We present the analytic form of the two-loop four-graviton scattering amplitudes in Einstein gravity. To remove ultraviolet divergences we include counterterms quadratic and cubic in the Riemann curvature tensor. The two-loop numerical unitarity approach is used to deal with the challenging momentum dependence of the interactions. We exploit the algebraic properties of the integrand of the amplitude in order to map it to a minimal basis of Feynman integrals. Analytic expressions are obtained from numerical evaluations of the amplitude. Finally, we show that four-graviton scattering observables depend on fewer couplings than naively expected.


title: TYCHO -- Realistically Simulating Exoplanets within Stellar Clusters I: Improving the Monte Carlo Approach

abstract: To fully understand the diverse population of exoplanets, we must study their early lives within open clusters, the birthplace of most stars with masses $>0.5M_\odot$ (including those currently in the field). Indeed, when we observe planets within clustered environments, we notice highly eccentric and odd systems that suggest the importance of dynamical pathways created by interactions with additional bodies (as in the case of HD 285507b). However, it has proven difficult to investigate these effects, as many current numerical solvers for the multi-scale $N$-body problem are simplified and limited in scope. To remedy this, we aim to create a physically complete computational solution to explore the role of stellar close encounters and interplanetary interactions in producing the observed exoplanet populations for both open cluster stars and field stars. We present a new code, TYCHO, which employs a variety of different computational techniques, including multiple $N$-body integration methods, close encounter handling, modified Monte Carlo scattering experiments, and a variety of empirically informed initial conditions. We discuss the methodology in detail, and its implementation within the AMUSE software framework. Approximately 1$\%$ of our systems are promptly disrupted by star-star encounters contributing to the rogue planets occurrence rate. Additionally, we find that close encounters which perturb long-period planets lead to 38.3$\%$ of solar-system-like planetary systems becoming long-term unstable.

categories: astro-ph.EP astro-ph.GA astro-ph.IM astro-ph.SR


title: Tag N' Train: A Technique to Train Improved Classifiers on Unlabeled Data

abstract: There has been substantial progress in applying machine learning techniques to classification problems in collider and jet physics. But as these techniques grow in sophistication, they are becoming more sensitive to subtle features of jets that may not be well modeled in simulation. Therefore, relying on simulations for training will lead to sub-optimal performance in data, but the lack of true class labels makes it difficult to train on real data. To address this challenge we introduce a new approach, called Tag N' Train (TNT), that can be applied to unlabeled data that has two distinct sub-objects. The technique uses a weak classifier for one of the objects to tag signal-rich and background-rich samples. These samples are then used to train a stronger classifier for the other object. We demonstrate the power of this method by applying it to a dijet resonance search. By starting with autoencoders trained directly on data as the weak classifiers, we use TNT to train substantially improved classifiers. We show that Tag N' Train can be a powerful tool in model-agnostic searches and discuss other potential applications.


title: Recovering Infalling Information via String Spreading

abstract: We find S-matrix evidence that longitudinal string spreading can induce interactions between early and late time systems in the near-horizon region of a black hole. By generalizing the effect to closed strings and performing an eikonal resummation, we find a tractable regime where these interactions become strong at a Schwarzschild time separation $\Delta t \gg r_s$. We estimate the mutual information in a scenario analogous to Hayden-Preskill, and we find that string spreading is sufficient in itself for a late-time detector to recover a significant fraction of the information encoded in an infaller's state. Interesting open directions include analysis of the interaction of the detector with Unruh radiation (which may introduce noise that somewhat degrades the recovery), and formulating the optimal detector setup including many entangled detectors (which could further increase the information recovery by enhancing sensitivity to kinematic parameters with subleading dependence in the amplitude).


title: Lyman Alpha Reference Sample: X. Predicting Lyman alpha output from starforming galaxies using multivariate regression

abstract: Understanding the production and escape of Lyman $\alpha$ (Ly$\alpha$) radiation from star-forming galaxies is a long standing problem in astrophysics. The ability to predict the Ly$\alpha$ luminosity of galaxies would open up new ways of exploring the Epoch of Reionization (EoR), and to estimate Ly$\alpha$ emission from galaxies in cosmological simulations where radiative transfer calculations cannot be done. We apply multivariate regression methods to the Lyman Alpha Reference Sample dataset to obtain a relation between the galaxy properties and the emitted Ly$\alpha$. The derived relation predicts the Ly$\alpha$ luminosity of our galaxy sample to good accuracy, regardless of whether we consider only direct observables (root-mean-square (RMS) dispersion around the relation of $\sim 0.19$ dex) or derived physical quantities (RMS $\sim 0.27$ dex). We confirm the predictive ability on a separate sample of compact star-forming galaxies and find that the prediction works well, but that aperture effects on measured Ly$\alpha$ luminosity may be important, depending on the redshift of the galaxy. We apply statistical feature selection techniques to determine an order of importance of the variables in our dataset, enabling future observations to be optimized for predictive ability. When using physical variables, we are able to determine that the most important predictive parameters are, in order, star formation rate, dust extinction, compactness and the gas covering fraction. We discuss the application of our results in terms of studying the EoR and intensity mapping experiments.


title: Coherent suppression of backscattering in optical microresonators

abstract: As light propagates along a waveguide, a fraction of the field can be reflected by Rayleigh scatterers. In high-quality-factor whispering-gallery-mode microresonators, this intrinsic backscattering is primarily caused by either surface or bulk material imperfections. For several types of microresonator-based experiments and applications, minimal backscattering in the cavity is of critical importance, and thus, the ability to suppress backscattering is essential. We demonstrate that the introduction of an additional scatterer into the near field of a high-quality-factor microresonator can coherently suppress the amount of backscattering in the microresonator by more than 30 dB. The method relies on controlling the scatterer position such that the intrinsic and scatterer-induced backpropagating fields destructively interfere. This technique is useful in microresonator applications where backscattering is currently limiting the performance of devices, such as ring-laser gyroscopes and dual frequency combs, which both suffer from injection locking. Moreover, these findings are of interest for integrated photonic circuits in which back reflections could negatively impact the stability of laser sources or other components.


title: Exploring the differences of integrated and spatially resolved analysis using integral field unit data: The case of Abell 14

abstract: We present a new approach to study planetary nebulae using integral field spectroscopy. VLT@VIMOS datacube of the planetary nebula Abell 14 is analysed in three different ways by extracting: (i) the integrated spectrum, (ii) 1-dimensional simulated long slit spectra for different position angles and (iii) spaxel-by-spaxel spectra. These data are used to built emission-line diagnostic diagrams and explore the ionization structure and excitation mechanisms combining data from 1- and 3- dimensional photoionization models. The integrated and 1D simulated spectra are suitable for developing diagnostic diagrams, while the spaxel spectra can lead to misinterpretation of the observations. We find that the emission-line ratios of Abell 14 are consistent with UV photo-ionized emission, however there are some pieces of evidence of an additional thermal mechanism. The chemical abundances confirm its previous classification as a Type I planetary nebula, without spatial variation. We find, though, variation in the ionization correction factors (ICFs) as a function of the slit position angle. The star at the geometric centre of Abell 14 has an A5 spectral type with an effective temperature of Teff = 7909$\pm$135 K and surface gravity log(g) = 1.4$\pm$0.1 cm s$^{-2}$. Hence, this star cannot be responsible for the ionization state of the nebula. Gaia parallaxes of this star yield distances between 3.6 and 4.5 kpc in good agreement with the distance derived from a 3-dimensional photoionization modelling of Abell 14, indicating the presence of a binary system at the centre of the planetary nebula.


title: Metal-insulator transition in a random Hubbard model

abstract: We examine the metal-insulator transition in a half-filled Hubbard model of electrons with random and all-to-all hopping and exchange, and an on-site non-random repulsion, the Hubbard $U$. We argue that recent numerical results of Cha et al. (arXiv:2002.07181) can be understood in terms of a deconfined critical point between a disordered Fermi liquid and an insulating spin glass. We find a deconfined critical point in a previously proposed large $M$ theory which generalizes the SU(2) spin symmetry to SU($M$), and obtain exponents for the electron and spin correlators which agree with those of Cha et al. We also present a renormalization group analysis, and argue for the presence of an additional metallic spin glass phase at half-filling and small $U$.


title: Evidence for Cosmic Acceleration is Robust to Observed Correlations Between Type Ia Supernova Luminosity and Stellar Age

abstract: Type Ia Supernovae (SNe Ia) are powerful standardizable candles for constraining cosmological models and provided the first evidence of the accelerated expansion of the universe. Their precision derives from empirical correlations, now measured from $>1000$ SNe Ia, between their luminosities, light-curve shapes, colors and most recently with the stellar mass of their host galaxy. As mass correlates with other galaxy properties, alternative parameters have been investigated to improve SN Ia standardization though none have been shown to significantly alter the determination of cosmological parameters. We re-examine a recent claim, based on 34 SN Ia in nearby passive host galaxies, of a 0.05 mag/Gyr dependence of standardized SN Ia luminosity on host age which if extrapolated to higher redshifts, would be a bias up to 0.25 mag, challenging the inference of dark energy. We reanalyze this sample of hosts using both the original method and a Bayesian hierarchical model and find after a fuller accounting of the uncertainties the significance of a dependence on age to be $\leq2\sigma$ and $\sim1\sigma$ after the removal of a single poorly-sampled SN Ia. To test the claim that a trend seen in old stellar populations can be applied to younger ages, we extend our analysis to a larger sample which includes young hosts. We find the residual dependence of host age (after all standardization typically employed for cosmological measurements) to be consistent with zero for 254 SNe Ia from the Pantheon sample, ruling out the large but low significance trend seen in passive hosts.


title: The study of the angular and spatial distribution of radio selected AGNs and star-forming galaxies in the ELAIS N1 field

abstract: The cosmic evolution of bias of different source populations with underlying dark matter density field in post reionization era can shed light on large scale structures. Studying the angular and spatial distribution of different compact sources using deep radio catalogue at low-frequency is essential to understand the matter distribution of the present Universe. Here, we investigate the relationship of luminous matter with their host dark matter haloes by measuring the angular and spatial clustering of sources (two-point statistics), using deep radio observation of ELAIS N1 (EN1) field with upgraded Giant Metrewave Radio Telescope (uGMRT) at 300-500 MHz. We also analyze the 612 MHz GMRT archival data of the same field to understand the cosmic evolution of clustering of different source populations. We classify the sources as star-forming galaxies (SFGs) and active galactic nuclei (AGN) based on their radio luminosity. We find that the spatial clustering length and bias to the dark matter density field of SFGs are smaller than AGNs at both frequencies. This proves that AGNs are mainly hosted by massive haloes and hence strongly clustered. However, a small decrease in the bias for both kind of sources at higher frequency indicates that we are most likely tracing the faint objects residing in less massive haloes at higher frequencies. Our results are in excellent agreement with previous findings at radio and multi-frequency surveys. However, comparison with SKADS simulation suggests that the halo mass for different populations used in the simulation is systematically lower. This work quantifies the spatial distribution of extragalactic compact objects in EN1 field and bridges the gap between shallow and deep surveys.


title: Intermittent hydrodynamic jets in collapsars do not produce GRBs

abstract: Strong variability is a common characteristic of the prompt emission of gamma-ray bursts (GRB). This observed variability is widely attributed to an intermittency of the central engine, through formation of strong internal shocks in the GRB-emitting jet expelled by the engine. In this paper we study numerically the propagation of hydrodynamic jets, injected periodically by a variable engine, through the envelope of a collapsed star. By post-processing the output of 3D numerical simulations, we compute the net radiative efficiency of the outflow. We find that all intermittent jets are subject to heavy baryon contamination that inhibits the emission at and above the photosphere well below detection limits. This is in contrast to continuous jets that, as shown recently, produce a highly variable gamma-ray photospheric emission with high efficiency, owing to the interaction of the jet with the stellar envelope. Our results challenge the variable engine model for hydrodynamic jets, and may impose constraints on the duty cycle of GRB engines. If such systems exist in nature, they are not expected to produce bright gamma-ray emission, but should appear as X-ray, optical and radio transients that resemble a delayed GRB afterglow signal.


title: Self-Organized Error Correction in Random Unitary Circuits with Measurement

abstract: Random measurements have been shown to induce a phase transition in an extended quantum system evolving under chaotic unitary dynamics, when the strength of measurements exceeds a threshold value. Below this threshold, a steady state with a sub-thermal volume law entanglement emerges, which is resistant to the disentangling action of measurements, suggesting a connection to quantum error-correcting codes. Here we quantify these notions by identifying a universal, subleading logarithmic contribution to the volume law entanglement entropy: $S^{(2)}(A)=\kappa L_A+\frac{3}{2}\log L_A$ which bounds the mutual information between a qudit inside region $A$ and the rest of the system. Specifically, we find the power law decay of the mutual information $I(\{x\}:\bar{A})\propto x^{-3/2}$ with distance $x$ from the region's boundary, which implies that measuring a qudit deep inside $A$ will have negligible effect on the entanglement of $A$. We obtain these results by mapping the entanglement dynamics to the imaginary time evolution of an Ising model, to which we can apply field-theoretic and matrix-product-state techniques. Finally, exploiting the error-correction viewpoint, we assume that the volume-law state is an encoding of a Page state in a quantum error-correcting code to obtain a bound on the critical measurement strength $p_{c}$ as a function of the qudit dimension $d$: $p_{c}\log[(d^{2}-1)({p_{c}^{-1}-1})]\le \log[(1-p_{c})d]$. The bound is saturated at $p_c(d\rightarrow\infty)=1/2$ and provides a reasonable estimate for the qubit transition: $p_c(d=2) \le 0.1893$.

categories: cond-mat.stat-mech cond-mat.dis-nn cond-mat.str-el quant-ph


title: Imbalance Learning for Variable Star Classification

abstract: The accurate automated classification of variable stars into their respective sub-types is difficult. Machine learning based solutions often fall foul of the imbalanced learning problem, which causes poor generalisation performance in practice, especially on rare variable star sub-types. In previous work, we attempted to overcome such deficiencies via the development of a hierarchical machine learning classifier. This 'algorithm-level' approach to tackling imbalance, yielded promising results on Catalina Real-Time Survey (CRTS) data, outperforming the binary and multi-class classification schemes previously applied in this area. In this work, we attempt to further improve hierarchical classification performance by applying 'data-level' approaches to directly augment the training data so that they better describe under-represented classes. We apply and report results for three data augmentation methods in particular: $\textit{R}$andomly $\textit{A}$ugmented $\textit{S}$ampled $\textit{L}$ight curves from magnitude $\textit{E}$rror ($\texttt{RASLE}$), augmenting light curves with Gaussian Process modelling ($\texttt{GpFit}$) and the Synthetic Minority Over-sampling Technique ($\texttt{SMOTE}$). When combining the 'algorithm-level' (i.e. the hierarchical scheme) together with the 'data-level' approach, we further improve variable star classification accuracy by 1-4$\%$. We found that a higher classification rate is obtained when using $\texttt{GpFit}$ in the hierarchical model. Further improvement of the metric scores requires a better standard set of correctly identified variable stars and, perhaps enhanced features are needed.


title: Unmet Needs and Opportunities for Mobile Translation AI

abstract: Translation apps and devices are often presented in the context of providing assistance while traveling abroad. However, the spectrum of needs for cross-language communication is much wider. To investigate these needs, we conducted three studies with populations spanning socioeconomic status and geographic regions: (1) United States-based travelers, (2) migrant workers in India, and (3) immigrant populations in the United States. We compare frequent travelers' perception and actual translation needs with those of the two migrant communities. The latter two, with low language proficiency, have the greatest translation needs to navigate their daily lives. However, current mobile translation apps do not meet these needs. Our findings provide new insights on the usage practices and limitations of mobile translation tools. Finally, we propose design implications to help apps better serve these unmet needs.


title: Tensor network approaches for learning non-linear dynamical laws

abstract: Given observations of a physical system, identifying the underlying non-linear governing equation is a fundamental task, necessary both for gaining understanding and generating deterministic future predictions. Of most practical relevance are automated approaches to theory building that scale efficiently for complex systems with many degrees of freedom. To date, available scalable methods aim at a data-driven interpolation, without exploiting or offering insight into fundamental underlying physical principles, such as locality of interactions. In this work, we show that various physical constraints can be captured via tensor network based parameterizations for the governing equation, which naturally ensures scalability. In addition to providing analytic results motivating the use of such models for realistic physical systems, we demonstrate that efficient rank-adaptive optimization algorithms can be used to learn optimal tensor network models without requiring a~priori knowledge of the exact tensor ranks. As such, we provide a physics-informed approach to recovering structured dynamical laws from data, which adaptively balances the need for expressivity and scalability.

categories: math.NA cs.LG cs.NA math.DS quant-ph stat.ML


title: Intelligent Autofocus

abstract: We demonstrate that deep learning methods can determine the best focus position from 1-2 image samples, enabling 5-10x faster focus than traditional search-based methods. In contrast with phase detection methods, deep autofocus does not require specialized hardware. In further constrast with conventional methods, which assume a static "best focus," AI methods can generate scene-based focus trajectories that optimize synthesized image quality for dynamic and three dimensional scenes.


title: A Generalized Nachtmann Theorem in CFT

abstract: Correlators of unitary quantum field theories in Lorentzian signature obey certain analyticity and positivity properties. For interacting unitary CFTs in more than two dimensions, we show that these properties impose general constraints on families of minimal twist operators that appear in the OPEs of primary operators. In particular, we rederive and extend the convexity theorem which states that for the family of minimal twist operators with even spins appearing in the reflection-symmetric OPE of any scalar primary, twist must be a monotonically increasing convex function of the spin. Our argument is completely non-perturbative and it also applies to the OPE of nonidentical scalar primaries in unitary CFTs, constraining the twist of spinning operators appearing in the OPE. Finally, we argue that the same methods also impose constraints on the Regge behavior of certain CFT correlators.


title: Test the hypothesis of compact-binary-coalescence origin of fast radio bursts through a multi-messenger approach

abstract: In the literature, compact binary coalescences (CBCs) have been proposed as one of the main scenarios to explain the origin of some non-repeating fast radio bursts (FRBs). The large discrepancy between the FRB and CBC event rate densities suggest their associations, if any, should only apply at most for a small fraction of FRBs. Through a Bayesian estimation method, we show how a statistical analysis of the coincident associations of FRBs with CBC gravitational wave (GW) events may test the hypothesis of these associations. We show that during the operation period of advanced LIGO, the detection of $\sim100$ ($\sim1000$) GW-less FRBs with dispersion measure (DM) values smaller than 500 ${\rm pc~cm^{-3}}$ could reach the constraint that less than $10\%$ (or $1\%$) FRBs are related to binary black hole (BBH) mergers. The same number of FRBs with DM values smaller than 100 ${\rm pc~cm^{-3}}$ is required to reach the same constraint for binary neutron star (BNS) mergers. With the upgrade of GW detectors, the same constraints for BBH and BNS mergers can be reached with less FRBs or looser requirements for the DM values. It is also possible to pose constraints on the fraction of each type of CBCs that are able to produce observable FRBs based on the event density of FRBs and CBCs. This would further constrain the dimensionless charge of black holes in binary BH systems.


title: Joint 2D-3D Breast Cancer Classification

abstract: Breast cancer is the malignant tumor that causes the highest number of cancer deaths in females. Digital mammograms (DM or 2D mammogram) and digital breast tomosynthesis (DBT or 3D mammogram) are the two types of mammography imagery that are used in clinical practice for breast cancer detection and diagnosis. Radiologists usually read both imaging modalities in combination; however, existing computer-aided diagnosis tools are designed using only one imaging modality. Inspired by clinical practice, we propose an innovative convolutional neural network (CNN) architecture for breast cancer classification, which uses both 2D and 3D mammograms, simultaneously. Our experiment shows that the proposed method significantly improves the performance of breast cancer classification. By assembling three CNN classifiers, the proposed model achieves 0.97 AUC, which is 34.72% higher than the methods using only one imaging modality.


title: Cost Models for Big Data Query Processing: Learning, Retrofitting, and Our Findings

abstract: Query processing over big data is ubiquitous in modern clouds, where the system takes care of picking both the physical query execution plans and the resources needed to run those plans, using a cost-based query optimizer. A good cost model, therefore, is akin to better resource efficiency and lower operational costs. Unfortunately, the production workloads at Microsoft show that costs are very complex to model for big data systems. In this work, we investigate two key questions: (i) can we learn accurate cost models for big data systems, and (ii) can we integrate the learned models within the query optimizer. To answer these, we make three core contributions. First, we exploit workload patterns to learn a large number of individual cost models and combine them to achieve high accuracy and coverage over a long period. Second, we propose extensions to Cascades framework to pick optimal resources, i.e, number of containers, during query planning. And third, we integrate the learned cost models within the Cascade-style query optimizer of SCOPE at Microsoft. We evaluate the resulting system, Cleo, in a production environment using both production and TPC-H workloads. Our results show that the learned cost models are 2 to 3 orders of magnitude more accurate, and 20X more correlated with the actual runtimes, with a large majority (70%) of the plan changes leading to substantial improvements in latency as well as resource usage.


title: Affinity guided Geometric Semi-Supervised Metric Learning

abstract: In this paper, we revamp the forgotten classical Semi-Supervised Distance Metric Learning (SSDML) problem from a Riemannian geometric lens, to leverage stochastic optimization within a end-to-end deep framework. The motivation comes from the fact that apart from a few classical SSDML approaches learning a linear Mahalanobis metric, deep SSDML has not been studied. We first extend existing SSDML methods to their deep counterparts and then propose a new method to overcome their limitations. Due to the nature of constraints on our metric parameters, we leverage Riemannian optimization. Our deep SSDML method with a novel affinity propagation based triplet mining strategy outperforms its competitors.


title: Influence of hadronic resonances on the chemical freeze-out in heavy-ion collisions

abstract: Detailed knowledge of the hadronic spectrum is still an open question, which has phenomenological consequences on the study of heavy-ion collisions. A previous lattice QCD study concluded that additional strange resonances are missing in the currently tabulated lists provided by the Particle Data Group (PDG). That study identified the list labeled PDG2016+ as the ideal spectrum to be used as an input in thermal-model-based analyses. In this work, we determine the effect of additional resonances on the freeze-out parameters of systems created in heavy-ion collisions. These parameters are obtained from thermal fits of particle yields and net-particle fluctuations. For a complete picture, we compare several hadron lists including both experimentally discovered and theoretically predicted states. We find that the inclusion of additional resonances mildly influences the extracted parameters -- with a general trend of progressively lowering the temperature -- but is not sufficient to close the gap in temperature between light and strange hadrons previously observed in the literature.


title: Total stability functions for type $\mathbb{A}$ quivers

abstract: For a quiver $Q$ of Dynkin type $\mathbb{A}_n$, we give a set of $n-1$ inequalities which are necessary and sufficient for a linear stability condition (a.k.a. central charge) $Z\colon K_0(Q) \to \mathbb{C}$ to make all indecomposable representations stable. We furthermore show that these are a minimal set of inequalities defining the space $\mathcal{TS}(Q)$ of total stability conditions, considered as an open subset of $\mathbb{R}^{Q_0} \times (\mathbb{R}_{>0})^{Q_0}$. We then use these inequalities to show that each fiber of the projection of $\mathcal{TS}(Q)$ to $(\mathbb{R}_{>0})^{Q_0}$ is linearly equivalent to $\mathbb{R} \times \mathbb{R}_{>0}^{Q_1}$.


title: Hypergraph min-cuts from quantum entropies

abstract: The min-cut function of weighted hypergraphs and the von Neumann entropy of pure quantum states are both symmetric submodular functions. In this note, we explain this coincidence by proving that the min-cut function of any weighted hypergraph can be approximated (up to an overall rescaling) by the entropies of quantum states known as stabilizer states. This implies that the min-cuts of hypergraphs are constrained by quantum entropy inequalities, and it shows that the recently defined hypergraph cones are contained in the quantum stabilizer entropy cones, as has been conjectured in the recent literature.


title: TSS: Transformation-Specific Smoothing for Robustness Certification

abstract: As machine learning (ML) systems become pervasive, safeguarding their security is critical. However, recently it has been demonstrated that motivated adversaries are able to mislead ML systems by perturbing test data using semantic transformations. While there exists a rich body of research providing provable robustness guarantees for ML models against $\ell_p$ norm bounded adversarial perturbations, guarantees against semantic perturbations remain largely underexplored. In this paper, we provide TSS -- a unified framework for certifying ML robustness against general adversarial semantic transformations. First, depending on the properties of each transformation, we divide common transformations into two categories, namely resolvable (e.g., Gaussian blur) and differentially resolvable (e.g., rotation) transformations. For the former, we propose transformation-specific randomized smoothing strategies and obtain strong robustness certification. The latter category covers transformations that involve interpolation errors, and we propose a novel approach based on stratified sampling to certify the robustness. Our framework TSS leverages these certification strategies and combines with consistency-enhanced training to provide rigorous certification of robustness. We conduct extensive experiments on over ten types of challenging semantic transformations and show that TSS significantly outperforms the state of the art. Moreover, to the best of our knowledge, TSS is the first approach that achieves nontrivial certified robustness on the large-scale ImageNet dataset. For instance, our framework achieves 30.4% certified robust accuracy against rotation attack (within $\pm 30^\circ$) on ImageNet. Moreover, to consider a broader range of transformations, we show TSS is also robust against adaptive attacks and unforeseen image corruptions such as CIFAR-10-C and ImageNet-C.


title: ConQUR: Mitigating Delusional Bias in Deep Q-learning

abstract: Delusional bias is a fundamental source of error in approximate Q-learning. To date, the only techniques that explicitly address delusion require comprehensive search using tabular value estimates. In this paper, we develop efficient methods to mitigate delusional bias by training Q-approximators with labels that are "consistent" with the underlying greedy policy class. We introduce a simple penalization scheme that encourages Q-labels used across training batches to remain (jointly) consistent with the expressible policy class. We also propose a search framework that allows multiple Q-approximators to be generated and tracked, thus mitigating the effect of premature (implicit) policy commitments. Experimental results demonstrate that these methods can improve the performance of Q-learning in a variety of Atari games, sometimes dramatically.


title: Witnessing Entanglement in Experiments with Correlated Noise

abstract: The purpose of an entanglement witness experiment is to certify the creation of an entangled state from a finite number of trials. The statistical confidence of such an experiment is typically expressed as the number of observed standard deviations of witness violations. This method implicitly assumes that the noise is well-behaved so that the central limit theorem applies. In this work, we propose two methods to analyze witness experiments where the states can be subject to arbitrarily correlated noise. Our first method is a rejection experiment, in which we certify the creation of entanglement by rejecting the hypothesis that the experiment can only produce separable states. We quantify the statistical confidence by a p-value, which can be interpreted as the likelihood that the observed data is consistent with the hypothesis that only separable states can be produced. Hence a small p-value implies large confidence in the witnessed entanglement. The method applies to general witness experiments and can also be used to witness genuine multipartite entanglement. Our second method is an estimation experiment, in which we estimate and construct confidence intervals for the average witness value. This confidence interval is statistically rigorous in the presence of correlated noise. The method applies to general estimation problems, including fidelity estimation. To account for systematic measurement and random setting generation errors, our model takes into account device imperfections and we show how this affects both methods of statistical analysis. Finally, we illustrate the use of our methods with detailed examples based on a simulation of NV centers.


title: On the presence of a critical detachment angle in gecko spatula peeling -- A numerical investigation using an adhesive friction model

abstract: A continuum-based computational contact model is employed to study coupled adhesion and friction in gecko spatulae. Nonlinear finite element analysis is carried out to simulate spatula peeling from a rigid substrate. It is shown that the "frictional adhesion" behavior, until now only observed from seta to toe levels, is also present at the spatula level. It is shown that for sufficiently small spatula pad thickness, the spatula detaches at a constant angle known as the critical detachment angle irrespective of the peeling and shaft angles. The spatula reaches the same energy states at the jump-off contact point, which directly relates to the invariance of the critical detachment angle. This study also reveals that there is an optimum pad thickness associated with the invariance of the critical detachment angle. It is further observed that the sliding of the spatula pad is essential for the invariance of the critical detachment angle.


title: A cell structure of the space of branched coverings of the two-dimensional sphere

abstract: For a closed oriented surface $ \Sigma $ let $X_{\Sigma,n}$ be the space of isomorphism classes of orientation preserving $n$-fold branched coverings $ \Sigma\rightarrow S^2 $ of the two-dimensional sphere. At a previous paper, the authors constructed a compactification $\bar{X}_{\Sigma,n}$ of the space that coincides with the Diaz-Edidin-Natanzon-Turaev compactification of the Hurwitz space $H(\Sigma,n)\subset X_{\Sigma,n}$ consisting of isomorphism classes of branched coverings with all critical values being simple. Using Grothendieck's dessins d'enfants we construct a cell structure of the compactification. The obtained results are applied to the space of trigonal curves on a Hirzebruch surface.


title: Extremality of Rational Tails Boundary Strata in $\overline{\mathcal{M}}_{g,n}$

abstract: We review and develop some techniques used to investigate the effective cones of higher codimension classes. Our results show that a large collection of boundary strata of rational tails type are extremal in their effective cones on $\overline{\mathcal{M}}_{g,n}$ and provide evidence for the conjecture that all boundary strata of $\overline{\mathcal{M}}_{g,n}$ are extremal. As a corollary, we show that all boundary strata are extremal in genus zero.


title: Supervised Enhanced Soft Subspace Clustering (SESSC) for TSK Fuzzy Classifiers

abstract: Fuzzy c-means based clustering algorithms are frequently used for Takagi-Sugeno-Kang (TSK) fuzzy classifier antecedent parameter estimation. One rule is initialized from each cluster. However, most of these clustering algorithms are unsupervised, which waste valuable label information in the training data. This paper proposes a supervised enhanced soft subspace clustering (SESSC) algorithm, which considers simultaneously the within-cluster compactness, between-cluster separation, and label information in clustering. It can effectively deal with high-dimensional data, be used as a classifier alone, or be integrated into a TSK fuzzy classifier to further improve its performance. Experiments on nine UCI datasets from various application domains demonstrated that SESSC based initialization outperformed other clustering approaches, especially when the number of rules is small.


title: Emergent photon pair propagation in circuit QED with superconducting processors

abstract: We propose a method to achieve photon pair propagation in an array of three-level superconducting circuits. Assuming experimentally accessible three-level artificial atoms with strong anharmonicity coupled via microwave transmission lines in both one and two dimensions we analyze the circuit Quantum Electrodynamics(QED) of the system. We explicitly show that for a suitable choice of the coupling ratio between different levels, the single photon propagation is suppressed and the propagation of photon pairs emerges. This propagation of photon pairs leads to the pair superfluid of polaritons associated to the system. We compute the complete phase diagram of the polariton quantum matter revealing the pair superfluid phase which is sandwiched between the vacuum and the Mott insulator state corresponding to the polariton density equal to two in the strong coupling regime.


title: A Free-Energy Principle for Representation Learning

abstract: This paper employs a formal connection of machine learning with thermodynamics to characterize the quality of learnt representations for transfer learning. We discuss how information-theoretic functional such as rate, distortion and classification loss of a model lie on a convex, so-called equilibrium surface.We prescribe dynamical processes to traverse this surface under constraints, e.g., an iso-classification process that trades off rate and distortion to keep the classification loss unchanged. We demonstrate how this process can be used for transferring representations from a source dataset to a target dataset while keeping the classification loss constant. Experimental validation of the theoretical results is provided on standard image-classification datasets.


title: Physical Encryption and Pilot Direction Reversal With Channel Modulation Techniques

abstract: Encryption for channel modulation techniques on a physical basis is considered. A channel modulation scheme is proposed in which the selected channel depends on both transmitter and receiver configuration. The planned selections of the receiver become the encryption key. The communication system is prototyped in an anechoic chamber, where channels are distinguished based on phase differences. It is explored that, as the data is transmitted solely through the selection of the channel, the receiver could transmit the pilot signals and the transmitter could remain passive, i.e. the transmitter does not transmit electromagnetic waves.


title: High Precision In-Pipe Robot Localization with Reciprocal Sensor Fusion

abstract: The huge advantage of in-pipe robots is that they are able to measure from inside the pipes, and to sense the geometry, appearance and radiometry directly. The downside is the inability to know precise, absolute position of the measurements in very long pipe runs. This paper develops the unprecedented localization required for this purpose.


title: Bound entangled singlet-like states for quantum metrology

abstract: Bipartite entangled quantum states with a positive partial transpose (PPT), i.e., PPT entangled states, are usually considered very weakly entangled. Since no pure entanglement can be distilled from them, they are also called bound entangled. In this paper we present two classes of ($2d\times 2d$)-dimensional PPT entangled states for any $d\ge 2$ which outperform all separable states in metrology significantly. We present strong evidence that our states provide the maximal metrological gain achievable by PPT states for a given system size. When the dimension $d$ goes to infinity, the metrological gain of these states becomes maximal and equals the metrological gain of a pair of maximally entangled qubits. Thus, we argue that our states could be called "PPT singlets."


title: On Biased Compression for Distributed Learning

abstract: In the last few years, various communication compression techniques have emerged as an indispensable tool helping to alleviate the communication bottleneck in distributed learning. However, despite the fact biased compressors often show superior performance in practice when compared to the much more studied and understood unbiased compressors, very little is known about them. In this work we study three classes of biased compression operators, two of which are new, and their performance when applied to (stochastic) gradient descent and distributed (stochastic) gradient descent. We show for the first time that biased compressors can lead to linear convergence rates both in the single node and distributed settings. We prove that distributed compressed SGD method, employed with error feedback mechanism, enjoys the ergodic rate $O\left( \delta L \exp \left[-\frac{\mu K}{\delta L}\right] + \frac{(C + \delta D)}{K\mu}\right)$, where $\delta\ge 1$ is a compression parameter which grows when more compression is applied, $L$ and $\mu$ are the smoothness and strong convexity constants, $C$ captures stochastic gradient noise ($C=0$ if full gradients are computed on each node) and $D$ captures the variance of the gradients at the optimum ($D=0$ for over-parameterized models). Further, via a theoretical study of several synthetic and empirical distributions of communicated gradients, we shed light on why and by how much biased compressors outperform their unbiased variants. Finally, we propose several new biased compressors with promising theoretical guarantees and practical performance.


title: Cognitively-Inspired Model for Incremental Learning Using a Few Examples

abstract: Incremental learning attempts to develop a classifier which learns continuously from a stream of data segregated into different classes. Deep learning approaches suffer from catastrophic forgetting when learning classes incrementally, while most incremental learning approaches require a large amount of training data per class. We examine the problem of incremental learning using only a few training examples, referred to as Few-Shot Incremental Learning (FSIL). To solve this problem, we propose a novel approach inspired by the concept learning model of the hippocampus and the neocortex that represents each image class as centroids and does not suffer from catastrophic forgetting. We evaluate our approach on three class-incremental learning benchmarks: Caltech-101, CUBS-200-2011 and CIFAR-100 for incremental and few-shot incremental learning and show that our approach achieves state-of-the-art results in terms of classification accuracy over all learned classes.


title: Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations

abstract: We consider the problem of securing a given control loop implementation of a cyber-physical system (CPS) in the presence of Man-in-the-Middle attacks on data exchange between plant and controller over a compromised network. To this end, there exist various detection schemes that provide mathematical guarantees against such attacks for the theoretical control model. However, such guarantees may not hold for the actual control software implementation. In this article, we propose a formal approach towards synthesizing attack detectors with varying thresholds which can prevent performance degrading stealthy attacks while minimizing false alarms.


title: Non-relativistic duality and $T \bar T$ deformations

abstract: We make some observations connecting non-relativistic limits of string theory with $T\bar T$ deformations and TsT transformations.


title: On the Convergence of Nesterov's Accelerated Gradient Method in Stochastic Settings

abstract: We study Nesterov's accelerated gradient method with constant step-size and momentum parameters in the stochastic approximation setting (unbiased gradients with bounded variance) and the finite-sum setting (where randomness is due to sampling mini-batches). To build better insight into the behavior of Nesterov's method in stochastic settings, we focus throughout on objectives that are smooth, strongly-convex, and twice continuously differentiable. In the stochastic approximation setting, Nesterov's method converges to a neighborhood of the optimal point at the same accelerated rate as in the deterministic setting. Perhaps surprisingly, in the finite-sum setting, we prove that Nesterov's method may diverge with the usual choice of step-size and momentum, unless additional conditions on the problem related to conditioning and data coherence are satisfied. Our results shed light as to why Nesterov's method may fail to converge or achieve acceleration in the finite-sum setting.


title: SilhoNet-Fisheye: Adaptation of A ROI Based Object Pose Estimation Network to Monocular Fisheye Images

abstract: There has been much recent interest in deep learning methods for monocular image based object pose estimation. While object pose estimation is an important problem for autonomous robot interaction with the physical world, and the application space for monocular-based methods is expansive, there has been little work on applying these methods with fisheye imaging systems. Also, little exists in the way of annotated fisheye image datasets on which these methods can be developed and tested. The research landscape is even more sparse for object detection methods applied in the underwater domain, fisheye image based or otherwise. In this work, we present a novel framework for adapting a ROI-based 6D object pose estimation method to work on full fisheye images. The method incorporates the gnomic projection of regions of interest from an intermediate spherical image representation to correct for the fisheye distortions. Further, we contribute a fisheye image dataset, called UWHandles, collected in natural underwater environments, with 6D object pose and 2D bounding box annotations.


title: Learning in the Frequency Domain

abstract: Deep neural networks have achieved remarkable success in computer vision tasks. Existing neural networks mainly operate in the spatial domain with fixed input sizes. For practical applications, images are usually large and have to be downsampled to the predetermined input size of neural networks. Even though the downsampling operations reduce computation and the required communication bandwidth, it removes both redundant and salient information obliviously, which results in accuracy degradation. Inspired by digital signal processing theories, we analyze the spectral bias from the frequency perspective and propose a learning-based frequency selection method to identify the trivial frequency components which can be removed without accuracy loss. The proposed method of learning in the frequency domain leverages identical structures of the well-known neural networks, such as ResNet-50, MobileNetV2, and Mask R-CNN, while accepting the frequency-domain information as the input. Experiment results show that learning in the frequency domain with static channel selection can achieve higher accuracy than the conventional spatial downsampling approach and meanwhile further reduce the input data size. Specifically for ImageNet classification with the same input size, the proposed method achieves 1.41% and 0.66% top-1 accuracy improvements on ResNet-50 and MobileNetV2, respectively. Even with half input size, the proposed method still improves the top-1 accuracy on ResNet-50 by 1%. In addition, we observe a 0.8% average precision improvement on Mask R-CNN for instance segmentation on the COCO dataset.


title: Role of non-locality in exchange-correlation for magnetic 2D van der Waals materials

abstract: To obtain accurate independent-particle descriptions for ferromagnetic two-dimensional van der Waals materials, we apply the quasiparticle self-consistent $GW$ (QSGW) method to VI$_3$, CrI$_3$, CrGeTe$_3$, and Fe$_3$GeTe$_2$. QSGW provides a description of the nonlocal exchange-correlation term in the one-particle Hamiltonian. The nonlocal term is important not only as the $U$ of density functional theory (DFT)+$U$ but also for differentiating occupied and unoccupied states in semiconductors. We show the limitations of DFT+$U$ in mimicking QSGW.


title: MNN: A Universal and Efficient Inference Engine

abstract: Deploying deep learning models on mobile devices draws more and more attention recently. However, designing an efficient inference engine on devices is under the great challenges of model compatibility, device diversity, and resource limitation. To deal with these challenges, we propose Mobile Neural Network (MNN), a universal and efficient inference engine tailored to mobile applications. In this paper, the contributions of MNN include: (1) presenting a mechanism called pre-inference that manages to conduct runtime optimization; (2)deliveringthorough kernel optimization on operators to achieve optimal computation performance; (3) introducing backend abstraction module which enables hybrid scheduling and keeps the engine lightweight. Extensive benchmark experiments demonstrate that MNN performs favorably against other popular lightweight deep learning frameworks. MNN is available to public at: https://github.com/alibaba/MNN.


title: Renormalons in integrated spectral function moments and $\alpha_s$ extractions

abstract: Precise extractions of $\alpha_s$ from $\tau\to {\rm (hadrons)}+\nu_\tau$ and from $e^+e^-\to {\rm (hadrons)}$ below the charm threshold rely on finite energy sum rules (FESRs) where the experimental side is given by integrated spectral function moments. Here we study the renormalons that appear in the Borel transform of polynomial moments in the large-$\beta_0$ limit and in full QCD. In large-$\beta_0$, we establish a direct connection between the renormalons and the perturbative behaviour of moments often employed in the literature. The leading IR singularity is particularly prominent and is behind the fate of moments whose perturbative series are unstable, while those with good perturbative behaviour benefit from partial cancellations of renormalon singularities. The conclusions can be extended to QCD through a convenient scheme transformation to the $C$-scheme together with the use of a modified Borel transform which make the results particularly simple; the leading IR singularity becomes a simple pole, as in large-$\beta_0$. Finally, for the moments that display good perturbative behaviour, we discuss an optimized truncation based on renormalisation scheme (or scale) variation. Our results allow for a deeper understanding of the perturbative behaviour of integrated spectral function moments and provide theoretical support for low-$Q^2$ $\alpha_s$ determinations.


title: Unstable oscillations and bistability in delay-coupled swarms

abstract: It is known from both theory and experiments that introducing time delays into the communication network of mobile-agent swarms produces coherent rotational patterns. Often such spatio-temporal rotations can be bistable with other swarming patterns, such as milling and flocking. Yet, most known bifurcation results related to delay-coupled swarms rely on inaccurate mean-field techniques. As a consequence, the utility of applying macroscopic theory as a guide for predicting and controlling swarms of mobile robots has been limited. To overcome this limitation, we perform an exact stability analysis of two primary swarming patterns in a general model with time-delayed interactions. By correctly identifying the relevant spatio-temporal modes that determine stability in the presence of time delay, we are able to accurately predict bistability and unstable oscillations in large swarm simulations-- laying the groundwork for comparisons to robotics experiments.


title: A counter-example for polynomial version of Sarnak's conjecture

abstract: We construct the counter-example for polynomial version of Sarnak's conjecture for minimal systems, which assets that the M\"obius function is linearly disjoint from subsequences along polynomials of deterministic sequences realized in minimal systems. Our example is in the class of Toeplitz systems, which are minimal.


title: Polyhedral compactifications, I

abstract: In this work we describe horofunction compactifications of metric spaces and finite dimensional real vector spaces through asymmetric metrics and asymmetric polyhedral norms by means of nonstandard methods, that is, ultrapowers of the spaces at hand. The polyhedral compactifications of the vector spaces carry the structure of stratified spaces with the strata indexed by dual faces of the polyhedral unit ball. Explicit neighborhood bases and descriptions of the horofunctions are provided.


title: On projective Banach lattices of the form C(K) and FBL[E]

abstract: We show that if a Banach lattice is projective, then every bounded sequence that can be mapped by a homomorphism onto the basis of $c_0$ must contain an $\ell_1$-subsequence. As a consequence, if Banach lattices $\ell_p$ or $FBL[E]$ are projective, then $p=1$ or $E$ has the Schur property, respectively. On the other hand, we show that $C(K)$ is projective whenever $K$ is an absolute neighbourhood retract, answering a question by de Pagter and Wickstead.


title: What determines a variety?

abstract: We show that, over a field of characteristic 0, a normal, projective variety of dimension at least 4 is uniquely determined by its underlying topological space. The proof builds on previous work of Lieblich and Olsson. Version 2: many small changes and new references.


title: Near-resonant instability of geostrophic modes: beyond Greenspan's theorem

abstract: We explore the near-resonant interaction of inertial waves with geostrophic modes in rotating fluids via numerical and theoretical analysis. When a single inertial wave is imposed, we find that some geostrophic modes are unstable above a threshold value of the Rossby number $kRo$ based on the wavenumber and wave amplitude. We show this instability to be caused by triadic interaction involving two inertial waves and a geostrophic mode such that the sum of their eigen frequencies is non-zero. We derive theoretical scalings for the growth rate of this near-resonant instability. The growth rate scaled by the global rotation rate is proportional to $(kRo)^2$ at low $kRo$ and transitions to a $kRo$ scaling for larger $kRo$. These scalings are in excellent agreement with direct numerical simulations. This instability could explain recent experimental observations of geostrophic instability driven by waves.


title: Reconstructing Element-by-Element Dissipated Hysteretic Energy in Instrumented Buildings: Application to the Van Nuys Hotel Testbed

abstract: The authors propose a seismic monitoring framework for instrumented buildings that employs dissipated energy as a feature for damage detection and localization. The proposed framework employs a nonlinear model-based state observer, which combines a nonlinear finite element model of a building and global acceleration measurements to estimate the time history of seismic response at all degrees of freedom of the model. This includes displacements, element forces, and plastic deformations in all structural members. The estimated seismic response is then used to 1) estimate inter-story drifts and determine the post-earthquake re-occupancy classification of the building based on performance-based criteria, 2) compare the estimated demands with code-based capacity and reconstruct element-by-element demand-to-capacity ratios and 3) reconstruct element-level normalized energy dissipation and ductility. The outcome of this process is employed for the performance-based monitoring, damage detection, and localization in instrumented buildings. The proposed framework is validated using data from the Van Nuys hotel testbed; a seven-story reinforced concrete building instrumented by the California Strong Motion Instrumentation Program (Station 24386). The nonlinear state observer of the building is implemented using a distributed plasticity finite element model and seismic response measurements during the 1992 Big Bear and 1994 Northridge earthquakes. The performance and damage assessment results are compared with the post-earthquake damage inspection reports and photographic records. The results demonstrate the accuracy and capability of the proposed framework in the context of a real instrumented building that experienced significant localized structural damage.


title: C-CoCoA: A Continuous Cooperative Constraint Approximation Algorithm to Solve Functional DCOPs

abstract: Distributed Constraint Optimization Problems (DCOPs) have been widely used to coordinate interactions (i.e. constraints) in cooperative multi-agent systems. The traditional DCOP model assumes that variables owned by the agents can take only discrete values and constraints' cost functions are defined for every possible value assignment of a set of variables. While this formulation is often reasonable, there are many applications where the variables are continuous decision variables and constraints are in functional form. To overcome this limitation, Functional DCOP (F-DCOP) model is proposed that is able to model problems with continuous variables. The existing F-DCOPs algorithms experience huge computation and communication overhead. This paper applies continuous non-linear optimization methods on Cooperative Constraint Approximation (CoCoA) algorithm. We empirically show that our algorithm is able to provide high-quality solutions at the expense of smaller communication cost and execution time compared to the existing F-DCOP algorithms.


title: TGGLines: A Robust Topological Graph Guided Line Segment Detector for Low Quality Binary Images

abstract: Line segment detection is an essential task in computer vision and image analysis, as it is the critical foundation for advanced tasks such as shape modeling and road lane line detection for autonomous driving. We present a robust topological graph guided approach for line segment detection in low quality binary images (hence, we call it TGGLines). Due to the graph-guided approach, TGGLines not only detects line segments, but also organizes the segments with a line segment connectivity graph, which means the topological relationships (e.g., intersection, an isolated line segment) of the detected line segments are captured and stored; whereas other line detectors only retain a collection of loose line segments. Our empirical results show that the TGGLines detector visually and quantitatively outperforms state-of-the-art line segment detection methods. In addition, our TGGLines approach has the following two competitive advantages: (1) our method only requires one parameter and it is adaptive, whereas almost all other line segment detection methods require multiple (non-adaptive) parameters, and (2) the line segments detected by TGGLines are organized by a line segment connectivity graph.


title: A modeling study of predator--prey interaction propounding honest signals and cues

abstract: Honest signals and cues have been observed as part of interspecific and intraspecific communication among animals. Recent theories suggest that existing signaling systems have evolved through natural selection imposed by predators. Honest signaling in the interspecific communication can provide insight into the evolution of anti-predation techniques. In this work, we introduce a deterministic three-stage, two-species predator-prey model, which modulates the impact of honest signals and cues on the interacting populations. The model is built from a set of first principles originated from signaling and social learning theory in which the response of predators to transmitted honest signals or cues is determined. The predators then use the signals to decide whether to pursue the attack or save their energy for an easier catch. Other members from the prey population that are not familiar with signaling their fitness observe and learn the technique. Our numerical bifurcation analysis indicates that increasing the predator's search rate and the corresponding assimilation efficiency gives a journey from predator-prey abundance and scarcity, a stable transient cycle between persistence and near-extinction, a homoclinic orbit pointing towards extinction, and ultimately, a quasi-periodic orbit. A similar discovery is met under the increment of the prey's intrinsic birth rate and carrying capacity. When both parameters are of sufficiently large magnitudes, the separator between honest signal and cue takes the similar journey from a stable equilibrium to a quasi-periodic orbit as it increases. In the context of modeling, we conclude that under prey abundance, transmitting error-free honest signals leads to not only a stable but also more predictable predator-prey dynamics.


title: Analysis of Electrostatic MEMS Using Energy-Charge Landscape

abstract: A common way to analyze electrostatic microelectromechanical systems (MEMS) actuators is to use their energy-displacement landscape. Here, we describe an alternative approach to analyze electrostatic MEMS actuators using their energy-charge landscape. This technique involves coordinate transformation from displacement to charge, thereby formulating the Hamiltonian of electrostatic MEMS actuators in terms of charge. We investigate the use of the energy-charge landscape to analyze static pull-in, dynamic pull-in, and pull-out phenomena. The voltage expressions derived using this method are identical with those derived using the conventional energy-displacement landscape. In addition, we also obtain the expressions for charge under static and dynamic pull-in conditions. This work can aid in the design and analysis of electrostatic MEMS devices. As a case study, the analysis of a feedback capacitor-MEMS actuator system is presented to illustrate the application of the energy-charge landscape.


title: Dalitz plots and lineshape of $a_1(1260)$ from a relativistic three-body unitary approach

abstract: We formulate the final state interaction of the $a_1(1260)$ resonance decay in a manifestly three-body unitary parameterization and fit it to the $a_1(1260)$ lineshape measured by the ALEPH experiment. Dalitz plots calculated from this fit are presented. The work demonstrates the feasibility to numerically solve a previously derived amplitude and its generalization to isobars with spin and coupled channels. The model can also be applied to other meson decays and modified for the finite-volume problem as it arises in lattice QCD due to its manifest unitarity.


title: Quantum dimension test using the uncertainty principle

abstract: We propose a test for certifying the dimension of a quantum system: store in it a random $n$-bit string, in either the computational or the Hadamard basis, and later check that the string can be mostly recovered. The protocol tolerates noise, and the verifier only needs to prepare one-qubit states. The analysis is based on uncertainty relations in the presence of quantum memory, due to Berta et al. (2010).


title: Nanostructured potential well/barrier engineering for realizing unprecedentedly large thermoelectric power factors

abstract: This work describes through semiclassical Boltzmann transport theory and simulation a novel nanostructured material design that can lead to unprecedentedly high thermoelectric power factors, with improvements of more than an order of magnitude compared to optimal bulk material power factors. The design is based on a specific grain/grain-boundary (potential well/barrier) engineering such that: i) carrier energy filtering is achieved using potential barriers, combined with ii) higher than usual doping operating conditions such that high carrier velocities and mean-free-paths are utilized, iii) minimal carrier energy relaxation after passing over the barriers to propagate the high Seebeck coefficient of the barriers into the potential wells, and importantly, iv) the formation of an intermediate dopant-free (depleted) region. The design consists thus of a three-region geometry, in which the high doping resides in the center/core of the potential well, with a dopant-depleted region separating the doped region from the potential barriers. It is shown that the filtering barriers are optimal when they mitigate the reduction in conductivity they introduce, and this can be done primarily when they are clean from dopants during the process of filtering. The potential wells, on the other hand, are optimal when they mitigate the reduced Seebeck they introduce by: i) not allowing carrier energy relaxation, and importantly ii) by mitigating the reduction in mobility that the high concentration of dopant impurities cause. Dopant segregation, with clean dopant-depletion regions around the potential barriers, serves this key purpose of improved mobility towards the phonon-limited mobility levels in the wells. Using quantum transport simulations as well as semi-classical Monte Carlo simulations we also verify the important ingredients and validate this clean-filtering design.


title: Symplectic cohomological rigidity via toric degnerations

abstract: In this paper we study whether symplectic toric manifolds are symplectically cohomologically rigid. Here we say that symplectic cohomological rigidity holds for some family of symplectic manifolds if the members of that family can be distinguished by their integral cohomology rings and the cohomology classes of their symplectic forms. We show how toric degenerations can be used to produce the symplectomorphisms necessary to answer this question. As a consequence we prove that symplectic cohomological rigidity holds for the family of symplectic Bott manifolds with rational symplectic form whose rational cohomology ring is isomorphic to $\mathrm{H}^*((\mathbb{CP}^1)^n;\mathbb{Q})$ for some $n$. In particular, we classify such manifolds up to symplectomorphism. Moreover, we prove that any symplectic toric manifold with rational symplectic form whose integral cohomology ring is isomorphic to $\mathrm{H}^*((\mathbb{CP}^1)^n;\mathbb{Z})$ is symplectomorphic to $(\mathbb{CP}^1)^n$ with a product symplectic structure.


title: Learning in Markov Decision Processes under Constraints

abstract: We consider reinforcement learning (RL) in Markov Decision Processes in which an agent repeatedly interacts with an environment that is modeled by a controlled Markov process. At each time step $t$, it earns a reward, and also incurs a cost-vector consisting of $M$ costs. We design model-based RL algorithms that maximize the cumulative reward earned over a time horizon of $T$ time-steps, while simultaneously ensuring that the average values of the $M$ cost expenditures are bounded by agent-specified thresholds $c^{ub}_i,i=1,2,\ldots,M$. In order to measure the performance of a reinforcement learning algorithm that satisfies the average cost constraints, we define an $M+1$ dimensional regret vector that is composed of its reward regret, and $M$ cost regrets. The reward regret measures the sub-optimality in the cumulative reward, while the $i$-th component of the cost regret vector is the difference between its $i$-th cumulative cost expense and the expected cost expenditures $Tc^{ub}_i$. We prove that the expected value of the regret vector of UCRL-CMDP, is upper-bounded as $\tilde{O}\left(T^{2\slash 3}\right)$, where $T$ is the time horizon. We further show how to reduce the regret of a desired subset of the $M$ costs, at the expense of increasing the regrets of rewards and the remaining costs. To the best of our knowledge, ours is the only work that considers non-episodic RL under average cost constraints, and derive algorithms that can~\emph{tune the regret vector} according to the agent's requirements on its cost regrets.


title: Stochastic comparison study of the general family of PHR and PRHR distributions

abstract: In this paper, we have obtained conditions on parameters that result in dispersive ordering and star ordering among two unequal sets of random variables from Proportional hazard rate and Proportional reversed hazard rate family of distributions. The n-independent random variables under observation belonging to a multiple-outlier model are given as corollary. The conditions obtained involve simple inequalities among the parameters and class of life distribution corresponding to ageing. Some stochastic ordering results for sample minimum and maximum with dependency based on Archimedean copula has also been studied by varying the location parameters.


title: Dusty Stellar Birth and Death in the Metal-Poor Galaxy NGC 6822

abstract: The nearby ($\sim$500 kpc) metal-poor ([Fe/H] $\approx$ -1.2; $Z$ $\approx$ 30% $Z_{\odot}$) star-forming galaxy NGC 6822 has a metallicity similar to systems at the epoch of peak star formation. Through identification and study of dusty and dust-producing stars, it is therefore a useful laboratory to shed light on the dust life cycle in the early Universe. We present a catalog of sources combining near- and mid-IR photometry from the United Kingdom Infrared Telescope (UKIRT; $J$, $H$, and $K$) and the $Spitzer$ $Space$ $Telescope$ (IRAC 3.6, 4.5, 5.8, and 8.0 $\mu$m and MIPS 24 $\mu$m). This catalog is employed to identify dusty and evolved stars in NGC 6822 utilizing three color-magnitude diagrams (CMDs). With diagnostic CMDs covering a wavelength range spanning the near- and mid-IR, we develop color cuts using kernel density estimate (KDE) techniques to identify dust-producing evolved stars, including red supergiant (RSG) and thermally-pulsing asymptotic giant branch (TP-AGB) star candidates. In total, we report 1,292 RSG candidates, 1,050 oxygen-rich AGB star candidates, and 560 carbon-rich AGB star candidates with high confidence in NGC 6822. Our analysis of the AGB stars suggests a robust population inhabiting the central stellar bar of the galaxy, with a measured global stellar metallicity of [Fe/H] = -1.286 $\pm$ 0.095, consistent with previous studies. In addition, we identify 277 young stellar object (YSO) candidates. The detection of a large number of YSO candidates within a centrally-located, compact cluster reveals the existence of an embedded, high-mass star-formation region that has eluded previous detailed study. Spitzer I appears to be younger and more active than the other prominent star-forming regions in the galaxy.


title: Almost Public Quantum Coins

abstract: In a quantum money scheme, a bank can issue money that users cannot counterfeit. Similar to bills of paper money, most quantum money schemes assign a unique serial number to each money state, thus potentially compromising the privacy of the users of quantum money. However in a quantum coins scheme, just like the traditional currency coin scheme, all the money states are exact copies of each other, providing a better level of privacy for the users. A quantum money scheme can be private, i.e., only the bank can verify the money states, or public, meaning anyone can verify. In this work, we propose a way to lift any private quantum coin scheme -- which is known to exist based on the existence of one-way functions, due to Ji, Liu, and Song (CRYPTO'18) -- to a scheme that closely resembles a public quantum coin scheme. Verification of a new coin is done by comparing it to the coins the user already possesses, by using a projector on to the symmetric subspace. No public coin scheme was known prior to this work. It is also the first construction that is very close to a public quantum money scheme and is provably secure based on standard assumptions. Finally, the lifting technique, when instantiated with the private quantum coins scheme~\cite{MS10}, gives rise to the first construction that is close to an inefficient unconditionally secure public quantum money scheme.


title: Quantum Attacks without Superposition Queries: the Offline Simon's Algorithm

abstract: In symmetric cryptanalysis, the model of superposition queries has led to surprising results, with many constructions being broken in polynomial time thanks to Simon's period-finding algorithm. But the practical implications of these attacks remain blurry. In contrast, the results obtained so far for a quantum adversary making classical queries only are less impressive. In this paper, we introduce a new quantum algorithm which uses Simon's subroutines in a novel way. We manage to leverage the algebraic structure of cryptosystems in the context of a quantum attacker limited to classical queries and offline quantum computations. We obtain improved quantum-time/classical-data tradeoffs with respect to the current literature, while using only as much hardware requirements (quantum and classical) as a standard exhaustive search with Grover's algorithm. In particular, we are able to break the Even-Mansour construction in quantum time $\tilde{O}(2^{n/3})$, with $O(2^{n/3})$ classical queries and $O(n^2)$ qubits only. In addition, we improve some previous superposition attacks by reducing the data complexity from exponential to polynomial, with the same time complexity. Our approach can be seen in two complementary ways: \emph{reusing} superposition queries during the iteration of a search using Grover's algorithm, or alternatively, removing the memory requirement in some quantum attacks based on a collision search, thanks to their algebraic structure. We provide a list of cryptographic applications, including the Even-Mansour construction, the FX construction, some Sponge authenticated modes of encryption, and many more.


title: The interlace polynomial of binary delta-matroids and link invariants

abstract: In this work, we study the interlace polynomial as a generalization of a graph invariant to delta-matroids. We prove that the interlace polynomial satisfies the four-term relation for delta-matroids and determines thus a finite type invariant of links in the 3-sphere.


title: An efficient constraint based framework forhandling floating point SMT problems

abstract: This paper introduces the 2019 version of \us{}, a novel Constraint Programming framework for floating point verification problems expressed with the SMT language of SMTLIB. SMT solvers decompose their task by delegating to specific theories (e.g., floating point, bit vectors, arrays, ...) the task to reason about combinatorial or otherwise complex constraints for which the SAT encoding would be cumbersome or ineffective. This decomposition and encoding processes lead to the obfuscation of the high-level constraints and a loss of information on the structure of the combinatorial model. In \us{}, constraints over the floats are first class objects, and the purpose is to expose and exploit structures of floating point domains to enhance the search process. A symbolic phase rewrites each SMTLIB instance to elementary constraints, and eliminates auxiliary variables whose presence is counterproductive. A diversification technique within the search steers it away from costly enumerations in unproductive areas of the search space. The empirical evaluation demonstrates that the 2019 version of \us{} is competitive on computationally challenging floating point benchmarks that induce significant search efforts even for other CP solvers. It highlights that the ability to harness both inference and search is critical. Indeed, it yields a factor 3 improvement over Colibri and is up to 10 times faster than SMT solvers. The evaluation was conducted over 214 benchmarks (The Griggio suite) which is a standard within SMTLIB.


title: The dijet mass distribution in heavy ion collisions

abstract: In these proceedings, we review the production of both light and heavy flavor dijets in heavy ion collisions and highlight a promising observable to expose their distinct signatures. We propose the modification of dijet invariant mass distributions in heavy ion collisions as a novel observable that exhibits striking sensitivity to the quark-gluon plasma transport properties and heavy quark mass effects on in-medium parton showers. This observable has the advantage of amplifying the effects of jet quenching in contrast to conventional observables, such as the dijet momentum imbalance shift, which involve cancellations of such effects and, hence, result in less pronounced signals. Predictions are presented for Au+Au collisions at $\sqrt{s_{NN}}$ = 200 GeV to guide the future sPHENIX program at the Relativistic Heavy Ion Collider.


title: Optimal self-induced stochastic resonance in multiplex neural networks: electrical versus chemical synapses

abstract: Electrical and chemical synapses shape the dynamics of neural networks and their functional roles in information processing have been a longstanding question in neurobiology. In this paper, we investigate the role of synapses on the optimization of the phenomenon of self-induced stochastic resonance in a delayed multiplex neural network by using analytical and numerical methods. We consider a two-layer multiplex network, in which at the intra-layer level neurons are coupled either by electrical synapses or by inhibitory chemical synapses. For each isolated layer, computations indicate that weaker electrical and chemical synaptic couplings are better optimizers of self-induced stochastic resonance. In addition, regardless of the synaptic strengths, shorter electrical synaptic delays are found to be better optimizers of the phenomenon than shorter chemical synaptic delays, while longer chemical synaptic delays are better optimizers than longer electrical synaptic delays -- in both cases, the poorer optimizers are in fact worst. It is found that electrical, inhibitory, or excitatory chemical multiplexing of the two layers having only electrical synapses at the intra-layer levels can each optimize the phenomenon. And only excitatory chemical multiplexing of the two layers having only inhibitory chemical synapses at the intra-layer levels can optimize the phenomenon. These results may guide experiments aimed at establishing or confirming the mechanism of self-induced stochastic resonance in networks of artificial neural circuits, as well as in real biological neural networks.


title: Regular decoupling sector and exterior solutions in the context of MGD

abstract: We implement the Gravitational Decoupling through the Minimal Geometric Deformation method and explore its effect on exterior solutions by imposing a regularity condition in the Tolman--Oppenheimer--Volkoff equation of the decoupling sector. We obtain that the decoupling function can be expressed formally in terms of an integral involving the $g_{tt}$ component of the metric of the seed solution. As a particular example, we implement the method by using the Schwarzschild exterior as a seed and we obtain that the asymptotic behavior of the extended geometry corresponds to a manifold with constant curvature.


title: Multi-tier Automated Planning for Adaptive Behavior (Extended Version)

abstract: A planning domain, as any model, is never complete and inevitably makes assumptions on the environment's dynamic. By allowing the specification of just one domain model, the knowledge engineer is only able to make one set of assumptions, and to specify a single objective-goal. Borrowing from work in Software Engineering, we propose a multi-tier framework for planning that allows the specification of different sets of assumptions, and of different corresponding objectives. The framework aims to support the synthesis of adaptive behavior so as to mitigate the intrinsic risk in any planning modeling task. After defining the multi-tier planning task and its solution concept, we show how to solve problem instances by a succinct compilation to a form of non-deterministic planning. In doing so, our technique justifies the applicability of planning with both fair and unfair actions, and the need for more efforts in developing planning systems supporting dual fairness assumptions.


title: Provably Efficient Third-Person Imitation from Offline Observation

abstract: Domain adaptation in imitation learning represents an essential step towards improving generalizability. However, even in the restricted setting of third-person imitation where transfer is between isomorphic Markov Decision Processes, there are no strong guarantees on the performance of transferred policies. We present problem-dependent, statistical learning guarantees for third-person imitation from observation in an offline setting, and a lower bound on performance in the online setting.


title: Bringing freedom in variable choice when searching counter-examples in floating point programs

abstract: Program verification techniques typically focus on finding counter-examples that violate properties of a program. Constraint programming offers a convenient way to verify programs by modeling their state transformations and specifying searches that seek counter-examples. Floating-point computations present additional challenges for verification given the semantic subtleties of floating point arithmetic. % This paper focuses on search strategies for CSPs using floating point numbers constraint systems and dedicated to program verification. It introduces a new search heuristic based on the global number of occurrences that outperforms state-of-the-art strategies. More importantly, it demonstrates that a new technique that only branches on input variables of the verified program improve performance. It composes with a diversification technique that prevents the selection of the same variable within a fixed horizon further improving performances and reduces disparities between various variable choice heuristics. The result is a robust methodology that can tailor the search strategy according to the sought properties of the counter example.


title: A non-linear Egorov theorem and Poincar\'e-Birkhoff normal forms for quasi-linear pdes on the circle

abstract: In this paper we consider an abstract class of quasi-linear para-differential equations on the circle. For each equation in the class we prove the existence of a change of coordinates which conjugates the equation to a diagonal and constant coefficient para-differential equation. In the case of Hamiltonian equations we also put the system in Poincar\'e-Birkhoff normal forms. We apply this transformation to quasi-linear perturbations of the Schr\"odinger and Beam equations, obtaining a long time existence result without requiring any symmetry on the initial data. We also provide the local in time well-posedness for quasi-linear perturbations of the Benjamin-Ono equation.


title: Behavior of Cross Sections for Large Numbers of Particles

abstract: It has been suggested that scattering cross sections at very high energies for producing large numbers of Higgs particles may exhibit factorial growth, and that curing this growth might be relevant to other questions in the Standard Model. We point out, first, that the question is inherently non-perturbative; low orders in the formal perturbative expansion do not give a good approximation to the scattering amplitude for sufficiently large N for any fixed, small value of the coupling. Focusing on $\lambda \phi^{4}$ theory, we argue that there may be a systematic approximation scheme for processes where N particles near threshold scatter to produce N particles, and discuss the leading contributions to the scattering amplitude and cross sections in this limit. Scattering amplitudes do not grow as rapidly as in perturbation theory. Additionally, partial and total cross sections do not show factorial growth. In the case of cross sections for $2 \to N$ particles, there is no systematic large N approximation available. That said, we provide evidence that non-perturbatively, there is no factorial growth in partial or total cross sections.


title: Do ML Experts Discuss Explainability for AI Systems? A discussion case in the industry for a domain-specific solution

abstract: The application of Artificial Intelligence (AI) tools in different domains are becoming mandatory for all companies wishing to excel in their industries. One major challenge for a successful application of AI is to combine the machine learning (ML) expertise with the domain knowledge to have the best results applying AI tools. Domain specialists have an understanding of the data and how it can impact their decisions. ML experts have the ability to use AI-based tools dealing with large amounts of data and generating insights for domain experts. But without a deep understanding of the data, ML experts are not able to tune their models to get optimal results for a specific domain. Therefore, domain experts are key users for ML tools and the explainability of those AI tools become an essential feature in that context. There are a lot of efforts to research AI explainability for different contexts, users and goals. In this position paper, we discuss interesting findings about how ML experts can express concerns about AI explainability while defining features of an ML tool to be developed for a specific domain. We analyze data from two brainstorm sessions done to discuss the functionalities of an ML tool to support geoscientists (domain experts) on analyzing seismic data (domain-specific data) with ML resources.


title: Leibniz Differential and Non-Standard Calculus

abstract: Two models of integral theory based on the concept of a differential as a certain infinitesimal quantity are considered. One theory treats an infinitesimal quantity as a zero-tending sequence. The second is as an infinitesimal Hyper-real.


title: Test sets for tautologies in modular quantum logic

abstract: As defined by Dunn, Moss, and Wang, an universal test set in an ortholattice $L$ is a subset $T$ such that each term takes value $1$, only, if it does so under all substitutions from $T$. Generalizing their result for ortholattices of subspaces of finite dimensional Hilbert spaces, we show that no infinite modular ortholattice of finite dimension admits a finite universal test set. On the other hand, answering a question of the same authors, we provide a countable universal test set for the ortholattice of projections of any type II$_1$ von Neumann algebra factor as well as for von Neumann's algebraic construction of a continuous geometry. These universal test sets consist of elements having rational normalized dimension with denominator a power of $2$.


title: Ideal on CL-algebra

abstract: In this paper, we introduce the concept of ideal on CL-algebra. It is proved that this concept generalizes the notion of ideal on Residuated Lattices. Prime ideal on CL-algebra are defined and few interesting properties are obtained. It has been shown that quotient algebra corresponding to CL-algebra is formed with the help of ideal is also a CL-algebra.


title: Stable Spatially Localized Configurations in a Simple Structure -- A Global Symmetry-Breaking Approach

abstract: We revisit the classic stability problem of the buckling of an inextensible, axially compressed beam on a nonlinear elastic foundation with a semi-analytical approach to understand how spatially localized deformation solutions emerge in many applications in mechanics. Instead of a numerical search for such solutions using arbitrary imperfections, we propose a systematic search using branch-following and bifurcation techniques along with group-theoretic methods to find all the bifurcated solution orbits (primary, secondary, etc.) of the system and to examine their stability and hence their observability. Unlike previously proposed methods that use multi-scale perturbation techniques near the critical load, we show that to obtain a spatially localized deformation equilibrium path for the perfect structure, one has to consider the secondary bifurcating path with the longest wavelength and follow it far away from the critical load. The novel use of group-theoretic methods here illustrates a general methodology for the systematic analysis of structures with a high degree of symmetry.


title: Is the Meta-Learning Idea Able to Improve the Generalization of Deep Neural Networks on the Standard Supervised Learning?

abstract: Substantial efforts have been made on improving the generalization abilities of deep neural networks (DNNs) in order to obtain better performances without introducing more parameters. On the other hand, meta-learning approaches exhibit powerful generalization on new tasks in few-shot learning. Intuitively, few-shot learning is more challenging than the standard supervised learning as each target class only has a very few or no training samples. The natural question that arises is whether the meta-learning idea can be used for improving the generalization of DNNs on the standard supervised learning. In this paper, we propose a novel meta-learning based training procedure (MLTP) for DNNs and demonstrate that the meta-learning idea can indeed improve the generalization abilities of DNNs. MLTP simulates the meta-training process by considering a batch of training samples as a task. The key idea is that the gradient descent step for improving the current task performance should also improve a new task performance, which is ignored by the current standard procedure for training neural networks. MLTP also benefits from all the existing training techniques such as dropout, weight decay, and batch normalization. We evaluate MLTP by training a variety of small and large neural networks on three benchmark datasets, i.e., CIFAR-10, CIFAR-100, and Tiny ImageNet. The experimental results show a consistently improved generalization performance on all the DNNs with different sizes, which verifies the promise of MLTP and demonstrates that the meta-learning idea is indeed able to improve the generalization of DNNs on the standard supervised learning.


title: Quantifying daseinisation using Shannon entropy

abstract: Topos formalism for quantum mechanics is interpreted in a broader, information retrieval perspective. Contexts, its basic components, are treated as sources of information. Their interplay, called daseinisation, defined in purely logical terms, is reformulated in terms of two relations: exclusion and preclusion of queries. Then, broadening these options, daseinisation becomes a characteristic of proximity of contexts; to quantify it numerically, Shannon entropy is used.