title: Mastering the Game of Stratego with Model-Free Multiagent Reinforcement Learning

abstract: We introduce DeepNash, an autonomous agent capable of learning to play the imperfect information game Stratego from scratch, up to a human expert level. Stratego is one of the few iconic board games that Artificial Intelligence (AI) has not yet mastered. This popular game has an enormous game tree on the order of $10^{535}$ nodes, i.e., $10^{175}$ times larger than that of Go. It has the additional complexity of requiring decision-making under imperfect information, similar to Texas hold'em poker, which has a significantly smaller game tree (on the order of $10^{164}$ nodes). Decisions in Stratego are made over a large number of discrete actions with no obvious link between action and outcome. Episodes are long, with often hundreds of moves before a player wins, and situations in Stratego can not easily be broken down into manageably-sized sub-problems as in poker. For these reasons, Stratego has been a grand challenge for the field of AI for decades, and existing AI methods barely reach an amateur level of play. DeepNash uses a game-theoretic, model-free deep reinforcement learning method, without search, that learns to master Stratego via self-play. The Regularised Nash Dynamics (R-NaD) algorithm, a key component of DeepNash, converges to an approximate Nash equilibrium, instead of 'cycling' around it, by directly modifying the underlying multi-agent learning dynamics. DeepNash beats existing state-of-the-art AI methods in Stratego and achieved a yearly (2022) and all-time top-3 rank on the Gravon games platform, competing with human expert players.


title: On the efficacy of higher-order spectral clustering under weighted stochastic block models

abstract: Higher-order structures of networks, namely, small subgraphs of networks (also called network motifs), are widely known to be crucial and essential to the organization of networks. There has been a few work studying the community detection problem -- a fundamental problem in network analysis, at the level of motifs. In particular, higher-order spectral clustering has been developed, where the notion of motif adjacency matrix is introduced as the input of the algorithm. However, it remains largely unknown that how higher-order spectral clustering works and when it performs better than its edge-based counterpart. To elucidate these problems, we investigate higher-order spectral clustering from a statistical perspective. In particular, we theoretically study the clustering performance of higher-order spectral clustering under a weighted stochastic block model and compare the resulting bounds with the corresponding results of edge-based spectral clustering. It turns out that when the network is dense with weak signal of weights, higher-order spectral clustering can really lead to the performance gain in clustering. We also use simulations and real data experiments to support the findings.


title: Mixed Reality as Communication Medium for Human-Robot Collaboration

abstract: Humans engaged in collaborative activities are naturally able to convey their intentions to teammates through multi-modal communication, which is made up of explicit and implicit cues. Similarly, a more natural form of human-robot collaboration may be achieved by enabling robots to convey their intentions to human teammates via multiple communication channels. In this paper, we postulate that a better communication may take place should collaborative robots be able to anticipate their movements to human teammates in an intuitive way. In order to support such a claim, we propose a robot system's architecture through which robots can communicate planned motions to human teammates leveraging a Mixed Reality interface powered by modern head-mounted displays. Specifically, the robot's hologram, which is superimposed to the real robot in the human teammate's point of view, shows the robot's future movements, allowing the human to understand them in advance, and possibly react to them in an appropriate way. We conduct a preliminary user study to evaluate the effectiveness of the proposed anticipatory visualization during a complex collaborative task. The experimental results suggest that an improved and more natural collaboration can be achieved by employing this anticipatory communication mode.


title: How direct is the link between words and images?

abstract: Current word embedding models despite their success, still suffer from their lack of grounding in the real world. In this line of research, Gunther et al. 2022 proposed a behavioral experiment to investigate the relationship between words and images. In their setup, participants were presented with a target noun and a pair of images, one chosen by their model and another chosen randomly. Participants were asked to select the image that best matched the target noun. In most cases, participants preferred the image selected by the model. Gunther et al., therefore, concluded the possibility of a direct link between words and embodied experience. We took their experiment as a point of departure and addressed the following questions. 1. Apart from utilizing visually embodied simulation of given images, what other strategies might subjects have used to solve this task? To what extent does this setup rely on visual information from images? Can it be solved using purely textual representations? 2. Do current visually grounded embeddings explain subjects' selection behavior better than textual embeddings? 3. Does visual grounding improve the semantic representations of both concrete and abstract words? To address these questions, we designed novel experiments by using pre-trained textual and visually grounded word embeddings. Our experiments reveal that subjects' selection behavior is explained to a large extent based on purely text-based embeddings and word-based similarities, suggesting a minor involvement of active embodied experiences. Visually grounded embeddings offered modest advantages over textual embeddings only in certain cases. These findings indicate that the experiment by Gunther et al. may not be well suited for tapping into the perceptual experience of participants, and therefore the extent to which it measures visually grounded knowledge is unclear.


title: An FPGA-based Trigger System for CSHINE

abstract: A trigger system of general function is designed using the commercial module CAEN V2495 for heavy ion nuclear reaction experiment at Fermi energies. The system has been applied and verified on CSHINE (Compact Spectrometer for Heavy IoN Experiment). Based on the field programmable logic gate array (FPGA) technology of command register access and remote computer control operation, trigger functions can be flexibly configured according to the experimental physical goals. Using the trigger system on CSHINE, we carried out the beam experiment of 25 MeV/u $ ^{86}{\rm Kr}+ ^{124}{\rm Sn}$ on the Radioactive Ion Beam Line 1 in Lanzhou (RIBLL1), China. The online results demonstrate that the trigger system works normally and correctly. The system can be extended to other experiments.


title: Integrated Photonic Platforms for Quantum Technology: A Review

abstract: Quantum information processing has conceptually changed the way we process and transmit information. Quantum physics, which explains the strange behaviour of matter at the microscopic dimensions, has matured into a quantum technology that can harness this strange behaviour for technological applications with far-reaching consequences, which uses quantum bits (qubits) for information processing. Experiments suggest that photons are the most successful candidates for realising qubits, which indicates that integrated photonic platforms will play a crucial role in realising quantum technology. This paper surveys the various photonic platforms based on different materials for quantum information processing. The future of this technology depends on the successful materials that can be used to universally realise quantum devices, similar to silicon, which shaped the industry towards the end of the last century. Though a prediction is implausible at this point, we provide an overview of the current status of research on the platforms based on various materials.


title: A data-driven Reduced Order Method for parametric optimal blood flow control: application to coronary bypass graft

abstract: We consider an optimal flow control problem in a patient-specific coronary artery bypass graft with the aim of matching the blood flow velocity with given measurements as the Reynolds number varies in a physiological range. Blood flow is modelled with the steady incompressible Navier-Stokes equations. The geometry consists in a stenosed left anterior descending artery where a single bypass is performed with the right internal thoracic artery. The control variable is the unknown value of the normal stress at the outlet boundary, which is need for a correct set-up of the outlet boundary condition. For the numerical solution of the parametric optimal flow control problem, we develop a data-driven reduced order method that combines proper orthogonal decomposition (POD) with neural networks. We present numerical results showing that our data-driven approach leads to a substantial speed-up with respect to a more classical POD-Galerkin strategy proposed in [59], while having comparable accuracy.


title: Basic introduction to higher-spin theories

abstract: This is a collection of my lecture notes on the higher-spin theory course given for students at the Institute for Theoretical and Mathematical Physics, Lomonosov Moscow State University. The goal of these lectures is to give an introduction to higher-spin theories accessible to master level students which would enable them to read the higher-spin literature. I start by introducing basic relevant notions of representation theory and the associated field-theoretic descriptions. Focusing on massless symmetric fields I review different approaches to interactions as well as the no-go results. I end the lectures by reviewing some of the currently available positive results on interactions of massless higher-spin fields, namely, holographic, Chern-Simons and chiral higher-spin theories.


title: Phase-Field Finite Deformation Fracture with an Effective Energy for Regularized Crack Face Contact

abstract: Phase-field models are a leading approach for realistic fracture problems. They treat the crack as a second phase and use gradient terms to smear out the crack faces, enabling the use of standard numerical methods for simulations. This regularization causes cracks to occupy a finite volume in the reference, and leads to the inability to appropriately model the closing or contacting -- without healing -- of crack faces. Specifically, the classical idealized crack face tractions are that the shear component is zero, and that the normal component is zero when the crack opens and identical to the intact material when the crack closes. Phase-field fracture models do not replicate this behavior. This work addresses this shortcoming by introducing an effective crack energy density that endows the regularized (finite volume) phase-field crack with the effective properties of an idealized sharp crack. The approach is based on applying the QR (upper triangular) decomposition of the deformation gradient tensor in the basis of the crack, enabling a transparent identification of the crack deformation modes. By then relaxing over those modes that do not cost energy, an effective energy is obtained that has the intact response when the crack faces close and zero energy when the crack faces are open. A highlight of this approach is that it lies completely in the setting of finite deformation, enabling potential application to soft materials and other settings with large deformation or rotations. The model is applied to numerically study representative complex loadings, including (1) cyclic loading on a cavity in a soft solid that shows the growth and closing of cracks in complex stress states; and (2) cyclic shear that shows a complex pattern of crack branching driven by the closure of cracks.


title: Where to Begin? On the Impact of Pre-Training and Initialization in Federated Learning

abstract: An oft-cited challenge of federated learning is the presence of heterogeneity. \emph{Data heterogeneity} refers to the fact that data from different clients may follow very different distributions. \emph{System heterogeneity} refers to client devices having different system capabilities. A considerable number of federated optimization methods address this challenge. In the literature, empirical evaluations usually start federated training from random initialization. However, in many practical applications of federated learning, the server has access to proxy data for the training task that can be used to pre-train a model before starting federated training. Using four standard federated learning benchmark datasets, we empirically study the impact of starting from a pre-trained model in federated learning. Unsurprisingly, starting from a pre-trained model reduces the training time required to reach a target error rate and enables the training of more accurate models (up to 40\%) than is possible when starting from random initialization. Surprisingly, we also find that starting federated learning from a pre-trained initialization reduces the effect of both data and system heterogeneity. We recommend future work proposing and evaluating federated optimization methods to evaluate the performance when starting from random and pre-trained initializations. This study raises several questions for further work on understanding the role of heterogeneity in federated optimization. \footnote{Our code is available at: \url{https://github.com/facebookresearch/where_to_begin}}


title: A (T) Correction for Multicomponent Coupled-Cluster Theory

abstract: The (T) and [T] perturbative corrections are derived for multicomponent coupled-cluster theory with single and double excitations (CCSD). Benchmarking shows that multicomponent CCSD methods that include the perturbative corrections are more accurate than multicomponent CCSD for the calculation of proton affinities and absolute energies. An approximation is introduced that includes only (T) or [T] contributions from mixed electron-nuclear excitations, which significantly reduces computational effort with only small changes in protonic properties.


title: Band Versus Polaron: Charge Transport in Antimony Chalcogenides

abstract: Antimony sulfide (Sb2S3) and selenide (Sb2Se3) are emerging earth-abundant absorbers for photovoltaic applications. Solar cell performance depends strongly on charge carrier transport properties but these remain poorly understood in Sb2X3. Here we report band-like transport in Sb2X3 by investigating the electron-lattice interaction and theoretical limits of carrier mobility using first-principles density functional theory and Boltzmann transport calculations. We demonstrate that transport in Sb2X3 is governed by large polarons with moderate Fr\"ohlich coupling constants (~ 2), large polaron radii (extending over several unit cells) and high carrier mobility (an isotropic average of > 10 for both electrons and holes). The room temperature mobility is intrinsically limited by scattering from polar phonon modes and is further reduced in highly defective samples. Our study confirms that the performance of the Sb2X3 solar cells is not limited by intrinsic self-trapping.


title: Probing the efficiency of tidal synchronization in outspiralling double white dwarf binaries with LISA

abstract: Compact-object binaries including a white dwarf component are unique among gravitational-wave sources because their evolution is governed not just by general relativity and tides, but also by mass transfer. While the black hole and neutron star binaries observed with ground-based gravitational-wave detectors are driven to inspiral due to the emission of gravitational radiation--manifesting as a "chirp-like" gravitational-wave signal--the astrophysical processes at work in double white dwarf (DWD) systems can cause the inspiral to stall and even reverse into an outspiral. The dynamics of the DWD outspiral thus encode information about tides, which tell us about the behaviour of electron-degenerate matter. We carry out a population study to determine the effect of the strength of tides on the distributions of the DWD binary parameters that the Laser Interferometer Space Antenna (LISA) will be able to constrain. We find that the strength of tidal coupling parameterized via the tidal synchronization timescale at the onset of mass transfer affects the distribution of gravitational-wave frequencies and frequency derivatives for detectably mass-transferring DWD systems. Using a hierarchical Bayesian framework informed by binary population synthesis simulations, we demonstrate how this parameter can be inferred using LISA observations. By measuring the population properties of DWDs, LISA will be able to probe the behavior of electron-degenerate matter.


title: Why do the symmetries of the monster vertex algebra form a finite simple group?

abstract: Together with their 1988 construction of the monster vertex algebra $V^\natural$, Frenkel, Lepowsky, and Meurman showed that the largest sporadic simple group, known as the Fischer-Griess monster, forms the symmetry group of an infinite dimensional algebraic object whose construction was motivated by theoretical physics. However, the fact that the symmetry group is in fact finite and simple ultimately relied on highly non-trivial group-theoretic results used in Griess's work on the monster. We prove some properties of the automorphism group of $V^\natural$, most notably that it is is finite and simple, using recent developments in the theory of vertex operator algebras, but mostly 19th century group theory.


title: Compact Binary Coalescences: Astrophysical Processes and Lessons Learned

abstract: On 11 February 2016, the LIGO and Virgo scientific collaborations announced the first direct detection of gravitational waves, a signal caught by the LIGO interferometers on 14 September 2015, and produced by the coalescence of two stellar-mass black holes. The discovery represented the beginning of an entirely new way to investigate the Universe. The latest gravitational-wave catalog by LIGO, Virgo and KAGRA brings the total number of gravitational-wave events to 90, and the count is expected to significantly increase in the next years, when additional ground-based and space-born interferometers will be operational. From the theoretical point of view, we have only fuzzy ideas about where the detected events came from, and the answers to most of the five Ws and How for the astrophysics of compact binary coalescences are still unknown. In this work, we review our current knowledge and uncertainties on the astrophysical processes behind merging compact-object binaries. Furthermore, we discuss the astrophysical lessons learned through the latest gravitational-wave detections, paying specific attention to the theoretical challenges coming from exceptional events (e.g., GW190521 and GW190814).


title: The ionization problem in quantum mechanics

abstract: While it is well-known experimentally that a neutral atom can bind at most one or two extra electrons, deriving this fact rigorously from first principles of quantum mechanics remains a very challenging problem, often referred to as the ionization conjecture. We will review some of Elliott H. Lieb's fundamental contributions to this topic and discuss their impacts on several recent developments.


title: The star formation history in the last 10 billion years from CIB cross-correlations

abstract: The Cosmic Infrared Background (CIB) traces the emission of star-forming galaxies throughout all cosmic epochs. Breaking down the contribution from galaxies at different redshifts to the observed CIB maps would allow us to probe the history of star formation. In this paper, we cross-correlate maps of the CIB with galaxy samples covering the range $z\lesssim2$ to measure the bias-weighted star-formation rate (SFR) density $\langle b\rho_{\rm SFR}\rangle$ as a function of time in a model independent way. This quantity is complementary to direct measurements of the SFR density $\rho_{\rm SFR}$, giving a higher weight to more massive haloes, and thus provides additional information to constrain the physical properties of star formation. Using cross-correlations of the CIB with galaxies from the DESI Legacy Survey and the extended Baryon Oscillation Spectroscopic Survey, we obtain high signal-to-noise ratio measurements of $\langle b\rho_{\rm SFR}\rangle$, which we then use to place constraints on halo-based models of the star-formation history. We fit halo-based SFR models to our data and compare the recovered $\rho_{\rm SFR}$ with direct measurements of this quantity. We find a qualitatively good agreement between both independent datasets, although the details depend on the specific halo model assumed. This constitutes a useful robustness test for the physical interpretation of the CIB, and reinforces the role of CIB maps as valuable astrophysical probes of the large-scale structure. We report our measurements of $\langle b\rho_{\rm SFR}\rangle$ as well as a thorough account of their statistical uncertainties, which can be used to constrain star formation models in combination with other data.


title: Polynomial-Time Optimal Equilibria with a Mediator in Extensive-Form Games

abstract: For common notions of correlated equilibrium in extensive-form games, computing an optimal (e.g., welfare-maximizing) equilibrium is NP-hard. Other equilibrium notions -- communication (Forges 1986) and certification (Forges & Koessler 2005) equilibria -- augment the game with a mediator that has the power to both send and receive messages to and from the players -- and, in particular, to remember the messages. In this paper, we investigate both notions in extensive-form games from a computational lens. We show that optimal equilibria in both notions can be computed in polynomial time, the latter under a natural additional assumption known in the literature. Our proof works by constructing a mediator-augmented game of polynomial size that explicitly represents the mediator's decisions and actions. Our framework allows us to define an entire family of equilibria by varying the mediator's information partition, the players' ability to lie, and the players' ability to deviate. From this perspective, we show that other notions of equilibrium, such as extensive-form correlated equilibrium, correspond to the mediator having imperfect recall. This shows that, at least among all these equilibrium notions, the hardness of computation is driven by the mediator's imperfect recall. As special cases of our general construction, we recover 1) the polynomial-time algorithm of Conitzer & Sandholm (2004) for automated mechanism design in Bayes-Nash equilibria and 2) the correlation DAG algorithm of Zhang et al (2022) for optimal correlation. Our algorithm is especially scalable when the equilibrium notion is what we define as the full-certification equilibrium, where players cannot lie about their information but they can be silent. We back up our theoretical claims with experiments on a suite of standard benchmark games.


title: Polarized high-frequency wave propagation beyond the nonlinear Schr\"odinger approximation

abstract: This paper studies highly oscillatory solutions to a class of systems of semilinear hyperbolic equations with a small parameter, in a setting that includes Klein--Gordon equations and the Maxwell--Lorentz system. The interest here is in solutions that are polarized in the sense that up to a small error, the oscillations in the solution depend on only one of the frequencies that satisfy the dispersion relation with a given wave vector appearing in the initial wave packet. The construction and analysis of such polarized solutions is done using modulated Fourier expansions. This approach includes higher harmonics and yields approximations to polarized solutions that are of arbitrary order in the small parameter, going well beyond the known first-order approximation via a nonlinear Schr\"odinger equation. The given construction of polarized solutions is explicit, uses in addition a linear Schr\"odinger equation for each further order of approximation, and is accessible to direct numerical approximation.


title: Randomized K-FACs: Speeding up K-FAC with Randomized Numerical Linear Algebra

abstract: K-FAC is a successful tractable implementation of Natural Gradient for Deep Learning, which nevertheless suffers from the requirement to compute the inverse of the Kronecker factors (through an eigen-decomposition). This can be very time-consuming (or even prohibitive) when these factors are large. In this paper, we theoretically show that, owing to the exponential-average construction paradigm of the Kronecker factors that is typically used, their eigen-spectrum must decay. We show numerically that in practice this decay is very rapid, leading to the idea that we could save substantial computation by only focusing on the first few eigen-modes when inverting the Kronecker-factors. Importantly, the spectrum decay happens over a constant number of modes irrespectively of the layer width. This allows us to reduce the time complexity of K-FAC from cubic to quadratic in layer width, partially closing the gap w.r.t. SENG (another practical Natural Gradient implementation for Deep learning which scales linearly in width). Randomized Numerical Linear Algebra provides us with the necessary tools to do so. Numerical results show we obtain $\approx2.5\times$ reduction in per-epoch time and $\approx3.3\times$ reduction in time to target accuracy. We compare our proposed K-FAC sped-up versions SENG, and observe that for CIFAR10 classification with VGG16_bn we perform on par with it.


title: PolarFormer: Multi-camera 3D Object Detection with Polar Transformer

abstract: 3D object detection in autonomous driving aims to reason "what" and "where" the objects of interest present in a 3D world. Following the conventional wisdom of previous 2D object detection, existing methods often adopt the canonical Cartesian coordinate system with perpendicular axis. However, we conjugate that this does not fit the nature of the ego car's perspective, as each onboard camera perceives the world in shape of wedge intrinsic to the imaging geometry with radical (non-perpendicular) axis. Hence, in this paper we advocate the exploitation of the Polar coordinate system and propose a new Polar Transformer (PolarFormer) for more accurate 3D object detection in the bird's-eye-view (BEV) taking as input only multi-camera 2D images. Specifically, we design a cross attention based Polar detection head without restriction to the shape of input structure to deal with irregular Polar grids. For tackling the unconstrained object scale variations along Polar's distance dimension, we further introduce a multi-scalePolar representation learning strategy. As a result, our model can make best use of the Polar representation rasterized via attending to the corresponding image observation in a sequence-to-sequence fashion subject to the geometric constraints. Thorough experiments on the nuScenes dataset demonstrate that our PolarFormer outperforms significantly state-of-the-art 3D object detection alternatives.


title: An algebraic approach to the hyperbolicity of moduli stacks of Calabi-Yau varieties

abstract: The moduli stacks of Calabi-Yau varieties are known to enjoy several hyperbolicity properties. The best results have so far been proven using sophisticated analytic tools such as complex Hodge theory. Although the situation is very different in positive characteristic (e.g. the moduli stack of principally polarized abelian varieties of dimension at least 2 contains rational curves), we explain in this note how one can prove many hyperbolicity results by reduction to positive characteristic, relying ultimately on the nonabelian Hodge theory in positive characteristic developed by Ogus and Vologodsky.


title: Learning Audio-Text Agreement for Open-vocabulary Keyword Spotting

abstract: In this paper, we propose a novel end-to-end user-defined keyword spotting method that utilizes linguistically corresponding patterns between speech and text sequences. Unlike previous approaches requiring speech keyword enrollment, our method compares input queries with an enrolled text keyword sequence. To place the audio and text representations within a common latent space, we adopt an attention-based cross-modal matching approach that is trained in an end-to-end manner with monotonic matching loss and keyword classification loss. We also utilize a de-noising loss for the acoustic embedding network to improve robustness in noisy environments. Additionally, we introduce the LibriPhrase dataset, a new short-phrase dataset based on LibriSpeech for efficiently training keyword spotting models. Our proposed method achieves competitive results on various evaluation sets compared to other single-modal and cross-modal baselines.


title: Line Defect Quantum Numbers & Anomalies

abstract: We explore the connection between the global symmetry quantum numbers of line defects and 't Hooft anomalies. Relative to local (point) operators, line defects may transform projectively under both internal and spacetime symmetries. This phenomenon is known as symmetry fractionalization, and in general it signals the presence of certain discrete 't Hooft anomalies. We describe this in detail in the context of free Maxwell theory in four dimensions. This understanding allows us to deduce the 't Hooft anomalies of non-Abelian gauge theories with renormalization group flows into Maxwell theory by analyzing the fractional quantum numbers of dynamical magnetic monopoles. We illustrate this method in $SU(2)$ gauge theories with matter fermions in diverse representations of the gauge group. For adjoint matter, we uncover a mixed anomaly involving the 0-form and 1-form symmetries, extending previous results. For $SU(2)$ QCD with fundamental fermions, the 't Hooft anomaly for the 0-form symmetries that is encoded by the fractionalization patterns of lines in the Maxwell phase is a consequence of the familiar perturbative (triangle) anomaly.


title: Approximation of high-frequency wave propagation in dispersive media

abstract: We consider semilinear hyperbolic systems with a trilinear nonlinearity. Both the differential equation and the initial data contain the inverse of a small parameter $\varepsilon$, and typical solutions oscillate with frequency proportional to $1/\varepsilon$ in time and space. Moreover, solutions have to be computed on time intervals of length $1/\varepsilon$ in order to study nonlinear and diffractive effects. As a consequence, direct numerical simulations are extremely costly or even impossible. We propose an analytical approximation and prove that it approximates the exact solution up to an error of $\mathcal{O}(\varepsilon^2)$ on time intervals of length $1/\varepsilon$. This is a significant improvement over the classical nonlinear Schr\"odinger approximation, which only yields an accuracy of $\mathcal{O}(\varepsilon)$.


title: Coupling Perovskite Quantum Dot Pairs in Solution using Nanoplasmonic Assembly

abstract: Perovskite quantum dots (PQDs) provide a robust solution-based approach to efficient solar cells, bright light-emitting devices, and quantum sources of light. Quantifying heterogeneity and understanding coupling between dots is critical for these applications. We use double-nanohole optical trapping to size individual dots and correlate to emission energy shifts from quantum confinement. We were able to assemble a second dot in the trap, which allows us to observe the coupling between dots. We observe a systematic red-shift of 1.1 $\pm$ 0.6 meV in the emission wavelength. Theoretical analysis shows that the observed shift is consistent with resonant energy transfer and is unusually large due to moderate-to-large quantum confinement in PQDs. This demonstrates the promise of PQDs for entanglement in quantum information applications. This work enables future in situ control of PQD growth as well as studies of the coupling between small PQD assemblies with quantum information applications in mind.


title: Inferring the nuclear symmetry energy at supra saturation density from neutrino cooling

abstract: An ambitious goal of the astrophysical community is not only to constrain the equation of state (EOS) of neutron star (NS) matter by confronting it with astrophysics observations, but ultimately also to infer the NS composition. Nevertheless, the composition of the NS core is likely to remain uncertain unless we have an accurate determination of the nuclear symmetry energy at supra saturation density ($\rho>\rho_0$). We investigate how the nucleonic direct Urca (dUrca) processes can be used as an effective probe to constraint the high density nuclear symmetry energy. A large number of minimally constrained EOSs has been constructed by applying a Bayesian approach to study the correlations of the symmetry energy at different densities with a few selected properties of a NS. The nuclear symmetry energy above the baryon density 0.5 fm$^{-3}$ ($\sim 3 \rho_0$) is found to be strongly correlated with NS mass at which the onset of nucleonic dUrca neutrino cooling takes place in the core. This allows us to constrain the high density behavior of nuclear symmetry energy within narrow bounds. {The pure neutron matter pressure constraint from chiral effective field theory rules out the onset of nucleonic dUrca in stars with a mass $\lesssim$ 1.4 $M_\odot$.} The onset of dUrca inside 1.6 M$_\odot$ to 1.8 M$_\odot$ NS implies a slope of the symmetry energy $L$ at $\sim 2.5~\rho_0$, respectively, between 54 and 48 MeV.


title: Multivariate trace estimation in constant quantum depth

abstract: There is a folkloric belief that a depth-$\Theta(m)$ quantum circuit is needed to estimate the trace of the product of $m$ density matrices (i.e., a multivariate trace), a subroutine crucial to applications in condensed matter and quantum information science. We prove that this belief is overly conservative by constructing a constant quantum-depth circuit for the task, inspired by the method of Shor error correction. Furthermore, our circuit demands only local gates in a two dimensional circuit -- we show how to implement it in a highly parallelized way on an architecture similar to that of Google's Sycamore processor. With these features, our algorithm brings the central task of multivariate trace estimation closer to the capabilities of near-term quantum processors. We instantiate the latter application with a theorem on estimating nonlinear functions of quantum states with "well-behaved" polynomial approximations.


title: Modeling Spin-Dependent Nonadiabatic Dynamics with Electronic Degeneracy: A Phase-Space Surface-Hopping Method

abstract: Nuclear Berry curvature effects emerge from electronic spin degeneracy and canlead to non-trivial spin-dependent (nonadiabatic) nuclear dynamics. However, such effects are completely neglected in all current mixed quantum-classical methods such as fewest switches surface-hopping. In this work, we present a phase-space surface-hopping (PSSH) approach to simulate singlet-triplet intersystem crossing dynamics. We show that with a simple pseudo-diabatic ansatz, a PSSH algorithm can capture the relevant Berry curvature effects and make predictions in agreement with exact quantum dynamics for a simple singlet-triplet model Hamiltonian. Thus, this approach represents an important step towards simulating photochemical and spin processes concomitantly, as relevant to intersystem crossing and spin-lattice relaxation dynamics.


title: Shifts 2.0: Extending The Dataset of Real Distributional Shifts

abstract: Distributional shift, or the mismatch between training and deployment data, is a significant obstacle to the usage of machine learning in high-stakes industrial applications, such as autonomous driving and medicine. This creates a need to be able to assess how robustly ML models generalize as well as the quality of their uncertainty estimates. Standard ML baseline datasets do not allow these properties to be assessed, as the training, validation and test data are often identically distributed. Recently, a range of dedicated benchmarks have appeared, featuring both distributionally matched and shifted data. Among these benchmarks, the Shifts dataset stands out in terms of the diversity of tasks as well as the data modalities it features. While most of the benchmarks are heavily dominated by 2D image classification tasks, Shifts contains tabular weather forecasting, machine translation, and vehicle motion prediction tasks. This enables the robustness properties of models to be assessed on a diverse set of industrial-scale tasks and either universal or directly applicable task-specific conclusions to be reached. In this paper, we extend the Shifts Dataset with two datasets sourced from industrial, high-risk applications of high societal importance. Specifically, we consider the tasks of segmentation of white matter Multiple Sclerosis lesions in 3D magnetic resonance brain images and the estimation of power consumption in marine cargo vessels. Both tasks feature ubiquitous distributional shifts and a strict safety requirement due to the high cost of errors. These new datasets will allow researchers to further explore robust generalization and uncertainty estimation in new situations. In this work, we provide a description of the dataset and baseline results for both tasks.


title: Sub-8-Bit Quantization Aware Training for 8-Bit Neural Network Accelerator with On-Device Speech Recognition

abstract: We present a novel sub-8-bit quantization-aware training (S8BQAT) scheme for 8-bit neural network accelerators. Our method is inspired from Lloyd-Max compression theory with practical adaptations for a feasible computational overhead during training. With the quantization centroids derived from a 32-bit baseline, we augment training loss with a Multi-Regional Absolute Cosine (MRACos) regularizer that aggregates weights towards their nearest centroid, effectively acting as a pseudo compressor. Additionally, a periodically invoked hard compressor is introduced to improve the convergence rate by emulating runtime model weight quantization. We apply S8BQAT on speech recognition tasks using Recurrent Neural NetworkTransducer (RNN-T) architecture. With S8BQAT, we are able to increase the model parameter size to reduce the word error rate by 4-16% relatively, while still improving latency by 5%.


title: Automatically Balancing Model Accuracy and Complexity using Solution and Fitness Evolution (SAFE)

abstract: When seeking a predictive model in biomedical data, one often has more than a single objective in mind, e.g., attaining both high accuracy and low complexity (to promote interpretability). We investigate herein whether multiple objectives can be dynamically tuned by our recently proposed coevolutionary algorithm, SAFE (Solution And Fitness Evolution). We find that SAFE is able to automatically tune accuracy and complexity with no performance loss, as compared with a standard evolutionary algorithm, over complex simulated genetics datasets produced by the GAMETES tool.


title: On the Laplacian spread of digraphs

abstract: In this article, we extend the notion of the Laplacian spread to simple directed graphs (digraphs) using the restricted numerical range. First, we provide Laplacian spread values for several families of digraphs. Then, we prove sharp upper bounds on the Laplacian spread for all polygonal and balanced digraphs. In particular, we show that the validity of the Laplacian spread bound for balanced digraphs is equivalent to the Laplacian spread conjecture for simple undirected graphs, which was conjectured in 2011 and proven in 2021. Moreover, we prove an equivalent statement for weighted balanced digraphs with weights between $0$ and $1$. Finally, we state several open conjectures that are motivated by empirical data.


title: An Iterative Energy Estimate for Degenerate Einstein model of Brownian motion

abstract: We consider the degenerate Einsteins Brownian motion model when the time interval of the moving particles before the collisions, is reciprocal to the number of particles per unit volume u(x,t), at the point of observation x at time t. The parameter 0 < tau < C, which controls the characteristics of the fluid, almost increases unboundedly, as u approaches 0. This degeneration leads to the localization of the particle distribution in the media. In the paper, we present a structural condition of the time interval and the frequency of these free jumps, as functions of u which guarantees the finite speed of propagation of u.


title: Motivic Vitushkin invariants

abstract: We prove the nonarchimedean counterpart of a real inequality involving the metric entropy and measure geometric invariants $V_i$, called Vitushkin's variations. Our inequality is based on a new convenient partial preorder on the set of constructible motivic functions, extending the one considered by R. Cluckers and F. Loeser in Constructible motivic functions and motivic integration, Invent. Math., 173 (2008). We introduce, using motivic integration theory and the notion of riso-triviality, nonarchimedean substitutes of the Vitushkin variations $V_i$, and in particular of the number $V_0$ of connected components. We also prove the nonarchimedean global Cauchy-Crofton formula for definable sets of dimension $d$, relating $V_d$ and the motivic measure in dimension $d$.


title: Bigness of the tangent bundles of projective bundles over curves

abstract: In this short article, we determine the bigness of the tangent bundle $T_X$ of the projective bundle $X=\mathbb{P}_C(E)$ associated to a vector bundle $E$ on a smooth projective curve $C$.


title: Bounding and computing obstacle numbers of graphs

abstract: An obstacle representation of a graph $G$ consists of a set of pairwise disjoint simply-connected closed regions and a one-to-one mapping of the vertices of $G$ to points such that two vertices are adjacent in $G$ if and only if the line segment connecting the two corresponding points does not intersect any obstacle. The obstacle number of a graph is the smallest number of obstacles in an obstacle representation of the graph in the plane such that all obstacles are simple polygons. It is known that the obstacle number of each $n$-vertex graph is $O(n \log n)$ [Balko, Cibulka, and Valtr, 2018] and that there are $n$-vertex graphs whose obstacle number is $\Omega(n/(\log\log n)^2)$ [Dujmovi\'c and Morin, 2015]. We improve this lower bound to $\Omega(n/\log\log n)$ for simple polygons and to $\Omega(n)$ for convex polygons. To obtain these stronger bounds, we improve known estimates on the number of $n$-vertex graphs with bounded obstacle number, solving a conjecture by Dujmovi\'c and Morin. We also show that if the drawing of some $n$-vertex graph is given as part of the input, then for some drawings $\Omega(n^2)$ obstacles are required to turn them into an obstacle representation of the graph. Our bounds are asymptotically tight in several instances. We complement these combinatorial bounds by two complexity results. First, we show that computing the obstacle number of a graph $G$ is fixed-parameter tractable in the vertex cover number of $G$. Second, we show that, given a graph $G$ and a simple polygon $P$, it is NP-hard to decide whether $G$ admits an obstacle representation using $P$ as the only obstacle.


title: MEAD: A Multi-Armed Approach for Evaluation of Adversarial Examples Detectors

abstract: Detection of adversarial examples has been a hot topic in the last years due to its importance for safely deploying machine learning algorithms in critical applications. However, the detection methods are generally validated by assuming a single implicitly known attack strategy, which does not necessarily account for real-life threats. Indeed, this can lead to an overoptimistic assessment of the detectors' performance and may induce some bias in the comparison between competing detection schemes. We propose a novel multi-armed framework, called MEAD, for evaluating detectors based on several attack strategies to overcome this limitation. Among them, we make use of three new objectives to generate attacks. The proposed performance metric is based on the worst-case scenario: detection is successful if and only if all different attacks are correctly recognized. Empirically, we show the effectiveness of our approach. Moreover, the poor performance obtained for state-of-the-art detectors opens a new exciting line of research.


title: UMPIRE: A Universal Moderator for the Participation in IETF Remote Events

abstract: UMPIRE provides seamless meeting interaction among remote and local participants. It uses the BFCP, an IETF standard for moderation.BFCP introduces automated floor control functions to a centralized conferencing environment. This article discusses the design and implementation of the UMPIRE system and highlights the most notable solutions we devised to handle variegated requirements and constraints. We also discuss the lessons learned while experiencing in the first person how the application of research results that have eventually led to new standards still must confront a number of minor yet concrete issues that might completely undermine the overall process of wide adoption by the community.


title: Disentangling emission from star-forming regions in the Magellanic Clouds: Linking [OIII]88 micron and 24 micron

abstract: This study explores the link between the [OIII]88mu emission, a well-known tracer of HII regions, and 24mu continuum, often used to trace warm dust in the ionized phases of galaxies. We investigate the local conditions driving the relation between those tracers in the Magellanic Clouds, comparing observations with Cloudy models consisting of an HII region plus a photodissociation region (PDR) component, varying the stellar age, the initial density (at the illuminated edge of the cloud), and the ionization parameter. We introduce a new parameter, cPDR, to quantify the proportion of emission arising from PDRs and that with an origin in HII regions along each line of sight. We use the ratio ([CII]+[OI])/[OIII] as a proxy for the ratio of PDR versus HII region emission, and compare it to [OIII]/24mu. The use of [OIII]/24mu and [OIII]/70mu together allows us to constrain the models most efficiently. We find a correlation over at least 3 orders of magnitude in [OIII]88mu and 24mu continuum in spatially resolved maps of the Magellanic Cloud regions as well as unresolved galaxy-wide low metallicity galaxies of the Dwarf Galaxy Survey. Most of the regions have low proportions of PDRs along the lines of sight (< 12%), while a limited area of some of the mapped regions can reach 30 to 50%. For most lines of sight within the star-forming regions we have studied in the Magellanic Clouds, HII regions are the dominant phase. We propose the use of the correlation between the [OIII]88mu and 24mu continuum as a new predictive tool to estimate, for example, the [OIII]88mu emission when the 24mu continuum is available or inversely. This can be useful to prepare for ALMA observations of [OIII]88mu in high-z galaxies. This simple and novel method may also provide a way to disentangle different phases along the line of sight, when other 3D information is not available.


title: Distributed asynchronous convergence detection without detection protocol

abstract: In this paper, we address the problem of detecting the moment when an ongoing asynchronous parallel iterative process can be terminated to provide a sufficiently precise solution to a fixed-point problem being solved. Formulating the detection problem as a global solution identification problem, we analyze the snapshot-based approach, which is the only one that allows for exact global residual error computation. From a recently developed approximate snapshot protocol providing a reliable global residual error, we experimentally investigate here, as well, the reliability of a global residual error computed without any prior particular detection mechanism. Results on a single-site supercomputer successfully show that such high-performance computing platforms possibly provide computational environments stable enough to allow for simply resorting to non-blocking reduction operations for computing reliable global residual errors, which provides noticeable time saving, at both implementation and execution levels.


title: SHERPAD: test of Slow high-efficiency extraction of Positrons from a Ring At DAFNE

abstract: The idea of using fixed-target annihilations of a high-energy positron beam on a target for producing a new, very feebly interacting particle has been exploited by the PADME experiment at LNF using the extracted beam from the LINAC in the BTF facility. Extracting the beam from a synchrotron would improve by several orders of magnitude the duty-cycle of the LINAC, thus greatly extending the physics reach of such experiments. The option of substituting or complementing the standard, slow 1/3 of integer resonant extraction technique by using coherent phenomena in a bent crystal, like the channeling has been studied by the SHERPA experiment. Both using the DAFNE main positron ring or the smaller damping ring (accumulator) as pulse extender of the LINAC have been considered. We here propose to demonstrate the feasibility of this technique performing an experiment on the DAFNE positron main ring, installing in a suitable vacuum goniometer a thin Silicon crystal, bent in the (110) direction in order to provide a ~1 mrad kick, and then simulating the extraction process with a virtual septum: instead of performing a real extraction, the crossing of the gap of a septum magnet is simulated by detecting positrons at its position (at phase advance close to 1/4) by means of a Silicon pixel detector inserted in the ring, in a secondary vacuum of a Roman pot.


title: JACK2: a new high-level communication library for parallel iterative methods

abstract: In this paper, we address the problem of designing a distributed application meant to run both classical and asynchronous iterations. MPI libraries are very popular and widely used in the scientific community, however asynchronous iterative methods raise non-negligible difficulties about the efficient management of communication requests and buffers. Moreover, a convergence detection issue is introduced, which requires the implementation of one of the various state-of-the-art termination methods, which are not necessarily highly reliable for most computational environments. We propose here an MPI-based communication library which handles all these issues in a non-intrusive manner, providing a unique interface for implementing both classical and asynchronous iterations. Few details are highlighted about our approach to achieve best communication rates and ensure accurate convergence detection. Experimental results on two supercomputers confirmed the low overhead communication costs introduced, and the effectiveness of our library.


title: Effect of Temperature Gradient on Quantum Transport

abstract: The recently introduced multisite tensor network path integral (MS-TNPI) method [Bose and Walters, J. Chem. Phys., 2022, 156, 24101.] for simulation of quantum dynamics of extended systems has been shown to be effective in studying one-dimensional systems. Quantum transport in these systems are typically studied at a constant temperature. However, temperature seems to be a very obvious parameter that can be spatially changed to control the quantum transport. Here, MS-TNPI is used to study ``non-equilibrium'' effects of an externally imposed temperature gradient on the quantum transport in one-dimensional extended quantum systems.


title: Space and time transformations with a minimal length

abstract: Phenomenological studies of quantum gravity have proposed a modification of the commutator between position and momentum in quantum mechanics so to introduce a minimal uncertainty in position in quantum mechanics. Such a minimal uncertainty and the consequent minimal measurable length have important consequences on the dynamics of quantum systems. In the present work, we show that such consequences go beyond dynamics, reaching the definition of quantities such as energy, momentum, and the same Hamiltonian. Furthermore, since the Hamiltonian, defined as the generator of time evolution, results to be bounded, a minimal length implies a minimal time.


title: Implicit Neural Spatial Filtering for Multichannel Source Separation in the Waveform Domain

abstract: We present a single-stage casual waveform-to-waveform multichannel model that can separate moving sound sources based on their broad spatial locations in a dynamic acoustic scene. We divide the scene into two spatial regions containing, respectively, the target and the interfering sound sources. The model is trained end-to-end and performs spatial processing implicitly, without any components based on traditional processing or use of hand-crafted spatial features. We evaluate the proposed model on a real-world dataset and show that the model matches the performance of an oracle beamformer followed by a state-of-the-art single-channel enhancement network.


title: Metric Dimension Parameterized by Feedback Vertex Set and Other Structural Parameters

abstract: For a graph $G$, a subset $S \subseteq V(G)$ is called a \emph{resolving set} if for any two vertices $u,v \in V(G)$, there exists a vertex $w \in S$ such that $d(w,u) \neq d(w,v)$. The {\sc Metric Dimension} problem takes as input a graph $G$ and a positive integer $k$, and asks whether there exists a resolving set of size at most $k$. This problem was introduced in the 1970s and is known to be \NP-hard~[GT~61 in Garey and Johnson's book]. In the realm of parameterized complexity, Hartung and Nichterlein~[CCC~2013] proved that the problem is \W[2]-hard when parameterized by the natural parameter $k$. They also observed that it is \FPT\ when parameterized by the vertex cover number and asked about its complexity under \emph{smaller} parameters, in particular the feedback vertex set number. We answer this question by proving that {\sc Metric Dimension} is \W[1]-hard when parameterized by the combined parameter feedback vertex set number plus pathwidth. This also improves the result of Bonnet and Purohit~[IPEC 2019] which states that the problem is \W[1]-hard parameterized by the pathwidth. On the positive side, we show that {\sc Metric Dimension} is \FPT\ when parameterized by either the distance to cluster or the distance to co-cluster, both of which are smaller parameters than the vertex cover number.


title: Growth and irreducibility in path-incompressible trees

abstract: We study effective randomness-preserving transformations of path-incompressible trees. Some path-incompressible trees with infinitely many paths do not compute perfect path-random trees with computable oracle-use. Sparse perfect path-incompressible trees can be effectively densified, almost surely. We characterize the branching density of path-random trees.


title: Volume-Independent Music Matching by Frequency Spectrum Comparison

abstract: Often, I hear a piece of music and wonder what the name of the piece is. Indeed, there are applications such as Shazam app that provides music matching. However, the limitations of those apps are that the same piece performed by the same musician cannot be identified if it is not the same recording. Shazam identifies the recording of it, not the music. This is because Shazam matches the variation in volume, not the frequencies of the sound. This research attempts to match music the way humans understand it: by the frequency spectrum of music, not the volume variation. Essentially, the idea is to precompute the frequency spectrums of all the music in the database, then take the unknown piece and try to match its frequency spectrum against every segment of every music in the database. I did it by matching the frequency spectrum of the unknown piece to our database by sliding the window by 0.1 seconds and calculating the error by taking Absolute value, normalizing the audio, subtracting the normalized arrays, and taking the sum of absolute differences. The segment that shows the least error is considered the candidate for the match. The matching performance proved to be dependent on the complexity of the music. Matching simple music, such as single note pieces, was successful. However, more complex pieces, such as Chopins Ballade 4, were not successful, that is, the algorithm could not produce low error values in any of the music in the database. I suspect that it has to do with having too many notes: mismatches in the higher harmonics added up to a significant amount of errors, which swamps the calculations.


title: Few-Shot Cross-Lingual TTS Using Transferable Phoneme Embedding

abstract: This paper studies a transferable phoneme embedding framework that aims to deal with the cross-lingual text-to-speech (TTS) problem under the few-shot setting. Transfer learning is a common approach when it comes to few-shot learning since training from scratch on few-shot training data is bound to overfit. Still, we find that the naive transfer learning approach fails to adapt to unseen languages under extremely few-shot settings, where less than 8 minutes of data is provided. We deal with the problem by proposing a framework that consists of a phoneme-based TTS model and a codebook module to project phonemes from different languages into a learned latent space. Furthermore, by utilizing phoneme-level averaged self-supervised learned features, we effectively improve the quality of synthesized speeches. Experiments show that using 4 utterances, which is about 30 seconds of data, is enough to synthesize intelligible speech when adapting to an unseen language using our framework.


title: Test2Vec: An Execution Trace Embedding for Test Case Prioritization

abstract: Most automated software testing tasks can benefit from the abstract representation of test cases. Traditionally, this is done by encoding test cases based on their code coverage. Specification-level criteria can replace code coverage to better represent test cases' behavior, but they are often not cost-effective. In this paper, we hypothesize that execution traces of the test cases can be a good alternative to abstract their behavior for automated testing tasks. We propose a novel embedding approach, Test2Vec, that maps test execution traces to a latent space. We evaluate this representation in the test case prioritization (TP) task. Our default TP method is based on the similarity of the embedded vectors to historical failing test vectors. We also study an alternative based on the diversity of test vectors. Finally, we propose a method to decide which TP to choose, for a given test suite. The experiment is based on several real and seeded faults with over a million execution traces. Results show that our proposed TP improves best alternatives by 41.80% in terms of the median normalized rank of the first failing test case (FFR). It outperforms traditional code coverage-based approaches by 25.05% and 59.25% in terms of median APFD and median normalized FFR.


title: Interactive Physically-Based Simulation of Roadheader Robot

abstract: Roadheader is an engineering robot widely used in underground engineering and mining industry. Interactive dynamics simulation of roadheader is a fundamental problem in unmanned excavation and virtual reality training. However, current research is only based on traditional animation techniques or commercial game engines. There are few studies that apply real-time physical simulation of computer graphics to the field of roadheader robot. This paper aims to present an interactive physically-based simulation system of roadheader robot. To this end, an improved multibody simulation method based on generalized coordinates is proposed. First, our simulation method describes robot dynamics based on generalized coordinates. Compared to state-of-the-art methods, our method is more stable and accurate. Numerical simulation results showed that our method has significantly less error than the game engine in the same number of iterations. Second, we adopt the symplectic Euler integrator instead of the conventional fourth-order Runge-Kutta (RK4) method for dynamics iteration. Compared with other integrators, our method is more stable in energy drift during long-term simulation. The test results showed that our system achieved real-time interaction performance of 60 frames per second (fps). Furthermore, we propose a model format for geometric and robotics modeling of roadheaders to implement the system. Our interactive simulation system of roadheader meets the requirements of interactivity, accuracy and stability.


title: Evaluation of Performance-Trust vs Moral-Trust Violation in 3D Environment

abstract: Human-Robot Interaction, in which a robot with some level of autonomy interacts with a human to achieve a specific goal has seen much recent progress. With the introduction of autonomous robots and the possibility of widespread use of those in near future, it is critical that humans understand the robot's intention while interacting with them as this will foster the development of human-robot trust. The new conceptualization of trust which had been introduced by researchers in recent years considers trust in Human-Robot Interaction to be a multidimensional nature. Two main aspects which are attributed to trust are performance trust and moral trust. We aim to design an experiment to investigate the consequences of performance-trust violation and moral-trust violation in a search and rescue scenario. We want to see if two similar robot failures, one caused by a performance-trust violation and the other by a moral-trust violation have distinct effects on human trust. In addition to this, we plan to develop an interface that allows us to investigate whether altering the interface's modality from grid-world scenario (2D environment) to realistic simulation (3D environment) affects human perception of the task and the effects of the robot's failure on human trust.


title: Ensemble CNN models for Covid-19 Recognition and Severity Perdition From 3D CT-scan

abstract: Since the appearance of Covid-19 in late 2019, Covid-19 has become an active research topic for the artificial intelligence (AI) community. One of the most interesting AI topics is Covid-19 analysis of medical imaging. CT-scan imaging is the most informative tool about this disease. This work is part of the 2nd COV19D competition, where two challenges are set: Covid-19 Detection and Covid-19 Severity Detection from the CT-scans. For Covid-19 detection from CT-scans, we proposed an ensemble of 2D Convolution blocks with Densenet-161 models. Here, each 2D convolutional block with Densenet-161 architecture is trained separately and in testing phase, the ensemble model is based on the average of their probabilities. On the other hand, we proposed an ensemble of Convolutional Layers with Inception models for Covid-19 severity detection. In addition to the Convolutional Layers, three Inception variants were used, namely Inception-v3, Inception-v4 and Inception-Resnet. Our proposed approaches outperformed the baseline approach in the validation data of the 2nd COV19D competition by 11% and 16% for Covid-19 detection and Covid-19 severity detection, respectively.


title: Challenges and Opportunities in Multi-device Speech Processing

abstract: We review current solutions and technical challenges for automatic speech recognition, keyword spotting, device arbitration, speech enhancement, and source localization in multidevice home environments to provide context for the INTERSPEECH 2022 special session, "Challenges and opportunities for signal processing and machine learning for multiple smart devices". We also identify the datasets needed to support these research areas. Based on the review and our research experience in the multi-device domain, we conclude with an outlook on the future evolution


title: Reconstructing the Universe with Variational self-Boosted Sampling

abstract: Forward modeling approaches in cosmology have made it possible to reconstruct the initial conditions at the beginning of the Universe from the observed survey data. However the high dimensionality of the parameter space still poses a challenge to explore the full posterior, with traditional algorithms such as Hamiltonian Monte Carlo (HMC) being computationally inefficient due to generating correlated samples and the performance of variational inference being highly dependent on the choice of divergence (loss) function. Here we develop a hybrid scheme, called variational self-boosted sampling (VBS) to mitigate the drawbacks of both these algorithms by learning a variational approximation for the proposal distribution of Monte Carlo sampling and combine it with HMC. The variational distribution is parameterized as a normalizing flow and learnt with samples generated on the fly, while proposals drawn from it reduce auto-correlation length in MCMC chains. Our normalizing flow uses Fourier space convolutions and element-wise operations to scale to high dimensions. We show that after a short initial warm-up and training phase, VBS generates better quality of samples than simple VI approaches and reduces the correlation length in the sampling phase by a factor of 10-50 over using only HMC to explore the posterior of initial conditions in 64$^3$ and 128$^3$ dimensional problems, with larger gains for high signal-to-noise data observations.


title: A simple algorithm for expanding a power series as a continued fraction

abstract: I present and discuss an extremely simple algorithm for expanding a formal power series as a continued fraction. This algorithm, which goes back to Euler (1746) and Viscovatov (1805), deserves to be better known. I also discuss the connection of this algorithm with the work of Gauss (1812), Stieltjes (1889), Rogers (1907) and Ramanujan, and a combinatorial interpretation based on the work of Flajolet (1980).


title: Some Statistical Tools to Measure The Effectiveness of a (LEM) Model on Creative Thinking Among Intermediate Students in Mathematics

abstract: The article aims to identify the effectiveness of the (LEM) model for a multimodal environment on creative thinking among first-grade intermediate students in Mathematics using some statistical tools. We achieved credibility, and stability and prepared a test of creative thinking for its three levels (fluency, flexibility, and originality). We achieved their credibility by presenting the results to a group of experts and arbitrators. The stability (92%) was extracted using the Alpha Cronbach formula. After applying the test and processing the data statistically using t-test for the independent sample, the results were as follows: There was a statistically significant difference at the level of significance (0.05) between the average scores of the experimental and control group students and for the experimental group in the test of creative thinking. We conclude that the adoption of the (LEM) model for a multimodal environment has a positive effect on creative thinking in mathematics.


title: Category-Level 6D Object Pose Estimation in the Wild: A Semi-Supervised Learning Approach and A New Dataset

abstract: 6D object pose estimation is one of the fundamental problems in computer vision and robotics research. While a lot of recent efforts have been made on generalizing pose estimation to novel object instances within the same category, namely category-level 6D pose estimation, it is still restricted in constrained environments given the limited number of annotated data. In this paper, we collect Wild6D, a new unlabeled RGBD object video dataset with diverse instances and backgrounds. We utilize this data to generalize category-level 6D object pose estimation in the wild with semi-supervised learning. We propose a new model, called Rendering for Pose estimation network RePoNet, that is jointly trained using the free ground-truths with the synthetic data, and a silhouette matching objective function on the real-world data. Without using any 3D annotations on real data, our method outperforms state-of-the-art methods on the previous dataset and our Wild6D test set (with manual annotations for evaluation) by a large margin. Project page with Wild6D data: https://oasisyang.github.io/semi-pose .


title: Understanding Instance-Level Impact of Fairness Constraints

abstract: A variety of fairness constraints have been proposed in the literature to mitigate group-level statistical bias. Their impacts have been largely evaluated for different groups of populations corresponding to a set of sensitive attributes, such as race or gender. Nonetheless, the community has not observed sufficient explorations for how imposing fairness constraints fare at an instance level. Building on the concept of influence function, a measure that characterizes the impact of a training example on the target model and its predictive performance, this work studies the influence of training examples when fairness constraints are imposed. We find out that under certain assumptions, the influence function with respect to fairness constraints can be decomposed into a kernelized combination of training examples. One promising application of the proposed fairness influence function is to identify suspicious training examples that may cause model discrimination by ranking their influence scores. We demonstrate with extensive experiments that training on a subset of weighty data examples leads to lower fairness violations with a trade-off of accuracy.


title: Suppressing transverse mode instability through multimode excitation in a fiber amplifier

abstract: High-power fiber laser amplifiers have enabled an increasing range of applications in industry, medicine and defense. The power scaling for narrow-band amplifiers is currently limited by the transverse modal instability. Various techniques have been developed to suppress the instability in a single or few-mode fiber in order to output a clean, collimated beam. Here we propose to use a highly multimode fiber and equal modal excitation to suppress the thermo-optical nonlinearity and instability. Our numerical simulations and theoretical analysis predict a significant reduction of dynamic coupling among the fiber modes with such excitation. When the bandwidth of a coherent seed is narrower than the spectral correlation width of the multimode fiber, the amplified light maintains high spatial coherence and can be transformed to any target pattern or focused to a diffraction-limited spot by a spatial mask at either input or output end of the amplifier. Our method simultaneously achieves high average power, narrow spectral width, and good beam quality, which are desired for fiber amplifiers in many applications.


title: Connected and outer-connected domination number of middle graphs

abstract: In this paper, we study the notions of connected domination number and of outer-connected domination number for middle graphs. Indeed, we obtain tight bounds for this number in terms of the order of the graph M(G). We also compute the outer-connected domination number of some families of graphs such as star graphs, cycle graphs, wheel graphs, complete graphs, complete bipartite graphs and some operation on graphs, explicitly. Moreover, some Nordhaus-Gaddum-like relations are presented for the outer-connected domination number of middle graphs.


title: A Solid-State Microwave Magnetometer with Picotesla-Level Sensitivity

abstract: Quantum sensing of low-frequency magnetic fields using nitrogen-vacancy (NV) center ensembles has been demonstrated in multiple experiments with sensitivities as low as $\sim$1 pT/$\sqrt{\text{Hz}}$. To date, however, demonstrations of high-frequency magnetometry in the GHz regime with NV diamond are orders of magnitude less sensitive, above the nT/$\sqrt{\text{Hz}}$ level. Here we adapt for microwave frequencies techniques that have enabled high-performance, low-frequency quantum sensors. Using a custom-grown NV-enriched diamond combined with a noise cancellation scheme designed for high-frequency sensing, we demonstrate a Rabi-sequence-based magnetometer able to detect microwave fields near 2.87 GHz with a record sensitivity of 3.4 pT/$\sqrt{\textrm{Hz}}$. We demonstrate both amplitude and phase sensing and project tunability over a 300 MHz frequency range. This result increases the viability of NV ensembles to serve as microwave circuitry imagers and near-field probes of antennas.


title: Classical and learned MR to pseudo-CT mappings for accurate transcranial ultrasound simulation

abstract: Model-based treatment planning for transcranial ultrasound therapy typically involves mapping the acoustic properties of the skull from an x-ray computed tomography (CT) image of the head. Here, three methods for generating pseudo-CT images from magnetic resonance (MR) images were compared as an alternative to CT. A convolutional neural network (U-Net) was trained on paired MR-CT images to generate pseudo-CT images from either T1-weighted or zero-echo time (ZTE) MR images (denoted tCT and zCT, respectively). A direct mapping from ZTE to pseudo-CT was also implemented (denoted cCT). When comparing the pseudo-CT and ground truth CT images for the test set, the mean absolute error was 133, 83, and 145 Hounsfield units (HU) across the whole head, and 398, 222, and 336 HU within the skull for the tCT, zCT, and cCT images, respectively. Ultrasound simulations were also performed using the generated pseudo-CT images and compared to simulations based on CT. An annular array transducer was used targeting the visual or motor cortex. The mean differences in the simulated focal pressure, focal position, and focal volume were 9.9%, 1.5 mm, and 15.1% for simulations based on the tCT images, 5.7%, 0.6 mm, and 5.7% for the zCT, and 6.7%, 0.9 mm, and 12.1% for the cCT. The improved results for images mapped from ZTE highlight the advantage of using imaging sequences which improve contrast of the skull bone. Overall, these results demonstrate that acoustic simulations based on MR images can give comparable accuracy to those based on CT.


title: The Complete Barrett-Crane Model and its Causal Structure

abstract: The causal structure is a quintessential element of continuum spacetime physics and needs to be properly encoded in a theory of Lorentzian quantum gravity. Established spin foam (and tensorial group field theory (TGFT)) models mostly work with relatively special classes of Lorentzian triangulations (e.g. built from spacelike tetrahedra only), obscuring the explicit implementation of the local causal structure at the microscopic level. We overcome this limitation and construct a full-fledged model for Lorentzian quantum geometry the building blocks of which include spacelike, lightlike and timelike tetrahedra. We realize this within the context of the Barrett-Crane TGFT model. Following an explicit characterization of the amplitudes via methods of integral geometry, and the ensuing clear identification of local causal structure, we analyze the model's amplitudes with respect to its (space)time-orientation properties and provide also a more detailed comparison with the framework of causal dynamical triangulations (CDT).


title: Inferring dark matter halo properties for HI-selected galaxies

abstract: We set constraints on the dark matter halo mass and concentration of ~22,000 individual galaxies visible both in HI (from the ALFALFA survey) and optical light (from the SDSS). This is achieved by combining two Bayesian models, one for the HI line width as a function of the stellar and neutral hydrogen mass distributions in a galaxy using kinematic modelling, and the other for the galaxy's total baryonic mass using the technique of inverse subhalo abundance matching. We hence quantify the constraining power on halo properties of spectroscopic and photometric observations, and assess their consistency. We find good agreement between the two sets of posteriors, although there is a sizeable population of low-line width galaxies that favour significantly smaller dynamical masses than expected from abundance matching (especially for cuspy halo profiles). Abundance matching provides significantly more stringent bounds on halo properties than the HI line width, even with a mass--concentration prior included, although combining the two provides a mean gain of 40% for the sample when fitting an NFW profile. We also use our kinematic posteriors to construct a baryonic mass--halo mass relation, which we find to be near power-law, and with a somewhat shallower slope than expected from abundance matching. Our method demonstrates the potential of combining photometric and spectroscopic observations to precisely map out the dark matter distribution at the galaxy scale using upcoming HI surveys such as the SKA.


title: Learning Functions on Multiple Sets using Multi-Set Transformers

abstract: We propose a general deep architecture for learning functions on multiple permutation-invariant sets. We also show how to generalize this architecture to sets of elements of any dimension by dimension equivariance. We demonstrate that our architecture is a universal approximator of these functions, and show superior results to existing methods on a variety of tasks including counting tasks, alignment tasks, distinguishability tasks and statistical distance measurements. This last task is quite important in Machine Learning. Although our approach is quite general, we demonstrate that it can generate approximate estimates of KL divergence and mutual information that are more accurate than previous techniques that are specifically designed to approximate those statistical distances.


title: Asymmetry Disentanglement Network for Interpretable Acute Ischemic Stroke Infarct Segmentation in Non-Contrast CT Scans

abstract: Accurate infarct segmentation in non-contrast CT (NCCT) images is a crucial step toward computer-aided acute ischemic stroke (AIS) assessment. In clinical practice, bilateral symmetric comparison of brain hemispheres is usually used to locate pathological abnormalities. Recent research has explored asymmetries to assist with AIS segmentation. However, most previous symmetry-based work mixed different types of asymmetries when evaluating their contribution to AIS. In this paper, we propose a novel Asymmetry Disentanglement Network (ADN) to automatically separate pathological asymmetries and intrinsic anatomical asymmetries in NCCTs for more effective and interpretable AIS segmentation. ADN first performs asymmetry disentanglement based on input NCCTs, which produces different types of 3D asymmetry maps. Then a synthetic, intrinsic-asymmetry-compensated and pathology-asymmetry-salient NCCT volume is generated and later used as input to a segmentation network. The training of ADN incorporates domain knowledge and adopts a tissue-type aware regularization loss function to encourage clinically-meaningful pathological asymmetry extraction. Coupled with an unsupervised 3D transformation network, ADN achieves state-of-the-art AIS segmentation performance on a public NCCT dataset. In addition to the superior performance, we believe the learned clinically-interpretable asymmetry maps can also provide insights towards a better understanding of AIS assessment. Our code is available at https://github.com/nihaomiao/MICCAI22_ADN.


title: Klein tunneling through triple barrier in AB bilayer graphene

abstract: We investigate the transport properties of charge carriers in AB bilayer graphene through a triple electrostatic barrier. We calculate the transmission and reflection using the continuity conditions at the interfaces of the triple barrier together with the transfer matrix method. First, we consider the case where the energy is less than the interlayer coupling $\gamma_1$ and show that, at normal incidence, transmission is completely suppressed in the gap for a large barrier width while it appears in the gap for a small barrier width. For energies greater than $\gamma_1$, we show that in the absence of an interlayer potential difference, transmission is less than that of a single barrier, but in its presence, transmission in the gap region is suppressed, as opposed to a double barrier. It is found that one, two, or three gaps can be created depending on the number of interlayer potential differences applied. Resonance in the $T_-^+$ transmission channel is observed that is not seen in the single and double barrier cases. Finally, we compute the conductance and show that the number of peaks is greater than the double barrier case.


title: Faro: A framework for measuring the scientific performance of petascale Rubin Observatory data products

abstract: The Vera C. Rubin Observatory will advance many areas of astronomy over the next decade with its unique wide-fast-deep multi-color imaging survey, the Legacy Survey of Space and Time (LSST). The LSST will produce approximately 20TB of raw data per night, which will be automatically processed by the LSST Science Pipelines to generate science-ready data products -- processed images, catalogs and alerts. To ensure that these data products enable transformative science with LSST, stringent requirements have been placed on their quality and scientific fidelity, for example on image quality and depth, astrometric and photometric performance, and object recovery completeness. In this paper we introduce faro, a framework for automatically and efficiently computing scientific performance metrics on the LSST data products for units of data of varying granularity, ranging from single-detector to full-survey summary statistics. By measuring and monitoring metrics, we are able to evaluate trends in algorithmic performance and conduct regression testing during development, compare the performance of one algorithm against another, and verify that the LSST data products will meet performance requirements by comparing to specifications. We present initial results using faro to characterize the performance of the data products produced on simulated and precursor data sets, and discuss plans to use faro to verify the performance of the LSST commissioning data products.


title: Learning Iterative Reasoning through Energy Minimization

abstract: Deep learning has excelled on complex pattern recognition tasks such as image classification and object recognition. However, it struggles with tasks requiring nontrivial reasoning, such as algorithmic computation. Humans are able to solve such tasks through iterative reasoning -- spending more time thinking about harder tasks. Most existing neural networks, however, exhibit a fixed computational budget controlled by the neural network architecture, preventing additional computational processing on harder tasks. In this work, we present a new framework for iterative reasoning with neural networks. We train a neural network to parameterize an energy landscape over all outputs, and implement each step of the iterative reasoning as an energy minimization step to find a minimal energy solution. By formulating reasoning as an energy minimization problem, for harder problems that lead to more complex energy landscapes, we may then adjust our underlying computational budget by running a more complex optimization procedure. We empirically illustrate that our iterative reasoning approach can solve more accurate and generalizable algorithmic reasoning tasks in both graph and continuous domains. Finally, we illustrate that our approach can recursively solve algorithmic problems requiring nested reasoning


title: Neural network enhanced measurement efficiency for molecular groundstates

abstract: It is believed that one of the first useful applications for a quantum computer will be the preparation of groundstates of molecular Hamiltonians. A crucial task involving state preparation and readout is obtaining physical observables of such states, which are typically estimated using projective measurements on the qubits. At present, measurement data is costly and time-consuming to obtain on any quantum computing architecture, which has significant consequences for the statistical errors of estimators. In this paper, we adapt common neural network models (restricted Boltzmann machines and recurrent neural networks) to learn complex groundstate wavefunctions for several prototypical molecular qubit Hamiltonians from typical measurement data. By relating the accuracy $\varepsilon$ of the reconstructed groundstate energy to the number of measurements, we find that using a neural network model provides a robust improvement over using single-copy measurement outcomes alone to reconstruct observables. This enhancement yields an asymptotic scaling near $\varepsilon^{-1}$ for the model-based approaches, as opposed to $\varepsilon^{-2}$ in the case of classical shadow tomography.


title: Quijote PNG: The information content of the halo power spectrum and bispectrum

abstract: We investigate how much can be learnt about four types of primordial non-Gaussianity (PNG) from small-scale measurements of the halo field. Using the QUIJOTE-PNG simulations, we quantify the information content accessible with measurements of the halo power spectrum monopole and quadrupole, the matter power spectrum, the halo-matter cross spectrum and the halo bispectrum monopole. This analysis is the first to include small, non-linear scales, up to $k_\mathrm{max}=0.5 \mathrm{h/Mpc}$, and to explore whether these scales can break degeneracies with cosmological and nuisance parameters making use of thousands of N-body simulations. We perform all the halo measurements in redshift space with a single sample comprised of all halos with mass $>3.2 \times 10^{13}~h^{-1}M_\odot$. For local PNG, measurements of the scale dependent bias effect from the power spectrum using sample variance cancellation provide significantly tighter constraints than measurements of the halo bispectrum. In this case measurements of the small scales add minimal additional constraining power. In contrast, the information on equilateral and orthogonal PNG is primarily accessible through the bispectrum. For these shapes, small scale measurements increase the constraining power of the halo bispectrum by up to $\times4$, though the addition of scales beyond $k\approx 0.3 \mathrm{h/Mpc}$ improves constraints largely through reducing degeneracies between PNG and the other parameters. These degeneracies are even more powerfully mitigated through combining power spectrum and bispectrum measurements. However even with combined measurements and small scale information, equilateral non-Gaussianity remains highly degenerate with $\sigma_8$ and our bias model.


title: A super Robinson-Schensted-Knuth correspondence with symmetry and the super Littlewood-Richardson rule

abstract: Robinson-Schensted-Knuth (RSK) correspondence is a bijective correspondence between two-rowed arrays of non-negative integers and pairs of same-shape semistandard tableaux. This correspondence satisfies the symmetry property, that is, exchanging the rows of a two-rowed array is equivalent to exchanging the positions of the corresponding pair of semistandard tableaux. In this article, we introduce a super analogue of the RSK correspondence for super tableaux over a signed alphabet using a super version of Schensted's insertion algorithms. We give a geometrical interpretation of the super-RSK correspondence by a matrix-ball construction, showing the symmetry property in complete generality. We deduce a combinatorial version of the super Littlewood-Richardson rule on super Schur functions over a finite signed alphabet. Finally, we introduce the notion of super Littlewood-Richardson skew tableaux and we give another combinatorial interpretation of the super Littlewood-Richardson rule.


title: On residues of rounded shifted fractions with a common numerator

abstract: For any positive integer $n$ along with parameters $\alpha$ and $\nu$, we define and investigate $\alpha$-shifted, $\nu$-offset, floor sequences of length $n$. We find exact and asymptotic formulas for the number of integers in such a sequence that are in a particular congruence class. As we will see, these quantities are related to certain problems of counting lattice points contained in regions of the plane bounded by conic sections. We give specific examples for the number of lattice points contained in elliptical regions and make connections to a few well-known rings of integers, including the Gaussian integers and Eisenstein integers.


title: Effect of gallium doping on structural and transport properties of the topological insulator Bi2Se3 grown by molecular beam epitaxy

abstract: Topological insulators possess a non-conductive bulk and present surface states, henceforth, they are electrically conductive along their boundaries. Bismuth selenide ($Bi_2Se_3$) is one of the most promising topological insulators. However, a major drawback is its n-type nature arising from its natural doping, which makes the transport in the bulk dominant. This effect can be overcome by shifting the chemical potential into the bandgap, turning the transport of the surface states to be more pronounced than the bulk counterpart. In this work, $Bi_2Se_3$ was grown by molecular beam epitaxy and doped with 0.8, 2, 7, and 14 at. % of Ga, with the aim of shifting the chemical potential into the bandgap. The structural, morphological, and electronic properties of the Ga doped $Bi_2Se_3$ are studied. Raman and X-ray diffraction measurements confirmed the incorporation of the dopants into the crystal structure. Transport and magnetoresistance measurements in the temperature range of 1.5 to 300 K show that Ga-doped $Bi_2Se_3$ is n-type with a bulk charge carrier concentration of $10^{19} cm^{-3}$. Remarkably, magnetotransport of the weak antilocalization effect (WAL) measurements confirm the existence of surface states up to a doping percentage of 2 at. % of Ga and coherence length values between 50-800 nm, which envisages the possibility of topological superconductivity in this material.


title: Near-wall approximations to speed up simulations for atmosphere boundary layers in the presence of forests using lattice Boltzmann method on GPU

abstract: Forests play an important role in influencing the wind resource in atmospheric boundary layers and the fatigue life of wind turbines. Due to turbulence, a difficulty in the simulation of the forest effects is that flow statistical and fluctuating content should be accurately resolved using a turbulence-resolved CFD method, which requires a large amount of computing time and resources. In this paper, we demonstrate a fast but accurate simulation platform that uses a lattice Boltzmann method with large eddy simulation on Graphic Processing Units (GPU). The simulation tool is the open-source program, GASCANS, developed at the University of Manchester. The simulation platform is validated based on canonical wall-bounded turbulent flows. A forest is modelled in the form of body forces injected near the wall. Since a uniform cell size is applied throughout the computational domain, the averaged first-layer cell height over the wall reaches to $\langle \Delta y^+\rangle = 165$. Simulation results agree well with previous experiments and numerical data obtained from finite volume methods. We demonstrate that good results are possible without the use of a wall-function, since the forest forces overwhelm wall friction. This is shown to hold as long as the forest region is resolved with several cells. In addition to the GPU speedup, the approximations also significantly benefit the computation efficiency.


title: Hate Speech Criteria: A Modular Approach to Task-Specific Hate Speech Definitions

abstract: \textbf{Offensive Content Warning}: This paper contains offensive language only for providing examples that clarify this research and do not reflect the authors' opinions. Please be aware that these examples are offensive and may cause you distress. The subjectivity of recognizing \textit{hate speech} makes it a complex task. This is also reflected by different and incomplete definitions in NLP. We present \textit{hate speech} criteria, developed with perspectives from law and social science, with the aim of helping researchers create more precise definitions and annotation guidelines on five aspects: (1) target groups, (2) dominance, (3) perpetrator characteristics, (4) type of negative group reference, and the (5) type of potential consequences/effects. Definitions can be structured so that they cover a more broad or more narrow phenomenon. As such, conscious choices can be made on specifying criteria or leaving them open. We argue that the goal and exact task developers have in mind should determine how the scope of \textit{hate speech} is defined. We provide an overview of the properties of English datasets from \url{hatespeechdata.com} that may help select the most suitable dataset for a specific scenario.


title: Gravity-induced accelerating expansion of excited-state Bose-Einstein condensate

abstract: The Bose-Einstein condensate (BEC) of excited states, provides a different platform to explore the interplay between gravity and quantum physics. In this Letter, we study the response of excited-state BECs to an external gravitational field and their dynamics under gravity when space is expanding. We reveal the anomalous response of the center-of-mass of the BEC to the gravitational field and the exotic gravity-induced accelerating expansion phenomena. We demonstrate that these effects result from the interplay among gravity, space and quantum effects. We also propose related experiments to observe these anomalies.


title: PhySRNet: Physics informed super-resolution network for application in computational solid mechanics

abstract: Traditional approaches based on finite element analyses have been successfully used to predict the macro-scale behavior of heterogeneous materials (composites, multicomponent alloys, and polycrystals) widely used in industrial applications. However, this necessitates the mesh size to be smaller than the characteristic length scale of the microstructural heterogeneities in the material leading to computationally expensive and time-consuming calculations. The recent advances in deep learning based image super-resolution (SR) algorithms open up a promising avenue to tackle this computational challenge by enabling researchers to enhance the spatio-temporal resolution of data obtained from coarse mesh simulations. However, technical challenges still remain in developing a high-fidelity SR model for application to computational solid mechanics, especially for materials undergoing large deformation. This work aims at developing a physics-informed deep learning based super-resolution framework (PhySRNet) which enables reconstruction of high-resolution deformation fields (displacement and stress) from their low-resolution counterparts without requiring high-resolution labeled data. We design a synthetic case study to illustrate the effectiveness of the proposed framework and demonstrate that the super-resolved fields match the accuracy of an advanced numerical solver running at 400 times the coarse mesh resolution while simultaneously satisfying the (highly nonlinear) governing laws. The approach opens the door to applying machine learning and traditional numerical approaches in tandem to reduce computational complexity accelerate scientific discovery and engineering design.


title: Current Mapping of Amorphous LaAlO3/SrTiO3 near the Metal-Insulator Transition

abstract: The two-dimensional electron system found between LaAlO3 and SrTiO3 hosts a variety of physical phenomena that can be tuned through external stimuli. This allows for electronic devices controlling magnetism, spin-orbit coupling, and superconductivity. Controlling the electron density by varying donor concentrations and using electrostatic gating are convenient handles to modify the electronic properties, but the impact on the microscopic scale, particularly of the former, remains underexplored. Here, we image the current distribution at 4.2 K in amorphous-LaAlO3/SrTiO3 using scanning superconducting-quantum-interference-device microscopy while changing the carrier density in situ using electrostatic gating and oxygen annealing. We show how potential disorder affects the current and how homogeneous 2D flow evolves into several parallel conducting channels when approaching the metal-to-insulator transition. We link this to ferroelastic domains and oxygen vacancies. This has important consequences for micro- and nanoscale devices with low carrier density and fundamental studies on quantum effects in oxides.


title: Quadratic growth during the COVID-19 pandemic: merging hotspots and reinfections

abstract: The existence of an exponential growth phase during early stages of a pandemic is often taken for granted. However, for the 2019 novel coronavirus epidemic, the early exponential phase lasted only for about six days, while the quadratic growth prevailed for forty days until it spread to other countries and continued, again quadratically, but with a larger coefficient. Here we show that this rapid phase is followed by a subsequent slow-down where the coefficient is reduced to almost the original value at the outbreak. This can be explained by the merging of previously disconnected sites that occurred after the disease jumped (nonlocally) to a relatively small number of separated sites. Subsequent variations in the slope with continued growth can qualitatively be explained as a result of reinfections and changes in their rate. We demonstrate that the observed behavior can be described by a standard epidemiological model with spatial extent and reinfections included. Time-dependent changes in the spatial diffusion coefficient can also model corresponding variations in the slope.


title: Bayesian Causal Inference: A Critical Review

abstract: This paper provides a critical review of the Bayesian perspective of causal inference based on the potential outcomes framework. We review the causal estimands, identification assumptions, the general structure of Bayesian inference of causal effects, and sensitivity analysis. We highlight issues that are unique to Bayesian causal inference, including the role of the propensity score, definition of identifiability, the choice of priors in both low and high dimensional regimes. We point out the central role of covariate overlap and more generally the design stage in Bayesian causal inference. We extend the discussion to two complex assignment mechanisms: instrumental variable and time-varying treatments. Throughout, we illustrate the key concepts via examples.