title: Looking at QED with Dyson-Schwinger equations: basic equations, Ward-Takahashi identities and the two-photon-two-fermion irreducible vertex

abstract: A minimal truncated set of the integral Dyson-Schwinger equations, in Minkowski spacetime, that allows to explore QED beyond its perturbative solution is derived for general linear covariant gauges. The minimal set includes the equations for the fermion and photon propagators, the photon-fermion vertex, and the two-photon-two-fermion one-particle-irreducible diagram. If the first three equations are exact, to build a closed set of equations, the two-photon-two-fermion equation is truncated ignoring the contribution of Green functions with large number of external legs. It is shown that the truncated equation for the two-photon-two-fermion vertex reproduces the lowest-order perturbative result in the limit of the small coupling constant. Furthermore, this equation allows to define an iterative procedure to compute higher order corrections in the coupling constant. The Ward-Takahashi identity for the two-photon-two-fermion irreducible vertex is derived and solved in the soft photon limit, where one of the photon momenta vanish, in the low photon momenta limit and for general kinematics. The solution of the Ward-Takahashi identity determines the longitudinal component of the two-photon-two-fermion irreducible vertex, while it is proposed to use the Dyson-Schwinger equation to determine the transverse part of this irreducible diagram. The two-photon-two-fermion DSE is solved in heavy fermion limit, considering a simplified version of the QED vertices. The contribution of this irreducible vertex to a low-energy effective photon-fermion vertex is discussed and the fermionic operators that are generated are computed in terms of the fermion propagator functions.


title: Modern applications of machine learning in quantum sciences

abstract: In this book, we provide a comprehensive introduction to the most recent advances in the application of machine learning methods in quantum sciences. We cover the use of deep learning and kernel methods in supervised, unsupervised, and reinforcement learning algorithms for phase classification, representation of many-body quantum states, quantum feedback control, and quantum circuits optimization. Moreover, we introduce and discuss more specialized topics such as differentiable programming, generative models, statistical approach to machine learning, and quantum machine learning.


title: Underwater Image Enhancement Using Pre-trained Transformer

abstract: The goal of this work is to apply a denoising image transformer to remove the distortion from underwater images and compare it with other similar approaches. Automatic restoration of underwater images plays an important role since it allows to increase the quality of the images, without the need for more expensive equipment. This is a critical example of the important role of the machine learning algorithms to support marine exploration and monitoring, reducing the need for human intervention like the manual processing of the images, thus saving time, effort, and cost. This paper is the first application of the image transformer-based approach called "Pre-Trained Image Processing Transformer" to underwater images. This approach is tested on the UFO-120 dataset, containing 1500 images with the corresponding clean images.


title: Computational challenges for multi-loop collider phenomenology

abstract: Precision measurements at the LHC and future colliders require theory predictions with uncertainties at the percent level for many observables. Theory uncertainties due to the perturbative truncation are particularly relevant and must be reduced to fully exploit the physics potential of collider experiments. In recent years the theoretical high energy physics community has made tremendous analytical and numerical advances to address this challenge. In this white paper, we survey state-of-the-art calculations in perturbative quantum field theory for collider phenomenology with a particular focus on the computational requirements at high perturbative orders. We show that these calculations can have specific high-performance-computing (HPC) profiles that should to be taken into account in future HPC resource planning.


title: A Mini-Chemical Scheme with Net Reactions for 3D GCMs I.: Thermochemical Kinetics

abstract: Growing evidence has indicated that the global composition distribution plays an indisputable role in interpreting observational data. 3D general circulation models (GCMs) with a reliable treatment of chemistry and clouds are particularly crucial in preparing for the upcoming observations. In the effort of achieving 3D chemistry-climate modeling, the challenge mainly lies in the expensive computing power required for treating a large number of chemical species and reactions. Motivated by the need for a robust and computationally efficient chemical scheme, we devise a mini-chemical network with a minimal number of species and reactions for H$_2$-dominated atmospheres. We apply a novel technique to simplify the chemical network from a full kinetics model -- VULCAN by replacing a large number of intermediate reactions with net reactions. The number of chemical species is cut down from 67 to 12, with the major species of thermal and observational importance retained, including H$_2$O, CH$_4$, CO, CO$_2$, C$_2$H$_2$, NH$_3$, and HCN. The size of the total reactions is greatly reduced from $\sim$ 800 to 20. The mini-chemical scheme is validated by verifying the temporal evolution and benchmarking the predicted compositions in four exoplanet atmospheres (GJ 1214b, GJ 436b, HD 189733b, HD 209458b) against the full kinetics of VULCAN. It reproduces the chemical timescales and composition distributions of the full kinetics well within an order of magnitude for the major species in the pressure range of 1 bar -- 0.1 mbar across various metallicities and carbon-to-oxygen (C/O) ratios. The small scale of the mini-chemical scheme permits simple use and fast computation, which is optimal for implementation in a 3D GCM or a retrieval framework. We focus on the thermochemical kinetics of net reactions in this paper and address photochemistry in a follow-up paper.


title: Low energy SUSY confronted with new measurements of W-boson mass and muon g-2

abstract: The new CDF II measurement of $W$-boson mass shows a 7$\sigma$ deviation from the Standard Model (SM) prediction, while the recent FNAL measurement of the muon $g-2$ shows a 4.2$\sigma$ deviation (combined with the BNL result) from the SM. Both of them strongly indicate new physics beyond the SM. In this work we study the implication of both measurements on low energy supersymmetry. With an extensive exploration of the parameter space of the minimal supersymmetric standard model (MSSM), we find that in the parameter space allowed by current experimental constraints from colliders and dark matter detections, the MSSM can simultaneously explain both measurements on the edge of $2\sigma$ level, taking theoretical uncertainties into consideration. The favored parameter space, characterized by a compressed spectrum between bino, wino and stau, with the stop being around 1 TeV, may be covered in the near future LHC searches.


title: Anomalous high-temperature THz nonlinearity in superconductors near the metal-insulator transition

abstract: The interplay of strong disorder and superconductivity is a topic of long-term interest in condensed matter physics. Here we explore the nonlinear THz response of superconducting NbN films close to the 3D metal-insulator transition. For the least disordered samples, the magnitude of the nonlinear $\chi^{(3)}$ response follows the temperature dependence of the superfluid density as expected. In contrast, for high disorder samples near the metal-insulator transition the $\chi^{(3)}$ nonlinearity persists to temperatures as high as even 4 times the $T_c$ of the cleanest sample. We discuss the possible origins of this remarkably large nonlinearity, including the possibility that it arises in an enhancement of the temperature scales of superconductivity close to localization. Our work highlights the importance of finite frequency nonlinear THz experiments in detecting superconducting correlations even into regions where long-range ordered superconductivity does not persist.


title: Impact of the recent measurements of the top-quark and W-boson masses on electroweak precision fits

abstract: We assess the impact of the very recent measurement of the top-quark mass by the CMS Collaboration on the fit of electroweak data in the Standard Model and beyond, with particular emphasis on the prediction for the mass of the W boson. We then compare this prediction with the average of the corresponding experimental measurements including the new measurement by the CDF Collaboration, and discuss its compatibility in the Standard Model, in new physics models with oblique corrections, and in the dimension-six Standard Model Effective Field Theory. Finally, we present the updated global fit to electroweak precision data in these models.


title: Energy spectrum of interacting gas: cluster expansion method

abstract: In this paper, we calculate the energy spectrum of interacting gases by converting the cluster expansion method in statistical mechanics into a method of solving energy eigenvalues. We obtain an explicit expression of the energy eigenvalue, by which we can calculate the eigenvalue of an interacting gas from the interparticle potential directly. As an example, we calculate the energy spectrum for an interacting gas with soft-sphere potentials.


title: Sensitivity of the MnTe valence band to orientation of magnetic moments

abstract: An effective model of the hexagonal (NiAs-structure) manganese telluride valence band in the vicinity of the A-point of the Brillouin zone is derived. It is shown that while for the usual antiferromagnetic order (magnetic moments in the basal plane) band splitting at A is small, their out-of-plane rotation enhances the splitting dramatically (to about 0.5 eV). We propose extensions of recent experiments (Moseley et al., Phys. Rev. Materials 6, 014404) where such inversion of magnetocrystalline anisotropy has been observed in Li-doped MnTe, to confirm this unusual sensitivity of a semiconductor band structure to magnetic order.


title: Legitimate against Illegitimate IRSs on MISO Wiretap Channels

abstract: The low-cost legitimate intelligent reflecting surfaces (IRSs) are applied to the wiretap channel in physical layer security to enhance the secrecy rate. In practice, the eavesdropper can also deploy an IRS, namely illegitimate IRS, to deteriorate the secrecy rate. This paper studies the interplay between a transmitter, a legitimate IRS, and an illegitimate IRS in a multiple-input single-output (MISO) wiretap channel. We formulate a max-min secrecy rate problem, where all the information is available at the transmitter and the receivers. We aim to design an efficient transmit beamforming and phase shifting strategy of the legitimate IRS, under the worst-case secrecy rate achieved based on optimizing the phase-shifting strategy of the illegitimate IRS. We propose three solution methods based on the gradient descent ascent (GDA), the alternate optimization (AO), and the mixed Nash equilibrium (NE) in zero-sum games in strategic form. Simulation results show that for the continuous phase-shifting strategies, AO usually does not guarantee convergence, although it may achieve better performance than GDA in some iterations. GDA usually converges to a stationary point. Discrete phase-shifting strategies improve the convergence behavior of AO and GDA, while there is a single mixed NE with the highest secrecy rate.


title: Metasurface-enhanced Light Detection and Ranging Technology

abstract: Deploying advanced imaging solutions to robotic and autonomous systems by mimicking human vision requires simultaneous acquisition of multiple fields of views, named the peripheral and fovea regions. Low-resolution peripheral field provides coarse scene exploration to direct the eye to focus to a highly resolved fovea region for sharp imaging. Among 3D computer vision techniques, Light Detection and Ranging (LiDAR) is currently considered at the industrial level for robotic vision. LiDAR is an imaging technique that monitors pulses of light at optical frequencies to sense the space and to recover three-dimensional ranging information. Notwithstanding the efforts on LiDAR integration and optimization, commercially available devices have slow frame rate and low image resolution, notably limited by the performance of mechanical or slow solid-state deflection systems. Metasurfaces (MS) are versatile optical components that can distribute the optical power in desired regions of space. Here, we report on an advanced LiDAR technology that uses ultrafast low FoV deflectors cascaded with large area metasurfaces to achieve large FoV and simultaneous peripheral and central imaging zones. This technology achieves MHz frame rate for 2D imaging, and up to KHz for 3D imaging, with extremely large FoV (up to 150{\deg}deg. on both vertical and horizontal scanning axes). The use of this disruptive LiDAR technology with advanced learning algorithms offers perspectives to improve further the perception capabilities and decision-making process of autonomous vehicles and robotic systems.


title: Learning Polynomial Transformations

abstract: We consider the problem of learning high dimensional polynomial transformations of Gaussians. Given samples of the form $p(x)$, where $x\sim N(0, \mathrm{Id}_r)$ is hidden and $p: \mathbb{R}^r \to \mathbb{R}^d$ is a function where every output coordinate is a low-degree polynomial, the goal is to learn the distribution over $p(x)$. This problem is natural in its own right, but is also an important special case of learning deep generative models, namely pushforwards of Gaussians under two-layer neural networks with polynomial activations. Understanding the learnability of such generative models is crucial to understanding why they perform so well in practice. Our first main result is a polynomial-time algorithm for learning quadratic transformations of Gaussians in a smoothed setting. Our second main result is a polynomial-time algorithm for learning constant-degree polynomial transformations of Gaussian in a smoothed setting, when the rank of the associated tensors is small. In fact our results extend to any rotation-invariant input distribution, not just Gaussian. These are the first end-to-end guarantees for learning a pushforward under a neural network with more than one layer. Along the way, we also give the first polynomial-time algorithms with provable guarantees for tensor ring decomposition, a popular generalization of tensor decomposition that is used in practice to implicitly store large tensors.


title: Dancing under the stars: video denoising in starlight

abstract: Imaging in low light is extremely challenging due to low photon counts. Using sensitive CMOS cameras, it is currently possible to take videos at night under moonlight (0.05-0.3 lux illumination). In this paper, we demonstrate photorealistic video under starlight (no moon present, $<$0.001 lux) for the first time. To enable this, we develop a GAN-tuned physics-based noise model to more accurately represent camera noise at the lowest light levels. Using this noise model, we train a video denoiser using a combination of simulated noisy video clips and real noisy still images. We capture a 5-10 fps video dataset with significant motion at approximately 0.6-0.7 millilux with no active illumination. Comparing against alternative methods, we achieve improved video quality at the lowest light levels, demonstrating photorealistic video denoising in starlight for the first time.


title: Measuring AI Systems Beyond Accuracy

abstract: Current test and evaluation (T&E) methods for assessing machine learning (ML) system performance often rely on incomplete metrics. Testing is additionally often siloed from the other phases of the ML system lifecycle. Research investigating cross-domain approaches to ML T&E is needed to drive the state of the art forward and to build an Artificial Intelligence (AI) engineering discipline. This paper advocates for a robust, integrated approach to testing by outlining six key questions for guiding a holistic T&E strategy.


title: Accessing strongly-coupled systems without compromising them

abstract: The last decades have seen a burst of experimental platforms reaching the so-called strong-coupling regime, where quantum coherent effects dominate over incoherent processes such as dissipation and thermalization. This has allowed us to create highly nontrivial quantum states and put counterintuitive quantum-mechanical effects to test beyond the wildest expectations of the founding fathers of quantum physics. The strong-coupling regime comes with certain challenges though: the need for a large isolation makes it difficult to access the system for control or monitoring purposes. In this work we propose a way to access such systems through an engineered environment that does not compromise their strong-coupling effects. As a proof of principle, we apply the approach to the photon-blockade effect present in nonlinear resonators, but argue that the mechanism is quite universal. We also propose an architecture based on superconducting circuits where the required unconventional environment can be implemented, opening the way to the experimental analysis of our ideas.


title: Structure-aware Protein Self-supervised Learning

abstract: Protein representation learning methods have shown great potential to yield useful representation for many downstream tasks, especially on protein classification. Moreover, a few recent studies have shown great promise in addressing insufficient labels of proteins with self-supervised learning methods. However, existing protein language models are usually pretrained on protein sequences without considering the important protein structural information. To this end, we propose a novel structure-aware protein self-supervised learning method to effectively capture structural information of proteins. In particular, a well-designed graph neural network (GNN) model is pretrained to preserve the protein structural information with self-supervised tasks from a pairwise residue distance perspective and a dihedral angle perspective, respectively. Furthermore, we propose to leverage the available protein language model pretrained on protein sequences to enhance the self-supervised learning. Specifically, we identify the relation between the sequential information in the protein language model and the structural information in the specially designed GNN model via a novel pseudo bi-level optimization scheme. Experiments on several supervised downstream tasks verify the effectiveness of our proposed method.The code of the proposed method is available in \url{https://github.com/GGchen1997/STEPS_Bioinformatics}.


title: Intelligent Sight and Sound: A Chronic Cancer Pain Dataset

abstract: Cancer patients experience high rates of chronic pain throughout the treatment process. Assessing pain for this patient population is a vital component of psychological and functional well-being, as it can cause a rapid deterioration of quality of life. Existing work in facial pain detection often have deficiencies in labeling or methodology that prevent them from being clinically relevant. This paper introduces the first chronic cancer pain dataset, collected as part of the Intelligent Sight and Sound (ISS) clinical trial, guided by clinicians to help ensure that model findings yield clinically relevant results. The data collected to date consists of 29 patients, 509 smartphone videos, 189,999 frames, and self-reported affective and activity pain scores adopted from the Brief Pain Inventory (BPI). Using static images and multi-modal data to predict self-reported pain levels, early models show significant gaps between current methods available to predict pain today, with room for improvement. Due to the especially sensitive nature of the inherent Personally Identifiable Information (PII) of facial images, the dataset will be released under the guidance and control of the National Institutes of Health (NIH).


title: Data-Free Quantization with Accurate Activation Clipping and Adaptive Batch Normalization

abstract: Data-free quantization is a task that compresses the neural network to low bit-width without access to original training data. Most existing data-free quantization methods cause severe performance degradation due to inaccurate activation clipping range and quantization error, especially for low bit-width. In this paper, we present a simple yet effective data-free quantization method with accurate activation clipping and adaptive batch normalization. Accurate activation clipping (AAC) improves the model accuracy by exploiting accurate activation information from the full-precision model. Adaptive batch normalization firstly proposes to address the quantization error from distribution changes by updating the batch normalization layer adaptively. Extensive experiments demonstrate that the proposed data-free quantization method can yield surprisingly performance, achieving 64.33% top-1 accuracy of ResNet18 on ImageNet dataset, with 3.7% absolute improvement outperforming the existing state-of-the-art methods.


title: Learning Trajectory-Aware Transformer for Video Super-Resolution

abstract: Video super-resolution (VSR) aims to restore a sequence of high-resolution (HR) frames from their low-resolution (LR) counterparts. Although some progress has been made, there are grand challenges to effectively utilize temporal dependency in entire video sequences. Existing approaches usually align and aggregate video frames from limited adjacent frames (e.g., 5 or 7 frames), which prevents these approaches from satisfactory results. In this paper, we take one step further to enable effective spatio-temporal learning in videos. We propose a novel Trajectory-aware Transformer for Video Super-Resolution (TTVSR). In particular, we formulate video frames into several pre-aligned trajectories which consist of continuous visual tokens. For a query token, self-attention is only learned on relevant visual tokens along spatio-temporal trajectories. Compared with vanilla vision Transformers, such a design significantly reduces the computational cost and enables Transformers to model long-range features. We further propose a cross-scale feature tokenization module to overcome scale-changing problems that often occur in long-range videos. Experimental results demonstrate the superiority of the proposed TTVSR over state-of-the-art models, by extensive quantitative and qualitative evaluations in four widely-used video super-resolution benchmarks. Both code and pre-trained models can be downloaded at https://github.com/researchmm/TTVSR.


title: Feature-enhanced Adversarial Semi-supervised Semantic Segmentation Network for Pulmonary Embolism Annotation

abstract: This study established a feature-enhanced adversarial semi-supervised semantic segmentation model to automatically annotate pulmonary embolism lesion areas in computed tomography pulmonary angiogram (CTPA) images. In current studies, all of the PE CTPA image segmentation methods are trained by supervised learning. However, the supervised learning models need to be retrained and the images need to be relabeled when the CTPA images come from different hospitals. This study proposed a semi-supervised learning method to make the model applicable to different datasets by adding a small amount of unlabeled images. By training the model with both labeled and unlabeled images, the accuracy of unlabeled images can be improved and the labeling cost can be reduced. Our semi-supervised segmentation model includes a segmentation network and a discriminator network. We added feature information generated from the encoder of segmentation network to the discriminator so that it can learn the similarity between predicted mask and ground truth mask. This HRNet-based architecture can maintain a higher resolution for convolutional operations so the prediction of small PE lesion areas can be improved. We used the labeled open-source dataset and the unlabeled National Cheng Kung University Hospital (NCKUH) (IRB number: B-ER-108-380) dataset to train the semi-supervised learning model, and the resulting mean intersection over union (mIOU), dice score, and sensitivity achieved 0.3510, 0.4854, and 0.4253, respectively on the NCKUH dataset. Then, we fine-tuned and tested the model with a small amount of unlabeled PE CTPA images from China Medical University Hospital (CMUH) (IRB number: CMUH110-REC3-173) dataset. Comparing the results of our semi-supervised model with the supervised model, the mIOU, dice score, and sensitivity improved from 0.2344, 0.3325, and 0.3151 to 0.3721, 0.5113, and 0.4967, respectively.


title: Multimodal Multi-Head Convolutional Attention with Various Kernel Sizes for Medical Image Super-Resolution

abstract: Super-resolving medical images can help physicians in providing more accurate diagnostics. In many situations, computed tomography (CT) or magnetic resonance imaging (MRI) techniques capture several scans (modes) during a single investigation, which can jointly be used (in a multimodal fashion) to further boost the quality of super-resolution results. To this end, we propose a novel multimodal multi-head convolutional attention module to super-resolve CT and MRI scans. Our attention module uses the convolution operation to perform joint spatial-channel attention on multiple concatenated input tensors, where the kernel (receptive field) size controls the reduction rate of the spatial attention, and the number of convolutional filters controls the reduction rate of the channel attention, respectively. We introduce multiple attention heads, each head having a distinct receptive field size corresponding to a particular reduction rate for the spatial attention. We integrate our multimodal multi-head convolutional attention (MMHCA) into two deep neural architectures for super-resolution and conduct experiments on three data sets. Our empirical results show the superiority of our attention module over the state-of-the-art attention mechanisms used in super-resolution. Moreover, we conduct an ablation study to assess the impact of the components involved in our attention module, e.g. the number of inputs or the number of heads. Our code is freely available at https://github.com/lilygeorgescu/MHCA.


title: Towards Reliable and Explainable AI Model for Solid Pulmonary Nodule Diagnosis

abstract: Lung cancer has the highest mortality rate of deadly cancers in the world. Early detection is essential to treatment of lung cancer. However, detection and accurate diagnosis of pulmonary nodules depend heavily on the experiences of radiologists and can be a heavy workload for them. Computer-aided diagnosis (CAD) systems have been developed to assist radiologists in nodule detection and diagnosis, greatly easing the workload while increasing diagnosis accuracy. Recent development of deep learning, greatly improved the performance of CAD systems. However, lack of model reliability and interpretability remains a major obstacle for its large-scale clinical application. In this work, we proposed a multi-task explainable deep-learning model for pulmonary nodule diagnosis. Our neural model can not only predict lesion malignancy but also identify relevant manifestations. Further, the location of each manifestation can also be visualized for visual interpretability. Our proposed neural model achieved a test AUC of 0.992 on LIDC public dataset and a test AUC of 0.923 on our in-house dataset. Moreover, our experimental results proved that by incorporating manifestation identification tasks into the multi-task model, the accuracy of the malignancy classification can also be improved. This multi-task explainable model may provide a scheme for better interaction with the radiologists in a clinical environment.


title: Characterizing and Understanding the Behavior of Quantized Models for Reliable Deployment

abstract: Deep Neural Networks (DNNs) have gained considerable attention in the past decades due to their astounding performance in different applications, such as natural language modeling, self-driving assistance, and source code understanding. With rapid exploration, more and more complex DNN architectures have been proposed along with huge pre-trained model parameters. The common way to use such DNN models in user-friendly devices (e.g., mobile phones) is to perform model compression before deployment. However, recent research has demonstrated that model compression, e.g., model quantization, yields accuracy degradation as well as outputs disagreements when tested on unseen data. Since the unseen data always include distribution shifts and often appear in the wild, the quality and reliability of quantized models are not ensured. In this paper, we conduct a comprehensive study to characterize and help users understand the behaviors of quantized models. Our study considers 4 datasets spanning from image to text, 8 DNN architectures including feed-forward neural networks and recurrent neural networks, and 42 shifted sets with both synthetic and natural distribution shifts. The results reveal that 1) data with distribution shifts happen more disagreements than without. 2) Quantization-aware training can produce more stable models than standard, adversarial, and Mixup training. 3) Disagreements often have closer top-1 and top-2 output probabilities, and $Margin$ is a better indicator than the other uncertainty metrics to distinguish disagreements. 4) Retraining with disagreements has limited efficiency in removing disagreements. We opensource our code and models as a new benchmark for further studying the quantized models.


title: CookieEnforcer: Automated Cookie Notice Analysis and Enforcement

abstract: Online websites use cookie notices to elicit consent from the users, as required by recent privacy regulations like the GDPR and the CCPA. Prior work has shown that these notices use dark patterns to manipulate users into making website-friendly choices which put users' privacy at risk. In this work, we develop CookieEnforcer, a new system for automatically discovering cookie notices and deciding on the options that result in disabling all non-essential cookies. In order to achieve this, we first build an automatic cookie notice detector that utilizes the rendering pattern of the HTML elements to identify the cookie notices. Next, CookieEnforcer analyzes the cookie notices and predicts the set of actions required to disable all unnecessary cookies. This is done by modeling the problem as a sequence-to-sequence task, where the input is a machine-readable cookie notice and the output is the set of clicks to make. We demonstrate the efficacy of CookieEnforcer via an end-to-end accuracy evaluation, showing that it can generate the required steps in 91% of the cases. Via a user study, we show that CookieEnforcer can significantly reduce the user effort. Finally, we use our system to perform several measurements on the top 5k websites from the Tranco list (as accessed from the US and the UK), drawing comparisons and observations at scale.


title: High angular resolution Sunyaev Zel'dovich observations: the case of MISTRAL

abstract: The MIllimeter Sardinia radio Telescope Receiver based on Array of Lumped elements kids, MISTRAL, is a millimetric ($\simeq 90GHz$) multipixel camera being built for the Sardinia Radio Telescope. It is going to be a facility instrument and will sample the sky with 12 arcsec angular resolution, 4 arcmin field of view, through 408 Kinetic Inductance Detectors (KIDs). The construction and the beginning of commissioning is planned to be in 2022. MISTRAL will allow the scientific community to propose a wide variety of scientific cases including protoplanetary discs study, star forming regions, galaxies radial profiles, and high angular resolution measurements of the Sunyaev Zel'dovich (SZ) effect with the investigation of the morphology of galaxy cluster and the search for the Cosmic Web.


title: Non-hydrostatic modelling of the wave-induced response of moored floating structures

abstract: Predictions of the wave-induced response of floating structures that are moored in a harbour or coastal waters require an accurate description of the (nonlinear) evolution of waves over variable bottom topography, the interactions of the waves with the structure, and the dynamics of the mooring system. In this paper, we present a new advanced numerical model to simulate the wave-induced response of a floating structure that is moored in an arbitrary nearshore region. The model is based on the non-hydrostatic approach, and implemented in the open-source model SWASH, which provides an efficient numerical framework to simulate the nonlinear wave evolution over variable bottom topographies. The model is extended with a solution to the rigid body that is tightly coupled to the hydrodynamic equations. The model was validated for two test cases that consider different floating structures of increasing geometrical complexity: a cylindrical geometry that is representative of a wave-energy-converter, and a vessel with a more complex shaped hull. A range of wave conditions were considered, varying from monochromatic to short-crested sea states. Model predictions of the excitation forces, added mass, radiation damping, and the wave-induced response agreed well with benchmark solutions to the potential flow equations. Besides the response to the primary wave (sea-swell) components, the model was also able to capture the second-order difference-frequency forcing and response of the moored vessel. Importantly, the model captured the wave-induced response with a relatively coarse vertical resolution, allowing for applications at the scale of a realistic harbour or coastal region. The proposed model thereby provides a new tool to seamlessly simulate the nonlinear evolution of waves over complex bottom topography and the wave-induced response of a floating structure that is moored in coastal waters.


title: Sterile neutrino production at small mixing in the early universe

abstract: Sterile neutrinos can be produced in the early universe via interactions with their active counterparts. For small active-sterile mixing angles, thermal equilibrium with the standard model plasma is not reached and sterile neutrinos are only produced via flavor oscillations. We study in detail this regime, taking into account matter potentials and decoherence effects caused by elastic scatterings with the plasma. We find that resonant oscillations occurring at temperatures $T\lesssim 10\,\mathrm{GeV}$ lead to a significant enhancement of the sterile neutrino production rate. Taking this into account, we improve constraints on the active-sterile mixing from Big Bang nucleosynthesis and the cosmic microwave background, excluding mixing angles down to $\theta_s\sim 10^{-10}-10^{-16}$ for sterile neutrino masses in the $10\,\mathrm{MeV}$ to $10\,\mathrm{GeV}$ range. We observe that if sterile neutrinos predominantly decay into metastable hidden sector particles, this process provides a novel dark matter production mechanism, consistent with the sterile neutrino origin of light neutrino masses via the seesaw mechanism.


title: Investigation of CMB constraints for dark matter-helium scattering

abstract: We study dark matter-helium scattering in the early Universe and its impact on constraints from cosmic microwave background (CMB) anisotropy measurements. We describe possible theoretical frameworks for dark matter-nucleon interactions via a scalar, pseudoscalar, or vector mediator; such interactions give rise to hydrogen and helium scattering, with cross sections that have a power-law dependence on relative velocity. Within these frameworks, we consider three scenarios: dark matter coupling to only neutrons, to only protons, and to neutrons and protons with equal strength. For these various cases, we use \textit{Planck} 2018 temperature, polarization, and lensing anisotropy data to place constraints on dark matter scattering with hydrogen and/or helium for dark matter masses between 10 keV and 1 TeV. For any model that permits both helium and hydrogen scattering with a non-negative power-law velocity dependence, we find that helium scattering dominates the constraint for dark matter masses well above the proton mass. Furthermore, we place the first CMB constraints on dark matter that scatters dominantly/exclusively with helium in the early Universe.


title: A Pluto--Charon Sonata IV. Improved Constraints on the Dynamical Behavior and Masses of the Small Satellites

abstract: We discuss a new set of $\sim$ 500 numerical n-body calculations designed to constrain the masses and bulk densities of Styx, Nix, Kerberos, and Hydra. Comparisons of different techniques for deriving the semimajor axis and eccentricity of the four satellites favor methods relying on the theory of Lee & Peale (2006), where satellite orbits are derived in the context of the restricted three body problem (Pluto, Charon, and one massless satellite). In each simulation, we adopt the nominal satellite masses derived in Kenyon & Bromley (2019a), multiply the mass of at least one satellite by a numerical factor $f \ge 1$, and establish whether the system ejects at least one satellite on a time scale $\le$ 4.5 Gyr. When the total system mass is large ($f \gg 1$), ejections of Kerberos are more common. Systems with lower satellite masses ($ f \approx$ 1) usually eject Styx. In these calculations, Styx often `signals' an ejection by moving to higher orbital inclination long before ejection; Kerberos rarely signals in a useful way. The n-body results suggest that Styx and Kerberos are more likely to have bulk densities comparable with water ice, $\rho_{SK} \lesssim$ 2 g cm$^{-3}$, than with rock. A strong upper limit on the total system mass, $M_{SNKH} \lesssim 9.5 \times 10^{19}$ g, also places robust constraints on the average bulk density of the four satellites, $\rho_{SNKH} \lesssim$ 1.4 g cm$^{-3}$. These limits support models where the satellites grow out of icy material ejected during a major impact on Pluto or Charon.


title: Probing light mediators at the MUonE experiment

abstract: The MUonE experiment, that aims to provide a precise measurement of the hadronic vacuum polarization contribution to the muon $g-2$ via elastic muon-electron scattering, has also the potential to explore the parameter space of light new physics. Exploiting the process $\mu^- N \to \mu^- N X$, where $N$ is the target nucleus and X is a new physics light mediator, we demonstrate that MUonE can be sensitive to new regions of parameter space for sub-GeV dark photons. In particular, thanks to its muon beam, MUonE will be able to explore uncharted parameter space regions for the $L_\mu-L_\tau$ model. Finally, we also find that MUonE can probe the parameter space of axion-like particles for different assumptions of the couplings to electrons, muons and photons.


title: Gravitational Waves from Domain Walls in Pulsar Timing Array Datasets

abstract: We present a model-independent search for the gravitational wave background from cosmic domain walls (DWs) in the NANOGrav 12.5 years dataset and International PTA Data Release 2. DWs that annihilate at temperatures $\sim 20-50~\text{MeV}$ with tensions $\sim (40-100~\text{TeV})^3$ provide as good a fit to both datasets as the astrophysical background from supermassive black hole mergers. DWs may decay into the Standard Model (SM) or a dark sector. In the latter case we predict an abundance $\Delta N_{\text{eff}}$ of dark radiation well within the reach of upcoming CMB surveys. Complementary signatures at colliders and laboratories can arise if couplings to the SM are present. As an example, we discuss heavy axion scenarios, where DW annihilation may interestingly be induced by QCD confinement.


title: Tunable Stripe Order and Weak Superconductivity in the Moir\'e Hubbard Model

abstract: The moir\'e Hubbard model describes correlations in certain homobilayer twisted transition metal dichalcogenides. Using exact diagonalization and density matrix renormalization group methods, we find magnetic Mott insulating and metallic phases, which, upon doping exhibit intertwined charge and spin ordering and, in some regimes, pair binding of holes. The phases are highly tunable via an interlayer potential difference. Remarkably, the hole binding energy is found to be highly tunable revealing an experimentally accessible regime where holes become attractive. In this attractive regime, we study the superconducting correlation function and point out the possibility of weak superconductivity.


title: Study of the equatorial ionosphere using the Giant Metrewave Radio Telescope (GMRT) at sub-GHz frequencies

abstract: Radio interferometers, which are designed to observe astrophysical objects in the universe, can also be used to study the Earth's ionosphere. Radio interferometers like the Giant Metrewave Radio Telescope (GMRT) detect variations in ionospheric total electron content (TEC) on a much wider spatial scale at a relatively higher sensitivity than traditional ionospheric probes like the Global Navigation Satellite System (GNSS). The hybrid configuration of the GMRT (compact core and extended arms) and its geographical location make this interferometer an excellent candidate to explore the sensitive regions between the northern crest of the Equatorial Ionization Anomaly (EIA) and the magnetic equator. For this work, a bright radio source, 3C68.2, is observed from post-midnight to post-sunrise ($\sim$\,9 hours) to study the ionospheric activities at solar-minima. This study presents data reduction and processing techniques to measure differential TEC ($\delta\rm{TEC}$) between the set of antennas with an accuracy of $1\times10^{-3}$ TECU. Furthermore, using these $\delta\rm{TEC}$ measurements, we have demonstrated techniques to compute the TEC gradient over the full array and micro-scale variation in two-dimensional TEC gradient surface. These variations are well equipped to probe ionospheric plasma, especially during the night-time. Our study, for the first time, reports the capability of the GMRT to detect ionospheric activities. Our result validates, compared to previous studies with VLA, LOFAR and MWA, the ionosphere over the GMRT is more active, which is expected due to its location near the magnetic equator.


title: Exploring and Validating Exoplanet Atmospheric Retrievals with Solar System Analog Observations

abstract: Solar System observations that serve as analogs for exoplanet remote sensing data can provide important opportunities to validate ideas and models related to exoplanet environments. Critically, and unlike true exoplanet observations, Solar System analog data benefit from available high-quality ground- or orbiter-derived "truth" constraints that enable strong validations of exoplanet data interpretation tools. In this work, we first present a versatile atmospheric retrieval suite, capable of application to reflected light, thermal emission, and transmission observations spanning a broad range of wavelengths and thermochemical conditions. The tool -- dubbed rfast -- is designed, in part, to enable exoplanet mission concept feasibility studies. Following model validation, the retrieval tool is applied to a range of Solar System analog observations for exoplanet environments. Retrieval studies using Earth reflected light observations from NASA's EPOXI mission provide a key proof-of-concept for under-development exo-Earth direct imaging concept missions. Inverse modeling applied to an infrared spectrum of Earth from the Mars Global Surveyor Thermal Emission Spectrometer achieves good constraints on atmospheric gases, including many biosignature gases. Finally, retrieval analysis applied to a transit spectrum of Titan derived from the Cassini Visual and Infrared Mapping Spectrometer provides a proof-of-concept for interpreting more feature-rich transiting exoplanet observations from NASA's James Webb Space Telescope (JWST). In the future, Solar System analog observations for exoplanets could be used to verify exoplanet models and parameterizations, and future exoplanet analog observations of any Solar System worlds from planetary science missions should be encouraged.


title: Dark Matter constraints from Planck observations of the Galactic polarized synchrotron emission

abstract: Dark Matter (DM) annihilation in our Galaxy may produce a linearly polarized synchrotron signal. We use, for the first time, synchrotron polarization to constrain the DM annihilation cross section by comparing theoretical predictions with the latest polarization maps obtained by the Planck satellite collaboration. We find that synchrotron polarization is typically more constraining than synchrotron intensity by about one order of magnitude, independently of uncertainties in the modeling of electron and positron propagation, or of the Galactic magnetic field. Our bounds compete with Cosmic Microwave Background limits in the case of leptophilic DM.


title: The chemical characterisation of halo substructure in the Milky Way based on APOGEE

abstract: Galactic haloes in a $\Lambda$-CDM universe are predicted to host today a swarm of debris resulting from cannibalised dwarf galaxies. The chemo-dynamical information recorded in their stellar populations helps elucidate their nature, constraining the assembly history of the Galaxy. Using data from APOGEE and \textit{Gaia}, we examine the chemical properties of various halo substructures, considering elements that sample various nucleosynthetic pathways. The systems studied are Heracles, \textit{Gaia}-Enceladus/Sausage (GES), the Helmi stream, Sequoia, Thamnos, Aleph, LMS-1, Arjuna, I'itoi, Nyx, Icarus, and Pontus. Abundance patterns of all substructures are cross-compared in a statistically robust fashion. Our main findings include: {\it i)} the chemical properties of most substructures studied match qualitatively those of dwarf Milky Way satellites, such as the Sagittarius dSph. Exceptions are Nyx and Aleph, which are chemically similar to disc stars, implying that these substructures were likely formed \textit{in situ}; {\it ii)} Heracles differs chemically from {\it in situ} populations such as Aurora and its inner halo counterparts in a statistically significant way. The differences suggest that the star formation rate was lower in Heracles than in the early Milky Way; {\it iii)} the chemistry of Arjuna, LMS-1, and I'itoi is indistinguishable from that of GES, suggesting a possible common origin; {\it iv)} all three Sequoia samples studied are qualitatively similar. However, only two of those samples present chemistry that is consistent with GES in a statistically significant fashion; {\it v)} the abundance patterns of the Helmi stream and Thamnos are different from all other halo substructures.


title: A selection of H{\alpha} emitters at z = 2.1-2.5 using the Ks-band photometry of ZFOURGE

abstract: Large and less-biased samples of star-forming galaxies are essential to investigate galaxy evolution. H$\rm\alpha$ emission line is one of the most reliable tracers of star-forming galaxies because its strength is directly related to recent star formation. However, it is observationally expensive to construct large samples of H$\rm\alpha$ emitters by spectroscopic or narrow-band imaging survey at high-redshifts. In this work, we demonstrate a method to extract H$\rm\alpha$ fluxes of galaxies at $z=2.1$-$2.5$ from $K_s$ broad-band photometry of ZFOURGE catalog. Combined with 25-39 other filters, we estimate the emission line fluxes by SED fitting with stellar population models that incorporate emission-line strengths. 2005 galaxies are selected as H$\rm\alpha$ emitters by our method and their fluxes show good agreement with previous measurements in the literature. On the other hand, there are more H$\rm\alpha$ luminous galaxies than previously reported. The discrepancy can be explained by extended H$\rm\alpha$ profiles of massive galaxies and a luminosity dependence of dust attenuation, which are not taken into account in the previous work. We also find that there are a large number of low-mass galaxies with much higher specific star formation rate (sSFR) than expected from the extrapolated star formation main sequence. Such low-mass galaxies exhibit larger ratios between H$\rm\alpha$ and UV fluxes compared to more massive high sSFR galaxies. This result implies that a ``starburst'' mode may differ among galaxies: low-mass galaxies appear to assemble their stellar mass via short-duration bursts while more massive galaxies tend to experience longer-duration ($>10\ \mathrm{Myr}$) bursts.


title: Vision-Based American Sign Language Classification Approach via Deep Learning

abstract: Hearing-impaired is the disability of partial or total hearing loss that causes a significant problem for communication with other people in society. American Sign Language (ASL) is one of the sign languages that most commonly used language used by Hearing impaired communities to communicate with each other. In this paper, we proposed a simple deep learning model that aims to classify the American Sign Language letters as a step in a path for removing communication barriers that are related to disabilities.


title: ChildCI Framework: Analysis of Motor and Cognitive Development in Children-Computer Interaction for Age Detection

abstract: This article presents a comprehensive analysis of the different tests proposed in the recent ChildCI framework, proving its potential for generating a better understanding of children's neuromotor and cognitive development along time, as well as their possible application in other research areas such as e-Health and e-Learning. In particular, we propose a set of over 100 global features related to motor and cognitive aspects of the children interaction with mobile devices, some of them collected and adapted from the literature. Furthermore, we analyse the robustness and discriminative power of the proposed feature set including experimental results for the task of children age group detection based on their motor and cognitive behaviours. Two different scenarios are considered in this study: i) single-test scenario, and ii) multiple-test scenario. Results over 93% accuracy are achieved using the publicly available ChildCIdb_v1 database (over 400 children from 18 months to 8 years old), proving the high correlation of children's age with the way they interact with mobile devices.


title: The ultra-high-energy neutrino-nucleon cross section: measurement forecasts for an era of cosmic EeV-neutrino discovery

abstract: Neutrino interactions with protons and neutrons probe their deep structure and may reveal new physics. The higher the neutrino energy, the sharper the probe. So far, the neutrino-nucleon ($\nu N$) cross section is known across neutrino energies from a few hundred MeV to a few PeV. Soon, ultra-high-energy (UHE) cosmic neutrinos, with energies above 100 PeV, could take us farther. So far, they have evaded discovery, but upcoming UHE neutrino telescopes endeavor to find them. We present the first detailed measurement forecasts of the UHE $\nu N$ cross section, geared to IceCube-Gen2, one of the leading detectors under planning. We use state-of-the-art ingredients in every stage of our forecasts: in the UHE neutrino flux predictions, the neutrino propagation inside Earth, the emission of neutrino-induced radio signals in the detector, their propagation and detection, and the treatment of backgrounds. After 10 years, if at least a few tens of UHE neutrino-induced events are detected, IceCube-Gen2 could measure the $\nu N$ cross section at center-of-mass energies of $\sqrt{s} \approx 10-100$ TeV for the first time, with a precision comparable to that of its theory prediction.


title: Elastic shape analysis of surfaces with second-order Sobolev metrics: a comprehensive numerical framework

abstract: This paper introduces a set of numerical methods for Riemannian shape analysis of 3D surfaces within the setting of invariant (elastic) second-order Sobolev metrics. More specifically, we address the computation of geodesics and geodesic distances between parametrized or unparametrized immersed surfaces represented as 3D meshes. Building on this, we develop tools for the statistical shape analysis of sets of surfaces, including methods for estimating Karcher means and performing tangent PCA on shape populations, and for computing parallel transport along paths of surfaces. Our proposed approach fundamentally relies on a relaxed variational formulation for the geodesic matching problem via the use of varifold fidelity terms, which enable us to enforce reparametrization independence when computing geodesics between unparametrized surfaces, while also yielding versatile algorithms that allow us to compare surfaces with varying sampling or mesh structures. Importantly, we demonstrate how our relaxed variational framework can be extended to tackle partially observed data. The different benefits of our numerical pipeline are illustrated over various examples, synthetic and real.


title: Heat kernels of non-local Schr\"odinger operators with Kato potentials

abstract: We study heat kernels of Schr\"odinger operators whose kinetic terms are non-local operators built for sufficiently regular symmetric L\'evy measures with radial decreasing profiles and potentials belong to Kato class. Our setting is fairly general and novel -- it allows us to treat both heavy- and light-tailed L\'evy measures in a joint framework. We establish a certain relative-Kato bound for the corresponding semigroups and potentials. This enables us to apply a general perturbation technique to construct the heat kernels and give sharp estimates of them. Assuming that the L\'evy measure and the potential satisfy a little stronger conditions, we additionally obtain the regularity of the heat kernels. Finally, we discuss the applications to the smoothing properties of the corresponding semigroups. Our results cover many important examples of non-local operators, including fractional and quasi-relativistic Schr\"odinger operators.


title: Controlling Traffic with Humanoid Social Robot

abstract: The advancement of technology such as artificial intelligence, machine learning and internet of things it became easy to develop more humanoid robots and automate different processes. An interactive robot must have high social behavior so that it can be easily accepted by the people using it. In this study we designed a traffic police robot (TRAPROB) to automate the traffic control at intersection. The human police officer experiences high stress because of long duty hours as well as pose the risk of accidents. The digital electronic signals are automatic but we want to create a system which is more human like and looks like an officer controlling the traffic at intersection. We used Thiago++ robot in this study and modified its look to like a police officer, and then programmed it to imitate and make gestures just like traffic police officer makes gestures for controlling traffic. We evaluated the looks, gestures, functionality, and social behavior of the robot. We asked a limited sample of two participants to identify the TRAPBOT, rate its look, the social behaviors and gestures in comparison to a real life police officer. we found that people can identify the robot as traffic police robot. Our analysis also shows that TRAPBOT has appearance like a traffic robot and can make similar signal gestures as a traffic police officer.


title: Nucleation and growth of iron pebbles explains the formation of iron-rich planets akin to Mercury

abstract: The pathway to forming the iron-rich planet Mercury remains mysterious. Mercury's core makes up 70% of the planetary mass, which implies a significant enrichment of iron relative to silicates, while its mantle is strongly depleted in oxidized iron. The high core mass fraction is traditionally ascribed to evaporative loss of silicates, e.g. following a giant impact, but the high abundance of moderately volatile elements in the mantle of Mercury is inconsistent with reaching temperatures much above 1,000 K during its formation. Here we explore the nucleation of solid particles from a gas of solar composition that cools down in the hot inner regions of the protoplanetary disc. The high surface tension of iron causes iron particles to nucleate homogeneously (i.e., not on a more refractory substrate) under very high supersaturation. The low nucleation rates lead to depositional growth of large iron pebbles on a sparse population of nucleated iron nano-particles. Silicates in the form of iron-free MgSiO$_3$ nucleate at similar temperatures but obtain smaller sizes due to the much higher number of nucleated particles. This results in a chemical separation of large iron particles from silicate particles with ten times lower Stokes numbers. We propose that such conditions lead to the formation of iron-rich planetesimals by the streaming instability. In this view, Mercury formed by accretion of iron-rich planetesimals with a sub-solar abundance of highly reduced silicate material. Our results imply that the iron-rich planets known to orbit the Sun and other stars are not required to have experienced mantle-stripping impacts. Instead their formation could be a direct consequence of temperature fluctuations in protoplanetary discs and chemical separation of distinct crystal species through the ensuing nucleation process.


title: Exploiting complex pattern features for interactive pattern mining

abstract: Recent years have seen a shift from a pattern mining process that has users define constraints before-hand, and sift through the results afterwards, to an interactive one. This new framework depends on exploiting user feedback to learn a quality function for patterns. Existing approaches have a weakness in that they use static pre-defined low-level features, and attempt to learn independent weights representing their importance to the user. As an alternative, we propose to work with more complex features that are derived directly from the pattern ranking imposed by the user. Learned weights are then aggregated onto lower-level features and help to drive the quality function in the right direction. We explore the effect of different parameter choices experimentally and find that using higher-complexity features leads to the selection of patterns that are better aligned with a hidden quality function while not adding significantly to the run times of the method. Getting good user feedback requires to quickly present diverse patterns, something that we achieve but pushing an existing diversity constraint into the sampling component of the interactive mining system LetSip. Resulting patterns allow in most cases to converge to a good solution more quickly. Combining the two improvements, finally, leads to an algorithm showing clear advantages over the existing state-of-the-art.


title: Mantle Degassing Lifetimes through Galactic Time and the Maximum Age Stagnant-lid Rocky Exoplanets can Support Temperate Climates

abstract: The ideal exoplanets to search for life are those within a star's habitable zone. However, even within the habitable zone planets can still develop uninhabitable climate states. Sustaining a temperate climate over geologic ($\sim$Gyr) timescales requires a planet contain sufficient internal energy to power a planetary-scale carbon cycle. A major component of a rocky planet's energy budget is the heat produced by the decay of radioactive elements, especially $^{40}$K, $^{232}$Th, $^{235}$U and $^{238}$U. As the planet ages and these elements decay, this radiogenic energy source dwindles. Here we estimate the probability distribution of the amount of these heat producing elements (HPEs) that enter into rocky exoplanets through Galactic history, by combining the system-to-system variation seen in stellar abundance data with the results from Galactic chemical evolution models. Using these distributions, we perform Monte-Carlo thermal evolution models that maximize the mantle cooling rate. This allows us to create a pessimistic estimate of lifetime a rocky, stagnant-lid exoplanet can support a global carbon cycle and temperate climate as a function of its mass and when it in Galactic history. We apply this framework to a sample of 17 likely rocky exoplanets with measured ages, 7 of which we predict are likely to be actively degassing today despite our pessimistic assumptions. For the remaining planets, including those orbiting TRAPPIST-1, we cannot confidently assume they currently contain sufficient internal heat to support mantle degassing at a rate sufficient to sustain a global carbon cycle or temperate climate without additional tidal heating or undergoing plate tectonics.


title: How does online teamwork change student communication patterns in programming courses?

abstract: Online teaching has become a new reality due to the COVID-19 pandemic raising a lot of questions about its learning outcomes. Recent studies have shown that peer communication positively affects learning outcomes of online teaching. However, it is not clear how collaborative programming tasks change peer communication patterns in the learning process. In this study, we compare communication patterns in MOOCs where peer communication is limited with those of a blended course in which students are involved in online peer instruction. We used a mixed-method approach comprising automated text analysis and community extraction with further qualitative analysis. The results show that students prefer to seek help in programming from peers and not the teacher. Team assignment helped to support this habit. Students communicated more positively and intensively with each other, while only team leaders communicated with the instructor reducing teacher overload. This shift could explain how peer communication improves learning outcomes, as has been shown in previous studies on MOOCs.


title: Online Emotions During the Storming of the U.S. Capitol: Evidence from the Social Media Network Parler

abstract: The storming of the U.S. Capitol on January 6, 2021 has led to the killing of 5 people and is widely regarded as an attack on democracy. The storming was largely coordinated through social media networks such as Parler. Yet little is known regarding how users interacted on Parler during the storming of the Capitol. In this work, we examine the emotion dynamics on Parler during the storming with regard to heterogeneity across time and users. For this, we segment the user base into different groups (e.g., Trump supporters and QAnon supporters). We use affective computing (Kratzwald et al. 2018) to infer the emotions in the contents, thereby allowing us to provide a comprehensive assessment of online emotions. Our evaluation is based on a large-scale dataset from Parler, comprising of 717,300 posts from 144,003 users. We find that the user base responded to the storming of the Capitol with an overall negative sentiment. Akin to this, Trump supporters also expressed a negative sentiment and high levels of unbelief. In contrast to that, QAnon supporters did not express a more negative sentiment during the storming. We further provide a cross-platform analysis and compare the emotion dynamics on Parler and Twitter. Our findings point at a comparatively less negative response to the incidents on Parler compared to Twitter accompanied by higher levels of disapproval and outrage. Our contribution to research is three-fold: (1) We identify online emotions that were characteristic of the storming; (2) we assess emotion dynamics across different user groups on Parler; (3) we compare the emotion dynamics on Parler and Twitter. Thereby, our work offers important implications for actively managing online emotions to prevent similar incidents in the future.


title: On subgeometric ergodicity of regime-switching diffusion processes

abstract: In this article, we discuss subgeometric ergodicity of a class of regime-switching diffusion processes. We derive conditions on the drift and diffusion coefficients, and the switching mechanism which result in subgeometric ergodicity of the corresponding semigroup with respect to the total variation distance as well as a class of Wasserstein distances. At the end, subgeometric ergodicity of certain classes of regime-switching Markov processes with jumps is also discussed.


title: Clone Detection on Large Scala Codebases

abstract: Code clones are identical or similar code segments. The wide existence of code clones can increase the cost of maintenance and jeopardise the quality of software. The research community has developed many techniques to detect code clones, however, there is little evidence of how these techniques may perform in industrial use cases. In this paper, we aim to uncover the differences when such techniques are applied in industrial use cases. We conducted large scale experimental research on the performance of two state-of-the-art code clone detection techniques, SourcererCC and AutoenCODE, on both open source projects and an industrial project written in the Scala language. Our results reveal that both algorithms perform differently on the industrial project, with the largest drop in precision being 30.7\%, and the largest increase in recall being 32.4\%. By manually labelling samples of the industrial project by its developers, we discovered that there are substantially less Type-3 clones in the aforementioned project than that in the open source projects.


title: Singular limits of a coupled elasto-plastic damage system as viscosity and hardening vanish

abstract: The paper studies the asymptotic analysis of a model coupling elastoplasticity and damage depending on three parameters -- governing viscosity, plastic hardening, and convergence rate of plastic strain and displacement to equilibrium -- as they vanish in different orders. The notion of limit evolution obtained is proven to coincide in any case with a notion introduced by Crismale and Rossi in 2019; moreover, such solutions are closely related to those obtained in the vanishing-viscosity limit by Crismale and Lazzaroni in 2016, for the analogous model where only the viscosity parameter was present.


title: Monopole Superconductivity in Magnetically Doped Cd$_3$As$_2$

abstract: When superconducting pairing occurs between Fermi surfaces with different Chern numbers, the Cooper pairs possess nontrivial pair Berry phase, which enforces pairing gap nodes. The resulting pairing order is further distinguished from the familiar $s$-, $p$-, and $d$-wave pairing orders by a nonzero pair monopole charge and is described by monopole harmonics. To date, this exotic monopole pairing order is yet to be achieved experimentally. We therefore study the magnetically doped Dirac semimetal Cd$_3$As$_2$ as a candidate material for realizing monopole superconductivity with pair monopole charges $q_p=1$ or $2$, depending on the chemical potential. For each case of pair monopole charge, we explore representatives of uniform pairing orders in all allowed irreducible representations of the $C_{4h}$ symmetry of magnetically doped Cd$_3$As$_2$. We demonstrate the distinctions in the monopole analogs of different higher partial wave superconducting orders that result from the combination of topological Fermi surfaces of higher Chern number and crystalline symmetry. In all cases, the patterns of the superconducting phase winding around a Fermi surface are constrained by the topologically invariant total winding number, which depends only on the pair monopole charge and requires nodes in the $q_p\neq 0$ superconducting order. Our work can guide further experimental investigation of monopole orders in the topological semimetal Cd$_3$As$_2$ and can be generalized to other materials with Fermi surfaces of higher Chern number, which enforce monopole pairing order in higher partial waves, such as the monopole analog of $f$-wave pairing.


title: Understanding the Influence of Receptive Field and Network Complexity in Neural-Network-Guided TEM Image Analysis

abstract: Trained neural networks are promising tools to analyze the ever-increasing amount of scientific image data, but it is unclear how to best customize these networks for the unique features in transmission electron micrographs. Here, we systematically examine how neural network architecture choices affect how neural networks segment, or pixel-wise separate, crystalline nanoparticles from amorphous background in transmission electron microscopy (TEM) images. We focus on decoupling the influence of receptive field, or the area of the input image that contributes to the output decision, from network complexity, which dictates the number of trainable parameters. We find that for low-resolution TEM images which rely on amplitude contrast to distinguish nanoparticles from background, the receptive field does not significantly influence segmentation performance. On the other hand, for high-resolution TEM images which rely on a combination of amplitude and phase contrast changes to identify nanoparticles, receptive field is a key parameter for increased performance, especially in images with minimal amplitude contrast. Our results provide insight and guidance as to how to adapt neural networks for applications with TEM datasets.


title: A Rotating Proposer Mechanism for Team Formation

abstract: We present a rotating proposer mechanism for team formation, which implements a Pareto efficient subgame perfect Nash equilibrium of an extensive-form team formation game.


title: pyHIIextractor: A tool to detect and extract physical properties of HII regions from Integral Field Spectroscopic data

abstract: We present a new code named pyHIIextractor, which detects and extracts the main features (positions and radii) of clumpy ionized regions, i.e. candidate HII regions, using H{\alpha} emission line images. Our code is optimized to be used on the dataproducts provided by the Pipe3D pipeline (or dataproducts with such a format), applied to high spatial resolution Integral Field Spectroscopy data (like that provided by the AMUSING++ compilation, using MUSE). The code provides the properties of both the underlying stellar population and the emission lines for each detected H ii candidate. Furthermore, the code delivers a novel estimation of the diffuse ionized gas (DIG) component, independent of its physical properties, which enables a decontamination of the properties of the HII regions from the DIG. Using simulated data, mimicking the expected observations of spiral galaxies, we characterise pyHIIextractor and its ability to extract the main properties of the H ii regions (and the DIG), including the line fluxes, ratios and equivalent widths. Finally, we compare our code with other such tools adopted in the literature, which have been developed or used for similar purposes: pyhIIexplorer, SourceExtractor, HIIphot, and astrodendro. We conclude that pyHIIextractor exceeds the performance of previous tools in aspects such as the number of recovered regions and the distribution of sizes and fluxes (an improvement that is especially noticeable for the faintest and smallest regions). pyHIIextractor is therefore an optimals tool to detect candidate HII regions, offering an accurate estimation of their properties and a good decontamination of the DIG component.


title: Assessing Statistical Disclosure Risk for Differentially Private, Hierarchical Count Data, with Application to the 2020 U.S. Decennial Census

abstract: We propose Bayesian methods to assess the statistical disclosure risk of data released under zero-concentrated differential privacy, focusing on settings with a strong hierarchical structure and categorical variables with many levels. Risk assessment is performed by hypothesizing Bayesian intruders with various amounts of prior information and examining the distance between their posteriors and priors. We discuss applications of these risk assessment methods to differentially private data releases from the 2020 decennial census and perform simulation studies using public individual-level data from the 1940 decennial census. Among these studies, we examine how the data holder's choice of privacy parameter affects the disclosure risk and quantify the increase in risk when a hypothetical intruder incorporates substantial amounts of hierarchical information.


title: HBFL: A Hierarchical Blockchain-based Federated Learning Framework for a Collaborative IoT Intrusion Detection

abstract: The continuous strengthening of the security posture of IoT ecosystems is vital due to the increasing number of interconnected devices and the volume of sensitive data shared. The utilisation of Machine Learning (ML) capabilities in the defence against IoT cyber attacks has many potential benefits. However, the currently proposed frameworks do not consider data privacy, secure architectures, and/or scalable deployments of IoT ecosystems. In this paper, we propose a hierarchical blockchain-based federated learning framework to enable secure and privacy-preserved collaborative IoT intrusion detection. We highlight and demonstrate the importance of sharing cyber threat intelligence among inter-organisational IoT networks to improve the model's detection capabilities. The proposed ML-based intrusion detection framework follows a hierarchical federated learning architecture to ensure the privacy of the learning process and organisational data. The transactions (model updates) and processes will run on a secure immutable ledger, and the conformance of executed tasks will be verified by the smart contract. We have tested our solution and demonstrated its feasibility by implementing it and evaluating the intrusion detection performance using a key IoT data set. The outcome is a securely designed ML-based intrusion detection system capable of detecting a wide range of malicious activities while preserving data privacy.


title: Birational Rowmotion and the Octahedron Recurrence

abstract: We use the octahedron recurrence to give a simplified statement and proof of a formula for iterated birational rowmotion on a product of two chains, first described by Musiker and Roby. Using this, we show that weights of certain chains in rectangles shift in a predictable way under the action of rowmotion. We then define generalized Stanley-Thomas words whose cyclic rotation uniquely determines birational rowmotion on the product of two chains. We also discuss the relationship between rowmotion and birational RSK and give a birational analogue of Greene's theorem in this setting.


title: Interpretable AI for policy-making in pandemics

abstract: Since the first wave of the COVID-19 pandemic, governments have applied restrictions in order to slow down its spreading. However, creating such policies is hard, especially because the government needs to trade-off the spreading of the pandemic with the economic losses. For this reason, several works have applied machine learning techniques, often with the help of special-purpose simulators, to generate policies that were more effective than the ones obtained by governments. While the performance of such approaches are promising, they suffer from a fundamental issue: since such approaches are based on black-box machine learning, their real-world applicability is limited, because these policies cannot be analyzed, nor tested, and thus they are not trustable. In this work, we employ a recently developed hybrid approach, which combines reinforcement learning with evolutionary computation, for the generation of interpretable policies for containing the pandemic. These policies, trained on an existing simulator, aim to reduce the spreading of the pandemic while minimizing the economic losses. Our results show that our approach is able to find solutions that are extremely simple, yet very powerful. In fact, our approach has significantly better performance (in simulated scenarios) than both previous work and government policies.


title: The Case and Context for Atmospheric Methane as an Exoplanet Biosignature

abstract: Methane has been proposed as an exoplanet biosignature. Imminent observations with the James Webb Space Telescope may enable methane detections on potentially habitable exoplanets, so it is essential to assess in what planetary contexts methane is a compelling biosignature. Methane's short photochemical lifetime in terrestrial planet atmospheres implies that abundant methane requires large replenishment fluxes. While methane can be produced by a variety of abiotic mechanisms such as outgassing, serpentinizing reactions, and impacts, we argue that, in contrast to an Earth-like biosphere, known abiotic processes cannot easily generate atmospheres rich in CH$_4$ and CO$_2$ with limited CO due to the strong redox disequilibrium between CH$_4$ and CO$_2$. Methane is thus more likely to be biogenic for planets with 1) a terrestrial bulk density, high mean-molecular-weight and anoxic atmosphere, and an old host star; 2) an abundance of CH$_4$ that implies surface fluxes exceeding what could be supplied by abiotic processes; and 3) atmospheric CO$_2$ with comparatively little CO.


title: WO-Type Wolf-Rayet Stars: the Last Hurrah of Massive Star Evolution

abstract: Are WO-type Wolf Rayet (WR) stars in the final stage of massive star evolution before core-collapse? Although WC- and WO-type WRs have very similar spectra, WOs show a much stronger O VI $\lambda \lambda$3811,34 emission-line feature. This has usually been interpreted to mean that WOs are more oxygen rich than WCs, and thus further evolved. However, previous studies have failed to model this line, leaving the relative abundances uncertain, and the relationship between the two types unresolved. To answer this fundamental question, we modeled six WCs and two WOs in the LMC using UV, optical, and NIR spectra with the radiative transfer code CMFGEN in order to determine their physical properties. We find that WOs are not richer in oxygen; rather, the O VI feature is insensitive to the abundance. However, the WOs have a significantly higher carbon and lower helium content than the WCs, and hence are further evolved. A comparison of our results with single-star Geneva and binary BPASS evolutionary models show that while many properties match, there is more carbon and less oxygen in the WOs than either set of evolutionary model predicts. This discrepancy may be due to the large uncertainty in the $^{12}$C+$^4$He$\rightarrow^{16}$O nuclear reaction rate; we show that if the Kunz et al. rate is decreased by a factor of 25-50%, then there would be a good match with the observations. It would also help explain the LIGO/VIRGO detection of black holes whose masses are in the theoretical upper mass gap.


title: Evaluating the Adversarial Robustness for Fourier Neural Operators

abstract: In recent years, Machine-Learning (ML)-driven approaches have been widely used in scientific discovery domains. Among them, the Fourier Neural Operator (FNO) was the first to simulate turbulent flow with zero-shot super-resolution and superior accuracy, which significantly improves the speed when compared to traditional partial differential equation (PDE) solvers. To inspect the trustworthiness, we provide the first study on the adversarial robustness of scientific discovery models by generating adversarial examples for FNO, based on norm-bounded data input perturbations. Evaluated on the mean squared error between the FNO model's output and the PDE solver's output, our results show that the model's robustness degrades rapidly with increasing perturbation levels, particularly in non-simplistic cases like the 2D Darcy and the Navier cases. Our research provides a sensitivity analysis tool and evaluation principles for assessing the adversarial robustness of ML-based scientific discovery models.


title: Towards Cognitive Robots That People Accept in Their Home

abstract: It is intractable for assistive robots to have all functionalities pre-programmed prior to deployment. Rather, it is more realistic for robots to perform supplemental, on-site learning about user's needs and preferences, and particularities of the environment. This additional learning is especially helpful for care robots that assist with individualized caregiver activities in residential or assisted living facilities. As each care receiver has unique needs and those needs may change over time, robots require the ability to adapt and learn on-site. In this work, we propose the study design to investigate the impacts on end-users of observing robot learning. We will assess user attitudes towards robots that conduct some learning in the home as compared to a baseline condition where the robot is delivered fully capable. We will additionally compare different modes of learning to determine whether some are more likely to instill trust.


title: Quantum Dots / Spin Qubits

abstract: Spin qubits in semiconductor quantum dots represent a prominent family of solid-state qubits in the effort to build a quantum computer. They are formed when electrons or holes are confined in a static potential well in a semiconductor, giving them a quantized energy spectrum. The simplest spin qubit is a single electron spin located in a quantum dot, but many additional varieties have been developed, some containing multiple spins in multiple quantum dots, each of which has different benefits and drawbacks. While these spins act as simple quantum systems in many ways, they also experience complex effects due to their semiconductor environment. They can be controlled by both magnetic and electric fields depending on their configuration and are therefore dephased by magnetic and electric field noise, with different types of spin qubits having different control mechanisms and noise susceptibilities. While initial experiments were primarily performed in gallium arsenide (GaAs) based materials, silicon qubits have developed substantially and research on qubits in metal-oxide-semiconductor (Si-MOS), silicon/silicon germanium (Si/SiGe) heterostructures, and donors in silicon is also being pursued. An increasing number of spin qubit varieties have attained error rates that are low enough to be compatible with quantum error correction for single-qubit gates and two-qubit gates have been performed in several with success rates, or fidelities, of 90-95%.


title: Electron Weibel instability induced magnetic fields in optical-field ionized plasmas

abstract: Generation and amplification of magnetic fields in plasmas is a long-standing topic that is of great interest to both plasma and space physics. The electron Weibel instability is a well-known mechanism responsible for self-generating magnetic fields in plasmas with temperature anisotropy and has been extensively investigated in both theory and simulations, yet experimental verification of this instability has been challenging. Recently, we demonstrated a new experimental platform that enables the controlled initialization of highly nonthermal and/or anisotropic plasma electron velocity distributions via optical-field ionization. Using an external electron probe bunch from a linear accelerator, the onset, saturation and decay of the self-generated magnetic fields due to electron Weibel instability were measured for the first time to our knowledge. In this paper, we will first present experimental results on time-resolved measurements of the Weibel magnetic fields in non-relativistic plasmas produced by Ti:Sapphire laser pulses (0.8 $\mu m$) and then discuss the feasibility of extending the study to quasi-relativistic regime by using intense $\rm CO_2$ (e.g., 9.2 $\mu m$) lasers to produce much hotter plasmas.


title: BioRED: A Rich Biomedical Relation Extraction Dataset

abstract: Automated relation extraction (RE) from biomedical literature is critical for many downstream text mining applications in both research and real-world settings. However, most existing benchmarking datasets for bio-medical RE only focus on relations of a single type (e.g., protein-protein interactions) at the sentence level, greatly limiting the development of RE systems in biomedicine. In this work, we first review commonly used named entity recognition (NER) and RE datasets. Then we present BioRED, a first-of-its-kind biomedical RE corpus with multiple entity types (e.g., gene/protein, disease, chemical) and relation pairs (e.g., gene-disease; chemical-chemical) at the document level, on a set of 600 PubMed abstracts. Further, we label each relation as describing either a novel finding or previously known background knowledge, enabling automated algorithms to differentiate between novel and background information. We assess the utility of BioRED by benchmarking several existing state-of-the-art methods, including BERT-based models, on the NER and RE tasks. Our results show that while existing approaches can reach high performance on the NER task (F-score of 89.3%), there is much room for improvement for the RE task, especially when extracting novel relations (F-score of 47.7%). Our experiments also demonstrate that such a rich dataset can successfully facilitate the development of more accurate, efficient, and robust RE systems for biomedicine. The BioRED dataset and annotation guideline are freely available at https://ftp.ncbi.nlm.nih.gov/pub/lu/BioRED/.


title: Application of Eckart-Hellmann potential to study selected diatomic molecules using Nikiforov-Uvarov-Functional Analysis (NUFA) method

abstract: The energy levels of the Schr\"odinger equation under the Eckart-Hellmann potential (EHP) energy function are studied by the Nikiforov-Uvarov-Functional Analysis (NUFA) method. We obtained the analytic solution of the energy spectra and the wave function in closed form with the help of Greene-Aldrich approximation. The numerical bound states energy for various screening parameters at different quantum states and vibrational energies of EHP for CuLi, TiH, VH, and TiC diatomic molecules were computed. Four particular cases of this potential were achieved. To test the accuracy of our results, we computed the bound states energy eigenvalues of Hellmann potential which are in excellent agreement with the report of other researchers.


title: Boundedness of differential transforms for Poisson semigroups generated by Bessel operators

abstract: In this paper we analyze the convergence of the following type of series \begin{equation*} T_N f(x)=\sum_{j=N_1}^{N_2} v_j\Big(\mathcal{P}_{a_{j+1}} f(x)-\mathcal{P}_{a_{j}} f(x)\Big),\quad x\in \mathbb R_+, \end{equation*} where $\{\mathcal{P}_t \}_{t>0}$ is the Poisson semigroup of the Bessel operator $\displaystyle \Delta_\lambda:=-{d^2\over dx^2}-{2\lambda\over x}{d\over dx}$ with $\lambda$ being a positive constant, $N=(N_1, N_2)\in \mathbb Z^2$ with $N_1<N_2,$ $\{v_j\}_{j\in \mathbb Z}$ is a bounded real sequences and $\{a_j\}_{j\in \mathbb Z}$ is an increasing real sequence. {Our analysis will consist in the boundedness, in $L^p(\mathbb{R}_+)$ and in $BMO(\mathbb{R}_+)$, of the operators $T_N$ and its maximal operator $ T^*f(x)= sup_N \abs{T_N f(x)}.$} It is also shown that the local size of the maximal differential transform operators is the same with the order of a singular integral for functions $f$ having local support.


title: MP-PCA denoising for diffusion MRS data: promises and pitfalls

abstract: Diffusion-weighted (DW) magnetic resonance spectroscopy (MRS) suffers from a lower signal to noise ratio (SNR) compared to conventional MRS owing to the addition of diffusion attenuation. This technique can therefore strongly benefit from noise reduction strategies. In the present work, the Marchenko-Pastur principal component analysis (MP-PCA) denoising is tested on Monte Carlo simulations and on in vivo DW-MRS data acquired at 9.4T in the rat brain. We provide a descriptive study of the effects observed following different MP-PCA denoising strategies (denoising the entire matrix versus using a sliding window), in terms of apparent SNR, rank selection, noise correlation within and across b-values and quantification of metabolite concentrations and fitted diffusion coefficients. MP-PCA denoising yielded an increased apparent SNR, a more accurate B0 drift correction between shots, and similar estimates of metabolite concentrations and diffusivities compared to the raw data. No spectral residuals on individual shots were observed but correlations in the noise level across shells were introduced, an effect which was mitigated using a sliding window, but which should be carefully considered.


title: Mapping the self-generated magnetic fields due to thermal Weibel instability

abstract: Weibel-type instability can self-generate and amplify magnetic fields in both space and laboratory plasmas with temperature anisotropy. The electron Weibel instability has generally proven more challenging to measure than its ion counterpart owing to the much smaller inertia of electrons, resulting in a faster growth rate and smaller characteristic wavelength. Here, we have probed the evolution of the two-dimensional distribution of the magnetic field components and the current density due to electron Weibel instability, in $\rm CO_2$-ionized hydrogen gas (plasma) with picosecond resolution using a relativistic electron beam. We find that the wavenumber spectra of the magnetic fields are initially broad but eventually shrink to a narrow spectrum representing the dominant quasi-single mode. The measured $k$-resolved growth rates of the instability validate kinetic theory. Concurrently, self-organization of microscopic plasma currents is observed to amplify the current modulation magnitude that converts up to $\sim 1\%$ of the plasma thermal energy into magnetic energy.


title: Magnetic measures of purity for MnBi$_2$Te$_4$

abstract: The intrinsically anti-ferromagnetic topological insulator, MnBi$_2$Te$_4$ (MBT), has garnered significant attention recently. The excitement for this layered van der Waals bonded compound stems from its potential to host numerous exotic topological quantum states. For instance, quantum anomalous Hall states are predicted for odd-layer compounds and axion insulator states for the even-layer compounds. Unfortunately, the realization of these phenomena has been hindered by experimental challenges such as the existence of negative charge carriers, i.e., electron doping, which have been linked to anti-site defects among the Mn and Bi sub-lattices. Based on high level diffusion Monte Carlo (DMC) and DMC-tuned DFT+U calculations, we provide benchmark quality results for the bulk Mn magnetization as well as for Mn$_{Bi}$ and Bi$_{Mn}$ defects. We use this information to refine and extend models that estimate the anti-site defect concentration in actual MBT samples when combined with data from magnetic susceptibility and intermediate field magnetization measurements. Our models are validated through favorable comparison with prior experimental studies that obtained both magnetic and site occupancy data. We then extend our estimates to a larger set of prior samples to identify a probable zone of low defect density that has yet to be reached in synthesis. We anticipate our theoretically based magnetic purity measures may be used as minimization targets in the cycle of refinement needed to synthesize MBT samples with low anti-site defect concentrations and more reproducible topological properties.


title: The evolution of unavoidable bi-chromatic patterns and extremal cases of balanceability

abstract: We study the color patterns that, for $n$ sufficiently large, are unavoidable in $2$-colorings of the edges of a complete graph $K_n$ with respect to $\min \{e(R), e(B)\}$, where $e(R)$ and $e(B)$ are the numbers of red and, respectively, blue edges. More precisely, we determine how such unavoidable patterns evolve from the case without restriction in the coloring, namely that $\min \{e(R), e(B)\} \ge 0$ (given by Ramsey's theorem), to the highest possible restriction, namely that $|e(R) - e(B)| \le 1$. We also investigate the effect of forbidding certain sub-structures in each color. In particular, we show that, in $2$-colorings whose graphs induced by each of the colors are both free from an induced matching on $r$ edges, the appearance of the unavoidable patterns is already granted with a much weaker restriction on $\min \{e(R), e(B)\}$. We finish analyzing the consequences of these results to the balancing number $bal(n,G)$ of a graph $G$ (i.e. the minimum $k$ such that every $2$-edge coloring of $K_n$ with $\min \{e(R), e(B)\} > k$ contains a copy of $G$ with half the edges in each color), and show that, for every $\varepsilon > 0$, there are graphs $G$ with $bal(n,G) \ge c n^{2-\varepsilon}$, which is the highest order of magnitude that is possible to achieve, as well as graphs where $bal(n,G) \le c(G)$, where $c(G)$ is a constant that depends only $G$. We characterize the latter ones.


title: Conformal Frequency Estimation with Sketched Data

abstract: A flexible conformal inference method is developed to construct confidence intervals for the frequencies of queried objects in very large data sets, based on a much smaller sketch of those data. The approach is data-adaptive and requires no knowledge of the data distribution or of the details of the sketching algorithm; instead, it constructs provably valid frequentist confidence intervals under the sole assumption of data exchangeability. Although our solution is broadly applicable, this paper focuses on applications involving the count-min sketch algorithm and a non-linear variation thereof. The performance is compared to that of frequentist and Bayesian alternatives through simulations and experiments with data sets of SARS-CoV-2 DNA sequences and classic English literature.


title: Collapse and revival of $n$-photon coherent states and $n$-photon squeezed coherent states

abstract: We introduce the set of $n$-photon coherent states and the set of $n$-photon squeezed coherent states and study their collapse and revival and compare their behavior with the collapse and revival of the corresponding zero-photon coherent states and zero-photon squeezed coherent states, respectively. The set of $n$-photon squeezed coherent states ($n=0,1,2,\cdots$) forms a basis of the Hilbert state of photons and may be of some interest. We notice that the presence of a few extra photons in the $n$-photon states as compared to the corresponding zero-photon states makes a large difference in the behavior of their collapse and revival. This indicates the large effect that a few extra photons makes in the $n$-photon states as compared to the corresponding zero-photon states in their collapse and revival.


title: Matrix Syncer -- A Multi-chain Data Aggregator For Supporting Blockchain-based Metaverses

abstract: Due to the rising complexity of the metaverse's business logic and the low-latency nature of the metaverse, developers typically encounter the challenge of effectively reading, writing, and retrieving historical on-chain data in order to facilitate their functional implementations at scale. While it is true that accessing blockchain states is simple, more advanced real-world operations such as search, aggregation, and conditional filtering are not available when interacting directly with blockchain networks, particularly when dealing with requirements for on-chain event reflection. We offer Matrix Syncer, the ultimate middleware that bridges the data access gap between blockchains and end-user applications. Matrix Syncer is designed to facilitate the consolidation of on-chain information into a distributed data warehouse while also enabling customized on-chain state transformation for a scalable storage, access, and retrieval. It offers a unified layer for both on- and off-chain state, as well as a fast and flexible atomic query. Matrix Syncer is easily incorporated into any infrastructure to aggregate data from various blockchains concurrently, such as Ethereum and Flow. The system has been deployed to support several metaverse projects with a total value of more than $15 million USD.


title: Weight Matrix Dimensionality Reduction in Deep Learning via Kronecker Multi-layer Architectures

abstract: Deep learning using neural networks is an effective technique for generating models of complex data. However, training such models can be expensive when networks have large model capacity resulting from a large number of layers and nodes. For training in such a computationally prohibitive regime, dimensionality reduction techniques ease the computational burden, and allow implementations of more robust networks. We propose a novel type of such dimensionality reduction via a new deep learning architecture based on fast matrix multiplication of a Kronecker product decomposition; in particular our network construction can be viewed as a Kronecker product-induced sparsification of an "extended" fully connected network. Analysis and practical examples show that this architecture allows a neural network to be trained and implemented with a significant reduction in computational time and resources, while achieving a similar error level compared to a traditional feedforward neural network.


title: String Diagram Rewriting Modulo Commutative (Co)monoid Structure

abstract: String diagrams constitute an intuitive and expressive graphical syntax that has found application in a very diverse range of fields including concurrency theory, quantum computing, control theory, machine learning, linguistics, and digital circuits. Rewriting theory for string diagrams relies on a combinatorial interpretation as double-pushout rewriting of certain hypergraphs. As previously studied, there is a `tension' in this interpretation: in order to make it sound and complete, we either need to add structure on string diagrams (in particular, Frobenius algebra structure) or pose restrictions on double-pushout rewriting (resulting in `convex' rewriting). From the string diagram viewpoint, imposing a full Frobenius structure may not always be natural or desirable in applications, which motivates our study of a weaker requirement: commutative monoid structure. In this work we characterise string diagram rewriting modulo commutative monoid equations, via a sound and complete interpretation in a suitable notion of double-pushout rewriting of hypergraphs.