title: Enhancement of Spin-Charge Conversion Efficiency for Co$_{3}$Sn$_{2}$S$_{2}$ across Transition from Paramagnetic to Ferromagnetic Phase

abstract: Co$_{3}$Sn$_{2}$S$_{2}$ (CSS) is one of the shandite compounds and becomes a magnetic Weyl semimetal candidate below the ferromagnetic phase transition temperature ($\textit{T}_\textrm{C}$). In this paper, we investigate the temperature ($\textit{T}$) dependence of conversion between charge current and spin current for the CSS thin film by measuring the spin-torque ferromagnetic resonance (ST-FMR) for the trilayer consisting of CSS / Cu / CoFeB. Above $\textit{T}_\textrm{C}$ ~ 170 K, the CSS / Cu / CoFeB trilayer exhibits the clear ST-FMR signal coming from the spin Hall effect in the paramagnetic CSS and the anisotropic magnetoresistance (AMR) of CoFeB. Below $\textit{T}_\textrm{C}$, on the other hand, it is found that the ST-FMR signal involves the dc voltages ($\textit{V}_\textrm{dc}$) not only through the AMR but also through the giant magnetoresistance (GMR). Thus, the resistance changes coming from both AMR and GMR should be taken into account to correctly understand the characteristic field angular dependence of $\textit{V}_\textrm{dc}$. The spin Hall torque generated from the ferromagnetic CSS, which possesses the same symmetry as that for spin Hall effect, dominantly acts on the magnetization of CoFeB. A definite increase in the spin-charge conversion efficiency ($\xi$) is observed at $\textit{T}$ < $\textit{T}_\textrm{C}$, indicating that the phase transition to the ferromagnetic CSS promotes the highly efficient spin-charge conversion. In addition, our theoretical calculation shows the increase in spin Hall conductivity with the emergence of magnetic moment at $\textit{T}$ < $\textit{T}_\textrm{C}$, which is consistent with the experimental observation.


title: A Sublinear Adversarial Training Algorithm

abstract: Adversarial training is a widely used strategy for making neural networks resistant to adversarial perturbations. For a neural network of width $m$, $n$ input training data in $d$ dimension, it takes $\Omega(mnd)$ time cost per training iteration for the forward and backward computation. In this paper we analyze the convergence guarantee of adversarial training procedure on a two-layer neural network with shifted ReLU activation, and shows that only $o(m)$ neurons will be activated for each input data per iteration. Furthermore, we develop an algorithm for adversarial training with time cost $o(m n d)$ per iteration by applying half-space reporting data structure.


title: Knapsack Secretary Through Boosting

abstract: We revisit the knapsack-secretary problem (Babaioff et al.; APPROX 2007), a generalization of the classic secretary problem in which items have different sizes and multiple items may be selected if their total size does not exceed the capacity $B$ of a knapsack. Previous works show competitive ratios of $1/(10e)$ (Babaioff et al.), $1/8.06$ (Kesselheim et al.; STOC 2014), and $1/6.65$ (Albers, Khan, and Ladewig; APPROX 2019) for the general problem but no definitive answers for the achievable competitive ratio; the best known impossibility remains $1/e$ as inherited from the classic secretary problem. In an effort to make more qualitative progress, we take an orthogonal approach and give definitive answers for special cases. Our main result is on the $1$-$2$-knapsack secretary problem, the special case in which $B=2$ and all items have sizes $1$ or $2$, arguably the simplest meaningful generalization of the secretary problem towards the knapsack secretary problem. Our algorithm is simple: It $\textit{boosts}$ the value of size-$1$ items by a factor $\alpha>1$ and then uses the size-oblivious approach by Albers, Khan, and Ladewig. We show by a nontrivial analysis that this algorithm achieves a competitive ratio of $1/e$ if and only if $1.40\lesssim\alpha\leq e/(e-1)\approx 1.58$. Towards understanding the general case, we then consider the case when sizes are $1$ and $B$, and $B$ is large. While it remains unclear if $1/e$ can be achieved in that case, we show that algorithms based only on the relative ranks of the item values can achieve precisely a competitive ratio of $1/(e+1)$. To show the impossibility, we use a non-trivial generalization of the factor-revealing linear program for the secretary problem (Buchbinder, Jain, and Singh; IPCO 2010).


title: Spectrograph design for the Asgard/BIFROST spectro-interferometric instrument for the VLTI

abstract: The BIFROST instrument will be the first VLTI instrument optimised for high spectral resolution up to R=25,000 and operate between 1.05 and 1.7 $\mu$m. A key component of the instrument will be the spectrograph, where we require a high throughput over a broad bandwidth. In this contribution, we discuss the four planned spectral modes (R=50, R=1000, R=5000, and R=25,000), the key spectral windows that we need to cover, and the technology choices that we have considered. We present our plan to use Volume Phase Holographic Gratings (VPHGs) to achieve a high efficiency $>$ 85%. We present our preliminary optical design and our strategies for wavelength calibration.


title: Equation of state of a hot-and-dense quark gluon plasma: lattice simulations at real $\mu_B$ vs. extrapolations

abstract: The equation of state of the quark gluon plasma is a key ingredient of heavy ion phenomenology. In addition to the traditional Taylor method, several novel approximation schemes have been proposed with the aim of calculating it at finite baryon density. In order to gain a pragmatic understanding of the limits of these schemes, we compare them to direct results at $\mu_B>0$, using reweighting techniques free from an overlap problem. We use 2stout improved staggered fermions with 8 time-slices and cover the entire RHIC BES range in the baryochemical potential, up to $\mu_B/T=3$.


title: Towards Autonomous Atlas-based Ultrasound Acquisitions in Presence of Articulated Motion

abstract: Robotic ultrasound (US) imaging aims at overcoming some of the limitations of free-hand US examinations, e.g. difficulty in guaranteeing intra- and inter-operator repeatability. However, due to anatomical and physiological variations between patients and relative movement of anatomical substructures, it is challenging to robustly generate optimal trajectories to examine the anatomies of interest, in particular, when they comprise articulated joints. To address this challenge, this paper proposes a vision-based approach allowing autonomous robotic US limb scanning. To this end, an atlas MRI template of a human arm with annotated vascular structures is used to generate trajectories and register and project them onto patients' skin surfaces for robotic US acquisition. To effectively segment and accurately reconstruct the targeted 3D vessel, we make use of spatial continuity in consecutive US frames by incorporating channel attention modules into a U-Net-type neural network. The automatic trajectory generation method is evaluated on six volunteers with various articulated joint angles. In all cases, the system can successfully acquire the planned vascular structure on volunteers' limbs. For one volunteer the MRI scan was also available, which allows the evaluation of the average radius of the scanned artery from US images, resulting in a radius estimation ($1.2\pm0.05~mm$) comparable to the MRI ground truth ($1.2\pm0.04~mm$).


title: Global solutions to the Kirchhoff equation with spectral gap data in the energy space

abstract: We prove that the classical hyperbolic Kirchhoff equation admits global-in-time solutions for some classes of initial data in the energy space. We also show that there are enough such solutions so that every initial datum in the energy space is the sum of two initial data for which a global-in-time solution exists. The proof relies on the notion of spectral gap data, namely initial data whose components vanish for large intervals of frequencies. We do not pass through the linearized equation, because it is not well-posed at this low level of regularity.


title: Benchmarking Joint Face Spoofing and Forgery Detection with Visual and Physiological Cues

abstract: Face anti-spoofing (FAS) and face forgery detection play vital roles in securing face biometric systems from presentation attacks (PAs) and vicious digital manipulation (e.g., deepfakes). Despite promising performance upon large-scale data and powerful deep models, the generalization problem of existing approaches is still an open issue. Most of recent approaches focus on 1) unimodal visual appearance or physiological (i.e., remote photoplethysmography (rPPG)) cues; and 2) separated feature representation for FAS or face forgery detection. On one side, unimodal appearance and rPPG features are respectively vulnerable to high-fidelity face 3D mask and video replay attacks, inspiring us to design reliable multi-modal fusion mechanisms for generalized face attack detection. On the other side, there are rich common features across FAS and face forgery detection tasks (e.g., periodic rPPG rhythms and vanilla appearance for bonafides), providing solid evidence to design a joint FAS and face forgery detection system in a multi-task learning fashion. In this paper, we establish the first joint face spoofing and forgery detection benchmark using both visual appearance and physiological rPPG cues. To enhance the rPPG periodicity discrimination, we design a two-branch physiological network using both facial spatio-temporal rPPG signal map and its continuous wavelet transformed counterpart as inputs. To mitigate the modality bias and improve the fusion efficacy, we conduct a weighted batch and layer normalization for both appearance and rPPG features before multi-modal fusion. We find that the generalization capacities of both unimodal (appearance or rPPG) and multi-modal (appearance+rPPG) models can be obviously improved via joint training on these two tasks. We hope this new benchmark will facilitate the future research of both FAS and deepfake detection communities.


title: The Relationship Between Surface Pressure Spectra and Vorticity in a Turbulent Boundary Layer

abstract: The modeling of surface pressure wave number spectra beneath a turbulent boundary layer is reviewed and reconsidered in terms of the vorticity in the flow. Using a solution based on the vorticity equation and Squires theorem, which was originally given by Chase(1991), it is shown that the complete solution for surface pressure spectrum can be specified using the non-linear turbulence-turbulence interaction terms as sources. It is then shown that the surface pressure can be directly related to the vorticity in the flow. The results are checked against a Direct Numerical Simulation of a channel flow configuration. It is shown that the vorticity associated with the wall shear stress decays rapidly over a distance of about seven wall units and so the outer vorticity dominates in the majority of the flow. The vorticity correlation functions are evaluated and it is shown that the length scale of the vorticity normal the wall is only about ten wall units so the flow can be modeled as the superposition of uncorrelated vortex sheets. Finally a model for the surface pressure wave number spectrum is developed by modeling the vorticity spectrum based on the distribution of root mean square (rms) vorticity in the flow, and an integral length scale that is about ten wall units. Using inputs from the numerical simulation, a good fit to existing empirical models for surface pressure spectra is obtained.


title: Weak Decays of $b$ and $c$ Quarks

abstract: Precision measurements in weak decays of heavy flavored hadrons can test in unique ways our understanding of the fundamental interactions and of the observed baryon asymmetry in the Universe. The high sensitivity of such decays to beyond-Standard-Model physics, combined with the lack of major discoveries in direct production of new particles, motivates the continuation of a strong heavy-flavor program in the next decades. The observation of several anomalies by the BaBar, Belle and LHCb experiments in such decays, including evidence for violation of lepton universality, provides particular motivation to vigorously pursue this program. While the mass scales probed by direct searches for non-Standard-Model phenomena at the energy frontier will only marginally increase in the near future, a substantial advancement is expected in the study of weak decays of $b$ and $c$ quarks. The next 10 to 20 years will see the development of a highly synergistic program of experiments at both $pp$ and $e^+e^-$ colliders. This program will be complemented by advancements in theory, including both lattice and continuum calculations. Experimental measurements and theory predictions of several key observables will reach unprecedented precision and will allow to test the Standard Model in ways that have not been possible thus far. With a strong participation in this program, the US high-energy-physics community will remain at the forefront of indirect searches for new physics and retain its leading role in expanding humankind's understanding of fundamental interactions.


title: In situ X-ray area detector gain correction at an operating photon energy

abstract: Gain calibration of x-ray area detectors is a challenge due to the inability to generate an x-ray flat field at the selected photon energy that the beamline operates at, which has a strong influence on the detector's gain behavior. A method is presented in which a gain map is calculated without flat field measurements. Rather, a series of quick scattering measurements from an amorphous scatterer is used to calculate a gain map. The ability to rapidly obtain a gain map allows for a recalibration of an x-ray detector as needed without significant expenditure of either time or effort. Area detectors on the beamlines used, such as the Pilatus 2M CdTe or Varex XRD 4343CT, were found to have gains which drift slightly over timescales of several weeks or after exposure to high photon flux, suggesting the need to more frequently recalibrate for detector gain.


title: Computing the theta function

abstract: Let $f: {\Bbb R}^n \longrightarrow {\Bbb R}$ be a positive definite quadratic form and let $y \in {\Bbb R}^n$ be a point. We present a fully polynomial randomized approximation scheme (FPRAS) for computing $\sum_{x \in {\Bbb Z}^n} e^{-f(x)}$, provided the eigenvalues of $f$ lie in the interval roughly between $s$ and $e^{s}$ and for computing $\sum_{x \in {\Bbb Z}^n} e^{-f(x-y)}$, provided the eigenvalues of $f$ lie in the interval roughly between $e^{-s}$ and $s^{-1}$ for some $s \geq 3$. To compute the first sum, we represent it as the integral of an explicit log-concave function on ${\Bbb R}^n$, and to compute the second sum, we use the reciprocity relation for theta functions. We then apply our results to test the existence of many short integer vectors in a given subspace $L \subset {\Bbb R}^n$, to estimate the distance from a given point to a lattice, and to sample a random lattice point from the discrete Gaussian distribution.


title: Active Sampling of Multiple Sources for Sequential Estimation

abstract: Consider $K$ processes, each generating a sequence of identical and independent random variables. The probability measures of these processes have random parameters that must be estimated. Specifically, they share a parameter $\theta$ common to all probability measures. Additionally, each process $i\in\{1, \dots, K\}$ has a private parameter $\alpha_i$. The objective is to design an active sampling algorithm for sequentially estimating these parameters in order to form reliable estimates for all shared and private parameters with the fewest number of samples. This sampling algorithm has three key components: (i)~data-driven sampling decisions, which dynamically over time specifies which of the $K$ processes should be selected for sampling; (ii)~stopping time for the process, which specifies when the accumulated data is sufficient to form reliable estimates and terminate the sampling process; and (iii)~estimators for all shared and private parameters. Owing to the sequential estimation being known to be analytically intractable, this paper adopts \emph {conditional} estimation cost functions, leading to a sequential estimation approach that was recently shown to render tractable analysis. Asymptotically optimal decision rules (sampling, stopping, and estimation) are delineated, and numerical experiments are provided to compare the efficacy and quality of the proposed procedure with those of the relevant approaches.


title: An invitation to positive geometries

abstract: This short introduction to positive geometries, targeted at a mathematical audience, is based on my talk at OPAC 2022.


title: Pikachu: Securing PoS Blockchains from Long-Range Attacks by Checkpointing into Bitcoin PoW using Taproot

abstract: Blockchain systems based on a reusable resource, such as proof-of-stake (PoS), provide weaker security guarantees than those based on proof-of-work. Specifically, they are vulnerable to long-range attacks, where an adversary can corrupt prior participants in order to rewrite the full history of the chain. To prevent this attack on a PoS chain, we propose a protocol that checkpoints the state of the PoS chain to a proof-of-work blockchain such as Bitcoin. Our checkpointing protocol hence does not rely on any central authority. Our work uses Schnorr signatures and leverages Bitcoin recent Taproot upgrade, allowing us to create a checkpointing transaction of constant size. We argue for the security of our protocol and present an open-source implementation that was tested on the Bitcoin testnet.


title: Modules over orders, conjugacy classes of integral matrices, and abelian varieties over finite fields

abstract: We give an algorithm to compute representatives of the conjugacy classes of semisimple square integral matrices with given minimal and characteristic polynomials. We also give an algorithm to compute the $\mathbb{F}_q$-isomorphism classes of abelian varieties over a finite field $\mathbb{F}_q$ which belong to an isogeny class determined by a characteristic polynomial $h$ of Frobenius when $h$ is ordinary, or $q$ is prime and $h$ has no real roots.


title: TagTeam: Towards Wearable-Assisted, Implicit Guidance for Human--Drone Teams

abstract: The availability of sensor-rich smart wearables and tiny, yet capable, unmanned vehicles such as nano quadcopters, opens up opportunities for a novel class of highly interactive, attention-shared human--machine teams. Reliable, lightweight, yet passive exchange of intent, data and inferences within such human--machine teams make them suitable for scenarios such as search-and-rescue with significantly improved performance in terms of speed, accuracy and semantic awareness. In this paper, we articulate a vision for such human--drone teams and key technical capabilities such teams must encompass. We present TagTeam, an early prototype of such a team and share promising demonstration of a key capability (i.e., motion awareness).


title: Speckle simulation tool for automated modelling of a large range of telescope aperture to fried parameter ratios

abstract: The Speckle Imager via MUlti Layer Atmospheric Turbulence Object Reconstructor (SIMULATOR) is a lab-based testbed instrument developed to test for speckle correlation-based techniques in the optical regime. However, this instrument can be used as a testbed against post-processing techniques or algorithms like lucky imaging, phase diversity method etc. The SIMULATOR can emulate 3D atmospheric turbulence behaviour using a three-layer turbulence screen, giving the user command over important site characteristics like wind profile, global fried parameter, global isoplanatic patch, mid-layer and high-layer height effects etc. This testbed is unique in that it can mimic a broad range of site and telescope characteristics accurately without the need for manual intervention or tuning of parameters. The current version can handle a Field of View (FoV) of up to $0.3^{\circ}$, bandwidth ranges from 4860 to 6560 nm and can cover atmospheric turbulence heights up to 83 km.


title: Equivalence of Insertion/Deletion Correcting Codes for $d$-dimensional Arrays

abstract: We consider the problem of correcting insertion and deletion errors in the $d$-dimensional space. This problem is well understood for vectors (one-dimensional space) and was recently studied for arrays (two-dimensional space). For vectors and arrays, the problem is motivated by several practical applications such as DNA-based storage and racetrack memories. From a theoretical perspective, it is interesting to know whether the same properties of insertion/deletion correcting codes generalize to the $d$-dimensional space. In this work, we show that the equivalence between insertion and deletion correcting codes generalizes to the $d$-dimensional space. As a particular result, we show the following missing equivalence for arrays: a code that can correct $t_\mathrm{r}$ and $t_\mathrm{c}$ row/column deletions can correct any combination of $t_\mathrm{r}^{\mathrm{ins}}+t_\mathrm{r}^{\mathrm{del}}=t_\mathrm{r}$ and $t_\mathrm{c}^{\mathrm{ins}}+t_\mathrm{c}^{\mathrm{del}}=t_\mathrm{c}$ row/column insertions and deletions. The fundamental limit on the redundancy and a construction of insertion/deletion correcting codes in the $d$-dimensional space remain open for future work.


title: Non-Contrastive Self-Supervised Learning of Utterance-Level Speech Representations

abstract: Considering the abundance of unlabeled speech data and the high labeling costs, unsupervised learning methods can be essential for better system development. One of the most successful methods is contrastive self-supervised methods, which require negative sampling: sampling alternative samples to contrast with the current sample (anchor). However, it is hard to ensure if all the negative samples belong to classes different from the anchor class without labels. This paper applies a non-contrastive self-supervised learning method on an unlabeled speech corpus to learn utterance-level embeddings. We used DIstillation with NO labels (DINO), proposed in computer vision, and adapted it to the speech domain. Unlike the contrastive methods, DINO does not require negative sampling. These embeddings were evaluated on speaker verification and emotion recognition. In speaker verification, the unsupervised DINO embedding with cosine scoring provided 4.38% EER on the VoxCeleb1 test trial. This outperforms the best contrastive self-supervised method by 40% relative in EER. An iterative pseudo-labeling training pipeline, not requiring speaker labels, further improved the EER to 1.89%. In emotion recognition, the DINO embedding performed 60.87, 79.21, and 56.98% in micro-f1 score on IEMOCAP, Crema-D, and MSP-Podcast, respectively. The results imply the generality of the DINO embedding to different speech applications.


title: Diversifying Message Aggregation in Multi-Agent Communication via Normalized Tensor Nuclear Norm Regularization

abstract: Aggregating messages is a key component for the communication of multi-agent reinforcement learning (Comm-MARL). Recently, it has witnessed the prevalence of graph attention networks (GAT) in Comm-MARL, where agents can be represented as nodes and messages can be aggregated via the weighted passing. While successful, GAT can lead to homogeneity in the strategies of message aggregation, and the ``core'' agent may excessively influence other agents' behaviors, which can severely limit the multi-agent coordination. To address this challenge, we first study the adjacency tensor of the communication graph and demonstrate that the homogeneity of message aggregation could be measured by the normalized tensor rank. Since the rank optimization problem is known to be NP-hard, we define a new nuclear norm, which is a convex surrogate of normalized tensor rank, to replace the rank. Leveraging the norm, we further propose a plug-and-play regularizer on the adjacency tensor, named Normalized Tensor Nuclear Norm Regularization (NTNNR), to actively enrich the diversity of message aggregation during the training stage. We extensively evaluate GAT with the proposed regularizer in both cooperative and mixed cooperative-competitive scenarios. The results demonstrate that aggregating messages using NTNNR-enhanced GAT can improve the efficiency of the training and achieve higher asymptotic performance than existing message aggregation methods. When NTNNR is applied to existing graph-attention Comm-MARL methods, we also observe significant performance improvements on the StarCraft II micromanagement benchmarks.


title: Defect engineering and Fermi-level tuning in half-Heusler topological semimetals

abstract: Three-dimensional topological semimetals host a range of interesting quantum phenomena related to band crossing that give rise to Dirac or Weyl fermions, and can be potentially engineered into novel quantum devices. Harvesting the full potential of these materials will depend on our ability to position the Fermi level near the symmetry-protected band crossings so that their exotic spin and charge transport properties become prominent in the devices. Recent experiments on bulk and thin films of topological half-Heuslers show that the Fermi level is far from the symmetry-protected crossings, leading to strong interference from bulk bands in the observation of topologically protected surface states. Using density functional theory calculations we explore how intrinsic defects can be used to tune the Fermi level in the two representative half-Heusler topological semimetals PtLuSb and PtLuBi. Our results explain recent results of Hall and angle-resolved photoemission measurements. The calculations show that Pt vacancies are the most abundant intrinsic defects in these materials grown under typical growth conditions, and that these defects lead to excess hole densities that place the Fermi level significantly below the expected position in the pristine material. Directions for tuning the Fermi level by tuning chemical potentials are addressed.


title: Impact of nuclear structure on longitudinal flow decorrelations in high-energy isobar collisions

abstract: Fluctuations of harmonic flow along pseudorapidity, known as flow decorrelations, are an important probe of the initial state geometry of the quark-gluon plasma. The flow decorrelations are shown to be sensitive to the collective structure of the colliding nuclei, as revealed clearly by comparing collisions of isobars, $^{96}$Ru+$^{96}$Ru and $^{96}$Zr+$^{96}$Zr, which have different nuclear structures. The flow decorrelations in central collisions are mostly sensitive to nuclear deformations, while those in the mid-central collisions are primarily sensitive to differences in skin thickness between $^{96}$Ru and $^{96}$Zr. Longitudinal flow decorrelations in heavy-ion collisions are a new tool to probe the structure of colliding nuclei.


title: Quantum Glasses -- a review

abstract: We review recent research on quantum glasses, with a focus on their equilibrium dynamics and the interplay between glassiness and localization phenomena. Interesting relations with the SYK model are discussed.

categories: cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: Instrumentation for Radio Interferometers with Antennas on a Regular Grid

abstract: In the past two decades, a rebirth of interest in low-frequency radio astronomy for 21 cm tomography of the Epoch of Reionization, has given rise to a new class of radio interferometers with $N \gg 100$ antennas. The availability of low-noise receivers that do not require cryogenic cooling has driven down the cost of antennas, making it affordable to build sensitivity with numerous small antennas rather than large dish structures. However, the computational- and storage-costs of such radio arrays, determined by the $\mathcal{O}(N^2)$ scaling of visibility products required for calibration and imaging, become proportional to the cost of the array itself and drive up the overall cost of the radio telescope. When antennas in the array are built on a regular grid, direct-imaging methods based on spatial Fourier transforms of the array can be exploited to avoid computing the intermediate visibility matrices that drive the unfavorable scaling. However, such methods rely on the availability of calibrated antenna voltages which are themselves difficult to obtain without using visibility matrices. In this thesis, I explore two real-time calibration strategies that can operate on subsets of visibility matrices, which can be computed without compromising on the $\mathcal{O}(N\log{N})$ scaling of direct-imaging systems. For more general radio interferometer layouts, baseline-dependent averaging with fringe stopping can be used to decrease the data rate of visibility products. The signal processing pipeline built for the Hydrogen Epoch of Reionization Array (HERA) is outlined in this thesis, which implements both fringe stopping and baseline dependent averaging to bring down the data rate from nearly 1 Tbps to 15 Gbps.


title: FourCastNet: Accelerating Global High-Resolution Weather Forecasting using Adaptive Fourier Neural Operators

abstract: Extreme weather amplified by climate change is causing increasingly devastating impacts across the globe. The current use of physics-based numerical weather prediction (NWP) limits accuracy due to high computational cost and strict time-to-solution limits. We report that a data-driven deep learning Earth system emulator, FourCastNet, can predict global weather and generate medium-range forecasts five orders-of-magnitude faster than NWP while approaching state-of-the-art accuracy. FourCast-Net is optimized and scales efficiently on three supercomputing systems: Selene, Perlmutter, and JUWELS Booster up to 3,808 NVIDIA A100 GPUs, attaining 140.8 petaFLOPS in mixed precision (11.9%of peak at that scale). The time-to-solution for training FourCastNet measured on JUWELS Booster on 3,072GPUs is 67.4minutes, resulting in an 80,000times faster time-to-solution relative to state-of-the-art NWP, in inference. FourCastNet produces accurate instantaneous weather predictions for a week in advance, enables enormous ensembles that better capture weather extremes, and supports higher global forecast resolutions.


title: A Reflection on the Organic Growth of the Internet Protocol Stack

abstract: In the last 15 years, the Internet architecture has continued evolving organically, introducing new headers and protocols to the classic TCP/IP stack. More specifically, we have identified two major trends. First, it is common that most communications are encrypted, either at L3 or L4. And second, due to protocol ossification, developers have resorted to upper layers to introduce new functionalities (L4 and above). For example, QUIC's connection migration feature provides mobility at L4. In this paper we present a reflection around these changes, and attempt to formalize them by adding two additional protocol headers to the TCP/IP stack: one for security, and another for new functionalities. We must note that we are not presenting a new architecture, but trying to draw up what it's already out there. In addition, we elaborate on the forces that have brought us here, and we enumerate current proposals that are shaping these new headers. We also analyze in detail three examples of such trends: the Zero Trust Networking paradigm, the QUIC transport protocol, and modern SD-WAN systems. Finally, we present a formalization of this architecture by adding these two additional layers to the TCP/IP protocol stack. Our goal is triggering a discussion on the changes of the current Internet architecture.


title: Mathematical and chemistry properties of geometry-based invariants

abstract: Recently, based on elementary geometry, Gutman proposed several geometry-based invariants (i.e., $SO$, $SO_{1}$, $SO_{2}$, $SO_{3}$, $SO_{4}$, $SO_{5}$, $SO_{6}$). The Sombor index was defined as $SO(G)=\sum\limits_{uv\in E(G)}\sqrt{d_{u}^{2}+d_{v}^{2}}$, the first Sombor index was defined as $SO_{1}(G)= \frac{1}{2}\sum\limits_{uv\in E(G)}|d_{u}^{2}-d_{v}^{2}|$, where $d_{u}$ denotes the degree of vertex $u$. In this paper, we consider the mathematical and chemistry properties of these geometry-based invariants. We determine the maximum trees (resp. unicyclic graphs) with given diameter, the maximum trees with given matching number, the maximum trees with given pendent vertices, the maximum trees (resp. minimum trees) with given branching number, the minimum trees with given maximum degree and second maximum degree, the minimum unicyclic graphs with given maximum degree and girth, the minimum connected graphs with given maximum degree and pendent vertices, and some properties of maximum connected graphs with given pendent vertices with respect to the first Sombor index $SO_{1}$. As an application, we inaugurate these geometry-based invariants and verify their chemical applicability. We used these geometry-based invariants to model the acentric factor (resp. entropy, enthalpy of vaporization, etc.) of alkanes, and obtained satisfactory predictive potential, which indicates that these geometry-based invariants can be successfully used to model the thermodynamic properties of compounds.


title: On a question of Davenport and diagonal cubic forms over $\mathbb{F}_q(t)$

abstract: Given a non-singular diagonal cubic hypersurface $X\subset\mathbb{P}^{n-1}$ over $\mathbb{F}_q(t)$ with $\mathrm{char} (\mathbb{F}_q)\neq 3$, we show that the number of rational points of height at most $|P|$ is $O(|P|^{3+\varepsilon})$ for $n=6$ and $O(\lvert P \rvert^{2+\varepsilon})$ for $n=4$. In fact, if $n=4$ and $\mathrm{char}(\mathbb{F}_q) >3$ we prove that the number of rational points away from any rational line contained in $X$ is bounded by $O(|P|^{3/2+\varepsilon})$. From the result in $6$ variables we deduce weak approximation for diagonal cubic hypersurfaces for $n\geq 7$ over $\mathbb{F}_q(t)$ when $\mathrm{char}(\mathbb{F}_q)>3$ and handle Waring's problem for cubes in $7$ variables over $\mathbb{F}_q(t)$ when $\mathrm{char}(\mathbb{F}_q)\neq 3$. Our results answer a question of Davenport regarding the number of solutions of bounded height to $x_1^3+x_2^3+x_3^3 = x_4^3+x_5^3+x_6^3$ with $x_i \in \mathbb{F}_q[t]$.


title: Inferred Properties of Planets in Mean-Motion Resonances are Biased by Measurement Noise

abstract: Planetary systems with mean-motion resonances (MMRs) hold special value in terms of their dynamical complexity and their capacity to constrain planet formation and migration histories. The key towards making these connections, however, is to have a reliable characterization of the resonant dynamics, especially the so-called "libration amplitude", which qualitatively measures how deep the system is into the resonance. In this work, we identify an important complication with the interpretation of libration amplitude estimates from observational data of resonant systems. Specifically, we show that measurement noise causes inferences of the libration amplitude to be systematically biased to larger values, with noisier data yielding a larger bias. We demonstrated this through multiple approaches, including using dynamical fits of synthetic radial velocity data to explore how the the libration amplitude distribution inferred from the posterior parameter distribution varies with the degree of measurement noise. We find that even modest levels of noise still result in a slight bias. The origin of the bias stems from the topology of the resonant phase space and the fact that the available phase space volume increases non-uniformly with increasing libration amplitude. We highlight strategies for mitigating the bias through the usage of particular priors. Our results imply that many known resonant systems are likely deeper in resonance than previously appreciated.


title: Hard-Constrained Deep Learning for Climate Downscaling

abstract: The availability of reliable, high-resolution climate and weather data is important to inform long-term decisions on climate adaptation and mitigation and to guide rapid responses to extreme events. Forecasting models are limited by computational costs and, therefore, often generate coarse-resolution predictions. Statistical downscaling, including super-resolution methods from deep learning, can provide an efficient method of upsampling low-resolution data. However, despite achieving visually compelling results in some cases, such models frequently violate conservation laws when predicting physical variables. In order to conserve physical quantities, here we introduce methods that guarantee statistical constraints are satisfied by a deep learning downscaling model, while also improving their performance according to traditional metrics. We compare different constraining approaches and demonstrate their applicability across different neural architectures as well as a variety of climate and weather data sets. Besides enabling faster and more accurate climate predictions through downscaling, we also show that our novel methodologies can improve super-resolution for satellite data and natural images data sets.


title: Block Double-Submission Attack: Block Withholding Can Be Self-Destructive

abstract: Proof-of-Work (PoW) is a Sybil control mechanism adopted in blockchain-based cryptocurrencies. It prevents the attempt of malicious actors to manipulate distributed ledgers. Bitcoin has successfully suppressed double-spending by accepting the longest PoW chain. Nevertheless, PoW encountered several major security issues surrounding mining competition. One of them is a Block WithHolding (BWH) attack that can exploit a widespread and cooperative environment called a mining pool. This attack takes advantage of untrustworthy relationships between mining pools and participating agents. Moreover, detecting or responding to attacks is challenging due to the nature of mining pools. In this paper, however, we suggest that BWH attacks also have a comparable trust problem. Because a BWH attacker cannot have complete control over BWH agents, they can betray the belonging mining pool and seek further benefits by trading with victims. We prove that this betrayal is not only valid in all attack parameters but also provides double benefits; finally, it is the best strategy for BWH agents. Furthermore, our study implies that BWH attacks may encounter self-destruction of their own revenue, contrary to their intention.


title: Population Size Estimation for Respondent-Driven Sampling and Capture-Recapture: A Unifying Framework

abstract: This paper deals with the estimation of population sizes for respondent-driven sampling (RDS), a variant of link-tracing sampling that leverages social networks over a number of waves to recruit individuals from hidden populations. The RDS process is mostly controlled by individual participants who might report on recruitment proposals, or nominations, that they have received or given. By considering all nominations given or received over a time period, one can create a capture-recapture dataset in which units are individuals who have received at least one nomination and capture occasions are either time intervals or recruitment waves, with the goal of estimating the size $N$ of the hidden population. In this paper, we argue that the underlying process that generated the RDS nomination data is that of a capture-recapture experiment. We then proposed a methodology for the estimation of the population size and investigated its performance against departures from classical capture-recapture assumptions.


title: Burch index, summands of syzygies and linearity in resolutions

abstract: The Burch index is a new invariant of a local ring $R$ whose positivity implies a kind of linearity in resolutions of $R$-modules. For example, if $R$ has depth zero and Burch index at least $2$, then any non-free 7th $R$-syzygy contains the residue field as a direct summand. We also compute the Burch index in various cases of interest.


title: Multidisciplinary benchmarks of a conservative spectral solver for the nonlinear Boltzmann equation

abstract: The Boltzmann equation describes the evolution of the phase-space probability distribution of classical particles under binary collisions. Approximations to it underlie the basis for several scholarly fields, including aerodynamics and plasma physics. While these approximations are appropriate in their respective domains, they can be violated in niche but diverse applications which require direct numerical solution of the original nonlinear Boltzmann equation. An expanded implementation of the Galerkin-Petrov conservative spectral algorithm is employed to study a wide variety of physical problems. Enabled by distributed precomputation, solutions of the spatially homogeneous Boltzmann equation can be achieved in seconds on modern personal hardware, while spatially-inhomogeneous problems are solvable in minutes. Several benchmarks against both analytic theoretical predictions and comparisons to other Boltzmann solvers are presented in the context of several domains including weakly ionized plasma, gaseous fluids, and atomic-plasma interaction.


title: Designing a 3D Parallel Memory-Aware Lattice Boltzmann Algorithm on Manycore Systems

abstract: Lattice Boltzmann method (LBM) is a promising approach to solving Computational Fluid Dynamics (CFD) problems, however, its nature of memory-boundness limits nearly all LBM algorithms' performance on modern computer architectures. This paper introduces novel sequential and parallel 3D memory-aware LBM algorithms to optimize its memory access performance. The introduced new algorithms combine the features of single-copy distribution, single sweep, swap algorithm, prism traversal, and merging two temporal time steps. We also design a parallel methodology to guarantee thread safety and reduce synchronizations in the parallel LBM algorithm. At last, we evaluate their performances on three high-end manycore systems and demonstrate that our new 3D memory-aware LBM algorithms outperform the state-of-the-art Palabos software (which realizes the Fuse Swap Prism LBM solver) by up to 89%.


title: The optimal Leray-Trudinger inequality

abstract: We fill the gap left open in \cite{MT}, regarding the minimum exponent on the logarithmic correction weight so that the Leray-Trudinger inequality (see \cite{PsSp}) holds. Instead of the representation formula used in \cite{PsSp} and \cite{MT}, our proof uses expansion in spherical harmonics as in \cite{VzZ}.


title: Physical Tuning and Naturalness

abstract: We present a radically new proposal for the solution of the naturalness/hierarchy problem, where the fine-tuning of the Higgs mass finds its physical explanation and the well-known multiplicative renormalization of the usual perturbative approach emerges as an IR property of the non-perturbative running of the mass.


title: The Gaia-ESO Public Spectroscopic Survey: Motivation, implementation, GIRAFFE data processing, analysis, and final data products

abstract: The Gaia-ESO Public Spectroscopic Survey is an ambitious project designed to obtain astrophysical parameters and elemental abundances for 100,000 stars, including large representative samples of the stellar populations in the Galaxy, and a well-defined sample of 60 (plus 20 archive) open clusters. We provide internally consistent results calibrated on benchmark stars and star clusters, extending across a very wide range of abundances and ages. This provides a legacy data set of intrinsic value, and equally a large wide-ranging dataset that is of value for homogenisation of other and future stellar surveys and Gaia's astrophysical parameters. This article provides an overview of the survey methodology, the scientific aims, and the implementation, including a description of the data processing for the GIRAFFE spectra. A companion paper (arXiv:2206.02901) introduces the survey results. Gaia-ESO aspires to quantify both random and systematic contributions to measurement uncertainties. Thus all available spectroscopic analysis techniques are utilised, each spectrum being analysed by up to several different analysis pipelines, with considerable effort being made to homogenise and calibrate the resulting parameters. We describe here the sequence of activities up to delivery of processed data products to the ESO Science Archive Facility for open use. The Gaia-ESO Survey obtained 202,000 spectra of 115,000 stars using 340 allocated VLT nights between December 2011 and January 2018 from GIRAFFE and UVES. The full consistently reduced final data set of spectra was released through the ESO Science Archive Facility in late 2020, with the full astrophysical parameters sets following in 2022.

categories: astro-ph.SR astro-ph.EP astro-ph.GA astro-ph.IM


title: Detecting COVID-19 from digitized ECG printouts using 1D convolutional neural networks

abstract: The COVID-19 pandemic has exposed the vulnerability of healthcare services worldwide, raising the need to develop novel tools to provide rapid and cost-effective screening and diagnosis. Clinical reports indicated that COVID-19 infection may cause cardiac injury, and electrocardiograms (ECG) may serve as a diagnostic biomarker for COVID-19. This study aims to utilize ECG signals to detect COVID-19 automatically. We propose a novel method to extract ECG signals from ECG paper records, which are then fed into a one-dimensional convolution neural network (1D-CNN) to learn and diagnose the disease. To evaluate the quality of digitized signals, R peaks in the paper-based ECG images are labeled. Afterward, RR intervals calculated from each image are compared to RR intervals of the corresponding digitized signal. Experiments on the COVID-19 ECG images dataset demonstrate that the proposed digitization method is able to capture correctly the original signals, with a mean absolute error of 28.11 ms. Our proposed 1D-CNN model, which is trained on the digitized ECG signals, allows identifying individuals with COVID-19 and other subjects accurately, with classification accuracies of 98.42%, 95.63%, and 98.50% for classifying COVID-19 vs. Normal, COVID-19 vs. Abnormal Heartbeats, and COVID-19 vs. other classes, respectively. Furthermore, the proposed method also achieves a high-level of performance for the multi-classification task. Our findings indicate that a deep learning system trained on digitized ECG signals can serve as a potential tool for diagnosing COVID-19.


title: Skipper-CCDs: current applications and future

abstract: This work briefly discusses the potential applications of the Skipper-CCD technology in astronomy and reviews its current use in dark matter and neutrino experiments. An overview of the ongoing efforts to build multi-kilogram experiments with these sensors is given, in the context of the Oscura experiment. First results from the characterization of Oscura sensors from the first 200 mm wafer-fabrication run with a new vendor are presented. The overall yield of the electron counting capability of these sensors is 71%. A noise of 0.087 e$^-$ RMS, with 1225 samples/pix, and a dark current of (0.031$\pm$0.013) e$^-$/pix/day at 140 K were measured.


title: Microstability of $\beta \sim 1$ tokamak equilibria

abstract: High-power-density tokamaks offer a potential solution to design cost-effective fusion devices. One way to achieve high power density is to operate at a high $\beta$ value (the ratio of thermal to magnetic pressure), i.e., $\beta \sim 1$. However, a $\beta \sim 1$ state may be unstable to various pressure- and current-driven instabilities or have unfavorable microstability properties. To explore these possibilities, we generate $\beta \sim 1$ equilibria and investigate their stability. Initially, we study an analytical technique that was used in the past to generate $\beta \sim 1$ equilibria and outline its limitations. Hence, we demonstrate the generation of high-$\beta$ equilibria with the computer code $\texttt{VMEC}$. We then analyze these equilibria to determine their stability against the infinite-$n$ ideal ballooning mode. We follow that by engaging in a detailed microstability study, beginning with assessments of electrostatic ITG and TEM instabilities. We observe interesting behavior for the high-$\beta$ equilibria -- stabilization of these modes through two distinct mechanisms. Finally, we perform electromagnetic gyrokinetic simulations and again observe stabilizing trends in the equilibria at high $\beta$. These trends are different from their lower $\beta$ counterparts and offer an alternative, potentially favorable regime of tokamak operation.


title: Gravitational radiation at infinity with non-negative cosmological constant

abstract: The existence of gravitational radiation arriving at null infinity -- i.e. escaping from the physical system -- is addressed in the presence of a non-negative cosmological constant $\Lambda\geq 0$. The case with vanishing $\Lambda$ is well understood and relies on the properties of the News tensor field (or the News function) defined at infinity. The situation is drastically different when $\Lambda>0$ where there is no known notion of `News' with similar good properties. In this paper both situations are considered jointly from a {\em tidal} point of view, that is, taking into account the strength (or energy) of the curvature tensors. The fundamental object used for that purposes in the {\em asymptotic (radiant) super-momentum}, a causal vector defined at infinity with remarkable properties. This leads to a novel characterization of gravitational radiation valid for the general case with $\Lambda\geq 0$ that has been proven to be equivalent, when $\Lambda =0$, to the standard one based on News. The implications of this result are analyzed in some detail when $\Lambda >0$. A general procedure to construct `news tensors' when $\Lambda >0$ is depicted, a proposal for asymptotic symmetries provided, and an example of a conserved charge that may detect gravitational radiation at infinity exhibited. A series of illustrative examples is listed.


title: On pseudoinverse-free randomized methods for linear systems: Unified framework and acceleration

abstract: We present a new framework for the analysis and design of randomized algorithms for solving various types of linear systems, including consistent or inconsistent, full rank or rank-deficient. Our method is formulated with four randomized sampling parameters, which allows the method to cover many existing randomization algorithms within a unified framework, including the doubly stochastic Gauss-Seidel, randomized Kaczmarz method, randomized coordinate descent method, and Gaussian Kaczmarz method. Compared with the projection-based block algorithms where a pseudoinverse for solving a least-squares problem is utilized at each iteration, our design is pseudoinverse-free. Furthermore, the flexibility of the new approach also enables the design of a number of new methods as special cases. Polyak's heavy ball momentum technique is also introduced in our framework for improving the convergence behavior of the method. We prove the global linear convergence rates of our method as well as an accelerated linear rate for the case of the norm of expected iterates. Finally, numerical experiments are provided to confirm our results.


title: Attention-aware Resource Allocation and QoE Analysis for Metaverse xURLLC Services

abstract: Metaverse encapsulates our expectations of the next-generation Internet, while bringing new key performance indicators (KPIs). Although conventional ultra-reliable and low-latency communications (URLLC) can satisfy objective KPIs, it is difficult to provide a personalized immersive experience that is a distinctive feature of the Metaverse. Since the quality of experience (QoE) can be regarded as a comprehensive KPI, the URLLC is evolved towards the next generation URLLC (xURLLC) with a personalized resource allocation scheme to achieve higher QoE. To deploy Metaverse xURLLC services, we study the interaction between the Metaverse service provider (MSP) and the network infrastructure provider (InP), and provide an optimal contract design framework. Specifically, the utility of the MSP, defined as a function of Metaverse users' QoE, is to be maximized, while ensuring the incentives of the InP. To model the QoE mathematically, we propose a novel metric named Meta-Immersion that incorporates both the objective KPIs and subjective feelings of Metaverse users. Furthermore, we develop an attention-aware rendering capacity allocation scheme to improve QoE in xURLLC. Using a user-object-attention level dataset, we validate that the xURLLC can achieve an average of 20.1% QoE improvement compared to the conventional URLLC with a uniform resource allocation scheme. The code for this paper is available at https://github.com/HongyangDu/AttentionQoE


title: Improved decay for quasilinear wave equations close to asymptotically flat spacetimes including black hole spacetimes

abstract: We study the quasilinear wave equation $\Box_{g}\phi=0$ where the metric $g = g(\phi,t,x)$ is close to and asymptotically approaches $g(0,t,x)$, which equals the Schwarzschild metric or a Kerr metric with small angular momentum, as time tends to infinity. Under only weak assumptions on the metric coefficients, we prove an improved pointwise decay rate for the solution $\phi$. One consequence of this rate is that for bounded $|x|$, we have the integrable decay rate $|\phi(t,x)| \le Ct^{-1-\min(\delta,1)}$ where $\delta>0$ is a parameter governing the decay, near the light cone, of the coefficient of the slowest-decaying term in the quasilinearity. We also obtain the same aforementioned pointwise decay rates for the quasilinear wave equation $(\Box_{\tilde g} + B^{\alpha}(t,x)\partial_\alpha + V(t,x))\phi=0$ with a more general asymptotically flat metric $\tilde g = \tilde g(\phi,t,x)$ and with other time-dependent asymptotically flat lower order terms.


title: Differentiable Inference of Temporal Logic Formulas

abstract: We demonstrate the first Recurrent Neural Network architecture for learning Signal Temporal Logic formulas, and present the first systematic comparison of formula inference methods. Legacy systems embed much expert knowledge which is not explicitly formalized. There is great interest in learning formal specifications that characterize the ideal behavior of such systems -- that is, formulas in temporal logic that are satisfied by the system's output signals. Such specifications can be used to better understand the system's behavior and improve design of its next iteration. Previous inference methods either assumed certain formula templates, or did a heuristic enumeration of all possible templates. This work proposes a neural network architecture that infers the formula structure via gradient descent, eliminating the need for imposing any specific templates. It combines learning of formula structure and parameters in one optimization. Through systematic comparison, we demonstrate that this method achieves similar or better mis-classification rates (MCR) than enumerative and lattice methods. We also observe that different formulas can achieve similar MCR, empirically demonstrating the under-determinism of the problem of temporal logic inference.


title: Parametric Couplings in Engineered Quantum Systems

abstract: Parametric couplings in engineered quantum systems are a powerful tool to control, manipulate and enhance interactions in a variety of platforms. It allows us to bring systems of different energy scales into communication with each other. This short chapter introduces the basic principles and discusses a few examples of how one can engineer parametric amplifiers with improved characteristics over conventional setups. Clearly, the selected examples are author-biased, and other interesting proposals and implementations can be found in the literature. The focus of this chapter is on parametric effects between linearly coupled harmonic oscillators, however, parametric modulation is also applicable with nonlinear couplings and anharmonic systems.


title: Investigating $\eta^\prime_{1}(1855)$ exotic states in $J/\psi\to\eta^\prime_{1}(1855)\eta^{(\prime)}$ decays

abstract: An analysis of the $J/\psi\to \eta\eta^\prime\gamma$ decay by the BESIII collaboration claims the observation of an exotic state $\eta_1(1855)$ with $I^GJ^{PC}=0^+1^{-+}$. To establish its C-parity partner $\eta^\prime_{1}(1855)$ in the picture of the $K \bar{K}_1(1400)$ molecular state, we propose that $J/\psi\to\eta^\prime_{1}(1855)\eta^{(\prime)}$ receives the main contributions from the final state interaction of $KK^*$($K^+ K^{*-}$, $K^- K^{*+}$, $K^0 \bar{K}^{*0}$, and $\bar{K}^0 K^{*0}$). Specifically, $K$ and $K^*$ in $J/\psi\to KK^*$ decays transform as $\eta^\prime_{1}(1855)\eta^{(\prime)}$, by exchanging a $K_1(1400)$. We predict ${\cal B}(J/\psi\to \eta^{\prime}_1(1855)\eta)=(6.3^{+12.6}_{-3.5})\times 10^{-6}$, and ${\cal B}(J/\psi\to \eta^{\prime}_1(1855)\eta^{\prime}) =(6.5^{+6.6}_{-4.6})\times 10^{-6}$, which can be studied in the $J/\psi\to K^*\bar{K}^*\eta^{(\prime)}$ decays.


title: Flexible Unsupervised Learning for Massive MIMO Subarray Hybrid Beamforming

abstract: Hybrid beamforming is a promising technology to improve the energy efficiency of massive MIMO systems. In particular, subarray hybrid beamforming can further decrease power consumption by reducing the number of phase-shifters. However, designing the hybrid beamforming vectors is a complex task due to the discrete nature of the subarray connections and the phase-shift amounts. Finding the optimal connections between RF chains and antennas requires solving a non-convex problem in a large search space. In addition, conventional solutions assume that perfect CSI is available, which is not the case in practical systems. Therefore, we propose a novel unsupervised learning approach to design the hybrid beamforming for any subarray structure while supporting quantized phase-shifters and noisy CSI. One major feature of the proposed architecture is that no beamforming codebook is required, and the neural network is trained to take into account the phase-shifter quantization. Simulation results show that the proposed deep learning solutions can achieve higher sum-rates than existing methods.


title: Active Learning Exploration of Transition Metal Complexes to Discover Method-Insensitive and Synthetically Accessible Chromophores

abstract: Transition metal chromophores with earth-abundant transition metals are an important design target for their applications in lighting and non-toxic bioimaging, but their design is challenged by the scarcity of complexes that simultaneously have optimal target absorption energies in the visible region as well as well-defined ground states. Machine learning (ML) accelerated discovery could overcome such challenges by enabling screening of a larger space, but is limited by the fidelity of the data used in ML model training, which is typically from a single approximate density functional. To address this limitation, we search for consensus in predictions among 23 density functional approximations across multiple rungs of Jacobs ladder. To accelerate the discovery of complexes with absorption energies in the visible region while minimizing MR character, we use 2D efficient global optimization to sample candidate low-spin chromophores from multi-million complex spaces. Despite the scarcity (i.e., approx. 0.01\%) of potential chromophores in this large chemical space, we identify candidates with high likelihood (i.e., > 10\%) of computational validation as the ML models improve during active learning, representing a 1,000-fold acceleration in discovery. Absorption spectra of promising chromophores from time-dependent density functional theory verify that 2/3 of candidates have the desired excited state properties. The observation that constituent ligands from our leads have demonstrated interesting optical properties in the literature exemplifies the effectiveness of our construction of a realistic design space and active learning approach.

categories: physics.chem-ph cond-mat.mtrl-sci cs.LG q-bio.BM


title: Non-Contrastive Self-supervised Learning for Utterance-Level Information Extraction from Speech

abstract: In recent studies, self-supervised pre-trained models tend to outperform supervised pre-trained models in transfer learning. In particular, self-supervised learning (SSL) of utterance-level speech representation can be used in speech applications that require discriminative representation of consistent attributes within an utterance: speaker, language, emotion, and age. Existing frame-level self-supervised speech representation, e.g., wav2vec, can be used as utterance-level representation with pooling, but the models are usually large. There are also SSL techniques to learn utterance-level representation. One of the most successful is a contrastive method, which requires negative sampling: selecting alternative samples to contrast with the current sample (anchor). However, this does not ensure that all the negative samples belong to classes different from the anchor class without labels. This paper applies a non-contrastive self-supervised method to learn utterance-level embeddings. We adapted DIstillation with NO labels (DINO) from computer vision to speech. Unlike contrastive methods, DINO does not require negative sampling. We compared DINO to x-vector trained in a supervised manner. When transferred to down-stream tasks (speaker verification, speech emotion recognition (SER), and Alzheimer's disease detection), DINO outperformed x-vector. We studied the influence of several aspects during transfer learning such as dividing the fine-tuning process into steps, chunk lengths, or augmentation. During fine-tuning, tuning the last affine layers first and then the whole network surpassed fine-tuning all at once. Using shorter chunk lengths, although they generate more diverse inputs, did not necessarily improve performance, implying speech segments at least with a specific length are required for better performance per application. Augmentation was helpful in SER.


title: CoditT5: Pretraining for Source Code and Natural Language Editing

abstract: Pretrained language models have been shown to be effective in many software-related generation tasks; however, they are not well-suited for editing tasks as they are not designed to reason about edits. To address this, we propose a novel pretraining objective which explicitly models edits and use it to build CoditT5, a large language model for software-related editing tasks that is pretrained on large amounts of source code and natural language comments. We fine-tune it on various downstream editing tasks, including comment updating, bug fixing, and automated code review. By outperforming standard generation-based models, we demonstrate the generalizability of our approach and its suitability for editing tasks. We also show how a standard generation model and our edit-based model can complement one another through simple reranking strategies, with which we achieve state-of-the-art performance for the three downstream editing tasks.


title: Robust Methods for High-Dimensional Linear Learning

abstract: We propose statistically robust and computationally efficient linear learning methods in the high-dimensional batch setting, where the number of features $d$ may exceed the sample size $n$. We employ, in a generic learning setting, two algorithms depending on whether the considered loss function is gradient-Lipschitz or not. Then, we instantiate our framework on several applications including vanilla sparse, group-sparse and low-rank matrix recovery. This leads, for each application, to efficient and robust learning algorithms, that reach near-optimal estimation rates under heavy-tailed distributions and the presence of outliers. For vanilla $s$-sparsity, we are able to reach the $s\log (d)/n$ rate under heavy-tails and $\eta$-corruption, at a computational cost comparable to that of non-robust analogs. We provide an efficient implementation of our algorithms in an open-source $\mathtt{Python}$ library called $\mathtt{linlearn}$, by means of which we carry out numerical experiments which confirm our theoretical findings together with a comparison to other recent approaches proposed in the literature.


title: Coupling Temperature Distribution with the Single Particle Model

abstract: The DFN (Doyle-Fuller-Newman) model is well know for being accurate and computationally expensive. In situations where temperature gradients are important (eg fast charging) it is desirable to couple the temperature dynamics within a battery into the DFN model. This leads to even greater computational complexity. Inspired by the work of Marquis et al [1] we present the derivation of a reduced-order model based on the DFN model with temperature in the macroscale. The complexity of the reduced-order model is characterised by the local temperature plus one internal electro-chemical dimension and the electrolyte dynamics is accounted for by a simple correction term.


title: CLARION2-TRINITY: a Compton-suppressed HPGe and GAGG:Ce-Si-Si array for absolute cross-section measurements with heavy ions

abstract: The design and performance of a new Compton-suppressed HPGe and charged-particle array, CLARION2-TRINITY, are described. The TRINITY charged-particle array is comprised of 64 Cerium-doped Gadolinium Aluminium Gallium Garnet (GAGG:Ce) crystals configured into five rings spanning 7-54 degrees, and two annular silicon detectors that can shadow or extend the angular coverage to backward angles with minimal $\gamma$-ray attenuation. GAGG:Ce is a non-hygroscopic, bright, and relatively fast scintillator with a light distribution well matched to SiPMs. Count rates up to 40 kHz per crystal are sustainable. Fundamental characteristics of GAGG:Ce are measured and presented, including light- and heavy-ion particle identification (PID) capability, pulse-height defects, radiation hardness, and emission spectra. The CLARION2 array consists of up to 16 Compton-suppressed HPGe Clover detectors ($\approx4\%$ efficiency at 1 MeV) configured into four rings (eight HPGe crystal rings) using a non-Archimedean geometry that suppresses back-to-back coincident 511-keV gamma rays. The entire array is instrumented with 100- and 500-MHz (14 bit) waveform digitizers which enable triggerless operation, pulse-shape discrimination, fast timing, and pileup correction. Finally, two examples of experimental data taken during the commissioning of the CLARION2-TRINITY system are given: a PID spectrum from $^{16}$O + $^{18}$O fusion-evaporation, and PID and Doppler-corrected $\gamma$-ray spectra from $^{48}$Ti + $^{12}$C Coulomb excitation.


title: $k$-NIM trees: Characterization and Enumeration

abstract: Among those real symmetric matrices whose graph is a given tree $T$, the maximum multiplicity $M(T)$ that can be attained by an eigenvalue is known to be the path cover number of $T$. We say that a tree is $k$-NIM if, whenever an eigenvalue attains a multiplicity of $k-1$ less than the maximum multiplicity, all other multiplicities are $1$. $1$-NIM trees are known as NIM trees, and a characterization for NIM trees is already known. Here we provide a graph-theoretic characterization for $k$-NIM trees for each $k\geq 1$, as well as count them. It follows from the characterization that $k$-NIM trees exist on $n$ vertices only when $k=1,2,3$. In case $k=3$, the only $3$-NIM trees are simple stars.


title: Competition between two-photon driving, dissipation and interactions in bosonic lattice models: an exact solution

abstract: We present an exact solution in arbitrary dimensions for the steady states of a class of quantum driven-dissipative bosonic models, where a set of modes is subject to arbitrary two-photon driving, single-photon loss and a global Hubbard (or Kerr)-like interaction. Our solutions reveal a wealth of striking phenomena, including the emergence of dissipative phase transitions, nontrivial mode competition physics and symmetry breaking, and the stabilization of many-body $SU(1,1)$ pair coherent states. Our exact solutions enable the description of spatial correlations, and are fully valid in regimes where traditional mean-field and semiclassical approaches break down.


title: Double Higgs production at TeV $e^+e^-$ colliders with Effective Field Theories: sensitivity to BSM Higgs couplings

abstract: In this work we study the production of two Higgs bosons at the two planned electron positron colliders with energies at the TeV domain, CLIC and ILC, within the context of Effective Field Theories (EFTs) to describe beyond the Standard Model Higgs Physics. We focus first on the case of the Higgs Effective Field Theory (HEFT) and next we compare with the case of the Standard Model Effective Field Theory (SMEFT). The predictions for double Higgs production in both EFTs are first presented for the most relevant subprocess participating in the total process of our interest, $e^+e^- \to HH \nu \bar \nu$, which is the scattering of two gauge bosons, $WW \to HH$, also called $WW$ fusion. The predictions for the cross section $ \sigma(W_X W_Y\to HH)$ as a function of the subprocess energy are analyzed in full detail for the two EFTs, for all the polarization channels with longitudinal and transverse modes $XY=LL, TT,LT,TL$, and for the most relevant effective operators in both cases. We will demonstrate that in the HEFT case, the total cross section can be fully understood in terms of the $LL$ contribution and this in turn is dominated at these TeV energies mainly by two HEFT coefficients. By doing the matching between the two EFTs at the level of the scattering amplitude for the subprocess, we will be able to find the correspondence of the leading coefficients in the HEFT and the SMEFT. In the final part of this work we will then explore the sensitivity to these two most relevant HEFT coefficients, at CLIC (3 TeV, 5 ab$^{-1}$) and ILC (1 TeV, 8 ab$^{-1}$). We will then conclude on the accessible region of these two parameters by studying the predicted rates at these two $e^+e^-$ colliders for the final state $b \bar b b \bar b \nu \bar \nu$ leading to characteristic signals with 4 bottom jets and missing energy.


title: The Effectiveness of Embedded Values Analysis Modules in Computer Science Education: An Empirical Study

abstract: Embedding ethics modules within computer science courses has become a popular response to the growing recognition that CS programs need to better equip their students to navigate the ethical dimensions of computing technologies like AI, machine learning, and big data analytics. However, the popularity of this approach has outpaced the evidence of its positive outcomes. To help close that gap, this empirical study reports positive results from Northeastern's program that embeds values analysis modules into CS courses. The resulting data suggest that such modules have a positive effect on students' moral attitudes and that students leave the modules believing they are more prepared to navigate the ethical dimensions they will likely face in their eventual careers. Importantly, these gains were accomplished at an institution without a philosophy doctoral program, suggesting this strategy can be effectively employed by a wider range of institutions than many have thought.


title: Coupling of Plasmonic Hot Spots with Shurikens for Superchiral SERS-based Enantiomer Recognition

abstract: Detection of enantiomers is a challenging problem in drug development as well as environmental and food quality monitoring where traditional optical detection methods suffer from low signals and sensitivity. Application of surface enhanced Raman scattering (SERS) for enantiomeric discrimination is a powerful approach for the analysis of optically active small organic or large biomolecules. In this work, for enantio-selective sensing we proposed the coupling of disposable chiral plasmonic shurikens supporting the chiral near-field distribution with SERS active silver nanoclusters. As a result of the plasmonic coupling significant difference in SERS response of optically active analytes is observed. This is hypothesized and confirmed by numerical simulations to be a consequence of the silver particles being excited by superchiral fields generated at the surface or the probe molecules achieving additional polarization. The plasmon coupling phenomena was found to be extremely sensitive to slight variations in shuriken geometry, silver nanostructured layer parameters, and SERS excitation wavelength(s). Designed structures were able to discriminate cysteine enantiomers at concentrations in the nanomolar range and probe biomolecular chirality, using a common Raman spectrometer within several minutes. The combination of disposable plasmonic substrates with specific near-field polarization can make the SERS enantiomer discrimination a commonly available technique using standard Raman spectrometers.


title: Time-dependent optimized coupled-cluster method with doubles and perturbative triples [TD-OCCD(T)] for first principles simulation of multielectron dynamics

abstract: We report the formulation of a new, cost-effective approximation method in the time-dependent optimized coupled-cluster (TD-OCC) framework [T. Sato et al., J. Chem. Phys. 148, 051101 (2018)] for first-principles simulations of multielectron dynamics in an intense laser field. The method, designated as TD-OCCD(T), is a time-dependent, orbital-optimized extension of the "gold-standard" CCSD(T) method in the ground-state electronic structure theory. The equations of motion for the orbital functions and the coupled-cluster amplitudes are derived based on the real-valued time-dependent variational principle using the fourth-order Lagrangian. The TD-OCCD(T) is size extensive and gauge invariant, and scales as O(N^7) with respect to the number of active orbitals N. The pilot application of the TD-OCCD(T) method to the strong-field ionization and high-order harmonic generation from a Kr atom is reported in comparison with the results of the previously developed methods, such as the time-dependent complete-active-space self-consistent field (TD-CASSCF), TD-OCC with double and triple excitations (TD-OCCDT), TD-OCC with double excitations (TD-OCCD), and the time-dependent Hartree-Fock (TDHF) methods.


title: Revisiting Piggyback Prototyping: Examining Benefits and Tradeoffs in Extending Existing Social Computing Systems

abstract: The CSCW community has a history of designing, implementing, and evaluating novel social interactions in technology, but the process requires significant technical effort for uncertain value. We discuss the opportunities and applications of "piggyback prototyping", building and evaluating new ideas for social computing on top of existing ones, expanding on its potential to contribute design recommendations. Drawing on about 50 papers which use the method, we critically examine the intellectual and technical benefits it provides, such as ecological validity and leveraging well-tested features, as well as research-product and ethical tensions it imposes, such as limits to customization and violation of participant privacy. We discuss considerations for future researchers deciding whether to use piggyback prototyping and point to new research agendas which can reduce the burden of implementing the method.


title: Evidence for PeV Proton Acceleration from Fermi-LAT Observations of SNR G106.3+2.7

abstract: The existence of a "knee" at energy ~1 PeV in the cosmic-ray spectrum suggests the presence of Galactic PeV proton accelerators called "PeVatrons". Supernova Remnant (SNR) G106.3+2.7 is a prime candidate for one of these. The recent detection of very high energy (0.1-100 TeV) gamma rays from G106.3+2.7 may be explained either by the decay of neutral pions or inverse Compton scattering by relativistic electrons. We report an analysis of 12 years of Fermi-LAT gamma-ray data which shows that the GeV-TeV gamma-ray spectrum is much harder and requires a different total electron energy than the radio and X-ray spectra, suggesting it has a distinct, hadronic origin. The non-detection of gamma rays below 10 GeV implies additional constraints on the relativistic electron spectrum. A hadronic interpretation of the observed gamma rays is strongly supported. This observation confirms the long-sought connection between Galactic PeVatrons and SNRs. Moreover, it suggests that G106.3+2.7 could be the brightest member of a new population of SNRs whose gamma-ray energy flux peaks at TeV energies. Such a population may contribute to the cosmic-ray knee and be revealed by future very high energy gamma-ray detectors.


title: Parity-violating nuclear spin-rotation and NMR shielding tensors in tetrahedral molecules

abstract: In natural processes involving weak interactions, a violation of spatial parity conservation should appear. Its effects are expected to be observable in molecules using different spectroscopic methodologies, but due to the tiny magnitude of these effects they have never been measured yet. We present a theoretical analysis of four-component relativistic nuclear-spin-dependent parity-violating nuclear spin-rotation and NMR shielding tensors in a set of tetrahedral chiral molecules. This work highlights the crucial role played by the ligands and the electronic structure of the chiral center in the enhancement of these effects, leading the way towards targeted design of promising molecules for measurements.


title: Density functional theory for molecular size consistency and fractional charge

abstract: The exact universal functional of integer charge leads to an extension to fractional charge asymptotically when it is applied to a system made of asymptotically separated densities. The extended functional is asymptotically local and is said to be i-local. Applying the functional to a system with nuclei distributed in two asymptotically separated locales requires an explicit search of the electronic charge at each locale. The result of the search leads to the molecular size consistency principle. It is physically sensible to extend the concept of molecule to include fractional number of electrons (called fractional molecule) as a localizable observable, with its electronic energy defined as a Legendre transform of the universal functional of fractional charge. A one-to-one mapping between the density and the external potential of a fractional molecule exists. The well-known piecewise linearity of the functional with respect to the number of electrons is shown to hold only for asymptotically isolated v-representable densities. On the other hand, this condition is necessary for an approximate i local universal functional to be accurate for integer number of electrons. The KS kinetic functional for a fractional molecule is well defined and has the same form as that for a system of integer charge. It is shown to be i-local. A nondegenerate ensemble v-representable fractional density is simultaneously noninteracting wavefunction representable with the KS noninteracting assumption. A constrained search over a set of those representing wavefunctions yields an exchange-correlation functional pertaining to fractional occupancies. It is shown to be an upper-bound to the formal KS exchange-correlation energy of the fractional molecule and includes strong correlation. The new functional yields the correct result for a well-designed example of effective fractional occupancies in literature.


title: On correlations and fluctuations of time-averaged densities and currents with general time-dependence

abstract: We present technical results required for the description and understanding of correlations and fluctuations of the empirical density and current as well as diverse time-integrated and time-averaged thermodynamic currents of diffusion processes with a general time dependence on all time scales. In particular, we generalize the results from arXiv:2105.10483 (Phys. Rev. Lett., article in press), arXiv:2204.06553 (Phys. Rev. Research, article in press), and arXiv:2206.04034 to additive functionals with explicit time dependence and transient or non-ergodic overdamped diffusion. As an illustration we apply the results to two-dimensional harmonically confined overdamped diffusion in a rotational flow evolving from a non-stationary initial distribution.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Erasure qubits: Overcoming the $T_1$ limit in superconducting circuits

abstract: The amplitude damping time, $T_1$, has long stood as the major factor limiting quantum fidelity in superconducting circuits, prompting concerted efforts in the material science and design of qubits aimed at increasing $T_1$. In contrast, the dephasing time, $T_{\phi}$, can usually be extended above $T_1$ (via, e.g., dynamical decoupling), to the point where it does not limit fidelity. In this article we propose a scheme for overcoming the conventional $T_1$ limit on fidelity by designing qubits in a way that amplitude damping errors can be detected and converted into erasure errors. Compared to standard qubit implementations our scheme improves the performance of fault-tolerant protocols, as numerically demonstrated by the circuit-noise simulations of the surface code. We describe two simple qubit implementations with superconducting circuits and discuss procedures for detecting amplitude damping errors, performing entangling gates, and extending $T_\phi$. Our results suggest that engineering efforts should focus on improving $T_\phi$ and the quality of quantum coherent control, as they effectively become the limiting factor on the performance of fault-tolerant protocols.


title: The Analysis about Building Cross-lingual Sememe Knowledge Base Based on Deep Clustering Network

abstract: A sememe is defined as the minimum semantic unit of human languages. Sememe knowledge bases (KBs), which contain words annotated with sememes, have been successfully applied to many NLP tasks, and we believe that by learning the smallest unit of meaning, computers can more easily understand human language. However, Existing sememe KBs are built on only manual annotation, human annotations have personal understanding biases, and the meaning of vocabulary will be constantly updated and changed with the times, and artificial methods are not always practical. To address the issue, we propose an unsupervised method based on a deep clustering network (DCN) to build a sememe KB, and you can use any language to build a KB through this method. We first learn the distributed representation of multilingual words, use MUSE to align them in a single vector space, learn the multi-layer meaning of each word through the self-attention mechanism, and use a DNC to cluster sememe features. Finally, we completed the prediction using only the 10-dimensional sememe space in English. We found that the low-dimensional space can still retain the main feature of the sememes.


title: Wonderful compactifications and rational curves with cyclic action

abstract: We prove that the moduli space of rational curves with cyclic action, constructed in our previous work, is realizable as a wonderful compactification of the complement of a hyperplane arrangement in a product of projective spaces. By proving a general result on such wonderful compactifications, we conclude that this moduli space is Chow-equivalent to an explicit toric variety (whose fan can be understood as a tropical version of the moduli space), from which a computation of its Chow ring follows.


title: Random GF(q)-representable matroids are not (b,c)-decomposable

abstract: We show that a random subset of the rank-$n$ projective geometry $\text{PG}(n-1,q)$ is, with high probability, not $(b,c)$-decomposable: if $k$ is its colouring number, it does not admit a partition of its ground set into classes of size at most $ck$, every transversal of which is $b$-colourable. This generalises recent results by Abdolazimi, Karlin, Klein, and Oveis Gharan (arXiv:2111.12436) and by Leichter, Moseley, and Pruhs (arXiv:2206.12896), who showed that $\text{PG}(n-1,q)$ is not $(1,c)$-decomposable, resp. not $(b,c)$-decomposable.


title: Degenerate r-Bell polynomials arising from degenerate normal odering

abstract: Recently, Kim-Kim introduced the degenerate r-Bell polynomials and investigated some results which are derived from umbral calculus. The aim of this paper is to study some properties of the degenerate r-Bell polynomials and numbers via boson operators. In particular, we obtain two expressions for the generating function of the degenerate r-Bell polynomials in |z| , and a recurrence relation and Dobinski-like formula for the degenerate r-Bell numbers. These are derived from the degenerate normal ordering of a degenerate integral power of the number operator in terms of boson operators where the degenerate r-Stirling numbers of the second kind appear as the coefficients.


title: Colossal negative magnetoresistance in the complex charge density wave regime of an antiferromagnetic Dirac semimetal

abstract: Colossal magnetoresistance (MR) is a well-known phenomenon, notably observed in hole-doped ferromagnetic manganites. It remains a major research topic due to its potential in technological applications. Though topological semimetals also show large MR, its origin and nature are completely different. Here, we show that in the highly electron doped region, the Dirac semimetal CeSbTe demonstrates similar properties as the manganites. CeSb$_{0.11}$Te$_{1.90}$ hosts multiple charge density wave (CDW) modulation-vectors and has a complex magnetic phase diagram. We confirm that this compound is an antiferromagnetic Dirac semimetal. Despite having a metallic Fermi surface, the electronic transport properties are semiconductor-like and deviate from known theoretical models. An external magnetic field induces a semiconductor-metal-like transition, which results in a colossal negative MR. Moreover, signatures of the coupling between the CDW and a spin modulation are observed in resistivity. This spin modulation also produces a giant anomalous Hall response.


title: Circuits in Extended Formulations

abstract: Circuits and extended formulations are classical concepts in linear programming theory. The circuits of a polyhedron are the elementary difference vectors between feasible points and include all edge directions. We study the connection between the circuits of a polyhedron $P$ and those of an extended formulation of $P$, i.e., a description of a polyhedron $Q$ that linearly projects onto $P$. It is well known that the edge directions of $P$ are images of edge directions of $Q$. We show that this `inheritance' under taking projections does not extend to the set of circuits. We provide counterexamples with a provably minimal number of facets, vertices, and extreme rays, including relevant polytopes from clustering, and show that the difference in the number of circuits that are inherited and those that are not can be exponentially large in the dimension. We further prove that counterexamples exist for any fixed linear projection map, unless the map is injective. Finally, we characterize those polyhedra $P$ whose circuits are inherited from all polyhedra $Q$ that linearly project onto $P$. Conversely, we prove that every polyhedron $Q$ satisfying mild assumptions can be projected in such a way that the image polyhedron $P$ has a circuit with no preimage among the circuits of $Q$. Our proofs build on standard constructions such as homogenization and disjunctive programming.


title: CCAT-prime: Design of the Mod-Cam receiver and 280 GHz MKID instrument module

abstract: Mod-Cam is a first light and commissioning instrument for the CCAT-prime project's six-meter aperture Fred Young Submillimeter Telescope (FYST), currently under construction at 5600 m on Cerro Chajnantor in Chile's Atacama Desert. Prime-Cam, a first-generation science instrument for FYST, will deliver over ten times greater mapping speed than current and near-term facilities for unprecedented 280-850 GHz broadband and spectroscopic measurements with microwave kinetic inductance detectors (MKIDs). CCAT-prime will address a suite of science goals, from Big Bang cosmology to star formation and galaxy evolution over cosmic time. Mod-Cam deployment on FYST with a 280 GHz instrument module containing MKID arrays is planned for early science observations in 2024. Mod-Cam will be used to test instrument modules for Prime-Cam, which can house up to seven instrument modules. We discuss the design and status of the 0.9 m diameter, 1.8 m long Mod-Cam receiver and 40 cm diameter 280 GHz instrument module, with cold stages at 40 K, 4 K, 1 K, and 100 mK. We also describe the instrument module's cryogenic readout designs to enable the readout of more than 10,000 MKIDs across 18 networks.


title: Stronger Quantum Speed Limit

abstract: The quantum speed limit provides fundamental bound on how fast a quantum system can evolve between the initial and the final states. For the unitary evolution, the celebrated Mandelstam-Tamm (MT) bound has been widely studied for various systems. Here, we prove a stronger quantum speed limit (SQSL) for all quantum systems undergoing arbitrary unitary evolution and show that the MT bound is a special case of the stronger quantum speed limit. We apply our result for single system as well as for composite systems in separable and entangled states and show that the new bound is indeed tight. The stronger quantum speed limit will have wide range of applications in quantum control, quantum computing and quantum information processing.


title: EvolveHypergraph: Group-Aware Dynamic Relational Reasoning for Trajectory Prediction

abstract: While the modeling of pair-wise relations has been widely studied in multi-agent interacting systems, its ability to capture higher-level and larger-scale group-wise activities is limited. In this paper, we propose a group-aware relational reasoning approach (named EvolveHypergraph) with explicit inference of the underlying dynamically evolving relational structures, and we demonstrate its effectiveness for multi-agent trajectory prediction. In addition to the edges between a pair of nodes (i.e., agents), we propose to infer hyperedges that adaptively connect multiple nodes to enable group-aware relational reasoning in an unsupervised manner without fixing the number of hyperedges. The proposed approach infers the dynamically evolving relation graphs and hypergraphs over time to capture the evolution of relations, which are used by the trajectory predictor to obtain future states. Moreover, we propose to regularize the smoothness of the relation evolution and the sparsity of the inferred graphs or hypergraphs, which effectively improves training stability and enhances the explainability of inferred relations. The proposed approach is validated on both synthetic crowd simulations and multiple real-world benchmark datasets. Our approach infers explainable, reasonable group-aware relations and achieves state-of-the-art performance in long-term prediction.


title: Revisiting Algebraic Attacks on MinRank and on the Rank Decoding Problem

abstract: The Rank Decoding problem (RD) is at the core of rank-based cryptography. This problem can also be seen as a structured version of MinRank, which is ubiquitous in multivariate cryptography. Recently, \cite{BBBGNRT20,BBCGPSTV20} proposed attacks based on two new algebraic modelings, namely the MaxMinors modeling which is specific to RD and the Support-Minors modeling which applies to MinRank in general. Both improved significantly the complexity of algebraic attacks on these two problems. In the case of RD and contrarily to what was believed up to now, these new attacks were shown to be able to outperform combinatorial attacks and this even for very small field sizes. However, we prove here that the analysis performed in \cite{BBCGPSTV20} for one of these attacks which consists in mixing the MaxMinors modeling with the Support-Minors modeling to solve RD is too optimistic and leads to underestimate the overall complexity. This is done by exhibiting linear dependencies between these equations and by considering an $\fqm$ version of these modelings which turns out to be instrumental for getting a better understanding of both systems. Moreover, by working over $\Fqm$ rather than over $\ff{q}$, we are able to drastically reduce the number of variables in the system and we (i) still keep enough algebraic equations to be able to solve the system, (ii) are able to analyze rigorously the complexity of our approach. This new approach may improve the older MaxMinors approach on RD from \cite{BBBGNRT20,BBCGPSTV20} for certain parameters. We also introduce a new hybrid approach on the Support-Minors system whose impact is much more general since it applies to any MinRank problem. This technique improves significantly the complexity of the Support-Minors approach for small to moderate field sizes.


title: A high-granularity calorimeter insert based on SiPM-on-tile technology at the future Electron-Ion Collider

abstract: We present a design for a high-granularity calorimeter insert for future experiments at the Electron-Ion Collider (EIC). The sampling-calorimeter design uses scintillator tiles read out with silicon photomultipliers. It maximizes coverage close to the beampipe, while solving challenges arising from the beam-crossing angle and mechanical integration. It yields a compensated response that is linear over the energy range of interest for the EIC. Its energy resolution meets the requirements set in the EIC Yellow Report even with a basic reconstruction algorithm. Moreover, this detector will provide 5D shower data (position, energy, and time), which can be exploited with machine-learning techniques. This detector concept has the potential to unleash the power of imaging calorimetry at the EIC to enable measurements at extreme kinematics in electron-proton and electron-nucleus collisions.


title: Constraining the physical properties of the first lensed $z\sim10-16$ galaxy candidates with JWST

abstract: The first deep-field observations of the JWST have immediately yielded a surprisingly large number of very high redshift candidates, pushing the frontier of observability well beyond $z\gtrsim10$. We here present a detailed SED-fitting analysis of the 15 gravitationally lensed $z\sim10-16$ galaxy candidates detected behind the galaxy cluster SMACS J0723.3-7327 in Atek et al. (2022) using the BEAGLE tool. Our analysis makes use of dynamical considerations to place limits on the ages of these galaxies and of all three published SL models of the cluster to account for lensing systematics. We find these galaxies to have relatively low stellar masses $M_{\star}\sim10^7-10^8\,\mathrm{M}_{\odot}$ and young ages $t_{\mathrm{age}}\sim10-100$\,Myr. Due to their very blue UV-slopes, down to $\beta\sim-3$, all of the galaxies in our sample have extremely low dust attenuations $A_V\lesssim0.02$. Placing the measured parameters into relation, we find a very shallow $M_{\star}-M_{\mathrm{UV}}$-slope and high sSFRs above the main sequence of star-formation with no significant redshift-evolution in either relation. This is in agreement with the bright UV luminosities measured for these objects and indicates that we are naturally selecting galaxies that are currently undergoing a star-bursting episode at the time they are observed. Finally, we discuss the robustness of our high-redshift galaxy sample regarding low-redshift interlopers and conclude that low-redshift solutions can safely be ruled out for roughly half of the sample, including the highest-redshift galaxies at $z\sim12-16$. These objects represent compelling targets for spectroscopic follow-up observations with JWST and ALMA.


title: Star Cluster Formation in Clouds with Externally Driven Turbulence

abstract: Star clusters are known to be formed in turbulent molecular clouds. How turbulence is driven in molecular clouds and what effect this has on star formation is still unclear. We compare a simulation setup with turbulent driving everywhere in a periodic box with a setup where turbulence is only driven around the outside of the box. We analyse the resulting gas distribution, kinematics, and the population of stars that are formed from the cloud. Both setups successfully produce a turbulent velocity field with a power law structure function, the externally driven cloud has a more central, monolithic, clump, while the fully driven cloud has many smaller, more dispersed, clumps. The star formation follows the cloud morphology producing large clusters, with high star forming efficiency in the externally driven simulations and sparse individual star formation with much lower star formation efficiency in the fully driven case. We conclude that the externally driven method, which resembles a Global Hierarchical Collapse (GHC) scenario, produces star clusters that more closely match with observations.


title: Poster: Revocation in VANETs Based on k-ary Huffman Trees

abstract: One of the biggest problems of vehicular ad-hoc networks is revocation. The efficient management of such issue has become one of the major paradigms in this area of research. A solution proposed here is based on the use of authenticated data structures like revocation trees to replace the classical and inefficient certificate revocation lists. In particular, the idea of this paper is to propose the use of k-ary hash trees, Huffman coding and a duplex version of the SHA-3 hash function, to optimize insertions and searches in the revocation structure. Thus, the inclusion of a new certificate revoked in the tree, only implies a new iteration of the duplex construction of the hash function, avoiding recalculating the entire hashes and the entire tree. Furthermore, a k-ary Huffman tree is used to insert leaf nodes at different levels so that those revoked nodes that are more queried, are located closer to the root node position, so the revocation proof is smaller for those vehicles that spend more time on the roads. This paper details a method to calculate the optimum value $k$ for the k-ary tree in order to optimize the revocation proof size. Therefore, the proposal described here improves both the insertion of new revoked certificates in the revocation structure and the search of revoked certificates in the revocation structure. This paper is part of a work in progress, so that we plan to implement the scheme in real scenarios to get ideal values of the parameters and comparisons with other schemes.