title: High performance cryogen-free microkelvin platform

abstract: Improved accessibility to the microkelvin temperature regime is important for future research in quantum materials; for quantum information science; and for applications of quantum sensors. Here we report the design and performance of a microkelvin platform based on a nuclear demagnetization stage, engineered and well optimized for operation on a standard cryogen-free dilution refrigerator. PrNi5 is used as the dominant refrigerant. The platform provides a large area for mounting experiments in an ultralow temperature, low electromagnetic noise environment. The performance is characterized using current sensing noise thermometry. Temperatures as low as 395 $\mu$K have been reached, and a protocol has been established in which it is possible to operate experiments below 1 mK for 95% of the time, providing an efficient cryogen-free microkelvin environment for a wide range of science applications


title: A Comparison of Solutions of Two Convolution-Type Unidirectional Wave Equations

abstract: In this work, we prove a comparison result for a general class of nonlinear dispersive unidirectional wave equations. The dispersive nature of one-dimensional waves occurs because of a convolution integral in space. For two specific choices of the kernel function, the Benjamin-Bona-Mahony equation and the Rosenau equation that are particularly suitable to model water waves and elastic waves, respectively, are two members of the class. We first prove an energy estimate for the Cauchy problem of the nonlocal unidirectional wave equation. Then, for the same initial data, we consider two distinct solutions corresponding to two different kernel functions. Our main result is that the difference between the solutions remains small in a suitable Sobolev norm if the two kernel functions have similar dispersive characteristics in the long-wave limit. As a sample case of this comparison result, we provide the approximations to the hyperbolic conservation law.


title: Co-dimension one stable blowup for the quadratic wave equation beyond the light cone

abstract: We study the stability of an explicitly known, non-trivial self-similar blowup solution of the quadratic wave equation in the lowest energy supercritical dimension $d = 7$. This solution blows up at a single point and extends naturally away from the singularity. By using hyperboloidal similarity coordinates, we prove the conditional nonlinear asymptotic stability of this solution under small, compactly supported radial perturbations in a region of spacetime which can be made arbitrarily close to the Cauchy horizon of the singularity. To achieve this, we rigorously solve the underlying spectral problem and show that the solution has exactly one genuine instability. The unstable nature of the solution requires a careful construction of suitably adjusted initial data at $t = 0$, which, when propagated to a family of spacelike hypersurfaces of constant hyperboloidal time, takes the required form to guarantee convergence. By this, we introduce a new canonical method to investigate unstable self-similar solutions for nonlinear wave equations within the framework of hyperboloidal similarity coordinates.


title: Study of corrections for anomalous coupling limits due to the possible background BSM contributions

abstract: The search of the anomalous couplings is one of the possible ways to find any deviation from the Standard Model. The effective field theory is used to parameterize the anomalous couplings in the Lagrangian with the operators of higher dimensions, constructed from the SM fields. In the classical way, the limits on the Wilson coefficients of these operators are set based on beyond the Standard Model contributions induced for signal process, whereas the ones induced for background processes are assumed to be negligible. This article provides a study of the corrections to the limits on Wilson coefficients by accounting beyond the Standard Model contributions induced for background processes. The studies of $Z(\nu\bar{\nu})\gamma jj$ and $W(\ell\nu)\gamma jj$ productions in $pp$ collisions with $\sqrt{s}=13$ TeV and conditions of the ATLAS experiment at the LHC are used as example. Cases of collected during Run II and expected from Run III integrated luminosities of 139 fb$^{-1}$ and 300 fb$^{-1}$ are considered. The expected 95% CL limits on coefficients $f_\text{T0}/\Lambda^4$, $f_\text{T5}/\Lambda^4$, $f_\text{M0}/\Lambda^4$ and $f_\text{M2}/\Lambda^4$ are obtained both in classical way and in the way, where the corrections from background anomalous contributions are applied. Corrected one-dimensional limits from $Z(\nu\bar{\nu})\gamma jj$ and $W(\ell\nu)\gamma jj$ productions are up to 9.1% and 4.4% (depending on operator) tighter than the classical ones respectively. Corrected combined limits are up to 3.0% (depending on operator) tighter than the classical ones. Corrections to two-dimensional limits are also obtained, corrected contours are more stringent, than the classical ones, and the maximal improvement is of 17.2%.


title: Perturbative computation in a QED$_3$-inspired conformal abelian gauge model on the lattice

abstract: We perform perturbative computations in a lattice gauge theory with a conformal measure that is quadratic in a non-compact abelian gauge field and is nonlocal, as inspired by the induced gauge action in massless QED$_3$. In a previous work, we showed that coupling fermion sources to the gauge model led to nontrivial conformal data in the correlation functions of fermion bilinears that are functions of charge $q$ of the fermion. In this paper, we compute such gauge invariant fermionic observables to order $q^2$ in lattice perturbation theory with the same conformal measure. We reproduce the expectations for scalar anomalous dimension from previous estimates in dimensional regularization. We address the issue of the lattice regulator dependence of the amplitudes of correlation functions.


title: Pseudo-PT symmetric Dirac equation : effect of a new mean spin angular momentum operator on Gilbert damping

abstract: The pseudo-PT symmetric Dirac equation is proposed and analyzed by using a non-unitary Foldy-Wouthuysen transformations. A new spin operator PT symmetric expectation value (called the mean spin operator) for an electron interacting with a time-dependent electromagnetic field is obtained. We show that spin magnetization - which is the quantity usually measured experimentally - is not described by the standard spin operator but by this new mean spin operator to properly describe magnetization dynamics in ferromagnetic materials and the corresponding equation of motion is compatible with the phenomenological model of the Landau-Lifshitz-Gilbert equation (LLG).


title: Descent methods for studying integer points on $y^{n}=f(x)g(x),\ n\ge 2$

abstract: We study the integer points on superelliptic and hyperelliptic curves of the form $y^n=f(x)g(x),$ $n\ge 2, {\rm{deg}}{f}+{\rm{deg}}{g}\ge 4.$


title: Memory Consistent Unsupervised Off-the-Shelf Model Adaptation for Source-Relaxed Medical Image Segmentation

abstract: Unsupervised domain adaptation (UDA) has been a vital protocol for migrating information learned from a labeled source domain to facilitate the implementation in an unlabeled heterogeneous target domain. Although UDA is typically jointly trained on data from both domains, accessing the labeled source domain data is often restricted, due to concerns over patient data privacy or intellectual property. To sidestep this, we propose "off-the-shelf (OS)" UDA (OSUDA), aimed at image segmentation, by adapting an OS segmentor trained in a source domain to a target domain, in the absence of source domain data in adaptation. Toward this goal, we aim to develop a novel batch-wise normalization (BN) statistics adaptation framework. In particular, we gradually adapt the domain-specific low-order BN statistics, e.g., mean and variance, through an exponential momentum decay strategy, while explicitly enforcing the consistency of the domain shareable high-order BN statistics, e.g., scaling and shifting factors, via our optimization objective. We also adaptively quantify the channel-wise transferability to gauge the importance of each channel, via both low-order statistics divergence and a scaling factor.~Furthermore, we incorporate unsupervised self-entropy minimization into our framework to boost performance alongside a novel queued, memory-consistent self-training strategy to utilize the reliable pseudo label for stable and efficient unsupervised adaptation. We evaluated our OSUDA-based framework on both cross-modality and cross-subtype brain tumor segmentation and cardiac MR to CT segmentation tasks. Our experimental results showed that our memory consistent OSUDA performs better than existing source-relaxed UDA methods and yields similar performance to UDA methods with source data.


title: Estimation of Optical Aberrations in 3D Microscopic Bioimages

abstract: The quality of microscopy images often suffers from optical aberrations. These aberrations and their associated point spread functions have to be quantitatively estimated to restore aberrated images. The recent state-of-the-art method PhaseNet, based on a convolutional neural network, can quantify aberrations accurately but is limited to images of point light sources, e.g. fluorescent beads. In this research, we describe an extension of PhaseNet enabling its use on 3D images of biological samples. To this end, our method incorporates object-specific information into the simulated images used for training the network. Further, we add a Python-based restoration of images via Richardson-Lucy deconvolution. We demonstrate that the deconvolution with the predicted PSF can not only remove the simulated aberrations but also improve the quality of the real raw microscopic images with unknown residual PSF. We provide code for fast and convenient prediction and correction of aberrations.


title: Algorithmic decision making methods for fair credit scoring

abstract: The effectiveness of machine learning in evaluating the creditworthiness of loan applicants has been demonstrated for a long time. However, there is concern that the use of automated decision-making processes may result in unequal treatment of groups or individuals, potentially leading to discriminatory outcomes. This paper seeks to address this issue by evaluating the effectiveness of 12 leading bias mitigation methods across 5 different fairness metrics, as well as assessing their accuracy and potential profitability for financial institutions. Through our analysis, we have identified the challenges associated with achieving fairness while maintaining accuracy and profitabiliy, and have highlighted both the most successful and least successful mitigation methods. Ultimately, our research serves to bridge the gap between experimental machine learning and its practical applications in the finance industry.


title: Out of Equilibrium Majoranas in Interacting Kitaev Chains

abstract: We employ a time-dependent real-space local density-of-states method to study the movement and fusion of Majorana zero modes in the 1D interacting Kitaev model, based on the time evolution of many-body states. We analyze the dynamics and both fusion channels of Majoranas using time-dependent potentials, either creating {\it Walls} or {\it Wells}. % focusing on the local density-of-states and charge-density of fermions varying with time. For fast moving Majoranas, we unveil non-equilibrium signatures of the ``strong-zero mode'' operator (quasi parity degeneracy in the full spectrum) and its breakdown in the presence of repulsive Coulomb interactions. Focusing on forming a full electron after fusion, we also discuss upper and lower limits on the Majorana speed needed to reduce non-adiabatic effects and to avoid poisoning due to decoherence.


title: Lower bound on the cosmological constant from the classicality of the Early Universe

abstract: We use the quantum unimodular theory of gravity to relate the value of the cosmological constant, $\Lambda$, and the energy scale for the emergence of cosmological classicality. The fact that $\Lambda$ and unimodular time are complementary quantum variables implies a perennially quantum Universe should $\Lambda$ be zero (or, indeed, fixed at any value). Likewise, the smallness of $\Lambda$ puts an upper bound on its uncertainty, and so a lower bound on the unimodular clock's uncertainty or the cosmic time for the emergence of classicality. Far from being the Planck scale, classicality arises at around $7 \times 10^{11}$ GeV for the observed $\Lambda$, and taking the region of classicality to be our Hubble volume. We confirm this argument with a direct evaluation of the wavefunction of the Universe in the connection representation for unimodular theory. Our argument is robust, with the only leeway being in the comoving volume of our cosmological classical patch, which should be bigger than that of the observed last scattering surface. Should it be taken to be the whole of a closed Universe, then the constraint depends weakly on $\Omega_k$: for $-\Omega_k < 10^{-3}$ classicality is reached at $ > 4 \times 10^{12}$ GeV. If it is infinite, then this energy scale is infinite, and the Universe is always classical within the minisuperspace approximation. It is a remarkable coincidence that the only way to render the Universe classical just below the Planck scale is to define the size of the classical patch as the scale of non-linearity for a red spectrum with the observed spectral index $n_s = 0.967(4)$ (about $10^{11}$ times the size of the current Hubble volume). In the context of holographic cosmology, we may interpret this size as the scale of confinement in the dual 3D quantum field theory, which may be probed (directly or indirectly) with future cosmological surveys.


title: Hybrid approximation approach to generation of atomic squeezing with quantum nondemolition measurements

abstract: We analyze a scheme that uses quantum nondemolition measurements to induce squeezing of a spinor Bose-Einstein condensate in a double well trap. In a previous paper [Ilo-Okeke et al. Phys. Rev. A \textbf{104}, 053324 (2021)], we introduced a model to solve exactly the wavefunction for all atom-light interaction times. Here, we perform approximations for the short interaction time regime, which is relevant for producing squeezing. Our approach uses a Holstein-Primakoff approximation for the atoms while we treat the light variables exactly. It allows us to show that the measurement induces correlations within the condensate, which manifest in the state of the condensate as a superposition of even parity states. In the long interaction time regime, our methods allow us to identify the mechanism for loss of correlation. We derive simple expressions for the variances of atomic spin variables conditioned on the measurement outcome. We find that the results agree with the exact solution in the short interaction time regime. Additionally, we show that the expressions are the sum of the variances of the atoms and the measurement. Beyond the short interaction time regime, our scheme agrees qualitatively with the exact solution for the spin variable that couples to light.


title: On Developing Facial Stress Analysis and Expression Recognition Platform

abstract: This work represents the experimental and development process of system facial expression recognition and facial stress analysis algorithms for an immersive digital learning platform. The system retrieves from users web camera and evaluates it using artificial neural network (ANN) algorithms. The ANN output signals can be used to score and improve the learning process. Adapting an ANN to a new system can require a significant implementation effort or the need to repeat the ANN training. There are also limitations related to the minimum hardware required to run an ANN. To overpass these constraints, some possible implementations of facial expression recognition and facial stress analysis algorithms in real-time systems are presented. The implementation of the new solution has made it possible to improve the accuracy in the recognition of facial expressions and also to increase their response speed. Experimental results showed that using the developed algorithms allow to detect the heart rate with better rate in comparison with social equipment.


title: On the equivalence of the Nernst theorem and its consequence

abstract: One general consequence of the Nernst theorem is derived, i.e., the various heat capacities of a thermodynamic system under different constraints approach zero as the temperature approaches absolute zero. The temperature dependence of the heat capacity of any thermodynamic system at ultra-low temperatures is revealed through this consequence. Moreover, the general form and the simplest expression of the heat capacities of thermodynamic systems at ultra-low temperatures are deduced. Some significant discussion and results are given. One new research method is provided by using this consequence. Finally, the equivalence between the Nernst theorem and its consequence is rigorously proved, so that this consequence may be referred to another description of the third law of thermodynamics.


title: Recipes for the Digital Quantum Simulation of Lattice Spin Systems

abstract: We describe methods to construct digital quantum simulation algorithms for quantum spin systems on a regular lattice with local interactions. In addition to tools such as the Trotter-Suzuki expansion and graph coloring, we also discuss the efficiency gained by parallel execution of an extensive number of commuting terms. We provide resource estimates and quantum circuit elements for the most important cases and classes of spin systems. As resource estimates we indicate the total number of gates $N$ and simulation time $T$, expressed in terms of the number $n$ of spin 1/2 lattice sites (qubits), target accuracy $\epsilon$, and simulated time $t$. We provide circuit constructions that realize the simulation time $T^{(1)}\propto nt^2/\epsilon$ and $T^{(2q)}\propto t^{1+\eta}n^\eta/\epsilon^\eta$ for arbitrarily small $\eta=1/2q$ for the first-order and higher-order Trotter expansions. We also discuss the potential impact of scaled gates, which have not been fully explored yet.


title: iDF-SLAM: End-to-End RGB-D SLAM with Neural Implicit Mapping and Deep Feature Tracking

abstract: We propose a novel end-to-end RGB-D SLAM, iDF-SLAM, which adopts a feature-based deep neural tracker as the front-end and a NeRF-style neural implicit mapper as the back-end. The neural implicit mapper is trained on-the-fly, while though the neural tracker is pretrained on the ScanNet dataset, it is also finetuned along with the training of the neural implicit mapper. Under such a design, our iDF-SLAM is capable of learning to use scene-specific features for camera tracking, thus enabling lifelong learning of the SLAM system. Both the training for the tracker and the mapper are self-supervised without introducing ground truth poses. We test the performance of our iDF-SLAM on the Replica and ScanNet datasets and compare the results to the two recent NeRF-based neural SLAM systems. The proposed iDF-SLAM demonstrates state-of-the-art results in terms of scene reconstruction and competitive performance in camera tracking.


title: 10-Hertz quantum light source generation on the cesium D2 line using single photon modulation

abstract: Generation of quantum light source is a promising technique to overcome the standard quantum limit in precision measurement. Here, we demonstrate an experimental generation of quadrature squeezing resonating on the cesium D2 line down to 10 Hz for the first time. The maximum squeezing in audio frequency band is 5.57 dB. Moreover, we have presented a single-photon modulation locking to control the squeezing angle, while effectively suppressing the influence of laser noise on low-frequency squeezing. The whole system operates steadily for hours. The generated low-frequency quantum light source can be applied in quantum metrology,light-matter interaction investigation and quantum memory in the audio frequency band and even below.


title: ImDrug: A Benchmark for Deep Imbalanced Learning in AI-aided Drug Discovery

abstract: The last decade has witnessed a prosperous development of computational methods and dataset curation for AI-aided drug discovery (AIDD). However, real-world pharmaceutical datasets often exhibit highly imbalanced distribution, which is overlooked by the current literature but may severely compromise the fairness and generalization of machine learning applications. Motivated by this observation, we introduce ImDrug, a comprehensive benchmark with an open-source Python library which consists of 4 imbalance settings, 11 AI-ready datasets, 54 learning tasks and 16 baseline algorithms tailored for imbalanced learning. It provides an accessible and customizable testbed for problems and solutions spanning a broad spectrum of the drug discovery pipeline such as molecular modeling, drug-target interaction and retrosynthesis. We conduct extensive empirical studies with novel evaluation metrics, to demonstrate that the existing algorithms fall short of solving medicinal and pharmaceutical challenges in the data imbalance scenario. We believe that ImDrug opens up avenues for future research and development, on real-world challenges at the intersection of AIDD and deep imbalanced learning.


title: An Attention-guided Multistream Feature Fusion Network for Localization of Risky Objects in Driving Videos

abstract: Detecting dangerous traffic agents in videos captured by vehicle-mounted dashboard cameras (dashcams) is essential to facilitate safe navigation in a complex environment. Accident-related videos are just a minor portion of the driving video big data, and the transient pre-accident processes are highly dynamic and complex. Besides, risky and non-risky traffic agents can be similar in their appearance. These make risky object localization in the driving video particularly challenging. To this end, this paper proposes an attention-guided multistream feature fusion network (AM-Net) to localize dangerous traffic agents from dashcam videos. Two Gated Recurrent Unit (GRU) networks use object bounding box and optical flow features extracted from consecutive video frames to capture spatio-temporal cues for distinguishing dangerous traffic agents. An attention module coupled with the GRUs learns to attend to the traffic agents relevant to an accident. Fusing the two streams of features, AM-Net predicts the riskiness scores of traffic agents in the video. In supporting this study, the paper also introduces a benchmark dataset called Risky Object Localization (ROL). The dataset contains spatial, temporal, and categorical annotations with the accident, object, and scene-level attributes. The proposed AM-Net achieves a promising performance of 85.73% AUC on the ROL dataset. Meanwhile, the AM-Net outperforms current state-of-the-art for video anomaly detection by 6.3% AUC on the DoTA dataset. A thorough ablation study further reveals AM-Net's merits by evaluating the contributions of its different components.


title: A Deep Moving-camera Background Model

abstract: In video analysis, background models have many applications such as background/foreground separation, change detection, anomaly detection, tracking, and more. However, while learning such a model in a video captured by a static camera is a fairly-solved task, in the case of a Moving-camera Background Model (MCBM), the success has been far more modest due to algorithmic and scalability challenges that arise due to the camera motion. Thus, existing MCBMs are limited in their scope and their supported camera-motion types. These hurdles also impeded the employment, in this unsupervised task, of end-to-end solutions based on deep learning (DL). Moreover, existing MCBMs usually model the background either on the domain of a typically-large panoramic image or in an online fashion. Unfortunately, the former creates several problems, including poor scalability, while the latter prevents the recognition and leveraging of cases where the camera revisits previously-seen parts of the scene. This paper proposes a new method, called DeepMCBM, that eliminates all the aforementioned issues and achieves state-of-the-art results. Concretely, first we identify the difficulties associated with joint alignment of video frames in general and in a DL setting in particular. Next, we propose a new strategy for joint alignment that lets us use a spatial transformer net with neither a regularization nor any form of specialized (and non-differentiable) initialization. Coupled with an autoencoder conditioned on unwarped robust central moments (obtained from the joint alignment), this yields an end-to-end regularization-free MCBM that supports a broad range of camera motions and scales gracefully. We demonstrate DeepMCBM's utility on a variety of videos, including ones beyond the scope of other methods. Our code is available at https://github.com/BGU-CS-VIL/DeepMCBM .


title: GNNInterpreter: A Probabilistic Generative Model-Level Explanation for Graph Neural Networks

abstract: Recently, Graph Neural Networks (GNNs) have significantly advanced the performance of machine learning tasks on graphs. However, this technological breakthrough makes people wonder: how does a GNN make such decisions, and can we trust its prediction with high confidence? When it comes to some critical fields, such as biomedicine, where making wrong decisions can have severe consequences, it is crucial to interpret the inner working mechanisms of GNNs before applying them. In this paper, we propose a model-agnostic model-level explanation method for different GNNs that follow the message passing scheme, GNNInterpreter, to explain the high-level decision-making process of the GNN model. More specifically, GNNInterpreter learns a probabilistic generative graph distribution that produces the most discriminative graph pattern the GNN tries to detect when making a certain prediction by optimizing a novel objective function specifically designed for the model-level explanation for GNNs. Compared to existing works, GNNInterpreter is more flexible and computationally efficient in generating explanation graphs with different types of node and edge features, without introducing another blackbox or requiring manually specified domain-specific rules. In addition, the experimental studies conducted on four different datasets demonstrate that the explanation graphs generated by GNNInterpreter match the desired graph pattern if the model is ideal; otherwise, potential model pitfalls can be revealed by the explanation. The official implementation can be found at https://github.com/yolandalalala/GNNInterpreter.


title: A simple KPFM-based approach for electrostatic-free topographic measurements: the case of MoS$_2$ on SiO$_2$

abstract: A simple implementation of Kelvin probe force microscopy is reported that enables recording topographic images in the absence of any component of the electrostatic force. Our approach is based on a close loop z-spectroscopy operated in data cube mode. Curves of the tip-sample distance as a function of time are recorded onto a 2D grid. A dedicated circuit holds the KPFM compensation bias and subsequently cut off the modulation voltage during well-defined time-windows within the spectroscopic acquisition. Topographic images are recalculated from the matrix of spectroscopic curves. This approach is applied to the case of transition metal dichalcogenides (TMD) monolayers grown by chemical vapour deposition on silicon oxide substrates. In addition, we check to what extent a proper stacking height estimation can also be performed by recording series of images for decreasing values of the bias modulation amplitude. The outputs of both approaches are shown to be fully consistent. The results exemplify how in the operating conditions of non-contact AFM under ultra-high vacuum, the stacking height values can dramatically be overestimated due to variations in the tip-surface capacitive gradient, even though the KPFM controller nullifies the potential difference. We show that the number of atomic layers of a TMD can be safely assessed, only if the KPFM measurement is performed with a modulated bias amplitude reduced at its strict minimum or, even better, without any modulated bias. Last, the spectroscopic data reveal that defects at the TMD/oxide interface can have a counterintuitive impact on the electrostatic landscape, resulting in an apparent decrease of the measured stacking height by conventional nc-AFM/KPFM compared to non-defective sample areas. Hence, electrostatic free z-imaging proves to be a promising tool to assess the existence of defects in atomically thin TMD layers grown on oxides


title: Explainability in subgraphs-enhanced Graph Neural Networks

abstract: Recently, subgraphs-enhanced Graph Neural Networks (SGNNs) have been introduced to enhance the expressive power of Graph Neural Networks (GNNs), which was proved to be not higher than the 1-dimensional Weisfeiler-Leman isomorphism test. The new paradigm suggests using subgraphs extracted from the input graph to improve the model's expressiveness, but the additional complexity exacerbates an already challenging problem in GNNs: explaining their predictions. In this work, we adapt PGExplainer, one of the most recent explainers for GNNs, to SGNNs. The proposed explainer accounts for the contribution of all the different subgraphs and can produce a meaningful explanation that humans can interpret. The experiments that we performed both on real and synthetic datasets show that our framework is successful in explaining the decision process of an SGNN on graph classification tasks.


title: Transitivity in finite general linear groups

abstract: It is known that the notion of a transitive subgroup of a permutation group $G$ extends naturally to subsets of $G$. We consider subsets of the general linear group $\operatorname{GL}(n,q)$ acting transitively on flag-like structures, which are common generalisations of $t$-dimensional subspaces of $\mathbb{F}_q^n$ and bases of $t$-dimensional subspaces of $\mathbb{F}_q^n$. We give structural characterisations of transitive subsets of $\operatorname{GL}(n,q)$ using the character theory of $\operatorname{GL}(n,q)$ and interprete such subsets as designs in the conjugacy class association scheme of $\operatorname{GL}(n,q)$. In particular we generalise a theorem of Perin on subgroups of $\operatorname{GL}(n,q)$ acting transitively on $t$-dimensional subspaces. We survey transitive subgroups of $\operatorname{GL}(n,q)$, showing that there is no subgroup of $\operatorname{GL}(n,q)$ with $1<t<n$ acting transitively on $t$-dimensional subspaces unless it contains $\operatorname{SL}(n,q)$ or is one of two exceptional groups. On the other hand, for all fixed $t$, we show that there exist nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on linearly independent $t$-tuples of $\mathbb{F}_q^n$, which also shows the existence of nontrivial subsets of $\operatorname{GL}(n,q)$ that are transitive on more general flag-like structures. We establish connections with orthogonal polynomials, namely the Al-Salam-Carlitz polynomials, and generalise a result by Rudvalis and Shinoda on the distribution of the number of fixed points of the elements in $\operatorname{GL}(n,q)$. Many of our results can be interpreted as $q$-analogs of corresponding results for the symmetric group.


title: The BLue Amazon Brain (BLAB): A Modular Architecture of Services about the Brazilian Maritime Territory

abstract: We describe the first steps in the development of an artificial agent focused on the Brazilian maritime territory, a large region within the South Atlantic also known as the Blue Amazon. The "BLue Amazon Brain" (BLAB) integrates a number of services aimed at disseminating information about this region and its importance, functioning as a tool for environmental awareness. The main service provided by BLAB is a conversational facility that deals with complex questions about the Blue Amazon, called BLAB-Chat; its central component is a controller that manages several task-oriented natural language processing modules (e.g., question answering and summarizer systems). These modules have access to an internal data lake as well as to third-party databases. A news reporter (BLAB-Reporter) and a purposely-developed wiki (BLAB-Wiki) are also part of the BLAB service architecture. In this paper, we describe our current version of BLAB's architecture (interface, backend, web services, NLP modules, and resources) and comment on the challenges we have faced so far, such as the lack of training data and the scattered state of domain information. Solving these issues presents a considerable challenge in the development of artificial intelligence for technical domains.


title: Mining SoC Message Flows with Attention Model

abstract: High-quality system-level message flow specifications are necessary for comprehensive validation of system-on-chip (SoC) designs. However, manual development and maintenance of such specifications are daunting tasks. We propose a disruptive method that utilizes deep sequence modeling with the attention mechanism to infer accurate flow specifications from SoC communication traces. The proposed method can overcome the inherent complexity of SoC traces induced by the concurrent executions of SoC designs that existing mining tools often find extremely challenging. We conduct experiments on five highly concurrent traces and find that the proposed approach outperforms several existing state-of-the-art trace mining tools.


title: Single-shot, coherent, pop-out 3D metrology

abstract: Three-dimensional (3D) imaging of thin, extended specimens at nanometer resolution is critical for applications in biology, materials science, advanced synthesis, and manufacturing. One route to 3D imaging is tomography, which requires a tilt series of a local region. Here we describe a coherent imaging alternative that recovers the 3D volume of a thin, homogeneously amorphous specimen with only a single, energy-filtered, bright-field image. We demonstrated this technique with a transmission electron microscope to fill a glaring gap for rapid, accessible, non-destructive 3D nanometrology. This technique is applicable, in general, to any coherent bright field imaging with electrons, photons, or any other wavelike particles.

categories: physics.ins-det cond-mat.mtrl-sci eess.IV physics.optics


title: The impact of dynamic pressure bumps on the observational properties of protoplanetary disks

abstract: Over the last years, large (sub-)millimetre surveys of protoplanetary disks have well constrained the demographics of disks, such as their millimetre luminosities, spectral indices, and disk radii. Additionally, several high-resolution observations have revealed an abundance of substructures in the disks dust continuum. The most prominent are ring like structures, likely due to pressure bumps trapping dust particles. The origins and characteristics of these bumps, nevertheless, need to be further investigated. The purpose of this work is to study how dynamic pressure bumps affect observational properties of protoplanetary disks. We further aim to differentiate between the planetary- versus zonal flow-origin of pressure bumps. We perform one-dimensional gas and dust evolution simulations, setting up models with varying pressure bump features. We subsequently run radiative transfer calculations to obtain synthetic images and the different quantities of observations. We find that the outermost pressure bump determines the disks dust size across different millimetre wavelengths. Our modelled dust traps need to form early (< 0.1 Myr), fast (on viscous timescales), and must be long lived (> Myr) to obtain the observed high millimetre luminosities and low spectral indices of disks. While the planetary bump models can reproduce these observables irrespectively of the opacity prescription, the highest opacities are needed for the zonal flow bump model to be in line with observations. Our findings favour the planetary- over the zonal flow-origin of pressure bumps and support the idea that planet formation already occurs in early class 0-1 stages of circumstellar disks. The determination of the disks effective size through its outermost pressure bump also delivers a possible answer to why disks in recent low-resolution surveys appear to have the same sizes across different millimetre wavelengths.


title: Top-Tuning: a study on transfer learning for an efficient alternative to fine tuning for image classification with fast kernel methods

abstract: The impressive performance of deep learning architectures is associated with a massive increase in model complexity. Millions of parameters need to be tuned, with training and inference time scaling accordingly, together with energy consumption. But is massive fine-tuning always necessary? In this paper, focusing on image classification, we consider a simple transfer learning approach exploiting pre-trained convolutional features as input for a fast-to-train kernel method. We refer to this approach as \textit{top-tuning} since only the kernel classifier is trained on the target dataset. In our study, we perform more than 3000 training processes focusing on 32 small to medium-sized target datasets, a typical situation where transfer learning is necessary. We show that the top-tuning approach provides comparable accuracy with respect to fine-tuning, with a training time between one and two orders of magnitude smaller. These results suggest that top-tuning is an effective alternative to fine-tuning in small/medium datasets, being especially useful when training time efficiency and computational resources saving are crucial.


title: Measurement of AGN dust extinction based on the near-infrared flux variability of WISE data

abstract: We present the measurement of the line-of-sight extinction of the dusty torus for a large number of obscured active galactic nuclei (AGNs) based on the reddening of the colour of the variable flux component in near-infrared (NIR) wavelengths. We collected long-term monitoring data by $\textit{Wide-field Infrared Survey Explorer (WISE)}$ for 513 local AGNs catalogued by the $\mathit{Swift/}$BAT AGN Spectroscopic Survey (BASS) and found that the multi-epoch NIR flux data in two different bands (WISE $W1$ and $W2$) are tightly correlated for more than 90% of the targets. The flux variation gradient (FVG) in the $W1$ and $W2$ bands was derived by applying linear regression analysis, and we reported that those for unobscured AGNs fall in a relatively narrow range, whereas those for obscured AGNs are distributed in a redder and broader range. The AGN's line-of-sight dust extinction ($A_V$) is calculated using the amount of the reddening in the FVG and is compared with the neutral hydrogen column density ($N_{\rm{}H}$) of the BASS catalogue. We found that the $N_{\rm{}H}/A_V$ ratios of obscured AGNs are greater than those of the Galactic diffuse interstellar medium (ISM) and are distributed with a large scatter by at most two orders of magnitude. Furthermore, we found that the lower envelope of the $N_{\rm{}H}/A_V$ of obscured AGNs is comparable to the Galactic diffuse ISM. These properties of the $N_{\rm{}H}/A_V$ can be explained by increase in the $N_{\rm{}H}$ attributed to the dust-free gas clouds covering the line of sight in the broad-line region.


title: Numerical analysis of a finite volume scheme for charge transport in perovskite solar cells

abstract: In this paper, we consider a drift-diffusion charge transport model for perovskite solar cells, where electrons and holes may diffuse linearly (Boltzmann approximation) or nonlinearly (e.g. due to Fermi-Dirac statistics). To incorporate volume exclusion effects, we rely on the Fermi-Dirac integral of order -1 when modeling moving anionic vacancies within the perovskite layer which is sandwiched between electron and hole transport layers. After non-dimensionalization, we first prove a continuous entropy-dissipation inequality for the model. Then, we formulate a corresponding two-point flux finite volume scheme on Voronoi meshes and show an analogous discrete entropy-dissipation inequality. This inequality helps us to show the existence of a discrete solution of the nonlinear discrete system with the help of a corollary of Brouwer's fixed point theorem and the minimization of a convex functional. Finally, we verify our theoretically proven properties numerically, simulate a realistic device setup and show exponential decay in time with respect to the L^2 error as well as a physically and analytically meaningful relative entropy.


title: Structure Preserving Transformations for Practical Model-based Systems Engineering

abstract: In this third decade of systems engineering in the twenty-first century, it is important to develop and demonstrate practical methods to exploit machine-readable models in the engineering of systems. Substantial investment has been made in languages and modelling tools for developing models. A key problem is that system architects and engineers work in a multidisciplinary environment in which models are not the product of any one individual. This paper provides preliminary results of a formal approach to specify models and structure preserving transformations between them that support model synchronization. This is an important area of research and practice in software engineering. However, it is limited to synchronization at the code level of systems. This paper leverages previous research of the authors to define a core fractal for interpretation of concepts into model specifications and transformation between models. This fractal is used to extend the concept of synchronization of models to the system level and is demonstrated through a practical engineering example for an advanced driver assistance system.


title: PA-Boot: A Formally Verified Authentication Protocol for Multiprocessor Secure Boot

abstract: Hardware supply-chain attacks are raising significant security threats to the boot process of multiprocessor systems. This paper identifies a new, prevalent hardware supply-chain attack surface that can bypass multiprocessor secure boot due to the absence of processor-authentication mechanisms. To defend against such attacks, we present PA-Boot, the first formally verified processor-authentication protocol for secure boot in multiprocessor systems. PA-Boot is proved functionally correct and is guaranteed to detect multiple adversarial behaviors, e.g., processor replacements, man-in-the-middle attacks, and tampering with certificates. The fine-grained formalization of PA-Boot and its fully mechanized security proofs are carried out in the Isabelle/HOL theorem prover with 306 lemmas/theorems and ~7,100 LoC. Experiments on a proof-of-concept implementation indicate that PA-Boot can effectively identify boot-process attacks with a considerably minor overhead and thereby improve the security of multiprocessor systems.


title: DPFNet: A Dual-branch Dilated Network with Phase-aware Fourier Convolution for Low-light Image Enhancement

abstract: Low-light image enhancement is a classical computer vision problem aiming to recover normal-exposure images from low-light images. However, convolutional neural networks commonly used in this field are good at sampling low-frequency local structural features in the spatial domain, which leads to unclear texture details of the reconstructed images. To alleviate this problem, we propose a novel module using the Fourier coefficients, which can recover high-quality texture details under the constraint of semantics in the frequency phase and supplement the spatial domain. In addition, we design a simple and efficient module for the image spatial domain using dilated convolutions with different receptive fields to alleviate the loss of detail caused by frequent downsampling. We integrate the above parts into an end-to-end dual branch network and design a novel loss committee and an adaptive fusion module to guide the network to flexibly combine spatial and frequency domain features to generate more pleasing visual effects. Finally, we evaluate the proposed network on public benchmarks. Extensive experimental results show that our method outperforms many existing state-of-the-art ones, showing outstanding performance and potential.


title: Two-dimensional random interlacements: 0-1 law and the vacant set at criticality

abstract: We correct and streamline the proof of the fact that, at the critical point $\alpha=1$, the vacant set of the two-dimensional random interlacements is infinite (Comets, Popov, 2017). Also, we prove a zero-one law for a natural class of tail events related to the random interlacements.


title: Global tangential Calderon-Zygmund type estimates for the regional fractional Laplacian

abstract: We discuss tangential Sobolev-estimates up to the boundary for solutions to the regional fractional laplacian on the upper half-plane. These estimates can be used to reduce the boundary Calderon-Zygmund theory of any dimension to a one-dimensional nonlocal problem.


title: Connes implies Tsirelson: a simple proof

abstract: More precisely, we give a simple and very short proof of "the Connes embedding problem implies the synchronous Tsirelson conjecture" that relies on only two elementary ingredients: 1) the well-known description of synchronous correlations as traces on the algebra per player $C^*(\mathrm{player})=C^*(\mathrm{inputs}|\mathrm{outputs})$ and 2) an elementary lifting result by Kim, Paulsen and Schafhauser. Moreover, this bypasses every of the deep results by Kirchberg as well as any other implicit reformulation as the microstates conjecture and thelike. Meanwhile, we also give a different construction of Connes' algebra $\mathcal{R}^\omega$ appearing in the Connes embedding problem, which is more suitable for the purposes of quantum information theory and much easier to comprehend for the reader without any prior knowledge in operator algebras. Most importantly, however, we present this proof for the following reason: Since the recent refutation of the synchronous Tsirelson conjecture by MIP*=RE, there exists a nonlocal game which violates the synchronous Tsirelson conjecture, and by the proof of MIP*=RE even a synchronous such game. The approach however is based on contradiction with the undecidability of the Halting problem, and so remains implicit. As such the quest now has started to give an explicit example of a synchronous game violating the synchronous Tsirelson conjecture together with a direct argument for the failure, and the current article serves as a direct translation to the corresponding operator algebra and its tracial state violating the Connes embedding problem.


title: Random covers of compact surfaces and smooth linear spectral statistics

abstract: We consider random n-covers $X_n$ of an arbitrary compact hyperbolic surface $X$. We show that in the large n regime and small window limit, the variance of the smooth spectral statistics of the Laplacian twisted by a unitary abelian character, obey the universal laws of GOE and GUE random matrices, depending on wether the character preserves or breaks the time reversal symmetry. We also prove a generalization for higher dimensional twists valued in compact linear groups. These results confirm a conjecture of Berry and is a discrete analog of a recent work of Rudnick for the Weil-Petersson model of random surfaces.


title: Matroidal Cayley-Bacharach and independence/dependence of geometric properties of matroids

abstract: We consider the relationship between a matroidal analogue of the degree $a$ Cayley-Bacharach property (finite sets of points failing to impose independent conditions on degree $a$ hypersurfaces) and geometric properties of matroids. If the matroid polytopes in question are nestohedra, we show that the minimal degree matroidal Cayley-Bacharach property denoted $MCB(a)$ is determined by the structure of the building sets used to construct them. This analysis also applies for other degrees $a$. Also, it does not seem to affect the combinatorial equivalence class of the matroid polytope. However, there are close connections to minimal nontrivial degrees $a$ and the geometry of the matroids in question for paving matroids (which are conjecturally generic among matroids of a given rank) and matroids constructed out of supersolvable hyperplane arrangements. The case of paving matroids is still related to with properties of building sets since it is closely connected to (Hilbert series of) Chow rings of matroids, which are combinatorial models of the cohomology of wonderful compactifications. Finally, our analysis of supersolvable line and hyperplane arrangements give a family of matroids which are natrually related to independence conditions imposed by points one plane curves or can be analyzed recursively.


title: Traffic Congestion Prediction using Deep Convolutional Neural Networks: A Color-coding Approach

abstract: The traffic video data has become a critical factor in confining the state of traffic congestion due to the recent advancements in computer vision. This work proposes a unique technique for traffic video classification using a color-coding scheme before training the traffic data in a Deep convolutional neural network. At first, the video data is transformed into an imagery data set; then, the vehicle detection is performed using the You Only Look Once algorithm. A color-coded scheme has been adopted to transform the imagery dataset into a binary image dataset. These binary images are fed to a Deep Convolutional Neural Network. Using the UCSD dataset, we have obtained a classification accuracy of 98.2%.


title: JefiPIC: A 3-D Full Electromagnetic Particle-in-Cell Simulator Based on Jefimenko's Equations on GPU

abstract: This paper presents a novel 3-D full electromagnetic particle-in-cell (PIC) code called JefiPIC, which uses Jefimenko's equations as the electromagnetic (EM) field solver through a full-space integration method. Leveraging the power of state-of-the-art graphic processing units (GPUs), we have made the challenging integral task of PIC simulations achievable. Our proposed code offers several advantages by utilizing the integral method. Firstly, it offers a natural solution for modeling non-neutral plasmas without the need for pre-processing such as solving Poisson's equation. Secondly, it eliminates the requirement for designing elaborate boundary layers to absorb fields and particles. Thirdly, it maintains the stability of the plasma simulation regardless of the time step chosen. Lastly, it does not require strict charge-conservation particle-to-grid apportionment techniques or electric field divergence amendment algorithms, which are commonly used in finite-difference time-domain (FDTD)-based PIC simulations. To validate the accuracy and advantages of our code, we compared the evolutions of particles and fields in different plasma systems simulated by three other codes. Our results demonstrate that the combination of Jefimenko's equations and the PIC method can produce accurate particle distributions and EM fields in open-boundary plasma systems. Additionally, our code is able to accomplish these computations within an acceptable execution time. This study highlights the effectiveness and efficiency of JefiPIC, showing its potential for advancing plasma simulations.


title: Observation of the metallic mosaic phase in 1$T$-TaS$_2$ at equilibrium

abstract: The transition-metal dichalcogenide tantalum disulphide (1$T$-TaS$_2$) hosts a commensurate charge density wave (CCDW) at temperatures below 165~K where it also becomes insulating. The low temperature CCDW phase can be driven into a metastable "mosaic" phase by means of either laser or voltage pulses which shows a large density of CDW domain walls as well as a closing of the electronic band gap. The exact origins of this pulse-induced metallic mosaic are not yet fully understood. Here, using scanning tunneling microscopy and spectroscopy (STM/STS), we observe the occurrence of such a metallic mosaic phase on the surface of TaS$_2$ without prior pulse excitation over continuous areas larger than $100 \times 100$~nm$^2$ and macroscopic areas on the millimetre scale. We attribute the appearance of the mosaic phase to the presence of surface defects which cause the formation of the characteristic dense domain wall network. Based on our STM measurements, we further argue how the appearance of the metallic behaviour in the mosaic phase could be explained by local stacking differences of the top layer. Thus, we provide a potential avenue to explain the origin of the pulse induced mosaic phase.


title: Transport in reservoir computing

abstract: Reservoir computing systems are constructed using a driven dynamical system in which external inputs can alter the evolving states of a system. These paradigms are used in information processing, machine learning, and computation. A fundamental question that needs to be addressed in this framework is the statistical relationship between the input and the system states. This paper provides conditions that guarantee the existence and uniqueness of asymptotically invariant measures for driven systems and shows that their dependence on the input process is continuous when the set of input and output processes are endowed with the Wasserstein distance. The main tool in these developments is the characterization of those invariant measures as fixed points of naturally defined Foias operators that appear in this context and which have been profusely studied in the paper. Those fixed points are obtained by imposing a newly introduced stochastic state contractivity on the driven system that is readily verifiable in examples. Stochastic state contractivity can be satisfied by systems that are not state-contractive, which is a need typically evoked to guarantee the echo state property in reservoir computing. As a result, it may actually be satisfied even if the echo state property is not present.


title: Omni-Dimensional Dynamic Convolution

abstract: Learning a single static convolutional kernel in each convolutional layer is the common training paradigm of modern Convolutional Neural Networks (CNNs). Instead, recent research in dynamic convolution shows that learning a linear combination of $n$ convolutional kernels weighted with their input-dependent attentions can significantly improve the accuracy of light-weight CNNs, while maintaining efficient inference. However, we observe that existing works endow convolutional kernels with the dynamic property through one dimension (regarding the convolutional kernel number) of the kernel space, but the other three dimensions (regarding the spatial size, the input channel number and the output channel number for each convolutional kernel) are overlooked. Inspired by this, we present Omni-dimensional Dynamic Convolution (ODConv), a more generalized yet elegant dynamic convolution design, to advance this line of research. ODConv leverages a novel multi-dimensional attention mechanism with a parallel strategy to learn complementary attentions for convolutional kernels along all four dimensions of the kernel space at any convolutional layer. As a drop-in replacement of regular convolutions, ODConv can be plugged into many CNN architectures. Extensive experiments on the ImageNet and MS-COCO datasets show that ODConv brings solid accuracy boosts for various prevailing CNN backbones including both light-weight and large ones, e.g., 3.77%~5.71%|1.86%~3.72% absolute top-1 improvements to MobivleNetV2|ResNet family on the ImageNet dataset. Intriguingly, thanks to its improved feature learning ability, ODConv with even one single kernel can compete with or outperform existing dynamic convolution counterparts with multiple kernels, substantially reducing extra parameters. Furthermore, ODConv is also superior to other attention modules for modulating the output features or the convolutional weights.


title: User Guided Abductive Proof Generation for Answer Set Programming Queries (Extended Version)

abstract: We present a method for generating possible proofs of a query with respect to a given Answer Set Programming (ASP) rule set using an abductive process where the space of abducibles is automatically constructed just from the input rules alone. Given a (possibly empty) set of user provided facts, our method infers any additional facts that may be needed for the entailment of a query and then outputs these extra facts, without the user needing to explicitly specify the space of all abducibles. We also present a method to generate a set of directed edges corresponding to the justification graph for the query. Furthermore, through different forms of implicit term substitution, our method can take user provided facts into account and suitably modify the abductive solutions. Past work on abduction has been primarily based on goal directed methods. However these methods can result in solvers that are not truly declarative. Much less work has been done on realizing abduction in a bottom up solver like the Clingo ASP solver. We describe novel ASP programs which can be run directly in Clingo to yield the abductive solutions and directed edge sets without needing to modify the underlying solving engine.


title: A New Formulation for Total Least Square Error Method in d-dimensional Space with Mapping to a Parametric Line

abstract: There are many practical applications based on the Least Square Error (LSE) or Total Least Square Error (TLSE) methods. Usually the standard least square error is used due to its simplicity, but it is not an optimal solution, as it does not optimize distance, but square of a distance. The TLSE method, respecting the orthogonality of a distance measurement, is computed in d-dimensional space, i.e. for points given in E2 a line p in E2, resp. for points given in E3 a plane in rho in E3, fitting the TLSE criteria are found. However, some tasks in physical sciences lead to a slightly different problem. In this paper, a new TSLE method is introduced for solving a problem when data are given in E3 and a line p in E3 is to be found fitting the TLSE criterion. The presented approach is applicable for a general -dimensional case, i.e. when points are given in E^d a line E^d is to be found. This formulation is different from the TLSE formulation.


title: Fast generation of calculated ADF-EDX scattering cross-sections under channelling conditions

abstract: Advanced materials often consist of multiple elements which are arranged in a complicated structure. Quantitative scanning transmission electron microscopy is useful to determine the composition and thickness of nanostructures at the atomic scale. However, significant difficulties remain to quantify mixed columns by comparing the resulting atomic resolution images and spectroscopy data with multislice simulations where dynamic scattering needs to be taken into account. The combination of the computationally intensive nature of these simulations and the enormous amount of possible mixed column configurations for a given composition indeed severely hamper the quantification process. To overcome these challenges, we here report the development of an incoherent non-linear method for the fast prediction of ADF-EDX scattering cross-sections of mixed columns under channelling conditions. We first explain the origin of the ADF and EDX incoherence from scattering physics suggesting a linear dependence between those two signals in the case of a high-angle ADF detector. Taking EDX as a perfect incoherent reference mode, we quantitatively examine the ADF longitudinal incoherence under different microscope conditions using multislice simulations. Based on incoherent imaging, the atomic lensing model previously developed for ADF is now expanded to EDX, which yields ADF-EDX scattering cross-section predictions in good agreement with multislice simulations for mixed columns in a core-shell nanoparticle and a high entropy alloy. The fast and accurate prediction of ADF-EDX scattering cross-sections opens up new opportunities to explore the wide range of ordering possibilities of heterogeneous materials with multiple elements.


title: SeqOT: A Spatial-Temporal Transformer Network for Place Recognition Using Sequential LiDAR Data

abstract: Place recognition is an important component for autonomous vehicles to achieve loop closing or global localization. In this paper, we tackle the problem of place recognition based on sequential 3D LiDAR scans obtained by an onboard LiDAR sensor. We propose a transformer-based network named SeqOT to exploit the temporal and spatial information provided by sequential range images generated from the LiDAR data. It uses multi-scale transformers to generate a global descriptor for each sequence of LiDAR range images in an end-to-end fashion. During online operation, our SeqOT finds similar places by matching such descriptors between the current query sequence and those stored in the map. We evaluate our approach on four datasets collected with different types of LiDAR sensors in different environments. The experimental results show that our method outperforms the state-of-the-art LiDAR-based place recognition methods and generalizes well across different environments. Furthermore, our method operates online faster than the frame rate of the sensor. The implementation of our method is released as open source at: https://github.com/BIT-MJY/SeqOT.


title: LUXE: A new experiment to study non-perturbative QED

abstract: Laser Und XFEL Experiment (LUXE), is a new High Energy and Laser Physics experiment planned to be installed in DESY. It will study the interactions of a very-intense Laser beam with the high-energy, high-quality electron beams from the European XFEL accelerator, to measure characteristics of non-perturbative quantum electrodynamics.


title: StyleGAN Encoder-Based Attack for Block Scrambled Face Images

abstract: In this paper, we propose an attack method to block scrambled face images, particularly Encryption-then-Compression (EtC) applied images by utilizing the existing powerful StyleGAN encoder and decoder for the first time. Instead of reconstructing identical images as plain ones from encrypted images, we focus on recovering styles that can reveal identifiable information from the encrypted images. The proposed method trains an encoder by using plain and encrypted image pairs with a particular training strategy. While state-of-the-art attack methods cannot recover any perceptual information from EtC images, the proposed method discloses personally identifiable information such as hair color, skin color, eyeglasses, gender, etc. Experiments were carried out on the CelebA dataset, and results show that reconstructed images have some perceptual similarities compared to plain images.


title: Fourier Domain

abstract: The changes in brightness of an astronomical source as a function of time are key probes into that source's physics. Periodic and quasi-periodic signals are indicators of fundamental time (and length) scales in the system, while stochastic processes help uncover the nature of turbulent accretion processes. A key method of studying time variability is through Fourier methods, the decomposition of the signal into sine waves, which yields a representation of the data in frequency space. With the extension into \textit{spectral timing} the methods built on the Fourier transform can not only help us characterize (quasi-)periodicities and stochastic processes, but also uncover the complex relationships between time, photon energy and flux in order to help build better models of accretion processes and other high-energy dynamical physics. In this Chapter, we provide a broad, but practical overview of the most important relevant methods.


title: Rigidity of $4$-dimensional complete self-shrinkers in $\mathbb{R}^{5}$

abstract: We show that any $4$-dimensional complete self-shrinker in $\mathbb{R}^{5}$ with constant squared norm $S$ of the second fundamental form, $f_{3}=0$ and constant $f_{4}$ is isometric to $\mathbb{R}^{4}$, where $h_{ij}$ are components of the second fundamental form, $S=\sum h_{ij}^{2}$, $f_{3}=\sum h_{ij}h_{jk}h_{ki}$ and $f_{4}=\sum h_{ij}h_{jk}h_{kl}h_{li}$. As an application, we obtain a classification result.


title: Molecular van der Waals fluids in cavity quantum electrodynamics

abstract: Intermolecular van der Waals interactions are central to chemical and physical phenomena ranging from biomolecule binding to soft-matter phase transitions. However, there are currently very limited approaches to manipulate van der Waals interactions. In this work, we demonstrate that strong light-matter coupling can be used to tune van der Waals interactions, and, thus, control the thermodynamic properties of many-molecule systems. Our analyses reveal orientation dependent single molecule energies and interaction energies for van der Waals molecules (for example, H$_{2}$). For example, we find intermolecular interactions that depend on the distance between the molecules $R$ as $R^{-3}$ and $R^{0}$. Moreover, we employ non-perturbative \textit{ab initio} cavity quantum electrodynamics calculations to develop machine learning-based interaction potentials for molecules inside optical cavities. By simulating systems ranging from $12$ H$_2$ to $144$ H$_2$ molecules, we demonstrate that strong light-matter coupling can tune the structural and thermodynamic properties of molecular fluids. In particular, we observe varying degrees of orientational order as a consequence of cavity-modified interactions, and we explain how quantum nuclear effects, light-matter coupling strengths, number of cavity modes, molecular anisotropies, and system size all impact the extent of orientational order. These simulations and analyses demonstrate both local and collective effects induced by strong light-matter coupling and open new paths for controlling the properties of molecular clusters.


title: Malicious Source Code Detection Using Transformer

abstract: Open source code is considered a common practice in modern software development. However, reusing other code allows bad actors to access a wide developers' community, hence the products that rely on it. Those attacks are categorized as supply chain attacks. Recent years saw a growing number of supply chain attacks that leverage open source during software development, relaying the download and installation procedures, whether automatic or manual. Over the years, many approaches have been invented for detecting vulnerable packages. However, it is uncommon to detect malicious code within packages. Those detection approaches can be broadly categorized as analyzes that use (dynamic) and do not use (static) code execution. Here, we introduce Malicious Source code Detection using Transformers (MSDT) algorithm. MSDT is a novel static analysis based on a deep learning method that detects real-world code injection cases to source code packages. In this study, we used MSDT and a dataset with over 600,000 different functions to embed various functions and applied a clustering algorithm to the resulting vectors, detecting the malicious functions by detecting the outliers. We evaluated MSDT's performance by conducting extensive experiments and demonstrated that our algorithm is capable of detecting functions that were injected with malicious code with precision@k values of up to 0.909.


title: Multi-squeezed state generation and universal bosonic control via a driven quantum Rabi model

abstract: Universal control over a bosonic degree of freedom is key in the quest for quantum-based technologies. Such universal control requires however the ability to perform demanding non-Gaussian gates -- namely, higher-than-quadratic interactions at the level of the bosonic operators. Here we consider a single ancillary two-level system, interacting with the bosonic mode of interest via a driven quantum Rabi model, and show that it is sufficient to induce the deterministic realization of a large class of Gaussian and non-Gaussian gates, which in turn provide universal bosonic control. This scheme reduces the overhead of previous ancilla-based methods where long gate-sequences are required to generate highly populated targets. In fact, our method naturally yields the high-fidelity preparation of multi-squeezed states -- i.e., the high-order generalization of displaced and squeezed states -- which feature large phase-space Wigner negativities. The universal control is further illustrated by generating a cubic-phase gate. Finally, we address the resilience of the method in the presence of realistic noise. Due to the ubiquity of the considered interaction, our scheme might open new avenues in the design, preparation, and control of bosonic states in different setups.


title: Towards Bridging the Performance Gaps of Joint Energy-based Models

abstract: Can we train a hybrid discriminative-generative model within a single network? This question has recently been answered in the affirmative, introducing the field of Joint Energy-based Model (JEM), which achieves high classification accuracy and image generation quality simultaneously. Despite recent advances, there remain two performance gaps: the accuracy gap to the standard softmax classifier, and the generation quality gap to state-of-the-art generative models. In this paper, we introduce a variety of training techniques to bridge the accuracy gap and the generation quality gap of JEM. 1) We incorporate a recently proposed sharpness-aware minimization (SAM) framework to train JEM, which promotes the energy landscape smoothness and the generalizability of JEM. 2) We exclude data augmentation from the maximum likelihood estimate pipeline of JEM, and mitigate the negative impact of data augmentation to image generation quality. Extensive experiments on multiple datasets demonstrate that our SADA-JEM achieves state-of-the-art performances and outperforms JEM in image classification, image generation, calibration, out-of-distribution detection and adversarial robustness by a notable margin. Our code is available at https://github.com/sndnyang/SADAJEM.


title: Enhanced hyperalignment via spatial prior information

abstract: Functional alignment between subjects is an important assumption of functional magnetic resonance imaging (fMRI) group-level analysis. However, it is often violated in practice, even after alignment to a standard anatomical template. Hyperalignment, based on sequential Procrustes orthogonal transformations, has been proposed as a method of aligning shared functional information into a common high-dimensional space and thereby improving inter-subject analysis. Though successful, current hyperalignment algorithms have a number of shortcomings, including difficulties interpreting the transformations, a lack of uniqueness of the procedure, and difficulties performing whole-brain analysis. To resolve these issues, we propose the ProMises (Procrustes von Mises-Fisher) model. We reformulate functional alignment as a statistical model and impose a prior distribution on the orthogonal parameters (the von Mises-Fisher distribution). This allows for the embedding of anatomical information into the estimation procedure by penalizing the contribution of spatially distant voxels when creating the shared functional high-dimensional space. Importantly, the transformations, aligned images, and related results are all unique. In addition, the proposed method allows for efficient whole-brain functional alignment. In simulations and application to data from four fMRI studies we find that ProMises improves inter-subject classification in terms of between-subject accuracy and interpretability compared to standard hyperalignment algorithms.


title: Quantifying Discourse Support for Omitted Pronouns

abstract: Pro-drop is commonly seen in many languages, but its discourse motivations have not been well characterized. Inspired by the topic chain theory in Chinese, this study shows how character-verb usage continuity distinguishes dropped pronouns from overt references to story characters. We model the choice to drop vs. not drop as a function of character-verb continuity. The results show that omitted subjects have higher character history-current verb continuity salience than non-omitted subjects. This is consistent with the idea that discourse coherence with a particular topic, such as a story character, indeed facilitates the omission of pronouns in languages and contexts where they are optional.


title: Resolved SPLASH Chemodynamics in Andromeda's PHAT Stellar Halo and Disk: On the Nature of the Inner Halo Along the Major Axis

abstract: Stellar kinematics and metallicity are key to exploring formation scenarios for galactic disks and halos. In this work, we characterized the relationship between kinematics and photometric metallicity along the line-of-sight to M31's disk. We combined optical HST/ACS photometry from the Panchromatic Hubble Andromeda Treasury (PHAT) survey with Keck/DEIMOS spectra from the Spectroscopic and Photometric Landscape of Andromeda's Stellar Halo (SPLASH) survey. The resulting sample of 3512 individual red giant branch stars spans 4-19 projected kpc, making it a useful probe of both the disk and inner halo. We separated these stars into disk and halo populations by modeling the line-of-sight velocity distributions as a function of position across the disk region, where $\sim$73% stars have a high likelihood of belonging to the disk and $\sim$14% to the halo. Although stellar halos are typically thought to be metal-poor, the kinematically identified halo contains a significant population of stars ($\sim$29%) with disk-like metallicity ([Fe/H]$_{\rm phot}$ $\sim$ $-0.10$). This metal-rich halo population lags the gaseous disk to a similar extent as the rest of the halo, indicating that it does not correspond to a canonical thick disk. Its properties are inconsistent with those of tidal debris originating from the Giant Stellar Stream merger event. Moreover, the halo is chemically distinct from the phase-mixed component previously identified along the minor axis (i.e., away from the disk), implying contributions from different formation channels. These metal-rich halo stars provide direct chemodynamical evidence in favor of the previously suggested "kicked-up" disk population in M31's inner stellar halo.


title: An algebraic model for inversion and deletion in bacterial genome rearrangement

abstract: Inversions, also sometimes called reversals, are a major contributor to variation among bacterial genomes, with studies suggesting that those involving small numbers of regions are more likely than larger inversions. Deletions may arise in bacterial genomes through the same biological mechanism as inversions, and hence a model that incorporates both is desirable. However, while inversion distances between genomes have been well studied, there has yet to be a model which accounts for the combination of both deletions and inversions. To account for both of these operations, we introduce an algebraic model that utilises partial permutations. This leads to an algorithm for calculating the minimum distance to the most recent common ancestor of two bacterial genomes evolving by inversions (of adjacent regions) and deletions. The algebraic model makes the existing short inversion models more complete and realistic by including deletions, and also introduces new algebraic tools into evolutionary distance problems.


title: Implicit Hybrid Quantum-Classical CFD Calculations using the HHL Algorithm

abstract: Implicit methods are attractive for hybrid quantum-classical CFD solvers as the flow equations are combined into a single coupled matrix that is solved on the quantum device, leaving only the CFD discretisation and matrix assembly on the classical device. In this paper, an implicit hybrid solver is investigated using emulated HHL circuits. The hybrid solutions are compared with classical solutions including full eigen-system decompositions. A thorough analysis is made of how the number of qubits in the HHL eigenvalue inversion circuit affect the CFD solver's convergence rates. Loss of precision in the minimum and maximum eigenvalues have different effects and are understood by relating the corresponding eigenvectors to error waves in the CFD solver. An iterative feed-forward mechanism is identified that allows loss of precision in the HHL circuit to amplify the associated error waves. These results will be relevant to early fault tolerant CFD applications where every (logical) qubit will count. The importance of good classical estimators for the minimum and maximum eigenvalues is also relevant to the calculation of condition number for Quantum Singular Value Transformation approaches to matrix inversion.


title: Out-of-time-order correlators and quantum chaos

abstract: Quantum Chaos has originally emerged as the field which studies how the properties of classical chaotic systems arise in their quantum counterparts. The growing interest in quantum many-body systems, with no obvious classical meaning has led to consider time-dependent quantities that can help to characterize and redefine Quantum Chaos. This article reviews the prominent role that the out of time ordered correlator (OTOC) plays to achieve such goal.


title: Solution of oligopoly market equilibrium problem using modified newton method

abstract: The paper aims to find the solution of oligopoly market equilibrium problem through system of nonlinear equations. We propose modified newton method to obtain the solution of system of nonlinear equations. We show that our proposed method has higher order of convergence. Keywords: System of nonlinear equations, modified newton method, oligopolistic market equilibrium problem.


title: A note on unlikely intersections in Shimura varieties

abstract: We discuss the relationships between the Andr\'e-Oort, Andr\'e-Pink-Zannier, and Mordell-Lang conjectures for Shimura varieties. We then combine the latter with the geometric Zilber-Pink conjecture to obtain some new results on unlikely intersections in Shimura varieties.


title: On Mukhin's necessary and sufficient condition for the validity of the local limit theorem

abstract: Mukhin found in 1984 an important necessary and sufficient condition for the validity of the local limit theorem. Revisiting the succint proof given in \cite{Mu2}, we could only prove rigorously a weaker necessary and sufficient condition, with a significantly different formulation. This is the object of this short Note.


title: Fast staggered schemes for the phase-field model of brittle fracture based on the fixed-stress concept

abstract: Phase field models are promising to tackle various fracture problems where a diffusive crack is introduced and modelled using the phase variable. Owing to the non-convexity of the energy functional, the derived partial differential equations are usually solved in a staggered manner. However, this method suffers from a low convergence rate, and a large number of staggered iterations are needed, especially at the fracture nucleation and propagation. In this study, we propose novel staggered schemes, which are inspired by the fixed-stress split scheme in poromechanics. By fixing the stress when solving the damage evolution, the displacement increment is expressed in terms of the increment of the phase variable. The relation between these two increments enables a prediction of the displacement and the active energy based on the increment of the phase variable. Thus, the maximum number of staggered iterations is reduced, and the computational efficiency is improved. We present three staggered schemes by fixing the first invariant, second invariant, or both invariants of the stress, denoted by S1, S2, and S3 schemes. The performance of the schemes is then verified by comparing with the standard staggered scheme through three benchmark examples, i.e., tensile, shear, and L-shape panel tests. The results exhibit that the force-displacement relations and the crack patterns computed using the fast schemes are consistent with the ones based on the standard staggered scheme. Moreover, the proposed S1 and S2 schemes can largely reduce the maximum number of staggered iterations and total CPU time in all benchmark tests. The S2 scheme performs comparably except in the shear test, where the underlying assumption is violated in the region close to the crack.


title: Causal Fourier Analysis on Directed Acyclic Graphs and Posets

abstract: We present a novel form of Fourier analysis, and associated signal processing concepts, for signals (or data) indexed by edge-weighted directed acyclic graphs (DAGs). This means that our Fourier basis yields an eigendecomposition of a suitable notion of shift and convolution operators that we define. DAGs are the common model to capture causal relationships between data values and in this case our proposed Fourier analysis relates data with its causes under a linearity assumption that we define. The definition of the Fourier transform requires the transitive closure of the weighted DAG for which several forms are possible depending on the interpretation of the edge weights. Examples include level of influence, distance, or pollution distribution. Our framework is different from prior GSP: it is specific to DAGs and leverages, and extends, the classical theory of Moebius inversion from combinatorics. For a prototypical application we consider DAGs modeling dynamic networks in which edges change over time. Specifically, we model the spread of an infection on such a DAG obtained from real-world contact tracing data and learn the infection signal from samples assuming sparsity in the Fourier domain.


title: Constraints on $Z'$ solutions to the flavor anomalies with trans-Planckian asymptotic safety

abstract: Motivated by the flavor anomalies in $b \to s$ transitions, we embed minimal models with a $Z'$ gauge boson, vector-like fermions, and a singlet scalar in the framework of trans-Planckian asymptotic safety. The presence of a fixed point in the renormalization group flow of the models' parameters leads to predictions for the $\gamma/Z'$ kinetic mixing, the New Physics Yukawa couplings, and the quartic couplings of the scalar potential. We derive the constraint on the kinetic mixing from the most recent high-mass dilepton resonance searches at the LHC, showing that this bound is often inescapable in this framework, unless the U(1) charges conspire to forbid the radiative generation of kinetic mixing. In the latter case, the parameter space consistent with the flavor anomalies can still be probed in depth by direct LHC searches for heavy vector-like quarks and leptons. We derive the current exclusion bounds and projections for future high-luminosity runs.


title: A Multi-turn Machine Reading Comprehension Framework with Rethink Mechanism for Emotion-Cause Pair Extraction

abstract: Emotion-cause pair extraction (ECPE) is an emerging task in emotion cause analysis, which extracts potential emotion-cause pairs from an emotional document. Most recent studies use end-to-end methods to tackle the ECPE task. However, these methods either suffer from a label sparsity problem or fail to model complicated relations between emotions and causes. Furthermore, they all do not consider explicit semantic information of clauses. To this end, we transform the ECPE task into a document-level machine reading comprehension (MRC) task and propose a Multi-turn MRC framework with Rethink mechanism (MM-R). Our framework can model complicated relations between emotions and causes while avoiding generating the pairing matrix (the leading cause of the label sparsity problem). Besides, the multi-turn structure can fuse explicit semantic information flow between emotions and causes. Extensive experiments on the benchmark emotion cause corpus demonstrate the effectiveness of our proposed framework, which outperforms existing state-of-the-art methods.


title: A dual-control effect preserving formulation for nonlinear output-feedback stochastic model predictive control with constraints

abstract: We propose a formulation for approximate constrained nonlinear output-feedback stochastic model predictive control. Starting from the ideal but intractable stochastic optimal control problem (OCP), which involves the optimization over output-dependent policies, we use linearization with respect to the uncertainty to derive a tractable approximation which includes knowledge of the output model. This allows us to compute the expected value for the outer functions of the OCP exactly. Crucially, the dual control effect is preserved by this approximation. In consequence, the resulting controller is aware of how the choice of inputs affects the information available in the future which in turn influences subsequent controls.


title: musicaiz: A Python Library for Symbolic Music Generation, Analysis and Visualization

abstract: In this article, we present musicaiz, an object-oriented library for analyzing, generating and evaluating symbolic music. The submodules of the package allow the user to create symbolic music data from scratch, build algorithms to analyze symbolic music, encode MIDI data as tokens to train deep learning sequence models, modify existing music data and evaluate music generation systems. The evaluation submodule builds on previous work to objectively measure music generation systems and to be able to reproduce the results of music generation models. The library is publicly available online. We encourage the community to contribute and provide feedback.


title: The high-d landscapes paradigm: spin-glasses, and beyond

abstract: We review recent developments on the characterization of random landscapes in high-dimension. We focus in particular on the problem of characterizing the landscape topology and geometry, discussing techniques to count and classify its stationary points and stressing connections with the statistical physics of disordered systems and with random matrix theory.


title: Imitrob: Imitation Learning Dataset for Training and Evaluating 6D Object Pose Estimators

abstract: This paper introduces a dataset for training and evaluating methods for 6D pose estimation of hand-held tools in task demonstrations captured by a standard RGB camera. Despite the significant progress of 6D pose estimation methods, their performance is usually limited for heavily occluded objects, which is a common case in imitation learning, where the object is typically partially occluded by the manipulating hand. Currently, there is a lack of datasets that would enable the development of robust 6D pose estimation methods for these conditions. To overcome this problem, we collect a new dataset (Imitrob) aimed at 6D pose estimation in imitation learning and other applications where a human holds a tool and performs a task. The dataset contains image sequences of nine different tools and twelve manipulation tasks with two camera viewpoints, four human subjects, and left/right hand. Each image is accompanied by an accurate ground truth measurement of the 6D object pose obtained by the HTC Vive motion tracking device. The use of the dataset is demonstrated by training and evaluating a recent 6D object pose estimation method (DOPE) in various setups.


title: Classicality, Markovianity and local detailed balance from pure state dynamics

abstract: When describing the effective dynamics of an observable in a many-body system, the repeated randomness assumption, which states that the system returns in a short time to a maximum entropy state, is a crucial hypothesis to guarantee that the effective dynamics is classical, Markovian and obeys local detailed balance. While the latter behaviour is frequently observed in naturally occurring processes, the repeated randomness assumption is in blatant contradiction to the microscopic reversibility of the system. Here, we show that the use of the repeated randomness assumption can be justified in the description of the effective dynamics of an observable that is both slow and coarse, two properties we will define rigorously. Then, our derivation will invoke essentially only the eigenstate thermalization hypothesis and typicality arguments. While the assumption of a slow observable is subtle, as it provides only a necessary but not sufficient condition, it also offers a unifying perspective applicable to, e.g., open systems as well as collective observables of many-body systems. All our ideas are numerically verified by studying density waves in spin chains.


title: Charged and radially excited boson stars (in Anti-de Sitter)

abstract: We study charged and radially excited boson stars in both asymptotically flat as well as asymptotically Anti-de Sitter space-time. We demonstrate that two different types of radially excited solutions exist~: one that persists in the linear limit of small scalar fields, in which analytical arguments suggest the existence of these solutions, and one that appears only in the highly non-linear regime of the model. We also demonstrate that the formation of wavy scalar hair discussed previously for black holes and boson stars in asymptotically flat space-time persists for asymptotically Anti-de Sitter space-time.


title: Recipe for inferring sub-surface solar magnetism via local mode-coupling using Slepian basis functions

abstract: Direct seismic imaging of sub-surface flow, sound-speed and magnetic field is crucial for predicting flux tube emergence on the solar surface, an important ingredient for space weather. The sensitivity of helioseismic mode-amplitude cross-correlation to $p$- and $f$-mode oscillations enable formal inversion of such sub-photospheric perturbations. It is well-known that such problems are written in the form of an integral equation that connects the perturbations to the observations via ``sensitivity kernels". While the sensitivity kernels for flow and sound-speed have been known for decades and have been used extensively, formulating kernels for general magnetic perturbations had been elusive. A recent study proposed sensitivity kernels for Lorentz-stresses corresponding to global magnetic fields of general geometry. The present study is devoted to proposing kernels for inferring Lorentz-stresses as well as the solenoidal magnetic field in a local patch on the Sun via Cartesian mode-coupling. Moreover, for the first time in solar physics, Slepian functions are employed to parameterize perturbations in the horizontal dimension. This is shown to increase the number of data constraints in the inverse problem, implying an increase in the precision of inferred parameters. This paves the path to reliably imaging sub-surface solar magnetic features in, e.g., supergranules, sunspots and (emerging) active regions.


title: Examining spatial heterogeneity of ridesourcing demand determinants with explainable machine learning

abstract: The growing significance of ridesourcing services in recent years suggests a need to examine the key determinants of ridesourcing demand. However, little is known regarding the nonlinear effects and spatial heterogeneity of ridesourcing demand determinants. This study applies an explainable-machine-learning-based analytical framework to identify the key factors that shape ridesourcing demand and to explore their nonlinear associations across various spatial contexts (airport, downtown, and neighborhood). We use the ridesourcing-trip data in Chicago for empirical analysis. The results reveal that the importance of built environment varies across spatial contexts, and it collectively contributes the largest importance in predicting ridesourcing demand for airport trips. Additionally, the nonlinear effects of built environment on ridesourcing demand show strong spatial variations. Ridesourcing demand is usually most responsive to the built environment changes for downtown trips, followed by neighborhood trips and airport trips. These findings offer transportation professionals nuanced insights for managing ridesourcing services.


title: Concerning the formation of chains of particles in the Kob-Andersen (4:1) and Wahnstr{\"o}m (1:1) model liquids on coolind and supercooling

abstract: Investigations of structural changes happening with liquids on cooling and supercooling continue to attract significant attention as there is still no sufficient understanding of the connection between the structural changes and the dynamic slowdown. Previously, liquids' structures were usually discussed from the local perspective of individual particles. Here, we report on the structural evolutions of the binary Kob-Andersen (KA) (4:1) and Wahnstr\"{o}m (1:1) model liquids using a different approach. The approach is based on the previously not discussed observation that in the liquid and supercooled liquid states some particles form nearly linear chains in the temperature region where the crystallization process has not been observed. Depending on the chain definition, it is possible to speak about the chains containing more than 8 particles. The average number of chains monotonically increases as the temperature of the liquid decreases. Considerations of the inherent structures show that the number of chains remains nearly constant in the inherent structures (IS) obtained from the parent structures (PS) above the potential energy landscape (PEL) crossover temperature (PELCT). Below the PELCT, the average number of chains in the IS increases, as the temperature of the PS decreases. Counter-intuitively, for the KA system, below the PELCT the number of chains in the PS can be larger than the number of chains in the corresponding IS. The distributions of the potential energies (PE) of the particles in chains show that the particles forming the chains tend to have higher PE than the particles which are not in the chains. We also found that the particles forming the chains diffuse at a slightly lower rate than the global average. We also discuss the lifetimes of the chains. We compare some of our results with the results obtained within the topological cluster classification approach.


title: On a heuristic point of view concerning the optical activity

abstract: Motivated by a recent finding that Fresnel's phenomenological description of the optical activity in the chiral medium is not self-consistent, we conduct a thorough investigation into the nature of the polarization of a plane light wave. We demonstrate that the polarization of light is the reflection of one of its quantum-mechanical properties, called the quasi-spin. Unexpectedly, the quasi-spin is not an observable with respect to the laboratory coordinate system. Instead, it is with respect to the momentum-dependent local coordinate system. The representative operators for the quasi-spin are the Pauli matrices. The wavefunction is the Jones vector. In order to completely determine a state of polarization, two different kinds of degrees of freedom are needed. One is the degrees of freedom to characterize the state of quasi-spin. They are the Stokes parameters, the expectation values of the Pauli matrices in the state described by the Jones vector. The other is the degrees of freedom to specify the local coordinate system, including the propagation direction and an angle of rotation about it. Accordingly, there are two independent mechanisms to change the state of polarization. One is to change the state of quasi-spin in a fixed local coordinate system. This is the traditional mechanism that can be expressed as an SU(2) rotation of the Jones vector. The other is to change the local coordinate system with the state of quasi-spin remaining fixed in it. At last, we show that it is the newly-identified mechanism that accounts for the optical activity.


title: Theory of Neutrino Physics -- Snowmass TF11 (aka NF08) Topical Group Report

abstract: This is the report for the topical group Theory of Neutrino Physics (TF11/NF08) for Snowmass 2021. This report summarizes the progress in the field of theoretical neutrino physics in the past decade, the current status of the field, and the prospects for the upcoming decade.


title: Highly Tunable Band Inversion in AB2X4 (A=Ge, Sn, Pb; B=As, Sb, Bi; X=Se, Te) Compounds

abstract: Topological materials have been discovered so far largely by searching for existing compounds in crystallographic databases, but there are potentially new topological materials with desirable features that have not been synthesized. One of the desirable features is high tunability resulted from the band inversion with a very small direct band gap, which can be tuned by changes in pressure or strain to induce a topological phase transition. Using density functional theory (DFT) calculations, we have studied the septuple layered AB2X4 series compounds, where A=(Ge, Sn and Pb), B=(As, Sb and Bi) and X=(Se and Te). With the DFT thermodynamic stability validated by the already reported compounds in these series, we predict new stable Se compounds, which are not found in crystallographic database. Among them, we find that GeBi2Se4 and GeSb2Se4 having a small direct band gap at the Z point are very close to a strong topological insulator, which can be tuned by a moderate pressure to induce the band inversion. Importantly, the topological features with the small direct band gap are well isolated in both momentum and energy windows, which offers high tunability for studying the topological phase transition.