title: Blueprint of optically addressable molecular network for quantum circuit architecture

abstract: Optically connecting quantum bits can effectively reduce decoherence and facilitate long-distance communication. Optically addressable spin-bearing molecules have been demonstrated to have a good potential for quantum computing. In this report optically induced exchange interactions and spin dynamics, which are inherently important for spin-based quantum computing, have been calculated for a bi-radical - a potential quantum computing circuit unit. Consistent with the previous experimental observation of spin coherence induced by optical excitation, our work demonstrated an optically driven quantum gate operation scheme, implying a great potential of molecular quantum-circuit network. A blueprint of quantum circuit, integrating two-dimensional molecular network and programmable nano-photonics, both of which have been under extensive investigations and rather mature, was proposed. We thus envisage computational exploration of chemical database to identify suitable candidates for molecular spin quantum bit and coupler, which could be optimally integrated with nano-photonic devices to realize quantum circuit. The work presented here would therefore open up a new direction to explore 'Click Chemistry' for quantum technology.

categories: quant-ph cond-mat.mes-hall physics.app-ph physics.atm-clus physics.comp-ph


title: Git Re-Basin: Merging Models modulo Permutation Symmetries

abstract: The success of deep learning is due in large part to our ability to solve certain massive non-convex optimization problems with relative ease. Though non-convex optimization is NP-hard, simple algorithms -- often variants of stochastic gradient descent -- exhibit surprising effectiveness in fitting large neural networks in practice. We argue that neural network loss landscapes often contain (nearly) a single basin after accounting for all possible permutation symmetries of hidden units a la Entezari et al. 2021. We introduce three algorithms to permute the units of one model to bring them into alignment with a reference model in order to merge the two models in weight space. This transformation produces a functionally equivalent set of weights that lie in an approximately convex basin near the reference model. Experimentally, we demonstrate the single basin phenomenon across a variety of model architectures and datasets, including the first (to our knowledge) demonstration of zero-barrier linear mode connectivity between independently trained ResNet models on CIFAR-10. Additionally, we identify intriguing phenomena relating model width and training time to mode connectivity. Finally, we discuss shortcomings of the linear mode connectivity hypothesis, including a counterexample to the single basin theory.


title: The Complexity and Expressive Power of Second-Order Extended Logic

abstract: We study the expressive powers of SO-HORN$^{*}$, SO-HORN$^{r}$ and SO-HORN$^{*r}$ on all finite structures. We show that SO-HORN$^{r}$, SO-HORN$^{*r}$, FO(LFP) coincide with each other and SO-HORN$^{*}$ is proper sublogic of SO-HORN$^{r}$. To prove this result, we introduce the notions of DATALOG$^{*}$ program, DATALOG$^{r}$ program and their stratified versions, S-DATALOG$^{*}$ program and S-DATALOG$^{r}$ program. It is shown that, on all structures, DATALOG$^{r}$ and S-DATALOG$^{r}$ are equivalent and DATALOG$^{*}$ is a proper sublogic of DATALOG$^{r}$. SO-HORN$^{*}$ and SO-HORN$^{r}$ can be treated as the negations of DATALOG$^{*}$ and DATALOG$^{r}$, respectively. We also show that SO-EHORN$^{r}$ logic which is an extended version of SO-HORN captures co-NP on all finite structures.


title: Localization with Single or Antipodal Distance Measurements

abstract: Given a polygonal workspace $W$, a depth sensor placed at point $p=(x,y)$ inside $W$ and oriented in direction $\theta$ measures the distance $d=h(x,y,\theta)$ between $p$ and the closest point on the boundary of $W$ along a ray emanating from $p$ in direction $\theta$. We study the following problem: For a polygon $W$ with $n$ vertices, possibly with holes, preprocess it such that given a query real value $d> 0$, one can efficiently compute the preimage $h^{-1}(d) \subset W\times \mathbb{S}^1$, namely determine all the possible poses (positions and orientations) of a depth sensor placed in $W$ that would yield the reading $d$, in an output-sensitive fashion. We describe such an output-sensitive data structure, which answers queries in $O(k \log n)$ time, where $k$ is the number of vertices and maximal arcs of low degree algebraic curves constituting the answer. We also obtain analogous results for the more useful case (narrowing down the set of possible poses), where the sensor performs two antipodal depth measurements from the same point in $W$. We then describe simpler data structures for the same two problems, where we employ a decomposition of $W\times \mathbb{S}^1$, and where the query time is output-sensitive relative to this decomposition. Our software implementation for these latter structures is open source and publicly available. Although robot localization is often carried out by exploring the full visibility polygon of a sensor placed at a point of the environment, the approach that we propose here opens the door to sufficing with only few depth measurements, which is advantageous as it allows for usage of inexpensive sensors and could also lead to savings in storage and communication costs.


title: Regular Trace Formula of Eigenvalues of a Discontinuous One-point Boundary Value Problem with Retarded Argument

abstract: In this study, we found a regular trace formula for the eigenvalues of the boundary value problem, which we created with the second-order differential equation with eigen parameter and discontinuity at x ={\pi}/2, which is an interior point of the finite range [0, {\pi}], and boundary conditions that also contain eigen parameter, and interface conditions.


title: Continual Learning for Pose-Agnostic Object Recognition in 3D Point Clouds

abstract: Continual Learning aims to learn multiple incoming new tasks continually, and to keep the performance of learned tasks at a consistent level. However, existing research on continual learning assumes the pose of the object is pre-defined and well-aligned. For practical application, this work focuses on pose-agnostic continual learning tasks, where the object's pose changes dynamically and unpredictably. The point cloud augmentation adopted from past approaches would sharply rise with the task increment in the continual learning process. To address this problem, we inject the equivariance as the additional prior knowledge into the networks. We proposed a novel continual learning model that effectively distillates previous tasks' geometric equivariance information. The experiments show that our method overcomes the challenge of pose-agnostic scenarios in several mainstream point cloud datasets. We further conduct ablation studies to evaluate the validation of each component of our approach.


title: Parasitic Element Time-Modulation for Enhanced Effective Inter-Antenna Coupling: Utilization for Improved Gain-Bandwidth

abstract: Time variation has been recently introduced as an additional degree of freedom for wave engineering, that enables going beyond the performances that are expected by linear time-invariant (LTI) systems. In this paper, we introduce the concept of indirect time-modulation of antennas using an add-on time-varying scatterer (parasitic element) that gives rise to an inherent feedback mechanism via the airborne wave system. As opposed to a direct modulated system where a time-dependent element is in contact with the other elements, in an indirect time modulation scheme \emph{no} direct physical contact between the original LTI network and the time-varying add-on scatterer is needed, thus leading to additional flexibility in the design. Using indirect time modulation we demonstrate enhanced effective coupling between remote antenna elements, and the possibility to outperform the gain-bandwidth achieved for the same antenna structure but without time-modulation.


title: MOJAVE. XX. Persistent Linear Polarization Structure in Parsec-scale AGN Jets

abstract: We analysed the parsec-scale linear polarization properties of 436 active galactic nuclei (AGN) based on 15 GHz polarimetric Very Long Baseline Array (VLBA) observations. We present polarization and total intensity images averaged over at least five epochs since 1996 January 19 through 2019 August 4. Stacking improves the image sensitivity down to $\sim$30 $\mu$Jy/beam and effectively fills out the jet cross-section both in total intensity and linear polarization. It delineates the long-term persistent magnetic field configuration and its regularity by restoring spatial distributions of the electric vector position angle (EVPA) and fractional polarization, respectively. On average, about ten years of stacking period is needed to reveal the stable and most-complete polarization distribution of a source. We find that the degree of polarization significantly increases down and across the jet towards its edges, typically manifesting U or W-shaped transverse profiles, suggesting a presence of a large-scale helical magnetic field associated with the outflow. In some AGN jets, mainly BL Lacs, we detect quasi-constant fractional polarization profiles across the jet, accompanied by EVPAs that closely follow the outflow. BL Lacs show higher fractional polarization values in their cores and jets than those in quasars up to hectoparsec de-projected scales, while on larger scales, they become comparable. High-synchrotron-peaked BL Lac jets are found to be less polarized than intermediate and low-synchrotron-peaked BL Lacs. The spatial distribution of the EVPAs in BL Lacs tend to align with the local jet direction, while quasars show an excess of orthogonal polarization orientation.


title: The economic and health impacts of contact tracing and quarantine programs

abstract: Contact tracing and quarantine programs have been one of the leading Non-Pharmaceutical Interventions against COVID-19. Some governments have relied on mandatory programs, whereas others embrace a voluntary approach. However, there is limited evidence on the relative effectiveness of these different approaches. In an interactive online experiment conducted on 731 subjects representative of the adult US population in terms of sex and region of residence, we find there is a clear ranking. A fully mandatory program is better than an optional one, and an optional system is better than no intervention at all. The ranking is driven by reductions in infections, while economic activity stays unchanged. We also find that political conservatives have higher infections and levels of economic activity, and they are less likely to participate in the contact tracing program.


title: Measuring Effects of Spatial Visualization and Domain on Visualization Task Performance: A Comparative Study

abstract: Understanding your audience is foundational to creating high impact visualization designs. However, individual differences and cognitive abilities also influence interactions with information visualization. Differing user needs and abilities suggest that an individual's background could influence cognitive performance and interactions with visuals in a systematic way. This study builds on current research in domain-specific visualization and cognition to address if domain and spatial visualization ability combine to affect performance on information visualization tasks. We measure spatial visualization and visual task performance between those with tertiary education and professional profile in business, law & political science, and math & computer science. We conducted an online study with 90 participants using an established psychometric test to assess spatial visualization ability, and bar chart layouts rotated along Cartesian and polar coordinates to assess performance on spatially rotated data. Accuracy and response times varied with domain across chart types and task difficulty. We found that accuracy and time correlate with spatial visualization level, and education in math & computer science can indicate higher spatial visualization. Additionally, we found distinct motivations can affect performance in that higher motivation could contribute to increased levels of accuracy. Our findings indicate discipline not only affects user needs and interactions with data visualization, but also cognitive traits. Our results can advance inclusive practices in visualization design and add to knowledge in domain-specific visual research that can empower designers across disciplines to create effective visualizations.


abstract: We prove Shokurov's index conjecture for quotient singularities.


title: Joint Activity Detection and Channel Estimation for Massive IoT Access Based on Millimeter-Wave/Terahertz Multi-Panel Massive MIMO

abstract: The multi-panel array, as a state-of-the-art antenna-in-package technology, is very suitable for millimeter-wave (mmWave)/terahertz (THz) systems, due to its low-cost deployment and scalable configuration. But in the context of nonuniform array structures it leads to intractable signal processing. Based on such an array structure at the base station, this paper investigates a joint active user detection (AUD) and channel estimation (CE) scheme based on compressive sensing (CS) for application to the massive Internet of Things (IoT). Specifically, by exploiting the structured sparsity of mmWave/THz massive IoT access channels, we firstly formulate the multi-panel massive multiple-input multiple-output (mMIMO)-based joint AUD and CE problem as a multiple measurement vector (MMV)-CS problem. Then, we harness the expectation maximization (EM) algorithm to learn the prior parameters (i.e., the noise variance and the sparsity ratio) and an orthogonal approximate message passing (OAMP)-EM-MMV algorithm is developed to solve this problem. Our simulation results verify the improved AUD and CE performance of the proposed scheme compared to conventional CS-based algorithms.


title: Deep Lossy Plus Residual Coding for Lossless and Near-lossless Image Compression

abstract: Lossless and near-lossless image compression is of paramount importance to professional users in many technical fields, such as medicine, remote sensing, precision engineering and scientific research. But despite rapidly growing research interests in learning-based image compression, no published method offers both lossless and near-lossless modes. In this paper, we propose a unified and powerful deep lossy plus residual (DLPR) coding framework for both lossless and near-lossless image compression. In the lossless mode, the DLPR coding system first performs lossy compression and then lossless coding of residuals. We solve the joint lossy and residual compression problem in the approach of VAEs, and add autoregressive context modeling of the residuals to enhance lossless compression performance. In the near-lossless mode, we quantize the original residuals to satisfy a given $\ell_\infty$ error bound, and propose a scalable near-lossless compression scheme that works for variable $\ell_\infty$ bounds instead of training multiple networks. To expedite the DLPR coding, we increase the degree of algorithm parallelization by a novel design of coding context, and accelerate the entropy coding with adaptive residual interval. Experimental results demonstrate that the DLPR coding system achieves both the state-of-the-art lossless and near-lossless image compression performance with competitive coding speed.


title: Dynamic Hybrid Beamforming Design for Dual-Function Radar-Communication Systems

abstract: This paper investigates dynamic hybrid beamforming (HBF) for a dual-function radar-communication (DFRC) system, where the DFRC base station (BS) simultaneously serves multiple single-antenna users and senses a target in the presence of multiple clutters. Particularly, we apply a HBF architecture with dynamic subarrays and double phase shifters in the DFRC BS. Aiming at maximizing the radar mutual information, we consider jointly designing the dynamic HBF of the DFRC system, subject to the constraints of communication quality of service (QoS), transmit power, and analog beamformer. To solve the complicated non-convex optimization, an efficient alternating optimization algorithm based on the majorization-minimization methods is developed. Simulation results verify the advancement of the considered HBF architecture and the effectiveness of the proposed design method.


title: Information content in formal languages

abstract: Motivated by creating physical theories, formal languages $S$ with variables are considered and a kind of distance between elements of the languages is defined by the formula $d(x,y)= \ell(x \nabla y) - \ell(x) \wedge \ell(y)$, where $\ell$ is a length function and $x \nabla y$ means the united theory of $x$ and $y$. Actually we mainly consider abstract abelian idempotent monoids $(S,\nabla)$ provided with length functions $\ell$. The set of length functions can be projected to another set of length functions such that the distance $d$ is actually a pseudometric and satisfies $d(x\nabla a,y\nabla b) \le d(x,y) + d(a,b)$. We also propose a "signed measure" on the set of Boolean expressions of elements in $S$, and a Banach-Mazur-like distance between abelian, idempotent monoids with length functions, or formal languages.


title: The Reduced Bergman Kernel and its Properties

abstract: In this article, we study some properties of the $n$-th order weighted reduced Bergman kernels for planar domains, $n\geq 1$. Specifically, we look at Ramadanov type theorems, localization, and boundary behaviour of the weighted reduced Bergman kernel and its higher-order counterparts. We also give a transformation formula for these kernels under biholomorphisms.


title: OpenMixup: A Comprehensive Mixup Benchmark for Visual Classification

abstract: Data mixing, or mixup, is a data-dependent augmentation technique that has greatly enhanced the generalizability of modern deep neural networks. However, a full grasp of mixup methodology necessitates a top-down hierarchical understanding from systematic impartial evaluations and empirical analysis, both of which are currently lacking within the community. In this paper, we present OpenMixup, the first comprehensive mixup benchmarking study for supervised visual classification. OpenMixup offers a unified mixup-based model design and training framework, encompassing a wide collection of data mixing algorithms, a diverse range of widely-used backbones and modules, and a set of model analysis toolkits. To ensure fair and complete comparisons, large-scale standard evaluations of various mixup baselines are conducted across 12 diversified image datasets with meticulous confounders and tweaking powered by our modular and extensible codebase framework. Interesting observations and insights are derived through detailed empirical analysis of how mixup policies, network architectures, and dataset properties affect the mixup visual classification performance. We hope that OpenMixup can bolster the reproducibility of previously gained insights and facilitate a better understanding of mixup properties, thereby giving the community a kick-start for the development and evaluation of new mixup methods. The source code and user documents are available at \url{https://github.com/Westlake-AI/openmixup}.


title: An integral form of quantum toroidal $\mathfrak{gl}_1$

abstract: We consider the (direct sum over all $n$ of the) $K$-theory of the semi-nilpotent commuting variety of $\mathfrak{gl}_n$, and describe its convolution algebra structure in two ways: the first as an explicit shuffle algebra (i.e. a particular $\mathbb{Z}[q_1^{\pm 1}, q_2^{\pm 1}]$-submodule of the equivariant $K$-theory of a point) and the second as the $\mathbb{Z}[q_1^{\pm 1}, q_2^{\pm 1}]$-algebra generated by certain elements $\{\bar{H}_{n,d}\}_{(n,d) \in \mathbb{N} \times \mathbb{Z}}$.


title: Control of electron beam current, charge and energy spread using density downramp injection in laser wakefield accelerators

abstract: Density dowmramp injection has been demonstrated to be an elegant and efficient approach for generating high quality electron beams in laser wakefield accelerators. Yet, the charge of the produced beam is tens of pC per Joule of laser energy, still limiting its use for a wider range of applications. The possibility of generating high charge beam while keeping a good beam quality, stays to be explored. Moreover, despite previous studies focused on separate physical processes such as beam loading which affects the uniformity of the acceleration field and thus the energy spread of the trapped electrons, repulsive force from the rear spike of the bubble which reduces the transverse momentum $p_\perp$ of the trapped electrons and results in small beam emmittance, and the laser evolution when travelling in plasma. A more general investigation of the plasma density parameters on the final beam properties is required. In this work, we demonstrate that the current profile of the injected electron beam is directly correlated with the density transition parameters, which further affects the beam charge and energy spread. By fine-tuning the plasma density parameters, high-charge (up to several hundreds of pC) and low-energy-spread (around 1\% FWHM) electron beams can be obtained. All these results are supported by large-scale three-dimensional particle-in-cell simulations.


title: Performance-Driven Controller Tuning via Derivative-Free Reinforcement Learning

abstract: Choosing an appropriate parameter set for the designed controller is critical for the final performance but usually requires a tedious and careful tuning process, which implies a strong need for automatic tuning methods. However, among existing methods, derivative-free ones suffer from poor scalability or low efficiency, while gradient-based ones are often unavailable due to possibly non-differentiable controller structure. To resolve the issues, we tackle the controller tuning problem using a novel derivative-free reinforcement learning (RL) framework, which performs timestep-wise perturbation in parameter space during experience collection and integrates derivative-free policy updates into the advanced actor-critic RL architecture to achieve high versatility and efficiency. To demonstrate the framework's efficacy, we conduct numerical experiments on two concrete examples from autonomous driving, namely, adaptive cruise control with PID controller and trajectory tracking with MPC controller. Experimental results show that the proposed method outperforms popular baselines and highlight its strong potential for controller tuning.


title: Three-nucleon system: Irreducible and reducible contributions of the three-nucleon force

abstract: The three-nucleon bound and scattering equations are solved in momentum space for a coupled-channel Hamiltonian. The Hamiltonian couples the purely nucleonic sector of Hilbert space with a sector in which one nucleon is excited to a $\Delta$ isobar. The interaction consists of irreducible two-baryon and irreducible three-baryon potentials. The calculation keeps only the purely nucleonic one among the irreducible three-baryon potentials. The coupled-channel two-baryon potential yields additional reducible contributions to the three-nucleon force. The Coulomb interaction between the two protons is included using the method of screening and renormalization. Three-nucleon force effects on the bound-state energies and on observables of elastic nucleon-deuteron scattering and breakup are studied.


title: Secure Shapley Value for Cross-Silo Federated Learning (Technical Report)

abstract: The Shapley value (SV) is a fair and principled metric for contribution evaluation in cross-silo federated learning (cross-silo FL), wherein organizations, i.e., clients, collaboratively train prediction models with the coordination of a parameter server. However, existing SV calculation methods for FL assume that the server can access the raw FL models and public test data. This may not be a valid assumption in practice considering the emerging privacy attacks on FL models and the fact that test data might be clients' private assets. Hence, we investigate the problem of secure SV calculation for cross-silo FL. We first propose HESV, a one-server solution based solely on homomorphic encryption (HE) for privacy protection, which has limitations in efficiency. To overcome these limitations, we propose SecSV, an efficient two-server protocol with the following novel features. First, SecSV utilizes a hybrid privacy protection scheme to avoid ciphertext--ciphertext multiplications between test data and models, which are extremely expensive under HE. Second, an efficient secure matrix multiplication method is proposed for SecSV. Third, SecSV strategically identifies and skips some test samples without significantly affecting the evaluation accuracy. Our experiments demonstrate that SecSV is 7.2-36.6 times as fast as HESV, with a limited loss in the accuracy of calculated SVs.


title: YALTAPy and YALTAPy_Online: Python toolboxes for the $H_\infty$-stability analysis of classical and fractional systems with commensurate delays

abstract: The aim of this paper is to give a presentation of the Python toolbox YALTAPy dedicated to the stability study of standard and fractional delay systems as well as its online version YALTAPy_Online. Both toolboxes are derived from YALTA whose functionalities will be recalled here. Examples will be given to show how these toolboxes may be used.


title: Integral expressions for Schur multiple zeta values

abstract: Nakasuji, Phuksuwan, and Yamasaki defined the Schur multiple zeta values and gave iterated integral expressions of the Schur multiple zeta values of the ribbon type. This paper generalizes their integral expressions to the ones of more general Schur multiple zeta values having constant entries on the diagonals. Furthermore, we also discuss the duality relations for Schur multiple zeta values obtained from the integral expressions.


title: Polish space partition principles and the Halpern-L\"auchli theorem

abstract: The Halpern-L\"auchli theorem, a combinatorial result about trees, admits an elegant proof due to Harrington using ideas from forcing. In an attempt to distill the combinatorial essence of this proof, we isolate various partition principles about products of perfect Polish spaces. These principles yield straightforward proofs of the Halpern-L\"auchli theorem, and the same forcing from Harrington's proof can force their consistency. We also show that these principles are not ZFC theorems by showing that they put lower bounds on the size of the continuum.


title: Using Quantum Computers to Speed Up Dynamic Testing of Software

abstract: Software under test can be analyzed dynamically, while it is being executed, to find defects. However, as the number and possible values of input parameters increase, the cost of dynamic testing rises. This paper examines whether quantum computers (QCs) can help speed up the dynamic testing of programs written for classical computers (CCs). To accomplish this, an approach is devised involving the following three steps: (1) converting a classical program to a quantum program; (2) computing the number of inputs causing errors, denoted by $K$, using a quantum counting algorithm; and (3) obtaining the actual values of these inputs using Grover's search algorithm. This approach can accelerate exhaustive and non-exhaustive dynamic testing techniques. On the CC, the computational complexity of these techniques is $O(N)$, where $N$ represents the count of combinations of input parameter values passed to the software under test. In contrast, on the QC, the complexity is $O(\varepsilon^{-1} \sqrt{N/K})$, where $\varepsilon$ is a relative error of measuring $K$. The paper illustrates how the approach can be applied and discusses its limitations. Moreover, it provides a toy example executed on a simulator and an actual QC. This paper may be of interest to academics and practitioners as the approach presented in the paper may serve as a starting point for exploring the use of QC for dynamic testing of CC code.


title: Inverse Image Frequency for Long-tailed Image Recognition

abstract: The long-tailed distribution is a common phenomenon in the real world. Extracted large scale image datasets inevitably demonstrate the long-tailed property and models trained with imbalanced data can obtain high performance for the over-represented categories, but struggle for the under-represented categories, leading to biased predictions and performance degradation. To address this challenge, we propose a novel de-biasing method named Inverse Image Frequency (IIF). IIF is a multiplicative margin adjustment transformation of the logits in the classification layer of a convolutional neural network. Our method achieves stronger performance than similar works and it is especially useful for downstream tasks such as long-tailed instance segmentation as it produces fewer false positive detections. Our extensive experiments show that IIF surpasses the state of the art on many long-tailed benchmarks such as ImageNet-LT, CIFAR-LT, Places-LT and LVIS, reaching 55.8% top-1 accuracy with ResNet50 on ImageNet-LT and 26.2% segmentation AP with MaskRCNN on LVIS. Code available at https://github.com/kostas1515/iif


title: Adaptive Perturbation-Based Gradient Estimation for Discrete Latent Variable Models

abstract: The integration of discrete algorithmic components in deep learning architectures has numerous applications. Recently, Implicit Maximum Likelihood Estimation (IMLE, Niepert, Minervini, and Franceschi 2021), a class of gradient estimators for discrete exponential family distributions, was proposed by combining implicit differentiation through perturbation with the path-wise gradient estimator. However, due to the finite difference approximation of the gradients, it is especially sensitive to the choice of the finite difference step size, which needs to be specified by the user. In this work, we present Adaptive IMLE (AIMLE), the first adaptive gradient estimator for complex discrete distributions: it adaptively identifies the target distribution for IMLE by trading off the density of gradient information with the degree of bias in the gradient estimates. We empirically evaluate our estimator on synthetic examples, as well as on Learning to Explain, Discrete Variational Auto-Encoders, and Neural Relational Inference tasks. In our experiments, we show that our adaptive gradient estimator can produce faithful estimates while requiring orders of magnitude fewer samples than other gradient estimators.


title: Production yield and azimuthal anisotropy measurements of strange hadrons from BES at STAR

abstract: We report the production and azimuthal anisotropy measurements of strange and multi-strange hadrons at STAR BES energies. The $\Lambda/K^0_s$ ratio is reported at 3 GeV and observed to increase faster with transverse momentum than that at higher energies. The number-of-constituent quark (NCQ) scaling of $v_2$ has been studied at 19.6 GeV (BES-II). The NCQ scaling holds for particles and anti-particles, which can be considered as an evidence of partonic collectivity. The production of $K^{*0}$ resonance is also reported for 7.7-39 GeV (BES-I) and the $K^{*0}/K$ ratio suggests that hadronic re-scattering dominates over regeneration in central A+A collisions. Using the $K^{*0}/K$ ratio, we also report the lower limit of hadronic phase lifetime $( t_{kin} - t_{chem} )$.


title: Activity-induced droplet propulsion and multifractality

abstract: We develop a minimal hydrodynamic model, without an orientational order parameter, for assemblies of contractile swimmers encapsulated in a droplet of a binary-fluid emulsion. Our model uses two coupled scalar order parameters, $\phi$ and $\psi$, which capture, respectively, the droplet interface and the activity of the contractile swimmers inside this droplet. These order parameters are also coupled to the velocity field $\bm u$. At low activity, our model yields a self-propelling droplet whose center of mass $(CM)$ displays rectilinear motion, powered by the spatiotemporal evolution of the field $\psi$, which leads to a time-dependent vortex dipole at one end of the droplet. As we increase the activity, this $CM$ shows chaotic super-diffusive motion, which we characterize by its mean-square displacement; and the droplet interface exhibits multifractal fluctuations, whose spectrum of exponents we calculate. We explore the implications of our results for experiments on active droplets of contractile swimmers.


title: Electron Attachment to DNA: The Protective Role of Amino Acids

abstract: We have studied the effect of amino acids on electron attachment properties of DNA nucleobases, taking cytosine as a model system. The equation of motion coupled cluster theory with an extended basis set has been used to simulate the electron-attached state of the DNA model system. Four selected amino acids, Arginine, Alanine, Lysine, and Glycine which form a major component of histone proteins are considered to investigate their role in electron attachment to DNA nucleobase. The electron attachment to cytosine in all the cytosine-amino acid dimer complexes follows a doorway mechanism, where the electron gets transferred from initial dipole-bound doorway state to the final nucleobase-bound state through the mixing of electronic and nuclear degrees of freedom. In higher amino acid concentration, amino acid-bound state acts as the doorway state, where the initial electron density is localized on the amino acid, away from the nucleobase. This leads to the physical shielding of nucleobase from the incoming extra electron. At the same time, the presence of amino acids can increase the stability of nucleobase-bound anionic state, which can suppress the dissociative electron attachment induced sugar-phosphate bond breaking.


title: Holographic Non-local Rotating Observables and their Renormalization

abstract: We analyse non-local rotating observables in holography corresponding to spinning bound states. To renormalize their energies and momenta we suggest and discuss different holographic renormalization schemes motivated by the static non-local observables. Namely the holographic renormalization and the rotating color singlet mass subtraction scheme. In the holographic renormalization we identify the infinite boundary terms and subtract them. In the mass subtraction scheme we evaluate the energy of a spinning trailing string corresponding to the color charged singlet which experiences dragging phenomena and we subtract it from the energy of the bound state to obtain the renormalized finite energy. Then we apply our generic framework to certain strongly coupled thermal theories with broken rotational symmetry. We find numerical solutions corresponding to spinning bound states with a fixed size while varying their angular frequency. By applying numerically the renormalization schemes, we find that there is a critical frequency where the bound state ceases to exist or dissociates. We also note that bound states require lower angular frequencies to dissociate when the theory has less symmetry.


title: Large covariance matrix estimation via penalized log-det heuristics

abstract: This paper provides a comprehensive estimation framework for large covariance matrices via a log-det heuristics augmented by a nuclear norm plus $l_{1}$ norm penalty. %We develop the model framework, which includes high-dimensional approximate factor models with a sparse residual covariance. The underlying assumptions allow for non-pervasive latent eigenvalues and a prominent residual covariance pattern. We prove that the aforementioned log-det heuristics is locally convex with a Lipschitz-continuous gradient, so that a proximal gradient algorithm may be stated to numerically solve the problem while controlling the threshold parameters. The proposed optimization strategy recovers with high probability both the covariance matrix components and the latent rank and the residual sparsity pattern, and performs systematically not worse than the corresponding estimators employing Frobenius loss in place of the log-det heuristics. The error bounds for the ensuing low rank and sparse covariance matrix estimators are established, and the identifiability condition for the latent geometric manifolds is provided. The validity of outlined results is highlighted by means of an exhaustive simulation study and a real financial data example involving euro zone banks.


title: A 3.3 Gbps SPAD-Based Quantum Random Number Generator

abstract: Quantum random number generators are a burgeoning technology used for a variety of applications, including modern security and encryption systems. Typical methods exploit an entropy source combined with an extraction or bit generation circuit in order to produce a random string. In integrated designs there is often little modelling or analytical description of the entropy source, circuit extraction and post-processing provided. In this work, we first discuss theory on the quantum random flip-flop (QRFF), which elucidates the role of circuit imperfections that manifest themselves in bias and correlation. Then, a Verilog-AMS model is developed in order to validate the analytical model in simulation. A novel transistor implementation of the QRFF circuit is presented, which enables compensation of the degradation in entropy inherent to the finite non-symmetric transitions of the random flip-flop. Finally, a full system containing two independent arrays of the QRFF circuit is manufactured and tested in a 55 nm Bipolar-CMOS-DMOS (BCD) technology node, demonstrating bit generation statistics that are commensurate to the developed model. The full chip is able to generate 3.3 Gbps of data when operated with an external LED, whereas an individual QRFF can generate 25 Mbps each of random data while maintaining a Shannon entropy bound > 0.997, which is one of the highest per pixel bit generation rates to date. NIST STS is used to benchmark the generated bit strings, thereby validating the QRFF circuit as an excellent candidate for fully-integrated QRNGs.


title: Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design

abstract: In this paper, we study the application of switched systems stability criteria to derive delay-dependent conditions for systems affected by both a constant and a time-varying delay. The main novelty of our approach lies on the use of path-complete Lyapunov techniques along with the proposition of a new modified functional to obtain convex analysis conditions while avoiding the need of computing a dwell time for each mode in a switched system representation, as usual in the \textit{switched approach} for time-delay systems. Furthermore, we leverage the developed analysis to obtain LMIs for the closed-loop stabilization of systems with time-varying sensor delays by means of an observer-based compensator. A numerical example illustrates the proposed methods.


title: An Improved Algorithm For Online Min-Sum Set Cover

abstract: We study a fundamental model of online preference aggregation, where an algorithm maintains an ordered list of $n$ elements. An input is a stream of preferred sets $R_1, R_2, \dots, R_t, \dots$. Upon seeing $R_t$ and without knowledge of any future sets, an algorithm has to rerank elements (change the list ordering), so that at least one element of $R_t$ is found near the list front. The incurred cost is a sum of the list update costs (the number of swaps of neighboring list elements) and access costs (position of the first element of $R_t$ on the list). This scenario occurs naturally in applications such as ordering items in an online shop using aggregated preferences of shop customers. The theoretical underpinning of this problem is known as Min-Sum Set Cover. Unlike previous work (Fotakis et al., ICALP 2020, NIPS 2020) that mostly studied the performance of an online algorithm ALG against the static optimal solution (a single optimal list ordering), in this paper, we study an arguably harder variant where the benchmark is the provably stronger optimal dynamic solution OPT (that may also modify the list ordering). In terms of an online shop, this means that the aggregated preferences of its user base evolve with time. We construct a computationally efficient randomized algorithm whose competitive ratio (ALG-to-OPT cost ratio) is $O(r^2)$ and prove the existence of a deterministic $O(r^4)$-competitive algorithm. Here, $r$ is the maximum cardinality of sets $R_t$. This is the first algorithm whose ratio does not depend on $n$: the previously best algorithm for this problem was $O(r^{3/2} \cdot \sqrt{n})$-competitive and $\Omega(r)$ is a lower bound on the performance of any deterministic online algorithm.


title: Data-Driven Blind Synchronization and Interference Rejection for Digital Communication Signals

abstract: We study the potential of data-driven deep learning methods for separation of two communication signals from an observation of their mixture. In particular, we assume knowledge on the generation process of one of the signals, dubbed signal of interest (SOI), and no knowledge on the generation process of the second signal, referred to as interference. This form of the single-channel source separation problem is also referred to as interference rejection. We show that capturing high-resolution temporal structures (nonstationarities), which enables accurate synchronization to both the SOI and the interference, leads to substantial performance gains. With this key insight, we propose a domain-informed neural network (NN) design that is able to improve upon both "off-the-shelf" NNs and classical detection and interference rejection methods, as demonstrated in our simulations. Our findings highlight the key role communication-specific domain knowledge plays in the development of data-driven approaches that hold the promise of unprecedented gains.


title: Weighted verification tools to evaluate univariate and multivariate forecasts for high-impact weather events

abstract: To mitigate the impacts associated with adverse weather conditions, meteorological services issue weather warnings to the general public. These warnings rely heavily on forecasts issued by underlying prediction systems. When deciding which prediction system(s) to utilise to construct warnings, it is important to compare systems in their ability to forecast the occurrence and severity of extreme weather events. However, evaluating forecasts for extreme events is known to be a challenging task. This is exacerbated further by the fact that high-impact weather often manifests as a result of several confounding features, a realisation that has led to considerable research on so-called compound weather events. Both univariate and multivariate methods are therefore required to evaluate forecasts for high-impact weather. In this paper, we discuss weighted verification tools, which allow particular outcomes to be emphasised during forecast evaluation. We review and compare different approaches to construct weighted scoring rules, both in a univariate and multivariate setting, and we leverage existing results on weighted scores to introduce weighted probability integral transform (PIT) histograms, allowing forecast calibration to be assessed conditionally on particular outcomes having occurred. To illustrate the practical benefit afforded by these weighted verification tools, they are employed in a case study to evaluate forecasts for extreme heat events issued by the Swiss Federal Office of Meteorology and Climatology (MeteoSwiss).


title: Nova Neutrinos in the Multi-Messenger Era

abstract: The recently discovered high energy emission from the recurrent nova RS Ophiuchi by Fermi-LAT ($>$ 100 MeV), H.E.S.S. and MAGIC ($>$ 100 GeV), hints towards a possible hadronic origin of this radiation component. From the observed high energy photon flux we derive the expected number of neutrino events that could be detected by present and future neutrino telescopes in the different energy ranges. We find that both hadronic and leptonic processes remain valid interpretations for this $ \ gamma $ emission. Preliminary estimates indicate that with the "next-generation" instrument IceCube-Gen2, the expected number of neutrino detections from Galactic novae is of the order of $\sim $ once per decade. Given the current uncertainties in the frequency of the occurrence of nova outbursts, the detection rate may possibly increase to up to once every $\sim $ three years.


title: Doctors vs. Nurses: Understanding the Great Divide in Vaccine Hesitancy among Healthcare Workers

abstract: Healthcare workers such as doctors and nurses are expected to be trustworthy and creditable sources of vaccine-related information. Their opinions toward the COVID-19 vaccines may influence the vaccine uptake among the general population. However, vaccine hesitancy is still an important issue even among the healthcare workers. Therefore, it is critical to understand their opinions to help reduce the level of vaccine hesitancy. There have been studies examining healthcare workers' viewpoints on COVID-19 vaccines using questionnaires. Reportedly, a considerably higher proportion of vaccine hesitancy is observed among nurses, compared to doctors. We intend to verify and study this phenomenon at a much larger scale and in fine grain using social media data, which has been effectively and efficiently leveraged by researchers to address real-world issues during the COVID-19 pandemic. More specifically, we use a keyword search to identify healthcare workers and further classify them into doctors and nurses from the profile descriptions of the corresponding Twitter users. Moreover, we apply a transformer-based language model to remove irrelevant tweets. Sentiment analysis and topic modeling are employed to analyze and compare the sentiment and thematic differences in the tweets posted by doctors and nurses. We find that doctors are overall more positive toward the COVID-19 vaccines. The focuses of doctors and nurses when they discuss vaccines in a negative way are in general different. Doctors are more concerned with the effectiveness of the vaccines over newer variants while nurses pay more attention to the potential side effects on children. Therefore, we suggest that more customized strategies should be deployed when communicating with different groups of healthcare workers.


title: Accessibility of SPDEs driven by pure jump noise and its applications

abstract: In this paper, we develop a new method to obtain the accessibility of stochastic partial differential equations driven by additive pure jump noise. An important novelty of this paper is to allow the driving noises to be degenerate. As an application, for the first time, we obtain the accessibility of a class of stochastic equations driven by pure jump degenerate noise, which cover 2D stochastic Navier-Stokes equations, stochastic Burgers type equations, singular stochastic p-Laplace equations, stochastic fast diffusion equations, etc. As a further application, we establish the ergodicity of singular stochastic p-Laplace equations and stochastic fast diffusion equations driven by additive pure jump noise, and we remark that the driving noises could be Levy processes with heavy tails.


title: Subquadratic Kronecker Regression with Applications to Tensor Decomposition

abstract: Kronecker regression is a highly-structured least squares problem $\min_{\mathbf{x}} \lVert \mathbf{K}\mathbf{x} - \mathbf{b} \rVert_{2}^2$, where the design matrix $\mathbf{K} = \mathbf{A}^{(1)} \otimes \cdots \otimes \mathbf{A}^{(N)}$ is a Kronecker product of factor matrices. This regression problem arises in each step of the widely-used alternating least squares (ALS) algorithm for computing the Tucker decomposition of a tensor. We present the first subquadratic-time algorithm for solving Kronecker regression to a $(1+\varepsilon)$-approximation that avoids the exponential term $O(\varepsilon^{-N})$ in the running time. Our techniques combine leverage score sampling and iterative methods. By extending our approach to block-design matrices where one block is a Kronecker product, we also achieve subquadratic-time algorithms for (1) Kronecker ridge regression and (2) updating the factor matrices of a Tucker decomposition in ALS, which is not a pure Kronecker regression problem, thereby improving the running time of all steps of Tucker ALS. We demonstrate the speed and accuracy of this Kronecker regression algorithm on synthetic data and real-world image tensors.


title: Exploring and exploiting various regimes within the jet shower

abstract: The last few years have seen community-wide excitement in the study of jet substructure derived from the inner workings of clustering algorithms. Such efforts have resulted in the design of new observables which are related to partonic processes from final state hadrons. Since jets are multi-scale objects, they necessarily encode information about both the perturbative (pQCD) parton shower and non-perturbative (npQCD) physics including hadronization. Recent high precision measurements of jet substructure in proton-proton (pp) collisions have pushed the theoretical community into extending their predictions to higher orders resulting in the observation of large theoretical uncertainties from the non-perturbative regime of the calculations. We emphasize the importance of understanding a jet shower from a multi-dimensional point of view and highlight a recent measurement focused on distinguishing the pQCD vs. npQCD regimes within a jet shower. We introduce and discuss the utility of the formation time evaluated at varying stages of the jet shower in pp collisions. Finally, we present a monte-carlo study of the formation time of charged particles within the jet to gain a handle on hadronization mechanisms including string-breaking, and outline a path forward for such observables in heavy ion collisions.


title: Symplectic geometry and Koopman dynamics at the quantum-classical interface

abstract: Going back to the early days in the history of quantum mechanics, the interaction of quantum and classical systems stands among the most intriguing open questions in science and makes its appearance in several fields, from physics to chemistry. Recently, a new perspective on this problem was unfolded by an unprecedented combination of symplectic geometry and Koopman's formulation of classical mechanics.


title: Global pluripotential theory on hybrid spaces

abstract: Let A be an integral Banach ring, and X/A be a projective scheme of finite type, endowed with a semi-ample line bundle L. We define a class PSH(X,L) of plurisubharmonic metrics on L on the Berkovich analytification X^an and prove various basic properties thereof. We focus in particular on the case where A is a hybrid ring of complex power series and X/A is a smooth variety, so that X^an is the hybrid space associated to a degeneration X of complex varieties over the punctured disk. We then prove that when L is ample, any plurisubharmonic metric on L with logarithmic growth at zero admits a canonical plurisubharmonic extension to the hybrid space X^hyb . We also discuss the continuity of the family of Monge-Amp\`ere measures associated to a continuous plurisubharmonic hybrid metric. In the case where X is a degeneration of canonically polarized manifolds, we prove that the canonical psh extension is continuous on Xhyb and describe it explicitly in terms of the canonical model (in the sense of MMP) of the degeneration.


title: Finiteness of Entanglement Entropy in Collective Field Theory

abstract: We explore the question of finiteness of the entanglement entropy in gravitational theories whose emergent space is the target space of a holographic dual. In the well studied duality of two-dimensional non-critical string theory and $c=1$ matrix model, this question has been studied earlier using fermionic many-body theory in the space of eigenvalues. The entanglement entropy of a subregion of the eigenvalue space, which is the target space entanglement in the matrix model, is finite, with the scale being provided by the local Fermi momentum. The Fermi momentum is, however, a position-dependent string coupling, as is clear in the collective field theory formulation. This suggests that the finiteness is a non-perturbative effect. We provide evidence for this expectation by an explicit calculation in the collective field theory of matrix quantum mechanics with vanishing potential. The leading term in the cumulant expansion of the entanglement entropy is calculated using exact eigenstates and eigenvalues of the collective Hamiltonian, yielding a finite result, in precise agreement with the fermion answer. Treating the theory perturbatively, we show that each term in the perturbation expansion is UV divergent. However the series can be resummed, yielding the exact finite result. Our results indicate that the finiteness of the entanglement entropy for higher dimensional string theories is non-perturbative as well, with the scale provided by the Newton constant.


title: On The Computational Complexity of Self-Attention

abstract: Transformer architectures have led to remarkable progress in many state-of-art applications. However, despite their successes, modern transformers rely on the self-attention mechanism, whose time- and space-complexity is quadratic in the length of the input. Several approaches have been proposed to speed up self-attention mechanisms to achieve sub-quadratic running time; however, the large majority of these works are not accompanied by rigorous error guarantees. In this work, we establish lower bounds on the computational complexity of self-attention in a number of scenarios. We prove that the time complexity of self-attention is necessarily quadratic in the input length, unless the Strong Exponential Time Hypothesis (SETH) is false. This argument holds even if the attention computation is performed only approximately, and for a variety of attention mechanisms. As a complement to our lower bounds, we show that it is indeed possible to approximate dot-product self-attention using finite Taylor series in linear-time, at the cost of having an exponential dependence on the polynomial order.


title: A statistical mechanics framework for Bayesian deep neural networks beyond the infinite-width limit

abstract: Despite the practical success of deep neural networks, a comprehensive theoretical framework that can predict practically relevant scores, such as the test accuracy, from knowledge of the training data is currently lacking. Huge simplifications arise in the infinite-width limit, where the number of units $N_\ell$ in each hidden layer ($\ell=1,\dots, L$, being $L$ the depth of the network) far exceeds the number $P$ of training examples. This idealisation, however, blatantly departs from the reality of deep learning practice. Here, we use the toolset of statistical mechanics to overcome these limitations and derive an approximate partition function for fully-connected deep neural architectures, which encodes information about the trained models. The computation holds in the ''thermodynamic limit'' where both $N_\ell$ and $P$ are large and their ratio $\alpha_\ell = P/N_\ell$ is finite. This advance allows us to obtain (i) a closed formula for the generalisation error associated to a regression task in a one-hidden layer network with finite $\alpha_1$; (ii) an approximate expression of the partition function for deep architectures (via an ''effective action'' that depends on a finite number of ''order parameters''); (iii) a link between deep neural networks in the proportional asymptotic limit and Student's $t$ processes.


title: The existence and multiplicity of solutions for general quasi-linear elliptic equations with sub-cubic nonlinearity

abstract: We consider the existence and multiplicity of solutions for a class of quasi-linear Schr\"{o}dinger equations which include the modified nonlinear Schr\"{o}dinger equations. A new perturbation approach is used to treat the sub-cubic nonlinearity.


title: A Complex Network based Graph Embedding Method for Link Prediction

abstract: Graph embedding methods aim at finding useful graph representations by mapping nodes to a low-dimensional vector space. It is a task with important downstream applications, such as link prediction, graph reconstruction, data visualization, node classification, and language modeling. In recent years, the field of graph embedding has witnessed a shift from linear algebraic approaches towards local, gradient-based optimization methods combined with random walks and deep neural networks to tackle the problem of embedding large graphs. However, despite this improvement in the optimization tools, graph embedding methods are still generically designed in a way that is oblivious to the particularities of real-life networks. Indeed, there has been significant progress in understanding and modeling complex real-life networks in recent years. However, the obtained results have had a minor influence on the development of graph embedding algorithms. This paper aims to remedy this by designing a graph embedding method that takes advantage of recent valuable insights from the field of network science. More precisely, we present a novel graph embedding approach based on the popularity-similarity and local attraction paradigms. We evaluate the performance of the proposed approach on the link prediction task on a large number of real-life networks. We show, using extensive experimental analysis, that the proposed method outperforms state-of-the-art graph embedding algorithms. We also demonstrate its robustness to data scarcity and the choice of embedding dimensionality.


title: Utopia point method based robust vector polynomial optimization scheme

abstract: In this paper, we focus on a class of robust vector polynomial optimization problems (RVPOP in short) without any convex assumptions. By combining/improving the utopia point method (a nonlinear scalarization) for vector optimization and "joint+marginal" relaxation method for polynomial optimization, we solve the RVPOP successfully. Both theoratical and computational aspects are considered.


title: On the equivalence of certain quadratic irrationals

abstract: This paper deals with quadratic irrationals of the form $m/q+\sqrt v$ for fixed positive integers $v$ and $q$, $v$ not a square, and varying integers $m$, $(m,q)=1$. Two numbers $m/q+\sqrt v$, $n/q+\sqrt v$ of this kind are equivalent (in a classical sense) if their continued fraction expansions can be written with the same period. We give a necessary and sufficient condition for the equivalence in terms of solutions of Pell's equation. Moreover, we determine the number of equivalence classes to which these quadratic irrationals belong.


title: The Content of Statistics and Data Science Collaborations: the QQQ Framework

abstract: For today's applied statisticians and data scientists, collaboration is a reality. Statisticians (and data scientists) may collaborate with domain experts across academic fields, industry sectors, and governmental and non-governmental organizations. Thus, statisticians must develop skills and techniques for collaboration. To this end, we advance a framework called the Qualitative-Quantitative-Qualitative (QQQ, pronounced "Q-Q-Q") approach to systematize the content of statistical collaborations. The QQQ approach explicitly emphasizes the importance of the qualitative context of a project, as well as the qualitative interpretation of quantitative findings. We explain the QQQ approach and each of its components as applied to statistics and data science consultations and collaborations. We provide guidance for implementing each stage of the approach and present data evaluating the effectiveness of teaching the QQQ approach to beginning collaborators.


title: Communication-efficient Quantum Algorithm for Distributed Machine Learning

abstract: The growing demands of remote detection and increasing amount of training data make distributed machine learning under communication constraints a critical issue. This work provides a communication-efficient quantum algorithm that tackles two traditional machine learning problems, the least-square fitting and softmax regression problem, in the scenario where the data set is distributed across two parties. Our quantum algorithm finds the model parameters with a communication complexity of $O(\frac{\log_2(N)}{\epsilon})$, where $N$ is the number of data points and $\epsilon$ is the bound on parameter errors. Compared to classical algorithms and other quantum algorithms that achieve the same output task, our algorithm provides a communication advantage in the scaling with the data volume. The building block of our algorithm, the quantum-accelerated estimation of distributed inner product and Hamming distance, could be further applied to various tasks in distributed machine learning to accelerate communication.


title: Chain of Explanation: New Prompting Method to Generate Higher Quality Natural Language Explanation for Implicit Hate Speech

abstract: Recent studies have exploited advanced generative language models to generate Natural Language Explanations (NLE) for why a certain text could be hateful. We propose the Chain of Explanation (CoE) Prompting method, using the heuristic words and target group, to generate high-quality NLE for implicit hate speech. We improved the BLUE score from 44.0 to 62.3 for NLE generation by providing accurate target information. We then evaluate the quality of generated NLE using various automatic metrics and human annotations of informativeness and clarity scores.


title: An analogue of Kida's formula in graph theory

abstract: Let $\ell$ be a rational prime and let $p:Y\rightarrow X$ be a Galois cover of finite graphs whose Galois group is a finite $\ell$-group. Consider a $\mathbb{Z}_{\ell}$-tower above $X$ and its pullback along $p$. Assuming that all the graphs in the pullback are connected, one obtains a $\mathbb{Z}_{\ell}$-tower above $Y$. Under the assumption that the Iwasawa $\mu$-invariant of the tower above $X$ vanishes, we prove a formula relating the Iwasawa $\lambda$-invariant of the $\mathbb{Z}_{\ell}$-tower above $X$ to the Iwasawa $\lambda$-invariant of the pullback. This formula is analogous to Kida's formula in classical Iwasawa theory. We present an application to the study of structural properties of certain noncommutative pro-$\ell$ towers of graphs, based on an analogy with classical results of Cuoco on the growth of Iwasawa invariants in $\mathbb{Z}_\ell^2$-extensions of number fields. Our investigations are illustrated by explicit examples.


title: A Statistical Perspective for Predicting the Strength of Metals: Revisiting the Hall-Petch Relationship using Machine Learning

abstract: The mechanical properties of a material are intimately related to its microstructure. This is particularly important for predicting mechanical behavior of polycrystalline metals, where microstructural variations dictate the expected material strength. Until now, the lack of microstructural variability in available datasets precluded the development of robust physics-based theoretical models that account for randomness of microstructures. To address this, we have developed a probabilistic machine learning framework to predict the flow stress as a function of variations in the microstructural features. In this framework, we first generated an extensive database of flow stress for a set of over a million randomly sampled microstructural features, and then applied a combination of mixture models and neural networks on the generated database to quantify the flow stress distribution and the relative importance of microstructural features. The results show excellent agreement with experiments and demonstrate that across a wide range of grain size, the conventional Hall-Petch relationship is statistically valid for correlating the strength to the average grain size and its comparative importance versus other microstructural features. This work demonstrates the power of the machine-learning based probabilistic approach for predicting polycrystalline strength, directly accounting for microstructural variations, resulting in a tool to guide the design of polycrystalline metallic materials with superior strength, and a method for overcoming sparse data limitations.


title: "Calibeating": Beating Forecasters at Their Own Game

abstract: In order to identify expertise, forecasters should not be tested by their calibration score, which can always be made arbitrarily small, but rather by their Brier score. The Brier score is the sum of the calibration score and the refinement score; the latter measures how good the sorting into bins with the same forecast is, and thus attests to "expertise." This raises the question of whether one can gain calibration without losing expertise, which we refer to as "calibeating." We provide an easy way to calibeat any forecast, by a deterministic online procedure. We moreover show that calibeating can be achieved by a stochastic procedure that is itself calibrated, and then extend the results to simultaneously calibeating multiple procedures, and to deterministic procedures that are continuously calibrated.


title: Universal potential estimates for $1<p\leq 2-\frac{1}{n}$

abstract: We extend the so-called universal potential estimates of the Kuusi-Mingione type (J.Funct. Anal. 2012) to the singular case $1<p\leq 2-1/n$ for the quasilinear equation with measure data \begin{equation*} -\operatorname{div}(A(x,\nabla u))=\mu \end{equation*} in a bounded open subset $\Omega$ of $\mathbb{R}^n$, $n\geq 2$, with a finite signed measure $\mu$ in $\Omega$. The operator $\operatorname{div}(A(x,\nabla u))$ is modeled after the $p$-Laplacian $\Delta_p u:= {\rm div}\, (|\nabla u|^{p-2}\nabla u)$, where the nonlinearity $A(x, \xi)$ ($x, \xi \in \mathbb{R}^n$) is assumed to satisfy natural growth and monotonicity conditions of order $p$, as well as certain additional regularity conditions in the $x$-variable.


title: Nearly all $k$-SAT functions are unate

abstract: We prove that $1-o(1)$ fraction of all $k$-SAT functions on $n$ Boolean variables are unate (i.e., monotone after first negating some variables), for any fixed positive integer $k$ and as $n \to \infty$. This resolves a conjecture by Bollob\'as, Brightwell, and Leader from 2003.


title: Backtesting Trading Strategies with GAN To Avoid Overfitting

abstract: Many works have shown the overfitting hazard of selecting a trading strategy based only on good IS (in sample) performance. But most of them have merely shown such phenomena exist without offering ways to avoid them. We propose an approach to avoid overfitting: A good (meaning non-overfitting) trading strategy should still work well on paths generated in accordance with the distribution of the historical data. We use GAN with LSTM to learn or fit the distribution of the historical time series . Then trading strategies are backtested by the paths generated by GAN to avoid overfitting.(This paper is an tanslated English version of a thesis (10.6342/NTU201801645) which was originally written in Chinese in 2018, where some statements and claims are outdated in 2022)


title: Bijections on strictly convex sets and closed convex projective surfaces that preserve complete geodesics

abstract: In this paper, we study bijections on strictly convex sets of $\mathbf R \mathbf P^n$ for $n \geq 2$ and closed convex projective surfaces equipped with the Hilbert metric that map complete geodesics to complete geodesics as sets. Hyperbolic $n$-space with its standard metric is a special example of the spaces we consider, and it is known that these bijections in this context are precisely the isometries. We first prove that this result generalizes to an arbitrary strictly convex set. For the surfaces setting, we prove the equivalence of mapping simple closed geodesics to simple closed geodesics and mapping closed geodesics to closed geodesics. We also outline some future directions and questions to further explore these topics.


title: Computing Chow rings of twisted flag varieties for subgroups of an algebraic group

abstract: Let $G_k$ be a split algebraic group over $k$. Given a non-trivial $G_k$-torsor $G$, we consider the (twisted) flag variety $F=G/B_k$ for the Borel subgroup $B_k$ containing in $G_k$. The purpose of this paper is the study how to compute the Chow rings $CH^*(F)$ for various $F$ over some extension fields $K$ of $k$.


title: Monolithically integrated active passive waveguide array fabricated on thin film lithium niobate using a single continuous photolithography process

abstract: We demonstrate a robust low-loss optical interface by tiling passive (i.e., without doping of active ions) thin film lithium niobate (TFLN) and active (i.e., doped with rare earth ions) TFLN substrates for monolithic integration of passive/active lithium niobate photonics. The tiled substrates composed of both active and passive areas allow to pattern the mask of the integrated active passive photonic device at once using a single continuous photolithography process. The interface loss of tiled substrate is measured as low as 0.26 dB. Thanks to the stability provided by this approach, a four-channel waveguide amplifier is realized in a straightforward manner, which shows a net gain of ~5 dB at 1550-nm wavelength and that of ~8 dB at 1530-nm wavelength for each channel. The robust low-loss optical interface for passive/active photonic integration will facilitate large-scale high performance photonic devices which require on-chip light sources and amplifiers.


title: Instruction-driven history-aware policies for robotic manipulations

abstract: In human environments, robots are expected to accomplish a variety of manipulation tasks given simple natural language instructions. Yet, robotic manipulation is extremely challenging as it requires fine-grained motor control, long-term memory as well as generalization to previously unseen tasks and environments. To address these challenges, we propose a unified transformer-based approach that takes into account multiple inputs. In particular, our transformer architecture integrates (i) natural language instructions and (ii) multi-view scene observations while (iii) keeping track of the full history of observations and actions. Such an approach enables learning dependencies between history and instructions and improves manipulation precision using multiple views. We evaluate our method on the challenging RLBench benchmark and on a real-world robot. Notably, our approach scales to 74 diverse RLBench tasks and outperforms the state of the art. We also address instruction-conditioned tasks and demonstrate excellent generalization to previously unseen variations.


title: Web 3.0 Adoption Behavior: PLS-SEM and Sentiment Analysis

abstract: Web 3.0 is considered as future of Internet where decentralization, user personalization and privacy protection would be the main aspects of Internet. Aim of this research work is to elucidate the adoption behavior of Web 3.0through a multi-analytical approach based on Partial Least Squares Structural Equation Modelling (PLS-SEM) and Twitter sentiment analysis. A theoretical framework centered on Performance Expectancy (PE), Electronic Word-of-Mouth (eWOM) and Digital Dexterity (DD), was hypothesized towards Behavioral Intention (INT) of the Web 3.0 adoption. Surveyed data were collected through online questionnaires and 167 responses were analyzed through PLS-SEM. While 3,989 tweets of Web3 were analyzed by VADER sentiment analysis tool in RapidMiner. PLS-SEM results showed that DD and eWOM had significant impact while PE had no effect on INT. Moreover, these results were also validated by PLS-Predict method. While sentiment analysis explored that 56% tweets on Web 3.0 were positive in sense and 7% depicted negative sentiment while remaining were neutral. Such inferences are novel in nature and an innovative addition to web informatics and could support the stakeholders towards web technology integration


title: The Life and Works of K.G Ramanathan

abstract: Prof. K.G Ramanathan was a legendary Indian Mathematician, working in Number Theory and a prolific Institution builder. Apart from this, he was an excellent teacher and influenced several brilliant students. In this article, we overview his life and discuss some of his significant mathematical contributions


title: Research on the reversal of hard-ball system in two-dimensional bowl

abstract: Putting several hard balls into a two-dimensional bowl can form a very basic two-dimensional model of hard-ball system. When the two-dimensional bowl has a parallel-rotation at a uniform speed around a center, when the number of balls is small, the direction of motion of the small balls in the two-dimensional bowl is consistent with that of the two-dimensional bowl; However, when we increase the number of balls one by one, the two will seem to show the opposite movement trend. We analyze this problem comprehensively through physical modeling and inspire readers to think about the significance of the model for analyzing complex physical problems. Finally, because this article involves many aspects of knowledge, college physics teachers can choose the whole problem or part of the problem to introduce it into the classroom.


title: Cores of Games via Total Dual Integrality, with Applications to Perfect Graphs and Polymatroids

abstract: LP-duality theory has played a central role in the study of cores of games, right from the early days of this notion to the present time. The classic paper of Shapley and Shubik \cite{Shapley1971assignment} introduced the "right" way of exploiting the power of this theory, namely picking problems whose LP-relaxations support polyhedra having integral vertices. So far, the latter fact was established by showing that the constraint matrix of the underlying linear system is {\em totally unimodular}. We attempt to take this methodology to its logical next step -- {\em using total dual integrality} -- thereby addressing new classes of games which have their origins in two major theories within combinatorial optimization, namely perfect graphs and polymatroids. In the former, we address the stable set and clique games and in the latter, we address the matroid independent set game. For each of these games, we prove that the set of core imputations is precisely the set of optimal solutions to the dual LPs. Another novelty is the way the worth of the game is allocated among sub-coalitions. Previous works follow the {\em bottom-up process} of allocating to individual agents; the allocation to a sub-coalition is simply the sum of the allocations to its agents. The {\em natural process for our games is top-down}. The optimal dual allocates to "objects" in the grand coalition; a sub-coalition inherits the allocation of each object with which it has non-empty intersection.


title: Local foliations by critical surfaces of the Hawking energy and small sphere limit

abstract: Local foliations of area constrained Willmore surfaces on a 3-dimensional Riemannian manifold were constructed by Lamm, Metzger and Schulze, and Ikoma, Machiodi and Mondino, the leaves of these foliations are, in particular, critical surfaces of the Hawking energy in case they are contained in a totally geodesic spacelike hypersurface. We generalize these foliations to the general case of a non-totally geodesic spacelike hypersurface, constructing a unique local foliation of area constrained critical surfaces of the Hawking energy. A discrepancy when evaluating the so called small sphere limit of the Hawking energy was found by Friedrich. He studied concentrations of area constrained critical surfaces of the Hawking energy and obtained a result that apparently differs from the well established small sphere limit of the Hawking energy of Horowitz and Schmidt, this small sphere limit in principle must be satisfied by any quasi local energy. We independently confirm the discrepancy and explain the reasons for it to happen. We also prove that these surfaces are suitable to evaluate the Hawking energy in the sense of Lamm, Metzger and Schulze, and we find an indication that these surfaces may induce an excess in the energy measured.


title: Heterochaos baker maps and the Dyck system: maximal entropy measures and a mechanism for the breakdown of entropy approachability

abstract: We introduce two parametrized families of piecewise affine maps on $[0,1]^2$ and $[0,1]^3$, as generalizations of the heterochaos baker maps which were introduced and investigated in [Y. Saiki, H. Takahasi, J. A. Yorke, Nonlinearity, 34 (2021), 5744--5761] as minimal models of the unstable dimension variability in multidimensional dynamical systems. We show that natural coding spaces of these maps coincide with the Dyck system that has come from the theory of languages. Based on this coincidence, we start to develop a complementary analysis on their invariant measures. As a first attempt, we show the existence of two ergodic measures of maximal entropy for the generalized heterochaos baker maps. We also clarify a mechanism for the breakdown of entropy approachability.


title: Adaptive quadratic finite element method for the unilateral contact problem

abstract: In this paper, we present and analyze a posteriori error estimates in the energy norm of a quadratic finite element method for the frictionless unilateral contact problem. The reliability and the efficiency of a posteriori error estimator is discussed. The suitable decomposition of the discrete space $\b{V^h}$ and a discrete space $\b{Q^h}$, where the discrete counterpart of the contact force density is defined, play crucial role in deriving a posteriori error estimates. Numerical results are presented exhibiting the reliability and the efficiency of the proposed error estimator.


title: Mixing implies exponential mixing among codimension one hyperbolic attractors and Anosov flows

abstract: On a compact manifold of any dimension $d\geq 3$, we show that joint non-integrability of the stable and unstable foliation of a hyperbolic attractor with one-dimensional expanding direction, for a vector field of class $C^2$, implies exponential mixing with respect to its physical measure. Consequently, the set of Axiom A vector fields which mix exponentially with respect to the physical measure of its non-trivial attractors contains a $C^1$-open and $C^2$-dense subset of the set of all Axiom A vector fields. Moreover, for codimension one $C^2$ Anosov flows in any dimension $d\geq 3$, if the flow mixes with respect to the unique physical measure, then the flow mixes exponentially, proving the Bowen-Ruelle conjecture in this setting.


title: Automatic Detection of Sentimentality from Facial Expressions

abstract: Emotion recognition has received considerable attention from the Computer Vision community in the last 20 years. However, most of the research focused on analyzing the six basic emotions (e.g. joy, anger, surprise), with a limited work directed to other affective states. In this paper, we tackle sentimentality (strong feeling of heartwarming or nostalgia), a new emotional state that has few works in the literature, and no guideline defining its facial markers. To this end, we first collect a dataset of 4.9K videos of participants watching some sentimental and non-sentimental ads, and then we label the moments evoking sentimentality in the ads. Second, we use the ad-level labels and the facial Action Units (AUs) activation across different frames for defining some weak frame-level sentimentality labels. Third, we train a Multilayer Perceptron (MLP) using the AUs activation for sentimentality detection. Finally, we define two new ad-level metrics for evaluating our model performance. Quantitative and qualitative results show promising results for sentimentality detection. To the best of our knowledge this is the first work to address the problem of sentimentality detection.


title: Diversity and Novelty MasterPrints: Generating Multiple DeepMasterPrints for Increased User Coverage

abstract: This work expands on previous advancements in genetic fingerprint spoofing via the DeepMasterPrints and introduces Diversity and Novelty MasterPrints. This system uses quality diversity evolutionary algorithms to generate dictionaries of artificial prints with a focus on increasing coverage of users from the dataset. The Diversity MasterPrints focus on generating solution prints that match with users not covered by previously found prints, and the Novelty MasterPrints explicitly search for prints with more that are farther in user space than previous prints. Our multi-print search methodologies outperform the singular DeepMasterPrints in both coverage and generalization while maintaining quality of the fingerprint image output.


title: Orbits of the class $\mathcal{O}_6$ of lines external with respect to the twisted cubic in $\mathrm{PG}(3,q)$

abstract: In the projective space $\mathrm{PG}(3,q)$, we consider orbits of lines under the stabilizer group of the twisted cubic. In the literature, lines of $\mathrm{PG}(3,q)$ are partitioned into classes, each of which is a union of line orbits. We propose an approach to obtain orbits of the class named $\mathcal{O}_6$, whose complete classification is an open problem. For all even and odd $q$ we describe a family of orbits of $\mathcal{O}_6$ and their stabilizer groups. The orbits of this family include an essential part of all $\mathcal{O}_6$ orbits.


title: Keke AI Competition: Solving puzzle levels in a dynamically changing mechanic space

abstract: The Keke AI Competition introduces an artificial agent competition for the game Baba is You - a Sokoban-like puzzle game where players can create rules that influence the mechanics of the game. Altering a rule can cause temporary or permanent effects for the rest of the level that could be part of the solution space. The nature of these dynamic rules and the deterministic aspect of the game creates a challenge for AI to adapt to a variety of mechanic combinations in order to solve a level. This paper describes the framework and evaluation metrics used to rank submitted agents and baseline results from sample tree search agents.


title: LaVO$_3$: a true Kugel-Khomskii system

abstract: We show that the $t_{2g}^2$ perovskite LaVO$_3$, in its orthorhombic phase, is a rare case of a system hosting an orbital-ordering Kugel-Khomskii phase transition, rather than being controlled by the Coulomb-enhanced crystal-field splitting. We find that, as a consequence of this, the magnetic transition is close to (and even above) the super-exchange driven orbital-ordering transition, whereas typically magnetism arises at much lower temperatures than orbital ordering. Our results support the experimental scenario of orbital-ordering and G-type spin correlations just above the monoclinic-to-orthorhombic structural change. To explore the effects of crystal-field splitting and filling, we compare to YVO$_3$ and $t_{2g}^1$ titanates. In all these materials the crystal-field is sufficiently large to suppress the Kugel-Khomskii phase transition.


title: Galerkin-type methods for strictly parabolic equations on compact Riemannian manifolds

abstract: We prove existence of weak solutions to the Cauchy problem corresponding to various strictly parabolic equations on a compact Riemannian manifold $(M,g)$. This also includes strictly parabolic equations with stochastic forcing with linear diffusion. Existence is proved through a variant of the Galerkin method and can be used to construct a convergent finite element method.


title: Active galactic nucleus feedback in NGC 3982

abstract: The energetic feedback from supermassive black holes can influence star formation at the centres of galaxies. Observational evidence for active galactic nucleus (AGN) impact on star formation can be searched for in galaxies by combining ultraviolet imaging and optical integral field unit data. The ultraviolet flux directly traces recent star formation, and the integral field unit data can reveal dust attenuation, gas ionisation mechanisms, and gas kinematics from the central regions of the galaxy disk. A pilot study on NGC 3982 shows star formation suppression in the central regions of the galaxy, likely due to negative AGN feedback, and enhanced star formation in the outer regions. The case of NGC 3982 could be observational evidence of AGN feedback operating in a Seyfert galaxy.


title: Variational Quantum Algorithms for Computational Fluid Dynamics

abstract: Quantum computing uses the physical principles of very small systems to develop computing platforms which can solve problems that are intractable on conventional supercomputers. There are challenges not only in building the required hardware, but also in identifying the most promising application areas and developing the corresponding quantum algorithms. The availability of intermediate-scale noisy quantum computers is now propelling the developments of novel algorithms, with applications across a variety of domains, including in aeroscience. Variational quantum algorithms are particularly promising since they are comparatively noise tolerant and aim to achieve a quantum advantage with only a few hundred qubits. Furthermore, they are applicable to a wide range of optimization problems arising throughout the natural sciences and industry. To demonstrate the possibilities for the aeroscience community, we give a perspective on how variational quantum algorithms can be utilized in computational fluid dynamics. We discuss how classical problems are translated into quantum algorithms and their logarithmic scaling with problem size. As an explicit example we apply this method to Burgers' Equation in one spatial dimension. We argue that a quantum advantage over classical computing methods could be achieved by the end of this decade if quantum hardware progresses as currently envisaged and emphasize the importance of joining up development of quantum algorithms with application-specific expertise to achieve real-world impact.


title: Formal Semantics of the Kconfig Language

abstract: The Kconfig language defines a set of symbols that are assigned a value in a configuration. We describe the semantics of the Kconfig language according to the behavior exhibited in the xconfig configurator. We assume an abstract syntax representation for concepts in the Kconfig language and delegate the details of the translation from concrete to abstract syntaxes to a later document.


title: Towards Security Enhancement of Blockchain-based Supply Chain Management

abstract: The cybersecurity of modern systems has dramatically increased attention from both industrial and academia perspectives. In the recent era, the popularity of the blockchain-based system has traditionally been emergent among various industrials sectors especially in supply chain management due to its streamlined nature. This reveals the importance of the quality aspects from a supply chain management perspective. Many industries realized the importance of having quality systems for supply chain management and logistics. The emergence of blockchain technology has created several potential innovations in handling and tracking business activities over the supply chain processes as specific. This paper shed the light on the blockchain and specifically on a smart contract technology which been used to handle the process of creation, verification and checking data over the supply chain management process. Then, touch upon the area of blockchain cybersecurity in the supply chain context. More and more, since the smart contract handles the transfer of data over different locations, then the security protection should be strong enough to secure the data and the assets from any attacks. Finally, the paper examines the main security attacks that affect the data on the blockchain and propose a solution


title: Supremum-norm a posteriori error control of quadratic discontinuous Galerkin methods for the obstacle problem

abstract: We perform a posteriori error analysis in the supremum norm for the quadratic discontinuous Galerkin method for the elliptic obstacle problem. We define two discrete sets (motivated by Gaddam, Gudi and Kamana [1]), one set having integral constraints and other one with the nodal constraints at the quadrature points, and discuss the pointwise reliability and efficiency of the proposed a posteriori error estimator. In the analysis, we employ a linear averaging function to transfer DG finite element space to standard conforming finite element space and exploit the sharp bounds on the Green's function of the Poisson's problem. Moreover, the upper and the lower barrier functions corresponding to continuous solution u are constructed by modifying the conforming part of the discrete solution uh appropriately. Finally, numerical experiments are presented to complement the theoretical results.


title: Truth, or Mere Beauty?

abstract: High energy physics features many ingenious tools for extracting finite results from formally divergent expressions. This brief note argues from a new perspective that all such formal infinities are meaningful markers of new physics. As such, they deserve to be explored in detail -- and even the simplest quantum field theories have more of them than is commonly thought.


title: Vec2Face-v2: Unveil Human Faces from their Blackbox Features via Attention-based Network in Face Recognition

abstract: In this work, we investigate the problem of face reconstruction given a facial feature representation extracted from a blackbox face recognition engine. Indeed, it is a very challenging problem in practice due to the limitations of abstracted information from the engine. We, therefore, introduce a new method named Attention-based Bijective Generative Adversarial Networks in a Distillation framework (DAB-GAN) to synthesize the faces of a subject given his/her extracted face recognition features. Given any unconstrained unseen facial features of a subject, the DAB-GAN can reconstruct his/her facial images in high definition. The DAB-GAN method includes a novel attention-based generative structure with the newly defined Bijective Metrics Learning approach. The framework starts by introducing a bijective metric so that the distance measurement and metric learning process can be directly adopted in the image domain for an image reconstruction task. The information from the blackbox face recognition engine will be optimally exploited using the global distillation process. Then an attention-based generator is presented for a highly robust generator to synthesize realistic faces with ID preservation. We have evaluated our method on the challenging face recognition databases, i.e., CelebA, LFW, CFP-FP, CP-LFW, AgeDB, CA-LFW, and consistently achieved state-of-the-art results. The advancement of DAB-GAN is also proven in both image realism and ID preservation properties.


title: Routes to turbulence in Taylor-Couette flow

abstract: Fluid flows between rotating concentric cylinders exhibit two distinct routes to turbulence. In flows dominated by inner-cylinder rotation, a sequence of linear instabilities leads to temporally chaotic dynamics as the rotation speed is increased. The resulting flow patterns occupy the whole system and sequentially lose spatial symmetry and coherence in the transition process. In flows dominated by outer-cylinder rotation, the transition is abrupt and leads directly to turbulent flow regions that compete with laminar ones. We here review the main features of these two routes to turbulence. Bifurcation theory rationalises the origin of temporal chaos in both cases. However, the catastrophic transition of flows dominated by outer-cylinder rotation can only be understood by accounting for the spatial proliferation of turbulent regions with a statistical approach. We stress the role of the rotation number (the ratio of Coriolis to inertial forces) and show that it determines the lower border for the existence of intermittent laminar-turbulent patterns.


title: Operated groups, differential groups and Rota-Baxter groups with an emphasis on the free objects

abstract: Groups with various types of operators, in particular the recently introduced Rota-Baxter groups, have generated renowned interest with close connections to numerical integrals, Yang-Baxter equation, integrable systems and post-Hopf algebras. This paper gives the general notion of operated groups and provides explicit constructions of free operated groups, free differential groups and free Rota-Baxter groups.


title: The molecular memory code and synaptic plasticity: a synthesis

abstract: The most widely accepted view of memory in the brain holds that synapses are the storage sites of memory, and that memories are formed through associative modification of synapses. This view has been challenged on conceptual and empirical grounds. As an alternative, it has been proposed that molecules within the cell body are the storage sites of memory, and that memories are formed through biochemical operations on these molecules. This paper proposes a synthesis of these two views, grounded in a computational theory of memory. Synapses are conceived as storage sites for the parameters of an approximate posterior probability distribution over latent causes. Intracellular molecules are conceived as storage sites for the parameters of a generative model. The theory stipulates how these two components work together as part of an integrated algorithm for learning and inference.


title: Meta-Reinforcement Learning via Language Instructions

abstract: Although deep reinforcement learning has recently been very successful at learning complex behaviors, it requires a tremendous amount of data to learn a task. One of the fundamental reasons causing this limitation lies in the nature of the trial-and-error learning paradigm of reinforcement learning, where the agent communicates with the environment and progresses in the learning only relying on the reward signal. This is implicit and rather insufficient to learn a task well. On the contrary, humans are usually taught new skills via natural language instructions. Utilizing language instructions for robotic motion control to improve the adaptability is a recently emerged topic and challenging. In this paper, we present a meta-RL algorithm that addresses the challenge of learning skills with language instructions in multiple manipulation tasks. On the one hand, our algorithm utilizes the language instructions to shape its interpretation of the task, on the other hand, it still learns to solve task in a trial-and-error process. We evaluate our algorithm on the robotic manipulation benchmark (Meta-World) and it significantly outperforms state-of-the-art methods in terms of training and testing task success rates. Codes are available at \url{https://tumi6robot.wixsite.com/million}.


title: Characterization of differential K-theory by hexagon diagram

abstract: We prove differential K-theory is determined by the character diagram, thus giving an affirmative answer to a question asked by Simons and Sullivan. Our proof combines the techniques of Bunke and Schick with our key observation that there are canonical topologies, induced from the smooth structure of the manifold, on the groups in the character diagram for differential K-theory.


title: Learning in Games with Quantized Payoff Observations

abstract: This paper investigates the impact of feedback quantization on multi-agent learning. In particular, we analyze the equilibrium convergence properties of the well-known "follow the regularized leader" (FTRL) class of algorithms when players can only observe a quantized (and possibly noisy) version of their payoffs. In this information-constrained setting, we show that coarser quantization triggers a qualitative shift in the convergence behavior of FTRL schemes. Specifically, if the quantization error lies below a threshold value (which depends only on the underlying game and not on the level of uncertainty entering the process or the specific FTRL variant under study), then (i) FTRL is attracted to the game's strict Nash equilibria with arbitrarily high probability; and (ii) the algorithm's asymptotic rate of convergence remains the same as in the non-quantized case. Otherwise, for larger quantization levels, these convergence properties are lost altogether: players may fail to learn anything beyond their initial state, even with full information on their payoff vectors. This is in contrast to the impact of quantization in continuous optimization problems, where the quality of the obtained solution degrades smoothly with the quantization level.


title: Operational and Economy-Wide Impacts of Compound Cyberattacks and Extreme Weather Events on Electric Power Networks

abstract: The growing frequencies of extreme weather events and cyberattacks give rise to a novel threat where a malicious cyber actor aims to disrupt stressed components of critical infrastructure systems immediately before, during, or shortly after an extreme weather event. In this paper, we initiate the study of Compound Cyber-Physical Threats and develop a two-stage framework for the analysis of operational disruptions in electric power networks and economy-wide impacts under three scenarios: a Heatwave, a Cyberattack, and a Compound scenario when the Cyberattack is timed with the Heatwave. In the first stage, we use a bilevel optimization problem to represent the adversarial rationale of a cyberattacker in the upper level. In the lower level, we model disruptions in the electric power network using an optimal power flow model. In the second stage, we couple the disruption of electricity supply with a Computable General Equilibrium model to elucidate the impacts on all economic sectors. For the New York Independent System Operator, we find that a 9% demand increase in a Heatwave may not lead to unserved load. The Cyberattack can lead to 4% of unserved electric load in Long Island, while the Compound scenario can increase unserved electric load in Long Island to 13% and affect almost 600,000 customers. Our results show that the activity of state and local government enterprises can decrease by 30% in the Compound scenario. We conclude that the vulnerability of federal, state, and local government enterprises to electricity disruptions can affect a broad range of populations.