title: Social Visual Behavior Analytics for Autism Therapy of Children Based on Automated Mutual Gaze Detection

abstract: Social visual behavior, as a type of non-verbal communication, plays a central role in studying social cognitive processes in interactive and complex settings of autism therapy interventions. However, for social visual behavior analytics in children with autism, it is challenging to collect gaze data manually and evaluate them because it costs a lot of time and effort for human coders. In this paper, we introduce a social visual behavior analytics approach by quantifying the mutual gaze performance of children receiving play-based autism interventions using an automated mutual gaze detection framework. Our analysis is based on a video dataset that captures and records social interactions between children with autism and their therapy trainers (N=28 observations, 84 video clips, 21 Hrs duration). The effectiveness of our framework was evaluated by comparing the mutual gaze ratio derived from the mutual gaze detection framework with the human-coded ratio values. We analyzed the mutual gaze frequency and duration across different therapy settings, activities, and sessions. We created mutual gaze-related measures for social visual behavior score prediction using multiple machine learning-based regression models. The results show that our method provides mutual gaze measures that reliably represent (or even replace) the human coders' hand-coded social gaze measures and effectively evaluates and predicts ASD children's social visual performance during the intervention. Our findings have implications for social interaction analysis in small-group behavior assessments in numerous co-located settings in (special) education and in the workplace.


title: Augmenting Inertial Motion Capture with SLAM Using EKF and SRUKF Data Fusion Algorithms

abstract: Inertial motion capture systems widely use low-cost IMUs to obtain the orientation of human body segments, but these sensors alone are unable to estimate link positions. Therefore, this research used a SLAM method in conjunction with inertial data fusion to estimate link positions. SLAM is a method that tracks a target in a reconstructed map of the environment using a camera. This paper proposes quaternion-based extended and square-root unscented Kalman filters (EKF & SRUKF) algorithms for pose estimation. The Kalman filters use measurements based on SLAM position data, multi-link biomechanical constraints, and vertical referencing to correct errors. In addition to the sensor biases, the fusion algorithm is capable of estimating link geometries, allowing the imposing of biomechanical constraints without a priori knowledge of sensor positions. An optical tracking system is used as a reference of ground-truth to experimentally evaluate the performance of the proposed algorithm in various scenarios of human arm movements. The proposed algorithms achieve up to 5.87 (cm) and 1.1 (deg) accuracy in position and attitude estimation. Compared to the EKF, the SRUKF algorithm presents a smoother and higher convergence rate but is 2.4 times more computationally demanding. After convergence, the SRUKF is up to 17% less and 36% more accurate than the EKF in position and attitude estimation, respectively. Using an absolute position measurement method instead of SLAM produced 80% and 40%, in the case of EKF, and 60% and 6%, in the case of SRUKF, less error in position and attitude estimation, respectively.


title: On the geometry of the Pappas-Rapoport models in the (AR) case

abstract: We study some integral model of P.E.L. Shimura varieties of type A for ramified primes. Precisely, we look at the Pappas-Rapoport model (or splitting model) of some unitary Shimura varieties for which there is ramification in the degree 2 CM extension. We show that the model isn't smooth, but that it is normal with Cohen-Macaulay special fiber. We moreover study its special fiber by introducing a combinatorial stratification for which we can compute the closure relations. Even if there are "extra" components in special fiber, we prove that those do not contribute to mod p modular forms in regular degree. We also study the interaction of the stratification with the natural stratification given by the vanishing of some partial Hasse invariants, in the case of signature (1,n-1).


title: QuickVC: Any-to-many Voice Conversion Using Inverse Short-time Fourier Transform for Faster Conversion

abstract: With the development of automatic speech recognition (ASR) and text-to-speech (TTS) technology, high-quality voice conversion (VC) can be achieved by extracting source content information and target speaker information to reconstruct waveforms. However, current methods still require improvement in terms of inference speed. In this study, we propose a lightweight VITS-based VC model that uses the HuBERT-Soft model to extract content information features without speaker information. Through subjective and objective experiments on synthesized speech, the proposed model demonstrates competitive results in terms of naturalness and similarity. Importantly, unlike the original VITS model, we use the inverse short-time Fourier transform (iSTFT) to replace the most computationally expensive part. Experimental results show that our model can generate samples at over 5000 kHz on the 3090 GPU and over 250 kHz on the i9-10900K CPU, achieving competitive speed for the same hardware configuration.


title: A Simplified 3D Ultrasound Freehand Imaging Framework Using 1D Linear Probe and Low-Cost Mechanical Track

abstract: Ultrasound imaging is the most popular medical imaging modality for point-of-care bedside imaging. However, 2D ultrasound imaging provides only limited views of the organ of interest, making diagnosis challenging. To overcome this, 3D ultrasound imaging was developed, which uses 2D ultrasound images and their orientation/position to reconstruct 3D volumes. The accurate position estimation of the ultrasound probe at low cost has always stood as a challenging task in 3D reconstruction. In this study, we propose a novel approach of using a mechanical track for ultrasound scanning, which restricts the probe motion to a linear plane, simplifying the acquisition and hence the reconstruction process. We also present an end-to-end pipeline for 3D ultrasound volume reconstruction and demonstrate its efficacy with an in-vitro tube phantom study and an ex-vivo bone experiment. The comparison between a sensorless freehand and the proposed mechanical track based acquisition is available online (shorturl.at/jqvX0).


title: Unleashing the Potential of Acquisition Functions in High-Dimensional Bayesian Optimization

abstract: Bayesian optimization (BO) is widely used to optimize expensive-to-evaluate black-box functions.BO first builds a surrogate model to represent the objective function and assesses its uncertainty. It then decides where to sample by maximizing an acquisition function (AF) based on the surrogate model. However, when dealing with high-dimensional problems, finding the global maximum of the AF becomes increasingly challenging. In such cases, the initialization of the AF maximizer plays a pivotal role, as an inadequate setup can severely hinder the effectiveness of the AF. This paper investigates a largely understudied problem concerning the impact of AF maximizer initialization on exploiting AFs' capability. Our large-scale empirical study shows that the widely used random initialization strategy often fails to harness the potential of an AF. In light of this, we propose a better initialization approach by employing multiple heuristic optimizers to leverage the historical data of black-box optimization to generate initial points for the AF maximize. We evaluate our approach with a range of heavily studied synthetic functions and real-world applications. Experimental results show that our techniques, while simple, can significantly enhance the standard BO and outperform state-of-the-art methods by a large margin in most test cases.


title: Collective Excitation in High-Energy Nuclear Collisions -- In Memory of Professor Lianshou Liu

abstract: We celebrate the legacies of our friend and mentor Professor Lianshou Liu who was one of the pioneers for the phenomenology of multi-particle interactions and initiated the physics of relativistic heavy-ion collisions in China. In this article, we discuss some of the recent exciting experimental observations on the collective phenomena including collectivity, chirality, criticality, strangeness production, and thermal equilibrium in high-energy nuclear collisions. Future directions, especially the physics at high baryon density, will be discussed with a focus on the first-order phase boundary and hyperon-nucleon interactions.


title: Deterministic Nonsmooth Nonconvex Optimization

abstract: We study the complexity of optimizing nonsmooth nonconvex Lipschitz functions by producing $(\delta,\epsilon)$-stationary points. Several recent works have presented randomized algorithms that produce such points using $\tilde O(\delta^{-1}\epsilon^{-3})$ first-order oracle calls, independent of the dimension $d$. It has been an open problem as to whether a similar result can be obtained via a deterministic algorithm. We resolve this open problem, showing that randomization is necessary to obtain a dimension-free rate. In particular, we prove a lower bound of $\Omega(d)$ for any deterministic algorithm. Moreover, we show that unlike smooth or convex optimization, access to function values is required for any deterministic algorithm to halt within any finite time. On the other hand, we prove that if the function is even slightly smooth, then the dimension-free rate of $\tilde O(\delta^{-1}\epsilon^{-3})$ can be obtained by a deterministic algorithm with merely a logarithmic dependence on the smoothness parameter. Motivated by these findings, we turn to study the complexity of deterministically smoothing Lipschitz functions. Though there are efficient black-box randomized smoothings, we start by showing that no such deterministic procedure can smooth functions in a meaningful manner, resolving an open question. We then bypass this impossibility result for the structured case of ReLU neural networks. To that end, in a practical white-box setting in which the optimizer is granted access to the network's architecture, we propose a simple, dimension-free, deterministic smoothing that provably preserves $(\delta,\epsilon)$-stationary points. Our method applies to a variety of architectures of arbitrary depth, including ResNets and ConvNets. Combined with our algorithm, this yields the first deterministic dimension-free algorithm for optimizing ReLU networks, circumventing our lower bound.


title: The right to audit and power asymmetries in algorithm auditing

abstract: In this paper, we engage with and expand on the keynote talk about the Right to Audit given by Prof. Christian Sandvig at the IC2S2 2021 through a critical reflection on power asymmetries in the algorithm auditing field. We elaborate on the challenges and asymmetries mentioned by Sandvig - such as those related to legal issues and the disparity between early-career and senior researchers. We also contribute a discussion of the asymmetries that were not covered by Sandvig but that we find critically important: those related to other disparities between researchers, incentive structures related to the access to data from companies, targets of auditing and users and their rights. We also discuss the implications these asymmetries have for algorithm auditing research such as the Western-centrism and the lack of the diversity of perspectives. While we focus on the field of algorithm auditing specifically, we suggest some of the discussed asymmetries affect Computational Social Science more generally and need to be reflected on and addressed.


title: Stochastic control problems with state-reflections arising from relaxed benchmark tracking

abstract: This paper studies stochastic control problems motivated by optimal consumption with wealth benchmark tracking. The benchmark process is modeled by a combination of a geometric Brownian motion and a running maximum process, indicating its increasing trend in the long run. We consider a relaxed tracking formulation such that the wealth compensated by the injected capital always dominates the benchmark process. The stochastic control problem is to maximize the expected utility of consumption deducted by the cost of the capital injection under the dynamic floor constraint. By introducing two auxiliary state processes with reflections, an equivalent auxiliary control problem is formulated and studied, which leads to the HJB equation with two Neumann boundary conditions. We establish the existence of a unique classical solution to the dual PDE using some novel probabilistic representations involving the local time of some dual processes together with a tailor-made decomposition-homogenization technique. The proof of the verification theorem on the optimal feedback control can be carried out by some stochastic flow analysis and technical estimations of the optimal control.


title: On sums of two Fibonacci numbers that are powers of numbers with limited Hamming weight

abstract: In 2018, Luca and Patel conjectured that the largest perfect power representable as the sum of two Fibonacci numbers is $3864^2 = F_{36} + F_{12}$. In other words, they conjectured that the equation \begin{equation}\tag{$\ast$}\label{eq:abstract} y^a = F_n + F_m \end{equation} has no solutions with $a\geq 2$ and $y^a > 3864^2$. While this is still an open problem, there exist several partial results. For example, recently Kebli, Kihel, Larone and Luca proved an explicit upper bound for $y^a$, which depends on the size of $y$. In this paper, we find an explicit upper bound for $y^a$, which only depends on the Hamming weight of $y$ with respect to the Zeckendorf representation. More specifically, we prove the following: If $y = F_{n_1}+ \dots + F_{n_k}$ and equation \eqref{eq:abstract} is satisfied by $y$ and some non-negative integers $n,m$ and $a\geq 2$, then \[ y^a \leq \exp\left(C{(\varepsilon)} \cdot k^{(3+\varepsilon)k^2} \right). \] Here, $\varepsilon >0$ can be chosen arbitrarily and $C(\varepsilon)$ is an effectively computable constant.


title: PandA(Box) flies on Bluesky: maintainable and user-friendly fly scans with Mamba at HEPS

abstract: Purpose: Fly scans are indispensible in many experiments at the High Energy Photon Source (HEPS). PandABox, the main platform to implement fly scans at HEPS, needs to be integrated into Mamba, the experiment control system developed at HEPS based on Bluesky. Methods: In less than 600 lines of easily customisable and extensible backend code, provided are full control of PandABox's TCP server in native ophyd, automated configuration (also including wiring) of "PandA blocks" for constant-speed mapping experiments of various dimensions, as well as generation of scans deliberately fragmented to deal with hardware limits in numbers of exposure frames or sequencer table entries. Results: The upper-level control system for PandABox has been ported to Bluesky, enabling the combination of both components' flexibility in fly-scan applications. Based on this backend, a user-friendly Mamba frontend is developed for X-ray fluorescence (XRF) mapping experiments, which provides fully online visual feedback.


title: Thermal Stabilities of Two-Dimensional Ball-Stick Polygons: A Critical Edge Number

abstract: Phase behaviors of two-dimensional (2D) systems locate as a fundamental topic in condensed matter and statistical physics. Although hard polygons and interactive point-like particles are well studied, the phase behaviors of more realistic molecular systems containing intermolecular interaction and molecular shape remain elusive. Here we investigate by molecular dynamics simulation thermal stabilities of 2D ball-stick polygons, serving as simplified models for molecular systems. Below the melting temperature $T_{m}$, we identify a critical edge number $n_{c}$, at which a waving superlattice structure emerges; when n < $n_{c}$,the triangular system stabilizes at a spin-ice-like glassy state; when n > $n_{c}$,the polygons stabilize at crystalline states, and $T_{m}$ is higher for polygons with more edges at higher pressures but exhibits a crossover for hexagon and octagon at low pressures. A theoretical framework considering the competition between entropy and enthalpy is proposed to provide a comprehensive understanding of our results, which is anticipated to facilitate the design of 2D materials.


title: Isotopisms of nilpotent Leibniz algebras and Lie racks

abstract: In this paper we study the isotopism classes of two-step nilpotent algebras. We show that every nilpotent Leibniz algebra $\mathfrak{g}$ with $\operatorname{dim}[\mathfrak{g},\mathfrak{g}]=1$ is isotopic to the Heisenberg Lie algebra or to the Heisenberg algebra $\mathfrak{l}_{2n+1}^{J_1}$, where $J_1$ is the $n \times n$ Jordan block of eigenvalue 1. We also prove that two such algebras are isotopic if and only if the Lie racks integrating them are isotopic. This gives the classification of Lie racks whose tangent space at the unit element is a nilpotent Leibniz algebra with one-dimensional commutator ideal. Eventually, we introduce new isotopism invariants for Leibniz algebras and Lie racks.


title: Unitary symmetries in wormhole geometry and its thermodynamics

abstract: From a geometric point of view, we show that the unitary symmetries $U(1)$ and $SU(2)$ stem fundamentally from Schwarzschild and Reissner-Nordstr\"om wormhole geometry through spacetime complexification. Then, we develop quantum tunneling which makes these wormholes traversable for particles. Finally, this leads to wormhole thermodynamics.


title: Frequentist analysis of basket trials with one-sample Mantel-Haenszel procedures

abstract: Recent substantial advances of molecular targeted oncology drug development is requiring new paradigms for early-phase clinical trial methodologies to enable us to evaluate efficacy of several subtypes simultaneously and efficiently. The concept of the basket trial is getting of much attention to realize this requirement borrowing information across subtypes, which are called baskets. Bayesian approach is a natural approach to this end and indeed the majority of the existing proposals relies on it. On the other hand, it required complicated modeling and may not necessarily control the type 1 error probabilities at the nominal level. In this paper, we develop a purely frequentist approach for basket trials based on one-sample Mantel-Haenszel procedure relying on a very simple idea for borrowing information under the common treatment effect assumption over baskets. We show that the proposed estimator is consistent under two limiting models of the large strata and sparse data limiting models (dually consistent) and propose dually consistent variance estimators. The proposed Mantel-Haenszel estimators are interpretable even if the common treatment assumptions are violated. Then, we can design basket trials in a confirmatory matter. We also propose an information criterion approach to identify effective subclass of baskets.


title: The ADMM-PINNs Algorithmic Framework for Nonsmooth PDE-Constrained Optimization: A Deep Learning Approach

abstract: We study the combination of the alternating direction method of multipliers (ADMM) with physics-informed neural networks (PINNs) for a general class of nonsmooth partial differential equation (PDE)-constrained optimization problems, where additional regularization can be employed for constraints on the control or design variables. The resulting ADMM-PINNs algorithmic framework substantially enlarges the applicable range of PINNs to nonsmooth cases of PDE-constrained optimization problems. The application of the ADMM makes it possible to untie the PDE constraints and the nonsmooth regularization terms for iterations. Accordingly, at each iteration, one of the resulting subproblems is a smooth PDE-constrained optimization which can be efficiently solved by PINNs, and the other is a simple nonsmooth optimization problem which usually has a closed-form solution or can be efficiently solved by various standard optimization algorithms or pre-trained neural networks. The ADMM-PINNs algorithmic framework does not require to solve PDEs repeatedly, and it is mesh-free, easy to implement, and scalable to different PDE settings. We validate the efficiency of the ADMM-PINNs algorithmic framework by different prototype applications, including inverse potential problems, source identification in elliptic equations, control constrained optimal control of the Burgers equation, and sparse optimal control of parabolic equations.


title: Wireless Communications with Space-Time Modulated Metasurfaces

abstract: Space-time modulated metasurfaces (STMMs) are a newly investigated technology for next 6G generation wireless communication networks. An STMM augments the spatial phase function with a time-varying one across the elements, allowing for the conveyance of information that possibly modulates the impinging signal. Hence, STMM represents an evolution of reconfigurable intelligent surfaces (RIS), which only design the spatial phase pattern. STMMs convey signals without a relevant increase in the energy budget, which is convenient for applications where energy is a strong constraint. This paper proposes a mathematical model for STMM-based wireless communication, that creates the basics for two potential STMM architectures. One has excellent design flexibility, whereas the other is more cost-effective. The model describes STMM's distinguishing features, such as space-time coupling, and their impact on system performance. The proposed STMM model addresses the design criteria of a full-duplex system architecture, in which the temporal signal originating at the STMM generates a modulation overlapped with the incident one. The presented numerical results demonstrate the efficacy of the proposed model and its potential to revolutionize wireless communication.


title: Isoperimetric type inequalities for mappings induced by weighted Laplace differential operators

abstract: The main purpose of this paper is to establish some isoperimetric type inequalities for mappings induced by the weighted Laplace differential operators. The obtained results of this paper provide improvements and extensions of the corresponding known results.


title: Measurement of three-body chaotic absorptivity predicts chaotic outcome distribution

abstract: The flux-based statistical theory of the non-hierarchical three-body system predicts that the chaotic outcome distribution reduces to the chaotic emissivity function times a known function, the asymptotic flux. Here, we measure the chaotic emissivity function (or equivalently, the absorptivity) through simulations. More precisely, we follow millions of scattering events only up to the point when it can be decided whether the scattering is regular or chaotic. In this way, we measure a tri-variate absorptivity function. Using it, we determine the flux-based prediction for the chaotic outcome distribution over both binary binding energy and angular momentum, and we find good agreement with the measured distribution. This constitutes a detailed confirmation of the flux-based theory, and demonstrates a considerable reduction in computation to determine the chaotic outcome distribution.

categories: math.DS astro-ph.EP astro-ph.SR hep-th nlin.CD


title: Bispectrality for Matrix Laguerre-Sobolev polynomials

abstract: In this contribution we deal with sequences of polynomials orthogonal with respect to a Sobolev type inner product. A banded symmetric operator is associated with such a sequence of polynomials according to the higher order difference equation they satisfy. Taking into account the Darboux transformation of the corresponding matrix we deduce the connection with a sequence of orthogonal polynomials associated with a Christoffel perturbation of the measure involved in the standard part of the Sobolev inner product. A connection with matrix orthogonal polynomials is stated. The Laguerre-Sobolev type case is studied as an illustrative example. Finally, the bispectrality of such matrix orthogonal polynomials is pointed out.


title: Disc corona radii and QPO frequencies in black hole binaries: testing Lense-Thirring precession origin

abstract: Stellar-mass black hole binary systems in the luminous X-ray states show a strong quasi-periodic oscillation (QPO) in their Comptonised emission. The frequency of this feature correlates with the ratio of a disc to Comptonised emission rather than with total luminosity. Hence it changes dramatically during spectral transitions between the hard and soft states. Its amplitude is also strongest in these intermediate states, making them an important test of QPO models. However, these have complex spectra which generally require a disc and two separate Comptonisation components, making it difficult to uniquely derive the spectral parameters. We build a new energy-conserving model of the accretion flow, SSsed model, which assumes a fixed radial emissivity but with a changing emission mechanism. This is similar to the agnsed model in xspec but tuned to be more suitable for stellar mass black holes. It uses a combination of the disc luminosity and temperature to constrain the inner radius of the (colour temperature corrected) blackbody disc, separating this from the more complex Comptonisation spectra emitted inwards of this radius. We show a pilot study of this model fit to hundreds of RXTE spectra of the black hole binary XTE J1550-564. We show that the derived disc radius tightly anti-correlates with the central frequencies of the low-frequency QPO detected in the same observations. The relation is consistent with the quantitative predictions of Lense-Thirring precession of the entire inner Comptonisation regions for the assumed system parameters. This supports the scenario that low-frequency QPOs are caused by Lense-Thirring precession.


title: On determinants involving second-order recurrent sequences

abstract: Let $A$ and $B$ be complex numbers, and let $(w_n)_{n\ge0}$ be a sequence of complex numbers with $w_{n+1}=Aw_n-Bw_{n-1}$ for all $n=1,2,3,\ldots$. When $w_0=0$ and $w_1=1$, the sequence $(w_n)_{n\ge0}$ is just the Lucas sequence $(u_n(A,B))_{n\ge0}$. In this paper, we evaluate the determinants $$\det[w_{|j-k|}]_{1\le j,k\le n}\ \ \text{and}\ \ \det[w_{|j-k+1|}]_{1\le j,k\le n}.$$ In particular, we have $$\det[u_{|j-k|}(A,B)]_{1\le j,k\le n}=(-1)^{n-1}u_{n-1}(2A,(B+1)^2).$$ When $B=-1$ and $2\mid n$, we also determine the characteristic polynomial of the matrix $[w_{j+k}]_{0\le j,k\le n-1}$.


title: Poincare Duality For Smooth Poisson Algebras And BV Structure On Poisson Cohomology

abstract: Similar to the modular vector fields in Poisson geometry, modular derivations are defined for smooth Poisson algebras with trivial canonical bundle. By twisting Poisson module with the modular derivation, the Poisson cochain complex with values in any Poisson module is proved to be isomorphic to the Poisson chain complex with values in the corresponding twisted Poisson module. Then a version of twisted Poincar\'{e} duality is proved between the Poisson homologies and cohomologies. Furthermore, a notion of pseudo-unimodular Poisson structure is defined. It is proved that the Poisson cohomology as a Gerstenhaber algebra admits a Batalin-Vilkovisky operator inherited from some one of its Poisson cochain complex if and only if the Poisson structure is pseudo-unimodular. This generalizes the geometric version due to P. Xu. The modular derivation and Batalin-Vilkovisky operator are also described by using the dual basis of the K\"{a}hler differential module.


title: The Compositional Dimension of Planet Formation

abstract: The great diversity of the thousands of planets known to date is proof of the multitude of ways in which formation and evolution processes can shape the life of planetary systems. Multiple formation and evolution paths, however, can result in the same planetary architecture. Because of this, unveiling the individual histories of planetary systems and their planets can prove a challenging task. The chemical composition of planets provides us with a guiding light for navigate this challenge, but to understand the information it carries we need to properly link it to the chemical composition and characteristics of the environments in which the planets formed. To achieve this goal it is necessary to combine the information and perspectives provided by a growing number of different fields of study, spanning the whole lifecycle of stars and their planetary systems. The aim of this chapter is to provide the unifying perspective needed to understand and connect such diverse information, and illustrate the process through which we can decode the message contained into the composition of planetary bodies.


title: On blowups of vorticity for the homogeneous Euler equation

abstract: Blowups of vorticity for the three- and two- dimensional homogeneous Euler equations are studied. Two regimes of approaching a blowup points, respectively, with variable or fixed time are analysed. It is shown that in the $n$-dimensional ($n=2,3$) generic case the blowups of degrees $1,..,n$ at the variable time regime and of degrees $1/2,..,(n+1)/(n+2)$ at the fixed time regime may exist. Particular situations when the vorticity blows while the direction of the vorticity vector is concentrated in one or two directions are realisable.


title: Magnetic Lens Made of a Single Solenoid for Controlling Bending of Two-Dimensional Ion Beam

abstract: The magnetic field inside an ideal solenoid cavity with an arbitrary cross-section is always constant, while it is always zero outside the solenoid. We can make a solenoid lens that can focus a parallel beam to a point behind it by adjusting the curvature of the solenoid circumference. In this paper, we discuss the design of magnetic lenses ranging from simple geometries to the general ones. We discovered that there are an infinite number of curvatures that can be used to focus the parallel beam to a specific focal point. Using this property, we also present the concept of a simple mass spectrometer by measuring the intensity of the ion captured by a detector placed at the focal point. This result is expected to enrich learning material in undergraduate courses, especially for the topic of electricity and magnetism.


title: Introduction to Presentation Attacks in Signature Biometrics and Recent Advances

abstract: Applications based on biometric authentication have received a lot of interest in the last years due to the breathtaking results obtained using personal traits such as face or fingerprint. However, it is important not to forget that these biometric systems have to withstand different types of possible attacks. This chapter carries out an analysis of different Presentation Attack (PA) scenarios for on-line handwritten signature verification. The main contributions of this chapter are: i) an updated overview of representative methods for Presentation Attack Detection (PAD) in signature biometrics; ii) a description of the different levels of PAs existing in on-line signature verification regarding the amount of information available to the impostor, as well as the training, effort, and ability to perform the forgeries; and iii) an evaluation of the system performance in signature biometrics under different scenarios considering recent publicly available signature databases, DeepSignDB and SVC2021_EvalDB. This work is in line with recent efforts in the Common Criteria standardization community towards security evaluation of biometric systems.


title: The Gamma-Flash data acquisition system for observation of terrestrial gamma-ray flashes

abstract: Gamma-Flash is an Italian project funded by the Italian Space Agency (ASI) and led by the National Institute for Astrophysics (INAF), devoted to the observation and study of high-energy phenomena, such as terrestrial gamma-ray flashes and gamma-ray glows produced in the Earth's atmosphere during thunderstorms. The project's detectors and the data acquisition and control system (DACS) are placed at the "O. Vittori" observatory on the top of Mt. Cimone (Italy). Another payload will be placed on an aircraft for observations of thunderstorms in the air. This work presents the architecture of the data acquisition and control system and the data flow.


title: An Implementation of a Dual-Processor System on FPGA

abstract: In recent years, Field-Programmable Gate Arrays (FPGA) have evolved rapidly paving the way for a whole new range of computing paradigms. On the other hand, computer applications are evolving. There is a rising demand for a system that is general-purpose and yet has the processing abilities to accommodate current trends in application processing. This work proposes a design and implementation of a tightly-coupled FPGA-based dual-processor platform. We architect a platform that optimizes the utilization of FPGA resources and allows for the investigation of practical implementation issues such as cache design. The performance of the proposed prototype is then evaluated, as different configurations of a uniprocessor and a dual-processor system are studied and compared against each other and against published results for common industry-standard CPU platforms. The proposed implementation utilizes the Nios II 32-bit embedded soft-core processor architecture designed for the Altera Cyclone III family of FPGAs.


title: Reevaluating the Taylor Rule with Machine Learning

abstract: This paper aims to reevaluate the Taylor Rule, through a linear and a nonlinear method, such that its estimated federal funds rates match those actually previously implemented by the Federal Reserve Bank. In the linear method, this paper uses an OLS regression model to find more accurate coefficients within the same Taylor Rule equation in which the dependent variable is the federal funds rate, and the independent variables are the inflation rate, the inflation gap, and the output gap. The intercept in the OLS regression model would capture the constant equilibrium target real interest rate set at 2. The linear OLS method suggests that the Taylor Rule overestimates the output gap and standalone inflation rate's coefficients for the Taylor Rule. The coefficients this paper suggests are shown in equation (2). In the nonlinear method, this paper uses a machine learning system in which the two inputs are the inflation rate and the output gap and the output is the federal funds rate. This system utilizes gradient descent error minimization to create a model that minimizes the error between the estimated federal funds rate and the actual previously implemented federal funds rate. Since the machine learning system allows the model to capture the more realistic nonlinear relationship between the variables, it significantly increases the estimation accuracy as a result. The actual and estimated federal funds rates are almost identical besides three recessions caused by bubble bursts, which the paper addresses in the concluding remarks. Overall, the first method provides theoretical insight while the second suggests a model with improved applicability.


title: A Bit-Parallel Deterministic Stochastic Multiplier

abstract: This paper presents a novel bit-parallel deterministic stochastic multiplier, which improves the area-energy-latency product by up to 10.6$\times$10$^4$, while improving the computational error by 32.2\%, compared to three prior stochastic multipliers.


title: A Novel Application of Quantum Speed Limit to String Theory

abstract: In this work, we investigate the implications of the concept of quantum speed limit in string field theory. We adopt a novel approach to the problem of time on world-sheet based on Fisher information, and arrive at a minimum time for a particle state to evolve into another particle state. This is done using both the Mandelstam-Tamm bound and the Margolus-Levitin bound. This implies that any interaction has to be smeared over such an interval, and any interaction in the effective quantum field theory has to be non-local. As non-local quantum field theories are known to be finite, it is expected that divergences should be removed from effective quantum field theories due to the quantum speed limit of string theory.


title: NUAA-QMUL-AIIT at Memotion 3: Multi-modal Fusion with Squeeze-and-Excitation for Internet Meme Emotion Analysis

abstract: This paper describes the participation of our NUAA-QMUL-AIIT team in the Memotion 3 shared task on meme emotion analysis. We propose a novel multi-modal fusion method, Squeeze-and-Excitation Fusion (SEFusion), and embed it into our system for emotion classification in memes. SEFusion is a simple fusion method that employs fully connected layers, reshaping, and matrix multiplication. SEFusion learns a weight for each modality and then applies it to its own modality feature. We evaluate the performance of our system on the three Memotion 3 sub-tasks. Among all participating systems in this Memotion 3 shared task, our system ranked first on task A, fifth on task B, and second on task C. Our proposed SEFusion provides the flexibility to fuse any features from different modalities. The source code for our method is published on https://github.com/xxxxxxxxy/memotion3-SEFusion.


title: Chow-Lefschetz motives

abstract: We develop Milne's theory of Lefschetz motives for general adequate equivalence relations and over a not necessarily algebraically closed base field. The corresponding categories turn out to enjoy all properties predicted by standard and less standard conjectures, in a stronger way: algebraic and numerical equivalences agree in this context. We also compute the Tannakian group associated to a Weil cohomology in a different and more conceptual way than Milne's case-by-case approach.


title: Learning a Multi-Agent Controller for Shared Energy Storage System

abstract: Deployment of shared energy storage systems (SESS) allows users to use the stored energy to meet their own energy demands while saving energy costs without installing private energy storage equipment. In this paper, we consider a group of building users in the community with SESS, and each user can schedule power injection from the grid as well as SESS according to their demand and real-time electricity price to minimize energy cost and meet energy demand simultaneously. SESS is encouraged to charge when the price is low, thus providing as much energy as possible for users while achieving energy savings. However, due to the complex dynamics of buildings and real-time external signals, it is a challenging task to find high-performance power dispatch decisions in real-time. By designing a multi-agent reinforcement learning framework with state-aware reward functions, SESS and users can realize power scheduling to meet the users' energy demand and SESS's charging/discharging balance without additional communication, so as to achieve energy optimization. Compared with the baseline approach without the participation of the SESS, the energy cost is saved by around 2.37% to 21.58%.


title: Conditional deep generative models as surrogates for spatial field solution reconstruction with quantified uncertainty in Structural Health Monitoring applications

abstract: In recent years, increasingly complex computational models are being built to describe physical systems which has led to increased use of surrogate models to reduce computational cost. In problems related to Structural Health Monitoring (SHM), models capable of both handling high-dimensional data and quantifying uncertainty are required. In this work, our goal is to propose a conditional deep generative model as a surrogate aimed at such applications and high-dimensional stochastic structural simulations in general. To that end, a conditional variational autoencoder (CVAE) utilizing convolutional neural networks (CNNs) is employed to obtain reconstructions of spatially ordered structural response quantities for structural elements that are subjected to stochastic loading. Two numerical examples, inspired by potential SHM applications, are utilized to demonstrate the performance of the surrogate. The model is able to achieve high reconstruction accuracy compared to the reference Finite Element (FE) solutions, while at the same time successfully encoding the load uncertainty.


title: Performance of the new RD51 VMM3a/SRS beam telescope---studying MPGDs simultaneously in energy, space and time at high rates

abstract: The RD51 collaboration maintains a common infrastructure at CERN for its R & D activities, including two beam telescopes for test beam campaigns. Recently, one of the beam telescopes has been equipped and commissioned with new multi-channel and charge-sensitive front-end electronics based on the ATLAS/BNL VMM3a front-end ASIC and the RD51 Scalable Readout System (SRS). This allows to read out the detectors at high rates (up to the MHz regime) with electronics time resolutions of the order of 1 ns and the ability to handle different detector types and sizes, due to a larger dynamic range compared to the previous front-end electronics based on the APV25 ASIC. Having studied and improved the beam telescope's performance over the course of three test beam campaigns, the results are presented in this paper.


title: Low-energy scattering parameters: A theoretical derivation of the effective range and scattering length for arbitrary angular momentum

abstract: The most important parameters in the study of low-energy scattering are the s-wave and p-wave scattering lengths and the s-wave effective range. We solve the scattering problem and find two useful formulas for the scattering length and the effective range for any angular momentum, as long as the Wigner threshold law holds. Using that formalism, we obtain a set of useful formulas for the angular-momentum scattering parameters of four different model potentials: hard-sphere, soft-sphere, spherical well, and well-barrier potentials. The behavior of the scattering parameters close to Feshbach resonances is also analyzed. Our derivations can be useful as hands-on activities for learning scattering theory.


title: Magnetohydrodynamics with Physics Informed Neural Operators

abstract: The modeling of multi-scale and multi-physics complex systems typically involves the use of scientific software that can optimally leverage extreme scale computing. Despite major developments in recent years, these simulations continue to be computationally intensive and time consuming. Here we explore the use of AI to accelerate the modeling of complex systems at a fraction of the computational cost of classical methods, and present the first application of physics informed neural operators to model 2D incompressible magnetohydrodynamics simulations. Our AI models incorporate tensor Fourier neural operators as their backbone, which we implemented with the TensorLY package. Our results indicate that physics informed neural operators can accurately capture the physics of magnetohydrodynamics simulations that describe laminar flows with Reynolds numbers $Re\leq250$. We also explore the applicability of our AI surrogates for turbulent flows, and discuss a variety of methodologies that may be incorporated in future work to create AI models that provide a computationally efficient and high fidelity description of magnetohydrodynamics simulations for a broad range of Reynolds numbers. The scientific software developed in this project is released with this manuscript.


title: Crossover from non-thermal to thermal photoluminescence from metals excited by ultrashort light pulses

abstract: Photoluminescence from metal nanostructures following intense ultrashort illumination is a fundamental aspect of light-matter interactions. Surprisingly, many of its basic characteristics are under ongoing debate. Here, we resolve many of these debates by providing a comprehensive theoretical framework that describes this phenomenon, and support it by experimental confirmation. Specifically, we identify aspects of the emission that are characteristic to either non-thermal or thermal emission, in particular, differences in the spectral and electric field-dependence of these two contributions to the emission. Overall, non-thermal emission is characteristic of the early stages of light emission, while the later stages show thermal characteristics. The former dominate only for moderately high illumination intensities for which the electron temperature reached after thermalization remains close to room temperature. The theory is complemented by experimental evidence that demonstrates the novel aspects of our considerations.


title: Finsler gravitational waves of $(\alpha,\beta)$-type and their observational signature

abstract: We introduce a new class of $(\alpha,\beta)$-type exact solutions in Finsler gravity closely related to the well-known pp-waves in general relativity. Our class contains most of the exact solutions currently known in the literature as special cases. The linearized versions of these solutions may be interpretted as Finslerian gravitational waves, and we investigate the physical effect of such waves. More precisely, we compute the Finslerian correction to the radar distance along an nterferometer arm at the moment a Finslerian gravitational wave passes a detector. We come to the remarkable conclusion that the effect of a Finslerian gravitational wave on an interferometer is indistinguishable from that of standard gravitational wave in general relativity. Along the way we also physically motivate a modification of the Randers metric and prove that it has some very interesting properties.


title: The rocking can: a reduced equation of motion and a matched asymptotic solution

abstract: The rocking can problem consists of a empty drinks can standing upright on a horizontal plane which, when tipped back to a single contact point and released, rocks down towards the flat and level state. At the bottom of the motion, the contact point moves quickly around the rim of the can. The can then rises up again, having rotated through some finite angle of turn $\Delta\psi$. We recast the problem as a second order ODE and find a Frobenius solution. We then use this Frobenius solution to derive a reduced equation of motion. The rocking can exhibits two distinct phenomena: behaviour very similar to an inverted pendulum, and dynamics with the angle of turn. This distinction allows us to use matched asymptotic expansions to derive a uniformly valid solution that is in excellent agreement with numerical calculations of the reduced equation of motion. The solution of the inner problem was used to investigate of the angle of turn phenomenon. We also examine the motion of the contact locus $\underline{x}_l$ and see a range of different trajectories, from circular to petaloid motion and even cusp-like behaviour. Finally, we obtain an approximate lower bound for the required coefficient of friction to avoid slip.


title: CMR exploration I -- filament structure with synthetic observations

abstract: In this paper, we carry out a pilot parameter exploration for the collision-induced magnetic reconnection (CMR) mechanism that forms filamentary molecular clouds. Following Kong et al. (2021), we utilize Athena++ to model CMR in the context of resistive magnetohydrodynamics (MHD), considering the effect from seven physical conditions, including the Ohmic resistivity ($\eta$), the magnetic field ($B$), the cloud density ($\rho$), the cloud radius $R$, the isothermal temperature $T$, the collision velocity $v_x$, and the shear velocity $v_z$. Compared to their fiducial model, we consider a higher and a lower value for each one of the seven parameters. We quantify the exploration results with five metrics, including the density probability distribution function ($\rho$-PDF), the filament morphology (250 $\mu$m dust emission), the $B$-$\rho$ relation, the dominant fiber width, and the ringiness that describes the significance of the ring-like sub-structures. The exploration forms straight and curved CMR-filaments with rich sub-structures that are highly variable in space and time. The variation translates to fluctuation in all the five metrics, reflecting the chaotic nature of magnetic reconnection in CMR. A temporary $B\propto\rho$ relation is noticeable during the first 0.6 Myr. Overall, the exploration provides useful initial insights to the CMR mechanism.


title: Polyocollection ideals and primary decomposition of polyomino ideals

abstract: In this article, we study the primary decomposition of some binomial ideals. In particular, we introduce the concept of polyocollection, a combinatorial object that generalizes the definitions of collection of cells and polyomino, that can be used to compute a primary decomposition of non-prime polyomino ideals. Furthermore, we give a description of the minimal primary decomposition of non-prime closed path polyominoes. In particular, for such a class of polyominoes, we characterize the set of all zig-zag walks and show that the minimal prime ideals have a very nice combinatorial description.


title: Differential Interferometric Signatures of Close Binaries of Supermassive Black Holes in Active Galactic Nuclei: II. Merged Broad Line Regions

abstract: Pairs of supermassive black holes (SMBHs) at different stages are natural results of galaxy mergers in the hierarchical framework of galaxy formation and evolution. However, identifications of close binaries of SMBHs (CB-SMBHs) with sub-parsec separations in observations are still elusive. Recently, unprecedented spatial resolutions achieved by GRAVITY/GRAVITY+ onboard The Very Large Telescope Interferometer through spectroastrometry (SA) provide new opportunities to resolve CB-SMBHs. Differential phase curves of CB-SMBHs with two independent broad-line regions (BLRs) are found to have distinguished characteristic structures from a single BLR \citep{songsheng2019}. Once the CB-SMBH evolves to the stage where BLRs merge to form a circumbinary BLR, it will hopefully be resolved by the pulsar timing array (PTA) in the near future as sources of nano-hertz gravitational waves. In this work, we use a parameterized model for circumbinary BLRs to calculate line profiles and differential phase curves for SA observations. We show that both profiles and phase curves exhibit asymmetries caused by the Doppler boosting effect of accretion disks around individual black holes, depending on the orbital parameters of the binary and geometries of the BLR. We also generate mock SA data using the model and then recover orbital parameters by fitting the mock data. Degeneracies between parameters contribute greatly to uncertainties of parameters but can be eased through joint analysis of multiple-epoch SA observations and reverberation mappings.


title: Codimension two polar homogeneous foliations on symmetric spaces of noncompact type

abstract: We classify homogeneous polar foliations of codimension two on irreducible symmetric spaces of noncompact type up to orbit equivalence. Any such foliation is either hyperpolar or the canonical extension of a polar homogeneous foliation on a rank one symmetric space.


title: The hitting time of clique factors

abstract: In a recent paper, Kahn gave the strongest possible, affirmative, answer to Shamir's problem, which had been open since the late 1970s: Let $r \ge 3 $ and let $n$ be divisible by $r$. Then, in the random $r$-uniform hypergraph process on $n$ vertices, as soon as the last isolated vertex disappears, a perfect matching emerges. In the present work, we transfer this hitting time result to the setting of clique factors in the random graph process: At the time that the last vertex joins a copy of the complete graph $K_r$, the random graph process contains a $K_r$-factor. Our proof draws on a novel sequence of couplings, extending techniques of Riordan and the first author. An analogous result is proved for clique factors in the $s$-uniform hypergraph process ($s \ge 3$).


title: Enable High-resolution, Real-time Ensemble Simulation and Data Assimilation of Flood Inundation using Distributed GPU Parallelization

abstract: Numerical modeling of the intensity and evolution of flood events are affected by multiple sources of uncertainty such as precipitation and land surface conditions. To quantify and curb these uncertainties, an ensemble-based simulation and data assimilation model for pluvial flood inundation is constructed. The shallow water equation is decoupled in the x and y directions, and the inertial form of the Saint-Venant equation is chosen to realize fast computation. The probability distribution of the input and output factors is described using Monte Carlo samples. Subsequently, a particle filter is incorporated to enable the assimilation of hydrological observations and improve prediction accuracy. To achieve high-resolution, real-time ensemble simulation, heterogeneous computing technologies based on CUDA (compute unified device architecture) and a distributed storage multi-GPU (graphics processing unit) system are used. Multiple optimization skills are employed to ensure the parallel efficiency and scalability of the simulation program. Taking an urban area of Fuzhou, China as an example, a model with a 3-m spatial resolution and 4.0 million units is constructed, and 8 Tesla P100 GPUs are used for the parallel calculation of 96 model instances. Under these settings, the ensemble simulation of a 1-hour hydraulic process takes 2.0 minutes, which achieves a 2680 estimated speedup compared with a single-thread run on CPU. The calculation results indicate that the particle filter method effectively constrains simulation uncertainty while providing the confidence intervals of key hydrological elements such as streamflow, submerged area, and submerged water depth. The presented approaches show promising capabilities in handling the uncertainties in flood modeling as well as enhancing prediction efficiency.


title: Speech Enhancement with Multi-granularity Vector Quantization

abstract: With advances in deep learning, neural network based speech enhancement (SE) has developed rapidly in the last decade. Meanwhile, the self-supervised pre-trained model and vector quantization (VQ) have achieved excellent performance on many speech-related tasks, while they are less explored on SE. As it was shown in our previous work that utilizing a VQ module to discretize noisy speech representations is beneficial for speech denoising, in this work we therefore study the impact of using VQ at different layers with different number of codebooks. Different VQ modules indeed enable to extract multiple-granularity speech features. Following an attention mechanism, the contextual features extracted by a pre-trained model are fused with the local features extracted by the encoder, such that both global and local information are preserved to reconstruct the enhanced speech. Experimental results on the Valentini dataset show that the proposed model can improve the SE performance, where the impact of choosing pre-trained models is also revealed.


title: Cluster-based Deep Ensemble Learning for Emotion Classification in Internet Memes

abstract: Memes have gained popularity as a means to share visual ideas through the Internet and social media by mixing text, images and videos, often for humorous purposes. Research enabling automated analysis of memes has gained attention in recent years, including among others the task of classifying the emotion expressed in memes. In this paper, we propose a novel model, cluster-based deep ensemble learning (CDEL), for emotion classification in memes. CDEL is a hybrid model that leverages the benefits of a deep learning model in combination with a clustering algorithm, which enhances the model with additional information after clustering memes with similar facial features. We evaluate the performance of CDEL on a benchmark dataset for emotion classification, proving its effectiveness by outperforming a wide range of baseline models and achieving state-of-the-art performance. Further evaluation through ablated models demonstrates the effectiveness of the different components of CDEL.


title: Biased Consensus Dynamics on Regular Expander Graphs

abstract: Consensus protocols play an important role in the study of distributed algorithms. In this paper, we study the effect of bias on two popular consensus protocols, namely, the {\em voter rule} and the {\em 2-choices rule} with binary opinions. We assume that agents with opinion $1$ update their opinion with a probability $q_1$ strictly less than the probability $q_0$ with which update occurs for agents with opinion $0$. We call opinion $1$ as the superior opinion and our interest is to study the conditions under which the network reaches consensus on this opinion. We assume that the agents are located on the vertices of a regular expander graph with $n$ vertices. We show that for the voter rule, consensus is achieved on the superior opinion in $O(\log n)$ time with high probability even if system starts with only $\Omega(\log n)$ agents having the superior opinion. This is in sharp contrast to the classical voter rule where consensus is achieved in $O(n)$ time and the probability of achieving consensus on any particular opinion is directly proportional to the initial number of agents with that opinion. For the 2-choices rule, we show that consensus is achieved on the superior opinion in $O(\log n)$ time with high probability when the initial proportion of agents with the superior opinion is above a certain threshold. We explicitly characterise this threshold as a function of the strength of the bias and the spectral properties of the graph. We show that for the biased version of the 2-choice rule this threshold can be significantly less than that for the unbiased version of the same rule. Our techniques involve using sharp probabilistic bounds on the drift to characterise the Markovian dynamics of the system.


title: Linear Bandits with Memory: from Rotting to Rising

abstract: Nonstationary phenomena, such as satiation effects in recommendations, have mostly been modeled using bandits with finitely many arms. However, the richer action space provided by linear bandits is often preferred in practice. In this work, we introduce a novel nonstationary linear bandit model, where current rewards are influenced by the learner's past actions in a fixed-size window. Our model, which recovers stationary linear bandits as a special case, leverages two parameters: the window size $m \ge 0$, and an exponent $\gamma$ that captures the rotting ($\gamma < 0)$ or rising ($\gamma > 0$) nature of the phenomenon. When both $m$ and $\gamma$ are known, we propose and analyze a variant of OFUL which minimizes regret against cycling policies. By choosing the cycle length so as to trade-off approximation and estimation errors, we then prove a bound of order $\sqrt{d}\,(m+1)^{\frac{1}{2}+\max\{\gamma,0\}}\,T^{3/4}$ (ignoring log factors) on the regret against the optimal sequence of actions, where $T$ is the horizon and $d$ is the dimension of the linear action space. Through a bandit model selection approach, our results are extended to the case where $m$ and $\gamma$ are unknown. Finally, we complement our theoretical results with experiments against natural baselines.


title: A proof of Ryser's circulant Hadamard conjecture

abstract: We show that an $n\times n$ circulant Hadamard matrix must satisfy a family of congruence equations that have solutions only when $n \leq 4$, proving Ryser's 1963 conjecture that no such matrices exist for $n>4$.


title: The autoregressive neural network architecture of the Boltzmann distribution of pairwise interacting spins systems

abstract: Generative Autoregressive Neural Networks (ARNNs) have recently demonstrated exceptional results in image and language generation tasks, contributing to the growing popularity of generative models in both scientific and commercial applications. This work presents an exact mapping of the Boltzmann distribution of binary pairwise interacting systems into autoregressive form. The resulting ARNN architecture has weights and biases of its first layer corresponding to the Hamiltonian's couplings and external fields, featuring widely used structures such as the residual connections and a recurrent architecture with clear physical meanings. Moreover, its architecture's explicit formulation enables the use of statistical physics techniques to derive new ARNNs for specific systems. As examples, new effective ARNN architectures are derived from two well-known mean-field systems, the Curie-Weiss and Sherrington-Kirkpatrick models, showing superior performance in approximating the Boltzmann distributions of the corresponding physics model compared to other commonly used architectures. The connection established between the physics of the system and the neural network architecture provides a means to derive new architectures for different interacting systems and interpret existing ones from a physical perspective.

categories: cond-mat.dis-nn cond-mat.stat-mech cs.LG stat.ML


title: A robust statistical framework for cyber-vulnerability prioritisation under partial information in threat intelligence

abstract: Proactive cyber-risk assessment is gaining momentum due to the wide range of sectors that can benefit from the prevention of cyber-incidents by preserving integrity, confidentiality, and the availability of data. The rising attention to cybersecurity also results from the increasing connectivity of cyber-physical systems, which generates multiple sources of uncertainty about emerging cyber-vulnerabilities. This work introduces a robust statistical framework for quantitative and qualitative reasoning under uncertainty about cyber-vulnerabilities and their prioritisation. Specifically, we take advantage of mid-quantile regression to deal with ordinal risk assessments, and we compare it to current alternatives for cyber-risk ranking and graded responses. For this purpose, we identify a novel accuracy measure suited for rank invariance under partial knowledge of the whole set of existing vulnerabilities. The model is tested on both simulated and real data from selected databases that support the evaluation, exploitation, or response to cyber-vulnerabilities in realistic contexts. Such datasets allow us to compare multiple models and accuracy measures, discussing the implications of partial knowledge about cyber-vulnerabilities on threat intelligence and decision-making in operational scenarios.


title: Iterative density matrix revisited: Excitonic phenomena to InAs quantum well as a saturable absorber

abstract: By solving the Liouville equation, third-order nonlinear terms is found via iterative density matrix. Regarding the improved modeling, all frequency range is taken instead of weak absorptive limit. Considered process can be compared with saturation fitting for heavy-hole excitons in the InAs quantum well.


title: Towards strong uniformity for isogenies of prime degree

abstract: Let $E$ be an elliptic curve over a number field $k$ of degree $d$ that admits a $k$-rational isogeny of prime degree $p$. We study the question of finding a uniform bound on $p$ that depends only on $d$, and obtain, under a certain condition on the signature of the isogeny, such a uniform bound by explicitly constructing nonzero integers that $p$ must divide. As a corollary we find a uniform bound on torsion points defined over unramified extensions of the base field, generalising Merel's Uniform Boundedness result for torsion.


title: A Survey on Event-based News Narrative Extraction

abstract: Narratives are fundamental to our understanding of the world, providing us with a natural structure for knowledge representation over time. Computational narrative extraction is a subfield of artificial intelligence that makes heavy use of information retrieval and natural language processing techniques. Despite the importance of computational narrative extraction, relatively little scholarly work exists on synthesizing previous research and strategizing future research in the area. In particular, this article focuses on extracting news narratives from an event-centric perspective. Extracting narratives from news data has multiple applications in understanding the evolving information landscape. This survey presents an extensive study of research in the area of event-based news narrative extraction. In particular, we screened over 900 articles that yielded 54 relevant articles. These articles are synthesized and organized by representation model, extraction criteria, and evaluation approaches. Based on the reviewed studies, we identify recent trends, open challenges, and potential research lines.


title: Locally stable degenerations of log Calabi-Yau pairs

abstract: We study the birational boundedness of special fibers of log Calabi-Yau fibrations and Fano fibrations. We show that for a locally stable family of Fano varieties or polarised log Calabi-Yau pairs over a curve, if the general fiber satisfies some natural boundedness conditions, then every irreducible component of the special fiber is birationally bounded.


title: Saturon Dark Matter

abstract: Saturons are macroscopic objects with maximal microstate entropy. Due to this property, they can be produced via quantum transitions from a homogeneous thermal bath, bypassing the standard exponential suppression characteristic of ordinary extended objects. In this sense, saturons carry an advantage with respect to other macroscopic objects such as black holes and ordinary solitons. Due to unsuppressed thermal production, saturons can have interesting cosmological implications. In particular they can serve as viable dark matter candidates with some unique features. Unlike ordinary particle dark matter, the superheavy saturons can freeze-in at very low temperatures. A nucleation of a saturon can be described in terms of a saturated instanton. This has implications for various phase transitions.


title: Electrostatics and geodesics on $K3$ surfaces

abstract: Motivated by some conjectures originating in the Physics literature, we use Foscolo's construction of Ricci-flat Kahler metrics on K3 surfaces to locate, with high precision, several closed geodesics and compute their index (their length is also approximately known). Interestingly, the construction of these geodesics is related to an open problem in electrostatics posed by Maxwell in 1873. Our construction is also of interest to modern Physicists working on (supersymmetric) non-linear sigma models with target space such a K3 surface.


title: Flow patterns and defect dynamics of active nematics under an electric field

abstract: The effects of an electric field on the flow patterns and defect dynamics of two-dimensional active nematics are numerically investigated. We found that field-induced director reorientation causes anisotropic active turbulence characterized by enhanced flow perpendicular to the electric field. The average flow speed and its anisotropy are maximized at an intermediate field strength. Topological defects in the anisotropic active turbulence are localized and show characteristic dynamics {with simultaneous creation of} two pairs of defects. A laning state characterized by stripe domains with alternating flow directions is found at a larger field strength near the transition to the uniformly aligned state. We obtained periodic oscillations between the laning state and active turbulence, which resembles an experimental observation of active nematics subject to anisotropic friction.


title: Doping asymmetry in the three-band Hamiltonian for cuprate ladders: failure of the standard model of superconductivity in cuprates

abstract: The relevance of the single-band two-dimensional Hubbard model to superconductivity in the doped cuprates has recently been questioned, based on Density matrix Renormalization Group (DMRG) computations on extended t-J models that found superconductivity over unrealistically broad doping region upon electron-doping, yet complete absence of superconductivity for hole-doping. We report very similar results from DMRG calculations on Cu$_2$O$_3$ two-leg ladder within the parent three-band correlated-electron Hamiltonian. The strong asymmetry found in our calculations are in contradiction to the deep and profound symmetry between electron- and hole-doped cuprate superconductors, apart from their critical temperatures, that has been found from recent experiments.


title: Boundary Guided Learning-Free Semantic Control with Diffusion Models

abstract: Applying pre-trained generative denoising diffusion models (DDMs) for downstream tasks such as image semantic editing usually requires either fine-tuning DDMs or learning auxiliary editing networks in the existing literature. In this work, we present our BoundaryDiffusion method for efficient, effective and light-weight semantic control with frozen pre-trained DDMs, without learning any extra networks. As one of the first learning-free diffusion editing works, we start by seeking a comprehensive understanding of the intermediate high-dimensional latent spaces by theoretically and empirically analyzing their probabilistic and geometric behaviors in the Markov chain. We then propose to further explore the critical step for editing in the denoising trajectory that characterizes the convergence of a pre-trained DDM and introduce an automatic search method. Last but not least, in contrast to the conventional understanding that DDMs have relatively poor semantic behaviors, we prove that the critical latent space we found already exhibits semantic subspace boundaries at the generic level in unconditional DDMs, which allows us to do controllable manipulation by guiding the denoising trajectory towards the targeted boundary via a single-step operation. We conduct extensive experiments on multiple DPMs architectures (DDPM, iDDPM) and datasets (CelebA, CelebA-HQ, LSUN-church, LSUN-bedroom, AFHQ-dog) with different resolutions (64, 256), achieving superior or state-of-the-art performance in various task scenarios (image semantic editing, text-based editing, unconditional semantic control) to demonstrate the effectiveness.


title: The effect of thermal non-equilibrium on kinetic nucleation

abstract: Nucleation is considered to be the first step in dust and cloud formation in the atmospheres of asymptotic giant branch (AGB) stars, exoplanets, and brown dwarfs. In these environments dust and cloud particles grow to macroscopic sizes when gas phase species condense onto cloud condensation nuclei (CCNs). Understanding the formation processes of CCNs and dust in AGB stars is important because the species that formed in their outflows enrich the interstellar medium. Although widely used, the validity of chemical and thermal equilibrium conditions is debatable in some of these highly dynamical astrophysical environments. We aim to derive a kinetic nucleation model that includes the effects of thermal non-equilibrium by adopting different temperatures for nucleating species, and to quantify the impact of thermal non-equilibrium on kinetic nucleation. Forward and backward rate coefficients are derived as part of a collisional kinetic nucleation theory ansatz. The endothermic backward rates are derived from the law of mass action in thermal non-equilibrium. We consider elastic collisions as thermal equilibrium drivers. For homogeneous TiO2 nucleation and a gas temperature of 1250 K, we find that differences in the kinetic cluster temperatures as small as 20 K increase the formation of larger TiO2 clusters by over an order of magnitude. An increase in cluster temperature of around 20 K at gas temperatures of 1000 K can reduce the formation of a larger TiO2 cluster by over an order of magnitude. Our results confirm and quantify the prediction of previous thermal non-equilibrium studies. Small thermal non-equilibria can cause a significant change in the synthesis of larger clusters. Therefore, it is important to use kinetic nucleation models that include thermal non-equilibrium to describe the formation of clusters in environments where even small thermal non-equilibria can be present.


title: Towards a Unified Cybersecurity Testing Lab for Satellite, Aerospace, Avionics, Maritime, Drone (SAAMD) technologies and communications

abstract: Aviation, maritime, and aerospace traffic control, radar, communication, and software technologies received increasing attention in the research literature over the past decade, as software-defined radios have enabled practical wireless attacks on communication links previously thought to be unreachable by unskilled or low-budget attackers. Moreover, recently it became apparent that both offensive and defensive cybersecurity has become a strategically differentiating factor for such technologies on the war fields (e.g., Ukraine), affecting both civilian and military missions regardless of their involvement. However, attacks and countermeasures are usually studied in simulated settings, thus introducing the lack of realism or non-systematic and highly customized practical setups, thus introducing high costs, overheads, and less reproducibility. Our "Unified Cybersecurity Testing Lab" seeks to close this gap by building a laboratory that can provide a systematic, affordable, highly-flexible, and extensible setup. In this paper, we introduce and motivate our "Unified Cybersecurity Testing Lab for Satellite, Aerospace, Avionics, Maritime, Drone (SAAMD)" technologies and communications, as well as some peer-reviewed results and evaluation of the targeted threat vectors. We show via referenced peer-reviewed works that the current modules of the lab were successfully used to realistically attack and analyze air-traffic control, radar, communication, and software technologies such as ADS-B, AIS, ACARS, EFB, EPIRB and COSPAS-SARSAT. We are currently developing and integrating support for additional technologies (e.g., CCSDS, FLARM), and we plan future extensions on our own as well as in collaboration with research and industry. Our "Unified Cybersecurity Testing Lab" is open for use, experimentation, and collaboration with other researchers, contributors and interested parties.


title: Reconfiguration, Interrupted Aging and Enhanced Dynamics of a Colloidal Gel using Photo-Switchable Active Doping

abstract: We study light-activated quasi-2d gels made of a colloidal network doped with Janus particles. Following the gel formation, the internal dynamics of the gel are monitored before, during, and after the light activation. We monitor both the structure and dynamics, before, during and after the illumination period. The mobility of the passive particles exhibits a characteristic scale-dependent response. Immediately following light activation, the gel displays large-scale reorganization, followed by progressive, short-scale displacements throughout the activation period. Albeit subtle structural changes (including pore opening and widening and shortening of strands) the colloidal network remains connected, and the gel maintains its structural integrity. Once activity is switched off, the gel keeps the memory of the structure inherited from the active phase. Remarkably, the motility remains larger than that of the gel, before the active period. The system has turned into a genuinely different gel, with frozen dynamics, but with more space for thermal fluctuations. The above conclusions remain valid long after the activity period.


title: Cybersecurity of COSPAS-SARSAT and EPIRB: threat and attacker models, exploits, future research

abstract: COSPAS-SARSAT is an International programme for "Search and Rescue" (SAR) missions based on the "Satellite Aided Tracking" system (SARSAT). It is designed to provide accurate, timely, and reliable distress alert and location data to help SAR authorities of participating countries to assist persons and vessels in distress. Two types of satellite constellations serve COSPAS-SARSAT, low earth orbit search and rescue (LEOSAR) and geostationary orbiting search and rescue (GEOSAR). Despite its nearly-global deployment and critical importance, unfortunately enough, we found that COSPAS-SARSAT protocols and standard 406 MHz transmissions lack essential means of cybersecurity. In this paper, we investigate the cybersecurity aspects of COSPAS-SARSAT space-/satellite-based systems. In particular, we practically and successfully implement and demonstrate the first (to our knowledge) attacks on COSPAS-SARSAT 406 MHz protocols, namely replay, spoofing, and protocol fuzzing on EPIRB protocols. We also identify a set of core research challenges preventing more effective cybersecurity research in the field and outline the main cybersecurity weaknesses and possible mitigations to increase the system's cybersecurity level.


title: Conversation Style Transfer using Few-Shot Learning

abstract: Conventional text style transfer approaches focus on sentence-level style transfer without considering contextual information, and the style is described with attributes (e.g., formality). When applying style transfer in conversations such as task-oriented dialogues, existing approaches suffer from these limitations as context can play an important role and the style attributes are often difficult to define in conversations. In this paper, we introduce conversation style transfer as a few-shot learning problem, where the model learns to perform style transfer by observing only a few example dialogues in the target style. We propose a novel in-context learning approach to solve the task with style-free dialogues as a pivot. Human evaluation shows that by incorporating multi-turn context, the model is able to match the target style while having better appropriateness and semantic correctness compared to utterance/sentence-level style transfer. Additionally, we show that conversation style transfer can also benefit downstream tasks. For example, in multi-domain intent classification tasks, the F1 scores improve after transferring the style of training data to match the style of the test data.


title: On the structure of trans-series in quantum field theory

abstract: Many observables in quantum field theory can be expressed in terms of trans-series, in which one adds to the perturbative series a typically infinite sum of exponentially small corrections, due to instantons or to renormalons. Even after Borel resummation of the series in the coupling constant, one has to sum this infinite series of small exponential corrections. It has been argued that this leads to a new divergence, which is sometimes called the divergence of the OPE. We show that, in some interesting examples in quantum field theory, the series of small exponential corrections is convergent, order by order in the coupling constant. In particular, we give numerical evidence for this convergence property in the case of the free energy of integrable asymptotically free theories, which has been intensively studied recently in the framework of resurgence. Our results indicate that, in these examples, the Borel resummed trans-series leads to a well defined function, and there are no further divergences.


title: On the Mechanical, Electronic, and Optical Properties of 8-16-4 Graphyne: A 2D Carbon Allotrope with Dirac Cones

abstract: Due to the success achieved by graphene, several 2D carbon-based allotropes were theoretically predicted and experimentally synthesized. We used density functional theory and reactive molecular dynamics simulations to investigate the mechanical, structural, electronic, and optical properties of 8-16-4 Graphyne. The results showed that this material exhibits good dynamical and thermal stabilities. Its formation energy and elastic moduli are -8.57 eV/atom and 262.37 GPa, respectively. This graphyne analogue is a semi-metal and presents two Dirac cones in its band structure. Moreover, it is transparent, and its intense optical activity is limited to the infrared region. Remarkably, the band structure of 8-16-4 Graphyne remains practically unchanged at even moderate strain regimes. As far as we know, this is the first 2D carbon allotrope to exhibit this behavior.


title: Dynamic Field Programmable Logic-Driven Soft Exosuit

abstract: The next generation of etextiles foresees an era of smart wearable garments where embedded seamless intelligence provides the ability to sense, process and perform. Core to this vision is embedded textile functionality enabling dynamic configuration. In this paper we detail a methodology, design and implementation of a dynamic field programmable logic-driven fabric soft exosuit. Dynamic field programmability allows the soft exosuit to alter its functionality and adapt to specific exercise programs depending on the wearers need. The dynamic field programmability is enabled through motion based control arm movements of the soft exosuit triggering momentary sensors embedded in the fabric exosuit at specific joint placement points (right arm: wrist, elbow).The embedded circuitry in the fabric exosuit is implemented using a layered and interchangeable approach. This includes logic gate patches (AND,OR,NOT) and a layered textile interconnection panel. This modular and interchangeable design enhances the soft exosuits flexibility and adaptability. A truth table aligning to a rehabilitation healthcare use case was utilised. Tests were completed validating the field programmability of the soft exosuit and its capability to switch between its embedded logic driven circuitry and its operational and functionality options controlled by motion movement of the wearers right arm (elbow and wrist). Iterative exercise movement and acceleration based tests were completed to validate the functionality of the field programmable logic driven fabric exosuit. We demonstrate a working soft exosuit prototype with motion controlled operational functionality that can be applied to rehabilitation applications.


title: Defect Transfer GAN: Diverse Defect Synthesis for Data Augmentation

abstract: Data-hunger and data-imbalance are two major pitfalls in many deep learning approaches. For example, on highly optimized production lines, defective samples are hardly acquired while non-defective samples come almost for free. The defects however often seem to resemble each other, e.g., scratches on different products may only differ in a few characteristics. In this work, we introduce a framework, Defect Transfer GAN (DT-GAN), which learns to represent defect types independent of and across various background products and yet can apply defect-specific styles to generate realistic defective images. An empirical study on the MVTec AD and two additional datasets showcase DT-GAN outperforms state-of-the-art image synthesis methods w.r.t. sample fidelity and diversity in defect generation. We further demonstrate benefits for a critical downstream task in manufacturing -- defect classification. Results show that the augmented data from DT-GAN provides consistent gains even in the few samples regime and reduces the error rate up to 51% compared to both traditional and advanced data augmentation methods.


title: Density Matrix Renormalization Group study of superconducting pairing near the quarter-filled Wigner crystal

abstract: Charge ordering is often found in the phase diagram of unconventional superconductors in close proximity to the superconducting state. This has led to the suggestion that fluctuations of charge order can mediate superconducting pairing. While several mechanisms can lead to charge order, one common mechanism is the long-range Coulomb interaction, resulting in a Wigner crystal charge ordered state. We investigate using exact diagonalization and the density matrix renormalization group the properties of superconducting pair-pair correlations near a Wigner crystal as a function of $V$, the nearest neighbor Coulomb interaction. We consider several different lattice boundary conditions for an electron density of 0.5 per site, the quarter-filled band. Our results show that the strength of pairing decreases with $V$ and remains weaker than the tendency of pairing for non-interacting electrons.


title: dump1030: open-source plug-and-play demodulator/decoder for 1030MHz uplink

abstract: Automatic Dependent Surveillance (ADS), Automatic Dependent Surveillance-Broadcast (ADS-B), Secondary Surveillance Radars (SSR), and Mode S are key air surveillance technologies representing a critical component of next-generation air transportation systems. However, compared to 1090MHz demodulators and decoders, which have plenty of implementations, the 1030MHz uplink receivers are, in general, scarcely, if at all, represented. In this paper, we present the development and evaluation of dump1030 - cross-platform plug-and-play open-source implementation for decoding 1030MHz uplink Mode A/C/S interrogations. We demonstrate and detail an agile development process of building dump1030 by adapting a state-of-the-art dump1090 design and implementation. In our repeated experiments, dump1030 achieves a high detection accuracy of 1030MHz interrogation signals based on lab evaluation using synthetically-generated interrogation signals. We also discuss a handful of practical use cases where dump1030 can find immediate application and implementation, both in research and industrial settings.


title: Continuous group cohomology with coefficients in locally analytic vectors of admissible $ \mathbb{Q}_p $-Banach space representations

abstract: We show that the continuous cohomology groups of a $ p $-adic reductive group with coefficients in the locally analytic vectors of an admissible $ \mathbb{Q}_p $-Banach space representation are homeomorphic to those with coefficients in the Banach space representation itself. Moreover, we deduce that the canonical topologies on those continuous cohomology groups are Hausdorff and are the uniquely determined finest locally convex topologies.


title: Automatic Specialization of Third-Party Java Dependencies

abstract: Large-scale code reuse significantly reduces both development costs and time. However, the massive share of third-party code in software projects poses new challenges, especially in terms of maintenance and security. In this paper, we propose a novel technique to specialize dependencies of Java projects, based on their actual usage. Given a project and its dependencies, we systematically identify the subset of each dependency that is necessary to build the project, and we remove the rest. As a result of this process, we package each specialized dependency in a JAR file. Then, we generate specialized dependency trees where the original dependencies are replaced by the specialized versions. This allows building the project with significantly less third-party code than the original. As a result, the specialized dependencies become a first-class concept in the software supply chain, rather than a transient artifact in an optimizing compiler toolchain. We implement our technique in a tool called DepTrim, which we evaluate with 30 notable open-source Java projects. DepTrim specializes a total of 343 (86.6%) dependencies across these projects, and successfully rebuilds each project with a specialized dependency tree. Moreover, through this specialization, DepTrim removes a total of 57,444 (42.2%) classes from the dependencies, reducing the ratio of dependency classes to project classes from 8.7x in the original projects to 5.0x after specialization. These novel results indicate that dependency specialization significantly reduces the share of third-party code in Java projects.


title: Towards Additively Manufactured Metamaterials with Powder Inclusions for Controllable Dissipation: The Critical Influence of Packing Density

abstract: Particle dampers represent a simple yet effective means to reduce unwanted oscillations when attached to structural components. Powder bed fusion additive manufacturing of metals allows to integrate particle inclusions of arbitrary shape, size and spatial distribution directly into bulk material, giving rise to novel metamaterials with controllable dissipation without the need for additional external damping devices. At present, however, it is not well understood how the degree of dissipation is influenced by the properties of the enclosed powder packing. In the present work, a two-way coupled discrete element - finite element model is proposed allowing for the first time to consistently describe the interaction between oscillating deformable structures and enclosed powder packings. As fundamental test case, the free oscillations of a hollow cantilever beam filled with various powder packings differing in packing density, particle size, and surface properties are considered to systematically study these factors of influence. Critically, it is found that the damping characteristics strongly depend on the packing density of the enclosed powder and that an optimal packing density exists at which the dissipation is maximized. Moreover, it is found that the influence of (absolute) particle size on dissipation is rather small. First-order analytical models for different deformation modes of such powder cavities are derived to shed light on this observation.


title: Properties of Infinite Nuclear Medium from QCD Sum Rules and the Neutron Star-Black Hole Mass Gap

abstract: A non-perturbative framework is provided to connect QCD with nuclear phenomenology in the intermediate and high density regime. Using QCD Sum Rules, in-medium scalar and vector self-energies of nucleons are calculated as functions of the density of an infinite nuclear medium. The self-energies are used in the relativistic mean field theory lagrangian of a high-density nuclear medium to find the binding energy of in-medium nucleons and the value of light quark condensate, $\langle \bar{q} q \rangle_{\rm{vac}} = -~(0.288 ~\rm{GeV})^3$, in the Borel-improved resummation scheme. The critical mass of an ideal neutron star is obtained by coupling a uniform saturation energy density of cold, dense nuclear matter to Einstein equation in hydrostatic equilibrium. Since it is less likely for a neutron star core to avoid deconfinement and enter the rigid vector repulsion phase where the speed of sound can smoothly approach from conformal to causal limit, a gap should exist in the stellar mass spectrum, $[3.48M_\odot, 5.47M_\odot]$, where it would be rare to find any isolated, cold, non-rotating neutron star or a black hole.


title: Eigenvector continuation for the pairing Hamiltonian

abstract: The development of emulators for the evaluation of many-body observables has gained increasing attention over the last years. In particular the framework of eigenvector continuation (EC) has been identified as a powerful tool when the Hamiltonian admits for a parametric dependence. By training the emulator on a set of training data the many-body solution for arbitrary parameter values can be robustly predicted in many cases. Furthermore, it can be used to resum perturbative expansions that otherwise diverge. In this work, we apply EC to the pairing Hamiltonian and show that EC-resummed perturbation theory is in qualitative agreement with the exact solution and that EC-based emulators robustly predict the ground-state energy once the training data are chosen appropriately. In particular the phase transition from the normal to the superfluid regime is quantitatively predicted using a very low number of training points.


title: Efficiency 360: Efficient Vision Transformers

abstract: Transformers are widely used for solving tasks in natural language processing, computer vision, speech, and music domains. In this paper, we talk about the efficiency of transformers in terms of memory (the number of parameters), computation cost (number of floating points operations), and performance of models, including accuracy, the robustness of the model, and fair \& bias-free features. We mainly discuss the vision transformer for the image classification task. Our contribution is to introduce an efficient 360 framework, which includes various aspects of the vision transformer, to make it more efficient for industrial applications. By considering those applications, we categorize them into multiple dimensions such as privacy, robustness, transparency, fairness, inclusiveness, continual learning, probabilistic models, approximation, computational complexity, and spectral complexity. We compare various vision transformer models based on their performance, the number of parameters, and the number of floating point operations (FLOPs) on multiple datasets.


title: Dark exciton energy splitting in monolayer WSe2: insights from time-dependent density-functional theory

abstract: We present here a formalism based on time-dependent density-functional theory (TDDFT) to describe characteristics of both intra- and inter-valley excitons in semiconductors, the latter of which had remained a challenge. Through the usage of an appropriate exchange-correlation kernel (nanoquanta), we trace the energy difference between the intra- and inter-valley dark excitons in monolayer (1L) WSe2 to the domination of the exchange part in the exchange-correlation energies of these states. Furthermore, our calculated transition contribution maps establish the momentum resolved weights of the electron-hole excitations in both bright and dark excitons thereby providing a comprehensive understanding of excitonic properties of 1L WSe2. We find that the states consist of hybridized excitations around the corresponding valleys which leads to brightening of the dark excitons, i.e., significantly decreasing their lifetime which is reflected in the PL spectrum. Using many-body perturbation theory, we calculate the phonon contribution to the energy bandgap and the linewidths of the excited electrons, holes and (bright) exciton to find that as the temperature increases the bandgap significantly decreases, while the linewidths increase. Our work paves for describing the ultrafast charge dynamics of transition metal dichalcogenide within an ab initio framework.


title: Log Centres of Noncommutative Crepant Resolutions are Kawamata Log Terminal: Remarks on a paper of Stafford and van den Bergh

abstract: We show that if a finitely generated prime algebra $\Delta$ is a finitely generated maximal Cohen-Macaulay module over its centre $Z$, and has global dimension equal to $\dim Z$, then the pair given by its centre and ramification divisor is Kawamata log terminal.


title: Channel Estimation for BIOS-Assisted Multi-User MIMO Systems: A Heterogeneous Two-timescale Strategy

abstract: Bilayer intelligent omni-surface (BIOS) has recently attracted increasing attention due to its capability of independent beamforming on both reflection and refraction sides. However, its specific bilayer structure makes the channel estimation problem more challenging than the conventional intelligent reflecting surface (IRS) or intelligent omni-surface (IOS). In this paper, we investigate the channel estimation problem in the BIOS-assisted multi-user multiple-input multiple-output system. We find that in contrast to the IRS or IOS, where the forms of the cascaded channels of all user equipments (UEs) are the same, in the BIOS, those of the UEs on the reflection side are different from those on the refraction side, which is referred to as the heterogeneous channel property. By exploiting it along with the two-timescale and sparsity properties of channels and applying the manifold optimization method, we propose an efficient channel estimation scheme to reduce the training overhead in the BIOS-assisted system. Moreover, we investigate the joint optimization of base station digital beamforming and BIOS passive analog beamforming. Simulation results show that the proposed estimation scheme can significantly reduce the training overhead with competitive estimation quality, and thus keeps the performance advantage of BIOS over IRS and IOS with imperfect channel state information.


title: How Well Sensing Integrates with Communications in MmWave Wi-Fi?

abstract: The development of integrated sensing and communication (ISAC) systems has recently gained interest for its ability to offer a variety of services including resources sharing and new applications, for example, localization, tracking, and health care related. While the sensing capabilities are offered through many technologies, rending to their wide deployments and the high frequency spectrum they provide and high range resolution, its accessibility through the Wi-Fi networks IEEE 802.11ad and 802.11ay has been getting the interest of research and industry. Even though there is a dedicated standardization body, namely the 802.11bf task group, working on enhancing the Wi-Fi sensing performance, investigations are needed to evaluate the effectiveness of various sensing techniques. In this project, we, in addition to surveying related literature, we evaluate the sensing performance of the millimeter wave (mmWave) Wi-Fi systems by simulating a scenario of a human target using Matlab simulation tools. In this analysis, we processed channel estimation data using the short time Fourier transform (STFT). Furthermore, using a channel variation threshold method, we evaluated the performance while reducing feedback. Our findings indicate that using STFT window overlap can provide good tracking results, and that the reduction in feedback measurements using 0.05 and 0.1 threshold levels reduces feedback measurements by 48% and 77%, respectively, without significantly degrading performance.


title: Enumerative mirror symmetry for moduli spaces of Higgs bundles and S-duality

abstract: We derive conjectures, called genus 1 Enumerative mirror symmetry for moduli spaces of Higgs bundles, which relate curve-counting invariants of moduli spaces of Higgs $\mathrm{SL}_r$-bundles to curve-counting invariants of moduli spaces of Higgs $\mathrm{PGL}_r$-bundles. This contrasts with Enumerative mirror symmetry for Calabi-Yau 3-folds which relates curve-counting invariants to periods. We also provide extensive mathematical evidence for these conjectures. The conjectures are obtained with the help of the theory of quasimaps to moduli spaces of sheaves, Tanaka-Thomas's construction of Vafa-Witten theory, Jiang-Kool's enumerative S-duality of Vafa-Witten invariants and Manschot-Moore's calculations. We use the latter together with some basic computations to give a complete list of conjectural expressions for genus 1 quasimap invariants for all prime ranks. They have many interesting properties, among which is quantum $\chi$-independence. The wall-crossing to Gromov-Witten theory is also thoroughly discussed.