title: Dynamical Detection of Topological Spectral Density

abstract: Local density of states (LDOS) is emerging as powerful means of exploring synthetic topological phases. However, the current LDOS detection method remains rare and merely works for static situations. Here, we introduce a generic dynamical method to detect both the static and Floquet LDOS, based on an elegant connection between dynamics of chiral density and local spectral densities. Moreover, we find that the Floquet LDOS allows to measure out Floquet quasienergy spectra and identify topological $\pi$ modes. As an example, we demonstrate that both the static and Floquet higher-order topological phase can be universally identified via LDOS detection, regardless of whether the topological corner modes are in energy gaps, bands or continue energy spectra without bandgaps. Our study opens a new avenue utilizing dynamics to detect topological spectral densities and provides a universal approach of identifying static and Floquet topological phases.


title: Six decades of the FitzHugh-Nagumo model: A guide through its spatio-temporal dynamics and influence across disciplines

abstract: The FitzHugh-Nagumo equation, originally conceived in neuroscience during the 1960s, became a key model providing a simplified view of excitable neuron cell behavior. Its applicability, however, extends beyond neuroscience into fields like cardiac physiology, cell division, population dynamics, electronics, and other natural phenomena. In this review spanning six decades of research, we discuss the diverse spatio-temporal dynamical behaviors described by the FitzHugh-Nagumo equation. These include dynamics like bistability, oscillations, and excitability, but it also addresses more complex phenomena such as traveling waves and extended patterns in coupled systems. The review serves as a guide for modelers aiming to utilize the strengths of the FitzHugh-Nagumo model to capture generic dynamical behavior. It not only catalogs known dynamical states and bifurcations, but also extends previous studies by providing stability and bifurcation analyses for coupled spatial systems.

categories: nlin.PS math-ph math.MP physics.bio-ph physics.comp-ph q-bio.OT


title: Multi-layer continuous carbon fiber pattern optimization and a spline based path planning interpretation

abstract: A novel approach for creating tool paths for continuous carbon fiber-reinforced thermoplastic 3D printing is introduced. The aim is to enable load-bearing connections while avoiding non-manufacturable crossings of paths by generating layer specific patterns. We require a graph representation of the structural design with given desired continuous fiber connections. From this, optimal fiber patterns are obtained for each printing layer by solving linear integer optimization problems. Each layer may have a unique solution based on the history of the previous layers. Additionally, a path planning approach is presented which interprets the obtained layers via curves based on quadratic and cubic B\'ezier splines and their offset curves in constant distance. The single parameter for the construction of the paths is the minimal turning radius of the fibers. The path planning provides a new interpretation for the final geometry of the design to be printed.


title: Wave-front tracking for a quasi-linear scalar conservation law with hysteresis

abstract: In this article we deal with the Cauchy problem for the quasi-linear scalar conservation law \[u_t+ {\cal F}(u)_t+u_x=0,\] where ${\cal F}$ is a specific hysteresis operator, namely the Play operator. Hysteresis models a rate-independent memory relationship between the input $u$ and its output. Its presence in the partial differential equation gives a particular non-local feature to the latter allowing us to capture phenomena that may arise in some application fields. Riemann problems and the interactions between shock lines are studied and via the so-called Wave-Front Tracking method a solution to the Cauchy problem with bounded variation initial data is constructed. The solution found satisfies an entropy-like condition, making it the unique solution in the class of entropy admissible ones.


title: Pharmacokinetic Measurements in Dose Finding Model Guided by Escalation with Overdose Control

abstract: Oncology drug development starts with a dose escalation phase to find the maximal tolerable dose (MTD). Dose limiting toxicity (DLT) is the primary endpoint for dose escalation phase. Traditionally, model-based dose escalation trial designs recommend a dose for escalation based on an assumed dose-DLT relationship. Pharmacokinetic (PK) data are often available but are currently only used by clinical teams in a subjective manner to aid decision making. Formal incorporation of PK data in dose-escalation models can make the decision process more efficient and lead to an increase in precision. In this talk we present a Bayesian joint modeling framework for incorporating PK data in Oncology dose escalation trials. This framework explores the dose-PK and PK-DLT relationships jointly for better model informed dose escalation decisions. Utility of the proposed model is demonstrated through a real-life case study along with simulation.


title: Generalizing Instant Runoff Voting to Allow Indifferences

abstract: Instant Runoff Voting (IRV) is used in elections for many political offices around the world. It allows voters to specify their preferences among candidates as a ranking. We identify a generalization of the rule, called Approval-IRV, that allows voters more freedom by allowing them to give equal preference to several candidates. Such weak orders are a more expressive input format than linear orders, and they help reduce the cognitive effort of voting. Just like standard IRV, Approval-IRV proceeds in rounds by successively eliminating candidates. It interprets each vote as an approval vote for its most-preferred candidates among those that have not been eliminated. At each step, it eliminates the candidate who is approved by the fewest voters. Among the large class of scoring elimination rules, we prove that Approval-IRV is the unique way of extending IRV to weak orders that preserves its characteristic axiomatic properties, in particular independence of clones and respecting a majority's top choices. We also show that Approval-IRV is the unique extension of IRV among rules in this class that satisfies a natural monotonicity property defined for weak orders. Prior work has proposed a different generalization of IRV, which we call Split-IRV, where instead of approving, each vote is interpreted as splitting 1 point equally among its top choices (for example, 0.25 points each if a vote has 4 top choices), and then eliminating the candidate with the lowest score. Split-IRV fails independence of clones, may not respect majority wishes, and fails our monotonicity condition. The multi-winner version of IRV is known as Single Transferable Vote (STV). We prove that Approval-STV continues to satisfy the strong proportional representation properties of STV, underlining that the approval way is the right way of extending the IRV/STV idea to weak orders.


title: DUPE: Detection Undermining via Prompt Engineering for Deepfake Text

abstract: As large language models (LLMs) become increasingly commonplace, concern about distinguishing between human and AI text increases as well. The growing power of these models is of particular concern to teachers, who may worry that students will use LLMs to write school assignments. Facing a technology with which they are unfamiliar, teachers may turn to publicly-available AI text detectors. Yet the accuracy of many of these detectors has not been thoroughly verified, posing potential harm to students who are falsely accused of academic dishonesty. In this paper, we evaluate three different AI text detectors-Kirchenbauer et al. watermarks, ZeroGPT, and GPTZero-against human and AI-generated essays. We find that watermarking results in a high false positive rate, and that ZeroGPT has both high false positive and false negative rates. Further, we are able to significantly increase the false negative rate of all detectors by using ChatGPT 3.5 to paraphrase the original AI-generated texts, thereby effectively bypassing the detectors.


title: Batch Array Codes

abstract: Batch codes are a type of codes specifically designed for coded distributed storage systems and private information retrieval protocols. These codes have got much attention in recent years due to their ability to enable efficient and secure storage in distributed systems. In this paper, we study an array code version of the batch codes, which is called the \emph{batch array code} (BAC). Under the setting of BAC, each node stores a bucket containing multiple code symbols and responds with a locally computed linear combination of the symbols in its bucket during the recovery of a requested symbol. We demonstrate that BACs can support the same type of requests as the original batch codes but with reduced redundancy. Specifically, we establish information theoretic lower bounds on the code lengths and provide several code constructions that confirm the tightness of the lower bounds for certain parameter regimes.


title: SERENE: A Collusion Resilient Replication-based Verification Framework

abstract: The rapid advancement of autonomous driving technology is accompanied by substantial challenges, particularly the reliance on remote task execution without ensuring a reliable and accurate returned results. This reliance on external compute servers, which may be malicious or rogue, represents a major security threat. While researchers have been exploring verifiable computing, and replication-based task verification as a simple, fast, and dependable method to assess the correctness of results. However, colluding malicious workers can easily defeat this method. Existing collusion detection and mitigation solutions often require the use of a trusted third party server or verified tasks which may be hard to guarantee, or solutions that assume the presence of a minority of colluding servers. We propose SERENE, a collusion resilient replication-based verification framework that detects, and mitigates colluding workers. Unlike state-of-the-art solutions, SERENE uses a lightweight detection algorithm that detects collusion based on a single verification task. Mitigation requires a two stage process to group the workers and identifying colluding from honest workers. We implement and compare SERENE's performance to Staab et. al, resulting in an average of 50\% and 60\% accuracy improvement in detection and mitigation accuracy respectively.


title: EcoMLS: A Self-Adaptation Approach for Architecting Green ML-Enabled Systems

abstract: The sustainability of Machine Learning-Enabled Systems (MLS), particularly with regard to energy efficiency, is an important challenge in their development and deployment. Self-adaptation techniques, recognized for their potential in energy savings within software systems, have yet to be extensively explored in Machine Learning-Enabled Systems (MLS), where runtime uncertainties can significantly impact model performance and energy consumption. This variability, alongside the fluctuating energy demands of ML models during operation, necessitates a dynamic approach. Addressing these challenges, we introduce EcoMLS approach, which leverages the Machine Learning Model Balancer concept to enhance the sustainability of MLS through runtime ML model switching. By adapting to monitored runtime conditions, EcoMLS optimally balances energy consumption with model confidence, demonstrating a significant advancement towards sustainable, energy-efficient machine learning solutions. Through an object detection exemplar, we illustrate the application of EcoMLS, showcasing its ability to reduce energy consumption while maintaining high model accuracy throughout its use. This research underscores the feasibility of enhancing MLS sustainability through intelligent runtime adaptations, contributing a valuable perspective to the ongoing discourse on energy-efficient machine learning.


title: Spin and charge dynamics of doped one-dimensional Mott insulators

abstract: Recent angle-resolved photoemission spectroscopy (ARPES) for a newly discovered doped one-dimensional (1D) Mott insulator Ba$_{2-x}$Sr$_x$CuO$_{3+\delta}$ proposed the presence of attractive charge interactions between neighboring sites if an 1D Hubbard model is employed to describe the material. On the other hand, long-range repulsive charge interactions were proposed to be crucial for understanding optical excitations of undoped 1D Mott insulators. Motivated by these contrasting proposals, we perform density-matrix renormalization group calculations of the single-particle spectral function as well as dynamical spin and charge structure factors for two kinds of extended 1D Hubbard models. The spectral function for the long-range repulsive model less agrees with the ARPES data as compared with that for the attractive one. The dynamical spin and charge structure factors also exhibit contrasting behaviors between the two models: the attractive model shows less momentum dependence of the integrated weight in the dynamical spin structure factor and more accumulation of the weight on the upper edge of particle-hole-type excitation in the dynamical charge structure factor. These features give a good criterion of an appropriate model for doped 1D Mott insulators, which can be judged by resonant-inelastic x-ray scattering experiments.


title: Classifying Sums of Exponentially Damped Sinusoids Using an Associated Numerical Range

abstract: The matrix pencil method (MPM) is a well-known technique for estimating the parameters of exponentially damped sinusoids in noise by solving a generalized eigenvalue problem. However, in several cases, this is an ill-conditioned problem whose solution is highly biased under small perturbations. When the estimation is performed to classify the observed signal into two categories, the estimation errors induce several misclassifications. In this work we propose a novel signal classification criteria by exploiting the relationship between the generalized eigenvalue problem posed in the MPM and the numerical range of a pair of rectangular matrices. In particular, the classification test is formulated as a set inclusion problem, and no spectrum estimation is required. The technique is applied to a problem of electromagnetic scattering to classify dielectric materials using the scattering signal observed when a target is illuminated by an ultra-wideband signal. The performance of the classification scheme is assessed in terms of error rate and it is compared to another classification technique, the generalized likelihood rate test (GLRT).


title: Anisotropic Nonsaturating Magnetoresistance Observed in HoMn$_6$Ge$_6$: A Kagome Dirac Semimetal

abstract: We report the magnetic and magnetotransport properties and electronic band structure of the kagome Dirac semimetal HoMn$_6$Ge$_6$. Temperature-dependent electrical resistivity demonstrates various magnetic-transition-driven anomalies. Notably, a crossover from negative to positive magnetoresistance (MR) is observed at around 150 K. While the linear nonsaturating positive MR in the low-temperature region is mainly driven by the linear Dirac-like band dispersions as predicted by the first-principles calculations, the negative MR observed in the high-temperature region is due to the spin-flop type magnetic transition. Consistent with anisotropic Fermi surface topology, we observe anisotropic magnetoresistance at low temperatures. A significant anomalous Hall effect has been noticed at high temperatures in addition to a switching of the dominant charge carrier from electron to hole at around 215 K.


title: Achromatic Full Stokes Polarimetry Metasurface for Full-color Polarization Imaging in the Visible

abstract: Metasurfaces composed of anisotropic subwavelength structures provide an ultrathin platform for a compact, real-time polarimeter. However, applications in polychromatic scenes are restricted by the limited operating bandwidths and degraded imaging quality due to the loss of spectral information. Here, we demonstrated full-color polarization imaging based on an achromatic polarimeter consisting of four polarization-dependent metalenses. Boosted by an intelligent design scheme, arbitrary phase compensation and multi-objective matching are effectively compatible with a limited database. Broadband achromaticity for wavelengths ranging from 450 nm to 650 nm, with a relative bandwidth of nearly 0.435, is achieved for the full Stokes imaging. The experimental polarization reconstructed errors for operating wavelengths of 450 nm, 550 nm, and 650 nm are 7.5%, 5.9%, and 3.8%, respectively. The full-color and full-polarization imaging capability of the device is also verified with a customized object. The proposed scheme paves the way for further developing polarization imaging toward practical applications.


title: Neural Shr\"odinger Bridge Matching for Pansharpening

abstract: Recent diffusion probabilistic models (DPM) in the field of pansharpening have been gradually gaining attention and have achieved state-of-the-art (SOTA) performance. In this paper, we identify shortcomings in directly applying DPMs to the task of pansharpening as an inverse problem: 1) initiating sampling directly from Gaussian noise neglects the low-resolution multispectral image (LRMS) as a prior; 2) low sampling efficiency often necessitates a higher number of sampling steps. We first reformulate pansharpening into the stochastic differential equation (SDE) form of an inverse problem. Building upon this, we propose a Schr\"odinger bridge matching method that addresses both issues. We design an efficient deep neural network architecture tailored for the proposed SB matching. In comparison to the well-established DL-regressive-based framework and the recent DPM framework, our method demonstrates SOTA performance with fewer sampling steps. Moreover, we discuss the relationship between SB matching and other methods based on SDEs and ordinary differential equations (ODEs), as well as its connection with optimal transport. Code will be available.


title: Directional Filter Design and Simulation for Superconducting On-chip Filter-banks

abstract: Many superconducting on-chip filter-banks suffer from poor coupling to the detectors behind each filter. This is a problem intrinsic to the commonly used half wavelength filter, which has a maximum theoretical coupling of 50 %. In this paper we introduce a phase coherent filter, called a directional filter, which has a theoretical coupling of 100 %. In order to to study and compare different types of filter-banks, we first analyze the measured filter frequency scatter, losses, and spectral resolution of a DESHIMA 2.0 filter-bank chip. Based on measured fabrication tolerances and losses, we adapt the input parameters for our circuit simulations, quantitatively reproducing the measurements. We find that the frequency scatter is caused by nanometer-scale line-width variations and that variances in the spectral resolution is caused by losses in the dielectric only. Finally, we include these realistic parameters in a full filter-bank model and simulate a wide range of spectral resolutions and oversampling values. For all cases the directional filter-bank has significantly higher coupling to the detectors than the half-wave resonator filter-bank. The directional filter eliminates the need to use oversampling as a method to improve the total efficiency, instead capturing nearly all the power remaining after dielectric losses.


title: On an inhomogeneous coagulation model with a differential sedimentation kernel

abstract: We study an inhomogeneous coagulation equation that contains a transport term in the spatial variable modeling the sedimentation of clusters. We prove local existence of mass conserving solutions for a class of coagulation kernels for which in the space homogeneous case instantaneous gelation (i.e., instantaneous loss of mass) occurs. Our result holds true in particular for sum-type kernels of homogeneity greater than one, for which solutions do not exist at all in the spatially homogeneous case. Moreover, our result covers kernels that in addition vanish on the diagonal, which have been used to describe the onset of rain and the behavior of air bubbles in water.


title: SLAIM: Robust Dense Neural SLAM for Online Tracking and Mapping

abstract: We present SLAIM - Simultaneous Localization and Implicit Mapping. We propose a novel coarse-to-fine tracking model tailored for Neural Radiance Field SLAM (NeRF-SLAM) to achieve state-of-the-art tracking performance. Notably, existing NeRF-SLAM systems consistently exhibit inferior tracking performance compared to traditional SLAM algorithms. NeRF-SLAM methods solve camera tracking via image alignment and photometric bundle-adjustment. Such optimization processes are difficult to optimize due to the narrow basin of attraction of the optimization loss in image space (local minima) and the lack of initial correspondences. We mitigate these limitations by implementing a Gaussian pyramid filter on top of NeRF, facilitating a coarse-to-fine tracking optimization strategy. Furthermore, NeRF systems encounter challenges in converging to the right geometry with limited input views. While prior approaches use a Signed-Distance Function (SDF)-based NeRF and directly supervise SDF values by approximating ground truth SDF through depth measurements, this often results in suboptimal geometry. In contrast, our method employs a volume density representation and introduces a novel KL regularizer on the ray termination distribution, constraining scene geometry to consist of empty space and opaque surfaces. Our solution implements both local and global bundle-adjustment to produce a robust (coarse-to-fine) and accurate (KL regularizer) SLAM solution. We conduct experiments on multiple datasets (ScanNet, TUM, Replica) showing state-of-the-art results in tracking and in reconstruction accuracy.


title: Quantum Cloud Computing: A Review, Open Problems, and Future Directions

abstract: Quantum cloud computing is an emerging paradigm of computing that empowers quantum applications and their deployment on quantum computing resources without the need for a specialized environment to host and operate physical quantum computers. This paper reviews recent advances, identifies open problems, and proposes future directions in quantum cloud computing. It discusses the state-of-the-art quantum cloud advances, including the various cloud-based models, platforms, and recently developed technologies and software use cases. Furthermore, it discusses different aspects of the quantum cloud, including resource management, quantum serverless, security, and privacy problems. Finally, the paper examines open problems and proposes the future directions of quantum cloud computing, including potential opportunities and ongoing research in this emerging field.


title: Excitonic circular dichroism in boron-nitrogen clusters decorated graphene

abstract: Within the first principle calculations, we propose a boron and nitrogen cluster incorporated graphene system for efficient valley polarization. The broken spatial inversion symmetry results in high Berry curvature at K and K' valleys of the hexagonal Brillouin zone in this semiconducting system. The consideration of excitonic quasiparticles within GW approximation along with their scattering processes within many-body Bethe-Salpeter equation gives rise to an optical gap of 1.72 eV with an excitonic binding energy of 0.65 eV. Owing to the negligible intervalley scattering, the electrons in opposite valleys are selectively excited by left- and right-handed circular polarized lights, as evident from the oscillator strength calculations. Therefore, this system can exhibit circular-dichroism valley Hall effect in the presence of the in-plane electric field. Moreover, such excitonic qubits can be exploited for information processing.


title: Short-term wind speed forecasting model based on an attention-gated recurrent neural network and error correction strategy

abstract: The accurate wind speed series forecast is very pivotal to security of grid dispatching and the application of wind power. Nevertheless, on account of their nonlinear and non-stationary nature, their short-term forecast is extremely challenging. Therefore, this dissertation raises one short-term wind speed forecast pattern on the foundation of attention with an improved gated recurrent neural network (AtGRU) and a tactic of error correction. That model uses the AtGRU model as the preliminary predictor and the GRU model as the error corrector. At the beginning, SSA (singular spectrum analysis) is employed in previous wind speed series for lessening the noise. Subsequently, historical wind speed series is going to be used for the predictor training. During this process, the prediction can have certain errors. The sequence of these errors processed by variational modal decomposition (VMD) is used to train the corrector of error. The eventual forecast consequence is just the sum of predictor forecast and error corrector. The proposed SSA-AtGRU-VMD-GRU model outperforms the compared models in three case studies on Woodburn, St. Thomas, and Santa Cruz. It is indicated that the model evidently enhances the correction of the wind speed forecast.


title: Correlation Function Of Thin-Shell Operators

abstract: In this study, we explore the correlation functions of thin-shell operators, represented semiclassically by a homogeneous, thin interface of dust particles. Employing the monodromy method, we successfully compute the contribution from the Virasoro vacuum block and present the monodromy equation in a closed form without assuming the probe limit. Although an analytical solution to the monodromy equation remains difficult, we demonstrate that it is perturbatively solvable within specific limits, including the probe, the heavy-shell, and the early-time limits. Moreover, we compare our results with gravitational calculations and find precise agreement. We strengthen our findings by proving that the thermal correlation functions in gravity, after an inverse Laplace transformation, satisfy the field theory's monodromy equation. Additionally, we identify an infinite series of unphysical solutions to the monodromy equation and discuss their potential geometrical duals.


title: Spatially resolved lock-in micro-thermography (SR-LIT): A tensor analysis-enhanced method for anisotropic thermal characterization

abstract: While high-throughput (HT) computations have streamlined the discovery of promising new materials, experimental characterization remains challenging and time-consuming. One significant bottleneck is the lack of an HT thermal characterization technique capable of analyzing advanced materials exhibiting varying surface roughness and in-plane anisotropy. To tackle these challenges, we introduce spatially resolved lock-in micro-thermography (SR-LIT), an innovative technique enhanced by tensor analysis for optical thermal characterization. Our comprehensive analysis and experimental findings showcase notable advancements: We present a novel tensor-based methodology that surpasses the limitations of vector-based analysis prevalent in existing techniques, significantly enhancing the characterization of arbitrary in-plane anisotropic thermal conductivity tensors. On the instrumental side, we introduce a straightforward camera-based detection system that, when combined with the tensor-based methodology, enables HT thermal measurements. This technique requires minimal sample preparation and enables the determination of the entire in-plane thermal conductivity tensor with a single data acquisition lasting under 40 seconds, demonstrating a time efficiency over 90 times superior to state-of-the-art HT thermology. Additionally, our method accommodates millimeter-sized samples with poor surface finish, tolerating surface roughness up to 3.5 {\mu}m. These features highlight an innovative approach to realizing HT and accurate thermal characterization across various research areas and real-world applications.


title: Similarities between projective quantum fields and the Standard Model

abstract: Many homogeneous, four-dimensional space-time geometries can be considered within real projective geometry, which yields a mathematically well-defined framework for their deformations and limits without the appearance of singularities. Focussing on generalized unitary transformation behavior, projective quantum fields can be axiomatically introduced, which transform smoothly under geometry deformations and limits. Connections on the related projective frame bundles provide gauge fields with gauge group $\mathrm{PGL}_5\mathbb{R}$. For Poincar\'e geometry, on operator level only $\mathrm{P}(\mathrm{GL}_2\mathbb{R}\times \mathrm{GL}_3\mathbb{R})\cong \mathbb{R}_{\neq 0}\times \mathrm{PGL}_2\mathbb{R}\times \mathrm{PGL}_3\mathbb{R}$ gauge bosons can interact non-trivially with other projective quantum fields from the non- to ultra-relativistic limits. The corresponding propagating, complexified gauge bosons come with the Standard Model gauge group $G_{\mathrm{SM}}=(\mathrm{U}(1)\times \mathrm{SU}(2)\times \mathrm{SU}(3))/\mathbb{Z}_6$. Physical scale transformations can act as global gauge transformations and their spontaneous breaking can lead to masses for the projective quantum fields including the $\mathrm{SU}(2)$ gauge bosons. Projective quantum fields, which are irreducible both with respect to the Lie algebra $\mathfrak{pgl}_5\mathbb{R}$ and the Poincar\'e group, form Dirac fermions and $G_{\mathrm{SM}}$ gauge bosons interact with them similar to the Standard Model. For homogeneous, curved Lorentz geometries a gauge group similar to the gauge group of metric-affine gravity appears.


title: SPAMming Labels: Efficient Annotations for the Trackers of Tomorrow

abstract: Increasing the annotation efficiency of trajectory annotations from videos has the potential to enable the next generation of data-hungry tracking algorithms to thrive on large-scale datasets. Despite the importance of this task, there are currently very few works exploring how to efficiently label tracking datasets comprehensively. In this work, we introduce SPAM, a tracking data engine that provides high-quality labels with minimal human intervention. SPAM is built around two key insights: i) most tracking scenarios can be easily resolved. To take advantage of this, we utilize a pre-trained model to generate high-quality pseudo-labels, reserving human involvement for a smaller subset of more difficult instances; ii) handling the spatiotemporal dependencies of track annotations across time can be elegantly and efficiently formulated through graphs. Therefore, we use a unified graph formulation to address the annotation of both detections and identity association for tracks across time. Based on these insights, SPAM produces high-quality annotations with a fraction of ground truth labeling cost. We demonstrate that trackers trained on SPAM labels achieve comparable performance to those trained on human annotations while requiring only 3-20% of the human labeling effort. Hence, SPAM paves the way towards highly efficient labeling of large-scale tracking datasets. Our code and models will be available upon acceptance.


title: Matern Correlation: A Panoramic Primer

abstract: Matern correlation is of pivotal importance in spatial statistics and machine learning. This paper serves as a panoramic primer for this correlation with an emphasis on the exposition of its changing behavior and smoothness properties in response to the change of its two parameters. Such exposition is achieved through a series of simulation studies, the use of an interactive 3D visualization applet, and a practical modeling example, all tailored for a wide-ranging statistical audience. Meanwhile, the thorough understanding of these parameter-smoothness relationships, in turn, serves as a pragmatic guide for researchers in their real-world modeling endeavors, such as setting appropriate initial values for these parameters and parameter-fine-tuning in their Bayesian modeling practice or simulation studies involving the Matern correlation. Derived problems surrounding Matern, such as inconsistent parameter inference, extended forms of Matern and limitations of Matern, are also explored and surveyed to impart a panoramic view of this correlation.


title: Explainable Lung Disease Classification from Chest X-Ray Images Utilizing Deep Learning and XAI

abstract: Lung diseases remain a critical global health concern, and it's crucial to have accurate and quick ways to diagnose them. This work focuses on classifying different lung diseases into five groups: viral pneumonia, bacterial pneumonia, COVID, tuberculosis, and normal lungs. Employing advanced deep learning techniques, we explore a diverse range of models including CNN, hybrid models, ensembles, transformers, and Big Transfer. The research encompasses comprehensive methodologies such as hyperparameter tuning, stratified k-fold cross-validation, and transfer learning with fine-tuning.Remarkably, our findings reveal that the Xception model, fine-tuned through 5-fold cross-validation, achieves the highest accuracy of 96.21\%. This success shows that our methods work well in accurately identifying different lung diseases. The exploration of explainable artificial intelligence (XAI) methodologies further enhances our understanding of the decision-making processes employed by these models, contributing to increased trust in their clinical applications.


title: CarcassFormer: An End-to-end Transformer-based Framework for Simultaneous Localization, Segmentation and Classification of Poultry Carcass Defect

abstract: In the food industry, assessing the quality of poultry carcasses during processing is a crucial step. This study proposes an effective approach for automating the assessment of carcass quality without requiring skilled labor or inspector involvement. The proposed system is based on machine learning (ML) and computer vision (CV) techniques, enabling automated defect detection and carcass quality assessment. To this end, an end-to-end framework called CarcassFormer is introduced. It is built upon a Transformer-based architecture designed to effectively extract visual representations while simultaneously detecting, segmenting, and classifying poultry carcass defects. Our proposed framework is capable of analyzing imperfections resulting from production and transport welfare issues, as well as processing plant stunner, scalder, picker, and other equipment malfunctions. To benchmark the framework, a dataset of 7,321 images was initially acquired, which contained both single and multiple carcasses per image. In this study, the performance of the CarcassFormer system is compared with other state-of-the-art (SOTA) approaches for both classification, detection, and segmentation tasks. Through extensive quantitative experiments, our framework consistently outperforms existing methods, demonstrating remarkable improvements across various evaluation metrics such as AP, AP@50, and AP@75. Furthermore, the qualitative results highlight the strengths of CarcassFormer in capturing fine details, including feathers, and accurately localizing and segmenting carcasses with high precision. To facilitate further research and collaboration, the pre-trained model and source code of CarcassFormer is available for research purposes at: \url{https://github.com/UARK-AICV/CarcassFormer}.


title: Separating diameter two properties from their weak-star counterparts in spaces of Lipschitz functions

abstract: We address some open problems concerning Banach spaces of real-valued Lipschitz functions. Specifically, we prove that the diameter two properties differ from their weak-star counterparts in these spaces. In particular, we establish the existence of dual Banach spaces lacking the symmetric strong diameter two property but possessing its weak-star counterpart. We show that there exists an octahedral Lipschitz-free space whose bidual is not octahedral. Furthermore, we prove that the Banach space of real-valued Lipschitz functions from any infinite subset of $\ell_1$ possesses the symmetric strong diameter two property. These results are achieved by introducing new sufficient conditions, providing new examples and clarifying the status of known ones.


title: Instantiations and Computational Aspects of Non-Flat Assumption-based Argumentation

abstract: Most existing computational tools for assumption-based argumentation (ABA) focus on so-called flat frameworks, disregarding the more general case. In this paper, we study an instantiation-based approach for reasoning in possibly non-flat ABA. We make use of a semantics-preserving translation between ABA and bipolar argumentation frameworks (BAFs). By utilizing compilability theory, we establish that the constructed BAFs will in general be of exponential size. In order to keep the number of arguments and computational cost low, we present three ways of identifying redundant arguments. Moreover, we identify fragments of ABA which admit a poly-sized instantiation. We propose two algorithmic approaches for reasoning in possibly non-flat ABA. The first approach utilizes the BAF instantiation while the second works directly without constructing arguments. An empirical evaluation shows that the former outperforms the latter on many instances, reflecting the lower complexity of BAF reasoning. This result is in contrast to flat ABA, where direct approaches dominate instantiation-based approaches.


title: Quantitative merging for time-inhomogeneous Markov chains in non-decreasing environments via functional inequalities

abstract: We study time-inhomogeneous Markov chains to obtain quantitative results on their asymptotic behavior. We use Poincar\'e, Nash, and logarithmic-Sobolev inequalities. We assume that our Markov chain admits a finite invariant measure at each time and that the sequence of these invariant measures is non-decreasing. We deduce quantitative bounds on the merging time of the distributions for the chain started at two arbitrary points and we illustrate these new results with examples.


title: Runtime Analyses of NSGA-III on Many-Objective Problems

abstract: NSGA-II and NSGA-III are two of the most popular evolutionary multi-objective algorithms used in practice. While NSGA-II is used for few objectives such as 2 and 3, NSGA-III is designed to deal with a larger number of objectives. In a recent breakthrough, Wietheger and Doerr (IJCAI 2023) gave the first runtime analysis for NSGA-III on the 3-objective OneMinMax problem, showing that this state-of-the-art algorithm can be analyzed rigorously. We advance this new line of research by presenting the first runtime analyses of NSGA-III on the popular many-objective benchmark problems mLOTZ, mOMM, and mCOCZ, for an arbitrary constant number $m$ of objectives. Our analysis provides ways to set the important parameters of the algorithm: the number of reference points and the population size, so that a good performance can be guaranteed. We show how these parameters should be scaled with the problem dimension, the number of objectives and the fitness range. To our knowledge, these are the first runtime analyses for NSGA-III for more than 3 objectives.


title: Experimentally informed, linear mean-field modelling of circular cylinder aeroacoustics

abstract: A noise modelling approach is proposed for bluff body wakes such as flow over a cylinder, where the primary noise source comprises large-scale coherent structures such as the vortex shedding flow feature. This phenomenon leads to Aeolian tones in the far-field, and is inherent in wake flows across a range of Reynolds numbers (Re), from low-Re to high-Re turbulent flows. The approach employs linear global stability analysis on the time-averaged mean flow, with amplitude calibration through two-point statistics, and far-field noise calculations from the global mode fluctuations by Curle analogy. The overall approach is tested for flow over a cylinder at Reynolds numbers Re=150 and 13300. For Re=150 flow, noise directivity calculations from the present approach agree with direct far-field computations. For Re=13300 flow, the mean flow is obtained by particle image velocimetry (PIV). The linear global mode for spanwise-homogeneous-type fluctuations is obtained at the main, lift fluctuation frequency. Calibration of this global mode involves Time-Resolved PIV data in the streamwise-spanwise plane, which is Fourier transformed in frequency-spanwise wavenumber space. The noise calculations for this global mode are then found to be less than 1 dB off from the microphone measurements.


title: An adaptive linearized alternating direction multiplier method for solving convex optimization problems

abstract: This thesis proposes an adaptive linearized alternating direction multiplier method to improve the convergence rate of the algorithm by using adaptive techniques to dynamically select the regular term coefficients. The innovation of this method is to utilize the information of the current iteration point to adaptively select the appropriate parameters, thus expanding the selection of the subproblem step size and improving the convergence rate of the algorithm while ensuring convergence.The advantage of this method is that it can improve the convergence rate of the algorithm as much as possible without compromising the convergence. This is very beneficial for the solution of optimization problems because the traditional linearized alternating direction multiplier method has a trade-off in the selection of the regular term coefficients: larger coefficients ensure convergence but tend to lead to small step sizes, while smaller coefficients allow for an increase in the iterative step size but tend to lead to the algorithm's non-convergence. This balance can be better handled by adaptively selecting the parameters, thus improving the efficiency of the algorithm.Overall, the method proposed in this thesis is of great importance in the field of matrix optimization and has a positive effect on improving the convergence speed and efficiency of the algorithm. It is hoped that this adaptive idea can bring new inspiration to the development of the field of matrix optimization and promote the research and application in related fields.


title: Excitation Transmission through a non-Hermitian traversable wormhole

abstract: This study explores the intricate real-time dynamics of a non-Hermitian system composed of two interconnected Sachdev-Ye-Kitaev (SYK) models. A central finding reveals that an excitation initially localized in the right SYK subsystem can be efficiently transmitted to the left subsystem subsequent to the characteristic scrambling time, a phenomenon facilitated by the intrinsic non-Hermitian nature of the system. The defining hallmark of non-Hermiticity is manifest in the asymmetric conveyance of quantum states, with the non-Hermitian parameter functioning as a tunable knob that selectively amplifies or dampens propagation modes on either side. Despite this inherent directional bias in state transfer, the system sustains two distinct phases, analogously likened to black holes and wormholes.


title: $SO(4)$ Symmetry in Hydrogen Atom with Spin

abstract: As the simplest atom in nature, the hydrogen atom has been explored thoroughly from the perspective of non-relativistic quantum mechanics to relativistic quantum mechanics. Among the research on hydrogen atom, its energy level is the most basic, which can be obtained more conveniently predicated on the $SO(4)$ symmetry than the wave-equation resolution. Moreover, ``spin'' is another indispensable topic in quantum mechanics, appearing as an intrinsic degree of freedom. In this work, we generalize the quantum Runge-Lenz vector to a spin-dependent one, and then extract a novel Hamiltonian of hydrogen atom with spin based on the requirement of $SO(4)$ symmetry. Furthermore, the energy spectrum of hydrogen atom with spin potentials is also determined by the remarkable approach of $SO(4)$ symmetry. Our findings extend the ground of hydrogen atom, and may contribute to other complicated models based on hydrogen atom.


title: Consistency of empirical distributions of sequences of graph statistics in networks with dependent edges

abstract: One of the first steps in applications of statistical network analysis is frequently to produce summary charts of important features of the network. Many of these features take the form of sequences of graph statistics counting the number of realized events in the network, examples of which include the degree distribution, as well as the edgewise shared partner distribution, and more. We provide conditions under which the empirical distributions of sequences of graph statistics are consistent in the $\ell_{\infty}$-norm in settings where edges in the network are dependent. We accomplish this by elaborating a weak dependence condition which ensures that we can obtain exponential inequalities which bound probabilities of deviations of graph statistics from the expected value. We apply this concentration inequality to empirical distributions of sequences of graph statistics and derive non-asymptotic bounds on the $\ell_{\infty}$-error which hold with high probability. Our non-asymptotic results are then extended to demonstrate uniform convergence almost surely in selected examples. We illustrate theoretical results through examples, simulation studies, and an application.


title: A waypoint based approach to visibility in performance based fire safety design

abstract: In performance-based fire safety design, ensuring safe egress, e.g. by visibility of safety signs, is a crucial safety goal. Compliance with the building requirements is often demonstrated by simulations of smoke spread. Numerical models like the Fire Dynamics Simulator generally compute visibility as a local quantity using the light extinction coefficient, without the consideration of the actual light path to a safety sign. Here, visibility maps are introduced, providing an approach for post-processing fire simulation data. They indicate safe areas along egress routes, with respect to visibility. At each location, the available visibility is calculated using Jin's law, as an integrated value of the extinction coefficient along the line of sight to the closest exit sign. The required visibility results from the distance between those points. Additional parameters like view angle or visual obstructions are considered. The presented method allows for temporal visibility assessment, e.g. in an ASET-RSET analysis.


title: Solving Power Grid Optimization Problems with Rydberg Atoms

abstract: The rapid development of neutral atom quantum hardware provides a unique opportunity to design hardware-centered algorithms for solving real-world problems aimed at establishing quantum utility. In this work, we study the performance of two such algorithms on solving MaxCut problem for various weighted graphs. The first method uses a state-of-the-art machine learning tool to optimize the pulse shape and embedding of the graph using an adiabatic Ansatz to find the ground state. We tested the performance of this method on finding maximum power section task of the IEEE 9-bus power system and obtaining MaxCut of randomly generated problems of size up to 12 on the Aquila quantum processor. To the best of our knowledge, this work presents the first MaxCut results on Quera's Aquila quantum hardware. Our experiments run on Aquila demonstrate that even though the probability of obtaining the solution is reduced, one can still solve the MaxCut problem on cloud-accessed neutral atom quantum hardware. The second method uses local detuning, which is an emergent update on the Aquila hardware, to obtain a near exact realization of the standard QAOA Ansatz with similar performance. Finally, we study the fidelity throughout the time evolution realized in the adiabatic method as a benchmark for the IEEE 9-bus power grid graph state.


title: Two-loop Electroweak corrections to the Higgs boson rare decay process $H\to Z\gamma$

abstract: Recently, ATLAS and CMS collaborations jointly announced the first evidence of the rare Higgs boson decay channel $H\to Z\gamma$, with a ratio of $2.2\pm 0.7$ times overshooting the leading order standard model (SM) prediction. In order to face this challenge, it is urgent to proceed an even accurate calculation within the SM. To this end, we calculate in this paper the next-to-leading order (NLO) electroweak (EW) corrections to $H\to Z\gamma$ process, in which the NLO quantum chromodynamics (QCD) corrections were found tiny. Our calculation finds that the inclusion of NLO EW corrections may greatly enhance the prediction reliability. To tame the theoretical uncertainty, we adopt five different renormalization schemes. Combining our result with previous NLO QCD corrections and the signal-background interference, we conclude that the excess in $H\to Z\gamma$ cannot be explained within the SM. In fact, the incompatibility between the SM prediction and the LHC measurement of the concerned process is exacerbated upon considering the higher order EW corrections, which implies something beyond the SM could be involved.


title: Structural properties of amorphous Na$_3$OCl electrolyte by first-principles and machine learning molecular dynamics

abstract: Solid-state electrolytes mark a significant leap forward in the field of electrochemical energy storage, offering improved safety and efficiency compared to conventional liquid electrolytes. Among these, antiperovskite electrolytes, particularly those based on Li and Na, have emerged as promising candidates due to their superior ionic conductivity and straightforward synthesis processes. This study focuses on the amorphous phase of antiperovskite Na$_3$OCl, assessing its structural properties through a combination of first-principles molecular dynamics (FPMD) and machine learning interatomic potential (MLIP) simulations. Our comprehensive analysis spans models ranging from 135 to 3645 atoms, allowing for a detailed examination of X-ray and neutron structure factors, total and partial pair correlation functions, coordination numbers, and structural unit distributions. We demonstrate the minimal, albeit partially present, size effects on these structural features and validate the accuracy of the MLIP model in reproducing the intricate details of the amorphous Na$_3$OCl structure described at the FPMD level.


title: Prediction of Unmanned Surface Vessel Motion Attitude Based on CEEMDAN-PSO-SVM

abstract: Unmanned boats, while navigating at sea, utilize active compensation systems to mitigate wave disturbances experienced by onboard instruments and equipment. However, there exists a lag in the measurement of unmanned boat attitudes, thus introducing unmanned boat motion attitude prediction to compensate for the lag in the signal acquisition process. This paper, based on the basic principles of waves, derives the disturbance patterns of waves on unmanned boats from the wave energy spectrum. Through simulation analysis of unmanned boat motion attitudes, motion attitude data is obtained, providing experimental data for subsequent work. A combined prediction model based on Complete Ensemble Empirical Mode Decomposition with Adaptive Noise (CEEMDAN), Particle Swarm Optimization (PSO), and Support Vector Machine (SVM) is designed to predict the motion attitude of unmanned boats. Simulation results validate its superior prediction accuracy compared to traditional prediction models. For example, in terms of mean absolute error, it improves by 17% compared to the EMD-PSO-SVM model.


title: Fidelity decay and error accumulation in quantum volume circuits

abstract: We present a comprehensive analysis of fidelity decay and error accumulation in faulty quantum circuit models. Our work devises an analytical bound for the average fidelity between desired and faulty output states, accounting for errors that may arise during the implementation of two-qubit gates and multi-qubit permutations. It is shown that fidelity decays exponentially with both circuit depth and the number of qubits raised to an architecture-dependent power, and determine the decay rates as a function of the two types of errors. Furthermore, we establish a robust linear relationship between fidelity and the heavy output frequency used in Quantum Volume tests to benchmark quantum processors, under the considered errors protocol. These findings pave the way for predicting the behavior of fidelity in the presence of specific errors and offer insights into the best strategies for increasing Quantum Volume.

categories: quant-ph cond-mat.dis-nn math-ph math.MP


title: Multi-modalities and non-commutativity/associativity in functorial linear logic: a case study

abstract: Similar to modal connectives, the exponential ! in intuitionistic linear logic (ILL) is not canonical, in the sense that if $i\not= j$ then $!^i F\not\equiv !^j F$. Intuitively, this means that we can mark the exponential with labels taken from a set I organized in a pre-order $\preceq$, obtaining (possibly infinitely-many) exponentials ($!^i$ for $i\in I$). There are, however, two main differences between multi-modalities in normal modal logics and subexponentials in linear logic. i. substructural behaviour. Subexponentials carry the possibility of having different structural behaviors; ii. nature of modalities. Normal modal logics start from the weakest version, assuming only axiom K, then extensions are considered, by adding other axioms. Exponentials in linear logic "take for granted" the behaviors expressed by axioms T and 4. Regarding (i), originally subexponentials could assume only weakening and contraction axioms, but later non-commutative/non-associative systems allowing commutative/ associative subexponentials were presented. Concerning (ii), Guerrini et al unified the modal and LL approaches, with the exponentials assuming only the linear version of K, with the possibility of adding modal extensions to it. This discussion was brought to multi-modal case, where subexponentials consider not only the structural axioms for contraction and weakening, but also the subexponential version of axioms {K,4,D,T}. In this work, we intend to join these two studies. This means that $!^{i}$ can behave classically or not, model associative and commutative systems or not, but also with exponential behaviors different from those in LL. Hence, by assigning different modal axioms one obtains, in a modular way, a class of different substructural modal logics.


title: Open-Ended Wargames with Large Language Models

abstract: Wargames are a powerful tool for understanding and rehearsing real-world decision making. Automated play of wargames using artificial intelligence (AI) enables possibilities beyond those of human-conducted games, such as playing the game many times over to see a range of possible outcomes. There are two categories of wargames: quantitative games, with discrete types of moves, and qualitative games, which revolve around open-ended responses. Historically, automation efforts have focused on quantitative games, but large language models (LLMs) make it possible to automate qualitative wargames. We introduce "Snow Globe," an LLM-powered multi-agent system for playing qualitative wargames. With Snow Globe, every stage of a text-based qualitative wargame from scenario preparation to post-game analysis can be optionally carried out by AI, humans, or a combination thereof. We describe its software architecture conceptually and release an open-source implementation alongside this publication. As case studies, we simulate a tabletop exercise about an AI incident response and a political wargame about a geopolitical crisis. We discuss potential applications of the approach and how it fits into the broader wargaming ecosystem.


title: Research on emotionally intelligent dialogue generation based on automatic dialogue system

abstract: Automated dialogue systems are important applications of artificial intelligence, and traditional systems struggle to understand user emotions and provide empathetic feedback. This study integrates emotional intelligence technology into automated dialogue systems and creates a dialogue generation model with emotional intelligence through deep learning and natural language processing techniques. The model can detect and understand a wide range of emotions and specific pain signals in real time, enabling the system to provide empathetic interaction. By integrating the results of the study "Can artificial intelligence detect pain and express pain empathy?", the model's ability to understand the subtle elements of pain empathy has been enhanced, setting higher standards for emotional intelligence dialogue systems. The project aims to provide theoretical understanding and practical suggestions to integrate advanced emotional intelligence capabilities into dialogue systems, thereby improving user experience and interaction quality.


title: An accelerated Levin-Clenshaw-Curtis method for the evaluation of highly oscillatory integrals

abstract: The efficient approximation of highly oscillatory integrals plays an important role in a wide range of applications. Whilst traditional quadrature becomes prohibitively expensive in the high-frequency regime, Levin methods provide a way to approximate these integrals in many settings at uniform cost. In this work, we present an accelerated version of Levin methods that can be applied to a wide range of physically important oscillatory integrals, by exploiting the banded action of certain differential operators on a Chebyshev polynomial basis. Our proposed version of the Levin method can be computed essentially in just $\mathcal{O}(\nu\log\nu)$ operations, where $\nu$ is the number of quadrature points and the dependence of the cost on a number of additional parameters is made explicit in the manuscript. This presents a significant speed-up over the direct computation of the Levin method in current state-of-the-art. We outline the construction of this accelerated method for a fairly broad class of integrals and support our theoretical description with a number of illustrative numerical examples.


title: AI-Enhanced Cognitive Behavioral Therapy: Deep Learning and Large Language Models for Extracting Cognitive Pathways from Social Media Texts

abstract: Cognitive Behavioral Therapy (CBT) is an effective technique for addressing the irrational thoughts stemming from mental illnesses, but it necessitates precise identification of cognitive pathways to be successfully implemented in patient care. In current society, individuals frequently express negative emotions on social media on specific topics, often exhibiting cognitive distortions, including suicidal behaviors in extreme cases. Yet, there is a notable absence of methodologies for analyzing cognitive pathways that could aid psychotherapists in conducting effective interventions online. In this study, we gathered data from social media and established the task of extracting cognitive pathways, annotating the data based on a cognitive theoretical framework. We initially categorized the task of extracting cognitive pathways as a hierarchical text classification with four main categories and nineteen subcategories. Following this, we structured a text summarization task to help psychotherapists quickly grasp the essential information. Our experiments evaluate the performance of deep learning and large language models (LLMs) on these tasks. The results demonstrate that our deep learning method achieved a micro-F1 score of 62.34% in the hierarchical text classification task. Meanwhile, in the text summarization task, GPT-4 attained a Rouge-1 score of 54.92 and a Rouge-2 score of 30.86, surpassing the experimental deep learning model's performance. However, it may suffer from an issue of hallucination. We have made all models and codes publicly available to support further research in this field.


title: Real-Time Trajectory Synthesis with Local Differential Privacy

abstract: Trajectory streams are being generated from location-aware devices, such as smartphones and in-vehicle navigation systems. Due to the sensitive nature of the location data, directly sharing user trajectories suffers from privacy leakage issues. Local differential privacy (LDP), which perturbs sensitive data on the user side before it is shared or analyzed, emerges as a promising solution for private trajectory stream collection and analysis. Unfortunately, existing stream release approaches often neglect the rich spatial-temporal context information within trajectory streams, resulting in suboptimal utility and limited types of downstream applications. To this end, we propose RetraSyn, a novel real-time trajectory synthesis framework, which is able to perform on-the-fly trajectory synthesis based on the mobility patterns privately extracted from users' trajectory streams. Thus, the downstream trajectory analysis can be performed on the high-utility synthesized data with privacy protection. We also take the genuine behaviors of real-world mobile travelers into consideration, ensuring authenticity and practicality. The key components of RetraSyn include the global mobility model, dynamic mobility update mechanism, real-time synthesis, and adaptive allocation strategy. We conduct extensive experiments on multiple real-world and synthetic trajectory datasets under various location-based utility metrics, encompassing both streaming and historical scenarios. The empirical results demonstrate the superiority and versatility of our proposed framework.


title: Efficient system for bulk characterization of cryogenic CMOS components

abstract: Semiconductor integrated circuits operated at cryogenic temperature will play an essential role in quantum computing architectures. These can offer equivalent or superior performance to their room-temperature counterparts while enabling a scaling up of the total number of qubits under control. Silicon integrated circuits can be operated at a temperature stage of a cryogenic system where cooling power is sufficient ($\sim$3.5+ K) to allow for analog signal chain components (e.g. amplifiers and mixers), local signal synthesis, signal digitization, and control logic. A critical stage in cryo-electronics development is the characterization of individual transistor devices in a particular technology node at cryogenic temperatures. This data enables the creation of a process design kit (PDK) to model devices and simulate integrated circuits operating well below the minimum standard temperature ranges covered by foundry-released models (e.g. -55 {\deg}C). Here, an efficient approach to the characterization of large numbers of components at cryogenic temperature is reported. We developed a system to perform DC measurements with Kelvin sense of individual transistors at 4.2 K using integrated on-die multiplexers, enabling bulk characterization of thousands of devices with no physical change to the measurement setup.


title: Top-quark spin properties at LHC

abstract: Due to its high mass top quarks decay before top-flavoured hadrons can be formed. This feature yields experimental access to the top quark polarization and production asymmetries. The large top quark sample moreover enables measurements of other properties, such as the W-boson branching ratios and helicity, and fragmentation functions of the bottom quarks. In this contribution, recent measurements of top-quark spin properties at the LHC are presented, including in particular the first evidence of the charge asymmetry in $t\bar{t}$ production (ATLAS), the charge asymmetry in a boosted regime (CMS) and the first measurement of the charge asymmetry in $t\bar{t}+W$ (ATLAS).


title: Visceral theories without assumptions

abstract: Let $T$ be a theory with a definable topology. $T$ is t-minimal in the sense of Mathews if every definable set in one variable has finite boundary. If $T$ is t-minimal, we show that there is a good dimension theory for definable sets, satisfying properties similar to dp-rank in dp-minimal theories, with one key exception: the dimension of $\operatorname{dom}(f)$ can be less than the dimension of $\operatorname{im}(f)$ for a definable function $f$. Using the dimension theory, we show that any definable field in a t-minimal theory is perfect. We then specialize to the case where $T$ is visceral in the sense of Dolich and Goodrick, meaning that $T$ is t-minimal and the definable topology comes from a definable uniformity (i.e., a definable uniform structure). We show that almost all of Dolich and Goodrick's tame topology theorems for visceral theories hold without their additional assumptions of definable finite choice (DFC) and no space-filling functions (NSFF). Lastly, we produce an example of a visceral theory with a space-filling curve, answering a question of Dolich and Goodrick.


title: Canonical theorems in geometric Ramsey theory

abstract: In Euclidean Ramsey Theory usually we are looking for monochromatic configurations in the Euclidean space, whose points are colored with a fixed number of colors. In the canonical version, the number of colors is arbitrary, and we are looking for an `unavoidable' set of colorings of a finite configuration, that is a set of colorings with the property that one of them always appears in any coloring of the space. This set definitely includes the monochromatic and the rainbow colorings. In the present paper, we prove the following two results of this type. First, for any acute triangle $T$, and any coloring of $\mathbb{R}^3$, there is either a monochromatic or a rainbow copy of $T$. Second, for every $m$, there exists a sufficiently large $n$ such that in any coloring of $\mathbb{R}^n$, there exists either a monochromatic or a rainbow $m$-dimensional unit hypercube. In the maximum norm, $\ell_{\infty}$, we have a much stronger statement. For every finite $M$, there exits an $n$ such that in any coloring of $\mathbb{R}_\infty^n$, there is either a monochromatic or a rainbow isometric copy of $M$.


title: Solution to the iterative differential equation $-\gamma g' = g^{-1}$

abstract: Using a Picard-like operator $T$, we prove that the iterative differential equation $-\gamma g' = g^{-1}$ with parameter $\gamma>0$ has a solution $g=h\colon[0,1]\to[0,1]$ for only one value $\gamma=\kappa\approx0.278877$, and that this solution $h$ is unique. As an even stronger result, we exhibit $h$ as the global limit of the operator $T$.


title: Deep Pattern Network for Click-Through Rate Prediction

abstract: Click-through rate (CTR) prediction tasks play a pivotal role in real-world applications, particularly in recommendation systems and online advertising. A significant research branch in this domain focuses on user behavior modeling. Current research predominantly centers on modeling co-occurrence relationships between the target item and items previously interacted with by users in their historical data. However, this focus neglects the intricate modeling of user behavior patterns. In reality, the abundance of user interaction records encompasses diverse behavior patterns, indicative of a spectrum of habitual paradigms. These patterns harbor substantial potential to significantly enhance CTR prediction performance. To harness the informational potential within user behavior patterns, we extend Target Attention (TA) to Target Pattern Attention (TPA) to model pattern-level dependencies. Furthermore, three critical challenges demand attention: the inclusion of unrelated items within behavior patterns, data sparsity in behavior patterns, and computational complexity arising from numerous patterns. To address these challenges, we introduce the Deep Pattern Network (DPN), designed to comprehensively leverage information from user behavior patterns. DPN efficiently retrieves target-related user behavior patterns using a target-aware attention mechanism. Additionally, it contributes to refining user behavior patterns through a pre-training paradigm based on self-supervised learning while promoting dependency learning within sparse patterns. Our comprehensive experiments, conducted across three public datasets, substantiate the superior performance and broad compatibility of DPN.


title: Unifying Bias and Unfairness in Information Retrieval: A Survey of Challenges and Opportunities with Large Language Models

abstract: With the rapid advancement of large language models (LLMs), information retrieval (IR) systems, such as search engines and recommender systems, have undergone a significant paradigm shift. This evolution, while heralding new opportunities, introduces emerging challenges, particularly in terms of biases and unfairness, which may threaten the information ecosystem. In this paper, we present a comprehensive survey of existing works on emerging and pressing bias and unfairness issues in IR systems when the integration of LLMs. We first unify bias and unfairness issues as distribution mismatch problems, providing a groundwork for categorizing various mitigation strategies through distribution alignment. Subsequently, we systematically delve into the specific bias and unfairness issues arising from three critical stages of LLMs integration into IR systems: data collection, model development, and result evaluation. In doing so, we meticulously review and analyze recent literature, focusing on the definitions, characteristics, and corresponding mitigation strategies associated with these issues. Finally, we identify and highlight some open problems and challenges for future work, aiming to inspire researchers and stakeholders in the IR field and beyond to better understand and mitigate bias and unfairness issues of IR in this LLM era. We also consistently maintain a GitHub repository for the relevant papers and resources in this rising direction at https://github.com/KID-22/LLM-IR-Bias-Fairness-Survey.


title: Learn to Tour: Operator Design For Solution Feasibility Mapping in Pickup-and-delivery Traveling Salesman Problem

abstract: This paper aims to develop a learning method for a special class of traveling salesman problems (TSP), namely, the pickup-and-delivery TSP (PDTSP), which finds the shortest tour along a sequence of one-to-one pickup-and-delivery nodes. One-to-one here means that the transported people or goods are associated with designated pairs of pickup and delivery nodes, in contrast to that indistinguishable goods can be delivered to any nodes. In PDTSP, precedence constraints need to be satisfied that each pickup node must be visited before its corresponding delivery node. Classic operations research (OR) algorithms for PDTSP are difficult to scale to large-sized problems. Recently, reinforcement learning (RL) has been applied to TSPs. The basic idea is to explore and evaluate visiting sequences in a solution space. However, this approach could be less computationally efficient, as it has to potentially evaluate many infeasible solutions of which precedence constraints are violated. To restrict solution search within a feasible space, we utilize operators that always map one feasible solution to another, without spending time exploring the infeasible solution space. Such operators are evaluated and selected as policies to solve PDTSPs in an RL framework. We make a comparison of our method and baselines, including classic OR algorithms and existing learning methods. Results show that our approach can find tours shorter than baselines.


title: Octopus v3: Technical Report for On-device Sub-billion Multimodal AI Agent

abstract: A multimodal AI agent is characterized by its ability to process and learn from various types of data, including natural language, visual, and audio inputs, to inform its actions. Despite advancements in large language models that incorporate visual data, such as GPT-4V, effectively translating image-based data into actionable outcomes for AI agents continues to be challenging. In this paper, we introduce a multimodal model that incorporates the concept of functional token specifically designed for AI agent applications. To ensure compatibility with edge devices, our model is optimized to a compact size of less than 1B parameters. Like GPT-4, our model can process both English and Chinese. We demonstrate that this model is capable of operating efficiently on a wide range of edge devices, including as constrained as a Raspberry Pi.


title: Self-affinity of discs under glass-cut dissections

abstract: A topological disc is called $n$-self-affine if it has a dissection into $n$ affine images of itself. It is called $n$-gc-self-affine if the dissection is obtained by successive glass-cuts, which are cuts along segments splitting one disc into two. For every $n \ge 2$, we characterize all $n$-gc-self-affine discs. All such discs turn out to be either triangles or convex quadrangles. All triangles and trapezoids are $n$-gc-self-affine for every $n$. Non-trapezoidal quadrangles are not $n$-gc-self-affine for even $n$. They are $n$-gc-self-affine for every odd $n \ge 7$, and they are $n$-gc-self-affine for $n=5$ if they aren't affine kites. Only four one-parameter families of quadrangles turn out to be $3$-gc-self-affine. In addition, we show that every convex quadrangle is $n$-self-affine for all $n \ge 5$.


title: Using Game Engines and Machine Learning to Create Synthetic Satellite Imagery for a Tabletop Verification Exercise

abstract: Satellite imagery is regarded as a great opportunity for citizen-based monitoring of activities of interest. Relevant imagery may however not be available at sufficiently high resolution, quality, or cadence -- let alone be uniformly accessible to open-source analysts. This limits an assessment of the true long-term potential of citizen-based monitoring of nuclear activities using publicly available satellite imagery. In this article, we demonstrate how modern game engines combined with advanced machine-learning techniques can be used to generate synthetic imagery of sites of interest with the ability to choose relevant parameters upon request; these include time of day, cloud cover, season, or level of activity onsite. At the same time, resolution and off-nadir angle can be adjusted to simulate different characteristics of the satellite. While there are several possible use-cases for synthetic imagery, here we focus on its usefulness to support tabletop exercises in which simple monitoring scenarios can be examined to better understand verification capabilities enabled by new satellite constellations and very short revisit times.


title: CdSe-Dot/CdS-Rod/PbS-Dot Nanocrystals by Partial Cation Exchange Reaction

abstract: Dual-emissive nanorods with fluorescence in both, the visible and infrared range are prepared by a combination of a CdSe-nanocrystal-seeded growth of CdS nanorods, and a successive partial Cd-to-Pb cation exchange. We show that the exchange reaction, which involves Pb halides in oleylamine, starts at the tip of the rods, leading to the formation of CdSe-dot/CdS-rod/PbS-dot nanocrystals (DRDs). Besides these DRDs, the reaction product also contains shorter nanorods and spherical quantum dots. Their fraction strongly depend on the amount of lead halide precursor and the reaction time. The reaction mechanism is investigated in detail, such that by carefully adjusting the reaction conditions, it is possible to synthesize DRDs of distinct PbS-dot sizes with yields over 95%. The resulting DRDs are crystalline and show a CdSe-fluorescence band in the visible range at 600 nm, and also a fluorescence band in the NIR at 1440 nm, resulting from the PbS part of the rods.


title: Low-Density Parity-Check Codes and Spatial Coupling for Quantitative Group Testing

abstract: A non-adaptive quantitative group testing (GT) scheme based on sparse codes-on-graphs in combination with low-complexity peeling decoding was introduced and analyzed by Karimi et al.. In this work, we propose a variant of this scheme based on low-density parity-check codes where the BCH codes at the constraint nodes are replaced by simple single parity-check codes. Furthermore, we apply spatial coupling to both GT schemes, perform a density evolution analysis, and compare their performance with and without coupling. Our analysis shows that both schemes improve with increasing coupling memory, and for all considered cases, it is observed that the LDPC code-based scheme substantially outperforms the original scheme. Simulation results for finite block length confirm the asymptotic density evolution thresholds.


title: Rates of convergence and normal approximations for estimators of local dependence random graph models

abstract: Local dependence random graph models are a class of block models for network data which allow for dependence among edges under a local dependence assumption defined around the block structure of the network. Since being introduced by Schweinberger and Handcock (2015), research in the statistical network analysis and network science literatures have demonstrated the potential and utility of this class of models. In this work, we provide the first statistical disclaimers which provide conditions under which estimation and inference procedures can be expected to provide accurate and valid inferences. This is accomplished by deriving convergence rates of inference procedures for local dependence random graph models based on a single observation of the graph, allowing both the number of model parameters and the sizes of blocks to tend to infinity. First, we derive the first non-asymptotic bounds on the $\ell_2$-error of maximum likelihood estimators, along with convergence rates. Second, and more importantly, we derive the first non-asymptotic bounds on the error of the multivariate normal approximation. In so doing, we introduce the first principled approach to providing statistical disclaimers through quantifying the uncertainty about statistical conclusions based on data.


title: X-posing Free Speech: Examining the Impact of Moderation Relaxation on Online Social Networks

abstract: We investigate the impact of free speech and the relaxation of moderation on online social media platforms using Elon Musk's takeover of Twitter as a case study. By curating a dataset of over 10 million tweets, our study employs a novel framework combining content and network analysis. Our findings reveal a significant increase in the distribution of certain forms of hate content, particularly targeting the LGBTQ+ community and liberals. Network analysis reveals the formation of cohesive hate communities facilitated by influential bridge users, with substantial growth in interactions hinting at increased hate production and diffusion. By tracking the temporal evolution of PageRank, we identify key influencers, primarily self-identified far-right supporters disseminating hate against liberals and woke culture. Ironically, embracing free speech principles appears to have enabled hate speech against the very concept of freedom of expression and free speech itself. Our findings underscore the delicate balance platforms must strike between open expression and robust moderation to curb the proliferation of hate online.


title: Quantum dynamics of dissipative Chern insulator

abstract: For open quantum systems,a short-time evolution is usually well described by the effective non-Hermitian Hamiltonians,while long-time dynamics requires the Lindblad master equation,in which the Liouvillian superoperators characterize the time evolution. In this paper, we constructed an open system by adding suitable gain and loss operators to the Chen insulator to investigate the time evolution of quantum states at long times by numerical simulations.Finally,we also propose a topolectrical circuits to realize the dissipative system for experimental observation. It is found found that the opening and closing of the Liouvillian gap leads to different damping behaviours of the system and that the presence of non-Hermitian skin effects leads to a phenomenon of chiral damping with sharp wavefronts.Our study deepens the understanding of quantum dynamics of dissipative system.


title: A Large-scale Fine-grained Analysis of Packages in Open-Source Software Ecosystems

abstract: Package managers such as NPM, Maven, and PyPI play a pivotal role in open-source software (OSS) ecosystems, streamlining the distribution and management of various freely available packages. The fine-grained details within software packages can unveil potential risks within existing OSS ecosystems, offering valuable insights for detecting malicious packages. In this study, we undertake a large-scale empirical analysis focusing on fine-grained information (FGI): the metadata, static, and dynamic functions. Specifically, we investigate the FGI usage across a diverse set of 50,000+ legitimate and 1,000+ malicious packages. Based on this diverse data collection, we conducted a comparative analysis between legitimate and malicious packages. Our findings reveal that (1) malicious packages have less metadata content and utilize fewer static and dynamic functions than legitimate ones; (2) malicious packages demonstrate a higher tendency to invoke HTTP/URL functions as opposed to other application services, such as FTP or SMTP; (3) FGI serves as a distinguishable indicator between legitimate and malicious packages; and (4) one dimension in FGI has sufficient distinguishable capability to detect malicious packages, and combining all dimensions in FGI cannot significantly improve overall performance.


title: Conformal Killing cosmology -- Geometry, dark sector, growth of structures, and big rip

abstract: We introduce Sinyukov-like tensors, a special kind of conformal Killing tensors. In Robertson-Walker space-times they have the perfect-fluid form and only depend on two constants and the scale factor. They are the candidate for the dark term of the newly proposed Conformal Killing Gravity, by Harada. In addition to ordinary matter, the Friedmann equations contain a dark term and a Lambda term that parametrize the Sinyukov-like tensor. The expression of H(z) is tested on cosmological data based on cosmic chronometers CC or including baryon acoustic oscillations BAO. There is a large incertitude in Omega_Lambda and Omega_dark that may become negative, but their sum is close to Omega_Lambda of Lambda-CDM. In any case, there is a future singularity, that is a big rip for all Omegas positive. We solve the equation for the evolution, in linear approximation, of the density contrast in matter-dominated universe. The dark sector and the Lambda term give no significative deviation from Lambda-CDM and GR results.


title: Designing Touchscreen Menu Interfaces for In-Vehicle Infotainment Systems: the Effect of Depth and Breadth Trade-off and Task Types on Visual-Manual Distraction

abstract: Multitasking with a touch screen user-interface while driving is known to impact negatively driving performance and safety. Literature shows that list scrolling interfaces generate more visual-manual distraction than structured menus and sequential navigation. Depth and breadth trade-offs for structured navigation have been studied. However, little is known on how secondary task characteristics interact with those trade-offs. In this study, we make the hypothesis that both menu's depth and task complexity interact in generating visual-manual distraction. Using a driving simulation setup, we collected telemetry and eye-tracking data to evaluate driving performance. Participants were multitasking with a mobile app, presenting a range of eight depth and breadth trade-offs under three types of secondary tasks, involving different cognitive operations (Systematic reading, Search for an item, Memorize items' state). The results confirm our hypothesis. Systematic interaction with menu items generated a visual demand that increased with menu's depth, while visual demand reach an optimum for Search and Memory tasks. We discuss implications for design: In a multitasking context, display design effectiveness must be assessed while considering menu's layout but also cognitive processes involved.


title: A Federated Learning Approach to Privacy Preserving Offensive Language Identification

abstract: The spread of various forms of offensive speech online is an important concern in social media. While platforms have been investing heavily in ways of coping with this problem, the question of privacy remains largely unaddressed. Models trained to detect offensive language on social media are trained and/or fine-tuned using large amounts of data often stored in centralized servers. Since most social media data originates from end users, we propose a privacy preserving decentralized architecture for identifying offensive language online by introducing Federated Learning (FL) in the context of offensive language identification. FL is a decentralized architecture that allows multiple models to be trained locally without the need for data sharing hence preserving users' privacy. We propose a model fusion approach to perform FL. We trained multiple deep learning models on four publicly available English benchmark datasets (AHSD, HASOC, HateXplain, OLID) and evaluated their performance in detail. We also present initial cross-lingual experiments in English and Spanish. We show that the proposed model fusion approach outperforms baselines in all the datasets while preserving privacy.


title: Non-linear power spectrum and forecasts for Generalized Cubic Covariant Galileon

abstract: To fully exploit the data from next generation surveys, we need an accurate modelling of the matter power spectrum up to non-linear scales. Therefore in this work we present the halo model reaction framework for the Generalized Cubic Covariant Galileon (GCCG) model, a modified gravity model within the Horndeski class of theories which extends the cubic covariant Galileon (G3) by including power laws of the derivatives of the scalar field in the K-essence and cubic terms. We modify the publicly available software ReACT for the GCCG in order to obtain an accurate prediction of the non-linear power spectrum. In the limit of the G3 model we compare the modified ReACT code to $N$-body simulations and we find agreement within 5\% for a wide range of scales and redshifts. We then study the relevant effects of the modifications introduced by the GCCG on the non-linear matter power spectrum. Finally, we provide forecasts from spectroscopic and photometric primary probes by next generation surveys using a Fisher matrix method. We show that future data will be able to constrain at 1$\sigma$ the two additional parameters of the model at the percent level and that considering non-linear corrections to the matter power spectrum beyond the linear regime is crucial to obtain this result.


title: A Course on Lie algebras and Chevalley groups

abstract: These are notes of a graduate course on semisimple Lie algebras and Chevalley groups (over arbitrary fields). Standard references for these topics are the lectures notes by Steinberg (1967) and the book by Carter (1972). The aim of this text is to give a self-contained introduction based on Lusztig's recent simplified approach, which is inspired by the general theory of ``canonical'' bases. Many constructions are of a purely combinatorial nature and, hence, can be implemented on a computer. We explicitly incorporate such algorithmic methods in our treatment. This is the first part of a planned book project.


title: Assessing The Effectiveness Of Current Cybersecurity Regulations And Policies In The US

abstract: This article assesses the effectiveness of current cybersecurity regulations and policies in the United States amidst the escalating frequency and sophistication of cyber threats. The focus is on the comprehensive framework established by the U.S. government, with a spotlight on the National Institute of Standards and Technology (NIST) Cybersecurity Framework and key regulations such as HIPAA, GLBA, FISMA, CISA, CCPA, and the DOD Cybersecurity Maturity Model Certification. The study evaluates the impact of these regulations on different sectors and analyzes trends in cybercrime data from 2000 to 2022. The findings highlight the challenges, successes, and the need for continuous adaptation in the face of evolving cyber threats


title: Towards Highly Realistic Artistic Style Transfer via Stable Diffusion with Step-aware and Layer-aware Prompt

abstract: Artistic style transfer aims to transfer the learned artistic style onto an arbitrary content image, generating artistic stylized images. Existing generative adversarial network-based methods fail to generate highly realistic stylized images and always introduce obvious artifacts and disharmonious patterns. Recently, large-scale pre-trained diffusion models opened up a new way for generating highly realistic artistic stylized images. However, diffusion model-based methods generally fail to preserve the content structure of input content images well, introducing some undesired content structure and style patterns. To address the above problems, we propose a novel pre-trained diffusion-based artistic style transfer method, called LSAST, which can generate highly realistic artistic stylized images while preserving the content structure of input content images well, without bringing obvious artifacts and disharmonious style patterns. Specifically, we introduce a Step-aware and Layer-aware Prompt Space, a set of learnable prompts, which can learn the style information from the collection of artworks and dynamically adjusts the input images' content structure and style pattern. To train our prompt space, we propose a novel inversion method, called Step-ware and Layer-aware Prompt Inversion, which allows the prompt space to learn the style information of the artworks collection. In addition, we inject a pre-trained conditional branch of ControlNet into our LSAST, which further improved our framework's ability to maintain content structure. Extensive experiments demonstrate that our proposed method can generate more highly realistic artistic stylized images than the state-of-the-art artistic style transfer methods.


title: AdaIR: Exploiting Underlying Similarities of Image Restoration Tasks with Adapters

abstract: Existing image restoration approaches typically employ extensive networks specifically trained for designated degradations. Despite being effective, such methods inevitably entail considerable storage costs and computational overheads due to the reliance on task-specific networks. In this work, we go beyond this well-established framework and exploit the inherent commonalities among image restoration tasks. The primary objective is to identify components that are shareable across restoration tasks and augment the shared components with modules specifically trained for individual tasks. Towards this goal, we propose AdaIR, a novel framework that enables low storage cost and efficient training without sacrificing performance. Specifically, a generic restoration network is first constructed through self-supervised pre-training using synthetic degradations. Subsequent to the pre-training phase, adapters are trained to adapt the pre-trained network to specific degradations. AdaIR requires solely the training of lightweight, task-specific modules, ensuring a more efficient storage and training regimen. We have conducted extensive experiments to validate the effectiveness of AdaIR and analyze the influence of the pre-training strategy on discovering shareable components. Extensive experimental results show that AdaIR achieves outstanding results on multi-task restoration while utilizing significantly fewer parameters (1.9 MB) and less training time (7 hours) for each restoration task. The source codes and trained models will be released.


title: Taxonomy to Regulation: A (Geo)Political Taxonomy for AI Risks and Regulatory Measures in the EU AI Act

abstract: Technological innovations have shown remarkable capabilities to benefit and harm society alike. AI constitutes a democratized sophisticated technology accessible to large parts of society, including malicious actors. This work proposes a taxonomy focusing on on (geo)political risks associated with AI. It identifies 12 risks in total divided into four categories: (1) Geopolitical Pressures, (2) Malicious Usage, (3) Environmental, Social, and Ethical Risks, and (4) Privacy and Trust Violations. Incorporating a regulatory side, this paper conducts a policy assessment of the EU AI Act. Adopted in March 2023, the landmark regulation has the potential to have a positive top-down impact concerning AI risk reduction but needs regulatory adjustments to mitigate risks more comprehensively. Regulatory exceptions for open-source models, excessively high parameters for the classification of GPAI models as a systemic risk, and the exclusion of systems designed exclusively for military purposes from the regulation's obligations leave room for future action.


title: Discovering Nuclear Models from Symbolic Machine Learning

abstract: Numerous phenomenological nuclear models have been proposed to describe specific observables within different regions of the nuclear chart. However, developing a unified model that describes the complex behavior of all nuclei remains an open challenge. Here, we explore whether novel symbolic Machine Learning (ML) can rediscover traditional nuclear physics models or identify alternatives with improved simplicity, fidelity, and predictive power. To address this challenge, we developed a Multi-objective Iterated Symbolic Regression approach that handles symbolic regressions over multiple target observables, accounts for experimental uncertainties and is robust against high-dimensional problems. As a proof of principle, we applied this method to describe the nuclear binding energies and charge radii of light and medium mass nuclei. Our approach identified simple analytical relationships based on the number of protons and neutrons, providing interpretable models with precision comparable to state-of-the-art nuclear models. Additionally, we integrated this ML-discovered model with an existing complementary model to estimate the limits of nuclear stability. These results highlight the potential of symbolic ML to develop accurate nuclear models and guide our description of complex many-body problems.


title: Inverse problem in energy-dependent potentials using semiclassical methods

abstract: Wave equations with energy-dependent potentials appear in many areas of physics, ranging from nuclear physics to black hole perturbation theory. In this work, we use the semi-classical WKB method to first revisit the computation of bound states of potential wells and reflection/transmission coefficients in terms of the Bohr-Sommerfeld rule and the Gamow formula. We then discuss the inverse problem, in which the latter observables are used as a starting point to reconstruct the properties of the potentials. By extending known inversion techniques to energy-dependent potentials, we demonstrate that so-called width-equivalent or WKB-equivalent potentials are not isospectral anymore. Instead, we explicitly demonstrate that constructing quasi-isospectral potentials with the inverse techniques is still possible. Those reconstructed, energy-independent potentials share key properties with the width-equivalent potentials. We report that including energy-dependent terms allows for a rich phenomenology, particularly for the energy-independent equivalent potentials.


title: Zeros of generalized hypergeometric polynomials via finite free convolution. Applications to multiple orthogonality

abstract: We address the problem of the weak asymptotic behavior of zeros of families of generalized hypergeometric polynomials as their degree tends to infinity. The main tool is the representation of such polynomials as a finite free convolution of simpler elements; this representation is preserved in the asymptotic regime, so we can formally write the limit zero distribution of these polynomials as a free convolution of explicitly computable measures. We derive a simple expression for the S-transform of the limit distribution, which turns out to be a rational function, and a representation of the Kamp\'e de F\'eriet polynomials in terms of finite free convolutions. We apply these tools, as well as those from [arXiv:2309.10970], to the study of some well-known families of multiple orthogonal polynomials (Jacobi-Pi\~neiro and multiple Laguerre of the first and second kinds), obtaining results on their zeros, such as interlacing, monotonicity, and asymptotics.


title: Impact of lensing of gravitational waves on the observed distribution of neutron star masses

abstract: The distribution of masses of neutron stars, particularly the maximum mass value, is considered a probe of their formation, evolution and internal physics (i.e., equation of state). This mass distribution could in principle be inferred from the detection of gravitational waves from binary neutron star mergers. Using mock catalogues of $10^5$ dark sirens events, expected to be detected by Einstein Telescope over an operational period of $\sim1\, \rm year$ , we show how the biased luminosity distance measurement induced by gravitational lensing affects the inferred redshift and mass of the merger. This results in higher observed masses than expected. Up to $2\%$ of the events are predicted to fall above the maximum allowed neutron star mass depending on the intrinsic mass distribution and signal-to-noise ratio threshold adopted. The underlying true mass distribution and maximum mass could still be approximately recovered in the case of bright standard sirens.