title: Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation

abstract: This paper argues for an accelerator development toolchain that takes into account the whole system containing the accelerator. With whole-system visibility, the toolchain can better assist accelerator scoping and composition in the context of the expected workloads and intended performance objectives. Despite being focused on the 'meta-level' of accelerators, this would build on existing and ongoing DSLs and toolchains for accelerator design. Basing this on our experience in programmable networking and reconfigurable-hardware programming, we propose an integrative approach that relies on three activities: (i) generalizing the focus of acceleration to offloading to accommodate a broader variety of non-functional needs -- such as security and power use -- while using similar implementation approaches, (ii) discovering what to offload, and to what hardware, through semi-automated analysis of a whole system that might compose different offload choices that changeover time, (iii) connecting with research and state-of-the-art approaches for using domain-specific languages (DSLs) and high-level synthesis (HLS) systems for custom offload development. We outline how this integration can drive new development tooling that accepts models of programs and resources to assist system designers through design-space exploration for the accelerated system.


title: Can dark energy be dynamical?

abstract: We highlight shortcomings of the dynamical dark energy (DDE) paradigm. For parametric models with equation of state (EOS), $w(z) = w_0 + w_a f(z)$ for a given function of redshift $f(z)$, we show that the errors in $w_a$ are sensitive to $f(z)$: if $f(z)$ increases quickly with redshift $z$, then errors in $w_a$ are smaller, and vice versa. As a result, parametric DDE models suffer from a degree of arbitrariness and focusing too much on one model runs the risk that DDE may be overlooked. In particular, we show the ubiquitous Chevallier-Polarski-Linder model is one of the least sensitive to DDE. We also comment on ``wiggles" in $w(z)$ uncovered in non-parametric reconstructions. Concretely, we isolate the most relevant Fourier modes in the wiggles, model them and fit them back to the original data to confirm the wiggles at $\lesssim2\sigma$. We delve into the assumptions going into the reconstruction and argue that the assumed correlations, which clearly influence the wiggles, place strong constraints on field theory models of DDE.


title: Fast-Forwarding with NISQ Processors without Feedback Loop

abstract: Simulating quantum dynamics is expected to be performed more easily on a quantum computer than on a classical computer. However, the currently available quantum devices lack the capability to implement fault-tolerant quantum algorithms for quantum simulation. Hybrid classical quantum algorithms such as the variational quantum algorithms have been proposed to effectively use current term quantum devices. One promising approach to quantum simulation in the noisy intermediate-scale quantum (NISQ) era is the diagonalisation based approach, with some of the promising examples being the subspace Variational Quantum Simulator (SVQS), Variational Fast Forwarding (VFF), fixed-state Variational Fast Forwarding (fs-VFF), and the Variational Hamiltonian Diagonalisation (VHD) algorithms. However, these algorithms require a feedback loop between the classical and quantum computers, which can be a crucial bottleneck in practical application. Here, we present the Classical Quantum Fast Forwarding (CQFF) as an alternative diagonalisation based algorithm for quantum simulation. CQFF shares some similarities with SVQS, VFF, fs-VFF and VHD but removes the need for a classical-quantum feedback loop and controlled multi-qubit unitaries. The CQFF algorithm does not suffer from the barren plateau problem and the accuracy can be systematically increased. Furthermore, if the Hamiltonian to be simulated is expressed as a linear combination of tensored-Pauli matrices, the CQFF algorithm reduces to the task of sampling some many-body quantum state in a set of Pauli-rotated bases, which is easy to do in the NISQ era. We run the CQFF algorithm on existing quantum processors and demonstrate the promise of the CQFF algorithm for current-term quantum hardware. Our work provides a $10^4$ improvement over the previous record.


title: The Phosphene Controversy: Is it Phosphene? Is there life on Venus?

abstract: On 14th September 2020, the Royal Astronomical Society made an official statement coupled with a webminar on the discovery of phosphine on Venus. Single-line millimetre-waveband spectral detections of phosphine (with a signal-to-noise ratio of $\approx$ 15$\sigma$) from the JCMT and ALMA telescopes indicated a phosphine abundance of 20 ppb (parts per billion), 1000 times more than that on the Earth. Phosphine is an important biomarker and immediate speculation in the media about indicators of life being found on Venus followed. This article presents an analysis of the study and the results on the observation of the spectral absorption feature of phosphine in the clouds of Venus, thus implying as a potential biosignature. If phosphine is produced through biotic, as opposed to abiotic pathways, the discovery could imply a significant biomass in the Venusian atmosphere. The discovery led to a major controversy with criticism of the analysis and results and responses to it. The issue remains unresolved, leading to a fresh interest in the study of Venus including ground-based observations as well as space-probes that can answer these questions conclusively.


title: Boundary branch divisor of toroidal compactifications

abstract: We prove that any toroidal compactification of arithmetic quotient of Hermitian symmetric domain has no boundary branch divisor, in the setting where the algebraic group is of adjoint type.


title: Power coupling losses for misaligned and mode-mismatched higher-order Hermite-Gauss modes

abstract: This paper analytically and numerically investigates misalignment and mode-mismatch induced power coupling coefficients and losses as a function of Hermite Gauss (HG) mode order. We show that higher-order HG modes are more susceptible to beam perturbations when, for example, coupling into optical cavities: the misalignment and mode-mismatch-induced power coupling losses scale linearly and quadratically with respect to the mode indices respectively. As a result, the mode-mismatch tolerance for the $\mathrm{HG}_{3,3}$ mode is reduced to a factor of 0.28 relative to the currently-used $\mathrm{HG}_{0,0}$ mode. This is a potential hurdle to using higher-order modes to reduce thermal noise in future gravitational-wave detectors.


title: Mining Customers' Opinions for Online Reputation Generation and Visualization in e-Commerce Platforms

abstract: Customer reviews represent a very rich data source from which we can extract very valuable information about different online shopping experiences. The amount of the collected data may be very large especially for trendy items (products, movies, TV shows, hotels, services...), where the number of available customers' opinions could easily surpass thousands. In fact, while a good number of reviews could indeed give a hint about the quality of an item, a potential customer may not have time or effort to read all reviews for the purpose of making an informed decision (buying, renting, booking...). Thus, the need for the right tools and technologies to help in such a task becomes a necessity for the buyer as for the seller. My research goal in this thesis is to develop reputation systems that can automatically provide E-commerce customers with valuable information to support them during their online decision-making process by mining online reviews expressed in natural language.


title: Regulation of the Normalized Rate of Driven Magnetic Reconnection through Shocked Flux Pileup

abstract: Magnetic reconnection is explored on the Terrestrial Reconnection Experiment (TREX) for asymmetric inflow conditions and in a configuration where the absolute rate of reconnection is set by an external drive. Magnetic pileup enhances the upstream magnetic field of the high density inflow, leading to an increased upstream Alfven speed and helping to lower the normalized reconnection rate to values expected from theoretical consideration. In addition, a shock interface between the far upstream supersonic plasma inflow and the region of magnetic flux pileup is observed, important to the overall force balance of the system, hereby demonstrating the role of shock formation for configurations including a supersonically driven inflow. Despite the specialised geometry where a strong reconnection drive is applied from only one side of the reconnection layer, previous numerical and theoretical results remain robust and are shown to accurately predict the normalized rate of reconnection for the range of system sizes considered. This experimental rate of reconnection is dependent on system size, reaching values as high as 0.8 at the smallest normalized system size applied.


title: Multiple solutions for the fractional p-Laplacian with jumping reactions

abstract: We study a nonlinear elliptic equation driven by the degenerate fractional p-Laplacian, with Dirichlet type condition and a jumping reaction, i.e., (p-1)-linear both at infinity and at zero but with different slopes crossing the principal eigenvalue. Under two different sets of hypotheses, entailing different types of asymmetry, we prove the existence of at least two nontrivial solutions. Our method is based on degree theory for monotone operators and nonlinear fractional spectral theory.


title: Improved cosmological fits with quantized primordial power spectra

abstract: We observationally examine cosmological models based on primordial power spectra with quantized wavevectors. Introducing a linearly quantized power spectrum with $k_0=3.225\times10^{-4}\mathrm{Mpc}^{-1}$ and spacing $\Delta k = 2.257 \times 10^{-4} \mathrm{Mpc}^{-1}$ provides a better fit to the Planck 2018 observations than the concordance baseline, with $\Delta \chi^2 = -8.55$. Extending the results of Lasenby et al [1], we show that the requirement for perturbations to remain finite beyond the future conformal boundary in a universe containing dark matter and a cosmological constant results in a linearly quantized primordial power spectrum. It is found that the infrared cutoffs for this future conformal boundary quantized cosmology do not provide cosmic microwave background power spectra compatible with observations, but future theories may predict more observationally consistent quantized spectra.


title: NQMIX: Non-monotonic Value Function Factorization for Deep Multi-Agent Reinforcement Learning

abstract: Multi-agent value-based approaches recently make great progress, especially value decomposition methods. However, there are still a lot of limitations in value function factorization. In VDN, the joint action-value function is the sum of per-agent action-value function while the joint action-value function of QMIX is the monotonic mixing of per-agent action-value function. To some extent, QTRAN reduces the limitation of joint action-value functions that can be represented, but it has unsatisfied performance in complex tasks. In this paper, in order to extend the class of joint value functions that can be represented, we propose a novel actor-critic method called NQMIX. NQMIX introduces an off-policy policy gradient on QMIX and modify its network architecture, which can remove the monotonicity constraint of QMIX and implement a non-monotonic value function factorization for the joint action-value function. In addition, NQMIX takes the state-value as the learning target, which overcomes the problem in QMIX that the learning target is overestimated. Furthermore, NQMIX can be extended to continuous action space settings by introducing deterministic policy gradient on itself. Finally, we evaluate our actor-critic methods on SMAC domain, and show that it has a stronger performance than COMA and QMIX on complex maps with heterogeneous agent types. In addition, our ablation results show that our modification of mixer is effective.


title: What's the best place for an AI conference, Vancouver or ______: Why completing comparative questions is difficult

abstract: Although large neural language models (LMs) like BERT can be finetuned to yield state-of-the-art results on many NLP tasks, it is often unclear what these models actually learn. Here we study using such LMs to fill in entities in human-authored comparative questions, like ``Which country is older, India or ______?'' -- i.e., we study the ability of neural LMs to ask (not answer) reasonable questions. We show that accuracy in this fill-in-the-blank task is well-correlated with human judgements of whether a question is reasonable, and that these models can be trained to achieve nearly human-level performance in completing comparative questions in three different subdomains. However, analysis shows that what they learn fails to model any sort of broad notion of which entities are semantically comparable or similar -- instead the trained models are very domain-specific, and performance is highly correlated with co-occurrences between specific entities observed in the training set. This is true both for models that are pretrained on general text corpora, as well as models trained on a large corpus of comparison questions. Our study thus reinforces recent results on the difficulty of making claims about a deep model's world knowledge or linguistic competence based on performance on specific benchmark problems. We make our evaluation datasets publicly available to foster future research on complex understanding and reasoning in such models at standards of human interaction.


title: A Note on Enumeration by Fair Sampling

abstract: This note describes an algorithm for enumerating all the elements in a finite set based on uniformly random sampling from the set. This algorithm can be used for enumeration by fair sampling with quantum annealing. Our algorithm is based on a lemma of the coupon collector's problem and is an improved version of the algorithm described in arXiv:2007.08487 (2020). We provide a mathematical analysis and a numerical demonstration of our algorithm.


title: Counterexamples to Dembowski and Ostrom conjecture on Planar function

abstract: Let $F_{q}$ be a finite field of cardinality $q$. A polynomial over finite field $F_{q}$ of the form $\sum_{i,j}a_{ij}x^{p^{i}+p^{j}}$ is called a Dembowski-Ostrom (DO) polynomial. The Dembowski-Ostrom conjecture says that a planar polynomial is necessarily a Dembowski-Ostrom polynomial. In this article, we construct certain classes of planar polynomials over any finite field of characteristic $p\geq 3$ that are not of Dembowski-Ostrom type.


title: A Minimum-Footprint Implementation of Discrete-Time ADRC

abstract: To foster the adoption of active disturbance rejection control (ADRC) and support its deployment even on low-cost embedded systems, this article introduces the most efficient implementation of linear discrete-time ADRC to date. While maintaining all features and the exact performance characteristics of the state-space form, computational efforts and storage requirements are reduced to a minimum compared to all existing implementations. This opens up new possibilities to use ADRC in applications with high sample rates, tight timing constraints, or low computational power.


title: An Eigenvalue Ratio Approach to Inferring Population Structure from Whole Genome Sequencing Data

abstract: Inference of population structure from genetic data plays an important role in population and medical genetics studies. With the advancement and decreasing cost of sequencing technology, the increasingly available whole genome sequencing data provide much richer information about the underlying population structure. The traditional method (Patterson, Price, and Reich, 2006) originally developed for array-based genotype data for computing and selecting top principal components that capture population structure may not perform well on sequencing data for two reasons. First, the number of genetic variants p is much larger than the sample size n in sequencing data such that the sample-to-marker ratio n/p is nearly zero, violating the assumption of the Tracy-Widom test used in their method. Second, their method might not be able to handle the linkage disequilibrium well in sequencing data. To resolve those two practical issues, we propose a new method called ERStruct to determine the number of top informative principal components based on sequencing data. More specifically, we propose to use the ratio of consecutive eigenvalues as a more robust test statistic, and then we approximate its null distribution using modern random matrix theory. Both simulation studies and applications to two public data sets from the HapMap 3 and the 1000 Genomes Projects demonstrate the empirical performance of our ERStruct method.


title: Multilevel Stein variational gradient descent with applications to Bayesian inverse problems

abstract: This work presents a multilevel variant of Stein variational gradient descent to more efficiently sample from target distributions. The key ingredient is a sequence of distributions with growing fidelity and costs that converges to the target distribution of interest. For example, such a sequence of distributions is given by a hierarchy of ever finer discretization levels of the forward model in Bayesian inverse problems. The proposed multilevel Stein variational gradient descent moves most of the iterations to lower, cheaper levels with the aim of requiring only a few iterations on the higher, more expensive levels when compared to the traditional, single-level Stein variational gradient descent variant that uses the highest-level distribution only. Under certain assumptions, in the mean-field limit, the error of the proposed multilevel Stein method decays by a log factor faster than the error of the single-level counterpart with respect to computational costs. Numerical experiments with Bayesian inverse problems show speedups of more than one order of magnitude of the proposed multilevel Stein method compared to the single-level variant that uses the highest level only.


title: Machine Learning Applications in the Routing in Computer Networks

abstract: Development of routing algorithms is of clear importance as the volume of Internet traffic continues to increase. In this survey, there is much research into how Machine Learning techniques can be employed to improve the performance and scalability of routing algorithms. We surveyed both centralized and decentralized ML routing architectures and using a variety of ML techniques broadly divided into supervised learning and reinforcement learning. Many of the papers showed promise in their ability to optimize some aspect of network routing. We also implemented two routing protocols within 14 surveyed routing algorithms and verified the efficacy of their results. While the results of most of the papers showed promise, many of them are based on simulations of potentially unrealistic network configurations. To provide further efficacy to the results, more real-world results are necessary.


title: Some problems on measure-preserving transformations

abstract: This text is addressed to students. It is a short story about some problems in ergodic theory, both related and independent. We discuss the factorization of transformations into the product of three involutions; Furstenberg's theorem on weak multiple mixing in the mean along progressions; ergodic Furstenberg-Roth's theorem. In connection with Ledrappier's $Z^2$-action, we consider harmonic $Z_2$-sequences on $Z^2$ and experimentally observe the dominant infinite threads arising in them. The property of multiple mixing for systems with the Gordin ergodic group is proven. We discuss the absence of the Lehrer and Weiss property for the action of $\mathbb{Z}^2$-lattices, and Bergelson's question on sequence mixing. Some new open problems, unusual spectrum of a measure-preserving construction with related Katok's paradoxical effect are mentioned.


title: Robust Trust Region for Weakly Supervised Segmentation

abstract: Acquisition of training data for the standard semantic segmentation is expensive if requiring that each pixel is labeled. Yet, current methods significantly deteriorate in weakly supervised settings, e.g. where a fraction of pixels is labeled or when only image-level tags are available. It has been shown that regularized losses - originally developed for unsupervised low-level segmentation and representing geometric priors on pixel labels - can considerably improve the quality of weakly supervised training. However, many common priors require optimization stronger than gradient descent. Thus, such regularizers have limited applicability in deep learning. We propose a new robust trust region approach for regularized losses improving the state-of-the-art results. Our approach can be seen as a higher-order generalization of the classic chain rule. It allows neural network optimization to use strong low-level solvers for the corresponding regularizers, including discrete ones.


title: A nonstandard proof of the spectral theorem for unbounded self-adjoint operators

abstract: We generalize Moore's nonstandard proof of the Spectral theorem for bounded self-adjoint operators to the case of unbounded operators. The key step is to use a definition of the nonstandard hull of an internally bounded self-adjoint operator due to Raab.


title: Optical Pulling and Pushing Forces via Bloch Surface Waves

abstract: Versatile manipulation of nano- and microobjects underlies the optomechanics and a variety of its applications in biology, medicine, and lab-on-a-chip platforms. For flexible tailoring optical forces, as well as for extraordinary optomechanical effects, additional degrees of freedom should be introduced into the system. Here, we demonstrate that photonic crystals provide a flexible platform for nanoparticles optical manipulation due to both Bloch surface waves (BSWs) and the complex character of the reflection coefficient paving a way for complex optomechanical interactions control. We demonstrate that appearance of enhanced pulling and pushing transversal optical forces acting on a single bead placed above a one-dimensional photonic crystal due to directional excitation of Bloch surface wave at the photonic crystal interface. Our theoretical results, which are supported with numerical simulations, demonstrate angle or wavelength assisted switching between BSW-induced optical pulling and pushing forces. Easy-to-fabricate for any desired spectral range photonic crystals are shown to be prospective for precise optical sorting of nanoparticles, especially for core-shell nanoparticles, which are difficult to sort with conventional optomechanical methods. Our approach opens opportunities for novel optical manipulation schemes and platforms and enhanced light-matter interaction in optical trapping setups.


title: Combined experimental/theoretical approach to residual stresses within multiplicative elasto-plasticity

abstract: The study is devoted to geometrically non-linear modelling of viscoplastic structures with residual stresses. We advocate and develop a special approach to residual stresses based on the transition between reference configurations. The finite strain kinematics of the viscoplastic material is modelled by the multiplicative decomposition of the deformation gradient tensor. Numerical algorithms originally developed for unstressed materials are extended to materials with pre-stresses. Owing to the weak invariance of constitutive equations, the incorporation of pre-stresses happens without additional costs. Thus, the advocated approach is especially efficient. A novel experimental/theoretical method for assessment of residual stresses in welded structures is presented; the method combines advantages of purely experimental and theoretical approaches. To demonstrate the applicability of the proposed procedure, we simulate plate welding. As an example we show that the procedure allows to extrapolate the filed of residual stresses away from the measurement points. As another example, we address the reduction of weldment-related residual stresses by mechanical treatment.


title: General Inverse Design of Thin-Film Metamaterials With Convolutional Neural Networks

abstract: The design of metamaterials which support unique optical responses is the basis for most thin-film nanophotonics applications. In practice this inverse design problem can be difficult to solve systematically due to the large design parameter space associated with general multi-layered systems. We apply convolutional neural networks, a subset of deep machine learning, as a tool to solve this inverse design problem for metamaterials composed of stacks of thin films. We demonstrate the remarkable ability of neural networks to probe the large global design space (up to $10^{12}$ possible parameter combinations) and resolve all relationships between metamaterial structure and corresponding ellipsometric and reflectance / transmittance spectra. The applicability of the approach is further expanded to include the inverse design of synthetic engineered spectra in general design scenarios. Furthermore, this approach is compared with traditional optimization methods. We find an increase in the relative optimization efficiency of the networks with increasing total layer number, revealing the advantage of the machine learning approach in many-layered systems where traditional methods become impractical.


title: Why Must Primordial Non-Gaussianity Be Very Small?

abstract: One-loop correction to the power spectrum in generic single-field inflation is calculated by using standard perturbation theory. Because of the enhancement inversely proportional to the observed red tilt of the spectral index of curvature perturbation, the correction turns out to be much larger than previously anticipated. As a result, the primordial non-Gaussianity must be much smaller than the current observational bound in order to warrant the validity of cosmological perturbation theory.


title: Reformulating DOVER-Lap Label Mapping as a Graph Partitioning Problem

abstract: We recently proposed DOVER-Lap, a method for combining overlap-aware speaker diarization system outputs. DOVER-Lap improved upon its predecessor DOVER by using a label mapping method based on globally-informed greedy search. In this paper, we analyze this label mapping in the framework of a maximum orthogonal graph partitioning problem, and present three inferences. First, we show that DOVER-Lap label mapping is exponential in the input size, which poses a challenge when combining a large number of hypotheses. We then revisit the DOVER label mapping algorithm and propose a modification which performs similar to DOVER-Lap while being computationally tractable. We also derive an approximation bound for the algorithm in terms of the maximum number of hypotheses speakers. Finally, we describe a randomized local search algorithm which provides a near-optimal $(1-\epsilon)$-approximate solution to the problem with high probability. We empirically demonstrate the effectiveness of our methods on the AMI meeting corpus. Our code is publicly available: https://github.com/desh2608/dover-lap.


title: Automating Transfer Credit Assessment in Student Mobility -- A Natural Language Processing-based Approach

abstract: Student mobility or academic mobility involves students moving between institutions during their post-secondary education, and one of the challenging tasks in this process is to assess the transfer credits to be offered to the incoming student. In general, this process involves domain experts comparing the learning outcomes of the courses, to decide on offering transfer credits to the incoming students. This manual implementation is not only labor-intensive but also influenced by undue bias and administrative complexity. The proposed research article focuses on identifying a model that exploits the advancements in the field of Natural Language Processing (NLP) to effectively automate this process. Given the unique structure, domain specificity, and complexity of learning outcomes (LOs), a need for designing a tailor-made model arises. The proposed model uses a clustering-inspired methodology based on knowledge-based semantic similarity measures to assess the taxonomic similarity of LOs and a transformer-based semantic similarity model to assess the semantic similarity of the LOs. The similarity between LOs is further aggregated to form course to course similarity. Due to the lack of quality benchmark datasets, a new benchmark dataset containing seven course-to-course similarity measures is proposed. Understanding the inherent need for flexibility in the decision-making process the aggregation part of the model offers tunable parameters to accommodate different scenarios. While providing an efficient model to assess the similarity between courses with existing resources, this research work steers future research attempts to apply NLP in the field of articulation in an ideal direction by highlighting the persisting research gaps.


title: Stronger arithmetic equivalence

abstract: Motivated by a recent result of Prasad, we consider three stronger notions of arithmetic equivalence: local integral equivalence, integral equivalence, and solvable equivalence. In addition to having the same Dedekind zeta function (the usual notion of arithmetic equivalence), number fields that are equivalent in any of these stronger senses must have the same class number, and solvable equivalence forces an isomorphism of adele rings. Until recently the only nontrivial example of integral and solvable equivalence arose from a group-theoretic construction of Scott that was exploited by Prasad. Here we provide infinitely many distinct examples of solvable equivalence, including a family that contains Scott's construction as well as an explicit example of degree 96. We also construct examples that address questions of Scott, and of Guralnick and Weiss, and shed some light on a question of Prasad.


title: The null set of a polytope, and the Pompeiu property for polytopes

abstract: We study the null set $N(\mathcal{P})$ of the Fourier-Laplace transform of a polytope $\mathcal{P} \subset \mathbb{R}^d$, and we find that $N(\mathcal{P})$ does not contain (almost all) circles in $\mathbb{R}^d$. As a consequence, the null set does not contain the algebraic varieties $\{z \in \mathbb{C}^d \mid z_1^2 + \dots + z_d^2 = \alpha^2\}$ for each fixed $\alpha \in \mathbb{C}$, and hence we get an explicit proof that the Pompeiu property is true for all polytopes. Our proof uses the Brion-Barvinok theorem, which gives a concrete formulation for the Fourier-Laplace transform of a polytope, and it also uses properties of Bessel functions. The original proof that polytopes (as well as other bodies) possess the Pompeiu property was given by Brown, Schreiber, and Taylor (1973) for dimension 2. Williams (1976) later observed that the same proof also works for $d>2$ and, using eigenvalues of the Laplacian, gave another proof valid for $d \geq 2$ that polytopes have the Pompeiu property.


title: A Generalized Unscented Transformation for Probability Distributions

abstract: The unscented transform uses a weighted set of samples called sigma points to propagate the means and covariances of nonlinear transformations of random variables. However, unscented transforms developed using either the Gaussian assumption or a minimum set of sigma points typically fall short when the random variable is not Gaussian distributed and the nonlinearities are substantial. In this paper, we develop the generalized unscented transform (GenUT), which uses 2n+1 sigma points to accurately capture up to the diagonal components of the skewness and kurtosis tensors of most probability distributions. Constraints can be analytically enforced on the sigma points while guaranteeing at least second-order accuracy. The GenUT uses the same number of sigma points as the original unscented transform while also being applicable to non-Gaussian distributions, including the assimilation of observations in the modeling of infectious diseases such as coronavirus (SARS-CoV-2) causing COVID-19.


title: Self-Healing First-Order Distributed Optimization

abstract: In this paper we describe a parameterized family of first-order distributed optimization algorithms that enable a network of agents to collaboratively calculate a decision variable that minimizes the sum of cost functions at each agent. These algorithms are self-healing in that their correctness is guaranteed even if they are initialized randomly, agents drop in or out of the network, local cost functions change, or communication packets are dropped. Our algorithms are the first single-Laplacian methods to exhibit all of these characteristics. We achieve self-healing by sacrificing internal stability, a fundamental trade-off for single-Laplacian methods.


title: Multi-Atlas Based Pathological Stratification of d-TGA Congenital Heart Disease

abstract: One of the main sources of error in multi-atlas segmentation propagation approaches comes from the use of atlas databases that are morphologically dissimilar to the target image. In this work, we exploit the segmentation errors associated with poor atlas selection to build a computer aided diagnosis (CAD) system for pathological classification in post-operative dextro-transposition of the great arteries (d-TGA). The proposed approach extracts a set of features, which describe the quality of a segmentation, and introduces them into a logical decision tree that provides the final diagnosis. We have validated our method on a set of 60 whole heart MR images containing healthy cases and two different forms of post-operative d-TGA. The reported overall CAD system accuracy was of 93.33%.


title: Some isoperimetric inequalities in the plane with radial power weights

abstract: We consider the punctured plane with volume density $|x|^\alpha$ and perimeter density $|x|^\beta$. We show that centred balls are uniquely isoperimetric for indices $(\alpha,\beta)$ which satisfy the conditions $\alpha-\beta+1>0$, $\alpha\leq 2\beta$ and $\alpha(\beta+1)\leq\beta^2$ except in the case $\alpha=\beta=0$ which corresponds to the classical isoperimetric inequality.


title: Two-body wave functions and compositeness from scattering amplitudes: II. Application to the physical $N ^{\ast}$ and $\Delta ^{\ast}$ resonances

abstract: The meson-baryon molecular components for the $N^{\ast}$ and $\Delta ^{\ast}$ resonances are investigated in terms of the compositeness, which is defined as the norm of the two-body wave function from the meson-baryon scattering amplitudes. The scattering amplitudes are constructed in a $\pi N$-$\eta N$-$\sigma N$-$\rho N$-$\pi \Delta$ coupled-channels problem in a meson exchange model together with several bare $N^{\ast}$ and $\Delta ^{\ast}$ states, and parameters are fitted so as to reproduce the on-shell $\pi N$ partial wave amplitudes up to the center-of-mass energy 1.9 GeV with the orbital angular momentum $L \le 2$. As a result, the Roper resonance $N (1440)$ is found to be dominated by the $\pi N$ and $\sigma N$ molecular components while the bare-state contribution is small. The squared wave functions in coordinate space imply that both in the $\pi N$ and $\sigma N$ channels the separation between the meson and baryon is about more than 1 fm for the $N (1440)$ resonance. On the other hand, dominant meson-baryon molecular components are not observed in any other $N^{\ast}$ and $\Delta ^{\ast}$ resonances in the present model, although they have some fractions of the meson-baryon clouds.


title: Performance Evaluation of Machine Learning Techniques for DoS Detection in Wireless Sensor Network

abstract: The nature of Wireless Sensor Networks (WSN) and the widespread of using WSN introduce many security threats and attacks. An effective Intrusion Detection System (IDS) should be used to detect attacks. Detecting such an attack is challenging, especially the detection of Denial of Service (DoS) attacks. Machine learning classification techniques have been used as an approach for DoS detection. This paper conducted an experiment using Waikato Environment for Knowledge Analysis (WEKA)to evaluate the efficiency of five machine learning algorithms for detecting flooding, grayhole, blackhole, and scheduling at DoS attacks in WSNs. The evaluation is based on a dataset, called WSN-DS. The results showed that the random forest classifier outperforms the other classifiers with an accuracy of 99.72%.


title: All-dielectric thermonanophotonics

abstract: Nanophotonics is an important branch of modern optics dealing with light-matter interaction at the nanoscale. Nanoparticles can exhibit enhanced light absorption under illumination by light, and they become nanoscale sources of heat that can be precisely controlled and manipulated. For metal nanoparticles, such effects have been studied in the framework of $\textit{thermoplasmonics}$ which, similar to plasmonics itself, has a number of limitations. Recently emerged $\textit{all-dielectric resonant nanophotonics}$ is associated with optically-induced electric and magnetic Mie resonances, and this field is developing very rapidly in the last decade. As a result, thermoplasmonics is being replaced by $\textit{all-dielectric thermonanophotonics}$ with many important applications such as photothermal cancer therapy, drug and gene delivery, nanochemistry, and photothermal imaging. This review paper aims to introduce this new field of non-plasmonic nanophotonics and discuss associated thermally-induced processes at the nanoscale.


title: AuTO: A Framework for Automatic differentiation in Topology Optimization

abstract: A critical step in topology optimization (TO) is finding sensitivities. Manual derivation and implementation of the sensitivities can be quite laborious and error-prone, especially for non-trivial objectives, constraints and material models. An alternate approach is to utilize automatic differentiation (AD). While AD has been around for decades, and has also been applied in TO, wider adoption has largely been absent. In this educational paper, we aim to reintroduce AD for TO, and make it easily accessible through illustrative codes. In particular, we employ JAX, a high-performance Python library for automatically computing sensitivities from a user defined TO problem. The resulting framework, referred to here as AuTO, is illustrated through several examples in compliance minimization, compliant mechanism design and microstructural design.


title: DataOps for Societal Intelligence: a Data Pipeline for Labor Market Skills Extraction and Matching

abstract: Big Data analytics supported by AI algorithms can support skills localization and retrieval in the context of a labor market intelligence problem. We formulate and solve this problem through specific DataOps models, blending data sources from administrative and technical partners in several countries into cooperation, creating shared knowledge to support policy and decision-making. We then focus on the critical task of skills extraction from resumes and vacancies featuring state-of-the-art machine learning models. We showcase preliminary results with applied machine learning on real data from the employment agencies of the Netherlands and the Flemish region in Belgium. The final goal is to match these skills to standard ontologies of skills, jobs and occupations.


title: Generation of High-Order Vortex States from Two-Mode Squeezed States

abstract: We report a scheme for generation of high-order vortex states using two-mode photon-number squeezed states, generated via the non-linear process of Spontaneous Parametric Down Conversion. By applying a parametric rotation in quadrature space $(X,Y)$, using a $\phi$ converter, the Gaussian quadrature profile of the photon-number squeezed input state can be mapped into a superposition of Laguerre-Gauss modes with $N$ vortices or singularities, for an input state containing $N$ photons, thus mapping photon-number fluctuations to interference effects in quadrature space. Our scheme has the potential to improve measurement sensitivity beyond the Standard Quantum Limit (SQL $\propto \sqrt{N}$), by exploiting the advantages of optical vortices, such as ease of creation and detection, high dimensionality or topological properties, for applications requiring reduced uncertainty, such as quantum cryptography, quantum metrology and sensing.


title: Counting intersection numbers of closed geodesics on Shimura curves

abstract: Let $\Gamma\subseteq\text{PSL}(2, \mathbb{R})$ correspond to the group of units of norm $1$ in an Eichler order $\mathrm{O}$ of an indefinite quaternion algebra over $\mathbb{Q}$. Closed geodesics on $\Gamma\backslash\mathbb{H}$ correspond to optimal embeddings of real quadratic orders into $\mathrm{O}$. The weighted intersection numbers of pairs of these closed geodesics conjecturally relates to the work of Darmon-Vonk on a real quadratic analogue to the difference of singular moduli. In this paper, we study the total intersection number over all embeddings of a given pair of discriminants. We precisely describe the arithmetic of each intersection, and produce a formula for the total intersection. This formula is a real quadratic analogue of the work of Gross and Zagier on factorizing the difference of singular moduli. The results are fairly general, allowing for a large class of non-maximal Eichler orders, and non-fundamental/non-coprime discriminants. The paper ends with some explicit examples illustrating the results of the paper.


title: Glasslike phonon excitation caused by ferroelectric structural instability

abstract: Quest for new states of matter near an ordered phase is a promising route for making modern physics forward. By probing thermal properties of a ferroelectric (FE) crystal Ba1-xSrxAl2O4, we have clarified that low-energy excitation of acoustic phonons is remarkably enhanced with critical behavior at the border of the FE phase. The phonon spectrum is significantly damped toward the FE phase boundary and transforms into glasslike phonon excitation which is reminiscent of a boson peak. This system thus links long-standing issues of amorphous solids and structural instability in crystals to pave the way to controlling lattice fluctuation as a new tuning parameter.


title: Warm Jupiters in TESS Full-Frame Images: A Catalog and Observed Eccentricity Distribution for Year 1

abstract: Warm Jupiters -- defined here as planets larger than 6 Earth radii with orbital periods of 8--200 days -- are a key missing piece in our understanding of how planetary systems form and evolve. It is currently debated whether Warm Jupiters form in situ, undergo disk or high eccentricity tidal migration, or have a mixture of origin channels. These different classes of origin channels lead to different expectations for Warm Jupiters' properties, which are currently difficult to evaluate due to the small sample size. We take advantage of the \TESS survey and systematically search for Warm Jupiter candidates around main-sequence host stars brighter than the \TESS-band magnitude of 12 in the Full-Frame Images in Year 1 of the \TESS Prime Mission data. We introduce a catalog of 55 Warm Jupiter candidates, including 19 candidates that were not originally released as \TESS Objects of Interest (TOIs) by the \TESS team. We fit their \TESS light curves, characterize their eccentricities and transit-timing variations (TTVs), and prioritize a list for ground-based follow-up and \TESS Extended Mission observations. Using hierarchical Bayesian modeling, we find the preliminary eccentricity distributions of our Warm-Jupiter-candidate catalog using a Beta distribution, a Rayleigh distribution, and a two-component Gaussian distribution as the functional forms of the eccentricity distribution. Additional follow-up observations will be required to clean the sample of false positives for a full statistical study, derive the orbital solutions to break the eccentricity degeneracy, and provide mass measurements.


title: Integrating multi-fidelity blood flow data with reduced-order data assimilation

abstract: High-fidelity patient-specific modeling of cardiovascular flows and hemodynamics is challenging. Direct blood flow measurement inside the body with in-vivo measurement modalities such as 4D flow magnetic resonance imaging (4D flow MRI) suffer from low resolution and acquisition noise. In-vitro experimental modeling and patient-specific computational fluid dynamics (CFD) models are subject to uncertainty in patient-specific boundary conditions and model parameters. Furthermore, collecting blood flow data in the near-wall region (e.g., wall shear stress) with experimental measurement modalities poses additional challenges. In this study, a computationally efficient data assimilation method called reduced-order modeling Kalman filter (ROM-KF) was proposed, which combined a sequential Kalman filter with reduced-order modeling using a linear model provided by dynamic mode decomposition (DMD). The goal of ROM-KF was to overcome low resolution and noise in experimental and uncertainty in CFD modeling of cardiovascular flows. The accuracy of the method was assessed with 1D Womersley flow, 2D idealized aneurysm, and 3D patient-specific cerebral aneurysm models. Synthetic experimental data were used to enable direct quantification of errors using benchmark datasets. The accuracy of ROM-KF in reconstructing near-wall hemodynamics was assessed by applying the method to problems where near-wall blood flow data were missing in the experimental dataset. The ROM-KF method provided blood flow data that were more accurate than the computational and synthetic experimental datasets and improved near-wall hemodynamics quantification.


title: Spectral Clustering for Jet Physics

abstract: We present a new approach to jet definition alternative to clustering methods, such as the anti-$k_T$ scheme, that exploit kinematic data directly. Instead the new method uses kinematic information to represent the particles in a multidimensional space, as in spectral clustering. After confirming its Infra-Red (IR) safety, we compare its performance in analysing $qq\to H_{125\,\text{GeV}} \rightarrow H_{40\,\text{GeV}} H_{40\,\text{GeV}} \rightarrow b \bar{b} b \bar{b}$, $qq\to H_{500\,\text{GeV}} \rightarrow H_{125\,\text{GeV}} H_{125\,\text{GeV}} \rightarrow b \bar{b} b \bar{b}$ and $gg,q\bar q\to t\bar t\to b\bar b W^+W^-\to b\bar b jj \ell\nu_\ell$ events from Monte Carlo (MC) samples, specifically, in reconstructing the relevant final states, to that of the anti-kT algorithm. Finally, we show that the results for spectral clustering are obtained without any change in the parameter settings of the algorithm, unlike the anti-kT case, which requires the cone size to be adjusted to the physics process under study.


title: Dynamical systems on hypergraphs

abstract: We present a general framework that enables one to model high-order interaction among entangled dynamical systems, via hypergraphs. Several relevant processes can be ideally traced back to the proposed scheme. We shall here solely elaborate on the conditions that seed the spontaneous emergence of patterns, spatially heterogeneous solutions resulting from the many-body interaction between fundamental units. In particular we will focus, on two relevant settings. First, we will assume long-ranged mean field interactions between populations, and then turn to considering diffusive-like couplings. Two applications are presented, respectively to a generalised Volterra system and the Brusselator model.

categories: cond-mat.stat-mech math.DS nlin.PS physics.soc-ph


title: Effective Model for Rare-earth Kitaev Materials and its Classical Monte Carlo Simulation

abstract: Recently, the family of rare-earth chalcohalides were proposed as candidate compounds to realize the Kitaev spin liquid (KSL). In the present work, we firstly propose an effective spin Hamiltonian consistents with the symmetry group of the crystal structure. Then we apply classical Monte Carlo simulations to preliminarily study the model and establish a phase diagram. When approaching to the low temperature limit, several magnetic long range orders are observed, including the stripe, the zigzag, the antiferromagnetic (AFM), the ferromagnetic (FM), the incommensurate spiral (IS), the Multi-$\pmb {Q}$ and the 120{\deg}. We further calculate the thermodynamic properties of the system, such as the temperature dependence of the magnetic susceptibility and the heat capacity. The ordering transition temperatures reflected in the two quantities agree with each other. For most interaction regions, the system is magnetically more susceptible in the $ab$-plane than in the $c$-direction. The stripe phase is special, where the susceptibility is fairly isotropic in the whole temperature region. These features provide useful information to understand the magnetic properties of related materials.


title: Cascaded Robust Learning at Imperfect Labels for Chest X-ray Segmentation

abstract: The superior performance of CNN on medical image analysis heavily depends on the annotation quality, such as the number of labeled image, the source of image, and the expert experience. The annotation requires great expertise and labour. To deal with the high inter-rater variability, the study of imperfect label has great significance in medical image segmentation tasks. In this paper, we present a novel cascaded robust learning framework for chest X-ray segmentation with imperfect annotation. Our model consists of three independent network, which can effectively learn useful information from the peer networks. The framework includes two stages. In the first stage, we select the clean annotated samples via a model committee setting, the networks are trained by minimizing a segmentation loss using the selected clean samples. In the second stage, we design a joint optimization framework with label correction to gradually correct the wrong annotation and improve the network performance. We conduct experiments on the public chest X-ray image datasets collected by Shenzhen Hospital. The results show that our methods could achieve a significant improvement on the accuracy in segmentation tasks compared to the previous methods.


title: FABRIC: A Framework for the Design and Evaluation of Collaborative Robots with Extended Human Adaptation

abstract: A limitation for collaborative robots (cobots) is their lack of ability to adapt to human partners, who typically exhibit an immense diversity of behaviors. We present an autonomous framework as a cobot's real-time decision-making mechanism to anticipate a variety of human characteristics and behaviors, including human errors, toward a personalized collaboration. Our framework handles such behaviors in two levels: 1) short-term human behaviors are adapted through our novel Anticipatory Partially Observable Markov Decision Process (A-POMDP) models, covering a human's changing intent (motivation), availability, and capability; 2) long-term changing human characteristics are adapted by our novel Adaptive Bayesian Policy Selection (ABPS) mechanism that selects a short-term decision model, e.g., an A-POMDP, according to an estimate of a human's workplace characteristics, such as her expertise and collaboration preferences. To design and evaluate our framework over a diversity of human behaviors, we propose a pipeline where we first train and rigorously test the framework in simulation over novel human models. Then, we deploy and evaluate it on our novel physical experiment setup that induces cognitive load on humans to observe their dynamic behaviors, including their mistakes, and their changing characteristics such as their expertise. We conduct user studies and show that our framework effectively collaborates non-stop for hours and adapts to various changing human behaviors and characteristics in real-time. That increases the efficiency and naturalness of the collaboration with a higher perceived collaboration, positive teammate traits, and human trust. We believe that such an extended human adaptation is key to the long-term use of cobots.


title: Bayesian model selection: Application to adjustment of fundamental physical constants

abstract: The location-scale model is usually present in physics and chemistry in connection to the Birge ratio method for the adjustment of fundamental physical constants such as the Planck constant or the Newtonian constant of gravitation, while the random effects model is the commonly used approach for meta-analysis in medicine. These two competitive models are used to increase the quoted uncertainties of the measurement results to make them consistent. The intrinsic Bayes factor (IBF) is derived for the comparison of the random effects model to the location-scale model, and we answer the question which model performs better for the determination of the Newtonian constant of gravitation. The results of the empirical illustration support the application of the Birge ratio method which is currently used in the adjustment of the CODATA 2018 value for the Newtonian constant of gravitation together with its uncertainty. The results of the simulation study illustrate that the suggested procedure for model selection is decisive even when data consist of a few measurement results.


title: Acted vs. Improvised: Domain Adaptation for Elicitation Approaches in Audio-Visual Emotion Recognition

abstract: Key challenges in developing generalized automatic emotion recognition systems include scarcity of labeled data and lack of gold-standard references. Even for the cues that are labeled as the same emotion category, the variability of associated expressions can be high depending on the elicitation context e.g., emotion elicited during improvised conversations vs. acted sessions with predefined scripts. In this work, we regard the emotion elicitation approach as domain knowledge, and explore domain transfer learning techniques on emotional utterances collected under different emotion elicitation approaches, particularly with limited labeled target samples. Our emotion recognition model combines the gradient reversal technique with an entropy loss function as well as the softlabel loss, and the experiment results show that domain transfer learning methods can be employed to alleviate the domain mismatch between different elicitation approaches. Our work provides new insights into emotion data collection, particularly the impact of its elicitation strategies, and the importance of domain adaptation in emotion recognition aiming for generalized systems.


title: The spectrum of the Laplacian and volume growth of proper minimal submanifolds

abstract: We give upper bounds for the bottom of the essential spectrum of properly immersed minimal submanifolds of $\mathbb{R}^{n}$ in terms of their volume growth. Our result improves the extrinsic version of Brook's essential spectrum estimate given by Ilias-Nelli-Soret in \cite[Cor.3]{ins}.


title: Probabilistic Programming Bots in Intuitive Physics Game Play

abstract: Recent findings suggest that humans deploy cognitive mechanism of physics simulation engines to simulate the physics of objects. We propose a framework for bots to deploy probabilistic programming tools for interacting with intuitive physics environments. The framework employs a physics simulation in a probabilistic way to infer about moves performed by an agent in a setting governed by Newtonian laws of motion. However, methods of probabilistic programs can be slow in such setting due to their need to generate many samples. We complement the model with a model-free approach to aid the sampling procedures in becoming more efficient through learning from experience during game playing. We present an approach where combining model-free approaches (a convolutional neural network in our model) and model-based approaches (probabilistic physics simulation) is able to achieve what neither could alone. This way the model outperforms an all model-free or all model-based approach. We discuss a case study showing empirical results of the performance of the model on the game of Flappy Bird.


title: ECRM: Efficient Fault Tolerance for Recommendation Model Training via Erasure Coding

abstract: Deep-learning-based recommendation models (DLRMs) are widely deployed to serve personalized content to users. DLRMs are large in size due to their use of large embedding tables, and are trained by distributing the model across the memory of tens or hundreds of servers. Server failures are common in such large distributed systems and must be mitigated to enable training to progress. Checkpointing is the primary approach used for fault tolerance in these systems, but incurs significant training-time overhead both during normal operation and when recovering from failures. As these overheads increase with DLRM size, checkpointing is slated to become an even larger overhead for future DLRMs, which are expected to grow in size. This calls for rethinking fault tolerance in DLRM training. We present ECRM, a DLRM training system that achieves efficient fault tolerance using erasure coding. ECRM chooses which DLRM parameters to encode, correctly and efficiently updates parities, and enables training to proceed without any pauses, while maintaining consistency of the recovered parameters. We implement ECRM atop XDL, an open-source, industrial-scale DLRM training system. Compared to checkpointing, ECRM reduces training-time overhead for large DLRMs by up to 88%, recovers from failures up to 10.3$\times$ faster, and allows training to proceed during recovery. These results show the promise of erasure coding in imparting efficient fault tolerance to training current and future DLRMs.


title: Neutron Stars in Scalar-tensor Gravity with Quartic Order Scalar Potential

abstract: In this work we investigate the effects of a non-minimally coupled quartic order scalar model on static neutron stars, with the non-minimal coupling in the Jordan frame being of the form $f(\phi ) = 1 + \xi\phi^2$. Particularly we derive the Einstein frame Tolman-Oppenheimer-Volkoff equations, and by numerically integrating them for both the interior and the exterior of the neutron star, using a double shooting python 3 based numerical code, we extract the masses and radii of the neutron stars evaluated finally in the Jordan frame, along with several other related physical quantities of interest. With regard to the equation of state for the neutron star, we use a piecewise polytropic equation of state with the central part being Skyrme-Lyon (SLy), Akmal-Pandharipande-Ravenhall (APR) or the Wiringa-Fiks-Fabrocini (WFF1) equations of state. The resulting $M-R$ graphs are compatible with the observational bounds imposed by the GW170817 event which require the radius of a static $M\sim 1.6 M_{\odot}$ neutron star to be larger than $R=10.68^{+15}_{-0.04}$km and the radius of a static neutron star corresponding to the maximum mass of the star to be larger than $R=9.6^{+0.14}_{-0.03}$km. Moreover, the WFF1 EoS, which was excluded for static neutron stars in the context of general relativity, for the a quartic order scalar model neutron star model provides realistic results compatible with the GW170817 event.


title: The HI and stellar mass bivariate distribution of centrals and satellites for all, late- and early-type local galaxies

abstract: We characterize the conditional distributions of the HI gas-to-stellar mass ratio, $R_{HI}\equiv M_{HI}/M_{\ast}$, given the stellar mass, $M_{\ast}$, of local galaxies from $M_{\ast}\sim 10^7$ to $10^{12}$ $M_{\odot}$ separated into centrals and satellites as well as into late- and early-type galaxies (LTGs and ETGs, respectively). To do so, we use (1) the homogeneous "eXtended GALEX Arecibo SDSS Survey", xGASS (Catinella et al. 2018), by re-estimating their upper limits and taking into account them in our statistical analysis; and (2) the results from a large compilation of HI data reported in Calette et al. (2018). We use the $R_{HI}$ conditional distributions combined with the Galaxy Stellar Mass Function to infer the bivariate $M_{HI}$ and $M_{\ast}$ distribution of all galaxies as well of the late/early-type and central/satellite subsamples and their combinations. Satellites are on average less HI gas-rich than centrals at low and intermediate masses, with differences being larger for ETGs than LTGs; at $M_{\ast}>3-5\times 10^{10}$ $M_{\odot}$ the differences are negligible. The differences in the HI gas content are much larger between LTGs and ETGs than between centrals and satellites. Our empirical HI Mass Function is strongly dominated by central galaxies at all masses. The empirically constrained bivariate $M_{HI}$ and $M_{\ast}$ distributions presented here can be used to compare and constrain theoretical predictions as well as to generate galaxy mock catalogues.


title: HLA-Face: Joint High-Low Adaptation for Low Light Face Detection

abstract: Face detection in low light scenarios is challenging but vital to many practical applications, e.g., surveillance video, autonomous driving at night. Most existing face detectors heavily rely on extensive annotations, while collecting data is time-consuming and laborious. To reduce the burden of building new datasets for low light conditions, we make full use of existing normal light data and explore how to adapt face detectors from normal light to low light. The challenge of this task is that the gap between normal and low light is too huge and complex for both pixel-level and object-level. Therefore, most existing low-light enhancement and adaptation methods do not achieve desirable performance. To address the issue, we propose a joint High-Low Adaptation (HLA) framework. Through a bidirectional low-level adaptation and multi-task high-level adaptation scheme, our HLA-Face outperforms state-of-the-art methods even without using dark face labels for training. Our project is publicly available at https://daooshee.github.io/HLA-Face-Website/


title: Using spatial-temporal ensembles of convolutional neural networks for lumen segmentation in ureteroscopy

abstract: Purpose: Ureteroscopy is an efficient endoscopic minimally invasive technique for the diagnosis and treatment of upper tract urothelial carcinoma (UTUC). During ureteroscopy, the automatic segmentation of the hollow lumen is of primary importance, since it indicates the path that the endoscope should follow. In order to obtain an accurate segmentation of the hollow lumen, this paper presents an automatic method based on Convolutional Neural Networks (CNNs). Methods: The proposed method is based on an ensemble of 4 parallel CNNs to simultaneously process single and multi-frame information. Of these, two architectures are taken as core-models, namely U-Net based in residual blocks($m_1$) and Mask-RCNN($m_2$), which are fed with single still-frames $I(t)$. The other two models ($M_1$, $M_2$) are modifications of the former ones consisting on the addition of a stage which makes use of 3D Convolutions to process temporal information. $M_1$, $M_2$ are fed with triplets of frames ($I(t-1)$, $I(t)$, $I(t+1)$) to produce the segmentation for $I(t)$. Results: The proposed method was evaluated using a custom dataset of 11 videos (2,673 frames) which were collected and manually annotated from 6 patients. We obtain a Dice similarity coefficient of 0.80, outperforming previous state-of-the-art methods. Conclusion: The obtained results show that spatial-temporal information can be effectively exploited by the ensemble model to improve hollow lumen segmentation in ureteroscopic images. The method is effective also in presence of poor visibility, occasional bleeding, or specular reflections.


title: Pitman Efficiency Lower Bounds for Multivariate Distribution-Free Tests Based on Optimal Transport

abstract: Distribution-free tests such as the Wilcoxon rank sum test are popular for testing the equality of two univariate distributions. Among the important reasons for their popularity are the striking results of Hodges-Lehmann (1956) and Chernoff-Savage (1958), where the authors show that the asymptotic (Pitman) relative efficiency of Wilcoxon's test with respect to Student's $t$-test, under location-shift alternatives, never falls below $0.864$ (with the identity score) and $1$ (with the Gaussian score) respectively, despite the former being exactly distribution-free for all sample sizes. Motivated by these results, we propose and study a large family of exactly distribution-free multivariate rank-based two-sample tests by leveraging the theory of optimal transport. First, we propose distribution-free analogs of the Hotelling $T^2$ test (the natural multidimensional counterpart of Student's $t$-test) and show that they satisfy Hodges-Lehmann and Chernoff-Savage-type efficiency lower bounds over natural sub-families of multivariate distributions, despite being entirely agnostic to the underlying data generating mechanism -- making them the first multivariate, nonparametric, exactly distribution-free tests that provably achieve such efficiency lower bounds. As these tests are derived from Hotelling $T^2$, naturally they are not universally consistent (same as Wilcoxon's test). To overcome this, we propose exactly distribution-free versions of the celebrated kernel maximum mean discrepancy test and the energy test. These tests are indeed universally consistent under no moment assumptions, exactly distribution-free for all sample sizes, and have non-trivial Pitman efficiency. We believe this trifecta of properties hasn't yet been proven for any existing test in the literature.


title: Rejoinder: Gaussian Differential Privacy

abstract: In this rejoinder, we aim to address two broad issues that cover most comments made in the discussion. First, we discuss some theoretical aspects of our work and comment on how this work might impact the theoretical foundation of privacy-preserving data analysis. Taking a practical viewpoint, we next discuss how f-differential privacy (f-DP) and Gaussian differential privacy (GDP) can make a difference in a range of applications.


title: Floquet prethermalization with lifetime exceeding 90s in a bulk hyperpolarized solid

abstract: We report the observation of long-lived Floquet prethermal states in a bulk solid composed of dipolar-coupled $^{13}$C nuclei in diamond at room temperature. For precessing nuclear spins prepared in an initial transverse state, we demonstrate pulsed spin-lock Floquet control that prevents their decay over multiple-minute long periods. We observe Floquet prethermal lifetimes $T_2'\approx$90.9s, extended >60,000-fold over the nuclear free induction decay times. The spins themselves are continuously interrogated for $\sim$10min, corresponding to the application of $\approx$5.8M control pulses. The $^{13}$C nuclei are optically hyperpolarized by lattice Nitrogen Vacancy (NV) centers; the combination of hyperpolarization and continuous spin readout yields significant signal-to-noise in the measurements. This allows probing the Floquet thermalization dynamics with unprecedented clarity. We identify four characteristic regimes of the thermalization process, discerning short-time transient processes leading to the prethermal plateau, and long-time system heating towards infinite temperature. This work points to new opportunities possible via Floquet control in networks of dilute, randomly distributed, low-sensitivity nuclei. In particular, the combination of minutes-long prethermal lifetimes and continuous spin interrogation opens avenues for quantum sensors constructed from hyperpolarized Floquet prethermal nuclei.


title: Dr-Vectors: Decision Residual Networks and an Improved Loss for Speaker Recognition

abstract: Many neural network speaker recognition systems model each speaker using a fixed-dimensional embedding vector. These embeddings are generally compared using either linear or 2nd-order scoring and, until recently, do not handle utterance-specific uncertainty. In this work we propose scoring these representations in a way that can capture uncertainty, enroll/test asymmetry and additional non-linear information. This is achieved by incorporating a 2nd-stage neural network (known as a decision network) as part of an end-to-end training regimen. In particular, we propose the concept of decision residual networks which involves the use of a compact decision network to leverage cosine scores and to model the residual signal that's needed. Additionally, we present a modification to the generalized end-to-end softmax loss function to target the separation of same/different speaker scores. We observed significant performance gains for the two techniques.


title: The Limits of a Family; of Asymptotic Solutions to The Tetration Equation

abstract: In this paper we construct a family of holomorphic functions $\beta_\lambda (s)$ which are solutions to the asymptotic tetration equation. Each $\beta_\lambda$ satisfies the functional relationship ${\displaystyle \beta_\lambda(s+1) = \frac{e^{\beta_\lambda(s)}}{e^{-\lambda s} + 1}}$; which asymptotically converges as $\log \beta_\lambda(s+1) = \beta_\lambda (s) + \mathcal{O}(e^{-\lambda s})$ as $\Re(\lambda s) \to \infty$. This family of asymptotic solutions is used to construct a holomorphic function $\text{tet}_\beta(s) : \mathbb{C}/(-\infty,-2] \to \mathbb{C}$ such that $\text{tet}_\beta(s+1) = e^{\text{tet}_\beta(s)}$ and $\text{tet}_\beta : (-2,\infty) \to \mathbb{R}$ bijectively.


title: MeetDurian: A Gameful Mobile App to Prevent COVID-19 Infection

abstract: The COVID-19 problem has not gone away with the passing of the seasons. Even though most countries have achieved remarkable results in fighting against epidemic diseases and preventing and controlling viruses, the general public is still far from understanding the new crown virus and lacks imagination on its transmission law. In this paper, we propose MeetDurian: a cross-platform mobile application that exploits a location-based game to improve users' hygiene habits and reduce virus dispersal. We present its main features, its architecture, and its core technologies. Finally, we report a set of experiments that prove the acceptability and usability of MeetDurian. An illustrative demo of the mobile app features is shown in the following video: https://youtu.be/Vqg7nFDQuOU.


title: Qubit Routing using Graph Neural Network aided Monte Carlo Tree Search

abstract: Near-term quantum hardware can support two-qubit operations only on the qubits that can interact with each other. Therefore, to execute an arbitrary quantum circuit on the hardware, compilers have to first perform the task of qubit routing, i.e., to transform the quantum circuit either by inserting additional SWAP gates or by reversing existing CNOT gates to satisfy the connectivity constraints of the target topology. We propose a procedure for qubit routing that is architecture agnostic and that outperforms other available routing implementations on various circuit benchmarks. The depth of the transformed quantum circuits is minimised by utilizing the Monte Carlo tree search to perform qubit routing, aided by a Graph neural network that evaluates the value function and action probabilities for each state.


title: An upper bound on the Universality of the Quantum Approximate Optimization Algorithm

abstract: Using lie algebra, this brief text provides an upper bound on the universality of QAOA. That is, we prove that the upper bound for the number of alterations of QAOA required to approximate a universal gate set is within O(n)


title: Hidden symmetry of Hahn problem for $sl_q(2)

abstract: A special case of Askey-Wilson algebra $AW(3)$ with three generators is shown to serve as a hidden symmetry algebra underlying the Hahn problem for the quantum algebra $sl_q(2)$. On the base of this hidden symmetry the corresponding Clebsch-Gordan coefficients in terms of the q-Hahn polynomials is found.


title: Extended Black Hole Solutions in Self-interacting Brans-Dicke Theory

abstract: In this paper, we formulate black hole solutions through extended gravitational decoupling scheme in the framework of self-interacting Brans-Dicke theory. The addition of a new source in the matter distribution increases the degrees of freedom in the system of field equations. Transformations in radial as well as temporal metric functions split the system into two arrays. Each array includes the effects of only one source (either seed or additional). The seed source is assumed to be a vacuum and the corresponding system is specified through the Schwarzschild metric. In order to construct a suitable solution of the second system, constraints are applied on the metric potentials and energy-momentum tensor of the additional source. We obtain three solutions corresponding to different values of the decoupling parameter in the presence of a massive scalar field. The extra source is classified as normal or exotic through energy conditions. It is found that two solutions agree with the energy bounds and thus have normal matter as their source.


title: Generalized Joint Probability Density Function Formulation inTurbulent Combustion using DeepONet

abstract: Joint probability density function (PDF)-based models in turbulent combustion provide direct closure for turbulence-chemistry interactions. The joint PDFs capture the turbulent flame dynamics at different spatial locations and hence it is crucial to represent them accurately. The jointPDFs are parameterized on the unconditional means of thermo-chemical state variables, which can be high dimensional. Thus, accurate construction of joint PDFs at various spatial locations may require an exorbitant amount of data. In a previous work, we introduced a framework that alleviated data requirements by constructing joint PDFs in a lower dimensional space using principal component analysis (PCA) in conjunction with Kernel Density Estimation (KDE). However, constructing the principal component (PC) joint PDFs is still computationally expensive as they are required to be calculated at each spatial location in the turbulent flame. In this work, we propose the concept of a generalized joint PDF model using the Deep Operator Network (DeepONet). The DeepONet is a machine learning model that is parameterized on the unconditional means of PCs at a given spatial location and discrete PC coordinates and predicts the joint probability density value for the corresponding PC coordinate. We demonstrate the accuracy and generalizability of the DeepONet on the Sandia flames, D, E and F. The DeepONet is trained based on the PC joint PDFs observed inflame E and yields excellent predictions of joint PDFs shapes at different spatial locations of flamesD and F, which are not seen during training


title: Revealing Nanoscale Confinement Effects on Hyperbolic Phonon Polaritons with an Electron Beam

abstract: Hyperbolic phonon polaritons (HPhPs) in hexagonal boron nitride (hBN) enable the direct manipulation of mid-infrared light at nanometer scales, many orders of magnitude below the free-space light wavelength. High resolution monochromated electron energy-loss spectroscopy (EELS) facilitates measurement of excitations with energies extending into the mid-infrared while maintaining nanoscale spatial resolution, making it ideal for detecting HPhPs. The electron beam is a precise source and probe of HPhPs, that allows us to perform novel experiments to observe nanoscale confinement in HPhP structures and directly extract hBN polariton dispersions for both modes in the bulk of the flake and modes along the edge. Our measurements reveal technologically important non-trivial phenomena, such as localized polaritons induced by environmental heterogeneity, enhanced and suppressed excitation due to two-dimensional interference, and strong modification of high-momenta excitations of edge-confined polaritons by nanoscale heterogeneity on edge boundaries. Our work opens exciting prospects for the design of real-world optical mid-infrared devices based on hyperbolic polaritons.


title: Absence of superconductivity in the Hubbard dimer model for kappa-(BEDT-TTF)_2X

abstract: In the most studied family of organic superconductors kappa-(BEDT-TTF)_2X, the BEDT-TTF molecules that make up the conducting planes are coupled as dimers. For some anions X, an antiferromagnetic insulator is found at low temperatures adjacent to superconductivity. With an average of one hole carrier per dimer, the BEDT-TTF band is effectively 1/2-filled. Numerous theories have suggested that fluctuations of the magnetic order can drive superconducting pairing in these models, even as direct calculations of superconducting pairing in monomer 1/2-filled band models find no superconductivity. Here we present accurate zero-temperature Density Matrix Renormalization Group (DMRG) calculations of a dimerized lattice with one hole per dimer. While we do find an antiferromagnetic state in our results, we find no evidence for superconducting pairing. This further demonstrates that magnetic fluctuations in the effective 1/2-filled band approach do not drive superconductivity in these and related materials.


title: Anisotropic pressure and quark number susceptibility of strongly magnetized QCD medium

abstract: In this work, we compute the hard thermal loop pressure of quark-gluon plasma within strong magnetic field approximation at one-loop order. Magnetic field breaks the rotational symmetry of the system. As a result, the pressure of QGP becomes anisotropic and one finds two different pressures along the longitudinal (along the magnetic field direction) and transverse direction. Similarly, the second-order quark number susceptibility, which represents the fluctuation of the net quark number density, also becomes anisotropic. We compute the second order QNS of deconfined QCD matter in strong field approximation considering same chemical potential for two quark flavors.


title: Can audio-visual integration strengthen robustness under multimodal attacks?

abstract: In this paper, we propose to make a systematic study on machines multisensory perception under attacks. We use the audio-visual event recognition task against multimodal adversarial attacks as a proxy to investigate the robustness of audio-visual learning. We attack audio, visual, and both modalities to explore whether audio-visual integration still strengthens perception and how different fusion mechanisms affect the robustness of audio-visual models. For interpreting the multimodal interactions under attacks, we learn a weakly-supervised sound source visual localization model to localize sounding regions in videos. To mitigate multimodal attacks, we propose an audio-visual defense approach based on an audio-visual dissimilarity constraint and external feature memory banks. Extensive experiments demonstrate that audio-visual models are susceptible to multimodal adversarial attacks; audio-visual integration could decrease the model robustness rather than strengthen under multimodal attacks; even a weakly-supervised sound source visual localization model can be successfully fooled; our defense method can improve the invulnerability of audio-visual networks without significantly sacrificing clean model performance.


title: Constraining the origin of the puzzling source HESS J1640-465 and the PeVatron candidate HESS J1641-463 using Fermi-LAT observations

abstract: There are only few very-high-energy sources in our Galaxy which might accelerate particles up to the knee of the cosmic-ray spectrum. To understand the mechanisms of particle acceleration in these PeVatron candidates, \textit{Fermi}-LAT and H.E.S.S. observations are essential to characterize their $\gamma$-ray emission. HESS J1640$-$465 and the PeVatron candidate HESS J1641$-$463 are two neighboring (\ang[astroang]{0.25}) $\gamma$-ray sources, spatially coincident with the radio supernova remnants (SNRs) G338.3$-$0.0 and G338.5+0.1. Detected both by H.E.S.S. and \textit{Fermi}-LAT, we present here a morphological and spectral analysis of these two sources using 8 years of \textit{Fermi}-LAT data between 200 \si{\mega\electronvolt} and 1 \si{\tera\electronvolt} with multi-wavelength observations to assess their nature. The morphology of HESS J1640$-$465 is described by a 2D Gaussian ($\sigma=$ \ang[astroang]{0.053} $\pm$ \ang[astroang]{0.011}$_{stat}$ $ \pm$ \ang[astroang]{0.03}$_{syst}$) and its spectrum is modeled by a power-law with a spectral index $\Gamma = 1.8\pm0.1_{\rm stat}\pm0.2_{\rm syst}$. HESS J1641$-$463 is detected as a point-like source and its GeV emission is described by a logarithmic-parabola spectrum with $\alpha = 2.7 \pm 0.1_ {\rm stat} \pm 0.2_ {\rm syst} $ and significant curvature of $\beta = 0.11 \pm 0.03_ {\rm stat} \pm 0.05_ {\rm syst} $. Radio and X-ray flux upper limits were derived. We investigated scenarios to explain their emission, namely the emission from accelerated particles within the SNRs spatially coincident with each source, molecular clouds illuminated by cosmic rays from the close-by SNRs, and a pulsar/PWN origin. Our new \emph{Fermi}-LAT results and the radio and flux X-ray upper limits pose severe constraints on some of these models.


title: Ramsey numbers of Boolean lattices

abstract: The poset Ramsey number $R(Q_m,Q_n)$ is the smallest integer $N$ such that any blue-red coloring of the elements of the Boolean lattice $Q_N$ has a blue induced copy of $Q_m$ or a red induced copy of $Q_n$. The weak poset Ramsey number $R_w(Q_m,Q_n)$ is defined analogously, with weak copies instead of induced copies. It is easy to see that $R(Q_m,Q_n) \ge R_w(Q_m,Q_n)$. Axenovich and Walzer showed that $n+2 \le R(Q_2,Q_n) \le 2n+2$. Recently, Lu and Thompson improved the upper bound to $\frac{5}{3}n+2$. In this paper, we solve this problem asymptotically by showing that $R(Q_2,Q_n)=n+O(n/\log n)$. In the diagonal case, Cox and Stolee proved $R_w(Q_n,Q_n) \ge 2n+1$ using a probabilistic construction. In the induced case, Bohman and Peng showed $R(Q_n,Q_n) \ge 2n+1$ using an explicit construction. Improving these results, we show that $R_w(Q_m,Q_n) \ge n+m+1$ for all $m \ge 2$ and large $n$ by giving an explicit construction; in particular, we prove that $R_w(Q_2,Q_n)=n+3$.


title: Stein trisections and homotopy 4-balls

abstract: A homotopy 4-ball is a smooth 4-manifold with boundary $S^3$ that is homotopy-equivalent to the standard $B^4$. The smooth 4-dimensional Schoenflies problem asks whether every homotopy 4-ball in $S^4$ (or equivalently $\mathbb{C}^2$) is standard. It is well-known that if a homotopy 4-ball embeds as a compact, pseudoconvex domain in a Stein surface, then it must be standard. In this paper, we describe a compelling reimbedding construction for homotopy 4-balls in $\mathbb{C}^2$. In particular, given a homotopy 4-ball in $\mathbb{C}^2$, we construct a diffeomorphic domain that is the union of three pseudoconvex domains. Moreover, we give an analytic criterion that ensures this domain is a standard 4-ball.


title: Learning of Causal Observable Functions for Koopman-DFL Lifting Linearization of Nonlinear Controlled Systems and Its Application to Excavation Automation

abstract: Effective and causal observable functions for low-order lifting linearization of nonlinear controlled systems are learned from data by using neural networks. While Koopman operator theory allows us to represent a nonlinear system as a linear system in an infinite-dimensional space of observables, exact linearization is guaranteed only for autonomous systems with no input, and finding effective observable functions for approximation with a low-order linear system remains an open question. Dual-Faceted Linearization uses a set of effective observables for low-order lifting linearization, but the method requires knowledge of the physical structure of the nonlinear system. Here, a data-driven method is presented for generating a set of nonlinear observable functions that can accurately approximate a nonlinear control system to a low-order linear control system. A caveat in using data of measured variables as observables is that the measured variables may contain input to the system, which incurs a causality contradiction when lifting the system, i.e. taking derivatives of the observables. The current work presents a method for eliminating such anti-causal components of the observables and lifting the system using only causal observables. The method is applied to excavation automation, a complex nonlinear dynamical system, to obtain a low-order lifted linear model for control design.


title: Uncertainty-Aware COVID-19 Detection from Imbalanced Sound Data

abstract: Recently, sound-based COVID-19 detection studies have shown great promise to achieve scalable and prompt digital pre-screening. However, there are still two unsolved issues hindering the practice. First, collected datasets for model training are often imbalanced, with a considerably smaller proportion of users tested positive, making it harder to learn representative and robust features. Second, deep learning models are generally overconfident in their predictions. Clinically, false predictions aggravate healthcare costs. Estimation of the uncertainty of screening would aid this. To handle these issues, we propose an ensemble framework where multiple deep learning models for sound-based COVID-19 detection are developed from different but balanced subsets from original data. As such, data are utilized more effectively compared to traditional up-sampling and down-sampling approaches: an AUC of 0.74 with a sensitivity of 0.68 and a specificity of 0.69 is achieved. Simultaneously, we estimate uncertainty from the disagreement across multiple models. It is shown that false predictions often yield higher uncertainty, enabling us to suggest the users with certainty higher than a threshold to repeat the audio test on their phones or to take clinical tests if digital diagnosis still fails. This study paves the way for a more robust sound-based COVID-19 automated screening system.


title: An $\textit{In Situ}$ Light Illumination System for an Aberration-Corrected Environmental Transmission Electron Microscope

abstract: In this work, an optic fiber based $\textit{in situ}$ illumination system integrated into an aberration-corrected environmental transmission electron microscope (ETEM) is designed, built, characterized and applied. With this illumination system, the dynamic responses of photoactive materials to photons can be directly observed at the atomic level, and other stimuli including heating and various gases can also be applied simultaneously. Either a broadband light source or a high power laser source aiming to expedite photoreactions can be utilized, fitting different application needs. The optic fiber enters the ETEM through the objective aperture port, with a carefully designed curvature and a 30{\deg} cut at the tip to orient the emitted light upwards onto the TEM specimen. The intensity distributions striking the sample from the broadband and laser sources are both measured, and due to the non-uniform distributions, an alignment procedure has been developed to align the bright spot with the electron optical axis of the TEM. The imaging and spectroscopy performances of the ETEM are proved to be maintained after incorporating this illumination system. Furthermore, Langmuir evaporation is observed when in situ laser light is applied to GaAs, demonstrating the phenomenon of optical heating on suitable semiconductor materials.


title: On the Dirichlet problem in the plane with polynomial data

abstract: Let $\Omega\subset\mathbb{C}$ be a bounded domain such that there exists an algebraic harmonic function of degree two vanishing on the boundary of $\Omega.$ Then we show that the Khavinson-Shapiro conjecture holds for $\Omega:$ if the Dirichlet problem on $\Omega$ with all polynomial boundary data have polynomial solutions, then $\Omega$ must be an ellipse. We also prove that if there exists a rational function with a singularity in $\Omega$, such that the Dirichlet problem for its restriction on $\partial\Omega$ along with all polynomial functions have rational solutions, then $\Omega$ must be a disc. This generalizes a well-known result by Bell, Ebenfelt, Khavinson, and Shapiro. Our proofs are purely algebraic.


title: Domain Generalization with MixStyle

abstract: Though convolutional neural networks (CNNs) have demonstrated remarkable ability in learning discriminative features, they often generalize poorly to unseen domains. Domain generalization aims to address this problem by learning from a set of source domains a model that is generalizable to any unseen domain. In this paper, a novel approach is proposed based on probabilistically mixing instance-level feature statistics of training samples across source domains. Our method, termed MixStyle, is motivated by the observation that visual domain is closely related to image style (e.g., photo vs.~sketch images). Such style information is captured by the bottom layers of a CNN where our proposed style-mixing takes place. Mixing styles of training instances results in novel domains being synthesized implicitly, which increase the domain diversity of the source domains, and hence the generalizability of the trained model. MixStyle fits into mini-batch training perfectly and is extremely easy to implement. The effectiveness of MixStyle is demonstrated on a wide range of tasks including category classification, instance retrieval and reinforcement learning.


title: Identification and Estimation in Many-to-one Two-sided Matching without Transfers

abstract: In a setting of many-to-one two-sided matching with non-transferable utilities, e.g., college admissions, we study conditions under which preferences of both sides are identified with data on one single market. Regardless of whether the market is centralized or decentralized, assuming that the observed matching is stable, we show nonparametric identification of preferences of both sides under certain exclusion restrictions. To take our results to the data, we use Monte Carlo simulations to evaluate different estimators, including the ones that are directly constructed from the identification. We find that a parametric Bayesian approach with a Gibbs sampler works well in realistically sized problems. Finally, we illustrate our methodology in decentralized admissions to public and private schools in Chile and conduct a counterfactual analysis of an affirmative action policy.


title: Chromospheric Heating by MHD Waves and Instabilities

abstract: The importance of the chromosphere in the mass and energy transport within the solar atmosphere is now widely recognised. This review discusses the physics of magnetohydrodynamic (MHD) waves and instabilities in large-scale chromospheric structures as well as in magnetic flux tubes. We highlight a number of key observational aspects that have helped our understanding of the role of the solar chromosphere in various dynamic processes and wave phenomena, and the heating scenario of the solar chromosphere is also discussed. The review focuses on the physics of waves and invokes the basics of plasma instabilities in the context of this important layer of the solar atmosphere. Potential implications, future trends and outstanding questions are also delineated.


title: Holst-MacDowell-Mansouri action for (extended) supergravity with boundaries and super Chern-Simons theory

abstract: In this article, the Cartan geometric approach toward (extended) supergravity in the presence of boundaries will be discussed. In particular, based on new developments in this field, we will derive the Holst variant of the MacDowell-Mansouri action for $\mathcal{N}=1$ and $\mathcal{N}=2$ pure AdS supergravity in $D=4$ for arbitrary Barbero-Immirzi parameters. This action turns out to play a crucial role in context of boundaries in the framework of supergravity if one imposes supersymmetry invariance at the boundary. For the $\mathcal{N}=2$ case, it follows that this amounts to the introduction of a $\theta$-topological term to the Yang-Mills sector which explicitly depends on the Barbero-Immirzi parameter. This shows the close connection between this parameter and the $\theta$-ambiguity of gauge theory. We will also discuss the chiral limit of the theory, which turns out to possess some very special properties such as the manifest invariance of the resulting action under an enlarged gauge symmetry. Moreover, we will show that demanding supersymmetry invariance at the boundary yields a unique boundary term corresponding to a super Chern-Simons theory with $\mathrm{OSp}(\mathcal{N}|2)$ gauge group. In this context, we will also derive boundary conditions that couple boundary and bulk degrees of freedom and show equivalence to the results found in the D'Auria-Fr\'e approach in context of the non-chiral theory. These results provide a step towards of quantum description of supersymmetric black holes in the framework of loop quantum gravity.


title: Graph Neural Networks Based Detection of Stealth False Data Injection Attacks in Smart Grids

abstract: False data injection attacks (FDIAs) represent a major class of attacks that aim to break the integrity of measurements by injecting false data into the smart metering devices in power grids. To the best of authors' knowledge, no study has attempted to design a detector that automatically models the underlying graph topology and spatially correlated measurement data of the smart grids to better detect cyber attacks. The contributions of this paper to detect and mitigate FDIAs are twofold. First, we present a generic, localized, and stealth (unobservable) attack generation methodology and publicly accessible datasets for researchers to develop and test their algorithms. Second, we propose a Graph Neural Network (GNN) based, scalable and real-time detector of FDIAs that efficiently combines model-driven and data-driven approaches by incorporating the inherent physical connections of modern AC power grids and exploiting the spatial correlations of the measurement. It is experimentally verified by comparing the proposed GNN based detector with the currently available FDIA detectors in the literature that our algorithm outperforms the best available solutions by 3.14%, 4.25%, and 4.41% in F1 score for standard IEEE testbeds with 14, 118, and 300 buses, respectively.


title: Quantized Gromov-Wasserstein

abstract: The Gromov-Wasserstein (GW) framework adapts ideas from optimal transport to allow for the comparison of probability distributions defined on different metric spaces. Scalable computation of GW distances and associated matchings on graphs and point clouds have recently been made possible by state-of-the-art algorithms such as S-GWL and MREC. Each of these algorithmic breakthroughs relies on decomposing the underlying spaces into parts and performing matchings on these parts, adding recursion as needed. While very successful in practice, theoretical guarantees on such methods are limited. Inspired by recent advances in the theory of quantization for metric measure spaces, we define Quantized Gromov Wasserstein (qGW): a metric that treats parts as fundamental objects and fits into a hierarchy of theoretical upper bounds for the GW problem. This formulation motivates a new algorithm for approximating optimal GW matchings which yields algorithmic speedups and reductions in memory complexity. Consequently, we are able to go beyond outperforming state-of-the-art and apply GW matching at scales that are an order of magnitude larger than in the existing literature, including datasets containing over 1M points.


title: SPGISpeech: 5,000 hours of transcribed financial audio for fully formatted end-to-end speech recognition

abstract: In the English speech-to-text (STT) machine learning task, acoustic models are conventionally trained on uncased Latin characters, and any necessary orthography (such as capitalization, punctuation, and denormalization of non-standard words) is imputed by separate post-processing models. This adds complexity and limits performance, as many formatting tasks benefit from semantic information present in the acoustic signal but absent in transcription. Here we propose a new STT task: end-to-end neural transcription with fully formatted text for target labels. We present baseline Conformer-based models trained on a corpus of 5,000 hours of professionally transcribed earnings calls, achieving a CER of 1.7. As a contribution to the STT research community, we release the corpus free for non-commercial use at https://datasets.kensho.com/datasets/scribe.


title: To design interfaces for exploratory data analysis, we need theories of graphical inference

abstract: Research and development in computer science and statistics have produced increasingly sophisticated software interfaces for interactive and exploratory analysis, optimized for easy pattern finding and data exposure. But design philosophies that emphasize exploration over other phases of analysis risk confusing a need for flexibility with a conclusion that exploratory visual analysis is inherently model-free and cannot be formalized. We describe how without a grounding in theories of human statistical inference, research in exploratory visual analysis can lead to contradictory interface objectives and representations of uncertainty that can discourage users from drawing valid inferences. We discuss how the concept of a model check in a Bayesian statistical framework unites exploratory and confirmatory analysis, and how this understanding relates to other proposed theories of graphical inference. Viewing interactive analysis as driven by model checks suggests new directions for software and empirical research around exploratory and visual analysis. For example, systems should enable specifying and explicitly comparing data to null and other reference distributions and better representations of uncertainty. Implications of Bayesian and other theories of graphical inference should be tested against outcomes of interactive analysis by people to drive theory development.