title: Self-Synchronized Trichel Pulse Trains in Multi-Point Corona Discharge Systems

abstract: Evidence of self-synchronization has been observed in multi-electrode corona discharge systems, where the application of high negative DC voltages induces a self-sustained mode of current pulse trains. These pulses, historically referred to as Trichel pulses, characterize the operation of a two-electrode system where the discharge electrode is subjected to a high negative DC voltage. The numerical algorithm indicates that in a multi-electrode discharge system, comprising multiple two-electrode discharges, each two-electrode system independently produces pulse trains. These systems, each comprising a pair of electrodes, operate in a pulsed mode, with synchronization emerging from weak yet significant interactions among them. These interactions arise from the mutual influence of electric fields and space charges generated by each discharge pair. This influence extends beyond individual systems, leading to a synchronization between both pairs, both in a pulsed mode. A three-species model of discharge was employed to simulate this process and it was based on the finite element method formulation. Two different numerical models were investigated, a 2D model, consisting of two discharge electrodes and a third grounded electrode, and two 1D-axisymmetric models, consisting dual and triple pairs of discharge systems. Experiments show a multi-stable nature of the coupled pulsed discharge systems, indicating that under appropriate conditions the pulse trains exhibit two distinct modes of synchronization: in-phase synchronization and anti-phase synchronization. The occurrence of each mode depends on factors such as interaction strength, applied voltage level, and various system parameters. Furthermore, variations in these factors can lead to additional outcomes, including out of phase synchronization, as well as scenarios involving near-harmonic oscillations and quenching.


title: The jets and the neutron star kick velocity of the supernova remnant CTB 1

abstract: We identify jet-shaped morphology in the core-collapse supernova remnant (SNR) CTB 1 that includes two opposite structural features. We identify these as the imprints of a pair of jets that were among the last jets to explode the massive stellar progenitor of CTB 1. We find the projected angle between the jets' axis and the direction of the pulsar velocity, which is the neutron star natal kick, to be 78 degrees. We tentatively identify possible signatures of a second pair of opposite jets along a different direction. If this identification holds, SNR CTB 1 has a point-symmetric structure. The morphology and large angle of the jets' axis to kick velocity are expected in the jittering jets explosion mechanism (JJEM) of core-collapse supernovae.


title: Stochastic Optimal Control Matching

abstract: Stochastic optimal control, which has the goal of driving the behavior of noisy systems, is broadly applicable in science, engineering and artificial intelligence. Our work introduces Stochastic Optimal Control Matching (SOCM), a novel Iterative Diffusion Optimization (IDO) technique for stochastic optimal control that stems from the same philosophy as the conditional score matching loss for diffusion models. That is, the control is learned via a least squares problem by trying to fit a matching vector field. The training loss, which is closely connected to the cross-entropy loss, is optimized with respect to both the control function and a family of reparameterization matrices which appear in the matching vector field. The optimization with respect to the reparameterization matrices aims at minimizing the variance of the matching vector field. Experimentally, our algorithm achieves lower error than all the existing IDO techniques for stochastic optimal control for three out of four control problems, in some cases by an order of magnitude. The key idea underlying SOCM is the path-wise reparameterization trick, a novel technique that may be of independent interest. Code at https://github.com/facebookresearch/SOC-matching

categories: math.OC cs.LG cs.NA math.NA math.PR stat.ML


title: Every $d(d+1)$-connected graph is globally rigid in $\mathbb{R}^d$

abstract: Using a probabilistic method, we prove that $d(d+1)$-connected graphs are rigid in $\mathbb{R}^d$, a conjecture of Lov\'asz and Yemini. Then, using recent results on weakly globally linked pairs, we modify our argument to prove that $d(d+1)$-connected graphs are globally rigid, too, a conjecture of Connelly, Jord\'an and Whiteley. The constant $d(d+1)$ is best possible.


title: Implicit Learning of Scene Geometry from Poses for Global Localization

abstract: Global visual localization estimates the absolute pose of a camera using a single image, in a previously mapped area. Obtaining the pose from a single image enables many robotics and augmented/virtual reality applications. Inspired by latest advances in deep learning, many existing approaches directly learn and regress 6 DoF pose from an input image. However, these methods do not fully utilize the underlying scene geometry for pose regression. The challenge in monocular relocalization is the minimal availability of supervised training data, which is just the corresponding 6 DoF poses of the images. In this paper, we propose to utilize these minimal available labels (.i.e, poses) to learn the underlying 3D geometry of the scene and use the geometry to estimate the 6 DoF camera pose. We present a learning method that uses these pose labels and rigid alignment to learn two 3D geometric representations (\textit{X, Y, Z coordinates}) of the scene, one in camera coordinate frame and the other in global coordinate frame. Given a single image, it estimates these two 3D scene representations, which are then aligned to estimate a pose that matches the pose label. This formulation allows for the active inclusion of additional learning constraints to minimize 3D alignment errors between the two 3D scene representations, and 2D re-projection errors between the 3D global scene representation and 2D image pixels, resulting in improved localization accuracy. During inference, our model estimates the 3D scene geometry in camera and global frames and aligns them rigidly to obtain pose in real-time. We evaluate our work on three common visual localization datasets, conduct ablation studies, and show that our method exceeds state-of-the-art regression methods' pose accuracy on all datasets.


title: First Constraints on WIMP-Nucleon Effective Field Theory Couplings in an Extended Energy Region From LUX-ZEPLIN

abstract: Following the first science results of the LUX-ZEPLIN (LZ) experiment, a dual-phase xenon time projection chamber operating from the Sanford Underground Research Facility in Lead, South Dakota, USA, we report the initial limits on a model-independent non-relativistic effective field theory describing the complete set of possible interactions of a weakly interacting massive particle (WIMP) with a nucleon. These results utilize the same 5.5 t fiducial mass and 60 live days of exposure collected for the LZ spin-independent and spin-dependent analyses while extending the upper limit of the energy region of interest by a factor of 7.5 to 270 keVnr. No significant excess in this high energy region is observed. Using a profile-likelihood ratio analysis, we report 90% confidence level exclusion limits on the coupling of each individual non-relativistic WIMP-nucleon operator for both elastic and inelastic interactions in the isoscalar and isovector bases.


title: Virtual Quantum Markov Chains

abstract: Quantum Markov chains generalize classical Markov chains for random variables to the quantum realm and exhibit unique inherent properties, making them an important feature in quantum information theory. In this work, we propose the concept of virtual quantum Markov chains (VQMCs), focusing on scenarios where subsystems retain classical information about global systems from measurement statistics. As a generalization of quantum Markov chains, VQMCs characterize states where arbitrary global shadow information can be recovered from subsystems through local quantum operations and measurements. We present an algebraic characterization for virtual quantum Markov chains and show that the virtual quantum recovery is fully determined by the block matrices of a quantum state on its subsystems. Notably, we find a distinction between two classes of tripartite entanglement by showing that the W state is a VQMC while the GHZ state is not. Furthermore, we establish semidefinite programs to determine the optimal sampling overhead and the robustness of virtual quantum Markov chains. We demonstrate the optimal sampling overhead is additive, indicating no free lunch to further reduce the sampling cost of recovery from parallel calls of the VQMC states. Our findings elucidate distinctions between quantum Markov chains and virtual quantum Markov chains, extending our understanding of quantum recovery to scenarios prioritizing classical information from measurement statistics.

categories: quant-ph cond-mat.stat-mech cs.IR cs.IT hep-th math.IT


title: Shell-crossings and shock formation during gravitational collapse in effective loop quantum gravity

abstract: Effective models of gravitational collapse in loop quantum gravity for the Lema\^itre-Tolman-Bondi spacetime predict that collapsing matter reaches a maximum finite density, bounces, and then expands outwards. We show that in the marginally bound case, shell-crossing singularities commonly occur for inhomogeneous initial profiles of the dust energy density; this is the case in particular for all profiles that are continuous and of compact support, including configurations arbitrarily close to the Oppenheimer-Snyder model. When a shell-crossing singularity occurs, it is necessary to seek weak solutions to the dynamics; we argue that weak solutions typically contain shock waves.


title: Asymptotic uniqueness in long-term prediction

abstract: This paper establishes the asymptotic uniqueness of long-term probability forecasts in the following form. Consider two forecasters who repeatedly issue probability forecasts for the infinite future. The main result of the paper says that either at least one of the two forecasters will be discredited or their forecasts will converge in total variation. This can be regarded as a game-theoretic version of the classical Blackwell-Dubins result getting rid of some of its limitations. This result is further strengthened along the lines of Richard Jeffrey's radical probabilism.


title: Trust, distrust, and appropriate reliance in (X)AI: a survey of empirical evaluation of user trust

abstract: A current concern in the field of Artificial Intelligence (AI) is to ensure the trustworthiness of AI systems. The development of explainability methods is one prominent way to address this, which has often resulted in the assumption that the use of explainability will lead to an increase in the trust of users and wider society. However, the dynamics between explainability and trust are not well established and empirical investigations of their relation remain mixed or inconclusive. In this paper we provide a detailed description of the concepts of user trust and distrust in AI and their relation to appropriate reliance. For that we draw from the fields of machine learning, human-computer interaction, and the social sciences. Furthermore, we have created a survey of existing empirical studies that investigate the effects of AI systems and XAI methods on user (dis)trust. With clarifying the concepts and summarizing the empirical investigations, we aim to provide researchers, who examine user trust in AI, with an improved starting point for developing user studies to measure and evaluate the user's attitude towards and reliance on AI systems.


title: Fisher information susceptibility for multiparameter quantum estimation

abstract: Noise affects the performance of quantum technologies, hence the importance of elaborating operative figures of merit that can capture its impact in exact terms. In quantum metrology, the introduction of the Fisher information measurement noise susceptibility now allows to quantify the robustness of measurement for single-parameter estimation. Here we extend this notion to the multiparameter quantum estimation scenario. We provide its mathematical definition in the form of a semidefinite program. Although a closed formula could not be found, we further derive an upper and a lower bound to the susceptibility. We then apply these techniques to two paradigmatic examples of multiparameter estimation: the joint estimation of phase and phase-diffusion and the estimation of the different parameters describing the incoherent mixture of optical point sources. Our figure of merit provides clear indications on conditions allowing or hampering robustness of multiparameter measurements.


title: On bi-ideals of ordered full transformation semigroups

abstract: In this paper we describe the Greens relations on the semigroup of bi-ideals of ordered full transformation semigroup in terms of Greens relations of ordered full transformation semigroup on a set.


title: GFS: Graph-based Feature Synthesis for Prediction over Relational Databases

abstract: Relational databases are extensively utilized in a variety of modern information system applications, and they always carry valuable data patterns. There are a huge number of data mining or machine learning tasks conducted on relational databases. However, it is worth noting that there are limited machine learning models specifically designed for relational databases, as most models are primarily tailored for single table settings. Consequently, the prevalent approach for training machine learning models on data stored in relational databases involves performing feature engineering to merge the data from multiple tables into a single table and subsequently applying single table models. This approach not only requires significant effort in feature engineering but also destroys the inherent relational structure present in the data. To address these challenges, we propose a novel framework called Graph-based Feature Synthesis (GFS). GFS formulates the relational database as a heterogeneous graph, thereby preserving the relational structure within the data. By leveraging the inductive bias from single table models, GFS effectively captures the intricate relationships inherent in each table. Additionally, the whole framework eliminates the need for manual feature engineering. In the extensive experiment over four real-world multi-table relational databases, GFS outperforms previous methods designed for relational databases, demonstrating its superior performance.


title: Insight from laboratory measurements on dust in debris discs

abstract: Extreme adaptive optics instruments have revealed exquisite details on debris discs, allowing to extract the optical properties of the dust particles such as the phase function, the degree of polarisation and the spectral reflectance. These are three powerful diagnostic tools to understand the physical properties of the dust : the size, shape and composition of the dust particles. This can inform us on the population of parent bodies, also called planetesimals, which generate those particles through collisions. It is however very rare to be able to combine all those three observables for the same system, as this requires different high-contrast imaging techniques to suppress the starlight and reveal the faint scattered light emission from the dust. Due to its brightness, the ring detected around the A-type star HR 4796 is a notable exception, with both unpolarised and polarised images covering near-infrared wavelengths. Here, we show how measurements of dust particles in the laboratory can reproduce the observed near-infrared photo-polarimetric properties of the HR 4796 disc. Experimental characterisation of dust allows to bypass the current limitations of dust models to reproduce simultaneously the phase function, the degree of polarisation and the spectral reflectance.


title: Entanglement-magic separation in hybrid quantum circuits

abstract: Magic describes the distance of a quantum state to its closest stabilizer state. It is -- like entanglement -- a necessary resource for a potential quantum advantage over classical computing. We study magic, quantified by stabilizer entropy, in a hybrid quantum circuit with projective measurements and a controlled injection of non-Clifford resources. We discover a phase transition between a (sub)-extensive and area law scaling of magic controlled by the rate of measurements. The same circuit also exhibits a phase transition in entanglement that appears, however, at a different critical measurement rate. This mechanism shows how, from the viewpoint of a potential quantum advantage, hybrid circuits can host multiple distinct transitions where not only entanglement, but also other non-linear properties of the density matrix come into play.


title: Unbounded matroids

abstract: A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of unbounded matroids, or U-matroids, by replacing the boolean lattice with an arbitrary distributive lattice. U-matroids thus serve as a combinatorial model for polyhedra that satisfy the vertex and edge conditions of matroid base polytopes, but may be unbounded. Like polymatroids, U-matroids generalize matroids and arise as a special case of submodular systems. We prove that every U-matroid admits a canonical largest extension to a matroid, which we call the generous extension; the analogous geometric statement is that every U-matroid base polyhedron contains a unique largest matroid base polytope. We show that the supports of vertices of a U-matroid base polyhedron span a shellable simplicial complex, and we characterize U-matroid basis systems in terms of shelling orders, generalizing Bj\"orner's and Gale's criteria for a simplicial complex to be a matroid independence complex. Finally, we present an application of our theory to subspace arrangements and show that the generous extension has a natural geometric interpretation in this setting.


title: A gauge theoretic invariant of embedded surfaces in $4$-manifolds and exotic $P^2$-knots

abstract: We give an infinite family of embeddings of $\mathbb{R} P^2$ to $S^4$ such that they are mutually topologically isotopic however are not smoothly isotopic to each other. Moreover, they are topologically isotopic to the standard $P^2$-knot. To prove that these $P^2$-knots are not smoothly isotopic to each other, we construct a gauge theoretic invariant of embedded surfaces in $4$-manifolds using a variant of the Seiberg--Witten theory, which is called the Real Seiberg--Witten theory.


title: Kirchhoff Meets Johnson: In Pursuit of Unconditionally Secure Communication

abstract: Noise: an enemy to be dealt with and a major factor limiting communication system performance. However, what if there is gold in that garbage? In conventional engineering, our focus is primarily on eliminating, suppressing, combating, or even ignoring noise and its detrimental impacts. Conversely, could we exploit it similarly to biology, which utilizes noise-alike carrier signals to convey information? In this context, the utilization of noise, or noise-alike signals in general, has been put forward as a means to realize unconditionally secure communication systems in the future. In this tutorial article, we begin by tracing the origins of thermal noise-based communication and highlighting one of its significant applications for ensuring unconditionally secure networks: the Kirchhoff-law-Johnson-noise (KLJN) secure key exchange scheme. We then delve into the inherent challenges tied to secure communication and discuss the imperative need for physics-based key distribution schemes in pursuit of unconditional security. Concurrently, we provide a concise overview of quantum key distribution (QKD) schemes and draw comparisons with their KLJN-based counterparts. Finally, extending beyond wired communication loops, we explore the transmission of noise signals over-the-air and evaluate their potential for stealth and secure wireless communication systems.


title: The largely linear response of earth's ice volume to orbital forcing

abstract: Orbital forcing plays a key role in pacing the glacial-interglacial cycles. However, the mechanistic linkages between the orbital parameters - eccentricity, obliquity, and precession - and global ice volume remain unclear. Here, we investigate the effect of Earth's orbitally governed incoming solar radiation (that is, insolation) on global ice volume over the past 800,000 years. We consider a simple linear model of ice volume that imposes minimal assumptions about its dynamics. We find that this model can adequately reproduce the observed ice volume variations for most of the past 800,000 years, with the notable exception of Marine Isotope Stage 11. This suggests that, aside from a few extrema, the ice volume dynamics primarily result from an approximately linear response to orbital forcing. We substantiate this finding by addressing some of the key criticisms of the orbitally forced hypothesis. In particular, we show that eccentricity can significantly vary the ocean temperature without the need for amplification on Earth. We also present a feasible mechanism to explain the absence of eccentricity's 400,000 year period in the ice volume data. This requires part of the forcing from eccentricity to be lagged via a slow-responding mechanism, resulting in a signal that closer approximates the change in eccentricity. A physical interpretation of our model is proposed, using bulk ocean and surface temperatures as intermediate mechanisms through which the orbital parameters affect ice volume. These show reasonable alignment with their relevant proxy data, though we acknowledge that these variables likely represent a combination of mechanisms.


title: Small generators of abelian number fields

abstract: We show that for each abelian number field $K$ of sufficiently large degree $d$ there exists an element $\alpha\in K$ with $K=\IQ(\alpha)$ and absolute Weil height $H(\alpha)\ll_d |\Delta_K|^{1/2d}$ , where $\Delta_K$ denotes the discriminant of $K$. This answers a question of Ruppert from 1998 in the case of abelian extensions of sufficiently large degree. We also show that the exponent $1/2d$ is best-possible when $d$ is even.


title: Fast Posterior Probability Sampling with Normalizing Flows and Its Applicability in Bayesian analysis in Particle Physics

abstract: In this study, we use Rational-Quadratic Neural Spline Flows, a sophisticated parametrization of Normalizing Flows, for inferring posterior probability distributions in scenarios where direct evaluation of the likelihood is challenging at inference time. We exemplify this approach using the T2K near detector as a working example, focusing on learning the posterior probability distribution of neutrino flux binned in neutrino energy. The predictions of the trained model are conditioned at inference time by the momentum and angle of the outgoing muons released after neutrino-nuclei interaction. This conditioning allows for the generation of personalized posterior distributions, tailored to the muon observables, all without necessitating a full retraining of the model for each new dataset. The performances of the model are studied for different shapes of the posterior distributions.


title: Stellar mass is not the best predictor of galaxy metallicity. The gravitational potential-metallicity relation $\Phi \rm ZR$

abstract: Interpreting the scaling relations followed by galaxies is a fundamental tool for assessing how well we understand galaxy formation and evolution. Several scaling relations involving the galaxy metallicity have been discovered through the years, the foremost of which is the scaling with stellar mass. This so-called mass-metallicity relation is thought to be fundamental and has been subject to many studies in the literature. We study the dependence of the gas-phase metallicity on many different galaxy properties to assess which of them determines the metallicity of a galaxy. We applied a random forest regressor algorithm on a sample of more than 3000 nearby galaxies from the SDSS-IV MaNGA survey. Using this machine-learning technique, we explored the effect of 148 parameters on the global oxygen abundance as an indicator of the gas metallicity. $M_{\rm \star}$/$R_e$, as a proxy for the baryonic gravitational potential of the galaxy, is found to be the primary factor determining the average gas-phase metallicity of the galaxy ($Z_g$). It outweighs stellar mass. A subsequent analysis provides the strongest dependence of $Z_g$ on $M_\star / R_e^{\,0.6}$. We argue that this parameter traces the total gravitational potential, and the exponent $\alpha\simeq 0.6$ accounts for the inclusion of the dark matter component. Our results reveal the importance of the relation between the total gravitational potential of the galaxy and the gas metallicity. This relation is tighter and likely more primordial than the widely known mass-metallicity relation.


title: Investigating Extreme Scattering Events by Volumetric Ray-tracing

abstract: Extreme scattering events (ESEs) are observed as dramatic ($>50\%$) drops in flux density that occur over an extended period of weeks to months. Discrete plasma lensing structures are theorized to scatter the radio waves produced by distant sources such as pulsars, causing the signature decrease in flux density and characteristic caustic spikes in ESE light curves. While plasma lens models in the extant literature have reproduced key features of ESE light curves, they have all faced the problem of being highly over-dense and over-pressured relative to the surrounding interstellar medium (ISM) by orders of magnitude. We model ESEs by numerically ray-tracing through analytic, volumetric plasma lens models by solving the eikonal equation. Delaunay triangulation connecting the rays approximates the wavefront, generating a mapping from the observer plane to the source plane to account for multiple-imaging. This eikonal method of ray-tracing is tested against known analytic solutions and is then applied to a three-dimensional Gaussian-distributed electron volume density lens, and a filament model inspired by Grafton et al. (2023). We find convergence of our numerical results with established analytic solutions validating our numerical method, and reproduce ESE-like light curves. Our numerical ray-tracing method lends itself well to exploring the lensing effects of volumetric turbulence as well as sheet-like lenses, which is currently in progress.


title: Isomorphism for Tournaments of Small Twin Width

abstract: We prove that isomorphism of tournaments of twin width at most $k$ can be decided in time $k^{O(\log k)}n^{O(1)}$. This implies that the isomorphism problem for classes of tournaments of bounded or moderately growing twin width is in polynomial time. By comparison, there are classes of undirected graphs of bounded twin width that are isomorphism complete, that is, the isomorphism problem for the classes is as hard as the general graph isomorphism problem. Twin width is a graph parameter that has been introduced only recently (Bonnet et al., FOCS 2020), but has received a lot of attention in structural graph theory since then. On directed graphs, it is functionally smaller than clique width. We prove that on tournaments (but not on general directed graphs) it is also functionally smaller than directed tree width (and thus, the same also holds for cut width and directed path width). Hence, our result implies that tournament isomorphism testing is also fixed-parameter tractable when parameterized by any of these parameters. Our isomorphism algorithm heavily employs group-theoretic techniques. This seems to be necessary: as a second main result, we show that the combinatorial Weisfeiler-Leman algorithm does not decide isomorphism of tournaments of twin width at most 35 if its dimension is $o(n)$. (Throughout this abstract, $n$ is the order of the input graphs.)


title: Gravitational-electromagnetic phase in the Kerr-Newman spacetime

abstract: We calculate the gravitational-electromagnetic phase for a charged particle in the Kerr-Newman spacetime. The result is applied to an interference experiment, in which the phase differences and the fringe shifts are derived. We find that both the charge of the particle and the charge of the black hole contribute to the gravitational phase difference, for which we give some qualitative explanations. Finally, we extend the results to the case of dyonic particles in the spacetime of a dyonic Kerr-Newman black hole.


title: Optimal Dual-Polarized Planar Arrays for Massive Capacity Over Point-to-Point MIMO Channels

abstract: Future wireless networks must provide ever higher data rates. The available bandwidth increases roughly linearly as we increase the carrier frequency, but the range shrinks drastically. This paper explores if we can instead reach massive capacities using spatial multiplexing over multiple-input multiple-output (MIMO) channels. In line-of-sight (LOS) scenarios, therank of the MIMO channel matrix depends on the polarization and antenna arrangement. We optimize the rank and condition number by identifying the optimal antenna spacing in dual-polarized planar antenna arrays with imperfect isolation. The result is sparely spaced antenna arrays that exploit radiative near-field properties. We further optimize the array geometry for minimum aperture length and aperture area, which leads to different configurations. Moreover, we prove analytically that for fixed-sized arrays, the MIMO rank grows quadratically with the carrier frequency in LOS scenarios, if the antennas are appropriately designed. Hence, MIMO technology contributes more to the capacity growth than the bandwidth. The numerical results show that massive data rates, far beyond 1 Tbps, can be reached both over fixed point-to-point links. It is also possible for a large base station to serve a practically-sized mobile device.


title: TimeChat: A Time-sensitive Multimodal Large Language Model for Long Video Understanding

abstract: This work proposes TimeChat, a time-sensitive multimodal large language model specifically designed for long video understanding. Our model incorporates two key architectural contributions: (1) a timestamp-aware frame encoder that binds visual content with the timestamp of each frame, and (2) a sliding video Q-Former that produces a video token sequence of varying lengths to accommodate videos of various durations. Additionally, we construct an instruction-tuning dataset, encompassing 6 tasks and a total of 125K instances, to further enhance TimeChat's instruction-following performance. Experiment results across various video understanding tasks, such as dense captioning, temporal grounding, and highlight detection, demonstrate TimeChat's strong zero-shot temporal localization and reasoning capabilities. For example, it achieves +9.2 F1 score and +2.8 CIDEr on YouCook2, +5.8 HIT@1 on QVHighlights, and +27.5 R@1 (IoU=0.5) on Charades-STA, compared to state-of-the-art video large language models, holding the potential to serve as a versatile video assistant for long-form video comprehension tasks and satisfy realistic user requirements.


title: DUCK: Distance-based Unlearning via Centroid Kinematics

abstract: Machine Unlearning is rising as a new field, driven by the pressing necessity of ensuring privacy in modern artificial intelligence models. This technique primarily aims to eradicate any residual influence of a specific subset of data from the knowledge acquired by a neural model during its training. This work introduces a novel unlearning algorithm, denoted as Distance-based Unlearning via Centroid Kinematics (DUCK), which employs metric learning to guide the removal of samples matching the nearest incorrect centroid in the embedding space. Evaluation of the algorithm's performance is conducted across various benchmark datasets in two distinct scenarios, class removal, and homogeneous sampling removal, obtaining state-of-the-art performance. We also introduce a novel metric, called Adaptive Unlearning Score (AUS), encompassing not only the efficacy of the unlearning process in forgetting target data but also quantifying the performance loss relative to the original model. Additionally, we conducted a thorough investigation of the unlearning mechanism in DUCK, examining its impact on the organization of the feature space and employing explainable AI techniques for deeper insights.


title: Tensions in $e^+e^-\to\pi^+\pi^-(\gamma)$ measurements: the new landscape of data-driven hadronic vacuum polarization predictions for the muon $g-2$

abstract: The situation of the experimental data used in the dispersive evaluation of the hadronic vacuum polarization contribution to the anomalous magnetic moment of the muon is assessed in view of two recent measurements: $e^+e^- \to \pi^+\pi^-$ cross sections in the $\rho$ resonance region by CMD-3 and a study of higher-order radiative effects in the initial-state-radiation processes $e^+e^- \to \mu^+\mu^-\gamma$ and $e^+e^- \to \pi^+\pi^-\gamma$ by BABAR. The impact of the latter study on the KLOE and BESIII cross-section measurements is evaluated and found to be indicative of larger systematic effects than uncertainties assigned. The new situation also warrants a reappraisal of the independent information provided by hadronic $\tau$ decays, including state-of-the-art isospin-breaking corrections. The findings cast a new light on the longstanding deviation between the muon $g-2$ measurement and the Standard Model prediction using the data-driven dispersive approach, and the comparison with lattice QCD calculations.


title: From High to Low: Simulating Nondeterminism and State with State

abstract: Some effects are considered to be higher-level than others. High-level effects provide expressive and succinct abstraction of programming concepts, while low-level effects allow more fine-grained control over program execution and resources. Yet, often it is desirable to write programs using the convenient abstraction offered by high-level effects, and meanwhile still benefit from the optimisations enabled by low-level effects. One solution is to translate high-level effects to low-level ones. This paper studies how algebraic effects and handlers allow us to simulate high-level effects in terms of low-level effects. In particular, we focus on the interaction between state and nondeterminism known as the local state, as provided by Prolog. We map this high-level semantics in successive steps onto a low-level composite state effect, similar to that managed by Prolog's Warren Abstract Machine. We first give a translation from the high-level local-state semantics to the low-level global-state semantics, by explicitly restoring state updates on backtracking. Next, we eliminate nondeterminsm altogether in favor of a lower-level state containing a choicepoint stack. Then we avoid copying the state by restricting ourselves to incremental, reversible state updates. We show how these updates can be stored on a trail stack with another state effect. We prove the correctness of all our steps using program calculation where the fusion laws of effect handlers play a central role.


title: Transaction Ordering Auctions

abstract: We study equilibrium investment into bidding and latency reduction for different sequencing policies. For a batch auction design, we observe that bidders shade bids according to the likelihood that competing bidders land in the current batch. Moreover, in equilibrium, in the ex-ante investment stage before the auction, bidders invest into latency until they make zero profit in expectation. We compare the batch auction design to continuous time bidding policies (time boost) and observe that (depending on the choice of parameters) they obtain similar revenue and welfare guarantees.


title: A Method for Finding All Permutiples with a Fixed Set of Digits from a Single Known Example

abstract: A permutiple is a natural number that is a nontrivial multiple of a permutation of its digits in some base. Special cases of permutiples include cyclic numbers (multiples of cyclic permutations of their digits) and palintiple numbers (multiples of their digit reversals). While cyclic numbers have a fairly straightforward description, palintiple numbers admit many varieties and cases. A previous paper attempts to get a better handle on the general case by constructing new examples of permutiples with the same set of digits, multiplier, and length as a known example. However, the results are not sufficient for finding all possible examples except when the multiplier divides the base. Using an approach based on the methods of this previous paper, we develop a new method which enables us to find all examples under any conditions.


title: An improved bound on sums of square roots via the subspace theorem

abstract: The sum of square roots is as follows: Given $x_1,\dots,x_n \in \mathbb{Z}$ and $a_1,\dots,a_n \in \mathbb{N}$ decide whether $ E=\sum_{i=1}^n x_i \sqrt{a_i} \geq 0$. It is a prominent open problem (Problem 33 of the Open Problems Project), whether this can be decided in polynomial time. The state-of-the-art methods rely on separation bounds, which are lower bounds on the minimum nonzero absolute value of $E$. The current best bound shows that $|E| \geq \left(n \cdot \max_i (|x_i| \cdot \sqrt{a_i})\right)^{-2^n} $, which is doubly exponentially small. We provide a new bound of the form $|E| \geq \gamma \cdot (n \cdot \max_i|x_i|)^{-2n}$ where $\gamma $ is a constant depending on $a_1,\dots,a_n$. This is singly exponential in $n$ for fixed $a_1,\dots,a_n$. The constant $\gamma$ is not explicit and stems from the subspace theorem, a deep result in the geometry of numbers.


title: Solvability of concordance groups and Milnor invariants

abstract: Using Milnor invariants, we prove that the concordance group $\mathcal{C}(2)$ of $2$-string links is not solvable. As a consequence we prove that the equivariant concordance group of strongly invertible knots is also not solvable, and we answer a conjecture posed by Kuzbary.


title: On the Contact Process with Modified Border

abstract: We study a one-dimensional contact process with two infection parameters. One giving the infection rates at the boundaries of a finite infected region and the other one the rates within that region. We prove that the critical value of each of these parameters is a strictly monotone continuous function of the other parameter. We also show that if one of these parameters is equal to the critical value of the standard contact process and the other parameter is strictly larger, then the infection starting from a single point has positive probability of surviving.


title: Right-sizing compute resource allocations for bioinformatics tools with Total Perspective Vortex

abstract: In biomedical research, computational methods have become indispensable and their use is increasing, making the efficient allocation of computing resources paramount. Practitioners routinely allocate resources far in excess of what is required for batch processing jobs, leading to not just inflated wait times and costs, but also unnecessary carbon emissions. This is not without reason however, as accurately determining resource needs is complex, affected by the nature of tools, data size, and analysis parameters, especially on popular servers that handle numerous jobs. The Galaxy platform, a web-based hub for biomedical analysis used globally by scientists, exemplifies this challenge. Serving nearly half a million registered users and managing around 2 million monthly jobs, Galaxy's growth outpaces the resources at its disposal. This is necessitating smarter resource utilization. To address this, we have developed a tool named Total Perspective Vortex (TPV) - a software package that right-sizes resource allocations for each job. TPV is able to dynamically set resource requirements for individual jobs and perform meta-scheduling across heterogeneous resources. It also includes a first-ever community-curated database of default resource requirements for nearly 1,000 popular bioinformatics tools. Deployments in Galaxy Australia and Europe demonstrate its effectiveness with meta-scheduling user jobs and an improved experience for systems administrators managing Galaxy servers.


title: Analysis of Neutron Star $f-$mode Oscillations in General Relativity with Spectral Representation of Nuclear Equations of State

abstract: We study quasinormal $f-$mode oscillations in neutron star(NS) interiors within the linearized General Relativistic formalism. We utilize approximately 9000 nuclear Equations of State (EOS) using spectral representation techniques, incorporating constraints on nuclear saturation properties, chiral Effective Field Theory ($\chi$EFT) for pure neutron matter, and perturbative Quantum Chromodynamics (pQCD) for densities pertinent to NS cores. The median values of f-mode frequency, $\nu_f$ (damping time, $\tau_f$) for NS with masses ranging from 1.4 - 2.0 $M_\odot$ lie between 1.80 - 2.20 kHz (0.13 - 0.22 s) for our entire EOS set. Our study reveals a weak correlation between $f-$mode frequencies and individual nuclear saturation properties, prompting the necessity for more intricate methodologies to unveil multi-parameter relationships. We observe a robust linear relationship between the radii and $f-$mode frequencies for different NS masses. Leveraging this correlation alongside NICER observations of PSR J0740+6620 and PSR J0030+0451, we establish constraints that exhibit partial and minimal overlap for observational data from Riley et al. and Miller et al. respectively with our nucleonic EOS dataset. Moreover, NICER data aligns closely with radius and frequency values for a few hadron-quark hybrid EOS models. This indicates the need to consider additional exotic particles such as deconfined quarks at suprasaturation densities. We conclude that future observations of the radius or $f-$mode frequency for more than one NS mass, particularly at the extremes of viable NS mass scale, would either rule out nucleon-only EOS or provide definitive evidence in its favour.


title: Ultraviolet H$_2$ luminescence in molecular clouds induced by cosmic rays

abstract: Galactic cosmic rays (CRs) play a crucial role in ionisation, dissociation, and excitation processes within dense cloud regions where UV radiation is absorbed by dust grains and gas species. CRs regulate the abundance of ions and radicals, leading to the formation of more and more complex molecular species, and determine the charge distribution on dust grains. A quantitative analysis of these effects is essential for understanding the dynamical and chemical evolution of star-forming regions. The CR-induced photon flux has a significant impact on the evolution of the dense molecular medium in its gas and dust components. This study is intended to evaluate the flux of UV photons generated by CRs to calculate the photon-induced dissociation and ionisation rates of a vast number of atomic and molecular species, as well as the integrated UV photon flux. Our study takes advantage of recent developments in the determination of the spectra of secondary electrons, in the calculation of state-resolved excitation cross sections of H$_2$ by electron impact, and of photodissociation and photoionisation cross sections. We calculate the H$_2$ level population of each rovibrational level of the $X$, $B$, $C$, $B'$, $D$, $B''$, $D'$ and $a$ states. We then compute the UV photon spectrum of H$_2$ in its line and continuum components between 72 and 700 nm, with unprecedented accuracy as a function of the CR spectrum incident on a molecular cloud, the H$_2$ column density, the isomeric H$_2$ composition, and the dust properties. The resulting photodissociation and photoionisation rates are, on average, smaller than previous determinations by a factor of about 2, with deviations up to a factor of 5. A special focus is given to the photoionisation rates of H$_2$, HF, and H$_2$, as well as to the photodissociation of H$_2$, which we find to be orders of magnitude higher than previous estimates.


title: The GPU Phase Folding and Deep Learning Method for Detecting Exoplanet Transits

abstract: This paper presents GPFC, a novel Graphics Processing Unit (GPU) Phase Folding and Convolutional Neural Network (CNN) system to detect exoplanets using the transit method. We devise a fast folding algorithm parallelized on a GPU to amplify low signal-to-noise ratio transit signals, allowing a search at high precision and speed. A CNN trained on two million synthetic light curves reports a score indicating the likelihood of a planetary signal at each period. While the GPFC method has broad applicability across period ranges, this research specifically focuses on detecting ultra-short-period planets with orbital periods less than one day. GPFC improves on speed by three orders of magnitude over the predominant Box-fitting Least Squares (BLS) method. Our simulation results show GPFC achieves $97%$ training accuracy, higher true positive rate at the same false positive rate of detection, and higher precision at the same recall rate when compared to BLS. GPFC recovers $100\%$ of known ultra-short-period planets in $\textit{Kepler}$ light curves from a blind search. These results highlight the promise of GPFC as an alternative approach to the traditional BLS algorithm for finding new transiting exoplanets in data taken with $\textit{Kepler}$ and other space transit missions such as K2, TESS and future PLATO and Earth 2.0.


title: The $H^\infty$-functional calculi for the quaternionic fine structures of Dirac type

abstract: In this paper, we utilize various integral representations derived from the Fueter-Sce extension theorem, to introduce novel functional calculi tailored for quaternionic operators of sectorial type. Specifically, due to the different factorizations of the Laplace opertor with respect to the Cauchy-Fueter operator and its conjugate, we identify four distinct classes of functions: Slice hyperholomorphic functions (leading to the $S$-functional calculus), axially harmonic functions (leading to the $Q$-functional calculus), axially polyanalytic functions of order $2$ (leading to the $P_2$-functional calculus), and axially monogenic functions (leading to the $F$-functional calculus). By applying the respective product rule, we establish the four different $H^\infty$-versions of these functional calculi.


title: Know Your Audience: Do LLMs Adapt to Different Age and Education Levels?

abstract: Large language models (LLMs) offer a range of new possibilities, including adapting the text to different audiences and their reading needs. But how well do they adapt? We evaluate the readability of answers generated by four state-of-the-art LLMs (commercial and open-source) to science questions when prompted to target different age groups and education levels. To assess the adaptability of LLMs to diverse audiences, we compare the readability scores of the generated responses against the recommended comprehension level of each age and education group. We find large variations in the readability of the answers by different LLMs. Our results suggest LLM answers need to be better adapted to the intended audience demographics to be more comprehensible. They underline the importance of enhancing the adaptability of LLMs in education settings to cater to diverse age and education levels. Overall, current LLMs have set readability ranges and do not adapt well to different audiences, even when prompted. That limits their potential for educational purposes.


title: Majorization theoretical approach to entanglement enhancement via local filtration

abstract: From the perspective of majorization theory, we study how to enhance the entanglement of a two-mode squeezed vacuum (TMSV) state by using local filtration operations. We present several schemes achieving entanglement enhancement with photon addition and subtraction, and then consider filtration as a general probabilistic procedure consisting in acting with local (non-unitary) operators on each mode. From this, we identify a sufficient set of two conditions on filtration operators for successfully enhancing the entanglement of a TMSV state, namely the operators must be Fock-orthogonal (i.e., preserving the orthogonality of Fock states) and Fock-amplifying (i.e., giving larger amplitudes to larger Fock states). Our results notably prove that ideal photon addition, subtraction, and any concatenation thereof always enhance the entanglement of a TMSV state in the sense of majorization theory. We further investigate the case of realistic photon addition (subtraction) and are able to upper bound the distance between a realistic photon-added (-subtracted) TMSV state and a nearby state that is provably more entangled than the TMSV, thus extending entanglement enhancement to practical schemes via the use of a notion of approximate majorization. Finally, we consider the state resulting from $k$-photon addition (on each of the two modes) on a TMSV state. We prove analytically that the state corresponding to $k=1$ majorizes any state corresponding to $2\leq k \leq 8$ and we conjecture the validity of the statement for all $k\geq 9$.


title: Learning Feynman integrals from differential equations with neural networks

abstract: We present a new approach for evaluating Feynman integrals numerically. We apply the recently-proposed framework of physics-informed deep learning to train neural networks to approximate the solution to the differential equations satisfied by the Feynman integrals. This approach relies neither on a canonical form of the differential equations, which is often a bottleneck for the analytical techniques, nor on the availability of a large dataset, and after training yields essentially instantaneous evaluation times. We provide a proof-of-concept implementation within the PyTorch framework, and apply it to a number of one- and two-loop examples, achieving a mean magnitude of relative difference of around 1% at two loops in the physical phase space with network training times on the order of an hour on a laptop GPU.


title: Information flows in nanomachines

abstract: Nanomachines are often interpreted as autonomous Maxwell's demons or information engines. This interpretation is appealing from a conceptual viewpoint but sometimes lacks a rigorous and precise formulation. Moreover, it is unclear whether this interpretation is truly useful for analyzing the performance of nanomachines or designing more efficient ones. The concepts of mutual information and information flows provide a quantitative and rigorous account of the role of information in physical systems. In this chapter, we present a pedagogical review of these concepts and apply them to a specific energy transducer at the nanoscale, which couples the tunnel transport of electrons through a carbon nanotube with its mechanical oscillations.


title: GaussianAvatars: Photorealistic Head Avatars with Rigged 3D Gaussians

abstract: We introduce GaussianAvatars, a new method to create photorealistic head avatars that are fully controllable in terms of expression, pose, and viewpoint. The core idea is a dynamic 3D representation based on 3D Gaussian splats that are rigged to a parametric morphable face model. This combination facilitates photorealistic rendering while allowing for precise animation control via the underlying parametric model, e.g., through expression transfer from a driving sequence or by manually changing the morphable model parameters. We parameterize each splat by a local coordinate frame of a triangle and optimize for explicit displacement offset to obtain a more accurate geometric representation. During avatar reconstruction, we jointly optimize for the morphable model parameters and Gaussian splat parameters in an end-to-end fashion. We demonstrate the animation capabilities of our photorealistic avatar in several challenging scenarios. For instance, we show reenactments from a driving video, where our method outperforms existing works by a significant margin.


title: Genus bounds from unrolled quantum groups at roots of unity

abstract: For any simple complex Lie algebra $\mathfrak{g}$, we show that the degrees of the "ADO" link polynomials coming from the unrolled restricted quantum group $\overline{U}^H_q(\mathfrak{g})$ at a root of unity give lower bounds to the Seifert genus of the link. We give a direct simple proof of this fact relying on a Seifert surface formula involving universal $\mathfrak{u}_q(\mathfrak{g})$-invariants, where $\mathfrak{u}_q(\mathfrak{g})$ is the small quantum group. We give a second proof by showing that the invariant $P_{\mathfrak{u}_q(\mathfrak{b})}^{\theta}(K)$ of our previous work coincides with such ADO invariants, where $\mathfrak{u}_q(\mathfrak{b})$ is the Borel part of $\mathfrak{u}_q(\mathfrak{g})$. To prove this, we show that equivariantizations of relative Drinfeld centers of crossed products essentially contain unrolled restricted quantum groups, a fact that could be of independent interest.


title: Evaluating the Claims of "SAT Requires Exhaustive Search"

abstract: In this paper, we take a closer look at the claims made by Xu and Zhou in their paper "SAT Requires Exhaustive Search" [XZ23], which claims to provide a lower bound on the complexity of the so-called Model RB. Xu and Zhou conclude that their result implies a separation between P and NP, since the lower bound purportedly proves that the Strong Exponential Time Hypothesis (SETH) is true. In examining Xu and Zhou's arguments, we find a flaw in their main theorems. The authors assume that an algorithm for Model RB must have a certain structure that can leverage downward self-reducibility, and argue that such an algorithm cannot run in polynomial time. We argue that this structure is not guaranteed to exist and thus their paper neither proves SETH to be true nor proves P $\neq$ NP.


title: Long-time behavior of logarithmic spiral vortex sheets with two branches

abstract: We consider logarithmic spiral vortex sheets consisting of two branches. Based on some simple assumptions that appear true by numerical computations, we fully classify their long-time behavior and asymptotics, where in all cases each branch decays to $0$ or blows up in finite time. Furthermore, we present illustrations determining which range of initial data corresponds to each case. We also determine the asymptotic stability of the symmetric and asymmetric self-similar spirals.


title: A Glitch in the Matrix? Locating and Detecting Language Model Grounding with Fakepedia

abstract: Large language models (LLMs) have an impressive ability to draw on novel information supplied in their context. Yet the mechanisms underlying this contextual grounding remain unknown, especially in situations where contextual information contradicts factual knowledge stored in the parameters, which LLMs also excel at recalling. Favoring the contextual information is critical for retrieval-augmented generation methods, which enrich the context with up-to-date information, hoping that grounding can rectify outdated or noisy stored knowledge. We present a novel method to study grounding abilities using Fakepedia, a novel dataset of counterfactual texts constructed to clash with a model's internal parametric knowledge. In this study, we introduce Fakepedia, a counterfactual dataset designed to evaluate grounding abilities when the internal parametric knowledge clashes with the contextual information. We benchmark various LLMs with Fakepedia and conduct a causal mediation analysis of LLM components when answering Fakepedia queries, based on our Masked Grouped Causal Tracing (MGCT) method. Through this analysis, we identify distinct computational patterns between grounded and ungrounded responses. We finally demonstrate that distinguishing grounded from ungrounded responses is achievable through computational analysis alone. Our results, together with existing findings about factual recall mechanisms, provide a coherent narrative of how grounding and factual recall mechanisms interact within LLMs.


title: Federated Learning is Better with Non-Homomorphic Encryption

abstract: Traditional AI methodologies necessitate centralized data collection, which becomes impractical when facing problems with network communication, data privacy, or storage capacity. Federated Learning (FL) offers a paradigm that empowers distributed AI model training without collecting raw data. There are different choices for providing privacy during FL training. One of the popular methodologies is employing Homomorphic Encryption (HE) - a breakthrough in privacy-preserving computation from Cryptography. However, these methods have a price in the form of extra computation and memory footprint. To resolve these issues, we propose an innovative framework that synergizes permutation-based compressors with Classical Cryptography, even though employing Classical Cryptography was assumed to be impossible in the past in the context of FL. Our framework offers a way to replace HE with cheaper Classical Cryptography primitives which provides security for the training process. It fosters asynchronous communication and provides flexible deployment options in various communication topologies.


title: Non-Gaussian Likelihoods for Type Ia Supernovae Cosmology: Implications for Dark Energy and $H_0$

abstract: The latest improvements in the scale and calibration of Type Ia supernovae catalogues allow us to constrain the specific nature and evolution of dark energy through its effect on the expansion history of the universe. We present the results of Bayesian cosmological model comparison on the SNe~Ia catalogue Pantheon+, where Flat $\Lambda$CDM is preferred by the data over all other models and we find moderate evidence ($\Delta \log \mathcal{Z} \sim 2.5$) to reject a number of the alternate dark energy models. The effect of peculiar velocity corrections on model comparison is analysed, where we show that removing the peculiar velocity corrections results in a varying fit on non-$\Lambda$CDM parameters. As well as comparing cosmological models, the Bayesian methodology is extended to comparing the scatter model of the data, testing for non-gaussianity in the Pantheon+ Hubble residuals. We find that adding a scale parameter to the Pantheon+ covariances, or alternately using a multivariate Student's t-distribution fits the data better than the fiducial analysis, producing a cosmology independent evidence increase of $\Delta \log \mathcal{Z} = 2.29 $ and $2.46$ respectively. This improved treatment of the scatter decreases the uncertainty in the constraint on the Hubble constant, finding $H_0 = 73.67 \pm 0.99 $ km s$^{-1}$ Mpc$^{-1}$, in $ 5.7 \sigma$ tension with Planck. We also explore $M_B$ transition models as a potential solution for the Hubble tension, finding no evidence to support these models among the SNe data.


title: The Geometry of Mehlers Kernel

abstract: We study the relationship between the Getzler calculus of a spin Riemannian manifold and the Riemannian geometry of the corresponding principal spin bundle. We then use the calculus of Gaussian-Grassmann integrals developed by Berline--Vergne to compute the Getzler symbol of the spinor heat flow.


title: Analysis of the general uncertainty propagation and calculation of the systematic uncertainty of the Neumann Equation of State for surface free energy determination

abstract: The determination of the surface free energy $\gamma_{\text{SV}}$ of solid materials provides information to explain and understand a wide variety of phenomena in surface science. One of the most widely used methods to determine the value of $\gamma_{\text{SV}}$ is the Neumann equation of state (EQS), whose application requires the values of the contact angle $(\theta)$ and the surface tension of a probe liquid $\gamma_{\text{LV}}$. Both parameters are determined experimentally, and their values may be subject to considerable uncertainty. In the present work, the uncertainties of the EQS are analyzed by means of the Taylor series method, using a polynomial adjustment to the EQS previously reported. This analysis allowed us to determine the effects of the ${\theta}$ and $\gamma_{\text{LV}}$ uncertainties on $\gamma_{\text{SV}}$ values. The $\gamma_{\text{SV}}$ of polyoxymethylene (POM) and polytetrafluoroethylene (PTFE) was calculated using the EQS from four probe liquids and taking into account the propagation of the ${\theta}$ and $\gamma_{\text{LV}}$ uncertainties. Generally, the comparison of the $\gamma_{\text{SV}}$ values calculated from the different probe fluids revealed significant differences. As a solution to this inconsistency in the EQS method, we proposed taking into account a systematic standard uncertainty associated with the method equal to $1.3 \, \text{mJ/m}^2$ . This allowed the differences between the $\gamma_{\text{SV}}$ values for the different probe liquids to be non-significant and therefore the method to be consistent.


title: Integrating AI into CCTV Systems: A Comprehensive Evaluation of Smart Video Surveillance in Community Space

abstract: This article presents an AI-enabled Smart Video Surveillance (SVS) designed to enhance safety in community spaces such as educational and recreational areas, and small businesses. The proposed system innovatively integrates with existing CCTV and wired camera networks, simplifying its adoption across various community cases to leverage recent AI advancements. Our SVS system, focusing on privacy, uses metadata instead of pixel data for activity recognition, aligning with ethical standards. It features cloud-based infrastructure and a mobile app for real-time, privacy-conscious alerts in communities. This article notably pioneers a comprehensive real-world evaluation of the SVS system, covering AI-driven visual processing, statistical analysis, database management, cloud communication, and user notifications. It's also the first to assess an end-to-end anomaly detection system's performance, vital for identifying potential public safety incidents. For our evaluation, we implemented the system in a community college, serving as an ideal model to exemplify the proposed system's capabilities. Our findings in this setting demonstrate the system's robustness, with throughput, latency, and scalability effectively managing 16 CCTV cameras. The system maintained a consistent 16.5 frames per second (FPS) over a 21-hour operation. The average end-to-end latency for detecting behavioral anomalies and alerting users was 26.76 seconds.


title: Deep Set Neural Networks for forecasting asynchronous bioprocess timeseries

abstract: Cultivation experiments often produce sparse and irregular time series. Classical approaches based on mechanistic models, like Maximum Likelihood fitting or Monte-Carlo Markov chain sampling, can easily account for sparsity and time-grid irregularities, but most statistical and Machine Learning tools are not designed for handling sparse data out-of-the-box. Among popular approaches there are various schemes for filling missing values (imputation) and interpolation into a regular grid (alignment). However, such methods transfer the biases of the interpolation or imputation models to the target model. We show that Deep Set Neural Networks equipped with triplet encoding of the input data can successfully handle bio-process data without any need for imputation or alignment procedures. The method is agnostic to the particular nature of the time series and can be adapted for any task, for example, online monitoring, predictive control, design of experiments, etc. In this work, we focus on forecasting. We argue that such an approach is especially suitable for typical cultivation processes, demonstrate the performance of the method on several forecasting tasks using data generated from macrokinetic growth models under realistic conditions, and compare the method to a conventional fitting procedure and methods based on imputation and alignment.


title: Fixed-point methods for long-term power control and beamforming design in large-scale MIMO

abstract: This study presents novel applications of fixed-point methods to solve previously open joint power control and beamforming design problems in modern large-scale MIMO systems, e.g., based on the cell-free massive MIMO and XL-MIMO concepts. In particular, motivated by the need for scalable system architectures, we revisit the classical sum power minimization and max-min fair design criteria by considering long-term power control and beamforming design based on channel statistics and possibly limited channel state information (CSI) sharing across distributed processing units. This approach is believed to mitigate the severe scalability issues of competing short-term optimal algorithms in the literature, which must be executed for every channel realization by a central controller endowed with global CSI, hence imposing very demanding requirements in terms of computation and interconnection capabilities. The obtained optimal algorithms are then illustrated and compared against existing short-term and long-term approaches via numerical simulations in a cell-free massive MIMO setup.


title: Copula-based deviation measure of cointegrated financial assets

abstract: This study outlines a comprehensive methodology utilizing copulas to discern inconsistencies in the behavior exhibited by pairs of financial assets. It introduces a robust approach to establishing the interrelationship between the returns of these assets, exploring potential measures of dependence among the stochastic variables represented by these returns. Special emphasis is placed on scrutinizing the traditional measure of dependence, namely the correlation coefficient, delineating its limitations. Furthermore, the study articulates an alternative methodology that offers enhanced stability and informativeness in appraising the relationship between financial instrument returns.


title: Joint State and Input Estimation for Linear Dynamical Systems with Sparse Control

abstract: Sparsity constraints on the control inputs of a linear dynamical system naturally arise in several practical applications such as networked control, computer vision, seismic signal processing, and cyber-physical systems. In this work, we consider the problem of jointly estimating the states and sparse inputs of such systems from low-dimensional (compressive) measurements. Due to the low-dimensional measurements, conventional Kalman filtering and smoothing algorithms fail to accurately estimate the states and inputs. We present a Bayesian approach that exploits the input sparsity to significantly improve estimation accuracy. Sparsity in the input estimates is promoted by using different prior distributions on the input. We investigate two main approaches: regularizer-based MAP, and {Bayesian learning-based estimation}. We also extend the approaches to handle control inputs with common support and analyze the time and memory complexities of the presented algorithms. Finally, using numerical simulations, we show that our algorithms outperform the state-of-the-art methods in terms of accuracy and time/memory complexities, especially in the low-dimensional measurement regime.


title: Celestial amplitudes dual to the O(N) nonlinear sigma model

abstract: We compute celestial amplitudes corresponding to the exact S-matrix of the 2d O(N)-symmetric nonlinear sigma model. Celestial amplitudes for two-dimensional integrable S-matrices simplify to Fourier transforms. Due to the connection between Fourier and Mellin transforms, celestial amplitudes for O(N) model are Mejer G-functions. We also prove crossing symmetry for obtained results and review simplifications for O(3) symmetry case.


title: Aether-Electromagnetic theory and the Casimir effect

abstract: In this study, we explore the impact of an additional dimension, as proposed in Kaluza-Klein's theory, on the Casimir effect within the context of Lorentz invariance violation (LIV), which is represented by the ``aether field''. We demonstrate that the Casimir energy is directly influenced by the presence of the fifth dimension, as well as by the aether parameter. Consequently, the force between the plates is also subject to variations of these parameters. Furthermore, we examine constraints on both the size of the extra dimension and the aether field parameter based on experimental data. The LIV parameter can provide insights into addressing the size-related challenges in Kaluza-Klein's theory and offers a mean to establish an upper limit on the size of the extra dimension. This helps to rationalize the difficulties associated with its detection in current experiments.


title: Somos-4 and a quartic Surface in $\mathbb{RP}^{3}$

abstract: The Somos-4 equation defines the sequences with this name. Looking at these sequences with an additional property we get a quartic polynomial in 4 variables. This polynomial defines a rational, projective surface in $\mathbb{RP}^{3}$. Here some generators of the subgroup of $Cr_3 (\mathbb{R})$ are determined, whose birational maps are automorphisms of the quartic surface.


title: Ruling out models of vector dark matter in asymptotically safe quantum gravity

abstract: The nature of dark matter is a problem with too many potential solutions. We investigate whether a consistent embedding into quantum gravity can decimate the number of solutions to the dark-matter problem. Concretely, we focus on a hidden sector composed of a gauge field and a charged scalar, with gauge group U(1)$_{\textmd{D}}$ or SU(2)$_\textmd{D}$. The gauge field is the dark matter candidate, if the gauge symmetry is broken spontaneously. Phenomenological constraints on the couplings in this model arise from requiring that the correct dark matter relic density is produced via thermal freeze-out and that recent bounds from direct-detection experiments are respected. We find that the consistent embedding into asymptotically safe quantum gravity gives rise to additional constraints on the couplings at the Planck scale, from which we calculate corresponding constraints at low energy scales. We discover that phenomenological constraints cannot be satisfied simultaneously with theoretical constraints from asymptotically safe quantum gravity, ruling out these dark matter models.


title: VideoSwap: Customized Video Subject Swapping with Interactive Semantic Point Correspondence

abstract: Current diffusion-based video editing primarily focuses on structure-preserved editing by utilizing various dense correspondences to ensure temporal consistency and motion alignment. However, these approaches are often ineffective when the target edit involves a shape change. To embark on video editing with shape change, we explore customized video subject swapping in this work, where we aim to replace the main subject in a source video with a target subject having a distinct identity and potentially different shape. In contrast to previous methods that rely on dense correspondences, we introduce the VideoSwap framework that exploits semantic point correspondences, inspired by our observation that only a small number of semantic points are necessary to align the subject's motion trajectory and modify its shape. We also introduce various user-point interactions (\eg, removing points and dragging points) to address various semantic point correspondence. Extensive experiments demonstrate state-of-the-art video subject swapping results across a variety of real-world videos.


title: Theoretical Bounds for Noise Filtration using Low-Rank Tensor Approximations

abstract: Low-rank tensor approximation error bounds are proposed for the case of noisy input data that depend on low-rank representation type, rank and the dimensionality of the tensor. The bounds show that high-dimensional low-rank structured approximations provide superior noise-filtering properties compared to matrices with the same rank and total element count.


title: Sequential Sweeps and High Dimensional Expansion

abstract: It is well known that the spectral gap of the down-up walk over an $n$-partite simplicial complex (also known as Glauber dynamics) cannot be better than $O(1/n)$ due to natural obstructions such as coboundaries. We study an alternative random walk over partite simplicial complexes known as the sequential sweep or the systematic scan Glauber dynamics: Whereas the down-up walk at each step selects a random coordinate and updates it based on the remaining coordinates, the sequential sweep goes through each of the coordinates one by one in a deterministic order and applies the same update operation. It is natural, thus, to compare $n$-steps of the down-up walk with a single step of the sequential sweep. Interestingly, while the spectral gap of the $n$-th power of the down-up walk is still bounded from above by a constant, under a strong enough local spectral assumption (in the sense of Gur, Lifschitz, Liu, STOC 2022) we can show that the spectral gap of this walk can be arbitrarily close to 1. We also study other isoperimetric inequalities for these walks, and show that under the assumptions of local entropy contraction (related to the considerations of Gur, Lifschitz, Liu), these walks satisfy an entropy contraction inequality.


title: Cosmic star-formation history and black hole accretion history inferred from the JWST mid-infrared source counts

abstract: With the advent of the James Webb Space Telescope (JWST), extra-galactic source count studies were conducted down to sub-microJy in the mid-infrared (MIR), which is several tens of times fainter than what the previous-generation infrared (IR) telescopes achieved in the MIR. In this work, we aim to interpret the JWST source counts and constrain cosmic star-formation history (CSFH) and black hole accretion history (BHAH). We employ the backward evolution of local luminosity functions (LLFs) of galaxies to reproduce the observed source counts from sub-microJy to a few tens of mJy in the MIR bands of the JWST. The shapes of the LLFs at the MIR bands are determined using the model templates of the spectral energy distributions (SEDs) for five representative galaxy types (star-forming galaxies, starbursts, composite, AGN type 2 and 1). By simultaneously fitting our model to all the source counts in the six MIR bands, along with the previous results, we determine the best-fit evolutions of MIR LFs for each of the five galaxy types, and subsequently estimate the CSFH and BHAH. Thanks to the JWST, our estimates are based on several tens of times fainter MIR sources, the existence of which was merely an extrapolation in previous studies.


title: Physics simulation capabilities of LLMs

abstract: [Abridged abstract] Large Language Models (LLMs) can solve some undergraduate-level to graduate-level physics textbook problems and are proficient at coding. Combining these two capabilities could one day enable AI systems to simulate and predict the physical world. We present an evaluation of state-of-the-art (SOTA) LLMs on PhD-level to research-level computational physics problems. We condition LLM generation on the use of well-documented and widely-used packages to elicit coding capabilities in the physics and astrophysics domains. We contribute $\sim 50$ original and challenging problems in celestial mechanics (with REBOUND), stellar physics (with MESA), 1D fluid dynamics (with Dedalus) and non-linear dynamics (with SciPy). Since our problems do not admit unique solutions, we evaluate LLM performance on several soft metrics: counts of lines that contain different types of errors (coding, physics, necessity and sufficiency) as well as a more "educational" Pass-Fail metric focused on capturing the salient physical ingredients of the problem at hand. As expected, today's SOTA LLM (GPT4) zero-shot fails most of our problems, although about 40\% of the solutions could plausibly get a passing grade. About $70-90 \%$ of the code lines produced are necessary, sufficient and correct (coding \& physics). Physics and coding errors are the most common, with some unnecessary or insufficient lines. We observe significant variations across problem class and difficulty. We identify several failure modes of GPT4 in the computational physics domain. Our reconnaissance work provides a snapshot of current computational capabilities in classical physics and points to obvious improvement targets if AI systems are ever to reach a basic level of autonomy in physics simulation capabilities.

categories: cs.AI astro-ph.EP astro-ph.IM astro-ph.SR physics.data-an


title: Robust Detrending of Spatially Correlated Systematics in Kepler Light Curves Using Low-Rank Methods

abstract: Light curves produced by wide-field exoplanet transit surveys such as CoRoT, Kepler, and TESS are affected by sensor-wide systematic noise which is correlated both spatiotemporally and with other instrumental parameters such as photometric magnitude. Robust and effective systematics mitigation is necessary to achieve the level of photometric accuracy required to detect exoplanet transits and to faithfully recover other forms of intrinsic astrophysical variability. We demonstrate the feasibility of a new exploratory algorithm to remove spatially-correlated systematic noise and detrend light curves obtained from wide-field transit surveys. This spatial systematics algorithm is data-driven and fits a low-rank linear model for the systematics conditioned on a total-variation spatial constraint. The total-variation constraint models spatial systematic structure across the sensor on a foundational level. The fit is performed using gradient descent applied to, a variable reduced least-squares penalty and a modified form of total-variation prior; both the systematics basis vectors and their weighting coefficients are iteratively varied. The algorithm was numerically evaluated against a reference principal component analysis, using both signal injection on a selected Kepler dataset, as well as full simulations within the same Kepler coordinate framework. We find our algorithm to reduce overfitting of astrophysical variability over longer signal timescales (days) while performing comparably relative to the reference method for exoplanet transit timescales. The algorithm performance and application is assessed and future development outlined.


title: Cultural Differences in Students' Privacy Concerns in Learning Analytics across Germany, South Korea, Spain, Sweden, and the United States

abstract: Applications of learning analytics (LA) can raise concerns from students about their privacy in higher education contexts. Developing effective privacy-enhancing practices requires a systematic understanding of students' privacy concerns and how they vary across national and cultural dimensions. We conducted a survey study with established instruments to measure privacy concerns and cultural values for university students in five countries (Germany, South Korea, Spain, Sweden, and the United States; N = 762). The results show that students generally trusted institutions with their data and disclosed information as they perceived the risks to be manageable even though they felt somewhat limited in their ability to control their privacy. Across the five countries, German and Swedish students stood out as the most trusting and least concerned, especially compared to US students who reported greater perceived risk and less control. Students in South Korea and Spain responded similarly on all five privacy dimensions (perceived privacy risk, perceived privacy control, privacy concerns, trusting beliefs, and non-self-disclosure behavior), despite their significant cultural differences. Culture measured at the individual level affected the antecedents and outcomes of privacy concerns more than country-level culture. Perceived privacy risk and privacy control increase with power distance. Trusting beliefs increase with a desire for uncertainty avoidance and lower masculinity. Non-self-disclosure behaviors rise with power distance and masculinity, and decrease with more uncertainty avoidance. Thus, cultural values related to trust in institutions, social equality and risk-taking should be considered when developing privacy-enhancing practices and policies in higher education.


title: The Exact Projective Penalty Method for Constrained Optimization

abstract: A new exact projective penalty method is proposed for the equivalent reduction of constrained optimization problems to nonsmooth unconstrained ones. In the method, the original objective function is extended to infeasible points by summing its value at the projection of an infeasible point on the feasible set with the distance to the projection. Besides Euclidean projections, also a pointed projection in the direction of some fixed internal feasible point can be used. The equivalence means that local and global minimums of the problems coincide. Nonconvex sets with multivalued Euclidean projections are admitted, and the objective function may be lower semicontinuous. The particular case of convex problems is included. The obtained unconstrained or box-constrained problem is solved by a version of the branch and bound method combined with local optimization. In principle, any local optimizer can be used within the branch and bound scheme but in numerical experiments sequential quadratic programming method was successfully used. So the proposed exact penalty method does not assume the existence of the objective function outside the allowable area and does not require the selection of the penalty coefficient.


title: Single-sample versus case-control sampling scheme for Positive Unlabeled data: the story of two scenarios

abstract: In the paper we argue that performance of the classifiers based on Empirical Risk Minimization (ERM) for positive unlabeled data, which are designed for case-control sampling scheme may significantly deteriorate when applied to a single-sample scenario. We reveal why their behavior depends, in all but very specific cases, on the scenario. Also, we introduce a single-sample case analogue of the popular non-negative risk classifier designed for case-control data and compare its performance with the original proposal. We show that the significant differences occur between them, especiall when half or more positive of observations are labeled. The opposite case when ERM minimizer designed for the case-control case is applied for single-sample data is also considered and similar conclusions are drawn. Taking into account difference of scenarios requires a sole, but crucial, change in the definition of the Empirical Risk.


title: Interacting Urns on Directed Networks with Node-Dependent Sampling and Reinforcement

abstract: We consider interacting urns on a finite directed network, where both sampling and reinforcement processes depend on the nodes of the network. This extends previous research by incorporating node-dependent sampling (preferential or de-preferential) and reinforcement. We classify the reinforcement schemes and the networks on which the proportion of balls of either colour in each urn converges almost surely to a deterministic limit. We show that in case the reinforcement at all nodes is of P\'olya-type, the limiting behaviour is very different from the node-independent sampling and a deterministic limit exists for certain networks classified by the distribution of preferential and de-preferential nodes across the network. We also investigate conditions for achieving synchronisation of the colour proportions across the urns. Further, we analyse fluctuations around the limit, under specific conditions on the reinforcement matrices and network structure.


title: Inapproximability of Maximum Diameter Clustering for Few Clusters

abstract: In the Max-k-diameter problem, we are given a set of points in a metric space, and the goal is to partition the input points into k parts such that the maximum pairwise distance between points in the same part of the partition is minimized. The approximability of the Max-k-diameter problem was studied in the eighties, culminating in the work of Feder and Greene [STOC'88], wherein they showed it is NP-hard to approximate within a factor better than 2 in the $\ell_1$ and $\ell_\infty$ metrics, and NP-hard to approximate within a factor better than 1.969 in the Euclidean metric. This complements the celebrated 2 factor polynomial time approximation algorithm for the problem in general metrics (Gonzalez [TCS'85]; Hochbaum and Shmoys [JACM'86]). Over the last couple of decades, there has been increased interest from the algorithmic community to study the approximability of various clustering objectives when the number of clusters is fixed. In this setting, the framework of coresets has yielded PTAS for most popular clustering objectives, including k-means, k-median, k-center, k-minsum, and so on. In this paper, rather surprisingly, we prove that even when k=3, the Max-k-diameter problem is NP-hard to approximate within a factor of 1.5 in the $\ell_1$-metric (and Hamming metric) and NP-hard to approximate within a factor of 1.304 in the Euclidean metric. Our main conceptual contribution is the introduction of a novel framework called cloud systems which embed hypergraphs into $\ell_p$-metric spaces such that the chromatic number of the hypergraph is related to the quality of the Max-k-diameter clustering of the embedded pointset. Our main technical contributions are the constructions of nontrivial cloud systems in the Euclidean and $\ell_1$-metrics using extremal geometric structures.


title: On the Ziv-Merhav theorem beyond Markovianity II: leveraging the thermodynamic formalism

abstract: We prove asymptotic results for a modification of the cross-entropy estimator originally introduced by Ziv and Merhav in the Markovian setting in 1993. Our results concern a more general class of decoupled measures on shift spaces over a finite alphabet and in particular imply strong asymptotic consistency of the modified estimator for all pairs of functions of stationary, irreducible, finite-state Markov chains satisfying a mild decay condition. Our approach is based on the study of a rescaled cumulant-generating function called the cross-entropic pressure, importing to information theory some techniques from the study of large deviations within the thermodynamic formalism.


title: Persistent Directed Flag Laplacian

abstract: Topological data analysis (TDA) has had enormous success in science and engineering in the past decade. Persistent topological Laplacians (PTLs) overcome some limitations of persistent homology, a key technique in TDA, and provide substantial insight to the behavior of various geometric and topological objects. This work extends PTLs to directed flag complexes, which are an exciting generalization to flag complexes, also known as clique complexes, that arise naturally in many situations. We introduce the directed flag Laplacian and show that the proposed persistent directed flag Laplacian (PDFL) is a distinct way of analyzing these flag complexes. Example calculations are provided to demonstrate the potential of the proposed PDFL in real world applications.


title: Quantum Steenrod operations of symplectic resolutions

abstract: We study the mod $p$ equivariant quantum cohomology of conical symplectic resolutions. Using symplectic genus zero enumerative geometry, Fukaya and Wilkins defined operations on mod $p$ quantum cohomology deforming the classical Steenrod operations on mod $p$ cohomology. We conjecture that these quantum Steenrod operations on divisor classes agree with the $p$-curvature of the mod $p$ equivariant quantum connection, and verify this in the case of the Springer resolution. The key ingredient is a new compatibility relation between the quantum Steenrod operations and the shift operators.


title: Golden parachutes under the threat of accidents

abstract: This paper addresses a continuous-time contracting model that extends the problem introduced by Sannikov and later rigorously analysed by Possama\"{i} and Touzi. In our model, a principal hires a risk-averse agent to carry out a project. Specifically, the agent can perform two different tasks, namely to increase the instantaneous growth rate of the project's value, and to reduce the likelihood of accidents occurring. In order to compensate for these costly actions, the principal offers a continuous stream of payments throughout the entire duration of a contract, which concludes at a random time, potentially resulting in a lump-sum payment. We examine the consequences stemming from the introduction of accidents, modelled by a compound Poisson process that negatively impact the project's value. Furthermore, we investigate whether certain economic scenarii are still characterised by a golden parachute as in Sannikov's model. A golden parachute refers to a situation where the agent stops working and subsequently receives a compensation, which may be either a lump-sum payment leading to termination of the contract or a continuous stream of payments, thereby corresponding to a pension.


title: Mitigating Data Injection Attacks on Federated Learning

abstract: Federated learning is a technique that allows multiple entities to collaboratively train models using their data without compromising data privacy. However, despite its advantages, federated learning can be susceptible to false data injection attacks. In these scenarios, a malicious entity with control over specific agents in the network can manipulate the learning process, leading to a suboptimal model. Consequently, addressing these data injection attacks presents a significant research challenge in federated learning systems. In this paper, we propose a novel technique to detect and mitigate data injection attacks on federated learning systems. Our mitigation method is a local scheme, performed during a single instance of training by the coordinating node, allowing the mitigation during the convergence of the algorithm. Whenever an agent is suspected to be an attacker, its data will be ignored for a certain period, this decision will often be re-evaluated. We prove that with probability 1, after a finite time, all attackers will be ignored while the probability of ignoring a trustful agent becomes 0, provided that there is a majority of truthful agents. Simulations show that when the coordinating node detects and isolates all the attackers, the model recovers and converges to the truthful model.


title: Learning Pseudo-Labeler beyond Noun Concepts for Open-Vocabulary Object Detection

abstract: Open-vocabulary object detection (OVOD) has recently gained significant attention as a crucial step toward achieving human-like visual intelligence. Existing OVOD methods extend target vocabulary from pre-defined categories to open-world by transferring knowledge of arbitrary concepts from vision-language pre-training models to the detectors. While previous methods have shown remarkable successes, they suffer from indirect supervision or limited transferable concepts. In this paper, we propose a simple yet effective method to directly learn region-text alignment for arbitrary concepts. Specifically, the proposed method aims to learn arbitrary image-to-text mapping for pseudo-labeling of arbitrary concepts, named Pseudo-Labeling for Arbitrary Concepts (PLAC). The proposed method shows competitive performance on the standard OVOD benchmark for noun concepts and a large improvement on referring expression comprehension benchmark for arbitrary concepts.


title: RidePy: A fast and modular framework for simulating ridepooling systems

abstract: RidePy enables fast computer simulations of on-demand mobility modes such as ridehailing or ridepooling. It strongly focuses on modeling the mobility service itself, rather than its customers or the environment. Through a combination of Python, Cython and C++, it offers ease of use at high performance. Its modular design makes customization easy, while the included modules allow for a quick start.


title: Authoring Worked Examples for Java Programming with Human-AI Collaboration

abstract: Worked examples (solutions to typical programming problems presented as a source code in a certain language and are used to explain the topics from a programming class) are among the most popular types of learning content in programming classes. Most approaches and tools for presenting these examples to students are based on line-by-line explanations of the example code. However, instructors rarely have time to provide line-by-line explanations for a large number of examples typically used in a programming class. In this paper, we explore and assess a human-AI collaboration approach to authoring worked examples for Java programming. We introduce an authoring system for creating Java worked examples that generates a starting version of code explanations and presents it to the instructor to edit if necessary. We also present a study that assesses the quality of explanations created with this approach.


title: On the Multiplicity One Conjecture for Mean Curvature Flows of surfaces

abstract: We prove the Multiplicity One Conjecture for mean curvature flows of surfaces in $\mathbb{R}^3$. Specifically, we show that any blow-up limit of such mean curvature flows has multiplicity one. This has several applications. First, combining our work with results of Brendle and Choi-Haslhofer-Hershkovits-White, we show that any level set flow starting from an embedded surface diffeomorphic to a 2-spheres does not fatten. In fact, we obtain that the problem of evolving embedded 2-spheres via the mean curvature flow equation is well-posed within a natural class of singular solutions. Second, we use our result to remove an additional condition in recent work of Chodosh-Choi-Mantoulidis-Schulze. This shows that mean curvature flows starting from any generic embedded surface only incur cylindrical or spherical singularities. Third, our approach offers a new regularity theory for solutions of mean curvature flows that flow through singularities. Among other things, this theory also applies to the innermost and outermost flow of any embedded surface and shows that all singularity models of such flows must have multiplicity one. It also establishes equality of the fattening time with the discrepancy time. Lastly, we obtain a number of further results characterizing a separation phenomenon of mean curvature flows of surfaces.


title: Pair filamentation and laser scattering in beam-driven QED cascades

abstract: We report the observation of longitudinal filamentation of an electron-positron pair plasma in a beam-driven QED cascade. The filaments are created in the "pair-reflection" regime, where the generated pairs are partially stopped and reflected in the strong laser field. The density filaments form near the center of the laser pulse and have diameters similar to the laser wavelength. They develop and saturate within a few laser cycles and do not induce sizable magnetostatic fields. We rule out the onset of two-stream instability or Weibel instability and attribute the origin of pair filamentation to laser ponderomotive forces. The small plasma filaments induce strong scattering of laser energy to large angles, serving as a signature of collective QED plasma dynamics.


title: The variation of Barnes and Bessel zeta functions

abstract: We consider the variation of two fundamental types of zeta functions that arise in the study of both physical and analytical problems in geometric settings involving conical singularities. These are the Barnes zeta functions and the Bessel zeta functions. Although the series used to define them do not converge at zero, using methods of complex analysis we are able to calculate the derivatives of these zeta functions at zero. These zeta functions depend critically on a certain parameter, and we calculate the variation of these derivatives with respect to the parameter. For integer values of the parameter, we obtain a new expression for the variation of the Barnes zeta function with respect to the parameter in terms of special functions. For the Bessel zeta functions, we obtain two different expressions for the variation via two independent methods. Of course, the expressions should be equal, and we verify this by demonstrating several identities for both special and elementary functions. We encountered these zeta functions while working with determinants of Laplace operators on cones and angular sectors.


title: ArtAdapter: Text-to-Image Style Transfer using Multi-Level Style Encoder and Explicit Adaptation

abstract: This work introduces ArtAdapter, a transformative text-to-image (T2I) style transfer framework that transcends traditional limitations of color, brushstrokes, and object shape, capturing high-level style elements such as composition and distinctive artistic expression. The integration of a multi-level style encoder with our proposed explicit adaptation mechanism enables ArtAdapter to achieve unprecedented fidelity in style transfer, ensuring close alignment with textual descriptions. Additionally, the incorporation of an Auxiliary Content Adapter (ACA) effectively separates content from style, alleviating the borrowing of content from style references. Moreover, our novel fast finetuning approach could further enhance zero-shot style representation while mitigating the risk of overfitting. Comprehensive evaluations confirm that ArtAdapter surpasses current state-of-the-art methods.