title: Scale-aware neural calibration for wide swath altimetry observations

abstract: Sea surface height (SSH) is a key geophysical parameter for monitoring and studying meso-scale surface ocean dynamics. For several decades, the mapping of SSH products at regional and global scales has relied on nadir satellite altimeters, which provide one-dimensional-only along-track satellite observations of the SSH. The Surface Water and Ocean Topography (SWOT) mission deploys a new sensor that acquires for the first time wide-swath two-dimensional observations of the SSH. This provides new means to observe the ocean at previously unresolved spatial scales. A critical challenge for the exploiting of SWOT data is the separation of the SSH from other signals present in the observations. In this paper, we propose a novel learning-based approach for this SWOT calibration problem. It benefits from calibrated nadir altimetry products and a scale-space decomposition adapted to SWOT swath geometry and the structure of the different processes in play. In a supervised setting, our method reaches the state-of-the-art residual error of ~1.4cm while proposing a correction on the entire spectral from 10km to 1000k


title: A remark on the logarithmic decay of the damped wave and Schr\"odinger equations on a compact Riemannian manifold

abstract: In this paper we consider a compact Riemannian manifold (M, g) of class C 1 $\cap$ W 2,$\infty$ and the damped wave or Schr\"odinger equations on M , under the action of a damping function a = a(x). We establish the following fact: if the measure of the set {x $\in$ M ; a(x) = 0} is strictly positive, then the decay in time of the associated energy is at least logarithmic.


title: RIS-Position and Orientation Estimation in MIMO-OFDM Systems with Practical Scatterers

abstract: In this paper, we investigate the problem of estimating the position and the angle of rotation of a mobile station (MS) in a millimeter wave (mmWave) multiple-input-multiple-output (MIMO) system aided by a reconfigurable intelligent surface (RIS). The virtual line-of-sight (VLoS) link created by the RIS and the non-line-of-sight (NLoS) links that originate from scatterers in the considered environment are utilized to facilitate the estimation. A two-step positioning scheme is exploited, where the channel parameters are first acquired, and the position-related parameters are then estimated. The channel parameters are obtained through a coarser and a subsequent finer estimation processes. As for the coarse estimation, the distributed compressed sensing orthogonal simultaneous matching pursuit (DCS-SOMP) algorithm, the maximum likelihood (ML) algorithm, and the discrete Fourier transform (DFT) are utilized to separately estimate the channel parameters. The obtained channel parameters are then jointly refined by using the space-alternating generalized expectation maximization (SAGE) algorithm, which circumvents the high-dimensional optimization issue of ML estimation. Departing from the estimated channel parameters, the positioning-related parameters are estimated. The performance of estimating the channel-related and position-related parameters is theoretically quantified by using the Cramer-Rao lower bound (CRLB). Simulation results demonstrate the superior performance of the proposed positioning algorithms.


title: FLAC: A Robust Failure-Aware Atomic Commit Protocol for Distributed Transactions

abstract: In distributed transaction processing, atomic commit protocol (ACP) is used to ensure database consistency. With the use of commodity compute nodes and networks, failures such as system crashes and network partitioning are common. It is therefore important for ACP to dynamically adapt to the operating condition for efficiency while ensuring the consistency of the database. Existing ACPs often assume stable operating conditions, hence, they are either non-generalizable to different environments or slow in practice. In this paper, we propose a novel and practical ACP, called Failure-Aware Atomic Commit (FLAC). In essence, FLAC includes three protocols, which are specifically designed for three different environments: (i) no failure occurs, (ii) participant nodes might crash but there is no delayed connection, or (iii) both crashed nodes and delayed connection can occur. It models these environments as the failure-free, crash-failure, and network-failure robustness levels. During its operation, FLAC can monitor if any failure occurs and dynamically switch to operate the most suitable protocol, using a robustness level state machine, whose parameters are fine-tuned by reinforcement learning. Consequently, it improves both the response time and throughput, and effectively handles nodes distributed across the Internet where crash and network failures might occur. We implement FLAC in a distributed transactional key-value storage system based on Google Percolator and evaluate its performance with both a micro benchmark and a macro benchmark of real workload. The results show that FLAC achieves up to 2.22x throughput improvement and 2.82x latency speedup, compared to existing ACPs for high-contention workloads.


title: MTS-Mixers: Multivariate Time Series Forecasting via Factorized Temporal and Channel Mixing

abstract: Multivariate time series forecasting has been widely used in various practical scenarios. Recently, Transformer-based models have shown significant potential in forecasting tasks due to the capture of long-range dependencies. However, recent studies in the vision and NLP fields show that the role of attention modules is not clear, which can be replaced by other token aggregation operations. This paper investigates the contributions and deficiencies of attention mechanisms on the performance of time series forecasting. Specifically, we find that (1) attention is not necessary for capturing temporal dependencies, (2) the entanglement and redundancy in the capture of temporal and channel interaction affect the forecasting performance, and (3) it is important to model the mapping between the input and the prediction sequence. To this end, we propose MTS-Mixers, which use two factorized modules to capture temporal and channel dependencies. Experimental results on several real-world datasets show that MTS-Mixers outperform existing Transformer-based models with higher efficiency.


title: 2022 report from the Auger-TA working group on UHECR arrival directions

abstract: After over 60 years, the powerful engines that accelerate ultra-high-energy cosmic rays (UHECRs) to the formidable energies at which we observe them from Earth remain mysterious. Assuming standard physics, we expect UHECR sources to lie within the local Universe (up to a few hundred~Mpc). The distribution of matter in the local Universe is anisotropic, and we expect this anisotropy to be imprinted on the distribution of UHECR arrival directions. Even though intervening intergalactic and Galactic magnetic fields deflect charged UHECRs and can distort these anisotropies, some amount of information on the distribution of the sources is preserved. In this proceedings contribution, we present the results of the joint Pierre Auger Observatory and Telescope Array searches for (a) the largest-scale anisotropies (the harmonic dipole and quadrupole) and (b) correlations with a sample of nearby starburst galaxies and the 2MRS catalogue tracing stellar mass within~250~Mpc. This analysis updates our previous results with the most recent available data, notably with the addition of 3~years of new Telescope Array data. The main finding is a correlation between the arrival directions of $12.1\%_{-3.1\%}^{+4.5\%}$~of UHECRs detected with $E \geq 38$~EeV by~Auger or with~$E \gtrsim 49$~EeV by~TA and the positions of nearby starburst galaxies on a ${15.1\text{deg}}_{-3.0\text{deg}}^{+4.6\text{deg}}$~angular scale, with a $4.7\sigma$~post-trial significance, up from $4.2\sigma$ obtained in our previous study.


title: Aperiodicity in Quantum Wang Tilings

abstract: By reformulating the Wang tiles formalism with tensors, we propose a natural generalization to the probabilistic and quantum setting. In this new framework, we introduce notions of tilings and periodicity directly extending their classical counterparts. In the one dimensional case, we recover the decidability of the generalized domino problem by linking it to the trace characterization of nilpotent matrices. In the two-dimensional case, we provide extension of weak and strong aperiodicity respectively and show the equivalence of those generalized notions, extending the well known equivalence in the classical case. We also exhibit a quantum tile set being aperiodic while its underlying classical tile set is not, proving that quantum interference can suppress periodic patterns.


title: A 1.1- / 0.9-nA Temperature-Independent 213- / 565-ppm/$^\circ$C Self-Biased CMOS-Only Current Reference in 65-nm Bulk and 22-nm FDSOI

abstract: In many applications, the ability of current references to cope with process, voltage, and temperature (PVT) variations is critical to maintaining system-level performance. However, temperature-independent current references operating in the nA range are rarely area-efficient due to the use of large resistors which occupy a significant silicon area at this current level. In this article, we introduce a nA-range constant-with-temperature (CWT) current reference relying on a self-cascode MOSFET (SCM), biased by a proportional-to-absolute-temperature (PTAT) voltage with a CWT offset. On the one hand, the proposed reference has been simulated post-layout in 65-nm bulk. This design consumes 5.4 nW at 0.7 V and achieves a 1.1-nA current with a line sensitivity (LS) of 0.69 %/V and a temperature coefficient (TC) of 213 ppm/$^\circ$C. On the other hand, the proposed reference has been simulated and fabricated in 22-nm fully depleted silicon-on-insulator (FDSOI). This second design requires additional features to mitigate the impact of parasitic diode leakage at high temperature. In measurement, it consumes 5.8 nW at 0.9 V and achieves a 0.9-nA current with a 0.39-%/V LS and a 565-ppm/$^\circ$C TC. As a result of using an SCM, the proposed references occupy a silicon area of 0.0021 mm$^2$ in 65 nm (respectively, 0.0132 mm$^2$ in 22 nm) at least 25$\times$ (respectively, 4$\times$) smaller than state-of-the-art CWT references operating in the same current range.


title: Doubly Charmed Tetraquark $T^+_{cc}$ from Lattice QCD near Physical Point

abstract: The doubly charmed tetraquark $T^+_{cc}$ recently discovered by the LHCb Collaboration is studied on the basis of $(2+1)$-flavor lattice QCD simulations of the $D^*D$ system with nearly physical pion mass $m_\pi=146$ MeV. The interaction of $D^*D$ in the isoscalar and $S$-wave channel, derived from the hadronic spacetime correlation by the HAL QCD method, is attractive for all distances and leads to a near-threshold virtual state with a pole position $E_\text{pole}=-59\left(^{+53}_{-99}\right)\left(^{+2}_{-67}\right)$ keV and a large scattering length $1/a_0=0.05(5)\left(^{+2}_{-2}\right)~\text{fm}^{-1}$. The virtual state is shown to evolve into a loosely bound state as $m_\pi$ decreases to its physical value by using a potential modified to $m_\pi=135$ MeV based on the pion-exchange interaction. Such a potential is found to give a semiquantitative description of the LHCb data on the $D^0D^0\pi^+$ mass spectrum. Future study is necessary to perform physical-point simulations with the isospin-breaking and open three-body-channel effects taken into account.


title: Two classes of operators related to the perturbation classes problem

abstract: Let $SS$ and $SC$ be the strictly singular and the strictly cosingular operators acting between Banach spaces, and let $P\Phi_+$ and $P\Phi_+$ be the perturbation classes for the upper and the lower semi-Fredholm operators. We study two classes of operators $\Phi S$ and $\Phi C$ that satisfy $SS\subset \Phi S \subset P\Phi_+$ and $SC\subset \Phi C\subset P\Phi_-$. We give some conditions under which these inclusions become equalities, from which we derive some positive solutions to the perturbation classes problem for semi-Fredholm operators.


title: Euclid preparation: XXVIII. Modelling of the weak lensing angular power spectrum

abstract: This work considers which higher-order effects in modelling the cosmic shear angular power spectra must be taken into account for Euclid. We identify which terms are of concern, and quantify their individual and cumulative impact on cosmological parameter inference from Euclid. We compute the values of these higher-order effects using analytic expressions, and calculate the impact on cosmological parameter estimation using the Fisher matrix formalism. We review 24 effects and find the following potentially need to be accounted for: the reduced shear approximation, magnification bias, source-lens clustering, source obscuration, local Universe effects, and the flat Universe assumption. Upon computing these explicitly, and calculating their cosmological parameter biases, using a maximum multipole of $\ell=5000$, we find that the magnification bias, source-lens clustering, source obscuration, and local Universe terms individually produce significant ($\,>0.25\sigma$) cosmological biases in one or more parameters, and accordingly must be accounted for. In total, over all effects, we find biases in $\Omega_{\rm m}$, $\Omega_{\rm b}$, $h$, and $\sigma_{8}$ of $0.73\sigma$, $0.28\sigma$, $0.25\sigma$, and $-0.79\sigma$, respectively, for flat $\Lambda$CDM. For the $w_0w_a$CDM case, we find biases in $\Omega_{\rm m}$, $\Omega_{\rm b}$, $h$, $n_{\rm s}$, $\sigma_{8}$, and $w_a$ of $1.49\sigma$, $0.35\sigma$, $-1.36\sigma$, $1.31\sigma$, $-0.84\sigma$, and $-0.35\sigma$, respectively; which are increased relative to the $\Lambda$CDM due to additional degeneracies as a function of redshift and scale.


title: Classification of BCI-EEG based on augmented covariance matrix

abstract: Objective: Electroencephalography signals are recorded as a multidimensional dataset. We propose a new framework based on the augmented covariance extracted from an autoregressive model to improve motor imagery classification. Methods: From the autoregressive model can be derived the Yule-Walker equations, which show the emergence of a symmetric positive definite matrix: the augmented covariance matrix. The state-of the art for classifying covariance matrices is based on Riemannian Geometry. A fairly natural idea is therefore to extend the standard approach using these augmented covariance matrices. The methodology for creating the augmented covariance matrix shows a natural connection with the delay embedding theorem proposed by Takens for dynamical systems. Such an embedding method is based on the knowledge of two parameters: the delay and the embedding dimension, respectively related to the lag and the order of the autoregressive model. This approach provides new methods to compute the hyper-parameters in addition to standard grid search. Results: The augmented covariance matrix performed noticeably better than any state-of-the-art methods. We will test our approach on several datasets and several subjects using the MOABB framework, using both within-session and cross-session evaluation. Conclusion: The improvement in results is due to the fact that the augmented covariance matrix incorporates not only spatial but also temporal information, incorporating nonlinear components of the signal through an embedding procedure, which allows the leveraging of dynamical systems algorithms. Significance: These results extend the concepts and the results of the Riemannian distance based classification algorithm.


title: Non compact (2+1)-TQFTs from non-semisimple spherical categories

abstract: This paper contains three related groupings of results. First, we consider a new notion of an admissible skein module of a surface associated to an ideal in a (non-semisimple) pivotal category. Second, we introduce the notion of a chromatic category and associate to such a category a finite dimensional non-compact (2+1)-TQFT by assigning admissible skein modules to closed oriented surfaces and using Juh\'asz's presentation of cobordisms. The resulting TQFT extends to a genuine one if and only if the chromatic category is semisimple with nonzero dimension (recovering then the Turaev-Viro TQFT). The third grouping of results concerns sided chromatic maps in finite tensor categories. In particular, we prove that every spherical tensor category (in the sense of Etingof, Douglas et al.) is a chromatic category (and so can be used to define a non-compact (2+1)-TQFT).


title: Single-shot laser-induced switching of an exchange biased antiferromagnet

abstract: Ultrafast manipulation of magnetic order has challenged our understanding the fundamental and dynamic properties of magnetic materials. So far single shot magnetic switching has been limited to ferrimagnetic alloys and multilayers. In ferromagnetic (FM)/antiferromagnetic (AFM) bilayers, exchange bias (He) arises from the interfacial exchange coupling between the two layers and reflects the microscopic orientation of the antiferromagnet. Here we demonstrate the possibility of single shot switching of the antiferromagnet (change of the sign and amplitude of He) with a single femtosecond laser pulse in IrMn/CoGd bilayers. We demonstrate the switching for a wide range of fluences for different layer thicknesses and compositions. Atomistic simulations predict ultrafast switching and recovery of the AFM magnetization on a timescale of 2 ps. These results provide the fastest and the most energy-efficient method to set the exchange bias and pave the way to potential applications for ultrafast spintronic devices.


title: A Large-Scale Analysis of Persian Tweets Regarding Covid-19 Vaccination

abstract: The Covid-19 pandemic had an enormous effect on our lives, especially on people's interactions. By introducing Covid-19 vaccines, both positive and negative opinions were raised over the subject of taking vaccines or not. In this paper, using data gathered from Twitter, including tweets and user profiles, we offer a comprehensive analysis of public opinion in Iran about the Coronavirus vaccines. For this purpose, we applied a search query technique combined with a topic modeling approach to extract vaccine-related tweets. We utilized transformer-based models to classify the content of the tweets and extract themes revolving around vaccination. We also conducted an emotion analysis to evaluate the public happiness and anger around this topic. Our results demonstrate that Covid-19 vaccination has attracted considerable attention from different angles, such as governmental issues, safety or hesitancy, and side effects. Moreover, Coronavirus-relevant phenomena like public vaccination and the rate of infection deeply impacted public emotional status and users' interactions.


title: Length orthospectrum and the correlation function on flat tori

abstract: This note presents some of the results obtained in arXiv:2207.05410 and it has beenthe object of a talk of the second author during the Journ\'ees "\'Equations auxD\'eriv\'ees Partielles" (Obernai, june 2022). We study properties of geodesics that are orthogonal to two convex subsets of the flat torus. We discuss meromorphic properties of a geometric Epstein zeta function associated to the set of lengths of such orthogeodesics. We also define the associated length distribution and discuss singularities of its Fourier transform. Our analysis relies on a fine study of the dynamical correlation function of the geodesic flow on the torus and the definition of anisotropic Sobolev spaces that are well-adapted to this integrable dynamics.

categories: math.AP math-ph math.DG math.DS math.MP math.SP


title: On 3-nondegenerate CR manifolds in dimension 7 (I): the transitive case

abstract: We investigate 3-nondegenerate CR structures in the lowest possible dimension 7, and one of our goals is to prove Beloshapka's conjecture on the symmetry dimension bound for hypersurfaces in $\mathbb{C}^4$. We claim that 8 is the maximal symmetry dimension of 3-nondegenerate CR structures in dimension 7, which is achieved on the homogeneous model. This part (I) is devoted to the homogeneous case: we prove that the model is locally the only homogeneous 3-nondegenerate CR structure in dimension 7.


title: Disjointly non-singular operators: Extensions and local variations

abstract: The disjointly non-singular ($DNS$) operators $T\in L(E,Y)$ from a Banach lattice $E$ to a Banach space $Y$ are those operators which are strictly singular in no closed subspace generated by a disjoint sequence of non-zero vectors. When $E$ is order continuous with a weak unit, $E$ can be represented as a dense ideal in some $L_1(\mu)$ space, and we show that each of $T\in DNS(E,Y)$ admits an extension $\overline{T}\in DNS(L_1(\mu),PO)$ from which we derive that both $T$ and $T^{**}$ are tauberian operators and that the operator $T^{co}: E^{**}/E\to Y^{**}/Y$ induced by $T^{**}$ is an (into) isomorphism. Also, using a local variation of the notion of $DNS$ operator, we show that the ultrapowers of $T\in DNS(E,Y)$ are also $DNS$ operators. Moreover, when $E$ contains no copies of $c_0$ and admits a weak unit, we show that $T\in DNS(E,Y)$ implies $T^{**}\in DNS(E^{**},Y^{**})$.


title: Exact computations with quasiseparable matrices

abstract: Quasi-separable matrices are a class of rank-structured matriceswidely used in numerical linear algebra and of growing interestin computer algebra, with applications in e.g. the linearization ofpolynomial matrices. Various representation formats exist for thesematrices that have rarely been compared.We show how the most central formats SSS and HSS can beadapted to symbolic computation, where the exact rank replacesthreshold based numerical ranks. We clarify their links and comparethem with the Bruhat format. To this end, we state their space andtime cost estimates based on fast matrix multiplication, and comparethem, with their leading constants. The comparison is supportedby software experiments.We make further progresses for the Bruhat format, for which wegive a generation algorithm, following a Crout elimination scheme,which specializes into fast algorithms for the construction from asparse matrix or from the sum of Bruhat representations.


title: Teutsch 76: a Deep Near-Infrared Study

abstract: We have performed a detailed analysis on the Teutsch 76 (T76) open cluster using the deep near-infrared (NIR) observations taken with the TANSPEC instrument mounted on the 3.6m Devasthal Optical Telescope (DOT) along with the recently available high quality proper motion data from the {\it Gaia} data release 3 and deep photometric data from Pan-STARRS1 survey. We have found that the T76 cluster is having a central density concentration with circular morphology, probably due to the star formation processes. The radius of the T76 cluster is found to be 45$^{\prime}{^\prime}$ (1.24 pc) and 28 stars within this radius were marked as highly probable cluster members. We have found that the cluster is located at a distance of $5.7\pm1.0$ kpc and is having an age of $50\pm10$ Myr. The mass function slope ($\Gamma$) in the cluster region in the mass range $\sim$0.75$<$M/M$_\odot$$<$5.8 is estimated as $-1.3\pm0.2$, which is similar to the value `-1.35' given by \citet{1955ApJ...121..161S}. The cluster is not showing any signatures of mass-segregation and is currently undergoing dynamical relaxation.


title: Joint Uplink and Downlink EMF Exposure: Performance Analysis and Design Insights

abstract: Installing more base stations (BSs) into the existing cellular infrastructure is an essential way to provide greater network capacity and higher data rate in the 5th-generation cellular networks (5G). However, a non-negligible amount of population is concerned that such network densification will generate a notable increase in exposure to electric and magnetic fields (EMF) over the territory. In this paper, we analyze the downlink, uplink, and joint downlink&uplink exposure induced by the radiation from BSs and personal user equipment (UE), respectively, in terms of the received power density and exposure index. In our analysis, we consider the EMF restrictions set by the regulatory authorities such as the minimum distance between restricted areas (e.g., schools and hospitals) and BSs, and the maximum permitted exposure. Exploiting tools from stochastic geometry, mathematical expressions for the coverage probability and statistical EMF exposure are derived and validated. Tuning the system parameters such as the BS density and the minimum distance from a BS to restricted areas, we show a trade-off between reducing the population's exposure to EMF and enhancing the network coverage performance. Then, we formulate optimization problems to maximize the performance of the EMF-aware cellular network while ensuring that the EMF exposure complies with the standard regulation limits with high probability. For instance, the exposure from BSs is two orders of magnitude less than the maximum permissible level when the density of BSs is less than 20 BSs/km2.


title: Introduction To Gaussian Process Regression In Bayesian Inverse Problems, With New ResultsOn Experimental Design For Weighted Error Measures

abstract: Bayesian posterior distributions arising in modern applications, including inverse problems in partial differential equation models in tomography and subsurface flow, are often computationally intractable due to the large computational cost of evaluating the data likelihood. To alleviate this problem, we consider using Gaussian process regression to build a surrogate model for the likelihood, resulting in an approximate posterior distribution that is amenable to computations in practice. This work serves as an introduction to Gaussian process regression, in particular in the context of building surrogate models for inverse problems, and presents new insights into a suitable choice of training points. We show that the error between the true and approximate posterior distribution can be bounded by the error between the true and approximate likelihood, measured in the $L^2$-norm weighted by the true posterior, and that efficiently bounding the error between the true and approximate likelihood in this norm suggests choosing the training points in the Gaussian process surrogate model based on the true posterior.


title: RayNet: A Simulation Platform for Developing Reinforcement Learning-Driven Network Protocols

abstract: Reinforcement Learning (RL) has gained significant momentum in the development of network protocols. However, RL-based protocols are still in their infancy, and substantial research is required to build deployable solutions. Developing a protocol based on RL is a complex and challenging process that involves several model design decisions and requires significant training and evaluation in real and simulated network topologies. Network simulators offer an efficient training environment for RL-based protocols, because they are deterministic and can run in parallel. In this paper, we introduce \textit{RayNet}, a scalable and adaptable simulation platform for the development of RL-based network protocols. RayNet integrates OMNeT++, a fully programmable network simulator, with Ray/RLlib, a scalable training platform for distributed RL. RayNet facilitates the methodical development of RL-based network protocols so that researchers can focus on the problem at hand and not on implementation details of the learning aspect of their research. We developed a simple RL-based congestion control approach as a proof of concept showcasing that RayNet can be a valuable platform for RL-based research in computer networks, enabling scalable training and evaluation. We compared RayNet with \textit{ns3-gym}, a platform with similar objectives to RayNet, and showed that RayNet performs better in terms of how fast agents can collect experience in RL environments.


title: Expansion-free dissipative fluid spheres: Analytical models

abstract: We search exact analytical solutions of spherically symmetric dissipative fluid distributions satisfying the vanishing expansion condition (vanishing expansion scalar $\Theta$). To do so we shall impose additional restrictions allowing the integration of the field equations. A detailed analysis of the obtained solutions, their prospective applications to astrophysical scenarios, as well as alternative approaches to obtain new solutions, are discussed.


title: IH-ViT: Vision Transformer-based Integrated Circuit Appear-ance Defect Detection

abstract: For the problems of low recognition rate and slow recognition speed of traditional detection methods in IC appearance defect detection, we propose an IC appearance defect detection algo-rithm IH-ViT. Our proposed model takes advantage of the respective strengths of CNN and ViT to acquire image features from both local and global aspects, and finally fuses the two features for decision making to determine the class of defects, thus obtaining better accuracy of IC defect recognition. To address the problem that IC appearance defects are mainly reflected in the dif-ferences in details, which are difficult to identify by traditional algorithms, we improved the tra-ditional ViT by performing an additional convolution operation inside the batch. For the problem of information imbalance of samples due to diverse sources of data sets, we adopt a dual-channel image segmentation technique to further improve the accuracy of IC appearance defects. Finally, after testing, our proposed hybrid IH-ViT model achieved 72.51% accuracy, which is 2.8% and 6.06% higher than ResNet50 and ViT models alone. The proposed algorithm can quickly and accurately detect the defect status of IC appearance and effectively improve the productivity of IC packaging and testing companies.


title: Hardness of monadic second-order formulae over succinct graphs

abstract: Our main result is a succinct counterpoint to Courcelle's meta-theorem as follows: every arborescent monadic second-order (MSO) property is either NP-hard or coNP-hard over graphs given by succinct representations. Succint representations are Boolean circuits computing the adjacency relation. Arborescent properties are those which have infinitely many models and countermodels with bounded treewidth. Moreover, we explore what happens when the arborescence condition is dropped and show that, under a reasonable complexity assumption, the previous dichotomy fails, even for questions expressible in first-order logic.


title: Characterising Polariton States in Non-Dispersive Regime of Circuit Quantum Electrodynamics

abstract: A superconducting qubit coupled to a read-out resonator is currently the building block of multiple quantum computing as well as quantum optics experiments. A typical qubit-resonator system is coupled in the dispersive regime, where the detuning between qubit and resonator is much greater than the coupling between them. In this work, we fabricated and measured a superconducting transmon-resonator system in the non-dispersive regime. The dressed states formed by the mixing of the bare qubit and resonator states can be further mixed by applying a drive on the qubit, leading to the formation of polariton states. We report experimental studies of transitions between polariton states at varying driving powers and frequencies and show how the non-dispersive coupling of the higher levels of the qubit-resonator system modifies the polariton eigenstates and the corresponding transition frequencies. We also report close agreement with numerical results obtained from a driven Jaynes-Cummings Model beyond the dispersive regime.


title: A resilience glossary shaped by context: Reviewing resilience-related terms for critical infrastructures

abstract: We present a comprehensive resilience glossary, comprising a set of 91 definitions of resilience-related terms used in the context of critical infrastructures. The definition and use of many of these terms, as well as the term resilience itself, shows an enormous variability in the literature. Therefore, we draw from the diverse pool of published definitions, integrate multiple contrasting views, compare the individual terms, and provide references to adjoining or contesting views, to create a clear resilience terminology. This terminology outlines a specific understanding of resilience which supports the effective assessment and management of the resilience of critical infrastructures. The two central elements of this understanding are that (1) resilience is the ability of a system to deal with the impacts of unspecific and possibly unforeseen disruptive events, and that (2) this ability comprises three pillar capacities whose quality can be extracted from performance curves.


title: On Fairness and Stability: Is Estimator Variance a Friend or a Foe?

abstract: The error of an estimator can be decomposed into a (statistical) bias term, a variance term, and an irreducible noise term. When we do bias analysis, formally we are asking the question: "how good are the predictions?" The role of bias in the error decomposition is clear: if we trust the labels/targets, then we would want the estimator to have as low bias as possible, in order to minimize error. Fair machine learning is concerned with the question: "Are the predictions equally good for different demographic/social groups?" This has naturally led to a variety of fairness metrics that compare some measure of statistical bias on subsets corresponding to socially privileged and socially disadvantaged groups. In this paper we propose a new family of performance measures based on group-wise parity in variance. We demonstrate when group-wise statistical bias analysis gives an incomplete picture, and what group-wise variance analysis can tell us in settings that differ in the magnitude of statistical bias. We develop and release an open-source library that reconciles uncertainty quantification techniques with fairness analysis, and use it to conduct an extensive empirical analysis of our variance-based fairness measures on standard benchmarks.


title: The QCD shockwave approach at NLO: towards precision physics in gluonic saturation

abstract: We review the recent developments of the QCD shockwave approach at Next-to-Leading Order. The general method of this effective action is sketched, and illustrated by the case of diffractive processes.


title: Toward Extremely Lightweight Distracted Driver Recognition With Distillation-Based Neural Architecture Search and Knowledge Transfer

abstract: The number of traffic accidents has been continuously increasing in recent years worldwide. Many accidents are caused by distracted drivers, who take their attention away from driving. Motivated by the success of Convolutional Neural Networks (CNNs) in computer vision, many researchers developed CNN-based algorithms to recognize distracted driving from a dashcam and warn the driver against unsafe behaviors. However, current models have too many parameters, which is unfeasible for vehicle-mounted computing. This work proposes a novel knowledge-distillation-based framework to solve this problem. The proposed framework first constructs a high-performance teacher network by progressively strengthening the robustness to illumination changes from shallow to deep layers of a CNN. Then, the teacher network is used to guide the architecture searching process of a student network through knowledge distillation. After that, we use the teacher network again to transfer knowledge to the student network by knowledge distillation. Experimental results on the Statefarm Distracted Driver Detection Dataset and AUC Distracted Driver Dataset show that the proposed approach is highly effective for recognizing distracted driving behaviors from photos: (1) the teacher network's accuracy surpasses the previous best accuracy; (2) the student network achieves very high accuracy with only 0.42M parameters (around 55% of the previous most lightweight model). Furthermore, the student network architecture can be extended to a spatial-temporal 3D CNN for recognizing distracted driving from video clips. The 3D student network largely surpasses the previous best accuracy with only 2.03M parameters on the Drive&Act Dataset. The source code is available at https://github.com/Dichao-Liu/Lightweight_Distracted_Driver_Recognition_with_Distillation-Based_NAS_and_Knowledge_Transfer.


title: Explaining with Greater Support: Weighted Column Sampling Optimization for q-Consistent Summary-Explanations

abstract: Machine learning systems have been extensively used as auxiliary tools in domains that require critical decision-making, such as healthcare and criminal justice. The explainability of decisions is crucial for users to develop trust on these systems. In recent years, the globally-consistent rule-based summary-explanation and its max-support (MS) problem have been proposed, which can provide explanations for particular decisions along with useful statistics of the dataset. However, globally-consistent summary-explanations with limited complexity typically have small supports, if there are any. In this paper, we propose a relaxed version of summary-explanation, i.e., the $q$-consistent summary-explanation, which aims to achieve greater support at the cost of slightly lower consistency. The challenge is that the max-support problem of $q$-consistent summary-explanation (MSqC) is much more complex than the original MS problem, resulting in over-extended solution time using standard branch-and-bound solvers. To improve the solution time efficiency, this paper proposes the weighted column sampling~(WCS) method based on solving smaller problems by sampling variables according to their simplified increase support (SIS) values. Experiments verify that solving MSqC with the proposed SIS-based WCS method is not only more scalable in efficiency, but also yields solutions with greater support and better global extrapolation effectiveness.


title: Timed I/O Automata: It is never too late to complete your timed specification theory

abstract: A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design. We develop a complete specification framework for real-time systems using Timed I/O Automata as the specification formalism, with the semantics expressed in terms of Timed I/O Transition Systems. We provide constructs for refinement, consistency checking, logical and structural composition, and quotient of specifications -- all indispensable ingredients of a compositional design methodology. The theory is backed by rigorous proofs and is being implemented in the open-source tool ECDAR.


title: Gaze-based intention estimation: principles, methodologies, and applications in HRI

abstract: Intention prediction has become a relevant field of research in Human-Machine and Human-Robot Interaction. Indeed, any artificial system (co)-operating with and along humans, designed to assist and coordinate its actions with a human partner, would benefit from first inferring the human's current intention. To spare the user the cognitive burden of explicitly uttering their goals, this inference relies mostly on behavioral cues deemed indicative of the current action. It has been long known that eye movements are highly anticipatory of the single steps unfolding during a task, hence they can serve as a very early and reliable behavioural cue for intention recognition. This review aims to draw a line between insights in the psychological literature on visuomotor control and relevant applications of gaze-based intention recognition in technical domains, with a focus on teleoperated and assistive robotic systems. Starting from the cognitive principles underlying the relationship between intentions, eye movements, and action, the use of eye tracking and gaze-based models for intent recognition in Human-Robot Interaction is considered, with prevalent methodologies and their diverse applications. Finally, special consideration is given to relevant human factors issues and current limitations to be factored in when designing such systems.


title: Tropical vertex and real enumerative geometry

abstract: We show that the commutator relations in the refined tropical vertex group can be expressed via the enumeration of suitable real rational curves in toric surfaces.


title: Local transfer for quasi-split classical groups and congruences mod l

abstract: Let G be the group of rational points of a quasi-split p-adic special orthogonal, symplectic or unitary group for some odd prime number p. FollowingArthur and Mok, there are a positive integer N, a p-adic field E and a local functorial transfer from isomorphism classes of irreducible smooth complex representations of G to those of GL(N,E). By fixing a prime number l different from p and an isomorphism between the field of complex numbers and an algebraic closure of the field of l-adic numbers, we obtain a transfer map between representations with l-adic coefficients. Now consider a cuspidal irreducible l-adic representation pi of G: we can define its reduction mod l, which is a semi-simple smooth representation of G of finite length, with coefficients in a field of characteristic l. Let pi' be a cuspidal irreducible l-adic representation of G whose reduction mod l is isomorphic to that of pi. We prove that the transfers of pi and pi' have reductions mod l which may not be isomorphic, but which have isomorphic supercuspidal supports. When G is not the split special orthogonal group SO(2), we further prove that the reductions mod l of the transfers of pi and pi' share a unique common generic component.


title: Resonance contributions from $\chi_{c0}$ in the charmless three-body hadronic $B$ meson decays

abstract: Within the framework of perturbative QCD factorization, we investigate the nonfactorizable contributions to these factorization-forbidden Quasi-two-body decays $B_{(s)}\rightarrow h\chi_{c0}\rightarrow h\pi^+\pi^-(K^+K^-)$ with $ h=\pi, K$. We compare our predicted branching ratios for the $B_{(s)}\rightarrow K\chi_{c0}\rightarrow K\pi^+\pi^-(K^+K^-)$ decay with available experiment data as well as predictions by other theoretical studies. The branching ratios of these decays are consistent with data and other theoretical predictions. In the Cabibbo-suppressed decays $B_{(s)}\rightarrow h\chi_{c0}\rightarrow h\pi^+\pi^-(K^+K^-)$ with $h=\bar{K}^0,\pi$, however, the values of the branching ratios are the order of $10^{-7}$ and $10^{-8}$. The ratio $R_{\chi_{c0}}$ between the decay $B^+\rightarrow \pi^+\chi_{c0}\rightarrow \pi^+\pi^+\pi^-$ and $B^+\rightarrow K^+\chi_{c0}\rightarrow K^+\pi^+\pi^-$ and the distribution of branching ratios for different decay modes in invariant mass are considered in this work.


title: Fully Bayesian Autoencoders with Latent Sparse Gaussian Processes

abstract: Autoencoders and their variants are among the most widely used models in representation learning and generative modeling. However, autoencoder-based models usually assume that the learned representations are i.i.d. and fail to capture the correlations between the data samples. To address this issue, we propose a novel Sparse Gaussian Process Bayesian Autoencoder (SGPBAE) model in which we impose fully Bayesian sparse Gaussian Process priors on the latent space of a Bayesian Autoencoder. We perform posterior estimation for this model via stochastic gradient Hamiltonian Monte Carlo. We evaluate our approach qualitatively and quantitatively on a wide range of representation learning and generative modeling tasks and show that our approach consistently outperforms multiple alternatives relying on Variational Autoencoders.


title: Temporal albedo variability in the phase curve of KELT-1b

abstract: The dayside brightness spectrum of a highly irradiated transiting brown dwarf KELT-1b has been shown to be challenging to explain with the current brown dwarf atmosphere models. The spectrum has been measured from observations spanning ten years and covering high-precision secondary eclipses and phase curves from space in blue-visible (CHaracterising ExOPlanet Satellite, CHEOPS), red-visible (Transiting Exoplanet Survey Satellite, TESS), and near-infrared (Spitzer), as well as secondary eclipse observations in near-infrared from the ground. First, the dayside of KELT-1b was observed to be brighter in the TESS passband than expected based on earlier near-infrared phase curve observations with Spitzer, and recently, the dayside was observed to be extremely dark in the CHEOPS passband. While several theories have been proposed to reconcile the discrepancy between the TESS and Spitzer bands, explaining the difference between the largely overlapping CHEOPS and TESS bands has proven to be more difficult. Here, I model the TESS photometry from Sector 17 together with the new TESS photometry from Sector 57 and show that the discrepancies in KELT-1b's dayside brightness spectrum are best explained by temporal variability in KELT-1b's albedo. This variability is most likely due to changing silicate cloud coverage on the brown dwarf's dayside, that is, weather.


title: Better by you, better than me, chatgpt3 as writing assistance in students essays

abstract: Aim: To compare students' essay writing performance with or without employing ChatGPT-3 as a writing assistant tool. Materials and methods: Eighteen students participated in the study (nine in control and nine in the experimental group that used ChatGPT-3). We scored essay elements with grades (A-D) and corresponding numerical values (4-1). We compared essay scores to students' GPTs, writing time, authenticity, and content similarity. Results: Average grade was C for both groups; for control (2.39, SD=0.71) and for experimental (2.00, SD=0.73). None of the predictors affected essay scores: group (P=0.184), writing duration (P=0.669), module (P=0.388), and GPA (P=0.532). The text unauthenticity was slightly higher in the experimental group (11.87%, SD=13.45 to 9.96%, SD=9.81%), but the similarity among essays was generally low in the overall sample (the Jaccard similarity index ranging from 0 to 0.054). In the experimental group, AI classifier recognized more potential AI-generated texts. Conclusions: This study found no evidence that using GPT as a writing tool improves essay quality since the control group outperformed the experimental group in most parameters.


title: Full optimization of quasiharmonic free energy with anharmonic lattice model: Application to thermal expansion and pyroelectricity of wurtzite GaN and ZnO

abstract: We present a theory and a calculation scheme of structural optimization at finite temperatures within the quasiharmonic approximation (QHA). The theory is based on an efficient scheme of updating the interatomic force constants with the change of crystal structures, which we call the IFC renormalization. The cell shape and the atomic coordinates are treated equally and simultaneously optimized. We apply the theory to the thermal expansion and the pyroelectricity of wurtzite GaN and ZnO, which accurately reproduces the experimentally observed behaviors. Furthermore, we point out a general scheme to obtain correct $T$ dependence at the lowest order in constrained optimizations that reduce the number of effective degrees of freedom, which is helpful to perform efficient QHA calculations with little sacrificing accuracy. We show that the scheme works properly for GaN and ZnO by comparing with the optimization of all the degrees of freedom.


title: ODD-Centric Contextual Sensitivity Analysis Applied To A Non-Linear Vehicle Dynamics Model

abstract: Advanced driving functions, for assistance or full automation, require strong guarantees to be deployed. This means that such functions may not be available all the time, like now commercially available SAE Level 3 modes that are made available only on some roads and at law speeds. The specification of such restriction is described technically in the Operational Design Domain (ODD) which is a fundamental concept for the design of automated driving systems (ADS). In this work, we focus on the example of trajectory planning and control which are crucial functions for SAE level 4+ vehicles and often rely on model-based methods. Hence, the quality of the underlying models has to be evaluated with respect to the ODD. Mathematical analyses such as uncertainty and sensitivity analysis support the quantitative assessment of model quality in general. In this paper, we present a new approach to assess the quality of vehicle dynamics models using an ODD-centric sensitivity analysis. The sensitivity analysis framework is implemented for a 10-DoF nonlinear double-track vehicle dynamics model used inside a model-predictive trajectory controller. The model sensitivity is evaluated with respect to given ODD and maneuver parameters. Based on the results, ODD-compliant behavior generation strategies with the goal of minimizing model sensitivity are outlined.


title: Some remarks on the ergodic theorem for $U$-statistics

abstract: In this note, we investigate the convergence of a $U$-statistic of order two having stationary ergodic data. We will find sufficient conditions for the almost sure and $L^1$ convergence and present some counter-examples showing that the $U$-statistic itself might fail to converge: centering is needed as well as boundedness of $\sup_{j\geq 2}\mathbb{E}[|h(X_1,X_j)|]$.


title: Further than Descartes' rule of signs

abstract: The {\em sign pattern} defined by the real polynomial $Q:=\Sigma _{j=0}^da_jx^j$, $a_j\neq 0$, is the string $\sigma (Q):=({\rm sgn(}a_d{\rm )},\ldots ,{\rm sgn(}a_0{\rm )})$. The quantities $pos$ and $neg$ of positive and negative roots of $Q$ satisfy Descartes' rule of signs. A couple $(\sigma _0,(pos,neg))$, where $\sigma _0$ is a sign pattern of length $d+1$, is {\em realizable} if there exists a polynomial $Q$ with $pos$ positive and $neg$ negative simple roots, with $(d-pos-neg)/2$ complex conjugate pairs and with $\sigma (Q)=\sigma_0$. We present a series of couples (sign pattern, pair $(pos,neg)$) depending on two integer parameters and with $pos\geq 1$, $neg\geq 1$, which is not realizable. For $d=9$, we give the exhaustive list of realizable couples with two sign changes in the sign pattern.


title: Forensic Log Based Detection For Keystroke Injection "BadUsb" Attacks

abstract: This document describes an experiment with main purpose to detect BadUSB attacks that utilize external Human Interaction Device hardware gadgets to inject keystrokes and acquire remote code execution. One of the main goals, is to detect such activity based on behavioral factors and allow everyone with a basic set of cognitive capabilities ,regardless of the user being a human or a computer, to identify anomalous speed related indicators but also correlate such speed changes with other elements such as commonly malicious processes like powershell processes being called in close proximity timing-wise, PnP device events occurring correlated with driver images loaded.


title: Efficient Attention via Control Variates

abstract: Random-feature-based attention (RFA) is an efficient approximation of softmax attention with linear runtime and space complexity. However, the approximation gap between RFA and conventional softmax attention is not well studied. Built upon previous progress of RFA, we characterize this gap through the lens of control variates and show that RFA can be decomposed into a sum of multiple control variate estimators for each element in the sequence. This new framework reveals that exact softmax attention can be recovered from RFA by manipulating each control variate. Besides, it allows us to develop a more flexible form of control variates, resulting in a novel attention mechanism that significantly reduces the approximation gap while maintaining linear complexity. Extensive experiments demonstrate that our model outperforms state-of-the-art efficient attention mechanisms on both vision and language tasks.


title: Noisy Qudit vs Multiple Qubits : Conditions on Gate Efficiency for enchancing Fidelity

abstract: Today, multiple new platforms are implementing qudits, $d$-level quantum bases of information, for Quantum Information Processing (QIP). It is therefore crucial to study their efficiencies for QIP compared to more traditional qubit platforms. We present a comparative study of the infidelity scalings of a qudit and $n$-qubit systems, both with identical Hilbert space dimensions and noisy environments. The first-order response of the Average Gate Infidelity (AGI) to the noise in the Lindblad formalism, which was found to be gate-independent, was calculated analytically in the two systems being compared. This yielded a critical curve $O(d^2/\log_2(d))$ of the ratio of their respective gate times in units of decoherence time. This quantity indicates how time-efficient operations on these systems are. The curve delineates regions where each system has a higher rate of increase of the AGI than the other. This condition on gate efficiency was applied to different existing platforms. It was found that specific qudit platforms possess gate efficiencies competitive with state-of-the-art qubit platforms. Numerical simulations complemented this work and allowed for discussion of the applicability and limits of the linear response formalism.

categories: quant-ph cond-mat.mes-hall math-ph math.MP physics.atom-ph


title: GMConv: Modulating Effective Receptive Fields for Convolutional Kernels

abstract: In convolutional neural networks, the convolutions are conventionally performed using a square kernel with a fixed N $\times$ N receptive field (RF). However, what matters most to the network is the effective receptive field (ERF) that indicates the extent with which input pixels contribute to an output pixel. Inspired by the property that ERFs typically exhibit a Gaussian distribution, we propose a Gaussian Mask convolutional kernel (GMConv) in this work. Specifically, GMConv utilizes the Gaussian function to generate a concentric symmetry mask that is placed over the kernel to refine the RF. Our GMConv can directly replace the standard convolutions in existing CNNs and can be easily trained end-to-end by standard back-propagation. We evaluate our approach through extensive experiments on image classification and object detection tasks. Over several tasks and standard base models, our approach compares favorably against the standard convolution. For instance, using GMConv for AlexNet and ResNet-50, the top-1 accuracy on ImageNet classification is boosted by 0.98% and 0.85%, respectively.


title: Lorentz Equivariant Model for Knowledge-Enhanced Hyperbolic Collaborative Filtering

abstract: Introducing prior auxiliary information from the knowledge graph (KG) to assist the user-item graph can improve the comprehensive performance of the recommender system. Many recent studies show that the ensemble properties of hyperbolic spaces fit the scale-free and hierarchical characteristics exhibited in the above two types of graphs well. However, existing hyperbolic methods ignore the consideration of equivariance, thus they cannot generalize symmetric features under given transformations, which seriously limits the capability of the model. Moreover, they cannot balance preserving the heterogeneity and mining the high-order entity information to users across two graphs. To fill these gaps, we propose a rigorously Lorentz group equivariant knowledge-enhanced collaborative filtering model (LECF). Innovatively, we jointly update the attribute embeddings (containing the high-order entity signals from the KG) and hyperbolic embeddings (the distance between hyperbolic embeddings reveals the recommendation tendency) by the LECF layer with Lorentz Equivariant Transformation. Moreover, we propose Hyperbolic Sparse Attention Mechanism to sample the most informative neighbor nodes. Lorentz equivariance is strictly maintained throughout the entire model, and enforcing equivariance is proven necessary experimentally. Extensive experiments on three real-world benchmarks demonstrate that LECF remarkably outperforms state-of-the-art methods.


title: First Principles Theory of the Pressure Induced Invar Effect in FeNi Alloys

abstract: The Fe$_{0.64}$Ni$_{0.36}$ alloy exhibits an anomalously low thermal expansion at ambient conditions, an effect that is known as the invar effect. Other Fe$_{x}$Ni$_{1-x}$ alloys do not exhibit this effect at ambient conditions but upon application of pressure even Ni-rich compositions show low thermal expansion, thus called the pressure induced invar effect. We investigate the pressure induced invar effect for Fe$_{x}$Ni$_{1-x}$ for x = 0.64, 0.50, 0.25 by performing a large set of supercell calculations, taking into account noncollinear magnetic states. We observe anomalies in the equation of states for the three compositions. The anomalies coincide with magnetic transitions from a ferromagnetic state at high volumes to a complex magnetic state at lower volumes. Our results can be interpreted in the model of noncollinear magnetism which relates the invar effect to increasing contribution of magnetic entropy with pressure.


title: RICK: Generating Mocks from Production Data

abstract: Test doubles, such as mocks and stubs, are nifty fixtures in unit tests. They allow developers to test individual components in isolation from others that lie within or outside of the system. However, implementing test doubles within tests is not straightforward. With this demonstration, we introduce RICK, a tool that observes executing applications in order to automatically generate tests with realistic mocks and stubs. RICK monitors the invocation of target methods and their interactions with external components. Based on the data collected from these observations, RICK produces unit tests with mocks, stubs, and mock-based oracles. We highlight the capabilities of RICK, and how it can be used with real-world Java applications, to generate tests with mocks.


title: Demonstration of deterministic SWAP gate between superconducting and frequency-encoded microwave-photon qubits

abstract: The number of superconducting qubits contained in a single quantum processor is increasing steadily. However, to realize a truly useful quantum computer, it is inevitable to increase the number of qubits much further by distributing quantum information among distant processors using flying qubits. Here, we demonstrate a key element towards this goal, namely, a SWAP gate between the superconducting-atom and microwave-photon qubits. The working principle of this gate is the single-photon Raman interaction, which results from strong interference in one-dimensional optical systems and enables a high gate fidelity insensitively to the pulse shape of the photon qubit, by simply bouncing the photon qubit at a cavity attached to the atom qubit. We confirm the bidirectional quantum state transfer between the atom and photon qubits. The averaged fidelity of the photon-to-atom (atom-to-photon) state transfer reaches 0.829 (0.801), limited mainly by the energy relaxation time of the atom qubit. The present atom-photon gate, equipped with an in situ tunability of the gate type, would enable various applications in distributed quantum computation using superconducting qubits and microwave photons.


title: Weakly Supervised Anomaly Detection: A Survey

abstract: Anomaly detection (AD) is a crucial task in machine learning with various applications, such as detecting emerging diseases, identifying financial frauds, and detecting fake news. However, obtaining complete, accurate, and precise labels for AD tasks can be expensive and challenging due to the cost and difficulties in data annotation. To address this issue, researchers have developed AD methods that can work with incomplete, inexact, and inaccurate supervision, collectively summarized as weakly supervised anomaly detection (WSAD) methods. In this study, we present the first comprehensive survey of WSAD methods by categorizing them into the above three weak supervision settings across four data modalities (i.e., tabular, graph, time-series, and image/video data). For each setting, we provide formal definitions, key algorithms, and potential future directions. To support future research, we conduct experiments on a selected setting and release the source code, along with a collection of WSAD methods and data.


title: Preparation and STM study of clean Nb(111) surfaces

abstract: Niobium with its highest transition temperature among all elemental superconductors has become a favorable substrate for realizing well-defined low-dimensional magnet-superconductor hybrid systems exhibiting novel types of exotic electronic states such as Majorana zero-energy modes. While a preparation procedure for obtaining atomically clean Nb(110) substrates has previously been reported, a suitable preparation method for clean Nb(111) surfaces is still lacking. Here, we report a recipe for cleaning Nb(111) surfaces based on an atomic hydrogen treatment followed by short flashes to elevated temperatures. The atomic surface structure of clean non-reconstructed Nb(111) is investigated by high-resolution scanning tunneling microscopy (STM), as well as a surface reconstruction with a reduced atom density compared to the (111) plane of a bcc crystal resulting from a surface premelting at high annealing temperatures.


title: Spin torques and anomalous velocity in spin textures induced by fast electron injection from topological ferromagnets: The role of gauge fields

abstract: A new method for analysing magnetization dynamics in spin textures under the influence of fast electron injection from topological ferromagnetic sources such as Dirac half metals has been proposed. These electrons, traveling at a velocity $v$ with a non-negligible value of $v/c$ (where c is the speed of light), generate a non-equilibrium magnetization density in the spin-texture region, which is related to an electric dipole moment via relativistic interactions. When this resulting dipole moment interacts with gauge fields in the spin-texture region, an effective field is created that produces spin torques. These torques, like spin-orbit torques that occur when electrons are injected from a heavy metal into a ferromagnet, can display both damping-like and anti-damping-like properties. Finally, we demonstrate that such an interaction between the dipole moment and the gauge field introduces an anomalous velocity that can contribute to transverse electrical conductivity in the spin texture in a way comparable to the topological Hall effect.


title: Optimistic Online Mirror Descent for Bridging Stochastic and Adversarial Online Convex Optimization

abstract: Stochastically Extended Adversarial (SEA) model is introduced by Sachs et al. [2022] as an interpolation between stochastic and adversarial online convex optimization. Under the smoothness condition, they demonstrate that the expected regret of optimistic follow-the-regularized-leader (FTRL) depends on the cumulative stochastic variance $\sigma_{1:T}^2$ and the cumulative adversarial variation $\Sigma_{1:T}^2$ for convex functions. They also provide a slightly weaker bound based on the maximal stochastic variance $\sigma_{\max}^2$ and the maximal adversarial variation $\Sigma_{\max}^2$ for strongly convex functions. Inspired by their work, we investigate the theoretical guarantees of optimistic online mirror descent (OMD) for the SEA model. For convex and smooth functions, we obtain the same $\mathcal{O}(\sqrt{\sigma_{1:T}^2}+\sqrt{\Sigma_{1:T}^2})$ regret bound, without the convexity requirement of individual functions. For strongly convex and smooth functions, we establish an $\mathcal{O}((\sigma_{\max}^2 + \Sigma_{\max}^2) \log (\sigma_{1:T}^2+\Sigma_{1:T}^2))$ bound, better than their $\mathcal{O}((\sigma_{\max}^2 + \Sigma_{\max}^2) \log T)$ result. For exp-concave and smooth functions, we achieve a new $\mathcal{O}(d\log(\sigma_{1:T}^2+\Sigma_{1:T}^2))$ bound. Owing to the OMD framework, we broaden our work to study dynamic regret minimization and scenarios where the online functions are non-smooth. We establish the first dynamic regret guarantee for the SEA model with convex and smooth functions, which is more favorable than static regret bounds in non-stationary scenarios. Furthermore, to deal with non-smooth and convex functions in the SEA model, we propose novel algorithms building on optimistic OMD with an implicit update, which provably attain static regret and dynamic regret guarantees without smoothness conditions.


title: Prospects for the inference of inertial modes from hypermassive neutron stars with future gravitational-wave detectors

abstract: Some recent, long-term numerical simulations of binary neutron star mergers have shown that the long-lived remnants produced in such mergers might be affected by convective instabilities. Those would trigger the excitation of inertial modes, providing a potential method to improve our understanding of the rotational and thermal properties of neutron stars through the analysis of the modes' imprint in the late post-merger gravitational-wave signal. In this paper we assess the detectability of those modes by injecting numerically generated post-merger waveforms into colored Gaussian noise of second-generation and future detectors. Signals are recovered using BayesWave, a Bayesian data-analysis algorithm that reconstructs them through a morphology-independent approach using series of sine-Gaussian wavelets. Our study reveals that current interferometers (i.e. the Handford-Livingston-Virgo network) recover the peak frequency of inertial modes only if the merger occurs at distances of up to 1 Mpc. For future detectors such as the Einstein Telescope, the range of detection increases by about a factor 10.


title: Designer quantum states on a fractal substrate: compact localization, flat bands and the edge modes

abstract: Compact localized single particle eigenstates on a deterministic fractal substrate, modelled by a triangular Sierpinski gasket of arbitrarily large size, are unravelled and examined analytically. We prescribe an exact real space renormalization group (RSRG) decimation scheme within a tight binding formalism to discern these states, and argue that the number of such states can be infinite if the fractal substrate is enlarged to its thermodynamic limit. Interestingly, these localized states turn out to populate the non-dispersive, flat bands in a periodic array of Sierpinski gasket motifs, however large they may be. Our results match and corroborate the recently observed compact localized, flat band states engineered on two dimensional photonic waveguide networks with a fractal geometry, and provide a whole subset of them, which, in principle, should be observable in fractal photonic lattice experiments.


title: Data Augmentation for Robust Character Detection in Fantasy Novels

abstract: Named Entity Recognition (NER) is a low-level task often used as a foundation for solving higher level NLP problems. In the context of character detection in novels, NER false negatives can be an issue as they possibly imply missing certain characters or relationships completely. In this article, we demonstrate that applying a straightforward data augmentation technique allows training a model achieving higher recall, at the cost of a certain amount of precision regarding ambiguous entities. We show that this decrease in precision can be mitigated by giving the model more local context, which resolves some of the ambiguities.


title: Auditing Recommender Systems -- Putting the DSA into practice with a risk-scenario-based approach

abstract: Today's online platforms rely heavily on recommendation systems to serve content to their users; social media is a prime example. In turn, recommendation systems largely depend on artificial intelligence algorithms to decide who gets to see what. While the content social media platforms deliver is as varied as the users who engage with them, it has been shown that platforms can contribute to serious harm to individuals, groups and societies. Studies have suggested that these negative impacts range from worsening an individual's mental health to driving society-wide polarisation capable of putting democracies at risk. To better safeguard people from these harms, the European Union's Digital Services Act (DSA) requires platforms, especially those with large numbers of users, to make their algorithmic systems more transparent and follow due diligence obligations. These requirements constitute an important legislative step towards mitigating the systemic risks posed by online platforms. However, the DSA lacks concrete guidelines to operationalise a viable audit process that would allow auditors to hold these platforms accountable. This void could foster the spread of 'audit-washing', that is, platforms exploiting audits to legitimise their practices and neglect responsibility. To fill this gap, we propose a risk-scenario-based audit process. We explain in detail what audits and assessments of recommender systems according to the DSA should look like. Our approach also considers the evolving nature of platforms and emphasises the observability of their recommender systems' components. The resulting audit facilitates internal (among audits of the same system at different moments in time) and external comparability (among audits of different platforms) while also affording the evaluation of mitigation measures implemented by the platforms themselves.


title: A Characterization of Perfect Strategies for Mirror Games

abstract: We associate mirror games with the universal game algebra and use the *-representation to describe quantum commuting operator strategies. We provide an algebraic characterization of whether or not a mirror game has perfect commuting operator strategies. This new characterization uses a smaller algebra introduced by Paulsen and others for synchronous games and the noncommutative Nullstellensatz developed by Cimpric, Helton and collaborators. An algorithm based on noncommutative Gr\"obner basis computation and semidefinite programming is given for certifying that a given mirror game has no perfect commuting operator strategies.


title: Quantum information processing with superconducting circuits: a perspective

abstract: The last five years have seen a dramatic evolution of platforms for quantum computing, taking the field from physics experiments to quantum hardware and software engineering. Nevertheless, despite this progress of quantum processors, the field is still in the noisy intermediate-scale quantum (NISQ) regime, seriously limiting the performance of software applications. Key issues involve how to achieve quantum advantage in useful applications for quantum optimization and materials science, connected to the concept of quantum supremacy first demonstrated by Google in 2019. In this article we will describe recent work to establish relevant benchmarks for quantum supremacy and quantum advantage, present recent work on applications of variational quantum algorithms for optimization and electronic structure determination, discuss how to achieve practical quantum advantage, and finally outline current work and ideas about how to scale up to competitive quantum systems.


title: Lattice Supersymmetry and Holography

abstract: Over the last twenty years, work based on lattice supersymmetry has generated many new results and insights into the non-perturbative nature of string theory, quantum black holes, and gravity. This endeavor is a broad research program encompassing lattice field theory, supersymmetry, string theory, and quantum gravity. In this volume, we look at a selected subset of the topics covering recent progress in lattice supersymmetry and holography.


title: On $\tau_q$-projectivity and $\tau_q$-simplicity

abstract: In this paper, we first introduce and study the notion of $\tau_q$-projective modules via strongly Lucas modules, and then investigate the $\tau_q$-global dimension $\tau_q$-\gld$(R)$ of a ring $R$. We obtain that if $R$ is a $\tau_q$-Noetherian ring, then $\tau_q$-\gld$(R)=\tau_q$-\gld$(R[x])=$\gld$({\rm T}(R[x]))$. Finally, we study the rings over which all modules are $\tau_q$-projective (i.e., $\tau_q$-semisimple rings). In particular, we show that a ring $R$ is a $\tau_q$-semisimple ring if and only if ${\rm T}(R[x])$ (or ${\rm T}(R)$, or $\mathcal{Q}_0(R)$) is a semisimple ring, if and only if $R$ is a reduced ring with ${\rm Min}(R)$ finite, if and only if every reg-injective (or semireg-injective, or Lucas, or strongly Lucas) module is injective.


title: Nonanomalous heat transport in a one-dimensional composite chain

abstract: Translation-invariant low-dimensional systems are known to exhibit anomalous heat transport. However, there are systems, such as the coupled-rotor chain, where translation invariance is satisfied, yet transport remains diffusive. It has been argued that the restoration of normal diffusion occurs due to the impossibility of defining a global stretch variable with a meaningful dynamics. In this Letter, an alternative mechanism is proposed, namely, that the transition to anomalous heat transport can occur at a scale that, under certain circumstances, may diverge to infinity. To illustrate the mechanism, I consider the case of a composite chain that conserves local energy and momentum as well as global stretch, and at the same time obeys, in the continuum limit, Fourier's law of heat transport. It is shown analytically that for vanishing elasticity the stationary temperature profile of the chain is linear; for finite elasticity, the same property holds in the continuum limit.


title: NLP-based Decision Support System for Examination of Eligibility Criteria from Securities Prospectuses at the German Central Bank

abstract: As part of its digitization initiative, the German Central Bank (Deutsche Bundesbank) wants to examine the extent to which natural Language Processing (NLP) can be used to make independent decisions upon the eligibility criteria of securities prospectuses. Every month, the Directorate General Markets at the German Central Bank receives hundreds of scanned prospectuses in PDF format, which must be manually processed to decide upon their eligibility. We found that this tedious and time-consuming process can be (semi-)automated by employing modern NLP model architectures, which learn the linguistic feature representation in text to identify the present eligible and ineligible criteria. The proposed Decision Support System provides decisions of document-level eligibility criteria accompanied by human-understandable explanations of the decisions. The aim of this project is to model the described use case and to evaluate the extent to which current research results from the field of NLP can be applied to this problem. After creating a heterogeneous domain-specific dataset containing annotations of eligible and non-eligible mentions of relevant criteria, we were able to successfully build, train and deploy a semi-automatic decider model. This model is based on transformer-based language models and decision trees, which integrate the established rule-based parts of the decision processes. Results suggest that it is possible to efficiently model the problem and automate decision making to more than 90% for many of the considered eligibility criteria.


title: Spin-polarized two-dimensional electron/hole gas at the interface of non-magnetic semiconducting half-Heusler compounds: Modified Slater-Pauling rule for half-metallicity at the interface

abstract: Half-Heusler compounds with 18 valence electrons per unit cell are well-known non-magnetic semiconductors. Employing first-principles electronic band structure calculations, we study the interface properties of the half-Heusler heterojunctions based on FeVSb, CoTiSb, CoVSn, and NiTiSn compounds, which belong to this category of materials. Our results show that several of these heterojunction interfaces become not only metallic but also magnetic. The emergence of spin-polarization is accompanied by the formation of two-dimensional electron gas (2DEG) or hole gas (2DHG) at the interface. We qualitatively discuss the origin of the spin polarization at the interfaces on the basis of the Stoner model. For the cases of magnetic interfaces where half-metallicity is also present, we propose a modified Slater-Pauling rule similar to the one for bulk half-metallic half-Heusler compounds. Additionally, we calculate exchange parameters, Curie temperatures and magnetic anisotropy energies for magnetic interfaces. Our study, combined with the recent experimental evidence for the presence of 2DEG at CoTiSb/NiTiSn heterojunctions might motivate future efforts and studies toward the experimental realization of devices using the proposed heterojunctions.


title: The minimal length: a cut-off in disguise?

abstract: The minimal-length paradigm, a possible implication of quantum gravity at low energies, is commonly understood as a phenomenological modification of Heisenberg's uncertainty relation. We show that this modification is equivalent to a cut-off in the space conjugate to the position representation, i.e. the space of wave numbers, which does not necessarily correspond to momentum space. This result is generalized to several dimensions and noncommutative geometries once a suitable definition of the wave number is provided. Furthermore, we find a direct relation between the ensuing bound in wave-number space and the minimal-length scale. For scenarios in which the existence of the minimal length cannot be explicitly verified, the proposed framework can be used to clarify the situation. Indeed, applying it to common models, we find that one of them does, against all expectations, allow for arbitrary precision in position measurements. In closing, we comment on general implications of our findings for the field. In particular, we point out that the minimal length is purely kinematical such that, effectively, there is only one model of minimal-length quantum mechanics.


title: Analysis of atomic-clock data to constrain variations of fundamental constants

abstract: We present a new framework to study the time variation of fundamental constants in a model-independent way. Model independence implies more free parameters than assumed in previous studies. Using data from atomic clocks based on $^{87}$Sr, $^{171}$Yb$^+$ and $^{133}$Cs, we set bounds on parameters controlling the variation of the fine-structure constant, $\alpha$, and the electron-to-proton mass ratio, $\mu$. We consider variations on timescales ranging from a minute to almost a day. In addition, we use our results to derive some of the tightest limits to date on the parameter space of models of ultralight dark matter and axion-like particles.


title: The 2-Set-enriched Grothendieck construction and the lax normal conical 2-limits

abstract: We study in detail an extended version of the Grothendieck construction, that corresponds to a 2-categorical generalization of the construction of the category of elements. After refining the universal property of the lax comma object to suit the lax 3-categorical ambient in which we need to work, we describe how we can think of this extended Grothendieck construction as the archetypal 3-dimensional classification process, in the sense of a would-be 3-dimensional elementary topos theory. We show a new, more intuitive and elementary proof of the reduction of the weighted 2-limits to essentially conical ones, and use a generalized version of the latter to propose an original definition of pointwise Kan extension in the weakly enriched context that hosts the studied Grothendieck construction. We then present a pointwise Kan extension result, and we conclude by proving that a pointwise Kan extension as defined here is always a weak one as well, after showing a lax but not too lax generalization of the parametrized Yoneda lemma.


title: A globally convergent SQP-type method with least constraint violation for nonlinear semidefinite programming

abstract: We present a globally convergent SQP-type method with the least constraint violation for nonlinear semidefinite programming. The proposed algorithm employs a two-phase strategy coupled with a line search technique. In the first phase, a subproblem based on a local model of infeasibility is formulated to determine a corrective step. In the second phase, a search direction that moves toward optimality is computed by minimizing a local model of the objective function. Importantly, regardless of the feasibility of the original problem, the iterative sequence generated by our proposed method converges to a Fritz-John point of a transformed problem, wherein the constraint violation is minimized. Numerical experiments have been conducted on various complex scenarios to demonstrate the effectiveness of our approach.


title: Scattering-dependent transport of SrRuO3 films: From Weyl fermion transport to hump-like Hall effect anomaly

abstract: Recent observation of quantum transport phenomena of Weyl fermions has brought much attention to 4d ferromagnetic perovskite SrRuO3 as a magnetic Weyl semimetal. Besides, the hump-like Hall effect anomaly, which might have a topological origin, has also been reported for this material. Here, we show that the emergence of such phenomena is governed by the degree of scattering determined by the defect density (Ru-deficiency- and/or interface-driven-defect scattering) and measurement temperature (phonon scattering), where the former is controlled by varying the growth conditions of the SrRuO3 films in molecular beam epitaxy as well as the film thickness. The resulting electronic transport properties can be classified into three categories: clean, intermediate, and dirty regimes. The transport of Weyl fermions emerges in the clean regime, whereas that of topologically trivial conduction electrons in the ferromagnetic metal state prevail in the intermediate and dirty regimes. In the clean and intermediate regimes, anomalous Hall resistivity obeys a scaling law incorporating the intrinsic Karplus-Luttinger (Berry phase) and extrinsic side-jump mechanisms. The hump-like Hall effect anomaly is observed only in the dirty regime, which is contrary to the scaling law between anomalous Hall resistivity and longitudinal resistivity. Hence, we conclude that this anomaly is not inherent to the material and does not have a topological origin. We also provide defect- and temperature-dependent transport phase diagrams of stoichiometric SrRuO3 and Ru-deficient SrRu0.7O3 where the appearance of Weyl fermions and hump-like Hall effect anomaly are mapped. These diagrams may serve as a guideline for designing SrRu1-xO3-based spintronic and topological electronic devices.


title: COVID-19 Susceptibility, Mortality and Length of Hospitalization based on Age-Sex Composition: Insights for Intervention and Stratification

abstract: The coronavirus disease (COVID-19) has spread worldwide with an unprecedented impact on society. In the Philippines, several interventions such as mobility restrictions for different age groups and vaccination prioritization programs have been implemented to reduce the risks of infections and mortality. This study aimed to identify age-sex composition with greater susceptibility, longer hospitalization and higher fatality. The COVID-19 cases from March 2020 to April 2021 provided by the Department of Health Davao Region in the Philippines were analyzed. A Chi-square test was used to determine the difference in proportions of COVID-19 cases among age-sex compositions. A correlation plot of \c{hi}2 test residual was employed to investigate the differences in susceptibility. Boxplots and Kruskal-Wallis tests were utilized to compare the length of hospitalizations. The study found a significant difference in the COVID-19 susceptibility among age-sex compositions (p < 0.01). Male children and female senior citizens were the most susceptible age-sex compositions. Furthermore, senior citizens had the longest hospital days wherein the median and IQR days were 19 (15-27) for men and 18 (16-29) for women. Male senior citizen was the subgroup with the highest case fatality (21.4%, p < 0.01). It is recommended that the number of cases among senior citizens be used as an input in the planning and allocation of medical resources at the provincial and regional levels. The local government unit executives in the region can also take advantage of the availability of age-sex composition data in stratifying localities, planning, allocating COVID-19-related resources and imposing mobility restrictions.


title: NeuKron: Constant-Size Lossy Compression of Sparse Reorderable Matrices and Tensors

abstract: Many real-world data are naturally represented as a sparse reorderable matrix, whose rows and columns can be arbitrarily ordered (e.g., the adjacency matrix of a bipartite graph). Storing a sparse matrix in conventional ways requires an amount of space linear in the number of non-zeros, and lossy compression of sparse matrices (e.g., Truncated SVD) typically requires an amount of space linear in the number of rows and columns. In this work, we propose NeuKron for compressing a sparse reorderable matrix into a constant-size space. NeuKron generalizes Kronecker products using a recurrent neural network with a constant number of parameters. NeuKron updates the parameters so that a given matrix is approximated by the product and reorders the rows and columns of the matrix to facilitate the approximation. The updates take time linear in the number of non-zeros in the input matrix, and the approximation of each entry can be retrieved in logarithmic time. We also extend NeuKron to compress sparse reorderable tensors (e.g. multi-layer graphs), which generalize matrices. Through experiments on ten real-world datasets, we show that NeuKron is (a) Compact: requiring up to five orders of magnitude less space than its best competitor with similar approximation errors, (b) Accurate: giving up to 10x smaller approximation error than its best competitors with similar size outputs, and (c) Scalable: successfully compressing a matrix with over 230 million non-zero entries.


title: q-Deformed Gross Pitaevskii Equation

abstract: We derive the Gross Pitaevskii equation (GPE) for condensate of bosons obeying deformed statistics under external potential and inter-particle interaction. First, we obtain the well-known Schrodinger equation. Using a suitable Hamiltonian for condensate phase and minimizing the free energy of the system, we find out the $q$- deformed GPE. Thus, at very low temperature, where the dynamics of excited-occupation level can be neglected, the dynamics of a deformed statistics system can be described by the GPE, similar to the Bose-Einstein condensate.


title: Location and Type of Crimes in The Philippines: Insights for Crime Prevention and Management

abstract: The purpose of this study was to determine the association of location and types of crimes in the Philippines and understand the impact of COVID-19 lockdowns by comparing the crime incidence and associations before and during the pandemic. A document review was used as the main method of data collection using the datasets from the Philippine Statistics Authority- Annual Statistical Yearbook (PSA-ASY). The dataset contained the volume of index crimes in the Philippines from 2016 to 2020. The index crimes were broken down into two major categories: crimes against persons and crimes against property. Incidence of crime-by-crime type was available for different administrative regions in the Philippines. Chi-square test and correlation plot of chi-square residual were used to determine the associations between the locations and types of index crimes. A correlation plot of the chisquare residual was used to investigate the patterns of associations. Results suggest that the continuing effort of the Philippine government to fight against criminality has resulted in a steady decline in the incidence of index crimes in the Philippines. The pandemic too contributed to the decline of crime incidence in the country. These results imply that police surveillance activities in highly populated areas and specific interventions to address sexual violence must be in place during community lockdowns. The Philippine National Police should heighten its campaign in violence against women and increase its workforce visibility especially in remote and densely populated areas. The results of this study can be used as input to local government units for developing programs and plans on crime prevention. For future researches, it is recommended to conduct a precinct level analysis for a closer look at crime surveillance.


title: Biomimetic Micropillar Wick for Enhanced Thin-Film Evaporation

abstract: Sustainable liquid cooling solutions are recognized as the future of thermal management in the chip industry. Among them, the phase change heat transfer devices such as heat pipes and vapour chambers have shown tremendous potential. These devices rely on the physics of capillary-driven thin-film evaporation which is inherently coupled with the design and optimization of the evaporator wicks used in these devices. Here, we introduce a biomimetic evaporator wick design inspired by the peristome of the Nepenthes alata that can achieve significantly enhanced evaporative cooling. It consists of array of micropillars with multiple wedges along the sidewall of each micropillar. The efficacy of the wedged micropillar is evaluated based on a validated numerical model on the metrics of dryout heat flux and effective heat transfer coefficient. The wedge angle is chosen such that wedged micropillars cause liquid filaments to rise along the micropillar vertical walls. This results in a significant increase in thin-film area for evaporation. Additionally, the large mean curvature of the liquid meniscus produces strong capillary pumping pressure and simultaneously, the wedges increase the overall permeability of the wick. Consequently, our model predicts that the wedged micropillar wick can attain ~234% enhancement of dryout heat flux compared to a conventional cylindrical micropillar wick of similar geometrical dimensions. Moreover, the wedged micropillars can also attain higher effective heat transfer coefficient under dryout conditions thus outperforming the cylindrical micropillar in terms of heat transfer efficiency. Our study provide insight into the design and capability of the biomimetic wedged micropillars as an efficient evaporator wick for various thin-film evaporation applications.


title: Correcting Exoplanet Transmission Spectra for Stellar Activity with an Optimised Retrieval Framework

abstract: The chromatic contamination that arises from photospheric heterogeneities e.g. spots and faculae on the host star presents a significant noise source for exoplanet transmission spectra. If this contamination is not corrected for, it can introduce substantial bias in our analysis of the planetary atmosphere. We utilise two stellar models of differing complexity, StARPA and ASteRA, to explore the biases introduced by stellar contamination in retrieval under differing degrees of stellar activity. We use the retrieval framework TauREx3 and a grid of 27 synthetic, spot-contaminated transmission spectra to investigate potential biases and to determine how complex our stellar models must be in order to accurately extract the planetary parameters from transmission spectra. The input observation is generated using the more complex model (StARPA), in which the spot latitude is an additional, fixable parameter. This observation is then fed into a combined stellar-planetary retrieval which contains a simplified stellar model (ASteRA). Our results confirm that the inclusion of stellar activity parameters in retrieval minimises bias under all activity regimes considered. ASteRA performs very well under low to moderate activity conditions, retrieving the planetary parameters with a high degree of accuracy. For the most active cases, characterised by larger, higher temperature contrast spots, some minor residual bias remains due to ASteRA neglecting the interplay between the spot and the limb darkening effect. As a result of this, we find larger errors in retrieved planetary parameters for central spots (0 degrees) and those found close to the limb (60 degrees) than those at intermediate latitudes (30 degrees).


title: Delay-Adaptive Compensator for 3-D Space Formation of Multi-Agent Systems with Leaders Actuation

abstract: This paper focuses on the control of collective dynamics in large-scale multi-agent systems (MAS) operating in a 3-D space, with a specific emphasis on compensating for the influence of an unknown delay affecting the actuated leaders. The communication graph of the agents is defined on a mesh-grid 2-D cylindrical surface. We model the agents' collective dynamics by a complex- and a real-valued reaction-advection-diffusion 2-D partial differential equations (PDEs) whose states represent the 3-D position coordinates of the agents. The leader agents on the boundary suffer unknown actuator delay due to the cumulative computation and information transmission time. We design a delay-adaptive controller for the 2-D PDE by using PDE backstepping combined with a Lyapunov functional method, where the latter is employed to design an update law that generates real-time estimates of the unknown delay. Capitalizing on our recent result on the control of 1-D parabolic PDEs with unknown input delay, we use Fourier series expansion to bridge the control of 1-D PDEs to that of 2-D PDEs. To design the update law for the 2-D system, a new target system is defined to establish the closed-loop local boundedness of the system trajectories in $H^2$ norm and the regulation of the states to zero assuming a measurement of the spatially distributed plant's state. We illustrate the performance of delay-adaptive controller by numerical simulations.


title: Research on data integration of overseas discrete archives from the perspective of digital humanties

abstract: The digitization of displaced archives is of great historical and cultural significance. Through the construction of digital humanistic platforms represented by MISS platform, and the comprehensive application of IIIF technology, knowledge graph technology, ontology technology, and other popular information technologies. We can find that the digital framework of displaced archives built through the MISS platform can promote the establishment of a standardized cooperation and dialogue mechanism between the archives authoritiess and other government departments. At the same time, it can embed the works o fichives ction of digital government and the economy, promote the exploration of the integration of archives management, data management, and information resource management, and ultimately promote the construction of a digital society. By fostering a new partnership between archives departments and enterprises, think tanks, research institutes, and industry associations, the role of multiple social subjects in the modernization process of the archives governance system and governance capacity will be brought into play. The National Archives Administration has launched a special operation to recover scattered archives overseas, drawing up a list and a recovery action plan for archives lost to overseas institutions and individuals due to war and other reasons. Through the National Archives Administration, the State Administration of Cultural Heritage, the Ministry of Foreign Affairs, the Supreme People's Court, the Supreme People's Procuratorate, and the Ministry of Justice, specific recovery work is carried out by studying and working on international laws.


title: Incorporating Total Variation Regularization in the design of an intelligent Query by Humming system

abstract: A Query-By-Humming (QBH) system constitutes a particular case of music information retrieval where the input is a user-hummed melody and the output is the original song which contains that melody. A typical QBH system consists of melody extraction and candidate melody retrieval. For melody extraction, accurate note transcription is the key enabling technology. However, current transcription methods are unable to definitively capture the melody and address inaccuracies in user-hummed queries. In this paper, we incorporate Total Variation Regularization (TVR) to denoise queries. This approach accounts for user error in humming without loss of meaningful data and reliably captures the underlying melody. For candidate melody retrieval, we employ a deep learning approach to time series classification using a Fully Convolutional Neural Network. The trained network classifies the incoming query as belonging to one of the target songs. For our experiments, we use Roger Jang's MIR-QBSH dataset which is the standard MIREX dataset. We demonstrate that inclusion of TVR denoised queries in the training set enhances the overall accuracy of the system to 93% which is higher than other state-of-the-art QBH systems.


title: Adversarial Example Does Good: Preventing Painting Imitation from Diffusion Models via Adversarial Examples

abstract: Recently, Diffusion Models (DMs) boost a wave in AI for Art yet raise new copyright concerns, where infringers benefit from using unauthorized paintings to train DMs to generate novel paintings in a similar style. To address these emerging copyright violations, in this paper, we are the first to explore and propose to utilize adversarial examples for DMs to protect human-created artworks. Specifically, we first build a theoretical framework to define and evaluate the adversarial examples for DMs. Then, based on this framework, we design a novel algorithm, named AdvDM, which exploits a Monte-Carlo estimation of adversarial examples for DMs by optimizing upon different latent variables sampled from the reverse process of DMs. Extensive experiments show that the generated adversarial examples can effectively hinder DMs from extracting their features. Therefore, our method can be a powerful tool for human artists to protect their copyright against infringers equipped with DM-based AI-for-Art applications. The code of our method is available on GitHub: https://github.com/mist-project/mist.git.