title: Building explainable graph neural network by sparse learning for the drug-protein binding prediction

abstract: Explainable Graph Neural Networks (GNNs) have been developed and applied to drug-protein binding prediction to identify the key chemical structures in a drug that have active interactions with the target proteins. However, the key structures identified by the current explainable GNN models are typically chemically invalid. Furthermore, a threshold needs to be manually selected to pinpoint the key structures from the rest. To overcome the limitations of the current explainable GNN models, we propose our SLGNN, which stands for using Sparse Learning to Graph Neural Networks. Our SLGNN relies on using a chemical-substructure-based graph (where nodes are chemical substructures) to represent a drug molecule. Furthermore, SLGNN incorporates generalized fussed lasso with message-passing algorithms to identify connected subgraphs that are critical for the drug-protein binding prediction. Due to the use of the chemical-substructure-based graph, it is guaranteed that any subgraphs in a drug identified by our SLGNN are chemically valid structures. These structures can be further interpreted as the key chemical structures for the drug to bind to the target protein. We demonstrate the explanatory power of our SLGNN by first showing all the key structures identified by our SLGNN are chemically valid. In addition, we illustrate that the key structures identified by our SLGNN have more predictive power than the key structures identified by the competing methods. At last, we use known drug-protein binding data to show the key structures identified by our SLGNN contain most of the binding sites.


title: Certifying the topology of quantum networks: theory and experiment

abstract: Distributed quantum information in networks is paramount for global secure quantum communication. Moreover, it finds applications as a resource for relevant tasks, such as clock synchronization, magnetic field sensing, and blind quantum computation. For quantum network analysis and benchmarking of implementations, however, it is crucial to characterize the topology of networks in a way that reveals the nodes between which entanglement can be reliably distributed. Here, we demonstrate an efficient scheme for this topology certification. Our scheme allows for distinguishing, in a scalable manner, different networks consisting of bipartite and multipartite entanglement sources, for different levels of trust in the measurement devices and network nodes. We experimentally demonstrate our approach by certifying the topology of different six-qubit networks generated with polarized photons, employing active feed-forward and time multiplexing. Our methods can be used for general simultaneous tests of multiple hypotheses with few measurements, being useful for other certification scenarios in quantum technologies.


title: KG-MDL: Mining Graph Patterns in Knowledge Graphs with the MDL Principle

abstract: Nowadays, increasingly more data are available as knowledge graphs (KGs). While this data model supports advanced reasoning and querying, they remain difficult to mine due to their size and complexity. Graph mining approaches can be used to extract patterns from KGs. However this presents two main issues. First, graph mining approaches tend to extract too many patterns for a human analyst to interpret (pattern explosion). Second, real-life KGs tend to differ from the graphs usually treated in graph mining: they are multigraphs, their vertex degrees tend to follow a power-law, and the way in which they model knowledge can produce spurious patterns. Recently, a graph mining approach named GraphMDL+ has been proposed to tackle the problem of pattern explosion, using the Minimum Description Length (MDL) principle. However, GraphMDL+, like other graph mining approaches, is not suited for KGs without adaptations. In this paper we propose KG-MDL, a graph pattern mining approach based on the MDL principle that, given a KG, generates a human-sized and descriptive set of graph patterns, and so in a parameter-less and anytime way. We report on experiments on medium-sized KGs showing that our approach generates sets of patterns that are both small enough to be interpreted by humans and descriptive of the KG. We show that the extracted patterns highlight relevant characteristics of the data: both of the schema used to create the data, and of the concrete facts it contains. We also discuss the issues related to mining graph patterns on knowledge graphs, as opposed to other types of graph data.


title: A K\"ummer construction for Chern-Ricci flat balanced manifolds

abstract: Given a non-K\"ahler Calabi-Yau orbifold with a finite family of isolated singularities endowed with a Chern-Ricci flat balanced metric, we show, via a gluing construction, that all its crepant resolutions admit Chern-Ricci flat balanced metrics, and discuss applications to the search of solutions for the Hull-Strominger system. We also describe the scenario of singular threefolds with ordinary double points, and see that similarly is possible to obtain balanced approximately Chern-Ricci flat metrics.


title: Measurement of the pion form factor with CMD-3 detector and its implication to the hadronic contribution to muon (g-2)

abstract: The cross section of the process $e^+e^-\to\pi^+\pi^-$ has been measured in the center-of-mass energy range from 0.32 to 1.2 GeV with the CMD-3 detector at the electron-positron collider VEPP-2000. The measurement is based on an integrated luminosity of about 88 pb$^{-1}$, of which 62 pb$^{-1}$ represent a complete dataset collected by CMD-3 at center-of-mass energies below 1 GeV. In the dominant region near the $\rho$ resonance a systematic uncertainty of 0.7% was achieved. The implications of the presented results for the evaluation of the hadronic contribution to the anomalous magnetic moment of the muon are discussed.


title: On the approximation of the $\delta$-shell interaction for the 3-D Dirac operator

abstract: We consider the three-dimensional Dirac operator coupled with a combination of electrostatic and Lorentz scalar $\delta$-shell interactions. We approximate this operator with general local interactions $V$. Without any hypotheses of smallness on the potential $V$, converges in the strong resolvent sense to the Dirac Hamiltonian coupled with a $\delta$-shell potential supported on $\S$, a bounded smooth surface. However, the coupling constant depends nonlinearly on the potential $V.$


title: Symmetric Exponential Time Requires Near-Maximum Circuit Size

abstract: We show that there is a language in $\mathsf{S}_2\mathsf{E}/_1$ (symmetric exponential time with one bit of advice) with circuit complexity at least $2^n/n$. In particular, the above also implies the same near-maximum circuit lower bounds for the classes $\Sigma_2\mathsf{E}$, $(\Sigma_2\mathsf{E}\cap\Pi_2\mathsf{E})/_1$, and $\mathsf{ZPE}^{\mathsf{NP}}/_1$. Previously, only "half-exponential" circuit lower bounds for these complexity classes were known, and the smallest complexity class known to require exponential circuit complexity was $\Delta_3\mathsf{E} = \mathsf{E}^{\Sigma_2\mathsf{P}}$ (Miltersen, Vinodchandran, and Watanabe COCOON'99). Our circuit lower bounds are corollaries of an unconditional zero-error pseudodeterministic algorithm with an $\mathsf{NP}$ oracle and one bit of advice ($\mathsf{FZPP}^{\mathsf{NP}}/_1$) that solves the range avoidance problem infinitely often. This algorithm also implies unconditional infinitely-often pseudodeterministic $\mathsf{FZPP}^{\mathsf{NP}}/_1$ constructions for Ramsey graphs, rigid matrices, two-source extractors, linear codes, and $\mathrm{K}^{\mathrm{poly}}$-random strings with nearly optimal parameters. Our proofs relativize. The two main technical ingredients are (1) Korten's $\mathsf{P}^{\mathsf{NP}}$ reduction from the range avoidance problem to constructing hard truth tables (FOCS'21), which was in turn inspired by a result of Je\v{r}\'abek on provability in Bounded Arithmetic (Ann. Pure Appl. Log. 2004); and (2) the recent iterative win-win paradigm of Chen, Lu, Oliveira, Ren, and Santhanam (FOCS'23).


title: A matter of attitude: Focusing on positive and active gradients to boost saliency maps

abstract: Saliency maps have become one of the most widely used interpretability techniques for convolutional neural networks (CNN) due to their simplicity and the quality of the insights they provide. However, there are still some doubts about whether these insights are a trustworthy representation of what CNNs use to come up with their predictions. This paper explores how rescuing the sign of the gradients from the saliency map can lead to a deeper understanding of multi-class classification problems. Using both pretrained and trained from scratch CNNs we unveil that considering the sign and the effect not only of the correct class, but also the influence of the other classes, allows to better identify the pixels of the image that the network is really focusing on. Furthermore, how occluding or altering those pixels is expected to affect the outcome also becomes clearer.


title: VIC-KD: Variance-Invariance-Covariance Knowledge Distillation to Make Keyword Spotting More Robust Against Adversarial Attacks

abstract: Keyword spotting (KWS) refers to the task of identifying a set of predefined words in audio streams. With the advances seen recently with deep neural networks, it has become a popular technology to activate and control small devices, such as voice assistants. Relying on such models for edge devices, however, can be challenging due to hardware constraints. Moreover, as adversarial attacks have increased against voice-based technologies, developing solutions robust to such attacks has become crucial. In this work, we propose VIC-KD, a robust distillation recipe for model compression and adversarial robustness. Using self-supervised speech representations, we show that imposing geometric priors to the latent representations of both Teacher and Student models leads to more robust target models. Experiments on the Google Speech Commands datasets show that the proposed methodology improves upon current state-of-the-art robust distillation methods, such as ARD and RSLAD, by 12% and 8% in robust accuracy, respectively.


title: Actions of acylindrically hyperbolic groups on $\ell^1$

abstract: We construct affine uniformly Lipschitz actions on $\ell^1$ and $L^1$ for certain groups with hyperbolic features. For acylindrically hyperbolic groups, our actions have unbounded orbits, while for residually finite hyperbolic groups and for mapping class groups, the actions have proper orbits, with the induced $L^1$-metric quasi-isometric (respectively, almost quasi-isometric) to the word metric.


title: Meso-scale size effects of material heterogeneities on crack propagation in brittle solids: Perspectives from phase-field simulations

abstract: Brittle solids are often toughened by adding a second-phase material. This practice often results in composites with material heterogeneities on the meso scale: large compared to the scale of the process zone but small compared to that of the application. The specific configuration (both geometrical and mechanical) of this mesoscale heterogeneity is generally recognized as important in determining crack propagation and, subsequently, the (effective) toughness of the composite. Here, we systematically investigate how dynamic crack propagation is affected by mesoscale heterogeneities taking the form of an array of inclusions. Using a variational phase-field approach, we compute the apparent crack speed and fracture energy dissipation rate to compare crack propagation under Mode-I loading across different configurations of these inclusions. If fixing the volume fraction of inclusions, matching the inclusion size to the K-dominance zone size gives rise to the best toughening outcome. Conversely, if varying the volume fraction of inclusions, a lower volume fraction configuration can lead to a better toughening outcome if and only if the inclusion size approaches from above the size of the K-dominance zone. Since the size of the K-dominance zone can be estimated \textit{a priori} given an understanding of the application scenario and material availability, we can, in principle, exploit this estimation to design a material's mesoscale heterogeneity that optimally balances the tradeoff between strength and toughness. This paves the way for realizing functional (meta-)materials against crack propagation in extreme environments.


title: Platform-Aware FPGA System Architecture Generation based on MLIR

abstract: FPGA acceleration is becoming increasingly important to meet the performance demands of modern computing, particularly in big data or machine learning applications. As such, significant effort is being put into the optimization of the hardware accelerators. However, integrating accelerators into modern FPGA platforms, with key features such as high bandwidth memory (HBM), requires manual effort from a platform expert for every new application. We propose the Olympus multi-level intermediate representation (MLIR) dialect and Olympus-opt, a series of analysis and transformation passes on this dialect, for representing and optimizing platform aware system level FPGA architectures. By leveraging MLIR, our automation will be extensible and reusable both between many sources of input and many platform-specific back-ends.


title: Combining Resonant and Tail-based Anomaly Detection

abstract: In many well-motivated models of the electroweak scale, cascade decays of new particles can result in highly boosted hadronic resonances (e.g. $Z/W/h$). This can make these models rich and promising targets for recently developed resonant anomaly detection methods powered by modern machine learning. We demonstrate this using the state-of-the-art CATHODE method applied to supersymmetry scenarios with gluino pair production. We show that CATHODE, despite being model-agnostic, is nevertheless competitive with dedicated cut-based searches, while simultaneously covering a much wider region of parameter space. The gluino events also populate the tails of the missing energy and $H_T$ distributions, making this a novel combination of resonant and tail-based anomaly detection.


title: Refining fast simulation using machine learning

abstract: At the CMS experiment, a growing reliance on the fast Monte Carlo application (FastSim) will accompany the high luminosity and detector granularity expected in Phase 2. The FastSim chain is roughly 10 times faster than the application based on the GEANT4 detector simulation and full reconstruction referred to as FullSim. However, this advantage comes at the price of decreased accuracy in some of the final analysis observables. In this contribution, a machine learning-based technique to refine those observables is presented. We employ a regression neural network trained with a sophisticated combination of multiple loss functions to provide post-hoc corrections to samples produced by the FastSim chain. The results show considerably improved agreement with the FullSim output and an improvement in correlations among output observables and external parameters. This technique is a promising replacement for existing correction factors, providing higher accuracy and thus contributing to the wider usage of FastSim.


title: VERITAS follow-up observation of the BL Lac blazar B2 1811+31 2020 Flare

abstract: VERITAS is an imaging atmospheric Cherenkov telescope (IACT) array most sensitive to gamma rays in the very-high-energy (VHE) energy band (85 GeV - 30 TeV). As a part of its active galactic nuclei (AGN) program, VERITAS focuses on the identification and follow-up of AGN flares reported by other multiwavelength observatories. Between October 15th and October 19th, 2020, VERITAS followed up on the Fermi-LAT and MAGIC detections of a flare of the intermediate-frequency-peaked BL Lacertae (IBL) object, B2 1811+31, located at a redshift of z=0.117. In this work, we present preliminary scientific results from the analysis of B2 1811+31's 2020 flare, including the corresponding Fermi-LAT light curve and VERITAS detection analysis.


title: Boundary Representations of Locally Compact Hyperbolic Groups

abstract: We develop the theory of Patterson-Sullivan measures on the boundary of a locally compact hyperbolic group, associating to certain left invariant metrics on the group measures on the boundary. We later prove that for second countable, non-elementary, unimodular locally compact hyperbolic groups the associated Koopman representations are irreducible and their isomorphism type classifies the metric on the group up to homothety and bounded additive changes, generalizing a theorem of Garncarek on discrete hyperbolic groups. We use this to answer a question of Caprace, Kalantar and Monod on type I hyperbolic groups in the unimodular case.


title: Thermodynamic Circuits I: Association of devices in stationary nonequilibrium

abstract: For a circuit made of thermodynamic devices in stationary nonequilibrium, we determine the mean currents (of energy, matter, charge, etc) exchanged with external reservoirs driving the circuit out of equilibrium. Starting from the conductance matrix describing the nonlinear current--force characteristics of each device, we obtain the conductance matrix of the composite device. This generalizes the rule of resistance addition (serial association) or conductance addition (parallel association) in stationary out-of-equilibrium thermodynamics and for multiple coupled potentials and currents of different natures. Our work emphasizes the pivotal role of conservation laws when creating circuits of complex devices. Finally, two examples illustrate the determination of the conservation laws for the serial and parallel associations of thermodynamic devices.


title: Non-Abelian dynamical gauge field and topological superfluids in optical Raman lattice

abstract: We propose an experimental scheme to realize non-Abelian dynamical gauge field for ultracold fermions, which induces a novel pairing mechanism of topological superfluidity. The dynamical gauge fields arise from nontrivial interplay effect between the strong Zeeman splitting and Hubbard interaction in a two-dimensional (2D) optical Raman lattice. The spin-flip transitions are forbidden by the large Zeeman detuning, but are restored when the Zeeman splitting is compensated by Hubbard interaction. This scheme allows to generate a dynamical non-Abelian gauge field that leads to a Dirac type correlated 2D spin-orbit interaction depending on local state configurations. The topological superfluid from a novel pairing driven by 2D dynamical gauge fields is reached, with analytic and numerical results being obtained. Our work may open up a door to emulate non-Abelian dynamical gauge fields and correlated topological phases with experimental feasibility.

categories: cond-mat.quant-gas cond-mat.str-el cond-mat.supr-con quant-ph


title: Automated grading workflows for providing personalized feedback to open-ended data science assignments

abstract: Open-ended assignments - such as lab reports and semester-long projects - provide data science and statistics students with opportunities for developing communication, critical thinking, and creativity skills. However, providing grades and formative feedback to open-ended assignments can be very time consuming and difficult to do consistently across students. In this paper, we discuss the steps of a typical grading workflow and highlight which steps can be automated in an approach that we call automated grading workflow. We illustrate how gradetools, a new R package, implements this approach within RStudio to facilitate efficient and consistent grading while providing individualized feedback. By outlining the motivations behind the development of this package and the considerations underlying its design, we hope this article will provide data science and statistics educators with ideas for improving their grading workflows, possibly developing new grading tools or considering use gradetools as their grading workflow assistant.


title: A New Security Threat in MCUs -- SoC-wide timing side channels and how to find them

abstract: Microarchitectural timing side channels have been thoroughly investigated as a security threat in hardware designs featuring shared buffers (e.g., caches) and/or parallelism between attacker and victim task execution. Contradicting common intuitions, recent activities demonstrate, however, that this threat is real also in microcontroller SoCs without such features. In this paper, we describe SoC-wide timing side channels previously neglected by security analysis and present a new formal method to close this gap. In a case study with the RISC-V Pulpissimo SoC platform, our method found a vulnerability to a so far unknown attack variant that allows an attacker to obtain information about a victim's memory access behavior. After implementing a conservative fix, we were able to verify that the SoC is now secure w.r.t. timing side channels.


title: A Stringy Effect on Hawking Radiation

abstract: In string theories, interactions are exponentially suppressed for trans-Planckian space-like external momenta. We study a class of quantum field theories that exhibit this feature modeled after Witten's bosonic open string field theory, and discover a Lorentz-invariant UV/IR relation that leads to the spacetime uncertainty principle proposed by Yoneya. Application to a dynamical black hole background suggests that Hawking radiation is turned off around the scrambling time.


title: Emergent mechanisms for long timescales depend on training curriculum and affect performance in memory tasks

abstract: Recurrent neural networks (RNNs) in the brain and in silico excel at solving tasks with intricate temporal dependencies. Long timescales required for solving such tasks can arise from properties of individual neurons (single-neuron timescale, $\tau$, e.g., membrane time constant in biological neurons) or recurrent interactions among them (network-mediated timescale). However, the contribution of each mechanism for optimally solving memory-dependent tasks remains poorly understood. Here, we train RNNs to solve $N$-parity and $N$-delayed match-to-sample tasks with increasing memory requirements controlled by $N$ by simultaneously optimizing recurrent weights and $\tau$s. We find that for both tasks RNNs develop longer timescales with increasing $N$, but depending on the learning objective, they use different mechanisms. Two distinct curricula define learning objectives: sequential learning of a single-$N$ (single-head) or simultaneous learning of multiple $N$s (multi-head). Single-head networks increase their $\tau$ with $N$ and are able to solve tasks for large $N$, but they suffer from catastrophic forgetting. However, multi-head networks, which are explicitly required to hold multiple concurrent memories, keep $\tau$ constant and develop longer timescales through recurrent connectivity. Moreover, we show that the multi-head curriculum increases training speed and network stability to ablations and perturbations, and allows RNNs to generalize better to tasks beyond their training regime. This curriculum also significantly improves training GRUs and LSTMs for large-$N$ tasks. Our results suggest that adapting timescales to task requirements via recurrent interactions allows learning more complex objectives and improves the RNN's performance.


title: BayesDLL: Bayesian Deep Learning Library

abstract: We release a new Bayesian neural network library for PyTorch for large-scale deep networks. Our library implements mainstream approximate Bayesian inference algorithms: variational inference, MC-dropout, stochastic-gradient MCMC, and Laplace approximation. The main differences from other existing Bayesian neural network libraries are as follows: 1) Our library can deal with very large-scale deep networks including Vision Transformers (ViTs). 2) We need virtually zero code modifications for users (e.g., the backbone network definition codes do not neet to be modified at all). 3) Our library also allows the pre-trained model weights to serve as a prior mean, which is very useful for performing Bayesian inference with the large-scale foundation models like ViTs that are hard to optimise from scratch with the downstream data alone. Our code is publicly available at: \url{https://github.com/SamsungLabs/BayesDLL}\footnote{A mirror repository is also available at: \url{https://github.com/minyoungkim21/BayesDLL}.}.


title: Terahertz-Frequency Plasmonic-Crystal Instability in Field-Effect Transistors with Asymmetric Gate Arrays

abstract: We present a theory for plasmonic crystal instability in a semiconductor field-effect transistor with a dual grating gate, designed with strong asymmetry in the crystal elementary cell. Under the action of a dc current bias, we demonstrate that Bloch plasma waves in the resulting plasmonic crystal, formed in this transistor, develop the Dyakonov-Shur instability across the entire Brillouin zone. By calculating the energy spectrum of the plasmonic crystal and its instability increments, we analyze the dependence of the latter on the electron drift velocity and the extent of the structural asymmetry. Our results point to the possibility of exciting radiating steady-state plasma oscillations at room temperature, in transistors with asymmetric gate arrays that should be readily implementable via standard nanofabrication techniques. Long-range coherence of the unstable plasma oscillations, generated in the elementary cells of the crystal, should dramatically increase the radiated THz electromagnetic power, making this approach a promising pathway to the generation of THz signals.


title: Quantifying nonclassicality of vacuum-one-photon superpositions via potentials for Bell nonlocality, quantum steering, and entanglement

abstract: Entanglement potentials are popular measures of the nonclassicality of single-mode optical fields. These potentials are defined by the amount of entanglement (measured by, e.g., the negativity or concurrence) of the two-mode field generated by mixing a given single-mode field with the vacuum on a balanced beam splitter. We generalize this concept to define the potentials for Bell nonlocality and quantum steering in specific measurement scenarios, in order to quantify single-mode nonclassicality in a more refined way. Thus, we can study the hierarchy of three types of potentials in close analogy to the well-known hierarchy of the corresponding two-mode quantum correlations. For clarity of our presentation, we focus on the analysis of the nonclassicality potentials for arbitrary vacuum-one-photon superpositions (VOPSs), corresponding to a photon-number qubit. We discuss experimentally feasible implementations for the generation of single-mode VOPS states, their mixing with the vacuum on a balanced beam splitter, and their two-mode Wigner-function reconstruction using homodyne tomography to determine the potentials. We analyze the effects of imperfections, including phase damping and unbalanced beam splitting on the quality of the reconstructed two-mode states and nonclassicality potentials. Although we focus on the analysis of VOPS states, single-mode potentials can also be applied to study the nonclassicality of qudits or continuous-variable systems.


title: On Separate Normalization in Self-supervised Transformers

abstract: Self-supervised training methods for transformers have demonstrated remarkable performance across various domains. Previous transformer-based models, such as masked autoencoders (MAE), typically utilize a single normalization layer for both the [CLS] symbol and the tokens. We propose in this paper a simple modification that employs separate normalization layers for the tokens and the [CLS] symbol to better capture their distinct characteristics and enhance downstream task performance. Our method aims to alleviate the potential negative effects of using the same normalization statistics for both token types, which may not be optimally aligned with their individual roles. We empirically show that by utilizing a separate normalization layer, the [CLS] embeddings can better encode the global contextual information and are distributed more uniformly in its anisotropic space. When replacing the conventional normalization layer with the two separate layers, we observe an average 2.7% performance improvement over the image, natural language, and graph domains.


title: Different Regular Black Holes: Geodesic Structures of Test Particles

abstract: This paper investigates the metric of previously proposed regular black holes, calculates their effective potentials, and plots the curves of the effective potentials. By determining the conserved quantities, the dynamical equations for particles and photons near the black hole are derived. The analysis encompasses timelike and null geodesics in different spacetimes, including bound geodesics, unstable circular geodesics, stable circular geodesics, and escape geodesics. The findings are presented through figures and tables. Furthermore, the bound geodesics of the four regular black hole spacetimes are analyzed, examining the average distance of particle orbits from the center of the event horizon, the precession behavior of the perihelion, and the probability of particles appearing inside the outer event horizon during motion. Based on these analyses, a general formula is proposed, which yields the existing metrics when specific parameter values are chosen. The impact of parameter variations on the effective potential and geodesics is then computed using this new formula.


title: Learning fermionic correlations by evolving with random translationally invariant Hamiltonians

abstract: Schemes of classical shadows have been developed to facilitate the read-out of digital quantum devices, but similar tools for analog quantum simulators are scarce and experimentally impractical. In this work, we provide a measurement scheme for fermionic quantum devices that estimates second and fourth order correlation functions by means of free fermionic, translationally invariant evolutions - or quenches - and measurements in the mode occupation number basis. We precisely characterize what correlation functions can be recovered and equip the estimates with rigorous bounds on sample complexities, a particularly important feature in light of the difficulty of getting good statistics in reasonable experimental platforms, with measurements being slow. Finally, we demonstrate how our procedure can be approximately implemented with just nearest-neighbour, translationally invariant hopping quenches, a very plausible procedure under current experimental requirements, and requiring only random time-evolution with respect to a single native Hamiltonian. On a conceptual level, this work brings the idea of classical shadows to the realm of large scale analog quantum simulators.


title: TOPFORMER: Topology-Aware Authorship Attribution of Deepfake Texts with Diverse Writing Styles

abstract: Recent advances in Large Language Models (LLMs) have enabled the generation of open-ended high-quality texts, that are non-trivial to distinguish from human-written texts. We refer to such LLM-generated texts as deepfake texts. There are currently over 72K text generation models in the huggingface model repo. As such, users with malicious intent can easily use these open-sourced LLMs to generate harmful texts and dis/misinformation at scale. To mitigate this problem, a computational method to determine if a given text is a deepfake text or not is desired--i.e., Turing Test (TT). In particular, in this work, we investigate the more general version of the problem, known as Authorship Attribution (AA), in a multi-class setting--i.e., not only determining if a given text is a deepfake text or not but also being able to pinpoint which LLM is the author. We propose TopFormer to improve existing AA solutions by capturing more linguistic patterns in deepfake texts by including a Topological Data Analysis (TDA) layer in the Transformer-based model. We show the benefits of having a TDA layer when dealing with imbalanced, and multi-style datasets, by extracting TDA features from the reshaped $pooled\_output$ of our backbone as input. This Transformer-based model captures contextual representations (i.e., semantic and syntactic linguistic features), while TDA captures the shape and structure of data (i.e., linguistic structures). Finally, TopFormer, outperforms all baselines in all 3 datasets, achieving up to 7\% increase in Macro F1 score.


title: Fundamentals of polaritons in strongly anisotropic thin crystal layers

abstract: Polaritons in strongly anisotropic thin layers have recently captured the attention in nanophotonics because of their directional propagation at the nanoscale, which offers unique possibilities for nanooptical applications. However, exploiting the full potential of anisotropic polaritons requires a thorough understanding of their properties, including field confinement, energy and phase propagation direction and losses. Here we fill this critical gap by providing fundamental insights into the propagation of anisotropic polaritons in thin biaxial layers. In particular, we introduce a novel methodology that allows us to represent isofrequency curves of polaritons in strongly anisotropic materials considering that the real and imaginary parts of the wavevector are not parallel. In fact, we analytically show that the direction of the imaginary part of the wavevector is parallel to the group velocity, which can have different, even perpendicular or opposite, directions with respect to the phase velocity. This finding is crucial for understanding polaritonic phenomena in anisotropic media, yet it has so far been widely overlooked in the literature. Additionally, we introduce a criterion for classifying the polaritonic modes in biaxial layers into volume and surface categories, and analyze their dispersion, field structure, and losses. Finally, we discover the existence of anisotropic transverse electric modes, which can exhibit natural canalization. Taken together, our results shed light on hitherto unexplored areas of the theory of electromagnetic modes in thin biaxial layers. Although exemplified for van der Waals MoO3 layers, our findings are general for polaritons in other strongly anisotropic biaxial hyperbolic crystals.


title: Constructing smoothings of stable maps

abstract: Let $X$ be a smooth projective variety. Define a stable map $f:C\to X$ to be "eventually smoothable" if there is an embedding $X\hookrightarrow\mathbb{P}^N$ such that $(C,f)$ occurs as the limit of a $1$-parameter family of stable maps to $\mathbb{P}^N$ with smooth domain curves. Via an explicit deformation-theoretic construction, we produce a large class of stable maps (called "stable maps with model ghosts"), and show that they are eventually smoothable.


title: Evolving Spiking Neural Networks to Mimic PID Control for Autonomous Blimps

abstract: In recent years, Artificial Neural Networks (ANN) have become a standard in robotic control. However, a significant drawback of large-scale ANNs is their increased power consumption. This becomes a critical concern when designing autonomous aerial vehicles, given the stringent constraints on power and weight. Especially in the case of blimps, known for their extended endurance, power-efficient control methods are essential. Spiking neural networks (SNN) can provide a solution, facilitating energy-efficient and asynchronous event-driven processing. In this paper, we have evolved SNNs for accurate altitude control of a non-neutrally buoyant indoor blimp, relying solely on onboard sensing and processing power. The blimp's altitude tracking performance significantly improved compared to prior research, showing reduced oscillations and a minimal steady-state error. The parameters of the SNNs were optimized via an evolutionary algorithm, using a Proportional-Derivative-Integral (PID) controller as the target signal. We developed two complementary SNN controllers while examining various hidden layer structures. The first controller responds swiftly to control errors, mitigating overshooting and oscillations, while the second minimizes steady-state errors due to non-neutral buoyancy-induced drift. Despite the blimp's drivetrain limitations, our SNN controllers ensured stable altitude control, employing only 160 spiking neurons.


title: Frustrated with Code Quality Issues? LLMs can Help!

abstract: As software projects progress, quality of code assumes paramount importance as it affects reliability, maintainability and security of software. For this reason, static analysis tools are used in developer workflows to flag code quality issues. However, developers need to spend extra efforts to revise their code to improve code quality based on the tool findings. In this work, we investigate the use of (instruction-following) large language models (LLMs) to assist developers in revising code to resolve code quality issues. We present a tool, CORE (short for COde REvisions), architected using a pair of LLMs organized as a duo comprised of a proposer and a ranker. Providers of static analysis tools recommend ways to mitigate the tool warnings and developers follow them to revise their code. The \emph{proposer LLM} of CORE takes the same set of recommendations and applies them to generate candidate code revisions. The candidates which pass the static quality checks are retained. However, the LLM may introduce subtle, unintended functionality changes which may go un-detected by the static analysis. The \emph{ranker LLM} evaluates the changes made by the proposer using a rubric that closely follows the acceptance criteria that a developer would enforce. CORE uses the scores assigned by the ranker LLM to rank the candidate revisions before presenting them to the developer. CORE could revise 59.2% Python files (across 52 quality checks) so that they pass scrutiny by both a tool and a human reviewer. The ranker LLM is able to reduce false positives by 25.8% in these cases. CORE produced revisions that passed the static analysis tool in 76.8% Java files (across 10 quality checks) comparable to 78.3% of a specialized program repair tool, with significantly much less engineering efforts.


title: Bright beacons? ALMA non-detection of a supposedly bright [OI] 63-um line in a redshift-6 dusty galaxy

abstract: We report a non-detection of the [OI] 63-um emission line from the z = 6.03 galaxy G09.83808 using ALMA Band 9 observations, refuting the previously claimed detection with APEX by (Rybak et al. 2020); the new upper limit on the [OI] 63-um flux is almost 20-times lower. [OI] 63-um line could be a powerful tracer of neutral gas in the Epoch of Reionisation: yet our null result shows that detecting [OI] 63-um from z$\geq$6 galaxies is more challenging than previously hypothesised.


title: Self-Explanation Prompting Improves Dialogue Understanding in Large Language Models

abstract: Task-oriented dialogue (TOD) systems facilitate users in executing various activities via multi-turn dialogues, but Large Language Models (LLMs) often struggle to comprehend these intricate contexts. In this study, we propose a novel "Self-Explanation" prompting strategy to enhance the comprehension abilities of LLMs in multi-turn dialogues. This task-agnostic approach requires the model to analyze each dialogue utterance before task execution, thereby improving performance across various dialogue-centric tasks. Experimental results from six benchmark datasets confirm that our method consistently outperforms other zero-shot prompts and matches or exceeds the efficacy of few-shot prompts, demonstrating its potential as a powerful tool in enhancing LLMs' comprehension in complex dialogue tasks.


title: Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models

abstract: Assurance cases can be used to argue for the safety of products in safety engineering. In safety-critical areas, the construction of assurance cases is indispensable. Trustworthiness Derivation Trees (TDTs) enhance assurance cases by incorporating formal methods, rendering it possible for automatic reasoning about assurance cases. We present Trustworthiness Derivation Tree Analyzer (Trusta), a desktop application designed to automatically construct and verify TDTs. The tool has a built-in Prolog interpreter in its backend, and is supported by the constraint solvers Z3 and MONA. Therefore, it can solve constraints about logical formulas involving arithmetic, sets, Horn clauses etc. Trusta also utilizes large language models to make the creation and evaluation of assurance cases more convenient. It allows for interactive human examination and modification. We evaluated top language models like ChatGPT-3.5, ChatGPT-4, and PaLM 2 for generating assurance cases. Our tests showed a 50%-80% similarity between machine-generated and human-created cases. In addition, Trusta can extract formal constraints from text in natural languages, facilitating an easier interpretation and validation process. This extraction is subject to human review and correction, blending the best of automated efficiency with human insight. To our knowledge, this marks the first integration of large language models in automatic creating and reasoning about assurance cases, bringing a novel approach to a traditional challenge. Through several industrial case studies, Trusta has proven to quickly find some subtle issues that are typically missed in manual inspection, demonstrating its practical value in enhancing the assurance case development process.


title: Asymptotic Distribution of Residues in Pascal's Triangle mod $p$

abstract: Fix a prime $p$ and define $T_p(n)$ to be the number of nonzero residues in the $n$th row of pascal's triangle mod $p$, and define $\phi_p(n)$ to be the number of nonzero residues in the first $n$ rows of pascal's triangle mod $p$. We generalize these to sequences $T_\chi(n)$ and $\phi_\chi(n)$ for a Dirichlet character $\chi$ of modulus $p$. We prove many properties of these sequences that generalize those of $T_p(n)$ and $\phi_p(n)$. Define $A_n(r)$ to be the number of occurrences of $r$ in the first $n$ rows of Pascal's triangle mod $p$. Guy Barat and Peter Grabner showed that for all primes $p$ and nonzero residues $r$, $A_n(r)\sim \frac{1}{p-1}\phi_p(n)$. We provide an alternative proof of this fact that yields explicit bounds on the error term. We also discuss the distribution of $A_p(r)$.


title: Background Activation Suppression for Weakly Supervised Object Localization and Semantic Segmentation

abstract: Weakly supervised object localization and semantic segmentation aim to localize objects using only image-level labels. Recently, a new paradigm has emerged by generating a foreground prediction map (FPM) to achieve pixel-level localization. While existing FPM-based methods use cross-entropy to evaluate the foreground prediction map and to guide the learning of the generator, this paper presents two astonishing experimental observations on the object localization learning process: For a trained network, as the foreground mask expands, 1) the cross-entropy converges to zero when the foreground mask covers only part of the object region. 2) The activation value continuously increases until the foreground mask expands to the object boundary. Therefore, to achieve a more effective localization performance, we argue for the usage of activation value to learn more object regions. In this paper, we propose a Background Activation Suppression (BAS) method. Specifically, an Activation Map Constraint (AMC) module is designed to facilitate the learning of generator by suppressing the background activation value. Meanwhile, by using foreground region guidance and area constraint, BAS can learn the whole region of the object. In the inference phase, we consider the prediction maps of different categories together to obtain the final localization results. Extensive experiments show that BAS achieves significant and consistent improvement over the baseline methods on the CUB-200-2011 and ILSVRC datasets. In addition, our method also achieves state-of-the-art weakly supervised semantic segmentation performance on the PASCAL VOC 2012 and MS COCO 2014 datasets. Code and models are available at https://github.com/wpy1999/BAS-Extension.


title: Probing AGN with spectropolarimetry: accretion disk and SMBH parameters

abstract: The interaction of a supermassive black hole with the matter of an accretion disk in the presence of a magnetic field is the key mechanism of energy release in active galactic nuclei. However, determining the physical parameters of this system, such as the spin and mass of the black hole, the shape and parameters of the rotation of the accretion disk, and the geometry of the magnetic field in the accretion disk is a complex and not completely solved problem. We have previously shown, based on our numerical models, that these estimates can be obtained from just three parameters: the black hole mass, bolometric luminosity, and optical polarization. In this paper, we estimate the accretion disk and black hole parameters for a sample of 14 type 1 Seyfert galaxies. Using the spectropolarimetric data obtained by us, we selected only those objects in which the polarization of optical radiation is generated mainly by the mechanism in the accretion disk. Despite the small statistics, our results for such a sample are consistent with our previous conclusions and show a discrepancy between the disk magnetic field parameters and the classical Shakura-Sunyaev disk model.


title: The Micro-Aggregated Profit Share

abstract: How much has market power increased in the United States in the last fifty years? And how did the rise in market power affect aggregate profits? Using micro-level data from U.S. Compustat, we find that several indicators of market power have steadily increased since 1970. In particular, the aggregate markup has gone up from 10% of price over marginal cost in 1970 to 23% in 2020, and aggregate returns to scale have risen from 1.00 to 1.13. We connect these market-power indicators to profitability by showing that the aggregate profit share can be expressed in terms of the aggregate markup, aggregate returns to scale, and a sufficient statistic for production networks that captures double marginalization in the economy. We find that despite the rise in market power, the profit share has been constant at 18% of GDP because the increase in monopoly rents has been completely offset by rising fixed costs and changes in technology. Our empirical results have subtle implications for policymakers: overly aggressive enforcement of antitrust law could decrease firm dynamism and paradoxically lead to lower competition and higher market power.


title: Unraveling Medium-Range Order and Melting Mechanism of ZIF-4 under High Temperature

abstract: Glass formation in Zeolitic Imidazolate Frameworks (ZIFs) has garnered significant attention in the field of Metal-Organic Frameworks (MOFs) in recent years. Numerous works have been conducted to investigate the microscopic mechanisms involved in the melting-quenching process of ZIFs. Understanding the density variations that occur during the melting process of ZIFs is crucial for comprehending the origins of glass formation. However, conducting large-scale simulations has been challenging due to limitations in computational resources. In this work, we utilized deep learning methods to accurately construct a potential function that describes the atomic-scale melting behavior of Zeolitic Imidazolate Framework-4 (ZIF-4). The results revealed the spatial heterogeneity associated with the formation of low-density phases during the melting process of ZIF-4. This work discusses the advantages and limitations of applying deep learning simulation methods to complex structures like ZIFs, providing valuable insights for the development of machine learning approaches in designing Metal-Organic Framework glasses.


title: Hardy spaces and quasiregular mappings

abstract: We study Hardy spaces $\mathcal{H}^p$, $0<p<\infty$ for quasiregular mappings on the unit ball $B$ in $\mathbb{R}^n$ which satisfy appropriate growth and multiplicity conditions. Under these conditions we recover several classical results for analytic functions and quasiconformal mappings in $\mathcal{H}^p$. In particular, we characterize $\mathcal{H}^p$ in terms of non-tangential limit functions and non-tangential maximal functions of quasiregular mappings. Among applications we show that every quasiregular map in our class belongs to $\mathcal{H}^p$ for some $p=p(n,K)$. Moreover, we provide characterization of Carleson measures on $B$ via integral inequalities for quasiregular mappings on $B$. We also discuss the Bergman spaces of quasiregular mappings and their relations to $\mathcal{H}^p$ spaces and analyze correspondence between results for $\mathcal{H}^p$ spaces and $\mathcal{A}$-harmonic functions. A key difference between the previously known results for quasiconformal mappings in $\mathbb{R}^n$ and our setting is the role of multiplicity conditions and the growth of mappings that need not be injective. Our paper extends results by Astala and Koskela, Jerison and Weitsman, Jones, Nolder, and Zinsmeister.


title: Radial positive solutions for mixed local and nonlocal supercritical Neumann problem

abstract: In this paper, we establish the existence of positive non-decreasing radial solutions for a nonlinear mixed local and nonlocal Neumann problem in the ball. No growth assumption on the nonlinearity is required. We also provide a criterion for the existence of non-constant solutions provided the problem possesses a trivial constant solution.


title: Guaranteed Private Communication with Secret Block Structure

abstract: A novel private communication framework is proposed where privacy is induced by transmitting over channel instances of linear inverse problems that are identifiable to the legitimate receiver, but unidentifiable to an eavesdropper. The gap in identifiability is created in the framework by leveraging secret knowledge between the transmitter and the legitimate receiver. Specifically, the case where the legitimate receiver harnesses a secret block structure to decode a transmitted block-sparse message from underdetermined linear measurements in conditions where classical compressed sensing would provably fail is examined. The applicability of the proposed scheme to practical multiple access wireless communication systems is discussed. The protocol's privacy is studied under a single transmission, and under multiple transmissions without refreshing the secret block structure. It is shown that, under a specific scaling of the channel dimensions and transmission parameters, the eavesdropper can attempt to overhear the block structure from the fourth-order moments of the channel output. Computation of a statistical lower bound, suggests that the proposed fourth-order moment secret block estimation strategy is near optimal. The performance of a spectral clustering algorithm is studied to that end, defining scaling laws on the lifespan of the secret key before the communication is compromised. Finally, numerical experiments corroborating the theoretical findings are conducted.


title: Dynamic "Succincter"

abstract: Augmented B-trees (aB-trees) are a broad class of data structures. The seminal work "succincter" by Patrascu showed that any aB-tree can be stored using only two bits of redundancy, while supporting queries to the tree in time proportional to its depth. It has been a versatile building block for constructing succinct data structures, including rank/select data structures, dictionaries, locally decodable arithmetic coding, storing balanced parenthesis, etc. In this paper, we show how to "dynamize" an aB-tree. Our main result is the design of dynamic aB-trees (daB-trees) with branching factor two using only three bits of redundancy (with the help of lookup tables that are of negligible size in applications), while supporting updates and queries in time polynomial in its depth. As an application, we present a dynamic rank/select data structure for $n$-bit arrays, also known as a dynamic fully indexable dictionary (FID). It supports updates and queries in $O(\log n/\log\log n)$ time, and when the array has $m$ ones, the data structure occupies \[ \log\binom{n}{m} + O(n/2^{\log^{0.199}n}) \] bits. Note that the update and query times are optimal even without space constraints due to a lower bound by Fredman and Saks. Prior to our work, no dynamic FID with near-optimal update and query times and redundancy $o(n/\log n)$ was known. We further show that a dynamic sequence supporting insertions, deletions and rank/select queries can be maintained in (optimal) $O(\log n/\log\log n)$ time and with $O(n \cdot \text{poly}\log\log n/\log^2 n)$ bits of redundancy.


title: Boosting Studies of Multi-Agent Reinforcement Learning on Google Research Football Environment: the Past, Present, and Future

abstract: Even though Google Research Football (GRF) was initially benchmarked and studied as a single-agent environment in its original paper, recent years have witnessed an increasing focus on its multi-agent nature by researchers utilizing it as a testbed for Multi-Agent Reinforcement Learning (MARL). However, the absence of standardized environment settings and unified evaluation metrics for multi-agent scenarios hampers the consistent understanding of various studies. Furthermore, the challenging 5-vs-5 and 11-vs-11 full-game scenarios have received limited thorough examination due to their substantial training complexities. To address these gaps, this paper extends the original environment by not only standardizing the environment settings and benchmarking cooperative learning algorithms across different scenarios, including the most challenging full-game scenarios, but also by discussing approaches to enhance football AI from diverse perspectives and introducing related research tools. Specifically, we provide a distributed and asynchronous population-based self-play framework with diverse pre-trained policies for faster training, two football-specific analytical tools for deeper investigation, and an online leaderboard for broader evaluation. The overall expectation of this work is to advance the study of Multi-Agent Reinforcement Learning on Google Research Football environment, with the ultimate goal of benefiting real-world sports beyond virtual games.


title: Rationality of N\'eron-Tate height over function fields

abstract: We prove that the N\'eron-Tate height of subvarieties are always rational numbers. We use the induction formula, and characterize the canonical metric by theta functions.


title: Inter-vendor harmonization of Computed Tomography (CT) reconstruction kernels using unpaired image translation

abstract: The reconstruction kernel in computed tomography (CT) generation determines the texture of the image. Consistency in reconstruction kernels is important as the underlying CT texture can impact measurements during quantitative image analysis. Harmonization (i.e., kernel conversion) minimizes differences in measurements due to inconsistent reconstruction kernels. Existing methods investigate harmonization of CT scans in single or multiple manufacturers. However, these methods require paired scans of hard and soft reconstruction kernels that are spatially and anatomically aligned. Additionally, a large number of models need to be trained across different kernel pairs within manufacturers. In this study, we adopt an unpaired image translation approach to investigate harmonization between and across reconstruction kernels from different manufacturers by constructing a multipath cycle generative adversarial network (GAN). We use hard and soft reconstruction kernels from the Siemens and GE vendors from the National Lung Screening Trial dataset. We use 50 scans from each reconstruction kernel and train a multipath cycle GAN. To evaluate the effect of harmonization on the reconstruction kernels, we harmonize 50 scans each from Siemens hard kernel, GE soft kernel and GE hard kernel to a reference Siemens soft kernel (B30f) and evaluate percent emphysema. We fit a linear model by considering the age, smoking status, sex and vendor and perform an analysis of variance (ANOVA) on the emphysema scores. Our approach minimizes differences in emphysema measurement and highlights the impact of age, sex, smoking status and vendor on emphysema quantification.


title: Precision unification and the scale of supersymmetry

abstract: In this letter, we study the implications of precise gauge coupling unification on supersymmetric particle masses. We argue that precise unification favors the superpartner masses that are in the range of several TeV and well beyond. We demonstrate this in the minimal supersymmetric theory with a common sparticle mass threshold, and two simple high-scale scenarios: minimal supergravity and minimal anomaly-mediated supersymmetry. We also identify candidate models with a Higgsino or a wino dark matter candidate. Finally, the analysis shows unambiguously that unless one takes foggy naturalness notions too seriously, the lack of direct superpartner discoveries at the LHC has not diminished the viability of supersymmetric unified theories in general nor even precision unification in particular.


title: On Data Fabrication in Collaborative Vehicular Perception: Attacks and Countermeasures

abstract: Collaborative perception, which greatly enhances the sensing capability of connected and autonomous vehicles (CAVs) by incorporating data from external resources, also brings forth potential security risks. CAVs' driving decisions rely on remote untrusted data, making them susceptible to attacks carried out by malicious participants in the collaborative perception system. However, security analysis and countermeasures for such threats are absent. To understand the impact of the vulnerability, we break the ground by proposing various real-time data fabrication attacks in which the attacker delivers crafted malicious data to victims in order to perturb their perception results, leading to hard brakes or increased collision risks. Our attacks demonstrate a high success rate of over 86% on high-fidelity simulated scenarios and are realizable in real-world experiments. To mitigate the vulnerability, we present a systematic anomaly detection approach that enables benign vehicles to jointly reveal malicious fabrication. It detects 91.5% of attacks with a false positive rate of 3% in simulated scenarios and significantly mitigates attack impacts in real-world scenarios.


title: Laser-induced real-space topology control of spin wave resonances

abstract: Femtosecond laser excitation of materials that exhibit magnetic spin textures promises advanced magnetic control via the generation of ultrafast and non-equilibrium spin dynamics. We explore such possibilities in ferrimagnetic [Fe(0.35 nm)/Gd(0.40 nm)]$_{160}$ multilayers, which host a rich diversity of magnetic textures from stripe domains at low magnetic fields, a dense bubble/skyrmion lattice at intermediate fields, and a single domain state for high magnetic fields. Using femtosecond magneto-optics, we observe distinct coherent spin wave dynamics in response to a weak laser excitation allowing us to unambiguously identify the different magnetic spin textures. Moreover, employing strong laser excitation we show that we achieve versatile control of the coherent spin dynamics via non-equilibrium and ultrafast transformation of magnetic spin textures by both creating and annihilating bubbles/skyrmions. We corroborate our findings by micromagnetic simulations and by Lorentz transmission electron microscopy before and after laser exposure.


title: Probabilistic Classification of Infrared-selected targets for SPHEREx mission: In search of YSOs

abstract: We apply machine learning algorithms to classify Infrared (IR)-selected targets for NASA's upcoming SPHEREx mission. In particular, we are interested in classifying Young Stellar Objects (YSOs), which are essential for understanding the star formation process. Our approach differs from previous work, which has relied heavily on broadband color criteria to classify IR-bright objects, and are typically implemented in color-color and color-magnitude diagrams. However, these methods do not state the confidence associated with the classification and the results from these methods are quite ambiguous due to the overlap of different source types in these diagrams. Here, we utilize photometric colors and magnitudes from seven near and mid-infrared bands simultaneously and employ machine and deep learning algorithms to carry out probabilistic classification of YSOs, Asymptotic Giant Branch (AGB) stars, Active Galactic Nuclei (AGN) and main-sequence (MS) stars. Our approach also sub-classifies YSOs into Class I, II, III and flat spectrum YSOs, and AGB stars into carbon-rich and oxygen-rich AGB stars. We apply our methods to infrared-selected targets compiled in preparation for SPHEREx which are likely to include YSOs and other classes of objects. Our classification indicates that out of $8,308,384$ sources, $1,966,340$ have class prediction with probability exceeding $90\%$, amongst which $\sim 1.7\%$ are YSOs, $\sim 58.2\%$ are AGB stars, $\sim 40\%$ are (reddened) MS stars, and $\sim 0.1\%$ are AGN whose red broadband colors mimic YSOs. We validate our classification using the spatial distributions of predicted YSOs towards the Cygnus-X star-forming complex, as well as AGB stars across the Galactic plane.


title: A note on complex plane curve singularities up to diffeomorphism and their rigidity

abstract: We prove that, if two germs of plane curves $(C,0)$ and $(C',0)$ with at least one singular branch are equivalent by a (real) smooth diffeomorphism, then $C$ is complex isomorphic to $C'$ or to $\overline{C'}$. A similar result was shown by Ephraim for irreducible hypersurfaces before, but his proof is not constructive. Indeed, we show that the complex isomorphism is given by the Taylor series of the diffeomorphism. We also prove an analogous result for the case of non-irreducible hypersurfaces containing an irreducible component of zero-dimensional isosingular locus. Moreover, we provide a general overview of the different classifications of plane curve singularities.


title: Proceedings 7th Symposium on Working Formal Methods

abstract: This volume contains the proceedings of the 7th Working Formal Methods Symposium, which was held at the University of Bucharest, September 21-22, 2023.


title: Nested Event Extraction upon Pivot Element Recogniton

abstract: Nested Event Extraction (NEE) aims to extract complex event structures where an event contains other events as its arguments recursively. Nested events involve a kind of Pivot Elements (PEs) that simultaneously act as arguments of outer-nest events and as triggers of inner-nest events, and thus connect them into nested structures. This special characteristic of PEs brings challenges to existing NEE methods, as they cannot well cope with the dual identities of PEs. Therefore, this paper proposes a new model, called PerNee, which extracts nested events mainly based on recognizing PEs. Specifically, PerNee first recognizes the triggers of both inner-nest and outer-nest events and further recognizes the PEs via classifying the relation type between trigger pairs. The model uses prompt learning to incorporate information from both event types and argument roles for better trigger and argument representations to improve NEE performance. Since existing NEE datasets (e.g., Genia11) are limited to specific domains and contain a narrow range of event types with nested structures, we systematically categorize nested events in the generic domain and construct a new NEE dataset, called ACE2005-Nest. Experimental results demonstrate that PerNee consistently achieves state-of-the-art performance on ACE2005-Nest, Genia11, and Genia13. The ACE2005-Nest dataset and the code of the PerNee model are available at https://github.com/waysonren/PerNee.


title: On schemes evinced by generalized additive decompositions and their regularity

abstract: We define and explicitly construct schemes evinced by generalized additive decompositions (GADs) of a given $d$-homogeneous polynomial $F$. We employ GADs to investigate the regularity of $0$-dimensional schemes apolar to $F$, focusing on those satisfying some minimality conditions. We show that irredundant schemes to $F$ need not be $d$-regular, unless they are evinced by special GADs of $F$. Instead, we prove that tangential decompositions of minimal length are always $d$-regular, as well as irredundant apolar schemes of length at most $2d+1$.


title: Characterizing intrinsic Lorentzian length spaces via $\tau$-midpoints

abstract: In metric geometry, the question of whether a distance metric is given by the length of curves can be decided via the existence of midpoints with respect to the metric $d$. We adapt a similar characterization to the setting of Lorentzian pre-length spaces. In particular, we show that a given space is strictly intrinsic provided it has $\tau$-midpoints and merely intrinsic provided it has approximate $\tau$-midpoints. Our approach is based on the null distance of C. Sormani and C. Vega.


title: Massive End-to-end Models for Short Search Queries

abstract: In this work, we investigate two popular end-to-end automatic speech recognition (ASR) models, namely Connectionist Temporal Classification (CTC) and RNN-Transducer (RNN-T), for offline recognition of voice search queries, with up to 2B model parameters. The encoders of our models use the neural architecture of Google's universal speech model (USM), with additional funnel pooling layers to significantly reduce the frame rate and speed up training and inference. We perform extensive studies on vocabulary size, time reduction strategy, and its generalization performance on long-form test sets. Despite the speculation that, as the model size increases, CTC can be as good as RNN-T which builds label dependency into the prediction, we observe that a 900M RNN-T clearly outperforms a 1.8B CTC and is more tolerant to severe time reduction, although the WER gap can be largely removed by LM shallow fusion.


title: Geometric engineering of viscous magnetotransport in a two-dimensional electron system

abstract: In this study, we present our experimental investigation on the magnetotransport properties of a two-dimensional electron system in GaAs quantum wells utilizing a variety of device geometries, including obstacles with thin barriers and periodic width variations. Our primary focus is to explore the impact of these geometries on the electron viscous flow parameters, enabling precise manipulation of hydrodynamic effects under controlled conditions. Through an analysis of the large negative magnetoresistivity and zero field resistivity, we deduce the scattering times for electron-electron and electron-phonon interactions, as well as the effective channel width. Our findings confirm that the system under investigation serves as a tunable experimental platform for investigating hydrodynamic transport regimes at temperatures above 10 K.


title: One continuous parameter family of Dirac Lorentz scalar potentials associated with exceptional orthogonal polynomials

abstract: We extend our recent works [ Int. J. Mod. Phys. A 38 (2023) 2350069-1] and obtain one parameter $(\lambda)$ family of rationally extended Dirac Lorentz scalar potentials with their explicit solutions in terms of $X_{m}$ exceptional orthogonal polynomials. We further show that as the parameter $\lambda \rightarrow 0$ or $-1$, we get the corresponding rationally extended Pursey and the rationally extended Abraham-Moses type of scalar potentials respectively, which have one bound state less than the starting scalar potentials.


title: INSPIRE: INvestigating Stellar Population In RElics V. A catalogue of ultra-compact massive galaxies outside the local Universe and their degree of relicness

abstract: This paper presents the third data release of the INvestigating Stellar Population In RElics (INSPIRE) project, comprising 52 ultra-compact massive galaxies (UCMGs) observed with the X-Shooter spectrograph. We measure integrated stellar velocity dispersion, [Mg/Fe] abundances, ages, and metallicities for all the INSPIRE objects. We thus infer star formation histories and confirm the existence of a degree of relicness (DoR), defined in terms of the fraction of stellar mass formed by $z=2$, the time at which a galaxy has assembled 75\% of its mass, and the final assembly time. Objects with a high DoR assembled their stellar mass at early epochs, while low-DoR objects show a non-negligible fraction of later-formed populations and hence a spread in ages and metallicities. A higher DoR correlates with larger [Mg/Fe], super-solar metallicity, and larger velocity dispersion values. The 52 UMCGs span a large range of DoR from 0.83 to 0.06, with 38 of them having formed more than 75\% of their mass by $z=2$. Of these, nine are extreme relics (DoR$>0.7$), since they formed the totality ($>99\%$) of their stellar mass by redshift $z=2$. The remaining 14 UCMGs cannot be considered relics, as they are characterised by more extended star formation histories. With INSPIRE, we built the first sizeable sample of relics outside the local Universe, up to $z\sim0.4$, increasing the number of confirmed relics by a factor of $>10$, and opening up an important window to explain the mass assembly of massive galaxies in the high-z Universe.


title: Predicting Nodal Influence via Local Iterative Metrics

abstract: Nodal spreading influence is the capability of a node to activate the rest of the network when it is the seed of spreading. Combining nodal properties (centrality metrics) derived from local and global topological information respectively is shown to better predict nodal influence than a single metric. In this work, we investigate to what extent local and global topological information around a node contributes to the prediction of nodal influence and whether relatively local information is sufficient for the prediction. We show that by leveraging the iterative process used to derives a classical nodal centrality such as eigenvector centrality, we can define an iterative metric set that progressively incorporates more global information around the node. We propose to predict nodal influence using an iterative metric set that consists of an iterative metric from order $1$ to $K$ that are produced in an iterative process, encoding gradually more global information as $K$ increases. Three iterative metrics are considered, which converge to three classical node centrality metrics respectively. Our results show that for each of the three iterative metrics, the prediction quality is close to optimal when the metric of relatively low orders ($K\sim4$) are included and increases only marginally when further increasing $K$. The best performing iterative metric set shows comparable prediction quality to the benchmark that combines seven centrality metrics, in both real-world networks and synthetic networks with community structures. Our findings are further explained via the correlation between an iterative metric and nodal influence, the convergence of iterative metrics and network properties.


title: PassViz: A Visualisation System for Analysing Leaked Passwords

abstract: Passwords remain the most widely used form of user authentication, despite advancements in other methods. However, their limitations, such as susceptibility to attacks, especially weak passwords defined by human users, are well-documented. The existence of weak human-defined passwords has led to repeated password leaks from websites, many of which are of large scale. While such password leaks are unfortunate security incidents, they provide security researchers and practitioners with good opportunities to learn valuable insights from such leaked passwords, in order to identify ways to improve password policies and other security controls on passwords. Researchers have proposed different data visualisation techniques to help analyse leaked passwords. However, many approaches rely solely on frequency analysis, with limited exploration of distance-based graphs. This paper reports PassViz, a novel method that combines the edit distance with the t-SNE (t-distributed stochastic neighbour embedding) dimensionality reduction algorithm for visualising and analysing leaked passwords in a 2-D space. We implemented PassViz as an easy-to-use command-line tool for visualising large-scale password databases, and also as a graphical user interface (GUI) to support interactive visual analytics of small password databases. Using the "000webhost" leaked database as an example, we show how PassViz can be used to visually analyse different aspects of leaked passwords and to facilitate the discovery of previously unknown password patterns. Overall, our approach empowers researchers and practitioners to gain valuable insights and improve password security through effective data visualisation and analysis.


title: Detect Everything with Few Examples

abstract: Few-shot object detection aims at detecting novel categories given a few example images. Recent methods focus on finetuning strategies, with complicated procedures that prohibit a wider application. In this paper, we introduce DE-ViT, a few-shot object detector without the need for finetuning. DE-ViT's novel architecture is based on a new region-propagation mechanism for localization. The propagated region masks are transformed into bounding boxes through a learnable spatial integral layer. Instead of training prototype classifiers, we propose to use prototypes to project ViT features into a subspace that is robust to overfitting on base classes. We evaluate DE-ViT on few-shot, and one-shot object detection benchmarks with Pascal VOC, COCO, and LVIS. DE-ViT establishes new state-of-the-art results on all benchmarks. Notably, for COCO, DE-ViT surpasses the few-shot SoTA by 15 mAP on 10-shot and 7.2 mAP on 30-shot and one-shot SoTA by 2.8 AP50. For LVIS, DE-ViT outperforms few-shot SoTA by 20 box APr.


title: PI-RADS v2 Compliant Automated Segmentation of Prostate Zones Using co-training Motivated Multi-task Dual-Path CNN

abstract: The detailed images produced by Magnetic Resonance Imaging (MRI) provide life-critical information for the diagnosis and treatment of prostate cancer. To provide standardized acquisition, interpretation and usage of the complex MRI images, the PI-RADS v2 guideline was proposed. An automated segmentation following the guideline facilitates consistent and precise lesion detection, staging and treatment. The guideline recommends a division of the prostate into four zones, PZ (peripheral zone), TZ (transition zone), DPU (distal prostatic urethra) and AFS (anterior fibromuscular stroma). Not every zone shares a boundary with the others and is present in every slice. Further, the representations captured by a single model might not suffice for all zones. This motivated us to design a dual-branch convolutional neural network (CNN), where each branch captures the representations of the connected zones separately. Further, the representations from different branches act complementary to each other at the second stage of training, where they are fine-tuned through an unsupervised loss. The loss penalises the difference in predictions from the two branches for the same class. We also incorporate multi-task learning in our framework to further improve the segmentation accuracy. The proposed approach improves the segmentation accuracy of the baseline (mean absolute symmetric distance) by 7.56%, 11.00%, 58.43% and 19.67% for PZ, TZ, DPU and AFS zones respectively.


title: Higher-order Graph Convolutional Network with Flower-Petals Laplacians on Simplicial Complexes

abstract: Despite the recent successes of vanilla Graph Neural Networks (GNNs) on various tasks, their foundation on pairwise networks inherently limits their capacity to discern latent higher-order interactions in complex systems. To bridge this capability gap, we propose a novel approach exploiting the rich mathematical theory of simplicial complexes (SCs) - a robust tool for modeling higher-order interactions. Current SC-based GNNs are burdened by high complexity and rigidity, and quantifying higher-order interaction strengths remains challenging. Innovatively, we present a higher-order Flower-Petals (FP) model, incorporating FP Laplacians into SCs. Further, we introduce a Higher-order Graph Convolutional Network (HiGCN) grounded in FP Laplacians, capable of discerning intrinsic features across varying topological scales. By employing learnable graph filters, a parameter group within each FP Laplacian domain, we can identify diverse patterns where the filters' weights serve as a quantifiable measure of higher-order interaction strengths. The theoretical underpinnings of HiGCN's advanced expressiveness are rigorously demonstrated. Additionally, our empirical investigations reveal that the proposed model accomplishes state-of-the-art performance on a range of graph tasks and provides a scalable and flexible solution to explore higher-order interactions in graphs. Codes and datasets are available at https://github.com/Yiminghh/HiGCN.

categories: cs.LG cond-mat.stat-mech cs.AI cs.SI physics.soc-ph


title: License Plate Recognition Based On Multi-Angle View Model

abstract: In the realm of research, the detection/recognition of text within images/videos captured by cameras constitutes a highly challenging problem for researchers. Despite certain advancements achieving high accuracy, current methods still require substantial improvements to be applicable in practical scenarios. Diverging from text detection in images/videos, this paper addresses the issue of text detection within license plates by amalgamating multiple frames of distinct perspectives. For each viewpoint, the proposed method extracts descriptive features characterizing the text components of the license plate, specifically corner points and area. Concretely, we present three viewpoints: view-1, view-2, and view-3, to identify the nearest neighboring components facilitating the restoration of text components from the same license plate line based on estimations of similarity levels and distance metrics. Subsequently, we employ the CnOCR method for text recognition within license plates. Experimental results on the self-collected dataset (PTITPlates), comprising pairs of images in various scenarios, and the publicly available Stanford Cars Dataset, demonstrate the superiority of the proposed method over existing approaches.


title: Modeling defibrillation as a hybrid optimal control problem constrained with hyperelasticity and the global injectivity condition

abstract: The purpose of this paper is to model mathematically certain mechanical aspects of defibrillation. The time deformation of the heart tissue is modeled with the elastodynamics equations dealing with the displacement field as main unknown. These equations are coupled with a pressure whose variations characterize the defibrillation process. The pressure variable corresponds to a Lagrange multiplier associated with the so-called global injectivity condition. We develop a hybrid optimal control approach in a general framework that covers in particular the maximization of the variations of this pressure, and also the time the maximum is reached. The control operator is distributed, and can be described in a form that corresponds to geometric aspects of the modeling. For mathematical convenience a damping term is added, and mathematical analysis based on the $\L^p$-parabolic maximal regularity is provided for the state equations and the rigorous derivation of optimality conditions. Numerical simulations for a toy-model exploit these optimality conditions and illustrate the capacity of the approach.


title: Effect of strain on the electronic and magnetic properties of bilayer T-phase VS2: A first-principles study

abstract: Using the Density Functional Theory (DFT) calculations, we determined the electronic and magnetic properties of a T-phase VS$_2$ bilayer as a function of tensile and compressive strain. First, we determine the ground state structural parameters and then the band structure, magnetic anisotropy, exchange parameters, and Curie temperature. Variation of these parameters with the strain is carefully analyzed and described. The easy-plane anisotropy, which is rather small in the absence of strain, becomes remarkably enhanced by tensile strain and reduced almost to zero by compressive strain. We also show that the exchange parameters and the Curie temperature are remarkably reduced for the compressive strains below roughly -4$\%$.


title: Gate Electrodes Enable Tunable Nanofluidic Particle Traps

abstract: The ability to control the location of nanoscale objects in liquids is essential for fundamental and applied research from nanofluidics to molecular biology. To overcome their random Brownian motion, the electrostatic fluidic trap creates local minima in potential energy by shaping electrostatic interactions with a tailored wall topography. However, this strategy is inherently static -- once fabricated the potential wells cannot be modulated. Here, we propose and experimentally demonstrate that such a trap can be controlled through a buried gate electrode.We measure changes in the average escape times of nanoparticles from the traps to quantify the induced modulations of $0.7k_\rm{B}T$ in potential energy and 50 mV in surface potential. Finally, we summarize the mechanism in a parameter-free predictive model, including surface chemistry and electrostatic fringing, that reproduces the experimental results. Our findings open a route towards real-time controllable nanoparticle traps.


title: Inverse-designed broadband low-loss grating coupler on thick lithium-niobate-on-insulator platform

abstract: A grating coupler on 700-nm-thick Z-cut lithium-niobate-on-insulator platform with high coupling efficiency, large bandwidth, and high fabrication tolerance is designed and optimized by inverse design method. The optimized grating coupler is fabricated with a single set of e-beam lithography and etching process, and it is experimentally characterized to possess peak coupling efficiency of -3.8 dB at 1574.93 nm, 1-dB bandwidth of 71.7 nm, and 3-dB bandwidth of over 120 nm.


title: Performance Evaluation for Subarray-based Reconfigurable Intelligent Surface-Aided Wireless Communication Systems

abstract: Reconfigurable intelligent surfaces (RISs) have received extensive concern to improve the performance of wireless communication systems. In this paper, a subarray-based scheme is investigated in terms of its effects on ergodic spectral efficiency (SE) and energy efficiency (EE) in RIS-assisted systems. In this scheme, the adjacent elements divided into a subarray are controlled by one signal and share the same reflection coefficient. An upper bound of ergodic SE is derived and an optimal phase shift design is proposed for the subarray-based RIS. Based on the upper bound and optimal design, we obtain the maximum of the upper bound. In particular, we analytically evaluate the effect of the subarray-based RIS on EE since it reduces SE and power consumption simultaneously. Numerical results verify the tightness of the upper bound, demonstrate the effectiveness of the optimal phase shift design for the subarray-based RIS, and reveal the effects of the subarray-based scheme on SE and EE.


title: Free fermions with dephasing and boundary driving: Bethe Ansatz results

abstract: By employing the Lindblad equation, we derive the evolution of the two-point correlator for a free-fermion chain of length $L$ subject to bulk dephasing and boundary losses. We use the Bethe ansatz to diagonalize the Liouvillian ${\mathcal L}^{\scriptscriptstyle(2)}$ governing the dynamics of the correlator. The majority of its energy levels are complex. Precisely, $L(L-1)/2$ complex energies do not depend on dephasing, apart for a trivial shift. The remaining complex levels are perturbatively related to the dephasing-independent ones for large $L$. The long-time dynamics is governed by a band of real energies, which contains an extensive number of levels. They give rise to diffusive scaling at intermediate times, when boundaries can be neglected. Moreover, they encode the breaking of diffusion at asymptotically long times. Interestingly, for large loss rate two boundary modes appear in the spectrum. The real energies correspond to string solutions of the Bethe equations, and can be treated effectively for large chains. This allows us to derive compact formulas for the dynamics of the fermionic density. We check our results against exact diagonalization, finding perfect agreement.

categories: cond-mat.stat-mech cond-mat.quant-gas cond-mat.str-el hep-th quant-ph


title: EgoCor: an R package to facilitate the use of exponential semi-variograms for modelling the local spatial correlation structure in social epidemiology

abstract: As an alternative to using administrative areas for the evaluation of small-area health inequalities, Sauzet et al. suggested to take an ego-centred approach and model the spatial correlation structure of health outcomes at the individual level. Existing tools for the analysis of spatial data in R might appear too complex to non-specialists which could limit the use of the approach. We present the R package EgoCor which offers a user-friendly interface displaying in one function a range of graphics and tables of parameters to facilitate the decision making about which exponential parameters fit best either raw data or residuals. This function is based on the functions of the R package gstat. Moreover, we implemented a function providing the measure of uncertainty proposed by Dyck and Sauzet. With the R package EgoCor the modelling of spatial correlation structure of health outcomes or spatially structured predictors of health with a measure of uncertainty is made available to non-specialists.


title: Quantum enhanced SU(1,1) matter wave interferometry in a ring cavity

abstract: Quantum squeezed states offer metrological enhancement as compared to their classical counterparts. Here, we devise and numerically explore a novel method for performing SU(1,1) interferometry beyond the standard quantum limit, using quasi-cyclic nonlinear wave mixing dynamics of ultracold atoms in a ring cavity. The method is based on generating quantum correlations between many atoms via photon mediated optomechanical interaction. Timescales of the interferometer operation are here given by the inverse of photonic recoil frequency, and are orders of magnitude shorter than the timescales of collisional spin-mixing based interferometers. Such shorter timescales should enable not only faster measurement cycles, but also lower atomic losses from the trap during measurement, which may lead to significant quantum metrological gain of matter wave interferometry in state of the art cavity setups.

categories: cond-mat.quant-gas physics.atom-ph physics.optics quant-ph


title: Wordification: A New Way of Teaching English Spelling Patterns

abstract: Literacy, or the ability to read and write, is a crucial indicator of success in life and greater society. It is estimated that 85% of people in juvenile delinquent systems cannot adequately read or write, that more than half of those with substance abuse issues have complications in reading or writing and that two-thirds of those who do not complete high school lack proper literacy skills. Furthermore, young children who do not possess reading skills matching grade level by the fourth grade are approximately 80% likely to not catch up at all. Many may believe that in a developed country such as the United States, literacy fails to be an issue; however, this is a dangerous misunderstanding. Globally an estimated 1.19 trillion dollars are lost every year due to issues in literacy; in the USA, the loss is an estimated 300 billion. To put it in more shocking terms, one in five American adults still fail to comprehend basic sentences. Making matters worse, the only tools available now to correct a lack of reading and writing ability are found in expensive tutoring or other programs that oftentimes fail to be able to reach the required audience. In this paper, our team puts forward a new way of teaching English spelling and word recognitions to grade school students in the United States: Wordification. Wordification is a web application designed to teach English literacy using principles of linguistics applied to the orthographic and phonological properties of words in a manner not fully utilized previously in any computer-based teaching application.


title: The statistical properties of eigenstates in chaotic many-body quantum systems

abstract: We consider the statistical properties of eigenstates of the time-evolution operator in chaotic many-body quantum systems. Our focus is on correlations between eigenstates that are specific to spatially extended systems and that characterise entanglement dynamics and operator spreading. In order to isolate these aspects of dynamics from those arising as a result of local conservation laws, we consider Floquet systems in which there are no conserved densities. The correlations associated with scrambling of quantum information lie outside the standard framework established by the eigenstate thermalisation hypothesis (ETH). In particular, ETH provides a statistical description of matrix elements of local operators between pairs of eigenstates, whereas the aspects of dynamics we are concerned with arise from correlations amongst sets of four or more eigenstates. We establish the simplest correlation function that captures these correlations and discuss features of its behaviour that are expected to be universal at long distances and low energies. We also propose a maximum-entropy Ansatz for the joint distribution of a small number $n$ of eigenstates. In the case $n = 2$ this Ansatz reproduces ETH. For $n = 4$ it captures both the growth with time of entanglement between subsystems, as characterised by the purity of the time-evolution operator, and also operator spreading, as characterised by the behaviour of the out-of-time-order correlator. We test these ideas by comparing results from Monte Carlo sampling of our Ansatz with exact diagonalisation studies of Floquet quantum circuits.


title: Dark Matter at ICRC 2023

abstract: This proceedings summarises the dark matter presentations at ICRC 2023. It aims to not only act as a reference document reporting the various results and projections, but also compares the different search methods and attempts to assess the complementarity of the experimental methods discussed.


title: One generalization of the Dicke-type models

abstract: We discuss one family of possible generalizations of the Jaynes-Cummings and the Tavis-Cummings models using the technique of algebraic Bethe ansatz related to the Gaudin-type models. In particular, we present a family of (generically) non-Hermitian Hamiltonians that generalize paradigmatic quantum-optical models. Further directions of our research include studying physical properties of the obtained generalized models.


title: Fractal Word Search: How Deep to Delve

abstract: We look at the puzzle \textit{In the Details} which appeared in the 2013 MIT Mystery Hunt and which gained fame as the \textit{fractal word search}. This seemingly impossible puzzle, whose solution could not fit the memory of a modern computer if the puzzle were solved using a brute-force approach, requires an understanding of its fundamental structure to be cracked. In this paper, we study fractal word searches in a general setting, where we consider one- and two-dimensional word searches with alphabets of any length and replacement rules of any size. We prove that the puzzle is solvable within a finite number of steps under this generalization and give an explicit upper bound on the latest level on which a word of a given length can appear for the first time in a given direction.


title: A precise determination of the strong-coupling constant from the recoil of $Z$ bosons with the ATLAS experiment at $\sqrt{s} = 8$ TeV

abstract: The coupling constant of the strong force is determined from the transverse-momentum distribution of $Z$ bosons produced in 8 TeV proton-proton collisions at the LHC and recorded by the ATLAS experiment. The $Z$-boson cross sections are measured in the full phase space of the decay leptons using 15.3 million electron and muon pairs, in a dataset collected in 2012 and corresponding to an integrated luminosity of 20.2 fb$^{-1}$. The analysis is based on predictions evaluated at third order in perturbative QCD, supplemented by the resummation of logarithmically enhanced contributions in the low transverse-momentum region of the lepton pairs. The determined value of the strong coupling at the reference scale corresponding to the $Z$-boson mass is $\alpha_\text{s}(m_Z) = 0.1183 \pm 0.0009$. This is the most precise experimental determination of $\alpha_\text{s}(m_Z)$ achieved so far.


title: Relating Wigner's Friend scenarios to Nonclassical Causal Compatibility, Monogamy Relations, and Fine Tuning

abstract: Nonclassical causal modeling was developed in order to explain violations of Bell inequalities while adhering to relativistic causal structure and faithfulness -- that is, avoiding fine-tuned causal explanations. Recently, a no-go theorem stronger than Bell's theorem has been derived, based on extensions of Wigner's friend thought experiment: the Local Friendliness (LF) no-go theorem. Here we show that the LF no-go theorem poses formidable challenges for the field of causal modeling, even when nonclassical and/or cyclic causal explanations are considered. We first recast the LF inequalities, one of the key elements of the LF no-go theorem, as special cases of monogamy relations stemming from a statistical marginal problem; we then further recast LF inequalities as causal compatibility inequalities stemming from a nonclassical causal marginal problem, for a causal structure implied by well-motivated causal-metaphysical assumptions. We find that the LF inequalities emerge from the causal modeling perspective even when allowing the latent causes of observed events to admit post-quantum descriptions, such as Generalised Probabilistic Theories (GPT) or even more exotic theories. We further prove that no nonclassical causal model can explain violations of LF inequalities without violating the No Fine-Tuning principle. Finally, we note that these obstacles cannot be overcome even if one were to appeal to cyclic causal models.


title: On $p$-adic modularity in the $p$-adic Heisenberg algebra

abstract: We establish existence theorems for the image of the normalized character map of the $p$-adic Heisenberg algebra $S$ taking values in the algebra of Serre $p$-adic modular forms $M_p$. In particular, we describe the construction of an analytic family of states in $S$ whose character values are the well-known $\Lambda$-adic family of $p$-adic Eisenstein series of level one built from classical Eisenstein series. This extends previous work treating a specialization at weight $2$, and illustrates that the image of the character map contains nonzero $p$-adic modular forms of every $p$-adic weight. In a different direction, we prove that for $p=2$ the image of the rescaled character map contains every overconvergent $2$-adic modular form of weight zero and tame level one; in particular, it contains the polynomial algebra $\mathbf{Q}_2[j^{-1}]$. For general primes $p$, we study the square-bracket formalism for $S$ and develop the idea that although states in $S$ do not generally have a conformal weight, they can acquire a $p$-adic weight in the sense of Serre.


title: A determination of the LMC dark matter subhalo mass using the MW halo stars in its gravitational wake

abstract: Our goal is to study the gravitational effects caused by the passage of the Large Magellanic Cloud (LMC) in its orbit on the stellar halo of the Milky Way (MW). We employed the Gaia Data Release 3 to construct a halo tracers data set consisting of K-Giant stars and RR-Lyrae variables. Additionally, we have compared the data with a theoretical model to estimate the DM subhalo mass. We have improved the characterisation of the local wake and the collective response due to the LMC orbit. On the other hand, we have estimated for the first time the dark subhalo mass of the Large Magellanic Cloud, of the order of $1.7\times 10^{11}$ M$_{\odot}$, comparable to previously reported values in the literature.


title: A Review of Bayesian Methods for Infinite Factorisations

abstract: Defining the number of latent factors has been one of the most challenging problems in factor analysis. Infinite factor models offer a solution to this problem by applying increasing shrinkage on the columns of factor loading matrices, thus penalising increasing factor dimensionality. The adaptive MCMC algorithms used for inference in such models allow to defer the dimension of the latent factor space automatically based on the data. This paper presents an overview of Bayesian models for infinite factorisations with some discussion on the properties of such models as well as their comparative advantages and drawbacks.