title: Lower and Upper Bounds on the VC-Dimension of Tensor Network Models

abstract: Tensor network methods have been a key ingredient of advances in condensed matter physics and have recently sparked interest in the machine learning community for their ability to compactly represent very high-dimensional objects. Tensor network methods can for example be used to efficiently learn linear models in exponentially large feature spaces [Stoudenmire and Schwab, 2016]. In this work, we derive upper and lower bounds on the VC dimension and pseudo-dimension of a large class of tensor network models for classification, regression and completion. Our upper bounds hold for linear models parameterized by arbitrary tensor network structures, and we derive lower bounds for common tensor decomposition models~(CP, Tensor Train, Tensor Ring and Tucker) showing the tightness of our general upper bound. These results are used to derive a generalization bound which can be applied to classification with low rank matrices as well as linear classifiers based on any of the commonly used tensor decomposition models. As a corollary of our results, we obtain a bound on the VC dimension of the matrix product state classifier introduced in [Stoudenmire and Schwab, 2016] as a function of the so-called bond dimension~(i.e. tensor train rank), which answers an open problem listed by Cirac, Garre-Rubio and P\'erez-Garc\'ia in [Cirac et al., 2019].


title: Speeding Up OPFython with Numba

abstract: A graph-inspired classifier, known as Optimum-Path Forest (OPF), has proven to be a state-of-the-art algorithm comparable to Logistic Regressors, Support Vector Machines in a wide variety of tasks. Recently, its Python-based version, denoted as OPFython, has been proposed to provide a more friendly framework and a faster prototyping environment. Nevertheless, Python-based algorithms are slower than their counterpart C-based algorithms, impacting their performance when confronted with large amounts of data. Therefore, this paper proposed a simple yet highly efficient speed up using the Numba package, which accelerates Numpy-based calculations and attempts to increase the algorithm's overall performance. Experimental results showed that the proposed approach achieved better results than the na\"ive Python-based OPF and speeded up its distance measurement calculation.


title: Forensic reconstruction of galaxy colour evolution and population characterisation

abstract: Mapping the evolution of galaxy colours, from blue star-forming to red passive systems, is fundamental to understand the processes involved in galaxy evolution. To this end, we reconstruct the colour evolution of low-redshift galaxies, combining stellar templates with star formation and metallicity histories of galaxies from the Galaxy And Mass Assembly survey and \shark\ semi-analytic model. We use these colour histories to robustly characterise the evolution of red and blue galaxy populations over cosmic time. Using a Gaussian Mixture Model to characterise the colour distribution at any given epoch and stellar mass, we find both observations and simulations strongly favour a model with only two populations (blue and red), with no evidence for a third "green" population. We map the evolution of mean, weight, and scatter of the blue and red populations as a function of both stellar mass and lookback time. Using our simulated galaxy catalogue as a testbed, we find that we can accurately recover galaxies colour histories up to a lookback time of $\sim6$ Gyr. We find that both populations show little change in the mean colour for low-mass galaxies, while the colours at the massive end become significantly redder with time. The stellar mass above which the galaxy population is predominantly red decreases by 0.3 dex in the last 5 Gyrs. We find a good agreement between observations and simulations, with the largest tension being that massive galaxies from \shark\ are too blue (a known issue with many galaxy evolution models).


title: Weakly Corson compact trees

abstract: We introduce and study a new topology on trees, that we call the countably coarse wedge topology. Such a topology is strictly finer than the coarse wedge topology and it turns every chain complete, rooted tree into a Fr\'echet--Urysohn, countably compact topological space. We show the r\^{o}le of such topology in the theory of weakly Corson and weakly Valdivia compacta. In particular, we give the first example of a compact space $T$ whose every closed subspace is weakly Valdivia, yet $T$ is not weakly Corson. This answers a question due to Ond\v{r}ej Kalenda.


title: Maximal perimeter and maximal width of a convex small polygon

abstract: A small polygon is a polygon of unit diameter. The maximal perimeter and the maximal width of a convex small polygon with $n=2^s$ sides are unknown when $s \ge 4$. In this paper, we propose an approach to construct convex small $n$-gons of large perimeter and large width when $n=2^s$ with $s\ge 2$. Assuming the existence of an axis of symmetry, a convex small $n$-gon is described as a composition of $n/2$ and both its perimeter and its width are given as functions of a single variable. By selecting the composition that minimizes the violation of a cycle constraint by a particular solution, the $n$-gons constructed outperform the best $n$-gons found in the literature. For example, for $n=64$, the perimeter and the width obtained are within $10^{-22}$ and $10^{-12}$ of the maximal perimeter and the maximal width, respectively. From our results, it appears that Mossinghoff's conjecture on the diameter graph of a convex small $2^s$-gon with maximal perimeter is not true when $s \ge 4$.


title: Evolution of static and dynamical density correlations in a one-dimensional soft-core gas from the Tonks-Girardeau limit to a clustering fluid

abstract: Repulsive soft-core atomic systems may undergo clustering if their density is high enough that core overlap is unavoidable. In one-dimensional quantum systems, it has been shown that this instability triggers a transition from a Luttinger liquid to various cluster Luttinger liquids. Here, we focus on the Luttinger liquid regime and theoretically study the evolution of key observables related to density fluctuations, that manifest a striking dependence on density. We tune the interaction so that the low-density regime corresponds to a Tonks-Girardeau gas, and show that as the density is increased the system departs more and more from Tonks-Girardeau behavior, displaying a much larger compressibility as well as rotonic excitations that finally drive the clustering transition. We compare various theoretical approaches, which are accurate in different regimes. Using quantum Monte Carlo methods and analytic continuation as a benchmark, we investigate the regime of validity of the mean-field Bogoliubov and the real-time multiconfiguration time-dependent Hartree-Fock approaches. Part of the behavior that we describe should be observable in ultracold Rydberg-dressed gases, provided that system losses are prevented.


title: Generalized Fractional Counting Process

abstract: In this paper, we obtain additional results for a fractional counting process introduced and studied by Di Crescenzo et al. (2016). For convenience, we call it the generalized fractional counting process (GFCP). It is shown that the one-dimensional distributions of the GFCP are not infinitely divisible. Its covariance structure is studied using which its long-range dependence property is established. It is shown that the increments of GFCP exhibits the short-range dependence property. Also, we prove that the GFCP is a scaling limit of some continuous time random walk. A particular case of the GFCP, namely, the generalized counting process (GCP) is discussed for which we obtain a limiting result, a martingale result and establish a recurrence relation for its probability mass function. We have shown that many known counting processes such as the Poisson process of order $k$, the P\'olya-Aeppli process of order $k$, the negative binomial process and their fractional versions etc. are other special cases of the GFCP. An application of the GCP to risk theory is discussed.


title: Local spectral density of an interacting one-dimensional Bose gas with an impurity

abstract: A weakly interacting Bose gas with a single static impurity is studied in one dimension. The local spectral density is evaluated and an analytic expression valid for positive strengths of the impurity coupling to the bosons, at all distances and at all frequencies is obtained using the Bogoliubov-de Gennes approximation.


title: A dynamical proof of the van der Corput inequality

abstract: We provide a dynamical proof of the van der Corput inequality for sequences in Hilbert spaces that is based on the Furstenberg correspondence principle. This is done by reducing the inequality to the mean ergodic theorem for contractions on Hilbert spaces. The key difficulty therein is that the Furstenberg correspondence principle is, a priori, limited to scalar-valued sequences. We therefore discuss how interpreting the Furstenberg correspondence principle via the Gelfand--Naimark--Segal construction for C*-algebras allows to study not just scalar but general Hilbert space-valued sequences in terms of unitary operators. This yields a proof of the van der Corput inequality in the spirit of the Furstenberg correspondence principle and the flexibility of this method is discussed via new proofs for different variants of the inequality.


title: Sharp $(H_p,L_p)$ and $(H_p,\text{weak}-L_p)$ type inequalities of weighted maximal operators of $T$ means with respect to Vilenkin systems

abstract: We discuss $(H_p,L_p)$ and $(H_p,\text{weak}-L_p)$ type inequalities of weighted maximal operators of $T$ means with respect to the Vilenkin systems with monotone coefficients, considered in \cite{tut4} and prove that these results are the best possible in a special sense. As applications, both some well-known and new results are pointed out.


title: Exact Mobility Edges and Topological Phase Transition in Two-Dimensional non-Hermitian Quasicrystals

abstract: The emergence of the mobility edge (ME) has been recognized as an important characteristic of Anderson localization. The difficulty in understanding the physics of the MEs in three-dimensional (3D) systems from a microscopic image encourages the development of models in lower-dimensional systems that have exact MEs. While most of the previous studies are concerned with one-dimensional (1D) quasiperiodic systems, the analytic results that allow for an accurate understanding of two-dimensional (2D) cases are rare. In this work, we disclose an exactly solvable 2D quasicrystal model with parity-time ($\mathcal{PT}$) symmetry displaying exact MEs. In the thermodynamic limit, we unveil that the extended-localized transition point, observed at the $\mathcal{PT}$ symmetry breaking point, is topologically characterized by a hidden winding number defined in the dual space. The coupling waveguide platform can be used to realize the 2D non-Hermitian quasicrystal model, and the excitation dynamics can be used to detect the localization features.


title: Some Weighted Generalized Fibonacci Number Summation Identities, Part 2

abstract: In part 1 of this paper some linear weighted generalized Fibonacci number summation identities were derived using the fact that the Fibonacci number is the residue of a rational function. In this part, using the same method, some quadratic and cubic weighted generalized Fibonacci number summation identities are derived, including some infinite series and generating functions. In addition some quadratic and cubic weighted generalized Fibonacci number summation identities with binomial coefficients, and some cubic and quartic Fibonacci and Lucas number summation identities are derived.


title: Electrical control of orbital and vibrational interlayer coupling in bi- and trilayer 2H-MoS$_2$

abstract: Manipulating electronic interlayer coupling in layered van der Waals (vdW) materials is essential for designing opto-electronic devices. Here, we control vibrational and electronic interlayer coupling in bi- and trilayer 2H-MoS$_2$ using large external electric fields in a micro-capacitor device. The electric field lifts Raman selection rules and activates phonon modes in excellent agreement with ab-initio calculations. Through polarization resolved photoluminescence spectroscopy in the same device, we observe a strongly tunable valley dichroism with maximum circular polarization degree of $\sim 60\%$ in bilayer and $\sim 35\%$ in trilayer MoS$_2$ that are fully consistent with a rate equation model which includes input from electronic band structure calculations. We identify the highly delocalized electron wave function between the layers close to the high symmetry $Q$ points as the origin of the tunable circular dichroism. Our results demonstrate the possibility of electric field tunable interlayer coupling for controlling emergent spin-valley physics and hybridization driven effects in vdW materials and their heterostructures.


title: Quantum Computing -- A new scientific revolution in the making

abstract: Given the impending timeline of developing good-quality quantum processing units, it is time to rethink the approach to advance quantum computing research. Rather than waiting for quantum hardware technologies to mature, we need to start assessing in tandem the impact of the occurrence of quantum computing, or rather Quantum Computing Logic (QC-Logic), on various scientific fields. This is where the subtitle comes from. A new scientific revolution is unfolding. In making real scientific progress, we need to use an additional and complementary approach, which the NISQ program or any follow-up approach does not propose. We must be aware that defining, implementing, and testing quantum concepts in any field is tremendous work. The main reason is that QC initiates an overall revolution in all scientific fields, and how those machines will be used in daily life is a very big challenge. That is why we propose a complete update of the first PISQ paper. We still advocate the additional PISQ approach: Perfect Intermediate-Scale Quantum computing based on a well-established concept of perfect qubits. We expand the quantum road map with (N)FTQC, which stands for (Non) Fault-Tolerant Quantum Computing. This will allow researchers to focus exclusively on developing new applications by defining the algorithms in terms of perfect qubits and evaluating them in two ways. Either executed on quantum computing simulators executed on supercomputers or hardware-based qubit chips. This approach will be explained in this paper. Our planet needs a long-term vision and solution. It will enable universities and companies alike to accelerate the development of new quantum algorithms, build the necessary know-how, and thus address one of the key bottlenecks within the quantum industry: the lack of talent to develop well-tested quantum applications.


title: Domain-Smoothing Network for Zero-Shot Sketch-Based Image Retrieval

abstract: Zero-Shot Sketch-Based Image Retrieval (ZS-SBIR) is a novel cross-modal retrieval task, where abstract sketches are used as queries to retrieve natural images under zero-shot scenario. Most existing methods regard ZS-SBIR as a traditional classification problem and employ a cross-entropy or triplet-based loss to achieve retrieval, which neglect the problems of the domain gap between sketches and natural images and the large intra-class diversity in sketches. Toward this end, we propose a novel Domain-Smoothing Network (DSN) for ZS-SBIR. Specifically, a cross-modal contrastive method is proposed to learn generalized representations to smooth the domain gap by mining relations with additional augmented samples. Furthermore, a category-specific memory bank with sketch features is explored to reduce intra-class diversity in the sketch domain. Extensive experiments demonstrate that our approach notably outperforms the state-of-the-art methods in both Sketchy and TU-Berlin datasets. Our source code is publicly available at https://github.com/haowang1992/DSN.


title: Nielsen complexity of coherent spin state operators

abstract: We calculate Nielsen's circuit complexity of coherent spin state operators. An expression for the complexity is obtained by using the small angle approximation of the Euler angle parametrisation of a general $SO(3)$ rotation. This is then extended to arbitrary times for systems whose time evolutions are generated by couplings to an external field, as well as non-linearly interacting Hamiltonians. In particular, we show how the Nielsen complexity relates to squeezing parameters of the one-axis twisted Hamiltonians in a transverse field, thus indicating its relation with pairwise entanglement. We further point out the difficulty with this approach for the Lipkin-Meshkov-Glick model, and resolve the problem by computing the complexity in the Tait-Bryan parametrisation.


title: The Two Scaling Regimes of the Thermodynamic Uncertainty Relation for the KPZ-Equation

abstract: We investigate the thermodynamic uncertainty relation for the $(1+1)$ dimensional Kardar-Parisi-Zhang equation on a finite spatial interval. In particular, we extend the results for small coupling strengths obtained previously to large values of the coupling parameter. It will be shown that, due to the scaling behavior of the KPZ equation, the TUR product displays two distinct regimes which are separated by a critical value of an effective coupling parameter. The asymptotic behavior below and above the critical threshold is explored analytically. For small coupling, we determine this product perturbatively including the fourth order; for strong coupling we employ a dynamical renormalization group approach. Whereas the TUR product approaches a value of $5$ in the weak coupling limit, it asymptotically displays a linear increase with the coupling parameter for strong couplings. The analytical results are then compared to direct numerical simulations of the KPZ equation showing convincing agreement.


title: Detecting Anomalous User Behavior in Remote Patient Monitoring

abstract: The growth in Remote Patient Monitoring (RPM) services using wearable and non-wearable Internet of Medical Things (IoMT) promises to improve the quality of diagnosis and facilitate timely treatment for a gamut of medical conditions. At the same time, the proliferation of IoMT devices increases the potential for malicious activities that can lead to catastrophic results including theft of personal information, data breach, and compromised medical devices, putting human lives at risk. IoMT devices generate tremendous amount of data that reflect user behavior patterns including both personal and day-to-day social activities along with daily routine health monitoring. In this context, there are possibilities of anomalies generated due to various reasons including unexpected user behavior, faulty sensor, or abnormal values from malicious/compromised devices. To address this problem, there is an imminent need to develop a framework for securing the smart health care infrastructure to identify and mitigate anomalies. In this paper, we present an anomaly detection model for RPM utilizing IoMT and smart home devices. We propose Hidden Markov Model (HMM) based anomaly detection that analyzes normal user behavior in the context of RPM comprising both smart home and smart health devices, and identifies anomalous user behavior. We design a testbed with multiple IoMT devices and home sensors to collect data and use the HMM model to train using network and user behavioral data. Proposed HMM based anomaly detection model achieved over 98% accuracy in identifying the anomalies in the context of RPM.


title: Detecting hot stars in the Galactic centre with combined near- and mid-infrared photometry

abstract: {The Galactic centre (GC) is a unique astrophysical laboratory to study the stellar population of galactic nuclei because it is the only galactic nucleus whose stars can be resolved down to milliparsec scales. However, the extreme and spatially highly variable interstellar extinction towards the GC poses a serious obstacle to photometric stellar classification.} {Our goal is to identify hot, massive stars in the nuclear stellar disc (NSD) region through combining near-infrared (NIR) and mid-infrared (MIR) photometry, and thus to demonstrate the feasibility of this technique, which may gain great importance with the arrival of the James Webb Space Telescope (JWST).} {We combined the GALACTICNUCLEUS NIR survey with the IRAC/Spitzer MIR survey of the GC. We applied the so-called Rayleigh-Jeans colour excess (RJCE) de-reddening method to our combined NIR-MIR data to identify potential hot stars in colour-magnitude diagrams (CMDs).} {Despite the very low angular resolution of IRAC we find 12 clear candidates for young massive stars among the $1\,065$ sources that meet our selection criteria. Seven out of these 12 stars are previously known hot, massive stars belonging to the Arches and Quintuplet clusters, as well as sources detected by the Hubble Space Telescope/NICMOS Paschen-$\alpha$ survey. Five of our massive star candidates have not been previously reported in the literature.} {We show that the RJCE method is a valuable tool to identify hot stars in the GC using photometry alone. Upcoming instruments with high angular resolution MIR imaging capabilities such as the JWST could surely make more substantial use of this de-reddening method and help establish a far more complete census of hot, young stars in the GC area than what is possible at the moment.}


title: Quantifying the Impact of Human Capital, Job History, and Language Factors on Job Seniority with a Large-scale Analysis of Resumes

abstract: As job markets worldwide have become more competitive and applicant selection criteria have become more opaque, and different (and sometimes contradictory) information and advice is available for job seekers wishing to progress in their careers, it has never been more difficult to determine which factors in a r\'esum\'e most effectively help career progression. In this work we present a novel, large scale dataset of over half a million r\'esum\'es with preliminary analysis to begin to answer empirically which factors help or hurt people wishing to transition to more senior roles as they progress in their career. We find that previous experience forms the most important factor, outweighing other aspects of human capital, and find which language factors in a r\'esum\'e have significant effects. This lays the groundwork for future inquiry in career trajectories using large scale data analysis and natural language processing techniques.


title: Machine learning for risk assessment in gender-based crime

abstract: Gender-based crime is one of the most concerning scourges of contemporary society. Governments worldwide have invested lots of economic and human resources to radically eliminate this threat. Despite these efforts, providing accurate predictions of the risk that a victim of gender violence has of being attacked again is still a very hard open problem. The development of new methods for issuing accurate, fair and quick predictions would allow police forces to select the most appropriate measures to prevent recidivism. In this work, we propose to apply Machine Learning (ML) techniques to create models that accurately predict the recidivism risk of a gender-violence offender. The relevance of the contribution of this work is threefold: (i) the proposed ML method outperforms the preexisting risk assessment algorithm based on classical statistical techniques, (ii) the study has been conducted through an official specific-purpose database with more than 40,000 reports of gender violence, and (iii) two new quality measures are proposed for assessing the effective police protection that a model supplies and the overload in the invested resources that it generates. Additionally, we propose a hybrid model that combines the statistical prediction methods with the ML method, permitting authorities to implement a smooth transition from the preexisting model to the ML-based model. This hybrid nature enables a decision-making process to optimally balance between the efficiency of the police system and aggressiveness of the protection measures taken.


title: Distribution of the order parameter in strongly disordered superconductors: An analytic theory

abstract: We developed an analytic theory of inhomogeneous superconducting pairing in strongly disordered materials, which are moderately close to superconducting-insulator transition. Single-electron eigenstates are assumed to be Anderson-localized, with a large localization volume. Superconductivity develops due to coherent delocalization of originally localized pre-formed Cooper pairs. The key assumption of the theory is that each such pair is coupled to a large number $Z\gg1$ of similar neighboring pairs. We derived integral equations for the probability distribution $P\left(\Delta\right)$ of local superconducting order parameter $\Delta\left(\boldsymbol{r}\right)$ and analyzed their solutions in the limit of small dimensionless Cooper coupling constant $\lambda\ll1$. The shape of the order-parameter distribution is found to depend crucially upon the effective number of nearest neighbors $Z_{\text{eff}}=2\nu_{0}\Delta_{0}Z$. The solution we provide is valid both at large and small $Z_{\text{eff}}$; the latter case is nontrivial as the function $P\left(\Delta\right)$ is heavily non-Gaussian. The discovery of a broad parameter range where the distribution function $P\left(\Delta\right)$ is non-Gaussian but also non-critical (in the sense of SIT criticality) is one of our key findings. The analytic results are supplemented by numerical data, and good agreement between them is observed.


title: Algorithmic Recourse in Partially and Fully Confounded Settings Through Bounding Counterfactual Effects

abstract: Algorithmic recourse aims to provide actionable recommendations to individuals to obtain a more favourable outcome from an automated decision-making system. As it involves reasoning about interventions performed in the physical world, recourse is fundamentally a causal problem. Existing methods compute the effect of recourse actions using a causal model learnt from data under the assumption of no hidden confounding and modelling assumptions such as additive noise. Building on the seminal work of Balke and Pearl (1994), we propose an alternative approach for discrete random variables which relaxes these assumptions and allows for unobserved confounding and arbitrary structural equations. The proposed approach only requires specification of the causal graph and confounding structure and bounds the expected counterfactual effect of recourse actions. If the lower bound is above a certain threshold, i.e., on the other side of the decision boundary, recourse is guaranteed in expectation.


title: When quantum state tomography benefits from willful ignorance

abstract: We show that quantum state tomography with perfect knowledge of the measurement apparatus proves to be, in some instances, inferior to strategies discarding all information about the measurement at hand, as in the case of data pattern tomography. In those scenarios, the larger uncertainty about the measurement is traded for the smaller uncertainty about the reconstructed signal. This effect is more pronounced for minimal or nearly minimal informationally complete measurement settings, which are of utmost practical importance.


title: Stochastic Polyak Stepsize with a Moving Target

abstract: We propose a new stochastic gradient method called MOTAPS (Moving Targetted Polyak Stepsize) that uses recorded past loss values to compute adaptive stepsizes. MOTAPS can be seen as a variant of the Stochastic Polyak (SP) which is also a method that also uses loss values to adjust the stepsize. The downside to the SP method is that it only converges when the interpolation condition holds. MOTAPS is an extension of SP that does not rely on the interpolation condition. The MOTAPS method uses $n$ auxiliary variables, one for each data point, that track the loss value for each data point. We provide a global convergence theory for SP, an intermediary method TAPS, and MOTAPS by showing that they all can be interpreted as a special variant of online SGD. We also perform several numerical experiments on convex learning problems, and deep learning models for image classification and language translation. In all of our tasks we show that MOTAPS is competitive with the relevant baseline method.


title: A regularity upgrade of pressure

abstract: For the incompressible Euler equations the pressure formally scales as a quadratic function of velocity. We provide several optimal regularity estimates on the pressure by using regularity of velocity in various Sobolev, Besov and Hardy spaces. Our proof exploits the incompressibility condition in an essential way and is deeply connected with the classic Div-Curl lemma which we also generalise as a fractional Leibniz rule in Hardy spaces. To showcase the sharpness of results, we construct a class of counterexamples at several end-points.


title: Credal Self-Supervised Learning

abstract: Self-training is an effective approach to semi-supervised learning. The key idea is to let the learner itself iteratively generate "pseudo-supervision" for unlabeled instances based on its current hypothesis. In combination with consistency regularization, pseudo-labeling has shown promising performance in various domains, for example in computer vision. To account for the hypothetical nature of the pseudo-labels, these are commonly provided in the form of probability distributions. Still, one may argue that even a probability distribution represents an excessive level of informedness, as it suggests that the learner precisely knows the ground-truth conditional probabilities. In our approach, we therefore allow the learner to label instances in the form of credal sets, that is, sets of (candidate) probability distributions. Thanks to this increased expressiveness, the learner is able to represent uncertainty and a lack of knowledge in a more flexible and more faithful manner. To learn from weakly labeled data of that kind, we leverage methods that have recently been proposed in the realm of so-called superset learning. In an exhaustive empirical evaluation, we compare our methodology to state-of-the-art self-supervision approaches, showing competitive to superior performance especially in low-label scenarios incorporating a high degree of uncertainty.


title: Off-Policy Reinforcement Learning with Delayed Rewards

abstract: We study deep reinforcement learning (RL) algorithms with delayed rewards. In many real-world tasks, instant rewards are often not readily accessible or even defined immediately after the agent performs actions. In this work, we first formally define the environment with delayed rewards and discuss the challenges raised due to the non-Markovian nature of such environments. Then, we introduce a general off-policy RL framework with a new Q-function formulation that can handle the delayed rewards with theoretical convergence guarantees. For practical tasks with high dimensional state spaces, we further introduce the HC-decomposition rule of the Q-function in our framework which naturally leads to an approximation scheme that helps boost the training efficiency and stability. We finally conduct extensive experiments to demonstrate the superior performance of our algorithms over the existing work and their variants.


title: Intuitive and Ubiquitous Fever Monitoring Using Smartphones and Smartwatches

abstract: Inside all smart devices, such as smartphones or smartwatches, there are thermally sensitive resistors known as thermistors which are used to monitor the temperature of the device. These thermistors are sensitive to temperature changes near their location on-device. While they are designed to measure the temperature of the device components such as the battery, they can also sense changes in the temperature of the ambient environment or thermal entities in contact with the device. We have developed a model to estimate core body temperature from signals sensed by these thermistors during a user interaction in which the user places the capacitive touchscreen of a smart device against a thermal site on their body such as their forehead. During the interaction, the device logs the temperature sensed by the thermistors as well as the raw capacitance seen by the touch screen to capture features describing the rate of heat transfer from the body to the device and device-to-skin contact respectively. These temperature and contact features are then used to model the rate of heat transferred from the user's body to the device and thus core-body temperature of the user for ubiquitous and accessible fever monitoring using only a smart device. We validate this system in a lab environment on a simulated skin-like heat source with a temperature estimate mean absolute error of 0.743$^{\circ}$F (roughly 0.4$^{\circ}$C) and limit of agreement of $\pm2.374^{\circ}$F (roughly 1.3$^{\circ}$C) which is comparable to some off-the-shelf peripheral and tympanic thermometers. We found a Pearson's correlation $R^2$ of 0.837 between ground truth temperature and temperature estimated by our system. We also deploy this system in an ongoing clinical study on a population of 7 participants in a clinical environment to show the similarity between simulated and clinical trials.


title: Path integrals in JT gravity and Virasoro constraints

abstract: We examine the large-$g$ asymptotic Weil-Petersson volume formulas deduced in the previous literature. The volume formulas have application to computing the partition functions and the correlation functions in Jackiw-Teitelboim gravity. We utilize two approaches to assess the validity of the formulas. The first approach is to examine the asymptotic volume formulas from the perspective of the Witten conjecture. If the volume formulas are correct, the generating function of the intersection indices deduced from the asymptotic volume formulas would satisfy constraints that are analogous to the Virasoro constraints. We confirmed that the intersection indices computed from the large-$g$ asymptotic volume formulas satisfy variants of the string and dilaton equations. This implies that the generating function of the intersection indices deduced from the asymptotic volume formulas indeed satisfies constraints analogous to first two of the Virasoro constraints. As another approach, we also examined the asymptotic volume formulas by studying the behavior of the higher-order spectral form factors. Our analyses suggest that the large-$g$ asymptotic Weil-Petersson volume formulas yield plausible estimations.


title: HybVIO: Pushing the Limits of Real-time Visual-inertial Odometry

abstract: We present HybVIO, a novel hybrid approach for combining filtering-based visual-inertial odometry (VIO) with optimization-based SLAM. The core of our method is highly robust, independent VIO with improved IMU bias modeling, outlier rejection, stationarity detection, and feature track selection, which is adjustable to run on embedded hardware. Long-term consistency is achieved with a loosely-coupled SLAM module. In academic benchmarks, our solution yields excellent performance in all categories, especially in the real-time use case, where we outperform the current state-of-the-art. We also demonstrate the feasibility of VIO for vehicular tracking on consumer-grade hardware using a custom dataset, and show good performance in comparison to current commercial VISLAM alternatives. An open-source implementation of the HybVIO method is available at https://github.com/SpectacularAI/HybVIO


title: MEAL: Manifold Embedding-based Active Learning

abstract: Image segmentation is a common and challenging task in autonomous driving. Availability of sufficient pixel-level annotations for the training data is a hurdle. Active learning helps learning from small amounts of data by suggesting the most promising samples for labeling. In this work, we propose a new pool-based method for active learning, which proposes promising patches extracted from full image, in each acquisition step. The problem is framed in an exploration-exploitation framework by combining an embedding based on Uniform Manifold Approximation to model representativeness with entropy as uncertainty measure to model informativeness. We applied our proposed method to the autonomous driving datasets CamVid and Cityscapes and performed a quantitative comparison with state-of-the-art baselines. We find that our active learning method achieves better performance compared to previous methods.


title: Functional analysis approach to the Collatz conjecture

abstract: We investigate the problems related to the Collatz map $T$ from the point of view of functional analysis. We associate with $T$ certain linear operator $\mathcal{T}$ and show that cycles and (hypothetical) diverging trajectory (generated by $T$) correspond to certain classes of fixed points of operator $\mathcal{T}$. Furthermore, we demonstrate connection between dynamical properties of operator $\mathcal{T}$ and map $T$. We prove that absence of nontrivial cycles of $T$ leads to hypercyclicity of operator $\mathcal{T}$. In the second part we show that the index of operator $Id-\mathcal{T}\in\mathcal{L}(H^2(D))$ gives upper estimate on the number of cycles of $T$. For the proof we consider the adjoint operator $\mathcal{F}=\mathcal{T}^*$ \[ \mathcal{F}: g\to g(z^2)+\frac{z^{-\frac{1}{3}}}{3}\left(g(z^{\frac{2}{3}})+e^{\frac{2\pi i}{3}}g(z^{\frac{2}{3}}e^{\frac{2\pi i}{3}})+e^{\frac{4\pi i}{3}}g(z^{\frac{2}{3}}e^{\frac{4\pi i}{3}})\right), \] first introduced by Berg, Meinardus in \cite{BM1994}, and show it does not have non-trivial fixed points in $H^2(D)$. Moreover, we calculate resolvent of operator $\mathcal{F}$ and as an application deduce equation for the characteristic function of total stopping time $\sigma_{\infty}$. Furthermore, we construct an invariant measure for $\mathcal{T}$ in a slightly different setup, and investigate how the operator $\mathcal{T}$ acts on generalized arithmetic progressions.


title: A vector identity for quadrilaterals

abstract: A surprising simple result about quadrilaterals is given as an application of the vector triple product identity.


title: Permanents through probability distributions

abstract: We show that the permanent of a matrix can be written as the expectation value of a function of random variables each with zero mean and unit variance. This result is used to show that Glynn's theorem and a simplified MacMahon theorem extend from a common probabilistic interpretation of the permanent. Combining the methods in these two proofs, we prove a new result that relates the permanent of a matrix to the expectation value of a product of hyperbolic trigonometric functions, or, equivalently, the partition function of a spin system. We conclude by discussing how the main theorem can be generalized and how the techniques used to prove it can be applied to more general problems in combinatorics.


title: Asymptotics for semi-discrete entropic optimal transport

abstract: We compute exact second-order asymptotics for the cost of an optimal solution to the entropic optimal transport problem in the continuous-to-discrete, or semi-discrete, setting. In contrast to the discrete-discrete or continuous-continuous case, we show that the first-order term in this expansion vanishes but the second-order term does not, so that in the semi-discrete setting the difference in cost between the unregularized and regularized solution is quadratic in the inverse regularization parameter, with a leading constant that depends explicitly on the value of the density at the points of discontinuity of the optimal unregularized map between the measures. We develop these results by proving new pointwise convergence rates of the solutions to the dual problem, which may be of independent interest.


title: Graph coarsening: From scientific computing to machine learning

abstract: The general method of graph coarsening or graph reduction has been a remarkably useful and ubiquitous tool in scientific computing and it is now just starting to have a similar impact in machine learning. The goal of this paper is to take a broad look into coarsening techniques that have been successfully deployed in scientific computing and see how similar principles are finding their way in more recent applications related to machine learning. In scientific computing, coarsening plays a central role in algebraic multigrid methods as well as the related class of multilevel incomplete LU factorizations. In machine learning, graph coarsening goes under various names, e.g., graph downsampling or graph reduction. Its goal in most cases is to replace some original graph by one which has fewer nodes, but whose structure and characteristics are similar to those of the original graph. As will be seen, a common strategy in these methods is to rely on spectral properties to define the coarse graph.


title: Towards Automated Evaluation of Explanations in Graph Neural Networks

abstract: Explaining Graph Neural Networks predictions to end users of AI applications in easily understandable terms remains an unsolved problem. In particular, we do not have well developed methods for automatically evaluating explanations, in ways that are closer to how users consume those explanations. Based on recent application trends and our own experiences in real world problems, we propose automatic evaluation approaches for GNN Explanations.


title: NetFense: Adversarial Defenses against Privacy Attacks on Neural Networks for Graph Data

abstract: Recent advances in protecting node privacy on graph data and attacking graph neural networks (GNNs) gain much attention. The eye does not bring these two essential tasks together yet. Imagine an adversary can utilize the powerful GNNs to infer users' private labels in a social network. How can we adversarially defend against such privacy attacks while maintaining the utility of perturbed graphs? In this work, we propose a novel research task, adversarial defenses against GNN-based privacy attacks, and present a graph perturbation-based approach, NetFense, to achieve the goal. NetFense can simultaneously keep graph data unnoticeability (i.e., having limited changes on the graph structure), maintain the prediction confidence of targeted label classification (i.e., preserving data utility), and reduce the prediction confidence of private label classification (i.e., protecting the privacy of nodes). Experiments conducted on single- and multiple-target perturbations using three real graph data exhibit that the perturbed graphs by NetFense can effectively maintain data utility (i.e., model unnoticeability) on targeted label classification and significantly decrease the prediction confidence of private label classification (i.e., privacy protection). Extensive studies also bring several insights, such as the flexibility of NetFense, preserving local neighborhoods in data unnoticeability, and better privacy protection for high-degree nodes.


title: Online Card Games

abstract: Consider the following one player game. A deck containing $m$ copies of $n$ different card types is shuffled uniformly at random. Each round the player tries to guess the next card in the deck, and then the card is revealed and discarded. It was shown by Diaconis, Graham, He, and Spiro that if $m$ is fixed, then the maximum expected number of correct guesses that the player can achieve is asymptotic to $H_m \log n$, where $H_m$ is the $m$th harmonic number. In this paper we consider an adversarial version of this game where a second player shuffles the deck according to some (possibly non-uniform) distribution. We prove that a certain greedy strategy for the shuffler is the unique optimal strategy in this game, and that the guesser can achieve at most $\log n$ expected correct guesses asymptotically for fixed $m$ against this greedy strategy.


title: Quantum phase transition of light in the dissipative Rabi-Hubbard lattice: A dressed-master-equation perspective

abstract: In this work, we investigate the quantum phase transition of light in the dissipative Rabi-Hubbard lattice under the framework of the mean-field theory and quantum dressed master equation. The order parameter of photons in strong qubit-photon coupling regime is derived analytically both at zero and low temperatures. Interestingly, we can locate the localization and delocalization phase transition very well in a wide parameter region. {In particular for the zero-temperature limit, the critical tunneling strength approaches zero generally in the deep-strong qubit-photon coupling regime, regardless of the quantum dissipation. This is contrary to the previous results with the finite minimal critical tunneling strength based on the standard Lindblad master equation. Moreover, a significant improvement of the critical tunneling is also observed at finite temperature, compared with the counterpart under the Lindblad description. We hope these results may deepen the understanding of the phase transition of photons in the Rabi-Hubbard model.


title: Doubly Heavy Tetraquark Resonant States

abstract: Spectrum of the doubly heavy tetraquarks, $bb\bar q\bar q$, is studied in a constituent quark model. Four-body problem is solved in a variational method where the real scaling technique is used to identify resonant states above the fall-apart decay thresholds. In addition to the two bound states that were reported in the previous study we have found several narrow resonant states above the $BB^*$ and $B^*B^*$ thresholds. Their structures are studied and are interpreted by the quark dynamics. A narrow resonance with spin-parity $J^P=1^+$ is found to be a mixed state of a compact tetraquark and a $B^*B^*$ scattering state. This is driven by a strong color Coulombic attraction between the $bb$ quarks. Negative-parity excited resonances with $J^P=0^-$, $1^-$ and $2^-$ form a triplet under the heavy-quark spin symmetry. It turns out that they share a similar structure to the $\lambda$-mode of a singly heavy baryon as a result of the strongly attractive correlation for the doubly heavy diquark.


title: The Wiener Index of Signed Graphs

abstract: The Wiener index of a graph $W(G)$ is a well studied topological index for graphs. An outstanding problem of \v{S}olt{\'e}s is to find graphs $G$ such that $W(G)=W(G-v)$ for all vertices $v\in V(G)$, with the only known example being $G=C_{11}$. We relax this problem by defining a notion of Wiener indices for signed graphs, which we denote by $W_\sigma(G)$, and under this relaxation we construct many signed graphs such that $W_\sigma(G)=W_\sigma(G-v)$ for all $v\in V(G)$. This ends up being related to a problem of independent interest, which asks when it is possible to $2$-color the edges of a graph $G$ such that there is a path between any two vertices of $G$ which uses each color the same number of times.


title: Winding number dependence of quantum vortex energies at one-loop

abstract: We compute the one-loop vacuum polarization energies of Abrikosov-Nielsen-Olesen (ANO) vortices with topological charge $n$ in scalar electrodynamics, for the BPS case of equal gauge and scalar masses. This calculation allows us to investigate the relationship between the winding number and the quantum-corrected vortex energy, which in turn determines the stability of higher winding configurations against decay into configurations with unit winding. While the classical energy is proportional to $n$, we find that the vacuum polarization energy is negative and approximately proportional to $n-1$ with a small constant offset.


title: Quasiregular Curves of Small Distortion in Product Manifolds

abstract: We consider, for $n\ge 3$, $K$-quasiregular $\operatorname{vol}_N^\times$-curves $M\to N$ of small distortion $K\ge 1$ from oriented Riemannian $n$-manifolds into Riemannian product manifolds $N=N_1\times \cdots \times N_k$, where each $N_i$ is an oriented Riemannian $n$-manifold and the calibration $\operatorname{vol}_N^\times\in \Omega^n(N)$ is the sum of the Riemannian volume forms $\operatorname{vol}_{N_i}$ of the factors $N_i$ of $N$. We show that, in this setting, $K$-quasiregular curves of small distortion are carried by quasiregular maps. More precisely, there exists $K_0=K_0(n,k)>1$ having the property that, for $1\le K\le K_0$ and a $K$-quasiregular $\operatorname{vol}_N^\times$-curve $F=(f_1,\ldots, f_k) \colon M \to N_1\times \cdots \times N_k$ there exists an index $i_0\in \{1,\ldots, k\}$ for which the coordinate map $f_{i_0}\colon M\to N_{i_0}$ is a quasiregular map. As a corollary, we obtain first examples of decomposable calibrations for which corresponding quasiregular curves of small distortion are discrete and admit a version of Liouville's theorem.


title: Randomness In Neural Network Training: Characterizing The Impact of Tooling

abstract: The quest for determinism in machine learning has disproportionately focused on characterizing the impact of noise introduced by algorithmic design choices. In this work, we address a less well understood and studied question: how does our choice of tooling introduce randomness to deep neural network training. We conduct large scale experiments across different types of hardware, accelerators, state of art networks, and open-source datasets, to characterize how tooling choices contribute to the level of non-determinism in a system, the impact of said non-determinism, and the cost of eliminating different sources of noise. Our findings are surprising, and suggest that the impact of non-determinism in nuanced. While top-line metrics such as top-1 accuracy are not noticeably impacted, model performance on certain parts of the data distribution is far more sensitive to the introduction of randomness. Our results suggest that deterministic tooling is critical for AI safety. However, we also find that the cost of ensuring determinism varies dramatically between neural network architectures and hardware types, e.g., with overhead up to $746\%$, $241\%$, and $196\%$ on a spectrum of widely used GPU accelerator architectures, relative to non-deterministic training. The source code used in this paper is available at https://github.com/usyd-fsalab/NeuralNetworkRandomness.


title: A Number of Nearby Moving Groups may be Fragments of Dissolving Open Clusters

abstract: We propose that fourteen co-moving groups of stars uncovered by Kounkel & Covey (2019) may be related to known nearby moving groups and bridge those and nearby open clusters with similar ages and space velocities. This indicates that known nearby moving groups may be spatially much more extended than previously though, and some of them might be parts of tidal tails around the cores of known open clusters, reminiscent of those recently found around the Hyades and a handful of other nearby clusters. For example, we find that both the nearby Carina and Columba associations may be linked to Theia 208 from Kounkel & Covey (2019) and together form parts of a large tidal tail around the Platais 8 open cluster. The AB Doradus moving group and Theia 301 may form a trailing tidal tail behind the Pleiades open cluster, with hints of a possible leading tidal tail in Theia 369. We similarly find that IC 2391 and its tidal tails identified by Meingast et al. (2021) may be extended by the nearby Argus association and are possibly further extended by Theia 115. The nearby Octans and Octans-Near associations, as well as Theia 94 and 95, may form a large tidal tail leading the poorly studied Platais 5 open cluster candidate. While a preliminary analysis of Gaia color-magnitude sequences hint that these structures are plausibly related, more observational evidence is still required to corroborate their consistent ages and space velocities. These observations may change our current understanding of nearby moving groups and the different pathways through which they can form. While some moving groups may have formed loosely in extended star-formation events with rich spatial structure, others may in fact correspond to the tidal tails of nearby open clusters.


title: Growth rate of a stochastic growth process driven by an exponential Ornstein-Uhlenbeck process

abstract: We study the stochastic growth process in discrete time $x_{i+1} = (1 + \mu_i) x_i$ with growth rate $\mu_i = \rho e^{Z_i - \frac12 var(Z_i)}$ proportional to the exponential of an Ornstein-Uhlenbeck (O-U) process $dZ_t = - \gamma Z_t dt + \sigma dW_t$ sampled on a grid of uniformly spaced times $\{t_i\}_{i=0}^n$ with time step $\tau$. Using large deviation theory methods we compute the asymptotic growth rate (Lyapunov exponent) $\lambda = \lim_{n\to \infty} \frac{1}{n} \log \mathbb{E}[x_n]$. We show that this limit exists, under appropriate scaling of the O-U parameters, and can be expressed as the solution of a variational problem. The asymptotic growth rate is related to the thermodynamical pressure of a one-dimensional lattice gas with attractive exponential potentials. For $Z_t$ a stationary O-U process the lattice gas coincides with a system considered previously by Kac and Helfand. We derive upper and lower bounds on $\lambda$. In the large mean-reversion limit $\gamma n \tau \gg 1$ the two bounds converge and the growth rate is given by a lattice version of the van der Waals equation of state. The predictions are tested against numerical simulations of the stochastic growth model.


title: Small-scale Turbulent Motion of the Plasma in a Solar Filament as the Precursor of Eruption

abstract: A filament, a dense cool plasma supported by the magnetic fields in the solar corona, often becomes unstable and erupts. It is empirically known that the filament often demonstrates some activations such as a turbulent motion prior to eruption. In our previous study (Seki et al. 2017), we analysed the Doppler velocity of an H{\alpha} filament and found that the standard deviation of the line-of-sight-velocity (LOSV) distribution in a filament, which indicates the increasing amplitude of the small-scale motions, increased prior to the onset of the eruption. Here, we present a further analysis on this filament eruption, which initiated approximately at 03:40UT on 2016 November 5 in the vicinity of NOAA AR 12605. It includes a coronal line observation and the extrapolation of the surrounding magnetic fields. We found that both the spatially averaged micro-turbulence inside the filament and the nearby coronal line emission increased 6 and 10 hours prior to eruption, respectively. In this event, we did not find any significant changes in the global potential-field configuration preceding the eruption for the past 2 days, which indicates that there is a case in which it is difficult to predict the eruption only by tracking the extrapolated global magnetic fields. In terms of space weather prediction, our result on the turbulent motions in a filament could be used as the useful precursor of a filament eruption.


title: $SU$-linear operations in complex cobordism and the $c_1$-spherical bordism theory

abstract: We study the $SU$-linear operations in complex cobordism and prove that they are generated by the well-known geometric operations $\partial_i$. For the theory $W$ of $c_1$-spherical bordism, we describe all $SU$-linear multiplications on $W$ and projections $MU \to W$. We also analyse complex orientations on $W$ and the corresponding formal group laws $F_W$. The relationship between the formal group laws $F_W$ and the coefficient ring $\varOmega^W$ of the $W$-theory was studied by Buchstaber in 1972. We extend his results by showing that for any $SU$-linear multiplication and orientation on $W$, the coefficients of the corresponding formal group law $F_W$ do not generate the ring $\varOmega^W$, unlike the situation with complex bordism.


title: Eliminating Intermediate Measurements using Pseudorandom Generators

abstract: We show that quantum algorithms of time $T$ and space $S\ge \log T$ with unitary operations and intermediate measurements can be simulated by quantum algorithms of time $T \cdot \mathrm{poly} (S)$ and space $ {O}(S\cdot \log T)$ with unitary operations and without intermediate measurements. The best results prior to this work required either $\Omega(T)$ space (by the deferred measurement principle) or $\mathrm{poly}(2^S)$ time [FR21,GRZ21]. Our result is thus a time-efficient and space-efficient simulation of algorithms with unitary operations and intermediate measurements by algorithms with unitary operations and without intermediate measurements. To prove our result, we study pseudorandom generators for quantum space-bounded algorithms. We show that (an instance of) the INW pseudorandom generator for classical space-bounded algorithms [INW94] also fools quantum space-bounded algorithms. More precisely, we show that for quantum space-bounded algorithms that have access to a read-once tape consisting of random bits, the final state of the algorithm when the random bits are drawn from the uniform distribution is nearly identical to the final state when the random bits are drawn using the INW pseudorandom generator. This result applies to general quantum algorithms which can apply unitary operations, perform intermediate measurements and reset qubits.


title: Multiple Organ Failure Prediction with Classifier-Guided Generative Adversarial Imputation Networks

abstract: Multiple organ failure (MOF) is a severe syndrome with a high mortality rate among Intensive Care Unit (ICU) patients. Early and precise detection is critical for clinicians to make timely decisions. An essential challenge in applying machine learning models to electronic health records (EHRs) is the pervasiveness of missing values. Most existing imputation methods are involved in the data preprocessing phase, failing to capture the relationship between data and outcome for downstream predictions. In this paper, we propose classifier-guided generative adversarial imputation networks Classifier-GAIN) for MOF prediction to bridge this gap, by incorporating both observed data and label information. Specifically, the classifier takes imputed values from the generator(imputer) to predict task outcomes and provides additional supervision signals to the generator by joint training. The classifier-guide generator imputes missing values with label-awareness during training, improving the classifier's performance during inference. We conduct extensive experiments showing that our approach consistently outperforms classical and state-of-art neural baselines across a range of missing data scenarios and evaluation metrics.


title: Asynchronous Stochastic Optimization Robust to Arbitrary Delays

abstract: We consider stochastic optimization with delayed gradients where, at each time step $t$, the algorithm makes an update using a stale stochastic gradient from step $t - d_t$ for some arbitrary delay $d_t$. This setting abstracts asynchronous distributed optimization where a central server receives gradient updates computed by worker machines. These machines can experience computation and communication loads that might vary significantly over time. In the general non-convex smooth optimization setting, we give a simple and efficient algorithm that requires $O( \sigma^2/\epsilon^4 + \tau/\epsilon^2 )$ steps for finding an $\epsilon$-stationary point $x$, where $\tau$ is the \emph{average} delay $\smash{\frac{1}{T}\sum_{t=1}^T d_t}$ and $\sigma^2$ is the variance of the stochastic gradients. This improves over previous work, which showed that stochastic gradient decent achieves the same rate but with respect to the \emph{maximal} delay $\max_{t} d_t$, that can be significantly larger than the average delay especially in heterogeneous distributed systems. Our experiments demonstrate the efficacy and robustness of our algorithm in cases where the delay distribution is skewed or heavy-tailed.


title: Dynamic Customer Embeddings for Financial Service Applications

abstract: As financial services (FS) companies have experienced drastic technology driven changes, the availability of new data streams provides the opportunity for more comprehensive customer understanding. We propose Dynamic Customer Embeddings (DCE), a framework that leverages customers' digital activity and a wide range of financial context to learn dense representations of customers in the FS industry. Our method examines customer actions and pageviews within a mobile or web digital session, the sequencing of the sessions themselves, and snapshots of common financial features across our organization at the time of login. We test our customer embeddings using real world data in three prediction problems: 1) the intent of a customer in their next digital session, 2) the probability of a customer calling the call centers after a session, and 3) the probability of a digital session to be fraudulent. DCE showed performance lift in all three downstream problems.


title: Failing with Grace: Learning Neural Network Controllers that are Boundedly Unsafe

abstract: In this work, we consider the problem of learning a feed-forward neural network controller to safely steer an arbitrarily shaped planar robot in a compact and obstacle-occluded workspace. Unlike existing methods that depend strongly on the density of data points close to the boundary of the safe state space to train neural network controllers with closed-loop safety guarantees, here we propose an alternative approach that lifts such strong assumptions on the data that are hard to satisfy in practice and instead allows for graceful safety violations, i.e., of a bounded magnitude that can be spatially controlled. To do so, we employ reachability analysis techniques to encapsulate safety constraints in the training process. Specifically, to obtain a computationally efficient over-approximation of the forward reachable set of the closed-loop system, we partition the robot's state space into cells and adaptively subdivide the cells that contain states which may escape the safe set under the trained control law. Then, using the overlap between each cell's forward reachable set and the set of infeasible robot configurations as a measure for safety violations, we introduce appropriate terms into the loss function that penalize this overlap in the training process. As a result, our method can learn a safe vector field for the closed-loop system and, at the same time, provide worst-case bounds on safety violation over the whole configuration space, defined by the overlap between the over-approximation of the forward reachable set of the closed-loop system and the set of unsafe states. Moreover, it can control the tradeoff between computational complexity and tightness of these bounds. Our proposed method is supported by both theoretical results and simulation studies.


title: A Smoother Notion of Spread Hypergraphs

abstract: Alweiss, Lovett, Wu, and Zhang introduced $q$-spread hypergraphs in their breakthrough work regarding the sunflower conjecture, and since then $q$-spread hypergraphs have been used to give short proofs of several outstanding problems in probabilistic combinatorics. A variant of $q$-spread hypergraphs was implicitly used by Kahn, Narayanan, and Park to determine the threshold for when a square of a Hamiltonian cycle appears in the random graph $G_{n,p}$. In this paper we give a common generalization of the original notion of $q$-spread hypergraphs and the variant used by Kahn et al.


title: On vanishing and torsion-freeness results for adjoint pairs

abstract: We prove some vanishing and torsion-freeness results for higher direct images of adjoint pairs satisfying relative abundance and nefness conditions. These are applied to generic vanishing and weak positivity.


title: Parallel computation of interval bases for persistence module decomposition

abstract: A persistence module $M$, with coefficients in a field $\mathbb{F}$, is a finite-dimensional linear representation of an equioriented quiver of type $A_n$ or, equivalently, a graded module over the ring of polynomials $\mathbb{F}[x]$. It is well-known that $M$ can be written as the direct sum of indecomposable representations or as the direct sum of cyclic submodules generated by homogeneous elements. An interval basis for $M$ is a set of homogeneous elements of $M$ such that the sum of the cyclic submodules of $M$ generated by them is direct and equal to $M$. We introduce a novel algorithm to compute an interval basis for $M$. Based on a flag of kernels of the structure maps, our algorithm is suitable for parallel or distributed computation and does not rely on a presentation of $M$. This algorithm outperforms the approach via the presentation matrix and Smith Normal Form. We specialize our parallel approach to persistent homology modules, and we close by applying the proposed algorithm to tracking harmonics via Hodge decomposition.


title: Efficient uncertainty quantification for Monte Carlo dose calculations using importance (re-)weighting

abstract: The high precision and conformity of intensity-modulated particle therapy (IMPT) comes at the cost of susceptibility to treatment uncertainties in particle range and patient set-up. Dose uncertainty quantification and mitigation, which is usually based on sampled error scenarios, however becomes challenging when computing the dose with computationally expensive but accurate Monte Carlo (MC) simulations. This paper introduces an importance (re-)weighting method in MC history scoring to concurrently construct estimates for error scenarios, the expected dose and its variance from a single set of MC simulated particle histories. The approach relies on a multivariate Gaussian input and uncertainty model, which assigns probabilities to the initial phase space sample, enabling the use of different correlation models. Exploring and adapting bivariate emittance parametrizations for the beam shape, accuracy can be traded between that of the uncertainty or the nominal dose estimate. The method was implemented using the MC code TOPAS and tested for proton IMPT plan delivery in comparison to a reference scenario estimate. We achieve accurate results for set-up uncertainties ($\gamma_{3mm/3\%} \geq 99.99\%$) and expectedly lower but still sufficient agreement for range uncertainties, which are approximated with uncertainty over the energy distribution ($\gamma_{3 mm/3\%} \geq 99.50\%$ ($E[\boldsymbol{d}]$), $\gamma_{3mm/3\%} \geq 91.69\%$ ($\sigma(\boldsymbol{d})$) ). Initial experiments on a water phantom, a prostate and a liver case show that the re-weighting approach lowers the CPU time by more than an order of magnitude. Further, we show that uncertainty induced by interplay and other dynamic influences may be approximated using suitable error correlation models.


title: The Separation of $NP$ and $PSPACE$

abstract: There is a important and interesting open question in computational complexity on the relation between the complexity classes $\mathcal{NP}$ and $\mathcal{PSPACE}$. It is a widespread belief that $\mathcal{NP}\ne\mathcal{PSPACE}$. In this paper, we confirm this conjecture affirmatively by showing that there is a language $L_d$ accepted by no polynomial-time nondeterministic Turing machines but accepted by a nondeterministic Turing machine running within space $O(n^k)$ for all $k\in\mathbb{N}_1$, by virtue of the prerequisite of $$ {\rm NTIME}[S(n)]\subseteq{\rm DSPACE}[S(n)], $$ and then by diagonalization against all polynomial-time nondeterministic Turing machines via a universal nondeterministic Turing machine $M_0$ running in space $O(n^k)$ for all $k\in\mathbb{N}_1$. We further show that $L_d\in \mathcal{PSPACE}$, which leads to the conclusion $$ \mathcal{NP}\subsetneqq\mathcal{PSPACE}. $$ Our approach is based on standard diagonalization and novel new techniques developed in author's recent works \cite{Lin21a,Lin21b} with some new refinement.


title: Morrey's conjecture for the planar volumetric-isochoric split. Part I: least convex energy functions

abstract: We consider Morrey's open question whether rank-one convexity already implies quasiconvexity in the planar case. For some specific families of energies, there are precise conditions known under which rank-one convexity even implies polyconvexity. We will extend some of these findings to the more general family of energies $W:\operatorname{GL}^+(n)\rightarrow\mathbb{R}$ with an additive volumetric-isochoric split, i.e. \[ W(F)=W_{\rm iso}(F)+W_{\rm vol}(\det F)=\widetilde W_{\rm iso}\bigg(\frac{F}{\sqrt{\det F}}\bigg)+W_{\rm vol}(\det F)\,, \] which is the natural finite extension of isotropic linear elasticity. Our approach is based on a condition for rank-one convexity which was recently derived from the classical two-dimensional criterion by Knowles and Sternberg and consists of a family of one-dimensional coupled differential inequalities. We identify a number of \enquote{least} rank-one convex energies and, in particular, show that for planar volumetric-isochorically split energies with a concave volumetric part, the question of whether rank-one convexity implies quasiconvexity can be reduced to the open question of whether the rank-one convex energy function \[ W_{\rm magic}^+(F)=\frac{\lambda_{\rm max}}{\lambda_{\rm min}}-\log\frac{\lambda_{\rm max}}{\lambda_{\rm min}}+\log\det F=\frac{\lambda_{\rm max}}{\lambda_{\rm min}}-2\log\lambda_{\rm min} \] is quasiconvex. In addition, we demonstrate that under affine boundary conditions, $W_{\rm magic}^+(F)$ allows for non-trivial inhomogeneous deformations with the same energy level as the homogeneous solution, and show a surprising connection to the work of Burkholder and Iwaniec in the field of complex analysis.


title: Notes on the H-measure of classifier performance

abstract: The H-measure is a classifier performance measure which takes into account the context of application without requiring a rigid value of relative misclassification costs to be set. Since its introduction in 2009 it has become widely adopted. This paper answers various queries which users have raised since its introduction, including questions about its interpretation, the choice of a weighting function, whether it is strictly proper, and its coherence, and relates the measure to other work.


title: Two-component scalar dark matter in $Z_{2n}$ scenarios

abstract: In multi-component scalar dark matter scenarios, a single $Z_N$ ($N\geq 4$) symmetry may account for the stability of different dark matter particles. Here we study the case where $N$ is even ($N=2n$) and two species, a complex scalar and a real scalar, contribute to the observed dark matter density. We perform a phenomenological analysis of three scenarios based on the $Z_4$ and $Z_6$ symmetries, characterizing their viable parameter spaces and analyzing their detection prospects. Our results show that, thanks to the new interactions allowed by the $Z_{2n}$ symmetry, current experimental constraints can be satisfied over a wider range of dark matter masses, and that these scenarios may lead to observable signals in direct detection experiments. Finally, we argue that these three scenarios serve as prototypes for other two-component $Z_{2n}$ models with one complex and one real dark matter particle.


title: Latency-Aware Neural Architecture Search with Multi-Objective Bayesian Optimization

abstract: When tuning the architecture and hyperparameters of large machine learning models for on-device deployment, it is desirable to understand the optimal trade-offs between on-device latency and model accuracy. In this work, we leverage recent methodological advances in Bayesian optimization over high-dimensional search spaces and multi-objective Bayesian optimization to efficiently explore these trade-offs for a production-scale on-device natural language understanding model at Facebook.


title: On the Evaluation of Machine Translation for Terminology Consistency

abstract: As neural machine translation (NMT) systems become an important part of professional translator pipelines, a growing body of work focuses on combining NMT with terminologies. In many scenarios and particularly in cases of domain adaptation, one expects the MT output to adhere to the constraints provided by a terminology. In this work, we propose metrics to measure the consistency of MT output with regards to a domain terminology. We perform studies on the COVID-19 domain over 5 languages, also performing terminology-targeted human evaluation. We open-source the code for computing all proposed metrics: https://github.com/mahfuzibnalam/terminology_evaluation


title: Making Invisible Visible: Data-Driven Seismic Inversion with Spatio-temporally Constrained Data Augmentation

abstract: Deep learning and data-driven approaches have shown great potential in scientific domains. The promise of data-driven techniques relies on the availability of a large volume of high-quality training datasets. Due to the high cost of obtaining data through expensive physical experiments, instruments, and simulations, data augmentation techniques for scientific applications have emerged as a new direction for obtaining scientific data recently. However, existing data augmentation techniques originating from computer vision, yield physically unacceptable data samples that are not helpful for the domain problems that we are interested in. In this paper, we develop new data augmentation techniques based on convolutional neural networks. Specifically, our generative models leverage different physics knowledge (such as governing equations, observable perception, and physics phenomena) to improve the quality of the synthetic data. To validate the effectiveness of our data augmentation techniques, we apply them to solve a subsurface seismic full-waveform inversion using simulated CO$_2$ leakage data. Our interest is to invert for subsurface velocity models associated with very small CO$_2$ leakage. We validate the performance of our methods using comprehensive numerical tests. Via comparison and analysis, we show that data-driven seismic imaging can be significantly enhanced by using our data augmentation techniques. Particularly, the imaging quality has been improved by 15% in test scenarios of general-sized leakage and 17% in small-sized leakage when using an augmented training set obtained with our techniques.


title: Comparing fermionic superfluids in two and three dimensions

abstract: Understanding the origins of unconventional superconductivity has been a major focus of condensed matter physics for many decades. While many questions remain unanswered, experiments have found that the systems with the highest critical temperatures tend to be layered materials where superconductivity occurs in two-dimensional (2D) structures. However, to what extent the remarkable stability of these strongly correlated 2D superfluids is related to their reduced dimensionality is still an open question. In this work, we use dilute gases of ultracold fermionic atoms as a model system to directly observe the influence of dimensionality on strongly interacting fermionic superfluids. We achieve this by measuring the superfluid gap of a strongly correlated quasi-2D Fermi gas over a wide range of interaction strengths and comparing the results to recent measurements in 3D Fermi gases. We find that the superfluid gap follows the same universal function of the interaction strength in both systems, which suggests that there is no inherent difference in the stability of fermionic superfluidity between two- and three-dimensional quantum gases. Finally, we compare our data to results from solid state systems and find a similar relation between the interaction strength and the gap for a wide range of two- and three-dimensional superconductors.


title: Observables and Hamilton-Jacobi approaches to general relativity. I. The Earlier History

abstract: The main focus is on the Hamilton-Jacobi techniques in classical general relativity that were pursued by Peter Bergmann and Arthur Komar in the 1960's and 1970's. They placed special emphasis on the ability to construct the factor group of canonical transformations, where the four-dimensional diffeomorphism phase space transformations were factored out. Equivalence classes were identified by a set of phase space functions that were invariant under the action of the four-dimensional diffeomorphism group. This is contrasted and compared with approaches of Paul Weiss, Julian Schwinger, Richard Arnowitt, Stanley Deser, Charles Misner, Karel Kuchar - and especially the geometrodynamical program of John Wheeler and Bryce DeWitt where diffeomorphism symmetry is replaced by a notion of multifingered time. The origins of all of these approaches are traced to Elie Cartan's invariant integral formulation of classical dynamics. A related correspondence concerning the thin sandwich dispute is also documented.


title: A Latent Transformer for Disentangled Face Editing in Images and Videos

abstract: High quality facial image editing is a challenging problem in the movie post-production industry, requiring a high degree of control and identity preservation. Previous works that attempt to tackle this problem may suffer from the entanglement of facial attributes and the loss of the person's identity. Furthermore, many algorithms are limited to a certain task. To tackle these limitations, we propose to edit facial attributes via the latent space of a StyleGAN generator, by training a dedicated latent transformation network and incorporating explicit disentanglement and identity preservation terms in the loss function. We further introduce a pipeline to generalize our face editing to videos. Our model achieves a disentangled, controllable, and identity-preserving facial attribute editing, even in the challenging case of real (i.e., non-synthetic) images and videos. We conduct extensive experiments on image and video datasets and show that our model outperforms other state-of-the-art methods in visual quality and quantitative evaluation. Source codes are available at https://github.com/InterDigitalInc/latent-transformer.


title: Distributed Beam Training for Intelligent Reflecting Surface Enabled Multi-Hop Routing

abstract: Intelligent reflecting surface (IRS) is an emerging technology to enhance the spectral and energy efficiency of wireless communications cost-effectively. This letter considers a new multi-IRS aided wireless network where a cascaded line-of-sight (LoS) link is established between the base station (BS) and a remote user by leveraging the multi-hop signal reflection of selected IRSs. As compared to the conventional single-/double-hop IRS system, multi-hop IRS system provides more pronounced path diversity and cooperative passive beamforming gains, especially in the environment with dense obstacles. However, a more challenging joint active/passive beamforming and multi-hop beam routing problem also arises for maximizing the end-to-end channel gain. Furthermore, the number of IRS-associated channel coefficients increases drastically with the number of IRS hops. To tackle the above issues, in this letter we propose a new and efficient beam training based solution by considering the use of practical codebook-based BS/IRS active/passive beamforming without the need of explicit channel estimation. Instead of exhaustively or sequentially searching over all combinations of active and passive beam patterns for each beam route, a distributed beam training scheme is proposed to reduce the complexity, by exploiting the (nearly) time-invariant BS-IRS and inter-IRS channels and the cooperative training among the BS and IRSs' controllers. Simulation results show that our proposed design achieves the end-to-end channel gain close to that of the sequential beam search, but at a much lower training overhead and complexity.


title: MuseumViz -- Towards Visualizing Online Museum Collections

abstract: Despite the growth of online museums for India's cultural heritage data, there is limited increase in terms of visitors. Over the years, online museums adopted many techniques to improve the overall user experience. However, many Indian online museums display artifacts as lists and grids with basic search functionality, making it less visually appealing and difficult to comprehend. Our work aims to enhance the user experience of accessing Indian online museums by utilizing advancements in information visualization. Hence, we propose MuseumViz, a framework which processes data from online museums and visualizes it using four different interactive visualizations: the Network Graph, TreepMap, Polygon Chart and SunBurst Chart. We demonstrate MuseumViz on a total of 723 cultural heritage artifacts present in the Archaeological Survey of India, Goa. Based on our evaluation with 25 users, about 83% of them find it easier and more comprehensible to browse cultural heritage artifacts through MuseumViz.


title: Geometric Batyrev-Manin-Peyre for equivariant compactifications of additive groups

abstract: Building on previous works by Bilu, Chambert-Loir and Loeser, we study the asymptotic behaviour of the moduli space of sections of a given family over a smooth projective curve, assuming that the generic fiber is an equivariant compactification of a finite dimensional vector space. Working in a suitable Grothendieck ring of varieties, we show that the class of these moduli spaces converges, modulo an adequate normalisation, to a non-zero effective element, when the class of the sections goes arbitrary far from the boundary of the dual of the effective cone. The limit can be interpreted as a motivic Euler product in the sense of Bilu's thesis. This result provides a positive answer to a motivic version of the Batyrev-Manin-Peyre conjectures in this particular setting.


title: Local policy search with Bayesian optimization

abstract: Reinforcement learning (RL) aims to find an optimal policy by interaction with an environment. Consequently, learning complex behavior requires a vast number of samples, which can be prohibitive in practice. Nevertheless, instead of systematically reasoning and actively choosing informative samples, policy gradients for local search are often obtained from random perturbations. These random samples yield high variance estimates and hence are sub-optimal in terms of sample complexity. Actively selecting informative samples is at the core of Bayesian optimization, which constructs a probabilistic surrogate of the objective from past samples to reason about informative subsequent ones. In this paper, we propose to join both worlds. We develop an algorithm utilizing a probabilistic model of the objective function and its gradient. Based on the model, the algorithm decides where to query a noisy zeroth-order oracle to improve the gradient estimates. The resulting algorithm is a novel type of policy search method, which we compare to existing black-box algorithms. The comparison reveals improved sample complexity and reduced variance in extensive empirical evaluations on synthetic objectives. Further, we highlight the benefits of active sampling on popular RL benchmarks.


title: Person Re-identification Attack on Wearable Sensing

abstract: Person re-identification is a critical privacy attack in publicly shared healthcare data as per Health Insurance Portability and Accountability Act (HIPAA) privacy rule. In this paper, we investigate the possibility of a new type of privacy attack, Person Re-identification Attack (PRI-attack) on publicly shared privacy insensitive wearable data. We investigate user's specific biometric signature in terms of two contextual biometric traits, physiological (photoplethysmography and electrodermal activity) and physical (accelerometer) contexts. In this regard, we develop a Multi-Modal Siamese Convolutional Neural Network (mmSNN) model. The framework learns the spatial and temporal information individually and combines them together in a modified weighted cost with an objective of predicting a person's identity. We evaluated our proposed model using real-time collected data from 3 collected datasets and one publicly available dataset. Our proposed framework shows that PPG-based breathing rate and heart rate in conjunction with hand gesture contexts can be utilized by attackers to re-identify user's identity (max. 71%) from HIPAA compliant wearable data. Given publicly placed camera can estimate heart rate and breathing rate along with hand gestures remotely, person re-identification using them imposes a significant threat to future HIPAA compliant server which requires a better encryption method to store wearable healthcare data.


title: A systems framework for remedying dysfunction in U.S. democracy

abstract: Democracy often fails to meet its ideals, and these failures may be made worse by electoral institutions. Unwanted outcomes include polarized institutions, unresponsive representatives, and the ability of a faction of voters to gain power at the expense of the majority. Various reforms have been proposed to address these problems, but their effectiveness is difficult to predict against a backdrop of complex interactions. Here we outline a path for systems-level modeling to help understand and optimize repairs to U.S. democracy. Following the tradition of engineering and biology, models of systems include mechanisms with dynamical properties that include nonlinearities and amplification (voting rules), positive feedback mechanisms (single-party control, gerrymandering), negative feedback (checks and balances), integration over time (lifetime judicial appointments), and low dimensionality (polarization). To illustrate a systems-level approach we analyze three emergent phenomena: low dimensionality, elite polarization, and anti-majoritarianism in legislatures. In each case, long-standing rules now contribute to undesirable outcomes as a consequence of changes in the political environment. Theoretical understanding at a general level will also help evaluate whether a proposed reform's benefits will materialize and be lasting, especially as conditions change again. In this way, rigorous modeling may not only shape new lines of research, but aid in the design of effective and lasting reform.


title: PALMAR: Towards Adaptive Multi-inhabitant Activity Recognition in Point-Cloud Technology

abstract: With the advancement of deep neural networks and computer vision-based Human Activity Recognition, employment of Point-Cloud Data technologies (LiDAR, mmWave) has seen a lot interests due to its privacy preserving nature. Given the high promise of accurate PCD technologies, we develop, PALMAR, a multiple-inhabitant activity recognition system by employing efficient signal processing and novel machine learning techniques to track individual person towards developing an adaptive multi-inhabitant tracking and HAR system. More specifically, we propose (i) a voxelized feature representation-based real-time PCD fine-tuning method, (ii) efficient clustering (DBSCAN and BIRCH), Adaptive Order Hidden Markov Model based multi-person tracking and crossover ambiguity reduction techniques and (iii) novel adaptive deep learning-based domain adaptation technique to improve the accuracy of HAR in presence of data scarcity and diversity (device, location and population diversity). We experimentally evaluate our framework and systems using (i) a real-time PCD collected by three devices (3D LiDAR and 79 GHz mmWave) from 6 participants, (ii) one publicly available 3D LiDAR activity data (28 participants) and (iii) an embedded hardware prototype system which provided promising HAR performances in multi-inhabitants (96%) scenario with a 63% improvement of multi-person tracking than state-of-art framework without losing significant system performances in the edge computing device.


title: Cosmological Scattering Equations

abstract: We propose a worldsheet formula for tree-level correlation functions describing a scalar field with arbitrary mass and quartic self-interaction in de Sitter space, which is a simple model for inflationary cosmology. The correlation functions are located on the future boundary of the spacetime and are Fourier-transformed to momentum space. Our formula is supported on mass-deformed scattering equations involving conformal generators in momentum space and reduces to the CHY formula for $\phi^4$ amplitudes in the flat space limit. Using the global residue theorem, we verify that it reproduces the Witten diagram expansion at four and six points, and sketch the extension to $n$ points.


title: Do practitioners intentionally self-fix Technical Debt and why?

abstract: The impact of Technical Debt (TD) on software maintenance and evolution is of great concern, but recent evidence shows that a considerable amount of TD is fixed by the same developers who introduced it; this is termed self-fixed TD. This characteristic of TD management can potentially impact team dynamics and practices in managing TD. However, the initial evidence is based on low-level source code analysis; this casts some doubt whether practitioners repay their own debt intentionally and under what circumstances. To address this gap, we conducted an online survey on 17 well-known Java and Python open-source software communities to investigate practitioners' intent and rationale for self-fixing technical debt. We also investigate the relationship between human-related factors (e.g., experience) and self-fixing. The results, derived from the responses of 181 participants, show that a majority addresses their own debt consciously and often. Moreover, those with a higher level of involvement (e.g., more experience in the project and number of contributions) tend to be more concerned about self-fixing TD. We also learned that the sense of responsibility is a common self-fixing driver and that decisions to fix TD are not superficial but consider balancing costs and benefits, among other factors. The findings in this paper can lead to improving TD prevention and management strategies.


title: Dangers of Bayesian Model Averaging under Covariate Shift

abstract: Approximate Bayesian inference for neural networks is considered a robust alternative to standard training, often providing good performance on out-of-distribution data. However, Bayesian neural networks (BNNs) with high-fidelity approximate inference via full-batch Hamiltonian Monte Carlo achieve poor generalization under covariate shift, even underperforming classical estimation. We explain this surprising result, showing how a Bayesian model average can in fact be problematic under covariate shift, particularly in cases where linear dependencies in the input features cause a lack of posterior contraction. We additionally show why the same issue does not affect many approximate inference procedures, or classical maximum a-posteriori (MAP) training. Finally, we propose novel priors that improve the robustness of BNNs to many sources of covariate shift.


title: Massive Spatial Qubits for Testing Macroscopic Nonclassicality and Casimir Induced Entanglement

abstract: An open challenge in physics is to expand the frontiers of the validity of quantum mechanics by evidencing nonclassicality of the centre of mass state of a macroscopic object. Yet another equally important task is to evidence the essential nonclassicality of the interactions which act between macroscopic objects. Here we introduce a new tool to meet these challenges: massive spatial qubits. In particular, we show that if two distinct localized states of a mass are used as the $|0\rangle$ and $|1\rangle$ states of a qubit, then we can measure this encoded spatial qubit with a high fidelity in the $\sigma_x, \sigma_y$ and $\sigma_z$ bases simply by measuring its position after different durations of free evolution. We show how this technique can be used to reveal an irreducible nonclassicality through a Bell-inequality violation arising from the entanglement of the centre of mass of a nano-crystal with its spin in a Stern-Gerlach setup. Secondly, we show how our methodology, in conjuction with the Casimir interaction, offers a powerful method to create and certify non-Gaussian entanglement between two neutral nano-objects. Fundamentally, the generation of such an entanglement provides an empirical means for demonstrating an inherent quantumness of the Casimir interaction.


title: Iso-geometric Integral Equation Solvers and their Compression via Manifold Harmonics

abstract: The state of art of electromagnetic integral equations has seen significant growth over the past few decades, overcoming some of the fundamental bottlenecks: computational complexity, low frequency and dense discretization breakdown, preconditioning, and so on. Likewise, the community has seen extensive investment in development of methods for higher order analysis, in both geometry and physics. Unfortunately, these standard geometric descriptors are continuous, but their normals are discontinuous at the boundary between triangular tessellations of control nodes, or patches, with a few exceptions; as a result, one needs to define additional mathematical infrastructure to define physical basis sets for vector problems. In stark contrast, the geometric representation used for design are second order differentiable almost everywhere on the surfaces. Using these description for analysis opens the door to several possibilities, and is the area we explore in this paper. Our focus is on Loop subdivision based isogeometric methods. In this paper, our goals are two fold: (i) development of computational infrastructure for isogeometric analysis of electrically large simply connected objects, and (ii) to introduce the notion of manifold harmonics transforms and its utility in computational electromagnetics. Several results highlighting the efficacy of these two methods are presented.


title: Deep Phasor Networks: Connecting Conventional and Spiking Neural Networks

abstract: In this work, we extend standard neural networks by building upon an assumption that neuronal activations correspond to the angle of a complex number lying on the unit circle, or 'phasor.' Each layer in such a network produces new activations by taking a weighted superposition of the previous layer's phases and calculating the new phase value. This generalized architecture allows models to reach high accuracy and carries the singular advantage that mathematically equivalent versions of the network can be executed with or without regard to a temporal variable. Importantly, the value of a phase angle in the temporal domain can be sparsely represented by a periodically repeating series of delta functions or 'spikes'. We demonstrate the atemporal training of a phasor network on standard deep learning tasks and show that these networks can then be executed in either the traditional atemporal domain or spiking temporal domain with no conversion step needed. This provides a novel basis for constructing deep networkswhich operate via temporal, spike-based calculations suitable for neuromorphic computing hardware.


title: An agnostic-Dolinar receiver for coherent states classification

abstract: We consider the problem of discriminating quantum states, where the task is to distinguish two different quantum states with a complete classical knowledge about them, and the problem of classifying quantum states, where the task is to distinguish two classes of quantum states where no prior classical information is available but a finite number of physical copies of each classes are given. In the case the quantum states are represented by coherent states of light, we identify intermediate scenarios where partial prior information is available. We evaluate an analytical expression for the minimum error when the quantum states are opposite and a prior on the amplitudes is known. Such a threshold is attained by complex POVM that involve highly non-linear optical procedure. A suboptimal procedure that can be implemented with current technology is presented that is based on a modification of the conventional Dolinar receiver. We study and compare the performance of the scheme under different assumptions on the prior information available.


title: Magnetic particles and strings in iron langasite

abstract: Particle-like topological magnetic defects that can propagate in all spatial directions open a new dimension for design of magnetic memory and data processing devices. We show that three-dimensional magnetic skyrmions can be stabilized in non-collinear antiferromagnets, such as the Fe-langasite, Ba$_3$TaFe$_3$Si$_2$O$_{14}$. Spins in the crystallographic unit cell of this material form a 120-degree ordering transformed by competing exchange interactions into a short-period spiral, which in turn forms a basis for complex large-scale magnetic superstructures stabilized by Dzyaloshinskii-Moriya interactions and applied magnetic fields. We derive an effective continuum model describing modulated states of Fe-langasite at the 100 nm scale and explore its magnetic phases and topological defects. The order parameter space of this model is similar to that of superfluid $^{3}$He-A and the three-dimensional topological defect is closely related to the Shankar monopole and hedgehog soliton in the Skyrme model of baryons.


title: Residual Networks as Flows of Velocity Fields for Diffeomorphic Time Series Alignment

abstract: Non-linear (large) time warping is a challenging source of nuisance in time-series analysis. In this paper, we propose a novel diffeomorphic temporal transformer network for both pairwise and joint time-series alignment. Our ResNet-TW (Deep Residual Network for Time Warping) tackles the alignment problem by compositing a flow of incremental diffeomorphic mappings. Governed by the flow equation, our Residual Network (ResNet) builds smooth, fluid and regular flows of velocity fields and consequently generates smooth and invertible transformations (i.e. diffeomorphic warping functions). Inspired by the elegant Large Deformation Diffeomorphic Metric Mapping (LDDMM) framework, the final transformation is built by the flow of time-dependent vector fields which are none other than the building blocks of our Residual Network. The latter is naturally viewed as an Eulerian discretization schema of the flow equation (an ODE). Once trained, our ResNet-TW aligns unseen data by a single inexpensive forward pass. As we show in experiments on both univariate (84 datasets from UCR archive) and multivariate time-series (MSR Action-3D, Florence-3D and MSR Daily Activity), ResNet-TW achieves competitive performance in joint alignment and classification.