title: Characterising the Haar measure on the $p$-adic rotation groups via inverse limits of measure spaces

abstract: We determine the Haar measure on the compact $p$-adic special orthogonal groups of rotations $\mathrm{SO}(d)_p$ in dimension $d=2,3$, by exploiting the machinery of inverse limits of measure spaces, for every prime $p>2$. We characterise $\mathrm{SO}(d)_p$ as inverse limits of finite groups, of which we provide parametrisations and orders, together with an equivalent description through a multivariable Hensel lifting. Supplying these finite groups with their normalised counting measures, we get an inverse family of Haar measure spaces for each $\mathrm{SO}(d)_p$. Finally, we constructively prove the existence of the so-called inverse limit measure of these inverse families, which is explicitly computable, and prove that it gives the Haar measure on $\mathrm{SO}(d)_p$. Our results pave the way towards the study of the irreducible projective unitary representations of the $p$-adic rotation groups, with potential applications to the recently proposed $p$-adic quantum information theory.


title: The overlooked significance of the unbiased exponential phasefactor in the determination of the finite-density lattice QCD equation of state

abstract: Within the framework of (2+1)-flavor QCD at finite temperature and chemical potential, we present results using high statistics data and demonstrate how the phasefactor of low order unbiased exponential resummation offers excellent prediction, proving to be an alternative reliable estimator of the radius of convergence of the eighth order QCD Taylor series at finite baryon density measured using the ratio and the Merci-Roberts estimators. We construct a new non-trivial unbiased phasefactor for complex isospin chemical potentials $\muI$ and highlight its novelty. We find that this new unbiased phasefactor is very much capable of indicating the onset of non-monotonicity in finite $\muI$ thermodynamics, which we illustrate by comparing the phasefactor results with that of low order cumulants of $\muI$ fluctuations for non-vanishing $\muI$. We also furnish results establishing that this unbiased phasefactor is reliable in manifesting the beginning of the overlap problem for finite, real $\muI$. The errorbars increase drastically across the indications provided by the phasefactor which becomes very apparent from the coincidence between the phasefactor and the maximum of the errorbar slopes.


title: Amorphous silicon detectors for proton beam monitoring in FLASH radiotherapy

abstract: Ultra-high dose rate radiation therapy (FLASH) based on proton irradiation is of major interest for cancer treatments but creates new challenges for dose monitoring. Amorphous hydrogenated silicon is known to be one of the most radiation-hard semiconductors. In this study, detectors based on this material are investigated at proton dose rates similar to or exceeding those required for FLASH therapy. Tested detectors comprise two different types of contacts, two different thicknesses deposited either on glass or on polyimide substrates. All detectors exhibit excellent linear behaviour as a function of dose rate up to a value of 20 kGy/s. Linearity is achieved independently of the depletion condition of the device and remarkably in passive (unbiased) conditions. The degradation of the performance as a function of the dose rate and its recovery are also discussed.


title: Some determinants involving quadratic residues modulo primes

abstract: In this paper we evaluate several determinants involving quadratic residues modulo primes. For example, for any prime $p>3$ with $p\equiv3\pmod4$ and $a,b\in\mathbb Z$ with $p\nmid ab$, we prove that $$\det\left[1+\tan\pi\frac{aj^2+bk^2}p\right]_{1\le j,k\le\frac{p-1}2}=\begin{cases}-2^{(p-1)/2}p^{(p-3)/4}&\text{if}\ (\frac{ab}p)=1, \\p^{(p-3)/4}&\text{if}\ (\frac{ab}p)=-1,\end{cases}$$ where $(\frac{\cdot}p)$ denotes the Legendre symbol. We also pose some conjectures for further research.


title: Correlation function and the inverse problem in the $BD$ interaction

abstract: We study the correlation functions of the $B^0 D^+, B^+ D^0$ system, which develops a bound state of approximately $40$ MeV, using inputs consistent with the $T_{cc}(3875)$ state. Then we address the inverse problem starting from these correlation functions to determine the scattering observables related to the system, including the existence of the bound state and its molecular nature. The important output of the approach is the uncertainty with which these observables can be obtained, considering errors in the $B^0 D^+, B^+ D^0$ correlation functions typical of current values in present correlation functions. We find that it is possible to obtain scattering lengths and effective ranges with relative high precision and the existence of a bound state. Although the pole position is obtained with errors of the order of $50 \%$ of the binding energy, the molecular probability of the state is obtained with a very small error of the order of $6\%$. All these findings can serve as motivation to perform such measurements in future runs of high energy hadron collisions.


title: On Some Complexity Results for Even Linear Languages

abstract: We deal with a normal form for context-free grammars, called Dyck normal form. This normal form is a syntactical restriction of the Chomsky normal form, in which the two nonterminals occurring on the right-hand side of a rule are paired nonterminals. This pairwise property, along with several other terminal rewriting conditions, makes it possible to define a homomorphism from Dyck words to words generated by a grammar in Dyck normal form. We prove that for each context-free language L, there exist an integer K and a homomorphism phi such that L=phi(D'_K), where D'_K is a subset of D_K and D_K is the one-sided Dyck language over K letters. As an application we give an alternative proof of the inclusion of the class of even linear languages in AC1.


title: Constraint-Aware Mesh Refinement Method by Reachability Set Envelope of Curvature Bounded Paths

abstract: This paper presents an enhanced direct-method-based approach for the real-time solution of optimal control problems to handle path constraints, such as obstacles. The principal contributions of this work are twofold: first, the existing methods for constructing reachability sets in the literature are extended to derive the envelope of these sets, which determines the region swept by all feasible trajectories between adjacent sample points. Second, we propose a novel method to guarantee constraint violation-free between discrete states in two dimensions through mesh refinement approach. To illustrate the effectiveness of the proposed methodology, numerical simulations are conducted on real-time path planning for fixed-wing unmanned aerial vehicles.


title: $\nu e\to\nu e$ scattering with massive Dirac or Majorana neutrinos and general interactions

abstract: We calculate the neutrino-electron elastic scattering cross section, extending the results previously obtained in arXiv:1702.05721v2, in the presence of generic new interactions that take into account all the effects caused by finite neutrino masses. We address the potential significance of a heavy neutrino sector during precision measurements, particularly for tau neutrinos scattering with masses in the MeV range, for which the existing upper bounds on $|U_{\tau 4}|^2$ would result in conceivably measurable contributions. Finally, we comment on the possibility to distinguish between Dirac and Majorana neutrinos, including the analysis of the new emerging parameters and its application to illustrative model-dependent scenarios.


title: Using Geographically Weighted Models to Explore Temporal and Spatial Varying Impacts on Commute Trip Change Due to Covid-19

abstract: COVID-19 has deeply affected daily life and travel behaviors. Understanding these changes is crucial, prompting an investigation into socio-demographic and socio-economic factors. This study used large-scale mobile device location data in Washington, D.C., Maryland, and Virginia (DMV area) to unveil the impacts of these variables on commute trip changes. It reflected short and long-term impacts through linear regression and geographically weighted regression models. Findings indicated that counties with a higher percentage of people using walking and biking during the initial phase of COVID-19 experienced greater reductions in commute trips. For the long-term effect in November, the impact of active modes became insignificant, and individuals using public modes showed more significant trip reductions. Positive correlations were observed between median income levels and reduced commute trips. Sectors requiring ongoing outdoor operations during the pandemic showed substantial negative correlations. In the DMV area, counties with a higher proportion of Democratic voters experienced less trip reduction. Applying Geographically Weighted Regression models captured local spatial relationships, showing the emergence of local correlations as the pandemic evolved, suggesting a geographical impact pattern. Initially global, the pandemic's impact on commuting behaviors became more influenced by spatial factors over time, showing localized effects.


title: The soaring kite: a tale of two punctured tori

abstract: We consider the 5-mass kite family of self-energy Feynman integrals and present a systematic approach for constructing an epsilon-form basis, along with its differential equation pulled back onto the moduli space of two tori. Each torus is associated with one of the two distinct elliptic curves this family depends on. We demonstrate how the locations of relevant punctures, which are required to parametrize the full image of the kinematic space onto this moduli space, can be extracted from integrals over maximal cuts. A boundary value is provided such that the differential equation is systematically solved in terms of iterated integrals over g-kernels and modular forms. Then, the numerical evaluation of the master integrals is discussed, and important challenges in that regard are emphasized. In an appendix, we introduce new relations between g-kernels.


title: Pilot Distributions for Phase Noise Estimation in Electro-Optic Frequency Comb Systems

abstract: We explore the optimal pilot positioning for phase tracking in electro-optic frequency comb setups. We show that, in contrast to previous results for regular multichannel systems, allocating the first and the last channels for pilots is optimal given a fixed pilot overhead


title: Andr\'e-Quillen cohomology in the context of curved algebras

abstract: The Andr\'e-Quillen cohomology of an algebra with coefficients in a module is defined by deriving a functor based on K\"ahler differential forms. It can be computed using a cofibrant resolution of the algebra in a model category structure where weak equivalences are quasi-isomorphisms. This construction works for algebras over an operad, providing a cohomology theory tailored for each type of algebra. For curved algebras however, the notion of quasi-isomorphism is meaningless. The occurrence and importance of curved structures in various research topics (symplectic topology, deformation theory, derived geometry, mathematical physics) motivate the development of their homotopy theory and Andr\'e-Quillen cohomology theory. To get a homotopical context with an appropriate notion of weak equivalence, we consider filtered complete modules with a predifferential inducing a differential on the associated graded. Curved algebras in such modules are algebras over a curved operad. In this article, we consider curved operads which are not necessarily augmented. Bar and cobar constructions adapted to these curved operads are developed, as well as Koszul duality theory. Consequently, we obtain homotopy versions of our curved algebras and make it explicit for interesting cases. Two main examples are the curved operads encoding curved unital associative algebras and curved complex Lie algebras. In particular, homotopy curved unital associative algebras describe the structure of Floer complexes of lagrangian submanifolds and Fukaya categories in symplectic topology. Bar and cobar constructions for curved algebras are also developed, and we obtain resolutions from which we compute their Andr\'e-Quillen cohomology with module coefficients. Our computations in the case of curved complex Lie algebras reveal an interesting link between their Andr\'e-Quillen cohomology and derived complex analytic geometry.


title: A high-order discontinuous Galerkin method for the numerical modeling of epileptic seizures

abstract: Epilepsy is a clinical neurological disorder characterized by recurrent and spontaneous seizures consisting of abnormal high-frequency electrical activity in the brain. In this condition, the transmembrane potential dynamics are characterized by rapid and sharp wavefronts traveling along the heterogeneous and anisotropic conduction pathways of the brain. This work employs the monodomain model, coupled with specific neuronal ionic models characterizing ion concentration dynamics, to mathematically describe brain tissue electrophysiology in grey and white matter at the organ scale. This multiscale model is discretized in space with the high-order discontinuous Galerkin method on polygonal and polyhedral grids (PolyDG) and advanced in time with a Crank-Nicolson scheme. This ensures, on the one hand, efficient and accurate simulations of the high-frequency electrical activity that is responsible for epileptic seizure and, on the other hand, keeps reasonably low the computational costs by a suitable combination of high-order approximations and agglomerated polytopal meshes. We numerically investigate synthetic test cases on a two-dimensional heterogeneous squared domain discretized with a polygonal grid, and on a two-dimensional brainstem in a sagittal plane with an agglomerated polygonal grid that takes full advantage of the flexibility of the PolyDG approximation of the semidiscrete formulation. Finally, we provide a theoretical analysis of stability and an a-priori convergence analysis for a simplified mathematical problem.


title: Higher categories

abstract: Invited contribution to the Encyclopedia of Mathematical Physics. We give an introduction to the homotopical theory of higher categories, focused on motivating the definitions of the basic objects, namely $\infty$-categories and $(\infty,n)$-categories.


title: Theory of Acoustic Polarons in the Two-Dimensional SSH Model Applied to the Layered Superatomic Semiconductor Re6Se8Cl2

abstract: Layered superatomic semiconductors, whose buildings blocks are atomically precise molecular clusters, exhibit interesting electronic and vibrational properties. In recent work [Science 382, 438 (2023)], transient reflection microscopy revealed quasi-ballistic exciton dynamics in Re6Se8Cl2, which was attributed to the formation of polarons due to coupling with acoustic phonons. Here, we characterize the electronic, excitonic, and phononic properties with periodic density functional theory. We further parameterize a polaron Hamiltonian with nonlocal [Su-Schrieffer-Heeger (SSH)] coupling to acoustic phonon to study the polaron ground state binding energy and dispersion relation with variational wavefunctions. We calculate a polaron binding energy of about 10 meV at room temperature, and the maximum group velocity of our polaron dispersion relation is 1.5 km/s, which is similar to the experimentally observed exciton transport velocity.


title: Temperature Separation in a Vortex Tube and convection driven by vorticity

abstract: Why the temperature gradient in the vortex tube deviates significantly from the adiabatic gradient is a very important but unresolved issue in vortex tube research. In compressible fluids, the vorticity of a fluid parcel that is different from its environment can affect its own pressure or density, just like temperature. Gases near the wall have very high vorticity, and when they detach from the wall, their higher vorticity compared to the environment makes their density lower than the environment. Driven by vorticity, some fluid parcels undergo multiple collisions near the axis, achieving temperature separation.


title: MultiTest: Physical-Aware Object Insertion for Testing Multi-sensor Fusion Perception Systems

abstract: Multi-sensor fusion stands as a pivotal technique in addressing numerous safety-critical tasks and applications, e.g., self-driving cars and automated robotic arms. With the continuous advancement in data-driven artificial intelligence (AI), MSF's potential for sensing and understanding intricate external environments has been further amplified, bringing a profound impact on intelligent systems and specifically on their perception systems. Similar to traditional software, adequate testing is also required for AI-enabled MSF systems. Yet, existing testing methods primarily concentrate on single-sensor perception systems (e.g., image-/point cloud-based object detection systems). There remains a lack of emphasis on generating multi-modal test cases for MSF systems. To address these limitations, we design and implement MultiTest, a fitness-guided metamorphic testing method for complex MSF perception systems. MultiTest employs a physical-aware approach to synthesize realistic multi-modal object instances and insert them into critical positions of background images and point clouds. A fitness metric is designed to guide and boost the test generation process. We conduct extensive experiments with five SOTA perception systems to evaluate MultiTest from the perspectives of: (1) generated test cases' realism, (2) fault detection capabilities, and (3) performance improvement. The results show that MultiTest can generate realistic and modality-consistent test data and effectively detect hundreds of diverse faults of an MSF system under test. Moreover, retraining an MSF system on the test cases generated by MultiTest can improve the system's robustness.


title: Circumbinary discs for stellar population models

abstract: We develop a rapid algorithm for the evolution of stable, circular, circumbinary discs suitable for parameter estimation and population synthesis modelling. Our model includes disc mass and angular momentum changes, accretion on to the binary stars, and binary orbital eccentricity pumping. We fit our model to the post-asymptotic giant branch (post-AGB) circumbinary disc around IRAS 08544-4431, finding reasonable agreement despite the simplicity of our model. Our best-fitting disc has a mass of about $0.01\, \mathrm{M}_{\odot }$ and angular momentum $2.7\times 10^{52}\, \mathrm{g}\, \mathrm{cm}^{2}\, \mathrm{s}^{-1}\simeq 9 \,\mathrm{M}_{\odot }\, \mathrm{km}\, \mathrm{s}^{-1}\, \mathrm{au}$, corresponding to 0.0079 and 0.16 of the common-envelope mass and angular momentum, respectively. The best-fitting disc viscosity is $\alpha _\mathrm{disc} = 5 \times 10^{-3}$ and our tidal torque algorithm can be constrained such that the inner edge of the disc $R_{\mathrm{in}}\sim 2a$. The inner binary eccentricity reaches about 0.13 in our best-fitting model of IRAS 08544-4431, short of the observed 0.22. The circumbinary disc evaporates quickly when the post-AGB star reaches a temperature of $\sim \! 6\times 10^4\, \mathrm{K}$, suggesting that planetismals must form in the disc in about $10^{4}\, \mathrm{yr}$ if secondary planet formation is to occur, while accretion from the disc on to the stars at about 10 times the inner-edge viscous rate can double the disc lifetime.


title: Invisible neutrino decay at long-baseline neutrino oscillation experiments

abstract: We perform an updated analysis of long-baseline accelerator data in the framework of neutrino oscillations in presence of invisible neutrino decay. We analyze data from T2K, NOvA and MINOS/MINOS+ and show that the combined analysis of all experiments improves the previous bound from long-baseline data by approximately one order of magnitude.


title: Maximizing the Minimum Eigenvalue in Constant Dimension

abstract: In an instance of the minimum eigenvalue problem, we are given a collection of $n$ vectors $v_1,\ldots, v_n \subset {\mathbb{R}^d}$, and the goal is to pick a subset $B\subseteq [n]$ of given vectors to maximize the minimum eigenvalue of the matrix $\sum_{i\in B} v_i v_i^{\top} $. Often, additional combinatorial constraints such as cardinality constraint $\left(|B|\leq k\right)$ or matroid constraint ($B$ is a basis of a matroid defined on $[n]$) must be satisfied by the chosen set of vectors. The minimum eigenvalue problem with matroid constraints models a wide variety of problems including the Santa Clause problem, the E-design problem, and the constructive Kadison-Singer problem. In this paper, we give a randomized algorithm that finds a set $B\subseteq [n]$ subject to any matroid constraint whose minimum eigenvalue is at least $(1-\epsilon)$ times the optimum, with high probability. The running time of the algorithm is $O\left( n^{O(d\log(d)/\epsilon^2)}\right)$. In particular, our results give a polynomial time asymptotic scheme when the dimension of the vectors is constant. Our algorithm uses a convex programming relaxation of the problem after guessing a rescaling which allows us to apply pipage rounding and matrix Chernoff inequalities to round to a good solution. The key new component is a structural lemma which enables us to "guess'' the appropriate rescaling, which could be of independent interest. Our approach generalizes the approximation guarantee to monotone, homogeneous functions and as such we can maximize $\det(\sum_{i\in B} v_i v_i^\top)^{1/d}$, or minimize any norm of the eigenvalues of the matrix $\left(\sum_{i\in B} v_i v_i^\top\right)^{-1} $, with the same running time under some mild assumptions. As a byproduct, we also get a simple algorithm for an algorithmic version of Kadison-Singer problem.


title: Planar binary trees, noncrossing partitions and the operator-valued S-transform

abstract: We revisit Voiculescu's S-transform in the operator-valued setting and its twisted multiplicativity property, using a specific bijection between planar binary trees and noncrossing partitions.


title: A Quantum "Lifting Theorem" for Constructions of Pseudorandom Generators from Random Oracles

abstract: We study the (quantum) security of pseudorandom generators (PRGs) constructed from random oracles. We prove a "lifting theorem" showing, roughly, that if such a PRG is unconditionally secure against classical adversaries making polynomially many queries to the random oracle, then it is also (unconditionally) secure against quantum adversaries in the same sense. As a result of independent interest, we also show that any pseudo-deterministic quantum-oracle algorithm (i.e., a quantum algorithm that with high probability returns the same value on repeated executions) can be simulated by a computationally unbounded but query bounded classical-oracle algorithm with only a polynomial blowup in the number of queries. This implies as a corollary that our lifting theorem holds even for PRGs that themselves make quantum queries to the random oracle.


title: Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis

abstract: Most formal methods see the correctness of a software system as a binary decision. However, proving the correctness of complex systems completely is difficult because they are composed of multiple components, usage scenarios, and environments. We present QuAC, a modular approach for quantifying the correctness of service-oriented software systems by combining software architecture modeling with deductive verification. Our approach is based on a model of the service-oriented architecture and the probabilistic usage scenarios of the system. The correctness of a single service is approximated by a coverage region, which is a formula describing which inputs for that service are proven to not lead to an erroneous execution. The coverage regions can be determined by a combination of various analyses, e.g., formal verification, expert estimations, or testing. The coverage regions and the software model are then combined into a probabilistic program. From this, we can compute the probability that under a given usage profile no service is called outside its coverage region. If the coverage region is large enough, then instead of attempting to get 100% coverage, which may be prohibitively expensive, run-time verification or testing approaches may be used to deal with inputs outside the coverage region. We also present an implementation of QuAC for Java using the modeling tool Palladio and the deductive verification tool KeY. We demonstrate its usability by applying it to a software simulation of an energy system.


title: VALL-T: Decoder-Only Generative Transducer for Robust and Decoding-Controllable Text-to-Speech

abstract: Recent TTS models with decoder-only Transformer architecture, such as SPEAR-TTS and VALL-E, achieve impressive naturalness and demonstrate the ability for zero-shot adaptation given a speech prompt. However, such decoder-only TTS models lack monotonic alignment constraints, sometimes leading to hallucination issues such as mispronunciation, word skipping and repeating. To address this limitation, we propose VALL-T, a generative Transducer model that introduces shifting relative position embeddings for input phoneme sequence, explicitly indicating the monotonic generation process while maintaining the architecture of decoder-only Transformer. Consequently, VALL-T retains the capability of prompt-based zero-shot adaptation and demonstrates better robustness against hallucinations with a relative reduction of 28.3% in the word error rate. Furthermore, the controllability of alignment in VALL-T during decoding facilitates the use of untranscribed speech prompts, even in unknown languages. It also enables the synthesis of lengthy speech by utilizing an aligned context window.


title: Generalized People Diversity: Learning a Human Perception-Aligned Diversity Representation for People Images

abstract: Capturing the diversity of people in images is challenging: recent literature tends to focus on diversifying one or two attributes, requiring expensive attribute labels or building classifiers. We introduce a diverse people image ranking method which more flexibly aligns with human notions of people diversity in a less prescriptive, label-free manner. The Perception-Aligned Text-derived Human representation Space (PATHS) aims to capture all or many relevant features of people-related diversity, and, when used as the representation space in the standard Maximal Marginal Relevance (MMR) ranking algorithm, is better able to surface a range of types of people-related diversity (e.g. disability, cultural attire). PATHS is created in two stages. First, a text-guided approach is used to extract a person-diversity representation from a pre-trained image-text model. Then this representation is fine-tuned on perception judgments from human annotators so that it captures the aspects of people-related similarity that humans find most salient. Empirical results show that the PATHS method achieves diversity better than baseline methods, according to side-by-side ratings from human annotators.


title: Common Randomness Generation from Finite Compound Sources

abstract: We investigate the problem of generating common randomness (CR) from finite compound sources aided by unidirectional communication over rate-limited perfect channels. The two communicating parties, often referred to as terminals, observe independent and identically distributed (i.i.d.) samples of a finite compound source and aim to agree on a common random variable with a high probability for every possible realization of the source state. Both parties know the set of source states as well as their statistics. However, they are unaware of the actual realization of the source state. We establish a single-letter lower and upper bound on the compound CR capacity for the specified model. Furthermore, we present two special scenarios where the established bounds coincide.


title: Scalable Tree-based Register Automata Learning

abstract: Existing active automata learning (AAL) algorithms have demonstrated their potential in capturing the behavior of complex systems (e.g., in analyzing network protocol implementations). The most widely used AAL algorithms generate finite state machine models, such as Mealy machines. For many analysis tasks, however, it is crucial to generate richer classes of models that also show how relations between data parameters affect system behavior. Such models have shown potential to uncover critical bugs, but their learning algorithms do not scale beyond small and well curated experiments. In this paper, we present $SL^\lambda$, an effective and scalable register automata (RA) learning algorithm that significantly reduces the number of tests required for inferring models. It achieves this by combining a tree-based cost-efficient data structure with mechanisms for computing short and restricted tests. We have implemented $SL^\lambda$ as a new algorithm in RALib. We evaluate its performance by comparing it against $SL^*$, the current state-of-the-art RA learning algorithm, in a series of experiments, and show superior performance and substantial asymptotic improvements in bigger systems.


title: Unlocking Past Information: Temporal Embeddings in Cooperative Bird's Eye View Prediction

abstract: Accurate and comprehensive semantic segmentation of Bird's Eye View (BEV) is essential for ensuring safe and proactive navigation in autonomous driving. Although cooperative perception has exceeded the detection capabilities of single-agent systems, prevalent camera-based algorithms in cooperative perception neglect valuable information derived from historical observations. This limitation becomes critical during sensor failures or communication issues as cooperative perception reverts to single-agent perception, leading to degraded performance and incomplete BEV segmentation maps. This paper introduces TempCoBEV, a temporal module designed to incorporate historical cues into current observations, thereby improving the quality and reliability of BEV map segmentations. We propose an importance-guided attention architecture to effectively integrate temporal information that prioritizes relevant properties for BEV map segmentation. TempCoBEV is an independent temporal module that seamlessly integrates into state-of-the-art camera-based cooperative perception models. We demonstrate through extensive experiments on the OPV2V dataset that TempCoBEV performs better than non-temporal models in predicting current and future BEV map segmentations, particularly in scenarios involving communication failures. We show the efficacy of TempCoBEV and its capability to integrate historical cues into the current BEV map, improving predictions under optimal communication conditions by up to 2% and under communication failures by up to 19%. The code will be published on GitHub.


title: Radiative corrections to di-meson tau decays

abstract: We review radiative corrections to tau decays into two mesons discussing their impact in new physics searches.


title: Practical Phase-Space Electronic Hamiltonians for Ab Initio Dynamics

abstract: Modern electronic structure theory is built around the Born-Oppenheimer approximation and the construction of an electronic Hamiltonian H_{el}(X) that depends on the nuclear position X (and not the nuclear momentum P). In this article, using the well-known theory of electron translation (Gamma') and rotational (Gamma'') factors to couple electronic transitions to nuclear motion, we construct a practical phase-space electronic Hamiltonian that depends on both nuclear position and momentum, H_{PS}(X,P). While classical Born-Oppenheimer dynamics that run along the eigensurfaces of the operator H_{el}(X) can recover many nuclear properties correctly, we present some evidence that motion along the eigensurfaces of H_{PS}(X,P) can better capture both nuclear and electronic properties (including the elusive electronic momentum studied by Nafie). Moreover, only the latter (as opposed to the former) conserves the total linear and angular momentum in general.


title: Tripartite entanglement and tripartite steering in three-qubit pure states induced by vacuum-one-photon superpositions

abstract: Utilizing a tritter with variable parameter $T$ and induced by vacuum-one-photon superpositions $\left\vert 0\right\rangle +\alpha \left\vert 1\right\rangle $ with $\alpha =\left\vert \alpha \right\vert e^{i\phi }$, we generate a class of three-qubit pure states. These states take the form of $\left\vert \psi \right\rangle _{123}=c_{0}\left\vert 000\right\rangle +c_{1}\left\vert 100\right\rangle +c_{2}\left\vert 010\right\rangle +c_{3}\left\vert 001\right\rangle $. The coefficients ($ c_{0}$, $c_{1}$, $c_{2}$, and $c_{3}$) can be manipulated through interaction parameters ($\left\vert \alpha \right\vert $, $\phi $, and $T$). In line with Xie and Eberly's work[Phys. Rev. Lett. 127, 040403 (2021)], we investigate the genuine tripartite entanglement for $\left\vert \psi \right\rangle _{123}$ using the concurrence triangle measure. Drawing on Hao et al.'s research [Phys. Rev. Lett. 128, 120402 (2021)], we examine tripartite steering for $\left\vert \psi \right\rangle _{123}$ under certain measurements based on the uncertainty relations criterion. We identify nine potential configurations exhibiting varying steerability across different parameter spaces. It is important to highlight that while the state $% \left\vert \psi \right\rangle _{123}$ exhibits entanglement, steering remains unattainable in a substantial portion of the parameter space.


title: Pulsar timing array source ensembles

abstract: The stochastic gravitational wave background for pulsar timing arrays is often modeled by a Gaussian ensemble which is isotropic and unpolarized. However, the Universe has a discrete set of polarized gravitational wave sources at specific sky locations. Can we trust that the Gaussian ensemble is an accurate description? To investigate this, we explicitly construct an ensemble containing $N$ individual binary sources with circular orbits. The orbital inclination angles are randomly distributed, hence the individual sources are elliptically polarized. We then compute the first two moments of the Hellings and Downs correlation, as well as the pulsar-averaged correlation mean and (cosmic) variance. The first moments are the same as for a previously studied ensemble of circularly polarized sources. However, the second moments, and hence the variances, are different for the two ensembles. While neither discrete source model is exactly described by a Gaussian ensemble, we show that in the limit of large $N$, the differences are small.


title: On strong growth conditions for weighted spaces of entire functions

abstract: We characterize the inclusion relations between weighted classes of entire functions with rapid decreasing growth and study strong growth comparison relations between given weights. In our considerations first we focus on weights defined in terms of the so-called associated weight function where the weight(system) is based on a given sequence. Then the abstract weight function case is reduced to the weight sequence setting by using the so-called associated weight sequence. Finally, we compare weighted entire function spaces defined in terms of so-called dilatation-type and exponential-type weight systems.


title: Collapsing Domain Wall Networks: Impact on Pulsar Timing Arrays and Primordial Black Holes

abstract: Unstable domain wall (DW) networks in the early universe are cosmologically viable and can emit a large amount of gravitational waves (GW) before annihilating. As such, they provide an interpretation for the recent signal reported by Pulsar Timing Array (PTA) collaborations. A related important question is whether such a scenario also leads to significant production of Primordial Black Holes (PBH). We investigate both GW and PBH production using 3D numerical simulations in an expanding background, with box sizes up to $N=3240$, including the annihilation phase. We find that: i) the network decays exponentially, i.e. the false vacuum volume drops as $\sim \exp(-\eta^3)$, with $\eta$ the conformal time; ii) the GW spectrum is larger than traditional estimates by more than one order of magnitude, due to a delay between DW annihilation and the sourcing of GWs. We then present a novel semi-analytical method to estimate the PBH abundances: rare false vacuum pockets of super-Hubble size collapse to PBHs if their energy density becomes comparable to the background when they cross the Hubble scale. Smaller (but more abundant) pockets will instead collapse only if they are close to spherical. This introduces very large uncertainties in the final PBH abundance. The first phenomenological implication is that the DW interpretation of the PTA signal is compatible with observational constraints on PBHs, within the uncertainties. Second, in a different parameter region, the dark matter can be entirely in the form of asteroid-mass PBHs from the DW collapse. Remarkably, this would also lead to a GW background in the observable range of LIGO-Virgo-KAGRA and future interferometers, such as LISA and Einstein Telescope.


title: SunBlock: Cloudless Protection for IoT Systems

abstract: With an increasing number of Internet of Things (IoT) devices present in homes, there is a rise in the number of potential information leakage channels and their associated security threats and privacy risks. Despite a long history of attacks on IoT devices in unprotected home networks, the problem of accurate, rapid detection and prevention of such attacks remains open. Many existing IoT protection solutions are cloud-based, sometimes ineffective, and might share consumer data with unknown third parties. This paper investigates the potential for effective IoT threat detection locally, on a home router, using AI tools combined with classic rule-based traffic-filtering algorithms. Our results show that with a slight rise of router hardware resources caused by machine learning and traffic filtering logic, a typical home router instrumented with our solution is able to effectively detect risks and protect a typical home IoT network, equaling or outperforming existing popular solutions, without any effects on benign IoT functionality, and without relying on cloud services and third parties.


title: Rotating effects on the photoionization cross-section of a 2D quantum ring

abstract: In this letter, we investigate the nonrelativistic quantum motion of a charged particle within a rotating frame, taking into account the Aharonov-Bohm (AB) effect and a uniform magnetic field. Our analysis entails the derivation of the equation of motion and the corresponding radial equation to describe the system. Solving the resulting radial equation enables us to determine the eigenvalues and eigenfunctions, providing a clear expression for the energy levels. Furthermore, our numerical analysis highlights the substantial influence of rotation on both energy levels and optical properties. Specifically, we evaluate the photoionization cross-section (PCS) with and without the effects of rotation. To elucidate the impact of rotation on the photoionization process of the system, we present graphics that offer an appealing visualization of the intrinsic nature of the physics involved.


title: Momentum, energy and vorticity balances in deep-water surface gravity waves

abstract: The particle trajectories in irrotational, incompressible and inviscid deep-water surface gravity waves are open, leading to a net drift in the direction of wave propagation commonly referred to as the Stokes Drift, which is responsible for catalysing surface wave-induced mixing in the ocean and transporting marine debris. A balance between phase-averaged momentum density, kinetic energy density and vorticity for irrotational, monochromatic and periodic two-dimensional water waves is derived by working directly within the Lagrangian reference frame, which tracks particle trajectories as a function of their labels and time. This balance should be expected as all three of these quantities are conserved following particles in this system. Vorticity in particular is always conserved along particles in two-dimensional inviscid flow, and as such even in its absence it is the value of the vorticity which fundamentally sets the drift, which in the Lagrangian frame is identified as the phase-averaged momentum density of the system. A relationship between the drift and the geometric mean water level of particles is found at the surface and applications for potential new ways of inferring drift are discussed. Finally, an example of an initially quiescent fluid driven by a wavelike pressure disturbance is considered, showing how the net momentum and energy from the surface disturbance transfer to the wave field, recognizing the source of the mean Lagrangian drift as the net momentum required to generate an irrotational surface wave by any conservative force.


title: On the diameter of a super-order-commuting graph

abstract: We answer a question about the diameter of an order-super-commuting graph on a symmetric group by studying the number-theoretical concept of $d$-complete sequences of primes in arithmetic progression.


title: Progressive Multi-task Anti-Noise Learning and Distilling Frameworks for Fine-grained Vehicle Recognition

abstract: Fine-grained vehicle recognition (FGVR) is an essential fundamental technology for intelligent transportation systems, but very difficult because of its inherent intra-class variation. Most previous FGVR studies only focus on the intra-class variation caused by different shooting angles, positions, etc., while the intra-class variation caused by image noise has received little attention. This paper proposes a progressive multi-task anti-noise learning (PMAL) framework and a progressive multi-task distilling (PMD) framework to solve the intra-class variation problem in FGVR due to image noise. The PMAL framework achieves high recognition accuracy by treating image denoising as an additional task in image recognition and progressively forcing a model to learn noise invariance. The PMD framework transfers the knowledge of the PMAL-trained model into the original backbone network, which produces a model with about the same recognition accuracy as the PMAL-trained model, but without any additional overheads over the original backbone network. Combining the two frameworks, we obtain models that significantly exceed previous state-of-the-art methods in recognition accuracy on two widely-used, standard FGVR datasets, namely Stanford Cars, and CompCars, as well as three additional surveillance image-based vehicle-type classification datasets, namely Beijing Institute of Technology (BIT)-Vehicle, Vehicle Type Image Data 2 (VTID2), and Vehicle Images Dataset for Make Model Recognition (VIDMMR), without any additional overheads over the original backbone networks. The source code is available at https://github.com/Dichao-Liu/Anti-noise_FGVR


title: Vanishing center-of-mass limit of the corotational Oldroyd-B polymeric fluid-structure interaction problem

abstract: We consider the Oldroyd-B model for a dilute corotational polymer fluid with center-of-mass diffusion that is interacting with a viscoelastic shell. We show that any family of strong solutions of the system described above that is parametrized by the center-of-mass diffusion coefficient converges, as the coefficient goes to zero, to a weak solution of a corotational polymer fluid-structure interaction system without center-of-mass diffusion but with essentially bounded polymer number density and extra stress tensor.


title: Case-crossover designs and overdispersion with application in air pollution epidemiology

abstract: Over the last three decades, case-crossover designs have found many applications in health sciences, especially in air pollution epidemiology. They are typically used, in combination with partial likelihood techniques, to define a conditional logistic model for the responses, usually health outcomes, conditional on the exposures. Despite the fact that conditional logistic models have been shown equivalent, in typical air pollution epidemiology setups, to specific instances of the well-known Poisson time series model, it is often claimed that they cannot allow for overdispersion. This paper clarifies the relationship between case-crossover designs, the models that ensue from their use, and overdispersion. In particular, we propose to relax the assumption of independence between individuals traditionally made in case-crossover analyses, in order to explicitly introduce overdispersion in the conditional logistic model. As we show, the resulting overdispersed conditional logistic model coincides with the overdispersed, conditional Poisson model, in the sense that their likelihoods are simple re-expressions of one another. We further provide the technical details of a Bayesian implementation of the proposed case-crossover model, which we use to demonstrate, by means of a large simulation study, that standard case-crossover models can lead to dramatically underestimated coverage probabilities, while the proposed models do not. We also perform an illustrative analysis of the association between air pollution and morbidity in Toronto, Canada, which shows that the proposed models are more robust than standard ones to outliers such as those associated with public holidays.


title: Variational Quantum Algorithms for the Allocation of Resources in a Cloud/Edge Architecture

abstract: Modern Cloud/Edge architectures need to orchestrate multiple layers of heterogeneous computing nodes, including pervasive sensors/actuators, distributed Edge/Fog nodes, centralized data centers and quantum devices. The optimal assignment and scheduling of computation on the different nodes is a very difficult problem, with NP-hard complexity. In this paper, we explore the possibility of solving this problem with Variational Quantum Algorithms, which can become a viable alternative to classical algorithms in the near future. In particular, we compare the performances, in terms of success probability, of two algorithms, i.e., Quantum Approximate Optimization Algorithm (QAOA) and Variational Quantum Eigensolver (VQE). The simulation experiments, performed for a set of simple problems, %CM230124 that involve a Cloud and two Edge nodes, show that the VQE algorithm ensures better performances when it is equipped with appropriate circuit \textit{ansatzes} that are able to restrict the search space. Moreover, experiments executed on real quantum hardware show that the execution time, when increasing the size of the problem, grows much more slowly than the trend obtained with classical computation, which is known to be exponential.


title: Estimation of partially known Gaussian graphical models with score-based structural priors

abstract: We propose a novel algorithm for the support estimation of partially known Gaussian graphical models that incorporates prior information about the underlying graph. In contrast to classical approaches that provide a point estimate based on a maximum likelihood or a maximum a posteriori criterion using (simple) priors on the precision matrix, we consider a prior on the graph and rely on annealed Langevin diffusion to generate samples from the posterior distribution. Since the Langevin sampler requires access to the score function of the underlying graph prior, we use graph neural networks to effectively estimate the score from a graph dataset (either available beforehand or generated from a known distribution). Numerical experiments demonstrate the benefits of our approach.


title: Construction of orientable sequences in $O(1)$-amortized time per bit

abstract: An orientable sequence of order $n$ is a cyclic binary sequence such that each length-$n$ substring appears at most once \emph{in either direction}. Maximal length orientable sequences are known only for $n\leq 7$, and a trivial upper bound on their length is $2^{n-1} - 2^{\lfloor(n-1)/2\rfloor}$. This paper presents the first efficient algorithm to construct orientable sequences with asymptotically optimal length; more specifically, our algorithm constructs orientable sequences via cycle-joining and a successor-rule approach requiring $O(n)$ time per bit and $O(n)$ space. This answers a longstanding open question from Dai, Martin, Robshaw, Wild [Cryptography and Coding III (1993)]. Applying a recent concatenation-tree framework, the same sequences can be generated in $O(1)$-amortized time per bit using $O(n^2)$ space. Our sequences are applied to find new longest-known (aperiodic) orientable sequences for $n\leq 20$.


title: Probing Quantum Entanglement from Quantum Correction to Newtonian Potential Energy

abstract: Inspired by string theory ideas, we probe quantum entanglement from the gravitational potential energy. Concretely, we reconsider the study of quantum corrections to the Newtonian potential energy by treating a massive two-particle system $m_{1}$ and $m_{2}$ with size dimensions $r_{1}$ ad $% r_{2}$ where the two particles separated by a distance $d$ are under only their mutual classical gravitational interaction $V_{r}\left( r_{1}\text{, }% r_{2}\right) $. Exploring such a size-dependent gravitational behavior and taking the limit $r_{1}$, $r_{2}\ll d$, we investigate the associated quantum biparticle state and express its evolution after an interaction time $\tau $. Among others, we show that the two masses cannot be separable due to the induced gravitational entanglement in terms of the accumulated quantum phase $\delta \phi =\delta V_{g}\tau /\hbar $. By analogy with the classical gravity, we derive the expression of the resulting extremely weak entanglement force from the corresponding gravitational entanglement energy. Then, we provide certain entanglement diagnostics.


title: Class-attribute Priors: Adapting Optimization to Heterogeneity and Fairness Objective

abstract: Modern classification problems exhibit heterogeneities across individual classes: Each class may have unique attributes, such as sample size, label quality, or predictability (easy vs difficult), and variable importance at test-time. Without care, these heterogeneities impede the learning process, most notably, when optimizing fairness objectives. Confirming this, under a gaussian mixture setting, we show that the optimal SVM classifier for balanced accuracy needs to be adaptive to the class attributes. This motivates us to propose CAP: An effective and general method that generates a class-specific learning strategy (e.g. hyperparameter) based on the attributes of that class. This way, optimization process better adapts to heterogeneities. CAP leads to substantial improvements over the naive approach of assigning separate hyperparameters to each class. We instantiate CAP for loss function design and post-hoc logit adjustment, with emphasis on label-imbalanced problems. We show that CAP is competitive with prior art and its flexibility unlocks clear benefits for fairness objectives beyond balanced accuracy. Finally, we evaluate CAP on problems with label noise as well as weighted test objectives to showcase how CAP can jointly adapt to different heterogeneities.


title: From the Choi Formalism in Infinite Dimensions to Unique Decompositions of Generators of Completely Positive Dynamical Semigroups

abstract: Given any separable complex Hilbert space, any trace-class operator $B$ which does not have purely imaginary trace, and any generator $L$ of a norm-continuous one-parameter semigroup of completely positive maps we prove that there exists a unique bounded operator $K$ and a unique completely positive map $\Phi$ such that (i) $L=K(\cdot)+(\cdot)K^*+\Phi$, (ii) the superoperator $\Phi(B^*(\cdot)B)$ is trace class and has vanishing trace, and (iii) ${\rm tr}(B^*K)$ is a real number. Central to our proof is a modified version of the Choi formalism which relates completely positive maps to positive semi-definite operators. We characterize when this correspondence is injective and surjective, respectively, which in turn explains why the proof idea of our main result cannot extend to non-separable Hilbert spaces. In particular, we find examples of positive semi-definite operators which have empty pre-image under the Choi formalism as soon as the underlying Hilbert space is infinite-dimensional.


title: Uncovering Heterogeneity of Solar Flare Mechanism With Mixture Models

abstract: The physics of solar flares occurring on the Sun is highly complex and far from fully understood. However, observations show that solar eruptions are associated with the intense kilogauss fields of active regions, where free energies are stored with field-aligned electric currents. With the advent of high-quality data sources such as the Geostationary Operational Environmental Satellites (GOES) and Solar Dynamics Observatory (SDO)/Helioseismic and Magnetic Imager (HMI), recent works on solar flare forecasting have been focusing on data-driven methods. In particular, black box machine learning and deep learning models are increasingly adopted in which underlying data structures are not modeled explicitly. If the active regions indeed follow the same laws of physics, there should be similar patterns shared among them, reflected by the observations. Yet, these black box models currently used in the literature do not explicitly characterize the heterogeneous nature of the solar flare data, within and between active regions. In this paper, we propose two finite mixture models designed to capture the heterogeneous patterns of active regions and their associated solar flare events. With extensive numerical studies, we demonstrate the usefulness of our proposed method for both resolving the sample imbalance issue and modeling the heterogeneity for rare energetic solar flare events.


title: The Comma Sequence: A Simple Sequence With Bizarre Properties

abstract: The ``comma sequence'' starts with 1 and is defined by the property that if k and k' are consecutive terms, the two-digit number formed from the last digit of k and the first digit of k' is equal to the difference k'-k. If there is more than one such k', choose the smallest, but if there is no such k' the sequence terminates. The sequence begins 1, 12, 35, 94, 135, ... and, surprisingly, ends at term 2137453, which is 99999945. The paper analyzes the sequence and its generalizations to other starting values and other bases. A slight change in the rules allows infinitely long comma sequences to exist.


title: Evolving higher-order synergies reveals a trade-off between stability and information integration capacity in complex systems

abstract: There has recently been an explosion of interest in how "higher-order" structures emerge in complex systems. This "emergent" organization has been found in a variety of natural and artificial systems, although at present the field lacks a unified understanding of what the consequences of higher-order synergies and redundancies are for systems. Typical research treat the presence (or absence) of synergistic information as a dependent variable and report changes in the level of synergy in response to some change in the system. Here, we attempt to flip the script: rather than treating higher-order information as a dependent variable, we use evolutionary optimization to evolve boolean networks with significant higher-order redundancies, synergies, or statistical complexity. We then analyse these evolved populations of networks using established tools for characterizing discrete dynamics: the number of attractors, average transient length, and Derrida coefficient. We also assess the capacity of the systems to integrate information. We find that high-synergy systems are unstable and chaotic, but with a high capacity to integrate information. In contrast, evolved redundant systems are extremely stable, but have negligible capacity to integrate information. Finally, the complex systems that balance integration and segregation (known as Tononi-Sporns-Edelman complexity) show features of both chaosticity and stability, with a greater capacity to integrate information than the redundant systems while being more stable than the random and synergistic systems. We conclude that there may be a fundamental trade-off between the robustness of a systems dynamics and its capacity to integrate information (which inherently requires flexibility and sensitivity), and that certain kinds of complexity naturally balance this trade-off.


title: Computing Derivations on Nilpotent Quadratic Lie Algebras

abstract: Every non-solvable and non-semisimple quadratic Lie algebra can be obtained as a double extension of a solvable quadratic Lie algebra. Thanks to a partial classification of nilpotent Lie algebras and this result, we can design different techniques to obtain any quadratic Lie algebra whose (solvable) radical ideal is nilpotent. To achieve this, we propose two alternative methods, both involving the use of quotients. In addition to their mathematical description, both approaches introduced in this paper have been computationally implemented and are publicly available to use for generating these algebras.


title: Learning to navigate efficiently and precisely in real environments

abstract: In the context of autonomous navigation of terrestrial robots, the creation of realistic models for agent dynamics and sensing is a widespread habit in the robotics literature and in commercial applications, where they are used for model based control and/or for localization and mapping. The more recent Embodied AI literature, on the other hand, focuses on modular or end-to-end agents trained in simulators like Habitat or AI-Thor, where the emphasis is put on photo-realistic rendering and scene diversity, but high-fidelity robot motion is assigned a less privileged role. The resulting sim2real gap significantly impacts transfer of the trained models to real robotic platforms. In this work we explore end-to-end training of agents in simulation in settings which minimize the sim2real gap both, in sensing and in actuation. Our agent directly predicts (discretized) velocity commands, which are maintained through closed-loop control in the real robot. The behavior of the real robot (including the underlying low-level controller) is identified and simulated in a modified Habitat simulator. Noise models for odometry and localization further contribute in lowering the sim2real gap. We evaluate on real navigation scenarios, explore different localization and point goal calculation methods and report significant gains in performance and robustness compared to prior work.


title: 5G Network Security Practices: An Overview and Survey

abstract: This document provides an overview of 5G network security, describing various components of the 5G core network architecture and what kind of security services are offered by these 5G components. It also explores the potential security risks and vulnerabilities presented by the security architecture in 5G and recommends some of the best practices for the 5G network admins to consider while deploying a secure 5G network, based on the surveyed documents from the European government's efforts in commercializing the IoT devices and securing supply chain over 5G networks.


title: ServerlessLLM: Locality-Enhanced Serverless Inference for Large Language Models

abstract: This paper presents ServerlessLLM, a locality-enhanced serverless inference system for Large Language Models (LLMs). ServerlessLLM exploits the substantial capacity and bandwidth of storage and memory devices available on GPU servers, thereby reducing costly remote checkpoint downloads and achieving efficient checkpoint loading. ServerlessLLM achieves this through three main contributions: (i) fast LLM checkpoint loading via a novel loading-optimized checkpoint format design, coupled with an efficient multi-tier checkpoint loading system; (ii) locality-driven LLM inference with live migration, which allows ServerlessLLM to effectively achieve locality-driven server allocation while preserving the low latency of ongoing LLM inference; and (iii) locality-aware server allocation, enabling ServerlessLLM to evaluate the status of each server in a cluster and effectively schedule model startup time to capitalize on local checkpoint placement. Our comprehensive experiments, which include microbenchmarks and real-world traces, show that ServerlessLLM surpasses state-of-the-art systems by 10 - 200X in latency performance when running various LLM inference workloads.


title: Skyline-based exploration of temporal property graphs

abstract: In this paper, we focus on temporal property graphs, that is, property graphs whose labeled nodes and edges as well as the values of the properties associated with them may change with time. For instance, consider a bibliographic network, with nodes representing authors and conferences with properties such as gender and location respectively, and edges representing collaboration between authors and publications in conferences. A key challenge in studying temporal graphs lies in detecting interesting events in their evolution, defined as time intervals of significant stability, growth, or shrinkage. To address this challenge, we build aggregated graphs, where nodes are grouped based on the values of their properties, and seek events at the aggregated level, for example, time intervals of significant growth in the collaborations between authors of the same gender. To locate such events, we propose a novel approach based on unified evolution skylines. A unified evolution skyline assesses the significance of an event in conjunction with the duration of the interval in which the event occurs. Significance is measured by a set of counts, where each count refers to the number of graph elements that remain stable, are created, or deleted, for a specific property value. For example, for property gender, we measure the number of female-female, female-male, and male-male collaborations. Lastly, we share experimental findings that highlight the efficiency and effectiveness of our approach.


title: Initial data for Minkowski stability with arbitrary decay

abstract: We construct and parametrize solutions to the constraint equations of general relativity in a neighborhood of Minkowski spacetime with arbitrary prescribed decay properties at infinity. We thus provide a large class of initial data for the results on stability of Minkowski which include a mass term in the asymptotics. Due to the symmetries of Minkowski, a naive linear perturbation fails. Our construction is based on a simplified conformal method, a reduction to transverse traceless perturbations and a nonlinear fixed point argument where we face linear obstructions coming from the cokernels of both the linearized constraint operator and the Laplace operator. To tackle these obstructions, we introduce a well-chosen truncated black hole around which to perturb. The control of the parameters of the truncated black hole is the most technical part of the proof, since its center of mass and angular momentum could be arbitrarily large.


title: Learning Robust Generalizable Radiance Field with Visibility and Feature Augmented Point Representation

abstract: This paper introduces a novel paradigm for the generalizable neural radiance field (NeRF). Previous generic NeRF methods combine multiview stereo techniques with image-based neural rendering for generalization, yielding impressive results, while suffering from three issues. First, occlusions often result in inconsistent feature matching. Then, they deliver distortions and artifacts in geometric discontinuities and locally sharp shapes due to their individual process of sampled points and rough feature aggregation. Third, their image-based representations experience severe degradations when source views are not near enough to the target view. To address challenges, we propose the first paradigm that constructs the generalizable neural field based on point-based rather than image-based rendering, which we call the Generalizable neural Point Field (GPF). Our approach explicitly models visibilities by geometric priors and augments them with neural features. We propose a novel nonuniform log sampling strategy to improve both rendering speed and reconstruction quality. Moreover, we present a learnable kernel spatially augmented with features for feature aggregations, mitigating distortions at places with drastically varying geometries. Besides, our representation can be easily manipulated. Experiments show that our model can deliver better geometries, view consistencies, and rendering quality than all counterparts and benchmarks on three datasets in both generalization and finetuning settings, preliminarily proving the potential of the new paradigm for generalizable NeRF.


title: Multiply Robust Difference-in-Differences Estimation of Causal Effect Curves for Continuous Exposures

abstract: Researchers commonly use difference-in-differences (DiD) designs to evaluate public policy interventions. While methods exist for estimating effects in the context of binary interventions, policies often result in varied exposures across regions implementing the policy. Yet, existing approaches for incorporating continuous exposures face substantial limitations in addressing confounding variables associated with intervention status, exposure levels, and outcome trends. These limitations significantly constrain policymakers' ability to fully comprehend policy impacts and design future interventions. In this work, we propose new estimators for causal effect curves within the DiD framework, accounting for multiple sources of confounding. Our approach accommodates misspecification of a subset of treatment, exposure, and outcome models while avoiding any parametric assumptions on the effect curve. We present the statistical properties of the proposed methods and illustrate their application through simulations and a study investigating the heterogeneous effects of a nutritional excise tax under different levels of accessibility to cross-border shopping.


title: Exact surface energy of the Hubbard model with unparallel boundary magnetic fields

abstract: In this paper, we study the exact physical quantities in the thermodynamic limit of the one-dimensional Hubbard model with unparallel boundary magnetic fields based on the off-diagonal Bethe ansatz solution. At the half-filling, we obtain the different patterns of Bethe roots of the reduced Bethe ansatz equations for the different boundary parameters. According to them, we obtain the densities of states, ground state energy density and surface energy. Our results show that the system has the stable boundary bound states when the boundary magnetic fields satisfy some constraints.


title: Near-field radiative heat transfer between shifted graphene gratings

abstract: We examine the near-field radiative heat transfer between finite-thickness planar fused silica slabs covered with graphene gratings, through the utilization of the Fourier modal method augmented with local basis functions (FMM-LBF), with focus on the lateral shift effect. To do so, we propose and validate a minor modification of the FMM-LBF theory to account for the lateral shift. This approach goes far beyond the effective medium approximation because this latter cannot account for the lateral shift. We show that the heat flux can exhibit significant oscillations with the lateral shift and, at short separation, it can experience up to a 60%-70% reduction compared to the aligned case. Such a lateral shift effect is found to be sensitive to the geometric factor $d/D$ (separation distance to grating period ratio). When $d/D>1$ (realized through large separation or small grating period), the two graphene gratings see each other as an effective whole rather than in detail, and thus the lateral shift effect on heat transfer becomes less important. Therefore, we can clearly distinguish two asymptotic regimes for radiative heat transfer: the LSE (Lateral Shift Effect) regime, where a significant lateral shift effect is observed, and the non-LSE regime, where this effect is negligible. Furthermore, regardless of the lateral shift, the radiative heat flux shows a non-monotonic dependence on the graphene chemical potential. That is, we can get an optimal radiative heat flux (peaking at about 0.3eV chemical potential) by $\textit{in situ}$ modulating the chemical potential. This work has the potential to unveil new avenues for harnessing the lateral shift effect on radiative heat transfer in graphene-based nanodevices.


title: Universal collective Larmor-Silin mode emerging in magnetized correlated Dirac fermions

abstract: Employing large-scale quantum Monte Carlo simulations, we find in magnetized interacting Dirac fermion model, there emerges a new and universal collective Larmor-Silin spin wave mode in the transverse dynamical spin susceptibility. Such mode purely originates from the interaction among Dirac fermions and distinguishes itself from the usual particle-hole continuum with finite lifetime and clear dispersion, both at small and large momenta in a large portion of the Brillouin zone. Our unbiased numerical results offer the dynamic signature of this new collective excitations in interacting Dirac fermion systems, and provide experimental guidance for inelastic neutron scattering, electron spin resonance and other spectroscopic approaches in the investigation of such universal collective modes in quantum Moire materials, topological insulators and quantum spin liquid materials under magnetic field, with quintessential interaction nature beyond the commonly assumed noninteracting Dirac fermion or spinon approximations.


title: High-dimensional Outlier Detection via Stability

abstract: The Minimum Covariance Determinant (MCD) method is a widely adopted tool for robust estimation and outlier detection. In this paper, we introduce a new framework for model selection in MCD with spectral embedding based on the notion of stability. Our best subset algorithm leverages principal component analysis for dimension reduction, statistical depths for effective initialization, and concentration steps for subset refinement. Subsequently, we construct a bootstrap procedure to estimate the instability of the best subset algorithm. The parameter combination exhibiting minimal instability proves ideal for the purposes of high-dimensional outlier detection, while the instability path offers insights into the inlier/outlier structure. We rigorously benchmark the proposed framework against existing MCD variants and illustrate its practical utility on two spectra data sets and a cancer genomics data set.


title: A Comparative Analysis of Noise Reduction Methods in Sentiment Analysis on Noisy Bangla Texts

abstract: While Bangla is considered a language with limited resources, sentiment analysis has been a subject of extensive research in the literature. Nevertheless, there is a scarcity of exploration into sentiment analysis specifically in the realm of noisy Bangla texts. In this paper, we introduce a dataset (NC-SentNoB) that we annotated manually to identify ten different types of noise found in a pre-existing sentiment analysis dataset comprising of around 15K noisy Bangla texts. At first, given an input noisy text, we identify the noise type, addressing this as a multi-label classification task. Then, we introduce baseline noise reduction methods to alleviate noise prior to conducting sentiment analysis. Finally, we assess the performance of fine-tuned sentiment analysis models with both noisy and noise-reduced texts to make comparisons. The experimental findings indicate that the noise reduction methods utilized are not satisfactory, highlighting the need for more suitable noise reduction methods in future research endeavors. We have made the implementation and dataset presented in this paper publicly available at https://github.com/ktoufiquee/A-Comparative-Analysis-of-Noise-Reduction-Methods-in-Sentiment-Analysis-on-Noisy-Bangla-Texts


title: MoE-Infinity: Activation-Aware Expert Offloading for Efficient MoE Serving

abstract: This paper presents MoE-Infinity, a cost-efficient mixture-of-expert (MoE) serving system that realizes activation-aware expert offloading. MoE-Infinity features sequence-level expert activation tracing, a new approach adept at identifying sparse activations and capturing the temporal locality of MoE inference. By analyzing these traces, MoE-Infinity performs novel activation-aware expert prefetching and caching, substantially reducing the latency overheads usually associated with offloading experts for improved cost performance. Extensive experiments in a cluster show that MoE-Infinity outperforms numerous existing systems and approaches, reducing latency by 4 - 20X and decreasing deployment costs by over 8X for various MoEs. MoE-Infinity's source code is publicly available at https://github.com/TorchMoE/MoE-Infinity


title: The Typing Cure: Experiences with Large Language Model Chatbots for Mental Health Support

abstract: People experiencing severe distress increasingly use Large Language Model (LLM) chatbots as mental health support tools. Discussions on social media have described how engagements were lifesaving for some, but evidence suggests that general-purpose LLM chatbots also have notable risks that could endanger the welfare of users if not designed responsibly. In this study, we investigate the lived experiences of people who have used LLM chatbots for mental health support. We build on interviews with 21 individuals from globally diverse backgrounds to analyze how users create unique support roles for their chatbots, fill in gaps in everyday care, and navigate associated cultural limitations when seeking support from chatbots. We ground our analysis in psychotherapy literature around effective support, and introduce the concept of therapeutic alignment, or aligning AI with therapeutic values for mental health contexts. Our study offers recommendations for how designers can approach the ethical and effective use of LLM chatbots and other AI mental health support tools in mental health care.


title: An analytic version of stable arithmetic regularity

abstract: We prove a structure theorem for stable functions on amenable groups, which extends the arithmetic regularity lemma for stable subsets of finite groups. Given a group $G$, a function $f\colon G\to [-1,1]$ is called stable if the binary function $f(x\cdot y)$ is stable in the sense of continuous logic. Roughly speaking, our main result says that if $G$ is amenable, then any stable function on $G$ is almost constant on all translates of a unitary Bohr neighborhood in $G$ of bounded complexity. The proof uses ingredients from topological dynamics and continuous model theory. We also prove several applications which generalize results in arithmetic combinatorics to nonabelian groups.


title: Impact of dynamical regionalization on precipitation biases and teleconnections over West Africa

abstract: West African societies are highly dependent on the West African Monsoon (WAM).Thus, a correct representation of the WAM in climate models is of paramount importance. In this article, the ability of 8 CMIP5 historical General Circulation Models (GCMs) and 4 CORDEX-Africa Regional Climate Models (RCMs) to characterize the WAM dynamics and variability is assessed for the period July-August-September 1979-2004. Simulations are compared with observations. Uncertainties in RCM performance and lateral boundary conditions are assessed individually. Results show that both GCMs and RCMs have trouble to simulate the northward migration of the Intertropical Convergence Zone in boreal summer. The greatest bias improvements are obtained after regionalization of the most inaccurate GCM simulations. To assess WAM variability, a Maximum Covariance Analysis is performed between Sea Surface Temperature and precipitation anomalies in observations, GCM and RCM simulations. The assessed variability patterns are: El Nino-Southern Oscillation (ENSO); the eastern Mediterranean (MED); and the Atlantic Equatorial Mode (EM). Evidence is given that regionalization of the ENSO-WAM teleconnection does not provide any added value. Unlike GCMs, RCMs are unable to precisely represent the ENSO impact on air subsidence over West Africa. Contrastingly, the simulation of the MED-WAM teleconnection is improved after regionalization. Humidity advection and convergence over the Sahel area are better simulated by RCMs. Finally, no robust conclusions can be determined for the EM-WAM teleconnection, which cannot be isolated for the 1979-2004 period. The novel results in this article will help to select the most appropriate RCM simulations to study WAM teleconnections.


title: Stoichiometric control of electron mobility and 2D superconductivity at LaAlO$_3$-SrTiO$_3$ interfaces

abstract: SrTiO$_3$-based conducting interfaces, which exhibit coexistence of gate-tunable 2D superconductivity and strong Rashba spin-orbit coupling (RSOC), are candidates to host topological superconductive phases. Yet, superconductivity is usually in the dirty limit, which tends to suppress nonconventional pairing and therefore challenges these expectations. Here we report on LaAlO$_3$/SrTiO$_3$ (LAO/STO) interfaces with remarkably large mobility and mean free paths comparable to the superconducting coherence length, approaching the clean limit for superconductivity. We further show that the carrier density, mobility, and formation of the superconducting condensate are controlled by the fine-tuning of La/Al chemical ratio in the LAO film. Interestingly, we find a region in the superconducting phase diagram where the critical temperature is not suppressed below the Lifshitz transition, at odds with previous experimental investigations. These findings point out the relevance of achieving a clean-limit regime to enhance the observation of unconventional pairing mechanisms in these systems


title: Spatially Resolved Conductivity of Rectangular Interconnects considering Surface Scattering -- Part I: Physical Modeling

abstract: Accurate modeling of interconnect conductivity is important for performance evaluation of chips in advanced technologies. Surface scattering in interconnects is usually treated by using Fuchs-Sondheimer (FS) approach. While the FS model offer explicit inclusion of the physical parameters, it lacks spatial dependence of conductivity across the interconnect cross-section. To capture the space-dependency of conductivity, an empirical modeling approach based on "cosh" function has been proposed, but it lacks physical insights. In this work, we present a 2D spatially resolved FS (SRFS) model for rectangular interconnects derived from the Boltzmann transport equations. The proposed SRFS model for surface scattering offers both spatial dependence and explicit relation of conductivity to physical parameters such as mean free path and specularity of electrons and interconnect geometry. We highlight the importance of physics-based spatially resolved conductivity model by showing the differences in the spatial profiles between the proposed physical approach and the previous empirical approach. In Part II of this work, we build upon the SRFS approach to propose a compact model for spatially-resolved conductivity accounting for surface scattering in rectangular interconnects.


title: Genie: Achieving Human Parity in Content-Grounded Datasets Generation

abstract: The lack of high-quality data for content-grounded generation tasks has been identified as a major obstacle to advancing these tasks. To address this gap, we propose Genie, a novel method for automatically generating high-quality content-grounded data. It consists of three stages: (a) Content Preparation, (b) Generation: creating task-specific examples from the content (e.g., question-answer pairs or summaries). (c) Filtering mechanism aiming to ensure the quality and faithfulness of the generated data. We showcase this methodology by generating three large-scale synthetic data, making wishes, for Long-Form Question-Answering (LFQA), summarization, and information extraction. In a human evaluation, our generated data was found to be natural and of high quality. Furthermore, we compare models trained on our data with models trained on human-written data -- ELI5 and ASQA for LFQA and CNN-DailyMail for Summarization. We show that our models are on par with or outperforming models trained on human-generated data and consistently outperforming them in faithfulness. Finally, we applied our method to create LFQA data within the medical domain and compared a model trained on it with models trained on other domains.


title: Spectral gaps of two- and three-dimensional many-body quantum systems in the thermodynamic limit

abstract: We present an expression for the spectral gap, opening up new possibilities for performing and accelerating spectral calculations of quantum many-body systems. We develop and demonstrate one such possibility in the context of tensor network simulations. Our approach requires only minor modifications of the widely used simple update method and is computationally lightweight relative to other approaches. We validate it by computing spectral gaps of the 2D and 3D transverse-field Ising models and find strong agreement with previously reported perturbation theory results.


title: Anomalous localization in spin chains with tilted interactions

abstract: Quantum simulators of lattice gauge theories involve dynamics of typically short-ranged interacting particles and dynamical fields. Elimination of the latter via Gauss law leads to infinite range interactions as exemplified by the Schwinger model in a staggered formalism. This motivates the study of long-range interactions, not necessarily diminishing with the distance. Here we consider localization properties of a spin chain with interaction strength growing linearly along the chain as for the Schwinger model. We generalize the problem to models with different interaction ranges. Using exact diagonalization we find the participation ratio of all eigenstates, which allows us to quantify the localization volume in Hilbert space. Surprisingly, the localization volume changes nonmonotonically with the interaction range. Our study is relevant for quantum simulators of lattice gauge theories implemented in state-of-the-art cold atom/ion devices, and it could help to reveal hidden features in disorder-free confinement phenomena in long-range interacting systems.

categories: cond-mat.dis-nn cond-mat.quant-gas cond-mat.str-el hep-lat quant-ph


title: The BLAST Observatory: A Sensitivity Study for Far-IR Balloon-borne Polarimeters

abstract: Sensitive wide-field observations of polarized thermal emission from interstellar dust grains will allow astronomers to address key outstanding questions about the life cycle of matter and energy driving the formation of stars and the evolution of galaxies. Stratospheric balloon-borne telescopes can map this polarized emission at far-infrared wavelengths near the peak of the dust thermal spectrum - wavelengths that are inaccessible from the ground. In this paper we address the sensitivity achievable by a Super Pressure Balloon (SPB) polarimetry mission, using as an example the Balloon-borne Large Aperture Submillimeter Telescope (BLAST) Observatory. By launching from Wanaka, New Zealand, BLAST Observatory can obtain a 30-day flight with excellent sky coverage - overcoming limitations of past experiments that suffered from short flight duration and/or launch sites with poor coverage of nearby star-forming regions. This proposed polarimetry mission will map large regions of the sky at sub-arcminute resolution, with simultaneous observations at 175, 250, and 350 $\mu m$, using a total of 8274 microwave kinetic inductance detectors. Here, we describe the scientific motivation for the BLAST Observatory, the proposed implementation, and the forecasting methods used to predict its sensitivity. We also compare our forecasted experiment sensitivity with other facilities.


title: Efficient Optimisation of Physical Reservoir Computers using only a Delayed Input

abstract: We present an experimental validation of a recently proposed optimization technique for reservoir computing, using an optoelectronic setup. Reservoir computing is a robust framework for signal processing applications, and the development of efficient optimization approaches remains a key challenge. The technique we address leverages solely a delayed version of the input signal to identify the optimal operational region of the reservoir, simplifying the traditionally time-consuming task of hyperparameter tuning. We verify the effectiveness of this approach on different benchmark tasks and reservoir operating conditions.


title: Modeling Global Surface Dust Deposition Using Physics-Informed Neural Networks

abstract: Paleoclimatic measurements serve to understand geophysical processes and evaluate climate model performances. However, their spatial coverage is generally sparse and unevenly distributed across the globe. Statistical interpolation methods are the prevalent techniques to grid such data, but these purely data-driven approaches sometimes produce results that are incoherent with our knowledge of the physical world. Physics-Informed Neural Networks (PINNs) follow an innovative approach to data analysis and physical modeling through machine learning, as they incorporate physical principles into the data-driven learning process. Here, we develop PINNs to reconstruct global maps of atmospheric dust surface deposition fluxes from measurement data in paleoclimatic archives, for the Holocene and Last Glacial Maximum periods. We design an advection-diffusion equation to consider dominant wind directions at various latitudes, which prevents dust particles from flowing upwind. Our PINN improves on standard kriging interpolation by allowing variable asymmetry around data points. The reconstructions display realistic dust plumes from continental sources towards ocean basins following prevailing winds.


title: TURNA: A Turkish Encoder-Decoder Language Model for Enhanced Understanding and Generation

abstract: The recent advances in natural language processing have predominantly favored well-resourced English-centric models, resulting in a significant gap with low-resource languages. In this work, we introduce the language model TURNA, which is developed for the low-resource language Turkish and is capable of both natural language understanding and generation tasks. TURNA is pretrained with an encoder-decoder architecture based on the unified framework UL2 with a diverse corpus that we specifically curated for this purpose. We evaluated TURNA with three generation tasks and five understanding tasks for Turkish. The results show that TURNA outperforms several multilingual models in both understanding and generation tasks, and competes with monolingual Turkish models in understanding tasks. TURNA is made available at https://huggingface.co/boun-tabi-LMG/TURNA .


title: Spatially Resolved Conductivity of Rectangular Interconnects considering Surface Scattering -- Part II: Circuit-Compatible Modeling

abstract: Interconnect conductivity modeling is a critical aspect for modern chip design. Surface scattering -- an important scattering mechanism in scaled interconnects is usually captured using Fuchs-Sondheimer (FS) model which offers the average behavior of the interconnect. However, to support the modern interconnect structures (such as tapered geometries), modeling spatial dependency of conductivity becomes important. In Part I of this work, we presented a spatially resolved FS (SRFS) model for rectangular interconnects derived from the fundamental FS approach. While the proposed SRFS model offers both spatial-dependency of conductivity and its direct relationship with the physical parameters, its complex expression is not suitable for incorporation in circuit simulations. In this part, we build upon our SRFS model to propose a circuit-compatible conductivity model for rectangular interconnects accounting for 2D surface scattering. The proposed circuit-compatible model offers spatial resolution of conductivity as well as explicit dependence on the physical parameters such as electron mean free path (${\lambda}_0$), specularity ($p$) and interconnect geometry. We validate our circuit-compatible model over a range of interconnect width/height (and ${\lambda}_0$) and p values and show a close match with the physical SRFS model proposed in Part I (with error < 0.7%). We also compare our circuit-compatible model with a previous spatially resolved analytical model (appropriately modified for a fair comparison) and show that our model captures the spatial resolution of conductivity and the dependence on physical parameters more accurately. Finally, we present a semi-analytical equation for the average conductivity based on our circuit-compatible model.


title: The GraphTempo Framework for Exploring the Evolution of a Graph through Pattern Aggregation

abstract: When the focus is on the relationships or interactions between entities, graphs offer an intuitive model for many real-world data. Such graphs are usually large and change over time, thus, requiring models and strategies that explore their evolution. We study the evolution of aggregated graphs and introduce the GraphTempo model that allows temporal and attribute aggregation not only on node level by grouping individual nodes, but on a pattern level as well, where subgraphs are grouped together. Furthermore, We propose an efficient strategy for exploring the evolution of the graph based on identifying time intervals of significant growth, shrinkage or stability. Finally, we evaluate the efficiency and effectiveness of the proposed approach using three real graphs.


title: Electrotaxis of self-propelling artificial swimmers in microchannels

abstract: Ciliated microswimmers and flagellated bacteria alter their swimming trajectories to follow the direction of an applied electric field exhibiting electrotaxis. Both for matters of application and physical modelling, it is instructive to study such behaviour in synthetic swimmers. We show here that under an external electric field, self-propelling active droplets autonomously modify their swimming trajectories in microchannels, even undergoing `U-turns', to exhibit robust electrotaxis. Depending on the relative initial orientations of the microswimmer and the external electric field, the active droplet can also navigate upstream of an external flow following a centre-line motion, instead of the oscillatory upstream trajectory observed in absence of electric field. Using a hydrodynamic theory model, we show that the electrically induced angular velocity and electrophoretic effects, along with the microswimmer motility and its hydrodynamic interactions with the microchannel walls, play crucial roles in dictating the electrotactic trajectories and dynamics. Specifically, the transformation in the trajectories during upstream swimming against an external flow under an electric field can be understood as a reverse Hopf bifurcation for a dynamical system. Our study provides a simple methodology and a systematic understanding of manoeuvring active droplets in microconfinements for micro-robotic applications especially in biotechnology.


title: Bonding Grammars

abstract: We introduce bonding grammars, a graph grammar formalism developed to model DNA computation by means of graph transformations. It is a modification of fusion grammars introduced by Kreowski, Kuske and Lye in 2017. Bonding is a graph transformation that consists of merging two hyperedges into a single larger one. We show why bonding models interaction between DNA molecules better than fusion. Then, we investigate formal properties of this formalism. Firstly, we study the relation between bonding grammars and hyperedge replacement grammars proving that each of these kinds of grammars generates a language the other one cannot generate. Secondly, we prove that bonding grammars naturally generalise regular sticker systems. Finally, we prove that the membership problem for bonding grammars is NP-complete and, moreover, that some bonding grammar generates an NP-complete set.


title: Single-file dynamics with general charge measures

abstract: We study charge fluctuations in single-file dynamics with general charge measures. The exact finite-time distribution of charge fluctuations is obtained in terms of a dressing transformation acting on the finite-time distribution of particle fluctuations. The transformation is mapped to a simple substitution rule for corresponding full-counting statistics. By taking the asymptotics of the dressing transformation we analyze typical and large scale charge fluctuations. Typical charge fluctuations in equilibrium states with vanishing mean charge are anomalous while large charge fluctuations undergo first and second order dynamical phase transitions out of equilibrium.


title: UrbanGenAI: Reconstructing Urban Landscapes using Panoptic Segmentation and Diffusion Models

abstract: In contemporary design practices, the integration of computer vision and generative artificial intelligence (genAI) represents a transformative shift towards more interactive and inclusive processes. These technologies offer new dimensions of image analysis and generation, which are particularly relevant in the context of urban landscape reconstruction. This paper presents a novel workflow encapsulated within a prototype application, designed to leverage the synergies between advanced image segmentation and diffusion models for a comprehensive approach to urban design. Our methodology encompasses the OneFormer model for detailed image segmentation and the Stable Diffusion XL (SDXL) diffusion model, implemented through ControlNet, for generating images from textual descriptions. Validation results indicated a high degree of performance by the prototype application, showcasing significant accuracy in both object detection and text-to-image generation. This was evidenced by superior Intersection over Union (IoU) and CLIP scores across iterative evaluations for various categories of urban landscape features. Preliminary testing included utilising UrbanGenAI as an educational tool enhancing the learning experience in design pedagogy, and as a participatory instrument facilitating community-driven urban planning. Early results suggested that UrbanGenAI not only advances the technical frontiers of urban landscape reconstruction but also provides significant pedagogical and participatory planning benefits. The ongoing development of UrbanGenAI aims to further validate its effectiveness across broader contexts and integrate additional features such as real-time feedback mechanisms and 3D modelling capabilities. Keywords: generative AI; panoptic image segmentation; diffusion models; urban landscape design; design pedagogy; co-design


title: Splines on Cayley Graphs of the Symmetric Group

abstract: A spline is an assignment of polynomials to the vertices of a graph whose edges are labeled by ideals, where the difference of two polynomials labeling adjacent vertices must belong to the corresponding ideal. The set of splines forms a ring. We consider spline rings where the underlying graph is the Cayley graph of a symmetric group generated by a collection of transpositions. These rings generalize the GKM construction for equivariant cohomology rings of flag, regular semisimple Hessenberg, and permutohedral varieties. These cohomology rings carry two actions of the symmetric group $S_n$ whose graded characters are both of general interest in algebraic combinatorics. In this paper, we generalize the graded $S_n$-representations from the cohomologies of the above varieties to splines on Cayley graphs of $S_n$, then (1) give explicit module and ring generators for whenever the $S_n$-generating set is minimal, (2) give a combinatorial characterization of when graded pieces of one $S_n$-representation is trivial, and (3) compute the first degree piece of both graded characters for all generating sets.


title: Manifold GCN: Diffusion-based Convolutional Neural Network for Manifold-valued Graphs

abstract: We propose two graph neural network layers for graphs with features in a Riemannian manifold. First, based on a manifold-valued graph diffusion equation, we construct a diffusion layer that can be applied to an arbitrary number of nodes and graph connectivity patterns. Second, we model a tangent multilayer perceptron by transferring ideas from the vector neuron framework to our general setting. Both layers are equivariant with respect to node permutations and isometries of the feature manifold. These properties have been shown to lead to a beneficial inductive bias in many deep learning tasks. Numerical examples on synthetic data as well as on triangle meshes of the right hippocampus to classify Alzheimer's disease demonstrate the very good performance of our layers.


title: An Orthogonal Polynomial Kernel-Based Machine Learning Model for Differential-Algebraic Equations

abstract: The recent introduction of the Least-Squares Support Vector Regression (LS-SVR) algorithm for solving differential and integral equations has sparked interest. In this study, we expand the application of this algorithm to address systems of differential-algebraic equations (DAEs). Our work presents a novel approach to solving general DAEs in an operator format by establishing connections between the LS-SVR machine learning model, weighted residual methods, and Legendre orthogonal polynomials. To assess the effectiveness of our proposed method, we conduct simulations involving various DAE scenarios, such as nonlinear systems, fractional-order derivatives, integro-differential, and partial DAEs. Finally, we carry out comparisons between our proposed method and currently established state-of-the-art approaches, demonstrating its reliability and effectiveness.