title: Unreasonable Effectiveness of Rule-Based Heuristics in Solving Russian SuperGLUE Tasks

abstract: Leader-boards like SuperGLUE are seen as important incentives for active development of NLP, since they provide standard benchmarks for fair comparison of modern language models. They have driven the world's best engineering teams as well as their resources to collaborate and solve a set of tasks for general language understanding. Their performance scores are often claimed to be close to or even higher than the human performance. These results encouraged more thorough analysis of whether the benchmark datasets featured any statistical cues that machine learning based language models can exploit. For English datasets, it was shown that they often contain annotation artifacts. This allows solving certain tasks with very simple rules and achieving competitive rankings. In this paper, a similar analysis was done for the Russian SuperGLUE (RSG), a recently published benchmark set and leader-board for Russian natural language understanding. We show that its test datasets are vulnerable to shallow heuristics. Often approaches based on simple rules outperform or come close to the results of the notorious pre-trained language models like GPT-3 or BERT. It is likely (as the simplest explanation) that a significant part of the SOTA models performance in the RSG leader-board is due to exploiting these shallow heuristics and that has nothing in common with real language understanding. We provide a set of recommendations on how to improve these datasets, making the RSG leader-board even more representative of the real progress in Russian NLU.


title: Improved approximation algorithms for bounded-degree local Hamiltonians

abstract: We consider the task of approximating the ground state energy of two-local quantum Hamiltonians on bounded-degree graphs. Most existing algorithms optimize the energy over the set of product states. Here we describe a family of shallow quantum circuits that can be used to improve the approximation ratio achieved by a given product state. The algorithm takes as input an $n$-qubit product state $|v\rangle$ with mean energy $e_0=\langle v|H|v\rangle$ and variance $\mathrm{Var}=\langle v|(H-e_0)^2|v\rangle$, and outputs a state with an energy that is lower than $e_0$ by an amount proportional to $\mathrm{Var}^2/n$. In a typical case, we have $\mathrm{Var}=\Omega(n)$ and the energy improvement is proportional to the number of edges in the graph. When applied to an initial random product state, we recover and generalize the performance guarantees of known algorithms for bounded-occurrence classical constraint satisfaction problems. We extend our results to $k$-local Hamiltonians and entangled initial states.


title: Network Coding in Photonic-land: Three Commandments for Future-proof Optical Core Networks

abstract: The digital transformation has been underway, creating digital shadows of (almost) all physical entities and moving them to the Internet. The era of Internet of Everything has therefore started to come into play, giving rise to unprecedented traffic growths. In this context, optical core networks forming the backbone of Internet infrastructure have been under critical issues of reaching the capacity limit of conventional fiber, a phenomenon widely referred as capacity crunch. For many years, the many-fold increases in fiber capacity is thanks to exploiting physical dimensions for multiplexing optical signals such as wavelength, polarization, time and lately space-division multiplexing using multi-core fibers and such route seems to come to an end as almost all known ways have been exploited. This necessitates for a departure from traditional approaches to use the fiber capacity more efficiently and thereby improve economics of scale. This paper lays out a new perspective to integrate network coding (NC) functions into optical networks to achieve greater capacity efficiency by upgrading intermediate nodes functionalities. In addition to the review of recent proposals on new research problems enabled by NC operation in optical networks, we also report state-of-the-art findings in the literature in an effort to renew the interest of NC in optical networks and discuss three critical points for pushing forward its applicability and practicality including i) NC as a new dimension for multiplexing optical signals ii) algorithmic aspects of NC-enabled optical networks design iii) NC as an entirely fresh way for securing optical signals at physical layers


title: Quality Assurance Challenges for Machine Learning Software Applications During Software Development Life Cycle Phases

abstract: In the past decades, the revolutionary advances of Machine Learning (ML) have shown a rapid adoption of ML models into software systems of diverse types. Such Machine Learning Software Applications (MLSAs) are gaining importance in our daily lives. As such, the Quality Assurance (QA) of MLSAs is of paramount importance. Several research efforts are dedicated to determining the specific challenges we can face while adopting ML models into software systems. However, we are aware of no research that offered a holistic view of the distribution of those ML quality assurance challenges across the various phases of software development life cycles (SDLC). This paper conducts an in-depth literature review of a large volume of research papers that focused on the quality assurance of ML models. We developed a taxonomy of MLSA quality assurance issues by mapping the various ML adoption challenges across different phases of SDLC. We provide recommendations and research opportunities to improve SDLC practices based on the taxonomy. This mapping can help prioritize quality assurance efforts of MLSAs where the adoption of ML models can be considered crucial.


title: EBIC.JL -- an Efficient Implementation of Evolutionary Biclustering Algorithm in Julia

abstract: Biclustering is a data mining technique which searches for local patterns in numeric tabular data with main application in bioinformatics. This technique has shown promise in multiple areas, including development of biomarkers for cancer, disease subtype identification, or gene-drug interactions among others. In this paper we introduce EBIC.JL - an implementation of one of the most accurate biclustering algorithms in Julia, a modern highly parallelizable programming language for data science. We show that the new version maintains comparable accuracy to its predecessor EBIC while converging faster for the majority of the problems. We hope that this open source software in a high-level programming language will foster research in this promising field of bioinformatics and expedite development of new biclustering methods for big data.


title: Non-Hermitian skin effect as an impurity problem

abstract: A striking feature of non-Hermitian tight-binding Hamiltonians is the high sensitivity of both spectrum and eigenstates to boundary conditions. Indeed, if the spectrum under periodic boundary conditions is point gapped, by opening the lattice the non-Hermitian skin effect will necessarily occur. Finding the exact skin eigenstates may be demanding in general, and many methods in the literature are based on ansatzes and on recurrence equations for the eigenstates' components. Here we devise a general procedure based on the Green's function method to calculate the eigenstates of non-Hermitian tight-binding Hamiltonians under open boundary conditions. We apply it to the Hatano-Nelson and non-Hermitian SSH models and finally we contrast the edge states localization with that of bulk states.


title: Weighted Least Squares Twin Support Vector Machine with Fuzzy Rough Set Theory for Imbalanced Data Classification

abstract: Support vector machines (SVMs) are powerful supervised learning tools developed to solve classification problems. However, SVMs are likely to perform poorly in the classification of imbalanced data. The rough set theory presents a mathematical tool for inference in nondeterministic cases that provides methods for removing irrelevant information from data. In this work, we propose an approach that efficiently used fuzzy rough set theory in weighted least squares twin support vector machine called FRLSTSVM for classification of imbalanced data. The first innovation is introducing a new fuzzy rough set-based under-sampling strategy to make the classifier robust in terms of the imbalanced data. For constructing the two proximal hyperplanes in FRLSTSVM, data points from the minority class remain unchanged while a subset of data points in the majority class are selected using a new method. In this model, we embed the weight biases in the LSTSVM formulations to overcome the bias phenomenon in the original twin SVM for the classification of imbalanced data. In order to determine these weights in this formulation, we introduce a new strategy that uses fuzzy rough set theory as the second innovation. Experimental results on the famous imbalanced datasets, compared to the related traditional SVM-based methods, demonstrate the superiority of the proposed FRLSTSVM model in the imbalanced data classification.


title: An Integrated Bell-State Analyzer on a Thin Film Lithium Niobate Platform

abstract: Trapped ions are excellent candidates for quantum computing and quantum networks because of their long coherence times, ability to generate entangled photons as well as high fidelity single- and two-qubit gates. To scale up trapped ion quantum computing, we need a Bell-state analyzer on a reconfigurable platform that can herald high fidelity entanglement between ions. In this work, we design a photonic Bell-state analyzer on a reconfigurable thin film lithium niobate platform for polarization-encoded qubits. We optimize the device to achieve high fidelity entanglement between two trapped ions and find >99% fidelity. The proposed device can scale up trapped ion quantum computing as well as other optically active spin qubits, such as color centers in diamond, quantum dots, and rare-earth ions.

categories: quant-ph physics.app-ph physics.atom-ph physics.optics


title: Uncertainty quantification and estimation in differential dynamic microscopy

abstract: Differential dynamic microscopy (DDM) is a form of video image analysis that combines the sensitivity of scattering and the direct visualization benefits of microscopy. DDM is broadly useful in determining dynamical properties including the intermediate scattering function for many spatiotemporally correlated systems. Despite its straightforward analysis, DDM has not been fully adopted as a routine characterization tool, largely due to computational cost and lack of algorithmic robustness. We present statistical analysis that quantifies the noise, reduces the computational order and enhances the robustness of DDM analysis. We propagate the image noise through the Fourier analysis, which allows us to comprehensively study the bias in different estimators of model parameters, and we derive a different way to detect whether the bias is negligible. Furthermore, through use of Gaussian process regression (GPR), we find that predictive samples of the image structure function require only around 0.5%-5% of the Fourier transforms of the observed quantities. This vastly reduces computational cost, while preserving information of the quantities of interest, such as quantiles of the image scattering function, for subsequent analysis. The approach, which we call DDM with uncertainty quantification (DDM-UQ), is validated using both simulations and experiments with respect to accuracy and computational efficiency, as compared with conventional DDM and multiple particle tracking. Overall, we propose that DDM-UQ lays the foundation for important new applications of DDM, as well as to high-throughput characterization. We implement the fast computation tool in a new, publicly available MATLAB software package.


title: Spectral independence, coupling with the stationary distribution, and the spectral gap of the Glauber dynamics

abstract: We present a new lower bound on the spectral gap of the Glauber dynamics for the Gibbs distribution of a spectrally independent $q$-spin system on a graph $G = (V,E)$ with maximum degree $\Delta$. Notably, for several interesting examples, our bound covers the entire regime of $\Delta$ excluded by arguments based on coupling with the stationary distribution. As concrete applications, by combining our new lower bound with known spectral independence computations and known coupling arguments: (1) We show that for a triangle-free graph $G = (V,E)$ with maximum degree $\Delta \geq 3$, the Glauber dynamics for the uniform distribution on proper $k$-colorings with $k \geq (1.763\dots + \delta)\Delta$ colors has spectral gap $\tilde{\Omega}_{\delta}(|V|^{-1})$. Previously, such a result was known either if the girth of $G$ is at least $5$ [Dyer et.~al, FOCS 2004], or under restrictions on $\Delta$ [Chen et.~al, STOC 2021; Hayes-Vigoda, FOCS 2003]. (2) We show that for a regular graph $G = (V,E)$ with degree $\Delta \geq 3$ and girth at least $6$, and for any $\varepsilon, \delta > 0$, the partition function of the hardcore model with fugacity $\lambda \leq (1-\delta)\lambda_{c}(\Delta)$ may be approximated within a $(1+\varepsilon)$-multiplicative factor in time $\tilde{O}_{\delta}(n^{2}\varepsilon^{-2})$. Previously, such a result was known if the girth is at least $7$ [Efthymiou et.~al, SICOMP 2019]. (3) We show for the binomial random graph $G(n,d/n)$ with $d = O(1)$, with high probability, an approximately uniformly random matching may be sampled in time $O_{d}(n^{2+o(1)})$. This improves the corresponding running time of $\tilde{O}_{d}(n^{3})$ due to [Jerrum-Sinclair, SICOMP 1989; Jerrum, 2003].


title: All-Clear Flare Prediction Using Interval-based Time Series Classifiers

abstract: An all-clear flare prediction is a type of solar flare forecasting that puts more emphasis on predicting non-flaring instances (often relatively small flares and flare quiet regions) with high precision while still maintaining valuable predictive results. While many flare prediction studies do not address this problem directly, all-clear predictions can be useful in operational context. However, in all-clear predictions, finding the right balance between avoiding false negatives (misses) and reducing the false positives (false alarms) is often challenging. Our study focuses on training and testing a set of interval-based time series classifiers named Time Series Forest (TSF). These classifiers will be used towards building an all-clear flare prediction system by utilizing multivariate time series data. Throughout this paper, we demonstrate our data collection, predictive model building and evaluation processes, and compare our time series classification models with baselines using our benchmark datasets. Our results show that time series classifiers provide better forecasting results in terms of skill scores, precision and recall metrics, and they can be further improved for more precise all-clear forecasts by tuning model hyperparameters.


title: Event Camera Simulator Design for Modeling Attention-based Inference Architectures

abstract: In recent years, there has been a growing interest in realizing methodologies to integrate more and more computation at the level of the image sensor. The rising trend has seen an increased research interest in developing novel event cameras that can facilitate CNN computation directly in the sensor. However, event-based cameras are not generally available in the market, limiting performance exploration on high-level models and algorithms. This paper presents an event camera simulator that can be a potent tool for hardware design prototyping, parameter optimization, attention-based innovative algorithm development, and benchmarking. The proposed simulator implements a distributed computation model to identify relevant regions in an image frame. Our simulator's relevance computation model is realized as a collection of modules and performs computations in parallel. The distributed computation model is configurable, making it highly useful for design space exploration. The Rendering engine of the simulator samples frame-regions only when there is a new event. The simulator closely emulates an image processing pipeline similar to that of physical cameras. Our experimental results show that the simulator can effectively emulate event vision with low overheads.


title: Safe Navigation in Human Occupied Environments Using Sampling and Control Barrier Functions

abstract: Sampling-based methods such as Rapidly-exploring Random Trees (RRTs) have been widely used for generating motion paths for autonomous mobile systems. In this work, we extend time-based RRTs with Control Barrier Functions (CBFs) to generate, safe motion plans in dynamic environments with many pedestrians. Our framework is based upon a human motion prediction model which is well suited for indoor narrow environments. We demonstrate our approach on a high-fidelity model of the Toyota Human Support Robot navigating in narrow corridors. We show in three scenarios that our proposed online method can navigate safely in the presence of moving agents with unknown dynamics.


title: Dirac CP phases in a 3+1 neutrino scenario with $\mu-\tau$ symmetry

abstract: A sterile neutrino in the $3+1$ scheme, where the sterile accounts for neutrino anomalies not explained solely by the weak active neutrinos, arises as a natural source for the breaking of the $\mu-\tau$ symmetry suggested by oscillation neutrino data. We explore the predictions for the Dirac CP phases in this scenario, with and without sterile neutrino decay, and show that current limits on $\delta_{CP}$ suggest a normal hierarchy and a lightest neutrino scale below 0.1~eV as the most plausible explanation for that, when Majorana phases are null. Other Dirac phases turn out to be non zero as well.


title: The Common Origin of High-energy Protons in Solar Energetic Particle Events and Sustained Gamma-ray Emission from the Sun

abstract: We report that the number of > 500 MeV protons (Ng) inferred from sustained gamma ray emission (SGRE) from the Sun is significantly correlated with that of protons propagating into space (NSEP) as solar energetic particles (SEPs). Under the shock paradigm for SGRE, shocks driven by coronal mass ejections (CMEs) accelerate high-energy protons sending them toward the Sun to produce SGRE by interacting with the atmospheric particles. Particles also escape into the space away from the Sun to be detected as SEP events. Therefore, the significant NSEP vs. Ng correlation (correlation coefficient 0.77) is consistent with the common shock origin for the two proton populations. Furthermore, the underlying CMEs have properties akin to those involved in ground level enhancement (GLE) events indicating the presence of high-energy (up to GeV) particles required for SGRE. We show that the observed gamma-ray flux is an underestimate in limb events (central meridian distance > 60 degrees) because SGRE sources are partially occulted when the emission is spatially extended. With the assumption that the SEP spectrum at the shock nose is hard and that the 100 MeV particles are accelerated throughout the shock surface (half width in the range 60 to 120 degrees) we find that the latitudinal widths of SEP distributions are energy dependent with the smallest width at the highest energies. Not using the energy-dependent width results in an underestimate of NSEP in SGRE events occurring at relatively higher latitudes. Taking these two effects into account removes the apparent lack of NSEP - Ng correlation reported in previous studies.


title: Convergence of the gradient flow of renormalized volume to convex cores with totally geodesic boundary

abstract: We consider the Weil-Petersson gradient vector field of renormalized volume on the deformation space of convex cocompact hyperbolic structures on (relatively) acylindrical manifolds. In this paper we prove the conjecture that the flow has a global attracting fixed point at the structure $M_{\rm geod}$ the unique structure with minimum convex core volume.


title: Type IV-II codes over Z4 constructed from generalized bent functions

abstract: A Type IV-II Z4-code is a self-dual code over Z4 with the property that all Euclidean weights are divisible by eight and all codewords have even Hamming weight. In this paper we use generalized bent functions for a construction of self-orthogonal codes over Z4 of length $2^m$, for $m$ odd, $m \geq 3$, and prove that for $m \geq 5$ those codes can be extended to Type IV-II Z4-codes. From that family of Type IV-II Z4-codes, we obtain a family of self-dual Type II binary codes by using Gray map. We also consider the weight distributions of the obtained codes and the structure of the supports of the minimum weight codewords.


title: LaboRecommender: A crazy-easy to use Python-based recommender system for laboratory tests

abstract: Laboratory tests play a major role in clinical decision making because they are essential for the confirmation of diagnostics suspicions and influence medical decisions. The number of different laboratory tests available to physicians in our age has been expanding very rapidly due to the rapid advances in laboratory technology. To find the correct desired tests within this expanding plethora of elements, the Health Information System must provide a powerful search engine and the practitioner need to remember the exact name of the laboratory test to correctly select the bag of tests to order. Recommender systems are platforms which suggest appropriate items to a user after learning the users' behaviour. A neighbourhood-based collaborative filtering method was used to model the recommender system, where similar bags, clustered using nearest neighbours algorithm, are used to make recommendations of tests for each other similar bag of laboratory tests. The recommender system developed in this paper achieved 95.54 % in the mean average precision metric. A fully documented Python package named LaboRecommender was developed to implement the algorithm proposed in this paper


title: Single-Crystalline Metallic Films Induced by van der Waals Epitaxy on Black Phosphorus

abstract: The properties of metal-semiconductor junctions are often unpredictable because of non-ideal interfacial structures, such as interfacial defects or chemical reactions introduced at junctions. Black phosphorus (BP), an elemental two-dimensional (2D) semiconducting crystal, possesses the puckered atomic structure with high chemical reactivity, and the establishment of a realistic atomic-scale picture of BP's interface toward metallic contact has remained elusive. Here we examine the interfacial structures and properties of physically-deposited metals of various kinds on BP. We find that Au, Ag, and Bi form single-crystalline films with (110) orientation through guided van der Waals epitaxy. Transmission electron microscopy and X-ray photoelectron spectroscopy confirm that atomically sharp van der Waals metal-BP interfaces forms with exceptional rotational alignment. Under a weak metal-BP interaction regime, the BP's puckered structure play an essential role in the adatom assembly process and can lead to the formation of a single crystal, which is supported by our theoretical analysis and calculations. The experimental survey also demonstrates that the BP-metal junctions can exhibit various types of interfacial structures depending on metals, such as the formation of polycrystalline microstructure or metal phosphides. This study provides a guideline for obtaining a realistic view on metal-2D semiconductor interfacial structures, especially for atomically puckered 2D crystals.


title: Spectroscopy on the $A^1\Pi \leftarrow X^1\Sigma^+$ Transition of Buffer-Gas Cooled AlCl

abstract: Aluminum monochloride (AlCl) has been proposed as an excellent candidate for laser cooling. Here we present absorption spectroscopy measurements on the $A^1\Pi \leftarrow X^1\Sigma^+$ transition in AlCl inside a cryogenic helium buffer-gas beam cell. The high resolution absorption data enables a rigorous, quantitative comparison with our high-level ab initio calculations of the electronic and rovibronic energies, providing a comprehensive picture of the AlCl quantum structure. The combination of high resolution spectral data and theory permits the evaluation of spectroscopic constants and associated properties, like equilibrium bond length, with an order of magnitude higher precision. Based on the measured molecular equilibrium constants of the $A^1\Pi$ state, we estimate a Franck-Condon factor of the $A^1\Pi \leftarrow X^1\Sigma^+$ of 99.88%, which confirms that AlCl is amenable to laser cooling.


title: A Weak Fermi Gamma-ray Event Associated with a Halo CME and a Type II Radio Burst

abstract: We report on the 2015 June 25 sustained gamma-ray emission (SGRE) event associated with a halo coronal mass ejection and a type II radio burst in the decameter-hectometric (DH) wavelengths. The duration and ending frequency of the type II burst are linearly related to the SGRE duration as found in previous works involving intense gamma-ray events. This study confirms that the SGRE event is due to protons accelerated in the shock that produced the DH type II burst.


title: Multi-Target Multi-Camera Tracking of Vehicles using Metadata-Aided Re-ID and Trajectory-Based Camera Link Model

abstract: In this paper, we propose a novel framework for multi-target multi-camera tracking (MTMCT) of vehicles based on metadata-aided re-identification (MA-ReID) and the trajectory-based camera link model (TCLM). Given a video sequence and the corresponding frame-by-frame vehicle detections, we first address the isolated tracklets issue from single camera tracking (SCT) by the proposed traffic-aware single-camera tracking (TSCT). Then, after automatically constructing the TCLM, we solve MTMCT by the MA-ReID. The TCLM is generated from camera topological configuration to obtain the spatial and temporal information to improve the performance of MTMCT by reducing the candidate search of ReID. We also use the temporal attention model to create more discriminative embeddings of trajectories from each camera to achieve robust distance measures for vehicle ReID. Moreover, we train a metadata classifier for MTMCT to obtain the metadata feature, which is concatenated with the temporal attention based embeddings. Finally, the TCLM and hierarchical clustering are jointly applied for global ID assignment. The proposed method is evaluated on the CityFlow dataset, achieving IDF1 76.77%, which outperforms the state-of-the-art MTMCT methods.


title: Study of charge density waves in suspended 2H-TaS2 and 2H-TaSe2 by nanomechanical resonance

abstract: The charge density wave (CDW) state in van der Waals systems shows interesting scaling phenomena as the number of layers can significantly affect the CDW transition temperature, $T_{CDW}$. However, it is often difficult to use conventional methods to study the phase transition in these systems due to their small size and sensitivity to degradation. Degradation is an important parameter which has been shown to greatly influence the superconductivity in layered systems. Since the CDW state competes with the onset of superconductivity, it is expected that $T_{CDW}$ will also be affected by the degradation. Here, we probe the CDW phase transition by the mechanical resonances of suspended 2H-TaS2 and 2H-TaSe2 membranes and study the effect of disorder on the CDW state. Pristine flakes show the transition near the reported values of 75 K and 122 K respectively. We then study the effect of degradation on 2H-TaS2 which displays an enhancement of $T_{CDW}$ up to 129 K after degradation in ambient air. Finally, we study a sample with local degradation and observe that multiple phase transitions occur at 87 K, 103 K and 118 K with a hysteresis in temperature in the same membrane. The observed spatial variations in the Raman spectra suggest that variations in crystal structure cause domains with different transition temperatures which could result in the hysteresis. This work shows the potential of using nanomechanical resonance to characterize the CDW in suspended 2D materials and demonstrate that degradation can have a large effect on transition temperatures.


title: Lidar Scan Registration Robust to Extreme Motions

abstract: Registration algorithms, such as Iterative Closest Point (ICP), have proven effective in mobile robot localization algorithms over the last decades. However, they are susceptible to failure when a robot sustains extreme velocities and accelerations. For example, this kind of motion can happen after a collision, causing a point cloud to be heavily skewed. While point cloud de-skewing methods have been explored in the past to increase localization and mapping accuracy, these methods still rely on highly accurate odometry systems or ideal navigation conditions. In this paper, we present a method taking into account the remaining motion uncertainties of the trajectory used to de-skew a point cloud along with the environment geometry to increase the robustness of current registration algorithms. We compare our method to three other solutions in a test bench producing 3D maps with peak accelerations of 200 m/s^2 and 800 rad/s^2. In these extreme scenarios, we demonstrate that our method decreases the error by 9.26 % in translation and by 21.84 % in rotation. The proposed method is generic enough to be integrated to many variants of weighted ICP without adaptation and supports localization robustness in harsher terrains.


title: Diffuse Interplanetary Radio Emission from a Polar Coronal Mass Ejection

abstract: We report on the first detection of nonthermal radio emission associated with a polar coronal mass ejection. We call the radio emission as diffuse interplanetary radio emission (DIRE), which occurs in the decameter-hectometric wavelengths. The radio emission originates from the shock flanks that interact with nearby streamers.


title: Low-energy probes of small CMB amplitude in models of radiative Higgs mechanism

abstract: The small CMB amplitude $A_s \simeq 10^{-9}$ (or, small temperature fluctuation $\delta T/T \simeq 10^{-5}$) typically requires an unnaturally small effective coupling of an inflaton $\lambda_\phi \sim 10^{-14}$. In successful models, there usually is extra suppression of the amplitude, e.g. by large-field inflaton with non-minimal coupling $\xi$, so that $\lambda_\phi$ can be much larger. But $\lambda_\phi$ and $\xi$ cannot be $\sim {\cal O}(1)$ simultaneously; the naturalness burden is shared between them. We show that the absence of new physics signals at TeV scale may prefer a more natural size of $\xi \lesssim {\cal O}(1-100)$ with $\lambda_\phi \lesssim {\cal O}(10^{-4}-10^{-8})$, constraining larger $\xi$ with larger $\lambda_\phi$ more strongly. This intriguing connection between low- and high-energy physics is made in the scenarios with $U(1)_X$ where inflaton's renormalization running also induces Coleman-Weinberg mechanism for the electroweak symmetry breaking. We particularly work out the prospects of LHC 13 and 100 TeV $pp$ colliders for probing the parameter space of the small CMB amplitude.


title: Weakly-Supervised Universal Lesion Segmentation with Regional Level Set Loss

abstract: Accurately segmenting a variety of clinically significant lesions from whole body computed tomography (CT) scans is a critical task on precision oncology imaging, denoted as universal lesion segmentation (ULS). Manual annotation is the current clinical practice, being highly time-consuming and inconsistent on tumor's longitudinal assessment. Effectively training an automatic segmentation model is desirable but relies heavily on a large number of pixel-wise labelled data. Existing weakly-supervised segmentation approaches often struggle with regions nearby the lesion boundaries. In this paper, we present a novel weakly-supervised universal lesion segmentation method by building an attention enhanced model based on the High-Resolution Network (HRNet), named AHRNet, and propose a regional level set (RLS) loss for optimizing lesion boundary delineation. AHRNet provides advanced high-resolution deep image features by involving a decoder, dual-attention and scale attention mechanisms, which are crucial to performing accurate lesion segmentation. RLS can optimize the model reliably and effectively in a weakly-supervised fashion, forcing the segmentation close to lesion boundary. Extensive experimental results demonstrate that our method achieves the best performance on the publicly large-scale DeepLesion dataset and a hold-out test set.


title: Design Requirements for the Wide-field Infrared TransientExplorer (WINTER)

abstract: The Wide-field Infrared Transient Explorer (WINTER) is a 1x1 degree infrared survey telescope under development at MIT and Caltech, and slated for commissioning at Palomar Observatory in 2021. WINTER is a seeing-limited infrared time-domain survey and has two main science goals: (1) the discovery of IR kilonovae and r-process materials from binary neutron star mergers and (2) the study of general IR transients, including supernovae, tidal disruption events, and transiting exoplanets around low mass stars. We plan to meet these science goals with technologies that are relatively new to astrophysical research: hybridized InGaAs sensors as an alternative to traditional, but expensive, HgCdTe arrays and an IR-optimized 1-meter COTS telescope. To mitigate risk, optimize development efforts, and ensure that WINTER meets its science objectives, we use model-based systems engineering (MBSE) techniques commonly featured in aerospace engineering projects. Even as ground-based instrumentation projects grow in complexity, they do not often have the budget for a full-time systems engineer. We present one example of systems engineering for the ground-based WINTER project, featuring software tools that allow students or staff to learn the fundamentals of MBSE and capture the results in a formalized software interface. We focus on the top-level science requirements with a detailed example of how the goal of detecting kilonovae flows down to WINTER's optical design. In particular, we discuss new methods for tolerance simulations, eliminating stray light, and maximizing image quality of a fly's-eye design that slices the telescope's focus onto 6 non-buttable, IR detectors. We also include a discussion of safety constraints for a robotic telescope.


title: Trust-Aware Planning: Modeling Trust Evolution in Iterated Human-Robot Interaction

abstract: Trust between team members is an essential requirement for any successful cooperation. Thus, engendering and maintaining the fellow team members' trust becomes a central responsibility for any member trying to not only successfully participate in the task but to ensure the team achieves its goals. The problem of trust management is particularly challenging in mixed human-robot teams where the human and the robot may have different models about the task at hand and thus may have different expectations regarding the current course of action, thereby forcing the robot to focus on the costly explicable behavior. We propose a computational model for capturing and modulating trust in such iterated human-robot interaction settings, where the human adopts a supervisory role. In our model, the robot integrates human's trust and their expectations about the robot into its planning process to build and maintain trust over the interaction horizon. By establishing the required level of trust, the robot can focus on maximizing the team goal by eschewing explicit explanatory or explicable behavior without worrying about the human supervisor monitoring and intervening to stop behaviors they may not necessarily understand. We model this reasoning about trust levels as a meta reasoning process over individual planning tasks. We additionally validate our model through a human subject experiment.


title: Well-posedness for the dispersive Hunter-Saxton equation

abstract: This article represents a first step towards understanding the well-posedness for the dispersive Hunter-Saxton equation. This problem arises in the study of nematic liquid crystals, and although the equation has formal similarities with the KdV equation, the lack of $L^2$ control gives it a quasilinear character, with only continuous dependence on initial data. Here, we prove the local and global well-posedness of the Cauchy problem using a normal form approach to construct modified energies, and frequency envelopes in order to prove the continuous dependence with respect to the initial data.


title: Extremal mappings of finite distortion and the Radon-Riesz property

abstract: We consider Sobolev mappings $f\in W^{1,q}(\Omega,\IC)$, $1<q<\infty$, between planar domains $\Omega\subset \IC$. We analyse the Radon-Riesz property for convex functionals of the form \[f\mapsto \int_\Omega \Phi(|Df(z)|,J(z,f)) \; dz \] and show that under certain criteria, which hold in important cases, weak convergence in $W_{loc}^{1,q}(\Omega)$ of (for instance) a minimising sequence can be improved to strong convergence. This finds important applications in the minimisation problems for mappings of finite distortion and the $L^p$ and $Exp$\,-Teichm\"uller theories.


title: Metastable spiking networks in the replica-mean-field limit

abstract: Characterizing metastable neural dynamics in finite-size spiking networks remains a daunting challenge. We propose to address this challenge in the recently introduced replica-mean-field (RMF) limit. In this limit, networks are made of infinitely many replicas of the finite network of interest, but with randomized interactions across replicas. Such randomization renders certain excitatory networks fully tractable at the cost of neglecting activity correlations, but with explicit dependence on the finite size of the neural constituents. However, metastable dynamics typically unfold in networks with mixed inhibition and excitation. Here, we extend the RMF computational framework to point-process-based neural network models with exponential stochastic intensities, allowing for mixed excitation and inhibition. Within this setting, we show that metastable finite-size networks admit multistable RMF limits, which are fully characterized by stationary firing rates. Technically, these stationary rates are determined as the solutions of a set of delayed differential equations under certain regularity conditions that any physical solutions shall satisfy. We solve this original problem by combining the resolvent formalism and singular-perturbation theory. Importantly, we find that these rates specify probabilistic pseudo-equilibria which accurately capture the neural variability observed in the original finite-size network. We also discuss the emergence of metastability as a stochastic bifurcation, which can be interpreted as a static phase transition in the RMF limits. In turn, we expect to leverage the static picture of RMF limits to infer purely dynamical features of metastable finite-size networks, such as the transition rates between pseudo-equilibria.


title: Search for sub-eV axion-like resonance states via stimulated quasi-parallel laser collisions with the parameterization including fully asymmetric collisional geometry

abstract: We have searched for axion-like resonance states by colliding optical photons in a focused laser field (creation beam) by adding another laser field (inducing beam) for stimulation of the resonance decays, where frequency-converted signal photons can be created as a result of stimulated photon-photon scattering via exchanges of axion-like resonances. A quasi-parallel collision system (QPS) in such a focused field allows access to the sub-eV mass range of resonance particles. In past searches in QPS, for simplicity, we interpreted the scattering rate based on an analytically calculable symmetric collision geometry in both incident angles and incident energies by partially implementing the asymmetric nature to meet the actual experimental conditions. In this paper, we present new search results based on a complete parameterization including fully asymmetric collisional geometries. In particular, we combined a linearly polarized creation laser and a circularly polarized inducing laser to match the new parameterization. A 0.10 mJ / 31 fs Ti:sapphire laser pulse and a 0.20 mJ / 9 ns Nd:YAG laser pulse were spatiotemporally synchronized by sharing a common optical axis and focused into the vacuum system. Under a condition in which atomic background processes were completely negligible, no significant scattering signal was observed at the vacuum pressure of $2.6 \times 10^{-5}$ Pa, thereby providing upper bounds on the coupling-mass relation by assuming exchanges of scalar and pseudoscalar fields at a 95 % confidence level in the sub-eV mass range.


title: Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning

abstract: We study the problem of minimizing the resource capacity of autonomous agents cooperating to achieve a shared task. More specifically, we consider high-level planning for a team of homogeneous agents that operate under resource constraints in stochastic environments and share a common goal: given a set of target locations, ensure that each location will be visited infinitely often by some agent almost surely. We formalize the dynamics of agents by consumption Markov decision processes. In a consumption Markov decision process, the agent has a resource of limited capacity. Each action of the agent may consume some amount of the resource. To avoid exhaustion, the agent can replenish its resource to full capacity in designated reload states. The resource capacity restricts the capabilities of the agent. The objective is to assign target locations to agents, and each agent is only responsible for visiting the assigned subset of target locations repeatedly. Moreover, the assignment must ensure that the agents can carry out their tasks with minimal resource capacity. We reduce the problem of finding target assignments for a team of agents with the lowest possible capacity to an equivalent graph-theoretical problem. We develop an algorithm that solves this graph problem in time that is \emph{polynomial} in the number of agents, target locations, and size of the consumption Markov decision process. We demonstrate the applicability and scalability of the algorithm in a scenario where hundreds of unmanned underwater vehicles monitor hundreds of locations in environments with stochastic ocean currents.


title: Modelling age-related changes in executive functions of soccer players

abstract: The widespread popularity of soccer across the globe has turned it into a multi-billion dollar industry. As a result, most professional clubs actively engage in talent identification and development programmes. Contemporary research has generally supported the use of executive functions - a class of neuropsychological processes responsible for cognitive behaviours - in predicting a soccer player's future success. However, studies on the developmental evolution of executive functions have yielded differing results in their structural form (such as inverted U-shapes, or otherwise). This article presents the first analysis of changes in the domain-generic and domain-specific executive functions based on longitudinal data measured on elite German soccer players. Results obtained from a latent variable model show that these executive functions experience noticeable growth from late childhood until pre-adolescence, but remain fairly stable in later growth stages. As a consequence, our results suggest that the role of executive functions in facilitating talent identification may have been overly emphasised.


title: Causal factors discovering from Chinese construction accident cases

abstract: In China, construction accidents have killed more people than any other industry since 2012. The factors which led to the accident have complex interaction. Real data about accidents is the key to reveal the mechanism among these factors. But the data from the questionnaire and interview has inherent defects. Many behaviors that impact safety are illegal. In China, most of the cases are from accident investigation reports. Finding out the cause of the accident and liability affirmation are the core of incident investigation reports. So the truth of some answers from the respondents is doubtful. With a series of NLP technologies, in this paper, causal factors of construction accidents are extracted and organized from Chinese incident case texts. Finally, three kinds of neglected causal factors are discovered after data analysis.


title: A Priori Generalization Error Analysis of Two-Layer Neural Networks for Solving High Dimensional Schr\"odinger Eigenvalue Problems

abstract: This paper analyzes the generalization error of two-layer neural networks for computing the ground state of the Schr\"odinger operator on a $d$-dimensional hypercube. We prove that the convergence rate of the generalization error is independent of the dimension $d$, under the a priori assumption that the ground state lies in a spectral Barron space. We verify such assumption by proving a new regularity estimate for the ground state in the spectral Barron space. The later is achieved by a fixed point argument based on the Krein-Rutman theorem.

categories: math.NA cs.NA math-ph math.AP math.MP math.PR stat.ML


abstract: Ostwald ripening is a well-known physicochemical phenomenon in which smaller particles, characterized by high surface energy, dissolve and feed the bigger ones that are thermodynamically more stable. The effect is commonly observed in solid and liquid solutions, as well as in systems consisting of supported metal clusters or liquid droplets. Here, we provide the first evidence for the occurrence of Ostwald ripening in an oxide-on-metal system which, in our case, consists of ultrathin iron monoxide (FeO) islands grown on Ru(0001) single-crystal support. The results reveal that the thermally-driven sintering of islands allows altering their fine structural characteristics, including size, perimeter length, defect density and stoichiometry, which are crucial, e.g., from the point of view of heterogeneous catalysis.


title: Separating layered treewidth and row treewidth

abstract: Layered treewidth and row treewidth are recently introduced graph parameters that have been key ingredients in the solution of several well-known open problems. It follows from the definitions that the layered treewidth of a graph is at most its row treewidth plus 1. Moreover, a minor-closed class has bounded layered treewidth if and only if it has bounded row treewidth. However, it has been open whether row treewidth is bounded by a function of layered treewidth. This paper answers this question in the negative. In particular, for every integer $k$ we describe a graph with layered treewidth 1 and row treewidth $k$. We also prove an analogous result for layered pathwidth and row pathwidth.


title: GT-STORM: Taming Sample, Communication, and Memory Complexities in Decentralized Non-Convex Learning

abstract: Decentralized nonconvex optimization has received increasing attention in recent years in machine learning due to its advantages in system robustness, data privacy, and implementation simplicity. However, three fundamental challenges in designing decentralized optimization algorithms are how to reduce their sample, communication, and memory complexities. In this paper, we propose a \underline{g}radient-\underline{t}racking-based \underline{sto}chastic \underline{r}ecursive \underline{m}omentum (GT-STORM) algorithm for efficiently solving nonconvex optimization problems. We show that to reach an $\epsilon^2$-stationary solution, the total number of sample evaluations of our algorithm is $\tilde{O}(m^{1/2}\epsilon^{-3})$ and the number of communication rounds is $\tilde{O}(m^{-1/2}\epsilon^{-3})$, which improve the $O(\epsilon^{-4})$ costs of sample evaluations and communications for the existing decentralized stochastic gradient algorithms. We conduct extensive experiments with a variety of learning models, including non-convex logistical regression and convolutional neural networks, to verify our theoretical findings. Collectively, our results contribute to the state of the art of theories and algorithms for decentralized network optimization.


title: Integration and stochastic integration in Gaussian multiplicative chaos

abstract: We show that for $\gamma<\sqrt{4/3}$, it is possible to define the Levy area of a planar Brownian motion with the Liouville measure of intermittency parameter $\gamma$ as the underlying area measure. We also consider the case of smoother curves, and study some properties of the integration map thus defined.


title: Revenue Adequate Prices for Chance-Constrained Electricity Markets with Variable Renewable Energy Sources

abstract: In a commodity market, revenue adequate prices refer to compensations that ensure that a market participant has a non-negative profit. In this article, we study the problem of deriving revenue adequate prices for an electricity market-clearing model with uncertainties resulting from the use of variable renewable energy sources (VRES). To handle the uncertain nature of the problem, we use a chance-constrained optimization (CCO) approach, which has recently become very popular choice when constructing dispatch electricity models with penetration of VRES (or other sources of uncertainty). Then, we show how prices that satisfy revenue adequacy in expectation for the market administrator, and cost recovery in expectation for all conventional and VRES generators, can be obtained from the optimal dual variables associated with the deterministic equivalent of the CCO market-clearing model. These results constitute a novel contribution to the research of research on revenue adequate, equilibrium, and other types of pricing schemes that have been derived in the literature when the market uncertainties are modeled using stochastic or robust optimization approaches. Unlike in the stochastic approach, the CCO market-clearing model studied here produces uncertainty uniform real-time prices that do not depend on the real-time realization of the VRES generation outcomes. To illustrate our results, we consider a case study electricity market, and contrast the market prices obtained using a revenue adequate stochastic approach and the proposed revenue adequate CCO approach.


title: Asymptotic Limit-cycle Analysis of Oscillating Chemical Reactions

abstract: The asymptotic limit-cycle analysis of mathematical models for oscillating chemical reactions is presented. In this work, after a brief presentation of mathematical preliminaries applied to the biased Van der Pol oscillator, we consider a two-dimensional model of the Chlorine dioxide Iodine Malonic-Acid (CIMA) reactions and the three-dimensional and two-dimensional Oregonator models of the Belousov-Zhabotinsky (BZ) reactions. Explicit analytical expressions are given for the relaxation-oscillation periods of these chemical reactions that are accurate within 5\% of their numerical values. In the two-dimensional CIMA and Oregonator models, we also derive critical parameter values leading to canard explosions and implosions in their associated limit cycles.


title: Fluorescence Detection of a Trapped Ion with a Monolithically Integrated Single-Photon-Counting Avalanche Diode

abstract: We report on the first demonstration of fluorescence detection using single-photon avalanche photodiodes (SPADs) monolithically integrated with a microfabricated surface ion trap. The SPADs are positioned below the trapping positions of the ions, and designed to detect 370 nm photons emitted from single $^{174}$Yb$^+$ and $^{171}$Yb$^+$ ions. We achieve an ion/no-ion detection fidelity for $^{174}$Yb$^+$ of 0.99 with an average detection window of 7.7(1) ms. We report a dark count rate as low as 1.2 kHz at room temperature operation. The fidelity is limited by laser scatter, dark counts, and heating that prevents holding the ion directly above the SPAD. We measure count rates from each of the contributing sources and fluorescence as a function of ion position. Based on the active detector area and using the ion as a calibrated light source we estimate a SPAD quantum efficiency of 24$\pm$1%.


title: Environment Modeling During Model Checking of Cyber-Physical Systems

abstract: Ensuring the safety and efficacy of Cyber-Physical Systems (CPSs) is challenging due to the large variability of their operating environment. Model checking has been proposed for validation of CPSs, but the models of the environment are either too specific to capture the variability of the environment, or too abstract to provide counter-examples interpretable by experts in the application domain. Domain-specific solutions to this problem require expertise in both formal methods and the application domain, which prevents effective application of model checking in CPSs validation. A domain-independent framework based on timed-automata is proposed for abstraction and refinement of environment models during model checking. The framework maintains an abstraction tree of environment models, which provides interpretable counter-examples while ensuring coverage of environment behaviors. With the framework, experts in the application domain can effectively use model checking without expertise in formal methods.


title: COMISR: Compression-Informed Video Super-Resolution

abstract: Most video super-resolution methods focus on restoring high-resolution video frames from low-resolution videos without taking into account compression. However, most videos on the web or mobile devices are compressed, and the compression can be severe when the bandwidth is limited. In this paper, we propose a new compression-informed video super-resolution model to restore high-resolution content without introducing artifacts caused by compression. The proposed model consists of three modules for video super-resolution: bi-directional recurrent warping, detail-preserving flow estimation, and Laplacian enhancement. All these three modules are used to deal with compression properties such as the location of the intra-frames in the input and smoothness in the output frames. For thorough performance evaluation, we conducted extensive experiments on standard datasets with a wide range of compression rates, covering many real video use cases. We showed that our method not only recovers high-resolution content on uncompressed frames from the widely-used benchmark datasets, but also achieves state-of-the-art performance in super-resolving compressed videos based on numerous quantitative metrics. We also evaluated the proposed method by simulating streaming from YouTube to demonstrate its effectiveness and robustness. The source codes and trained models are available at https://github.com/google-research/google-research/tree/master/comisr.


title: Supervised multi-specialist topic model with applications on large-scale electronic health record data

abstract: Motivation: Electronic health record (EHR) data provides a new venue to elucidate disease comorbidities and latent phenotypes for precision medicine. To fully exploit its potential, a realistic data generative process of the EHR data needs to be modelled. We present MixEHR-S to jointly infer specialist-disease topics from the EHR data. As the key contribution, we model the specialist assignments and ICD-coded diagnoses as the latent topics based on patient's underlying disease topic mixture in a novel unified supervised hierarchical Bayesian topic model. For efficient inference, we developed a closed-form collapsed variational inference algorithm to learn the model distributions of MixEHR-S. We applied MixEHR-S to two independent large-scale EHR databases in Quebec with three targeted applications: (1) Congenital Heart Disease (CHD) diagnostic prediction among 154,775 patients; (2) Chronic obstructive pulmonary disease (COPD) diagnostic prediction among 73,791 patients; (3) future insulin treatment prediction among 78,712 patients diagnosed with diabetes as a mean to assess the disease exacerbation. In all three applications, MixEHR-S conferred clinically meaningful latent topics among the most predictive latent topics and achieved superior target prediction accuracy compared to the existing methods, providing opportunities for prioritizing high-risk patients for healthcare services. MixEHR-S source code and scripts of the experiments are freely available at https://github.com/li-lab-mcgill/mixehrS


title: Dual-state purification for practical quantum error mitigation

abstract: Quantum error mitigation is essential for computing on the noisy quantum computer with a limited number of qubits. In this paper, we propose a practical protocol of error mitigation by virtually purifying the quantum state without qubit overhead or requiring only one ancillary qubit. In dual-state purification, we effectively generate a purified state with increased fidelity using the erroneous state and its dual state, respectively, prepared with the noisy quantum circuit and the dual map of its inverse circuit. Combined with tomography purification, we can make sure that the final estimate of an observable is obtained from a pure state. The numerical result suggests that our protocol reduces the error by a rescaling factor decreasing with the qubit number and circuit depth, i.e. the performance of purification is better for larger circuits. On a cloud quantum computer, we successfully demonstrate the reduced error with a quantum variational eigensolver circuit.


title: Mahler measures, Stable Pairs, and the Global coercive estimate for the Mabuchi Functional

abstract: We show that the Mabuchi energy of any polarized manifold (X,L) is (bounded below) proper on the full space of Kahler metrics in the first Chern class of L if and only if (X,L) is asymptotically (semi)stable. In particular it now follows from work of Xiuxiong Chen and Jinguri Cheng that there exists a cscK metric in the first Chern class of L if and only if (X,L) is asymptotically stable, provided the reduced automorphism group of (X,L) is finite.


title: End-to-end One-shot Human Parsing

abstract: Previous human parsing methods are limited to parsing humans into pre-defined classes, which is inflexible for practical fashion applications that often have new fashion item classes. In this paper, we define a novel one-shot human parsing (OSHP) task that requires parsing humans into an open set of classes defined by any test example. During training, only base classes are exposed, which only overlap with part of the test-time classes. To address three main challenges in OSHP, i.e., small sizes, testing bias, and similar parts, we devise an End-to-end One-shot human Parsing Network (EOP-Net). Firstly, an end-to-end human parsing framework is proposed to parse the query image into both coarse-grained and fine-grained human classes, which embeds rich semantic information that is shared across different granularities to identify the small-sized human classes. Then, we gradually smooth the training-time static prototypes to get robust class representations. Moreover, we employ a dynamic objective to encourage the network's enhancing features' representational capability in the early training phase while improving features' transferability in the late training phase. Therefore, our method can quickly adapt to the novel classes and mitigate the testing bias issue. In addition, we add a contrastive loss at the prototype level to enforce inter-class distances, thereby discriminating the similar parts. For comprehensive evaluations on the new task, we tailor three existing popular human parsing benchmarks to the OSHP task. Experiments demonstrate that EOP-Net outperforms representative one-shot segmentation models by large margins and serves as a strong baseline for further research. The source code is available at https://github.com/Charleshhy/One-shot-Human-Parsing.


title: Quantum Key-length Extension

abstract: Should quantum computers become available, they will reduce the effective key length of basic secret-key primitives, such as blockciphers. To address this we will either need to use blockciphers which inherently have longer keys or use key-length extension techniques which employ a blockcipher to construct a more secure blockcipher that uses longer keys. We consider the latter approach and revisit the FX and double encryption constructions. Classically, FX is known to be secure, while double encryption is no more secure than single encryption due to a meet-in-the-middle attack. We provide positive results, with concrete and tight bounds, for both of these constructions against quantum attackers in ideal models. For FX, we consider a partially-quantum model, where the attacker has quantum access to the ideal primitive, but only classic access to FX. We provide two results for FX in this model. The first establishes the security of FX against non-adaptive attackers. The second establishes security against general adaptive attacks for a variant of FX using a random oracle in place of an ideal cipher. This result relies on the techniques of Zhandry (CRYPTO '19) for lazily sampling a quantum random oracle. An extension to perfectly lazily sampling a quantum random permutation, which would help resolve the adaptive security of standard FX, is an important but challenging open question. We introduce techniques for partially-quantum proofs without relying on analyzing the classical and quantum oracles separately, which is common in existing work. This may be of broader interest. For double encryption we apply a technique of Tessaro and Thiruvengadam (TCC '18) to establish that security reduces to the difficulty of solving the list disjointness problem, which we are able to reduce through a chain of results to the known quantum difficulty of the element distinctness problem.


title: Quantum Hall Superconductivity from Moir{\'e} Landau Levels

abstract: It has long been speculated that quasi-two-dimensional superconductivity can reappear above its semiclassical upper critical field due to Landau quantization, yet this reentrant property has never been observed. Here, we argue that twisted bilayer graphene at a magic angle (MATBG) is an ideal system in which to search for this phenomenon because its Landau levels are doubly degenerate, and its superconductivity appears already at carrier densities small enough to allow the quantum limit to be reached at relatively modest magnetic fields. We study this problem theoretically by combining a simplified continuum model for the electronic structure of MATBG with a phenomenological attractive pairing interaction, and discuss obstacles to the observation of quantum Hall superconductivity presented by disorder, thermal fluctuations, and competing phases.


title: Regret-Optimal LQR Control

abstract: We consider the infinite-horizon LQR control problem. Motivated by competitive analysis in online learning, as a criterion for controller design we introduce the dynamic regret, defined as the difference between the LQR cost of a causal controller (that has only access to past disturbances) and the LQR cost of the \emph{unique} clairvoyant one (that has also access to future disturbances) that is known to dominate all other controllers. The regret itself is a function of the disturbances, and we propose to find a causal controller that minimizes the worst-case regret over all bounded energy disturbances. The resulting controller has the interpretation of guaranteeing the smallest regret compared to the best non-causal controller that can see the future. We derive explicit formulas for the optimal regret and for the regret-optimal controller for the state-space setting. These explicit solutions are obtained by showing that the regret-optimal control problem can be reduced to a Nehari extension problem that can be solved explicitly. The regret-optimal controller is shown to be linear and can be expressed as the sum of the classical $H_2$ state-feedback law and an $n$-th order controller ($n$ is the state dimension), and its construction simply requires a solution to the standard LQR Riccati equation and two Lyapunov equations. Simulations over a range of plants demonstrate that the regret-optimal controller interpolates nicely between the $H_2$ and the $H_\infty$ optimal controllers, and generally has $H_2$ and $H_\infty$ costs that are simultaneously close to their optimal values. The regret-optimal controller thus presents itself as a viable option for control systems design.


title: The Du Bois complex of a hypersurface and the minimal exponent

abstract: We study the Du Bois complex $\underline{\Omega}_Z^\bullet$ of a hypersurface $Z$ in a smooth complex algebraic variety in terms its minimal exponent $\widetilde{\alpha}(Z)$. The latter is an invariant of singularities, defined as the negative of the greatest root of the reduced Bernstein-Sato polynomial of $Z$, and refining the log canonical threshold. We show that if $\widetilde{\alpha}(Z)\geq p+1$, then the canonical morphism $\Omega_Z^p\to \underline{\Omega}_Z^p$ is an isomorphism, where $\underline{\Omega}_Z^p$ is the $p$-th associated graded piece of the Du Bois complex with respect to the Hodge filtration. On the other hand, if $Z$ is singular and $\widetilde{\alpha}(Z)>p\geq 2$, we obtain non-vanishing results for some of the higher cohomologies of $\underline{\Omega}_Z^{n-p}$.


title: Lepton identification performance in Jets at a future electron positron Higgs Z factory

abstract: Identifying the leptons inside jets is critical for the measurements of Higgs boson and the flavor physics program at the CEPC, a proposed Higgs/Z factory with the main ring circumference of 100 km. Using the CEPC baseline software, we analyze the identification performance of leptons generated inside a jet. The jet leptons are identified with typical efficiency and mis-identification rate of 98% and 1% for energy higher than 2 GeV, with the $Z\to bb$ process at 91.2 GeV center-of mass energy. At the benchmark channel of the CEPC flavor program of $B_{c}\to \tau\nu$ with $\tau \to e\nu\nu$, the electrons are identified with inclusive efficiency times purity of 97%, providing sufficient signal selection for the physics potential study. Compared to the single leptons, we found that these jet leptons identification efficiency degrades about 1-3%, and the mis-identification rate increases by less than 1% at the same working point. We analyze this effect and found that it is mainly caused by defects in the particle flow reconstruction code in the calorimeters. The dependence between the performance of the shower reconstruction and the lepton identification is quantified.


title: On products of nuclear operators

abstract: We answer in negative to the following question of Boris Mitjagin: Is it true that a product of two nuclear operators in Banach spaces can be factored through a trace class operator in a Hilbert space?


title: Core-Level X-Ray Spectroscopy of Infinite-Layer Nickelate: LDA+DMFT Study

abstract: Motivated by recent core-level x-ray photoemission spectroscopy (XPS), x-ray absorption spectroscopy (XAS) and resonant inelastic x-ray scattering (RIXS) experiments for the newly-discovered superconducting infinite-layer nickelate, we investigate the core-level spectra of the parent compounds NdNiO$_2$ and LaNiO$_2$ using the combination of local density approximation and dynamical mean-field theory (LDA+DMFT). Adjusting a charge-transfer energy to match the experimental spectra, we determine the optimal model parameters and discuss the nature of the NdNiO$_2$ ground state. We find that self-doping from the Nd 5$d$ states in the vicinity of the Fermi energy prohibits opening of Mott-Hubbard gap in NdNiO$_2$. The present Ni $L_3$ XAS and RIXS calculation for LaNiO$_2$ cannot explain the difference to NdNiO$_2$ spectra.


title: Mathematical modeling of shear-activated targeted nanoparticle drug delivery for the treatment of aortic diseases

abstract: The human aorta is a high-risk area for vascular diseases, which are commonly restored by thoracic endovascular aortic repair. In this paper, we report a promising shear-activated targeted nanoparticle drug delivery strategy to assist in the treatment of coarctation of the aorta and aortic aneurysm. Idealized three-dimensional geometric models of coarctation of the aorta and aortic aneurysm are designed, respectively. The unique hemodynamic environment of the diseased aorta is used to improve nanoparticle drug delivery. Micro-carriers with nanoparticle drugs would be targeting activated to release nanoparticle drugs by local abnormal shear stress rate (SSR). Coarctation of the aorta provides a high SSR hemodynamic environment, while the aortic aneurysm is exposed to low SSR. We propose a method to calculate the SSR thresholds for the diseased aorta. Results show that the upstream near-wall area of the diseased location is an ideal injection location for the micro-carriers, which could be activated by the abnormal SSR. Released nanoparticle drugs would be successfully targeted delivered to the aortic diseased wall. Besides, the high diffusivity of the micro-carriers and nanoparticle drugs has a significant impact on the surface drug concentrations of the diseased aortic walls, especially for aortic aneurysms. This study preliminary demonstrates the feasibility of shear-activated targeted nanoparticle drug delivery in the treatment of aortic diseases and provides a theoretical basis for developing the drug delivery system and novel therapy.


title: Dual curvature measures on convex functions and associated Minkowski problems

abstract: In this paper, the $q$-th dual curvature measure is extended to convex functions and the associated Minkowski problem is posed. A special case includes the $q$-th dual curvature measure of convex bodies which defined by Huang, Lutwak, Yang and Zhang. Existence for the functional dual Minkowski problem is showed when $q\leq0$ and the uniqueness part is obtained with some assumptions.


title: Selberg's Central Limit Theorem for Dirichlet $L$-functions of $q$-aspect

abstract: We give a simple proof of Selberg's central limit theorem for Dirichlet $L$-functions for $q$-aspect by following the method established by Radiwi\l\l\space and Soundararajan.


title: Composite active drag control in turbulent channel flows

abstract: A composite drag control (CDC) combining the opposition (OC) and spanwise opposed wall-jet forcing (SOJF) methods is studied in a turbulent channel flow via direct numerical simulation of the incompressible Navier-Stokes equations. A maximum drag reduction of about 33% is obtained for CDC -- much higher than that produced by either individual method (namely, 19% for SOJF and 23% for OC). Due to the small power input required for both OC and SOJF methods, a significant net power saving (about 32%) is achieved via CDC. Flow analysis shows that CDC can take advantage of both OC and SOJF methods to better suppress drag producing, near-wall turbulent structures -- vortices and streaks. In particular, due to the presence of the large-scale coherent swirls generated by SOJF, it is more effective than OC in suppressing the random turbulence. Moreover, due to the OC's role in suppressing random small-scale turbulence, CDC requires weaker large-scale coherent swirls than those using SOJF only -- hence decreasing the drag contribution associated with large-scale swirls. In summary, our results suggest prospects of employing composite control strategy for effective skin friction drag reduction, particularly at very high Reynolds numbers.


title: The true mechanism of spontaneous order from turbulence in two-dimensional superfluid manifolds

abstract: In a two-dimensional (2D) turbulent fluid containing point-like vortices, Lars Onsager predicted that adding energy to the fluid can lead to the formation of persistent clusters of like-signed vortices, i.e., Onsager vortex (OV) clusters. In the evolution of 2D superfluid turbulence in a uniform disk-shaped Bose-Einstein condensate (BEC), it was discovered that a pair of OV clusters with opposite signs can form without any energy input. This striking spontaneous order was explained as due to a vortex evaporative-heating mechanism, i.e., annihilations of vortex-antivortex pairs which remove the lowest-energy vortices and thereby boost the mean energy per vortex. However, in our search for exotic OV states in a boundaryless 2D spherical BEC, we found that OV clusters never form despite the annihilations of vortex pairs. Our analysis reveals that contrary to the general belief, vortex-pair annihilation emits intense sound waves, which damp the motion of all vortices and hence suppress the formation of OV clusters. We also present unequivocal evidences showing that the true mechanism underlying the observed spontaneous OV state is the escaping of vortices from the BEC boundary. Uncovering this mechanism paves the way for a comprehensive understanding of emergent vortex orders in 2D manifolds of superfluids driven far from equilibrium.


title: Streaming end-to-end speech recognition with jointly trained neural feature enhancement

abstract: In this paper, we present a streaming end-to-end speech recognition model based on Monotonic Chunkwise Attention (MoCha) jointly trained with enhancement layers. Even though the MoCha attention enables streaming speech recognition with recognition accuracy comparable to a full attention-based approach, training this model is sensitive to various factors such as the difficulty of training examples, hyper-parameters, and so on. Because of these issues, speech recognition accuracy of a MoCha-based model for clean speech drops significantly when a multi-style training approach is applied. Inspired by Curriculum Learning [1], we introduce two training strategies: Gradual Application of Enhanced Features (GAEF) and Gradual Reduction of Enhanced Loss (GREL). With GAEF, the model is initially trained using clean features. Subsequently, the portion of outputs from the enhancement layers gradually increases. With GREL, the portion of the Mean Squared Error (MSE) loss for the enhanced output gradually reduces as training proceeds. In experimental results on the LibriSpeech corpus and noisy far-field test sets, the proposed model with GAEF-GREL training strategies shows significantly better results than the conventional multi-style training approach.


title: The McDonald Accelerating Stars Survey (MASS): Discovery of a Long-Period Substellar Companion Orbiting the Old Solar Analog HD 47127

abstract: Brown dwarfs with well-determined ages, luminosities, and masses provide rare but valuable tests of low-temperature atmospheric and evolutionary models. We present the discovery and dynamical mass measurement of a substellar companion to HD 47127, an old ($\approx$7-10 Gyr) G5 main sequence star with a mass similar to the Sun. Radial velocities of the host star with the Harlan J. Smith Telescope uncovered a low-amplitude acceleration of 1.93 $\pm$ 0.08 m s$^{-1}$ yr$^{-1}$ based on 20 years of monitoring. We subsequently recovered a faint ($\Delta H$=13.14 $\pm$ 0.15 mag) co-moving companion at 1.95$''$ (52 AU) with follow-up Keck/NIRC2 adaptive optics imaging. The radial acceleration of HD 47127 together with its tangential acceleration from Hipparcos and Gaia EDR3 astrometry provide a direct measurement of the three-dimensional acceleration vector of the host star, enabling a dynamical mass constraint for HD 47127 B (67.5-177 $M_\mathrm{Jup}$ at 95% confidence) despite the small fractional orbital coverage of the observations. The absolute $H$-band magnitude of HD 47127 B is fainter than the benchmark T dwarfs HD 19467 B and Gl 229 B but brighter than Gl 758 B and HD 4113 C, suggesting a late-T spectral type. Altogether the mass limits for HD 47127 B from its dynamical mass and the substellar boundary imply a range of 67-78 $M_\mathrm{Jup}$ assuming it is single, although a preference for high masses of $\approx$100 $M_\mathrm{Jup}$ from dynamical constraints hints at the possibility that HD 47127 B could itself be a binary pair of brown dwarfs or that another massive companion resides closer in. Regardless, HD 47127 B will be an excellent target for more refined orbital and atmospheric characterization in the future.


title: Self-Supervised Approach for Facial Movement Based Optical Flow

abstract: Computing optical flow is a fundamental problem in computer vision. However, deep learning-based optical flow techniques do not perform well for non-rigid movements such as those found in faces, primarily due to lack of the training data representing the fine facial motion. We hypothesize that learning optical flow on face motion data will improve the quality of predicted flow on faces. The aim of this work is threefold: (1) exploring self-supervised techniques to generate optical flow ground truth for face images; (2) computing baseline results on the effects of using face data to train Convolutional Neural Networks (CNN) for predicting optical flow; and (3) using the learned optical flow in micro-expression recognition to demonstrate its effectiveness. We generate optical flow ground truth using facial key-points in the BP4D-Spontaneous dataset. The generated optical flow is used to train the FlowNetS architecture to test its performance on the generated dataset. The performance of FlowNetS trained on face images surpassed that of other optical flow CNN architectures, demonstrating its usefulness. Our optical flow features are further compared with other methods using the STSTNet micro-expression classifier, and the results indicate that the optical flow obtained using this work has promising applications in facial expression analysis.


title: Half-Quantum Vortices in Nematic and Chiral Phases of $^3$He

abstract: We report theoretical results for the stability of half-quantum vortices (HQVs) in the superfluid phases of $^3$He confined in highly anisotropic Nafen aerogel. Superfluidity of $^3$He confined in Nafen is the realization of a "nematic superfluid" with Cooper pairs condensed into a single p-wave orbital aligned along the anisotropy axis of the Nafen aerogel. In addition to the nematic phase, we predict a second "chiral" phase that onsets at a lower transition temperature. This chiral phase spontaneously breaks time-reversal symmetry and is a topological superfluid. Both superfluid phases are equal-spin pairing condensates that host arrays of HQVs as equilibrium states of rotating superfluid $^3$He. We present results for the structure of HQVs, including magnetic and topological signatures of HQVs in both the nematic and chiral phases of $^3$He-Nafen.


title: Knot Embeddings in Improper Foldings

abstract: Simple closed curves in the plane can be mapped to nontrivial knots under the action of origami foldings that allow the paper to self-intersect. We show all tame knot types may be produced in this manner, motivating the development of a new knot invariant, the fold number, defined as the minimum number of creases required to obtain an equivalent knot. We study this invariant, presenting a bound on the fold number by the diagram stick number as well as a class of torus knots with constant fold number. We also pursue a characterization of those foldings which admit nontrivial knots, giving a proof that no "physically realizable", or proper, foldings can admit nontrivial knots. A number of questions are posed for further study.


title: Collaborative Multi-Resource Allocation in Terrestrial-Satellite Network Towards 6G

abstract: Terrestrial-satellite networks are envisioned to play a significant role in the sixth-generation (6G) wireless networks. In such networks, hot air balloons are useful as they can relay the signals between satellites and ground stations. Most existing works assume that the hot air balloons are deployed at the same height with the same minimum elevation angle to the satellites, which may not be practical due to possible route conflict with airplanes and other flight equipment. In this paper, we consider a TSN containing hot air balloons at different heights and with different minimum elevation angles, which creates the challenge of non-uniform available serving time for the communication between the hot air balloons and the satellites. Jointly considering the caching, computing, and communication (3C) resource management for both the ground-balloon-satellite links and inter-satellite laser links, our objective is to maximize the network energy efficiency. Firstly, by proposing a tapped water-filling algorithm, we schedule the traffic to relay among satellites according to the available serving time of satellites. Then, we generate a series of configuration matrices, based on which we formulate the relationship of relay time and the power consumption involved in the relay among satellites. Finally, the integrated system model of TSN is built and solved by geometric programming with Taylor series approximation. Simulation results demonstrate the effectiveness of our proposed scheme.


title: End-to-End Learning for Uplink MU-SIMO Joint Transmitter and Non-Coherent Receiver Design in Fading Channels

abstract: In this paper, a novel end-to-end learning approach, namely JTRD-Net, is proposed for uplink multiuser single-input multiple-output (MU-SIMO) joint transmitter and non-coherent receiver design (JTRD) in fading channels. The basic idea lies in the use of artificial neural networks (ANNs) to replace traditional communication modules at both transmitter and receiver sides. More specifically, the transmitter side is modeled as a group of parallel linear layers, which are responsible for multiuser waveform design; and the non-coherent receiver is formed by a deep feed-forward neural network (DFNN) so as to provide multiuser detection (MUD) capabilities. The entire JTRD-Net can be trained from end to end to adapt to channel statistics through deep learning. After training, JTRD-Net can work efficiently in a non-coherent manner without requiring any levels of channel state information (CSI). In addition to the network architecture, a novel weight-initialization method, namely symmetrical-interval initialization, is proposed for JTRD-Net. It is shown that the symmetrical-interval initialization outperforms the conventional method (e.g. Xavier initialization) in terms of well-balanced convergence-rate among users. Simulation results show that the proposed JTRD-Net approach takes significant advantages in terms of reliability and scalability over baseline schemes on both i.i.d. complex Gaussian channels and spatially-correlated channels.


title: A Distributionally Robust Self-Scheduling Under Price Uncertainty Based on CVaR

abstract: To ensure a successful bid while maximizing of profits, generation companies (GENCOs) need a self-scheduling strategy that can cope with a variety of scenarios. So distributionally robust opti-mization (DRO) is a good choice because that it can provide an adjustable self-scheduling strategy for GENCOs in the uncertain environment, which can well balance robustness and economics compared to strategies derived from robust optimization (RO) and stochastic programming (SO). In this paper, a novel mo-ment-based DRO model with conditional value-at-risk (CVaR) is proposed to solve the self-scheduling problem under electricity price uncertainty. Such DRO models are usually translated into semi-definite programming (SDP) for solution, however, solving large-scale SDP needs a lot of computational time and resources. For this shortcoming, two effective approximate models are pro-posed: one approximate model based on vector splitting and an-other based on alternate direction multiplier method (ADMM), both can greatly reduce the calculation time and resources, and the second approximate model only needs the information of the current area in each step of the solution and thus information private is guaranteed. Simulations of three IEEE test systems are conducted to demonstrate the correctness and effectiveness of the proposed DRO model and two approximate models.


title: Quantifying the Tradeoff Between Cybersecurity and Location Privacy

abstract: When it comes to location-based services (LBS), user privacy protection can be in conflict with security of both users and trips. While LBS providers could adopt privacy preservation mechanisms to obfuscate customer data, the accuracy of vehicle location data and trajectories is crucial for detecting anomalies, especially when machine learning methods are adopted by LBS. This paper aims to tackle this dilemma by evaluating the tradeoff between location privacy and security in LBS. In particular, we investigate the impact of applying location data privacy-preservation techniques on the performance of two detectors, namely a Density-based spatial clustering of applications with noise (DBSCAN), and a Recurrent Neural Network (RNN). The experimental results suggest that, by applying privacy on location data, DBSCAN is more sensitive to Laplace noise than RNN, although they achieve similar detection accuracy on the trip data without privacy preservation. Further experiments reveal that DBSCAN is not scalable to large size datasets containing millions of trips, because of the large number of computations needed for clustering trips. On the other hand, DBSCAN only requires less than 10 percent of the data used by RNN to achieve similar performance when applied to vehicle data without obfuscation, demonstrating that clustering-based methods can be easily applied to small datasets. Based on the results, we recommend usage scenarios of the two types of trajectory anomaly detectors when applying privacy preservation, by taking into account customers' need for privacy, the size of the available vehicle trip data, and real-time constraints of the LBS application.


title: The domain of thermal dark matter candidates

abstract: We consider, in general terms, the possible parameter space of thermal dark matter candidates. We assume that the dark matter particle is fundamental and was in thermal equilibrium in a hidden sector with a temperature $T'$, which may differ from that of the Standard Model temperature, $T$. The candidates lie in a region in the $T'/T$ vs. $m_{\rm dm}$ plane, which is bounded by both model-independent theoretical considerations and observational constraints. The former consists of limits from dark matter candidates that decoupled when relativistic (the relativistic floor) and from those that decoupled when non-relativistic with the largest annihilation cross section allowed by unitarity (the unitarity wall), while the latter concerns big bang nucleosynthesis ($N_{\rm eff}$ ceiling) and free streaming. We present three simplified dark matter scenarios, demonstrating concretely how each fits into the domain.


title: Surrogate Assisted Semi-supervised Inference for High Dimensional Risk Prediction

abstract: Risk modeling with EHR data is challenging due to a lack of direct observations on the disease outcome, and the high dimensionality of the candidate predictors. In this paper, we develop a surrogate assisted semi-supervised-learning (SAS) approach to risk modeling with high dimensional predictors, leveraging a large unlabeled data on candidate predictors and surrogates of outcome, as well as a small labeled data with annotated outcomes. The SAS procedure borrows information from surrogates along with candidate predictors to impute the unobserved outcomes via a sparse working imputation model with moment conditions to achieve robustness against mis-specification in the imputation model and a one-step bias correction to enable interval estimation for the predicted risk. We demonstrate that the SAS procedure provides valid inference for the predicted risk derived from a high dimensional working model, even when the underlying risk prediction model is dense and the risk model is mis-specified. We present an extensive simulation study to demonstrate the superiority of our SSL approach compared to existing supervised methods. We apply the method to derive genetic risk prediction of type-2 diabetes mellitus using a EHR biobank cohort.


title: Finding Triangles or Independent Sets; and Other Dual Pair Approximations

abstract: We revisit the algorithmic problem of finding a triangle in a graph (\textsc{Triangle Detection}), and examine its relation to other problems such as \textsc{3Sum}, \textsc{Independent Set}, and \textsc{Graph Coloring}. We obtain several new algorithms: \smallskip (I) A simple randomized algorithm for finding a triangle in a graph. As an application, we study the range of a conjecture of P\v{a}tra\c{s}cu (2010) regarding the triangle detection problem. \smallskip (II) An algorithm which given a graph $G=(V,E)$ performs one of the following tasks in $O(m+n)$ (ie, linear) time: (i)~compute a $\Omega(1/\sqrt{n})$-approximation of a maximum independent set in $G$ or (ii)~find a triangle in $G$. The run-time is faster than that for any previous method for each of these tasks. \smallskip (III) An algorithm which given a graph $G=(V,E)$ performs one of the following tasks in $O(m+n^{3/2})$ time: (i)~compute an $\sqrt{n}$-approximation for \textsc{Graph Coloring} of $G$ or (ii)~find a triangle in $G$. The run-time is faster than that for any previous method for each of these tasks on dense graphs, with $m =\omega(n^{9/8})$. \smallskip (IV) The second and third results suggest the following broader research direction: if it is difficult to find (A) or (B) separately, can one find one of the two efficiently? This motivates the \emph{dual pair} concept we introduce. We discuss and provide several instances of dual-pair approximation.


title: Architecture of a Flexible and Cost-Effective Remote Code Execution Engine

abstract: Oftentimes, there is a need to experiment with different programming languages and technologies when designing software applications. Such experiments must be reproducible and share-able within a team workplace, and manual effort should be minimized for setting up/tearing down said experiments. This paper solves this problem by presenting a cloud-based web service for remote code execution, that is easily extensible to support any number of programming languages and libraries. The service provides a fast, reproducible solution for small software experiments and is amenable to collaboration in a workplace (via sharable permalinks). The service is designed as a distributed system to reliably support a large number of users, and efficiently manage cloud-hosting costs with predictive auto-scaling while minimizing SLA violations.


title: Tidal effects in 4D Einstein-Gauss-Bonnet Black Hole Spacetime

abstract: We have investigated tidal forces and geodesic deviation motion in the 4D-Einstein-Gauss-Bonnet spacetime. Our results show that tidal force and geodesic deviation motion depend sharply on the sign of Gauss-Bonnet coupling constant. Comparing with Schwarzschild spacetime, the strength of tidal force becomes stronger for the negative Gauss-Bonnet coupling constant, but is weaker for the positive one. Moreover, tidal force behaves like those in the Schwarzschild spacetime as the coupling constant is negative, and like those in Reissner-Nordstr\"{o}m black hole as the constant is positive. We also present the change of geodesic deviation vector with Gauss-Bonnet coupling constant under two kinds of initial conditions.


title: Partial generalized crossed products and a seven term exact sequence (expanded version)

abstract: Given a non-necessarily commutative unital ring $R$ and a unital partial representation $\Theta $ of a group $G$ into the Picard semigroup $\mathbf{PicS} (R)$ of the isomorphism classes of partially invertible $R$-bimodules, we construct an abelian group $\mathcal{C}(\Theta /R) $ formed by the isomorphism classes of partial generalized crossed products related to $\Theta $ and identify an appropriate second partial cohomology group of $G$ with a naturally defined subgroup $\mathcal{C}_0(\Theta /R) $ of $\mathcal{C}(\Theta /R).$ Then we use the obtained results to give an analogue of the Chase-Harrison-Rosenberg exact sequence associated with an extension of non-necessarily commutative rings $R\subseteq S$ with the same unity and a unital partial representation $ G \to \mathcal{S}_R(S)$ of an arbitrary group $G$ into the monoid $\mathcal{S}_R(S)$ of the $R$-subbimodules of $S.$ This generalizes the works by Kanzaki and Miyashita.


title: Semantic Modeling for Food Recommendation Explanations

abstract: With the increased use of AI methods to provide recommendations in the health, specifically in the food dietary recommendation space, there is also an increased need for explainability of those recommendations. Such explanations would benefit users of recommendation systems by empowering them with justifications for following the system's suggestions. We present the Food Explanation Ontology (FEO) that provides a formalism for modeling explanations to users for food-related recommendations. FEO models food recommendations, using concepts from the explanation domain to create responses to user questions about food recommendations they receive from AI systems such as personalized knowledge base question answering systems. FEO uses a modular, extensible structure that lends itself to a variety of explanations while still preserving important semantic details to accurately represent explanations of food recommendations. In order to evaluate this system, we used a set of competency questions derived from explanation types present in literature that are relevant to food recommendations. Our motivation with the use of FEO is to empower users to make decisions about their health, fully equipped with an understanding of the AI recommender systems as they relate to user questions, by providing reasoning behind their recommendations in the form of explanations.


title: A very special case of Siegel's mass formula and Hecke operators

abstract: We make use of Hecke operators and arithmetic of imaginary quadratic fields to derive an explicit version of a special case of Siegel's mass formula.


title: Deterministic matrix sketches for low-rank compression of high-dimensional simulation data

abstract: Matrices arising in scientific applications frequently admit linear low-rank approximations due to smoothness in the physical and/or temporal domain of the problem. In large-scale problems, computing an optimal low-rank approximation can be prohibitively expensive. Matrix sketching addresses this by reducing the input matrix to a smaller, but representative matrix via a low-dimensional linear embedding. If the sketch matrix produced by the embedding captures sufficient geometric properties of the original matrix, then a near-optimal approximation may be obtained. Much of the work done in matrix sketching has centered on random projection. Alternatively, in this work, deterministic matrix sketches which generate coarse representations, compatible with the corresponding PDE solve, are considered in the computation of the singular value decomposition and matrix interpolative decomposition. The deterministic sketching approaches in this work have many advantages over randomized sketches. Broadly, randomized sketches are data-agnostic, whereas the proposed sketching methods exploit structures within data generated in complex PDE systems. These deterministic sketches are often faster, require access to a small fraction of the input matrix, and do not need to be explicitly constructed. A novel single-pass, i.e., requiring one read over the input, power iteration algorithm is also presented. The power iteration method is particularly effective in improving low-rank approximations when the singular value decay of data is slow. Finally, theoretical error bounds and estimates, as well as numerical results across three application problems, are provided.


title: A non-linear stable non-Gaussian process in fractional time

abstract: A subdiffusion problem in which the diffusion term is related to a stable stochastic process is introduced. Linear models of these systems have been studied in a general way, but non-linear models require a more specific analysis. The model presented in this work corresponds to a non-linear evolution equation with fractional time derivative and a pseudo-differential operator acting on the spatial variable. This type of equations has a couple of fundamental solutions, whose estimates for the L_p-norm are found to obtain three main results concerning mild and global solutions. The existence and uniqueness of a mild solution is based on the conditions required in some parameters, one of which is the order of stability of the stochastic process. The existence and uniqueness of a global solution is found for the case of small initial conditions and another for non-negative initial conditions. The relationship between Fourier analysis and Markov processes, together with the theory of fixed points in Banach spaces, is particularly exploited. In addition, the present work includes the asymptotic behavior of global solutions as a linear combination of the fundamental solutions with L_p-decay.


title: Real fundamental Chevalley involutions and conjugacy classes

abstract: Let $\mathsf G$ be a connected reductive linear algebraic group defined over $\mathbb R$, and let $C: \mathsf G\rightarrow \mathsf G$ be a fundamental Chevalley involution. We show that for every $g\in \mathsf G(\mathbb R)$, $C(g)$ is conjugate to $g^{-1}$ in the group $\mathsf G(\mathbb R)$. Similar result on the Lie algebras is also obtained.


title: WiFi Fingerprint Clustering for Urban Mobility Analysis

abstract: In this paper, we present an unsupervised learning approach to identify the user points of interest (POI) by exploiting WiFi measurements from smartphone application data. Due to the lack of GPS positioning accuracy in indoor, sheltered, and high rise building environments, we rely on widely available WiFi access points (AP) in contemporary urban areas to accurately identify POI and mobility patterns, by comparing the similarity in the WiFi measurements. We propose a system architecture to scan the surrounding WiFi AP, and perform unsupervised learning to demonstrate that it is possible to identify three major insights, namely the indoor POI within a building, neighbourhood activity, and micro-mobility of the users. Our results show that it is possible to identify the aforementioned insights, with the fusion of WiFi and GPS, which are not possible to identify by only using GPS.