title: Flexible Computation Offloading at the Edge for Autonomous Drones with Uncertain Flight Times

abstract: An ever increasing number of applications can employ aerial unmanned vehicles, or so-called drones, to perform different sensing and possibly also actuation tasks from the air. In some cases, the data that is captured at a given point has to be processed before moving to the next one. Drones can exploit nearby edge servers to offload the computation instead of performing it locally. However, doing this in a naive way can be suboptimal if servers have limited computing resources and drones have limited energy resources. In this paper, we propose a protocol and resource reservation scheme for each drone and edge server to decide, in a dynamic and fully decentralized way, whether to offload the computation and respectively whether to accept such an offloading requests, with the objective to evenly reduce the drones' mission times. We evaluate our approach through extensive simulation experiments, showing that it can significantly reduce the mission times compared to a no-offloading scenario by up to 26.2%, while outperforming an offloading schedule that has been computed offline by up to 7.4% as well as a purely opportunistic approach by up to 23.9%.


title: A New Multimodal Medical Image Fusion based on Laplacian Autoencoder with Channel Attention

abstract: Medical image fusion combines the complementary information of multimodal medical images to assist medical professionals in the clinical diagnosis of patients' disorders and provide guidance during preoperative and intra-operative procedures. Deep learning (DL) models have achieved end-to-end image fusion with highly robust and accurate fusion performance. However, most DL-based fusion models perform down-sampling on the input images to minimize the number of learnable parameters and computations. During this process, salient features of the source images become irretrievable leading to the loss of crucial diagnostic edge details and contrast of various brain tissues. In this paper, we propose a new multimodal medical image fusion model is proposed that is based on integrated Laplacian-Gaussian concatenation with attention pooling (LGCA). We prove that our model preserves effectively complementary information and important tissue structures.


title: Accelerated Policy Gradient: On the Convergence Rates of the Nesterov Momentum for Reinforcement Learning

abstract: Various acceleration approaches for Policy Gradient (PG) have been analyzed within the realm of Reinforcement Learning (RL). However, the theoretical understanding of the widely used momentum-based acceleration method on PG remains largely open. In response to this gap, we adapt the celebrated Nesterov's accelerated gradient (NAG) method to policy optimization in RL, termed \textit{Accelerated Policy Gradient} (APG). To demonstrate the potential of APG in achieving fast convergence, we formally prove that with the true gradient and under the softmax policy parametrization, APG converges to an optimal policy at rates: (i) $\tilde{O}(1/t^2)$ with constant step sizes; (ii) $O(e^{-ct})$ with exponentially-growing step sizes. To the best of our knowledge, this is the first characterization of the convergence rates of NAG in the context of RL. Notably, our analysis relies on one interesting finding: Regardless of the parameter initialization, APG ends up entering a locally nearly-concave regime, where APG can significantly benefit from the momentum, within finite iterations. Through numerical validation and experiments on the Atari 2600 benchmarks, we confirm that APG exhibits a $\tilde{O}(1/t^2)$ rate with constant step sizes and a linear convergence rate with exponentially-growing step sizes, significantly improving convergence over the standard PG.


title: Constraining the formation history of the TOI-1338/BEBOP-1 circumbinary planetary system

abstract: The recent discovery of multiple planets in the circumbinary system TOI-1338/BEBOP-1 raises questions about how such a system formed. The formation of the system was briefly explored in the discovery paper, but only to answer the question do current pebble accretion models have the potential to explain the origin of the system? We use a global model of circumbinary planet formation that utilises N-body simulations, including prescriptions for planet migration, gas and pebble accretion, and interactions with a circumbinary disc, to explore the disc parameters that could have led to the formation of the TOI-1338/BEBOP-1 system. With the disc lifetime being the main factor in determining how planets form, we limit our parameter space to those that determine the disc lifetime. These are: the strength of turbulence in the disc, the initial disc mass, and the strength of the external radiation field that launches photoevaporative winds. When comparing the simulated systems to TOI-1338/BEBOP-1, we find that only discs with low levels of turbulence are able to produce similar systems. The radiation environment has a large effect on the types of planetary systems that form, whilst the initial disc mass only has limited impact since the majority of planetary growth occurs early in the disc lifetime. With the most TOI-1338/BEBOP-1 like systems all occupying similar regions of parameter space, our study shows that observed circumbinary planetary systems can potentially constrain the properties of planet forming discs.


title: Highly indistinguishable single photons from droplet-etched GaAs quantum dots integrated in single-mode waveguides and beamsplitters

abstract: The integration of on-demand quantum emitters into photonic integrated circuits (PICs) has drawn much of attention in recent years, as it promises a scalable implementation of quantum information schemes. A central property for several applications is the indistinguishability of the emitted photons. In this regard, GaAs quantum dots (QDs) obtained by droplet etching epitaxy show excellent performances with visibilities close to one for both individual and remote emitters. Therefore, the realization of these QDs into PICs is highly appealing. Here, we show the first implementation in this direction, realizing the key passive elements needed in PICs, i.e. single-mode waveguides (WGs) with integrated GaAs-QDs, which can be coherently controlled, as well as beamsplitters. We study both the statistical distribution of wavelength, linewidth and decay times of the excitonic line of multiple QDs, as well as the quantum optical properties of individual emitters under resonant excitation. Here, we achieve single-photon purities as high as $1-\text{g}^{(2)}(0)=0.929\pm0.009$ as well as two-photon interference visibilities of up to V$_{\text{TPI}}=0.939\pm0.004$ for two consecutively emitted photons.


title: Properties of Two-Mode Quadrature Squeezing from Four-wave Mixing in Rubidium Vapor

abstract: We present a study of homodyne measurements of two-mode, vacuum-seeded, quadrature-squeezed light generated by four-wave mixing in warm rubidium vapor. Our results reveal that the vacuum squeezing can extend down to measurement frequencies of less than 1 Hz, and the squeezing bandwidth, similar to the seeded intensity-difference squeezing measured in this system, reaches up to approximately 20 MHz for typical pump parameters. By dividing the squeezing bandwidth into smaller frequency bins, we show that different sideband frequencies represent independent sources of two-mode squeezing. Such frequency bins may provide useful qumodes for quantum information processing experiments. We also investigate the impact of group velocity delays on the correlations in the system.


title: Malicious Agent Detection for Robust Multi-Agent Collaborative Perception

abstract: Recently, multi-agent collaborative (MAC) perception has been proposed and outperformed the traditional single-agent perception in many applications, such as autonomous driving. However, MAC perception is more vulnerable to adversarial attacks than single-agent perception due to the information exchange. The attacker can easily degrade the performance of a victim agent by sending harmful information from a malicious agent nearby. In this paper, we extend adversarial attacks to an important perception task -- MAC object detection, where generic defenses such as adversarial training are no longer effective against these attacks. More importantly, we propose Malicious Agent Detection (MADE), a reactive defense specific to MAC perception that can be deployed by each agent to accurately detect and then remove any potential malicious agent in its local collaboration network. In particular, MADE inspects each agent in the network independently using a semi-supervised anomaly detector based on a double-hypothesis test with the Benjamini-Hochberg procedure to control the false positive rate of the inference. For the two hypothesis tests, we propose a match loss statistic and a collaborative reconstruction loss statistic, respectively, both based on the consistency between the agent to be inspected and the ego agent where our detector is deployed. We conduct comprehensive evaluations on a benchmark 3D dataset V2X-sim and a real-road dataset DAIR-V2X and show that with the protection of MADE, the drops in the average precision compared with the best-case "oracle" defender against our attack are merely 1.28% and 0.34%, respectively, much lower than 8.92% and 10.00% for adversarial training, respectively.


title: Operation and performance of MEG II detector

abstract: The MEG II experiment, located at the Paul Scherrer Institut (PSI) in Switzerland, is the successor to the MEG experiment, which completed data taking in 2013. MEG II started fully operational data taking in 2021, with the goal of improving the sensitivity of the mu+ -> e+ gamma decay down to 6e-14 almost an order of magnitude better than the current limit. In this paper, we describe the operation and performance of the experiment and give a new estimate of its sensitivity versus data acquisition time.


title: Observation of the diffusive Nambu-Goldstone mode of a non-equilibrium phase transition

abstract: Second-order phase transitions are governed by spontaneous symmetry breaking, which yield collective excitations with a gapless spectrum called Nambu-Goldstone (NG) modes. While NG modes in conservative systems are propagating excitations, non-equilibrium phase transitions have been predicted to feature a diffusive NG mode. We present the first experimental evidence of a diffusive NG mode in a non-equilibrium Bose-Einstein condensate of microcavity polaritons. The NG mode is observed as a spectral narrowing in the spectroscopic response of the condensate. Additionally, explicitly breaking the symmetry causes the opening of a gap in the spectrum and the disappearance of the NG mode. Our observations confirm the diffusive dynamics of the NG mode of non-equilibrium phase transitions and establish a promising framework to investigate fundamental questions in statistical mechanics.


title: Pseudo Electric Field and Pumping Valley Current in Graphene Nano-bubbles

abstract: The extremely high pseudo-magnetic field emerging in strained graphene suggests that an oscillating nano-deformation will induce a very high current even without electric bias. In this paper, we demonstrate the sub-terahertz (THz) dynamics of a valley-current and the corresponding charge pumping with a periodically excited nano-bubble. We discuss the amplitude of the pseudo-electric field and investigate the dependence of the pumped valley current on the different parameters of the system. Finally, we report the signature of extra-harmonics generation in the valley current that might lead to potential modern devices development operating in the nonlinear regime


title: Topology optimization and boundary observation for clamped plates

abstract: We indicate a new approach to the optimization of the clamped plates with holes. It is based on the use of Hamiltonian systems and the penalization of the performance index. The alternative technique employing the penalization of the state system, cannot be applied in this case due to the (two) Dirichlet boundary conditions. We also include numerical tests exhibiting both shape and topological modifications, both creating and closing holes.


title: Rather a Nurse than a Physician -- Contrastive Explanations under Investigation

abstract: Contrastive explanations, where one decision is explained in contrast to another, are supposed to be closer to how humans explain a decision than non-contrastive explanations, where the decision is not necessarily referenced to an alternative. This claim has never been empirically validated. We analyze four English text-classification datasets (SST2, DynaSent, BIOS and DBpedia-Animals). We fine-tune and extract explanations from three different models (RoBERTa, GTP-2, and T5), each in three different sizes and apply three post-hoc explainability methods (LRP, GradientxInput, GradNorm). We furthermore collect and release human rationale annotations for a subset of 100 samples from the BIOS dataset for contrastive and non-contrastive settings. A cross-comparison between model-based rationales and human annotations, both in contrastive and non-contrastive settings, yields a high agreement between the two settings for models as well as for humans. Moreover, model-based explanations computed in both settings align equally well with human rationales. Thus, we empirically find that humans do not necessarily explain in a contrastive manner.9 pages, long paper at ACL 2022 proceedings.


title: Interlacing Properties of Eigenvalues of Laplacian and Net-Laplacian Matrix of Signed Graphs

abstract: This paper explores interlacing inequalities in the Laplacian spectrum of signed cycles and investigates interlacing relationship between the spectrum of the net-Laplacian of a signed graph and its subgraph formed by removing a vertex together with its incident edges. Additionally, an inequality is derived between the net-Laplacian spectrum of a complete co-regular signed graph $\Gamma$ and the Laplacian spectrum of the graph obtained by removing any vertex $v$ from $\Gamma$. Also for a signed graph $\Gamma$, the net-Laplacian matrix is normalized and an inequality is derived between the spectrum of the normalized net-Laplacian of a signed graph and its subgraph, formed by contraction of edge and vertex.


title: Edge Manipulations for the Maximum Vertex-Weighted Bipartite b-matching

abstract: In this paper, we explore the Mechanism Design aspects of the Maximum Vertex-weighted $b$-Matching (MVbM) problem on bipartite graphs $(A\cup T, E)$. The set $A$ comprises agents, while $T$ represents tasks. The set $E$ is the private information of either agents or tasks. In this framework, we investigate three mechanisms - $\MB$, $\MD$, and $\MG$ - that, given an MVbM problem as input, return a $b$-matching. We examine scenarios in which either agents or tasks are strategic and report their adjacent edges to one of the three mechanisms. In both cases, we assume that the strategic entities are bounded by their statements: they can hide edges, but they cannot report edges that do not exist. First, we consider the case in which agents can manipulate. In this framework, $\MB$ and $\MD$ are optimal but not truthful. By characterizing the Nash Equilibria induced by $\MB$ and $\MD$, we reveal that both mechanisms have a Price of Anarchy ($PoA$) and Price of Stability ($PoS$) of $2$. These efficiency guarantees are tight; no deterministic mechanism can achieve a lower $PoA$ or $PoS$. In contrast, the third mechanism, $\MG$, is not optimal, but truthful and its approximation ratio is $2$. We demonstrate that this ratio is optimal; no deterministic and truthful mechanism can outperform it. We then shift our focus to scenarios where tasks can exhibit strategic behaviour. In this case, $\MB$, $\MD$, and $\MG$ all maintain truthfulness, making $\MB$ and $\MD$ truthful and optimal mechanisms. In conclusion, we investigate the manipulability of $\MB$ and $\MD$ through experiments on randomly generated graphs. We observe that (1) $\MB$ is less prone to be manipulated by the first agent than $\MD$ (2) $\MB$ is more manipulable on instances in which the total capacity of the agents is equal to the number of tasks (3) randomizing the agents' order reduces the agents' ability to manipulate $\MB$.


title: Peripheral circuits for ideal performance of a travelling-wave parametric amplifier

abstract: We investigate the required peripheral circuits to enable ideal performance for a high-gain travelling-wave parametric amplifier (TWPA) based on three-wave mixing (3WM). By embedding the TWPA in a network of superconducting diplexers, hybrid couplers and impedance matching networks, the amplifier can deliver a high stable gain with near-quantum-limited noise performance, with suppressed gain ripples, while eliminating the reflections of the signal, the idler and the pump as well as the transmission of all unwanted tones. We also demonstrate a configuration where the amplifier can isolate. We call this technique Wideband Idler Filtering (WIF). The theory is supported by simulations that predict over 20 dB gain in the 4-8 GHz band with 10 dB isolation for a single amplifier and 30 dB isolation for two cascaded amplifiers. We demonstrate how the WIF-TWPAs can be used to construct controllable isolators with over 40 dB isolation over the full 4-8 GHz band.


title: Multi-modal Medical Neurological Image Fusion using Wavelet Pooled Edge Preserving Autoencoder

abstract: Medical image fusion integrates the complementary diagnostic information of the source image modalities for improved visualization and analysis of underlying anomalies. Recently, deep learning-based models have excelled the conventional fusion methods by executing feature extraction, feature selection, and feature fusion tasks, simultaneously. However, most of the existing convolutional neural network (CNN) architectures use conventional pooling or strided convolutional strategies to downsample the feature maps. It causes the blurring or loss of important diagnostic information and edge details available in the source images and dilutes the efficacy of the feature extraction process. Therefore, this paper presents an end-to-end unsupervised fusion model for multimodal medical images based on an edge-preserving dense autoencoder network. In the proposed model, feature extraction is improved by using wavelet decomposition-based attention pooling of feature maps. This helps in preserving the fine edge detail information present in both the source images and enhances the visual perception of fused images. Further, the proposed model is trained on a variety of medical image pairs which helps in capturing the intensity distributions of the source images and preserves the diagnostic information effectively. Substantial experiments are conducted which demonstrate that the proposed method provides improved visual and quantitative results as compared to the other state-of-the-art fusion methods.


title: Evolving Bitcoin Custody

abstract: The broad topic of this thesis is the design and analysis of Bitcoin custody systems. Both the technology and threat landscape are evolving constantly. Therefore, custody systems, defence strategies, and risk models should be adaptive too. We introduce Bitcoin custody by describing the different types, design principles, phases and functions of custody systems. We review the technology stack of these systems and focus on the fundamentals; key-management and privacy. We present a perspective we call the systems view. It is an attempt to capture the full complexity of a custody system, including technology, people, and processes. We review existing custody systems and standards. We explore Bitcoin covenants. This is a mechanism to enforce constraints on transaction sequences. Although previous work has proposed how to construct and apply Bitcoin covenants, these require modifying the consensus rules of Bitcoin, a notoriously difficult task. We introduce the first detailed exposition and security analysis of a deleted-key covenant protocol, which is compatible with current consensus rules. We demonstrate a range of security models for deleted-key covenants which seem practical, in particular, when applied in autonomous (user-controlled) custody systems. We conclude with a comparative analysis with previous proposals. Covenants are often proclaimed to be an important primitive for custody systems, but no complete design has been proposed to validate that claim. To address this, we propose an autonomous custody system called Ajolote which uses deleted-key covenants to enforce a vault sequence. We evaluate Ajolote with; a model of its state dynamics, a privacy analysis, and a risk model. We propose a threat model for custody systems which captures a realistic attacker for a system with offline devices and user-verification. We perform ceremony analysis to construct the risk model.


title: The JWST Galactic Center Survey -- A White Paper

abstract: The inner hundred parsecs of the Milky Way hosts the nearest supermassive black hole, largest reservoir of dense gas, greatest stellar density, hundreds of massive main and post main sequence stars, and the highest volume density of supernovae in the Galaxy. As the nearest environment in which it is possible to simultaneously observe many of the extreme processes shaping the Universe, it is one of the most well-studied regions in astrophysics. Due to its proximity, we can study the center of our Galaxy on scales down to a few hundred AU, a hundred times better than in similar Local Group galaxies and thousands of times better than in the nearest active galaxies. The Galactic Center (GC) is therefore of outstanding astrophysical interest. However, in spite of intense observational work over the past decades, there are still fundamental things unknown about the GC. JWST has the unique capability to provide us with the necessary, game-changing data. In this White Paper, we advocate for a JWST NIRCam survey that aims at solving central questions, that we have identified as a community: i) the 3D structure and kinematics of gas and stars; ii) ancient star formation and its relation with the overall history of the Milky Way, as well as recent star formation and its implications for the overall energetics of our galaxy's nucleus; and iii) the (non-)universality of star formation and the stellar initial mass function. We advocate for a large-area, multi-epoch, multi-wavelength NIRCam survey of the inner 100\,pc of the Galaxy in the form of a Treasury GO JWST Large Program that is open to the community. We describe how this survey will derive the physical and kinematic properties of ~10,000,000 stars, how this will solve the key unknowns and provide a valuable resource for the community with long-lasting legacy value.


title: Deterministic Sparse Pattern Matching via the Baur-Strassen Theorem

abstract: How fast can you test whether a constellation of stars appears in the night sky? This question can be modeled as the computational problem of testing whether a set of points $P$ can be moved into (or close to) another set $Q$ under some prescribed group of transformations. Consider, as a simple representative, the following problem: Given two sets of at most $n$ integers $P,Q\subseteq[N]$, determine whether there is some shift $s$ such that $P$ shifted by $s$ is a subset of $Q$, i.e., $P+s=\{p+s:p\in P\}\subseteq Q$. This problem, to which we refer as the Constellation problem, can be solved in near-linear time $O(n\log n)$ by a Monte Carlo randomized algorithm [Cardoze, Schulman; FOCS'98] and time $O(n\log^2 N)$ by a Las Vegas randomized algorithm [Cole, Hariharan; STOC'02]. Moreover, there is a deterministic algorithm running in time $n\cdot2^{O(\sqrt{\log n\log\log N})}$ [Chan, Lewenstein; STOC'15]. An interesting question left open by these previous works is whether Constellation is in deterministic near-linear time (i.e., with only polylogarithmic overhead). We answer this question positively by giving an $n\cdot(\log N)^{O(1)}$-time deterministic algorithm for the Constellation problem. Our algorithm extends to various more complex Point Pattern Matching problems in higher dimensions, under translations and rigid motions, and possibly with mismatches, and also to a near-linear-time derandomization of the Sparse Wildcard Matching problem on strings. We find it particularly interesting how we obtain our deterministic algorithm. All previous algorithms are based on the same baseline idea, using additive hashing and the Fast Fourier Transform. In contrast, our algorithms are based on new ideas, involving a surprising blend of combinatorial and algebraic techniques. At the heart lies an innovative application of the Baur-Strassen theorem from algebraic complexity theory.


title: A connection between Tempering and Entropic Mirror Descent

abstract: This paper explores the connections between tempering (for Sequential Monte Carlo; SMC) and entropic mirror descent to sample from a target probability distribution whose unnormalized density is known. We establish that tempering SMC corresponds to entropic mirror descent applied to the reverse Kullback-Leibler (KL) divergence and obtain convergence rates for the tempering iterates. Our result motivates the tempering iterates from an optimization point of view, showing that tempering can be seen as a descent scheme of the KL divergence with respect to the Fisher-Rao geometry, in contrast to Langevin dynamics that perform descent of the KL with respect to the Wasserstein-2 geometry. We exploit the connection between tempering and mirror descent iterates to justify common practices in SMC and derive adaptive tempering rules that improve over other alternative benchmarks in the literature.


title: SHA-SCP: A UI Element Spatial Hierarchy Aware Smartphone User Click Behavior Prediction Method

abstract: Predicting user click behavior and making relevant recommendations based on the user's historical click behavior are critical to simplifying operations and improving user experience. Modeling UI elements is essential to user click behavior prediction, while the complexity and variety of the UI make it difficult to adequately capture the information of different scales. In addition, the lack of relevant datasets also presents difficulties for such studies. In response to these challenges, we construct a fine-grained smartphone usage behavior dataset containing 3,664,325 clicks of 100 users and propose a UI element spatial hierarchy aware smartphone user click behavior prediction method (SHA-SCP). SHA-SCP builds element groups by clustering the elements according to their spatial positions and uses attention mechanisms to perceive the UI at the element level and the element group level to fully capture the information of different scales. Experiments are conducted on the fine-grained smartphone usage behavior dataset, and the results show that our method outperforms the best baseline by an average of 10.52%, 11.34%, and 10.42% in Top-1 Accuracy, Top-3 Accuracy, and Top-5 Accuracy, respectively.


title: Evolution to mirror-symmetric galaxies

abstract: The evolution of a rotating axisymmetric galaxy from an asymmetric state to a state of mirror symmetry with respect to the galactic plane has as basic result that in the asymmetric initial state the perpendicular $z$ normal mode is unstable for the $1:1$ and $1:2$ resonances. Dynamically this results in a transfer of mass and momenta towards the galactic plane. The timescale of evolution to symmetric equilibrium will determine in these cases the final distribution function describing position and velocities. In the case of the $1:1$ resonance we have in the final stage apart from the angular momentum integral 2 adiabatic invariants describing nonlinear dynamics. For the $1:2$ resonance the dynamics in the final stage is simpler, apart from the angular momentum integral the dynamics is governed by the 2 actions. In the first sections the results of mathematical analysis have been summarised, examples of evolution are given in section 3.


title: A Benchmark for Semi-Inductive Link Prediction in Knowledge Graphs

abstract: Semi-inductive link prediction (LP) in knowledge graphs (KG) is the task of predicting facts for new, previously unseen entities based on context information. Although new entities can be integrated by retraining the model from scratch in principle, such an approach is infeasible for large-scale KGs, where retraining is expensive and new entities may arise frequently. In this paper, we propose and describe a large-scale benchmark to evaluate semi-inductive LP models. The benchmark is based on and extends Wikidata5M: It provides transductive, k-shot, and 0-shot LP tasks, each varying the available information from (i) only KG structure, to (ii) including textual mentions, and (iii) detailed descriptions of the entities. We report on a small study of recent approaches and found that semi-inductive LP performance is far from transductive performance on long-tail entities throughout all experiments. The benchmark provides a test bed for further research into integrating context and textual information in semi-inductive LP models.


title: Interferometric sorting of temporal Hermite-Gauss modes via temporal Gouy phase

abstract: We propose a device consisting of $m$ Mach-Zehnder interferometers and realizing sorting of first $2^m$ temporal Hermite-Gauss modes of light passing though it by adjusting the accumulated temporal Gouy phase acquired by every mode. This mode-order-dependent phase shift is achieved by a fractional Fourier transform realized by a time lens in one of interferometer's arms. We consider application of such a sorter with just two interferometers to sorting the Schmidt modes of a photon pair generated in spontaneous parametric downconversion and find the theoretical lower bond on the cross-talk probability of 5.5%.


title: Black holes with primary scalar hair

abstract: We present explicit black holes endowed with primary scalar hair within the shift-symmetric subclass of Beyond Horndeski theories. These solutions depend, in addition to the conventional mass parameter, on a second free parameter encoding primary scalar hair. The properties and characteristics of the solutions at hand are analyzed with varying scalar charge. We observe that when the scalar hair parameter is close to zero or relatively small in comparison to the black hole mass, the solutions closely resemble the Schwarzschild spacetime. As the scalar hair increases, the metric solutions gradually depart from General Relativity. Notably, for a particular relation between mass and scalar hair, the central singularity completely disappears, resulting in the formation of regular black holes or solitons. The scalar field accompanying the solutions is always found to be regular at future or past horizon(s), defining a distinct time direction for each. As a final byproduct of our analysis, we demonstrate the existence of a stealth Schwarschild black hole in Horndeski theory with a non-trivial kinetic term.


title: Monotonic approximation of differentiable convex functions with applications to general minimization problems

abstract: We study minimizers of non-autonomous energies with minimal growth and coercivity assumptions on the energy. We show that the minimizer is nevertheless the solution of the relevant Euler--Lagrange equation or inequality. The main tool is an extension result for convex $C^1$-energies, which is of independent interest.


title: BUT CHiME-7 system description

abstract: This paper describes the joint effort of Brno University of Technology (BUT), AGH University of Krakow and University of Buenos Aires on the development of Automatic Speech Recognition systems for the CHiME-7 Challenge. We train and evaluate various end-to-end models with several toolkits. We heavily relied on Guided Source Separation (GSS) to convert multi-channel audio to single channel. The ASR is leveraging speech representations from models pre-trained by self-supervised learning, and we do a fusion of several ASR systems. In addition, we modified external data from the LibriSpeech corpus to become a close domain and added it to the training. Our efforts were focused on the far-field acoustic robustness sub-track of Task 1 - Distant Automatic Speech Recognition (DASR), our systems use oracle segmentation.


title: An application of Kirchberg's lemma on central sequence algebras to groups of approximately inner automorphisms

abstract: We revisit a well-known "surjectivity onto quotient" type lemma of Kirchberg on the central sequence algebra of a separable unital ${\rm C}^*$-algebra, and use it to prove a "surjectivity onto quotient" result on approximately inner automorphisms of a separable unital ${\rm C}^*$-algebra of stable rank one, which we can partially upgrade also to the non-separable case.


title: Investigating semantic subspaces of Transformer sentence embeddings through linear structural probing

abstract: The question of what kinds of linguistic information are encoded in different layers of Transformer-based language models is of considerable interest for the NLP community. Existing work, however, has overwhelmingly focused on word-level representations and encoder-only language models with the masked-token training objective. In this paper, we present experiments with semantic structural probing, a method for studying sentence-level representations via finding a subspace of the embedding space that provides suitable task-specific pairwise distances between data-points. We apply our method to language models from different families (encoder-only, decoder-only, encoder-decoder) and of different sizes in the context of two tasks, semantic textual similarity and natural-language inference. We find that model families differ substantially in their performance and layer dynamics, but that the results are largely model-size invariant.


title: Deep Learning Based Detection on RIS Assisted RSM and RSSK Techniques

abstract: The reconfigurable intelligent surface (RIS) is considered a crucial technology for the future of wireless communication. Recently, there has been significant interest in combining RIS with spatial modulation (SM) or space shift keying (SSK) to achieve a balance between spectral and energy efficiency. In this paper, we have investigated the use of deep learning techniques for detection in RIS-aided received SM (RSM)/received-SSK (RSSK) systems over Weibull fading channels, specifically by extending the RIS-aided SM/SSK system to a specific case of the conventional SM system. By employing the concept of neural networks, the study focuses on model-driven deep learning detection namely block deep neural networks (B-DNN) for RIS-aided SM systems and compares its performance against maximum likelihood (ML) and greedy detectors. Finally, it has been demonstrated by Monte Carlo simulation that while B-DNN achieved a bit error rate (BER) performance close to that of ML, it gave better results than the Greedy detector.


title: Tradeoff relations for simultaneous measurement of multiple incompatible observables and multi-parameter quantum estimation

abstract: How well can multiple noncommutative observables be implemented by a single measurement? This is a fundamental problem in quantum mechanics and determines the optimal performances of many tasks in quantum information science. While existing studies have been mostly focusing on the approximation of two observables with a single measurement, in practice multiple observables are often encountered, for which the errors of the approximations are little understood. Here we provide an approach to study the approximation of an arbitrary finite number of observables with a single measurement. With this approach, we obtain analytical bounds on the errors of the approximations for an arbitrary number of observables, which significantly improves our understanding of a fundamental problem. We also provide a tighter bound in terms of the semi-definite programming, which, in the case of two observables, can lead to an analytical bound that is tighter than existing bounds. We then demonstrate the power of the approach by quantifying the tradeoff of the precisions for the estimation of multiple parameters in quantum metrology, which is of both fundamental and practical interest.


title: The Asymptotic Rank Conjecture and the Set Cover Conjecture are not Both True

abstract: Strassen's asymptotic rank conjecture [Progr. Math. 120 (1994)] claims a strong submultiplicative upper bound on the rank of a three-tensor obtained as an iterated Kronecker product of a constant-size base tensor. The conjecture, if true, most notably would put square matrix multiplication in quadratic time. We note here that some more-or-less unexpected algorithmic results in the area of exponential-time algorithms would also follow. Specifically, we study the so-called set cover conjecture, which states that for any $\epsilon>0$ there exists a positive integer constant $k$ such that no algorithm solves the $k$-Set Cover problem in worst-case time $\mathcal{O}((2-\epsilon)^n|\mathcal F|\operatorname{poly}(n))$. The $k$-Set Cover problem asks, given as input an $n$-element universe $U$, a family $\mathcal F$ of size-at-most-$k$ subsets of $U$, and a positive integer $t$, whether there is a subfamily of at most $t$ sets in $\mathcal F$ whose union is $U$. The conjecture was formulated by Cygan et al. in the monograph Parameterized Algorithms [Springer, 2015] but was implicit as a hypothesis already in Cygan et al. [CCC 2012, ACM Trans. Algorithms 2016], there conjectured to follow from the Strong Exponential Time Hypothesis. We prove that if the asymptotic rank conjecture is true, then the set cover conjecture is false. Using a reduction by Krauthgamer and Trabelsi [STACS 2019], in this scenario we would also get a $\mathcal{O}((2-\delta)^n)$-time randomized algorithm for some constant $\delta>0$ for another well-studied problem for which no such algorithm is known, namely that of deciding whether a given $n$-vertex directed graph has a Hamiltonian cycle.


title: UNav-Sim: A Visually Realistic Underwater Robotics Simulator and Synthetic Data-generation Framework

abstract: Underwater robotic surveys can be costly due to the complex working environment and the need for various sensor modalities. While underwater simulators are essential, many existing simulators lack sufficient rendering quality, restricting their ability to transfer algorithms from simulation to real-world applications. To address this limitation, we introduce UNav-Sim, which, to the best of our knowledge, is the first simulator to incorporate the efficient, high-detail rendering of Unreal Engine 5 (UE5). UNav-Sim is open-source and includes an autonomous vision-based navigation stack. By supporting standard robotics tools like ROS, UNav-Sim enables researchers to develop and test algorithms for underwater environments efficiently.


title: Existence and Asymptotic Behavior of Minimizers for Rotating Bose-Einstein Condensations in Bounded Domains

abstract: This paper is concerned with the existence and mass concentration behavior of minimizers for rotating Bose-Einstein condensations (BECs) with attractive interactions in a bounded domain $\mathcal{D}\subset \mathbb{R}^2$. It is shown that, there exists a finite constant $a^*$, denoting mainly the critical number of bosons in the system, such that the least energy $e(a)$ admits minimizers if and only if $0<a<a^*$, no matter the trapping potential $V(x)$ rotates at any velocity $\Omega\geq0$. This is quite different from the rotating BECs in the whole plane case, where the existence conclusions depend on the value of $\Omega$ (cf. \cite[Theorem 1.1]{GLY}). Moreover, by establishing the refined estimates of the rotation term and the least energy, we also analyze the mass concentration behavior of minimizers in a harmonic potential as $a\nearrow a^*$.


title: Black holes and foliation-dependent physics

abstract: In theories where physics depends on a global foliation of space-time, a black hole's horizon is surrounded by an "eternity skin": a pile-up of space-like leaves that in the far-out region cover all times from the start of collapse to future eternity. Any future foliation-dependent change in the laws of physics would be enacted in this region and affect the last stages of collapse towards black hole formation. We show how in some cases the black hole never forms but, rather, bounces into an explosive event. There is also a non-local transfer of energy between the asymptotic Universe and the formed black hole precursor, so that the back hole (if formed) or the exploding star (otherwise) will have a different mass from what was initial thrown in. These last matters are generic to non-local theories and can be traced to the breakdown of the local Hamiltonian constraint.


title: Special normalised affine matrices. An example of a Lie affgebra

abstract: The affine space of traceless complex matrices in which the sum of all elements in every row and every column is equal to one is presented as an example of an affine space with a Lie bracket or a Lie affgebra.


title: Simulating Users in Interactive Web Table Retrieval

abstract: Considering the multimodal signals of search items is beneficial for retrieval effectiveness. Especially in web table retrieval (WTR) experiments, accounting for multimodal properties of tables boosts effectiveness. However, it still remains an open question how the single modalities affect user experience in particular. Previous work analyzed WTR performance in ad-hoc retrieval benchmarks, which neglects interactive search behavior and limits the conclusion about the implications for real-world user environments. To this end, this work presents an in-depth evaluation of simulated interactive WTR search sessions as a more cost-efficient and reproducible alternative to real user studies. As a first of its kind, we introduce interactive query reformulation strategies based on Doc2Query, incorporating cognitive states of simulated user knowledge. Our evaluations include two perspectives on user effectiveness by considering different cost paradigms, namely query-wise and time-oriented measures of effort. Our multi-perspective evaluation scheme reveals new insights about query strategies, the impact of modalities, and different user types in simulated WTR search sessions.


title: Quantum Radio Astronomy: Quantum Linear Solvers for Redundant Baseline Calibration

abstract: The computational requirements of future large scale radio telescopes are expected to scale well beyond the capabilities of conventional digital resources. Current and planned telescopes are generally limited in their scientific potential by their ability to efficiently process the vast volumes of generated data. To mitigate this problem, we investigate the viability of emerging quantum computers for radio astronomy applications. In this a paper we demonstrate the potential use of variational quantum linear solvers in Noisy Intermediate Scale Quantum (NISQ) computers and combinatorial solvers in quantum annealers for a radio astronomy calibration pipeline. While we demonstrate that these approaches can lead to satisfying results when integrated in calibration pipelines, we show that current restrictions of quantum hardware limit their applicability and performance.


title: Effective interaction quenching in artificial kagom\'e spin chains

abstract: Achieving thermal equilibrium in two-dimensional lattices of interacting nanomagnets has been a key issue on the route to study exotic phases in artificial frustrated magnets. We revisit this issue in artificial one-dimensional kagom\'e spin chains. Imaging arrested micro-states generated by a field demagnetization protocol and analyzing their pairwise spin correlations in real space, we unveil a non-equilibrated physics. Remarkably, this physics can be reformulated into an at-equilibrium one by rewriting the associated spin Hamiltonian in such a way that one of the coupling constants is quenched. We ascribe this effective behavior to a kinetic hinderance during the demagnetization protocol, which induces the formation of local flux closure spin configurations that sometimes compete with the magnetostatic interaction.


title: Microwave photo-association of fine-structure-induced Rydberg $(n+2)D_{5/2}nF_{J}$ macro-dimer molecules of cesium

abstract: Long-range $(n+2)D_{5/2} \, nF_J$ Rydberg macro-dimers are observed in an ultracold cesium Rydberg gas for $39\leq n\leq48$. Strong dipolar "flip" ($\langle D_{5/2} F_{5/2} \vert \hat{V}_{dd} \vert F_{5/2} D_{5/2} \rangle$, $\langle D_{5/2} F_{7/2} \vert \hat{V}_{dd} \vert F_{7/2} D_{5/2} \rangle$) and "cross" ($\langle D_{5/2} F_{7/2} \vert \hat{V}_{dd} \vert F_{5/2} D_{5/2} \rangle$) couplings lead to bound, fine-structure-mixed $(n+2)D_{5/2}nF_J$ macro-dimers at energies between the $F_J$ fine-structure levels. The $DF$ macro-dimers are measured by microwave photo-association from optically prepared $[(n+2)D_{5/2}]_2$ Rydberg pair states. Calculated adiabatic potential curves are used to elucidate the underlying physics and to model the $DF$ macro-dimer spectra, with good overall agreement. Microwave photo-association allows Franck-Condon tuning, which we have studied by varying the detuning of a Rydberg-atom excitation laser. Further, in Stark spectroscopy we have measured molecular DC electric polarizabilities that are considerably larger than those of the atomic states. The large molecular polarizabilities may be caused by high-$\ell$ mixing. The observed linewidths of the Stark-shifted molecular lines provide initial evidence for intra-molecular induced-dipole-dipole interaction.


title: An EigenValue Stabilization Technique for Immersed Boundary Finite Element Methods in Explicit Dynamics

abstract: The application of immersed boundary methods in static analyses is often impeded by poorly cut elements (small cut elements problem), leading to ill-conditioned linear systems of equations and stability problems. While these concerns may not be paramount in explicit dynamics, a substantial reduction in the critical time step size based on the smallest volume fraction $\chi$ of a cut element is observed. This reduction can be so drastic that it renders explicit time integration schemes impractical. To tackle this challenge, we propose the use of a dedicated eigenvalue stabilization (EVS) technique. The EVS-technique serves a dual purpose. Beyond merely improving the condition number of system matrices, it plays a pivotal role in extending the critical time increment, effectively broadening the stability region in explicit dynamics. As a result, our approach enables robust and efficient analyses of high-frequency transient problems using immersed boundary methods. A key advantage of the stabilization method lies in the fact that only element-level operations are required. This is accomplished by computing all eigenvalues of the element matrices and subsequently introducing a stabilization term that mitigates the adverse effects of cutting. Notably, the stabilization of the mass matrix $\mathbf{M}_\mathrm{c}$ of cut elements -- especially for high polynomial orders $p$ of the shape functions -- leads to a significant raise in the critical time step size $\Delta t_\mathrm{cr}$. To demonstrate the efficacy of our technique, we present two specifically selected dynamic benchmark examples related to wave propagation analysis, where an explicit time integration scheme must be employed to leverage the increase in the critical time step size.


title: Momentum space separation of quantum path interferences between photons and surface plasmon polaritons in nonlinear photoemission microscopy

abstract: Quantum path interferences occur whenever multiple equivalent and coherent transitions result in a common final state. Such interferences strongly modify the probability of a particle to be found in that final state, a key concept of quantum coherent control. When multiple nonlinear and energy-degenerate transitions occur in a system, the multitude of possible quantum path interferences is hard to disentangle experimentally. Here, we analyze quantum path interferences during the nonlinear emission of electrons from hybrid plasmonic and photonic fields using time-resolved photoemission electron microscopy. We experimentally distinguish quantum path interferences by exploiting the momentum difference between photons and plasmons and through balancing the relative contributions of their respective fields. Our work provides a fundamental understanding of the nonlinear photon-plasmon-electron interaction. Distinguishing emission processes in momentum space, as introduced here, will ultimately allow nano-optical quantum-correlations to be studied without destroying the quantum path interferences.


title: A New Class of Materials Based on Nanoporous High Entropy Alloys with Outstanding Properties

abstract: Nanoporous metals with a random, bicontinuous structure of both pores and ligaments exhibit many unique mechanical properties, but their technical applications are often limited by their intrinsic brittleness under tensile strain triggered by fracture of the weakest ligaments. Here, we use molecular dynamics simulations to study the mechanical behavior and thermal stability of two different bicontinuous nanoporous high entropy alloys, Al0.1CoCrFeNi and NbMoTaW. To isolate the properties related to the nanoporous nature of our samples, we also studied the corresponding bulk and nanocrystalline systems. The results demonstrate that the specific modulus of nanoporous HEAs are 2 to 3 times greater than that of single element nanoporous materials with specific strength reaching values 5 to 10 times higher, comparable to bulk metals with the highest specific strength. Bicontinuous HEAs also displayed excellent resistance to thermal degradation as evidenced by the absence of coarsening ligaments up to temperatures of 1273 K which ensures the durability and reliability in high-temperature applications. The findings uncover unprecedented mechanical and thermal properties of bicontinuous nanoporous high entropy alloys, paving the way for their promising utilization in advanced engineering and structural applications.


title: Grounded and Well-rounded: A Methodological Approach to the Study of Cross-modal and Cross-lingual Grounding

abstract: Grounding has been argued to be a crucial component towards the development of more complete and truly semantically competent artificial intelligence systems. Literature has divided into two camps: While some argue that grounding allows for qualitatively different generalizations, others believe it can be compensated by mono-modal data quantity. Limited empirical evidence has emerged for or against either position, which we argue is due to the methodological challenges that come with studying grounding and its effects on NLP systems. In this paper, we establish a methodological framework for studying what the effects are - if any - of providing models with richer input sources than text-only. The crux of it lies in the construction of comparable samples of populations of models trained on different input modalities, so that we can tease apart the qualitative effects of different input sources from quantifiable model performances. Experiments using this framework reveal qualitative differences in model behavior between cross-modally grounded, cross-lingually grounded, and ungrounded models, which we measure both at a global dataset level as well as for specific word representations, depending on how concrete their semantics is.


title: Mixture distributions for probabilistic forecasts of disease outbreaks

abstract: Collaboration among multiple teams has played a major role in probabilistic forecasting events of influenza outbreaks, the COVID-19 pandemic, other disease outbreaks, and in many other fields. When collecting forecasts from individual teams, ensuring that each team's model represents forecast uncertainty according to the same format allows for direct comparison of forecasts as well as methods of constructing multi-model ensemble forecasts. This paper outlines several common probabilistic forecast representation formats including parametric distributions, sample distributions, bin distributions, and quantiles and compares their use in the context of collaborative projects. We propose the use of a discrete mixture distribution format in collaborative forecasting in place of other formats. The flexibility in distribution shape, the ease for scoring and building ensemble models, and the reasonably low level of computer storage required to store such a forecast make the discrete mixture distribution an attractive alternative to the other representation formats.


title: Interpretable Spectral Variational AutoEncoder (ISVAE) for time series clustering

abstract: The best encoding is the one that is interpretable in nature. In this work, we introduce a novel model that incorporates an interpretable bottleneck-termed the Filter Bank (FB)-at the outset of a Variational Autoencoder (VAE). This arrangement compels the VAE to attend on the most informative segments of the input signal, fostering the learning of a novel encoding ${f_0}$ which boasts enhanced interpretability and clusterability over traditional latent spaces. By deliberately constraining the VAE with this FB, we intentionally constrict its capacity to access broad input domain information, promoting the development of an encoding that is discernible, separable, and of reduced dimensionality. The evolutionary learning trajectory of ${f_0}$ further manifests as a dynamic hierarchical tree, offering profound insights into cluster similarities. Additionally, for handling intricate data configurations, we propose a tailored decoder structure that is symmetrically aligned with FB's architecture. Empirical evaluations highlight the superior efficacy of ISVAE, which compares favorably to state-of-the-art results in clustering metrics across real-world datasets.


title: Valley-dependent tunneling through electrostatically created quantum dots in heterostructures of graphene with hexagonal boron nitride

abstract: Kelvin probe force microscopy (KPFM) has been employed to probe charge carriers in a graphene/hexagonal boron nitride (hBN) heterostructure [Nano Lett, 21, 5013 (2021)]. We propose an approach for operating valley filtering based on the KPFM-induced potential $U_0$ instead of using external or induced pseudo-magnetic fields in strained graphene. Employing a tight-binding model, we investigate the parameters and rules leading to valley filtering in the presence of a graphene quantum dot (GQD) created by the KPFM tip. This model leads to a resolution of different transport channels in reciprocal space, where the electron transmission probability at each Dirac cone ($K_1$= -K and $K_2$ = +K) is evaluated separately. The results show that U0 and the Fermi energy $E_F$ control (or invert) the valley polarization, if electrons are allowed to flow through a given valley. The resulting valley filtering is allowed only if the signs of $E_F$ and $U_0$ are the same. If they are different, the valley filtering is destroyed and might occur only at some resonant states affected by $U_0$. Additionally, there are independent valley modes characterizing the conductance oscillations near the vicinity of the resonances, whose strength increases with $U_0$ and are similar to those occurring in resonant tunneling in quantum antidots and to the Fabry-Perot oscillations. Using KPFM, to probe the charge carriers, and graphene-based structures to control valley transport, provides an efficient way for attaining valley filtering without involving external or pseudo-magnetic fields as in previous proposals.


title: Results and Prospects of T2K

abstract: T2K is a neutrino oscillation experiment with a 295 km long baseline between the far detector, Super-Kamiokande, and a suite of near detectors to study $\nu_\mu/\bar{\nu}_\mu$ disappearance and $\nu_e/\bar{\nu}_e$ appearance in a $\nu_\mu/\bar{\nu}_\mu$ neutrino beam produced at J-PARC. The experiment has excluded CP conservation in the three-neutrino oscillation model at $>90~\%$ CL and precisely constrained the parameters $\vert \Delta m_{32}^2 \vert$ and $\sin^2 \theta_{23}$. This paper reports on the novelties of the most up-to-date 2022 analysis and the near-future prospects of T2K.


title: Kinematic Hopf algebra for amplitudes from higher-derivative operators

abstract: Recently it has been shown that Bern-Carrasco-Johansson (BCJ) numerators of colour-kinematic duality for tree-level scattering amplitudes in Yang-Mills theory (coupled with scalars) can be determined using a quasi-shuffle Hopf algebra. In this paper we consider the same theory, but with higher-derivative corrections of the forms $\alpha' F^3$ and $\alpha'^2 F^4$, where $F$ is the field strength. In the heavy mass limit of the scalars, we show that the BCJ numerators of these higher-derivative theories are governed by the same Hopf algebra. In particular, the kinematic algebraic structure is unaltered and the derivative corrections only arise when mapping the abstract algebraic generators to physical BCJ numerators. The underlying kinematic Hopf algebra enables us to obtain a compact expression for the BCJ numerators of any number of gluons and two heavy scalars for amplitudes with higher-derivative operators. The pure gluon BCJ numerators can also be obtained from our results by a simple factorisation limit where the massive particles decouple.


title: Output corridor control via design of impulsive Goodwin's oscillator

abstract: In the Impulsive Goodwin's oscillator (IGO), a continuous positive linear time-invariant (LTI) plant is controlled by an amplitude- and frequency-modulated feedback into an oscillating solution. Self-sustained oscillations in the IGO model have been extensively used to portray periodic rhythms in endocrine systems, whereas the potential of the concept as a controller design approach still remains mainly unexplored. This paper proposes an algorithm to design the feedback of the IGO so that the output of the continuous plant is kept (at stationary conditions) within a pre-defined corridor, i.e. within a bounded interval of values. The presented framework covers single-input single-output LTI plants as well as positive Wiener and Hammerstein models that often appear in process and biomedical control. A potential application of the developed impulsive control approach to a minimal Wiener model of pharmacokinetics and pharmacodynamics of a muscle relaxant used in general anesthesia is discussed.


title: Downscaling Using CDAnet Under Observational and Model Noises: The Rayleigh-Benard Convection Paradigm

abstract: Efficient downscaling of large ensembles of coarse-scale information is crucial in several applications, such as oceanic and atmospheric modeling. The determining form map is a theoretical lifting function from the low-resolution solution trajectories of a dissipative dynamical system to their corresponding fine-scale counterparts. Recently, a physics-informed deep neural network ("CDAnet") was introduced, providing a surrogate of the determining form map for efficient downscaling. CDAnet was demonstrated to efficiently downscale noise-free coarse-scale data in a deterministic setting. Herein, the performance of well-trained CDAnet models is analyzed in a stochastic setting involving (i) observational noise, (ii) model noise, and (iii) a combination of observational and model noises. The analysis is performed employing the Rayleigh-Benard convection paradigm, under three training conditions, namely, training with perfect, noisy, or downscaled data. Furthermore, the effects of noises, Rayleigh number, and spatial and temporal resolutions of the input coarse-scale information on the downscaled fields are examined. The results suggest that the expected l2-error of CDAnet behaves quadratically in terms of the standard deviations of the observational and model noises. The results also suggest that CDAnet responds to uncertainties similar to the theorized and numerically-validated CDA behavior with an additional error overhead due to CDAnet being a surrogate model of the determining form map.


title: Genuine multipartite entanglement detection with imperfect measurements: concept and experiment

abstract: Standard procedures for entanglement detection assume that experimenters can exactly implement specific quantum measurements. Here, we depart from such idealizations and investigate, in both theory and experiment, the detection of genuine multipartite entanglement when measurements are subject to small imperfections. For arbitrary qubits number $n$, we construct multipartite entanglement witnesses where the detrimental influence of the imperfection is independent of $n$. In a tabletop four-partite photonic experiment we demonstrate first how a small amount of alignment error can undermine the conclusions drawn from standard entanglement witnesses, and then perform the correction analysis. Furthermore, since we consider quantum devices that are trusted but not perfectly controlled, we showcase advantages in terms of noise resilience as compared to device-independent models.


title: Mean-field dynamics of an infinite-range interacting quantum system: chaos, dynamical phase transition, and localisation

abstract: We investigate the dynamical properties of the XY spin 1/2 chain with infinite-range transverse interactions and find a dynamical phase transition with a chaotic dynamical phase. In the latter, we find non-vanishing finite-time Lyapunov exponents and intermittent behavior signaled by fast and slow entropy growth periods. Further, we study the XY chain with a local self-consistent transverse field and observe a localization phase transition. We show that localization stabilizes the chaotic dynamical phase.


title: Robustness of the projected squeezed state protocol

abstract: Projected squeezed (PS) states are multipartite entangled states generated by unitary spin squeezing, followed by a collective quantum measurement and post-selection. They can lead to an appreciable decrease in the state preparation time of the maximally entangled N-qubit Greenberger-Horne-Zeilinger (GHZ) state when compared to deterministic preparation by unitary transformations in physical systems where spin squeezing can be realized, such as ion, neutral atom, and superconducting qubits. Here we simulate the generation of PS states in non-ideal experimental conditions with relevant decoherence channels. By employing the Kraus operator method, and quantum trajectory method to reduce the computational complexity, we assess the quantum Fisher information and overlap fidelity with an ideal GHZ state. Our findings highlight PS states as useful metrological resources, demonstrating a robustness against environmental effects with increasing qubit number N.


title: Fingerprints of Mott-Hubbard physics in optical spectra of antiferromagnetic LaTiO3

abstract: Magnetic properties of Mott-Hubbard insulators are determined by superexchange interactions mediated by the high-spin (HS) and low-spin (LS) intersite d-d charge excitations, which can be associated with the HS- and LS-Hubbard subbands in optical experiments. To explore the Mott-Hubbard physics in orthorhombic LaTiO_3 crystal exhibiting the G-type antiferromagnetic order at the Neel temperature T_N = 146 K, we present a comprehensive spectroscopic ellipsometry study in the spectral range 0.5-5.6 eV at temperatures 10 K < T < 300 K. We found that the complex dielectric function spectra of LaTiO_3 crystal are almost featureless, nearly isotropic, and weakly temperature dependent in the range of d-d optical transitions. Nonetheless, analyzing the difference spectra below the T_N, we have identified the LS-state d^1d^1 - d^2d^0 excitations at ~3.7 and ~5.15 eV and estimated values of the on-site Coulomb repulsion U ~4.2 eV and Hund's exchange constant J_H ~0.5 eV, which define the energy of the HS-state d^1d^1 - d^2d^0 excitation at ~2.7 eV. In addition, we discovered that the pronounced lowest-energy 1.3 eV optical band displays the critical intensity behavior and anomalous broadening with decreasing temperature below the T_N. The discovered properties indicate that the 1.3 eV band in LaTiO_3 can be associated with a Mott-Hubbard exciton.


title: Too Good To Be True: performance overestimation in (re)current practices for Human Activity Recognition

abstract: Today, there are standard and well established procedures within the Human Activity Recognition (HAR) pipeline. However, some of these conventional approaches lead to accuracy overestimation. In particular, sliding windows for data segmentation followed by standard random k-fold cross validation, produce biased results. An analysis of previous literature and present-day studies, surprisingly, shows that these are common approaches in state-of-the-art studies on HAR. It is important to raise awareness in the scientific community about this problem, whose negative effects are being overlooked. Otherwise, publications of biased results lead to papers that report lower accuracies, with correct unbiased methods, harder to publish. Several experiments with different types of datasets and different types of classification models allow us to exhibit the problem and show it persists independently of the method or dataset.


title: Exact zeros of fidelity in finite-size systems as a signature for probing quantum phase transitions

abstract: The fidelity is widely used to detect quantum phase transition, which is characterized by either a sharp change of fidelity or the divergence of fidelity susceptibility in the thermodynamical limit when the phase-driving parameter is across the transition point. In this work, we unveil that the occurrence of exact zero of fidelity in finite-size systems can be applied to detect quantum phase transitions. In general, the fidelity $\mathcal{F}(\gamma,\tilde{\gamma})$ always approaches zero in the thermodynamical limit, due to the Anderson orthogonality catastrophe, no matter whether the parameters of two ground states ($\gamma$ and $\tilde{\gamma}$) are in the same phase or different phases, and this makes it difficult to distinguish whether an exact zero of fidelity exists by finite-size analysis. To overcome the influence of orthogonality catastrophe, we study finite-size systems with twist boundary conditions, which can be introduced by applying a magnetic flux, and demonstrate that exact zero of fidelity can be always accessed by tuning the magnetic flux when $\gamma$ and $\tilde{\gamma}$ belong to different phases. On the other hand, no exact zero of fidelity can be observed if $\gamma$ and $\tilde{\gamma}$ are in the same phase. We demonstrate the applicability of our theoretical scheme by studying concrete examples, including the Su-Schrieffer-Heeger model, Creutz model and Haldane model. Our work provides a practicable way to detect quantum phase transition via the calculation of fidelity of finite-size systems.


title: Recasting Continual Learning as Sequence Modeling

abstract: In this work, we aim to establish a strong connection between two significant bodies of machine learning research: continual learning and sequence modeling. That is, we propose to formulate continual learning as a sequence modeling problem, allowing advanced sequence models to be utilized for continual learning. Under this formulation, the continual learning process becomes the forward pass of a sequence model. By adopting the meta-continual learning (MCL) framework, we can train the sequence model at the meta-level, on multiple continual learning episodes. As a specific example of our new formulation, we demonstrate the application of Transformers and their efficient variants as MCL methods. Our experiments on seven benchmarks, covering both classification and regression, show that sequence models can be an attractive solution for general MCL.


title: Scotogenic $U(1)_{L_{\mu}-L_{\tau}}$ origin of $(g-2)_\mu$, W-mass anomaly and 95 GeV excess

abstract: We study a scotogenic extension of the minimal gauged $L_{\mu}-L_{\tau}$ model, including three right-handed singlet fermions and a scalar doublet all odd under an in-built $Z_2$ symmetry to explain the anomalous magnetic moments of the muon, CDF-II W-mass anomaly, and the 95 GeV excess reported by the CMS collaboration. While the minimal model can successfully explain the muon $(g-2)$ and CDF-II W-mass anomalies, the required diphoton signal strength for the 95 GeV scalar, together with that of the SM Higgs, can not be obtained in the minimal model. The same can, however, be explained by incorporating one additional scalar doublet whose only role is to contribute radiatively to diphoton decay modes of the light, neutral scalars. Due to the scotogenic extension, the model remains consistent with the observed properties of light neutrinos and dark matter in the Universe.


title: MusicAgent: An AI Agent for Music Understanding and Generation with Large Language Models

abstract: AI-empowered music processing is a diverse field that encompasses dozens of tasks, ranging from generation tasks (e.g., timbre synthesis) to comprehension tasks (e.g., music classification). For developers and amateurs, it is very difficult to grasp all of these task to satisfy their requirements in music processing, especially considering the huge differences in the representations of music data and the model applicability across platforms among various tasks. Consequently, it is necessary to build a system to organize and integrate these tasks, and thus help practitioners to automatically analyze their demand and call suitable tools as solutions to fulfill their requirements. Inspired by the recent success of large language models (LLMs) in task automation, we develop a system, named MusicAgent, which integrates numerous music-related tools and an autonomous workflow to address user requirements. More specifically, we build 1) toolset that collects tools from diverse sources, including Hugging Face, GitHub, and Web API, etc. 2) an autonomous workflow empowered by LLMs (e.g., ChatGPT) to organize these tools and automatically decompose user requests into multiple sub-tasks and invoke corresponding music tools. The primary goal of this system is to free users from the intricacies of AI-music tools, enabling them to concentrate on the creative aspect. By granting users the freedom to effortlessly combine tools, the system offers a seamless and enriching music experience.


title: Exploring the Potential of Residual Impurities in Germanium Detectors for Low-Mass Dark Matter Detection

abstract: The direct detection of MeV-scale dark matter (DM) particles hinges on achieving an exceptionally low energy detection threshold. Germanium (Ge) detectors, meticulously tailored with precise impurity compositions, hold the potential to enhance sensitivity to energy levels below the sub-electronvolt (sub-eV) range. This study explores the behavior of residual impurities inherent to Ge detectors at helium temperatures, unveiling a captivating freeze-out phenomenon leading to the formation of excited localized states known as dipole states. Using compelling evidence from relative capacitance measurements obtained from two detectors, we elucidate the transition of impurity atoms from free charge states to these dipole states as the temperature drops from 11 K to 6.5 K. Our investigation comprehensively covers the intricate formation of these dipole states in both n-type and p-type impurities. Furthermore, we shed light on the electric field generated by these dipole states, revealing their ability to trap charges and facilitate the creation of cluster dipole states. Confirming findings from previous measurements, we establish that these excited dipole states exhibit a binding energy of less than 10 meV, offering an exceptionally low detection threshold for MeV-scale DM. Building upon this concept, we propose the development of a 1-kg Ge detector with internal charge amplification, an innovative approach poised to surpass electrical noise and enable the detection of MeV-scale DM with unprecedented sensitivity.


title: Acoustic shape optimization using energy stable curvilinear finite differences

abstract: A gradient-based method for shape optimization problems constrained by the acoustic wave equation is presented. The method makes use of high-order accurate finite differences with summation-by-parts properties on multiblock curvilinear grids to discretize in space. Representing the design domain through a coordinate mapping from a reference domain, the design shape is obtained by inverting for the discretized coordinate map. The adjoint state framework is employed to efficiently compute the gradient of the loss functional. Using the summation-by-parts properties of the finite difference discretization, we prove stability and dual consistency for the semi-discrete forward and adjoint problems. Numerical experiments verify the accuracy of the finite difference scheme and demonstrate the capabilities of the shape optimization method on two model problems with real-world relevance.


title: Supporting UAVs with Edge Computing: A Review of Opportunities and Challenges

abstract: Over the last years, Unmanned Aerial Vehicles (UAVs) have seen significant advancements in sensor capabilities and computational abilities, allowing for efficient autonomous navigation and visual tracking applications. However, the demand for computationally complex tasks has increased faster than advances in battery technology. This opens up possibilities for improvements using edge computing. In edge computing, edge servers can achieve lower latency responses compared to traditional cloud servers through strategic geographic deployments. Furthermore, these servers can maintain superior computational performance compared to UAVs, as they are not limited by battery constraints. Combining these technologies by aiding UAVs with edge servers, research finds measurable improvements in task completion speed, energy efficiency, and reliability across multiple applications and industries. This systematic literature review aims to analyze the current state of research and collect, select, and extract the key areas where UAV activities can be supported and improved through edge computing.


title: Emptying the Ocean with a Spoon: Should We Edit Models?

abstract: We call into question the recently popularized method of direct model editing as a means of correcting factual errors in LLM generations. We contrast model editing with three similar but distinct approaches that pursue better defined objectives: (1) retrieval-based architectures, which decouple factual memory from inference and linguistic capabilities embodied in LLMs; (2) concept erasure methods, which aim at preventing systemic bias in generated text; and (3) attribution methods, which aim at grounding generations into identified textual sources. We argue that direct model editing cannot be trusted as a systematic remedy for the disadvantages inherent to LLMs, and while it has proven potential in improving model explainability, it opens risks by reinforcing the notion that models can be trusted for factuality. We call for cautious promotion and application of model editing as part of the LLM deployment process, and for responsibly limiting the use cases of LLMs to those not relying on editing as a critical component.


title: A Multi-Scale Decomposition MLP-Mixer for Time Series Analysis

abstract: Time series data, including univariate and multivariate ones, are characterized by unique composition and complex multi-scale temporal variations. They often require special consideration of decomposition and multi-scale modeling to analyze. Existing deep learning methods on this best fit to univariate time series only, and have not sufficiently considered sub-series modeling and decomposition completeness. To address these challenges, we propose MSD-Mixer, a Multi-Scale Decomposition MLP-Mixer, which learns to explicitly decompose and represent the input time series in its different layers. To handle the multi-scale temporal patterns and multivariate dependencies, we propose a novel temporal patching approach to model the time series as multi-scale patches, and employ MLPs to capture intra- and inter-patch variations and channel-wise correlations. In addition, we propose a novel loss function to constrain both the mean and the autocorrelation of the decomposition residual for better decomposition completeness. Through extensive experiments on various real-world datasets for five common time series analysis tasks, we demonstrate that MSD-Mixer consistently and significantly outperforms other state-of-the-art algorithms with better efficiency.


title: Fast Multipole Attention: A Divide-and-Conquer Attention Mechanism for Long Sequences

abstract: Transformer-based models have achieved state-of-the-art performance in many areas. However, the quadratic complexity of self-attention with respect to the input length hinders the applicability of Transformer-based models to long sequences. To address this, we present Fast Multipole Attention, a new attention mechanism that uses a divide-and-conquer strategy to reduce the time and memory complexity of attention for sequences of length $n$ from $\mathcal{O}(n^2)$ to $\mathcal{O}(n \log n)$ or $O(n)$, while retaining a global receptive field. The hierarchical approach groups queries, keys, and values into $\mathcal{O}( \log n)$ levels of resolution, where groups at greater distances are increasingly larger in size and the weights to compute group quantities are learned. As such, the interaction between tokens far from each other is considered in lower resolution in an efficient hierarchical manner. The overall complexity of Fast Multipole Attention is $\mathcal{O}(n)$ or $\mathcal{O}(n \log n)$, depending on whether the queries are down-sampled or not. This multi-level divide-and-conquer strategy is inspired by fast summation methods from $n$-body physics and the Fast Multipole Method. We perform evaluation on autoregressive and bidirectional language modeling tasks and compare our Fast Multipole Attention model with other efficient attention variants on medium-size datasets. We find empirically that the Fast Multipole Transformer performs much better than other efficient transformers in terms of memory size and accuracy. The Fast Multipole Attention mechanism has the potential to empower large language models with much greater sequence lengths, taking the full context into account in an efficient, naturally hierarchical manner during training and when generating long sequences.


title: A Kernel-Density-Estimator Minimizing Movement Scheme for Diffusion Equations

abstract: The mathematical theory of a novel variational approximation scheme for general second and fourth order partial differential equations \begin{equation}\label{eq: A} \partial_t u - \nabla\cdot\Big(u\nabla\frac{\delta\phi}{\delta u}(u)\Big|\nabla\frac{\delta\phi}{\delta u}(u)\Big|^{q-2}\Big) \ = \ 0, \quad\quad u\geq0, \end{equation} $q\in(1, +\infty)$, is developed.


title: Machine Learning for Staggered Difference-in-Differences and Dynamic Treatment Effect Heterogeneity

abstract: We combine two recently proposed nonparametric difference-in-differences methods, extending them to enable the examination of treatment effect heterogeneity in the staggered adoption setting using machine learning. The proposed method, machine learning difference-in-differences (MLDID), allows for estimation of time-varying conditional average treatment effects on the treated, which can be used to conduct detailed inference on drivers of treatment effect heterogeneity. We perform simulations to evaluate the performance of MLDID and find that it accurately identifies the true predictors of treatment effect heterogeneity. We then use MLDID to evaluate the heterogeneous impacts of Brazil's Family Health Program on infant mortality, and find those in poverty and urban locations experienced the impact of the policy more quickly than other subgroups.


title: Measurement of isoplanatic angle and turbulence strength profile from H-alpha images of the Sun

abstract: Adaptive Optics (AO) systems have become integral for ground-based astronomy. Based on the scientific case, there are various flavours of AO systems. Measuring the turbulence strength profile ($C_N^2(h)$) and other site characteristics is essential before selecting a site or implementing certain types of AO systems. We used an iterative deconvolution procedure on long-exposure H-$\alpha$ images of the Sun to determine the isoplanatic patch size during the daytime. Then, we determined the relationship between turbulence along different directions and also obtained an analytical estimate of the $C_N^2(h)$ profile.


title: AMR Parsing with Causal Hierarchical Attention and Pointers

abstract: Translation-based AMR parsers have recently gained popularity due to their simplicity and effectiveness. They predict linearized graphs as free texts, avoiding explicit structure modeling. However, this simplicity neglects structural locality in AMR graphs and introduces unnecessary tokens to represent coreferences. In this paper, we introduce new target forms of AMR parsing and a novel model, CHAP, which is equipped with causal hierarchical attention and the pointer mechanism, enabling the integration of structures into the Transformer decoder. We empirically explore various alternative modeling options. Experiments show that our model outperforms baseline models on four out of five benchmarks in the setting of no additional data.


title: Filling in the Gaps: Efficient Event Coreference Resolution using Graph Autoencoder Networks

abstract: We introduce a novel and efficient method for Event Coreference Resolution (ECR) applied to a lower-resourced language domain. By framing ECR as a graph reconstruction task, we are able to combine deep semantic embeddings with structural coreference chain knowledge to create a parameter-efficient family of Graph Autoencoder models (GAE). Our method significantly outperforms classical mention-pair methods on a large Dutch event coreference corpus in terms of overall score, efficiency and training speed. Additionally, we show that our models are consistently able to classify more difficult coreference links and are far more robust in low-data settings when compared to transformer-based mention-pair coreference algorithms.


title: Flexible Payload Configuration for Satellites using Machine Learning

abstract: Satellite communications, essential for modern connectivity, extend access to maritime, aeronautical, and remote areas where terrestrial networks are unfeasible. Current GEO systems distribute power and bandwidth uniformly across beams using multi-beam footprints with fractional frequency reuse. However, recent research reveals the limitations of this approach in heterogeneous traffic scenarios, leading to inefficiencies. To address this, this paper presents a machine learning (ML)-based approach to Radio Resource Management (RRM). We treat the RRM task as a regression ML problem, integrating RRM objectives and constraints into the loss function that the ML algorithm aims at minimizing. Moreover, we introduce a context-aware ML metric that evaluates the ML model's performance but also considers the impact of its resource allocation decisions on the overall performance of the communication system.


title: Take the aTrain. Introducing an Interface for the Accessible Transcription of Interviews

abstract: aTrain is an open-source and offline tool for transcribing audio data in multiple languages with CPU and NVIDIA GPU support. It is specifically designed for researchers using qualitative data generated from various forms of speech interactions with research participants. aTrain requires no programming skills, runs on most computers, does not require an internet connection, and was verified not to upload data to any server. aTrain combines OpenAI's Whisper model with speaker recognition to provide output that integrates with the popular qualitative data analysis software tools MAXQDA and ATLAS.ti. It has an easy-to-use graphical interface and is provided as a Windows-App through the Microsoft Store allowing for simple installation by researchers. The source code is freely available on GitHub. Having developed aTrain with a focus on speed on local computers, we show that the transcription time on current mobile CPUs is around 2 to 3 times the duration of the audio file using the highest-accuracy transcription models. If an entry-level graphics card is available, the transcription speed increases to 20% of the audio duration.


title: Lie groupoids determined by their orbit spaces

abstract: Given a Lie groupoid, we can form its orbit space, which carries a natural diffeology. More generally, we have a quotient functor from the Hilsum-Skandalis category of Lie groupoids to the category of diffeological spaces. We introduce the notion of a lift-complete Lie groupoid, and show that the quotient functor restricts to an equivalence of the categories: of lift-complete Lie groupoids with isomorphism classes of surjective submersive bibundles as arrows, and of quasi-\'{e}tale diffeological spaces with surjective local subductions as arrows. In particular, the Morita equivalence class of a lift-complete Lie groupoid, alternatively a lift-complete differentiable stack, is determined by its diffeological orbit space. Examples of lift-complete Lie groupoids include quasifold groupoids and \'{e}tale holonomy groupoids of Riemannian foliations.


title: Survey calibration for causal inference: a simple method to balance covariate distributions

abstract: This paper proposes a~simple, yet powerful, method for balancing distributions of covariates for causal inference based on observational studies. The method makes it possible to balance an arbitrary number of quantiles (e.g., medians, quartiles, or deciles) together with means if necessary. The proposed approach is based on the theory of calibration estimators (Deville and S\"arndal 1992), in particular, calibration estimators for quantiles, proposed by Harms and Duchesne (2006). The method does not require numerical integration, kernel density estimation or assumptions about the distributions. Valid estimates can be obtained by drawing on existing asymptotic theory. An~illustrative example of the proposed approach is presented for the entropy balancing method and the covariate balancing propensity score method. Results of a~simulation study indicate that the method efficiently estimates average treatment effects on the treated (ATT), the average treatment effect (ATE), the quantile treatment effect on the treated (QTT) and the quantile treatment effect (QTE), especially in the presence of non-linearity and mis-specification of the models. The proposed approach can be further generalized to other designs (e.g. multi-category, continuous) or methods (e.g. synthetic control method). An open source software implementing proposed methods is available.


title: Quantifying Privacy Risks of Prompts in Visual Prompt Learning

abstract: Large-scale pre-trained models are increasingly adapted to downstream tasks through a new paradigm called prompt learning. In contrast to fine-tuning, prompt learning does not update the pre-trained model's parameters. Instead, it only learns an input perturbation, namely prompt, to be added to the downstream task data for predictions. Given the fast development of prompt learning, a well-generalized prompt inevitably becomes a valuable asset as significant effort and proprietary data are used to create it. This naturally raises the question of whether a prompt may leak the proprietary information of its training data. In this paper, we perform the first comprehensive privacy assessment of prompts learned by visual prompt learning through the lens of property inference and membership inference attacks. Our empirical evaluation shows that the prompts are vulnerable to both attacks. We also demonstrate that the adversary can mount a successful property inference attack with limited cost. Moreover, we show that membership inference attacks against prompts can be successful with relaxed adversarial assumptions. We further make some initial investigations on the defenses and observe that our method can mitigate the membership inference attacks with a decent utility-defense trade-off but fails to defend against property inference attacks. We hope our results can shed light on the privacy risks of the popular prompt learning paradigm. To facilitate the research in this direction, we will share our code and models with the community.


title: Improving Generalization of Alignment with Human Preferences through Group Invariant Learning

abstract: The success of AI assistants based on language models (LLMs) hinges crucially on Reinforcement Learning from Human Feedback (RLHF), which enables the generation of responses more aligned with human preferences. As universal AI assistants, there's a growing expectation for them to perform consistently across various domains. However, previous work shows that Reinforcement Learning (RL) often exploits shortcuts to attain high rewards and overlooks challenging samples. This focus on quick reward gains undermines both the stability in training and the model's ability to generalize to new, unseen data. In this work, we propose a novel approach that can learn a consistent policy via RL across various data groups or domains. Given the challenges associated with acquiring group annotations, our method automatically classifies data into different groups, deliberately maximizing performance variance. Then, we optimize the policy to perform well on challenging groups. Lastly, leveraging the established groups, our approach adaptively adjusts the exploration space, allocating more learning capacity to more challenging data and preventing the model from over-optimizing on simpler data. Experimental results indicate that our approach significantly enhances training stability and model generalization.


title: Enriched universal algebra

abstract: Following the classical approach of Birkhoff, we suggest an enriched version of enriched universal algebra. Given a suitable base of enrichment $\mathcal V$, we define a language $\mathbb L$ to be a collection of $(X,Y)$-ary function symbols whose arities are taken among the objects of $\mathcal V$. The class of $\mathbb L$-terms is constructed recursively from the symbols of $\mathbb L$, the morphisms in $\mathcal V$, and by incorporating the monoidal structure of $\mathcal V$. Then, $\mathbb L$-structures and interpretations of terms are defined, leading to enriched equational theories. In this framework we characterize algebras for finitary monads on $\mathcal V$ as models of an equational theories.


title: Decentralized Gradient-Free Methods for Stochastic Non-Smooth Non-Convex Optimization

abstract: We consider decentralized gradient-free optimization of minimizing Lipschitz continuous functions that satisfy neither smoothness nor convexity assumption. We propose two novel gradient-free algorithms, the Decentralized Gradient-Free Method (DGFM) and its variant, the Decentralized Gradient-Free Method$^+$ (DGFM$^{+}$). Based on the techniques of randomized smoothing and gradient tracking, DGFM requires the computation of the zeroth-order oracle of a single sample in each iteration, making it less demanding in terms of computational resources for individual computing nodes. Theoretically, DGFM achieves a complexity of $\mathcal O(d^{3/2}\delta^{-1}\varepsilon ^{-4})$ for obtaining an $(\delta,\varepsilon)$-Goldstein stationary point. DGFM$^{+}$, an advanced version of DGFM, incorporates variance reduction to further improve the convergence behavior. It samples a mini-batch at each iteration and periodically draws a larger batch of data, which improves the complexity to $\mathcal O(d^{3/2}\delta^{-1} \varepsilon^{-3})$. Moreover, experimental results underscore the empirical advantages of our proposed algorithms when applied to real-world datasets.


title: A full divergence-free of high order virtual finite element method to approximation of stationary inductionless magnetohydrodynamic equations on polygonal meshes

abstract: In this present paper we consider a full divergence-free of high order virtual finite element algorithm to approximate the stationary inductionless magnetohydrodynamic model on polygonal meshes. More precisely, we choice appropriate virtual spaces and necessary degrees of freedom for velocity and current density to guarantee that their final discrete formats are both pointwise divergence-free. Moreover, we hope to achieve higher approximation accuracy at higher "polynomial" orders k_{1} \geq 2, k_{2} \geq 1, while the full divergence-free property has always been satisfied. And then we processed rigorous error analysis to show that the proposed method is stable and convergent. Several numerical tests are presented, confirming the theoretical predictions.


title: Nonlocal Static and Dynamical Vacuum Field Correlations and Casimir-Polder Interactions

abstract: In this review we investigate several aspects and features of spatial field correlations for the massless scalar field and the electromagnetic field, both in stationary and nonstationary conditions, and show how they manifest in two- and many-body static and dynamic dispersion interactions (van der Waals and Casimir-Polder). We initially analyze the spatial field correlations for noninteracting fields, stressing their nonlocal behavior, and their relation to two-body dispersion interactions. We then consider how field correlations are modified by the presence of a field source, such as an atom or in general a polarizable body, firstly in a stationary condition and then in a dynamical condition, starting from a nonstationary state. We first evaluate the spatial field correlation for the electric field in the stationary case, in the presence of a ground-state or excited-state atom, and then we consider its time evolution in the case of an initially nonstationary state. We discuss in detail their nonlocal features, in both stationary and nonstationary conditions. We then explicitly show how the nonlocality of field correlations can manifest itself in van der Waals and Casimir-Polder interactions between atoms, both in static and dynamic situations. We discuss how this can allow to indirectly probe the existence and the properties of nonlocal vacuum field correlations of the electromagnetic field, a research subject of strong actual interest, also in consequence of recent measurements of spatial field correlations exploiting electro-optical sampling techniques. The subtle and intriguing relation between nonlocality and causality is also discussed.


title: InfoDiffusion: Information Entropy Aware Diffusion Process for Non-Autoregressive Text Generation

abstract: Diffusion models have garnered considerable interest in the field of text generation. Several studies have explored text diffusion models with different structures and applied them to various tasks, including named entity recognition and summarization. However, there exists a notable disparity between the "easy-first" text generation process of current diffusion models and the "keyword-first" natural text generation process of humans, which has received limited attention. To bridge this gap, we propose InfoDiffusion, a non-autoregressive text diffusion model. Our approach introduces a "keyinfo-first" generation strategy and incorporates a noise schedule based on the amount of text information. In addition, InfoDiffusion combines self-conditioning with a newly proposed partially noising model structure. Experimental results show that InfoDiffusion outperforms the baseline model in terms of generation quality and diversity, as well as exhibiting higher sampling efficiency.


title: Constraints on dark energy from TDCOSMO & SLACS lenses

abstract: Problems with the cosmological constant model of dark energy motivate the investigation of alternative scenarios. I make the first measurement of the dark energy equation of state using the hierarchical strong lensing time delay likelihood provided by TDCOSMO. I find that the combination of seven TDCOSMO lenses and 33 SLACS lenses is only able to provide a weak constraint on the dark energy equation of state, $w < -1.75$ at 68% confidence, which nevertheless implies the presence of a phantom dark energy component. When the strong lensing time delay data is combined with a collection of cosmic microwave background, baryon acoustic oscillation and Type Ia supernova data, I find that the equation of state is $w = -1.025\pm 0.029$.


title: Can bin-wise scaling improve consistency and adaptivity of prediction uncertainty for machine learning regression ?

abstract: Binwise Variance Scaling (BVS) has recently been proposed as a post hoc recalibration method for prediction uncertainties of machine learning regression problems that is able of more efficient corrections than uniform variance (or temperature) scaling. The original version of BVS uses uncertainty-based binning, which is aimed to improve calibration conditionally on uncertainty, i.e. consistency. I explore here several adaptations of BVS, in particular with alternative loss functions and a binning scheme based on an input-feature (X) in order to improve adaptivity, i.e. calibration conditional on X. The performances of BVS and its proposed variants are tested on a benchmark dataset for the prediction of atomization energies and compared to the results of isotonic regression.

categories: stat.ML cs.LG physics.chem-ph physics.data-an


title: Out-of-equilibrium simulations to fight topological freezing

abstract: Calculations of topological observables in lattice gauge theories with traditional Monte Carlo algorithms have long been known to be a difficult task, owing to the effects of long autocorrelations times. Several mitigation strategies have been put forward, including the use of open boundary conditions and methods such as parallel tempering. In this contribution we examine a new approach based on out-of-equilibrium Monte Carlo simulations. Starting from thermalized configurations with open boundary conditions on a line defect, periodic boundary conditions are gradually switched on. A sampling of topological observables is then shown to be possible with a specific reweighting-like technique inspired by Jarzynski's equality. We discuss the efficiency of this approach using results obtained for the 2-dimensional $\mathrm{CP}^{N-1}$ models. Furthermore, we outline the implementation of our proposal in the context of Stochastic Normalizing Flows, as they share the same theoretical framework of the non-equilibrium transformations we perform, and can be thought of as their generalization.