title: Fine-grained Forecasting Models Via Gaussian Process Blurring Effect

abstract: Time series forecasting is a challenging task due to the existence of complex and dynamic temporal dependencies. This can lead to incorrect predictions by even the best forecasting models. Using more training data is one way to improve the accuracy, but this source is often limited. In contrast, we are building on successful denoising approaches for image generation by advocating for an end-to-end forecasting and denoising paradigm. We propose an end-to-end forecast-blur-denoise forecasting framework by encouraging a division of labors between the forecasting and the denoising models. The initial forecasting model is directed to focus on accurately predicting the coarse-grained behavior, while the denoiser model focuses on capturing the fine-grained behavior that is locally blurred by integrating a Gaussian Process model. All three parts are interacting for the best end-to-end performance. Our extensive experiments demonstrate that our proposed approach is able to improve the forecasting accuracy of several state-of-the-art forecasting models as well as several other denoising approaches.


title: Polar order, shear banding, and clustering in confined active matter

abstract: We investigate the collective behavior of sterically interacting self-propelled particles confined in a harmonic potential. Our theoretical and numerical study unveils the emergence of distinctive collective polar organizations, revealing how different levels of interparticle torques and noise influence the system. The observed phases include the shear-banded vortex, where the system self organizes in two concentric bands rotating in opposite directions around the potential center; the uniform vortex, where the two bands merge into a close packed configurations rotating uniformly as a quasi-rigid body; and the orbiting polar state, characterized by parallel orientation vectors and the cluster revolving around the potential center, without rotation, as a rigid body. Intriguingly, at lower filling fractions, the vortex and polar phases merge into a single phase where the trapped cluster breaks into smaller polarized clusters, each one orbiting the potential center as a rigid body.


title: Duality in Derived Category $\mathcal O^\infty$

abstract: Let $\bf{G}$ be a split connected reductive group over a finite extension $F$ of $\mathbb Q_p$, and let $\bf{T} \subset \bf{B} \subset \bf{G}$ be a maximal split torus and a Borel subgroup, respectively. Denote by $G = {\bf{G}}(F)$ and $B= {\bf{B}}(F)$ their groups of $F$-valued points and by $\mathfrak g = \rm Lie(G)$ and $\mathfrak b = \rm Lie(B)$ their Lie algebras. Let $\mathcal O^\infty$ be the thick category $\mathcal O$ for $(\mathfrak g,\mathfrak b)$, and denote by $\mathcal{O}^\infty_{\rm alg} \subset \mathcal{O}^\infty$ the full subcategory consisting of objects whose weights are in $X^*(\bf{T})$. Both are Serre subcategories of the category of all $U$-modules, where $U = U(\mathfrak g)$. We show first that the functor $\mathbb D^\mathfrak g = \rm RHom_U(-,U)$ preserves $D^b(U)_{\mathcal{O}^\infty_{\rm alg}}$, and we deduce from a result of Coulembier-Mazorchuk that the latter category is equivalent to $D^b(\mathcal O^\infty_{\rm alg})$.


title: 40 Years of SCES at Los Alamos

abstract: Reports of unconventional superconductivity in UBe13 in 1983 and soon thereafter of the possible coexistence of bulk superconductivity and spin fluctuations in UPt3 marked the beginning of a 40-year adventure in the study of strongly correlated quantum materials and phenomena at Los Alamos. The subsequent discovery and exploration of heavy-fermion magnetism, cuprates, Kondo insulators, Ce- and Pu-115 superconductors and, more broadly, quantum states of narrow-band systems provided challenges for the next 30 years. Progress was not made in a vacuum but benefitted from significant advances in the Americas, Asia and Europe as well as from essential collaborations, visitors and Los Alamos students and postdocs, many subsequently setting their own course in SCES. As often the case, serendipity played a role in shaping this history.


title: Enhancing Transport Barriers with Swimming Microorganisms in Chaotic Flows

abstract: We investigate the effects of bacterial activity on the mixing and transport properties of a passive scalar in time-periodic flows in experiments and in a simple model. We focus on the interactions between swimming E. coli and the Lagrangian Coherent Structures (LCSs) of the flow, which are computed from experimentally measured velocity fields. Experiments show that such interactions are non-trivial and can lead to transport barriers through which the scalar flux is significantly reduced. Using the Poincar\'e map, we show that these transport barriers coincide with the outermost members of elliptic LCSs known as Lagrangian vortex boundaries. Numerical simulations further show that elliptic LCSs can repel elongated swimmers and lead to swimmer depletion within Lagrangian coherent vortices. A simple mechanism shows that such depletion is due to the preferential alignment of elongated swimmers with the tangents of elliptic LCSs. Our results provide insights into understanding the transport of microorganisms in complex flows with dynamical topological features from a Lagrangian viewpoint.

categories: physics.flu-dyn cond-mat.soft nlin.CD physics.bio-ph


title: Probing Biological and Artificial Neural Networks with Task-dependent Neural Manifolds

abstract: Recently, growth in our understanding of the computations performed in both biological and artificial neural networks has largely been driven by either low-level mechanistic studies or global normative approaches. However, concrete methodologies for bridging the gap between these levels of abstraction remain elusive. In this work, we investigate the internal mechanisms of neural networks through the lens of neural population geometry, aiming to provide understanding at an intermediate level of abstraction, as a way to bridge that gap. Utilizing manifold capacity theory (MCT) from statistical physics and manifold alignment analysis (MAA) from high-dimensional statistics, we probe the underlying organization of task-dependent manifolds in deep neural networks and macaque neural recordings. Specifically, we quantitatively characterize how different learning objectives lead to differences in the organizational strategies of these models and demonstrate how these geometric analyses are connected to the decodability of task-relevant information. These analyses present a strong direction for bridging mechanistic and normative theories in neural networks through neural population geometry, potentially opening up many future research avenues in both machine learning and neuroscience.


title: AGN driven outflows in the OH absorber galaxy IRAS 19154+2704

abstract: We present a two-dimensional study of the gas distribution, excitation and kinematics of the OH absorber galaxy IRAS 19154+2704 using Gemini GMOS-IFU observations. Its continuum image shows a disturbed morphology indicative of a past or on-going interaction. The ionised gas emission presents two kinematic components: a narrow ($\sigma\lesssim$300 km s$^{-1}$) component that may be tracing the gas orbiting in the galaxy potential and a broad ($\sigma\gtrsim$500 km s$^{-1}$) component which is produced by an Active Galactic Nucleus (AGN) driven outflow, with velocities reaching $-$500 km s$^{-1}$ which may exceed the escape velocity of the galaxy. The emission-line ratios and BPT diagrams confirm that the gas excitation in the inner $\sim$2 kpc is mainly due the AGN, while in regions farther away, a contribution from star formation is observed. We estimate a mass outflow rate of $\dot{M}_{\rm out}=4.0\pm2.6$ M$_\odot$ yr$^{-1}$ at a distance of 850 pc from the nucleus. The corresponding outflow kinetic power $\dot{E}_{\rm out} = (2.5\pm1.6)\times10^{42}$ erg s$^{-1}$, is only $3\times10^{-4}$ L$_{\rm bol}$ (the AGN luminosity), but the large mass-outflow rate, if kept for a $\sim$10 Myr AGN lifecycle, will expel $\approx10^8$ M$_\odot$ in ionised gas alone. This is the 6th of a series of papers in which we have investigated the kinematics of ULIRGS, most of which are interacting galaxies showing OH Megamasers. IRAS19154 shows the strongest signatures of an active AGN, supporting an evolutionary scenario: interactions trigger AGN that fully appear in the most advanced stages of the interaction.


title: Hawking Radiation, Entanglement Entropy, and Information Paradox of Kerr Black Holes

abstract: The black hole information paradox is a long-standing problem in theoretical physics. Despite some recent progress, many issues remain open and should be clarified. In this paper, we study the information paradox of Kerr black holes and propose a new resolution with precise physical meanings. We compute the time-dependent Hawking radiation rate during the Kerr black hole evaporation using both the gravity and the conformal field theory approaches. Based on the consistent result from both approaches, we formulate the information paradox on top of the time evolution of the entanglement entropy between a Kerr black hole and its Hawking radiation quanta. To resolve the information paradox, we carefully keep track of the ingoing Hawking quanta through the Kerr black hole as a quantum wormhole and microscopically derive the Page curve as a time-delay effect. The result matches the previously obtained semi-classical Page curve and has a natural interpretation in quantum information theory.


title: The Status and Prospects of Phytoremediation of Heavy Metals

abstract: The release of heavy metals into the agricultural soil and waterbodies has been accelerated due to anthropogenic activities. They are not usually required for biological functions thus, their accumulation in biological system poses serious threat to health and environment globally. Phytoremediation offers a safe, inexpensive, and ecologically sustainable technique to clean habitats contaminated with heavy metals. Though several plants have been identified and used as a potential candidate for such phytoremediation, the technique is still at its formative stage and has been mostly confined to laboratory and greenhouses. However, recently several field studies have shown promising results that can propel large-scale implementation of this technology in industrial sites and urban agriculture. Realistically, the commercialization of this technique is possible if interdisciplinary approach is employed to increase its efficiency. This review presents a comprehensive narration of the status and future of the technique. It illustrates the concept of phytoremediation, the ecological and commercial benefits, and the types of phytoremediation. The candidate plants and factors that influences phytoremediation has been discussed. Finally, the physiological and molecular mechanism along with the future of the technique has been described.


title: The Returns to Science in the Presence of Technological Risk

abstract: Scientific and technological progress has historically been very beneficial to humanity but this does not always need to be true. Going forward, science may enable bad actors to cause genetically engineered pandemics that are more frequent and deadly than prior pandemics. I develop a quantitative economic model to assess the social returns to science, taking into account benefits to health and income, and forecast damages from new biological capabilities enabled by science. I set parameters for this model based on historical trends and forecasts from a large forecasting tournament of domain experts and superforecasters, which included forecasts about genetically engineered pandemic events. The results depend on the forecast likelihood that new scientific capabilities might lead to the end of our advanced civilization - there is substantial disagreement about this probability from participants in the forecasting tournament I use. If I set aside this remote possibility, I find the expected future social returns to science are strongly positive. Otherwise, the desirability of accelerating science depends on the value placed on the long-run future, in addition to which set of (quite different) forecasts of extinction risk are preferred. I also explore the sensitivity of these conclusions to a range of alternative assumptions.


title: Rigorous results on approach to thermal equilibrium, entanglement, and nonclassicality of an optical quantum field mode scattering from the elements of a non-equilibrium quantum reservoir

abstract: Rigorous derivations of the approach of individual elements of large isolated systems to a state of thermal equilibrium, starting from arbitrary initial states, are exceedingly rare. This is particularly true for quantum mechanical systems. We demonstrate here how, through a mechanism of repeated scattering, an approach to equilibrium of this type actually occurs in a specific quantum system, one that can be viewed as a natural quantum analog of several previously studied classical models. In particular, we consider an optical mode passing through a reservoir composed of a large number of sequentially-encountered modes of the same frequency, each of which it interacts with through a beam splitter. We then analyze the dependence of the asymptotic state of this mode on the assumed stationary common initial state $\sigma$ of the reservoir modes and on the transmittance $\tau=\cos\lambda$ of the beam splitters. These results allow us to establish that at small $\lambda$ such a mode will, starting from an arbitrary initial system state $\rho$, approach a state of thermal equilibrium even when the reservoir modes are not themselves initially thermalized. We show in addition that, when the initial states are pure, the asymptotic state of the optical mode is maximally entangled with the reservoir and exhibits less nonclassicality than the state of the reservoir modes.


title: Multi-Agent Join

abstract: It is crucial to provide real-time performance in many applications, such as interactive and exploratory data analysis. In these settings, users often need to view subsets of query results quickly. It is challenging to deliver such results over large datasets for relational operators over multiple relations, such as join. Join algorithms usually spend a long time on scanning and attempting to join parts of relations that may not generate any result. Current solutions usually require lengthy and repeated preprocessing, which is costly and may not be possible to do in many settings. Also, they often support restricted types of joins. In this paper, we outline a novel approach for achieving efficient join processing in which a scan operator of the join learns during query execution, the portions of its relations that might satisfy the join predicate. We further improve this method using an algorithm in which both scan operators collaboratively learn an efficient join execution strategy. We also show that this approach generalizes traditional and non-learning methods for joining. Our extensive empirical studies using standard benchmarks indicate that this approach outperforms similar methods considerably.


title: Benchmarking Multi-Agent Preference-based Reinforcement Learning for Human-AI Teaming

abstract: Preference-based Reinforcement Learning (PbRL) is an active area of research, and has made significant strides in single-agent actor and in observer human-in-the-loop scenarios. However, its application within the co-operative multi-agent RL frameworks, where humans actively participate and express preferences for agent behavior, remains largely uncharted. We consider a two-agent (Human-AI) cooperative setup where both the agents are rewarded according to human's reward function for the team. However, the agent does not have access to it, and instead, utilizes preference-based queries to elicit its objectives and human's preferences for the robot in the human-robot team. We introduce the notion of Human-Flexibility, i.e. whether the human partner is amenable to multiple team strategies, with a special case being Specified Orchestration where the human has a single team policy in mind (most constrained case). We propose a suite of domains to study PbRL for Human-AI cooperative setup which explicitly require forced cooperation. Adapting state-of-the-art single-agent PbRL algorithms to our two-agent setting, we conduct a comprehensive benchmarking study across our domain suite. Our findings highlight the challenges associated with high degree of Human-Flexibility and the limited access to the human's envisioned policy in PbRL for Human-AI cooperation. Notably, we observe that PbRL algorithms exhibit effective performance exclusively in the case of Specified Orchestration which can be seen as an upper bound PbRL performance for future research.


title: Friends with Costs and Benefits: Community Formation with Myopic, Boundedly-Rational Actors

abstract: In this paper we address how complex social communities emerge from local decisions by individuals with limited attention and knowledge. This problem is critical; if we understand community formation mechanisms, it may be possible to intervene to improve social welfare. We propose an interpretable, novel model for attributed community formation driven by resource-bounded individuals' strategic, selfish behavior. In our stylized model, attributed individuals act strategically in two dimensions: attribute and network structure. Agents are endowed with limited attention, and communication costs limit the number of active connections. In each time step, each agent proposes a new friendship. Agents then accept proposals, decline proposals, or remove friends, consistent with their strategy to maximize payoff. We identify criteria (number of stable triads) for convergence to some community structure and prove that our community formation model converges to a stable network. Ablations justify the ecological validity of our model and show that each aspect of the model is essential. Our empirical results on a physical world microfinance community demonstrate excellent model fits compared to baseline models.


title: Deep Gaussian Process Priors for Bayesian Inference in Nonlinear Inverse Problems

abstract: We study the use of a deep Gaussian process (DGP) prior in a general nonlinear inverse problem satisfying certain regularity conditions. We prove that when the data arises from a true parameter $\theta^*$ with a compositional structure, the posterior induced by the DGP prior concentrates around $\theta^*$ as the number of observations increases. The DGP prior accounts for the unknown compositional structure through the use of a hierarchical structure prior. As examples, we show that our results apply to Darcy's problem of recovering the scalar diffusivity from a steady-state heat equation and the problem of determining the attenuation potential in a steady-state Schr\"{o}dinger equation. We further provide a lower bound, proving in Darcy's problem that typical Gaussian priors based on Whittle-Mat\'{e}rn processes (which ignore compositional structure) contract at a polynomially slower rate than the DGP prior for certain diffusivities arising from a generalised additive model.


title: On Separating Path and Tree Systems in Graphs

abstract: We explore the concept of separating systems of vertex sets of graphs. A separating system of a set $X$ is a collection of subsets of $X$ such that for any pair of distinct elements in $X$, there exists a set in the separating system that contains exactly one of the two elements. A separating system of the vertex set of a graph $G$ is called a vertex-separating path (tree) system of $G$ if the elements of the separating system are paths (trees) in the graph $G$. In this paper, we focus on the size of the smallest vertex-separating path (tree) system for different types of graphs, including trees, grids, and maximal outerplanar graphs.


title: Strong Property $(T)$ and relatively hyperbolic groups

abstract: We prove that relatively hyperbolic groups do not have Lafforgue strong Property $(T)$ with respect to Hilbert spaces. To do so we construct an unbounded affine representation of such groups, whose linear part is of polynomial growth of degree $2$. Moreover, this representation is proper for the metric of the coned-off graph.


title: Scalable nanoimprint manufacturing of multi-layer hybrid metasurface device

abstract: Optical metasurfaces, consisting of subwavelength-scale meta-atom arrays, hold great promise to overcome fundamental limitations of conventional optics. Scalable nanomanufacturing of metasurfaces with high uniformity and reproducibility is key to transferring technology from laboratory demonstrations to commercialization. Recently, nanoimprint lithography (NIL) has attracted increasing interests for metasurface fabrication because of its superior nanometer resolution, rapid prototyping and large-area manufacturing capability. Despite NIL demonstrations of single-layer metasurface, scalable fabrication of double- and multi-layer metasurfaces remains challenging. Here we leverage the nanometer-scale resolution and 3D pattern transfer capability of NIL to fabricate multi-layered metasurfaces for on-chip polarimetric imaging devices. Our process achieved sub-100 nm nanostructures, high alignment accuracy (translational error <200 nm; rotational error <0.02{\deg}), and good uniformity (<4 nm linewidth deviation) over >20 mm2. This NIL-based, low-cost and high-throughput nanomanufacturing approach paves the way toward scalable production of a plethora of metasurface structures for ultra-compact optic and optoelectronic devices and systems.


title: Well-forced graphs

abstract: A graph in which all minimal zero forcing sets are in fact minimum size is called ``well-forced." This paper characterizes well-forced trees and presents an algorithm for determining which trees are well-forced. Additionally, we characterize which vertices in a tree are contained in no minimal zero forcing set.


title: Fairness in Submodular Maximization over a Matroid Constraint

abstract: Submodular maximization over a matroid constraint is a fundamental problem with various applications in machine learning. Some of these applications involve decision-making over datapoints with sensitive attributes such as gender or race. In such settings, it is crucial to guarantee that the selected solution is fairly distributed with respect to this attribute. Recently, fairness has been investigated in submodular maximization under a cardinality constraint in both the streaming and offline settings, however the more general problem with matroid constraint has only been considered in the streaming setting and only for monotone objectives. This work fills this gap. We propose various algorithms and impossibility results offering different trade-offs between quality, fairness, and generality.


title: Asynchronous Entanglement Routing for the Quantum Internet

abstract: With the emergence of the Quantum Internet, the need for advanced quantum networking techniques has significantly risen. Various models of quantum repeaters have been presented, each delineating a unique strategy to ensure quantum communication over long distances. We focus on repeaters that employ entanglement generation and swapping. This revolves around establishing remote end-to-end entanglement through repeaters, a concept we denote as the "quantum-native" repeaters (also called "first-generation" repeaters in some literature). The challenges in routing with quantum-native repeaters arise from probabilistic entanglement generation and restricted coherence time. Current approaches use synchronized time slots to search for entanglement-swapping paths, resulting in inefficiencies. Here, we propose a new set of asynchronous routing protocols for quantum networks by incorporating the idea of maintaining a dynamic topology in a distributed manner, which has been extensively studied in classical routing for lossy networks, such as using a destination-oriented directed acyclic graph (DODAG) or a spanning tree. The protocols update the entanglement-link topology asynchronously, identify optimal entanglement-swapping paths, and preserve unused direct-link entanglements. Our results indicate that asynchronous protocols achieve a larger upper bound with an appropriate setting and significantly higher entanglement rate than existing synchronous approaches, and the rate increases with coherence time, suggesting that it will have a much more profound impact on quantum networks as technology advances.


title: Autoencoder Based Face Verification System

abstract: The primary objective of this work is to present an alternative approach aimed at reducing the dependency on labeled data. Our proposed method involves utilizing autoencoder pre-training within a face image recognition task with two step processes. Initially, an autoencoder is trained in an unsupervised manner using a substantial amount of unlabeled training dataset. Subsequently, a deep learning model is trained with initialized parameters from the pre-trained autoencoder. This deep learning training process is conducted in a supervised manner, employing relatively limited labeled training dataset. During evaluation phase, face image embeddings is generated as the output of deep neural network layer. Our training is executed on the CelebA dataset, while evaluation is performed using benchmark face recognition datasets such as Labeled Faces in the Wild (LFW) and YouTube Faces (YTF). Experimental results demonstrate that by initializing the deep neural network with pre-trained autoencoder parameters achieve comparable results to state-of-the-art methods.


title: Exploiting Novel GPT-4 APIs

abstract: Language model attacks typically assume one of two extreme threat models: full white-box access to model weights, or black-box access limited to a text generation API. However, real-world APIs are often more flexible than just text generation: these APIs expose ``gray-box'' access leading to new threat vectors. To explore this, we red-team three new functionalities exposed in the GPT-4 APIs: fine-tuning, function calling and knowledge retrieval. We find that fine-tuning a model on as few as 15 harmful examples or 100 benign examples can remove core safeguards from GPT-4, enabling a range of harmful outputs. Furthermore, we find that GPT-4 Assistants readily divulge the function call schema and can be made to execute arbitrary function calls. Finally, we find that knowledge retrieval can be hijacked by injecting instructions into retrieval documents. These vulnerabilities highlight that any additions to the functionality exposed by an API can create new vulnerabilities.


title: Geo2SigMap: High-Fidelity RF Signal Mapping Using Geographic Databases

abstract: Radio frequency (RF) signal mapping, which is the process of analyzing and predicting the RF signal strength and distribution across specific areas, is crucial for cellular network planning and deployment. Traditional approaches to RF signal mapping rely on statistical models constructed based on measurement data, which offer low complexity but often lack accuracy, or ray tracing tools, which provide enhanced precision for the target area but suffer from increased computational complexity. Recently, machine learning (ML) has emerged as a data-driven method for modeling RF signal propagation, which leverages models trained on synthetic datasets to perform RF signal mapping in "unseen" areas. In this paper, we present Geo2SigMap, an ML-based framework for efficient and high-fidelity RF signal mapping using geographic databases. First, we develop an automated framework that seamlessly integrates three open-source tools: OpenStreetMap (geographic databases), Blender (computer graphics), and Sionna (ray tracing), enabling the efficient generation of large-scale 3D building maps and ray tracing models. Second, we propose a cascaded U-Net model, which is pre-trained on synthetic datasets and employed to generate detailed RF signal maps, leveraging environmental information and sparse measurement data. Finally, we evaluate the performance of Geo2SigMap via a real-world measurement campaign, where three types of user equipment (UE) collect over 45,000 data points related to cellular information from six LTE cells operating in the citizens broadband radio service (CBRS) band. Our results show that Geo2SigMap achieves an average root-mean-square-error (RMSE) of 6.04 dB for predicting the reference signal received power (RSRP) at the UE, representing an average RMSE improvement of 3.59 dB compared to existing methods.


title: Particle Tracking, Recognition and LET Evaluation of Out-of-Field Proton Therapy Delivered to a Phantom with Implants

abstract: This study aims to assess the composition of scattered particles generated in proton therapy for tumours situated proximal to titanium dental implants. The investigation involves decomposing the mixed field and recording Linear Energy Transfer (LET) spectra to quantify the influence of metallic dental inserts located behind the tumour. A conformal proton beam was used to deliver the treatment plan to an anthropomorphic head phantom with two types of implants (Ti and plastic) inserted in the target volume. The stray radiation resulting during the irradiation was detected by a hybrid semiconductor pixel detector MiniPIX Timepix3 that was placed distal to the Spread-out Bragg peak. Visualization and field decomposition of stray radiation were generated using algorithms trained in particle recognition based on artificial intelligence convolution neural networks (AI CNN). Spectral sensitive aspects of the scattered radiation were collected using two angular positions of the detector relative to the beam direction: 0 and 60{\deg}. Using AI CNN, 3 classes of particles were identified: protons, electrons & photons, ions & fast neutrons. Placing a Ti implant in the beam's path resulted in predominantly electrons and photons, contributing 52.2%, whereas for plastic implants, the contribution was 65.4%. Scattered protons comprised 45.5% and 31.9% with and without Ti inserts, respectively. The LET spectra was derived for each group of particles, with values ranging from 0.01 to 7.5 keV{\mu}m-1 for Ti/plastic implants. The low-LET component was primarily composed of electrons and photons, while the high-LET component corresponded to protons and ions. This method, complemented by directional maps, holds potential for evaluating and validating treatment plans involving stray radiation near organs at risk, offering precise discrimination of the mixt field, enhancing in this way the LET calculation.


title: The Exact Spanning Ratio of the Parallelogram Delaunay Graph

abstract: Finding the exact spanning ratio of a Delaunay graph has been one of the longstanding open problems in Computational Geometry. Currently there are only four convex shapes for which the exact spanning ratio of their Delaunay graph is known: the equilateral triangle, the square, the regular hexagon and the rectangle. In this paper, we show the exact spanning ratio of the parallelogram Delaunay graph, making the parallelogram the fifth convex shape for which an exact bound is known. The worst-case spanning ratio is exactly $$\frac{\sqrt{2}\sqrt{1+A^2+2A\cos(\theta_0)+(A+\cos(\theta_0))\sqrt{1+A^2+2A\cos(\theta_0)}}}{\sin(\theta_0)} .$$ where $A$ is the aspect ratio and $\theta_0$ is the non-obtuse angle of the parallelogram. Moreover, we show how to construct a parallelogram Delaunay graph whose spanning ratio matches the above mentioned spanning ratio.


title: Social Recommendation through Heterogeneous Graph Modeling of the Long-term and Short-term Preference Defined by Dynamic Periods

abstract: Social recommendations have been widely adopted in substantial domains. Recently, graph neural networks (GNN) have been employed in recommender systems due to their success in graph representation learning. However, dealing with the dynamic property of social network data is a challenge. This research presents a novel method that provides social recommendations by incorporating the dynamic property of social network data in a heterogeneous graph. The model aims to capture user preference over time without going through the complexities of a dynamic graph by adding period nodes to define users' long-term and short-term preferences and aggregating assigned edge weights. The model is applied to real-world data to argue its superior performance. Promising results demonstrate the effectiveness of this model.


title: Deconvolution of JWST/MIRI Images: Applications to an AGN Model and GATOS Observations of NGC 5728

abstract: The superb image quality, stability and sensitivity of the JWST permit deconvolution techniques to be pursued with a fidelity unavailable to ground-based observations. We present an assessment of several deconvolution approaches to improve image quality and mitigate effects of the complex JWST point spread function (PSF). The optimal deconvolution method is determined by using WebbPSF to simulate JWST's complex PSF and MIRISim to simulate multi-band JWST/Mid-Infrared Imager Module (MIRIM) observations of a toy model of an active galactic nucleus (AGN). Five different deconvolution algorithms are tested: (1) Kraken deconvolution, (2) Richardson-Lucy, (3) Adaptive Imaging Deconvolution Algorithm, (4) Sparse regularization with the Condat-V\~u algorithm, and (5) Iterative Wiener Filtering and Thresholding. We find that Kraken affords the greatest FWHM reduction of the nuclear source of our MIRISim observations for the toy AGN model while retaining good photometric integrity across all simulated wavebands. Applying Kraken to Galactic Activity, Torus, and Outflow Survey (GATOS) multi-band JWST/MIRIM observations of the Seyfert 2 galaxy NGC 5728, we find that the algorithm reduces the FWHM of the nuclear source by a factor of 1.6-2.2 across all five filters. Kraken images facilitate detection of a SE to NW $\thicksim$2".5 ($\thicksim$470 pc, PA $\simeq$115\deg) extended nuclear emission, especially in the longest wavelengths. We demonstrate that Kraken is a powerful tool to enhance faint features otherwise hidden in the complex JWST PSF.


title: Dimension-free comparison estimates for suprema of some canonical processes

abstract: We obtain error approximation bounds between expected suprema of canonical processes that are generated by random vectors with independent coordinates and expected suprema of Gaussian processes. In particular, we obtain a sharper proximity estimate for Rademacher and Gaussian complexities. Our estimates are dimension-free, and depend only on the geometric parameters and the numerical complexity of the underlying index set.


title: Federated Quantum Long Short-term Memory (FedQLSTM)

abstract: Quantum federated learning (QFL) can facilitate collaborative learning across multiple clients using quantum machine learning (QML) models, while preserving data privacy. Although recent advances in QFL span different tasks like classification while leveraging several data types, no prior work has focused on developing a QFL framework that utilizes temporal data to approximate functions useful to analyze the performance of distributed quantum sensing networks. In this paper, a novel QFL framework that is the first to integrate quantum long short-term memory (QLSTM) models with temporal data is proposed. The proposed federated QLSTM (FedQLSTM) framework is exploited for performing the task of function approximation. In this regard, three key use cases are presented: Bessel function approximation, sinusoidal delayed quantum feedback control function approximation, and Struve function approximation. Simulation results confirm that, for all considered use cases, the proposed FedQLSTM framework achieves a faster convergence rate under one local training epoch, minimizing the overall computations, and saving 25-33% of the number of communication rounds needed until convergence compared to an FL framework with classical LSTM models.


title: High fidelity two-qubit quantum state tomography of Electron-14N hybrid spin register in diamond

abstract: We report here on a major improvement of the control and characterization capabilities of 14N nuclear spin of single NV centers in diamond, as well as on a new method that we have devised for characterizing quantum states, i.e. quantum state tomography using Rabi experiments. Depending on whether we use amplitude information or phase information from Rabi experiments, we define two sub-methods namely Rabi amplitude quantum state tomography (RAQST) and Rabi phase quantum state tomography (RPQST). The advantage of Rabi-based tomography methods is that they lift the requirement of unitary operations used in other methods in general and standard methods in particular. On one hand, this does not increase the complexity of the tomography experiments in large registers, and on the other hand, it decreases the error induced by MW irradiation. We used RAQST and RPQST to investigate the quality of various two-qubit pure states in our setup. As expected, test quantum states show very high fidelity with the theoretical counterpart.


title: Crystal Growth Characterization of WSe$_2$ Thin Film Using Machine Learning

abstract: Materials characterization remains a labor-intensive process, with a large amount of expert time required to post-process and analyze micrographs. As a result, machine learning has become an essential tool in materials science, including for materials characterization. In this study, we perform an in-depth analysis of the prediction of crystal coverage in WSe$_2$ thin film atomic force microscopy (AFM) height maps with supervised regression and segmentation models. Regression models were trained from scratch and through transfer learning from a ResNet pretrained on ImageNet and MicroNet to predict monolayer crystal coverage. Models trained from scratch outperformed those using features extracted from pretrained models, but fine-tuning yielded the best performance, with an impressive 0.99 $R^2$ value on a diverse set of held-out test micrographs. Notably, features extracted from MicroNet showed significantly better performance than those from ImageNet, but fine-tuning on ImageNet demonstrated the reverse. As the problem is natively a segmentation task, the segmentation models excelled in determining crystal coverage on image patches. However, when applied to full images rather than patches, the performance of segmentation models degraded considerably, while the regressors did not, suggesting that regression models may be more robust to scale and dimension changes compared to segmentation models. Our results demonstrate the efficacy of computer vision models for automating sample characterization in 2D materials while providing important practical considerations for their use in the development of chalcogenide thin films.


title: Vector Multispaces and Multispace Codes

abstract: Basic algebraic and combinatorial properties of finite vector spaces in which individual vectors are allowed to have multiplicities larger than $ 1 $ are derived. An application in coding theory is illustrated by showing that multispace codes that are introduced here may be used in random linear network coding scenarios, and that they generalize standard subspace codes (defined in the set of all subspaces of $ \mathbb{F}_q^n $) and extend them to an infinitely larger set of parameters. In particular, in contrast to subspace codes, multispace codes of arbitrarily large cardinality and minimum distance exist for any fixed $ n $ and $ q $.


title: Lifetime Reduction of Single Germanium-Vacancy Centers in Diamond via a Tunable Open Microcavity

abstract: Coupling between a single quantum emitter and an optical cavity presents a key capability for future quantum networking applications. Here, we explore interactions between individual germanium-vacancy (GeV) defects in diamond and an open microcavity at cryogenic temperatures. Exploiting the tunability of our microcavity system to characterize and select emitters, we observe a Purcell-effect-induced lifetime reduction of up to $4.5\pm0.3$, and extract coherent coupling rates up to $360\pm20$ MHz. Our results indicate that the GeV defect has favorable optical properties for cavity coupling, with a quantum efficiency of at least $0.34\pm0.05$ and likely much higher.


title: Cometary outbursts in the Oort cloud

abstract: Comet nuclei in the outer Solar system are constantly irradiated by cosmic rays at low temperatures. Accumulated high concentrations of radicals can undergo fast recombination with significant heating of cometary surface layers. We present the model of comet activity at large heliocentric distances caused by the recombination of radicals. We found that the considered mechanism can cause activity of comets in distant regions of the Solar system, even at the Oort cloud distances. Outbursts in distant comet reservoirs can be a new source of dust and ice particles contributing to the recently discovered anomalous diffuse light in the cosmic extragalactic background optic light. The orbits of small-radii comets in the Oort cloud are highly influenced by cometary outbursts. This effect may account for the observed decrease in the number of small-radius long-period comets.


title: Effective descent morphisms of filtered preorders

abstract: We characterize effective descent morphisms of what we call filtered preorders, and apply these results to slightly improve a known result, due to the first author and F. Lucatelli Nunes, on the effective descent morphisms in lax comma categories of preorders. A filtered preorder, over a fixed preorder $X$, is defined as a preorder $A$ equipped with a profunctor $X\to A$ and, equivalently, as a set $A$ equipped with a family $(A_x)_{x\in X}$ of upclosed subsets of $A$ with $x'\leqslant x\Rightarrow A_x\subseteq A_{x'}$.


title: Representation reduced stated skein modules and algebras

abstract: For any marked three manifold $(M,\mathcal{N})$ and any quantum parameter $q^{\frac{1}{2}}$ (a nonzero complex number), we use $\mathscr{S}_{q^{1/2}}(M,\mathcal{N})$ to denote the stated skein module of $(M,\mathcal{N})$. When $q^{\frac{1}{2}}$ is a root of unity of odd order, the commutative algebra $\mathscr{S}_1(M,\mathcal{N})$ acts on $\mathscr{S}_{q^{1/2}}(M,\mathcal{N})$. For any maximal ideal $\rho$ of $\mathscr{S}_1(M,\mathcal{N})$, define $\mathscr{S}_{q^{1/2}}(M,\mathcal{N})_{\rho} = \mathscr{S}_{q^{1/2}}(M,\mathcal{N})\otimes _{\mathscr{S}_1(M,\mathcal{N})} (\mathscr{S}_1(M,\mathcal{N})/\rho)$. We prove the splitting map for $\mathscr{S}_{q^{1/2}}(M,\mathcal{N})$ respects the $\mathscr{S}_1(M,\mathcal{N})$-module structure, so it reduces to the splitting map for $\mathscr{S}_{q^{1/2}}(M,\mathcal{N})_{\rho}$. We prove the splitting map for $\mathscr{S}_{q^{1/2}}(M,\mathcal{N})_{\rho}$ is injective if there exists at least one component of $\mathcal{N}$ such that this component and the boundary of the splitting disk belong to the same component of $\partial M$. Let $M$ be a connected closed three manifold. For any positive integer $k$, we use $M_{k}$ to denote the marked three manifold obtained from $M$ by removing $k$ open three dimensional balls and adding one marking to each newly created sphere boundary component. We prove $\text{dim}_{\mathbb{C}}\mathscr{S}_{q^{1/2}}( M_{k})_{\rho} = 1$ for any maximal ideal $\rho$ of $\mathscr{S}_1(M_k)$.


title: On two families of discrete multiple orthogonal polynomials on a star-like set

abstract: We study two families of type II discrete multiple orthogonal polynomials on an $r$-legged star-like set with respect to $r$ weight functions of Charlier (Poisson distributions) and Meixner (negative binomial distributions), respectively. We focus our attention on the structural properties such as the raising operators, the Rodrigues-type formulas, and the explicit expressions of the polynomial families as well as the coefficients of the nearest neighbor recurrence relation. A limit relation between these families is given.


title: Trapped atoms and superradiance on an integrated nanophotonic microring circuit

abstract: Interfacing cold atoms with integrated nanophotonic devices could offer new paradigms for engineering atom-light interactions and provide a potentially scalable route for quantum sensing, metrology, and quantum information processing. However, it remains a challenging task to efficiently trap a large ensemble of cold atoms on an integrated nanophotonic circuit. Here, we demonstrate direct loading of an ensemble of up to 70 atoms into an optical microtrap on a nanophotonic microring circuit. Efficient trap loading is achieved by employing degenerate Raman-sideband cooling in the microtrap, where a built-in spin-motion coupling arises directly from the vector light shift of the evanescent field potential on a microring. Atoms are cooled into the trap via optical pumping with a single free space beam. We have achieved a trap lifetime approaching 700ms under continuous cooling. We show that the trapped atoms display large cooperative coupling and superradiant decay into a whispering-gallery mode of the microring resonator, holding promise for explorations of new collective effects. Our technique can be extended to trapping a large ensemble of cold atoms on nanophotonic circuits for various quantum applications.


title: Sum of $g-$frames in Hilbert $C^{\ast}-$modules

abstract: In this paper, we establish some results regarding the stability of a $g-$frames for Hilbert $ C^{\ast}- $modules under various types of perturbations and we provide new conditions under which the sum of a $g-$frame and a $g-$Bessel sequence is a $g-$frame for a Hilbert $C^{\ast}- $modules $ \mathcal{H} $.


title: On persistence of spatial analyticity in the hyper-dissipative Navier-Stokes models

abstract: The goal of this note is to demonstrate that as soon as the hyper-diffusion exponent is greater than one, a class of finite time blow-up scenarios consistent with the analytic structure of the flow (prior to the possible blow-up time) can be ruled out. The argument is self-contained, in spirit of the regularity theory of the hyper-dissipative Navier-Stokes system in turbulent regime developed by Grujic and Xu.


title: A Novel ML-driven Test Case Selection Approach for Enhancing the Performance of Grammatical Evolution

abstract: Computational cost in metaheuristics such as Evolutionary Algorithms (EAs) is often a major concern, particularly with their ability to scale. In data-based training, traditional EAs typically use a significant portion, if not all, of the dataset for model training and fitness evaluation in each generation. This makes EAs suffer from high computational costs incurred during the fitness evaluation of the population, particularly when working with large datasets. To mitigate this issue, we propose a Machine Learning (ML)-driven Distance-based Selection (DBS) algorithm that reduces the fitness evaluation time by optimizing test cases. We test our algorithm by applying it to 24 benchmark problems from Symbolic Regression (SR) and digital circuit domains and then using Grammatical Evolution (GE) to train models using the reduced dataset. We use GE to test DBS on SR and produce a system flexible enough to test it on digital circuit problems further. The quality of the solutions is tested and compared against the conventional training method to measure the coverage of training data selected using DBS, i.e., how well the subset matches the statistical properties of the entire dataset. Moreover, the effect of optimized training data on run time and the effective size of the evolved solutions is analyzed. Experimental and statistical evaluations of the results show our method empowered GE to yield superior or comparable solutions to the baseline (using the full datasets) with smaller sizes and demonstrates computational efficiency in terms of speed.


title: Data Needs and Challenges of Quantum Dot Devices Automation: Workshop Report

abstract: Gate-defined quantum dots are a promising candidate system to realize scalable, coupled qubit systems and serve as a fundamental building block for quantum computers. However, present-day quantum dot devices suffer from imperfections that must be accounted for, which hinders the characterization, tuning, and operation process. Moreover, with an increasing number of quantum dot qubits, the relevant parameter space grows sufficiently to make heuristic control infeasible. Thus, it is imperative that reliable and scalable autonomous tuning approaches are developed. In this report, we outline current challenges in automating quantum dot device tuning and operation with a particular focus on datasets, benchmarking, and standardization. We also present ideas put forward by the quantum dot community on how to overcome them.


title: On Nonlinear Stability of Muskat Bubbles

abstract: In this paper we consider gravity-capillarity Muskat bubbles in 2D. We obtain a new approach to improve our result in [25]. Due to a new bubble-adapted formulation, the improvement is two fold. We significantly condense the proof and we now obtain the global well-posedness result for Muskat bubbles in critical regularity.


title: A multistate approach to disability insurance reserving with information delays

abstract: Disability insurance claims are often affected by lengthy reporting delays and adjudication processes. The classic multistate life insurance modeling framework is ill-suited to handle such information delays since the cash flow and available information can no longer be based on the biometric multistate process determining the contractual payments. We propose a new individual reserving model for disability insurance schemes which describes the claim evolution in real-time. Under suitable independence assumptions between the available information and the underlying biometric multistate process, we show that these new reserves may be calculated as natural modifications of the classic reserves. We propose suitable parametric estimators for the model constituents and a real data application shows the practical relevance of our concepts and results.


title: Exploring Distributions of House Prices and House Price Indices

abstract: We use house prices (HP) and house price indices (HPI) as a proxy to income distribution. Specifically, we analyze sale prices in the 1970-2010 window of over 116,000 single-family homes in Hamilton County, Ohio, including Cincinnati metro area of about 2.2 million people. We also analyze HPI, published by Federal Housing Finance Agency (FHFA), for nearly 18,000 US ZIP codes that cover a period of over 40 years starting in 1980's. If HP can be viewed as a first derivative of income, HPI can be viewed as its second derivative. We use generalized beta (GB) family of functions to fit distributions of HP and HPI since GB naturally arises from the models of economic exchange described by stochastic differential equations. Our main finding is that HP and multi-year HPI exhibit a negative Dragon King (nDK) behavior, wherein power-law distribution tail gives way to an abrupt decay to a finite upper limit value, which is similar to our recent findings for realized volatility of S\&P500 index in the US stock market. This type of tail behavior is best fitted by a modified GB (mGB) distribution. Tails of single-year HPI appear to show more consistency with power-law behavior, which is better described by a GB Prime (GB2) distribution. We supplement full distribution fits by mGB and GB2 with direct linear fits (LF) of the tails. Our numerical procedure relies on evaluation of confidence intervals (CI) of the fits, as well as of p-values that give the likelihood that data come from the fitted distributions.


title: Fast data-driven iterative learning control for linear system with output disturbance

abstract: This paper studies data-driven iterative learning control (ILC) for linear time-invariant (LTI) systems with unknown dynamics, output disturbances and input box-constraints. Our main contributions are: 1) using a non-parametric data-driven representation of the system dynamics, for dealing with the unknown system dynamics in the context of ILC, 2) design of a fast ILC method for dealing with output disturbances, model uncertainty and input constraints. A complete design method is given in this paper, which consists of the data-driven representation, controller formulation, acceleration strategy and convergence analysis. A batch of numerical experiments and a case study on a high-precision robotic motion system are given in the end to show the effectiveness of the proposed method.


title: Parameter Efficient Tuning Allows Scalable Personalization of LLMs for Text Entry: A Case Study on Abbreviation Expansion

abstract: Abbreviation expansion is a strategy used to speed up communication by limiting the amount of typing and using a language model to suggest expansions. Here we look at personalizing a Large Language Model's (LLM) suggestions based on prior conversations to enhance the relevance of predictions, particularly when the user data is small (~1000 samples). Specifically, we compare fine-tuning, prompt-tuning, and retrieval augmented generation of expanded text suggestions for abbreviated inputs. Our case study with a deployed 8B parameter LLM on a real user living with ALS, and experiments on movie character personalization indicates that (1) customization may be necessary in some scenarios and prompt-tuning generalizes well to those, (2) fine-tuning on in-domain data (with as few as 600 samples) still shows some gains, however (3) retrieval augmented few-shot selection also outperforms fine-tuning. (4) Parameter efficient tuning allows for efficient and scalable personalization. For prompt-tuning, we also find that initializing the learned "soft-prompts" to user relevant concept tokens leads to higher accuracy than random initialization.


title: An unfitted high-order HDG method for two-fluid Stokes flow with exact NURBS geometries

abstract: A high-order, degree-adaptive hybridizable discontinuous Galerkin (HDG) method is presented for two-fluid incompressible Stokes flows, with boundaries and interfaces described using NURBS. The NURBS curves are embedded in a fixed Cartesian grid, yielding an unfitted HDG scheme capable of treating the exact geometry of the boundaries/interfaces, circumventing the need for fitted, high-order, curved meshes. The framework of the NURBS-enhanced finite element method (NEFEM) is employed for accurate quadrature along immersed NURBS and in elements cut by NURBS curves. A Nitsche's formulation is used to enforce Dirichlet conditions on embedded surfaces, yielding unknowns only on the mesh skeleton as in standard HDG, without introducing any additional degree of freedom on non-matching boundaries/interfaces. The resulting unfitted HDG-NEFEM method combines non-conforming meshes, exact NURBS geometry and high-order approximations to provide high-fidelity results on coarse meshes, independent of the geometric features of the domain. Numerical examples illustrate the optimal accuracy and robustness of the method, even in the presence of badly cut cells or faces, and its suitability to simulate microfluidic systems from CAD geometries.

categories: math.NA cs.CE cs.NA physics.comp-ph physics.flu-dyn


title: Invariant Anomaly Detection under Distribution Shifts: A Causal Perspective

abstract: Anomaly detection (AD) is the machine learning task of identifying highly discrepant abnormal samples by solely relying on the consistency of the normal training samples. Under the constraints of a distribution shift, the assumption that training samples and test samples are drawn from the same distribution breaks down. In this work, by leveraging tools from causal inference we attempt to increase the resilience of anomaly detection models to different kinds of distribution shifts. We begin by elucidating a simple yet necessary statistical property that ensures invariant representations, which is critical for robust AD under both domain and covariate shifts. From this property, we derive a regularization term which, when minimized, leads to partial distribution invariance across environments. Through extensive experimental evaluation on both synthetic and real-world tasks, covering a range of six different AD methods, we demonstrated significant improvements in out-of-distribution performance. Under both covariate and domain shift, models regularized with our proposed term showed marked increased robustness. Code is available at: https://github.com/JoaoCarv/invariant-anomaly-detection.


title: Random anti-commuting Hermitian matrices

abstract: We consider pairs of anti-commuting $2p$-by-$2p$ Hermitian matrices that are chosen randomly with respect to a Gaussian measure. Generically such a pair decomposes into the direct sum of $2$-by-$2$ blocks on which the first matrix has eigenvalues $\pm x_j$ and the second has eigenvalues $\pm y_j$. We call $\{ (x_j, y_j) \}$ the skew spectrum of the pair. We derive a formula for the probability density of the skew spectrum, and show that the elements are repelling.


title: Maximum entropy GFlowNets with soft Q-learning

abstract: Generative Flow Networks (GFNs) have emerged as a powerful tool for sampling discrete objects from unnormalized distributions, offering a scalable alternative to Markov Chain Monte Carlo (MCMC) methods. While GFNs draw inspiration from maximum entropy reinforcement learning (RL), the connection between the two has largely been unclear and seemingly applicable only in specific cases. This paper addresses the connection by constructing an appropriate reward function, thereby establishing an exact relationship between GFNs and maximum entropy RL. This construction allows us to introduce maximum entropy GFNs, which, in contrast to GFNs with uniform backward policy, achieve the maximum entropy attainable by GFNs without constraints on the state space.


title: Emphasizing Sociomathematical Norms in Introductory Proof-Writing Courses

abstract: We discuss three proof evaluation activities meant to promote the acquisition of sociomathematical skills in an introductory undergraduate proof-writing course. Sociomathematical norms include meta-mathematical learning behaviors of professional mathematics, for example the ability to read and discuss mathematics critically, reach a consensus on correctness and clarity as a group, and verbalize what qualities ``good" proofs possess. The first of these activities involves peer review, the second focuses on evaluating the quality of internet resources, and the third emphasizes the progression of proof ideas and the brainstorm-sketch-revise process of professional mathematics. All three of the activities involve groupwork and meta-mathematical discussion questions to develop students' sociomathematical skills.


title: Behaviour Modelling of Social Animals via Causal Structure Discovery and Graph Neural Networks

abstract: Better understanding the natural world is a crucial task with a wide range of applications. In environments with close proximity between humans and animals, such as zoos, it is essential to better understand the causes behind animal behaviour and what interventions are responsible for changes in their behaviours. This can help to predict unusual behaviours, mitigate detrimental effects and increase the well-being of animals. There has been work on modelling the dynamics behind swarms of birds and insects but the complex social behaviours of mammalian groups remain less explored. In this work, we propose a method to build behavioural models using causal structure discovery and graph neural networks for time series. We apply this method to a mob of meerkats in a zoo environment and study its ability to predict future actions and model the behaviour distribution at an individual-level and at a group level. We show that our method can match and outperform standard deep learning architectures and generate more realistic data, while using fewer parameters and providing increased interpretability.


title: DP-AdamBC: Your DP-Adam Is Actually DP-SGD (Unless You Apply Bias Correction)

abstract: The Adam optimizer is a popular choice in contemporary deep learning, due to its strong empirical performance. However we observe that in privacy sensitive scenarios, the traditional use of Differential Privacy (DP) with the Adam optimizer leads to sub-optimal performance on several tasks. We find that this performance degradation is due to a DP bias in Adam's second moment estimator, introduced by the addition of independent noise in the gradient computation to enforce DP guarantees. This DP bias leads to a different scaling for low variance parameter updates, that is inconsistent with the behavior of non-private Adam. We propose DP-AdamBC, an optimization algorithm which removes the bias in the second moment estimation and retrieves the expected behaviour of Adam. Empirically, DP-AdamBC significantly improves the optimization performance of DP-Adam by up to 3.5% in final accuracy in image, text, and graph node classification tasks.


title: Context-aware Decoding Reduces Hallucination in Query-focused Summarization

abstract: Query-focused summarization (QFS) aims to provide a summary of a single document/multi documents that can satisfy the information needs of a given query. It is useful for various real-world applications, such as abstractive snippet generation or more recent retrieval augmented generation (RAG). A prototypical QFS pipeline consists of a retriever (sparse or dense retrieval) and a generator (usually a large language model). However, applying large language models (LLM) potentially leads to hallucinations, especially when the evidence contradicts the prior belief of LLMs. There has been growing interest in developing new decoding methods to improve generation quality and reduce hallucination. In this work, we conduct a large-scale reproducibility study on one recently proposed decoding method -- Context-aware Decoding (CAD). In addition to replicating CAD's experiments on news summarization datasets, we include experiments on QFS datasets, and conduct more rigorous analysis on computational complexity and hyperparameter sensitivity. Experiments with eight different language models show that performance-wise, CAD improves QFS quality by (1) reducing factuality errors/hallucinations while (2) mostly retaining the match of lexical patterns, measured by ROUGE scores, while also at a cost of increased inference-time FLOPs and reduced decoding speed. The code implementation based on Huggingface Library is made available https://github.com/zhichaoxu-shufe/context-aware-decoding-qfs


title: Constraint-Informed Learning for Warm Starting Trajectory Optimization

abstract: Future spacecraft and surface robotic missions require increasingly capable autonomy stacks for exploring challenging and unstructured domains and trajectory optimization will be a cornerstone of such autonomy stacks. However, the nonlinear optimization solvers required remain too slow for use on relatively resource constrained flight-grade computers. In this work, we turn towards amortized optimization, a learning-based technique for accelerating optimization run times, and present TOAST: Trajectory Optimization with Merit Function Warm Starts. Offline, using data collected from a simulation, we train a neural network to learn a mapping to the full primal and dual solutions given the problem parameters. Crucially, we build upon recent results from decision-focused learning and present a set of decision-focused loss functions using the notion of merit functions for optimization problems. We show that training networks with such constraint-informed losses can better encode the structure of the trajectory optimization problem and jointly learn to reconstruct the primal-dual solution while also yielding improved constraint satisfaction. Through numerical experiments on a Lunar rover problem, we demonstrate that TOAST outperforms benchmark approaches in terms of both computation times and network prediction constraint satisfaction.


title: Remark on the uniqueness of the mild solution of SQG equation

abstract: We study the two-dimensional surface quasi-geostrophic equation. Motivated by the uniqueness for the three-dimensional incompressible Navier-Stokes equations, we demonstrate that the uniqueness of the mild solution of the two-dimensional surface quasi-geostrophic equation holds in the scaling critical Lebesgue space with a unique structure of the non-linear term.


title: Differential cohomology (encyclopedia article)

abstract: We give an overview of differential cohomology from the point of view of algebraic topology. This includes a survey of several different definitions of differential cohomology groups, a discussion of differential characteristic classes, an introduction to differential generalized cohomology theory, and some applications in physics.


title: The UmboMic: A PVDF Cantilever Microphone

abstract: Objective: We present the "UmboMic," a prototype piezoelectric cantilever microphone designed for future use with totally-implantable cochlear implants. Methods: The UmboMic sensor is made from polyvinylidene difluoride (PVDF) because of its low Young's modulus and biocompatibility. The sensor is designed to fit in the middle ear and measure the motion of the underside of the eardrum at the umbo. To maximize its performance, we developed a low noise charge amplifier in tandem with the UmboMic sensor. This paper presents the performance of the UmboMic sensor and amplifier in fresh cadaveric human temporal bones. Results: When tested in human temporal bones, the UmboMic apparatus achieves an equivalent input noise of 32.3 dB SPL over the frequency range 100 Hz to 7 kHz, good linearity, and a flat frequency response to within 10 dB from about 100 Hz to 6 kHz. Conclusion: These results demonstrate the feasibility of a PVDF-based microphone when paired with a low-noise amplifier. The reported UmboMic apparatus is comparable in performance to a conventional hearing aid microphone. Significance: The proof-of-concept UmboMic apparatus is a promising step towards creating a totally-implantable cochlear implant. A completely internal system would enhance the quality of life of cochlear implant users.


title: Numerical evidence for fractional topological objects in SU(3) gauge theory

abstract: The continued development of models that propose the existence of fractional topological objects in the Yang-Mills vacuum has called for a quantitative method to study the topological structure of $\mathrm{SU}(N)$ gauge theory. We present an original numerical algorithm that can identify distinct topological objects in the nontrivial ground-state fields and approximate the net charge contained within them. This analysis is performed for $\mathrm{SU(3)}$ colour at a range of temperatures crossing the deconfinement phase transition, allowing for an assessment of how the topological structure evolves with temperature. We find a promising consistency with the instanton-dyon model for the structure of the QCD vacuum at finite temperature. Several other quantities, such as object density and radial size, are also analysed to elicit a further understanding of the fundamental structure of ground-state gluon fields.


title: A full splitting algorithm for fractional programs with structured numerators and denominators

abstract: In this paper, we consider a class of nonconvex and nonsmooth fractional programming problems, which involve the sum of a convex, possibly nonsmooth function composed with a linear operator and a differentiable, possibly nonconvex function in the numerator and a convex, possibly nonsmooth function composed with a linear operator in the denominator. These problems have applications in various fields, including CT reconstruction and sparse signal recovery. We propose an adaptive full-splitting proximal subgradient algorithm with an extrapolated step that addresses the challenge of evaluating the composition in the numerator by decoupling the linear operator from the nonsmooth component. We specifically evaluate the nonsmooth function using its proximal operator, while the linear operator is assessed through forward evaluations. Furthermore, the smooth component in the numerator is evaluated through its gradient, the nonsmooth component in the denominator is managed using its subgradient, and the linear operator in the denominator is also assessed through forward evaluations. We demonstrate subsequential convergence toward an approximate lifted stationary point and ensure global convergence under the Kurdyka-\L ojasiewicz property, all achieved {\it without relying on any full-row rank assumptions regarding the linear operators}. We further explain the reasoning behind aiming for an approximate lifted stationary point. This is exemplified by constructing a scenario illustrating that the algorithm could diverge when seeking exact solutions. Lastly, we present a practical iteration of the algorithm incorporating a nonmonotone line search, significantly enhancing its convergence performance. Our theoretical findings are validated through simulations involving limited-angle CT reconstruction and the robust sharp ratio minimization problem.


title: Identifying topologically associating domains using differential kernels

abstract: Chromatin is a polymer complex of DNA and proteins that regulates gene expression. The three-dimensional structure and organization of chromatin controls DNA transcription and replication. High-throughput chromatin conformation capture techniques generate Hi-C maps that can provide insight into the 3D structure of chromatin. Hi-C maps can be represented as a symmetric matrix where each element represents the average contact probability or number of contacts between two chromatin loci. Previous studies have detected topologically associating domains (TADs), or self-interacting regions in Hi-C maps within which the contact probability is greater than that outside the region. Many algorithms have been developed to identify TADs within Hi-C maps. However, most TAD identification algorithms are unable to identify nested or overlapping TADs and for a given Hi-C map there is significant variation in the location and number of TADs identified by different methods. We develop a novel method, KerTAD, using a kernel-based technique from computer vision and image processing that is able to accurately identify nested and overlapping TADs. We benchmark this method against state-of-the-art TAD identification methods on both synthetic and experimental data sets. We find that KerTAD consistently has higher true positive rates (TPR) and lower false discovery rates (FDR) than all tested methods for both synthetic and manually annotated experimental Hi-C maps. The TPR for KerTAD is also largely insensitive to increasing noise and sparsity, in contrast to the other methods. We also find that KerTAD is consistent in the number and size of TADs identified across replicate experimental Hi-C maps for several organisms. KerTAD will improve automated TAD identification and enable researchers to better correlate changes in TADs to biological phenomena, such as enhancer-promoter interactions and disease states.


title: Magnetic Sensor Compensation Utilizing Factor Graph Estimation

abstract: Recently, there has been significant interest in the ability to navigate without GPS using the magnetic anomaly field of the Earth (magnav). One of the key technical bottlenecks to achieving magnav is obtaining an accurate magnetic sensor calibration, taking into account own-ship and sensor effects. The Tolles-Lawson magnetic calibration method was developed when airborne magnetic survey aircraft were first employed 80 years ago. In this paper, we present a magnetic calibration algorithm based on a factor graph optimization using inertial measurements as well as inputs from both a vector and scalar magnetometer. The factor graph is well suited for combining multiple sensor inputs and allows accurate calibrations in the presence of large permanent moments as well as estimating a time-varying external magnetic field during the calibration, two problems that are difficult to solve with previous approaches. The ability to accurately calibrate a magnetic sensor in flight (i.e. with the presence of a large platform field and a varying Earth field due to movement) will allow greater flexibility in sensor mounting locations for magnetic anomaly navigation.


title: Frustrated metastable-to-equilibrium grain boundary structural transition in NbMoTaW due to segregation and chemical complexity

abstract: Grain boundary structural transitions can lead to significant changes in the properties and performance of materials. In multi-principal element alloys, understanding these transitions becomes complex due to phenomena such as local chemical ordering and multi-component segregation. Using atomistic simulations, we explore a metastable-to-equilibrium grain boundary structural transition in NbMoTaW. The transition, characterized by structural disordering and reduced free volume, shows high sensitivity to its local chemical environment. Most notably, the transition temperature range of the alloy is more than twice that of a pure metal. Differences in composition between coexisting metastable and equilibrium structures highlight the change in local site availability due to structural relaxation. Further examination of grain boundaries with fixed chemical states at varying temperatures reveals that the amount of segregation significantly influences the onset temperature yet has minimal effect on the transition width. These insights underscore the profound effects of chemical complexity and ordering on grain boundary transitions in complex concentrated alloys, marking a meaningful advancement in our understanding of grain boundary behavior at the atomic level.


title: Logic-Scaffolding: Personalized Aspect-Instructed Recommendation Explanation Generation using LLMs

abstract: The unique capabilities of Large Language Models (LLMs), such as the natural language text generation ability, position them as strong candidates for providing explanation for recommendations. However, despite the size of the LLM, most existing models struggle to produce zero-shot explanations reliably. To address this issue, we propose a framework called Logic-Scaffolding, that combines the ideas of aspect-based explanation and chain-of-thought prompting to generate explanations through intermediate reasoning steps. In this paper, we share our experience in building the framework and present an interactive demonstration for exploring our results.


title: Don't Believe Everything You Read: Enhancing Summarization Interpretability through Automatic Identification of Hallucinations in Large Language Models

abstract: Large Language Models (LLMs) are adept at text manipulation -- tasks such as machine translation and text summarization. However, these models can also be prone to hallucination, which can be detrimental to the faithfulness of any answers that the model provides. Recent works in combating hallucinations in LLMs deal with identifying hallucinated sentences and categorizing the different ways in which models hallucinate. This paper takes a deep dive into LLM behavior with respect to hallucinations, defines a token-level approach to identifying different kinds of hallucinations, and further utilizes this token-level tagging to improve the interpretability and faithfulness of LLMs in dialogue summarization tasks. Through this, the paper presents a new, enhanced dataset and a new training paradigm.


title: Pairing effects on pure rotational energy of nuclei

abstract: By applying the angular-momentum projection (AMP) to the self-consistent axial mean-field solutions with the semi-realistic effective Hamiltonian M3Y-P6, the pairing effects on the pure rotational energy of nuclei, \textit{i.e.}, the rotational energy at a fixed intrinsic state, have been investigated. While it was shown at the Hartree-Fock (HF) level that the individual terms of the Hamiltonian contribute to the rotational energy with ratios insensitive to nuclides except for light or weakly-deformed nuclei, the pair correlations significantly change the contributions, even for the well-deformed heavy nuclei. The contribution of the interaction to the rotational energy is found to correlate well with the degree of proximity between nucleons, which is measured via the expectation value that two nucleons exist at the same position. While the nucleons slightly spread as the angular momentum increases at the HF level, accounting for the positive (negative) contribution of the attractive (repulsive) components of the interaction, the pair correlations reduce or invert the effect.


title: Symmetric functions from the six-vertex model in half-space

abstract: We study the stochastic six-vertex model in half-space with generic integrable boundary weights, and define two families of multivariate rational symmetric functions. Using commutation relations between double-row operators, we prove a skew Cauchy identity of these functions. In a certain degeneration of the right-hand side of the Cauchy identity we obtain the partition function of the six-vertex model in a half-quadrant, and give a Pfaffian formula for this quantity. The Pfaffian is a direct generalization of a formula obtained by Kuperberg in his work on symmetry classes of alternating-sign matrices. One of our families of symmetric functions admits an integral (sum over residues) formula, and we use this to conjecture an orthogonality property of the dual family. We conclude by studying the reduction of our integral formula to transition probabilities of the (initially empty) asymmetric simple exclusion process on the half-line.


title: Comments on the negative grade KdV hierarchy

abstract: The construction of negative grade KdV hierarchy is proposed in terms of a Miura-gauge transformation. Such gauge transformation is employed within the zero curvature representation and maps the Lax operator of the mKdV into its couterpart within the KdV setting. Each odd negative KdV flow is obtained from an odd and its subsequent even negative mKdV flows. The negative KdV flows are shown to inherit the two different vacua structure that characterizes the associated mKdV flows.


title: Convolution Neural Network Model Framework to Predict Microscale Drag Force for Turbulent Flow in Porous Media

abstract: Convolution Neural Networks (CNN) are well-suited to model the nonlinear relationship between the microscale geometry of porous media and the corresponding flow distribution, thereby accurately and efficiently coupling the flow behavior at the micro- and macro- scale levels. In this paper, we have identified the challenges involved in implementing CNNs for macroscale model closure in the turbulent flow regime, particularly in the prediction of the drag force components arising from the microscale level. We report that significant error is incurred in the crucial data preparation step when the Reynolds averaged pressure and velocity distributions are interpolated from unstructured stretched grids used for Large Eddy Simulation (LES) to the structured uniform grids used by the CNN model. We show that the range of the microscale velocity values is 10 times larger than the range of the pressure values. This invalidates the use of the mean squared error loss function to train the CNN model for multivariate prediction. We have developed a CNN model framework that addresses these challenges by proposing a conservative interpolation method and a normalized mean squared error loss function. We simulated a model dataset to train the CNN for turbulent flow prediction in periodic porous media composed of cylindrical solid obstacles with square cross-section by varying the porosity in the range 0.3 to 0.88. We demonstrate that the resulting CNN model predicts the pressure and viscous drag forces with less than 10% mean absolute error when compared to LES while offering a speedup of O(10^6).


title: Powers of permutations that avoid chains of patterns

abstract: In a recent paper, Bona and Smith define the notion of \textit{strong avoidance}, in which a permutation and its square both avoid a given pattern. In this paper, we generalize this idea to what we call \textit{chain avoidance}. We say that a permutation avoids a chain of patterns $(\tau_1 : \tau_2: \cdots : \tau_k)$ if the $i$-th power of the permutation avoids the pattern $\tau_i$. We enumerate the set of permutations $\pi$ which avoid the chain $(213, 312 : \tau)$, i.e.,~unimodal permutations whose square avoids $\tau$, for $\tau \in \S_3$ and use this to find a lower bound on the number of permutations that avoid the chain $(312: \tau)$ for $\tau \in \S_3$. We finish the paper by discussing permutations that avoid longer chains.


title: The Propagation of Fast Radio Bursts in the Magnetosphere Shapes Their Waiting-time and Flux Distributions

abstract: The field of fast radio bursts (FRBs) has entered the age of fine characterization as observational results from different radio telescopes become more and more abundant. The large FRB sample is suitable for a statistical study. There is an interesting finding that the waiting-time distributions of very active repeating FRBs show a universal double-peaked feature, with left peaks lower than right ones. Assuming these two peaks are independent and initially comparable, we show that the observed asymmetric shape can be ascribed to the propagational effect in the magnetosphere. An FRB passing through the magnetized plasma will induce the circular motion of charged particles to form a current loop. This further leads to an induced magnetic field with opposite direction respect to the background field. As the effective field strength changes, the scattering absorption probability of the following FRB will be influenced. The absorption can be important under certain physical conditions and bursts with smaller time-lags are easier to be absorbed. Also there will be an imprint on the flux distribution as the scattering optical depth depends on burst luminosity as well.


title: Chaos spectrum -- semiconductor laser with delayed optical feedback

abstract: Maximizing the rf bandwidth associated with the chaotic output from tailored operation of nonlinear semiconductor laser systems is an ongoing research effort. The early pioneering research was done in semiconductor laser with delayed optical feedback systems, which continue to be researched. We report numerical simulations of this system, using a travelling wave model. The results provide new insights into the impact of key device parameters affecting the chaos bandwidth and spectrum. Linewidth enhancement factor and the nonlinear gain saturation parameter are found to be the most important parameters when seeking to optimize the chaotic output. We reassess a standard definition being used to report chaos bandwidth. We propose that more spectral information should be reported if numerical and experimental research results are to be of most value into the future. A database from previous experimental study is also analyzed to connect with the predictions of the numerical simulations. This elucidates the links between the chaos bandwidth achieved in real systems and the semiconductor laser parameters. The results inform recommendations for semiconductor laser parameters that will better support broadband chaos generation in whatever semiconductor-gain-medium-based nonlinear system approach is being used. They elucidate the physics of both the envelope and the fine structure of the rf spectrum of coherence collapse.


title: Heavy flavor transport and observables in heavy-ion collisions within the MARTINI+MUSIC framework

abstract: We study the transport dynamics of charm quarks within an expanding quark-gluon plasma for Pb+Pb collisions at 2.76 TeV. The analysis incorporates the hydrodynamical approach-MUSIC with fluctuating IP-Glasma initial state and Bayesian-quantified viscous coefficients. We study the interaction strength of charm quarks in the medium, including elastic collisional processes with medium constituents, gluon emission processes, and the impact of non-perturbative interactions on heavy quark transport. Further, we analyze the dynamics of heavy flavors using a hybrid framework that incorporates the MARTINI event generator, with PYTHIA8.1 for the initial production of heavy quarks, and Langevin dynamics to describe the evolution of heavy quarks.


title: Optimal Strategies for the Decumulation of Retirement Savings under Differing Appetites for Liquidity and Investment Risks

abstract: A retiree's appetite for risk is a common input into the lifetime utility models that are traditionally used to find optimal strategies for the decumulation of retirement savings. In this work, we consider a retiree with potentially differing appetites for the key financial risks of decumulation: liquidity risk and investment risk. We set out to determine whether these differing risk appetites have a significant impact on the retiree's optimal choice of decumulation strategy. To do so, we design and implement a framework which selects the optimal decumulation strategy from a general set of admissible strategies in line with a retiree's goals, and under differing appetites for the key risks of decumulation. Overall, we find significant evidence to suggest that a retiree's differing appetites for different decumulation risks will impact their optimal choice of strategy at retirement. Through an illustrative example calibrated to the Australian context, we find results which are consistent with actual behaviours in this jurisdiction (in particular, a shallow market for annuities), which lends support to our framework and may provide some new insight into the so-called annuity puzzle.


title: Interactive simulation and visualization of point spread functions in single molecule imaging

abstract: The point spread function (PSF) is fundamental to any type of microscopy, most importantly so for single-molecule localization techniques, where the exact PSF shape is crucial for precise molecule localization at the nanoscale. However, optical aberrations and fixed fluorophore dipoles can lead to non-isotropic and distorted PSFs, thereby complicating and biasing conventional fitting approaches. In addition, some researchers deliberately modify the PSF by introducing specific phase shifts in order to provide improved sensitivity, e.g., for localizing molecules in 3D, or for determining the dipole orientation. For devising an experimental approach, but also for interpreting obtained data it would be helpful to have a simple visualization tool which calculates the expected PSF for the experiment in mind. To address this need, we have developed a comprehensive and accessible computer application that allows for the simulation of realistic PSFs based on the full vectorial PSF model. It incorporates a wide range of microscope and fluorophore parameters, enabling an accurate representation of various imaging conditions. Further, our app directly provides the Cramer-Rao bound for assessing the best achievable localization precision under given conditions. In addition to facilitating the simulation of PSFs of isotropic emitters, our application provides simulations of fixed dipole orientations as encountered, e.g., in cryogenic single-molecule localization microscopy applications. Moreover, it supports the incorporation of optical aberrations and phase manipulations for PSF engineering, as well as the simulation of crowded environments with overlapping molecules. Importantly, our software allows for the fitting of custom aberrations directly from experimental data, effectively bridging the gap between simulated and experimental scenarios, and enhancing experimental design and result validation.


title: On Bose-Einstein condensation in interacting Bose gases in the Kac-Luttinger model

abstract: We study interacting Bose gases of dimensions $2\le d \in \mathbb N$ at zero temperature in a random model known as the Kac-Luttinger model. Choosing the pair-interaction between the bosons to be of a mean-field type, we prove (complete) Bose-Einstein condensation in probability or with probability almost one into the minimizer of a Hartree-type functional. We accomplish this by building upon very recent results by Alain-Sol Sznitman on the spectral gap of the noninteracting Bose gas.

categories: math-ph cond-mat.quant-gas math.MP quant-ph


title: A utility belt for an agricultural robot: reflection-in-action for applied design research

abstract: Clothing for robots can help expand a robot's functionality and also clarify the robot's purpose to bystanders. In studying how to design clothing for robots, we can shed light on the functional role of aesthetics in interactive system design. We present a case study of designing a utility belt for an agricultural robot. We use reflection-in-action to consider the ways that observation, in situ making, and documentation serve to illuminate how pragmatic, aesthetic, and intellectual inquiry are layered in this applied design research project. Themes explored in this pictorial include 1) contextual discovery of materials, tools, and practices, 2) design space exploration of materials in context, 3) improvising spaces for making, and 4) social processes in design. These themes emerged from the qualitative coding of 25 reflection-in-action videos from the researcher. We conclude with feedback on the utility belt prototypes for an agriculture robot and our learnings about context, materials, and people needed to design successful novel clothing forms for robots.


title: Training Neural Networks with Internal State, Unconstrained Connectivity, and Discrete Activations

abstract: Today's most powerful machine learning approaches are typically designed to train stateless architectures with predefined layers and differentiable activation functions. While these approaches have led to unprecedented successes in areas such as natural language processing and image recognition, the trained models are also susceptible to making mistakes that a human would not. In this paper, we take the view that true intelligence may require the ability of a machine learning model to manage internal state, but that we have not yet discovered the most effective algorithms for training such models. We further postulate that such algorithms might not necessarily be based on gradient descent over a deep architecture, but rather, might work best with an architecture that has discrete activations and few initial topological constraints (such as multiple predefined layers). We present one attempt in our ongoing efforts to design such a training algorithm, applied to an architecture with binary activations and only a single matrix of weights, and show that it is able to form useful representations of natural language text, but is also limited in its ability to leverage large quantities of training data. We then provide ideas for improving the algorithm and for designing other training algorithms for similar architectures. Finally, we discuss potential benefits that could be gained if an effective training algorithm is found, and suggest experiments for evaluating whether these benefits exist in practice.


title: Designing a Skilled Soccer Team for RoboCup: Exploring Skill-Set-Primitives through Reinforcement Learning

abstract: The RoboCup 3D Soccer Simulation League serves as a competitive platform for showcasing innovation in autonomous humanoid robot agents through simulated soccer matches. Our team, FC Portugal, developed a new codebase from scratch in Python after RoboCup 2021. The team's performance is based on a set of skills centered around novel unifying primitives and a custom, symmetry-extended version of the Proximal Policy Optimization algorithm. Our methods have been thoroughly tested in official RoboCup matches, where FC Portugal has won the last two main competitions, in 2022 and 2023. This paper presents our training framework, as well as a timeline of skills developed using our skill-set-primitives, which considerably improve the sample efficiency and stability of skills, and motivate seamless transitions. We start with a significantly fast sprint-kick developed in 2021 and progress to the most recent skill set, which includes a multi-purpose omnidirectional walk, a dribble with unprecedented ball control, a solid kick, and a push skill. The push tackles both low-level collision-prone scenarios and high-level strategies to increase ball possession. We address the resource-intensive nature of this task through an innovative multi-agent learning approach. Finally, we release the codebase of our team to the RoboCup community, enabling other teams to transition to Python more easily and providing new teams with a robust and modern foundation upon which they can build new features.


title: A Gradient-Based Optimization Method Using the Koopman Operator

abstract: In this paper, we propose a novel approach to solving optimization problems by reformulating the optimization problem into a dynamical system, followed by the adaptive spectral Koopman (ASK) method. The Koopman operator, employed in our approach, approximates the evolution of an ordinary differential equation (ODE) using a finite number of eigenfunctions and eigenvalues. We begin by providing a brief overview of the Koopman operator and the ASK method. Subsequently, we adapt the ASK method for solving a general optimization problem. Moreover, we provide an error bound to aid in understanding the performance of the proposed approach, marking the initial step in a more comprehensive numerical analysis. Experimentally, we demonstrate the applicability and accuracy of our method across a diverse range of optimization problems, including min-max problems. Our approach consistently yields smaller gradient norms and higher success rates in finding critical points compared to state-of-the-art gradient-based methods. We also observe the proposed method works particularly well when the dynamical properties of the system can be effectively modeled by the system's behaviors in a neighborhood of critical points.


title: Strict Frechet Differentiability of the Metric Projection Operator in Hilbert Spaces

abstract: In this paper, we prove strict Frechet differentiability of the metric projection operator onto closed balls in Hilbert spaces and onto positive cones in Euclidean spaces. We find the exact expressions for Frechet derivatives. Since Frechet differentiability implies Gateaux directional differentiability, the results obtained in this paper strengthen the results obtained in [8] and [10] about the directional differentiability of the metric projection operator onto closed balls in Hilbert spaces and positive cones in Euclidean spaces and in the real Hilbert space l2.


title: CEPC Technical Design Report -- Accelerator (v2)

abstract: The Circular Electron Positron Collider (CEPC) is a large scientific project initiated and hosted by China, fostered through extensive collaboration with international partners. The complex comprises four accelerators: a 30 GeV Linac, a 1.1 GeV Damping Ring, a Booster capable of achieving energies up to 180 GeV, and a Collider operating at varying energy modes (Z, W, H, and ttbar). The Linac and Damping Ring are situated on the surface, while the Booster and Collider are housed in a 100 km circumference underground tunnel, strategically accommodating future expansion with provisions for a Super Proton Proton Collider (SPPC). The CEPC primarily serves as a Higgs factory. In its baseline design with synchrotron radiation (SR) power of 30 MW per beam, it can achieve a luminosity of 5e34 /cm^2/s^1, resulting in an integrated luminosity of 13 /ab for two interaction points over a decade, producing 2.6 million Higgs bosons. Increasing the SR power to 50 MW per beam expands the CEPC's capability to generate 4.3 million Higgs bosons, facilitating precise measurements of Higgs coupling at sub-percent levels, exceeding the precision expected from the HL-LHC by an order of magnitude. This Technical Design Report (TDR) follows the Preliminary Conceptual Design Report (Pre-CDR, 2015) and the Conceptual Design Report (CDR, 2018), comprehensively detailing the machine's layout and performance, physical design and analysis, technical systems design, R&D and prototyping efforts, and associated civil engineering aspects. Additionally, it includes a cost estimate and a preliminary construction timeline, establishing a framework for forthcoming engineering design phase and site selection procedures. Construction is anticipated to begin around 2027-2028, pending government approval, with an estimated duration of 8 years. The commencement of experiments could potentially initiate in the mid-2030s.


title: GreenScan: Towards large-scale terrestrial monitoring the health of urban trees using mobile sensing

abstract: Healthy urban greenery is a fundamental asset to mitigate climate change phenomena such as extreme heat and air pollution. However, urban trees are often affected by abiotic and biotic stressors that hamper their functionality, and whenever not timely managed, even their survival. While the current greenery inspection techniques can help in taking effective measures, they often require a high amount of human labor, making frequent assessments infeasible at city-wide scales. In this paper, we present GreenScan, a ground-based sensing system designed to provide health assessments of urban trees at high spatio-temporal resolutions, with low costs. The system utilises thermal and multi-spectral imaging sensors fused using a custom computer vision model in order to estimate two tree health indexes. The evaluation of the system was performed through data collection experiments in Cambridge, USA. Overall, this work illustrates a novel approach for autonomous mobile ground-based tree health monitoring on city-wide scales at high temporal resolutions with low-costs.