title: Emergent Dynamics in Heterogeneous Life-Like Cellular Automata

abstract: The Game of Life (GoL), one well known 2D cellular automaton, does not typically ensure interesting long-term phenotypic dynamics. Therefore, while being Turing complete, GoL cannot be said to be open-ended. In this work, we extend GoL with the opportunity for local mutations, thus enabling a heterogeneous life-like cellular automaton guided by an evolutionary inner loop. Additionally, we introduce the concept of cell ageing to ensure that cell aliveness (activated by inheritance with variation, and controlled by ageing) and actual cell computation (governed by life-like rules on local neighborhoods) are kept conceptually separated. We conduct an experimental campaign to identify suitable parameters that produce long-term phenotypic dynamics and favor genotypic innovations.


title: Straight Through Gumbel Softmax Estimator based Bimodal Neural Architecture Search for Audio-Visual Deepfake Detection

abstract: Deepfakes are a major security risk for biometric authentication. This technology creates realistic fake videos that can impersonate real people, fooling systems that rely on facial features and voice patterns for identification. Existing multimodal deepfake detectors rely on conventional fusion methods, such as majority rule and ensemble voting, which often struggle to adapt to changing data characteristics and complex patterns. In this paper, we introduce the Straight-through Gumbel-Softmax (STGS) framework, offering a comprehensive approach to search multimodal fusion model architectures. Using a two-level search approach, the framework optimizes the network architecture, parameters, and performance. Initially, crucial features were efficiently identified from backbone networks, whereas within the cell structure, a weighted fusion operation integrated information from various sources. An architecture that maximizes the classification performance is derived by varying parameters such as temperature and sampling time. The experimental results on the FakeAVCeleb and SWAN-DF datasets demonstrated an impressive AUC value 94.4\% achieved with minimal model parameters.


title: Explainable by-design Audio Segmentation through Non-Negative Matrix Factorization and Probing

abstract: Audio segmentation is a key task for many speech technologies, most of which are based on neural networks, usually considered as black boxes, with high-level performances. However, in many domains, among which health or forensics, there is not only a need for good performance but also for explanations about the output decision. Explanations derived directly from latent representations need to satisfy "good" properties, such as informativeness, compactness, or modularity, to be interpretable. In this article, we propose an explainable-by-design audio segmentation model based on non-negative matrix factorization (NMF) which is a good candidate for the design of interpretable representations. This paper shows that our model reaches good segmentation performances, and presents deep analyses of the latent representation extracted from the non-negative matrix. The proposed approach opens new perspectives toward the evaluation of interpretable representations according to "good" properties.


title: Online Domain-Incremental Learning Approach to Classify Acoustic Scenes in All Locations

abstract: In this paper, we propose a method for online domain-incremental learning of acoustic scene classification from a sequence of different locations. Simply training a deep learning model on a sequence of different locations leads to forgetting of previously learned knowledge. In this work, we only correct the statistics of the Batch Normalization layers of a model using a few samples to learn the acoustic scenes from a new location without any excessive training. Experiments are performed on acoustic scenes from 11 different locations, with an initial task containing acoustic scenes from 6 locations and the remaining 5 incremental tasks each representing the acoustic scenes from a different location. The proposed approach outperforms fine-tuning based methods and achieves an average accuracy of 48.8% after learning the last task in sequence without forgetting acoustic scenes from the previously learned locations.


title: Boundary conditions alter density and stress fluctuations in shear-thickening suspensions

abstract: Discontinuous shear thickening (DST) in dense suspensions is accompanied by significant fluctuations in stress at a fixed shear rate. In this work, normal stress fluctuations are shown to have a one-to-one relationship with the formation and dissolution of local high-density regions. Namely, a burst in the force response corresponds to the spontaneous appearance of inhomogeneity. We observe that boundary conditions can significantly alter the spatiotemporal scale of these fluctuations, from short-lived to more sustained and enduring patterns. We estimate the occurrence frequency R and the average intensity Q of individual bursts/inhomogeneity events. The growth of R with the shear rate is the most rapid for the rigid boundary, whereas Q is nonmonotonic with confinement stiffness. Our results indicate that boundary conditions alter the development of inhomogeneity and thus the stress response under shear.


title: Suppression without Thawing: Constraining Structure Formation and Dark Energy with Galaxy Clustering

abstract: We present a new perturbative full-shape analysis of BOSS galaxy clustering data, including the full combination of the galaxy power spectrum and bispectrum multipoles, baryon acoustic oscillations, and cross-correlations with the gravitational lensing of cosmic microwave background measured from \textit{Planck}. Assuming the $\Lambda$CDM model, we constrain the matter density fraction $\Omega_m = 0.3154\pm 0.0089$, the Hubble constant $H_0=68.34\pm 0.77\,\mathrm{km}\,\mathrm{s}^{-1}\mathrm{Mpc}^{-1}$, and the mass fluctuation amplitude $\sigma_8=0.686\pm 0.027$ (equivalent to $S_8 = 0.704\pm 0.031$). Cosmic structure at low redshifts appears suppressed with respect to the Planck $\Lambda$CDM concordance model at $4.5\sigma$. We explore whether this tension can be explained by the recent DESI preference for dynamical dark energy (DDE): the BOSS data combine with DESI BAO and PantheonPlus supernovae competitively compared to the CMB, yielding no preference for DDE, but the same $\sim 10\%$ suppression of structure, with dark energy being consistent with a cosmological constant at 68\% CL. Our results suggest that either the data contains residual systematics, or more model-building efforts may be required to restore cosmological concordance.


title: Unifying Mixed Gas Adsorption in Molecular Sieve Membranes and MOFs using Machine Learning

abstract: Recent machine learning models to accurately obtain gas adsorption isotherms focus on polymers or metal-organic frameworks (MOFs) separately. The difficulty in creating a unified model that can predict the adsorption trends in both types of adsorbents is challenging, owing to the diversity in their chemical structures. Moreover, models trained only on single gas adsorption data are incapable of predicting adsorption isotherms for binary gas mixtures. In this work, we address these problems using feature vectors comprising only the physical properties of the gas mixtures and adsorbents. Our model is trained on adsorption isotherms of both single and binary mixed gases inside carbon molecular sieving membrane (CMSM), together with data available from CoRE MOF database. The trained models are capable of accurately predicting the adsorption trends in both classes of materials, for both pure and binary components. ML architecture designed for one class of material, is not suitable for predicting the other class, even after proper training, signifying that the model must be trained jointly for proper predictions and transferability. The model is used to predict with good accuracy the CO2 uptake inside CALF-20 framework. This work opens up a new avenue for predicting complex adsorption processes for gas mixtures in a wide range of materials.

categories: cond-mat.soft cond-mat.mtrl-sci cs.LG physics.comp-ph


title: Stabilizing the Kerr arbitrary cat states and holonomic universal control

abstract: The interference-free double potential wells realized by the two-photon driving Kerr nonlinear resonator (KNR) can stabilize cat states and protect them from decoherence through a large energy gap. In this work, we use a parametrically driving KNR to propose a novel engineering Hamiltonian that can stabilize arbitrary cat states and independently manipulate the superposed coherent states to move arbitrarily in phase space. This greater degree of control allows us to make the two potential wells collide and merge, generating a collision state with many novel properties. Furthermore, the potential wells carrying quantum states move adiabatically in phase space produce quantum holonomy. We explore the quantum holonomy of collision states for the first time and propose a holonomy-free preparation method for arbitrary cat states. Additionally, we develop a universal holonomic quantum computing protocol utilizing the quantum holonomy of coherent and collision states, including single-qubit rotation gates and multi-qubit control gates. Finally, we propose an experimentally feasible physical realization in superconducting circuits to achieve the Hamiltonian described above. Our proposal provides a platform with greater control degrees of freedom, enabling more operations on bosonic modes and the exploration of intriguing physics.


title: Connecting Rashba and Dresselhaus spin-orbit interactions to inversion asymmetry in perovskite oxide heterostructures

abstract: Inversion asymmetry, combined with spin orbit interaction, leads to Rashba or Dresselhaus effects, or combinations of them that are promising for technologies based on antiferromagnetic spintronics. Since understanding the exact nature of spin-orbit interaction is crucial for developing a technology based on it, mapping the nature of inversion asymmetry with the type of spin-orbit interaction becomes the key. We simulate a perovskite oxide heterostructure LaAlO$_3|$SrIrO$_3|$SrTiO$_3$ preserving the inversion symmetry within density functional theory to demonstrate the relation between the nature of inversion asymmetry and the corresponding Rashba or Dresselhaus-type interaction. With progressive distortion in the heterostructure, we find how the structure inversion asymmetry sets in with distorted bond lengths and bond angles, leading to Rashba effect in the system. Further, introduction of tilted IrO$_6$ octahedra leads to bulk inversion asymmetry, helping a combined Rashba-Dresselhaus interaction to set in. A comparison of the spin textures obtained from our DFT calculations and theoretical modeling helps us identify the exact nature of the interactions. Besides demonstrating the connection between the nature of asymmetry with Rashba and Dresselhaus interactions, our work may serve as a guide to identifying different types of Rashba-like spin-orbit interactions.


title: Strengthening Layer Interaction via Dynamic Layer Attention

abstract: In recent years, employing layer attention to enhance interaction among hierarchical layers has proven to be a significant advancement in building network structures. In this paper, we delve into the distinction between layer attention and the general attention mechanism, noting that existing layer attention methods achieve layer interaction on fixed feature maps in a static manner. These static layer attention methods limit the ability for context feature extraction among layers. To restore the dynamic context representation capability of the attention mechanism, we propose a Dynamic Layer Attention (DLA) architecture. The DLA comprises dual paths, where the forward path utilizes an improved recurrent neural network block, named Dynamic Sharing Unit (DSU), for context feature extraction. The backward path updates features using these shared context representations. Finally, the attention mechanism is applied to these dynamically refreshed feature maps among layers. Experimental results demonstrate the effectiveness of the proposed DLA architecture, outperforming other state-of-the-art methods in image recognition and object detection tasks. Additionally, the DSU block has been evaluated as an efficient plugin in the proposed DLA architecture.The code is available at https://github.com/tunantu/Dynamic-Layer-Attention.


title: Style-NeRF2NeRF: 3D Style Transfer From Style-Aligned Multi-View Images

abstract: We propose a simple yet effective pipeline for stylizing a 3D scene, harnessing the power of 2D image diffusion models. Given a NeRF model reconstructed from a set of multi-view images, we perform 3D style transfer by refining the source NeRF model using stylized images generated by a style-aligned image-to-image diffusion model. Given a target style prompt, we first generate perceptually similar multi-view images by leveraging a depth-conditioned diffusion model with an attention-sharing mechanism. Next, based on the stylized multi-view images, we propose to guide the style transfer process with the sliced Wasserstein loss based on the feature maps extracted from a pre-trained CNN model. Our pipeline consists of decoupled steps, allowing users to test various prompt ideas and preview the stylized 3D result before proceeding to the NeRF fine-tuning stage. We demonstrate that our method can transfer diverse artistic styles to real-world 3D scenes with competitive quality. Result videos are also available on our project page: https://haruolabs.github.io/style-n2n/


title: Gravitational Wave Birefringence from Fuzzy Dark Matter

abstract: Gravitational wave (GW) birefringence is a remarkable phenomenon that can be used to test the parity violation in gravity. By coupling the fuzzy dark matter (FDM) scalar to the gravitational Chern-Simons term, we explore the GW birefringence effects in the FDM background. In particular, in light of the highly oscillating granular FDM structure at the galactic scale, we are led to investigating the GW propagation in the Chern-Simons gravity over the general nontrivial scalar profile, which is a natural extension of previous studies on the homogeneous and isotropic configurations. As a result, it is found that GWs of both circularly polarized modes propagate in the straight line with the speed of light, and does not show any velocity birefringence. However, when considering the imaginary part of the dispersion relation, GWs exhibit the amplitude birefringence in which one circular polarization is enhanced while the other suppressed. Due to its local nature, the FDM-induced amplitude birefringence only depends on the GW frequency without any reliance on the GW event distance. More importantly, the birefringence factor shows a periodic time variation with the period reflecting the FDM scalar mass, which is the smoking gun for testing this new birefringence mechanism. Finally, we also study the extra-galactic FDM contribution to the GW birefringence, which is shown to be suppressed by the cosmological DM density and thus subdominant compared with the galactic counterpart.


title: Bayesian Inference for Multidimensional Welfare Comparisons

abstract: Using both single-index measures and stochastic dominance concepts, we show how Bayesian inference can be used to make multivariate welfare comparisons. A four-dimensional distribution for the well-being attributes income, mental health, education, and happiness are estimated via Bayesian Markov chain Monte Carlo using unit-record data taken from the Household, Income and Labour Dynamics in Australia survey. Marginal distributions of beta and gamma mixtures and discrete ordinal distributions are combined using a copula. Improvements in both well-being generally and poverty magnitude are assessed using posterior means of single-index measures and posterior probabilities of stochastic dominance. The conditions for stochastic dominance depend on the class of utility functions that is assumed to define a social welfare function and the number of attributes in the utility function. Three classes of utility functions are considered, and posterior probabilities of dominance are computed for one, two, and four-attribute utility functions for three time intervals within the period 2001 to 2019.


title: Safe and Non-Conservative Trajectory Planning for Autonomous Driving Handling Unanticipated Behaviors of Traffic Participants

abstract: Trajectory planning for autonomous driving is challenging because the unknown future motion of traffic participants must be accounted for, yielding large uncertainty. Stochastic Model Predictive Control (SMPC)-based planners provide non-conservative planning, but do not rule out a (small) probability of collision. We propose a control scheme that yields an efficient trajectory based on SMPC when the traffic scenario allows, still avoiding that the vehicle causes collisions with traffic participants if the latter move according to the prediction assumptions. If some traffic participant does not behave as anticipated, no safety guarantee can be given. Then, our approach yields a trajectory which minimizes the probability of collision, using Constraint Violation Probability Minimization techniques. Our algorithm can also be adapted to minimize the anticipated harm caused by a collision. We provide a thorough discussion of the benefits of our novel control scheme and compare it to a previous approach through numerical simulations from the CommonRoad database.


title: MoreHopQA: More Than Multi-hop Reasoning

abstract: Most existing multi-hop datasets are extractive answer datasets, where the answers to the questions can be extracted directly from the provided context. This often leads models to use heuristics or shortcuts instead of performing true multi-hop reasoning. In this paper, we propose a new multi-hop dataset, MoreHopQA, which shifts from extractive to generative answers. Our dataset is created by utilizing three existing multi-hop datasets: HotpotQA, 2WikiMultihopQA, and MuSiQue. Instead of relying solely on factual reasoning, we enhance the existing multi-hop questions by adding another layer of questioning that involves one, two, or all three of the following types of reasoning: commonsense, arithmetic, and symbolic. Our dataset is created through a semi-automated process, resulting in a dataset with 1,118 samples that have undergone human verification. We then use our dataset to evaluate five different large language models: Mistral 7B, Gemma 7B, Llama 3 (8B and 70B), and GPT-4. We also design various cases to analyze the reasoning steps in the question-answering process. Our results show that models perform well on initial multi-hop questions but struggle with our extended questions, indicating that our dataset is more challenging than previous ones. Our analysis of question decomposition reveals that although models can correctly answer questions, only a portion - 38.7% for GPT-4 and 33.4% for Llama3-70B - achieve perfect reasoning, where all corresponding sub-questions are answered correctly. Evaluation code and data are available at https://github.com/Alab-NII/morehopqa


title: Non-additive derived functors

abstract: Let $F\colon \mathcal{C} \to \mathcal{E}$ be a functor from a category $\mathcal{C}$ to a homological (Borceux-Bourn) or semi-abelian (Janelidze-M\'arki-Tholen) category $\mathcal{E}$. We investigate conditions under which the homology of an object $X$ in $\mathcal{C}$ with coefficients in the functor $F$, defined via projective resolutions in $\mathcal{C}$, remains independent of the chosen resolution. Consequently, the left derived functors of $F$ can be constructed analogously to the classical abelian case. Our approach extends the concept of chain homotopy to a non-additive setting using the technique of imaginary morphisms. Specifically, we utilize the approximate subtractions of Bourn-Janelidze, originally introduced in the context of subtractive categories. This method is applicable when $\mathcal{C}$ is a pointed regular category with finite coproducts and enough projectives, provided these projectives are closed under protosplit subobjects, a new condition introduced in this article and naturally satisfied in the abelian context. We further assume that the functor $F$ meets certain exactness conditions: for instance, it may be protoadditive and preserve proper morphisms and binary coproducts - conditions that amount to additivity when $\mathcal{C}$ and $\mathcal{E}$ are abelian categories. Within this framework, we develop a basic theory of derived functors, compare it with the simplicial approach, and provide several examples.


title: VELO: A Vector Database-Assisted Cloud-Edge Collaborative LLM QoS Optimization Framework

abstract: The Large Language Model (LLM) has gained significant popularity and is extensively utilized across various domains. Most LLM deployments occur within cloud data centers, where they encounter substantial response delays and incur high costs, thereby impacting the Quality of Services (QoS) at the network edge. Leveraging vector database caching to store LLM request results at the edge can substantially mitigate response delays and cost associated with similar requests, which has been overlooked by previous research. Addressing these gaps, this paper introduces a novel Vector database-assisted cloud-Edge collaborative LLM QoS Optimization (VELO) framework. Firstly, we propose the VELO framework, which ingeniously employs vector database to cache the results of some LLM requests at the edge to reduce the response time of subsequent similar requests. Diverging from direct optimization of the LLM, our VELO framework does not necessitate altering the internal structure of LLM and is broadly applicable to diverse LLMs. Subsequently, building upon the VELO framework, we formulate the QoS optimization problem as a Markov Decision Process (MDP) and devise an algorithm grounded in Multi-Agent Reinforcement Learning (MARL) to decide whether to request the LLM in the cloud or directly return the results from the vector database at the edge. Moreover, to enhance request feature extraction and expedite training, we refine the policy network of MARL and integrate expert demonstrations. Finally, we implement the proposed algorithm within a real edge system. Experimental findings confirm that our VELO framework substantially enhances user satisfaction by concurrently diminishing delay and resource consumption for edge users utilizing LLMs.


title: Climate control in termite mounds: A review and new insights from X-ray tomography and flow field simulations

abstract: Investigating the thermoregulation and ventilation processes in termite mound holds great interest, in particular for its potential implications in advancing eco-friendly building designs. In this article we discuss major results on these processes in termite mounds of varying sizes and ventilation types. Additionally, we propose the integration of X-ray tomography to gain insights into the contribution of architectural features of termite mounds to thermoregulation and ventilation. Finally, we assess the contributions of numerical flow field simulations to this research domain. Our objective is to consolidate existing knowledge, identify research gaps, and propose an interdisciplinary approach to foster our understanding of temperature regulation and gas exchange in termite mounds.


title: Semidirect Product of Loops with Groups

abstract: In this paper, we have studied the loops which are the semidirect products of a loop and a group. Also, the cummutant, nuclei and the center of such loops are studied.


title: When $t$-intersecting hypergraphs admit bounded $c$-strong colourings

abstract: The $c$-strong chromatic number of a hypergraph is the smallest number of colours needed to colour its vertices so that every edge sees at least $c$ colours or is rainbow. We show that every $t$-intersecting hypergraph has bounded $(t + 1)$-strong chromatic number, resolving a problem of Blais, Weinstein and Yoshida. In fact, we characterise when a $t$-intersecting hypergraph has large $c$-strong chromatic number for $c\geq t+2$. Our characterisation also applies to hypergraphs which exclude sunflowers with specified parameters.


title: Joint qubit observables induced by indirect measurements in cavity QED

abstract: A fundamental feature of quantum mechanics is that there are observables which can be measured jointly only when some noise is added to them. Their sharp versions are said to be incompatible. In this work we investigate time-continuous joint qubit observables induced by a indirect time-continuous measurements. In particular we study a paradigmatic situation where a qubit is interacting with a mode of light in a cavity and the light escaping the cavity is continuously monitored. We find that the properties of the qubit observables can be tuned by changing the type of the monitoring scheme or by tuning the initial state of the cavity. We observe that homodyning two orthogonal quadratures produces an optimal pair of biased jointly measurable qubit observables.


title: Low-Latency Layer-Aware Proactive and Passive Container Migration in Meta Computing

abstract: Meta computing is a new computing paradigm that aims to efficiently utilize all network computing resources to provide fault-tolerant, personalized services with strong security and privacy guarantees. It also seeks to virtualize the Internet as many meta computers. In meta computing, tasks can be assigned to containers at edge nodes for processing, based on container images with multiple layers. The dynamic and resource-constrained nature of meta computing environments requires an optimal container migration strategy for mobile users to minimize latency. However, the problem of container migration in meta computing has not been thoroughly explored. To address this gap, we present low-latency, layer-aware container migration strategies that consider both proactive and passive migration. Specifically: 1) We formulate the container migration problem in meta computing, taking into account layer dependencies to reduce migration costs and overall task duration by considering four delays. 2) We introduce a reinforcement learning algorithm based on policy gradients to minimize total latency by identifying layer dependencies for action selection, making decisions for both proactive and passive migration. Expert demonstrations are introduced to enhance exploitation. 3) Experiments using real data trajectories show that the algorithm outperforms baseline algorithms, achieving lower total latency.


title: Gate Teleportation in Noisy Quantum Networks with the SquidASM Simulator

abstract: We implement the gate teleportation algorithm for teleporting arbitrary two-qubit Clifford gates and the Toffoli gate within the context of multi-node quantum networks, utilizing the SquidASM quantum network simulator. We show how a gate teleportation scheme can be used to implement gate cutting, which is an important approach to realize large circuits in distributed quantum computing environments. The correction operations in teleportation are automatically constructed for arbitrary two-qubit Clifford gates. We present simulation results for CNOT, DCNOT, CZ, SWAP, and Toffoli gates. For the Toffoli gate, we apply a similar gate teleportation protocol with the difference that the correction operation becomes more complex since the gate is non-Clifford. We perform the simulations under varying conditions of quantum channel and device noise levels. The simulations provide valuable insights into the robustness and efficacy of the implemented algorithms, and they assist in identifying the critical components within quantum networks where noise primarily affects the execution of applications.


title: Photon number distribution of squeezed light from a silicon nitride microresonator measured without photon number resolving detectors

abstract: The measurement of the photon number distribution (PND) allows one to extract metrics of non-classicality of fundamental and technological relevance, but in principle it requires the use of detectors with photon number resolving (PNR) capabilities.In this work we reconstruct the PND of two-mode pulsed squeezed light generated from a silicon nitride microresonator using threshold detectors and variable optical attenuations. The PNDs are characterized up to 1.2 photons/pulse, through which we extracted an on-chip squeezing level of 6.2(2) dB and a noise reduction factor of -3.8(2) dB. The PNDs are successfully reconstructed up to an Hilbert space dimension of 6x6. The analysis performed on the photon-number basis allows us to characterize the influence of a spurious thermal background field that spoils the photon number correlations. We evaluate the impact of self and cross phase modulation on the generation efficiency in case of a pulsed pump, and validate the results through numerical simulations of the master equation of the system.


title: Predicting BN analogue of 8-16-4 graphyne: \textit{In silico} insights into its structural, electronic, optical, and thermal transport properties

abstract: The boron nitride (BN) analogue of 8-16-4 graphyne, termed SBNyne, is proposed for the first time. Its physical properties were explored using first-principles calculations and classical molecular dynamics (MD) simulations. Thermal stability assessments reveal that SBNyne maintains structural integrity up to 1000 K. We found that SBNyne exhibits a wide indirect bandgap of 4.58 eV using HSE06 and 3.20 eV using PBE. It displays strong optical absorption in the ultraviolet region while remaining transparent in the infrared and visible regions. Additionally, SBNyne exhibits significantly lower thermal conductivity compared to h-BN. Phonon spectrum analysis indicates that out-of-plane phonons predominantly contribute to the vibrational density of states only at very low frequencies, explaining its low thermal conductivity. These findings expand the knowledge of BN-based 2D materials and open new avenues for their design and advanced technological applications.


title: SQLFixAgent: Towards Semantic-Accurate SQL Generation via Multi-Agent Collaboration

abstract: While fine-tuned large language models (LLMs) excel in generating grammatically valid SQL in Text-to-SQL parsing, they often struggle to ensure semantic accuracy in queries, leading to user confusion and diminished system usability. To tackle this challenge, we introduce SQLFixAgent, an innovative multi-agent collaborative framework designed for detecting and repairing erroneous SQL. Our framework comprises a core agent, SQLRefiner, alongside two auxiliary agents: SQLReviewer and QueryCrafter. The SQLReviewer agent employs the rubber duck debugging method to identify potential semantic mismatches between SQL statement and user query. If the error is detected, the QueryCrafter agent generates multiple SQL statements as candidate repairs using a fine-tuned SQLTool. Subsequently, leveraging similar repair retrieval and failure memory reflexion, the SQLRefiner agent selects the most fitting SQL statement from the candidates as the final repair. We evaluated our proposed framework on five Text-to-SQL benchmarks. The experimental results show that our method consistently enhances the performance of the baseline model, specifically achieving an execution accuracy improvement of over 3\% on the Bird benchmark. Our framework also has a higher token efficiency compared to other advanced methods, making it more competitive.


title: PetalView: Fine-grained Location and Orientation Extraction of Street-view Images via Cross-view Local Search with Supplementary Materials

abstract: Satellite-based street-view information extraction by cross-view matching refers to a task that extracts the location and orientation information of a given street-view image query by using one or multiple geo-referenced satellite images. Recent work has initiated a new research direction to find accurate information within a local area covered by one satellite image centered at a location prior (e.g., from GPS). It can be used as a standalone solution or complementary step following a large-scale search with multiple satellite candidates. However, these existing works require an accurate initial orientation (angle) prior (e.g., from IMU) and/or do not efficiently search through all possible poses. To allow efficient search and to give accurate prediction regardless of the existence or the accuracy of the angle prior, we present PetalView extractors with multi-scale search. The PetalView extractors give semantically meaningful features that are equivalent across two drastically different views, and the multi-scale search strategy efficiently inspects the satellite image from coarse to fine granularity to provide sub-meter and sub-degree precision extraction. Moreover, when an angle prior is given, we propose a learnable prior angle mixer to utilize this information. Our method obtains the best performance on the VIGOR dataset and successfully improves the performance on KITTI dataset test 1 set with the recall within 1 meter (r@1m) for location estimation to 68.88% and recall within 1 degree (r@1d) 21.10% when no angle prior is available, and with angle prior achieves stable estimations at r@1m and r@1d above 70% and 21%, up to a 40-degree noise level.


title: Exploring atom-ion Feshbach resonances below the s-wave limit

abstract: Revealing the quantum properties of matter requires a high degree of experimental control accompanied by a profound theoretical understanding. At ultracold temperatures, quantities that appear continuous in everyday life, such as the motional angular momentum of two colliding particles, become quantized, leaving a measurable imprint on experimental results. Embedding a single particle within a larger quantum bath at lowest temperatures can result in resonant partial-wave dependent interaction, whose strength near zero energy is dictated by universal threshold scaling laws. Hybrid atom-ion systems have emerged as a novel platform in which a single charged atom in an ultracold bath serves as a well-controlled impurity of variable energy. However, entering the low-energy s-wave regime and exploring the role of higher-partial-wave scattering within has remained an open challenge. Here, we immerse a Barium ion in a cloud of ultracold spin-polarized Lithium atoms, realize tunable collision energies below the s-wave limit and explore resonant higher-partial-wave scattering by studying the energy dependence of Feshbach resonances. Utilizing precise electric field control, we tune the collision energy over four orders of magnitude, reaching from the many-parital-wave to the s-wave regime. At the lowest energies, we probe the energy dependence of an isolated s-wave Feshbach resonance and introduce a theoretical model that allows to distinguish it from higher-partial-wave resonances. Additionally, at energies around the p-wave barrier, we find and identify an open-channel f-wave resonance, consistent with threshold laws. Our findings highlight and benchmark the importance of higher-partial-wave scattering well within the s-wave regime and offer control over chemical reactions and complex many-body dynamics in atom-ion ensembles - on the level of individual angular momentum quanta.


title: Composite Concept Extraction through Backdooring

abstract: Learning composite concepts, such as \textquotedbl red car\textquotedbl , from individual examples -- like a white car representing the concept of \textquotedbl car\textquotedbl{} and a red strawberry representing the concept of \textquotedbl red\textquotedbl -- is inherently challenging. This paper introduces a novel method called Composite Concept Extractor (CoCE), which leverages techniques from traditional backdoor attacks to learn these composite concepts in a zero-shot setting, requiring only examples of individual concepts. By repurposing the trigger-based model backdooring mechanism, we create a strategic distortion in the manifold of the target object (e.g., \textquotedbl car\textquotedbl ) induced by example objects with the target property (e.g., \textquotedbl red\textquotedbl ) from objects \textquotedbl red strawberry\textquotedbl , ensuring the distortion selectively affects the target objects with the target property. Contrastive learning is then employed to further refine this distortion, and a method is formulated for detecting objects that are influenced by the distortion. Extensive experiments with in-depth analysis across different datasets demonstrate the utility and applicability of our proposed approach.


title: Tensor Decompositions and Adiabatic Quantum Computing for Discovering Practical Matrix Multiplication Algorithms

abstract: Quantum computing and modern tensor-based computing have a strong connection, which is especially demonstrated by simulating quantum computations with tensor networks. The other direction is less studied: quantum computing is not often applied to tensor-based problems. Considering tensor decompositions, we focus on discovering practical matrix multiplication algorithms and develop two algorithms to compute decompositions on quantum computers. The algorithms are expressed as higher-order unconstrained binary optimization (HUBO) problems, which are translated into quadratic unconstrained binary optimization (QUBO) problems. Our first algorithm is decompositional to keep the optimization problem feasible for the current quantum devices. Starting from a suitable initial point, the algorithm discovers tensor decomposition corresponding to the famous Strassen matrix multiplication algorithm, utilizing the current quantum annealers. Since the decompositional algorithm does not guarantee minimal length for found tensor decompositions, we develop a holistic algorithm that can find fixed-length decompositions. Theoretically, by fixing a shorter length than the length for the best-known decomposition, we can ensure that the solution to the holistic optimization problem would yield faster matrix multiplication algorithms.


title: Recurrent Inference Machine for Medical Image Registration

abstract: Image registration is essential for medical image applications where alignment of voxels across multiple images is needed for qualitative or quantitative analysis. With recent advancements in deep neural networks and parallel computing, deep learning-based medical image registration methods become competitive with their flexible modelling and fast inference capabilities. However, compared to traditional optimization-based registration methods, the speed advantage may come at the cost of registration performance at inference time. Besides, deep neural networks ideally demand large training datasets while optimization-based methods are training-free. To improve registration accuracy and data efficiency, we propose a novel image registration method, termed Recurrent Inference Image Registration (RIIR) network. RIIR is formulated as a meta-learning solver to the registration problem in an iterative manner. RIIR addresses the accuracy and data efficiency issues, by learning the update rule of optimization, with implicit regularization combined with explicit gradient input. We evaluated RIIR extensively on brain MRI and quantitative cardiac MRI datasets, in terms of both registration accuracy and training data efficiency. Our experiments showed that RIIR outperformed a range of deep learning-based methods, even with only $5\%$ of the training data, demonstrating high data efficiency. Key findings from our ablation studies highlighted the important added value of the hidden states introduced in the recurrent inference framework for meta-learning. Our proposed RIIR offers a highly data-efficient framework for deep learning-based medical image registration.


title: Archive-based Single-Objective Evolutionary Algorithms for Submodular Optimization

abstract: Constrained submodular optimization problems play a key role in the area of combinatorial optimization as they capture many NP-hard optimization problems. So far, Pareto optimization approaches using multi-objective formulations have been shown to be successful to tackle these problems while single-objective formulations lead to difficulties for algorithms such as the $(1+1)$-EA due to the presence of local optima. We introduce for the first time single-objective algorithms that are provably successful for different classes of constrained submodular maximization problems. Our algorithms are variants of the $(1+\lambda)$-EA and $(1+1)$-EA and increase the feasible region of the search space incrementally in order to deal with the considered submodular problems.


title: Factual Confidence of LLMs: on Reliability and Robustness of Current Estimators

abstract: Large Language Models (LLMs) tend to be unreliable in the factuality of their answers. To address this problem, NLP researchers have proposed a range of techniques to estimate LLM's confidence over facts. However, due to the lack of a systematic comparison, it is not clear how the different methods compare to one another. To fill this gap, we present a survey and empirical comparison of estimators of factual confidence. We define an experimental framework allowing for fair comparison, covering both fact-verification and question answering. Our experiments across a series of LLMs indicate that trained hidden-state probes provide the most reliable confidence estimates, albeit at the expense of requiring access to weights and training data. We also conduct a deeper assessment of factual confidence by measuring the consistency of model behavior under meaning-preserving variations in the input. We find that the confidence of LLMs is often unstable across semantically equivalent inputs, suggesting that there is much room for improvement of the stability of models' parametric knowledge. Our code is available at (https://github.com/amazon-science/factual-confidence-of-llms).


title: Influence of thermal bath on Pancharatnam-Berry phase in an accelerated frame

abstract: A uniformly accelerated atom captures Pancharatnam-Berry phase in its quantum state and the phase factor depends on the vacuum fluctuation of the background quantum fields. We observe that the thermal nature of the fields further affects the induced phase. Interestingly the induced phase captures the exchange symmetry between the Unruh and real thermal baths. This observation further supports the claim that the Unruh thermal bath mimics a real thermal bath. Moreover for certain values of system parameters and at high temperature, the phase is enhanced compared to zero temperature situation. However the required temperature to observe the phase experimentally is so high that the detection of Unruh effect through this is not possible within the current technology.


title: The study of $0\nu\beta\beta$ decay of $^{136}$Xe using nonclosure approach in nuclear shell model

abstract: In this investigation, we compute the nuclear matrix elements (NMEs) relevant to the light neutrino-exchange mechanism governing neutrinoless double beta ($0\nu\beta\beta$) decay in $^{136}$Xe. Our method is based on the nonclosure approach within the interacting nuclear shell model framework. This approach considers the genuine effects arising from the excitation energies of two hundred states for each spin-parity of the intermediary nucleus $^{136}$Cs. All computations are performed using the effective shell model Hamiltonian GCN5082. To understand the impact of nuclear structure on $0\nu\beta\beta$ decay, we explore the dependence of the NME on various factors, including the number of intermediate states and their spin-parity characteristics. We identify an optimal closure energy of approximately 3.7 MeV for the $0\nu\beta\beta$ decay of $^{136}$Xe that reproduces the nonclosure NME using the closure approach. The calculated total NME for the light neutrino-exchange $0\nu\beta\beta$ decay of $^{136}$Xe is 2.06 with the CD-Bonn short-range correlation (SRC). These results can be valuable for future experimental investigations into the $0\nu\beta\beta$ decay of $^{136}$Xe.


title: Filtrations of torsion classes in proper abelian subcategories

abstract: In an abelian category $\mathscr{A}$, we can generate torsion pairs from tilting objects of projective dimension $\leq 1$. However, when we look at tilting objects of projective dimension $2$, there is no longer a natural choice of an associated torsion pair. Instead of trying to generate a torsion pair, Jensen, Madsen and Su generated a triple of extension closed classes that can filter any objects of $\mathscr{A}$. We generalize this result to proper abelian subcategories.


title: An eight-neuron network for quadruped locomotion with hip-knee joint control

abstract: The gait generator, which is capable of producing rhythmic signals for coordinating multiple joints, is an essential component in the quadruped robot locomotion control framework. The biological counterpart of the gait generator is the Central Pattern Generator (abbreviated as CPG), a small neural network consisting of interacting neurons. Inspired by this architecture, researchers have designed artificial neural networks composed of simulated neurons or oscillator equations. Despite the widespread application of these designed CPGs in various robot locomotion controls, some issues remain unaddressed, including: (1) Simplistic network designs often overlook the symmetry between signal and network structure, resulting in fewer gait patterns than those found in nature. (2) Due to minimal architectural consideration, quadruped control CPGs typically consist of only four neurons, which restricts the network's direct control to leg phases rather than joint coordination. (3) Gait changes are achieved by varying the neuron couplings or the assignment between neurons and legs, rather than through external stimulation. We apply symmetry theory to design an eight-neuron network, composed of Stein neuronal models, capable of achieving five gaits and coordinated control of the hip-knee joints. We validate the signal stability of this network as a gait generator through numerical simulations, which reveal various results and patterns encountered during gait transitions using neuronal stimulation. Based on these findings, we have developed several successful gait transition strategies through neuronal stimulations. Using a commercial quadruped robot model, we demonstrate the usability and feasibility of this network by implementing motion control and gait transitions.


title: The effect of control barrier functions on energy transfers in controlled physical systems

abstract: Using a port-Hamiltonian formalism, we show the qualitative and quantitative effect of safety-critical control implemented with control barrier functions (CBFs) on the power balance of controlled physical systems. The presented results will provide novel tools to design CBFs inducing desired energetic behaviors of the closed-loop system, including nontrivial damping injection effects and non-passive control actions, effectively injecting energy in the system in a controlled manner. Simulations validate the stated results.


title: The triangulant

abstract: We introduce the triangulant of two matrices, and relate it to the existence of orthogonal eigenvectors. We also use it for a new characterization of mutually unbiased bases. Generalizing the notion, we introduce higher order triangulants of two matrices, and relate them to the existence of nontrivially intersecting invariant subspaces of complementary dimensions.


title: Formal deformations and extensions of `twisted' Lie algebras

abstract: The interplay between derivations and algebraic structures has been a subject of significant interest and exploration. Inspired by Yau's twist and the Leibniz rule, we investigate the formal deformation of twisted Lie algebras by invertible derivations, herein referred to as "InvDer Lie". We define representations of InvDer Lie, elucidate cohomology structures of order 1 and 2, and identify infinitesimals as 2-cocycles. Furthermore, we explore central extensions of InvDer Lie, revealing their intricate relationship with cohomology theory.


title: Lagrangian multiform structure of discrete and semi-discrete KP systems

abstract: A variational structure for the potential AKP system is established using the novel formalism of a Lagrangian multiforms. The structure comprises not only the fully discrete equation on the 3D lattice, but also its semi-discrete variants including several differential-difference equations asssociated with, and compatible with, the partial difference equation. To this end, an overview is given of the various (discrete and semi-discrete) variants of the KP system, and their associated Lax representations, including a novel `generating PDE' for the KP hierarchy. The exterior derivative of the Lagrangian 3-form for the lattice potential KP equation is shown to exhibit a double-zero structure, which implies the corresponding generalised Euler-Lagrange equations. Alongside the 3-form structures, we develop a variational formulation of the corresponding Lax systems via the square eigenfunction representation arising from the relevant direct linearization scheme.


title: Towards a multimodal framework for remote sensing image change retrieval and captioning

abstract: Recently, there has been increasing interest in multimodal applications that integrate text with other modalities, such as images, audio and video, to facilitate natural language interactions with multimodal AI systems. While applications involving standard modalities have been extensively explored, there is still a lack of investigation into specific data modalities such as remote sensing (RS) data. Despite the numerous potential applications of RS data, including environmental protection, disaster monitoring and land planning, available solutions are predominantly focused on specific tasks like classification, captioning and retrieval. These solutions often overlook the unique characteristics of RS data, such as its capability to systematically provide information on the same geographical areas over time. This ability enables continuous monitoring of changes in the underlying landscape. To address this gap, we propose a novel foundation model for bi-temporal RS image pairs, in the context of change detection analysis, leveraging Contrastive Learning and the LEVIR-CC dataset for both captioning and text-image retrieval. By jointly training a contrastive encoder and captioning decoder, our model add text-image retrieval capabilities, in the context of bi-temporal change detection, while maintaining captioning performances that are comparable to the state of the art. We release the source code and pretrained weights at: https://github.com/rogerferrod/RSICRC.


title: Coupled Input-Output Dimension Reduction: Application to Goal-oriented Bayesian Experimental Design and Global Sensitivity Analysis

abstract: We introduce a new method to jointly reduce the dimension of the input and output space of a high-dimensional function. Choosing a reduced input subspace influences which output subspace is relevant and vice versa. Conventional methods focus on reducing either the input or output space, even though both are often reduced simultaneously in practice. Our coupled approach naturally supports goal-oriented dimension reduction, where either an input or output quantity of interest is prescribed. We consider, in particular, goal-oriented sensor placement and goal-oriented sensitivity analysis, which can be viewed as dimension reduction where the most important output or, respectively, input components are chosen. Both applications present difficult combinatorial optimization problems with expensive objectives such as the expected information gain and Sobol indices. By optimizing gradient-based bounds, we can determine the most informative sensors and most sensitive parameters as the largest diagonal entries of some diagnostic matrices, thus bypassing the combinatorial optimization and objective evaluation.


title: Multi-messenger modeling of the Monogem pulsar halo

abstract: The High-Altitude Water Cherenkov Telescope (HAWC) has detected TeV halos associated with two nearby pulsars/pulsar wind nebulae (PWN) -- Geminga and B0656+14. These TeV halos extend up to tens of pc from the central accelerators, indicating that the diffusion of ultrarelativistic electrons and positrons in the interstellar medium has been suppressed by two orders of magnitude. Although Geminga and B0656+14 are at similar distances and in the same field of view, they have distinct histories. Notably, B0656+14 probably still resides within its parent supernova remnant, the Monogem Ring, which can be observed in X-rays. In this work, we perform high-resolution simulations of the propagation and emission of relativistic lepton pairs around B0656+14 using a two-zone diffusion model using the GALPROP numerical code. We compared the predicted inverse-Compton spectrum to the observations made by HAWC and Fermi-LAT and found physically plausible model parameters that resulted in a good fit to the data. Additionally, we estimated the contribution of this TeV-halo to the positron flux observed on Earth and found it to be smaller than 10\% of the measured flux. We conclude that future observations of the TeV halo and its synchrotron emission counterpart in radio and X-ray frequencies will be crucial to distinguish between various possible models.


title: Are Logistic Models Really Interpretable?

abstract: The demand for open and trustworthy AI models points towards widespread publishing of model weights. Consumers of these model weights must be able to act accordingly with the information provided. That said, one of the simplest AI classification models, Logistic Regression (LR), has an unwieldy interpretation of its model weights, with greater difficulties when extending LR to generalised additive models. In this work, we show via a User Study that skilled participants are unable to reliably reproduce the action of small LR models given the trained parameters. As an antidote to this, we define Linearised Additive Models (LAMs), an optimal piecewise linear approximation that augments any trained additive model equipped with a sigmoid link function, requiring no retraining. We argue that LAMs are more interpretable than logistic models -- survey participants are shown to solve model reasoning tasks with LAMs much more accurately than with LR given the same information. Furthermore, we show that LAMs do not suffer from large performance penalties in terms of ROC-AUC and calibration with respect to their logistic counterparts on a broad suite of public financial modelling data.


title: Petty projection inequality on the sphere and on the hyperbolic space

abstract: Using gnomonic projection and Poincar\'e model, we first define the spherical projection body and hyperbolic projection body in spherical space $\mathbb{S}^n$ and hyperbolic space $\mathbb{H}^n$, then define the spherical Steiner symmetrization and hyperbolic Steiner symmetrization, finally prove the spherical projection inequality and hyperbolic projection inequality.


title: Quasiparticles with fractional charges in fractionally filled systems

abstract: We study systems that approach a state possessing discrete symmetry due to different degenerate realizations for the system. For concreteness, we consider fractionally filled systems where degeneracy comes from the presence of identical sub-lattices. We show that such systems possess a new type of quasiparticles with fractional charges, which we refer to as fractyons. We discuss static and dynamic properties of these quasiparticles.


title: Distinguishing a maximally entangled basis using LOCC and shared entanglement

abstract: We consider the problem of distinguishing between the elements of a bipartite maximally entangled orthonormal basis using LOCC (local operations and classical communication) and a partially entangled state acting as a resource. We derive an exact formula for the optimum success probability and find that it corresponds to the fully entangled fraction of the resource state. The derivation consists of two steps: First, we consider a relaxation of the problem by replacing LOCC with positive-partial-transpose (PPT) measurements and establish an upper bound on the success probability as the solution of a semidefinite program, and then show that this upper bound is achieved by a teleportation-based LOCC protocol. This further implies that separable and PPT measurements provide no advantage over LOCC for this task.


title: Children's Speech Recognition through Discrete Token Enhancement

abstract: Children's speech recognition is considered a low-resource task mainly due to the lack of publicly available data. There are several reasons for such data scarcity, including expensive data collection and annotation processes, and data privacy, among others. Transforming speech signals into discrete tokens that do not carry sensitive information but capture both linguistic and acoustic information could be a solution for privacy concerns. In this study, we investigate the integration of discrete speech tokens into children's speech recognition systems as input without significantly degrading the ASR performance. Additionally, we explored single-view and multi-view strategies for creating these discrete labels. Furthermore, we tested the models for generalization capabilities with unseen domain and nativity dataset. Results reveal that the discrete token ASR for children achieves nearly equivalent performance with an approximate 83% reduction in parameters.


title: Ramanujan vector field

abstract: In this article we prove that for all primes $p\not=2,3$, the Ramanujan vector field has an invariant algebraic curve and then we give a moduli space interpretation of this curve in terms of Cartier operator acting on the de Rham cohomology of elliptic curves. The main ingredients of our study are due to Serre, Swinnerton-Dyer and Katz in 1973. We aim to generalize this for the theory of Calabi-Yau modular forms, which includes the generating function of genus $g$ Gromov-Witten invariants. The integrality of $q$-expansions of such modular forms is still a main conjecture which has been only established for special Calabi-Yau varieties, for instance those whose periods are hypergeometric functions. For this the main tools are Dwork's theorem. We present an alternative project which aims to prove such integralities using modular vector fields and Gauss-Manin connection in positive characteristic.


title: Certificates of Differential Privacy and Unlearning for Gradient-Based Training

abstract: Proper data stewardship requires that model owners protect the privacy of individuals' data used during training. Whether through anonymization with differential privacy or the use of unlearning in non-anonymized settings, the gold-standard techniques for providing privacy guarantees can come with significant performance penalties or be too weak to provide practical assurances. In part, this is due to the fact that the guarantee provided by differential privacy represents the worst-case privacy leakage for any individual, while the true privacy leakage of releasing the prediction for a given individual might be substantially smaller or even, as we show, non-existent. This work provides a novel framework based on convex relaxations and bounds propagation that can compute formal guarantees (certificates) that releasing specific predictions satisfies $\epsilon=0$ privacy guarantees or do not depend on data that is subject to an unlearning request. Our framework offers a new verification-centric approach to privacy and unlearning guarantees, that can be used to further engender user trust with tighter privacy guarantees, provide formal proofs of robustness to certain membership inference attacks, identify potentially vulnerable records, and enhance current unlearning approaches. We validate the effectiveness of our approach on tasks from financial services, medical imaging, and natural language processing.


title: Tactile Aware Dynamic Obstacle Avoidance in Crowded Environment with Deep Reinforcement Learning

abstract: Mobile robots operating in crowded environments require the ability to navigate among humans and surrounding obstacles efficiently while adhering to safety standards and socially compliant mannerisms. This scale of the robot navigation problem may be classified as both a local path planning and trajectory optimization problem. This work presents an array of force sensors that act as a tactile layer to complement the use of a LiDAR for the purpose of inducing awareness of contact with any surrounding objects within immediate vicinity of a mobile robot undetected by LiDARs. By incorporating the tactile layer, the robot can take more risks in its movements and possibly go right up to an obstacle or wall, and gently squeeze past it. In addition, we built up a simulation platform via Pybullet which integrates Robot Operating System (ROS) and reinforcement learning (RL) together. A touch-aware neural network model was trained on it to create an RL-based local path planner for dynamic obstacle avoidance. Our proposed method was demonstrated successfully on an omni-directional mobile robot who was able to navigate in a crowded environment with high agility and versatility in movement, while not being overly sensitive to nearby obstacles-not-in-contact.


title: An Attempt to Derive the Expression of the Constant in the Thermodynamic Uncertainty Relations by a Statistical Model for a Quasi-Ideal Nano-Gas

abstract: In recent work, we have shown that fundamental quantities such as the total entropy production, the thermodynamic variables conjugate to the thermodynamic forces, and the Glansdorff-Prigogine's dissipative variable may be discretized at the mesoscopic scale. The Canonical Commutation Rules (CCRs) valid at the mesoscopic scale have been postulated and the measurement process consists of determining the eigenvalues of the operators associated with the thermodynamic quantities. The essence of that work was to analyze the consequences of these postulates. This letter aims to understand the physical nature of the new constant (beta) introduced in the CCRs. In particular, two questions are still open. Is beta a new fundamental constant? Does the constant in the CCRs correspond to the lowest limit? We shall tackle the problem starting from the simplest assumption: the expression of beta can be derived from a simple model (a heuristic model) for nano-gas and studied through the tools of classical statistical physics. We will find that the theoretical value is very close to the experimental one. We shall not go further in our interpretation; we shall limit ourselves simply by noticing that according to our model, the constant beta does not appear to be a new fundamental constant but corresponds to the minimum value.


title: What's Next? Exploring Utilization, Challenges, and Future Directions of AI-Generated Image Tools in Graphic Design

abstract: Recent advancements in artificial intelligence, such as computer vision and deep learning, have led to the emergence of numerous generative AI platforms, particularly for image generation. However, the application of AI-generated image tools in graphic design has not been extensively explored. This study conducted semi-structured interviews with seven designers of varying experience levels to understand their current usage, challenges, and future functional needs for AI-generated image tools in graphic design. As our findings suggest, AI tools serve as creative partners in design, enhancing human creativity, offering strategic insights, and fostering team collaboration and communication. The findings provide guiding recommendations for the future development of AI-generated image tools, aimed at helping engineers optimize these tools to better meet the needs of graphic designers.


title: MsFEM for advection-dominated problems in heterogeneous media: Stabilization via nonconforming variants

abstract: We study the numerical approximation of advection-diffusion equations with highly oscillatory coefficients and possibly dominant advection terms by means of the Multiscale Finite Element Method. The latter method is a now classical, finite element type method that performs a Galerkin approximation on a problem-dependent basis set, itself pre-computed in an offline stage. The approach is implemented here using basis functions that locally resolve both the diffusion and the advection terms. Variants with additional bubble functions and possibly weak inter-element continuity are proposed. Some theoretical arguments and a comprehensive set of numerical experiments allow to investigate and compare the stability and the accuracy of the approaches. The best approach constructed is shown to be adequate for both the diffusion- and advection-dominated regimes, and does not rely on an auxiliary stabilization parameter that would have to be properly adjusted.


title: Computing the center of a fusion category

abstract: We present a (Las Vegas) algorithm for explicitly computing the simple objects of the categorical (Drinfeld) center of a spherical fusion category. Our approach is based on decomposing the images of simple objects under the induction functor from the category to its center. We have implemented this algorithm in a general-purpose software framework TensorCategories.jl for tensor categories that we develop within the open-source computer algebra system OSCAR. While the required computations are still too heavy to investigate standard examples whose center is not yet known up to some equivalence, our algorithm has the advantage of determining explicit half-braidings for the simple central objects, avoiding abstract equivalences and the like. Furthermore, it also works over not necessarily algebraically closed fields, and this yields new explicit examples of non-split modular categories.


title: Finding Blind Spots in Evaluator LLMs with Interpretable Checklists

abstract: Large Language Models (LLMs) are increasingly relied upon to evaluate text outputs of other LLMs, thereby influencing leaderboards and development decisions. However, concerns persist over the accuracy of these assessments and the potential for misleading conclusions. In this work, we investigate the effectiveness of LLMs as evaluators for text generation tasks. We propose FBI, a novel framework designed to examine the proficiency of Evaluator LLMs in assessing four critical abilities in other LLMs: factual accuracy, instruction following, coherence in long-form writing, and reasoning proficiency. By introducing targeted perturbations in answers generated by LLMs, that clearly impact one of these key capabilities, we test whether an Evaluator LLM can detect these quality drops. By creating a total of 2400 perturbed answers covering 22 perturbation categories, we conduct a comprehensive study using different evaluation strategies on five prominent LLMs commonly used as evaluators in the literature. Our findings reveal significant shortcomings in current Evaluator LLMs, which failed to identify quality drops in over 50\% of cases on average. Single-answer and pairwise evaluations demonstrated notable limitations, whereas reference-based evaluations showed comparatively better performance. These results underscore the unreliable nature of current Evaluator LLMs and advocate for cautious implementation in practical applications. Code and data are available at https://github.com/AI4Bharat/FBI.


title: Metal oxide abundances as a function of the C/O ratio

abstract: The diatomic metal monoxides whose optical spectra define the classification of AGB stars along the sequence M-MS-S-SC to carbon stars, that is, TiO, ZrO, LaO and YO, have the unusual property that their ionization energy is below their dissociation limit. The cations of these metal monoxides can be efficiently produced via associative ionization of their constituent ground state atoms and are long-lived. We present a simple model that can explain the observed relative abundance of these metal oxides as a function of the C/O ratio.


title: Robust Melanoma Thickness Prediction via Deep Transfer Learning enhanced by XAI Techniques

abstract: This study focuses on analyzing dermoscopy images to determine the depth of melanomas, which is a critical factor in diagnosing and treating skin cancer. The Breslow depth, measured from the top of the granular layer to the deepest point of tumor invasion, serves as a crucial parameter for staging melanoma and guiding treatment decisions. This research aims to improve the prediction of the depth of melanoma through the use of machine learning models, specifically deep learning, while also providing an analysis of the possible existance of graduation in the images characteristics which correlates with the depth of the melanomas. Various datasets, including ISIC and private collections, were used, comprising a total of 1162 images. The datasets were combined and balanced to ensure robust model training. The study utilized pre-trained Convolutional Neural Networks (CNNs). Results indicated that the models achieved significant improvements over previous methods. Additionally, the study conducted a correlation analysis between model's predictions and actual melanoma thickness, revealing a moderate correlation that improves with higher thickness values. Explainability methods such as feature visualization through Principal Component Analysis (PCA) demonstrated the capability of deep features to distinguish between different depths of melanoma, providing insight into the data distribution and model behavior. In summary, this research presents a dual contribution: enhancing the state-of-the-art classification results through advanced training techniques and offering a detailed analysis of the data and model behavior to better understand the relationship between dermoscopy images and melanoma thickness.


title: Designing necks and wrinkles in inflated auxetic membranes

abstract: This article presents the potentiality of inflatable, functionally-graded auxetic membranes to produce wrinkles and necks. We obtain elastic instabilities at desired locations in axisymmetric membranes and with prescribed patterns in square membranes. First, we use an analytical approach to obtain a series of universal results providing insights into the formation of wrinkles and necks in inflated, axisymmetric membranes. For example, we prove analytically that necks and wrinkles may never overlap in pressurized, axially symmetric membranes. Second, we implement the relaxed strain energy of tension field theory into a Finite Element solver (COMSOL). By tuning spatial inhomogeneities of the material moduli, we corroborate our universal results, describe the onset of wrinkling in an averaged way, and also generate non-trivial instabilities at desired locations. This study on membranes with morphing or corrugation on demand has potential applications in Braille reading and haptics.


title: Dual-Phase Accelerated Prompt Optimization

abstract: Gradient-free prompt optimization methods have made significant strides in enhancing the performance of closed-source Large Language Models (LLMs) across a wide range of tasks. However, existing approaches make light of the importance of high-quality prompt initialization and the identification of effective optimization directions, thus resulting in substantial optimization steps to obtain satisfactory performance. In this light, we aim to accelerate prompt optimization process to tackle the challenge of low convergence rate. We propose a dual-phase approach which starts with generating high-quality initial prompts by adopting a well-designed meta-instruction to delve into task-specific information, and iteratively optimize the prompts at the sentence level, leveraging previous tuning experience to expand prompt candidates and accept effective ones. Extensive experiments on eight datasets demonstrate the effectiveness of our proposed method, achieving a consistent accuracy gain over baselines with less than five optimization steps.


title: VDebugger: Harnessing Execution Feedback for Debugging Visual Programs

abstract: Visual programs are executable code generated by large language models to address visual reasoning problems. They decompose complex questions into multiple reasoning steps and invoke specialized models for each step to solve the problems. However, these programs are prone to logic errors, with our preliminary evaluation showing that 58% of the total errors are caused by program logic errors. Debugging complex visual programs remains a major bottleneck for visual reasoning. To address this, we introduce VDebugger, a novel critic-refiner framework trained to localize and debug visual programs by tracking execution step by step. VDebugger identifies and corrects program errors leveraging detailed execution feedback, improving interpretability and accuracy. The training data is generated through an automated pipeline that injects errors into correct visual programs using a novel mask-best decoding technique. Evaluations on six datasets demonstrate VDebugger's effectiveness, showing performance improvements of up to 3.2% in downstream task accuracy. Further studies show VDebugger's ability to generalize to unseen tasks, bringing a notable improvement of 2.3% on the unseen COVR task. Code, data and models are made publicly available at https://github.com/shirley-wu/vdebugger/


title: Lost in UNet: Improving Infrared Small Target Detection by Underappreciated Local Features

abstract: Many targets are often very small in infrared images due to the long-distance imaging meachnism. UNet and its variants, as popular detection backbone networks, downsample the local features early and cause the irreversible loss of these local features, leading to both the missed and false detection of small targets in infrared images. We propose HintU, a novel network to recover the local features lost by various UNet-based methods for effective infrared small target detection. HintU has two key contributions. First, it introduces the "Hint" mechanism for the first time, i.e., leveraging the prior knowledge of target locations to highlight critical local features. Second, it improves the mainstream UNet-based architecture to preserve target pixels even after downsampling. HintU can shift the focus of various networks (e.g., vanilla UNet, UNet++, UIUNet, MiM+, and HCFNet) from the irrelevant background pixels to a more restricted area from the beginning. Experimental results on three datasets NUDT-SIRST, SIRSTv2 and IRSTD1K demonstrate that HintU enhances the performance of existing methods with only an additional 1.88 ms cost (on RTX Titan). Additionally, the explicit constraints of HintU enhance the generalization ability of UNet-based methods. Code is available at https://github.com/Wuzhou-Quan/HintU.


title: Linear stability of turbulent channel flow with one-point closure

abstract: For low enough flow rates, turbulent channel flow displays spatial modulations of large wavelengths. This phenomenon has recently been interpreted as a linear instability of the turbulent flow. We question here the ability of linear stability analysis around the turbulent mean flow to predict the onset and wavelengths of such modulations. Both the mean flow and the Reynolds stresses are extracted from direct numerical simulation (DNS) in periodic computational domains of different size. The Orr-Sommerfeld-Squire formalism is used here, with the turbulent viscosity either ignored, evaluated from DNS, or modeled using a simple one-point closure model. Independently of the closure model and the domain size, the mean turbulent flow is found to be linearly stable, in marked contrast with the observed behavior. This suggests that the one-point approach is not sufficient to predict instability, at odds with other turbulent flow cases. For generic wall-bounded shear flows we discuss how the correct models for predicting instability could include fluctuations in a more explicit way.


title: High-probability minimax lower bounds

abstract: The minimax risk is often considered as a gold standard against which we can compare specific statistical procedures. Nevertheless, as has been observed recently in robust and heavy-tailed estimation problems, the inherent reduction of the (random) loss to its expectation may entail a significant loss of information regarding its tail behaviour. In an attempt to avoid such a loss, we introduce the notion of a minimax quantile, and seek to articulate its dependence on the quantile level. To this end, we develop high-probability variants of the classical Le Cam and Fano methods, as well as a technique to convert local minimax risk lower bounds to lower bounds on minimax quantiles. To illustrate the power of our framework, we deploy our techniques on several examples, recovering recent results in robust mean estimation and stochastic convex optimisation, as well as obtaining several new results in covariance matrix estimation, sparse linear regression, nonparametric density estimation and isotonic regression. Our overall goal is to argue that minimax quantiles can provide a finer-grained understanding of the difficulty of statistical problems, and that, in wide generality, lower bounds on these quantities can be obtained via user-friendly tools.

categories: math.ST cs.IT cs.LG math.IT stat.ML stat.TH


title: Demonstration of High-Efficiency Microwave Heating Producing Record Highly Charged Xenon Ion Beams with Superconducting ECR Ion Sources

abstract: Intense highly charged ion beam production is essential for high-power heavy ion accelerators. A novel movable Vlasov launcher for superconducting high charge state Electron Cyclotron Resonance (ECR) ion source has been devised that can affect the microwave power effectiveness by a factor of about 4 in terms of highly charged ion beam production. This approach based on a dedicated microwave launching system instead of the traditional coupling scheme has led to new insight on microwave-plasma interaction. With this new understanding, the world record highly charged xenon ion beam currents have been enhanced by up to a factor of 2, which could directly and significantly enhance the performance of heavy ion accelerators and provide many new research opportunities in nuclear physics, atomic physics and other disciplines.


title: Consensus analysis of a two-step communication opinion dynamics model with group pressure and self-confidence

abstract: This paper considers the consensus problem of a novel opinion dynamics model with group pressure and self-confidence. Different with the most existing paper, the influence of friends of friends in a social network is taken into account, which is modeled to be two-step communication. Based on this consideration, the neighbors of agents are classified into direct neighbors and indirect neighbors. Accordingly, the communication between agents and their neighbors is classified into one-step communication and two-step communication. By applying matrix analytic theory and graph theory, it is shown that the opinion consensus can be achieved. Moreover, the exactly consensus value of the opinion is obtained for three cases of the group pressure. Finally, simulation examples are provided to demonstrate the validity of the conclusions drawn in the paper.


title: Federating to Grow Transformers with Constrained Resources without Model Sharing

abstract: The high resource consumption of large-scale models discourages resource-constrained users from developing their customized transformers. To this end, this paper considers a federated framework named Fed-Grow for multiple participants to cooperatively scale a transformer from their pre-trained small models. Under the Fed-Grow, a Dual-LiGO (Dual Linear Growth Operator) architecture is designed to help participants expand their pre-trained small models to a transformer. In Dual-LiGO, the Local-LiGO part is used to address the heterogeneity problem caused by the various pre-trained models, and the Global-LiGO part is shared to exchange the implicit knowledge from the pre-trained models, local data, and training process of participants. Instead of model sharing, only sharing the Global-LiGO strengthens the privacy of our approach. Compared with several state-of-the-art methods in simulation, our approach has higher accuracy, better precision, and lower resource consumption on computations and communications. To the best of our knowledge, most of the previous model-scaling works are centralized, and our work is the first one that cooperatively grows a transformer from multiple pre-trained heterogeneous models with the user privacy protected in terms of local data and models. We hope that our approach can extend the transformers to the broadly distributed scenarios and encourage more resource-constrained users to enjoy the bonus taken by the large-scale transformers.


title: Bifurcations in planar, quadratic mass-action networks with few reactions and low molecularity

abstract: In this paper we study bifurcations in mass-action networks with two chemical species and reactant complexes of molecularity no more than two. We refer to these as planar, quadratic networks as they give rise to (at most) quadratic differential equations on the nonnegative quadrant of the plane. Our aim is to study bifurcations in networks in this class with the fewest possible reactions, and the lowest possible product molecularity. We fully characterise generic bifurcations of positive equilibria in such networks with up to four reactions, and product molecularity no higher than three. In these networks we find fold, Andronov--Hopf, Bogdanov--Takens and Bautin bifurcations, and prove the non-occurrence of any other generic bifurcations of positive equilibria. In addition, we present a number of results which go beyond planar, quadratic networks. For example, we show that mass-action networks without conservation laws admit no bifurcations of codimension greater than $m-2$, where $m$ is the number of reactions; we fully characterise quadratic, rank-one mass-action networks admitting fold bifurcations; and we write down some necessary conditions for Andronov--Hopf and cusp bifurcations in mass-action networks. Finally, we draw connections with a number of previous results in the literature on nontrivial dynamics, bifurcations, and inheritance in mass-action networks.


title: Quantum Networks: from Multipartite Entanglement to Hypergraph Immersion

abstract: Multipartite entanglement, a higher-order interaction unique to quantum information, offers various advantages over bipartite entanglement in quantum network (QN) applications. Establishing multipartite entanglement across remote parties in QN requires entanglement routing, which irreversibly transforms the QN topology at the cost of existing entanglement links. Here, we address the question of whether a QN can be topologically transformed into another via entanglement routing. Our key result is an exact mapping from multipartite entanglement routing to Nash-Williams's graph immersion problem, extended to hypergraphs. This generalized hypergraph immersion problem introduces a partial order between QN topologies, permitting certain topological transformations while precluding others, offering discerning insights into the design and manipulation of higher-order network topologies in QNs.

categories: quant-ph cs.DM cs.SI physics.comp-ph physics.soc-ph


title: Reinforcement Learning to improve delta robot throws for sorting scrap metal

abstract: This study proposes a novel approach based on reinforcement learning (RL) to enhance the sorting efficiency of scrap metal using delta robots and a Pick-and-Place (PaP) process, widely used in the industry. We use three classical model-free RL algorithms (TD3, SAC and PPO) to reduce the time to sort metal scraps. We learn the release position and speed needed to throw an object in a bin instead of moving to the exact bin location, as with the classical PaP technique. Our contribution is threefold. First, we provide a new simulation environment for learning RL-based Pick-and-Throw (PaT) strategies for parallel grippers. Second, we use RL algorithms for learning this task in this environment resulting in 89% accuracy while speeding up the throughput by 51% in simulation. Third, we evaluate the performances of RL algorithms and compare them to a PaP and a state-of-the-art PaT method both in simulation and reality, learning only from simulation with domain randomisation and without fine tuning in reality to transfer our policies. This work shows the benefits of RL-based PaT compared to PaP or classical optimization PaT techniques used in the industry.


title: Unifying nonlinearly constrained nonconvex optimization

abstract: Derivative-based iterative methods for nonlinearly constrained nonconvex optimization usually share common algorithmic components, such as strategies for computing a descent direction and mechanisms that promote global convergence. Based on this observation, we introduce an abstract framework based on four common ingredients that describes most derivative-based iterative methods and unifies their workflows. We then present Uno, a modular C++ solver that implements our abstract framework and allows the automatic generation of various strategy combinations with no programming effort from the user. Uno is meant to (1) organize mathematical optimization strategies into a coherent hierarchy; (2) offer a wide range of efficient and robust methods that can be compared for a given instance; (3) enable researchers to experiment with novel optimization strategies; and (4) reduce the cost of development and maintenance of multiple optimization solvers. Uno's software design allows user to compose new customized solvers for emerging optimization areas such as robust optimization or optimization problems with complementarity constraints, while building on reliable nonlinear optimization techniques. We demonstrate that Uno is highly competitive against state-of-the-art solvers filterSQP, IPOPT, SNOPT, MINOS, LANCELOT, LOQO, and CONOPT on a subset of 429 small problems from the CUTEst collection. Uno is available as open-source software under the MIT license at https://github.com/cvanaret/Uno .


title: Johnson graphs as slices of a hypercube and an algebra homomorphism from the universal Racah algebra into $U(\mathfrak{sl}_2)$

abstract: From the viewpoint of Johnson graphs as slices of a hypercube, we derive a novel algebra homomorphism $\sharp$ from the universal Racah algebra $\Re$ into $U(\mathfrak{sl}_2)$. We use the Casimir elements of $\Re$ to describe the kernel of $\sharp$. By pulling back via $\sharp$ every $U(\mathfrak{sl}_2)$-module can be viewed as an $\Re$-module. We show that for any finite-dimensional $U(\mathfrak{sl}_2)$-module $V$, the $\Re$-module $V$ is completely reducible and three generators of $\Re$ act on every irreducible $\Re$-submodule of $V$ as a Leonard triple. In particular, Leonard triples can be constructed in terms of the second dual distance operator of the hypercube $H(D,2)$ and a decomposition of the second distance operator of $H(D,2)$ induced by Johnson graphs.


title: On the Schatten exponent in orthonormal Strichartz estimate for the Dunkl operators

abstract: In \cite{PRA} and \cite{SSM} the orthonormal Strichartz estimates for the Schr\"odinger equation associated with the Dunkl Laplacian and the Dunkl-Hermite operator are obtained. In this article, we prove a necessary condition on the Schatten exponent for the above orthonormal Strichartz estimates, which turns out to be optimal for the Schr\"odinger equations associated with Laplacian and Hermite operator as a special case.


title: EvTexture: Event-driven Texture Enhancement for Video Super-Resolution

abstract: Event-based vision has drawn increasing attention due to its unique characteristics, such as high temporal resolution and high dynamic range. It has been used in video super-resolution (VSR) recently to enhance the flow estimation and temporal alignment. Rather than for motion learning, we propose in this paper the first VSR method that utilizes event signals for texture enhancement. Our method, called EvTexture, leverages high-frequency details of events to better recover texture regions in VSR. In our EvTexture, a new texture enhancement branch is presented. We further introduce an iterative texture enhancement module to progressively explore the high-temporal-resolution event information for texture restoration. This allows for gradual refinement of texture regions across multiple iterations, leading to more accurate and rich high-resolution details. Experimental results show that our EvTexture achieves state-of-the-art performance on four datasets. For the Vid4 dataset with rich textures, our method can get up to 4.67dB gain compared with recent event-based methods. Code: https://github.com/DachunKai/EvTexture.


title: 12C+12C Reaction Rates and the Evolution of a Massive Star

abstract: Carbon fusion is important to understand the late stages in the evolution of a massive star. Astronomically interesting energy ranges for the 12C+12C reactions have been, however, poorly constrained by experiments. Theoretical studies on stellar evolution have relied on reaction rates that are extrapolated from those measured in higher energies. In this work, we update the carbon fusion reaction rates by fitting the astrophysical S-factor data obtained from direct measurements based on the Fowler, Caughlan, & Zimmerman (1975) formula. We examine the evolution of a 20 M_sun star with the updated 12C+12C reaction rates performing simulations with the MESA (Modules for Experiments for Stellar Astrophysics) code. Between 0.5 and 1 GK, the updated reaction rates are 0.35 to 0.5 times less than the rates suggested by Caughlan and Fowler (1988). The updated rates result in the increase of core temperature by about 7% and of the neutrino cooling by about a factor of three. Moreover, the carbon-burning lifetime is reduced by a factor of 2.7. The updated carbon fusion reaction rates lead to some changes in the details of the stellar evolution model, their impact seems relatively minor compared to other uncertain physical factors like convection, overshooting, rotation, and mass-loss history. The astrophysical S-factor measurements in lower energies have large errors below the Coulomb barrier. More precise measurements in lower energies for the carbon burning would be useful to improve our study and to understand the evolution of a massive star.


title: The Riemann-Hilbert approach for the nonlocal derivative nonlinear Schr\"odinger equation with nonzero boundary conditions

abstract: In this paper, the nonlocal reverse space-time derivative nonlinear Schr\"odinger equation under nonzero boundary conditions is investigated using the Riemann-Hilbert (RH) approach. The direct scattering problem focuses on the analyticity, symmetries, and asymptotic behaviors of the Jost eigenfunctions and scattering matrix functions, leading to the construction of the corresponding RH problem. Then, in the inverse scattering problem, the Plemelj formula is employed to solve the RH problem. So the reconstruction formula, trace formulae, $\theta$ condition, and exact expression of the single-pole and double-pole solutions are obtained. Furthermore, dark-dark solitons, bright-dark solitons, and breather solutions of the reverse space-time derivative nonlinear Schr\"odinger equation are presented along with their dynamic behaviors summarized through graphical simulation.


title: Generalized multiple Borel-Cantelli Lemma in dynamics and its applications

abstract: Multiple Borel-Cantelli Lemma is a criterion that characterizes the occurrence of multiple rare events on the same time scale. We generalize the multiple Borel-Cantelli Lemma in dynamics established by Dolgopyat, Fayad and Liu [J. Mod. Dyn. 18 (2022) 209--289], broadening its applications to encompass several non-smooth systems with absolute continuous measures. Utilizing this generalization, we derive multiple Logarithm Law for hitting time and recurrence of dispersing billiard maps and piecewise expanding maps under some regular conditions, including tent map, Lorentz-like map and Gauss map.


title: Static neutral black holes in Kalb-Ramond gravity

abstract: The Kalb-Ramond (KR) gravity theory, a modified gravity theory that nonminimally couples a KR field with a nonzero vacuum expectation value for the gravitational field, can spontaneously break the Lorentz symmetry of gravity. In a recent work, Yang et al. [Phys. Rev. D 108, 124004 (2023)] successfully derived Schwarzschild-like black hole solutions both with and without a nonzero cosmological constant within the framework of KR gravity. However, their analysis did not address the more general case of static, neutral, spherically symmetric black holes. In this paper, we fill this gap by resolving the field equations to construct more general static, neutral, spherically symmetric black hole solutions both with and without a nonzero cosmological constant. Our black hole solutions are shown to obey the first law and the Bekenstein-Smarr mass formulas of black hole thermodynamics. Moreover, we demonstrate that our static neutral spherically symmetric AdS black hole does not always satisfy the reverse isoperimetric inequality (RII), as the isoperimetric ratio can be larger or smaller than unity depending on the placement of the solution parameters within the parameter space. This behavior contrasts with the above-mentioned Schwarzschild-like AdS black hole in the KR gravity theory, which always obeys the RII. Significantly, the present more general static, neutral, spherically symmetric AdS black hole is the first example of a static AdS black hole that can violate the RII.


title: Design of Phase Locked Loop in 180 nm Technology

abstract: The presented paper introduces a design for a phase-locked loop (PLL) that is utilized in frequency synthesis and modulation-demodulation within communication systems and in VLSI applications. The CMOS PLL is designed using 180 nm Fabrication Technology on Cadence Virtuoso Tool with a supply voltage of 1.8 V. The performance is evaluated through simulations and measurements, which demonstrate its ability to track and lock onto the input frequency. The PLL is a frequency synthesizer implemented to generate 2.4 GHz frequency. The input reference clock from a crystal oscillator is 150 MHz square wave. Negative feedback is given by divide-by-16 frequency divider, ensuring the phase and frequency synchronization between the divided signal and the reference signal. The design has essential components such as a phase frequency detector, charge pump, loop filter, current-starved voltage-controlled oscillator (CSVCO), and frequency divider. Through their collaborative operation, the system generates an output frequency that is 16 times the input frequency. The centre frequency of the 3-stage CSVCO is 3.208 GHz at 900 mV input voltage. With an input voltage ranging from 0.4 V to 1.8 V, the VCO offers a tuning range that spans from 1.066 GHz to 3.731 GHz.PLL demonstrates a lock-in range spanning from 70.4 MHz to 173 MHz, with an output frequency range of 1.12 GHz to 2.78 GHz. It achieves a lock time of 260.03 ns and consumes a maximum power of 5.15 mW at 2.4 GHz.


title: Exploring pulsar timing precision: A comparative study of polarization calibration methods for NANOGrav data from the Green Bank Telescope

abstract: Pulsar timing array experiments have recently uncovered evidence for a nanohertz gravitational wave background by precisely timing an ensemble of millisecond pulsars. The next significant milestones for these experiments include characterizing the detected background with greater precision, identifying its source(s), and detecting continuous gravitational waves from individual supermassive black hole binaries. To achieve these objectives, generating accurate and precise times of arrival of pulses from pulsar observations is crucial. Incorrect polarization calibration of the observed pulsar profiles may introduce errors in the measured times of arrival. Further, previous studies (e.g., van Straten 2013; Manchester et al. 2013) have demonstrated that robust polarization calibration of pulsar profiles can reduce noise in the pulsar timing data and improve timing solutions. In this paper, we investigate and compare the impact of different polarization calibration methods on pulsar timing precision using three distinct calibration techniques: the Ideal Feed Assumption (IFA), Measurement Equation Modeling (MEM), and Measurement Equation Template Matching (METM). Three NANOGrav pulsars-PSRs J1643$-$1224, J1744$-$1134, and J1909$-$3744-observed with the 800 MHz and 1.5 GHz receivers at the Green Bank Telescope (GBT) are utilized for our analysis. Our findings reveal that all three calibration methods enhance timing precision compared to scenarios where no polarization calibration is performed. Additionally, among the three calibration methods, the IFA approach generally provides the best results for timing analysis of pulsars observed with the GBT receiver system. We attribute the comparatively poorer performance of the MEM and METM methods to potential instabilities in the reference noise diode coupled to the receiver and temporal variations in the profile of the reference pulsar, respectively.


title: An Efficient yet High-Performance Method for Precise Radar-Based Imaging of Human Hand Poses

abstract: Contactless hand pose estimation requires sensors that provide precise spatial information and low computational complexity for real-time processing. Unlike vision-based systems, radar offers lighting independence and direct motion assessments. Yet, there is limited research balancing real-time constraints, suitable frame rates for motion evaluations, and the need for precise 3D data. To address this, we extend the ultra-efficient two-tone hand imaging method from our prior work to a three-tone approach. Maintaining high frame rates and real-time constraints, this approach significantly enhances reconstruction accuracy and precision. We assess these measures by evaluating reconstruction results for different hand poses obtained by an imaging radar. Accuracy is assessed against ground truth from a spatially calibrated photogrammetry setup, while precision is measured using 3D-printed hand poses. The results emphasize the method's great potential for future radar-based hand sensing.