title: Can we infer the presence of Differential Privacy in Deep Learning models' weights? Towards more secure Deep Learning

abstract: Differential Privacy (DP) is a key property to protect data and models from integrity attacks. In the Deep Learning (DL) field, it is commonly implemented through the Differentially Private Stochastic Gradient Descent (DP-SGD). However, when a model is shared or released, there is no way to check whether it is differentially private, that is, it required to trust the model provider. This situation poses a problem when data privacy is mandatory, specially with current data regulations, as the presence of DP can not be certificated consistently by any third party. Thus, we face the challenge of determining whether a DL model has been trained with DP, according to the title question: Can we infer the presence of Differential Privacy in Deep Learning models' weights? Since the DP-SGD significantly changes the training process of a DL model, we hypothesize that DP leaves an imprint in the weights of a DL model, which can be used to predict whether a model has been trained with DP regardless of its architecture and the training dataset. In this paper, we propose to employ the imprint in model weights of using DP to infer the presence of DP training in a DL model. To substantiate our hypothesis, we developed an experimental methodology based on two datasets of weights of DL models, each with models with and without DP training and a meta-classifier to infer whether DP was used in the training process of a DL model, by accessing its weights. We accomplish both, the removal of the requirement of a trusted model provider and a strong foundation for this interesting line of research. Thus, our contribution is an additional layer of security on top of the strict private requirements of DP training in DL models, towards to DL models.


title: Europa's ocean translates interior tidal heating patterns to the ice-ocean boundary

abstract: The circulation in Europa's ocean determines the degree of thermal, mechanical and chemical coupling between the ice shell and the silicate mantle. Using global direct numerical simulations, we investigate the effect of heterogeneous tidal heating in the silicate mantle on rotating thermal convection in the ocean and its consequences on ice shell thickness. Under the assumption of no salinity or ocean-ice shell feedbacks, we show that convection largely transposes the latitudinal variations of tidal heating from the seafloor to the ice, leading to a higher oceanic heat flux in polar regions. Longitudinal variations are efficiently transferred when boundary-driven thermal winds develop, but are reduced in the presence of strong zonal flows and may vanish in planetary regimes. If spatially homogeneous radiogenic heating is dominant in the silicate mantle, the ocean's contribution to ice shell thickness variations is negligible compared to tidal heating within the ice. If tidal heating is instead dominant in the mantle, the situation is reversed and the ocean controls the pole-to-equator thickness contrast, as well as possible longitudinal variations.


title: Topological conjugacy between Schneider's continued fraction map and a shift map on $\mathbb{Q}_p$

abstract: We prove that Schneider's continued fraction map is topologically conjugate to a shift map defined on $\mathbb{Q}_p$, and the topological conjugation $f\colon\mathbb{Q}_p \rightarrow \mathbb{Q}_p$ is an isometry such that $f(\mathbb{Q})=\mathbb{Z}[\frac{1}{p}]$. Furthermore, for $x \in \mathbb{Q}_p$ we proved that $x \in \mathbb{Q}$ if and only if $f(x) \in \mathbb{Z}[\frac{1}{p}]$.


title: Design of Planar Collision-free Trochoidal Paths for a Multi-robot Swarm

abstract: In the literature, a distributed consensus protocol by which a connected swarm of agents can generate artistic patterns in 2-dimensional space is proposed. Motivated by this protocol, in this paper, we design the parameters of this protocol for a 3-agent swarm of non-holonomic robots of finite size that results in the generation of periodic trochoidal trajectories that satisfy a set of geometric and speed constraints; this design also includes selecting the initial positions of the robots. This problem finds applications in persistent surveillance and coverage, guarding a region of interest, and target detection. While the trajectories may be self-intersecting, imposing geometric constraints i. eliminates collisions between robots; ii. ensures minimum and maximum separation distance between any robot and a fixed point, thus ensuring the robots are in communication range. Imposing speed constraints ensure that tracking these trajectories becomes feasible. It is also shown that robots can be injected to these paths at specific locations, in order to increase the refresh rate, without violating any of the geometric constraints. The designs are implemented in an indoor mobile robot platform.


title: When correlations exceed system size: finite-size scaling in free boundary conditions above the upper critical dimension

abstract: We progress finite-size scaling in systems with free boundary conditions above their upper critical dimension, where in the thermodynamic limit critical scaling is described by mean-field theory. Recent works show that the correlation length is not bound by the system's physical size, a belief that long held sway. Instead, two scaling regimes can be observed - at the critical and pseudo-critical temperatures. We demonstrate that both are manifest for free boundaries. We use numerical simulations of the $d=5$ Ising model to analyse the magnetization, susceptibility, magnetization Fourier modes and the partition function zeros. While some of the response functions hide the dual finite-size scaling, the precision enabled by the analysis of Lee-Yang zeros allows this be brought to the fore. In particular, finite-size scaling of leading zeros at the pseudo-critical point confirms recent predictions coming from correlations exceeding the system size. This paper is dedicated to Jaroslav Ilnytskyi on the occasion of his 60th birthday.


title: Sparse4D v3: Advancing End-to-End 3D Detection and Tracking

abstract: In autonomous driving perception systems, 3D detection and tracking are the two fundamental tasks. This paper delves deeper into this field, building upon the Sparse4D framework. We introduce two auxiliary training tasks (Temporal Instance Denoising and Quality Estimation) and propose decoupled attention to make structural improvements, leading to significant enhancements in detection performance. Additionally, we extend the detector into a tracker using a straightforward approach that assigns instance ID during inference, further highlighting the advantages of query-based algorithms. Extensive experiments conducted on the nuScenes benchmark validate the effectiveness of the proposed improvements. With ResNet50 as the backbone, we witnessed enhancements of 3.0\%, 2.2\%, and 7.6\% in mAP, NDS, and AMOTA, achieving 46.9\%, 56.1\%, and 49.0\%, respectively. Our best model achieved 71.9\% NDS and 67.7\% AMOTA on the nuScenes test set. Code will be released at \url{https://github.com/linxuewu/Sparse4D}.


title: Leveraging Uncertainty Estimates To Improve Classifier Performance

abstract: Binary classification involves predicting the label of an instance based on whether the model score for the positive class exceeds a threshold chosen based on the application requirements (e.g., maximizing recall for a precision bound). However, model scores are often not aligned with the true positivity rate. This is especially true when the training involves a differential sampling across classes or there is distributional drift between train and test settings. In this paper, we provide theoretical analysis and empirical evidence of the dependence of model score estimation bias on both uncertainty and score itself. Further, we formulate the decision boundary selection in terms of both model score and uncertainty, prove that it is NP-hard, and present algorithms based on dynamic programming and isotonic regression. Evaluation of the proposed algorithms on three real-world datasets yield 25%-40% gain in recall at high precision bounds over the traditional approach of using model score alone, highlighting the benefits of leveraging uncertainty.


title: Electrical control of magnetism by electric field and current-induced torques

abstract: While early magnetic memory designs relied on magnetization switching by locally generated magnetic fields, key insights in condensed matter physics later suggested the possibility to do it electrically. In the 1990s, Slonczewzki and Berger formulated the concept of current-induced spin torques in magnetic multilayers through which a spin-polarized current may switch the magnetization of a ferromagnet. This discovery drove the development of spin-transfer-torque magnetic random-access memories (STT-MRAMs). More recent research unveiled spin-orbit-torques (SOTs) and will lead to a new generation of devices including SOT-MRAMs. Parallel to these advances, multiferroics and their magnetoelectric coupling experienced a renaissance, leading to novel device concepts for information and communication technology such as the MESO transistor. The story of the electrical control of magnetization is that of a dance between fundamental research (in spintronics, condensed matter physics, and materials science) and technology (MRAMs, MESO, microwave emitters, spin-diodes, skyrmion-based devices, components for neuromorphics, etc). This pas de deux led to major breakthroughs over the last decades (pure spin currents, magnetic skyrmions, spin-charge interconversion, etc). As a result, this field has propelled MRAMs into consumer electronics products but also fueled discoveries in adjacent research areas such as ferroelectrics or magnonics. Here, we cover recent advances in the control of magnetism by electric fields and by current-induced torques. We first review fundamental concepts in these two directions, then discuss their combination, and finally present various families of devices harnessing the electrical control of magnetic properties for various application fields. We conclude by giving perspectives in terms of both emerging fundamental physics concepts and new directions in materials science.


title: Assessing the Threat Level of Software Supply Chains with the Log Model

abstract: The use of free and open source software (FOSS) components in all software systems is estimated to be above 90%. With such high usage and because of the heterogeneity of FOSS tools, repositories, developers and ecosystem, the level of complexity of managing software development has also increased. This has amplified both the attack surface for malicious actors and the difficulty of making sure that the software products are free from threats. The rise of security incidents involving high profile attacks is evidence that there is still much to be done to safeguard software products and the FOSS supply chain. Software Composition Analysis (SCA) tools and the study of attack trees help with improving security. However, they still lack the ability to comprehensively address how interactions within the software supply chain may impact security. This work presents a novel approach of assessing threat levels in FOSS supply chains with the log model. This model provides information capture and threat propagation analysis that not only account for security risks that may be caused by attacks and the usage of vulnerable software, but also how they interact with the other elements to affect the threat level for any element in the model.


title: Spectroscopy of elementary excitations from quench dynamics in a dipolar XY Rydberg simulator

abstract: We use a Rydberg quantum simulator to demonstrate a new form of spectroscopy, called quench spectroscopy, which probes the low-energy excitations of a many-body system. We illustrate the method on a two-dimensional simulation of the spin-1/2 dipolar XY model. Through microscopic measurements of the spatial spin correlation dynamics following a quench, we extract the dispersion relation of the elementary excitations for both ferro- and anti-ferromagnetic couplings. We observe qualitatively different behaviors between the two cases that result from the long-range nature of the interactions, and the frustration inherent in the antiferromagnet. In particular, the ferromagnet exhibits elementary excitations behaving as linear spin waves. In the anti-ferromagnet, spin waves appear to decay, suggesting the presence of strong nonlinearities. Our demonstration highlights the importance of power-law interactions on the excitation spectrum of a many-body system.


title: Exploring the benefits of DNA-target search with antenna

abstract: The most common gene regulation mechanism is when a protein binds to a regulatory sequence to change RNA transcription. However, these sequences are short relative to the genome length, so finding them poses a challenging search problem. This paper presents two mathematical frameworks capturing different aspects of this problem. First, we study the interplay between diffusional flux through a target where the searching proteins get sequestered on DNA far from the target because of non-specific interactions. From this model, we derive a simple formula for the optimal protein-DNA unbinding rate, maximizing the particle flux. Second, we study how the flux flows through a target on a single antenna with variable length. Here, we identify a non-trivial logarithmic correction to the linear behavior relative to the target size proposed by Smoluchowski's flux formula.


title: Critical Exponent for the Acyclic Chromatic Number of Random Graphs

abstract: In this paper we study acyclic colouring in the random subgraph $\mathit{G}$ of the complete graph $\mathit{K}_n$ on $\mathit{n}$ vertices where each edge is present with probability $\mathit{p}$; independent of the other edges. We show that the acyclic chromatic number exhibits a phase transition from sublinear to linear growth as the edge probability increases, even in the sparse regime and obtain estimates for the critical exponent. Next, we introduce a relaxation by allowing for a small fraction of "bad" cycles to violate the acyclic colouring condition and show that the critical exponent in this case is in fact zero, no matter how small the fraction.


title: Thermodynamics of fluid elements in the context of saturated isothermal turbulence in molecular clouds

abstract: The presented paper is an attempt to investigate the dynamical states of an hydrodynamical isothermal turbulent self-gravitating system using some powerful tools of the classical thermodynamics. Our main assumption, inspired by the work of Keto et al. (2020), is that turbulent kinetic energy can be substituted for the macro-temperature of chaotic motion of fluid elements. As a proper sample for our system we use a model of turbulent self-gravitating isothermal molecular cloud which is at final stages of its life-cycle, when the dynamics is nearly in steady state. Starting from this point, we write down the internal energy for a physically small cloud's volume, and then using the first principle of thermodynamics obtain in explicit form the entropy, free energy, and Gibbs potential for this volume. Setting fiducial boundary conditions for the latter system (small volume) we explore its stability as a grand canonical ensemble. Searching for extrema of the Gibbs potential we obtain conditions for its minimum, which corresponds to a stable dynamical state of hydrodynamical system. This result demonstrates the ability of our novel approach.


title: Mixing properties for multivariate Hawkes processes

abstract: Properties of strong mixing have been established for the stationary linear Hawkes process in the univariate case, and can serve as a basis for statistical applications. In this paper, we provide the technical arguments needed to extend the proof to the multivariate case. We illustrate these properties by establishing a functional central limit theorem for multivariate Hawkes processes.


title: Hidden asymptotics for the weak solutions of the strongly stratified Boussinesq system without rotation

abstract: The asymptotics of the strongly stratified Boussinesq system when the Froude number goes to zero have been previously investigated, but the resulting limit system surprisingly did not depend on the thermal diffusivity $\nu$ '. In this article we obtain richer asymptotics (depending on $\nu$ ') and we ask less assumptions on the initial data. As for the rotating fluids system, the only way to reach these limits consists in considering non conventional initial data: to a function classically depending on the full space variable, we add a second one only depending on the vertical coordinate. Thanks to a refined study of the structure of the limit system and to adapted Strichartz estimates, we obtain convergence in the context of weak Leray-type solutions providing explicit rates of convergence when possible. In the simpler case $\nu$ = $\nu$ ' we are able to improve the Strichartz estimates and the convergence rates. The last part of the appendix is devoted to the proof (by elementary tools) of a crucial proposition.


title: Study change of the performance of airfoil of small wind turbine under low wind speed by CFD simulation

abstract: Renewable energy has received strong attention and investment to replace fossil energy sources and reduce greenhouse gas emissions. Quite good and good wind speed areas have been invested in building large-capacity wind farms for many years. The low wind speed region occupies a very large on the world, which has been interested in the exploitation of wind energy in recent years. In this study, the original airfoil of S1010 operated at low wind speed was redesigned to increase the aerodynamic efficiency of the airfoil by using XFLR5 software. After, the new VAST-EPU-S1010 airfoil model was adjusted to the maximum thickness and the maximum thickness position. It was simulated in low wind speed conditions of 4-6 m/s by CFD simulation. The lift coefficient, drag coefficient and $C_{L}$/$C_{D}$ coefficient ratio were evaluated under the effect of the angle of attack and the maximum thickness by using the $k-\epsilon$ model. Simulation results show that the VAST-EPU-S1010 airfoil achieved the greatest aerodynamic efficiency at the angle of attack of $3\,^{\circ}$, the maximum thickness of 8\% and the maximum thickness position of 20.32\%. The maximum value of $C_{L}$/$C_{D}$ of the new airfoil at 6 m/s is higher than at the 4 m/s by about 6.25\%.


title: Linearity Property of Unique Colourings in Random Graphs

abstract: In this paper, we study unique colourings in random graphs as a generalization of both conflict-free and injective colourings. Specifically, we impose the condition that a fraction of vertices in the neighbourhood of any vertex are assigned unique colours and use vertex partitioning and the probabilistic method to show that the minimum number of colours needed grows linearly with the uniqueness parameter, unlike both conflict-free and injective colourings. We argue how the unboundedness of the vertex neighbourhoods influences the linearity property and illustrate our case with an example involving treeunique colourings in random graphs.


title: Private and Secure Post-Quantum Verifiable Random Function with NIZK Proof and Ring-LWE Encryption in Blockchain

abstract: We present a secure and private blockchain-based Verifiable Random Function (VRF) scheme addressing some limitations of classical VRF constructions. Given the imminent quantum computing adversarial scenario, conventional cryptographic methods face vulnerabilities. To enhance our VRF's secure randomness, we adopt post-quantum Ring-LWE encryption for synthesizing pseudo-random sequences. Considering computational costs and resultant on-chain gas costs, we suggest a bifurcated architecture for VRF design, optimizing interactions between on-chain and off-chain. Our approach employs a secure ring signature supported by NIZK proof and a delegated key generation method, inspired by the Chaum-Pedersen equality proof and the Fiat-Shamir Heuristic. Our VRF scheme integrates multi-party computation (MPC) with blockchain-based decentralized identifiers (DID), ensuring both security and randomness. We elucidate the security and privacy aspects of our VRF scheme, analyzing temporal and spatial complexities. We also approximate the entropy of the VRF scheme and detail its implementation in a Solidity contract. Also, we delineate a method for validating the VRF's proof, matching for the contexts requiring both randomness and verification. Conclusively, using the NIST SP800-22 of the statistical randomness test suite, our results exhibit a 98.86% pass rate over 11 test cases, with an average p-value of 0.5459 from 176 total tests.


title: Nanoswimmers in a ratchet potential: Effects of a transverse rocking force

abstract: We study the dynamics of a chemical nanoswimmer in a ratchet potential, which is periodically rocked in the transverse direction. As a result of the mechanochemical coupling, the self-propulsion velocity becomes force-dependent and particle trajectories are rectified in the direction of the ratchet modulation. The magnitude and direction of the nanoswimmer mean velocity depend upon both the rocking amplitude and the frequency. Remarkably, for frequencies larger than the inverse correlation time of the rotational diffusion, the velocity exhibits oscillatory behaviour as a function of the amplitude and the frequency with multiple reversals of the sign. These findings suggest that mechanochemical coupling can be utilized for controlling the motion of chemically active particles at the nanoscale.


title: Progr\`es r\'ecents sur les repr\'esentations supercuspidales

abstract: Let $G$ be a reductive group over a nonarchimedean local field $F$. In the quest for a classification of irreducible smooth representations of $G$, it is critical to understand the case of supercuspidal representations -- those whose matrix coefficients are compactly supported modulo the center. Progress in understanding these representations has been continuous over the past fifty years. In "tame" cases where the residual characteristic of $F$ is big enough for $G$, J.-K. Yu described in 2001 a general construction of supercuspidal representations, building on a large body of work. But recent developments have made the general picture much more complete and much clearer. For instance, the work of J. Fintzen, T. Kaletha and L. Spice provides (in the tame case) a classification of supercuspidal representations, an explicit formula for "almost all" their characters, and an explicit construction of a local Langlands correspondence for supercuspidal $L$-packets. While the basic constructions involve Bruhat--Tits buildings and representations of finite groups, the resulting character formulas and the description of $L$-packets have striking parallels with the case of real groups


title: On the Congruency-Constrained Matroid Base

abstract: Consider a matroid where all elements are labeled with an element in $\mathbb{Z}$. We are interested in finding a base where the sum of the labels is congruent to $g \pmod m$. We show that this problem can be solved in $\tilde{O}(2^{4m} n r^{5/6})$ time for a matroid with $n$ elements and rank $r$, when $m$ is either the product of two primes or a prime power. The algorithm can be generalized to all moduli and, in fact, to all abelian groups if a classic additive combinatorics conjecture by Schrijver and Seymour holds true. We also discuss the optimization version of the problem.


title: Linearity and Local Correctness in Weighted Colourings of Random Graphs

abstract: In this paper, we consider a weighted generalization of the chromatic number of a Binomial random graph~\(G.\) We equip each edge with a random weight and then colour the vertices in such a way that the absolute colour difference between any two adjacent vertices is at least as large as their edge weight. We show that with high probability, the weighted colouring number grows linearly with the maximum vertex degree if the edge weights have sufficiently large moments. Conversely, if the edge weight moments are unbounded then the weighted chromatic number is much larger than the maximum vertex degree, with high probability. We also obtain a sharp threshold result for locally correct weighted colourings for balanced subgraphs of~\(G.\)


title: Ramsey CPT Signal Generation with a Miniature Clock Bench and a Dual-Frequency Optical Generator

abstract: We demonstrate, for the first time, Ramsey CPT spectroscopy with a miniature electro-optical bench associated to a dual-frequency generator based on combined optical injection locking and optical phase locking techniques Preliminary results show Ramsey CPT resonance with a contrast of 2% at the Cesium D2 line. Frequency difference locking loops lead to a contribution of Dick effect to fractional frequency stability lower than 1.7x10-13 at 1 s, in line with targeted clock stability of 5x10-13 at 1 s.


title: A Fast and Scalable Computational Topology Framework for the Euler Characteristic

abstract: The Euler characteristic (EC) is a powerful topological descriptor that can be used to quantify the shape of data objects that are represented as fields/manifolds. Fast methods for computing the EC are required to enable processing of high-throughput data and real-time implementations. This represents a challenge when processing high-resolution 2D field data (e.g., images) and 3D field data (e.g., video, hyperspectral images, and space-time data obtained from fluid dynamics and molecular simulations). In this work, we present parallel algorithms (and software implementations) to enable fast computations of the EC for 2D and 3D fields using vertex contributions. We test the proposed algorithms using synthetic data objects and data objects arising in real applications such as microscopy, 3D molecular dynamics simulations, and hyperspectral images. Results show that the proposed implementation can compute the EC a couple of orders of magnitude faster than ${\tt GUDHI}$ (an off-the-shelf and state-of-the art tool) and at speeds comparable to ${\tt CHUNKYEuler}$ (a tool tailored to scalable computation of the EC). The vertex contributions approach is flexible in that it compute the EC as well as other topological descriptors such as perimeter, area, and volume (${\tt CHUNKYEuler}$ can only compute the EC). Scalability with respect to memory use is also addressed by providing low-memory versions of the algorithms; this enables processing of data objects beyond the size of dynamic memory. All data and software needed for reproducing the results are shared as open-source code.


title: Machine learning of (1+1)-dimensional directed percolation based on raw and shuffled configurations

abstract: Machine learning (ML) can process large sets of data generated from complex systems, which is ideal for classification tasks as often appeared in critical phenomena. Meanwhile ML techniques have been found effective in detecting critical points, or in a broader sense phase separation, and extracting critical exponents. But there are still many unsolved issues with the ML, one of which is the meaning of hidden variables of unsupervised learning. Some say that the hidden variables and the principal component may contain basic information regarding the order parameter of the system of interest, which sounds plausible but lacks evidence. This study aims at searching for evidence supporting the conjecture that the autoencoder's (AE) single latent variable and PCA's first principal component can only serve as signals related to particle density, which happens to be the order parameter of the non-equilibrium DP model. Indeed, in some phase transition (PT) models the order parameter is the particle density, whereas in some PT models it is not. Having conducted a certain degree of random shuffling on the DP configurations, which are then fed to the neural networks as input, we find that AE's single latent variable and PCA's first principal component can indeed represent particle density. It is found that shuffling does affect the size of maximum cluster in the system, which suggests that the second principal component of the PCA is related to the maximal cluster. This has been supported by changes in the correlation length of the transition system with variations in the shuffle ratio.


title: Fuzzy Information Seeded Region Growing for Automated Lesions After Stroke Segmentation in MR Brain Images

abstract: In the realm of medical imaging, precise segmentation of stroke lesions from brain MRI images stands as a critical challenge with significant implications for patient diagnosis and treatment. Addressing this, our study introduces an innovative approach using a Fuzzy Information Seeded Region Growing (FISRG) algorithm. Designed to effectively delineate the complex and irregular boundaries of stroke lesions, the FISRG algorithm combines fuzzy logic with Seeded Region Growing (SRG) techniques, aiming to enhance segmentation accuracy. The research involved three experiments to optimize the FISRG algorithm's performance, each focusing on different parameters to improve the accuracy of stroke lesion segmentation. The highest Dice score achieved in these experiments was 94.2\%, indicating a high degree of similarity between the algorithm's output and the expert-validated ground truth. Notably, the best average Dice score, amounting to 88.1\%, was recorded in the third experiment, highlighting the efficacy of the algorithm in consistently segmenting stroke lesions across various slices. Our findings reveal the FISRG algorithm's strengths in handling the heterogeneity of stroke lesions. However, challenges remain in areas of abrupt lesion topology changes and in distinguishing lesions from similar intensity brain regions. The results underscore the potential of the FISRG algorithm in contributing significantly to advancements in medical imaging analysis for stroke diagnosis and treatment.


title: Polarization based modulation of splitting ratio in femtosecond laser direct written directional couplers

abstract: This work characterizes a phenomenon in direct laser written directional couplers where the splitting ratio for output light is dependent on the input polarization state. In general, for laser written waveguides, different coupling strengths exist for different polarization states of the input light. If the linear polarization state of the input light is not aligned with one of the symmetry axes of the system, an additional amplitude beating is imposed on the transfer of light in directional couplers of different interaction length. We present results for in-plane and out of plane directional couplers, which are supported by theoretical analysis. These new results provide insights for understanding and controlling polarization properties of directional couplers and larger photonic circuits.


title: Counting interval sizes in the poset of monotone Boolean functions

abstract: We focus on the computational aspects of counting interval sizes in the poset $D_n$, which represents all monotone Boolean functions of $n$ variables. We present a resource-aware algorithm enabling the calculation of interval sizes in $D_7$.


title: ELF: Encoding Speaker-Specific Latent Speech Feature for Speech Synthesis

abstract: In this work, we propose a novel method for modeling numerous speakers, which enables expressing the overall characteristics of speakers in detail like a trained multi-speaker model without additional training on the target speaker's dataset. Although various works with similar purposes have been actively studied, their performance has not yet reached that of trained multi-speaker models due to their fundamental limitations. To overcome previous limitations, we propose effective methods for feature learning and representing target speakers' speech characteristics by discretizing the features and conditioning them to a speech synthesis model. Our method obtained a significantly higher similarity mean opinion score (SMOS) in subjective similarity evaluation than seen speakers of a high-performance multi-speaker model, even with unseen speakers. The proposed method also outperforms a zero-shot method by significant margins. Furthermore, our method shows remarkable performance in generating new artificial speakers. In addition, we demonstrate that the encoded latent features are sufficiently informative to reconstruct an original speaker's speech completely. It implies that our method can be used as a general methodology to encode and reconstruct speakers' characteristics in various tasks.


title: Stable and real rank for crossed products by finite groups

abstract: A long-standing open question in the theory of group actions on C*-algebras is the stable rank of the crossed product. Specifically, N. C. Phillips asked that if a finite group $G$ acts on a simple unital C*-algebra $A$ with stable rank one, does the crossed product have stable rank one? A similar question can be asked about the real rank. Most of the existing partial answers contain a reasonable restriction (mainly, a Rokhlin-type property) on the action and assumptions on $A$. We remove all extra assumptions on $A$ (for instance, stable finiteness and that the order on projections over $A$ is determined by traces) and we prove that if the action has the tracial Rokhlin property and $A$ is simple and $\sigma$-unital with stable rank one or real rank zero, then so do the crossed product and the fixed point algebra. Moreover, we show that if the Kirchberg's central sequence algebra $\mathrm{F}(A)$ has real rank zero, then the weak tracial Rokhlin property is equivalent to the tracial Rokhlin property for actions on simple unital separable C*-algebras $A$.


title: Coefficientwise Hankel-total positivity of the Schett polynomials

abstract: We prove the coefficientwise Hankel-total positivity of the even and odd subsequences of Schett polynomials $X_n(x,y,z)$.


title: Effective Hamiltonian of topologically protected qubit in a helical crystal

abstract: We study a superlattice formed by tunnel-coupled identical antidots periodically situated in a two-dimensional topological insulator placed in a magnetic field. The superlattice spectrum can be controlled by gate electrodes or by changing the magnetic flux through the antidots. We demonstrate that a topologically protected qubit appears at the boundary between two regions with different fluxes. The qubit properties depend on the value of the flux jump on the boundary and can be controlled by the gate voltage. We derive the effective Hamiltonian of such a qubit and analyze the dependence of its properties on the main parameters of the superlattice: the tunnel coupling between antidots, and the probability of jumps with the spin flip.


title: Revealing behavioral impact on mobility prediction networks through causal interventions

abstract: Deep neural networks are increasingly utilized in mobility prediction tasks, yet their intricate internal workings pose challenges for interpretability, especially in comprehending how various aspects of mobility behavior affect predictions. This study introduces a causal intervention framework to assess the impact of mobility-related factors on neural networks designed for next location prediction -- a task focusing on predicting the immediate next location of an individual. To achieve this, we employ individual mobility models to generate synthetic location visit sequences and control behavior dynamics by intervening in their data generation process. We evaluate the interventional location sequences using mobility metrics and input them into well-trained networks to analyze performance variations. The results demonstrate the effectiveness in producing location sequences with distinct mobility behaviors, thereby facilitating the simulation of diverse yet realistic spatial and temporal changes. These changes result in performance fluctuations in next location prediction networks, revealing impacts of critical mobility behavior factors, including sequential patterns in location transitions, proclivity for exploring new locations, and preferences in location choices at population and individual levels. The gained insights hold significant value for the real-world application of mobility prediction networks, and the framework is expected to promote the use of causal inference for enhancing the interpretability and robustness of neural networks in mobility applications.


title: A silicone-based slippery polymer coating with humidity-dependent nanoscale topography

abstract: Hypothesis: Slippery Omniphobic Covalently Attached Liquids (SOCAL) have been proposed for making omnirepellent thin films of self-assembled dimethylsiloxane polymer brushes grafted from silica surfaces. Smooth and flat at very small scale, these fluid surfaces could exhibit a more complex multiscale structure though showing very weak contact angle hysteresis (less than 5{\textdegree}).Experiment: In this work, coatings were deposited on glass surfaces from an acidic dimethoxydimethylsilane solution under carefully controlled relative humidity. Ellipsometry mapping was used to analyze the surface structuration with nanometric thickness sensitivity. The sliding properties were determined using a drop shape analyzer with a tilting device, and chemical analyses of the coatings were performed using on-surface techniques (XPS, ATR-FTIR spectroscopy).Findings: Coated materials possessed an unexpected surface structure with multiscale semispherical-like features, which surprisingly, did not increase the contact angle hysteresis. A careful study of some parameters of the coating process and the related evolution of the surface properties allowed us to propose a new model of the chemical organization of the polymer to support this remarkable liquid-like behavior. These structures are made of end-grafted strongly adsorbed Guiselin brushes with humidity-dependent thickness: the higher the humidity, the thinner and the more slippery the coating.


title: Quantum approximated cloning-assisted density matrix exponentiation

abstract: Classical information loading is an essential task for many processing quantum algorithms, constituting a cornerstone in the field of quantum machine learning. In particular, the embedding techniques based on Hamiltonian simulation techniques enable the loading of matrices into quantum computers. A representative example of these methods is the Lloyd-Mohseni-Rebentrost protocol, which efficiently implements matrix exponentiation when multiple copies of a quantum state are available. However, this is a quite ideal set up, and in a realistic scenario, the copies are limited and the non-cloning theorem prevents from producing more exact copies in order to increase the accuracy of the protocol. Here, we propose a method to circumvent this limitation by introducing imperfect quantum copies that significantly enhance the performance of previous proposals.


title: Junction conditions in gravity theories with extra scalar degrees of freedom

abstract: In this work we present a general method to obtain the junction conditions of modified theories of gravity whose action can be written in the form $f\left(X_1,...,X_n\right)$, where $X_1$ to $X_n$ are any combination of scalar dependencies, e.g. the Ricci scalar $R$, the trace of the stress-energy tensor $T$, the Gauss-Bonnet invariant $\mathcal G$, among others. We discriminate the junction conditions into three sub-groups: the immediate conditions, arising from the imposition of regularity of the relevant quantities in the distribution formalism; the differential conditions, arising from the differential terms in the field equations; and the coupling conditions, arising from the interaction between different scalars $X_i$. Writing the modified field equations in terms of a linear combination of the different contributions of the scalars $X_i$ allows one to analyze the direct and differential junction conditions independently for each of these scalars, whereas the coupling junction conditions can be analyzed separately afterwards. We show that the coupling junction conditions induced on a scalar $X_i$ due to a coupling with a scalar $X_j$ are of the same form as the differential junction conditions of the scalar $X_j$, but applied to the analogous quantity in the framework of the scalar $X_i$. We provide a complete analysis of three different types of spacetime matching, namely smooth matching, matching with a thin-shell, and matching with double gravitational layers, and we also describe under which conditions the full sets of junction conditions might be simplified. Our results are applicable to several well-known theories of gravity e.g. $f\left(R\right)$, $f\left(T\right)$, and $f\left(\mathcal G\right)$, and can be straightforwardly extrapolated to other theories with scalar dependencies and more complicated scenarios where several dependencies are present simultaneously.


title: AdvGen: Physical Adversarial Attack on Face Presentation Attack Detection Systems

abstract: Evaluating the risk level of adversarial images is essential for safely deploying face authentication models in the real world. Popular approaches for physical-world attacks, such as print or replay attacks, suffer from some limitations, like including physical and geometrical artifacts. Recently, adversarial attacks have gained attraction, which try to digitally deceive the learning strategy of a recognition system using slight modifications to the captured image. While most previous research assumes that the adversarial image could be digitally fed into the authentication systems, this is not always the case for systems deployed in the real world. This paper demonstrates the vulnerability of face authentication systems to adversarial images in physical world scenarios. We propose AdvGen, an automated Generative Adversarial Network, to simulate print and replay attacks and generate adversarial images that can fool state-of-the-art PADs in a physical domain attack setting. Using this attack strategy, the attack success rate goes up to 82.01%. We test AdvGen extensively on four datasets and ten state-of-the-art PADs. We also demonstrate the effectiveness of our attack by conducting experiments in a realistic, physical environment.


title: A Large-Scale Car Parts (LSCP) Dataset for Lightweight Fine-Grained Detection

abstract: Automotive related datasets have previously been used for training autonomous driving systems or vehicle classification tasks. However, there is a lack of datasets in the field of automotive AI for car parts detection, and most available datasets are limited in size and scope, struggling to cover diverse scenarios. To address this gap, this paper presents a large-scale and fine-grained automotive dataset consisting of 84,162 images for detecting 12 different types of car parts. This dataset was collected from natural cameras and online websites which covers various car brands, scenarios, and shooting angles. To alleviate the burden of manual annotation, we propose a novel semi-supervised auto-labeling method that leverages state-of-the-art pre-trained detectors. Moreover, we study the limitations of the Grounding DINO approach for zero-shot labeling. Finally, we evaluate the effectiveness of our proposed dataset through fine-grained car parts detection by training several lightweight YOLO-series detectors.


title: Heat transport during drop impact onto a heated wall covered with an electrospun nanofiber mat: The influence of wall superheat, impact velocity, and mat thickness

abstract: Nanofiber surface coating is a promising method for the enhancement of heat transfer during spray cooling. In the present work, the drop dynamics as well as local and overall heat transfer during single drop impact onto a heated wall covered with a nanofiber mat are investigated to obtain insight into the mechanisms governing the heat transport enhancement. The influence of wall superheat, drop impact velocity, and mat thickness on the hydrodynamics and heat transfer from the heated wall to the fluid is studied. Polyacrylonitrile (PAN) was electrospun on a heater surface to manufacture the nanofiber mat coatings. The experiments were conducted inside a temperature-controlled test cell with a pure vapor atmosphere maintained with refrigerant FC-72. The temperature field at the solid-fluid interface was observed with a high-speed infrared camera, and the heat flux field was derived by solving a three-dimensional transient heat conduction equation within the substrate. The presence of the nanofiber mat on the heater surface suppresses the drop receding phase due to the pinning of the contact line at the end of the spreading phase. Two different scenarios are observed depending on the wall superheat and drop impact velocity: scenario (I), in which the liquid drop penetrated the porous nanofiber mat and touches the heater surface; and scenario (II) in which the vapor produced inside the pores of the nanofiber mat prevented the liquid drop from touching the heater surface. At a certain point in time after impact, the energy transferred from the nanofiber-coated surface to the liquid exceeds that of the uncovered heater owing to the larger drop footprint. If scenario (I) occurs, then the total transported heat increases significantly compared with the drop impact on a bare substrate.


title: LSTM-CNN: An efficient diagnostic network for Parkinson's disease utilizing dynamic handwriting analysis

abstract: Background and objectives: Dynamic handwriting analysis, due to its non-invasive and readily accessible nature, has recently emerged as a vital adjunctive method for the early diagnosis of Parkinson's disease. In this study, we design a compact and efficient network architecture to analyse the distinctive handwriting patterns of patients' dynamic handwriting signals, thereby providing an objective identification for the Parkinson's disease diagnosis. Methods: The proposed network is based on a hybrid deep learning approach that fully leverages the advantages of both long short-term memory (LSTM) and convolutional neural networks (CNNs). Specifically, the LSTM block is adopted to extract the time-varying features, while the CNN-based block is implemented using one-dimensional convolution for low computational cost. Moreover, the hybrid model architecture is continuously refined under ablation studies for superior performance. Finally, we evaluate the proposed method with its generalization under a five-fold cross-validation, which validates its efficiency and robustness. Results: The proposed network demonstrates its versatility by achieving impressive classification accuracies on both our new DraWritePD dataset ($96.2\%$) and the well-established PaHaW dataset ($90.7\%$). Moreover, the network architecture also stands out for its excellent lightweight design, occupying a mere $0.084$M of parameters, with a total of only $0.59$M floating-point operations. It also exhibits near real-time CPU inference performance, with inference times ranging from $0.106$ to $0.220$s. Conclusions: We present a series of experiments with extensive analysis, which systematically demonstrate the effectiveness and efficiency of the proposed hybrid neural network in extracting distinctive handwriting patterns for precise diagnosis of Parkinson's disease.


title: Non-Contact NIR PPG Sensing through Large Sequence Signal Regression

abstract: Non-Contact sensing is an emerging technology with applications across many industries from driver monitoring in vehicles to patient monitoring in healthcare. Current state-of-the-art implementations focus on RGB video, but this struggles in varying/noisy light conditions and is almost completely unfeasible in the dark. Near Infra-Red (NIR) video, however, does not suffer from these constraints. This paper aims to demonstrate the effectiveness of an alternative Convolution Attention Network (CAN) architecture, to regress photoplethysmography (PPG) signal from a sequence of NIR frames. A combination of two publicly available datasets, which is split into train and test sets, is used for training the CAN. This combined dataset is augmented to reduce overfitting to the 'normal' 60 - 80 bpm heart rate range by providing the full range of heart rates along with corresponding videos for each subject. This CAN, when implemented over video cropped to the subject's head, achieved a Mean Average Error (MAE) of just 0.99 bpm, proving its effectiveness on NIR video and the architecture's feasibility to regress an accurate signal output.


title: Measurement of (anti)alpha production in central Pb-Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV

abstract: In this letter, measurements of (anti)alpha production in central (0$-$10%) Pb$-$Pb collisions at a center-of-mass energy per nucleon$-$nucleon pair of $\sqrt{s_{\rm NN}}$ = 5.02 TeV are presented, including the first measurement of an antialpha transverse-momentum spectrum. Owing to its large mass, (anti)alpha production yields and transverse-momentum spectra are of particular interest because they provide a stringent test of particle production models. The averaged antialpha and alpha spectrum is included into a common blast-wave fit with lighter particles, indicating that the (anti)alpha also participates in the collective expansion of the medium created in the collision. A blast-wave fit including only protons, (anti)alpha, and other light nuclei results in a similar flow velocity as the fit that includes all particles. A similar flow velocity, but a significantly larger kinetic freeze-out temperature is obtained when only protons and light nuclei are included in the fit. The coalescence parameter $B_4$ is well described by calculations from a statistical hadronization model but significantly underestimated by calculations assuming nucleus formation via coalescence of nucleons. Similarly, the (anti)alpha-to-proton ratio is well described by the statistical hadronization model. On the other hand, coalescence calculations including approaches with different implementations of the (anti)alpha substructure tend to underestimate the data.


title: Unveiling the Unseen Potential of Graph Learning through MLPs: Effective Graph Learners Using Propagation-Embracing MLPs

abstract: Recent studies attempted to utilize multilayer perceptrons (MLPs) to solve semi-supervised node classification on graphs, by training a student MLP by knowledge distillation (KD) from a teacher graph neural network (GNN). While previous studies have focused mostly on training the student MLP by matching the output probability distributions between the teacher and student models during KD, it has not been systematically studied how to inject the structural information in an explicit and interpretable manner. Inspired by GNNs that separate feature transformation $T$ and propagation $\Pi$, we re-frame the KD process as enabling the student MLP to explicitly learn both $T$ and $\Pi$. Although this can be achieved by applying the inverse propagation $\Pi^{-1}$ before distillation from the teacher GNN, it still comes with a high computational cost from large matrix multiplications during training. To solve this problem, we propose Propagate & Distill (P&D), which propagates the output of the teacher GNN before KD and can be interpreted as an approximate process of the inverse propagation $\Pi^{-1}$. Through comprehensive evaluations using real-world benchmark datasets, we demonstrate the effectiveness of P&D by showing further performance boost of the student MLP.


title: Probing primordial black holes at high redshift with future gravitational wave detector

abstract: We analyze the detection prospects for potential Primordial Black Hole Binary (PBHB) populations buried in the Stellar-Origin Black Hole Binary (SOBHB) population inferred by the LVK collaboration. We consider different PBHB population scenarios and several future Gravitational Wave (GW) detectors. To separate the PBHB component from the SOBHB one, we exploit the prediction that the PBHB merger rate does not decline as fast as the SOBHB one at high redshift. However, only a tiny fraction of PBHB events may be resolved individually, and the sub-threshold events may yield an undetectable Stochastic GW Background (SGWB). For this reason, we determine the statistical significance of the PBHB contributions in the number of resolvable events seen in future Earth-based detectors and the SGWB measured at LISA. We find that the synergy between these probes will consistently help assess whether or not a sizeable PBHB population is present.


title: $x-y$ duality in Topological Recursion for exponential variables via Quantum Dilogarithm

abstract: For a given spectral curve, the theory of topological recursion generates two different families $\omega_{g,n}$ and $\omega_{g,n}^\vee$ of multi-differentials, which are for algebraic spectral curves related via the universal $x-y$ duality formula. We propose a formalism to extend the validity of the $x-y$ duality formula of topological recursion from algebraic curves to spectral curves with exponential variables of the form $e^x=F(e^y)$ or $e^x=F(y)e^{a y}$ with $F$ rational and $a$ some complex number, which was in principle already observed in \cite{Dunin-Barkowski:2017zsd,Bychkov:2020yzy}. From topological recursion perspective the family $\omega_{g,n}^\vee$ would be trivial for these curves. However, we propose changing the $n=1$ sector of $\omega_{g,n}^\vee$ via a version of the Faddeev's quantum dilogarithm which will lead to the correct two families $\omega_{g,n}$ and $\omega_{g,n}^\vee$ related by the same $x-y$ duality formula as for algebraic curves. As a consequence, the $x-y$ symplectic transformation formula extends further to important examples governed by topological recursion including, for instance, the topological vertex curve which computes Gromov-Witten invariants of $\mathbb{C}^3$, equivalently triple Hodge integrals on the moduli space of complex curves, orbifold Hurwitz numbers, or stationary Gromov-Witten invariants of $\mathbb{P}^1$. The proposed formalism is related to the issue topological recursion encounters for specific choices of framings for the topological vertex curve.


title: MUVO: A Multimodal Generative World Model for Autonomous Driving with Geometric Representations

abstract: Learning unsupervised world models for autonomous driving has the potential to improve the reasoning capabilities of today's systems dramatically. However, most work neglects the physical attributes of the world and focuses on sensor data alone. We propose MUVO, a MUltimodal World Model with Geometric VOxel Representations to address this challenge. We utilize raw camera and lidar data to learn a sensor-agnostic geometric representation of the world, which can directly be used by downstream tasks, such as planning. We demonstrate multimodal future predictions and show that our geometric representation improves the prediction quality of both camera images and lidar point clouds.


title: A note on the bicategory of Landau-Ginzburg models (LGk)

abstract: The bicategory of Landau-Ginzburg models denoted by LGK possesses adjoints and this helps in explaining a certain duality that exists in the setting of Landau-Ginzburg models in terms of some specified relations. The construction of LGK is reminiscent of, but more complex than, the construction of the bicategory of associative algebras and bimodules. In this paper, we review this complex but very inspiring construction in order to expose it more to pure mathematicians. In particular, we spend some time explaining the intricate construction of unit morphisms in this bicategory from a new vantage point. Besides, we briefly discuss how this bicategory could be constructed in more than one way using the variants of the Yoshino tensor product. Furthermore, without resorting to Atiyah classes, we prove that the left and right unitors in this bicategory have direct right inverses but do not have direct left inverses.


title: Microscopic State of BHs and an Exact One Body Method for Binary Dynamics in General Relativity

abstract: In gravitational collapses, the horizon and singularity's realisation in the finite future of the proper time used co-moving observer happens in the future of infinitely far away future of the normal time used outside probe. To the latter the horizon and singularity of a black hole formed through gravitational collapse are physical realities only in the sense of uncertainty principle and ensemble interpretation. We provide two exact time dependent solution families to the Einstein equation and show that they form a pair of complementarity description for the microscopic state of black holes by showing that the Bekenstein-Hawking entropy formula follows properly from their canonical wave function's degeneracy. We also develop an eXact One Body method for general relativity two-body dynamics whose conservative part requires no perturbative input from post newtonian approximation and applies to the full three stages of black hole binary merger events. By this method, we analytically calculate the gravitational wave forms following from such merger processes. In the case black holes carry exact and apriori horizon and singularity our wave forms agree with those following from conventional effective one body method but exhibit more consistent late time behaviour. In the case the black holes carry only asymptotic horizon and extended inner structure thus experiencing banana shape deformation as the merger progresses, our wave forms exhibit all features especially the late time quasi-normal mode type oscillation seen in real observations.


title: Making accurate and interpretable treatment decisions for binary outcomes

abstract: Optimal treatment rules can improve health outcomes on average by assigning a treatment associated with the most desirable outcome to each individual. Due to an unknown data generation mechanism, it is appealing to use flexible models to estimate these rules. However, such models often lead to complex and uninterpretable rules. In this article, we introduce an approach aimed at estimating optimal treatment rules that have higher accuracy, higher value, and lower loss from the same simple model family. We use a flexible model to estimate the optimal treatment rules and a simple model to derive interpretable treatment rules. We provide an extensible definition of interpretability and present a method that - given a class of simple models - can be used to select a preferred model. We conduct a simulation study to evaluate the performance of our approach compared to treatment rules obtained by fitting the same simple model directly to observed data. The results show that our approach has lower average loss, higher average outcome, and greater power in identifying individuals who can benefit from the treatment. We apply our approach to derive treatment rules of adjuvant chemotherapy in colon cancer patients using cancer registry data. The results show that our approach has the potential to improve treatment decisions.


title: Elliptic Fibrations on Vinberg's Most Algebraic K3 Surface

abstract: We explain how to use the computer algebra system OSCAR to find all elliptic fibrations (up to automorphism) on a given surface and compute their Weierstrass models. This is illustrated for Vinberg's most algebraic K3 surface, the unique K3 surface of Picard rank 20 and discriminant 3.


title: Remarks on Statistical mechanics of a moving system

abstract: In the realm of statistical mechanics, it has been established that there is no distinction between the micro-canonical and canonical ensembles in the thermodynamic limit. However, this paradigm may alter when addressing statistical mechanics in the context of a moving sample with a velocity $ v $. Our investigation reveals significant disparities between the two ensembles when considering relativistic effects up to the order of $ (v/c)^2 $. While the temperature remains the same in the former, it experiences an increase in the latter. If the system undergoes a finite-temperature phase transition, the critical temperature decreases in the co-moving frame of the latter ensemble. The implications of these findings on the thermodynamic zeroth to the third laws and the eigenstate thermalization hypothesis are analysed. The potential for the experimental detection of these novel effects in condensed matter systems are discussed.


title: Non-linear (3, 4, 1) multiplet of ${\cal N} = 4$, $d = 1$ supersymmetry as a semi-dynamical spin multiplet

abstract: We consider a new type of ${\cal N}=4$, $d=1$ semi-dynamical multiplet based on the non-linear version of the mirror multiplet ${\bf (3, 4, 1)}$, with the triplet of bosonic physical fields parametrizing a three-dimensional sphere $S^3$ of the radius $R$. The limit $R\to\infty$ amounts to the contraction $S^3\to\mathbb{R}^3$ and leads to the linear mirror multiplet ${\bf (3, 4, 1)}$. Spin degrees of freedom described by a Wess-Zumino action specify a two-dimensional surface embedded in the sphere $S^3$. A pair of the examples considered correspond to the round and squashed ``fuzzy'' 2-spheres. We couple the squashed 2-sphere model to the dynamical mirror multiplet ${\bf (2, 4, 2)}$. A notable feature of this coupling is the dependence of the squashing parameter on the bosonic fields $z, \bar z$ of the chiral multiplet.


title: A Zero-Forcing Approach for the RIS-Aided MIMO Broadcast Channel

abstract: We present efficient algorithms for the sum-spectral efficiency (SE) maximization of the multi-user reconfigurable intelligent surface (RIS)-aided multiple-input multiple-output (MIMO) broadcast channel based on a zero-forcing approach. These methods conduct a user allocation for which the computation is independent of the number of elements at the RIS, that is usually large. Specifically, two algorithms are given that exploit the line-of-sight (LOS) structure between the base station (BS) and the RIS. Simulations show superior SE performance compared to other linear precoding algorithms but with lower complexity.


title: $L^2$-spectrum, growth indicator function and critical exponent on locally symmetric spaces

abstract: In this short note we observe, on locally symmetric spaces of higher rank, a connection between the growth indicator function introduced by Quint and the modified critical exponent of the Poincar\'e series equipped with the polyhedral distance. As a consequence, we provide a different characterization of the bottom of the $L^2$-spectrum of the Laplace-Beltrami operator in terms of the growth indicator function. Moreover, we explore the relationship between these three objects and the temperedness.


title: Floquet Engineering of Hilbert Space Fragmentation in Stark Lattices

abstract: The concept of Hilbert space fragmentation (HSF) has recently been put forward as a routine to break quantum ergodicity. While HSF widely exists in dynamical constraint models, it is still challenging to tune HSF. Here, we propose a scheme to tune HSF in a one-dimensional tilted lattice of interacting spinless fermions with periodically driven tunneling. The dynamics is governed by effective Hamiltonians with kinetic constraints, which appear as density-dependent tunneling in the weak-tunneling perturbation expansion. The kinetic constraint can be tuned via changing the driving frequency, and three different kinds of strong HSF can be engineered. In general, the system is strongly constrained and exhibits a strong HSF. Two partial resonance frequencies are analytically given by a time-dependent perturbation theory for Floquet systems, at which some kinetic constraints are released and the system exhibits another two different strong HSF. We demonstrate the perturbation analysis with exact numerical simulation of the entanglement entropy, the density correlation functions and the saturated local density profiles. Our result provides a promising way to control HSF through Floquet engineering.


title: Benchmarking Pathology Feature Extractors for Whole Slide Image Classification

abstract: Weakly supervised whole slide image classification is a key task in computational pathology, which involves predicting a slide-level label from a set of image patches constituting the slide. Constructing models to solve this task involves multiple design choices, often made without robust empirical or conclusive theoretical justification. To address this, we conduct a comprehensive benchmarking of feature extractors to answer three critical questions: 1) Is stain normalisation still a necessary preprocessing step? 2) Which feature extractors are best for downstream slide-level classification? 3) How does magnification affect downstream performance? Our study constitutes the most comprehensive evaluation of publicly available pathology feature extractors to date, involving more than 10,000 training runs across 14 feature extractors, 9 tasks, 5 datasets, 3 downstream architectures, 2 levels of magnification, and various preprocessing setups. Our findings challenge existing assumptions: 1) We observe empirically, and by analysing the latent space, that skipping stain normalisation and image augmentations does not degrade performance, while significantly reducing memory and computational demands. 2) We develop a novel evaluation metric to compare relative downstream performance, and show that the choice of feature extractor is the most consequential factor for downstream performance. 3) We find that lower-magnification slides are sufficient for accurate slide-level classification. Contrary to previous patch-level benchmarking studies, our approach emphasises clinical relevance by focusing on slide-level biomarker prediction tasks in a weakly supervised setting with external validation cohorts. Our findings stand to streamline digital pathology workflows by minimising preprocessing needs and informing the selection of feature extractors.


title: Practical cross-sensor color constancy using a dual-mapping strategy

abstract: Deep Neural Networks (DNNs) have been widely used for illumination estimation, which is time-consuming and requires sensor-specific data collection. Our proposed method uses a dual-mapping strategy and only requires a simple white point from a test sensor under a D65 condition. This allows us to derive a mapping matrix, enabling the reconstructions of image data and illuminants. In the second mapping phase, we transform the re-constructed image data into sparse features, which are then optimized with a lightweight multi-layer perceptron (MLP) model using the re-constructed illuminants as ground truths. This approach effectively reduces sensor discrepancies and delivers performance on par with leading cross-sensor methods. It only requires a small amount of memory (~0.003 MB), and takes ~1 hour training on an RTX3070Ti GPU. More importantly, the method can be implemented very fast, with ~0.3 ms and ~1 ms on a GPU or CPU respectively, and is not sensitive to the input image resolution. Therefore, it offers a practical solution to the great challenges of data recollection that is faced by the industry.


title: A simple consensus model for an increasing population of agents with i.i.d incoming opinions

abstract: In this short note we study what happens in a symmetric opinion model when we send the total interacting population $N(t)$ to infinity as $t \to \infty$. We assume that new population enters the system with opinions that are i.i.d random vectors with finite mean and variance. We give sharp conditions on the rate of population growth that is required for convergence to a global consensus in opinions. More particularly, we show that if the total population increases at a rate $N(t)\sim e^{t^\alpha}$, then $\alpha<1$ is necessary and sufficient condition for convergence to the mean of incoming opinions, and the convergence is achieved at an algebraic rate.


title: Intelligent methods for business rule processing: State-of-the-art

abstract: In this article, we provide an overview of the latest intelligent techniques used for processing business rules. We have conducted a comprehensive survey of the relevant literature on robot process automation, with a specific focus on machine learning and other intelligent approaches. Additionally, we have examined the top vendors in the market and their leading solutions to tackle this issue.


title: Responsible AI Research Needs Impact Statements Too

abstract: All types of research, development, and policy work can have unintended, adverse consequences - work in responsible artificial intelligence (RAI), ethical AI, or ethics in AI is no exception.


title: Multimodal deep learning for mapping forest dominant height by fusing GEDI with earth observation data

abstract: The integration of multisource remote sensing data and deep learning models offers new possibilities for accurately mapping high spatial resolution forest height. We found that GEDI relative heights (RH) metrics exhibited strong correlation with the mean of the top 10 highest trees (dominant height) measured in situ at the corresponding footprint locations. Consequently, we proposed a novel deep learning framework termed the multi-modal attention remote sensing network (MARSNet) to estimate forest dominant height by extrapolating dominant height derived from GEDI, using Setinel-1 data, ALOS-2 PALSAR-2 data, Sentinel-2 optical data and ancillary data. MARSNet comprises separate encoders for each remote sensing data modality to extract multi-scale features, and a shared decoder to fuse the features and estimate height. Using individual encoders for each remote sensing imagery avoids interference across modalities and extracts distinct representations. To focus on the efficacious information from each dataset, we reduced the prevalent spatial and band redundancies in each remote sensing data by incorporating the extended spatial and band reconstruction convolution modules in the encoders. MARSNet achieved commendable performance in estimating dominant height, with an R2 of 0.62 and RMSE of 2.82 m, outperforming the widely used random forest approach which attained an R2 of 0.55 and RMSE of 3.05 m. Finally, we applied the trained MARSNet model to generate wall-to-wall maps at 10 m resolution for Jilin, China. Through independent validation using field measurements, MARSNet demonstrated an R2 of 0.58 and RMSE of 3.76 m, compared to 0.41 and 4.37 m for the random forest baseline. Our research demonstrates the effectiveness of a multimodal deep learning approach fusing GEDI with SAR and passive optical imagery for enhancing the accuracy of high resolution dominant height estimation.


title: Preliminary Report: On Information Hiding in Multi-Hop Radio Networks

abstract: In this paper, we consider the problem of an adversary aiming to learn information about the network topology or the executed algorithm from some signals obtained during the algorithm's execution. The problem is defined in a very general form. However, it is mainly motivated by multi-hop ad hoc radio networks. In contrast to previous work concentrated on single-hop radio networks, this model is critically more complex due to the number of possible settings that need to be taken into account when considering different combinations of topologies and communication models. Moreover, the definition of the adversary is also ambiguous, and the adequate approach needs to depend on the adversary's aims and capabilities. This preliminary report presents a general theoretical background and some basic algorithms. We also propose some general taxonomy as a framework for future research.


title: The point insertion technique and open $r$-spin theories II: intersection theories in genus-zero

abstract: The papers [5, 3, 6, 19, 20] initiated the study of open $r$-spin and open FJRW intersection theories, and related them to integrable hierarchies and mirror symmetry. This paper uses a new technique, the point insertion technique, developed in the prequel [36], to define new open r-spin and open FJRW intersection theories. These new constructions provide potential candidates for theories whose existence was conjectured before: $\bullet$ K. Hori [23] predicted the existence of open $r$-spin theory with $\lfloor\frac{r}{2}\rfloor$ types of boundary states. The one constructed in [5, 3] has only one type of boundary state. In this work we describe $\lfloor\frac{r}{2}\rfloor$ open $r$-spin theories, labelled by $\mathfrak{h}\in\{0,\ldots,\lfloor\frac{r}{2}\rfloor-1\},$ where the $\mathfrak{h}$-th one has $\mathfrak{h}+1$ boundary states. We prove that the $\mathfrak{h}=0$ theory is equivalent to the [5, 3] construction, and calculate all intersection numbers for all these theories. $\bullet$ In [1] K. Aleshkin and C.C.M. Liu conjectured the existence of a quintic Fermat FJRW theory. We construct such an FJRW theory, and provide evidence that this is the conjectured theory. We also explain how the point insertion technique can be used for constructing other open enumerative theories, satisfying the same universal recursions.


title: Investigating shadow images and rings of the charged Horndeski black hole illuminated by various thin accretions

abstract: In this paper, we investigate the shadows and rings of the charged Horndeski black hole illuminated by accretion flow that is both geometrically and optically thin. We consider two types of accretion models: spherical and thin-disk accretion flow. We find that in both types of models, the size of the charged Horndeski black hole shadow decreases with the increase of the charge, and it decreases more slowly for the Reissner-Nordstr\"om (RN) black hole. In the spherical accretion flow model, we find that the increase of the charge of Horndeski black hole brightens the light ring around it, and it brightens more significantly in comparison with RN black hole. Due to the Doppler effect, the charged Horndeski black holes with accretion flow of radial motion have darker shadows than those with the static accretion flow, but the size of the shadow is not affected by accretion flow motion. In the thin disk-shaped accretion flow model, we find that the brightness of the light ring around the charged Horndeski black hole is dominated by the direct emission from the accretion flow, and the contribution from lensed rings is relatively small, and that from the photon rings is negligible. We also find that the ring brightness decreases as the charge of Horndeski black hole increases, and the decrease is more significant than that in the RN black hole case. Moreover, the radiation position of the accretion flow can affect the shadow size and the ring brightness of the charged Horndeski black hole.


title: Identifying the population of T-Tauri stars in Taurus: UV-optical synergy

abstract: With the third data release of the Gaia mission $Gaia$ DR3 with its precise photometry and astrometry, it is now possible to study the behaviour of stars at a scale never seen before. In this paper, we developed new criteria to identify T-Tauri stars (TTS) candidates using UV and optical CMDs by combining the GALEX and Gaia surveys. We found 19 TTS candidates and 5 of them are newly identified TTS in the Taurus Molecular Cloud (TMC), not catalogued before as TMC members. For some of the TTS candidates, we also obtained optical spectra from several Indian telescopes. We also present the analysis of the distance and proper motion of young stars in the Taurus using data from $Gaia$ DR3. We found that the stars in Taurus show a bimodal distribution with distance, having peaks at $130.17_{-1.24}^{1.31}$ pc and $156.25_{-5.00}^{1.86}$ pc. The reason for this bimodality, we think, is due to the fact that different clouds in the TMC region are at different distances. We further show that the two populations have similar ages and proper motion distribution. Using the $Gaia$ DR3 colour-magnitude diagram, we show that the age of Taurus is consistent with 1 Myr.


title: Robust Tumor Segmentation with Hyperspectral Imaging and Graph Neural Networks

abstract: Segmenting the boundary between tumor and healthy tissue during surgical cancer resection poses a significant challenge. In recent years, Hyperspectral Imaging (HSI) combined with Machine Learning (ML) has emerged as a promising solution. However, due to the extensive information contained within the spectral domain, most ML approaches primarily classify individual HSI (super-)pixels, or tiles, without taking into account their spatial context. In this paper, we propose an improved methodology that leverages the spatial context of tiles for more robust and smoother segmentation. To address the irregular shapes of tiles, we utilize Graph Neural Networks (GNNs) to propagate context information across neighboring regions. The features for each tile within the graph are extracted using a Convolutional Neural Network (CNN), which is trained simultaneously with the subsequent GNN. Moreover, we incorporate local image quality metrics into the loss function to enhance the training procedure's robustness against low-quality regions in the training images. We demonstrate the superiority of our proposed method using a clinical ex vivo dataset consisting of 51 HSI images from 30 patients. Despite the limited dataset, the GNN-based model significantly outperforms context-agnostic approaches, accurately distinguishing between healthy and tumor tissues, even in images from previously unseen patients. Furthermore, we show that our carefully designed loss function, accounting for local image quality, results in additional improvements. Our findings demonstrate that context-aware GNN algorithms can robustly find tumor demarcations on HSI images, ultimately contributing to better surgery success and patient outcome.


title: CityScope: Enhanced Localozation and Synchronizing AR for Dynamic Urban Weather Visualization

abstract: CityScope uses augmented reality (AR) to change our interaction with weather data. The main goal is to develop real-time 3D weather visualizations, with Taiwan as the model. It displays live weather data from the Central Weather Bureau (CWB), projected onto a physical representation of Taiwan's landscape. A pivotal advancement in our project is the integration of AprilTag with plane detection technology. This innovative combination significantly enhances the precision of the virtual visualizations within the physical world. By accurately aligning AR elements with real-world environments, CityScope achieves a seamless and realistic amalgamation of weather data and the physical terrain of Taiwan. This breakthrough in AR technology not only enhances the accuracy of weather visualizations but also enriches user experience, offering an immersive and interactive way to understand and engage with meteorological information. CityScope stands as a testament to the potential of AR in transforming data visualization and public engagement in meteorology.


title: Correlation-induced viscous dissipation in concentrated electrolytes

abstract: Electrostatic correlations between ions dissolved in water are known to impact their transport properties in numerous ways, from conductivity to ion selectivity. The effects of these correlations on the solvent itself remain, however, much less clear. In particular, the addition of salt has been consistently reported to affect the solution's viscosity -- but most modelling attempts fail to reproduce experimental data even at moderate salt concentration. Here, we use an approach based on stochastic density functional theory, which accurately captures charge fluctuations and correlations. We derive a simple analytical expression for the viscosity correction in concentrated electrolytes, by directly linking it to the liquid's structure factor. Our prediction compares quantitatively to experimental data at all temperatures and all salt concentrations up to the saturation limit. This universal link between microscopic structure and viscosity allows to shed light on the nanoscale dynamics of water and ions in highly concentrated and correlated conditions.


title: Metrological power of incompatible measurements

abstract: We show that measurement incompatibility is a necessary resource to enhance the precision of quantum metrology. To utilize incompatible measurements, we propose a probabilistic method of operational quasiprobability (OQ) consisting of the measuring averages. OQ becomes positive semidefinite for some quantum states. We prove that Fisher information (FI), based on positive OQ, can be larger than the conventional quantum FI. Applying the proof, we show that FI of OQ can be extremely larger than quantum FI, when estimating a parameter encoded onto a qubit state with two mutually unbiased measurements. By adopting maximum likelihood estimator and linear error propagation methods, we illustrate that they achieve the high precision that our model predicts. This approach is expected to be applicable to improve quantum sensors.


title: Observation of abnormal suppression of $\mathrm{f}_{0}$(980) production in p$-$Pb collisions at $\sqrt{s_{\rm NN}}$ = 5.02 TeV

abstract: The dependence of $\mathrm{f}_{0}$(980) production on the final-state charged-particle multiplicity in p$-$Pb collisions at $\sqrt{s_{\mathrm{NN}}} = 5.02$ TeV is reported. The production of $\mathrm{f}_{0}$(980) is measured with the ALICE detector via the $\mathrm{f}_0 (980) \rightarrow \pi^{+}\pi^{-}$ decay channel in a midrapidity region of $-0.5<y<0$. Particle yield ratios of $\mathrm{f}_{0}$(980) to $\pi$ and $\mathrm{K}^{*}$(892)$^{0}$ are found to be decreasing with increasing charged-particle multiplicity. The magnitude of the suppression of the $\mathrm{f}_{0}$(980)/$\pi$ and $\mathrm{f}_{0}$(980)/$\mathrm{K}^{*}$(892)$^{0}$ yield ratios is found to be dependent on the transverse momentum $p_{\mathrm{T}}$, suggesting different mechanisms responsible for the measured effects. Furthermore, the nuclear modification factor $Q_{\mathrm{pPb}}$ of $\mathrm{f}_{0}$(980) is measured in various multiplicity ranges. The $Q_{\mathrm{pPb}}$ shows a strong suppression of the $\mathrm{f}_{0}$(980) production in the $p_{\mathrm{T}}$ region up to about 4 GeV/$c$. The results on the particle yield ratios and $Q_{\mathrm{pPb}}$ for $\mathrm{f}_{0}$(980) may help to understand the late hadronic phase in p$-$Pb collisions and the nature of the internal structure of $\mathrm{f}_{0}$(980) particle.


title: BGLS: A Python Package for the Gate-by-Gate Sampling Algorithm to Simulate Quantum Circuits

abstract: The classical simulation of quantum computers is in general a computationally hard problem. To emulate the behavior of realistic devices, it is sufficient to sample bitstrings from circuits. Recently, arXiv:2112.08499 introduced the so-called gate-by-gate sampling algorithm to sample bitstrings and showed it to be computationally favorable in many cases. Here we present bgls, a Python package which implements this sampling algorithm. bgls has native support for several states and is highly flexible for use with additional states. We show how to install and use bgls, discuss optimizations in the algorithm, and demonstrate its utility on several problems.


title: On Certain Gluing of semigroup rings and indispensable resolution of semigroup rings

abstract: In this paper, our aim is twofold: First, by using the technique of gluing semigroups, we give infinitely many families of a projective closure with the Cohen-Macaulay (Gorenstein) property. Also, we give an effective technique for constructing large families of one dimensional Gorenstein local rings associated to monomial curves, which supports Rossi question, saying that every Gorenstein local ring has a non-decreasing Hilbert function. In the second part, we study strong indispensable minimal free resolutions of semigroup rings, focusing on the operation of the join of affine semigroups, which provide class of examples supporting Charalambous and Thoma question on the class of lattice ideal which has a strong indispensable free resolution.


title: Approximate Linear Programming for Decentralized Policy Iteration in Cooperative Multi-agent Markov Decision Processes

abstract: In this work, we consider a cooperative multi-agent Markov decision process (MDP) involving m agents. At each decision epoch, all the m agents independently select actions in order to maximize a common long-term objective. In the policy iteration process of multi-agent setup, the number of actions grows exponentially with the number of agents, incurring huge computational costs. Thus, recent works consider decentralized policy improvement, where each agent improves its decisions unilaterally, assuming that the decisions of the other agents are fixed. However, exact value functions are considered in the literature, which is computationally expensive for a large number of agents with high dimensional state-action space. Thus, we propose approximate decentralized policy iteration algorithms, using approximate linear programming with function approximation to compute the approximate value function for decentralized policy improvement. Further, we consider (both) cooperative multi-agent finite and infinite horizon discounted MDPs and propose suitable algorithms in each case. Moreover, we provide theoretical guarantees for our algorithms and also demonstrate their advantages over existing state-of-the-art algorithms in the literature.


title: Particle spectra of gravity based on internal symmetry of quantum fields

abstract: We examine the weak-field, zero-coupling limit of Yang--Mills gravity as recently formulated by Partanen and Tulkki, viewed as a free quantum field theory. In this approximation the theory has a ghostly teleparallel vacuum. We suggest that bimetric, vacuum expectation value, or finite-coupling extensions should be investigated.


title: Metamorphic Testing of Image Captioning Systems via Image-Level Reduction

abstract: The Image Captioning (IC) technique is widely used to describe images in natural language. Recently, some IC system testing methods have been proposed. However, these methods still rely on pre-annotated information and hence cannot really alleviate the oracle problem in testing. Besides, their method artificially manipulates objects, which may generate unreal images as test cases and thus lead to less meaningful testing results. Thirdly, existing methods have various requirements on the eligibility of source test cases, and hence cannot fully utilize the given images to perform testing. To tackle these issues, in this paper, we propose REIC to perform metamorphic testing for IC systems with some image-level reduction transformations like image cropping and stretching. Instead of relying on the pre-annotated information, REIC uses a localization method to align objects in the caption with corresponding objects in the image, and checks whether each object is correctly described or deleted in the caption after transformation. With the image-level reduction transformations, REIC does not artificially manipulate any objects and hence can avoid generating unreal follow-up images. Besides, it eliminates the requirement on the eligibility of source test cases in the metamorphic transformation process, as well as decreases the ambiguity and boosts the diversity among the follow-up test cases, which consequently enables testing to be performed on any test image and reveals more distinct valid violations. We employ REIC to test five popular IC systems. The results demonstrate that REIC can sufficiently leverage the provided test images to generate follow-up cases of good reality, and effectively detect a great number of distinct violations, without the need for any pre-annotated information.


title: Photoproduction of K$^{+}$K$^{-}$ pairs in ultra-peripheral collisions

abstract: K$^{+}$K$^{-}$ pairs may be produced in photonuclear collisions, either from the decays of photoproduced $\phi (1020)$ mesons, or directly as non-resonant K$^{+}$K$^{-}$ pairs. Measurements of K$^{+}$K$^{-}$ photoproduction probe the couplings between the $\phi (1020)$ and charged kaons with photons and nuclear targets. The kaon$-$proton scattering occurs at energies far above those available elsewhere. We present the first measurement of coherent photoproduction of K$^{+}$K$^{-}$ pairs on lead ions in ultra-peripheral collisions using the ALICE detector, including the first investigation of direct K$^{+}$K$^{-}$ production. There is significant K$^{+}$K$^{-}$ production at low transverse momentum, consistent with coherent photoproduction on lead targets. In the mass range $1.1 < M_{\rm{KK}} < 1.4$ GeV/$c^2$ above the $\phi (1020)$ resonance, for rapidity $|y_{\rm{KK}}|<0.8$ and $p_{\rm T,KK} < 0.1$ GeV/$c$, the measured coherent photoproduction cross section is $\mathrm{d}\sigma/\mathrm{d}y$ = 3.37 $\pm\ 0.61$ (stat.) $\pm\ 0.15 $ (syst.) mb. The center-of-mass energy per nucleon of the photon-nucleus (Pb) system $W_{\gamma \mathrm{Pb, n}}$ ranges from 33 to 188 GeV, far higher than previous measurements on heavy-nucleus targets. The cross section is larger than expected for $\phi (1020)$ photoproduction alone. The mass spectrum is fit to a cocktail consisting of $\phi (1020)$ decays, direct K$^{+}$K$^{-}$ photoproduction, and interference between the two. The confidence regions for the amplitude and relative phase angle for direct K$^{+}$K$^{-}$ photoproduction are presented.


title: Universal Optimality of Dijkstra via Beyond-Worst-Case Heaps

abstract: This paper proves that Dijkstra's shortest-path algorithm is universally optimal in both its running time and number of comparisons when combined with a sufficiently efficient heap data structure. Universal optimality is a powerful beyond-worst-case performance guarantee for graph algorithms that informally states that a single algorithm performs as well as possible for every single graph topology. We give the first application of this notion to any sequential algorithm. We design a new heap data structure with a working-set property guaranteeing that the heap takes advantage of locality in heap operations. Our heap matches the optimal (worst-case) bounds of Fibonacci heaps but also provides the beyond-worst-case guarantee that the cost of extracting the minimum element is merely logarithmic in the number of elements inserted after it instead of logarithmic in the number of all elements in the heap. This makes the extraction of recently added elements cheaper. We prove that our working-set property is sufficient to guarantee universal optimality, specifically, for the problem of ordering vertices by their distance from the source vertex: The locality in the sequence of heap operations generated by any run of Dijkstra's algorithm on a fixed topology is strong enough that one can couple the number of comparisons performed by any heap with our working-set property to the minimum number of comparisons required to solve the distance ordering problem on this topology.


title: Examples of deformed Spin(7)-instantons/Donaldson-Thomas connections

abstract: We construct examples of deformed Hermitian Yang-Mills connections and deformed Spin(7)-instantons (also called Spin(7) deformed Donaldson-Thomas connections) on the cotangent bundle of $\mathbb{C}\mathbb{P}^2$ endowed with the Calabi hyperK\"ahler structure. Deformed Spin(7)-instantons on cones over 3-Sasakian 7-manifolds are also constructed. We show that these can be used to distinguish between isometric structures and also between Sp(2) and Spin(7) holonomy cones. To the best of our knowledge, these are the first non-trivial examples of deformed Spin(7)-instantons.


title: Effects and Coeffects in Call-By-Push-Value (Extended Version)

abstract: Effect and coeffect tracking are a useful way to integrate many types of compile-time analysis, such as cost, liveness or dataflow, into a language's type system. However, their interactions with call-by-push-value (CBPV), a computational model useful in compilation for its isolation of effects and its ability to encompass both call-by-name and call-by-value computations, are still poorly understood. We present fundamental results about those interactions, in particular effect and coeffect soundness. The former asserts that our CBPV-with-effects system accurately predicts the effects that the program may trigger during execution, and the latter asserts that our CBPV-with-coeffects system accurately tracks the demands a program makes on its environment. We prove our results for a core CBPV calculus and maintain generality across a broad range of effects and coeffects, laying the groundwork for future investigation.


title: Beyond Boundaries: A Comprehensive Survey of Transferable Attacks on AI Systems

abstract: Artificial Intelligence (AI) systems such as autonomous vehicles, facial recognition, and speech recognition systems are increasingly integrated into our daily lives. However, despite their utility, these AI systems are vulnerable to a wide range of attacks such as adversarial, backdoor, data poisoning, membership inference, model inversion, and model stealing attacks. In particular, numerous attacks are designed to target a particular model or system, yet their effects can spread to additional targets, referred to as transferable attacks. Although considerable efforts have been directed toward developing transferable attacks, a holistic understanding of the advancements in transferable attacks remains elusive. In this paper, we comprehensively explore learning-based attacks from the perspective of transferability, particularly within the context of cyber-physical security. We delve into different domains -- the image, text, graph, audio, and video domains -- to highlight the ubiquitous and pervasive nature of transferable attacks. This paper categorizes and reviews the architecture of existing attacks from various viewpoints: data, process, model, and system. We further examine the implications of transferable attacks in practical scenarios such as autonomous driving, speech recognition, and large language models (LLMs). Additionally, we outline the potential research directions to encourage efforts in exploring the landscape of transferable attacks. This survey offers a holistic understanding of the prevailing transferable attacks and their impacts across different domains.


title: Igniting Language Intelligence: The Hitchhiker's Guide From Chain-of-Thought Reasoning to Language Agents

abstract: Large language models (LLMs) have dramatically enhanced the field of language intelligence, as demonstrably evidenced by their formidable empirical performance across a spectrum of complex reasoning tasks. Additionally, theoretical proofs have illuminated their emergent reasoning capabilities, providing a compelling showcase of their advanced cognitive abilities in linguistic contexts. Critical to their remarkable efficacy in handling complex reasoning tasks, LLMs leverage the intriguing chain-of-thought (CoT) reasoning techniques, obliging them to formulate intermediate steps en route to deriving an answer. The CoT reasoning approach has not only exhibited proficiency in amplifying reasoning performance but also in enhancing interpretability, controllability, and flexibility. In light of these merits, recent research endeavors have extended CoT reasoning methodologies to nurture the development of autonomous language agents, which adeptly adhere to language instructions and execute actions within varied environments. This survey paper orchestrates a thorough discourse, penetrating vital research dimensions, encompassing: (i) the foundational mechanics of CoT techniques, with a focus on elucidating the circumstances and justification behind its efficacy; (ii) the paradigm shift in CoT; and (iii) the burgeoning of language agents fortified by CoT approaches. Prospective research avenues envelop explorations into generalization, efficiency, customization, scaling, and safety. This paper caters to a wide audience, including beginners seeking comprehensive knowledge of CoT reasoning and language agents, as well as experienced researchers interested in foundational mechanics and engaging in cutting-edge discussions on these topics. A repository for the related papers is available at https://github.com/Zoeyyao27/CoT-Igniting-Agent.


title: Operator Learning for Continuous Spatial-Temporal Model with Gradient-Based and Derivative-Free Optimization Methods

abstract: Partial differential equations are often used in the spatial-temporal modeling of complex dynamical systems in many engineering applications. In this work, we build on the recent progress of operator learning and present a data-driven modeling framework that is continuous in both space and time. A key feature of the proposed model is the resolution-invariance with respect to both spatial and temporal discretizations, without demanding abundant training data in different temporal resolutions. To improve the long-term performance of the calibrated model, we further propose a hybrid optimization scheme that leverages both gradient-based and derivative-free optimization methods and efficiently trains on both short-term time series and long-term statistics. We investigate the performance of the spatial-temporal continuous learning framework with three numerical examples, including the viscous Burgers' equation, the Navier-Stokes equations, and the Kuramoto-Sivashinsky equation. The results confirm the resolution-invariance of the proposed modeling framework and also demonstrate stable long-term simulations with only short-term time series data. In addition, we show that the proposed model can better predict long-term statistics via the hybrid optimization scheme with a combined use of short-term and long-term data.


title: A classification of Mengerian $4$-uniform hypergraphs derived from graphs

abstract: In this paper, we give a classification of all Mengerian $4$-uniform hypergraphs derived from graphs.