title: A 1D-CNN Based Deep Learning Technique for Sleep Apnea Detection in IoT Sensors

abstract: Internet of Things (IoT) enabled wearable sensors for health monitoring are widely used to reduce the cost of personal healthcare and improve quality of life. The sleep apnea-hypopnea syndrome, characterized by the abnormal reduction or pause in breathing, greatly affects the quality of sleep of an individual. This paper introduces a novel method for apnea detection (pause in breathing) from electrocardiogram (ECG) signals obtained from wearable devices. The novelty stems from the high resolution of apnea detection on a second-by-second basis, and this is achieved using a 1-dimensional convolutional neural network for feature extraction and detection of sleep apnea events. The proposed method exhibits an accuracy of 99.56% and a sensitivity of 96.05%. This model outperforms several lower resolution state-of-the-art apnea detection methods. The complexity of the proposed model is analyzed. We also analyze the feasibility of model pruning and binarization to reduce the resource requirements on a wearable IoT device. The pruned model with 80\% sparsity exhibited an accuracy of 97.34% and a sensitivity of 86.48%. The binarized model exhibited an accuracy of 75.59% and sensitivity of 63.23%. The performance of low complexity patient-specific models derived from the generic model is also studied to analyze the feasibility of retraining existing models to fit patient-specific requirements. The patient-specific models on average exhibited an accuracy of 97.79% and sensitivity of 92.23%. The source code for this work is made publicly available.


title: GRNN: Generative Regression Neural Network -- A Data Leakage Attack for Federated Learning

abstract: Data privacy has become an increasingly important issue in Machine Learning (ML), where many approaches have been developed to tackle this challenge, e.g. cryptography (Homomorphic Encryption (HE), Differential Privacy (DP), etc.) and collaborative training (Secure Multi-Party Computation (MPC), Distributed Learning and Federated Learning (FL)). These techniques have a particular focus on data encryption or secure local computation. They transfer the intermediate information to the third party to compute the final result. Gradient exchanging is commonly considered to be a secure way of training a robust model collaboratively in Deep Learning (DL). However, recent researches have demonstrated that sensitive information can be recovered from the shared gradient. Generative Adversarial Network (GAN), in particular, has shown to be effective in recovering such information. However, GAN based techniques require additional information, such as class labels which are generally unavailable for privacy-preserved learning. In this paper, we show that, in the FL system, image-based privacy data can be easily recovered in full from the shared gradient only via our proposed Generative Regression Neural Network (GRNN). We formulate the attack to be a regression problem and optimize two branches of the generative model by minimizing the distance between gradients. We evaluate our method on several image classification tasks. The results illustrate that our proposed GRNN outperforms state-of-the-art methods with better stability, stronger robustness, and higher accuracy. It also has no convergence requirement to the global FL model. Moreover, we demonstrate information leakage using face re-identification. Some defense strategies are also discussed in this work.


title: A stabilization mechanism for excited fermion-boson stars

abstract: We study numerically the nonlinear stability of {\it excited} fermion-boson stars in spherical symmetry. Such compound hypothetical stars, composed by fermions and bosons, are gravitationally bound, regular, and static configurations described within the coupled Einstein-Klein-Gordon-Euler theoretical framework. The excited configurations are characterized by the presence in the radial profile of the (complex, massive) scalar field -- the bosonic piece -- of at least one node across the star. The dynamical emergence of one such configuration from the accretion of a cloud of scalar field onto an already-formed neutron star, was numerically revealed in our previous investigation. Prompted by that finding we construct here equilibrium configurations of excited fermion-boson stars and study their stability properties using numerical-relativity simulations. In addition, we also analyze their dynamical formation from generic, constraint-satisfying initial data. Contrary to purely boson stars in the excited state, which are known to be generically unstable, our study reveals the appearance of a cooperative stabilization mechanism between the fermionic and bosonic constituents of those excited-state mixed stars. While similar examples of stabilization mechanisms have been recently discussed in the context of $\ell-$boson stars and multi-field, multi-frequency boson stars, our results seem to indicate that the stabilization mechanism is a purely gravitational effect and does not depend on the type of matter of the companion star.


title: On closed subgroups of the R. Thompson group $F$

abstract: We prove that Thompson's group $F$ has a subgroup $H$ such that the conjugacy problem in $H$ is undecidable and the membership problem in $H$ is easily decidable. The subgroup $H$ of $F$ is a closed subgroup of $F$. That is, every function in $F$ which is a piecewise-$H$ function belongs to $H$. Other interesting examples of closed subgroups of $F$ include Jones' subgroups $\overrightarrow{F}_n$ and Jones' $3$-colorable subgroup $\mathcal F$. By a recent result of the first author, all maximal subgroups of $F$ of infinite index are closed. In this paper we prove that if $K\leq F$ is finitely generated then the closure of $K$, i.e., the smallest closed subgroup of $F$ which contains $K$, is finitely generated. We also prove that all finitely generated closed subgroups of $F$ are undistorted in $F$. In particular, all finitely generated maximal subgroups of $F$ are undistorted in $F$.


title: Einstein-Chern-Simons equations on the 3-brane world

abstract: In this article it is studied the 3-brane world in the context of five-dimensional Einstein-Chern-Simons gravity. We started by considering Israel's junction condition for AdS-Chern-Simons gravity. Using the S-expansion procedure, we mapped the AdS-Chern-Simons junction conditions to Einstein-Chern-Simons gravity, allowing us to derive effective four-dimensional Einstein-Chern-Simons field equations.


title: Using Green functions to solve potentials in electrostatics

abstract: In this paper, we summarize the technique of using Green functions to solve electrostatic problems. We start by deriving the electric potential in terms of a Green function and a charge distribution. We then provide a variety of example problems in spherical, Cartesian, and cylindrical coordinates. For a given coordinate system, we derive the corresponding Green function for some geometries, and then place an arbitrary charge distribution in the region; we then calculate the corresponding electric potential.


abstract: Despite decades of engineering and scientific research efforts, separation of concerns in software development remains not fully achieved. The challenge has been to avoid the crosscutting of concerns phenomenon, which has no apparent complete solution. In this paper, we show that business-domain coding plays an even larger role in this challenge. We then introduce a new approach called \emph{Metadata Interpretation Driven Development} (MIDD), which suggests a way to enhance the current way of realizing separation of concerns by eliminating the need to code functional concerns. We propose to code non-functional concerns as metadata interpreters. This interpretation occurs at run-time and is possible because it assumes the existence of such metadata in artefacts created in previous stages of the process, such as the modelling phase. We show how this can increase the (re)use of the constructs. Furthermore, we show that a single interpreter, due to its semantic disconnection from the domain, can simultaneously serve different business domains with no concerns regarding the need to rewrite or refactor code. Although high-reuse software construction is considered a relatively mature field, changes in the software services scenario demand constant evolution of the actual solutions. The emergence of new software architectures, such as serverless computing, reinforces the need to rethink software construction. This approach is presented as a response to this need.


title: Semiconductor Laser Linewidth Theory Revisited

abstract: More and more applications require semiconductor lasers distinguished not only by large modulation bandwidths or high output powers, but also by small spectral linewidths. The theoretical understanding of the root causes limiting the linewidth is therefore of great practical relevance. In this paper, we derive a general expression for the calculation of the spectral linewidth step by step in a self-contained manner. We build on the linewidth theory developed in the 1980s and 1990s but look from a modern perspective, in the sense that we choose as our starting points the time-dependent coupled-wave equations for the forward and backward propagating fields and an expansion of the fields in terms of the stationary longitudinal modes of the open cavity. As a result, we obtain rather general expressions for the longitudinal excess factor of spontaneous emission ($K$-factor) and the effective $\alpha$-factor including the effects of nonlinear gain (gain compression) and refractive index (Kerr effect), gain dispersion and longitudinal spatial hole burning in multi-section cavity structures. The effect of linewidth narrowing due to feedback from an external cavity often described by the so-called chirp reduction factor is also automatically included. We propose a new analytical formula for the dependence of the spontaneous emission on the carrier density avoiding the use of the population inversion factor. The presented theoretical framework is applied to a numerical study of a two-section distributed Bragg reflector laser.


title: Representation of Real Solvable Lie Algebras Having 2-dimensional Derived Ideal and Geometry of Coadjoint Orbits of Corresponding Lie Groups

abstract: Let {\Lnk} be the class of all $n$-dimensional real solvable Lie algebras having $k$-dimensional derived ideals. In 2020 the authors et al. gave a classification of all non 2-step nilpotent Lie algebras of {\Li}. We propose in this paper to study representations of these Lie algebras as well as their corresponding connected and simply connected Lie groups. That is, for each algebra, we give an upper bound of the minimal degree of a faithful representation. Then, we give a geometrical description of coadjoint orbits of corresponding groups. Moreover, we show that the characteristic property of the family of maximal dimensional coadjoint orbits of a MD-group studied by K. P. Shum and the second author et al. is still true for the Lie groups considered here. Namely, we prove that, for each considered group, the family of the maximal dimensional coadjoint orbits forms a measurable foliation in the sense of Connes. The topological classification of these foliations is also provided.


title: A comparison between D-wave and a classical approximation algorithm and a heuristic for computing the ground state of an Ising spin glass

abstract: Finding the ground state of an Ising-spin glass on general graphs belongs to the class of NP-hard problems, widely believed to have no efficient polynomial-time algorithms for solving them. An approach developed in computer science for dealing with such problems is to devise approximation algorithms that run in polynomial time, and provide solutions with provable guarantees on their quality in terms of the optimal unknown solution. Recently, several algorithms for the Ising-spin glass problem on a graph that provide different approximation guarantees were introduced albeit without implementation. Also recently, D-wave company constructed a physical realization of an adiabatic quantum computer, and enabled researchers to access it. D-wave is particularly suited for computing an approximation for the ground state of an Ising spin glass on its chimera graph -- a graph with bounded degree. In this work, we compare the performance of a recently developed approximation algorithm for solving the Ising spin glass problem on graphs of bounded degree against the D-wave computer. We also compared a heuristic tailored specifically to handle the fixed D-wave chimera graph. D-wave computer was able to find better approximations to all the random instances we studied. Furthermore the convergence times of D-wave were also significantly better. These results indicate the merit of D-wave computer under certain specific instances. More broadly, our method is relevant to other performance comparison studies. We suggest that it is important to compare the performance of quantum computers not only against exact classical algorithms with exponential run-time scaling, but also to approximation algorithms with polynomial run-time scaling and a provable guarantee on performance.


title: Modular plethystic isomorphisms for two-dimensional linear groups

abstract: Let $E$ be the natural representation of the special linear group $\mathrm{SL}_2(K)$ over an arbitrary field $K$. We use the two dual constructions of the symmetric power when $K$ has prime characteristic to construct an explicit isomorphism $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \mathrm{Sym}_\ell \mathrm{Sym}^m E$. This generalises Hermite reciprocity to arbitrary fields. We prove a similar explicit generalisation of the classical Wronskian isomorphism, namely $\mathrm{Sym}_m \mathrm{Sym}^\ell E \cong \bigwedge^m \mathrm{Sym}^{\ell+m-1} E$. We also generalise a result first proved by King, by showing that if $\nabla^\lambda$ is the Schur functor for the partition $\lambda$ and $\lambda^\circ$ is the complement of $\lambda$ in a rectangle with $\ell+1$ rows, then $\nabla^\lambda \mathrm{Sym}^\ell E \cong \nabla^{\lambda^\circ} \mathrm{Sym}_\ell E$. To illustrate that the existence of such `plethystic isomorphisms' is far from obvious, we end by proving that the generalisation $\nabla^\lambda \mathrm{Sym}^\ell E \cong \nabla^{\lambda'} \mathrm{Sym}^{\ell + \ell(\lambda') - \ell(\lambda)}E$ of the Wronskian isomorphism, known to hold for a large class of partitions over the complex field, does not generalise to fields of prime characteristic, even after considering all possible dualities.


title: Harish-Chandra modules over Hopf Galois orders

abstract: The theory of Galois orders was introduced by Futorny and Ovsienko. We introduce the notion of $\mathcal{H}$-Galois $\Lambda$-orders. These are certain noncommutative orders $F$ in a smash product of the fraction field of a noetherian integral domain $\Lambda$ by a Hopf algebra $\mathcal{H}$ (or, more generally, by a coideal subalgebra of a Hopf algebra). They are generalizations of Webster's principal flag orders. Examples include Cherednik algebras, as well as examples from Hopf Galois theory. We also define spherical Galois orders, which are the corresponding generalizations of principal Galois orders introduced by the author. The main results are (1) for every maximal ideal $\mathfrak{m}$ of $\Lambda$ of finite codimension, there exists a simple Harish-Chandra $F$-module in the fiber of $\mathfrak{m}$; (2) for every character of $\Lambda$ we construct a canonical simple Harish-Chandra module as a subquotient of the module of local distributions; (3) if a certain stabilizer coalgebra is finite-dimensional, then the corresponding fiber of simple Harish-Chandra modules is finite; (4) centralizers of symmetrizing idempotents are spherical Galois orders and every spherical Galois order appears that way.


title: The layers that build up the notion of time

abstract: Confusion and disagreement around the notion of time is due to the fact that we often fail to recognize that we call 'time' a variety of distinct notions, only partially related to one another. Many apparently obvious properties of time are results of different kinds of approximations, idealizations, or special contexts. I illustrate a number of distinct notions of time, their differences and relations; they are all relevant for describing the real world. To understand time, we have to break it apart.


title: Cancellation of spurious poles in N=4 SYM: physical and geometric

abstract: This paper shows that not only do the codimension one spurious poles of $N^k MHV$ tree level diagrams in N=4 SYM theory cancel in the tree level amplitude as expected, but their vanishing loci have a geometric interpretation that is tightly connected to their representation in the positive Grassmannians. In general, given a positroid variety, $\Sigma$, and a minimal matrix representation of it in terms of independent variable valued matrices, $M_{\mathcal{V}}$, one can define a polynomial, $R({\mathcal{V}})$ that is uniquely defined by the Grassmann necklace, ${\mathcal{I}}$, of the positroid cell. The vanishing locus of $R({\mathcal{V}})$ lies on the boundary of the positive variety $\overline{\Sigma} \setminus \Sigma$, but not all boundaries intersect the vanishing loci of a factor of $R({\mathcal{V}})$. We use this to show that the codimension one spurious poles of N=4 SYM, represented in twistor space, cancel in the tree level amplitude.


title: Kubernetes Autoscaling: YoYo Attack Vulnerability and Mitigation

abstract: In recent years, we have witnessed a new kind of DDoS attack, the burst attack(Chai, 2013; Dahan, 2018), where the attacker launches periodic bursts of traffic overload on online targets. Recent work presents a new kind of Burst attack, the YoYo attack (Bremler-Barr et al., 2017) that operates against the auto-scaling mechanism of VMs in the cloud. The periodic bursts of traffic loads cause the auto-scaling mechanism to oscillate between scale-up and scale-down phases. The auto-scaling mechanism translates the flat DDoS attacks into Economic Denial of Sustainability attacks (EDoS), where the victim suffers from economic damage accrued by paying for extra resources required to process the traffic generated by the attacker. However, it was shown that YoYo attack also causes significant performance degradation since it takes time to scale-up VMs. In this research, we analyze the resilience of Kubernetes auto-scaling against YoYo attacks. As containerized cloud applications using Kubernetes gain popularity and replace VM-based architecture in recent years. We present experimental results on Google Cloud Platform, showing that even though the scale-up time of containers is much lower than VM, Kubernetes is still vulnerable to the YoYo attack since VMs are still involved. Finally, we evaluate ML models that can accurately detect YoYo attack on a Kubernetes cluster.


title: MagSurface: Wireless 2D Finger Tracking Leveraging Magnetic Fields

abstract: With the ubiquity of touchscreens, touch input modality has become a popular way of interaction. However, current touchscreen technology is limiting in its design as it restricts touch interactions to specially instrumented touch surfaces. Surface contaminants like water can also hinder proper interactions. In this paper, we propose the use of magnetic field sensing to enable finger tracking on a surface with minimal instrumentation. Our system, MagSurface, turns everyday surfaces into a touch medium, thus allowing more flexibility in the types of touch surfaces. The evaluation of our system consists of quantifying the accuracy of the system in locating an object on 2D flat surfaces. We test our system on three different surface materials to validate its usage scenarios. A qualitative user experience study was also conducted to get feedback on the ease of use and comfort of the system. Localization error as low as a few millimeters was achieved


title: CARL-DTN: Context Adaptive Reinforcement Learning based Routing Algorithm in Delay Tolerant Network

abstract: The term Delay/Disruption-Tolerant Networks (DTN) invented to describe and cover all types of long-delay, disconnected, intermittently connected networks, where mobility and outages or scheduled contacts may be experienced. This environment is characterized by frequent network partitioning, intermittent connectivity, large or variable delay, asymmetric data rate, and low transmission reliability. There have been routing protocols developed in DTN. However, those routing algorithms are design based upon specific assumptions. The assumption makes existing algorithms suitable for specific environment scenarios. Different routing algorithm uses different relay node selection criteria to select the replication node. Too Frequently forwarding messages can result in excessive packet loss and large buffer and network overhead. On the other hand, less frequent transmission leads to a lower delivery ratio. In DTN there is a trade-off off between delivery ratio and overhead. In this study, we proposed context-adaptive reinforcement learning based routing(CARL-DTN) protocol to determine optimal replicas of the message based on the real-time density. Our routing protocol jointly uses a real-time physical context, social-tie strength, and real-time message context using fuzzy logic in the routing decision. Multi-hop forwarding probability is also considered for the relay node selection by employing Q-Learning algorithm to estimate the encounter probability between nodes and to learn about nodes available in the neighbor by discounting reward. The performance of the proposed protocol is evaluated based on various simulation scenarios. The result shows that the proposed protocol has better performance in terms of message delivery ratio and overhead.


title: High Dimensional Decision Making, Upper and Lower Bounds

abstract: A decision maker's utility depends on her action $a\in A \subset \mathbb{R}^d$ and the payoff relevant state of the world $\theta\in \Theta$. One can define the value of acquiring new information as the difference between the maximum expected utility pre- and post information acquisition. In this paper, I find asymptotic results on the expected value of information as $d \to \infty$, by using tools from the theory of (sub)-Guassian processes and generic chaining.


title: GODSAC*: Graph Optimized DSAC* for Robot Relocalization

abstract: Deep learning based camera pose estimation from monocular camera images has seen a recent uptake in Visual SLAM research. Even though such pose estimation approaches have excellent results in small confined areas like offices and apartment buildings, they tend to do poorly when applied to larger areas like outdoor settings, mainly because of the scarcity of distinctive features. We propose GODSAC* as a camera pose estimation approach that augments pose predictions from a trained neural network with noisy odometry data through the optimization of a pose graph. GODSAC* outperforms the state-of-the-art approaches in pose estimation accuracy, as we demonstrate in our experiments.


title: Data-Driven Model Order Reduction for Problems with Parameter-Dependent Jump-Discontinuities

abstract: We propose a data-driven model order reduction (MOR) technique for parametrized partial differential equations that exhibit parameter-dependent jump-discontinuities. Such problems have poor-approximability in a linear space and therefore, are challenging for standard MOR techniques. We build upon the methodology of approximating the map between the parameter domain and the expansion coefficients of the reduced basis via regression. The online stage queries the regression model for the expansion coefficients and recovers a reduced approximation for the solution. We propose to apply this technique to a transformed solution that results from composing the solution with a spatial transform. Unlike the (untransformed) solution, it is sufficiently regular along the parameter domain and thus, is well-approximable in a low-dimensional linear space. To recover an approximation for the (untransformed) solution, we propose an online efficient regression-based technique that approximates the inverse of the spatial transform. Our method features a decoupled online and offline stage, and benchmark problems involving hyperbolic and parabolic equations demonstrate its effectiveness.


title: Quenched limit theorems for expanding on average cocycles

abstract: We prove quenched versions of a central limit theorem, a large deviations principle as well as a local central limit theorem for expanding on average cocycles. This is achieved by building an appropriate modification of the spectral method for non-autonomous dynamics developed by Dragi\v{c}evi\'{c} et al., to deal with the case of random dynamics that exhibits nonuniform decay of correlations, which are ubiquitous in the context of the multiplicative ergodic theory. Our results provide an affirmative answer to a question posed by Buzzi.


title: Infinite Geraghty type extensions and its applications on integral equations

abstract: In this article, we go on to discuss about a series of infinite dimensional extension of the theorems in [3], [5], [6]. We also prove a similar Geraghty type constructions for Fisher ([5]) in infinite dimension, using similar techniques as in [3] and [6]. As an application a theory of finding solutions for the infinite dimensional Fredholm integral equation and Uryshon type integral equation is also provided.


title: Intrinsic nature of chiral charge order in the kagome superconductor RbV3Sb5

abstract: Superconductors with kagome lattices have been identified for over 40 years, with a superconducting transition temperature TC up to 7K. Recently, certain kagome superconductors have been found to exhibit an exotic charge order, which intertwines with superconductivity and persists to a temperature being one order of magnitude higher than TC. In this work, we use scanning tunneling microscopy (STM) to study the charge order in kagome superconductor RbV3Sb5. We observe both a 2x2 chiral charge order and nematic surface superlattices (predominantly 1x4). We find that the 2x2 charge order exhibits intrinsic chirality with magnetic field tunability. Defects can scatter electrons to introduce standing waves, which couple with the charge order to cause extrinsic effects. While the chiral charge order resembles that discovered in KV3Sb5, it further interacts with the nematic surface superlattices that are absent in KV3Sb5 but exist in CsV3Sb5.


title: Lozenge tilings and the Gaussian free field on a cylinder

abstract: We use the periodic Schur process, introduced in arXiv:math/0601019v1, to study the random height function of lozenge tilings (equivalently, dimers) on an infinite cylinder distributed under two variants of the $q^{\operatorname{vol}}$ measure. Under the first variant, corresponding to random cylindric partitions, the height function converges to a deterministic limit shape and fluctuations around it are given by the Gaussian free field in the conformal structure predicted by the Kenyon-Okounkov conjecture. Under the second variant, corresponding to an unrestricted dimer model on the cylinder, the fluctuations are given by the same Gaussian free field with an additional discrete Gaussian shift component. Fluctuations of the latter type have been previously conjectured for dimer models on planar domains with holes.


title: Radiative Seesaw Dark Matter

abstract: The singlet majoron model of seesaw neutrino mass is appended by one dark Majorana fermion singlet $\chi$ with $L=2$ and one dark complex scalar singlet $\zeta$ with $L=1$. This simple setup allows $\chi$ to obtain a small radiative mass anchored by the same heavy right-handed neutrinos, whereas the one-loop decay of the standard-model Higgs boson to $\chi \chi + \bar{\chi} \bar{\chi}$ provides the freeze-in mechanism for $\chi$ to be the light dark matter of the Universe.


title: Towards Improving the Predictive Capability of Computer Simulations by Integrating Inverse Uncertainty Quantification and Quantitative Validation with Bayesian Hypothesis Testing

abstract: The Best Estimate plus Uncertainty (BEPU) approach for nuclear systems modeling and simulation requires that the prediction uncertainty must be quantified in order to prove that the investigated design stays within acceptance criteria. A rigorous Uncertainty Quantification (UQ) process should simultaneously consider multiple sources of quantifiable uncertainties: (1) parameter uncertainty due to randomness or lack of knowledge; (2) experimental uncertainty due to measurement noise; (3) model uncertainty caused by missing/incomplete physics and numerical approximation errors, and (4) code uncertainty when surrogate models are used. In this paper, we propose a comprehensive framework to integrate results from inverse UQ and quantitative validation to provide robust predictions so that all these sources of uncertainties can be taken into consideration. Inverse UQ quantifies the parameter uncertainties based on experimental data while taking into account uncertainties from model, code and measurement. In the validation step, we use a quantitative validation metric based on Bayesian hypothesis testing. The resulting metric, called the Bayes factor, is then used to form weighting factors to combine the prior and posterior knowledge of the parameter uncertainties in a Bayesian model averaging process. In this way, model predictions will be able to integrate the results from inverse UQ and validation to account for all available sources of uncertainties. This framework is a step towards addressing the ANS Nuclear Grand Challenge on "Simulation/Experimentation" by bridging the gap between models and data.


title: Bridging and Improving Theoretical and Computational Electric Impedance Tomography via Data Completion

abstract: In computational PDE-based inverse problems, a finite amount of data is collected to infer unknown parameters in the PDE. In order to obtain accurate inferences, the collected data must be informative about the unknown parameters. How to decide which data is most informative and how to efficiently sample it, is the notoriously challenging task of optimal experimental design (OED). In this context, the best, and often infeasible, scenario is when the full input-to-output (ItO) map, i.e., an infinite amount of data, is available: This is the typical setting in many theoretical inverse problems, which is used to guarantee the unique parameter reconstruction. These two different settings have created a gap between computational and theoretical inverse problems. In this manuscript we aim to bridge this gap while circumventing the OED task. This is achieved by exploiting the structures of the ItO data from the underlying inverse problem, using the electrical impedance tomography (EIT) problem as an example. We leverage the rank-structure of the EIT model, and formulate the discretized ItO map, as an H-matrix. This suggests that one can recover the full ItO matrix, with high probability, from a subset of its entries sampled following the rank structure: The data in the diagonal blocks is informative thus fully sampled, while data in the off-diagonal blocks can be sub-sampled. This recovered ItO matrix is then utilized to represent the full ItO map, allowing us to connect with the problem in the theoretical setting where the unique reconstruction is guaranteed. This strategy achieves two goals: I) it bridges the gap between the settings for the numerical and theoretical inverse problems and II) it improves the quality of computational inverse solutions. We detail the theory for the EIT model, and provide numerical verification to both EIT and optical tomography problems


title: Edge-unfolding nested prismatoids

abstract: A $3$-Prismatoid is the convex hull of two convex polygons $A$ and $B$ which lie in parallel planes $H_A, H_B\subset\mathbb{R}^3$. Let $A'$ be the orthogonal projection of $A$ onto $H_B$. A prismatoid is called nested if $A'$ is properly contained in $B$, or vice versa. We show that every nested prismatoid has an edge-unfolding to a non-overlapping polygon in the plane.


title: Neo-humanism and COVID-19: Opportunities for a socially and environmentally sustainable world

abstract: A series of crises, culminating with COVID-19, shows that going Beyond GDP is urgently necessary. Social and environmental degradation are consequences of emphasizing GDP as a measure of progress. This degradation created the conditions for the COVID-19 pandemic and limited the efficacy of counter-measures. Additionally, rich countries did not fare the pandemic much better than poor ones. COVID-19 thrived on inequalities and a lack of cooperation. In this article we leverage on defensive growth models to explain the complex relationships between these factors, and we put forward the idea of neo-humanism, a cultural movement grounded on evidence from quality-of-life studies. The movement proposes a new culture leading towards a socially and environmentally sustainable future. Specifically, neo-humanism suggests that prioritizing well-being by, for instance, promoting social relations, would benefit the environment, enable collective action to address public issues, which in turn positively affects productivity and health, among other behavioral outcomes, and thereby instills a virtuous cycle. Arguably, such a society would have been better endowed to cope with COVID-19, and possibly even prevented the pandemic. Neo-humanism proposes a world in which the well-being of people comes before the well-being of markets, in which promoting cooperation and social relations represents the starting point for better lives, and a peaceful and respectful coexistence with other species on Earth.


title: Hard Encoding of Physics for Learning Spatiotemporal Dynamics

abstract: Modeling nonlinear spatiotemporal dynamical systems has primarily relied on partial differential equations (PDEs). However, the explicit formulation of PDEs for many underexplored processes, such as climate systems, biochemical reaction and epidemiology, remains uncertain or partially unknown, where very limited measurement data is yet available. To tackle this challenge, we propose a novel deep learning architecture that forcibly encodes known physics knowledge to facilitate learning in a data-driven manner. The coercive encoding mechanism of physics, which is fundamentally different from the penalty-based physics-informed learning, ensures the network to rigorously obey given physics. Instead of using nonlinear activation functions, we propose a novel elementwise product operation to achieve the nonlinearity of the model. Numerical experiment demonstrates that the resulting physics-encoded learning paradigm possesses remarkable robustness against data noise/scarcity and generalizability compared with some state-of-the-art models for data-driven modeling.


title: An Examination of Fairness of AI Models for Deepfake Detection

abstract: Recent studies have demonstrated that deep learning models can discriminate based on protected classes like race and gender. In this work, we evaluate bias present in deepfake datasets and detection models across protected subgroups. Using facial datasets balanced by race and gender, we examine three popular deepfake detectors and find large disparities in predictive performances across races, with up to 10.7% difference in error rate between subgroups. A closer look reveals that the widely used FaceForensics++ dataset is overwhelmingly composed of Caucasian subjects, with the majority being female Caucasians. Our investigation of the racial distribution of deepfakes reveals that the methods used to create deepfakes as positive training signals tend to produce "irregular" faces - when a person's face is swapped onto another person of a different race or gender. This causes detectors to learn spurious correlations between the foreground faces and fakeness. Moreover, when detectors are trained with the Blended Image (BI) dataset from Face X-Rays, we find that those detectors develop systematic discrimination towards certain racial subgroups, primarily female Asians.


title: Correlated many-body noise and emergent $1/f$ behavior in an anharmonic fluctuator model

abstract: Fluctuating electric fields emanating from surfaces are a primary source of decoherence in trapped ion qubits. Here, we show that superradiant phonon-induced excitation exchange between adatoms can lead to a reduction of electric field noise at low temperatures. We derive an exact mapping between the noise spectrum of $N$ fluctuators with $M$ vibrational levels to $N+M-1 \choose N$-1 two-level dipoles. We provide conditions for which the ubiquitous $1/f$ noise can emerge, even though the system is composed of only a single type of fluctuator, thus suggesting a new mechanism for the phenomenon.


title: Deployment Archetypes for Cloud Applications

abstract: This is a survey paper that explores six Cloud-based deployment archetypes for Cloud applications and the tradeoffs between them to achieve high availability, low end-user latency, and acceptable costs. These are (1) Zonal, (2) Regional, (3) Multi-Regional, (4) Global, (5) Hybrid, and (6) Multi-Cloud deployment archetypes. The goal is to classify cloud applications into a set of deployment archetypes and deployment models that tradeoff their needs around availability, latency, and geographical constraints with a focus on serving applications. This enables application owners to better examine the tradeoffs of each deployment model and what is needed for achieving the availability and latency goals for their application.


title: Correlation-induced triplet pairing superconductivity in graphene-based moir\'e systems

abstract: Motivated by the possible non-spin-singlet superconductivity in the magic-angle twisted trilayer graphene experiment, we investigate the triplet-pairing superconductivity arising from a correlation-induced spin-fermion model on a honeycomb lattice. We find that the $f$-wave pairing is favored due to the valley-sublattice structure, and the superconducting state is time-reversal symmetric, fully gapped, and non-topological. With a small in-plane magnetic field, the superconducting state becomes partially polarized, and the transition temperature can be slightly enhanced. Our results apply qualitatively for the triplet-pairing superconductivity in graphene-based moir\'e systems, which is fundamentally distinct from triplet superconductivity in $^3$He and ferromagnetic superconductors.


title: Personalized Federated Learning by Structured and Unstructured Pruning under Data Heterogeneity

abstract: The traditional approach in FL tries to learn a single global model collaboratively with the help of many clients under the orchestration of a central server. However, learning a single global model might not work well for all clients participating in the FL under data heterogeneity. Therefore, the personalization of the global model becomes crucial in handling the challenges that arise with statistical heterogeneity and the non-IID distribution of data. Unlike prior works, in this work we propose a new approach for obtaining a personalized model from a client-level objective. This further motivates all clients to participate in federation even under statistical heterogeneity in order to improve their performance, instead of merely being a source of data and model training for the central server. To realize this personalization, we leverage finding a small subnetwork for each client by applying hybrid pruning (combination of structured and unstructured pruning), and unstructured pruning. Through a range of experiments on different benchmarks, we observed that the clients with similar data (labels) share similar personal parameters. By finding a subnetwork for each client ...


title: An illustrated encyclopedia of area relations

abstract: To any combinatorial triangulation $T$ of a square, there is an associated polynomial relation $p_T$ among the areas of the triangles of $T$. With the goal of understanding this polynomial, we consider polynomials obtained from $p_T$ by choosing $l$ of its variables and specializing $p_T$ to these variables by zeroing out the remaining variables. We show that for fixed $l$, the set ${\mathcal E}_l$ of integer polynomials that appear as irreducible factors of such specializations is finite. We compute this area encyclopedia ${\mathcal E}_l$ for $l\leq 4$. We also show that in any dissection of a square into $l$ triangles, the areas of the triangles must satisfy a polynomial in ${\mathcal E}_l$. Our results are obtained by studying the rational map that associates to each drawing of $T$ the tuple of areas of the triangles in that drawing. By analyzing the ways of approaching the base locus, we derive restrictions on points of the closure of the image of this map.


title: Encoding Tight Typing in a Unified Framework

abstract: This paper explores how the intersection type theories of call-by-name (CBN) and call-by-value (CBV) can be unified in a more general framework provided by call-by-push-value (CBPV). Indeed, we propose tight type systems for CBN and CBV that can be both encoded in a unique tight type system for CBPV. All such systems are quantitative, ie. they provide exact information about the length of normalization sequences to normal form as well as the size of these normal forms. Moreover, the length of reduction sequences are discriminated according to their multiplicative and exponential nature, a concept inherited from linear logic. Last but not least, it is possible to extract quantitative measures for CBN and CBV from their corresponding encodings in CBPV.


title: Python and Malware: Developing Stealth and Evasive Malware Without Obfuscation

abstract: With the continuous rise of malicious campaigns and the exploitation of new attack vectors, it is necessary to assess the efficacy of the defensive mechanisms used to detect them. To this end, the contribution of our work is twofold. First, it introduces a new method for obfuscating malicious code to bypass all static checks of multi-engine scanners, such as VirusTotal. Interestingly, our approach to generating the malicious executables is not based on introducing a new packer but on the augmentation of the capabilities of an existing and widely used tool for packaging Python, PyInstaller but can be used for all similar packaging tools. As we prove, the problem is deeper and inherent in almost all antivirus engines and not PyInstaller specific. Second, our work exposes significant issues of well-known sandboxes that allow malware to evade their checks. As a result, we show that stealth and evasive malware can be efficiently developed, bypassing with ease state of the art malware detection tools without raising any alert.


title: Morphisms of Groupoid Actions and Recurrence

abstract: Topological groupoids admit various types of morphisms. We push these notions to the level of continuous groupoid actions to obtain various types of groupoid action morphisms. Some dynamical properties and their relation to these morphisms are studied. Among them are recurrence, various forms of transitivity, minimality, limit, recurrent, periodic and almost periodic points.


title: Multi-feature 360 Video Quality Estimation

abstract: We propose a new method for the visual quality assessment of 360-degree (omnidirectional) videos. The proposed method is based on computing multiple spatio-temporal objective quality features on viewports extracted from 360-degree videos. A new model is learnt to properly combine these features into a metric that closely matches subjective quality scores. The main motivations for the proposed approach are that: 1) quality metrics computed on viewports better captures the user experience than metrics computed on the projection domain; 2) the use of viewports easily supports different projection methods being used in current 360-degree video systems; and 3) no individual objective image quality metric always performs the best for all types of visual distortions, while a learned combination of them is able to adapt to different conditions. Experimental results, based on both the largest available 360-degree videos quality dataset and a cross-dataset validation, demonstrate that the proposed metric outperforms state-of-the-art 360-degree and 2D video quality metrics.


title: InferNet for Delayed Reinforcement Tasks: Addressing the Temporal Credit Assignment Problem

abstract: The temporal Credit Assignment Problem (CAP) is a well-known and challenging task in AI. While Reinforcement Learning (RL), especially Deep RL, works well when immediate rewards are available, it can fail when only delayed rewards are available or when the reward function is noisy. In this work, we propose delegating the CAP to a Neural Network-based algorithm named InferNet that explicitly learns to infer the immediate rewards from the delayed rewards. The effectiveness of InferNet was evaluated on two online RL tasks: a simple GridWorld and 40 Atari games; and two offline RL tasks: GridWorld and a real-life Sepsis treatment task. For all tasks, the effectiveness of using the InferNet inferred rewards is compared against the immediate and the delayed rewards with two settings: with noisy rewards and without noise. Overall, our results show that the effectiveness of InferNet is robust against noisy reward functions and is an effective add-on mechanism for solving temporal CAP in a wide range of RL tasks, from classic RL simulation environments to a real-world RL problem and for both online and offline learning.


title: Constraints on the kinetic mixing parameter $\epsilon^2$ for the light dark photons from dilepton production in heavy-ion collisions in the few-GeV energy range

abstract: The vector $U$-bosons, or so called 'dark photons', are one of the possible candidates for the dark matter mediators. They are supposed to interact with the standard matter via a 'vector portal' due to the $U(1)-U(1)^\prime$ symmetry group mixing which might make them visible in particle and heavy-ion experiments. While there is no confirmed observation of dark photons, the detailed analysis of different experimental data allows to estimate the upper limit for the kinetic mixing parameter $\epsilon^2$ depending on the mass $M_U$ of $U$-bosons which is also unknown. In this study we present theoretical constraints on the upper limit of $\epsilon^2(M_U)$ in the mass range $M_U \le 0.6$ GeV from the comparison of the calculated dilepton spectra with the experimental data from the HADES Collaboration at SIS18 energies where the dark photons are not observed. Our analysis is based on the microscopic Parton-Hadron-String Dynamics (PHSD) transport approach which reproduces well the measured dilepton spectra in $p+p$, $p+A$ and $A+A$ collisions. Additionally to the different dilepton channels originating from interactions and decays of ordinary matter particles (mesons and baryons), we incorporate the decay of hypothetical $U$-bosons to dileptons, $U\to e^+e^-$, where the $U$-bosons themselves are produced by the Dalitz decay of pions $\pi^0\to \gamma U$, $\eta$-mesons $\eta \to \gamma U$ and Delta resonances $\Delta \to N U$. Our analysis can help to estimate the requested accuracy for future experimental searches of 'light' dark photons by dilepton experiments.


title: Integral points on punctured abelian varieties

abstract: Let $A$ be an abelian variety over the rationals, and suppose $A(\mathbb{Q})=0$. Let $\ell$ be a rational prime. Subject to a mild condition on the mod $\ell$ representation of $A$, we show that the punctured variety $A-0$ has no integral points over 100% of cyclic degree $\ell$ number fields.


title: The proton charge radius

abstract: Nucleons (protons and neutrons) are the building blocks of atomic nuclei, and are responsible for more than 99\% of the visible matter in the universe. Despite decades of efforts in studying its internal structure, there are still a number of puzzles surrounding the proton such as its spin, and charge radius. Accurate knowledge about the proton charge radius is not only essential for understanding how quantum chromodynamics (QCD) works in the non-perturbative region, but also important for bound state quantum electrodynamics (QED) calculations of atomic energy levels. It also has an impact on the Rydberg constant, one of the most precisely measured fundamental constants in nature. This article reviews the latest situation concerning the proton charge radius in light of the new experimental results from both atomic hydrogen spectroscopy and electron scattering measurements, with particular focus on the latter. We also present the related theoretical developments and backgrounds concerning the determination of the proton charge radius using different experimental techniques. We discuss upcoming experiments, and briefly mention the deuteron charge radius puzzle at the end.


title: Larger-Scale Transformers for Multilingual Masked Language Modeling

abstract: Recent work has demonstrated the effectiveness of cross-lingual language model pretraining for cross-lingual understanding. In this study, we present the results of two larger multilingual masked language models, with 3.5B and 10.7B parameters. Our two new models dubbed XLM-R XL and XLM-R XXL outperform XLM-R by 1.8% and 2.4% average accuracy on XNLI. Our model also outperforms the RoBERTa-Large model on several English tasks of the GLUE benchmark by 0.3% on average while handling 99 more languages. This suggests pretrained models with larger capacity may obtain both strong performance on high-resource languages while greatly improving low-resource languages. We make our code and models publicly available.


title: Searchable Hidden Intermediates for End-to-End Models of Decomposable Sequence Tasks

abstract: End-to-end approaches for sequence tasks are becoming increasingly popular. Yet for complex sequence tasks, like speech translation, systems that cascade several models trained on sub-tasks have shown to be superior, suggesting that the compositionality of cascaded systems simplifies learning and enables sophisticated search capabilities. In this work, we present an end-to-end framework that exploits compositionality to learn searchable hidden representations at intermediate stages of a sequence model using decomposed sub-tasks. These hidden intermediates can be improved using beam search to enhance the overall performance and can also incorporate external models at intermediate stages of the network to re-score or adapt towards out-of-domain data. One instance of the proposed framework is a Multi-Decoder model for speech translation that extracts the searchable hidden intermediates from a speech recognition sub-task. The model demonstrates the aforementioned benefits and outperforms the previous state-of-the-art by around +6 and +3 BLEU on the two test sets of Fisher-CallHome and by around +3 and +4 BLEU on the English-German and English-French test sets of MuST-C.


title: Adapting CRISP-DM for Idea Mining: A Data Mining Process for Generating Ideas Using a Textual Dataset

abstract: Data mining project managers can benefit from using standard data mining process models. The benefits of using standard process models for data mining, such as the de facto and the most popular, Cross-Industry-Standard-Process model for Data Mining (CRISP-DM) are reduced cost and time. Also, standard models facilitate knowledge transfer, reuse of best practices, and minimize knowledge requirements. On the other hand, to unlock the potential of ever-growing textual data such as publications, patents, social media data, and documents of various forms, digital innovation is increasingly needed. Furthermore, the introduction of cutting-edge machine learning tools and techniques enable the elicitation of ideas. The processing of unstructured textual data to generate new and useful ideas is referred to as idea mining. Existing literature about idea mining merely overlooks the utilization of standard data mining process models. Therefore, the purpose of this paper is to propose a reusable model to generate ideas, CRISP-DM, for Idea Mining (CRISP-IM). The design and development of the CRISP-IM are done following the design science approach. The CRISP-IM facilitates idea generation, through the use of Dynamic Topic Modeling (DTM), unsupervised machine learning, and subsequent statistical analysis on a dataset of scholarly articles. The adapted CRISP-IM can be used to guide the process of identifying trends using scholarly literature datasets or temporally organized patent or any other textual dataset of any domain to elicit ideas. The ex-post evaluation of the CRISP-IM is left for future study.


title: On simple classes of special generic maps and round fold maps and fold maps obtained by composing projections

abstract: Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are important classes of fold maps. {\it Special generic} maps are higher dimensional variants of Morse functions on homotopy spheres with exactly two {\it singular points}: canonical projections of unit spheres are special generic. Round fold maps are Morse functions obtained as doubles of Morse functions, or fold maps such that the set of all the singular points are embeddings and that the images are concentric. In the present paper, we discuss compositions of these maps with canonical projections. For example, we observe that these compositions for special generic maps of simple classes are regarded as round fold maps in considerable cases. We also present round fold maps we cannot represent in this way, seeming to be represented so. Note that such compositions are natural operations in related theory of differentiable maps.


title: Site-Controlled Telecom Single-Photon Emitters in Atomically-thin MoTe2

abstract: Quantum emitters (QEs) in two-dimensional transition metal dichalcogenides (2D TMDCs) have advanced to the forefront of quantum communication and transduction research due to their unique potentials in accessing valley pseudo-spin degree of freedom (DOF) and facile integration into quantum-photonic, electronic and sensing platforms via the layer-by-layer-assembly approach. To date, QEs capable of operating in O-C telecommunication bands have not been demonstrated in TMDCs. Here we report a deterministic creation of such telecom QEs emitting over the 1080 to 1550 nm wavelength range via coupling of 2D molybdenum ditelluride (MoTe2) to strain inducing nano-pillar arrays. Our Hanbury Brown and Twiss experiment conducted at 10 K reveals clear photon antibunching with 90% single photon purity. Ultra-long lifetimes, 4-6 orders of magnitude longer than that of the 2D exciton, are also observed. Polarization analysis further reveals that while some QEs display cross-linearly polarized doublets with ~1 meV splitting resulting from the strain induced anisotropic exchange interaction, valley degeneracy is preserved in other QEs. Valley Zeeman splitting as well as restoring of valley symmetry in cross-polarized doublets are observed under 8T magnetic field. In contrast to other telecom QEs, our QEs which offer the potential to access valley DOF through single photons, could lead to unprecedented advantages in optical fiber-based quantum networks.


title: Mixed Hegselmann-Krause Dynamics--Nondeterministic Case

abstract: The original Hegselmann-Krause (HK) model is composed of a finite number of agents characterized by their opinion, a number in $[0,1]$. An agent updates its opinion via taking the average opinion of its neighbors whose opinion differs by at most $\epsilon$ for $\epsilon>0$ a confidence bound. An agent is absolutely stubborn if it does not change its opinion while update, and absolutely open-minded if its update is the average opinion of its neighbors. There are two types of HK models--the synchronous HK model and the asynchronous HK model. The paper is about a variant of the HK dynamics, called the mixed model, where each agent can choose its degree of stubbornness and mix its opinion with the average opinion of its neighbors at all times. The mixed model reduces to the synchronous HK model if all agents are absolutely open-minded all the time, and the asynchronous HK model if only one uniformly randomly selected agent is absolutely open-minded and the others are absolutely stubborn at all times. In \cite{mhk}, we discuss the mixed model deterministically. Point out some properties of the synchronous HK model, such as finite-time convergence, do not hold for the mixed model. In this topic, we study the mixed model nondeterministically. List some properties of the asynchronous model which do not hold for the mixed model. Then, study circumstances under which the asymptotic stability holds.


title: Sphynx: a parallel multi-GPU graph partitioner for distributed-memory systems

abstract: Graph partitioning has been an important tool to partition the work among several processors to minimize the communication cost and balance the workload. While accelerator-based supercomputers are emerging to be the standard, the use of graph partitioning becomes even more important as applications are rapidly moving to these architectures. However, there is no distributed-memory parallel, multi-GPU graph partitioner available for applications. We developed a spectral graph partitioner, Sphynx, using the portable, accelerator-friendly stack of the Trilinos framework. In Sphynx, we allow using different preconditioners and exploit their unique advantages. We use Sphynx to systematically evaluate the various algorithmic choices in spectral partitioning with a focus on the GPU performance. We perform those evaluations on two distinct classes of graphs: regular (such as meshes, matrices from finite element methods) and irregular (such as social networks and web graphs), and show that different settings and preconditioners are needed for these graph classes. The experimental results on the Summit supercomputer show that Sphynx is the fastest alternative on irregular graphs in an application-friendly setting and obtains a partitioning quality close to ParMETIS on regular graphs. When compared to nvGRAPH on a single GPU, Sphynx is faster and obtains better balance and better quality partitions. Sphynx provides a good and robust partitioning method across a wide range of graphs for applications looking for a GPU-based partitioner.


title: BACKDOORL: Backdoor Attack against Competitive Reinforcement Learning

abstract: Recent research has confirmed the feasibility of backdoor attacks in deep reinforcement learning (RL) systems. However, the existing attacks require the ability to arbitrarily modify an agent's observation, constraining the application scope to simple RL systems such as Atari games. In this paper, we migrate backdoor attacks to more complex RL systems involving multiple agents and explore the possibility of triggering the backdoor without directly manipulating the agent's observation. As a proof of concept, we demonstrate that an adversary agent can trigger the backdoor of the victim agent with its own action in two-player competitive RL systems. We prototype and evaluate BACKDOORL in four competitive environments. The results show that when the backdoor is activated, the winning rate of the victim drops by 17% to 37% compared to when not activated.


title: Learning Visually Guided Latent Actions for Assistive Teleoperation

abstract: It is challenging for humans -- particularly those living with physical disabilities -- to control high-dimensional, dexterous robots. Prior work explores learning embedding functions that map a human's low-dimensional inputs (e.g., via a joystick) to complex, high-dimensional robot actions for assistive teleoperation; however, a central problem is that there are many more high-dimensional actions than available low-dimensional inputs. To extract the correct action and maximally assist their human controller, robots must reason over their context: for example, pressing a joystick down when interacting with a coffee cup indicates a different action than when interacting with knife. In this work, we develop assistive robots that condition their latent embeddings on visual inputs. We explore a spectrum of visual encoders and show that incorporating object detectors pretrained on small amounts of cheap, easy-to-collect structured data enables i) accurately and robustly recognizing the current context and ii) generalizing control embeddings to new objects and tasks. In user studies with a high-dimensional physical robot arm, participants leverage this approach to perform new tasks with unseen objects. Our results indicate that structured visual representations improve few-shot performance and are subjectively preferred by users.


title: Robust Sample Weighting to Facilitate Individualized Treatment Rule Learning for a Target Population

abstract: Learning individualized treatment rules (ITRs) is an important topic in precision medicine. Current literature mainly focuses on deriving ITRs from a single source population. We consider the observational data setting when the source population differs from a target population of interest. Compared with causal generalization for the average treatment effect which is a scalar quantity, ITR generalization poses new challenges due to the need to model and generalize the rules based on a prespecified class of functions which may not contain the unrestricted true optimal ITR. The aim of this paper is to develop a weighting framework to mitigate the impact of such misspecification and thus facilitate the generalizability of optimal ITRs from a source population to a target population. Our method seeks covariate balance over a non-parametric function class characterized by a reproducing kernel Hilbert space and can improve many ITR learning methods that rely on weights. We show that the proposed method encompasses importance weights and overlap weights as two extreme cases, allowing for a better bias-variance trade-off in between. Numerical examples demonstrate that the use of our weighting method can greatly improve ITR estimation for the target population compared with other weighting methods.


title: Semi-supervised learning for generalizable intracranial hemorrhage detection and segmentation

abstract: Purpose: To develop and evaluate a semi-supervised learning model for intracranial hemorrhage detection and segmentation on an out-of-distribution head CT evaluation set. Materials and Methods: This retrospective study used semi-supervised learning to bootstrap performance. An initial "teacher" deep learning model was trained on 457 pixel-labeled head CT scans collected from one US institution from 2010-2017 and used to generate pseudo-labels on a separate unlabeled corpus of 25000 examinations from the RSNA and ASNR. A second "student" model was trained on this combined pixel- and pseudo-labeled dataset. Hyperparameter tuning was performed on a validation set of 93 scans. Testing for both classification (n=481 examinations) and segmentation (n=23 examinations, or 529 images) was performed on CQ500, a dataset of 481 scans performed in India, to evaluate out-of-distribution generalizability. The semi-supervised model was compared with a baseline model trained on only labeled data using area under the receiver operating characteristic curve (AUC), Dice similarity coefficient (DSC), and average precision (AP) metrics. Results: The semi-supervised model achieved statistically significantly higher examination AUC on CQ500 compared with the baseline (0.939 [0.938, 0.940] vs. 0.907 [0.906, 0.908]) (p=0.009). It also achieved a higher DSC (0.829 [0.825, 0.833] vs. 0.809 [0.803, 0.812]) (p=0.012) and Pixel AP (0.848 [0.843, 0.853]) vs. 0.828 [0.817, 0.828]) compared to the baseline. Conclusion: The addition of unlabeled data in a semi-supervised learning framework demonstrates stronger generalizability potential for intracranial hemorrhage detection and segmentation compared with a supervised baseline.


title: Quark model analysis of the Weinberg operator contribution to the nucleon EDM

abstract: The Weinberg operator (chromo-electric dipole moment of gluon) is a CP violating quantity generated in many candidates of new physics beyond the standard model, and it contributes to observables such as the electric dipole moments (EDM) of the neutron or atoms which are currently measured in experiments. In this proceedings contribution, we report on our result of the evaluation of the Weinberg operator contribution to the nucleon EDM in the nonrelativistic quark model using the Gaussian expansion method.


title: Thinking Outside the Lab: VR Size & Depth Perception in the Wild

abstract: Size and distance perception in Virtual Reality (VR) have been widely studied, albeit in a controlled laboratory setting with a small number of participants. We describe a fully remote perceptual study with a gamified protocol to encourage participant engagement, which allowed us to quickly collect high-quality data from a large, diverse participant pool (N=60). Our study aims to understand medium-field size and egocentric distance perception in real-world usage of consumer VR devices. We utilized two perceptual matching tasks -- distance bisection and size matching -- at the same target distances of 1--9 metres. While the bisection protocol indicated a near-universal trend of nonlinear distance compression, the size matching estimates were more equivocal. Varying eye-height from the floor plane showed no significant effect on the judgements. We also discuss the pros and cons of a fully remote perceptual study in VR, the impact of hardware variation, and measures needed to ensure high-quality data.


title: Imprints of Gravitational Millilensing on the Light Curve of GRBs

abstract: In this work, we search for signatures of gravitational millilensing in Gamma-ray bursts (GRB) in which the source-lens-observer geometry produces two images that manifest in the GRB light curve as superimposed peaks with identical temporal variability (or echoes), separated by the time delay between the two images. According to the sensitivity of our detection method, we consider millilensing events due to point mass lenses in the range of $10^5 - 10^7 M_{\odot}$ at lens redshift about half that of the GRB, with a time delay in the order of $10$ seconds. Current GRB observatories are capable of resolving and constraining this lensing scenario if the above conditions are met. We investigated the Fermi/GBM GRB archive from the year 2008 to 2020 using the autocorrelation technique and we found one millilensed GRB candidate out of 2137 GRBs searched, which we use to estimate the optical depth of millilensed GRBs by performing a Monte-Carlo simulation to find the efficiency of our detection method. Considering a point-mass model for the gravitational lens, where the lens is a supermassive black hole, we show that the density parameter of black holes ($\Omega_{BH}$) with mass $\approx10^6 M_\odot$ is about $0.007 \pm 0.004$. Our result is one order of magnitude larger compared to consist with previous work in a lower mass range ($10^2 - 10^3 M_{\odot}$), which gave a density parameter $\Omega_{BH} \approx 5\times 10^{-4}$, and recent work in the mass range of $10^2 - 10^7 M_{\odot}$ that reported $\Omega_{BH} \approx 4.6\times 10^{-4}$. The mass fraction of black holes in this mass range to the total mass of the universe would be $f\approx \Omega_{BH}/\Omega_M=0.027 \pm 0.016$.


title: On certain quantifications of Gromov's non-squeezing theorem

abstract: Let $R>1$ and let $B$ be the Euclidean $4$-ball of radius $R$ with a closed subset ${E}$ removed. Suppose that $B$ embeds symplectically into the unit cylinder $\mathbb{D}^2 \times \mathbb{R}^2$. By Gromov's non-squeezing theorem, ${E}$ must be non-empty. We prove that the Minkowski dimension of ${E}$ is at least $2$, and we exhibit an explicit example showing that this result is optimal at least for $R \leq \sqrt{2}$. In an appendix by Jo\'e Brendel, it is shown that the lower bound is optimal for $R < \sqrt{3}$. We also discuss the minimum volume of ${E}$ in the case that the symplectic embedding extends, with bounded Lipschitz constant, to the entire ball.


title: The Hyper-Stable Disc of UGC 8839

abstract: The low surface brightness (LSB) spiral UGC 8839 is nearly devoid of star formation aside from a large HII region complex located in the extreme outer disc. In order to understand the origin and nature of this complex, we compare new H{\alpha} and archival broad-band images of UGC 8839 to similar data for four other spiral galaxies. We conclude that the extreme off-axis star formation in UGC 8839 is likely due to a hyper-stable disc that is dark matter dominated at all radii, with the Toomre parameter reaching a minimum only in the extreme outer disc. Using analysis strategies designed to be particularly insensitive to the pitfalls of low-surface brightness objects and small number statistics, we determine that the presence of this complex in UGC 8839 is not exceptional when the HII region luminosity function is modelled by a power law, suggesting that it is a native structure and not a merging satellite. However, we find that the entire population of HII regions in UGC 8839 shows a preference for larger galactocentric radii when compared to HII regions in the other galaxies in our sample. UGC 8839 dramatically highlights the relationship between the baryonic/dark matter ratio and disk stability. A three-body interaction, similar to a scaled-down version of the interaction suspected to be responsible for Malin 1, is consistent with the extreme outer disk star formation that we see in the extended disk of UGC 8839.


title: 3d Mirror Symmetry for Instanton Moduli Spaces

abstract: We prove that the Hilbert scheme of $k$ points on $\mathbb{C}^2$ (Hilb$^k[\mathbb{C}^2]$) is self-dual under three-dimensional mirror symmetry using methods of geometry and integrability. Namely, we demonstrate that the corresponding quantum equivariant K-theory is invariant upon interchanging its K\"ahler and equivariant parameters as well as inverting the weight of the $\mathbb{C}^\times_\hbar$-action. First, we find a two-parameter family $X_{k,l}$ of self-mirror quiver varieties of type A and study their quantum K-theory algebras. The desired quantum K-theory of Hilb$^k[\mathbb{C}^2]$ is obtained via direct limit $l\to\infty$ and by imposing certain periodic boundary conditions on the quiver data. Throughout the proof, we employ the quantum/classical (q-Langlands) correspondence between XXZ Bethe Ansatz equations and spaces of twisted $\hbar$-opers. In the end, we propose the 3d mirror dual for the moduli spaces of torsion-free rank-$N$ sheaves on $\mathbb{P}^2$ with the help of a different (three-parametric) family of type A quiver varieties with known mirror dual.

categories: math.AG hep-th math-ph math.MP math.QA math.RT


title: Material specific optimization of Gaussian basis sets against plane wave data

abstract: Since in periodic systems, a given element may be present in different spatial arrangements displaying vastly different physical and chemical properties, an elemental basis set that is independent of physical properties of materials may lead to significant simulation inaccuracies. To avoid such a lack of material specificity within a given basis set, we present a material-specific Gaussian basis optimization scheme for solids, which simultaneously minimizes the total energy of the system and optimizes the band energies when compared to the reference plane wave calculation while taking care of the overlap matrix condition number. To assess this basis set optimization scheme, we compare the quality of the Gaussian basis sets generated for diamond, graphite, and silicon via our method against the existing basis sets. The optimization scheme of this work has also been tested on the existing Gaussian basis sets for periodic systems such as MoS$_2$ and NiO yielding improved results.


title: Spectroscopic Signatures of the Vanishing Natural Coronagraph of eta Carinae

abstract: Eta Carinae is a massive interacting binary system shrouded in a complex circumstellar environment whose evolution is the source of the long-term brightening observed during the last 80 years. An occulter, acting as a natural coronagraph, impacts observations from our perspective, but not from most other directions. Other sight-lines are visible to us through studies of the Homunculus reflection nebula. The coronagraph appears to be vanishing, decreasing the extinction towards the central star, and causing the star's secular brightening. In contrast, the Homunculus remains at an almost constant brightness. The coronagraph primarily suppresses the stellar continuum, to a lesser extent the wind lines, and not the circumstellar emission lines. This explains why the absolute values of equivalent widths (EWs) of the emission lines in our direct view are larger than those seen in reflected by the Homunculus, why the direct view absolute EWs are decreasing with time, and why lower-excitation spectral wind lines formed at larger radii (e.g. FeII 4585A) decrease in intensity at a faster pace than higher excitation lines that form closer to the star (e.g. H\delta). Our main result is that the star, despite its 10-fold brightening over two decades, is relatively stable. A vanishing coronagraph that can explain both the large flux evolution and the much weaker spectral evolution. This is contrary to suggestions that the long-term variability is intrinsic to the primary star that is still recovering from the Great Eruption with a decreasing mass-loss rate and a polar wind that is evolving at a slower pace than at the equator.


title: Single-Training Collaborative Object Detectors Adaptive to Bandwidth and Computation

abstract: In the past few years, mobile deep-learning deployment progressed by leaps and bounds, but solutions still struggle to accommodate its severe and fluctuating operational restrictions, which include bandwidth, latency, computation, and energy. In this work, we help to bridge that gap, introducing the first configurable solution for object detection that manages the triple communication-computation-accuracy trade-off with a single set of weights. Our solution shows state-of-the-art results on COCO-2017, adding only a minor penalty on the base EfficientDet-D2 architecture. Our design is robust to the choice of base architecture and compressor and should adapt well for future architectures.


title: Steady Floquet-Andreev States Probed by Tunnelling Spectroscopy

abstract: Engineering quantum states through light-matter interaction has created a new paradigm in condensed matter physics. A representative example is the Floquet-Bloch state, which is generated by time-periodically driving the Bloch wavefunctions in crystals. Previous attempts to realise such states in condensed matter systems have been limited by the transient nature of the Floquet states produced by optical pulses, which masks the universal properties of non-equilibrium physics. Here, we report the generation of steady Floquet Andreev (F-A) states in graphene Josephson junctions by continuous microwave application and direct measurement of their spectra by superconducting tunnelling spectroscopy. We present quantitative analysis of the spectral characteristics of the F-A states while varying the phase difference of superconductors, temperature, microwave frequency and power. The oscillations of the F-A state spectrum with phase difference agreed with our theoretical calculations. Moreover, we confirmed the steady nature of the F-A states by establishing a sum rule of tunnelling conductance, and analysed the spectral density of Floquet states depending on Floquet interaction strength. This study provides a basis for understanding and engineering non-equilibrium quantum states in nano-devices.


title: Perfect Forms over Imaginary Quadratic Fields

abstract: In this work, we compute the perfect forms for all imaginary quadratic fields of absolute discriminant up to $5000$ and study the number and types of the polytopes that arise. We prove a bound on the combinatorial types of polytopes that can arise regardless of discriminant and give a volumetric argument for a lower bound on the number of perfect forms as well as a heuristic for a better lower bound for imaginary quadratic fields of sufficiently large absolute discriminant.


title: An End-to-End and Accurate PPG-based Respiratory Rate Estimation Approach Using Cycle Generative Adversarial Networks

abstract: Respiratory rate (RR) is a clinical sign representing ventilation. An abnormal change in RR is often the first sign of health deterioration as the body attempts to maintain oxygen delivery to its tissues. There has been a growing interest in remotely monitoring of RR in everyday settings which has made photoplethysmography (PPG) monitoring wearable devices an attractive choice. PPG signals are useful sources for RR extraction due to the presence of respiration-induced modulations in them. The existing PPG-based RR estimation methods mainly rely on hand-crafted rules and manual parameters tuning. An end-to-end deep learning approach was recently proposed, however, despite its automatic nature, the performance of this method is not ideal using the real world data. In this paper, we present an end-to-end and accurate pipeline for RR estimation using Cycle Generative Adversarial Networks (CycleGAN) to reconstruct respiratory signals from raw PPG signals. Our results demonstrate a higher RR estimation accuracy of up to 2$\times$ (mean absolute error of 1.9$\pm$0.3 using five fold cross validation) compared to the state-of-th-art using a identical publicly available dataset. Our results suggest that CycleGAN can be a valuable method for RR estimation from raw PPG signals.


title: Efficiency Assessment of a Residential DC Nanogrid with Low and High Distribution Voltages Using Realistic Data

abstract: Direct Current (DC) power distribution has gained attention in the Residential Nanogrids (RNGs) due to the substantial increase in the number of roof-top Photovoltaic (PV) systems and internally DC appliances used in buildings. Using DC distribution improves the efficiency of the RNGs compared to AC distribution. This paper investigated the efficiency of a DC RNG for low and high distribution voltage levels by exploring reasons for power losses. The studied DC RNG consisted of various types of local loads, on-site PV generation, and battery storage systems. The realistic load, PV profiles, and converter efficiency curves were used to make the analysis more accurate. In addition, three load profiles with low, medium, and high power consumptions were considered to study the load impacts on the overall system efficiency.


title: Local Well-posedness of the Free-Boundary Incompressible Magnetohydrodynamics with Surface Tension

abstract: We prove the local well-posedness of the 3D free-boundary incompressible ideal magnetohydrodynamics (MHD) equations with surface tension, which describe the motion of a perfect conducting fluid in an electromagnetic field. We adapt the ideas developed in the remarkable paper [11] by Coutand and Shkoller to generate an approximate problem with artificial viscosity indexed by $\kappa>0$ whose solution converges to that of the MHD equations as $\kappa\to 0$. However, the local well-posedness of the MHD equations is no easy consequence of Euler equations thanks to the strong coupling between the velocity and magnetic fields. This paper is the continuation of the second and third authors' previous work [38] in which the a priori energy estimate for incompressible free-boundary MHD with surface tension is established. But the existence is not a trivial consequence of the a priori estimate as it cannot be adapted directly to the approximate problem due to the loss of the symmetric structure.


title: Geometric models of soliton vortex dynamics

abstract: We focus on BPS solutions of the gauged O(3) Sigma model, due to Schroers, and use these ideas to study the geometry of the moduli space. The model has an asymmetry parameter $\tau$ breaking the symmetry of vortices and antivortices on the field equations. It is shown that the moduli space is incomplete both on the Euclidean plane and on a compact surface. On the Euclidean plane, the L2 metric on the moduli space is approximated for well separated cores and results consistent with similar approximations for the Ginzburg-Landau functional are found. The scattering angle of approaching vortex-antivortex pairs of different effective mass is computed numerically and is shown to be different from the well known scattering of approaching Ginzburg-Landau vortices. The volume of the moduli space for general $\tau$ is computed for the case of the round sphere and flat tori. The model on a compact surface is deformed introducing a neutral field and a Chern-Simons term. A lower bound for the Chern-Simons constant $\kappa$ such that the extended model admits a solution is shown to exist, and if the total number of vortices and antivortices are different, the existence of an upper bound is also shown. Existence of multiple solutions to the governing elliptic problem is established on a compact surface as well as the existence of two limiting behaviours as $\kappa \to 0$. A localization formula for the deformation is found for both Ginzburg-Landau and the O(3) Sigma model vortices and it is shown that it can be extended to the coalescense set. This rules out the possibility that this is Kim-Lee's term in the case of Ginzburg-Landau vortices, moreover, the deformation term is compared on the plane with the Ricci form of the surface and it is shown they are different, hence also discarding that this is the term proposed by Collie-Tong to model vortex dynamics with Chern-Simons interaction.


title: Statistical Properties of 2D Stochastic Navier-Stokes Equations with Time-Periodic Forcing and Degenerate Stochastic Forcing

abstract: We consider the incompressible 2D Navier-Stokes equations with periodic boundary conditions driven by a deterministic time periodic forcing and a degenerate stochastic forcing. We show that the system possesses a unique ergodic periodic invariant measure which is exponentially mixing under a Wasserstein metric. We also prove the weak law of large numbers for the continuous time inhomogeneous solution process. In addition, we obtain the weak law of large numbers and central limit theorem by restricting the inhomogeneous solution process to periodic times. The results are independent of the strength of the noise and hold true for any value of viscosity with a lower bound $\nu_1$ characterized by the Grashof number $G_1$ associated with the deterministic forcing. In the laminar case, there is a larger lower bound $\nu_2$ of the viscosity characterized by the Grashof number $G_2$ associated with both the deterministic and random forcing. We prove that in this laminar case, the system has trivial dynamics for any viscosity larger than $\nu_2$ by demonstrating the existence of a unique globally exponentially stable random periodic solution that supports the unique periodic invariant measure.


title: Recommended conventions for reporting results from direct dark matter searches

abstract: The field of dark matter detection is a highly visible and highly competitive one. In this paper, we propose recommendations for presenting dark matter direct detection results particularly suited for weak-scale dark matter searches, although we believe the spirit of the recommendations can apply more broadly to searches for other dark matter candidates, such as very light dark matter or axions. To translate experimental data into a final published result, direct detection collaborations must make a series of choices in their analysis, ranging from how to model astrophysical parameters to how to make statistical inferences based on observed data. While many collaborations follow a standard set of recommendations in some areas, for example the expected flux of dark matter particles (to a large degree based on a paper from Lewin and Smith in 1995), in other areas, particularly in statistical inference, they have taken different approaches, often from result to result by the same collaboration. We set out a number of recommendations on how to apply the now commonly used Profile Likelihood Ratio method to direct detection data. In addition, updated recommendations for the Standard Halo Model astrophysical parameters and relevant neutrino fluxes are provided. The authors of this note include members of the DAMIC, DarkSide, DARWIN, DEAP, LZ, NEWS-G, PandaX, PICO, SBC, SENSEI, SuperCDMS, and XENON collaborations, and these collaborations provided input to the recommendations laid out here. Wide-spread adoption of these recommendations will make it easier to compare and combine future dark matter results.


title: A Bayesian Method for Estimating Uncertainty in Excavated Material

abstract: This paper proposes a method to probabilistically quantify the moments (mean and variance) of excavated material during excavation by aggregating the prior moments of the grade blocks around the given bucket dig location. By modelling the moments as random probability density functions (pdf) at sampled locations, a formulation of the sums of Gaussian based uncertainty estimation is presented that jointly estimates the location pdfs, as well as the prior values for uncertainty coming from ore body knowledge (obk) sub block models. The moments calculated at each random location is a single Gaussian and they are the components of Gaussian mixture distribution. The overall uncertainty of the excavated material at the given bucket location is represented by the Gaussian Mixture Model (GMM) and therefore moment matching method is proposed to estimate the moments of the reduced GMM. The method was tested in a region at a Pilbara iron ore deposit situated in the Brockman Iron Formation of the Hamersley Province, Western Australia, and suggests a frame work to quantify the uncertainty in the excavated material that hasn't been studied anywhere in the literature yet.


title: Maximum Principle Preserving Finite Difference Scheme for 1-D Nonlocal-to-Local Diffusion Problems

abstract: In a recent paper (see [7]), a quasi-nonlocal coupling method was introduced to seamlessly bridge a nonlocal diffusion model with the classical local diffusion counterpart in a one-dimensional space. The proposed coupling framework removes inconsistency on the interface, preserves the balance of fluxes, and satisfies the maximum principle of diffusion problem. However, the numerical scheme proposed in that paper does not maintain all of these properties on a discrete level. In this paper we resolve these issues by proposing a new finite difference scheme that ensures the balance of fluxes and the discrete maximum principle. We rigorously prove these results and provide the stability and convergence analyses accordingly. In addition, we provide the Courant-Friedrichs-Lewy (CFL) condition for the new scheme and test a series of benchmark examples which confirm the theoretical findings.


title: OCTOPUS: Overcoming Performance andPrivatization Bottlenecks in Distributed Learning

abstract: The diversity and quantity of data warehouses, gathering data from distributed devices such as mobile devices, can enhance the success and robustness of machine learning algorithms. Federated learning enables distributed participants to collaboratively learn a commonly-shared model while holding data locally. However, it is also faced with expensive communication and limitations due to the heterogeneity of distributed data sources and lack of access to global data. In this paper, we investigate a practical distributed learning scenario where multiple downstream tasks (e.g., classifiers) could be efficiently learned from dynamically-updated and non-iid distributed data sources while providing local data privatization. We introduce a new distributed/collaborative learning scheme to address communication overhead via latent compression, leveraging global data while providing privatization of local data without additional cost due to encryption or perturbation. This scheme divides learning into (1) informative feature encoding, and transmitting the latent representation of local data to address communication overhead; (2) downstream tasks centralized at the server using the encoded codes gathered from each node to address computing overhead. Besides, a disentanglement strategy is applied to address the privatization of sensitive components of local data. Extensive experiments are conducted on image and speech datasets. The results demonstrate that downstream tasks on the compact latent representations with the privatization of local data can achieve comparable accuracy to centralized learning.


title: Quantum Advantage with Shallow Circuits Under Arbitrary Corruption

abstract: Recent works by Bravyi, Gosset and K\"onig (Science 2018), Bene Watts et al. (STOC 2019), Coudron, Stark and Vidick (QIP 2019) and Le Gall (CCC 2019) have shown unconditional separations between the computational powers of shallow (i.e., small-depth) quantum and classical circuits: quantum circuits can solve in constant depth computational problems that require logarithmic depth to solve with classical circuits. Using quantum error correction, Bravyi, Gosset, K\"onig and Tomamichel (Nature Physics 2020) further proved that a similar separation still persists even if quantum circuits are subject to local stochastic noise. In this paper, we consider the case where any constant fraction of the qubits (for instance, huge blocks of qubits) may be arbitrarily corrupted at the end of the computation. We make a first step forward towards establishing a quantum advantage even in this extremely challenging setting: we show that there exists a computational problem that can be solved in constant depth by a quantum circuit but such that even solving any large subproblem of this problem requires logarithmic depth with bounded fan-in classical circuits. This gives another compelling evidence of the computational power of quantum shallow circuits. In order to show our result, we consider the Graph State Sampling problem (which was also used in prior works) on expander graphs. We exploit the "robustness" of expander graphs against vertex corruption to show that a subproblem hard for small-depth classical circuits can still be extracted from the output of the corrupted quantum circuit.


title: Large Angle MIEZE with Extended Fourier Time

abstract: Modulation of Intensity Emerging from Zero Effort (MIEZE) is a neutron resonant spin echo technique which allows one to measure time correlation scattering functions in materials by implementing radio-frequency (RF) intensity modulation at the sample and detector. The technique avoids neutron spin manipulation between the sample and the detector, and thus could find applications in cases where the sample depolarizes the neutron beam. However, the finite sample size creates a variance in path length between the locations where scattering and detection happens, which limits the contrast in intensity modulation that one can detect, in particular towards long correlation times or large scattering angles. We propose a modification to the MIEZE setup that will enable one to extend those detection limits to longer times and larger angles. We use Monte Carlo simulations of a neutron scattering beam line to show that, by tilting the RF flippers in the primary spectrometer with respect to the beam direction, one can shape the wave front of the intensity modulation at the sample to compensate for the path variance from the sample and the detector. The simulation results indicate that this change enables one to operate a MIEZE instrument at much increased RF frequencies, thus improving the effective energy resolution of the technique. The simulations show that for an incident beam with maximum divergence of 0.33$^\circ$, the maximum Fourier time can be increased by a factor of 3.


title: The Linear Phase Correction of MIEZE with Magnetic Wollaston Prisms

abstract: I propose the use of two magnetic Wollaston prisms to correct the linear Larmor phase aberration of MIEZE, introduced by the transverse size of the sample. With this approach, the resolution function of MIEZE can be optimized for any scattering angle of interest. The optimum magnetic fields required for the magnetic Wollaston prisms depend only on the scattering angle and the frequency of the RF flippers and they are independent of the neutron wavelength and beam divergence, which makes it suitable for both pulsed and constant wavelength neutron sources.


title: Hom-pre-Malcev and Hom-M-Dendriform algebras

abstract: The main feature of Hom-algebras is that the identities defining the structures are twisted by linear maps. The purpose of this paper is to introduce and study a Hom-type generalization of pre-Malcev algebras and M-dendriform algebras, called Hom-pre-Malcev algebras and Hom-M-dendriform algebras. We also introduce the notion of $\mathcal{O}$-operators of Hom-Malcev and Hom-pre-Malcev algebras and show the connections between Hom-Malcev, Hom-pre-Malcev and Hom-M-dendriform algebras using $\mathcal{O}$-operators. Hom-pre-Malcev algebras and Hom-M-dendriform algebras generalize Hom-pre-Lie algebras and Hom-L-dendriform algebras respectively to the alternative setting and fit into a bigger framework with a close relationship with Hom-pre-alternative algebras and Hom-alternative quadri-algebras respectively.


title: Consistency and Monotonicity Regularization for Neural Knowledge Tracing

abstract: Knowledge Tracing (KT), tracking a human's knowledge acquisition, is a central component in online learning and AI in Education. In this paper, we present a simple, yet effective strategy to improve the generalization ability of KT models: we propose three types of novel data augmentation, coined replacement, insertion, and deletion, along with corresponding regularization losses that impose certain consistency or monotonicity biases on the model's predictions for the original and augmented sequence. Extensive experiments on various KT benchmarks show that our regularization scheme consistently improves the model performances, under 3 widely-used neural networks and 4 public benchmarks, e.g., it yields 6.3% improvement in AUC under the DKT model and the ASSISTmentsChall dataset.


title: Instability of LIFO Queueing Networks

abstract: Under the last-in, first-out (LIFO) discipline, jobs arriving later at a class always receive priority of service over earlier arrivals at any class belonging to the same station. Subcritical LIFO queueing networks with Poisson external arrivals are known to be stable, but an open problem has been whether this is also the case when external arrivals are given by renewal processes. Here, we show that this weaker assumption is not sufficient for stability by constructing a family of examples where the number of jobs in the network increases to infinity over time. This behavior contrasts with that for the other classical disciplines: processor sharing (PS), infinite server (IS), and first-in, first-out (FIFO), which are stable under general conditions on the renewals of external arrivals. Together with LIFO, PS and IS constitute the classical symmetric disciplines; with the inclusion of FIFO, these disciplines constitute the classical homogeneous disciplines. Our examples show that a general theory for stability of either family is doubtful.


title: AvaTr: One-Shot Speaker Extraction with Transformers

abstract: To extract the voice of a target speaker when mixed with a variety of other sounds, such as white and ambient noises or the voices of interfering speakers, we extend the Transformer network to attend the most relevant information with respect to the target speaker given the characteristics of his or her voices as a form of contextual information. The idea has a natural interpretation in terms of the selective attention theory. Specifically, we propose two models to incorporate the voice characteristics in Transformer based on different insights of where the feature selection should take place. Both models yield excellent performance, on par or better than published state-of-the-art models on the speaker extraction task, including separating speech of novel speakers not seen during training.


title: High-performance, compact optical standard

abstract: We describe a high-performance, compact optical frequency standard based on a microfabricated Rb vapor cell and a low-noise, external cavity diode laser operating on the Rb two-photon transition at 778 nm. The optical standard achieves an instability of 1.8x10$^{-13}$/$\sqrt{\tau}$ for times less than 100 s and a flicker noise floor of 1x10$^{-14}$ out to 6000 s. At long integration times, the instability is limited by variations in optical probe power and the AC Stark shift. The retrace was measured to 5.7x10$^{-13}$ after 30 hours of dormancy. Such a simple, yet high-performance optical standard could be suitable as an accurate realization of the SI meter or, if coupled with an optical frequency comb, as a compact atomic clock comparable to a hydrogen maser.


title: The Gromov-Hausdorff distance between spheres

abstract: We provide general upper and lower bounds for the Gromov-Hausdorff distance $d_{\mathrm{GH}}(\mathbb{S}^m,\mathbb{S}^n)$ between spheres $\mathbb{S}^m$ and $\mathbb{S}^n$ (endowed with the round metric) for $0\leq m< n\leq \infty$. Some of these lower bounds are based on certain topological ideas related to the Borsuk-Ulam theorem. Via explicit constructions of (optimal) correspondences we prove that our lower bounds are tight in the cases of $d_{\mathrm{GH}}(\mathbb{S}^0,\mathbb{S}^n)$, $d_{\mathrm{GH}}(\mathbb{S}^m,\mathbb{S}^\infty)$, $d_{\mathrm{GH}}(\mathbb{S}^1,\mathbb{S}^2)$, $d_{\mathrm{GH}}(\mathbb{S}^1,\mathbb{S}^3)$ and $d_{\mathrm{GH}}(\mathbb{S}^2,\mathbb{S}^3)$. We also formulate a number of open questions.


title: The Deformation Space of Geodesic Triangulations and Generalized Tutte's Embedding Theorem

abstract: We proved the contractibility of the deformation space of the geodesic triangulations on a closed surface of negative curvature. This solves an open problem proposed by Connelly et al. in 1983, in the case of hyperbolic surfaces. The main part of the proof is a generalization of Tutte's embedding theorem for closed surfaces of negative curvature.