title: Emergence of moir\'e superlattice potential in graphene by twisted-hBN layers

abstract: Moir\'e superlattices formed in stacks of two or more 2D crystals with similar lattice structures have recently become excellent platforms to reveal new physics in low-dimensional systems. They are, however, highly sensitive to the angle and lattice constant differences between the associated crystals, limiting the range of the material choice and the possible moir\'e patterns for a given 2D crystal. Here, we present a novel approach to realize an atomically flat substrate with a periodic moir\'e pattern that can induce the moir\'e potential on the material on top by van der Waals (vdW) interactions, without suffering from the lattice and angle mismatch. By constructing a twisted hBN (thBN) moir\'e substrate at an angle of about 1$^\circ$, we show that the graphene on top, aligned around 15$^\circ$ with the neighboring hBN layers, exhibits typical transport properties under a hexagonal moir\'e potential, including multiple satellite Dirac points (DPs), Hofstadter butterfly effect, and Brown-Zak oscillations. All features point to the existence of the moir\'e potential in graphene formed by thBN with $\sim$1$^\circ$ twist angle. Further statistical study shows that the twist from a parallel interface between the hBN layers is critical to induce the moir\'e potential. Our study demonstrates that the thBN moir\'e substrate can be used to investigate moir\'e physics in arbitrary materials without being constrained by their lattice constants.


title: The Tracking Tapered Gridded Estimator for the 21-cm power spectrum from MWA drift scan observations I: Validation and preliminary results

abstract: Drift scan observations provide the broad sky coverage and instrumental stability needed to measure the Epoch of Reionization (EoR) 21-cm signal. In such observations, the telescope's pointing center (PC) moves continuously on the sky. The Tracking Tapered Gridded Estimator (TTGE) combines observations from different PC to estimate $P(k_{\perp}, k_{\parallel})$ the 21-cm power spectrum, centered on a tracking center (TC) which remains fixed on the sky. The tapering further restricts the sky response to a small angular region around TC, thereby mitigating wide-field foregrounds. Here we consider $154.2 \, {\rm MHz}$ ($z = 8.2$) Murchison Widefield Array (MWA) drift scan observations. The periodic pattern of flagged channels, present in MWA data, is known to introduce artefacts which pose a challenge for estimating $P(k_{\perp}, k_{\parallel})$. We demonstrate that the TTGE is able to recover $P(k_{\perp}, k_{\parallel})$ without any artefacts, and estimate $P(k)$ within $5 \%$ accuracy over a large $k$-range. We also present preliminary results for a single PC, combining 9 nights of observation $(17 \, {\rm min}$ total). We find that $P(k_{\perp}, k_{\parallel})$ exhibits streaks at a fixed interval of $k_{\parallel}=0.29 \, {\rm Mpc}^{-1}$, which matches $\Delta \nu_{\rm per}=1.28 \, {\rm MHz}$ that is the period of the flagged channels. The streaks are not as pronounced at larger $k_{\parallel}$, and in some cases they do not appear to extend across the entire $k_{\perp}$ range. The rectangular region $0.05 \leq k_{\perp} \leq 0.16 \, {\rm Mpc^{-1}}$ and $0.9 \leq k_{\parallel} \leq 4.6 \, {\rm Mpc^{-1}}$ is found to be relatively free of foreground contamination and artefacts, and we have used this to place the $2\sigma$ upper limit $\Delta^2(k) < (1.85 \times 10^4)^2\, {\rm mK^2}$ on the EoR 21-cm mean squared brightness temperature fluctuations at $k=1 \,{\rm Mpc}^{-1}$.


title: General relativistic magnetohydrodynamics simulations for binary neutron star mergers

abstract: Binary neutron star mergers used to be the most promising candidate for gravitational waves for ground-based gravitational wave detectors, such as advanced LIGO and advanced VIRGO. This was proved by the detection of gravitational waves from a binary neutron star merger in 2017. Numerical modeling is pivotal in predicting and interpreting binary neutron star mergers. This chapter reviews the progress of fully general relativistic magnetized binary neutron star merger simulations. From 2008 to 2024, about forty numerical relativity simulations of magnetized binary neutron star mergers were conducted with a different level of sophistication. This chapter aims to comprehensively view the magnetohydrodynamics effect in binary neutron star mergers by reviewing all the related works.


title: An Integrated Framework for Multi-Granular Explanation of Video Summarization

abstract: In this paper, we propose an integrated framework for multi-granular explanation of video summarization. This framework integrates methods for producing explanations both at the fragment level (indicating which video fragments influenced the most the decisions of the summarizer) and the more fine-grained visual object level (highlighting which visual objects were the most influential for the summarizer). To build this framework, we extend our previous work on this field, by investigating the use of a model-agnostic, perturbation-based approach for fragment-level explanation of the video summarization results, and introducing a new method that combines the results of video panoptic segmentation with an adaptation of a perturbation-based explanation approach to produce object-level explanations. The performance of the developed framework is evaluated using a state-of-the-art summarization method and two datasets for benchmarking video summarization. The findings of the conducted quantitative and qualitative evaluations demonstrate the ability of our framework to spot the most and least influential fragments and visual objects of the video for the summarizer, and to provide a comprehensive set of visual-based explanations about the output of the summarization process.


title: Two person non-zero-sum linear-quadratic differential game with Markovian jumps in infinite horizon

abstract: This paper investigates an inhomogeneous non-zero-sum linear-quadratic (LQ, for short) differential game problem whose state process and cost functional are regulated by a Markov chain. Under the $L^2$ stabilizability framework, we first provide a sufficient condition to ensure the $L^2$-integrability of the state process and study a class of linear backward stochastic differential equation (BSDE, for short) in infinite horizon. Then, we seriously discuss the LQ problem and show that the closed-loop optimal control is characterized by the solutions to coupled algebra Riccati equations (CAREs, for short) with some stabilizing conditions and a linear BSDE. Based on those results, we further analyze the non-zero-sum stochastic differential game problem and give the closed-loop Nash equilibrium through the solution to a system of two cross-coupled CAREs and two cross-coupled BSDEs. Finally, some related numerical


title: Revisiting Deep Audio-Text Retrieval Through the Lens of Transportation

abstract: The Learning-to-match (LTM) framework proves to be an effective inverse optimal transport approach for learning the underlying ground metric between two sources of data, facilitating subsequent matching. However, the conventional LTM framework faces scalability challenges, necessitating the use of the entire dataset each time the parameters of the ground metric are updated. In adapting LTM to the deep learning context, we introduce the mini-batch Learning-to-match (m-LTM) framework for audio-text retrieval problems. This framework leverages mini-batch subsampling and Mahalanobis-enhanced family of ground metrics. Moreover, to cope with misaligned training data in practice, we propose a variant using partial optimal transport to mitigate the harm of misaligned data pairs in training data. We conduct extensive experiments on audio-text matching problems using three datasets: AudioCaps, Clotho, and ESC-50. Results demonstrate that our proposed method is capable of learning rich and expressive joint embedding space, which achieves SOTA performance. Beyond this, the proposed m-LTM framework is able to close the modality gap across audio and text embedding, which surpasses both triplet and contrastive loss in the zero-shot sound event detection task on the ESC-50 dataset. Notably, our strategy of employing partial optimal transport with m-LTM demonstrates greater noise tolerance than contrastive loss, especially under varying noise ratios in training data on the AudioCaps dataset. Our code is available at https://github.com/v-manhlt3/m-LTM-Audio-Text-Retrieval


title: Impact of medium temperature heat treatment on flux trapping sensitivity in SRF cavities

abstract: The effect of mid-T heat treatment on flux trapping sensitivity was measured on several 1.3 GHz single cell cavities subjected to vacuum annealing at temperature of 150 - 400 $^\circ$C for a duration of 3 hours. The cavity was cooldown with residual magnetic field $\sim$0 and $\sim$20 mG in the Dewar with cooldown condition of full flux trapping. The quality factor as a function of accelerating gradient was measured. The results show the correlation between the treatment temperature, quality factor, and sensitivity to flux trapping. Sensitivity increases with increasing heat treatment temperatures within the range of (200 - 325 $^\circ$C/3h). Moreover, variations in the effective penetration depth of the magnetic field and the density of quasi-particles can occur, influencing alterations in the cavity's electromagnetic response and resonance frequency.


title: Uniform dual approximation to Veronese curves in small dimension

abstract: We refine upper bounds for the classical exponents of uniform approximation for a linear form on the Veronese curve in dimension from $3$ to $9$. For dimension three, this in particular shows that a bound previously obtained by two different methods is not sharp. Our proof involves parametric geometry of numbers and investigation of geometric properties of best approximation polynomials. Slightly stronger bounds have been obtained by Poels with a different method contemporarily. In fact, we obtain the same bounds as a conditional result.


title: Continuous Transfer Learning for UAV Communication-aware Trajectory Design

abstract: Deep Reinforcement Learning (DRL) emerges as a prime solution for Unmanned Aerial Vehicle (UAV) trajectory planning, offering proficiency in navigating high-dimensional spaces, adaptability to dynamic environments, and making sequential decisions based on real-time feedback. Despite these advantages, the use of DRL for UAV trajectory planning requires significant retraining when the UAV is confronted with a new environment, resulting in wasted resources and time. Therefore, it is essential to develop techniques that can reduce the overhead of retraining DRL models, enabling them to adapt to constantly changing environments. This paper presents a novel method to reduce the need for extensive retraining using a double deep Q network (DDQN) model as a pretrained base, which is subsequently adapted to different urban environments through Continuous Transfer Learning (CTL). Our method involves transferring the learned model weights and adapting the learning parameters, including the learning and exploration rates, to suit each new environment specific characteristics. The effectiveness of our approach is validated in three scenarios, each with different levels of similarity. CTL significantly improves learning speed and success rates compared to DDQN models initiated from scratch. For similar environments, Transfer Learning (TL) improved stability, accelerated convergence by 65%, and facilitated 35% faster adaptation in dissimilar settings.


title: Vertex-transitive graphs with small motion and transitive permutation groups with small minimal degree

abstract: The motion of a graph is the minimum number of vertices that are moved by a non-trivial automorphism. Equivalently, it can be defined as the minimal degree of its automorphism group (as a permutation group on the vertices). In this paper we develop some results on permutation groups (primitive and imprimitive) with small minimal degree. As a consequence of such results we classify vertex-transitive graphs whose motion is $4$ or a prime number.


title: Do You Even Lift? Strengthening Compiler Security Guarantees Against Spectre Attacks

abstract: Mainstream compilers implement different countermeasures to prevent specific classes of speculative execution attacks. Unfortunately, these countermeasures either lack formal guarantees or come with proofs restricted to speculative semantics capturing only a subset of the speculation mechanisms supported by modern CPUs, thereby limiting their practical applicability. Ideally, these security proofs should target a speculative semantics capturing the effects of all speculation mechanisms implemented in modern CPUs. However, this is impractical and requires new secure compilation proofs to support additional speculation mechanisms. In this paper, we address this problem by proposing a novel secure compilation framework that allows lifting the security guarantees provided by Spectre countermeasures from weaker speculative semantics (ignoring some speculation mechanisms) to stronger ones (accounting for the omitted mechanisms) without requiring new secure compilation proofs. Using our lifting framework, we performed the most comprehensive security analysis of Spectre countermeasures implemented in mainstream compilers to date. Our analysis spans 9 different countermeasures against 5 classes of Spectre attacks, which we proved secure against a speculative semantics accounting for five different speculation mechanisms.


title: Formation of superconducting pair correlations in spherical even-even nuclei

abstract: The appearance of like nucleon pair correlations in the ground state of spherical even-even nuclei is considered within a special Bogoliubov transformation. It is confirmed that in closed subshell nuclei superconducting pair correlations start to form if the coupling constant $G$ exceeds a certain threshold value. Rough upper and lower estimates are obtained for the threshold value. It is shown, that superconducting correlations exist in open subshell nuclei at any positive $G$. In this case, nucleon pairs are distributed over all subshells participating in the pairing interaction.


title: From little BMO to product BMO through multiplication operator

abstract: We characterize the multipliers from the little BMO of Cotlar-Sadosky to the product BMO of Chang-Fefferman on the polydisk.


title: A motivic integral identity for $(-1)$-shifted symplectic stacks

abstract: We prove a motivic integral identity relating the motivic Behrend function of a $(-1)$-shifted symplectic stack to that of its stack of graded points. This generalizes analogous identities for moduli stacks of objects in a $3$-Calabi$\unicode{x2013}$Yau category obtained by Kontsevich$\unicode{x2013}$Soibelman and Joyce$\unicode{x2013}$Song, which are crucial in proving wall-crossing formulae for Donaldson$\unicode{x2013}$Thomas invariants. We expect our identity to be useful in generalizing motivic Donaldson$\unicode{x2013}$Thomas theory to general $(-1)$-shifted symplectic stacks.


title: LaT-PFN: A Joint Embedding Predictive Architecture for In-context Time-series Forecasting

abstract: We introduce LatentTimePFN (LaT-PFN), a foundational Time Series model with a strong embedding space that enables zero-shot forecasting. To achieve this, we perform in-context learning in latent space utilizing a novel integration of the Prior-data Fitted Networks (PFN) and Joint Embedding Predictive Architecture (JEPA) frameworks. We leverage the JEPA framework to create a prediction-optimized latent representation of the underlying stochastic process that generates time series and combines it with contextual learning, using a PFN. Furthermore, we improve on preceding works by utilizing related time series as a context and introducing a normalized abstract time axis. This reduces training time and increases the versatility of the model by allowing any time granularity and forecast horizon. We show that this results in superior zero-shot predictions compared to established baselines. We also demonstrate our latent space produces informative embeddings of both individual time steps and fixed-length summaries of entire series. Finally, we observe the emergence of multi-step patch embeddings without explicit training, suggesting the model actively learns discrete tokens that encode local structures in the data, analogous to vision transformers.


title: Decidability of Quasi-Dense Modal Logics

abstract: The decidability of axiomatic extensions of the modal logic K with modal reduction principles, i.e. axioms of the form $\Diamond^{k} p \rightarrow \Diamond^{n} p$, has remained a long-standing open problem. In this paper, we make significant progress toward solving this problem and show that decidability holds for a large subclass of these logics, namely, for 'quasi-dense logics.' Such logics are extensions of K with with modal reduction axioms such that $0 < k < n$ (dubbed 'quasi-density axioms'). To prove decidability, we define novel proof systems for quasi-dense logics consisting of disjunctive existential rules, which are first-order formulae typically used to specify ontologies in the context of database theory. We show that such proof systems can be used to generate proofs and models of modal formulae, and provide an intricate model-theoretic argument showing that such generated models can be encoded as finite objects called 'templates.' By enumerating templates of bound size, we obtain an EXPSPACE decision procedure as a consequence.


title: Nonuniversal critical dynamics on planar random lattices with heterogeneous degree distributions

abstract: The weighted planar stochastic (WPS) lattice introduces a topological disorder that emerges from a multifractal structure. Its dual network has a power-law degree distribution and is embedded in a two-dimensional space, forming a planar network. We modify the original recipe to construct WPS networks with degree distributions interpolating smoothly between the original power-law tail, $P(q)\sim q^{-\alpha}$ with exponent $\alpha\approx 5.6$, and a square lattice. We analyze the role of disorder in the modified WPS model, considering the critical behavior of the contact process. We report a critical scaling depending on the network degree distribution. The scaling exponents differ from the standard mean-field behavior reported for CP on infinite-dimensional (random) graphs with power-law degree distribution. Furthermore, the disorder present in the WPS lattice model is in agreement with the Luck-Harris criterion for the relevance of disorder in critical dynamics. However, despite the same wandering exponent $\omega=1/2$, the disorder effects observed for the WPS lattice are weaker than those found for uncorrelated disorder.


title: The Effect of Quantization in Federated Learning: A R\'enyi Differential Privacy Perspective

abstract: Federated Learning (FL) is an emerging paradigm that holds great promise for privacy-preserving machine learning using distributed data. To enhance privacy, FL can be combined with Differential Privacy (DP), which involves adding Gaussian noise to the model weights. However, FL faces a significant challenge in terms of large communication overhead when transmitting these model weights. To address this issue, quantization is commonly employed. Nevertheless, the presence of quantized Gaussian noise introduces complexities in understanding privacy protection. This research paper investigates the impact of quantization on privacy in FL systems. We examine the privacy guarantees of quantized Gaussian mechanisms using R\'enyi Differential Privacy (RDP). By deriving the privacy budget of quantized Gaussian mechanisms, we demonstrate that lower quantization bit levels provide improved privacy protection. To validate our theoretical findings, we employ Membership Inference Attacks (MIA), which gauge the accuracy of privacy leakage. The numerical results align with our theoretical analysis, confirming that quantization can indeed enhance privacy protection. This study not only enhances our understanding of the correlation between privacy and communication in FL but also underscores the advantages of quantization in preserving privacy.


title: Connecting disclinations by ridges

abstract: We consider a thin elastic sheet with a finite number of disclinations in a variational framework in the F\"oppl-von K\'arm\'an approximation. Under the non-physical assumption that the out-of-plane displacement is a convex function, we prove that minimizers display ridges between the disclinations. We prove the associated energy scaling law with upper and lower bounds that match up to logarithmic factors in the thickness of the sheet. One of the key estimates in the proof that we consider of independent interest is a generalization of the monotonicity property of the Monge-Amp\`ere measure.


title: When Large Language Model Meets Optimization

abstract: Optimization algorithms and large language models (LLMs) enhance decision-making in dynamic environments by integrating artificial intelligence with traditional techniques. LLMs, with extensive domain knowledge, facilitate intelligent modeling and strategic decision-making in optimization, while optimization algorithms refine LLM architectures and output quality. This synergy offers novel approaches for advancing general AI, addressing both the computational challenges of complex problems and the application of LLMs in practical scenarios. This review outlines the progress and potential of combining LLMs with optimization algorithms, providing insights for future research directions.


title: Compositional Value Iteration with Pareto Caching

abstract: The de-facto standard approach in MDP verification is based on value iteration (VI). We propose compositional VI, a framework for model checking compositional MDPs, that addresses efficiency while maintaining soundness. Concretely, compositional MDPs naturally arise from the combination of individual components, and their structure can be expressed using, e.g., string diagrams. Towards efficiency, we observe that compositional VI repeatedly verifies individual components. We propose a technique called Pareto caching that allows to reuse verification results, even for previously unseen queries. Towards soundness, we present two stopping criteria: one generalizes the optimistic value iteration paradigm and the other uses Pareto caches in conjunction with recent baseline algorithms. Our experimental evaluations shows the promise of the novel algorithm and its variations, and identifies challenges for future work.


title: Dimensionally reducing the Classical Regge Growth (CRG) conjecture

abstract: We explore the Classical Regge Growth conjecture (CRG) in the 4d effective field theory that results from compactifying $D$-dimensional General Relativity on a compact, Ricci-flat manifold. While the higher dimensional description is given in terms of pure Einstein gravity and the conjecture is automatically satisfied, it imposes several non-trivial constraints in the 4d spectrum. Namely, there must be either none or an infinite number of massive spin-2 modes, and the mass ratio between consecutive KK spin-2 replicas is bounded by the 4d coupling constants.


title: Global analysis of the $U(3)^5$ symmetric SMEFT

abstract: The $U(3)^5$ symmetry within the SMEFT framework restricts the inclusion of only fully flavor-conserving operators at dimension six. This proceeding presents a global analysis of the SMEFT under this assumption. We provide global constraints on all 41 Wilson coefficients, utilizing leading-order and next-to-leading-order SMEFT predictions for various experiments including parity-violating experiments, Electroweak Precision Observables (EWPO), Higgs physics, top quark interactions, flavor observables, dijet production, and lepton scatterings. We address issues concerning the constraints of specific four-quark operators, investigate correlations between observables at different energy scales, and assess the impact of next-to-leading-order contributions on the global fit.


title: A novel Reservoir Architecture for Periodic Time Series Prediction

abstract: This paper introduces a novel approach to predicting periodic time series using reservoir computing. The model is tailored to deliver precise forecasts of rhythms, a crucial aspect for tasks such as generating musical rhythm. Leveraging reservoir computing, our proposed method is ultimately oriented towards predicting human perception of rhythm. Our network accurately predicts rhythmic signals within the human frequency perception range. The model architecture incorporates primary and intermediate neurons tasked with capturing and transmitting rhythmic information. Two parameter matrices, denoted as c and k, regulate the reservoir's overall dynamics. We propose a loss function to adapt c post-training and introduce a dynamic selection (DS) mechanism that adjusts $k$ to focus on areas with outstanding contributions. Experimental results on a diverse test set showcase accurate predictions, further improved through real-time tuning of the reservoir via c and k. Comparative assessments highlight its superior performance compared to conventional models.


title: One-step Pulsed Laser Deposition of Metal oxynitride/Carbon Composites for Supercapacitor Application

abstract: Advanced material composite of nanocarbons and metal-based materials provides a synergistic effect to obtain excellent electrochemical charge-storage performance and other properties. Herein, 3D porous carbon-metal oxynitride nanocomposites with tunable carbon/metal and oxygen/nitrogen ratio are synthesized uniquely by simultaneous ablation from two different targets by single-step pulsed laser deposition at room temperature. Co ablation of titanium and vanadium nitride targets together with graphite allowed us to synthesize carbon-metal oxynitride porous nanocomposite and exploit them as a binder-free thin film supercapacitor electrode in aqueous electrolyte. We show that the elemental composition ratio and hence the structural properties can be tuned by selecting target configuration and by manipulating the ablation position. We investigate how this tuning capability impacts their charge-storage performances. We anticipate the utilization of as-synthesized various composites in a single PLD production run as next-generation active materials for flexible energy storage and optoelectronic applications.


title: On-chip integrated metasystem for spin-dependent multi-channel colour holography

abstract: On-chip integrated metasurface driven by in-plane guided waves is of great interests in various light field manipulation applications such as colorful augmented reality and holographic display. However, it remains a challenge to design colorful multichannel holography by a single on-chip metasurface. Here we present metasurfaces integrated on top of guided-wave photonic slab that achieves multi-channel colorful holographic light display. An end-to-end scheme is used to inverse design the metasurface for projecting off-chip preset multiple patterns. Particular examples are presented for customized patterns that were encoded into the metasurface with a single-cell meta-atom, working simultaneously at RGB color channels and for several different diffractive distance, with polarization dependence. Holographic images are generated at 18 independent channels with such a single-cell metasurface. The proposed design scheme is easy to implement and the resulting device is viable to fabrication, promising a plenty of applications in nanophotonics.


title: Geometry of the fixed points loci and discretization of Springer fibers in classical types

abstract: Consider a simple algebraic group $G$ of classical type and its Lie algebra $\mathfrak{g}$. Let $(e,h,f) \subset \mathfrak{g}$ be an $\mathfrak{sl}_2$-triple and $Q_e= C_G(e,h,f)$. The torus $T_e$ that comes from the $\mathfrak{sl}_2$-triple acts on the Springer fiber $\mathcal{B}_e$. Let $\mathcal{B}_e^{gr}$ denote the fixed point loci of $\mathcal{B}_e$ under this torus action. Our main geometric result is that when the partition of $e$ has up to $4$ rows, the derived category $D^b(\mathcal{B}_e^{gr})$ admits a complete exceptional collection that is compatible with the $Q_e$-action. The objects in this collection give us a finite set $Y_e$ that is naturally equipped with a $Q_e$-centrally extended structure. We prove that the set $Y_e$ constructed in this way coincides with a finite set that has appeared in various contexts in representation theory. For example, a direct summand $J_c$ of the asymptotic Hecke algebra is isomorphic to $K_0(Sh^{Q_e}(Y_e\times Y_e)$. The left cells in the two-sided cell $c$ corresponding to the adjoint orbit of $e$ are in bijection with the $Q_e$-orbits in $Y_e$. Our main numerical result is an algorithm to compute the multiplicities of the $Q_e$-centrally extended orbits that appear in $Y_e$.


title: Advancing Set-Conditional Set Generation: Diffusion Models for Fast Simulation of Reconstructed Particles

abstract: The computational intensity of detector simulation and event reconstruction poses a significant difficulty for data analysis in collider experiments. This challenge inspires the continued development of machine learning techniques to serve as efficient surrogate models. We propose a fast emulation approach that combines simulation and reconstruction. In other words, a neural network generates a set of reconstructed objects conditioned on input particle sets. To make this possible, we advance set-conditional set generation with diffusion models. Using a realistic, generic, and public detector simulation and reconstruction package (COCOA), we show how diffusion models can accurately model the complex spectrum of reconstructed particles inside jets.


title: Interferometric Purcell suppression of spontaneous emission in a superconducting qubit

abstract: In superconducting qubits, suppression of spontaneous emission is essential to achieve fast dispersive measurement and reset without sacrificing qubit lifetime. We show that resonator-mediated decay of the qubit mode to the feedline can be suppressed using destructive interference, where the readout resonator is coupled to the feedline at two points. This "interferometric Purcell filter" does not require dedicated filter components or impedance mismatch in the feedline, making it suitable for applications such as all-pass readout. We design and fabricate a device with the proposed scheme and demonstrate suppression of resonator-mediated decay that exceeds 2 orders of magnitude over a bandwidth of 400 MHz.


title: Quantum Field Theory in Curved Spacetime Approach to the Backreaction of Dynamical Casimir Effect

abstract: In this thesis, we investigate the dynamical Casimir effect, the creation of particles from vacuum by dynamical boundary conditions or dynamical background, and its backreaction to the motion of the boundary. The backreaction of particle creation to the boundary motion is studied using quantum field theory in curved spacetime technique, in 1+1 dimension and 3+1 dimension. The relevant quantities in these quantum field processes are carefully analyzed, including regularization of the UV and IR divergent of vacuum energy, and estimation of classical backreaction effects like radiation pressure. We recovered the qualitative result of backreaction in 1+1 dimensions. In the 3+1 dimension, we find that the backreaction tends to slow down the system to suppress the further particle creation, similar to the case of cosmological particle creation.


title: In-situ optical vector analysis based on integrated lithium niobate single-sideband modulators

abstract: Optical vector analysis (OVA) is an enabling technology for comprehensively characterizing both amplitude and phase responses of optical devices or systems. Conventional OVA technologies are mostly based on discrete optoelectronic components, leading to unsatisfactory system sizes, complexity, and stability. They also encounter challenges in revealing the on-chip characteristics of integrated photonic devices, which are often overwhelmed by the substantial coupling loss and extra spectral response at chip facets. In this work, we demonstrate a miniaturized OVA system for integrated photonics devices based on broadband single sideband (SSB) modulators on a thin-film lithium niobate (LN) platform. The OVA could provide a direct probe of both amplitude and phase responses of photonic devices with kHz-level resolution and tens of terahertz measurement bandwidth. We perform in-situ characterizations of single and coupled microring resonators fabricated on the same chip as the OVA, unfolding their intrinsic loss and coupling states unambiguously. Furthermore, we achieve the direct measurement of collective phase dynamics and density of states of the Bloch modes in a synthetic frequency crystal, by in-situ OVA of a dynamically modulated microring resonator. Our in-situ OVA system provides a compact, high-precision, and broadband solution for characterizing future integrated photonic devices and circuits, with potential applications ranging from optical communications, biosensing, neuromorphic computing, to quantum information processing.


title: Source identification using different moment hierarchies

abstract: This work considers the localization of a bioluminescent source in a tissue-mimicking phantom. To model the light propagation in the resulting inverse problem the radiative transfer equation is approximated by using hierarchical simplified moment approximations. The inverse problem is then solved by using a consensus-based optimization algorithm.


title: The $a_1$ factorisation coefficient in ${\overline{B}^0} \to D^{(*)+}M^{-}$ and ${\overline{B}^0} \to D^{(*)+}D_s^{(*)-}$ decays: measurements versus theory

abstract: Using recent measurements of exclusive B-meson decays we extract the $a_1$ factorization parameter in ${\overline{B}^{0}_{d}} \to D^{(*)^+} K^-/\pi^-$ decay channels. { The values obtained in the four channels are very similar, in agreement with the theoretical expectations obtained in the $m_Q \to \infty$ limit, but the measured values differ definitely from the expected central values. } Such differences have already been observed. Using recent data, we improve the accuracy by {a factor close to two} in this comparison. We study possible interpretations for such a difference and conclude that the claimed accuracy of corrections due to soft gluon contributions and finite mass effects has to be revisited before arguing for possible "New-Physics" effects. We observe that the corrections to the $m_Q \to \infty$ limit are larger in the spectator topology than effects from exchange amplitude contributions. We discuss also the way expected ratios of $a_1$ values, involving hypotheses from theory, are used to obtain the fraction of $B^0_s$ meson production in jets at LHC and conclude that the uncertainties attached to this approach are not well established. Finally, the $a_1$ values extracted from $\overline{B}^{0}_{d} \to D^{(*)+} D_s^-$ decays are found to be similar, within uncertainties, to the ones obtained with $K^-$ emission, once expected penguin contributions are corrected. Using the same approach, we note that $a_1$ values measured in channels with a $D_s^{*-}$ emission are about two standard deviations lower than $a_1(D^{(*)+}K^-$).


title: Spatial Cognition: a Wave Hypothesis

abstract: Animals build Bayesian 3D models of their surroundings, to control their movements. There is strong selection pressure to make these models as precise as possible, given their sense data. A previous paper has described how a precise 3D model of space can be built by object tracking. This only works if 3D locations are stored with high spatial precision. Neural models of 3D spatial memory have large random errors; too large to support the tracking model. An alternative is described, in which neurons couple to a wave excitation in the brain, representing 3-D space. This can give high spatial precision, fast response, and other benefits. Three lines of evidence support the wave hypothesis: (1) it has better precision and speed than neural spatial memory, and is good enough to support object tracking; (2) the central body of the insect brain, whose form is highly conserved across all insect species, is well suited to hold a wave; and (3) the thalamus, whose round shape is conserved across all mammal species, is well suited to hold a wave. These lines of evidence strongly support the wave hypothesis.


title: Master thesis: High-rate multipartite quantum secret sharing with continuous variables

abstract: Quantum cryptography has undergone substantial growth and development within the multi-disciplinary field of quantum information in recent years. The field is constantly advancing with new protocols being developed, security measures being improved, and the first practical applications of these technologies being deployed in optical fibers and free space optical beams. In this paper, we present a comprehensive review of a cutting-edge metropolitan-scale protocol for continuous-variable quantum cryptography. The protocol allows an arbitrary number of users to send modulated coherent states to a relay, where a generalised Bell detection creates secure multipartite correlations. These correlations are then distilled into a shared secret key, providing a secure method for quantum secret-sharing. This novel approach to quantum cryptography has the potential to offer high-rate secure multipartite communication using readily available optical components, making it a promising advancement in the field.


title: Isospinning ${\mathbb C}P^2$ solitons

abstract: We study stationary rotating topological solitons in (2+1)-dimensional ${\mathbb C}P^2$ non-linear sigma model with a stabilizing potential term. We find families of $U(1)\times U(1)$ symmetric solutions with topological degrees larger than 2, which have two angular frequencies and are labelled by two (one topological and the other non-topological) winding numbers $k_1>k_2$. We discuss properties of these solitons and investigate the domains of their existence.


title: Parameter study for hot spot trajectories around Sgr$A*$

abstract: Intense flaring events in the near-infrared and X-ray wavebands of our Galactic Center have been the subject of research for decades. In recent years, the GRAVITY instrument of the Very Large Telescope captured the motion and polarimetric signature of such a flare in close proximity to the supermassive black hole. This study aims to investigate a broad parameter space for hot spot motion in the vicinity of Sgr$A*$ and reproduce the observed flaring behavior. To this end, we have developed a General Relativistic Radiative Transfer code and conducted a parameter study including both planar and ejected hot spot configurations around supermassive black holes. Super-Keplerian orbital frequencies are favored by circular equatorial, cylindrical and parabolic models, whereas conical hot spot trajectories provide a better fit for orbital frequencies below the Keplerian value. Additionally, a distant observer cannot effectively differentiate between Schwarzschild and Kerr black holes, as well as face-on orbits at different observation angles.


title: Enhancing Energy Efficiency in O-RAN Through Intelligent xApps Deployment

abstract: The proliferation of 5G technology presents an unprecedented challenge in managing the energy consumption of densely deployed network infrastructures, particularly Base Stations (BSs), which account for the majority of power usage in mobile networks. The O-RAN architecture, with its emphasis on open and intelligent design, offers a promising framework to address the Energy Efficiency (EE) demands of modern telecommunication systems. This paper introduces two xApps designed for the O-RAN architecture to optimize power savings without compromising the Quality of Service (QoS). Utilizing a commercial RAN Intelligent Controller (RIC) simulator, we demonstrate the effectiveness of our proposed xApps through extensive simulations that reflect real-world operational conditions. Our results show a significant reduction in power consumption, achieving up to 50% power savings with a minimal number of User Equipments (UEs), by intelligently managing the operational state of Radio Cards (RCs), particularly through switching between active and sleep modes based on network resource block usage conditions.


title: On the coupled Maxwell-Bloch system of equations with non-decaying fields at infinity

abstract: We study an initial-boundary-value problem (IBVP) for a system of coupled Maxwell-Bloch equations (CMBE) that model two colors or polarizations of light resonantly interacting with a degenerate, two-level, active optical medium with an excited state and a pair of degenerate ground states. We assume that the electromagnetic field approaches non-vanishing plane waves in the far past and future. This type of interaction has been found to underlie nonlinear optical phenomena including electromagnetically induced transparency, slow light, stopped light, and quantum memory. Under the assumptions of unidirectional, lossless propagation of slowly-modulated plane waves, the resulting CMBE become completely integrable in the sense of possessing a Lax Pair. In this paper, we formulate an inverse scattering transform (IST) corresponding to these CMBE and their Lax pair, allowing for the spectral line of the atomic transitions in the active medium to have a finite width. The scattering problem for this Lax pair is the same as for the Manakov system. The main advancement in this IST for CMBE is calculating the nontrivial spatial propagation of the spectral data and determining the state of the optical medium in the distant future from that in the distant past, which is needed for the complete formulation of the IBVP. The Riemann-Hilbert problem is used to extract the spatio-temporal dependence of the solution from the evolving spectral data. We further derive and analyze several types of solitons and determine their velocity and stability, as well as find dark states of the medium which fail to interact with a given pulse.


title: Beyond memory-effect matrix-based imaging in scattering media by acousto-optic gating

abstract: Imaging inside scattering media at optical resolution is a longstanding challenge affecting multiple fields, from bio-medicine to astronomy. In recent years, several groundbreaking techniques for imaging inside scattering media, in particular scattering-matrix based approaches, have shown great promise, but usually suffer from a restricted field of view (FOV) due to their reliance on the optical 'memory-effect'. Here, we demonstrate that by combining acousto-optic spatial-gating with state-of-the-art matrix-based imaging techniques, diffraction-limited imaging beyond the optical memory-effect can be achieved in a robust fashion. Specifically, we show that this can be achieved by computational processing of scattered light fields captured under scanned acousto-optic modulation. The approach can be directly utilized whenever the ultrasound focus size is of the order of the memory-effect range, independently of the scattering angle.


title: Applications of Quantum Machine Learning for Quantitative Finance

abstract: Machine learning and quantum machine learning (QML) have gained significant importance, as they offer powerful tools for tackling complex computational problems across various domains. This work gives an extensive overview of QML uses in quantitative finance, an important discipline in the financial industry. We examine the connection between quantum computing and machine learning in financial applications, spanning a range of use cases including fraud detection, underwriting, Value at Risk, stock market prediction, portfolio optimization, and option pricing by overviewing the corpus of literature concerning various financial subdomains.


title: Imaging Spinor Bose Gasses Using Off-Axis Holography

abstract: We introduce a novel, non-invasive imaging technique based on spin-dependent off-axis holography (SOAH) for spin-1 Bose-Einstein condensates (BECs). Utilizing a dual reference beam strategy, this method records two orthogonal circular polarization components of a single probe beam. The circular birefringence of spin-polarized atoms induces differing complex phase shifts in the polarization components of the light, which are reconstructed from the interference patterns captured on camera. Our approach enables spin- and density-resolved imaging of both phase and amplitude information \emph{in-situ} on a sub-millisecond time scale with minimal disturbance to the condensate. We explore the technique's efficacy under various background static fields, demonstrating its sensitivity to the quantization axis of the atoms and confirming its effectiveness.


title: Distilling Implicit Multimodal Knowledge into LLMs for Zero-Resource Dialogue Generation

abstract: Integrating multimodal knowledge into large language models (LLMs) represents a significant advancement in dialogue generation capabilities. However, the effective incorporation of such knowledge in zero-resource scenarios remains a substantial challenge due to the scarcity of diverse, high-quality dialogue datasets. To address this, we propose the Visual Implicit Knowledge Distillation Framework (VIKDF), an innovative approach aimed at enhancing LLMs for enriched dialogue generation in zero-resource contexts by leveraging implicit multimodal knowledge. VIKDF comprises two main stages: knowledge distillation, using an Implicit Query Transformer to extract and encode visual implicit knowledge from image-text pairs into knowledge vectors; and knowledge integration, employing a novel Bidirectional Variational Information Fusion technique to seamlessly integrate these distilled vectors into LLMs. This enables the LLMs to generate dialogues that are not only coherent and engaging but also exhibit a deep understanding of the context through implicit multimodal cues, effectively overcoming the limitations of zero-resource scenarios. Our extensive experimentation across two dialogue datasets shows that VIKDF outperforms existing state-of-the-art models in generating high-quality dialogues. The code will be publicly available following acceptance.


title: Generating Coherent Sequences of Visual Illustrations for Real-World Manual Tasks

abstract: Multistep instructions, such as recipes and how-to guides, greatly benefit from visual aids, such as a series of images that accompany the instruction steps. While Large Language Models (LLMs) have become adept at generating coherent textual steps, Large Vision/Language Models (LVLMs) are less capable of generating accompanying image sequences. The most challenging aspect is that each generated image needs to adhere to the relevant textual step instruction, as well as be visually consistent with earlier images in the sequence. To address this problem, we propose an approach for generating consistent image sequences, which integrates a Latent Diffusion Model (LDM) with an LLM to transform the sequence into a caption to maintain the semantic coherence of the sequence. In addition, to maintain the visual coherence of the image sequence, we introduce a copy mechanism to initialise reverse diffusion processes with a latent vector iteration from a previously generated image from a relevant step. Both strategies will condition the reverse diffusion process on the sequence of instruction steps and tie the contents of the current image to previous instruction steps and corresponding images. Experiments show that the proposed approach is preferred by humans in 46.6% of the cases against 26.6% for the second best method. In addition, automatic metrics showed that the proposed method maintains semantic coherence and visual consistency across steps in both domains.


title: Asynchronous Federated Stochastic Optimization for Heterogeneous Objectives Under Arbitrary Delays

abstract: Federated learning (FL) was recently proposed to securely train models with data held over multiple locations ("clients") under the coordination of a central server. Two major challenges hindering the performance of FL algorithms are long training times caused by straggling clients, and a decline in model accuracy under non-iid local data distributions ("client drift"). In this work, we propose and analyze Asynchronous Exact Averaging (AREA), a new stochastic (sub)gradient algorithm that utilizes asynchronous communication to speed up convergence and enhance scalability, and employs client memory to correct the client drift caused by variations in client update frequencies. Moreover, AREA is, to the best of our knowledge, the first method that is guaranteed to converge under arbitrarily long delays, without the use of delay-adaptive stepsizes, and (i) for strongly convex, smooth functions, asymptotically converges to an error neighborhood whose size depends only on the variance of the stochastic gradients used with respect to the number of iterations, and (ii) for convex, non-smooth functions, matches the convergence rate of the centralized stochastic subgradient method up to a constant factor, which depends on the average of the individual client update frequencies instead of their minimum (or maximum). Our numerical results validate our theoretical analysis and indicate AREA outperforms state-of-the-art methods when local data are highly non-iid, especially as the number of clients grows.


title: Smoothing Linear Codes by R\'enyi Divergence and Applications to Security Reduction

abstract: The concept of the smoothing parameter plays a crucial role in both lattice-based and code-based cryptography, primarily due to its effectiveness in achieving nearly uniform distributions through the addition of noise. Recent research by Pathegama and Barg has determined the optimal smoothing bound for random codes under R\'enyi Divergence for any order $\alpha \in (1, \infty)$ \cite{pathegama2024r}. Considering the inherent complexity of encoding/decoding algorithms in random codes, our research introduces enhanced structural elements into these coding schemes. Specifically, this paper presents a novel derivation of the smoothing bound for random linear codes, maintaining the same order of R\'enyi Divergence and achieving optimality for any $\alpha\in (1,\infty)$. We extend this framework under KL Divergence by transitioning from random linear codes to random self-dual codes, and subsequently to random quasi-cyclic codes, incorporating progressively more structures. As an application, we derive an average-case to average-case reduction from the Learning Parity with Noise (LPN) problem to the average-case decoding problem. This reduction aligns with the parameter regime in \cite{debris2022worst}, but uniquely employs R\'enyi divergence and directly considers Bernoulli noise, instead of combining ball noise and Bernoulli noise.


title: A Recursive Lower Bound on the Energy Improvement of the Quantum Approximate Optimization Algorithm

abstract: The quantum approximate optimization algorithm (QAOA) uses a quantum computer to implement a variational method with $2p$ layers of alternating unitary operators, optimized by a classical computer to minimize a cost function. While rigorous performance guarantees exist for the QAOA at small depths $p$, the behavior at large depths remains less clear, though simulations suggest exponentially fast convergence for certain problems. In this work, we gain insights into the deep QAOA using an analytic expansion of the cost function around transition states. Transition states are constructed in a recursive manner: from the local minima of the QAOA with $p$ layers we obtain transition states of the QAOA with $p+1$ layers, which are stationary points characterized by a unique direction of negative curvature. We construct an analytic estimate of the negative curvature and the corresponding direction in parameter space at each transition state. The expansion of the QAOA cost function along the negative direction to the quartic order gives a lower bound of the QAOA cost function improvement. We provide physical intuition behind the analytic expressions for the local curvature and quartic expansion coefficient. Our numerical study confirms the accuracy of our approximations and reveals that the obtained bound and the true value of the QAOA cost function gain have a characteristic exponential decrease with the number of layers $p$, with the bound decreasing more rapidly. Our study establishes an analytical method for recursively studying the QAOA that is applicable in the regime of high circuit depth.


title: Estimating a Function and Its Derivatives Under a Smoothness Condition

abstract: We consider the problem of estimating an unknown function f* and its partial derivatives from a noisy data set of n observations, where we make no assumptions about f* except that it is smooth in the sense that it has square integrable partial derivatives of order m. A natural candidate for the estimator of f* in such a case is the best fit to the data set that satisfies a certain smoothness condition. This estimator can be seen as a least squares estimator subject to an upper bound on some measure of smoothness. Another useful estimator is the one that minimizes the degree of smoothness subject to an upper bound on the average of squared errors. We prove that these two estimators are computable as solutions to quadratic programs, establish the consistency of these estimators and their partial derivatives, and study the convergence rate as n increases to infinity. The effectiveness of the estimators is illustrated numerically in a setting where the value of a stock option and its second derivative are estimated as functions of the underlying stock price.


title: Mergers of hairy black holes: Constraining topological couplings from entropy

abstract: Hairy black-holes are a unique prediction of certain theories that extend General Relativity (GR) with a scalar field. The presence of scalar hair is reflected non-trivially in the entropy of the black hole along with any topological coupling that may be present in the action. Demanding that a system of two merging black holes obeys the global second law of thermodynamics imposes a bound on this topological coupling coefficient. In this work we study how this bound is pushed from its GR value by the presence of scalar hair by considering estimates of binary black-hole merger parameters through inference studies of mock gravitational-wave (GW) events. We find that the scalar charge may produce a statistically significant deviation of the change in entropy over the GR prediction. However, we also find the latter is susceptible to biases arising out of GW inferences which ends up being two orders of magnitude larger, therefore overwhelming any change induced by the scalar hair.


title: Red Teaming Language Models for Contradictory Dialogues

abstract: Most language models currently available are prone to self-contradiction during dialogues. To mitigate this issue, this study explores a novel contradictory dialogue processing task that aims to detect and modify contradictory statements in a conversation. This task is inspired by research on context faithfulness and dialogue comprehension, which have demonstrated that the detection and understanding of contradictions often necessitate detailed explanations. We develop a dataset comprising contradictory dialogues, in which one side of the conversation contradicts itself. Each dialogue is accompanied by an explanatory label that highlights the location and details of the contradiction. With this dataset, we present a Red Teaming framework for contradictory dialogue processing. The framework detects and attempts to explain the dialogue, then modifies the existing contradictory content using the explanation. Our experiments demonstrate that the framework improves the ability to detect contradictory dialogues and provides valid explanations. Additionally, it showcases distinct capabilities for modifying such dialogues. Our study highlights the importance of the logical inconsistency problem in conversational AI.


title: StyloAI: Distinguishing AI-Generated Content with Stylometric Analysis

abstract: The emergence of large language models (LLMs) capable of generating realistic texts and images has sparked ethical concerns across various sectors. In response, researchers in academia and industry are actively exploring methods to distinguish AI-generated content from human-authored material. However, a crucial question remains: What are the unique characteristics of AI-generated text? Addressing this gap, this study proposes StyloAI, a data-driven model that uses 31 stylometric features to identify AI-generated texts by applying a Random Forest classifier on two multi-domain datasets. StyloAI achieves accuracy rates of 81% and 98% on the test set of the AuTextification dataset and the Education dataset, respectively. This approach surpasses the performance of existing state-of-the-art models and provides valuable insights into the differences between AI-generated and human-authored texts.


title: PyOptInterface: Design and implementation of an efficient modeling language for mathematical optimization

abstract: This paper introduces the design and implementation of PyOptInterface, a modeling language for mathematical optimization embedded in Python programming language. PyOptInterface uses lightweight and compact data structure to bridge high-level entities in optimization models like variables and constraints to internal indices of optimizers efficiently. It supports a variety of optimization solvers and a range of common problem classes. We provide benchmarks to exhibit the competitive performance of PyOptInterface compared with other state-of-the-art modeling languages.


title: Trusting the Cloud-Native Edge: Remotely Attested Kubernetes Workers

abstract: A Kubernetes cluster typically consists of trusted nodes, running within the confines of a physically secure datacenter. With recent advances in edge orchestration, this is no longer the case. This poses a new challenge: how can we trust a device that an attacker has physical access to? This paper presents an architecture and open-source implementation that securely enrolls edge devices as trusted Kubernetes worker nodes. By providing boot attestation rooted in a hardware Trusted Platform Module, a strong base of trust is provided. A new custom controller directs a modified version of Keylime to cross the cloud-edge gap and securely deliver unique cluster credentials required to enroll an edge worker. The controller dynamically grants and revokes these credentials based on attestation events, preventing a possibly compromised node from accessing sensitive cluster resources. We provide both a qualitative and a quantitative evaluation of the architecture. The qualitative scenarios prove its ability to attest and enroll an edge device with role-based access control (RBAC) permissions that dynamically adjust to attestation events. The quantitative evaluation reflects an average of 10.28 seconds delay incurred on the startup time of the edge node due to attestation for a total average enrollment time of 20.91 seconds. The presented architecture thus provides a strong base of trust, securing a physically exposed edge device and paving the way for a robust and resilient edge computing ecosystem.


title: Cooperative Visual-LiDAR Extrinsic Calibration Technology for Intersection Vehicle-Infrastructure: A review

abstract: In the typical urban intersection scenario, both vehicles and infrastructures are equipped with visual and LiDAR sensors. By successfully integrating the data from vehicle-side and road monitoring devices, a more comprehensive and accurate environmental perception and information acquisition can be achieved. The Calibration of sensors, as an essential component of autonomous driving technology, has consistently drawn significant attention. Particularly in scenarios involving multiple sensors collaboratively perceiving and addressing localization challenges, the requirement for inter-sensor calibration becomes crucial. Recent years have witnessed the emergence of the concept of multi-end cooperation, where infrastructure captures and transmits surrounding environment information to vehicles, bolstering their perception capabilities while mitigating costs. However, this also poses technical complexities, underscoring the pressing need for diverse end calibration. Camera and LiDAR, the bedrock sensors in autonomous driving, exhibit expansive applicability. This paper comprehensively examines and analyzes the calibration of multi-end camera-LiDAR setups from vehicle, roadside, and vehicle-road cooperation perspectives, outlining their relevant applications and profound significance. Concluding with a summary, we present our future-oriented ideas and hypotheses.


title: Turkronicles: Diachronic Resources for the Fast Evolving Turkish Language

abstract: Over the past century, the Turkish language has undergone substantial changes, primarily driven by governmental interventions. In this work, our goal is to investigate the evolution of the Turkish language since the establishment of T\"urkiye in 1923. Thus, we first introduce Turkronicles which is a diachronic corpus for Turkish derived from the Official Gazette of T\"urkiye. Turkronicles contains 45,375 documents, detailing governmental actions, making it a pivotal resource for analyzing the linguistic evolution influenced by the state policies. In addition, we expand an existing diachronic Turkish corpus which consists of the records of the Grand National Assembly of T\"urkiye by covering additional years. Next, combining these two diachronic corpora, we seek answers for two main research questions: How have the Turkish vocabulary and the writing conventions changed since the 1920s? Our analysis reveals that the vocabularies of two different time periods diverge more as the time between them increases, and newly coined Turkish words take the place of their old counterparts. We also observe changes in writing conventions. In particular, the use of circumflex noticeably decreases and words ending with the letters "-b" and "-d" are successively replaced with "-p" and "-t" letters, respectively. Overall, this study quantitatively highlights the dramatic changes in Turkish from various aspects of the language in a diachronic perspective.


title: Towards Consistent and Explainable Motion Prediction using Heterogeneous Graph Attention

abstract: In autonomous driving, accurately interpreting the movements of other road users and leveraging this knowledge to forecast future trajectories is crucial. This is typically achieved through the integration of map data and tracked trajectories of various agents. Numerous methodologies combine this information into a singular embedding for each agent, which is then utilized to predict future behavior. However, these approaches have a notable drawback in that they may lose exact location information during the encoding process. The encoding still includes general map information. However, the generation of valid and consistent trajectories is not guaranteed. This can cause the predicted trajectories to stray from the actual lanes. This paper introduces a new refinement module designed to project the predicted trajectories back onto the actual map, rectifying these discrepancies and leading towards more consistent predictions. This versatile module can be readily incorporated into a wide range of architectures. Additionally, we propose a novel scene encoder that handles all relations between agents and their environment in a single unified heterogeneous graph attention network. By analyzing the attention values on the different edges in this graph, we can gain unique insights into the neural network's inner workings leading towards a more explainable prediction.


title: Self-supervised feature distillation and design of experiments for efficient training of micromechanical deep learning surrogates

abstract: Machine learning surrogate emulators are needed in engineering design and optimization tasks to rapidly emulate computationally expensive physics-based models. In micromechanics problems the local full-field response variables are desired at microstructural length scales. While there has been a great deal of work on establishing architectures for these tasks there has been relatively little work on establishing microstructural experimental design strategies. This work demonstrates that intelligent selection of microstructural volume elements for subsequent physics simulations enables the establishment of more accurate surrogate models. There exist two key challenges towards establishing a suitable framework: (1) microstructural feature quantification and (2) establishment of a criteria which encourages construction of a diverse training data set. Three feature extraction strategies are used as well as three design criteria. A novel contrastive feature extraction approach is established for automated self-supervised extraction of microstructural summary statistics. Results indicate that for the problem considered up to a 8\% improvement in surrogate performance may be achieved using the proposed design and training strategy. Trends indicate this approach may be even more beneficial when scaled towards larger problems. These results demonstrate that the selection of an efficient experimental design is an important consideration when establishing machine learning based surrogate models.


title: The automorphism tower of the Mennicke group $M(-1,-1,-1)$

abstract: We compute the automorphism tower of the centerless Mennicke group $M(-1,-1,-1)$


title: Light-ray sum rules and the c-anomaly

abstract: In a four-dimensional quantum field theory that flows between two fixed points under the renormalization group, the change in the conformal anomaly $\Delta a$ has been related to the average null energy. We extend this result to derive a sum rule for the other anomaly coefficient, $\Delta c$, in terms of the stress tensor three-point function. While the sum rule for $\Delta a$ is an expectation value of the averaged null energy operator, and therefore positive, the result for $\Delta c$ involves the off-diagonal matrix elements, so it does not have a fixed sign.


title: PL-MTEB: Polish Massive Text Embedding Benchmark

abstract: In this paper, we introduce the Polish Massive Text Embedding Benchmark (PL-MTEB), a comprehensive benchmark for text embeddings in Polish. The PL-MTEB consists of 28 diverse NLP tasks from 5 task types. We adapted the tasks based on previously used datasets by the Polish NLP community. In addition, we created a new PLSC (Polish Library of Science Corpus) dataset consisting of titles and abstracts of scientific publications in Polish, which was used as the basis for two novel clustering tasks. We evaluated 15 publicly available models for text embedding, including Polish and multilingual ones, and collected detailed results for individual tasks and aggregated results for each task type and the entire benchmark. PL-MTEB comes with open-source code at https://github.com/rafalposwiata/pl-mteb.


title: Mental Well-being Opportunities in Interacting and Reflecting with Personal Data Sculptures of EEG

abstract: Data physicalization is a research area in quick expansion whose necessity and popularity are motivated by the pervasiveness of data in our everyday. While the reflective ability of personal data physicalization has been vastly documented, their mental health and emotional well-being benefits remain largely unexplored. We present a qualitative study where we create personal data sculptures of electroencephalograms (EEG) and mental activity, observe users' interactions with them, and analyze their reflections for hints of self-discovery and intended behavioral change. We argue that there is a ground for using personal data sculptures as prompts for reflection on mental well-being and motivators for self-caring, and that data sculptures for mental well-being are a finalized use of data physicalization worth exploring further.


title: Libra: Building Decoupled Vision System on Large Language Models

abstract: In this work, we introduce Libra, a prototype model with a decoupled vision system on a large language model (LLM). The decoupled vision system decouples inner-modal modeling and cross-modal interaction, yielding unique visual information modeling and effective cross-modal comprehension. Libra is trained through discrete auto-regressive modeling on both vision and language inputs. Specifically, we incorporate a routed visual expert with a cross-modal bridge module into a pretrained LLM to route the vision and language flows during attention computing to enable different attention patterns in inner-modal modeling and cross-modal interaction scenarios. Experimental results demonstrate that the dedicated design of Libra achieves a strong MLLM baseline that rivals existing works in the image-to-text scenario with merely 50 million training data, providing a new perspective for future multimodal foundation models. Code is available at https://github.com/YifanXu74/Libra.


title: The flaring activity of blazar AO 0235+164 during year 2021

abstract: Context. The blazar AO 0235+164, located at redshift $z=0.94$, has displayed interesting and repeating flaring activity in the past, the latest episodes occurring in 2008 and 2015. In 2020, the source brightened again, starting a new flaring episode that peaked in 2021. Aims. We study the origin and properties of the 2021 flare in relation to previous studies and the historical behavior of the source, in particular to the 2008 and 2015 flaring episodes. Methods. We analyze the multi-wavelength photo-polarimetric evolution of the source. From Very Long Baseline Array images, we derive the kinematic parameters of new components associated with the 2021 flare. We use this information to constrain a model for the spectral energy distribution of the emission during the flaring period. We propose an analytical geometric model to test whether the observed wobbling of the jet is consistent with precession. Results. We report the appearance of two new components that are ejected in a different direction than previously, confirming the wobbling of the jet. We find that the direction of ejection is consistent with that of a precessing jet.The derived period independently agrees with the values commonly found in the literature. Modeling of the spectral energy distribution further confirm that the differences between flares can be attributed to geometrical effects.


title: GS-Planner: A Gaussian-Splatting-based Planning Framework for Active High-Fidelity Reconstruction

abstract: Active reconstruction technique enables robots to autonomously collect scene data for full coverage, relieving users from tedious and time-consuming data capturing process. However, designed based on unsuitable scene representations, existing methods show unrealistic reconstruction results or the inability of online quality evaluation. Due to the recent advancements in explicit radiance field technology, online active high-fidelity reconstruction has become achievable. In this paper, we propose GS-Planner, a planning framework for active high-fidelity reconstruction using 3D Gaussian Splatting. With improvement on 3DGS to recognize unobserved regions, we evaluate the reconstruction quality and completeness of 3DGS map online to guide the robot. Then we design a sampling-based active reconstruction strategy to explore the unobserved areas and improve the reconstruction geometric and textural quality. To establish a complete robot active reconstruction system, we choose quadrotor as the robotic platform for its high agility. Then we devise a safety constraint with 3DGS to generate executable trajectories for quadrotor navigation in the 3DGS map. To validate the effectiveness of our method, we conduct extensive experiments and ablation studies in highly realistic simulation scenes.


title: Relational DNN Verification With Cross Executional Bound Refinement

abstract: We focus on verifying relational properties defined over deep neural networks (DNNs) such as robustness against universal adversarial perturbations (UAP), certified worst-case hamming distance for binary string classifications, etc. Precise verification of these properties requires reasoning about multiple executions of the same DNN. However, most of the existing works in DNN verification only handle properties defined over single executions and as a result, are imprecise for relational properties. Though few recent works for relational DNN verification, capture linear dependencies between the inputs of multiple executions, they do not leverage dependencies between the outputs of hidden layers producing imprecise results. We develop a scalable relational verifier RACoon that utilizes cross-execution dependencies at all layers of the DNN gaining substantial precision over SOTA baselines on a wide range of datasets, networks, and relational properties.


title: Note on existence of physical measures for systems with mixed central behavior

abstract: We show the existence of physical measures for $C^{\infty}$ smooth instances of certain partially hyperbolic dynamics, both continuous and discrete, exhibiting mixed behavior (positive and negative Lyapunov exponents) along the central non-uniformly hyperbolic multidimensional invariant direction, as a consequence of assuming the existence of certain types of ''regular points'' on positive volume subsets. This includes the $C^3$ robust class of multidimensional non-hyperbolic attractors obtained by Viana, and the $C^1$ robust classes of $3$-sectionally hyperbolic wild strange attractors presented by Shilnikov and Turaev.


title: Deep Koopman Operator-Informed Safety Command Governor for Autonomous Vehicles

abstract: Modeling of nonlinear behaviors with physical-based models poses challenges. However, Koopman operator maps the original nonlinear system into an infinite-dimensional linear space to achieve global linearization of the nonlinear system through input and output data, which derives an absolute equivalent linear representation of the original state space. Due to the impossibility of implementing the infinite-dimensional Koopman operator, finite-dimensional kernel functions are selected as an approximation. Given its flexible structure and high accuracy, deep learning is initially employed to extract kernel functions from data and acquire a linear evolution dynamic of the autonomous vehicle in the lifted space. Additionally, the control barrier function (CBF) converts the state constraints to the constraints on the input to render safety property. Then, in terms of the lateral stability of the in-wheel motor driven vehicle, the CBF conditions are incorporated with the learned deep Koopman model. Because of the linear fashion of the deep Koopman model, the quadratic programming problem is formulated to generate the applied driving torque with minimal perturbation to the original driving torque as a safety command governor. In the end, to validate the fidelity of the deep Koopman model compared to other mainstream approaches and demonstrate the lateral improvement achieved by the proposed safety command governor, data collection and safety testing scenarios are conducted on a hardware-in-the-loop platform.


title: Single-ensemble multilevel Monte Carlo for discrete interacting-particle methods

abstract: To solve problems in domains such as filtering, optimization, and posterior sampling, interacting-particle methods have recently received much attention. These parallelizable and often gradient-free algorithms use an ensemble of particles that evolve in time, based on a combination of well-chosen dynamics and interaction between the particles. For computationally expensive dynamics -- for example, dynamics that solve inverse problems with an expensive forward model -- the cost of attaining a high accuracy quickly becomes prohibitive. We exploit a hierarchy of approximations to this forward model and apply multilevel Monte Carlo (MLMC) techniques, improving the asymptotic cost-to-error relation. More specifically, we use MLMC at each time step to estimate the interaction term within a single, globally-coupled ensemble. This technique was proposed by Hoel et al. in the context of the ensemble Kalman filter; the goal of the present paper is to study its applicability to a general framework of interacting-particle methods. After extending the algorithm and its analysis to a broad set of methods with fixed numbers of time steps, we motivate the application of the method to the class of algorithms with an infinite time horizon, which includes popular methods such as ensemble Kalman algorithms for optimization and sampling. Numerical tests confirm the improved asymptotic scaling of the multilevel approach.


title: Isomorphism of relative holomorphs and matrix similarity

abstract: Let $V$ be a finite-dimensional vector space over the field with $p$ elements, where $p$ is a prime number. Given arbitrary $\alpha,\beta\in \mathrm{GL}(V)$, we consider the semidirect products $V\rtimes\langle \alpha\rangle$ and $V\rtimes\langle \beta\rangle$, and show that if $V\rtimes\langle \alpha\rangle$ and $V\rtimes\langle \beta\rangle$ are isomorphic, then $\alpha$ must be similar to a power of $\beta$ that generates the same subgroup as $\beta$; that is, if $H$ and $K$ are cyclic subgroups of $\mathrm{GL}(V)$ such that $V\rtimes H\cong V\rtimes K$, then $H$ and $K$ must be conjugate subgroups of $\mathrm{GL}(V)$. If we remove the cyclic condition, there exist examples of non-isomorphic, let alone non-conjugate, subgroups $H$ and $K$ of $\mathrm{GL}(V)$ such that $V\rtimes H\cong V\rtimes K$. Even if we require that non-cyclic subgroups $H$ and $K$ of $\mathrm{GL}(V)$ be abelian, we may still have $V\rtimes H\cong V\rtimes K$ with $H$ and $K$ non-conjugate in $\mathrm{GL}(V)$, but in this case, $H$ and $K$ must at least be isomorphic. If we replace $V$ by a free module $U$ over ${\mathbf Z}/p^m{\mathbf Z}$ of finite rank, with $m>1$, it may happen that $U\rtimes H\cong U\rtimes K$ for non-conjugate cyclic subgroups of $\mathrm{GL}(U)$. If we completely abandon our requirements on $V$, a sufficient criterion is given for a finite group $G$ to admit non-conjugate cyclic subgroups $H$ and $K$ of $\mathrm{Aut}(G)$ such that $G\rtimes H\cong G\rtimes K$. This criterion is satisfied by many groups.


title: SpecDETR: A Transformer-based Hyperspectral Point Object Detection Network

abstract: Hyperspectral target detection (HTD) aims to identify specific materials based on spectral information in hyperspectral imagery and can detect point targets, some of which occupy a smaller than one-pixel area. However, existing HTD methods are developed based on per-pixel binary classification, which limits the feature representation capability for point targets. In this paper, we rethink the hyperspectral point target detection from the object detection perspective, and focus more on the object-level prediction capability rather than the pixel classification capability. Inspired by the token-based processing flow of Detection Transformer (DETR), we propose the first specialized network for hyperspectral multi-class point object detection, SpecDETR. Without the backbone part of the current object detection framework, SpecDETR treats the spectral features of each pixel in hyperspectral images as a token and utilizes a multi-layer Transformer encoder with local and global coordination attention modules to extract deep spatial-spectral joint features. SpecDETR regards point object detection as a one-to-many set prediction problem, thereby achieving a concise and efficient DETR decoder that surpasses the current state-of-the-art DETR decoder in terms of parameters and accuracy in point object detection. We develop a simulated hyperSpectral Point Object Detection benchmark termed SPOD, and for the first time, evaluate and compare the performance of current object detection networks and HTD methods on hyperspectral multi-class point object detection. SpecDETR demonstrates superior performance as compared to current object detection networks and HTD methods on the SPOD dataset. Additionally, we validate on a public HTD dataset that by using data simulation instead of manual annotation, SpecDETR can detect real-world single-spectral point objects directly.


title: Delooping cyclic groups with lens spaces in homotopy type theory

abstract: In the setting of homotopy type theory, each type can be interpreted as a space. Moreover, given an element of a type, i.e. a point in the corresponding space, one can define another type which encodes the space of loops based at this point. In particular, when the type we started with is a groupoid, this loop space is always a group. Conversely, to every group we can associate a type (more precisely, a pointed connected groupoid) whose loop space is this group: this operation is called delooping. The generic procedures for constructing such deloopings of groups (based on torsors, or on descriptions of Eilenberg-MacLane spaces as higher inductive types) are unfortunately equipped with elimination principles which do not directly allow eliminating to untruncated types, and are thus difficult to work with in practice. Here, we construct deloopings of the cyclic groups $\mathbb{Z}_m$ which are cellular, and thus do not suffer from this shortcoming. In order to do so, we provide type-theoretic implementations of lens spaces, which constitute an important family of spaces in algebraic topology. Our definition is based on the computation of an iterative join of suitable maps from the circle to an arbitrary delooping of $\mathbb{Z}_m$. In some sense, this work generalizes the construction of real projective spaces by Buchholtz and Rijke, which handles the case m=2, although the general setting requires more involved tools. Finally, we use this construction to also provide cellular descriptions of dihedral groups, and explain how we can hope to use those to compute the cohomology and higher actions of such groups.


title: Speaker Verification in Agent-Generated Conversations

abstract: The recent success of large language models (LLMs) has attracted widespread interest to develop role-playing conversational agents personalized to the characteristics and styles of different speakers to enhance their abilities to perform both general and special purpose dialogue tasks. However, the ability to personalize the generated utterances to speakers, whether conducted by human or LLM, has not been well studied. To bridge this gap, our study introduces a novel evaluation challenge: speaker verification in agent-generated conversations, which aimed to verify whether two sets of utterances originate from the same speaker. To this end, we assemble a large dataset collection encompassing thousands of speakers and their utterances. We also develop and evaluate speaker verification models under experiment setups. We further utilize the speaker verification models to evaluate the personalization abilities of LLM-based role-playing models. Comprehensive experiments suggest that the current role-playing models fail in accurately mimicking speakers, primarily due to their inherent linguistic characteristics.


title: Relativistic EELS scattering cross-sections for microanalysis based on Dirac solutions

abstract: The rich information of electron energy-loss spectroscopy (EELS) comes from the complex inelastic scattering process whereby fast electrons transfer energy and momentum to atoms, exciting bound electrons from their ground states to higher unoccupied states. To quantify EELS, the common practice is to compare the cross-sections integrated within an energy window or fit the observed spectrum with theoretical differential cross-sections calculated from a generalized oscillator strength (GOS) database with experimental parameters. The previous Hartree-Fock-based and DFT-based GOS are calculated from Schr\"odinger's solution of atomic orbitals, which does not include the full relativistic effects. Here, we attempt to go beyond the limitations of the Schr\"odinger solution in the GOS tabulation by including the full relativistic effects using the Dirac equation within the local density approximation, which is particularly important for core-shell electrons of heavy elements with strong spin-orbit coupling. This has been done for all elements in the periodic table (up to Z = 118) for all possible excitation edges using modern computing capabilities and parallelization algorithms. The relativistic effects of fast incoming electrons were included to calculate cross-sections that are specific to the acceleration voltage. We make these tabulated GOS available under an open-source license to the benefit of both academic users as well as allowing integration into commercial solutions.

categories: physics.atom-ph cond-mat.mtrl-sci physics.app-ph quant-ph


title: Braids, twists, trace and duality in combinatory algebras

abstract: We investigate a class of combinatory algebras, called ribbon combinatory algebras, in which we can interpret both the braided untyped linear lambda calculus and framed oriented tangles. Any reflexive object in a ribbon category gives rise to a ribbon combinatory algebra. Conversely, From a ribbon combinatory algebra, we can construct a ribbon category with a reflexive object, from which the combinatory algebra can be recovered. To show this, and also to give the equational characterisation of ribbon combinatory algebras, we make use of the internal PRO construction developed in Hasegawa's recent work. Interestingly, we can characterise ribbon combinatory algebras in two different ways: as balanced combinatory algebras with a trace combinator, and as balanced combinatory algebras with duality.


title: Firefighters' Perceptions on Collaboration and Interaction with Autonomous Drones: Results of a Field Trial

abstract: Applications of drones in emergency response, like firefighting, have been promoted in the past decade. As the autonomy of drones continues to improve, the ways in which they are integrated into firefighting teams and their impact on crews are changing. This demands more understanding of how firefighters perceive and interact with autonomous drones. This paper presents a drone-based system for emergency operations with which firefighters can interact through sound, lights, and a graphical user interface. We use interviews with stakeholders collected in two field trials to explore their perceptions of the interaction and collaboration with drones. Our result shows that firefighters perceived visual interaction as adequate. However, for audio instructions and interfaces, information overload emerges as an essential problem. The potential impact of drones on current work configurations may involve shifting the position of humans closer to supervisory decision-makers and changing the training structure and content.


title: Quantum CZ Gate based on Single Gradient Metasurface

abstract: We propose a scheme to realize quantum controlled-Z (CZ) gates through single gradient metasurface. Using its unique parallel beam-splitting feature, i.e., a series of connected beam splitters with the same splitting ratio, one metasurface can support a CZ gate, several independent CZ gates, or a cascaded CZ gates. Taking advantage of the input polarization determined output path-locking feature, both polarization-encoded and path-encoded CZ gates can be demonstrated on the same metasurface, which further improves the integration level of quantum devices. Our research paves the way for integrating quantum logical function through the metasurface.


title: CMB Constraints on Natural Inflation with Gauge Field Production

abstract: The natural inflation model with a periodic cosine potential is ruled out by recent Planck 2018 data for the decay constant $f \lesssim 5.5~M_{\rm Pl}$. If the Planck data is combined with the BICEP Keck array and BAO data, the model is excluded (at $2$-$\sigma$) for all values of $f$. In this context, we revisit the model when the pseudoscalar inflation $\phi$ is coupled with a gauge field via a coupling of the form $\frac{\alpha}{f} \phi F \tilde{F}$, where $F (\tilde F)$ denotes the gauge field (dual) strength tensor, and $\alpha$ is the coupling constant. The back-reactions associated with the gauge field production during the later stages of inflation extend the duration of inflation. We numerically evaluate the dynamics of the fields while neglecting the effects due to the perturbations in the inflaton field. It allows us to determine the scalar and tensor power spectra leading to the calculations of observables at the Cosmic Microwave Background (CMB) scales. We find that the natural inflation model survives the test of the latest data only for a certain range of the coupling constant $\alpha$. Our analysis shows that the latest constraints coming from the scalar spectral index are more stringent than the ones arising from the non-gaussianities and the running of the scalar spectrum. This leads to lower and upper bounds on $\xi_*$, the parameter that controls the growth of the gauge field.


title: Spatially resolved spectroscopic observations of gas emission in dwarf galaxies hosting accreting black hole candidate

abstract: Recent studies on dwarf galaxies reveal that some of them harbor a massive black hole (BH), which is believed to have a similar mass of the Supermassive BH "seeds" at early times. The origin and growth of the primitive BHs are still open questions, since these BH seeds are hardly observed at high redshifts. Therefore, massive BH of dwarf galaxies can be the perfect candidates to untangle BH "seeds" properties and their influence on their host galaxy evolution, since massive BH may preserve their initial conditions due to its quiet merger and accretion histories. We use optical integral field unit observations, obtained with the Gemini GMOS-IFU, to study the gas emission and kinematics in four dwarf galaxies, candidates to host massive BH, based on the analysis of their [Fe X] luminosities measured from SDSS spectra. The [Fe X] emission line is not detected in our GMOS in any of the galaxies, prompting speculation that its absence in our recent data may stem from a past tidal disruption event coinciding with the observation period of the SDSS data. All galaxies exhibit extended gas emissions, and the spatially resolved emission-line ratio diagnostic diagrams present values that suggest AGN photoionization from the [S II] - BPT diagram. The gas velocity fields of all galaxies are indicative of disturbed rotation patterns, with no detection of gas outflows in any of the sources. Although the [S II] - BPT diagrams indicate AGN photoionization, further confirmation through multi-wavelength observations is required to validate this scenario.


title: Incorporating ESO into Deep Koopman Operator Modelling for Control of Autonomous Vehicles

abstract: Koopman operator theory is a kind of data-driven modelling approach that accurately captures the nonlinearities of mechatronic systems such as vehicles against physics-based methods. However, the infinite-dimensional Koopman operator is impossible to implement in real-world applications. To approximate the infinite-dimensional Koopman operator through collection dataset rather than manual trial and error, we adopt deep neural networks (DNNs) to extract basis functions by offline training and map the nonlinearities of vehicle planar dynamics into a linear form in the lifted space. Besides, the effects of the dimensions of basis functions on the model accuracy are explored. Further, the extended state observer (ESO) is introduced to online estimate the total disturbance in the lifted space and compensate for the modelling errors and residuals of the learned deep Koopman operator (DK) while also improving its generalization. Then, the proposed model is applied to predict vehicle states within prediction horizons and later formulates the constrained finite-time optimization problem of model predictive control (MPC), i.e., ESO-DKMPC. In terms of the trajectory tracking of autonomous vehicles, the ESO-DKMPC generates the wheel steering angle to govern lateral motions based on the decoupling control structure. The various conditions under the double-lane change scenarios are built on the CarSim/Simulink co-simulation platform, and extensive comparisons are conducted with the linear MPC (LMPC) and nonlinear MPC (NMPC) informed by the physics-based model. The results indicate that the proposed ESO-DKMPC has better tracking performance and moderate efficacy both within linear and nonlinear regions.


title: Mechanics and morphology of proliferating cell collectives with self-inhibiting growth

abstract: We study the dynamics of proliferating cell collectives whose microscopic constituents' growth is inhibited by macroscopic growth-induced stress. Discrete particle simulations of a growing collective show the emergence of concentric-ring patterns in cell size whose spatio-temporal structure is closely tied to the individual cell's stress response. Motivated by these observations, we derive a multiscale continuum theory whose parameters map directly to the discrete model. Analytical solutions of this theory show the concentric patterns arise from anisotropically accumulated resistance to growth over many cell cycles. This work shows how purely mechanical processes can affect the internal patterning and morphology of cell collectives, and provides a concise theoretical framework for connecting the micro- to macroscopic dynamics of proliferating matter.


title: Artin-Schreier towers of finite fields

abstract: Given a prime number $p$, we consider the tower of finite fields $F_p=L_{-1}\subset L_0\subset L_1\subset\cdots$, where each step corresponds to an Artin-Schreier extension of degree $p$, so that for $i\geq 0$, $L_{i}=L_{i-1}[c_{i}]$, where $c_i$ is a root of $X^p-X-a_{i-1}$ and $a_{i-1}=(c_{-1}\cdots c_{i-1})^{p-1}$, with $c_{-1}=1$. We extend and strengthen to arbitrary primes prior work of Popovych for $p=2$ on the multiplicative order of the given generator $c_i$ for $L_i$ over $L_{i-1}$. In particular, for $i\geq 0$, we show that $O(c_i)=O(a_i)$, except only when $p=2$ and $i=1$, and that $O(c_i)$ is equal to the product of the orders of $c_j$ modulo $L_{j-1}^\times$, where $0\leq j\leq i$ if $p$ is odd, and $i\geq 2$ and $1\leq j\leq i$ if $p=2$. We also show that for $i\geq 0$, the $\mathrm{Gal}(L_i/L_{i-1})$-conjugates of $a_i$ form a normal basis of $L_i$ over $L_{i-1}$. In addition, we obtain the minimal polynomial of $c_1$ over $F_p$ in explicit form.


title: PIR: Remote Sensing Image-Text Retrieval with Prior Instruction Representation Learning

abstract: Remote sensing image-text retrieval constitutes a foundational aspect of remote sensing interpretation tasks, facilitating the alignment of vision and language representations. This paper introduces a prior instruction representation (PIR) learning paradigm that draws on prior knowledge to instruct adaptive learning of vision and text representations. Based on PIR, a domain-adapted remote sensing image-text retrieval framework PIR-ITR is designed to address semantic noise issues in vision-language understanding tasks. However, with massive additional data for pre-training the vision-language foundation model, remote sensing image-text retrieval is further developed into an open-domain retrieval task. Continuing with the above, we propose PIR-CLIP, a domain-specific CLIP-based framework for remote sensing image-text retrieval, to address semantic noise in remote sensing vision-language representations and further improve open-domain retrieval performance. In vision representation, Vision Instruction Representation (VIR) based on Spatial-PAE utilizes the prior-guided knowledge of the remote sensing scene recognition by building a belief matrix to select key features for reducing the impact of semantic noise. In text representation, Language Cycle Attention (LCA) based on Temporal-PAE uses the previous time step to cyclically activate the current time step to enhance text representation capability. A cluster-wise Affiliation Loss (AL) is proposed to constrain the inter-classes and to reduce the semantic confusion zones in the common subspace. Comprehensive experiments demonstrate that PIR could enhance vision and text representations and outperform the state-of-the-art methods of closed-domain and open-domain retrieval on two benchmark datasets, RSICD and RSITMD.


title: Torus knots and generalized Schr\"oder paths

abstract: We relate invariants of torus knots to the counts of a class of lattice paths, which we call generalized Schr\"oder paths. We determine generating functions of such paths, located in a region determined by a type of a torus knot under consideration, and show that they encode colored HOMFLY-PT polynomials of this knot. The generators of uncolored HOMFLY-PT homology correspond to a basic set of such paths. Invoking the knots-quivers correspondence, we express generating functions of such paths as quiver generating series, and also relate them to quadruply-graded knot homology. Furthermore, we determine corresponding A-polynomials, which provide algebraic equations and recursion relations for generating functions of generalized Schr\"oder paths. The lattice paths of our interest explicitly enumerate BPS states associated to knots via brane constructions.


title: The calculation of the adjacency indices of type $D$ singularities of a front

abstract: The formula for the calculation of the adjacency indices of types $D_\mu^\pm$ Legendrian monosingularities to multisingularities of types $A_{\mu_1}^{k_1}\dots A_{\mu_p}^{k_p}$ is obtained in the paper. In other words, the number of strata of a given type $A_{\mu_1}^{k_1}\dots A_{\mu_p}^{k_p}$ for discriminants of real simple singularities of types $D_\mu^\pm$ is calculated.