title: Total Variation Meets Differential Privacy

abstract: The framework of approximate differential privacy is considered, and augmented by leveraging the notion of ``the total variation of a (privacy-preserving) mechanism'' (denoted by $\eta$-TV). With this refinement, an exact composition result is derived, and shown to be significantly tighter than the optimal bounds for differential privacy (which do not consider the total variation). Furthermore, it is shown that $(\varepsilon,\delta)$-DP with $\eta$-TV is closed under subsampling. The induced total variation of commonly used mechanisms are computed. Moreover, the notion of total variation of a mechanism is studied in the local privacy setting and privacy-utility tradeoffs are investigated. In particular, total variation distance and KL divergence are considered as utility functions and studied through the lens of contraction coefficients. Finally, the results are compared and connected to the locally differentially private setting.


title: Characterization of the phonon sensor of the CRYOSEL detector with IR photons

abstract: The sensitivities of light Dark Matter (DM) particle searches with cryogenic detectors are mostly limited by large backgrounds of events that do not produce ionization signal. The CRYOSEL project develops a new technique where this background in a germanium cryogenic detector is rejected by using the signals from a Superconducting Single Electron Device (SSED) sensor designed to detect the phonons emitted through the Neganov-Trofimov-Luke effect by the e$^-$h$^+$ pairs as they drift in a close-by very high-field region. A tag on signals from this device should suppress the heat-only background. The measurement of the response to IR laser pulses of the first CRYOSEL prototype show the relevance of such sensor technology.


title: Instruction Distillation Makes Large Language Models Efficient Zero-shot Rankers

abstract: Recent studies have demonstrated the great potential of Large Language Models (LLMs) serving as zero-shot relevance rankers. The typical approach involves making comparisons between pairs or lists of documents. Although effective, these listwise and pairwise methods are not efficient and also heavily rely on intricate prompt engineering. To tackle this problem, we introduce a novel instruction distillation method. The key idea is to distill the pairwise ranking ability of open-sourced LLMs to a simpler but more efficient pointwise ranking. Specifically, given the same LLM, we first rank documents using the effective pairwise approach with complex instructions, and then distill the teacher predictions to the pointwise approach with simpler instructions. Evaluation results on the BEIR, TREC, and ReDial datasets demonstrate that instruction distillation can improve efficiency by 10 to 100x and also enhance the ranking performance of LLMs. Furthermore, our approach surpasses the performance of existing supervised methods like monoT5 and is on par with the state-of-the-art zero-shot methods. The code to reproduce our results is available at www.github.com/sunnweiwei/RankGPT.


title: MemorySeg: Online LiDAR Semantic Segmentation with a Latent Memory

abstract: Semantic segmentation of LiDAR point clouds has been widely studied in recent years, with most existing methods focusing on tackling this task using a single scan of the environment. However, leveraging the temporal stream of observations can provide very rich contextual information on regions of the scene with poor visibility (e.g., occlusions) or sparse observations (e.g., at long range), and can help reduce redundant computation frame after frame. In this paper, we tackle the challenge of exploiting the information from the past frames to improve the predictions of the current frame in an online fashion. To address this challenge, we propose a novel framework for semantic segmentation of a temporal sequence of LiDAR point clouds that utilizes a memory network to store, update and retrieve past information. Our framework also includes a regularizer that penalizes prediction variations in the neighborhood of the point cloud. Prior works have attempted to incorporate memory in range view representations for semantic segmentation, but these methods fail to handle occlusions and the range view representation of the scene changes drastically as agents nearby move. Our proposed framework overcomes these limitations by building a sparse 3D latent representation of the surroundings. We evaluate our method on SemanticKITTI, nuScenes, and PandaSet. Our experiments demonstrate the effectiveness of the proposed framework compared to the state-of-the-art.


title: Real-space Formalism for the Euler Class and Fragile Topology in Quasicrystals and Amorphous Lattices

abstract: We propose a real-space formalism of the topological Euler class, which characterizes the fragile topology of two-dimensional systems with real wave functions. This real-space description is characterized by local Euler markers whose macroscopic average coincides with the Euler number, and it applies equally well to periodic and open boundary conditions for both crystals and noncrystalline systems. We validate this by diagnosing topological phase transitions in clean and disordered crystalline systems with the reality endowed by the space-time inversion symmetry $\mathcal{I}_{ST}$. Furthermore, we demonstrated the topological Euler phases in quasicrystals and even in amorphous lattices lacking any spatial symmetries. Our work not only provides a local characterization of the fragile topology but also significantly extends its territory beyond $\mathcal{I}_{ST}$-symmetric crystalline materials.


title: On the stochastic Sine-Gordon model: an interacting field theory approach

abstract: We investigate the massive Sine-Gordon model in the finite ultraviolet regime on the two-dimensional Minkowski spacetime $(\mathbb{R}^2,\eta)$ with an additive Gaussian white noise. In particular we construct the expectation value and the correlation functions of a solution of the underlying stochastic partial differential equation (SPDE) as a power series in the coupling constant, proving ultimately uniform convergence. This result is obtained combining an approach first devised in [11] to study SPDEs at a perturbative level with the one discussed in [4] to construct the quantum sine-Gordon model using techniques proper of the perturbative, algebraic approach to quantum field theory (pAQFT). At a formal level the relevant expectation values are realized as the evaluation of suitably constructed functionals over $C^\infty(\mathbb{R}^2)$. In turn, these are elements of a distinguished algebra whose product is a deformation of the pointwise one, by means of a kernel which is a linear combination of two components. The first encompasses the information of the Feynmann propagator built out of an underlying Hadamard, quantum state, while the second encodes the correlation codified by the Gaussian white noise. In our analysis, first of all we extend the results obtained in [3,4] proving the existence of a convergent modified version of the S-matrix and of an interacting field as elements of the underlying algebra of functionals. Subsequently we show that it is possible to remove the contribution due to the Feynmann propagator by taking a suitable $\hbar\to 0^+$-limit, hence obtaining the sought expectation value of the solution and of the correlation functions of the SPDE associated to the stochastic Sine-Gordon model.


title: The effect of disruptive events on spatial and social interactions: An assessment of structural changes in pre-and post-COVID-19 pandemic networks

abstract: Disruptive events significantly alter spatial and social interactions among people and places. To examine the structural changes in spatial and social interaction networks in pre- and post-periods of the COVID-19 pandemic, we employ the Louvain method to algorithmically detect regions (communities) within the county-to-county networks of the SafeGraph mobility and Facebook social connectedness. We then utilize a range of partition similarity metrics, including adjusted Rand, z-Rand, Normalized Mutual Information (NMI), and Jaccard indices, to quantitatively measure the similarity of regions between the pre- and post-periods partitions of each network. Our findings reveal that in the post-pandemic period, spatial interactions led to the formation of localized geographic communities or regions characterized by higher modular activity within each region. In contrast, online social interactions shifted towards longer distance connections, resulting in the emergence of larger regions marked by strong friendship ties that often encompassed multiple states. By understanding these changes, we contribute to a better comprehension of the pandemic's impact on our interconnected physical-virtual world, providing valuable insights for future research and informing strategies to adapt to the evolving dynamics of human interactions.


title: Parallel Quantum-Enhanced Sensing

abstract: Quantum metrology takes advantage of quantum correlations to enhance the sensitivity of sensors and measurement techniques beyond their fundamental classical limit given by the shot noise limit. The use of both temporal and spatial correlations present in quantum states of light can extend quantum-enhanced sensing to a parallel configuration that can simultaneously probe an array of sensors or independently measure multiple parameters. To this end, we use multi-spatial mode twin beams of light, which are characterized by independent quantum-correlated spatial subregions in addition to quantum temporal correlations, to probe a four-sensor quadrant plasmonic array. We show that it is possible to independently and simultaneously measure local changes in refractive index for all four sensors with a quantum enhancement in sensitivity in the range of $22\%$ to $24\%$ over the corresponding classical configuration. These results provide a first step towards highly parallel spatially resolved quantum-enhanced sensing techniques and pave the way toward more complex quantum sensing and quantum imaging platforms.


title: Directional Differentiability of the Generalized Metric Projection in Banach Spaces

abstract: Let X be a real uniformly convex and uniformly smooth Banach space and C a nonempty closed and convex subset of X. In this paper, we consider the generalized metric projection operator from X to C, which was introduced by Alber in 1996. We define the Gateaux directional differentiability and investigate some properties of the directional differentiability of the generalized metric projection. In particular, if C is a closed ball, or a closed and convex cone (including proper closed subspaces), or a closed and convex cylinder, then, we give the exact representations of the directional derivatives of the generalized metric projection. We also compare the differences of the directional differentiability between the generalized metric projection and the (standard) metric projection.


title: Fraction of $\chi_c$ decays in prompt $J/\psi$ production measured in pPb collisions at $\sqrt{s_{NN}}=8.16$ TeV

abstract: The fraction of $\chi_{c1}$ and $\chi_{c2}$ decays in the prompt $J/\psi$ yield, $F_{\chi c}=\sigma_{\chi_c \to J/\psi}/\sigma_{J/\psi}$, is measured by the LHCb detector in pPb collisions at $\sqrt{s_{NN}}=8.16$ TeV. The study covers the forward ($1.5<y^*<4.0$) and backward ($-5.0<y^*<-2.5$) rapidity regions, where $y^*$ is the $J/\psi$ rapidity in the nucleon-nucleon center-of-mass system. Forward and backward rapidity samples correspond to integrated luminosities of 13.6 $\pm$ 0.3 nb$^{-1}$ and 20.8 $\pm$ 0.5 nb$^{-1}$, respectively. The result is presented as a function of the $J/\psi$ transverse momentum $p_{T,J/\psi}$ in the range 1$<p_{T, J/\psi}<20$ GeV/$c$. The $F_{\chi c}$ fraction at forward rapidity is compatible with the LHCb measurement performed in $pp$ collisions at $\sqrt{s}=7$ TeV, whereas the result at backward rapidity is 2.4 $\sigma$ larger than in the forward region for $1<p_{T, J/\psi}<3$ GeV/$c$. The increase of $F_{\chi c}$ at low $p_{T, J/\psi}$ at backward rapidity is compatible with the suppression of the $\psi$(2S) contribution to the prompt $J/\psi$ yield. The lack of in-medium dissociation of $\chi_c$ states observed in this study sets an upper limit of 180 MeV on the free energy available in these pPb collisions to dissociate or inhibit charmonium state formation.


title: Assist Is Just as Important as the Goal: Image Resurfacing to Aid Model's Robust Prediction

abstract: Adversarial patches threaten visual AI models in the real world. The number of patches in a patch attack is variable and determines the attack's potency in a specific environment. Most existing defenses assume a single patch in the scene, and the multiple patch scenarios are shown to overcome them. This paper presents a model-agnostic defense against patch attacks based on total variation for image resurfacing (TVR). The TVR is an image-cleansing method that processes images to remove probable adversarial regions. TVR can be utilized solely or augmented with a defended model, providing multi-level security for robust prediction. TVR nullifies the influence of patches in a single image scan with no prior assumption on the number of patches in the scene. We validate TVR on the ImageNet-Patch benchmark dataset and with real-world physical objects, demonstrating its ability to mitigate patch attack.


title: InSAR-Informed In-Situ Monitoring for Deep-Seated Landslides

abstract: This work focuses on assessing the fidelity of Interferometric Synthetic Aperture Radar (InSAR) as it relates to subsurface ground motion monitoring, as well as understanding uncertainty in modeling active landslide scarp displacement for the case study of the in situ monitored El Forn deep seated landslide in Canillo, Andorra. We used the available Sentinel 1 data on the Alaska Satellite Facility (ASF) Vertex platform to create deformation velocity maps and time series of the El Forn landslide scarp. We compared the performances of InSAR data from the recently launched European Ground Motion Service (EGMS) platform and the ASF Vertex Platform in a time series comparison of displacement in the direction of landslide motion with in situ borehole based measurements from 2019 to 2021, suggesting that ground motion detected through InSAR can be used in tandem with field monitoring to provide optimal information with minimum in situ deployment. While identification of active landslide scarps may be possible via the use of EGMS platform, the intents and purposes of this work are in assessment of InSAR as a monitoring tool. Based on that, geospatial interpolation with statistical analysis was conducted to better understand the necessary number of in situ observations needed to lower error on a remote sensing recreation of ground motion over the entirety of a landslide scarp, suggesting between 20 to 25 total observations provides the optimal normalized root mean squared error for an ordinarily kriged model of the El Forn landslide scarp.


title: Constraining the Existence of Axion Clouds in M87* with Closure Trace Analyses

abstract: Black holes can amplify incoming bosonic waves via rotational superradiance, inducing bound states of ultralight bosons around them. This phenomenon has the potential to confine the parameter spaces of new bosons. Axions and axion-like particles (ALPs) are candidate beyond-standard-model particles that can form such clouds around supermassive black holes (SMBHs) and impact the polarization signal in a similar fashion to Faraday rotation via axion-photon coupling. Prior efforts have used polarized images from the Event Horizon Telescope (EHT) M87 2017 observations to limit the dimensionless axion-photon coupling to previously unexplored regions. However, with the novel calibration-insensitive quantities, closure traces and conjugate closure trace products, it is possible to constrain the existence of axion clouds while avoiding the dominant sources of systematic uncertainties, e.g., station gains and polarization leakages. We utilize a simple geometric model for the polarization map of M87* to fit the model parameters with both simulated and real data sets and reach a comparable level of constraint in the accuracy with which an axion cloud may be excluded in M87. Future applications of our approach include subsequent M87* and Sgr A* observations by EHT and next-generation EHT (ngEHT) are expected to produce stronger constraints across a wider range of axion and ALP masses. Because it does not require imaging, closure trace analyses may be applied to target AGN for which imaging is marginal, extending the number of SMBHs from which axion limits may be obtained significantly.


title: Robust zero modes in non-Hermitian systems without global symmetries

abstract: We present an approach to achieve zero modes in lattice models that do not rely on any symmetry or topology of the bulk, which are robust against disorder in the bulk of any type and strength. Such symmetry-free zero modes (SFZMs) are formed by attaching a single site or small cluster with zero mode(s) to the bulk, which serves as the "nucleus" that expands to the entire lattice. We identify the requirements on the couplings between this boundary and the bulk, which reveals that this approach is intrinsically non-Hermitian. We then provide several examples with either an arbitrary or structured bulk, forming spectrally embedded zero modes in the bulk continuum, midgap zero modes, and even restoring the "zeroness" of coupling or disorder-shifted topological corner states. Focusing on viable realizations using photonic lattices, we show that the resulting SFZM can be observed as the single lasing mode when optical gain is applied to the boundary.


title: Exploring the Hyperparameter Space of Image Diffusion Models for Echocardiogram Generation

abstract: This work presents an extensive hyperparameter search on Image Diffusion Models for Echocardiogram generation. The objective is to establish foundational benchmarks and provide guidelines within the realm of ultrasound image and video generation. This study builds over the latest advancements, including cutting-edge model architectures and training methodologies. We also examine the distribution shift between real and generated samples and consider potential solutions, crucial to train efficient models on generated data. We determine an Optimal FID score of $0.88$ for our research problem and achieve an FID of $2.60$. This work is aimed at contributing valuable insights and serving as a reference for further developments in the specialized field of ultrasound image and video generation.


title: Anytime-Competitive Reinforcement Learning with Policy Prior

abstract: This paper studies the problem of Anytime-Competitive Markov Decision Process (A-CMDP). Existing works on Constrained Markov Decision Processes (CMDPs) aim to optimize the expected reward while constraining the expected cost over random dynamics, but the cost in a specific episode can still be unsatisfactorily high. In contrast, the goal of A-CMDP is to optimize the expected reward while guaranteeing a bounded cost in each round of any episode against a policy prior. We propose a new algorithm, called Anytime-Competitive Reinforcement Learning (ACRL), which provably guarantees the anytime cost constraints. The regret analysis shows the policy asymptotically matches the optimal reward achievable under the anytime competitive constraints. Experiments on the application of carbon-intelligent computing verify the reward performance and cost constraint guarantee of ACRL.


title: Counting Bubbles in Linear Chord Diagrams

abstract: In a linear chord diagram a short chord is one which joins adjacent vertices. We define a bubble to be a region in a linear chord diagram devoid of short chords. We derive a formal generating function counting bubbles by their size and find an exact result for the mean bubble size. We find that once one discards diagrams which have no short chords at all, the distribution of bubble sizes is given by a smooth function in the limit of long diagrams. Using a summation over short chords, the exact form of this asymptotic distribution is found.


title: Sequential Subset Matching for Dataset Distillation

abstract: Dataset distillation is a newly emerging task that synthesizes a small-size dataset used in training deep neural networks (DNNs) for reducing data storage and model training costs. The synthetic datasets are expected to capture the essence of the knowledge contained in real-world datasets such that the former yields a similar performance as the latter. Recent advancements in distillation methods have produced notable improvements in generating synthetic datasets. However, current state-of-the-art methods treat the entire synthetic dataset as a unified entity and optimize each synthetic instance equally. This static optimization approach may lead to performance degradation in dataset distillation. Specifically, we argue that static optimization can give rise to a coupling issue within the synthetic data, particularly when a larger amount of synthetic data is being optimized. This coupling issue, in turn, leads to the failure of the distilled dataset to extract the high-level features learned by the deep neural network (DNN) in the latter epochs. In this study, we propose a new dataset distillation strategy called Sequential Subset Matching (SeqMatch), which tackles this problem by adaptively optimizing the synthetic data to encourage sequential acquisition of knowledge during dataset distillation. Our analysis indicates that SeqMatch effectively addresses the coupling issue by sequentially generating the synthetic instances, thereby enhancing its performance significantly. Our proposed SeqMatch outperforms state-of-the-art methods in various datasets, including SVNH, CIFAR-10, CIFAR-100, and Tiny ImageNet. Our code is available at https://github.com/shqii1j/seqmatch.


title: Preserving the knowledge of long clinical texts using aggregated ensembles of large language models

abstract: Clinical texts, such as admission notes, discharge summaries, and progress notes, contain rich and valuable information that can be used for various clinical outcome prediction tasks. However, applying large language models, such as BERT-based models, to clinical texts poses two major challenges: the limitation of input length and the diversity of data sources. This paper proposes a novel method to preserve the knowledge of long clinical texts using aggregated ensembles of large language models. Unlike previous studies which use model ensembling or text aggregation methods separately, we combine ensemble learning with text aggregation and train multiple large language models on two clinical outcome tasks: mortality prediction and length of stay prediction. We show that our method can achieve better results than baselines, ensembling, and aggregation individually, and can improve the performance of large language models while handling long inputs and diverse datasets. We conduct extensive experiments on the admission notes from the MIMIC-III clinical database by combining multiple unstructured and high-dimensional datasets, demonstrating our method's effectiveness and superiority over existing approaches. We also provide a comprehensive analysis and discussion of our results, highlighting our method's applications and limitations for future research in the domain of clinical healthcare. The results and analysis of this study is supportive of our method assisting in clinical healthcare systems by enabling clinical decision-making with robust performance overcoming the challenges of long text inputs and varied datasets.


title: Sign-problem-free effective models of triangular lattice quantum antiferromagnets

abstract: The triangular lattice antiferromagnet with $S=1/2$ spins and nearest neighbor interactions is known to have long-range antiferromagnetic order, with nearest-neighbor spins at an angle of 120 degrees. Numerical studies of quantum phases proximate to this state have been limited to small systems because the of the sign-problem in Monte Carlo simulations in imaginary time. We propose an effective lattice model for quantum fluctuations of the antiferromagnetic order, and a sign-problem free Monte Carlo algorithm, enabling studies in large systems sizes. The model is a $\mathbb{Z}_2$ gauge theory coupled to gauge-charged scalars which have a relativistic dispersion in the continuum limit. Crucially, the gauge theory is odd, i.e. there is a static, background $\mathbb{Z}_2$ gauge charge on each site, accounting for the Berry phases of the half-odd-integer spins on each site. We present results of simulations on lattices of sizes up to $36 \times 36 \times 36$. Along with the antiferromagnetically ordered phase, our phase diagram has a valence bond solid state with a $\sqrt{12} \times \sqrt{12}$ unit cell, and a gapped $\mathbb{Z}_2$ spin liquid. Deconfined critical points or phases in intermediate regions are not ruled out by our present simulations.


title: Improving Fairness using Vision-Language Driven Image Augmentation

abstract: Fairness is crucial when training a deep-learning discriminative model, especially in the facial domain. Models tend to correlate specific characteristics (such as age and skin color) with unrelated attributes (downstream tasks), resulting in biases which do not correspond to reality. It is common knowledge that these correlations are present in the data and are then transferred to the models during training. This paper proposes a method to mitigate these correlations to improve fairness. To do so, we learn interpretable and meaningful paths lying in the semantic space of a pre-trained diffusion model (DiffAE) -- such paths being supervised by contrastive text dipoles. That is, we learn to edit protected characteristics (age and skin color). These paths are then applied to augment images to improve the fairness of a given dataset. We test the proposed method on CelebA-HQ and UTKFace on several downstream tasks with age and skin color as protected characteristics. As a proxy for fairness, we compute the difference in accuracy with respect to the protected characteristics. Quantitative results show how the augmented images help the model improve the overall accuracy, the aforementioned metric, and the disparity of equal opportunity. Code is available at: https://github.com/Moreno98/Vision-Language-Bias-Control.


title: Improving Lesion Segmentation in FDG-18 Whole-Body PET/CT scans using Multilabel approach: AutoPET II challenge

abstract: Automatic segmentation of lesions in FDG-18 Whole Body (WB) PET/CT scans using deep learning models is instrumental for determining treatment response, optimizing dosimetry, and advancing theranostic applications in oncology. However, the presence of organs with elevated radiotracer uptake, such as the liver, spleen, brain, and bladder, often leads to challenges, as these regions are often misidentified as lesions by deep learning models. To address this issue, we propose a novel approach of segmenting both organs and lesions, aiming to enhance the performance of automatic lesion segmentation methods. In this study, we assessed the effectiveness of our proposed method using the AutoPET II challenge dataset, which comprises 1014 subjects. We evaluated the impact of inclusion of additional labels and data in the segmentation performance of the model. In addition to the expert-annotated lesion labels, we introduced eight additional labels for organs, including the liver, kidneys, urinary bladder, spleen, lung, brain, heart, and stomach. These labels were integrated into the dataset, and a 3D UNET model was trained within the nnUNet framework. Our results demonstrate that our method achieved the top ranking in the held-out test dataset, underscoring the potential of this approach to significantly improve lesion segmentation accuracy in FDG-18 Whole-Body PET/CT scans, ultimately benefiting cancer patients and advancing clinical practice.


title: On the Convergence of Encoder-only Shallow Transformers

abstract: In this paper, we aim to build the global convergence theory of encoder-only shallow Transformers under a realistic setting from the perspective of architectures, initialization, and scaling under a finite width regime. The difficulty lies in how to tackle the softmax in self-attention mechanism, the core ingredient of Transformer. In particular, we diagnose the scaling scheme, carefully tackle the input/output of softmax, and prove that quadratic overparameterization is sufficient for global convergence of our shallow Transformers under commonly-used He/LeCun initialization in practice. Besides, neural tangent kernel (NTK) based analysis is also given, which facilitates a comprehensive comparison. Our theory demonstrates the separation on the importance of different scaling schemes and initialization. We believe our results can pave the way for a better understanding of modern Transformers, particularly on training dynamics.


title: Numerical Solution of the Non-polynomial Schr\"odinger Equation

abstract: Starting from the 3D Gross-Pitaevskii equation we revisit the dimensional reduction to an effective one-dimensional wave-equation that describes the longitudinal dynamics of a Bose condensate in an axially-symmetric external potential. Using a variational approach, Salasnich et al. introduced the non-polynomial Schr\"odinger equation (NPSE) which takes into account radial broadening of the wave function due to particle interactions. A closed form was derived by neglecting slow variation of the radial wave function along the longitudinal direction. We show that the full equation can efficiently be implemented using a time splitting spectral scheme coupled to a constraint equation. We confirm the validity of the approximation for experimentally relevant parameters. The corrections are found to be localized to regions of strong density gradients for which we highlight the differences through a number of numerical examples comparing the different 1D models.


title: Probing Stellar Populations and Interstellar Medium in Early-Type Central Galaxies

abstract: In this study, we analyse the characteristics of stellar populations and the interstellar medium (ISM) in 15,107 early-type central galaxies from the SPIDER survey. Using optical spectra from the Sloan Digital Sky Survey (SDSS), we investigate stellar age (Age), metallicity ($Z$), visual extinction ($A_{\rm V}$), and H$\alpha$ equivalent width (EWH$\alpha$) to understand the evolution of the baryonic content in these galaxies. Our analysis explores the relationship between these properties and central velocity dispersion ($\sigma$) and halo mass ($M_{\rm halo}$) for isolated centrals (ICs) and group centrals (GCs). Our results confirm that both ICs and GCs' stellar populations and gas properties are mainly influenced by $\sigma$, with $M_{\rm halo}$ playing a secondary role. Higher $\sigma$ values correspond to older, more metal-rich stellar populations in both ICs and GCs. Moreover, fixed $\sigma$ values we observe younger Ages at higher values of $M_{\rm halo}$, a consistent trend in both ICs and GCs. Furthermore, we investigate the ionisation source of the warm gas and propose a scenario where the properties of ionised gas are shaped by a combination of cooling within the intra-cluster medium (ICM) and feedback from Active Galactic Nuclei (AGN) assuming a Bondi accretion regime. We observe inherent differences between ICs and GCs, suggesting that the ratio between AGN kinetic power and ICM thermal energy influences EWH$\alpha$ in ICs. Meanwhile, gas deposition in GCs appears to involve a more complex interplay beyond a singular AGN-ICM interaction.


title: On Special Properties of Solutions to the Benjamin-Bona-Mahony Equation

abstract: This work is concerned with the Benjamin-Bona-Mahony equation. This model was deduced as an approximation to the Korteweg-de Vries equation in the description of unidirectional propagation of long waves. Our goal here is to study unique continuation and regularity properties on solutions to the associated initial value problem and initial periodic boundary value problems.


title: Generalized regular Tur\'an numbers

abstract: We combine two generalizations of ordinary Tur\'an problems. Given graphs $H$ and $F$ and a positive integer $n$, we study $rex(n, H, F )$, which is the largest number of copies of $H$ in $F$-free regular $n$-vertex graphs.


title: MetaReVision: Meta-Learning with Retrieval for Visually Grounded Compositional Concept Acquisition

abstract: Humans have the ability to learn novel compositional concepts by recalling and generalizing primitive concepts acquired from past experiences. Inspired by this observation, in this paper, we propose MetaReVision, a retrieval-enhanced meta-learning model to address the visually grounded compositional concept learning problem. The proposed MetaReVision consists of a retrieval module and a meta-learning module which are designed to incorporate retrieved primitive concepts as a supporting set to meta-train vision-anguage models for grounded compositional concept recognition. Through meta-learning from episodes constructed by the retriever, MetaReVision learns a generic compositional representation that can be fast updated to recognize novel compositional concepts. We create CompCOCO and CompFlickr to benchmark the grounded compositional concept learning. Our experimental results show that MetaReVision outperforms other competitive baselines and the retrieval module plays an important role in this compositional learning process.


title: Fast Many-to-Many Routing for Dynamic Taxi Sharing with Meeting Points

abstract: We introduce an improved algorithm for the dynamic taxi sharing problem, i.e. a dispatcher that schedules a fleet of shared taxis as it is used by services like UberXShare and Lyft Shared. We speed up the basic online algorithm that looks for all possible insertions of a new customer into a set of existing routes, we generalize the objective function, and we efficiently support a large number of possible pick-up and drop-off locations. This lays an algorithmic foundation for taxi sharing systems with higher vehicle occupancy - enabling greatly reduced cost and ecological impact at comparable service quality. We find that our algorithm computes assignments between vehicles and riders several times faster than a previous state-of-the-art approach. Further, we observe that allowing meeting points for vehicles and riders can reduce the operating cost of vehicle fleets by up to 15% while also reducing rider wait and trip times.


title: The $k$-visibility Localization Game

abstract: We study a variant of the Localization game in which the cops have limited visibility, along with the corresponding optimization parameter, the $k$-visibility localization number $\zeta_k$, where $k$ is a non-negative integer. We give bounds on $k$-visibility localization numbers related to domination, maximum degree, and isoperimetric inequalities. For all $k$, we give a family of trees with unbounded $\zeta_k$ values. Extending results known for the localization number, we show that for $k\geq 2$, every tree contains a subdivision with $\zeta_k = 1$. For many $n$, we give the exact value of $\zeta_k$ for the $n \times n$ Cartesian grid graphs, with the remaining cases being one of two values as long as $n$ is sufficiently large. These examples also illustrate that $\zeta_i \neq \zeta_j$ for all distinct choices of $i$ and $j.$


title: A time splitting spectral method for the Klein-Gordon-Maxwell system

abstract: We discuss a time-splitting spectral method for the solution of the Klein--Gordon--Maxwell system in quantum electrodynamics. The convergence in Hilbert space is proven theoretically and charge conservation is established. The theoretical order two for the Strang splitting is illustrated by numerical examples in 1D and 3D.


title: Secured Fiscal Credit Model: Multi-Agent Systems And Decentralized Autonomous Organisations For Tax Credit's Tracking

abstract: Tax incentives and fiscal bonuses have had a significant impact on the Italian economy over the past decade. In particular, the "Superbonus 110" tax relief in 2020, offering a generous 110% deduction for expenses related to energy efficiency improvements and seismic risk reduction in buildings, has played a pivotal role. However, the surge in construction activities has also brought about an unfortunate increase in fraudulent activities. To address this challenge, our research introduces a practical system for monitoring and managing the entire process of the Superbonus 110 tax credit, from its initiation to redemption. This system leverages artificial intelligence and blockchain technology to streamline tax credit management and incorporates controllers based on a Decentralised Autonomous Organisation architecture, bolstered by a Multi-agent System. The outcome of our work is a system capable of establishing a tokenomics framework that caters to the needs and functionalities of both investors and operators. Moreover, it features a robust control system to prevent inadvertent errors like double spending, overspending, and deceitful practices such as false claims of completed work. The collaborative approach between the Decentralised Autonomous Organisation and the Multi-agent System enhances trust and security levels among participants in a competitive environment where potential fraudsters might attempt to exploit the system. It also enables comprehensive tracking and monitoring of the entire Superbonus process. In the realm of engineering, our project represents an innovative fusion of blockchain technology and Multi-agent Systems, advancing the application of artificial intelligence. This integration guarantees the validation, recording, and execution of transactions with a remarkable level of trust and transparency.


title: Nonlinear Dirichlet forms associated with quasiregular mappings

abstract: If $({\cal E}, {\cal D})$ is a symmetric, regular, strongly local Dirichlet form on $L^2 (X,m)$, admitting a carr\'{e} du champ operator $\Gamma$, and $p>1$ is a real number, then one can define a nonlinear form ${\cal E}^p$ by the formula $$ {\cal E}^p(u,v) = \int_{X} \Gamma(u)^\frac{p-2}{2} \Gamma(u,v)dm , $$ where $u$, $v$ belong to an appropriate subspace of the domain ${\cal D}$. We show that ${\cal E}^p$ is a nonlinear Dirichlet form in the sense introduced by P. van Beusekom. We then construct the associated Choquet capacity. As a particular case we obtain the nonlinear form associated with the $p$-Laplace operator on $W_0^{1,p}$. Using the above procedure, for each $n$-dimensional quasiregular mapping $f$ we construct a nonlinear Dirichlet form ${\cal E}^n$ ($p=n$) such that the components of $f$ become harmonic functions with respect to ${\cal E}^n$. Finally, we obtain Caccioppoli type inequalities in the intrinsic metric induced by ${\cal E}$, for harmonic functions with respect to the form ${\cal E}^p$.


title: Dimension reduction for Nonlinear Schr\"odinger equations

abstract: We discuss mathematical methods to derive Nonlinear Schr\"odinger equations (NLS) in "low dimensional" settings, i.e. the 3-dimensional physical space e.g. to 2 or 1 space dimensions. Beside from the case the system exhibits an internal symmetry we consider the approaches of dimension reduction via confinement limits and the method of variation. We deal with 2 types of NLS: nonlocal nonlinearities like the Hartree equation, including the Schr\"odinger--Poisson system (SPS), and local nonlinearities like the Gross--Pitaevskii equation (GPE). Our theoretical considerations of dimension reduction get finally illustrated by numerical examples in a "quasi 1-d" setting.


title: Unitarity Bound on Dark Matter in Low-temperature Reheating Scenarios

abstract: Model-independent theoretical upper bound on the thermal dark matter (DM) mass can be derived from the maximum inelastic DM cross-section featuring the whole observed DM abundance. We deploy partial-wave unitarity of the scattering matrix to derive the maximal thermally-averaged cross section for general number-changing processes $r\to 2$ (with $r\ge 2$), which may involve standard model particles or occur solely within the dark sector. The usual upper limit on the DM mass for $s$-wave annihilation is around 130 TeV (1 GeV) for $r=2$ (3), only applies in the case of a freeze-out occurring in the standard cosmological scenario. We consider the effects of two nonstandard cosmological evolutions, characterized by low-temperature reheating: $i)$ a kination-like scenario and $ii)$ an early matter-dominated scenario. In the first case, early freeze-out strengthens the unitarity bound to a few TeVs for WIMPs; while in the second case, the WIMP DM can be as heavy as $\sim 10^{10}$ GeV due to a large entropy dilution.


title: Domain Adaptive Graph Neural Networks for Constraining Cosmological Parameters Across Multiple Data Sets

abstract: Deep learning models have been shown to outperform methods that rely on summary statistics, like the power spectrum, in extracting information from complex cosmological data sets. However, due to differences in the subgrid physics implementation and numerical approximations across different simulation suites, models trained on data from one cosmological simulation show a drop in performance when tested on another. Similarly, models trained on any of the simulations would also likely experience a drop in performance when applied to observational data. Training on data from two different suites of the CAMELS hydrodynamic cosmological simulations, we examine the generalization capabilities of Domain Adaptive Graph Neural Networks (DA-GNNs). By utilizing GNNs, we capitalize on their capacity to capture structured scale-free cosmological information from galaxy distributions. Moreover, by including unsupervised domain adaptation via Maximum Mean Discrepancy (MMD), we enable our models to extract domain-invariant features. We demonstrate that DA-GNN achieves higher accuracy and robustness on cross-dataset tasks (up to $28\%$ better relative error and up to almost an order of magnitude better $\chi^2$). Using data visualizations, we show the effects of domain adaptation on proper latent space data alignment. This shows that DA-GNNs are a promising method for extracting domain-independent cosmological information, a vital step toward robust deep learning for real cosmic survey data.


title: A Statistical Guarantee for Representation Transfer in Multitask Imitation Learning

abstract: Transferring representation for multitask imitation learning has the potential to provide improved sample efficiency on learning new tasks, when compared to learning from scratch. In this work, we provide a statistical guarantee indicating that we can indeed achieve improved sample efficiency on the target task when a representation is trained using sufficiently diverse source tasks. Our theoretical results can be readily extended to account for commonly used neural network architectures with realistic assumptions. We conduct empirical analyses that align with our theoretical findings on four simulated environments$\unicode{x2014}$in particular leveraging more data from source tasks can improve sample efficiency on learning in the new task.


title: Traveling wave solutions to the free boundary incompressible Navier-Stokes equations with Navier boundary conditions

abstract: In this paper we study traveling wave solutions to the free boundary incompressible Navier-Stokes system with generalized Navier-slip conditions. The fluid is assumed to occupy a horizontally infinite strip-like domain that is bounded below by a flat rigid surface and above by a moving surface. We assume that the fluid is acted upon by a bulk force and a surface stress that are stationary in a coordinate system moving parallel to the fluid bottom, and a uniform gravitational force that is perpendicular to the flat rigid surface. We construct our solutions via an implicit function argument, and show that as the slip parameter shrinks to zero, the Navier-slip solutions converge to solutions to the no-slip problem obtained previously.


title: Better Fair than Sorry: Adversarial Missing Data Imputation for Fair GNNs

abstract: This paper addresses the problem of learning fair Graph Neural Networks (GNNs) under missing protected attributes. GNNs have achieved state-of-the-art results in many relevant tasks where decisions might disproportionately impact specific communities. However, existing work on fair GNNs assumes that either protected attributes are fully-observed or that the missing data imputation is fair. In practice, biases in the imputation will be propagated to the model outcomes, leading them to overestimate the fairness of their predictions. We address this challenge by proposing Better Fair than Sorry (BFtS), a fair missing data imputation model for protected attributes used by fair GNNs. The key design principle behind BFtS is that imputations should approximate the worst-case scenario for the fair GNN -- i.e. when optimizing fairness is the hardest. We implement this idea using a 3-player adversarial scheme where two adversaries collaborate against the fair GNN. Experiments using synthetic and real datasets show that BFtS often achieves a better fairness $\times$ accuracy trade-off than existing alternatives.


title: A Model of Enclosures: Coordination, Conflict, and Efficiency in the Transformation of Land Property Rights

abstract: Historians and political economists have long debated the processes that led land in frontier regions, managed commons, and a variety of customary landholding regimes to be enclosed and transformed into more exclusive forms of private property. Using the framework of aggregative games, we examine land-holding regimes where access to land is established via possession and use, and then explore the factors that may initiate decentralized privatization processes. Factors including population density, potential for technology improvement, enclosure costs, shifts in group cohesion and bargaining power, or the policy and institutional environment determine the equilibrium mix of property regimes. While decentralized processes yield efficient enclosure and technological transformation in some circumstances, in others, the outcomes fall short of second-best. This stems from the interaction of different spillover effects, leading to inefficiently low rates of enclosure and technological transformation in some cases and excessive enclosure in others. Implementing policies to strengthen customary governance, compensate displaced stakeholders, or subsidize/tax enclosure can realign incentives. However, addressing one market failure while overlooking others can worsen outcomes. Our analysis offers a unified framework for evaluating claimed mechanisms and processes across Neoclassical, neo-institutional, and Marxian interpretations of enclosure processes.


title: VVV-WIT-12 and its fashionable nebula: a four year long period Young Stellar Object with a light echo?

abstract: We report the serendipitous discovery of VVV-WIT-12, an unusual variable source that seems to induce variability in its surrounding nebula. The source belongs to the rare objects that we call WITs (short for What Is This?) discovered within the VISTA Variables in the V\'ia L\'actea (VVV) survey. VVV-WIT-12 was discovered during a pilot search for light echoes from distant Supernovae (SNe) in the Milky Way using the near-IR images of the VVV survey. This source has an extremely red spectral energy distribution, consistent with a very reddened ($A_V \sim 100$ mag) long period variable star ($P\sim1525$ days). Furthermore, it is enshrouded in a nebula that changes brightness and color with time, apparently in synch with the central source variations. The near-IR light curve and complementary follow-up spectroscopy observations are consistent with a variable Young Stellar Object (YSO) illuminating its surrounding nebula. In this case the source periodic variation along the cycles produces an unprecedented light echo in the different regions of the nebula.


title: Intelligent QoS aware slice resource allocation with user association parameterization for beyond 5G ORAN based architecture using DRL

abstract: The diverse requirements of beyond 5G services increase design complexity and demand dynamic adjustments to the network parameters. This can be achieved with slicing and programmable network architectures such as the open radio access network (ORAN). It facilitates the tuning of the network components exactly to the demands of future-envisioned applications as well as intelligence at the edge of the network. Artificial intelligence (AI) has recently drawn a lot of interest for its potential to solve challenging issues in wireless communication. Due to the non-deterministic, random, and complex behavior of models and parameters involved in the process, radio resource management is one of the topics that needs to be addressed with such techniques. The study presented in this paper proposes quality of service (QoS)-aware intra-slice resource allocation that provides superior performance compared to baseline and state of the art strategies. The slice-dedicated intelligent agents learn how to handle resources at near-RT RIC level time granularities while optimizing various key performance indicators (KPIs) and meeting QoS requirements for each end user. In order to improve KPIs and system performance with various reward functions, the study discusses Markov's decision process (MDP) and deep reinforcement learning (DRL) techniques, notably the deep Q network (DQN). The simulation evaluates the efficacy of the algorithm under dynamic conditions and various network characteristics. Results and analysis demonstrate the improvement in the performance of the network for enhanced mobile broadband (eMBB) and ultra-reliable low latency (URLLC) slice categories.


title: Boundary conditions for Ashtekar-Barbero variables in the context of asymptotically flat spacetimes which lead to supertranslations at spatial infinity

abstract: This paper delves into the exploration of suitable boundary conditions for the asymptotically flat scenario of general relativity presented in terms of Ashtekar-Barbero variables. While the standard parity conditions have been extensively studied in \cite{Thiemann, Campiglia}, it turns out that they fail to produce non-trivial supertranslations at spatial infinity. We propose new parity conditions for the Ashtekar-Barbero variables that do yield non-trivial supertranslation charges at spatial infinity. We compare our findings with those presented in \cite{Henneaux} and demonstrate that the new boundary conditions ensure the finiteness of the symplectic structure. Moreover, when embarking on the quest for appropriate parity conditions, it is essential to ensure that the selected parities remain invariant under hypersurface deformations. Given that working with Ashtekar-Barbero variables provides more asymptotic structure as compared to the ADM variables, it is shown that by fixing the Lagrange multiplier corresponding to the Gauss constraint, the invariance of certain parity conditions can be guaranteed.


title: Local Bayesian Dirichlet mixing of imperfect models

abstract: To improve the predictability of complex computational models in the experimentally-unknown domains, we propose a Bayesian statistical machine learning framework utilizing the Dirichlet distribution that combines results of several imperfect models. This framework can be viewed as an extension of Bayesian stacking. To illustrate the method, we study the ability of Bayesian model averaging and mixing techniques to mine nuclear masses. We show that the global and local mixtures of models reach excellent performance on both prediction accuracy and uncertainty quantification and are preferable to classical Bayesian model averaging. Additionally, our statistical analysis indicates that improving model predictions through mixing rather than mixing of corrected models leads to more robust extrapolations.


title: Vertical Decomposition in 3D and 4D with Applications to Line Nearest-Neighbor Searching in 3D

abstract: Vertical decomposition is a widely used general technique for decomposing the cells of arrangements of semi-algebraic sets in $d$-space into constant-complexity subcells. In this paper, we settle in the affirmative a few long-standing open problems involving the vertical decomposition of substructures of arrangements for $d=3,4$: (i) Let $\mathcal{S}$ be a collection of $n$ semi-algebraic sets of constant complexity in 3D, and let $U(m)$ be an upper bound on the complexity of the union $\mathcal{U}(\mathcal{S}')$ of any subset $\mathcal{S}'\subseteq \mathcal{S}$ of size at most $m$. We prove that the complexity of the vertical decomposition of the complement of $\mathcal{U}(\mathcal{S})$ is $O^*(n^2+U(n))$ (where the $O^*(\cdot)$ notation hides subpolynomial factors). We also show that the complexity of the vertical decomposition of the entire arrangement $\mathcal{A}(\mathcal{S})$ is $O^*(n^2+X)$, where $X$ is the number of vertices in $\mathcal{A}(\mathcal{S})$. (ii) Let $\mathcal{F}$ be a collection of $n$ trivariate functions whose graphs are semi-algebraic sets of constant complexity. We show that the complexity of the vertical decomposition of the portion of the arrangement $\mathcal{A}(\mathcal{F})$ in 4D lying below the lower envelope of $\mathcal{F}$ is $O^*(n^3)$. These results lead to efficient algorithms for a variety of problems involving these decompositions, including algorithms for constructing the decompositions themselves, and for constructing $(1/r)$-cuttings of substructures of arrangements of the kinds considered above. One additional algorithm of interest is for output-sensitive point enclosure queries amid semi-algebraic sets in three or four dimensions. In addition, as a main domain of applications, we study various proximity problems involving points and lines in 3D.


title: CiFlow: Dataflow Analysis and Optimization of Key Switching for Homomorphic Encryption

abstract: Homomorphic encryption (HE) is a privacy-preserving computation technique that enables computation on encrypted data. Today, the potential of HE remains largely unrealized as it is impractically slow, preventing it from being used in real applications. A major computational bottleneck in HE is the key-switching operation, accounting for approximately 70% of the overall HE execution time and involving a large amount of data for inputs, intermediates, and keys. Prior research has focused on hardware accelerators to improve HE performance, typically featuring large on-chip SRAMs and high off-chip bandwidth to deal with large scale data. In this paper, we present a novel approach to improve key-switching performance by rigorously analyzing its dataflow. Our primary goal is to optimize data reuse with limited on-chip memory to minimize off-chip data movement. We introduce three distinct dataflows: Max-Parallel (MP), Digit-Centric (DC), and Output-Centric (OC), each with unique scheduling approaches for key-switching computations. Through our analysis, we show how our proposed Output-Centric technique can effectively reuse data by significantly lowering the intermediate key-switching working set and alleviating the need for massive off-chip bandwidth. We thoroughly evaluate the three dataflows using the RPU, a recently published vector processor tailored for ring processing algorithms, which includes HE. This evaluation considers sweeps of bandwidth and computational throughput, and whether keys are buffered on-chip or streamed. With OC, we demonstrate up to 4.16x speedup over the MP dataflow and show how OC can save 12.25x on-chip SRAM by streaming keys for minimal performance penalty.


title: Local Borsuk-Ulam, Stability, and Replicability

abstract: We use and adapt the Borsuk-Ulam Theorem from topology to derive limitations on list-replicable and globally stable learning algorithms. We further demonstrate the applicability of our methods in combinatorics and topology. We show that, besides trivial cases, both list-replicable and globally stable learning are impossible in the agnostic PAC setting. This is in contrast with the realizable case where it is known that any class with a finite Littlestone dimension can be learned by such algorithms. In the realizable PAC setting, we sharpen previous impossibility results and broaden their scope. Specifically, we establish optimal bounds for list replicability and global stability numbers in finite classes. This provides an exponential improvement over previous works and implies an exponential separation from the Littlestone dimension. We further introduce lower bounds for weak learners, i.e., learners that are only marginally better than random guessing. Lower bounds from previous works apply only to stronger learners. To offer a broader and more comprehensive view of our topological approach, we prove a local variant of the Borsuk-Ulam theorem in topology and a result in combinatorics concerning Kneser colorings. In combinatorics, we prove that if $c$ is a coloring of all non-empty subsets of $[n]$ such that disjoint sets have different colors, then there is a chain of subsets that receives at least $1+ \lfloor n/2\rfloor$ colors (this bound is sharp). In topology, we prove e.g. that for any open antipodal-free cover of the $d$-dimensional sphere, there is a point $x$ that belongs to at least $t=\lceil\frac{d+3}{2}\rceil$ sets.


title: Security Proof for Variable-Length Quantum Key Distribution

abstract: We present a security proof for variable-length QKD in the Renner framework against IID collective attacks. Our proof can be lifted to coherent attacks using the postselection technique. Our first main result is a theorem to convert a series of security proofs for fixed-length protocols satisfying certain conditions to a security proof for a variable-length protocol. This conversion requires no new calculations, does not require any changes to the final key lengths or the amount of error-correction information, and at most doubles the security parameter. Our second main result is the description and security proof of a more general class of variable-length QKD protocols, which does not require characterizing the honest behaviour of the channel connecting the users before the execution of the QKD protocol. Instead, these protocols adaptively determine the length of the final key, and the amount of information to be used for error-correction, based upon the observations made during the protocol. We apply these results to the qubit BB84 protocol, and show that variable-length implementations lead to higher expected key rates than the fixed-length implementations.


title: On the Electride Nature of Na-hP4

abstract: Early quantum mechanical models suggested that pressure drives solids towards free-electron metal behavior where the ions are locked into simple close-packed structures. The prediction and subsequent discovery of high-pressure electrides (HPEs), compounds assuming open structures where the valence electrons are localized in interstitial voids, required a paradigm shift. Our quantum chemical calculations on the iconic insulating Na-hP4 HPE show that increasing density causes a 3s -> 3pd electronic transition due to Coulomb repulsion between the 1s2s and 3s states, and orthogonality of the 3pd states to the core. The large lobes of the resulting Na-pd hybrid orbitals point towards the center of an 11-membered penta-capped trigonal prism and overlap constructively, forming multi-centered bonds, which are responsible for the emergence of the interstitial charge localization in Na-hP4. These multi-centered bonds facilitate the increased density of this phase, which is key for its stabilization under pressure.


title: DRNet: A Decision-Making Method for Autonomous Lane Changingwith Deep Reinforcement Learning

abstract: Machine learning techniques have outperformed numerous rule-based methods for decision-making in autonomous vehicles. Despite recent efforts, lane changing remains a major challenge, due to the complex driving scenarios and changeable social behaviors of surrounding vehicles. To help improve the state of the art, we propose to leveraging the emerging \underline{D}eep \underline{R}einforcement learning (DRL) approach for la\underline{NE} changing at the \underline{T}actical level. To this end, we present "DRNet", a novel and highly efficient DRL-based framework that enables a DRL agent to learn to drive by executing reasonable lane changing on simulated highways with an arbitrary number of lanes, and considering driving style of surrounding vehicles to make better decisions. Furthermore, to achieve a safe policy for decision-making, DRNet incorporates ideas from safety verification, the most important component of autonomous driving, to ensure that only safe actions are chosen at any time. The setting of our state representation and reward function enables the trained agent to take appropriate actions in a real-world-like simulator. Our DRL agent has the ability to learn the desired task without causing collisions and outperforms DDQN and other baseline models.


title: Analysis of distributional Riemann curvature tensor in any dimension

abstract: In this paper we propose a definition of the distributional Riemann curvature tensor in dimension $N\geq 2$ if the underlying metric tensor $g$ defined on a triangulation $\mathcal{T}$ possesses only single-valued tangential-tangential components on codimension 1 simplices. We analyze the convergence of the curvature approximation in the $H^{-2}$-norm if a sequence of interpolants $g_h$ of polynomial order $k\geq 0$ of a smooth metric $g$ is given. We show that for dimension $N=2$ convergence rates of order $\mathcal{O}(h^{k+1})$ are obtained. For $N\geq 3$ convergence holds only in the case $k\geq 1$. Numerical examples demonstrate that our theoretical results are sharp. By choosing appropriate test functions we show that the distributional Gauss and scalar curvature in 2D respectively any dimension are obtained. Further, a first definition of the distributional Ricci curvature tensor in arbitrary dimension is derived, for which our analysis is applicable.


title: Orbital-optimized versus time-dependent density functional calculations of intramolecular charge transfer excited states

abstract: The performance of time-independent, orbital optimized calculations of excited states is assessed with respect to charge transfer excitations in organic molecules in comparison to the linear-response time-dependent density functional theory (TD-DFT) approach. A direct optimization method to converge on saddle points of the electronic energy surface is used to carry out calculations with the local density approximation (LDA) and the generalized gradient approximation (GGA) functionals PBE and BLYP for a set of 27 excitations in 15 molecules. The time-independent approach is fully variational and provides a relaxed excited state electron density from which the extent of charge transfer is quantified. The TD-DFT calculations are generally found to provide larger charge transfer distances compared to the orbital optimized calculations, even when including orbital relaxation effects with the Z-vector method. While the error on the excitation energy relative to theoretical best estimates is found to increase with the extent of charge transfer up to ca. $-2$ eV for TD-DFT, no correlation is observed for the orbital optimized approach. The orbital optimized calculations with the LDA and the GGA functionals provide a mean absolute error of $\sim$0.7 eV, outperforming TD-DFT with both local and global hybrid functionals for excitations with long-range charge transfer character. Orbital optimized calculations with the global hybrid functional B3LYP and the range-separated hybrid functional CAM-B3LYP on a selection of states with short- and long-range charge transfer indicate that inclusion of exact exchange has a small effect on the charge transfer distance, while it significantly improves the excitation energy, with the best performing functional CAM-B3LYP providing an absolute error typically around 0.15 eV.


title: Faithful and Robust Local Interpretability for Textual Predictions

abstract: Interpretability is essential for machine learning models to be trusted and deployed in critical domains. However, existing methods for interpreting text models are often complex, lack mathematical foundations, and their performance is not guaranteed. In this paper, we propose FRED (Faithful and Robust Explainer for textual Documents), a novel method for interpreting predictions over text. FRED offers three key insights to explain a model prediction: (1) it identifies the minimal set of words in a document whose removal has the strongest influence on the prediction, (2) it assigns an importance score to each token, reflecting its influence on the model's output, and (3) it provides counterfactual explanations by generating examples similar to the original document, but leading to a different prediction. We establish the reliability of FRED through formal definitions and theoretical analyses on interpretable classifiers. Additionally, our empirical evaluation against state-of-the-art methods demonstrates the effectiveness of FRED in providing insights into text models.


title: KG-FRUS: a Novel Graph-based Dataset of 127 Years of US Diplomatic Relations

abstract: In the current paper, we present the KG-FRUS dataset, comprised of more than 300,000 US government diplomatic documents encoded in a Knowledge Graph (KG). We leverage the data of the Foreign Relations of the United States (FRUS) (available as XML files) to extract information about the documents and the individuals and countries mentioned within them. We use the extracted entities, and associated metadata, to create a graph-based dataset. Further, we supplement the created KG with additional entities and relations from Wikidata. The relations in the KG capture the synergies and dynamics required to study and understand the complex fields of diplomacy, foreign relations, and politics. This goes well beyond a simple collection of documents which neglects the relations between entities in the text. We showcase a range of possibilities of the current dataset by illustrating different approaches to probe the KG. In the paper, we exemplify how to use a query language to answer simple research questions and how to use graph algorithms such as Node2Vec and PageRank, that benefit from the complete graph structure. More importantly, the chosen structure provides total flexibility for continuously expanding and enriching the graph. Our solution is general, so the proposed pipeline for building the KG can encode other original corpora of time-dependent and complex phenomena. Overall, we present a mechanism to create KG databases providing a more versatile representation of time-dependent related text data and a particular application to the all-important FRUS database.


title: Controllable single spin evolution at sub-harmonics of electric dipole spin resonance enhanced by four-level Landau-Zener-St{\"u}ckelberg-Majorana interference

abstract: Sub-harmonics of electric dipole spin resonance (EDSR) mediated by Landau-Zener-St{\"u}ckelberg-Majorana (LZSM) tunneling transitions are studied numerically and analytically in a Zeeman-split four level system with strong spin-orbit coupling that can be realized, for example, in a GaAs-based double quantum dot in a single-hole regime. The spin qubit is formed in one of the dots and the second dot is used as an auxiliary element to enhance functionality of the spin qubit. In particular, it is found that the spin rotation rate can be essentially enhanced due to the tunnel coupling with the auxiliary dot on both the main EDSR frequency and at its high sub-harmonics allowing the coherent spin $\pi$-rotations on a 10-ns time scale. Spin manipulation on high sub-harmonics is promising for new time-efficient schemes of the spin control and readout in qubit devices operating at high magnetic fields where the main harmonic is inaccessible due to hardware limitations.


title: Realization of saturated transfer systems on cyclic groups of order $p^nq^m$ by linear isometries $N_\infty$-operads

abstract: We prove a new case of Rubin's saturation conjecture about the realization of $G$-transfer systems, for $G$ a finite cyclic group, by linear isometries $N_\infty$-operads, namely the case of cyclic groups of order $p^nq^m$ for $p,q$ distinct primes and $n,m\in \mathbb{N}$.


title: Responsible Emergent Multi-Agent Behavior

abstract: Responsible AI has risen to the forefront of the AI research community. As neural network-based learning algorithms continue to permeate real-world applications, the field of Responsible AI has played a large role in ensuring that such systems maintain a high-level of human-compatibility. Despite this progress, the state of the art in Responsible AI has ignored one crucial point: human problems are multi-agent problems. Predominant approaches largely consider the performance of a single AI system in isolation, but human problems are, by their very nature, multi-agent. From driving in traffic to negotiating economic policy, human problem-solving involves interaction and the interplay of the actions and motives of multiple individuals. This dissertation develops the study of responsible emergent multi-agent behavior, illustrating how researchers and practitioners can better understand and shape multi-agent learning with respect to three pillars of Responsible AI: interpretability, fairness, and robustness. First, I investigate multi-agent interpretability, presenting novel techniques for understanding emergent multi-agent behavior at multiple levels of granularity. With respect to low-level interpretability, I examine the extent to which implicit communication emerges as an aid to coordination in multi-agent populations. I introduce a novel curriculum-driven method for learning high-performing policies in difficult, sparse reward environments and show through a measure of position-based social influence that multi-agent teams that learn sophisticated coordination strategies exchange significantly more information through implicit signals than lesser-coordinated agents. Then, at a high-level, I study concept-based interpretability in the context of multi-agent learning. I propose a novel method for learning intrinsically interpretable, concept-based policies and show that it enables...


title: Stabilization of codimension of persistence barcodes

abstract: Persistent homology has become a ubiquitous tool in topological data analysis. Throughout this paper, we consider persistent homology of a fixed dataset which is assumed to be a point cloud in a Euclidean space. Further, we use the Rips construction for computation of persistent homology which, in our setup, takes as a parameter a step size $h$. For a fixed $h$, one important data visualization for the persistent homology is the persistence barcode. From another point of view, each persistence barcode corresponds to a specific isomorphism class of quiver representations of an equioriented A-type Dynkin quiver. Using algebro-geometric facts regarding type-A quiver representations, we define the codimension of a persistence barcode as the codimension of the corresponding isomorphism class in the space of all quiver representations. Further, we prove a new formula for the codimension and, as an application we prove that for a fixed dataset, the value of the codimension of the persistence barcode stabilizes as the step size parameter tends to zero. As a consequence, we define a new topological statistic for a dataset which we call the quiver codimension of the dataset, and which is equal to the stabilized value of the barcode codimensions.


title: Pseudorandomness of the Schr\"odinger map equation

abstract: We present the random behaviour of the Schr\"odinger map equation, a geometric partial differential equation, by considering its evolution for regular polygonal curves in both Euclidean and hyperbolic spaces. The results obtained are consistent with those for the vortex filament equation, an equivalent form of the Schr\"odinger map equation in the Euclidean space, and thus, provide a novel extension to its usefulness as a pseudorandom number generator.


title: A functional model of a class of symmetric semi-bounded operators

abstract: Let $L_0$ be a closed symmetric positive definite operator with nonzero defect indices $n_\pm(L_0)$ in a separable Hilbert space ${\mathscr H}$. It determines a family of dynamical systems $\alpha^T$, $T>0$, of the form \begin{align*} & u"(t)+L_0^*u(t) = 0 && {\rm in}\,\,\,{{\mathscr H}}, \,\,\,0<t<T,\\ & u(0)=u'(0)=0 && {\rm in}\,\,\,{{\mathscr H}},\\ & \Gamma_1 u(t) = f(t), &&0\leqslant t \leqslant T, \end{align*} where $\{{\mathscr H};\Gamma_1,\Gamma_2\}$ ($\Gamma_{1,2}:{\mathscr H}\to{\rm Ker\,} L_0^*$) is the canonical (Vishik) boundary triple for $L_0$, $f$ is a boundary control (${\rm Ker\,} L_0^*$-valued function of $t$) and $u=u^f(t)$ is the solution (trajectory). Let $L_0$ be completely non-self-adjoint and $n_\pm(L_0)=1$, so that $f(t)=\phi(t)e$ with a scalar function $\phi\in {L_2(0,T)}$ and $e\in{\rm Ker\,} L_0^*$. Let the map $W^T: \phi\mapsto u^f(T)$ be such that $C^T=(W^T)^*W^T=\mathbb I+K^T$ with an integral operator $K^T$ in ${L_2(0,T)}$ which has a smooth kernel. Assume that $C^T$ an isomorphism in ${L_2(0,T)}$ for all $T>0$. We show that under these assumptions the operator $L_0$ is unitarily equivalent to the minimal Schr\"{o}dinger operator $S_0=-D^2+q$ in ${L_2(0,\infty)}$ with a smooth real-valued potential $q$, which is in the limit point case at infinity. It is also proved that $S_0$ provides a canonical wave model of $L_0$.


title: Developing predictions for pion fragmentation functions

abstract: Exploiting crossing symmetry, the hadron scale pion valence quark distribution function is used to predict the kindred elementary valence quark fragmentation function (FF). This function defines the kernel of a quark jet fragmentation equation, which is solved to obtain the full pion FFs. After evolution to a scale typical of FF fits to data, the results for quark FFs are seen to compare favourably with such fits. However, the gluon FF is markedly different. Notably, although FF evolution equations do not themselves guarantee momentum conservation, inclusion of a gluon FF which, for four quark flavours, distributes roughly 11% of the total light-front momentum fraction, is sufficient to restore momentum conservation under evolution. Overall, significant uncertainty is attached to FFs determined via fits to data; hence, the features of the predictions described herein could potentially provide useful guidance for future such studies.


title: Alleviating the Curse of Dimensionality in Minkowski Sum Approximations of Storage Flexibility

abstract: Many real-world applications require the joint optimization of a large number of flexible devices over time. The flexibility of, e.g., multiple batteries, thermostatically controlled loads, or electric vehicles can be used to support grid operation and to reduce operation costs. Using piecewise constant power values, the flexibility of each device over $d$ time periods can be described as a polytopic subset in power space. The aggregated flexibility is given by the Minkowski sum of these polytopes. As the computation of Minkowski sums is in general demanding, several approximations have been proposed in the literature. Yet, their application potential is often objective-dependent and limited by the curse of dimensionality. We show that up to $2^d$ vertices of each polytope can be computed efficiently and that the convex hull of their sums provides a computationally efficient inner approximation of the Minkowski sum. Via an extensive simulation study, we illustrate that our approach outperforms ten state-of-the-art inner approximations in terms of computational complexity and accuracy for different objectives. Moreover, we propose an efficient disaggregation method applicable to any vertex-based approximation. The proposed methods provide an efficient means to aggregate and to disaggregate energy storages in quarter-hourly periods over an entire day with reasonable accuracy for aggregated cost and for peak power optimization.


title: FLAP: Fast Language-Audio Pre-training

abstract: We propose Fast Language-Audio Pre-training (FLAP), a self-supervised approach that efficiently and effectively learns aligned audio and language representations through masking, contrastive learning and reconstruction. For efficiency, FLAP randomly drops audio spectrogram tokens, focusing solely on the remaining ones for self-supervision. Through inter-modal contrastive learning, FLAP learns to align paired audio and text representations in a shared latent space. Notably, FLAP leverages multiple augmented views via masking for inter-modal contrast and learns to reconstruct the masked portion of audio tokens. Moreover, FLAP leverages large language models (LLMs) to augment the text inputs, contributing to improved performance. These approaches lead to more robust and informative audio-text representations, enabling FLAP to achieve state-of-the-art (SoTA) performance on audio-text retrieval tasks on AudioCaps (achieving 53.0% R@1) and Clotho (achieving 25.5% R@1).


title: Adapting Frechet Audio Distance for Generative Music Evaluation

abstract: The growing popularity of generative music models underlines the need for perceptually relevant, objective music quality metrics. The Frechet Audio Distance (FAD) is commonly used for this purpose even though its correlation with perceptual quality is understudied. We show that FAD performance may be hampered by sample size bias, poor choice of audio embeddings, or the use of biased or low-quality reference sets. We propose reducing sample size bias by extrapolating scores towards an infinite sample size. Through comparisons with MusicCaps labels and a listening test we identify audio embeddings and music reference sets that yield FAD scores well-correlated with acoustic and musical quality. Our results suggest that per-song FAD can be useful to identify outlier samples and predict perceptual quality for a range of music sets and generative models. Finally, we release a toolkit that allows adapting FAD for generative music evaluation.


title: Look-Ahead Selective Plasticity for Continual Learning of Visual Tasks

abstract: Contrastive representation learning has emerged as a promising technique for continual learning as it can learn representations that are robust to catastrophic forgetting and generalize well to unseen future tasks. Previous work in continual learning has addressed forgetting by using previous task data and trained models. Inspired by event models created and updated in the brain, we propose a new mechanism that takes place during task boundaries, i.e., when one task finishes and another starts. By observing the redundancy-inducing ability of contrastive loss on the output of a neural network, our method leverages the first few samples of the new task to identify and retain parameters contributing most to the transfer ability of the neural network, freeing up the remaining parts of the network to learn new features. We evaluate the proposed methods on benchmark computer vision datasets including CIFAR10 and TinyImagenet and demonstrate state-of-the-art performance in the task-incremental, class-incremental, and domain-incremental continual learning scenarios.


title: Binary planet formation through tides

abstract: The search for satellites around exoplanets represents one of the greatest challenges in advancing the characterization of planetary systems. Currently, we can only detect massive satellites, which resemble additional planetary companions rather than rocky moons. It is not yet well understood whether such substellar pairs, known as binary planets, are common or how they form. In this study, we investigated the formation scenario for binary planets resulting from tidal dissipation during close encounters in the gravitational instability scenario. We conducted seven sets of simulations, varying the number of initial planets injected into the system from two to five, as well as the amount of energy lost due to tides. Our results demonstrate that this formation mechanism is quite efficient in producing binary planets, with an average occurrence rate for the simulated systems of 14.3%. Additionally, we present the distribution of relevant physical parameters (semi-major axis, eccentricity, mass ratios, and formation time) for planet-planet pairs. We also provide comprehensive statistics for single planets and planet-planet pairs.


title: InsPLAD: A Dataset and Benchmark for Power Line Asset Inspection in UAV Images

abstract: Power line maintenance and inspection are essential to avoid power supply interruptions, reducing its high social and financial impacts yearly. Automating power line visual inspections remains a relevant open problem for the industry due to the lack of public real-world datasets of power line components and their various defects to foster new research. This paper introduces InsPLAD, a Power Line Asset Inspection Dataset and Benchmark containing 10,607 high-resolution Unmanned Aerial Vehicles colour images. The dataset contains seventeen unique power line assets captured from real-world operating power lines. Additionally, five of those assets present six defects: four of which are corrosion, one is a broken component, and one is a bird's nest presence. All assets were labelled according to their condition, whether normal or the defect name found on an image level. We thoroughly evaluate state-of-the-art and popular methods for three image-level computer vision tasks covered by InsPLAD: object detection, through the AP metric; defect classification, through Balanced Accuracy; and anomaly detection, through the AUROC metric. InsPLAD offers various vision challenges from uncontrolled environments, such as multi-scale objects, multi-size class instances, multiple objects per image, intra-class variation, cluttered background, distinct point-of-views, perspective distortion, occlusion, and varied lighting conditions. To the best of our knowledge, InsPLAD is the first large real-world dataset and benchmark for power line asset inspection with multiple components and defects for various computer vision tasks, with a potential impact to improve state-of-the-art methods in the field. It will be publicly available in its integrity on a repository with a thorough description. It can be found at https://github.com/andreluizbvs/InsPLAD.


title: ACQUIRED: A Dataset for Answering Counterfactual Questions In Real-Life Videos

abstract: Multimodal counterfactual reasoning is a vital yet challenging ability for AI systems. It involves predicting the outcomes of hypothetical circumstances based on vision and language inputs, which enables AI models to learn from failures and explore hypothetical scenarios. Despite its importance, there are only a few datasets targeting the counterfactual reasoning abilities of multimodal models. Among them, they only cover reasoning over synthetic environments or specific types of events (e.g. traffic collisions), making them hard to reliably benchmark the model generalization ability in diverse real-world scenarios and reasoning dimensions. To overcome these limitations, we develop a video question answering dataset, ACQUIRED: it consists of 3.9K annotated videos, encompassing a wide range of event types and incorporating both first and third-person viewpoints, which ensures a focus on real-world diversity. In addition, each video is annotated with questions that span three distinct dimensions of reasoning, including physical, social, and temporal, which can comprehensively evaluate the model counterfactual abilities along multiple aspects. We benchmark our dataset against several state-of-the-art language-only and multimodal models and experimental results demonstrate a significant performance gap (>13%) between models and humans. The findings suggest that multimodal counterfactual reasoning remains an open challenge and ACQUIRED is a comprehensive and reliable benchmark for inspiring future research in this direction.


title: Spin-orbit-lattice entangled state in A$_2$MgReO$_6$ (A = Ca, Sr, Ba) revealed by resonant inelastic X-ray scattering

abstract: The $5d^1$ ordered double perovskites present an exotic playground for studying novel multi-polar physics due to large spin-orbit coupling. We present Re L3 edge resonant inelastic X-ray scattering (RIXS) results that reveal the presence of the dynamic Jahn-Teller effect in the A$_2$MgReO$_6$ (A = Ca, Sr, Ba) family of $5d^1$ double perovskites. The spin-orbit excitations in these materials show a strongly asymmetric lineshape and exhibit substantial temperature dependence, indicating that they are dressed with lattice vibrations. Our experimental results are explained quantitatively through a RIXS calculation based on a spin-orbit-lattice entangled electronic ground state with the dynamic Jahn-Teller effect taken into consideration. We find that the spin-orbit-lattice entangled state is robust against magnetic and structural phase transitions as well as against significant static Jahn-Teller distortions. Our results illustrate the importance of including vibronic coupling for a complete description of the ground state physics of $5d^1$ double perovskites. Usage: Secondary publications and information retrieval purposes.


title: Focal-plane wavefront sensing with photonic lanterns II: numerical characterization and optimization

abstract: We present numerical characterizations of the wavefront sensing performance for few-mode photonic lantern wavefront sensors (PLWFSs). These characterizations include calculations of throughput, control space, sensor linearity, and an estimate of maximum linear reconstruction range for standard and hybrid lanterns with 3 to 19 ports, at a wavelength of 1550 nm. We additionally consider the impact of beam-shaping optics and a charge-1 vortex mask, placed in the pupil plane. The former is motivated by the application of PLs to high-resolution spectroscopy, which could enable efficient injection into the spectrometer along with simultaneous focal-plane wavefront sensing; similarly, the latter is motivated by the application of PLs to vortex fiber nulling (VFN), which can simultaneously enable wavefront sensing and the nulling of on-axis starlight. Overall, we find that the PLWFS setups tested in this work exhibit good linearity out to ~0.25-0.5 radians of RMS wavefront error (WFE). Meanwhile, we estimate the maximum amount of WFE that can be handled by these sensors, before the sensor response becomes degenerate, to be around ~1-2 radians RMS. In the future, we expect these limits can be pushed further by increasing the number of degrees of freedom, either by adopting higher-mode-count lanterns, dispersing lantern outputs, or separating polarizations. Lastly, we consider optimization strategies for the design of the PLWFS, which involve both modification of the lantern itself and the use of pre- and post-lantern optics like phase masks and interferometric beam recombiners.


title: VQPy: An Object-Oriented Approach to Modern Video Analytics

abstract: Video analytics is widely used in contemporary systems and services. At the forefront of video analytics are video queries that users develop to find objects of particular interest. Building upon the insight that video objects (e.g., human, animals, cars, etc.), the center of video analytics, are similar in spirit to objects modeled by traditional object-oriented languages, we propose to develop an object-oriented approach to video analytics. This approach, named VQPy, consists of a frontend$\unicode{x2015}$a Python variant with constructs that make it easy for users to express video objects and their interactions$\unicode{x2015}$as well as an extensible backend that can automatically construct and optimize pipelines based on video objects. We have implemented and open-sourced VQPy, which has been productized in Cisco as part of its DeepVision framework.


title: Attention based Dual-Branch Complex Feature Fusion Network for Hyperspectral Image Classification

abstract: This research work presents a novel dual-branch model for hyperspectral image classification that combines two streams: one for processing standard hyperspectral patches using Real-Valued Neural Network (RVNN) and the other for processing their corresponding Fourier transforms using Complex-Valued Neural Network (CVNN). The proposed model is evaluated on the Pavia University and Salinas datasets. Results show that the proposed model outperforms state-of-the-art methods in terms of overall accuracy, average accuracy, and Kappa. Through the incorporation of Fourier transforms in the second stream, the model is able to extract frequency information, which complements the spatial information extracted by the first stream. The combination of these two streams improves the overall performance of the model. Furthermore, to enhance the model performance, the Squeeze and Excitation (SE) mechanism has been utilized. Experimental evidence show that SE block improves the models overall accuracy by almost 1\%.


title: Topological inference on brain networks across subtypes of post-stroke aphasia

abstract: Persistent homology (PH) characterizes the shape of brain networks through the persistence features. Group comparison of persistence features from brain networks can be challenging as they are inherently heterogeneous. A recent scale-space representation of persistence diagram (PD) through heat diffusion reparameterizes using the finite number of Fourier coefficients with respect to the Laplace-Beltrami (LB) eigenfunction expansion of the domain, which provides a powerful vectorized algebraic representation for group comparisons of PDs. In this study, we advance a transposition-based permutation test for comparing multiple groups of PDs through the heat-diffusion estimates of the PDs. We evaluate the empirical performance of the spectral transposition test in capturing within- and between-group similarity and dissimilarity with respect to statistical variation of topological noise and hole location. We also illustrate how the method extends naturally into a clustering scheme by subtyping individuals with post-stroke aphasia through the PDs of their resting-state functional brain networks.


title: A quadratic lower bound for the number of minimal geodesics

abstract: A minimal geodesic on a Riemannian manifold is a geodesic defined on $\mathbb{R}$ that lifts to a globally distance minimizing curve on the universal covering. Bangert proved that there is a lower bound for the number of geometrically distinct minimal geodesics of closed Riemannian manifolds that is linear in the first Betti number, using the stable norm unit ball on the first homology. We refine this method to obtain a quadratic lower bound.


title: Phase space noncommutativity, power-law inflation and quantum cosmology

abstract: Considering an arbitrary dimensional FLRW universe in the framework of a generalized S\'{a}ez--Ballester (SB) theory, we establish a noncommutative (NC) cosmological model. We concentrate on the predictions of NC model and compare them with their commutative counterparts in both the classical and quantum regimes. For the classic case, taking a very small NC parameter, we apply two different methods to analyze the model features. First, we show through numerical analysis that our NC model is a successful inflationary model capable of overcoming the graceful exit and horizon problems. Furthermore, the NC traces are visible the late time, which supports the UV/IR mixing characteristic of the NC models. In the second method, we show that our NC model can correspond to the previously developed NC inflationary models. In the commutative quantum case, we obtain an exact wave function and then use the WKB approximation to show that the solutions of the corresponding classical regime are recovered. Finally, with regard to the NC quantum level, we focus on the special case for which we show that a constant of motion exists. The latter helps us to conveniently transform the corresponding complicated NC-WDW equation into an ordinary differential equation, which can be easily solved numerically for the general case or analytically for some special cases. The resultant solutions show a damping behavior in the wave function associated with the proposed NC model, which may be important in determining the viable initial states for the very early universe.


title: Approximate boundary controllability for parabolic equations with inverse square infinite potential wells

abstract: We consider heat operators on a bounded domain $\Omega \subseteq \mathbb{R}^n$, with a critically singular potential diverging as the inverse square of the distance to $\partial \Omega$. While null boundary controllability for such operators was recently proved in all dimensions in arXiv:2112.04457, it crucially assumed (i) $\Omega$ was convex, (ii) the control must be prescribed along all of $\partial \Omega$, and (iii) the strength of the singular potential must be restricted to a particular subrange. In this article, we prove instead a definitive approximate boundary control result for these operators, in that we (i) do not assume convexity of $\Omega$, (ii) allow for the control to be localized near any $x_0 \in \partial \Omega$, and (iii) treat the full range of strength parameters for the singular potential. Morever, we lower the regularity required for $\partial \Omega$ and the lower-order coefficients. The key novelty is a local Carleman estimate near $x_0$, with a carefully chosen weight that takes into account both the appropriate boundary conditions and the local geometry of $\partial \Omega$.


title: On semidefinite programming characterizations of the numerical radius and its dual norm for quaternionic matrices

abstract: We give a semidefinite programming characterizations of the numerical radius and its dual norm for quaternionic matrices. We show that the computation of the numerical radius and its dual norm within $\varepsilon$ precision are polynomially time computable in the data and $|\log \varepsilon |$ using the short step, primal interior point method.


title: Generalizations of Matrix Multiplication can solve the Light Bulb Problem

abstract: In the light bulb problem, one is given uniformly random vectors $x_1, \ldots, x_n, y_1, \ldots, y_n \in \{-1,1\}^d$. They are all chosen independently except a planted pair $(x_{i^*}, y_{j^*})$ is chosen with correlation $\rho>0$. The goal is to find the planted pair. This problem was introduced over 30 years ago by L.~Valiant, and is known to have many applications in data analysis, statistics, and learning theory. The naive algorithm runs in $\Omega(n^2)$ time, and algorithms based on Locality-Sensitive Hashing approach quadratic time as $\rho \to 0$. In 2012, G.~Valiant gave a breakthrough algorithm using fast matrix multiplication that runs in time $O(n^{(5-\omega)/(4-\omega)}) < O(n^{1.615})$, no matter how small $\rho>0$ is. This was subsequently refined by Karppa, Kaski, and Kohonen in 2016 to $O(n^{2 \omega / 3}) < O(n^{1.582})$. In this paper, we propose a new approach which can replace matrix multiplication tensor with other tensors. Those tensors can omit some terms one is supposed to compute, and include additional error terms. Our new approach can make use of any tensors which previously had no known algorithmic applications, including tensors which arise naturally as intermediate steps in border rank methods and in the Laser method. We further show that our approach can be combined with locality-sensitive hashing to design an algorithm whose running time improves as $\rho$ gets larger. To our knowledge, this is the first algorithm which combines fast matrix multiplication with hashing for the light bulb problem or any closest pair problem, and it leads to faster algorithms for small $\rho>0$. We also introduce a new tensor $T_{2112}$, which has the same size of $2 \times 2$ matrix multiplication tensor, but runs faster than the Strassen's algorithm for light bulb problem.


title: Optimal Zeno Dragging for Quantum Control: A Shortcut to Zeno with Action-based Scheduling Optimization

abstract: The quantum Zeno effect asserts that quantum measurements inhibit simultaneous unitary dynamics when the "collapse" events are sufficiently strong and frequent. This applies in the limit of strong continuous measurement or dissipation. It is possible to implement a dissipative control that is known as "Zeno Dragging", by dynamically varying the monitored observable, and hence also the eigenstates which are attractors under Zeno dynamics. This is similar to adiabatic processes, in that the Zeno dragging fidelity is highest when the rate of eigenstate change is slow compared to the measurement rate. We demonstrate here two theoretical methods for using such dynamics to achieve control of quantum systems. The first, which we shall refer to as "shortcut to Zeno" (STZ), is analogous to the shortcuts to adiabaticity (counterdiabatic driving) that are frequently used to accelerate unitary adiabatic evolution. In the second approach we apply the Chantasri Dressel Jordan (2013, CDJ) stochastic action, and demonstrate that the extremal-probability readout paths derived from this are well suited to setting up a Pontryagin-style optimization of the Zeno dragging schedule. A fundamental contribution of the latter approach is to show that an action suitable for measurement-driven control optimization can be derived quite generally from statistical arguments. Implementing these methods on the Zeno dragging of a qubit, we find that both approaches yield the same solution, namely, that the optimal control is a unitary that matches the motion of the Zeno-monitored eigenstate. We then show that such a solution can be more robust than a unitary-only operation, and comment on solvable generalizations of our qubit example embedded in larger systems. These methods open up new pathways toward systematically developing dynamic control of Zeno subspaces to realize dissipatively-stabilized quantum operations.