title: The Correlation Function and Detection of Baryon Acoustic Oscillation Peak from the Spectroscopic SDSS GalWCat Galaxy Cluster Catalogue

abstract: We measure the two point correlation function (CF) of 1357 galaxy clusters with a mass of $\log_{10}{M_{200}}\geq 13.6$~\hm~and at a redshift of $z \leq 0.125$. This work differs from previous analyses in that it utilizes a spectroscopic cluster catalogue, $\mathtt{SDSS-GalWCat}$, to measure the CF and detect the baryon acoustic oscillation (BAO) signal. Unlike previous studies which use statistical techniques, we compute covariance errors directly by generating a set of 1086 galaxy cluster lightcones from the GLAM $N$-body simulation. Fitting the CF with a power-law model of the form $\xi(s) = (s/s_0)^{-\gamma}$, we determine the best-fit correlation length and power-law index at three mass thresholds. We find that the correlation length increases with increasing the mass threshold while the power-law index is almost constant. For $\log_{10}{M_{200}}\geq 13.6$~\hm, we find $s_0 = 14.54\pm0.87$~\h~and $\gamma=1.97\pm0.11$. We detect the BAO signal at $s = 100$~\h~with a significance of $1.60 \sigma$. Fitting the CF with a $\Lambda$CDM model, we find $D_\mathrm{V}(z = 0.089)\mathrm{r}^{fid}_d/\mathrm{r}_d = 267.62 \pm 26$ \h, consistent with Planck 2015 cosmology. We present a set of 108 high-fidelity simulated galaxy cluster lightcones from the high-resolution \U~N-body simulation, employed for methodological validation. We find $D_\mathrm{V}(z = 0.089)/r_d = 2.666 \pm 0.129$, indicating that our method does not introduce any bias in the parameter estimation for this small sample of galaxy clusters.


title: Lightcone fluctuations in a five dimensional Kaluza-Klein model and an estimation on the size of the extra dimension

abstract: In this work we consider lightcone fluctuation effects in a five-dimensional spacetime arising as a consequence of the compactification of the extra dimension via a quasiperiodic condition, characterized by a phase angle $2\pi\alpha$. By considering light propagating in a non-compactified direction we are able to compute both the renormalized graviton two-point function and the flight time of a photon caused by the fluctuations. We show that the resulting expressions depend on the quasiperiodic parameter, the compactification length and also on the distance traveled by the photon. Based on the Near-Infrared Spectrograph (NIRSpec) sensitivity built on the James Webb Space Telescope, we discuss the possibility of making estimations on the size of the extra dimension if one assumes that the mean deviation on the flight time of photons can be observed through the NIRSpec. We also analyze the differences between the estimations in the periodic $\alpha=0$, antiperiodic $\alpha=1/2$ and other condition cases for $\alpha$.


title: Cross-Currency Heath-Jarrow-Morton Framework in the Multiple-Curve Setting

abstract: We provide a general HJM framework for forward contracts written on abstract market indices with arbitrary fixing and payment adjustments. We allow for indices on any asset class, featuring collateralization in arbitrary currency denominations. The framework is pivotal for describing portfolios of interest rate products which are denominated in multiple currencies. The benchmark transition has created significant discrepancies among the market conventions of different currency areas: our framework simultaneously covers forward-looking risky IBOR rates, such as EURIBOR, and backward-looking rates based on overnight rates, such as SOFR. In view of this, we provide a thorough study of cross-currency markets in the presence of collateral, where the cash flows of the contract and the margin account can be denominated in arbitrary combinations of currencies. We finally consider cross-currency swap contracts as an example of a contract simultaneously depending on all the risk factors that we describe within our framework.


title: On the Cheeger inequality in Carnot-Carath\'eodory spaces

abstract: We generalize the Cheeger inequality, a lower bound on the first nontrivial eigenvalue of a Laplacian, to the case of geometric sub-Laplacians on rank-varying Carnot-Carath\'eodory spaces and we describe a concrete method to lower bound the Cheeger constant. The proof is geometric, and works for Dirichlet, Neumann and mixed boundary conditions. One of the main technical tools in the proof is a generalization of Courant's nodal domain theorem, which is proven from scratch for Neumann and mixed boundary conditions. Carnot groups and the Baouendi-Grushin cylinder are treated as examples.


title: Theory of superconductivity in thin films under an external electric field

abstract: The supercurrent field effect is experimentally realized in various nano-scale devices, based on the superconductivity suppression by external electric fields being effective for confined systems. In spite of intense research, a microscopic theory and explanation of this effect is missing. Here, a microscopic theory of phonon-mediated superconductivity in thin films is presented, which accounts for the effect of quantum confinement on the electronic density of states, on the Fermi energy, and on the topology of allowed states in momentum space. By further accounting for the interplay between quantum confinement, the external static electric field, the Thomas-Fermi screening in the electron-phonon matrix element, and the effect of confinement on the Coulomb repulsion parameter, the theory predicts the critical value of the external electric field as a function of the film thickness, above which superconductivity is suppressed. In particular, this critical value of the electric field is the lower the thinner the film, in agreement with recent experimental observations. Crucially, this effect is predicted by the theory when both Thomas-Fermi screening and the Coulomb pseudopotential are taken into account, along with the respective dependence on thin film thickness. This microscopic theory of the supercurrent field-effect opens up new possibilities for electric-field gated quantum materials.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.str-el


title: Fifth Force and Hyperfine Splitting in Muonic Atoms

abstract: The potential existence of a fifth fundamental force, mediated by the X17 boson, has generated significant interest. This force can manifest itself as either a vector or pseudoscalar particle. In order to gain insight into the effective potentials produced by the X17 boson for hyperfine interactions in muonic systems, we conduct calculations for both the pseudoscalar and vector hypotheses. Our study reveals that, for muonic atoms with nuclear charge numbers ranging from 10 to 15, the energy shift associated with the fifth force can be as high as 0.61 eV. These effects have the potential to be detected through the utilization of high-precision X-ray detectors that are used to analyze the energy spectrum of muonic characteristic X-rays.


title: Precoloring extension in planar near-Eulerian-triangulations

abstract: We consider the 4-precoloring extension problem in \emph{planar near-Eulerian-triangulations}, i.e., plane graphs where all faces except possibly for the outer one have length three, all vertices not incident with the outer face have even degree, and exactly the vertices incident with the outer face are precolored. We give a necessary topological condition for the precoloring to extend, and give a complete characterization when the outer face has length at most five and when all vertices of the outer face have odd degree and are colored using only three colors.


title: Fierz identities at the one-loop level

abstract: One-loop Fierz identities are discussed, together with general basis transformations in Effective Field theories at the tree- and one-loop level. To this end, the notion of one-loop shifts is introduced, together with several examples that illustrate the virtues of this method.


title: Microscopic theory of exciton-polariton model involving multiple molecules: Macroscopic quantum electrodynamics formulation and essence of direct intermolecular interactions

abstract: Cavity quantum electrodynamics (CQED) and its extensions are widely used for the description of exciton-polariton systems. However, the exciton-polariton models based on CQED vary greatly within different contexts. One of the most significant discrepancies among these CQED models is whether one should include direct intermolecular interactions in the CQED Hamiltonian. To answer this question, in this article, we derive an effective dissipative CQED model including free-space dipole-dipole interactions (CQED-DDI) from a microscopic Hamiltonian based on macroscopic quantum electrodynamics. Dissipative CQED-DDI successfully captures the nature of vacuum fluctuations in dielectric media and separates it into the free-space effects and the dielectric-induced effects. The former include spontaneous emissions, dephasings and dipole-dipole interactions in free space; the latter include exciton-polariton interactions and photonic losses due to dielectric media. We apply dissipative CQED-DDI to investigate the exciton-polariton dynamics (the population dynamics of molecules above a plasmonic surface) and compare the results with those based on the methods proposed by several previous studies. We find that direct intermolecular interactions are a crucial element when employing CQED-like models to study exciton-polariton systems involving multiple molecules.


title: LPR: Large Language Models-Aided Program Reduction

abstract: Program reduction is a prevalent technique to facilitate compilers' debugging by automatically minimizing bug-triggering programs. Existing program reduction techniques are either generic across languages (e.g., Perses and Vulcan) or specifically customized for one certain language by employing language-specific features, like C-Reduce. However, striking the balance between generality across multiple programming languages and specificity to individual languages in program reduction is yet to be explored. This paper proposes LPR, the first technique utilizing LLMs to perform language-specific program reduction for multiple languages. The core insight is to utilize both the language-generic syntax level program reduction (e.g., Perses) and the language-specific semantic level program transformations learned by LLMs. Alternately, language-generic program reducers efficiently reduce programs into 1-tree-minimality, which is small enough to be manageable for LLMs; LLMs effectively transform programs via the learned semantics to expose new reduction opportunities for the language-generic program reducers to further reduce the programs. Our extensive evaluation on 50 benchmarks across three languages (C, Rust, and JavaScript) has highlighted LPR's practicality and superiority over Vulcan, the state-of-the-art language-generic program reducer. For effectiveness, LPR surpasses Vulcan by producing 24.93%, 4.47%, and 11.71% smaller programs on benchmarks in C, Rust and JavaScript. Moreover, LPR and Vulcan have demonstrated their potential to complement each other. By using Vulcan on LPR's output for C programs, we achieve program sizes comparable to those reduced by C-Reduce. For efficiency, LPR takes 10.77%, 34.88%, 36.96% less time than Vulcan to finish all benchmarks in C, Rust and JavaScript, separately.


title: From noise on the sites to noise on the links: discretizing the conserved Kardar-Parisi-Zhang equation in real space

abstract: Numerical analysis of conserved field dynamics has been generally performed with pseudo spectral methods. Finite differences integration, the common procedure for non-conserved field dynamics, indeed struggles to implement a conservative noise in the discrete spatial domain. In this work, we present a novel method to generate a conservative noise in the finite differences framework, which works for any discrete topology and boundary conditions. We apply it to numerically solve the conserved Kardar-Parisi-Zhang (cKPZ) equation, widely used to describe surface roughening when the number of particles is conserved. Our numerical simulations recover the correct scaling exponents $\alpha$, $\beta$, and $z$ in $d=1$ and in $d=2$. To illustrate the potentiality of the method, we further consider the cKPZ equation on different kinds of non-standard lattices and on the random Euclidean graph. This is the first numerical study of conserved field dynamics on an irregular topology, paving the way to a broad spectrum of possible applications.


title: PPEA-Depth: Progressive Parameter-Efficient Adaptation for Self-Supervised Monocular Depth Estimation

abstract: Self-supervised monocular depth estimation is of significant importance with applications spanning across autonomous driving and robotics. However, the reliance on self-supervision introduces a strong static-scene assumption, thereby posing challenges in achieving optimal performance in dynamic scenes, which are prevalent in most real-world situations. To address these issues, we propose PPEA-Depth, a Progressive Parameter-Efficient Adaptation approach to transfer a pre-trained image model for self-supervised depth estimation. The training comprises two sequential stages: an initial phase trained on a dataset primarily composed of static scenes, succeeded by an expansion to more intricate datasets involving dynamic scenes. To facilitate this process, we design compact encoder and decoder adapters to enable parameter-efficient tuning, allowing the network to adapt effectively. They not only uphold generalized patterns from pre-trained image models but also retain knowledge gained from the preceding phase into the subsequent one. Extensive experiments demonstrate that PPEA-Depth achieves state-of-the-art performance on KITTI, CityScapes and DDAD datasets.


title: Modelling of impurity heating during reconnections in a Reverse Field Pinch device as due to parallel electric field acceleration and chaos-induced thermalization

abstract: The ion temperature during magnetic reconnections measured along the direction of the magnetic field at the MST Reverse Field Pinch has not yet received a satisfactory theoretical explanation. In this work we argue that it is consistent with a picture of ion energization by the parallel electric fields generated by the plasma during reconnection, and thermalization due to the chaotic ion dynamics. Three possible sources of randomness are pointed out: particle motion along static stochastic magnetic field lines, breakup of the adiabatic ion dynamics caused by the strong gradient nonlinearity of the magnetic field, parallel acceleration along stochastic time-dependent electric fields. The three mechanisms are likely operative simultaneously; regardless the specific mechanism active, the correct scaling laws with ion parameters are recovered. Furthermore, we argue that quantitative agreement can be obtained by feeding the model with realistic values for the plasma conditions.


title: Continuous-time Graph Representation with Sequential Survival Process

abstract: Over the past two decades, there has been a tremendous increase in the growth of representation learning methods for graphs, with numerous applications across various fields, including bioinformatics, chemistry, and the social sciences. However, current dynamic network approaches focus on discrete-time networks or treat links in continuous-time networks as instantaneous events. Therefore, these approaches have limitations in capturing the persistence or absence of links that continuously emerge and disappear over time for particular durations. To address this, we propose a novel stochastic process relying on survival functions to model the durations of links and their absences over time. This forms a generic new likelihood specification explicitly accounting for intermittent edge-persistent networks, namely GraSSP: Graph Representation with Sequential Survival Process. We apply the developed framework to a recent continuous time dynamic latent distance model characterizing network dynamics in terms of a sequence of piecewise linear movements of nodes in latent space. We quantitatively assess the developed framework in various downstream tasks, such as link prediction and network completion, demonstrating that the developed modeling framework accounting for link persistence and absence well tracks the intrinsic trajectories of nodes in a latent space and captures the underlying characteristics of evolving network structure.


title: A Combined Ground-based and JWST Atmospheric Retrieval Analysis: Both IGRINS and NIRSpec Agree The Atmosphere of WASP-77A b is Metal-Poor

abstract: Ground-based, high-resolution and space-based, low-resolution spectroscopy are the two main avenues through which transiting exoplanet atmospheres are studied. Both methods provide unique strengths and shortcomings, and combining the two can be a powerful probe into an exoplanet's atmosphere. Within a joint atmospheric retrieval framework, we combined JWST NIRSpec/G395H secondary eclipse spectra and Gemini South/IGRINS pre- and post-eclipse thermal eclipse observations of the hot Jupiter WASP-77A b. Our inferences from the IGRINS and NIRSpec data sets are consistent with each other, and combining the two allows us to measure the gas abundances of H$_2$O and CO as well as the vertical thermal structure with higher precision than either data set provided individually. We confirm WASP-77A b's subsolar metallicty ([(C+O)/H]=-0.61$^{+0.10}_{-0.09}$) and solar C/O ratio (C/O = 0.57$^{+0.06}_{-0.06}$). The two types of data are complementary, and our abundance inferences are mostly driven by the IGRINS data while inference of the thermal structure is driven by the NIRSpec data. Our ability to draw inferences from the post-eclipse IGRINS data is highly sensitive to the number of singular values removed in the detrending process, potentially due to high and variable humidity. We also search for signatures for atmospheric dynamics in the IGRINS data and find that propagated ephemeris error can manifest as both an orbital eccentricity or a strong equatorial jet. Neither are detected when using more up-to-date ephemerides. However, we find moderate evidence of thermal inhomogeneity and measure a cooler nightside that presents itself in the later phases after secondary eclipse.


title: Biexciton and Quadron in Self-assembled Quantum Dots

abstract: We theoretically study biexcitons and quadrons in quantum dots with parabolic confinement and give a complete comparison between the two excitations. The calculation of quadron and biexciton binding energies as functions of electron-to-hole confinement potentials and mass ratios, using unrestricted Hartree-Fock method, shows the essential differences between biexciton and quadron. The crossover between the negative and positive binding energies is indicated. Besides, the effect of external magnetic field on the quadron and biexciton binding energies has also been investigated. In addition, the crossing between anti-binding and binding of both excited quadron and biexciton states at a certain range of the electron-to-hole oscillator length ratios has been found.


title: Point Deformable Network with Enhanced Normal Embedding for Point Cloud Analysis

abstract: Recently MLP-based methods have shown strong performance in point cloud analysis. Simple MLP architectures are able to learn geometric features in local point groups yet fail to model long-range dependencies directly. In this paper, we propose Point Deformable Network (PDNet), a concise MLP-based network that can capture long-range relations with strong representation ability. Specifically, we put forward Point Deformable Aggregation Module (PDAM) to improve representation capability in both long-range dependency and adaptive aggregation among points. For each query point, PDAM aggregates information from deformable reference points rather than points in limited local areas. The deformable reference points are generated data-dependent, and we initialize them according to the input point positions. Additional offsets and modulation scalars are learned on the whole point features, which shift the deformable reference points to the regions of interest. We also suggest estimating the normal vector for point clouds and applying Enhanced Normal Embedding (ENE) to the geometric extractors to improve the representation ability of single-point. Extensive experiments and ablation studies on various benchmarks demonstrate the effectiveness and superiority of our PDNet.


title: Structure of the $\mathbf{\Lambda(1670)}$ resonance

abstract: We examine the internal structure of the $\Lambda(1670)$ through an analysis of lattice QCD simulations and experimental data within Hamiltonian effective field theory. Two scenarios are presented. The first describes the $\Lambda(1670)$ as a bare three-quark basis state, which mixes with the $\pi\Sigma$, $\bar{K}N$, $\eta\Lambda$ and $K\Xi$ meson-baryon channels. In the second scenario, the $\Lambda(1670)$ is dynamically generated from these isospin-0 coupled channels. The $K^-p$ scattering data and the pole structures of the $\Lambda(1405)$ and the $\Lambda(1670)$ can be simultaneously described well in both scenarios. However, a comparison of the finite-volume spectra to lattice QCD calculations reveals significant differences between these scenarios, with a clear preference for the first case. Thus the lattice QCD results play a crucial role in allowing us to distinguish between these two scenarios for the internal structure of the $\Lambda(1670)$.


title: Full theta lifting for type II reductive dual pairs

abstract: In this article, we study the full theta lifting for two cases of type II reductive dual pairs over a nonarchimedean local field. Firstly, we determine the structure of the full theta lifts of all irreducible representations for dual pair $(\mathrm{GL}(2),\mathrm{GL}(2))$. Secondly, we prove that the full theta lift of an irreducible tempered representation is irreducible and tempered for dual pair $(\mathrm{GL}(n),\mathrm{GL}(n+1))$, where $n$ is a positive integer.


title: Diagrammatics for Comodule Monads

abstract: We extend Willerton's graphical calculus for bimonads to comodule monads, a monadic interpretation of module categories over a monoidal category. As an application, we prove a version of Tannaka--Krein duality for these structures.


title: Bound on Lyapunov exponent in Kerr-Newman-de Sitter black holes by a charged particle

abstract: We investigate the bound on the Lyapunov exponents by a charged particle in Kerr-Newman-de Sitter black holes using analytic and numerical methods. We determine whether the Lyapunov exponent can exceed the bound by an electrically charged particle with an angular momentum. Our tests are applied to the de Sitter spacetime by the positive cosmological constant such as Reissner-Nordstr\"{o}m-de Sitter, Kerr-de Sitter, and Kerr-Newman-de Sitter black holes. In particular, we consider Nariai and ultracold limits on these black holes for our tests. From our analysis results, there remain violations on the bound under the positive cosmological constant, and electric charge and angular momentum of the particle significantly impact the Lyapunov exponent.


title: How to Integrate Digital Twin and Virtual Reality in Robotics Systems? Design and Implementation for Providing Robotics Maintenance Services in Data Centers

abstract: In the context of Industry 4.0, the physical and digital worlds are closely connected, and robots are widely used to achieve system automation. Digital twin solutions have contributed significantly to the growth of Industry 4.0. Combining various technologies is a trend that aims to improve system performance. For example, digital twinning can be combined with virtual reality in automated systems. This paper proposes a new concept to articulate this combination, which has mainly been implemented in engineering research projects. However, there are currently no guidelines, plans, or concepts to articulate this combination. The concept will be implemented in data centers, which are crucial for enabling virtual tasks in our daily lives. Due to the COVID-19 pandemic, there has been a surge in demand for services such as e-commerce and videoconferencing. Regular maintenance is necessary to ensure uninterrupted and reliable services. Manual maintenance strategies may not be sufficient to meet the current high demand, and innovative approaches are needed to address the problem. This paper presents a novel approach to data center maintenance: real-time monitoring by an autonomous robot. The robot is integrated with digital twins of assets and a virtual reality interface that allows human personnel to control it and respond to alarms. This methodology enables faster, more cost-effective, and higher quality data center maintenance. It has been validated in a real data centre and can be used for intelligent monitoring and management through joint data sources. The method has potential applications in other automated systems.


title: Aging in some opinion formation models: a comparative study

abstract: Changes of mind can become less likely the longer an agent has adopted a given opinion state. This resilience or inertia to change has been called ``aging''. We perform a comparative study of the effects of aging on the critical behavior of two standard opinion models with pairwise interactions. One of them is the voter model, which is a two-state model with a dynamic that proceeds by simple social contagion, another is the so-called kinetic exchange model, which allows a third (neutral) state and the formed opinion depends on the previous opinions of both interacting agents. Furthermore, in the noisy version of both models, random opinion changes are also allowed, regardless of the interactions. Due to aging, the probability of change diminishes with the age, and to take this into account we consider algebraic and exponential kernels. We investigate the situation where aging acts only on pairwise interactions. Analytical predictions for the critical curves of the order parameters are obtained for the opinion dynamics on a complete graph, in good agreement with agent-based simulations. For both models considered, consensus is optimized by an intermediate value of the parameter that rules the rate of decrease of the aging factor.


title: Constructing diffeomorphisms and homeomorphisms with prescribed derivative

abstract: We prove that for any measurable mapping $T$ into the space of matrices with positive determinant, there is a diffeomorphism whose derivative equals $T$ outside a set of measure less than $\varepsilon$. We use this fact to prove that for any measurable mapping $T$ into the space of matrices with non-zero determinant (with no sign restriction), there is an almost everywhere approximately differentiable homeomorphism whose derivative equals $T$ almost everywhere.


title: Hadron Production in Ultra-relativistic Nuclear Collisions and Finite Baryon-Size Effects

abstract: We investigate relative hadron production of various like and unlike mass particles in ultra-relativistic heavy ion collisions by employing a statistical thermal model with finite-sized baryons (antibaryons) to imitate the hard-core repulsive interactions leading to the excluded volume type effect. A strong evidence of strangeness suppression relative to the non-strange ones, mainly pions, particularly at higher energies is also observed. This study also indicates that at chemical freeze-out the particle ratios and strangeness suppression in the system obtained theoretically are sensitive to baryonic (antibaryonic) hard-core radius ($r_B$). A comparison with earlier analysis involving the strangeness suppression effect is made where baryons and antibaryons were treated as point-like particles. The available experimental data showing energy dependence of various particle ratios are well described throughout the range of the centre-of-mass energy ($\sqrt{s_{NN}}$). The value of hard-core radius between 0.76 to 0.79 fm is found to fit the data quite well using $\chi^{2}$ minimization technique. Two different chemical freeze-out stages are found where the earlier one belongs to baryonic (hyperonic), antibaryonic (antihyperonic) states and the later one to mesonic degrees of freedom.


title: Langlands Dualities through Bethe/Gauge Correspondence for 3d Gauge Theories

abstract: For non-simple laced Lie algebras, the $\text{B}_{N}$ and $\text{C}_{N}$ are Langlands dual to each other in mathematical. In this article, we give another Bethe/Gauge correspondence between 3d (or 2d) classical Lie group supersymmetry gauge theory with closed and open $\text{XXZ}$ (or $\text{XXX}$) spin chain. Here, the representations of the $\text{ADE}$ Lie algebras are self-dual, and while for the non-simple laced Lie algebras $\text{B}_{N}$ and $\text{C}_{N}$, their roles are exchanged in contrast with the results in \cite{DZ23a}. From Bethe/Gauge correspondence point of view, the two types of the effective superpotentials are Langlands duality to each other. For the $\text{B}_{N}$-type Lie algebra, a remarkable feature is that, to fix the spin sites by boundaries through Bethe/Gauge, the spins of the sites will be reversed. This is similarly to the so called electron-hole effect, we call this as a boundary-spin effect, a new kind of duality.


title: BEVSeg2TP: Surround View Camera Bird's-Eye-View Based Joint Vehicle Segmentation and Ego Vehicle Trajectory Prediction

abstract: Trajectory prediction is, naturally, a key task for vehicle autonomy. While the number of traffic rules is limited, the combinations and uncertainties associated with each agent's behaviour in real-world scenarios are nearly impossible to encode. Consequently, there is a growing interest in learning-based trajectory prediction. The proposed method in this paper predicts trajectories by considering perception and trajectory prediction as a unified system. In considering them as unified tasks, we show that there is the potential to improve the performance of perception. To achieve these goals, we present BEVSeg2TP - a surround-view camera bird's-eye-view-based joint vehicle segmentation and ego vehicle trajectory prediction system for autonomous vehicles. The proposed system uses a network trained on multiple camera views. The images are transformed using several deep learning techniques to perform semantic segmentation of objects, including other vehicles, in the scene. The segmentation outputs are fused across the camera views to obtain a comprehensive representation of the surrounding vehicles from the bird's-eye-view perspective. The system further predicts the future trajectory of the ego vehicle using a spatiotemporal probabilistic network (STPN) to optimize trajectory prediction. This network leverages information from encoder-decoder transformers and joint vehicle segmentation.


title: Probing Higgs-muon interactions at a multi-TeV muon collider

abstract: We study the capabilities of a muon collider, at 3 and 10 TeV center-of-mass energy, of probing the interactions of the Higgs boson with the muon. We consider all the possible processes involving the direct production of EW bosons ($W,Z$ and $H$) with up to five particles in the final state. We study these processes both in the HEFT and SMEFT frameworks, assuming that the dominant BSM effects originate from the muon Yukawa sector. Our study shows that a Muon Collider has sensitivity beyond the LHC, as it not only relies on the Higgs-decay branching fraction to muons. A 10 TeV muon collider provides a unique sensitivity on muon and (multi-) Higgs interactions, significantly better than the 3 TeV option. We find searches based purely on multi-Higgs production to be particularly effective in probing these couplings.


title: Solving the Mostar index inverse problem

abstract: A nonnegative integer $p$ is realizable by a graph-theoretical invariant $I$ if there exist a graph $G$ such that $I(G) = p$. The inverse problem for $I$ consists of finding all nonnegative integers $p$ realizable by $I$. In this paper, we consider and solve the inverse problem for the Mostar index, a recently introduced graph-theoretical invariant which attracted a lot of attention in recent years in both the mathematical and the chemical community. We show that a nonnegative integer is realizable by the Mostar index if and only if it is not equal to one. Besides presenting the complete solution to the problem, we also present some empirical observations and outline several open problems and possible directions for further research.


title: Pyreal: A Framework for Interpretable ML Explanations

abstract: Users in many domains use machine learning (ML) predictions to help them make decisions. Effective ML-based decision-making often requires explanations of ML models and their predictions. While there are many algorithms that explain models, generating explanations in a format that is comprehensible and useful to decision-makers is a nontrivial task that can require extensive development overhead. We developed Pyreal, a highly extensible system with a corresponding Python implementation for generating a variety of interpretable ML explanations. Pyreal converts data and explanations between the feature spaces expected by the model, relevant explanation algorithms, and human users, allowing users to generate interpretable explanations in a low-code manner. Our studies demonstrate that Pyreal generates more useful explanations than existing systems while remaining both easy-to-use and efficient.


title: Model predictive control strategies using consensus-based optimization

abstract: Model predictive control strategies require to solve in an sequential manner, many, possibly non-convex, optimization problems. In this work, we propose an interacting stochastic agent system to solve those problems. The agents evolve in pseudo-time and in parallel to the time-discrete state evolution. The method is suitable for non-convex, non-differentiable objective functions. The convergence properties are investigated through mean-field approximation of the time-discrete system, showing convergence in the case of additive linear control. We validate the proposed strategy by applying it to the control of a stirred-tank reactor non-linear system.


title: Multi-sensory Anti-collision Design for Autonomous Nano-swarm Exploration

abstract: This work presents a multi-sensory anti-collision system design to achieve robust autonomous exploration capabilities for a swarm of 10 cm-side nano-drones operating on object detection missions. We combine lightweight single-beam laser ranging to avoid proximity collisions with a long-range vision-based obstacle avoidance deep learning model (i.e., PULP-Dronet) and an ultra-wide-band (UWB) based ranging module to prevent intra-swarm collisions. An in-field study shows that our multisensory approach can prevent collisions with static obstacles, improving the mission success rate from 20% to 80% in cluttered environments w.r.t. a State-of-the-Art (SoA) baseline. At the same time, the UWB-based sub-system shows a 92.8% success rate in preventing collisions between drones of a four-agent fleet within a safety distance of 65 cm. On a SoA robotic platform extended by a GAP8 multi-core processor, the PULP-Dronet runs interleaved with an objected detection task, which constraints its execution at 1.6 frame/s. This throughput is sufficient for avoiding obstacles with a probability of about 40% but shows a need for more capable processors for the next-generation nano-drone swarms.


title: Shedding light on the ejection history of molecular outflows: Multiple velocity modes and precession

abstract: Variable accretion has been well studied in evolved stages of low-mass stars formation. However, the accretion history in the initial phases of star formation is still a seldom studied topic. The outflows and jets emerging from protostellar objects could shed some light onto their accretion history. We consider the recently studied case of W43-MM1, a protocluster containing 46 outflows driven by 27 protostellar cores. The outflow kinematics of the individual cores and associated knots in W43-MM1 indicate episodic protostellar ejection. We took the observed parameters of an individual core system (core #8) and performed 3D hydrodynamic simulations of such system including episodic changes in the velocity of the outflow. The simulations consist of a collimated jet emerging from a core taking into account one- and two-velocity modes in the variation of the ejection velocity of the jet. In addition, we investigated the effect of including the precession of the jet to the one- and two-velocity mode models. From the simulations, we constructed position-velocity diagrams and compared them with the observations. We find that including a second mode in the ejection velocity, as well as the precession, are required to explain the positions of the outflow knots and other position-velocity features observed in the outflow of core #8 in W43-MM1.


title: Resonant Raman Scattering of Few Layers CrBr$_3$

abstract: We investigate the vibrational and magnetic properties of thin layers of chromium tribromide (CrBr$_3$) with a thickness ranging from three to twenty layers (3~L to 20~L) revealed by the Raman scattering (RS) technique. Systematic dependence of the RS process efficiency on the energy of the laser excitation is explored for four different excitation energies: 1.96 eV, 2.21 eV, 2.41 eV, and 3.06 eV. Our characterization demonstrates that for 12 L CrBr$_3$, 3.06~eV excitation could be considered resonant with interband electronic transitions due to the enhanced intensity of the Raman-active scattering resonances and the qualitative change in the Raman spectra. Polarization-resolved RS measurements for 12 L CrBr$_3$ and first-principles calculations allow us to identify five observable phonon modes characterized by distinct symmetries, classified as the A$_\textrm{g}$ and E$_\textrm{g}$ modes. The evolution of phonon modes with temperature for a 20 L CrBr$_3$ encapsulated in hexagonal boron nitride flakes demonstrates alterations of phonon energies and/or linewidths of resonances indicative of a transition between the paramagnetic and ferromagnetic state at Curie temperature ($T_\textrm{C} \approx 50$ K). The exploration of the effects of thickness on the phonon energies demonstrated small variations pronounces exclusively for the thinnest layers in the vicinity of 3 - 5 L. This observation is attributed to strong localization in the real space of interband electronic excitations, limiting the effects of confinement for resonantly excited Raman modes to atomically thin layers.


title: Formulas for the Number of Weak Homomorphisms from Paths to Rectangular Grid Graphs

abstract: A weak homomorphism from a graph G to a graph H is a mapping f from V(G) to V(H), where either f(x) = f(y) or {f(x), f(y)} is an element of E(H), and this holds for all {x, y} in E(G). A rectangular grid graph is formed by taking the Cartesian product of two paths. In this paper, we present a formula for calculating the number of weak homomorphisms from paths to rectangular grid graphs.


title: Perception Test 2023: A Summary of the First Challenge And Outcome

abstract: The First Perception Test challenge was held as a half-day workshop alongside the IEEE/CVF International Conference on Computer Vision (ICCV) 2023, with the goal of benchmarking state-of-the-art video models on the recently proposed Perception Test benchmark. The challenge had six tracks covering low-level and high-level tasks, with both a language and non-language interface, across video, audio, and text modalities, and covering: object tracking, point tracking, temporal action localisation, temporal sound localisation, multiple-choice video question-answering, and grounded video question-answering. We summarise in this report the task descriptions, metrics, baselines, and results.


title: MoSAR: Monocular Semi-Supervised Model for Avatar Reconstruction using Differentiable Shading

abstract: Reconstructing an avatar from a portrait image has many applications in multimedia, but remains a challenging research problem. Extracting reflectance maps and geometry from one image is ill-posed: recovering geometry is a one-to-many mapping problem and reflectance and light are difficult to disentangle. Accurate geometry and reflectance can be captured under the controlled conditions of a light stage, but it is costly to acquire large datasets in this fashion. Moreover, training solely with this type of data leads to poor generalization with in-the-wild images. This motivates the introduction of MoSAR, a method for 3D avatar generation from monocular images. We propose a semi-supervised training scheme that improves generalization by learning from both light stage and in-the-wild datasets. This is achieved using a novel differentiable shading formulation. We show that our approach effectively disentangles the intrinsic face parameters, producing relightable avatars. As a result, MoSAR estimates a richer set of skin reflectance maps, and generates more realistic avatars than existing state-of-the-art methods. We also introduce a new dataset, named FFHQ-UV-Intrinsics, the first public dataset providing intrinsic face attributes at scale (diffuse, specular, ambient occlusion and translucency maps) for a total of 10k subjects. The project website and the dataset are available on the following link: https://ubisoft-laforge.github.io/character/mosar/


title: Chiral perturbation theory and Bose-Einstein condensation in QCD

abstract: We present recent results in three-flavor chiral perturbation theory at finite isospin $\mu_I$ and strangeness $\mu_s$ chemical potentials at zero temperature. The phase diagram to ${\cal O}(p^2)$ in the $\mu_I$--$\mu_S$ plane is mapped out with and without electromagnetic effects. The phase diagram consists of a vacuum phase and three Bose-condensed phases with condensates of $\pi^{\pm}$, $K^{\pm}$, and $K^{0}/\bar{K}^0$, respectively. Including electromagnetic interactions, the Bose-condensed phases become Higgs phases via the Higgs mechanism. The tree-level spectrum for the mesons and gauge bosons is also derived. We calculate the pressure, energy density, isospin density, and speed of sound in the pion-condensed phase to ${\cal O}(p^4)$ for three-flavor $\chi$PT. The results are compared with recent lattice simulations and the agreement is very good for isospin chemical potentials up to approximately 200 MeV. Moreover, by integrating out the $s$-quark, we show that the thermodynamic quantities can be mapped onto their two-flavor counterparts with renormalized parameters. %to ${\cal O}(p^6)$ for two-flavor $\chi$PT in the chiral limit. We also consider the nonrelativistic limit. It is shown that the energy density can be matched onto the classic result by Lee, Huang and Yang (LHY) for a dilute Bose, with an $s$-wave scattering length that includes radiative corrections. The breaking of the $U(1)$ symmetry in the Bose-condensed phases gives rise to a Goldstone bosons, whose dispersion is linear for momenta $p\ll\mu_I$. In this regime, we use Son's prescription to construct an effective theory for the Goldstone field which is valid in this regime. It is shown that its damping rate is of order $p^5$. This result is in agreement with Beliav's for a dilute Bose gas.


title: An effective field theory of damped ferromagnetic systems

abstract: Using the in-in formalism, we generalize the recently constructed magnetoelastic EFT arXiv:2112.13873 [hep-th] to describe the damping dynamics of ferromagnetic systems at long wavelengths. We find that the standard Gilbert damping term naturally arises as the simplest leading-order symmetry-consistent non-conservative contribution within the in-in framework. The EFT is easily generalized to scenarios with anisotropy and inhomogeneity. In particular, we find the classic Landau-Lifshitz damping term emerges when isotropy is broken by a constant external background field. This provides a first principle explanation for distinguishing the two types of damping dynamics that were originally constructed phenomenologically. Furthermore, the EFT framework could also incorporate intrinsic anisotropy of the material in a straightforward way using the spurion method. For systems with inhomogeneity such as nontrivial spin textures, we find that the leading order derivative correction yields the generalized Gilbert damping equations that were found in condensed matter literature. This shows that the EFT approach enables us to derive the form of higher-derivative-order corrections in a systematic way. Lastly, using the phonon-magnon coupling deduced in the magnetoelastic EFT, we are able to make a prediction for the generic form of the phononic contribution to the damping equation.


title: Automated MPI code generation for scalable finite-difference solvers

abstract: Partial differential equations (PDEs) are crucial in modelling diverse phenomena across scientific disciplines, including seismic and medical imaging, computational fluid dynamics, image processing, and neural networks. Solving these PDEs on a large scale is an intricate and time-intensive process that demands careful tuning. This paper introduces automated code-generation techniques specifically tailored for distributed memory parallelism (DMP) to solve explicit finite-difference (FD) stencils at scale, a fundamental challenge in numerous scientific applications. These techniques are implemented and integrated into the Devito DSL and compiler framework, a well-established solution for automating the generation of FD solvers based on a high-level symbolic math input. Users benefit from modelling simulations at a high-level symbolic abstraction and effortlessly harnessing HPC-ready distributed-memory parallelism without altering their source code. This results in drastic reductions both in execution time and developer effort. While the contributions of this work are implemented and integrated within the Devito framework, the DMP concepts and the techniques applied are generally applicable to any FD solvers. A comprehensive performance evaluation of Devito's DMP via MPI demonstrates highly competitive weak and strong scaling on the Archer2 supercomputer, demonstrating the effectiveness of the proposed approach in meeting the demands of large-scale scientific simulations.


title: Antiferromagnetic order enhanced by local dissipation

abstract: We study an XXZ spin chain at zero magnetization coupled to a collection of local harmonic baths at zero temperature. We map this system on a (1+1)D effective field theory using bosonization, where the effect of the bath is taken care of in an exact manner. We provide analytical and numerical evidence of the existence of two phases at zero temperature: a Luttinger liquid (LL) and an antiferromagnetic phase (AFM), separated by a phase transition akin to the Berezinsky--Kosterlitz--Thouless (BKT) type. While the bath is responsible for the LL-AFM transition for subohmic baths, the LL-AFM transition for superohmic baths is due to the interactions within the spin chain.


title: In Generative AI we Trust: Can Chatbots Effectively Verify Political Information?

abstract: This article presents a comparative analysis of the ability of two large language model (LLM)-based chatbots, ChatGPT and Bing Chat, recently rebranded to Microsoft Copilot, to detect veracity of political information. We use AI auditing methodology to investigate how chatbots evaluate true, false, and borderline statements on five topics: COVID-19, Russian aggression against Ukraine, the Holocaust, climate change, and LGBTQ+ related debates. We compare how the chatbots perform in high- and low-resource languages by using prompts in English, Russian, and Ukrainian. Furthermore, we explore the ability of chatbots to evaluate statements according to political communication concepts of disinformation, misinformation, and conspiracy theory, using definition-oriented prompts. We also systematically test how such evaluations are influenced by source bias which we model by attributing specific claims to various political and social actors. The results show high performance of ChatGPT for the baseline veracity evaluation task, with 72 percent of the cases evaluated correctly on average across languages without pre-training. Bing Chat performed worse with a 67 percent accuracy. We observe significant disparities in how chatbots evaluate prompts in high- and low-resource languages and how they adapt their evaluations to political communication concepts with ChatGPT providing more nuanced outputs than Bing Chat. Finally, we find that for some veracity detection-related tasks, the performance of chatbots varied depending on the topic of the statement or the source to which it is attributed. These findings highlight the potential of LLM-based chatbots in tackling different forms of false information in online environments, but also points to the substantial variation in terms of how such potential is realized due to specific factors, such as language of the prompt or the topic.


title: Power calculation for cross-sectional stepped wedge cluster randomized trials with a time-to-event endpoint

abstract: A popular design choice in public health and implementation science research, stepped wedge cluster randomized trials (SW-CRTs) are a form of randomized trial whereby clusters are progressively transitioned from control to intervention, and the timing of transition is randomized for each cluster. An important task at the design stage is to ensure that the planned trial has sufficient power to observe a clinically meaningful effect size. While methods for determining study power have been well-developed for SW-CRTs with continuous and binary outcomes, limited methods for power calculation are available for SW-CRTs with censored time-to-event outcomes. In this article, we propose a stratified marginal Cox model to account for secular trend in cross-sectional SW-CRTs, and derive an explicit expression of the robust sandwich variance to facilitate power calculations without the need for computationally intensive simulations. Power formulas based on both the Wald and robust score tests are developed and compared via simulation, generally demonstrating superiority of robust score procedures in different finite-sample scenarios. Finally, we illustrate our methods using a SW-CRT testing the effect of a new electronic reminder system on time to catheter removal in hospital settings. We also offer an R Shiny application to facilitate sample size and power calculations using our proposed methods.


title: A simple proof for generalized Fibonacci numbers with dying rabbits

abstract: We consider the generalized Fibonacci counting problem with rabbits that become fertile at age $f$ and die at age $d$, with $1<=f<=d$ and $d$ finite or infinite. We provide a simple proof, based exclusively on a counting argumentation, for a recursive formula that gives the $n$th generalized Fibonacci number as a function of at most 3 previous numbers. The formula generalizes both the original Fibonacci sequence, for $f=2$ and $d=\infty$ (or $f=1$ and $d=2$), and other Fibonacci-related sequences, such as the Padovan sequence, for $f=2$ and $d=3$, the Tribonacci, for $f=1$ and $d=3$, Tetranacci, for $f=1$ and $d=4$, and alike sequences, for $f=1$ and finite values of $d$.


title: Preventing sinking of a disk by leveraging the Parametric Hydraulic Jump phenomenon

abstract: Although it is commonly expected that a metal disk placed on the surface of water will sink, our investigation has revealed a surprising phenomenon: a vertical jet directed onto the disk from above can allow it to remain afloat. This result defies intuition, as one would assume that the force of the jet's impact would cause the disk to sink.We have discovered that this phenomenon occurs as a result of water displacement from the top of the disk caused by the impacting jet, operating through a mechanism similar to a classical hydraulic jump. This displacement generates a difference in hydrostatic pressures, resulting in an upward buoyancy force capable of balancing the force of gravity. In contrast to the classical case, here the jump radius is fixed by the geometric parameters of a disk, a phenomenon we refer to as the parametric hydraulic jump. To further explore this effect, we have presented a theoretical model based on scaling laws, which provides the conditions required for the disk to float. The dimensionless scaling constant's value was determined through an independent experiment. Finally, we conducted experiments on the disk's floating and sinking, which showed a good match with the proposed theory.


title: SEER-ZSL: Semantic Encoder-Enhanced Representations for Generalized Zero-Shot Learning

abstract: Generalized Zero-Shot Learning (GZSL) recognizes unseen classes by transferring knowledge from the seen classes, depending on the inherent interactions between visual and semantic data. However, the discrepancy between well-prepared training data and unpredictable real-world test scenarios remains a significant challenge. This paper introduces a dual strategy to address the generalization gap. Firstly, we incorporate semantic information through an innovative encoder. This encoder effectively integrates class-specific semantic information by targeting the performance disparity, enhancing the produced features to enrich the semantic space for class-specific attributes. Secondly, we refine our generative capabilities using a novel compositional loss function. This approach generates discriminative classes, effectively classifying both seen and unseen classes. In addition, we extend the exploitation of the learned latent space by utilizing controlled semantic inputs, ensuring the robustness of the model in varying environments. This approach yields a model that outperforms the state-of-the-art models in terms of both generalization and diverse settings, notably without requiring hyperparameter tuning or domain-specific adaptations. We also propose a set of novel evaluation metrics to provide a more detailed assessment of the reliability and reproducibility of the results. The complete code is made available on https://github.com/william-heyden/SEER-ZeroShotLearning/.


title: Complete fusion of $^6$Li with $^{28}$Si and $^{64}$Ni nuclei in the framework of the continuum discretized coupled channel method

abstract: The complete fusion of $^6$Li with $^{28}$Si and $^{64}$Ni nuclei, ranging from subbarrier energies up to values well above the Coulomb barrier, is studied using the continuum discretized coupled channels method. We investigate the sensitivity of the results to the largest energy used in the discretization of the continuum, including closed channels. Our results reveal that, as long as the states in the continuum are not limited to too small energies, the specific upper bound adopted is not relevant as the complete fusion cross-section is fairly insensitive to it above a threshold. Convergence with respect to this parameter is rapidly reached, so that closed channels play a role only at low collision energies. A good agreement with the available experimental data is obtained.


title: SpecNeRF: Gaussian Directional Encoding for Specular Reflections

abstract: Neural radiance fields have achieved remarkable performance in modeling the appearance of 3D scenes. However, existing approaches still struggle with the view-dependent appearance of glossy surfaces, especially under complex lighting of indoor environments. Unlike existing methods, which typically assume distant lighting like an environment map, we propose a learnable Gaussian directional encoding to better model the view-dependent effects under near-field lighting conditions. Importantly, our new directional encoding captures the spatially-varying nature of near-field lighting and emulates the behavior of prefiltered environment maps. As a result, it enables the efficient evaluation of preconvolved specular color at any 3D location with varying roughness coefficients. We further introduce a data-driven geometry prior that helps alleviate the shape radiance ambiguity in reflection modeling. We show that our Gaussian directional encoding and geometry prior significantly improve the modeling of challenging specular reflections in neural radiance fields, which helps decompose appearance into more physically meaningful components.


title: Exploring Multimodal Large Language Models for Radiology Report Error-checking

abstract: This paper proposes one of the first clinical applications of multimodal large language models (LLMs) as an assistant for radiologists to check errors in their reports. We created an evaluation dataset from real-world radiology datasets (including X-rays and CT scans). A subset of original reports was modified to contain synthetic errors by introducing three types of mistakes: "insert", "remove", and "substitute". The evaluation contained two difficulty levels: SIMPLE for binary error-checking and COMPLEX for identifying error types. At the SIMPLE level, our fine-tuned model significantly enhanced performance by 47.4% and 25.4% on MIMIC-CXR and IU X-ray data, respectively. This performance boost is also observed in unseen modality, CT scans, as the model performed 19.46% better than the baseline model. The model also surpassed the domain expert's accuracy in the MIMIC-CXR dataset by 1.67%. Notably, among the subsets (N=21) of the test set where a clinician did not achieve the correct conclusion, the LLaVA ensemble mode correctly identified 71.4% of these cases. However, all models performed poorly in identifying mistake types, underscoring the difficulty of the COMPLEX level. This study marks a promising step toward utilizing multimodal LLMs to enhance diagnostic accuracy in radiology. The ensemble model demonstrated comparable performance to clinicians, even capturing errors overlooked by humans.


title: Optimizing Ego Vehicle Trajectory Prediction: The Graph Enhancement Approach

abstract: Predicting the trajectory of an ego vehicle is a critical component of autonomous driving systems. Current state-of-the-art methods typically rely on Deep Neural Networks (DNNs) and sequential models to process front-view images for future trajectory prediction. However, these approaches often struggle with perspective issues affecting object features in the scene. To address this, we advocate for the use of Bird's Eye View (BEV) perspectives, which offer unique advantages in capturing spatial relationships and object homogeneity. In our work, we leverage Graph Neural Networks (GNNs) and positional encoding to represent objects in a BEV, achieving competitive performance compared to traditional DNN-based methods. While the BEV-based approach loses some detailed information inherent to front-view images, we balance this by enriching the BEV data by representing it as a graph where relationships between the objects in a scene are captured effectively.


title: Exploring ChatGPT for Toxicity Detection in GitHub

abstract: Fostering a collaborative and inclusive environment is crucial for the sustained progress of open source development. However, the prevalence of negative discourse, often manifested as toxic comments, poses significant challenges to developer well-being and productivity. To identify such negativity in project communications, especially within large projects, automated toxicity detection models are necessary. To train these models effectively, we need large software engineering-specific toxicity datasets. However, such datasets are limited in availability and often exhibit imbalance (e.g., only 6 in 1000 GitHub issues are toxic), posing challenges for training effective toxicity detection models. To address this problem, we explore a zero-shot LLM (ChatGPT) that is pre-trained on massive datasets but without being fine-tuned specifically for the task of detecting toxicity in software-related text. Our preliminary evaluation indicates that ChatGPT shows promise in detecting toxicity in GitHub, and warrants further investigation. We experimented with various prompts, including those designed for justifying model outputs, thereby enhancing model interpretability and paving the way for potential integration of ChatGPT-enabled toxicity detection into developer communication channels.


title: The uniqueness of the Wiener-Hopf factorisation of L\'evy processes and random walks

abstract: We prove that the spatial Wiener-Hopf factorisation of a L\'evy process or random walk without killing is unique.


title: Quick Order Fairness: Implementation and Evaluation

abstract: Decentralized finance revolutionizes traditional financial systems by leveraging blockchain technology to reduce trust. However, some vulnerabilities persist, notably front-running by malicious actors who exploit transaction information to gain financial advantage. Consensus with a fair order aims at preventing such attacks, and in particular, the differential order fairness property addresses this problem and connects fair ordering to the validity of consensus. The notion is implemented by the Quick Order-Fair Atomic Broadcast (QOF) protocol (Cachin et al., FC '22). This paper revisits the QOF protocol and describes a modular implementation that uses a generic consensus component. Moreover, an empirical evaluation is performed to compare the performance of QOF to a consensus protocol without fairness. Measurements show that the increased complexity comes at a cost, throughput decreases by at most 5%, and latency increases by roughly 50ms, using an emulated ideal network. This paper contributes to a comprehensive understanding of practical aspects regarding differential order fairness with the QOF protocol and also connects this with similar fairness-imposing protocols like Themis and Pompe.


title: ASSISTGUI: Task-Oriented Desktop Graphical User Interface Automation

abstract: Graphical User Interface (GUI) automation holds significant promise for assisting users with complex tasks, thereby boosting human productivity. Existing works leveraging Large Language Model (LLM) or LLM-based AI agents have shown capabilities in automating tasks on Android and Web platforms. However, these tasks are primarily aimed at simple device usage and entertainment operations. This paper presents a novel benchmark, AssistGUI, to evaluate whether models are capable of manipulating the mouse and keyboard on the Windows platform in response to user-requested tasks. We carefully collected a set of 100 tasks from nine widely-used software applications, such as, After Effects and MS Word, each accompanied by the necessary project files for better evaluation. Moreover, we propose an advanced Actor-Critic Embodied Agent framework, which incorporates a sophisticated GUI parser driven by an LLM-agent and an enhanced reasoning mechanism adept at handling lengthy procedural tasks. Our experimental results reveal that our GUI Parser and Reasoning mechanism outshine existing methods in performance. Nevertheless, the potential remains substantial, with the best model attaining only a 46% success rate on our benchmark. We conclude with a thorough analysis of the current methods' limitations, setting the stage for future breakthroughs in this domain.


title: Mechanical tuning of a rectangular axion haloscope operating around 8.4 GHz

abstract: The axion haloscope is the currently most sensitive method to probe the vanishingly small coupling of this prominent Dark Matter candidate to photons. To scan a sizeable axion Dark Matter parameter space, the cavities that make up the haloscope need to be tuned efficiently. In this article, we describe a novel technique to tune axion haloscopes around $8.4$ GHz in a purely mechanical manner without the use of dielectrics. We achieve tuning by introducing a gap along the cavity geometry. Losses are added due to the leaking of the field out of the structure only if the gap becomes too large concerning the total width. A tuning range of around $600$ MHz is achieved, depending on the environmental conditions. We present the results of a corresponding prototype and outline prospects to further develop this technique.


title: Pre-training of Molecular GNNs via Conditional Boltzmann Generator

abstract: Learning representations of molecular structures using deep learning is a fundamental problem in molecular property prediction tasks. Molecules inherently exist in the real world as three-dimensional structures; furthermore, they are not static but in continuous motion in the 3D Euclidean space, forming a potential energy surface. Therefore, it is desirable to generate multiple conformations in advance and extract molecular representations using a 4D-QSAR model that incorporates multiple conformations. However, this approach is impractical for drug and material discovery tasks because of the computational cost of obtaining multiple conformations. To address this issue, we propose a pre-training method for molecular GNNs using an existing dataset of molecular conformations to generate a latent vector universal to multiple conformations from a 2D molecular graph. Our method, called Boltzmann GNN, is formulated by maximizing the conditional marginal likelihood of a conditional generative model for conformations generation. We show that our model has a better prediction performance for molecular properties than existing pre-training methods using molecular graphs and three-dimensional molecular structures.


title: State Expansion of a Levitated Nanoparticle in a Dark Harmonic Potential

abstract: Levitated nanoparticles in vacuum are prime candidates for generating macroscopic quantum superposition states of massive objects. Most protocols for preparing these states necessitate coherent expansion beyond the scale of the zero-point motion to produce sufficiently delocalized and pure phase-space distributions. Here, we spatially expand and subsequently recontract the thermal state of a levitated nanoparticle by modifying the stiffness of the trap holding the particle. We achieve state-expansion factors of 25 in standard deviation for a particle initially feedback-cooled to a center-of-mass thermal state of \SI{155}{\milli\kelvin}. Our method relies on a hybrid scheme combining an optical trap, for cooling and measuring the particle's motion, with a Paul trap for expanding its state. Consequently, state expansion occurs devoid of measurement backaction from photon recoil, making this approach suitable for coherent wavefunction expansion in future experiments.


title: Bootstrapping M-theory Orbifolds

abstract: We analyze correlation functions of $SU(k) \times SU(2)_F$ flavor currents in a family of three-dimensional ${\cal N}=4$ superconformal field theories, combining analytic bootstrap methods with input from supersymmetric localization. Via holographic duality, we extract gluon and graviton scattering amplitudes of M-theory on ${\rm AdS}_4\times S^7/\mathbb{Z}_k$ which contains a $\mathbb{C}^2/\mathbb{Z}_{k}$ orbifold singularity. From these results, we derive aspects of the effective description of M-theory on the orbifold singularity beyond its leading low energy limit. We also determine a threshold correction to the holographic correlator from the combined contribution of two-loop gluon and tree-level bulk graviton exchange.


title: Some results on Nilpotency, Solvability and Frattini Theory for Bicommutative and for Novikov algebras

abstract: This paper starts by showing that for algebras in a certain class the concepts of weak nilpotency and nilpotency coincide. It goes on to describe some solvability and nilpotency properties of bicommutative algebras and of Novikov algebras and to introduce a Frattini theory for both of them. A description is also given for semisimple bicommutative algebras over any field.


title: Investigating Color Illusions from the Perspective of Computational Color Constancy

abstract: Color constancy and color illusion perception are two phenomena occurring in the human visual system, which can help us reveal unknown mechanisms of human perception. For decades computer vision scientists have developed numerous color constancy methods, which estimate the reflectance of the surface by discounting the illuminant. However, color illusions have not been analyzed in detail in the field of computational color constancy, which we find surprising since the relationship they share is significant and may let us design more robust systems. We argue that any model that can reproduce our sensation on color illusions should also be able to provide pixel-wise estimates of the light source. In other words, we suggest that the analysis of color illusions helps us to improve the performance of the existing global color constancy methods, and enable them to provide pixel-wise estimates for scenes illuminated by multiple light sources. In this study, we share the outcomes of our investigation in which we take several color constancy methods and modify them to reproduce the behavior of the human visual system on color illusions. Also, we show that parameters purely extracted from illusions are able to improve the performance of color constancy methods. A noteworthy outcome is that our strategy based on the investigation of color illusions outperforms the state-of-the-art methods that are specifically designed to transform global color constancy algorithms into multi-illuminant algorithms.


title: A Novel Approach for Rapid Development Based on ChatGPT and Prompt Engineering

abstract: Code generation stands as a powerful technique in modern software development, improving development efficiency, reducing errors, and fostering standardization and consistency. Recently, ChatGPT has exhibited immense potential in automatic code generation. However, existing researches on code generation lack guidance for practical software development process. In this study, we utilized ChatGPT to develop a web-based code generation platform consisting of key components: User Interface, Prompt Builder and Backend Service. Specifically, Prompt Builder dynamically generated comprehensive prompts to enhance model generation performance. We conducted experiments on 2 datasets, evaluating the generated code through 8 widely used metrics.The results demonstrate that (1) Our Prompt Builder is effective, resulting in a 65.06% improvement in EM, a 38.45% improvement in BLEU, a 15.70% improvement in CodeBLEU, and a 50.64% improvement in Pass@1. (2) In real development scenarios, 98.5% of test cases can be validated through manual validation, highlighting the genuine assistance provided by the ChatGPT-based code generation approach.


title: VSR-Net: Vessel-like Structure Rehabilitation Network with Graph Clustering

abstract: The morphologies of vessel-like structures, such as blood vessels and nerve fibres, play significant roles in disease diagnosis, e.g., Parkinson's disease. Deep network-based refinement segmentation methods have recently achieved promising vessel-like structure segmentation results. There are still two challenges: (1) existing methods have limitations in rehabilitating subsection ruptures in segmented vessel-like structures; (2) they are often overconfident in predicted segmentation results. To tackle these two challenges, this paper attempts to leverage the potential of spatial interconnection relationships among subsection ruptures from the structure rehabilitation perspective. Based on this, we propose a novel Vessel-like Structure Rehabilitation Network (VSR-Net) to rehabilitate subsection ruptures and improve the model calibration based on coarse vessel-like structure segmentation results. VSR-Net first constructs subsection rupture clusters with Curvilinear Clustering Module (CCM). Then, the well-designed Curvilinear Merging Module (CMM) is applied to rehabilitate the subsection ruptures to obtain the refined vessel-like structures. Extensive experiments on five 2D/3D medical image datasets show that VSR-Net significantly outperforms state-of-the-art (SOTA) refinement segmentation methods with lower calibration error. Additionally, we provide quantitative analysis to explain the morphological difference between the rehabilitation results of VSR-Net and ground truth (GT), which is smaller than SOTA methods and GT, demonstrating that our method better rehabilitates vessel-like structures by restoring subsection ruptures.


title: Parallel Multi-Step Contour Integral Methods for Nonlinear Eigenvalue Problems

abstract: We consider nonlinear eigenvalue problems to compute all eigenvalues in a bounded region on the complex plane. Based on domain decomposition and contour integrals, two robust and scalable parallel multi-step methods are proposed. The first method 1) uses the spectral indicator method to find eigenvalues and 2) calls a linear eigensolver to compute the associated eigenvectors. The second method 1) divides the region into subregions and uses the spectral indicator method to decide candidate regions that contain eigenvalues, 2) computes eigenvalues in each candidate subregion using Beyn's method; and 3) verifies each eigenvalue by substituting it back to the system and computes the smallest eigenvalue. Each step of the two methods is carried out in parallel. Both methods are robust, accurate, and does not require prior knowledge of the number and distribution of the eigenvalues in the region. Examples are presented to show the performance of the two methods.


title: LRS: Enhancing Adversarial Transferability through Lipschitz Regularized Surrogate

abstract: The transferability of adversarial examples is of central importance to transfer-based black-box adversarial attacks. Previous works for generating transferable adversarial examples focus on attacking \emph{given} pretrained surrogate models while the connections between surrogate models and adversarial trasferability have been overlooked. In this paper, we propose {\em Lipschitz Regularized Surrogate} (LRS) for transfer-based black-box attacks, a novel approach that transforms surrogate models towards favorable adversarial transferability. Using such transformed surrogate models, any existing transfer-based black-box attack can run without any change, yet achieving much better performance. Specifically, we impose Lipschitz regularization on the loss landscape of surrogate models to enable a smoother and more controlled optimization process for generating more transferable adversarial examples. In addition, this paper also sheds light on the connection between the inner properties of surrogate models and adversarial transferability, where three factors are identified: smaller local Lipschitz constant, smoother loss landscape, and stronger adversarial robustness. We evaluate our proposed LRS approach by attacking state-of-the-art standard deep neural networks and defense models. The results demonstrate significant improvement on the attack success rates and transferability. Our code is available at https://github.com/TrustAIoT/LRS.


title: Graphene: Infrastructure Security Posture Analysis with AI-generated Attack Graphs

abstract: The rampant occurrence of cybersecurity breaches imposes substantial limitations on the progress of network infrastructures, leading to compromised data, financial losses, potential harm to individuals, and disruptions in essential services. The current security landscape demands the urgent development of a holistic security assessment solution that encompasses vulnerability analysis and investigates the potential exploitation of these vulnerabilities as attack paths. In this paper, we propose Graphene, an advanced system designed to provide a detailed analysis of the security posture of computing infrastructures. Using user-provided information, such as device details and software versions, Graphene performs a comprehensive security assessment. This assessment includes identifying associated vulnerabilities and constructing potential attack graphs that adversaries can exploit. Furthermore, Graphene evaluates the exploitability of these attack paths and quantifies the overall security posture through a scoring mechanism. The system takes a holistic approach by analyzing security layers encompassing hardware, system, network, and cryptography. Furthermore, Graphene delves into the interconnections between these layers, exploring how vulnerabilities in one layer can be leveraged to exploit vulnerabilities in others. In this paper, we present the end-to-end pipeline implemented in Graphene, showcasing the systematic approach adopted for conducting this thorough security analysis.


title: On the Geometry Dependence of the NMR Chemical Shift of Mercury in Thiolate Complexes: A Relativistic DFT Study

abstract: Thiolate containing mercury(II) complexes of the general formula [Hg(SR)$_n$]$^{2-n}$ have been of great interest since the toxicity of mercury was recognized. $^{199}$Hg nuclear magnetic resonance spectroscopy (NMR) is a powerful tool for characterization of mercury complexes. In this work, the Hg shielding constants in a series of [Hg(SR)$_n$]$^{2-n}$ complexes are therefore investigated computationally with particular emphasis on their geometry dependence. Geometry optimizations and NMR chemical shift calculations are performed at the density functional theory (DFT) level with both the zeroth-order regular approximation (ZORA) and four-component relativistic methods. The four exchange-correlation (XC) functionals PBE0, PBE, B3LYP and BLYP are used in combination with either Dyall's Gaussian-type (GTO) or Slater-type orbitals (STOs) basis sets. Comparing ZORA and four-component calculations, one observes that the calculated shielding constants for a given molecular geometry have a constant difference of $\sim$1070 ppm. This confirms that ZORA is an acceptable relativistic method to compute NMR chemical shifts. The combinations of 4-component/PBE0/v3z and ZORA/PBE0/QZ4P are applied to explore the geometry dependence of the isotropic shielding. For a given coordination number the distance between mercury and sulfur is the key factor affecting the shielding constant, while changes in bond and dihedral angles and even different side groups have relatively little impact.


title: On matrix Kloosterman sums and Hall-Littlewood polynomials

abstract: We prove an identity relating twisted matrix Kloosterman sums to modified Hall-Littlewood polynomials evaluated at the roots of the characteristic polynomial associated to a twisted Kloosterman sheaf. This solves a conjecture of Erd\'elyi and T\'oth.


title: Screwon spectral statistics and dispersion relation in the quantum Rajeev-Ranken model

abstract: The Rajeev-Ranken (RR) model is a Hamiltonian system describing screw-type nonlinear waves (screwons) of wavenumber $k$ in a scalar field theory pseudodual to the 1+1D SU(2) principal chiral model. Classically, the RR model based on a quadratic Hamiltonian on a nilpotent/Euclidean Poisson algebra is Liouville integrable. Upon adopting canonical variables in a slightly extended phase space, the model was interpreted as a novel 3D cylindrically symmetric quartic oscillator with a rotational energy. Here, we examine the spectral statistics and dispersion relation of quantized screwons via numerical diagonalization validated by variational and perturbative approximations. We also derive a semiclassical estimate for the cumulative level distribution which compares favorably with the one from numerical diagonalization. The spectrum shows level crossings typical of an integrable system. The $i^{\rm th}$ unfolded nearest neighbor spacings are found to follow Poisson statistics for small $i$. Nonoverlapping spacing ratios also indicate that successive spectral gaps are independently distributed. After displaying universal linear behavior over energy windows of short lengths, the spectral rigidity saturates at a length and value that scales with the square-root of energy. For strong coupling $\lambda$ and intermediate $k$, we argue that reduced screwon energies can depend only on the product $\lambda k$. Numerically, we find power law dependences on $\lambda$ and $k$ with an approximately common exponent $2/3$ provided the angular momentum quantum number $l$ is small compared to the number of nodes $n$ in the radial wavefunction. On the other hand, for the ground state $n = l = 0$, the common exponent becomes 1.


title: Investigating techniques to optimise the layout of turbines in a windfarm using a quantum computer

abstract: We study the optimal placement of wind turbines within a windfarm to maximize the power produced by mapping the system to a Quadratic Unconstrained Binary Optimisation (QUBO) problem. We investigate solving the resulting QUBO problem using the Variational Quantum Eigensolver (VQE) on a quantum computer simulator and compare the results to those from two classical optimisation methods: simulated annealing and the Gurobi solver. The maximum grid size we study is 4 $\times$ 4, which requires 16 qubits.


title: Characters and IRS's on branch groups and embeddings into hyperfinite factor

abstract: Using the construction by Bencs and T\'{o}th of invariant random subgroups on weakly branch groups acting on regular rooted trees we produce uncountably many indecomposable characters on these groups. In fact, we study three types of characters coming from the action of a weakly branch group on a regular tree, paying attention to their similarities and differences. We use obtained results to show that each countable amenable branch group has uncountably many pairwise not quasi-equivalent embeddings into Murray-von Neumann hyperfinite factor. For the canonical character associated with a self-similar group and studied by the second author as a self-similar trace we provide a number of examples when it is explicitly computed.


title: Generalized angular-order parton showers in Herwig 7

abstract: This paper presents the inaugural investigation of beyond the Standard Model (BSM) radiation processes, framed as a generalized, process- and model-independent parton shower algorithm within Herwig 7, based on direct translations of Universal FeynRules Output (UFO) constructed via Herwig's ufo2herwig module. Leveraging the fact that shower kinematics are dictated by the spins of involved particles, we calculate comprehensive helicity-dependent branching kernels for all feasible splittings of scalars, fermions, and vector bosons, tailored to Herwig 7's angular-ordering (AO) parton shower algorithm. Utilizing these kernels, we derive BSM splitting functions in the quasi-collinear limit, ensuring compatibility with the Standard Model (SM) and supersymmetry (SUSY) splitting functions when analogous parameter conditions are applied. These newly derived functions have been integrated into the Herwig 7 event generator framework. Comparative analyses with fixed-order matrix element calculations show good agreement for single radiation events. Moreover, the results showcase the influence of BSM radiation at the Large Hadron Collider (LHC) and envisage its implications for future collider endeavours. This research augments our comprehension of BSM radiation effects, with significant bearings on present and prospective collider-based inquiries.


title: Generative agents in the streets: Exploring the use of Large Language Models (LLMs) in collecting urban perceptions

abstract: Evaluating the surroundings to gain understanding, frame perspectives, and anticipate behavioral reactions is an inherent human trait. However, these continuous encounters are diverse and complex, posing challenges to their study and experimentation. Researchers have been able to isolate environmental features and study their effect on human perception and behavior. However, the research attempts to replicate and study human behaviors with proxies, such as by integrating virtual mediums and interviews, have been inconsistent. Large language models (LLMs) have recently been unveiled as capable of contextual understanding and semantic reasoning. These models have been trained on large amounts of text and have evolved to mimic believable human behavior. This study explores the current advancements in Generative agents powered by LLMs with the help of perceptual experiments. The experiment employs Generative agents to interact with the urban environments using street view images to plan their journey toward specific goals. The agents are given virtual personalities, which make them distinguishable. They are also provided a memory database to store their thoughts and essential visual information and retrieve it when needed to plan their movement. Since LLMs do not possess embodiment, nor have access to the visual realm, and lack a sense of motion or direction, we designed movement and visual modules that help agents gain an overall understanding of surroundings. The agents are further employed to rate the surroundings they encounter based on their perceived sense of safety and liveliness. As these agents store details in their memory, we query the findings to get details regarding their thought processes. Overall, this study experiments with current AI developments and their potential in simulated human behavior in urban environments.


title: Pixel-to-Abundance Translation: Conditional Generative Adversarial Networks Based on Patch Transformer for Hyperspectral Unmixing

abstract: Spectral unmixing is a significant challenge in hyperspectral image processing. Existing unmixing methods utilize prior knowledge about the abundance distribution to solve the regularization optimization problem, where the difficulty lies in choosing appropriate prior knowledge and solving the complex regularization optimization problem. To solve these problems, we propose a hyperspectral conditional generative adversarial network (HyperGAN) method as a generic unmixing framework, based on the following assumption: the unmixing process from pixel to abundance can be regarded as a transformation of two modalities with an internal specific relationship. The proposed HyperGAN is composed of a generator and discriminator, the former completes the modal conversion from mixed hyperspectral pixel patch to the abundance of corresponding endmember of the central pixel and the latter is used to distinguish whether the distribution and structure of generated abundance are the same as the true ones. We propose hyperspectral image (HSI) Patch Transformer as the main component of the generator, which utilize adaptive attention score to capture the internal pixels correlation of the HSI patch and leverage the spatial-spectral information in a fine-grained way to achieve optimization of the unmixing process. Experiments on synthetic data and real hyperspectral data achieve impressive results compared to state-of-the-art competitors.


title: Hierarchically constrained multi-fidelity blackbox optimization

abstract: This work introduces a novel multi-fidelity blackbox optimization algorithm designed to alleviate the resource-intensive task of evaluating infeasible points. This algorithm is an intermediary component bridging a direct search solver and a blackbox, resulting in reduced computation time per evaluation, all while preserving the efficiency and convergence properties of the chosen solver. This is made possible by assessing feasibility through a broad range of fidelities, leveraging information from cost-effective evaluations before committing to a full computation. These feasibility estimations are generated through a hierarchical evaluation of constraints, tailored to the multi-fidelity nature of the blackbox problem, and defined by a biadjacency matrix, for which we propose a construction. A series of computational tests using the NOMAD solver on the Solar family of blackbox problems are conducted to validate the approach. The results show a significant improvement in solution quality when an initial feasible starting point is known in advance of the optimization process. When this condition is not met, the outcomes are contingent upon certain properties of the blackbox.


title: Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems

abstract: We prove that (logarithmic) prismatic and (logarithmic) syntomic cohomology are representable in the category of logarithmic motives. As an application, we obtain Gysin maps for prismatic and syntomic cohomology, and we explicitly identify their cofibers. We also prove a smooth blow-up formula and we compute prismatic and syntomic cohomology of Grassmannians. In the second part of the paper, we develop a descent technique inspired by the work of Nizio\l~ on log $K$-theory. Using the resulting \emph{saturated descent}, we prove de Rham and crystalline comparison theorems for log prismatic cohomology, and the existence of Gysin maps for $A_{\inf}$-cohomology.


title: Distribution-Dependent Rates for Multi-Distribution Learning

abstract: To address the needs of modeling uncertainty in sensitive machine learning applications, the setup of distributionally robust optimization (DRO) seeks good performance uniformly across a variety of tasks. The recent multi-distribution learning (MDL) framework tackles this objective in a dynamic interaction with the environment, where the learner has sampling access to each target distribution. Drawing inspiration from the field of pure-exploration multi-armed bandits, we provide distribution-dependent guarantees in the MDL regime, that scale with suboptimality gaps and result in superior dependence on the sample size when compared to the existing distribution-independent analyses. We investigate two non-adaptive strategies, uniform and non-uniform exploration, and present non-asymptotic regret bounds using novel tools from empirical process theory. Furthermore, we devise an adaptive optimistic algorithm, LCB-DR, that showcases enhanced dependence on the gaps, mirroring the contrast between uniform and optimistic allocation in the multi-armed bandit literature.


title: Scaling Compute Is Not All You Need for Adversarial Robustness

abstract: The last six years have witnessed significant progress in adversarially robust deep learning. As evidenced by the CIFAR-10 dataset category in RobustBench benchmark, the accuracy under $\ell_\infty$ adversarial perturbations improved from 44\% in \citet{Madry2018Towards} to 71\% in \citet{peng2023robust}. Although impressive, existing state-of-the-art is still far from satisfactory. It is further observed that best-performing models are often very large models adversarially trained by industrial labs with significant computational budgets. In this paper, we aim to understand: ``how much longer can computing power drive adversarial robustness advances?" To answer this question, we derive \emph{scaling laws for adversarial robustness} which can be extrapolated in the future to provide an estimate of how much cost we would need to pay to reach a desired level of robustness. We show that increasing the FLOPs needed for adversarial training does not bring as much advantage as it does for standard training in terms of performance improvements. Moreover, we find that some of the top-performing techniques are difficult to exactly reproduce, suggesting that they are not robust enough for minor changes in the training setup. Our analysis also uncovers potentially worthwhile directions to pursue in future research. Finally, we make our benchmarking framework (built on top of \texttt{timm}~\citep{rw2019timm}) publicly available to facilitate future analysis in efficient robust deep learning.


title: On the complexity of sabotage games for network security

abstract: Securing dynamic networks against adversarial actions is challenging because of the need to anticipate and counter strategic disruptions by adversarial entities within complex network structures. Traditional game-theoretic models, while insightful, often fail to model the unpredictability and constraints of real-world threat assessment scenarios. We refine sabotage games to reflect the realistic limitations of the saboteur and the network operator. By transforming sabotage games into reachability problems, our approach allows applying existing computational solutions to model realistic restrictions on attackers and defenders within the game. Modifying sabotage games into dynamic network security problems successfully captures the nuanced interplay of strategy and uncertainty in dynamic network security. Theoretically, we extend sabotage games to model network security contexts and thoroughly explore if the additional restrictions raise their computational complexity, often the bottleneck of game theory in practical contexts. Practically, this research sets the stage for actionable insights for developing robust defense mechanisms by understanding what risks to mitigate in dynamically changing networks under threat.


title: New dimer integrable systems and defects in five dimensional gauge theory

abstract: We study the relation between the quantum integrable systems derived from the dimer graphs and five dimensional $\mathcal{N}=1$ supersymmetric gauge theories on $S^1 \times \mathbb{R}^4$. We construct integrable systems based on new dimer graphs obtained from modification of hexagon dimer diagram. We study the gauge theories in correspondence to the newly proposed integrable systems. By examining three types of defects -- a line defect, a canonical co-dimensional two defect and a monodromy defect -- in five-dimensional gauge theory with $\mathcal{N}=1$ supersymmetry and $\Omega_{\varepsilon_1,\varepsilon_2}$-background. We identify, in the $\varepsilon_2 \to 0$ limit, the canonical co-dimensional two defect satisfying the Baxter T-Q equation of the generalized $A$-type dimer integrable system, and the monodromy defect as its common eigenstate of the commuting Hamiltonians, with the eigenvalues being the expectation value of the BPS Wilson loop in the anti-symmetric representation of the bulk gauge group.


title: Renormalon-based resummation of Bjorken polarised sum rule in holomorphic QCD

abstract: Approximate knowledge of the renormalon structure of Bjorken polarised sum rule (BSR) ${\overline \Gamma}_1^{{\rm p-n}}(Q^2)$ leads to the corresponding BSR characteristic function that allows us to evaluate the leading-twist part of BSR. In our previous work \cite{pPLB}, this evaluation (resummation) was performed using perturbative QCD (pQCD) coupling $a(Q^2) \equiv \alpha_s(Q^2)/\pi$ in specific renormalisation schemes. In the present paper, we continue this work, by using instead holomorphic couplings [$a(Q^2) \mapsto {\mathcal A}(Q^2)$] that have no Landau singularities and thus require, in contrast to the pQCD case, no regularisation of the resummation formula. The $D=2$ and $D=4$ terms are included in the Operator Product Expansion (OPE) of inelastic BSR, and fits are performed to the available experimental data in a specific interval $(Q^2_{\rm min},Q^2_{\rm max})$ where $ Q^2_{\rm max}=4.74 \ {\rm GeV}^2$. We needed relatively high $Q^2_{\rm min} \approx 1.7 \ {\rm GeV}^2$ in the pQCD case since the pQCD coupling $a(Q^2)$ has Landau singularities at $Q^2 \lesssim 1 \ {\rm GeV}^2$. Now, when holomorphic (AQCD) couplings ${\mathcal A}(Q^2)$ are used, no such problems occur: for the $3 \delta$AQCD and $2 \delta$AQCD variants the preferred values are $Q^2_{\rm min} \approx 0.6 \ {\rm GeV}^2$. The preferred values of $\alpha_s$ in general cannot be unambiguously extracted, due to large uncertainties of the experimental BSR data, although the fit with $2 \delta$AQCD and the $D=2$ term included suggests $\alpha_s^{{\overline {\rm MS}}}(M_Z^2) \approx 0.1181$. At a fixed value of $\alpha_s^{{\overline {\rm MS}}}(M_Z^2)$, the values of the $D=2$ and $D=4$ residue parameters are determined in all cases, with the corresponding uncertainties.


title: Accelerated adiabatic passage of a single electron spin qubit in quantum dots

abstract: Adiabatic processes can keep the quantum system in its instantaneous eigenstate, which is robust to noises and dissipation. However, it is limited by sufficiently slow evolution. Here, we experimentally demonstrate the transitionless quantum driving (TLQD) of the shortcuts to adiabaticity in gate-defined semiconductor quantum dots (QDs) to greatly accelerate the conventional adiabatic passage for the first time. For a given efficiency of quantum state transfer, the acceleration can be more than twofold. The dynamic properties also prove that the TLQD can guarantee fast and high-fidelity quantum state transfer. In order to compensate for the diabatic errors caused by dephasing noises, the modified TLQD is proposed and demonstrated in experiment by enlarging the width of the counter-diabatic drivings. The benchmarking shows that the state transfer fidelity of 97.8% can be achieved. This work will greatly promote researches and applications about quantum simulations and adiabatic quantum computation based on the gate-defined QDs.


title: Molecular Hypergraph Neural Networks

abstract: Graph neural networks (GNNs) have demonstrated promising performance across various chemistry-related tasks. However, conventional graphs only model the pairwise connectivity in molecules, failing to adequately represent higher-order connections like multi-center bonds and conjugated structures. To tackle this challenge, we introduce molecular hypergraphs and propose Molecular Hypergraph Neural Networks (MHNN) to predict the optoelectronic properties of organic semiconductors, where hyperedges represent conjugated structures. A general algorithm is designed for irregular high-order connections, which can efficiently operate on molecular hypergraphs with hyperedges of various orders. The results show that MHNN outperforms all baseline models on most tasks of OPV, OCELOTv1 and PCQM4Mv2 datasets. Notably, MHNN achieves this without any 3D geometric information, surpassing the baseline model that utilizes atom positions. Moreover, MHNN achieves better performance than pretrained GNNs under limited training data, underscoring its excellent data efficiency. This work provides a new strategy for more general molecular representations and property prediction tasks related to high-order connections.