title: Collaboration Petri Nets: Verification, Equivalence, and Discovery (Extended Version)

abstract: Process modeling and discovery techniques aim to construct sound and valid process models for different types of processes, i.e., process orchestrations and collaboration processes. Orchestrations represent behavior of cases within one process. Collaboration processes represent behavior of collaborating cases within multiple process orchestrations that interact via collaboration concepts such as organizations, agents, objects, and services. The heterogeneity of collaboration concepts and types such as message exchange and resource sharing has led to different representations and discovery techniques for collaboration process models, but a standard model class is lacking. We propose collaboration Petri nets (cPN) to achieve comparability between techniques, to enable approach and property transfer, and to build a standardized collaboration mining pipeline similar to process mining. For cPN, we require desirable modeling power, decision power, modeling convenience, and relations to existing model classes. We show the representation of collaboration types, structural characterization as workflow nets, automatic verification of soundness, bisimulation equivalence to existing model classes, and application in a general discovery framework. As empirical evidence to discover cPN, we conduct a comparative evaluation between three discovery techniques on a set of existing collaboration event logs.


title: Instantons, fluctuations and singularities in the supercritical stochastic nonlinear Schroedinger equation

abstract: Recently, Josserand et al. proposed a stochastic nonlinear Schroedinger model for finite-time singularity-mediated turbulence [Phys. Rev. Fluids 5, 054607 (2020)]. Here, we use instanton calculus to quantify the effect of extreme fluctuations on the statistics of the energy dissipation rate. While the contribution of the instanton alone is insufficient, we obtain excellent agreement with direct simulations when including Gaussian fluctuations and the corresponding zero mode. Fluctuations are crucial to obtain the correct scaling when quasi-singular events govern the turbulence statistics.


title: CO2: Efficient Distributed Training with Full Communication-Computation Overlap

abstract: The fundamental success of large language models hinges upon the efficacious implementation of large-scale distributed training techniques. Nevertheless, building a vast, high-performance cluster featuring high-speed communication interconnectivity is prohibitively costly, and accessible only to prominent entities. In this work, we aim to lower this barrier and democratize large-scale training with limited bandwidth clusters. We propose a new approach called CO2 that introduces local-updating and asynchronous communication to the distributed data-parallel training, thereby facilitating the full overlap of COmunication with COmputation. CO2 is able to attain a high scalability even on extensive multi-node clusters constrained by very limited communication bandwidth. We further propose the staleness gap penalty and outer momentum clipping techniques together with CO2 to bolster its convergence and training stability. Besides, CO2 exhibits seamless integration with well-established ZeRO-series optimizers which mitigate memory consumption of model states with large model training. We also provide a mathematical proof of convergence, accompanied by the establishment of a stringent upper bound. Furthermore, we validate our findings through an extensive set of practical experiments encompassing a wide range of tasks in the fields of computer vision and natural language processing. These experiments serve to demonstrate the capabilities of CO2 in terms of convergence, generalization, and scalability when deployed across configurations comprising up to 128 A100 GPUs. The outcomes emphasize the outstanding capacity of CO2 to hugely improve scalability, no matter on clusters with 800Gbps RDMA or 80Gbps TCP/IP inter-node connections.


title: Dynamics of the Surface Growth Resulted from Sedimentation of Spheres in a Hele-Shaw Cell Containing a Low-Viscosity Fluid

abstract: In this paper, we investigate the dynamics of surface growth resulting from sedimentation of spherical granular particles in a fluid environment, using experiments and simulations. In the experimental part, spherical polystyrene particles are poured down from the top of a vertical Hele-Shaw cell and form a 1+1-dimensional growing surface. The surface roughness is obtained from the images and the growth and roughness exponents are measured. In the numerical simulation part, the surface growth process is simulated using the Molecular Dynamics method, considering the interactions between the grains; and the exponents are calculated. In this method, unlike conventional simulation models, instead of a discrete deposition law, the dynamics of the individual particles throughout the process are obtained considering different forces acting on the particles. Finally, the simulation results are compared with the experiment, and we see a very good agreement between them. We find different values for the exponents using different methods, which indicates that the system is multi-affine and does not obey scaling laws of affine models.


title: On the Bessenrodt-Ono type inequality for a wide class of $A$-partition functions

abstract: The $A$-partition function $p_A(n)$ enumerates those partitions of $n$ whose parts belong to a fixed (finite or infinite) set $A$ of positive integers. On the other hand, the extended $A$-partition function $p_A\left(\boldsymbol{\mu}\right)$ is defined as an multiplicative extension of the $A$-partition function to a function on $A$-partitions. In this paper, we investigate the Bessenrodt-Ono type inequality for a wide class of $A$-partition functions. In particular, we examine the property for both the $m$-ary partition function $b_m(n)$ and the $d$-th power partition function $p_d(n)$. Moreover, we show that $b_m(\boldsymbol{\mu})$ ($p_d(\boldsymbol{\mu})$) takes its maximum value at an explicitly described set of $m$-ary partitions (power partitions), where $\boldsymbol{\mu}$ is an $m$-ary partition (a power partition) of $n$. Additionally, we exhibit analogous results for the Fibonacci partition function and the `factorial' partition function. It is worth pointing out that an elementary combinatorial reasoning plays a crucial role in our investigation.


title: A.I. In All The Wrong Places

abstract: This text describes experiences gained across a two-year test period during which two generations of Generative Artificial Intelligence (A.I.) systems were incorporated into an interdisciplinary, university level course on A.I. for art and design practices. The text uses the results from the courses to reflect on new opportunities for generative systems in art and design, while considering traps and limits.


title: Dual-adatom diffusion-limited growth model for compound nanowires: Application to InAs nanowires

abstract: We propose a dual-adatom diffusion-limited model for the growth of compound semiconductor nanowires via the vapor-liquid-solid or the vapour-solid-solid mechanisms. The growth is catalyzed either by a liquid or a solid nanoparticle. We validate the model using experimental data from the growth of InAs nanowires catalyzed by a gold nanoparticle in a molecular beam epitaxy reactor. Initially, we determine the parameters (diffusion lengths, flux to the seed, Kelvin effect) that describe the growth of nanowires under an excess of one of the two beams (for instance, group III or group V atoms). The diffusion-limited model calculates the growth rate resulting from the current of atoms reaching the seed. Our dual-adatom diffusion-limited model calculates for a compound semiconductor, the instantaneous growth rate resulting from the smallest current of the two types of atoms at a given time. We apply the model to analyze the length-radius dependence of our InAs nanowires for growth conditions covering the transition from the As-limited to the In-limited regime. Finally, the model also describes the complex dependence of the transition between both regimes on the nanowire radius and length. This approach is generic and can be applied to study the growth of any compound semiconductor nanowires.


title: Capturing Knowledge Graphs and Rules with Octagon Embeddings

abstract: Region based knowledge graph embeddings represent relations as geometric regions. This has the advantage that the rules which are captured by the model are made explicit, making it straightforward to incorporate prior knowledge and to inspect learned models. Unfortunately, existing approaches are severely restricted in their ability to model relational composition, and hence also their ability to model rules, thus failing to deliver on the main promise of region based models. With the aim of addressing these limitations, we investigate regions which are composed of axis-aligned octagons. Such octagons are particularly easy to work with, as intersections and compositions can be straightforwardly computed, while they are still sufficiently expressive to model arbitrary knowledge graphs. Among others, we also show that our octagon embeddings can properly capture a non-trivial class of rule bases. Finally, we show that our model achieves competitive experimental results.


title: AnisoGNN: graph neural networks generalizing to anisotropic properties of polycrystals

abstract: We present AnisoGNNs -- graph neural networks (GNNs) that generalize predictions of anisotropic properties of polycrystals in arbitrary testing directions without the need in excessive training data. To this end, we develop GNNs with a physics-inspired combination of node attributes and aggregation function. We demonstrate the excellent generalization capabilities of AnisoGNNs in predicting anisotropic elastic and inelastic properties of two alloys.


title: Viscous Mechano-Electric Response of Ferroelectric Nematic Liquid

abstract: Direct viscous mechano-electric response is demonstrated for a room-temperature ferroelectric nematic liquid, which combines large spontaneous electric polarization with 3D fluidity. The mechano-electric transduction is observed in the frequency range 1-200 Hz via a simple demonstrator device. The liquid is placed into a deformable container with electrodes and the electric current induced by both periodic and irregular actuation of the container is examined. The experiments reveal a rich interplay of several distinct viscous mechano-electric phenomena, where both shape deformations and material flow cause changes in the electric polarization structure of a ferroelectric nematic liquid. The results show that the mechano-electric features of the material promise a considerable applicative perspective spanning from sensitive tactile sensors to energy harvesting devices.


title: Phase Coexistence and Transitions between Antiferromagnetic and Ferromagnetic States in a Synthetic Antiferromagnet

abstract: In synthetic antiferromagnets (SAFs) the combination of antiferromagnetic order and synthesis using conventional sputtering techniques is combined to produce systems that are advantageous for spintronics applications. Here we present the preparation and study of SAF multilayers possessing both perpendicular magnetic anisotropy and the Dzyaloshinskii-Moriya interaction. The multilayers have an antiferromagnetically (AF) aligned ground state but can be forced into a full ferromagnetic (FM) alignment by applying an out-of-plane field $\sim 100$~mT. We study the spin textures in these multilayers in their ground state as well as around the transition point between the AF and FM states, at fields $\sim 40$~mT, by imaging the spin textures using complementary methods: photo-emission electron, magnetic force, and Lorentz transmission electron microscopies. The transformation into a FM state by field proceeds by a nucleation and growth process, where first skyrmionic nuclei form, which broaden into regions containing a FM-aligned labyrinth pattern that eventually occupies the whole film. This process remarkably occurs without any significant change in the net magnetic moment of the multilayer. The mix of AF- and FM-aligned regions on the micron scale in the middle of this transition is reminiscent of a first-order phase transition that exhibits phase coexistence. These results are important for guiding the design of spintronic devices using chiral magnetic textures made from SAFs.


title: The HSF Conditions Database Reference Implementation

abstract: Conditions data is the subset of non-event data that is necessary to process event data. It poses a unique set of challenges, namely a heterogeneous structure and high access rates by distributed computing. The HSF Conditions Databases activity is a forum for cross-experiment discussions inviting as broad a participation as possible. It grew out of the HSF Community White Paper work to study conditions data access, where experts from ATLAS, Belle II, and CMS converged on a common language and proposed a schema that represents best practice. Following discussions with a broader community, including NP as well as HEP experiments, a core set of use cases, functionality and behaviour was defined with the aim to describe a core conditions database API. This paper will describe the reference implementation of both the conditions database service and the client which together encapsulate HSF best practice conditions data handling. Django was chosen for the service implementation, which uses an ORM instead of the direct use of SQL for all but one method. The simple relational database schema to organise conditions data is implemented in PostgreSQL. The task of storing conditions data payloads themselves is outsourced to any POSIX-compliant filesystem, allowing for transparent relocation and redundancy. Crucially this design provides a clear separation between retrieving the metadata describing which conditions data are needed for a data processing job, and retrieving the actual payloads from storage. The service deployment using Helm on OKD will be described together with scaling tests and operations experience from the sPHENIX experiment running more than 25k cores at BNL.


title: Graph Neural Networks: Theory for Estimation with Application on Network Heterogeneity

abstract: This paper presents a novel application of graph neural networks for modeling and estimating network heterogeneity. Network heterogeneity is characterized by variations in unit's decisions or outcomes that depend not only on its own attributes but also on the conditions of its surrounding neighborhood. We delineate the convergence rate of the graph neural networks estimator, as well as its applicability in semiparametric causal inference with heterogeneous treatment effects. The finite-sample performance of our estimator is evaluated through Monte Carlo simulations. In an empirical setting related to microfinance program participation, we apply the new estimator to examine the average treatment effects and outcomes of counterfactual policies, and to propose an enhanced strategy for selecting the initial recipients of program information in social networks.


title: Modulating weak protein-protein cross-interactions by addition of free amino acids at millimolar concentrations

abstract: In this paper, we quantify weak protein protein interactions in solution using Cross-Interaction Chromatography (CIC) and Surface Plasmon Resonance (SPR) and demonstrate that they can be modulated by the addition of free amino acids. With CIC, we determined the second osmotic virial cross-interaction coefficient (B23) as a proxy for the interaction strength between two different proteins. We perform SPR experiments to establish the binding affinity between the same proteins. With CIC, we show that the amino acids proline, glutamine, and arginine render the protein cross-interactions more repulsive or equivalently less attractive. Specifically, we measured B23 between lysozyme (Lys) and bovine serum albumin (BSA) and between Lys and protein isolates (whey and canola). We find that B23 increases when amino acids are added to the solution even at millimolar concentrations, corresponding to protein ligand stoichiometric ratios as low as 1 to 1. With SPR, we show that the binding affinity between proteins can change by one order of magnitude when 10 mM of glutamine are added. In the case of Lys and one whey protein isolate it changes from the mM to the M, thus by three orders of magnitude. Interestingly, this efficient modulation of the protein cross-interactions does not alter the protein's secondary structure. The capacity of amino acids to modulate protein cross-interactions at mM concentrations is remarkable and may have an impact across fields in particular for specific applications in the food or pharmaceutical industries.


title: SECOMP: Formally Secure Compilation of Compartmentalized C Programs

abstract: Undefined behavior in C often causes devastating security vulnerabilities. One practical mitigation is compartmentalization, which allows developers to structure large programs into mutually distrustful compartments with clearly specified privileges and interactions. In this paper we introduce SECOMP, a compiler for compartmentalized C code that comes with machine-checked proofs guaranteeing that the scope of undefined behavior is restricted to the compartments that encounter it and become dynamically compromised. These guarantees are formalized as the preservation of safety properties against adversarial contexts, a secure compilation criterion similar to full abstraction, and this is the first time such a strong criterion is proven for a mainstream programming language. To achieve this we extend the languages of the CompCert verified C compiler with isolated compartments that can only interact via procedure calls and returns, as specified by cross-compartment interfaces. We adapt the passes and optimizations of CompCert as well as their correctness proofs to this compartment-aware setting. We then use compiler correctness as an ingredient in a larger secure compilation proof that involves several proof engineering novelties, needed to scale formally secure compilation up to a C compiler.


title: Characteristics of the MTx optical transmitter in Total Ionizing Dose

abstract: The dual-channel multi-mode 850 nm optical Miniature Transmitter (MTx) is developed for data transmission of the ATLAS LAr calorimeter readout at LHC. The MTx's are exposed to the radiation field of proton-proton collisions, therefore, the tolerance in Total Ionizing Dose (TID) is required. The TID effects in the MTx are investigated with X-rays and Co-60 gamma-rays for the active components of VCSEL diodes and the customized Link-on-Chip laser driver (LOCld) developed in 0.25 um Silicon-on-Sapphire CMOS technology. The irradiation tests were conducted at various dose rates. The responses to TID are observed with degradation of laser currents at initial dose of 10 to 100 Gy(SiO2), and partial recovery with additional TID to a stable output about 90 % of the original. The optical eye diagrams of irradiated samples show slightly increased jittering, and are suitable for the ATLAS requirement of 5 Gbps applications.


title: Rethinking the Producer-Consumer Relationship in Modern DRAM-Based Systems

abstract: Generational improvements to commodity DRAM throughout half a century have long solidified its prevalence as main memory across the computing industry. However, overcoming today's DRAM technology scaling challenges requires new solutions driven by both DRAM producers and consumers. In this paper, we observe that the separation of concerns between producers and consumers specified by industry-wide DRAM standards is becoming a liability to progress in addressing scaling-related concerns. To understand the problem, we study four key directions for overcoming DRAM scaling challenges using system-memory cooperation: (i) improving memory access latencies; (ii) reducing DRAM refresh overheads; (iii) securely defending against the RowHammer vulnerability; and (iv) addressing worsening memory errors. We find that the single most important barrier to advancement in all four cases is the consumer's lack of insight into DRAM reliability. Based on an analysis of DRAM reliability testing, we recommend revising the separation of concerns to incorporate limited information transparency between producers and consumers. Finally, we propose adopting this revision in a two-step plan, starting with immediate information release through crowdsourcing and publication and culminating in widespread modifications to DRAM standards.


title: Cutup and Detect: Human Fall Detection on Cutup Untrimmed Videos Using a Large Foundational Video Understanding Model

abstract: This work explores the performance of a large video understanding foundation model on the downstream task of human fall detection on untrimmed video and leverages a pretrained vision transformer for multi-class action detection, with classes: "Fall", "Lying" and "Other/Activities of daily living (ADL)". A method for temporal action localization that relies on a simple cutup of untrimmed videos is demonstrated. The methodology includes a preprocessing pipeline that converts datasets with timestamp action annotations into labeled datasets of short action clips. Simple and effective clip-sampling strategies are introduced. The effectiveness of the proposed method has been empirically evaluated on the publicly available High-Quality Fall Simulation Dataset (HQFSD). The experimental results validate the performance of the proposed pipeline. The results are promising for real-time application, and the falls are detected on video level with a state-of-the-art 0.96 F1 score on the HQFSD dataset under the given experimental settings. The source code will be made available on GitHub.


title: Semi-inclusive deep-inelastic scattering at NNLO in QCD

abstract: Semi-inclusive hadron production processes in deep-inelastic lepton-nucleon scattering are important probes of the quark flavour structure of the nucleon and of the fragmentation dynamics of quarks into hadrons. We compute the full next-to-next-to-leading order (NNLO) QCD corrections to the coefficient functions for semi-inclusive deep-inelastic scattering (SIDIS) in analytical form. The numerical impact of these corrections for precision physics is illustrated by a detailed comparison with data on single inclusive hadron spectra from the CERN COMPASS experiment.


title: MAPLE: Micro Analysis of Pairwise Language Evolution for Few-Shot Claim Verification

abstract: Claim verification is an essential step in the automated fact-checking pipeline which assesses the veracity of a claim against a piece of evidence. In this work, we explore the potential of few-shot claim verification, where only very limited data is available for supervision. We propose MAPLE (Micro Analysis of Pairwise Language Evolution), a pioneering approach that explores the alignment between a claim and its evidence with a small seq2seq model and a novel semantic measure. Its innovative utilization of micro language evolution path leverages unlabelled pairwise data to facilitate claim verification while imposing low demand on data annotations and computing resources. MAPLE demonstrates significant performance improvements over SOTA baselines SEED, PET and LLaMA 2 across three fact-checking datasets: FEVER, Climate FEVER, and SciFact. Data and code are available here: https://github.com/XiaZeng0223/MAPLE


title: Gravity versus Noncommutative Gauge Theory: A Double Copy Perspective

abstract: We discuss how Moyal deformations of gauge theories, which arise naturally from open string theory, fit into the paradigm of colour-kinematics duality and the double copy of gauge theory to gravity. Along the way we encounter novel noncommutative scalar field theories with rigid colour symmetry that have no interacting commutative counterparts. These scalar theories offer new perspectives on old ideas that rank one noncommutative gauge theories are gravitational theories. This is rendered explicit in four dimensions where they and their double copy images yield deformations of integrable theories describing the self-dual sectors of Yang-Mills theory and gravity.


title: Leveraging Positional Encoding for Robust Multi-Reference-Based Object 6D Pose Estimation

abstract: Accurately estimating the pose of an object is a crucial task in computer vision and robotics. There are two main deep learning approaches for this: geometric representation regression and iterative refinement. However, these methods have some limitations that reduce their effectiveness. In this paper, we analyze these limitations and propose new strategies to overcome them. To tackle the issue of blurry geometric representation, we use positional encoding with high-frequency components for the object's 3D coordinates. To address the local minimum problem in refinement methods, we introduce a normalized image plane-based multi-reference refinement strategy that's independent of intrinsic matrix constraints. Lastly, we utilize adaptive instance normalization and a simple occlusion augmentation method to help our model concentrate on the target object. Our experiments on Linemod, Linemod-Occlusion, and YCB-Video datasets demonstrate that our approach outperforms existing methods. We will soon release the code.


title: Capturing Pertinent Symbolic Features for Enhanced Content-Based Misinformation Detection

abstract: Preventing the spread of misinformation is challenging. The detection of misleading content presents a significant hurdle due to its extreme linguistic and domain variability. Content-based models have managed to identify deceptive language by learning representations from textual data such as social media posts and web articles. However, aggregating representative samples of this heterogeneous phenomenon and implementing effective real-world applications is still elusive. Based on analytical work on the language of misinformation, this paper analyzes the linguistic attributes that characterize this phenomenon and how representative of such features some of the most popular misinformation datasets are. We demonstrate that the appropriate use of pertinent symbolic knowledge in combination with neural language models is helpful in detecting misleading content. Our results achieve state-of-the-art performance in misinformation datasets across the board, showing that our approach offers a valid and robust alternative to multi-task transfer learning without requiring any additional training data. Furthermore, our results show evidence that structured knowledge can provide the extra boost required to address a complex and unpredictable real-world problem like misinformation detection, not only in terms of accuracy but also time efficiency and resource utilization.


title: Robust Functional Data Analysis for Stochastic Evolution Equations in Infinite Dimensions

abstract: We develop an asymptotic theory for the jump robust measurement of covariations in the context of stochastic evolution equation in infinite dimensions. Namely, we identify scaling limits for realized covariations of solution processes with the quadratic covariation of the latent random process that drives the evolution equation which is assumed to be a Hilbert space-valued semimartingale. We discuss applications to dynamically consistent and outlier-robust dimension reduction in the spirit of functional principal components and the estimation of infinite-dimensional stochastic volatility models.


title: GAPS: Geometry-Aware Problem Solver

abstract: Geometry problem solving presents a formidable challenge within the NLP community. Existing approaches often rely on models designed for solving math word problems, neglecting the unique characteristics of geometry math problems. Additionally, the current research predominantly focuses on geometry calculation problems, while overlooking other essential aspects like proving. In this study, we address these limitations by proposing the Geometry-Aware Problem Solver (GAPS) model. GAPS is specifically designed to generate solution programs for geometry math problems of various types with the help of its unique problem-type classifier. To achieve this, GAPS treats the solution program as a composition of operators and operands, segregating their generation processes. Furthermore, we introduce the geometry elements enhancement method, which enhances the ability of GAPS to recognize geometry elements accurately. By leveraging these improvements, GAPS showcases remarkable performance in resolving geometry math problems. Our experiments conducted on the UniGeo dataset demonstrate the superiority of GAPS over the state-of-the-art model, Geoformer. Specifically, GAPS achieves an accuracy improvement of more than 5.3% for calculation tasks and an impressive 41.1% for proving tasks. Notably, GAPS achieves an impressive accuracy of 97.5% on proving problems, representing a significant advancement in solving geometry proving tasks.


title: Upper bounds on the rate of linear $q$-ary $k$-hash codes

abstract: This paper presents new upper bounds on the rate of linear $k$-hash codes in $\mathbb{F}_q^n$, $q\geq k$, that is, codes with the property that any $k$ distinct codewords are all simultaneously distinct in at least one coordinate.


title: Tur\'an Densities for Daisies and Hypercubes

abstract: An $r$-daisy is an $r$-uniform hypergraph consisting of the six $r$-sets formed by taking the union of an $(r-2)$-set with each of the 2-sets of a disjoint 4-set. Bollob\'as, Leader and Malvenuto, and also Bukh, conjectured that the Tur\'an density of the $r$-daisy tends to zero as $r \to \infty$. In this paper we disprove this conjecture. Adapting our construction, we are also able to disprove a folklore conjecture about Tur\'an densities of hypercubes. For fixed $d$ and large $n$, we show that the smallest set of vertices of the $n$-dimensional hypercube $Q_n$ that meets every copy of $Q_d$ has asymptotic density strictly below $1/(d+1)$, for all $d \geq 8$. In fact, we show that this asymptotic density is at most $c^d$, for some constant $c<1$. As a consequence, we obtain similar bounds for the edge-Tur\'an densities of hypercubes. We also answer some related questions of Johnson and Talbot, and disprove a conjecture made by Bukh and by Griggs and Lu on poset densities.


title: The topology of critical processes, II (The fundamental category)

abstract: Directed Algebraic Topology studies directed spaces, in a general sense, to include models of non-reversible processes. In the present extension we also want to cover critical processes, indecomposable and unstoppable. The first part of this series introduced controlled spaces, examining how they can model critical processes in various domains, from the change of state in a memory cell to the action of a siphon. We now construct the fundamental category of these spaces. Their homotopy structure will be dealt with in a sequel.


title: MachineLearnAthon: An Action-Oriented Machine Learning Didactic Concept

abstract: Machine Learning (ML) techniques are encountered nowadays across disciplines, from social sciences, through natural sciences to engineering. The broad application of ML and the accelerated pace of its evolution lead to an increasing need for dedicated teaching concepts aimed at making the application of this technology more reliable and responsible. However, teaching ML is a daunting task. Aside from the methodological complexity of ML algorithms, both with respect to theory and implementation, the interdisciplinary and empirical nature of the field need to be taken into consideration. This paper introduces the MachineLearnAthon format, an innovative didactic concept designed to be inclusive for students of different disciplines with heterogeneous levels of mathematics, programming and domain expertise. At the heart of the concept lie ML challenges, which make use of industrial data sets to solve real-world problems. These cover the entire ML pipeline, promoting data literacy and practical skills, from data preparation, through deployment, to evaluation.


title: Pilotfish: Distributed Transaction Execution for Lazy Blockchains

abstract: Pilotfish is the first scale-out blockchain execution engine able to harness any degree of parallelizability existing in its workload. Pilotfish allows each validator to employ multiple machines, named ExecutionWorkers, under its control to scale its execution layer. Given a sufficiently parallelizable and compute-intensive load, the number of transactions that the validator can execute increases linearly with the number of ExecutionWorkers at its disposal. In addition, Pilotfish maintains the consistency of the state, even when many validators experience simultaneous machine failures. This is possible due to the meticulous co-design of our crash-recovery protocol which leverages the existing fault tolerance in the blockchain's consensus mechanism. Finally, Pilotfish can also be seen as the first distributed deterministic execution engine that provides support for dynamic reads as transactions are not required to provide a fully accurate read and write set. This loosening of requirements would normally reduce the parallelizability available by blocking write-after-write conflicts, but our novel versioned-queues scheduling algorithm circumvents this by exploiting the lazy recovery property of Pilotfish, which only persists consistent state and re-executes any optimistic steps taken before the crash. In order to prove our claims we implemented the common path of Pilotfish with support for the MoveVM and evaluated it against the parallel execution MoveVM of Sui. Our results show that Pilotfish provides good scalability up to 8 ExecutionWorkers for a variety of workloads. In computationally-heavy workloads, Pilotfish's scalability is linear.


title: Textual Entailment for Effective Triple Validation in Object Prediction

abstract: Knowledge base population seeks to expand knowledge graphs with facts that are typically extracted from a text corpus. Recently, language models pretrained on large corpora have been shown to contain factual knowledge that can be retrieved using cloze-style strategies. Such approach enables zero-shot recall of facts, showing competitive results in object prediction compared to supervised baselines. However, prompt-based fact retrieval can be brittle and heavily depend on the prompts and context used, which may produce results that are unintended or hallucinatory.We propose to use textual entailment to validate facts extracted from language models through cloze statements. Our results show that triple validation based on textual entailment improves language model predictions in different training regimes. Furthermore, we show that entailment-based triple validation is also effective to validate candidate facts extracted from other sources including existing knowledge graphs and text passages where named entities are recognized.


title: Dual feature-based and example-based explanation methods

abstract: A new approach to the local and global explanation is proposed. It is based on selecting a convex hull constructed for the finite number of points around an explained instance. The convex hull allows us to consider a dual representation of instances in the form of convex combinations of extreme points of a produced polytope. Instead of perturbing new instances in the Euclidean feature space, vectors of convex combination coefficients are uniformly generated from the unit simplex, and they form a new dual dataset. A dual linear surrogate model is trained on the dual dataset. The explanation feature importance values are computed by means of simple matrix calculations. The approach can be regarded as a modification of the well-known model LIME. The dual representation inherently allows us to get the example-based explanation. The neural additive model is also considered as a tool for implementing the example-based explanation approach. Many numerical experiments with real datasets are performed for studying the approach. The code of proposed algorithms is available.


title: A Class of Matrix Schr\"odinger Bispectral Operators

abstract: We prove the bispectrality of some class of matrix Schr\"odinger operators with polynomial potentials that satisfy a second-order matrix autonomous differential equation. The physical equation is constructed using the formal theory of the Laurent series and after that obtaining local solutions using estimations in the Frobenius norm. Furthermore, the characterization of the algebra of polynomial eigenvalues in the spectral variable is given using some family of functions $\left\{ P_{k}\right\}_{k\in \mathbb{N}}$ with the remarkable property of satisfying a general version of the Leibniz rule.


title: On the Complexity of Establishing Hereditary Graph Properties via Vertex Splitting

abstract: Vertex splitting is a graph operation that replaces a vertex $v$ with two nonadjacent new vertices and makes each neighbor of $v$ adjacent with one or both of the introduced vertices. Vertex splitting has been used in contexts from circuit design to statistical analysis. In this work, we explore the computational complexity of achieving a given graph property $\Pi$ by a limited number of vertex splits, formalized as the problem $\Pi$ Vertex Splitting ($\Pi$-VS). We focus on hereditary graph properties and contribute four groups of results: First, we classify the classical complexity of $\Pi$-VS for graph properties characterized by forbidden subgraphs of size at most 3. Second, we provide a framework that allows to show NP-completeness whenever one can construct a combination of a forbidden subgraph and prescribed vertex splits that satisfy certain conditions. Leveraging this framework we show NP-completeness when $\Pi$ is characterized by forbidden subgraphs that are sufficiently well connected. In particular, we show that $F$-Free-VS is NP-complete for each biconnected graph $F$. Third, we study infinite families of forbidden subgraphs, obtaining NP-hardness for Bipartite-VS and Perfect-VS. Finally, we touch upon the parameterized complexity of $\Pi$-VS with respect to the number of allowed splits, showing para-NP-hardness for $K_3$-Free-VS and deriving an XP-algorithm when each vertex is only allowed to be split at most once.


title: Radial Gravitational Collapse Causes Timelike Incompleteness

abstract: We show that a globally hyperbolic spacetime containing a trapped surface and satisfying the strong energy condition and a condition on certain radial tidal forces must be timelike geodesically incomplete. This constitutes a "timelike" version of Penrose's celebrated singularity theorem. Recall that the latter concludes that certain spacetimes are null incomplete, providing the first theoretical evidence that black holes actually exist in our Universe. By concluding timelike instead of null incompleteness, we obtain, at the expense of stronger assumptions, a clearer physical interpretation and the existence of an event horizon.


title: Breaking the Barrier: Selective Uncertainty-based Active Learning for Medical Image Segmentation

abstract: Active learning (AL) has found wide applications in medical image segmentation, aiming to alleviate the annotation workload and enhance performance. Conventional uncertainty-based AL methods, such as entropy and Bayesian, often rely on an aggregate of all pixel-level metrics. However, in imbalanced settings, these methods tend to neglect the significance of target regions, eg., lesions, and tumors. Moreover, uncertainty-based selection introduces redundancy. These factors lead to unsatisfactory performance, and in many cases, even underperform random sampling. To solve this problem, we introduce a novel approach called the Selective Uncertainty-based AL, avoiding the conventional practice of summing up the metrics of all pixels. Through a filtering process, our strategy prioritizes pixels within target areas and those near decision boundaries. This resolves the aforementioned disregard for target areas and redundancy. Our method showed substantial improvements across five different uncertainty-based methods and two distinct datasets, utilizing fewer labeled data to reach the supervised baseline and consistently achieving the highest overall performance. Our code is available at https://github.com/HelenMa9998/Selective\_Uncertainty\_AL.


title: Enhancing Molecular Property Prediction with Auxiliary Learning and Task-Specific Adaptation

abstract: Pretrained Graph Neural Networks have been widely adopted for various molecular property prediction tasks. Despite their ability to encode structural and relational features of molecules, traditional fine-tuning of such pretrained GNNs on the target task can lead to poor generalization. To address this, we explore the adaptation of pretrained GNNs to the target task by jointly training them with multiple auxiliary tasks. This could enable the GNNs to learn both general and task-specific features, which may benefit the target task. However, a major challenge is to determine the relatedness of auxiliary tasks with the target task. To address this, we investigate multiple strategies to measure the relevance of auxiliary tasks and integrate such tasks by adaptively combining task gradients or by learning task weights via bi-level optimization. Additionally, we propose a novel gradient surgery-based approach, Rotation of Conflicting Gradients ($\mathtt{RCGrad}$), that learns to align conflicting auxiliary task gradients through rotation. Our experiments with state-of-the-art pretrained GNNs demonstrate the efficacy of our proposed methods, with improvements of up to 7.7% over fine-tuning. This suggests that incorporating auxiliary tasks along with target task fine-tuning can be an effective way to improve the generalizability of pretrained GNNs for molecular property prediction.


title: Delaunay hypersurfaces in spheres

abstract: We study Delaunay hypersurfaces in $\mathbb S^n$ with $n\geq 3$ and add a missing (flower) type of the category. Moreover, embedded Delaunay hypersurfaces of nonzero constant mean curvatures in $\mathbb S^n$ are found.


title: Scalable Factor Graph-Based Heterogeneous Bayesian DDF for Dynamic Systems

abstract: Heterogeneous Bayesian decentralized data fusion captures the set of problems in which two robots must combine two probability density functions over non-equal, but overlapping sets of random variables. In the context of multi-robot dynamic systems, this enables robots to take a "divide and conquer" approach to reason and share data over complementary tasks instead of over the full joint state space. For example, in a target tracking application, this allows robots to track different subsets of targets and share data on only common targets. This paper presents a framework by which robots can each use a local factor graph to represent relevant partitions of a complex global joint probability distribution, thus allowing them to avoid reasoning over the entirety of a more complex model and saving communication as well as computation costs. From a theoretical point of view, this paper makes contributions by casting the heterogeneous decentralized fusion problem in terms of a factor graph, analyzing the challenges that arise due to dynamic filtering, and then developing a new conservative filtering algorithm that ensures statistical correctness. From a practical point of view, we show how this framework can be used to represent different multi-robot applications and then test it with simulations and hardware experiments to validate and demonstrate its statistical conservativeness, applicability, and robustness to real-world challenges.


title: Quantum-safe Encryption: A New Method to Reduce Complexity and/or Improve Security Level

abstract: This work presents some novel techniques to enhance an encryption scheme motivated by classical McEliece cryptosystem. Contributions include: (1) using masking matrices to hide sensitive data, (2) allowing both legitimate parties to incorporate randomness in the public key without sharing any additional public information, (3) using concatenation of a repetition code for error correction, permitting key recovery with a negligible decoding complexity, (4) making attacks more difficult by increasing the complexity in verifying a given key candidate has resulted in the actual key, (5) introducing memory in the error sequence such that: (i) error vector is composed of a random number of erroneous bits, (ii) errors can be all corrected when used in conjunction with concatenation of a repetition code of length 3. Proposed techniques allow generating significantly larger keys, at the same time, with a much lower complexity, as compared to known post-quantum key generation techniques relying on randomization.


title: Observation of the $\Lambda_\text{b}^0$ $\to$ J/$\psi\Xi^-$K$^+$ decay

abstract: Using proton-proton collision data corresponding to an integrated luminosity of 140 fb$^{-1}$ collected by the CMS experiment at $\sqrt{s}$ = 13 TeV, the $\Lambda_\text{b}^0$ $\to$ J/$\psi\Xi^-$K$^+$ decay is observed for the first time, with a statistical significance exceeding 5 standard deviations. The relative branching fraction, with respect to the $\Lambda_\text{b}^0$ $\to$ $\psi$(2S)$\Lambda$ decay, is measured to be $\mathcal{B}$($\Lambda_\text{b}^0$ $\to$ J/$\psi\Xi^-$K$^+$)/$\mathcal{B}$( $\Lambda_\text{b}^0$ $\to$ $\psi$(2S)$\Lambda$) = [3.38 $\pm$ 1.02 $\pm$ 0.61 $\pm$ 0.03]%, where the first uncertainty is statistical, the second is systematic, and the third is related to the uncertainties in $\mathcal{B}$($\psi$(2S) $\to$ J/$\psi\pi^+\pi^-$) and $\mathcal{B}$($\Xi^-$ $\to$ $\Lambda\pi^-$).


title: Regressing Transformers for Data-efficient Visual Place Recognition

abstract: Visual place recognition is a critical task in computer vision, especially for localization and navigation systems. Existing methods often rely on contrastive learning: image descriptors are trained to have small distance for similar images and larger distance for dissimilar ones in a latent space. However, this approach struggles to ensure accurate distance-based image similarity representation, particularly when training with binary pairwise labels, and complex re-ranking strategies are required. This work introduces a fresh perspective by framing place recognition as a regression problem, using camera field-of-view overlap as similarity ground truth for learning. By optimizing image descriptors to align directly with graded similarity labels, this approach enhances ranking capabilities without expensive re-ranking, offering data-efficient training and strong generalization across several benchmark datasets.


title: MixSup: Mixed-grained Supervision for Label-efficient LiDAR-based 3D Object Detection

abstract: Label-efficient LiDAR-based 3D object detection is currently dominated by weakly/semi-supervised methods. Instead of exclusively following one of them, we propose MixSup, a more practical paradigm simultaneously utilizing massive cheap coarse labels and a limited number of accurate labels for Mixed-grained Supervision. We start by observing that point clouds are usually textureless, making it hard to learn semantics. However, point clouds are geometrically rich and scale-invariant to the distances from sensors, making it relatively easy to learn the geometry of objects, such as poses and shapes. Thus, MixSup leverages massive coarse cluster-level labels to learn semantics and a few expensive box-level labels to learn accurate poses and shapes. We redesign the label assignment in mainstream detectors, which allows them seamlessly integrated into MixSup, enabling practicality and universality. We validate its effectiveness in nuScenes, Waymo Open Dataset, and KITTI, employing various detectors. MixSup achieves up to 97.31% of fully supervised performance, using cheap cluster annotations and only 10% box annotations. Furthermore, we propose PointSAM based on the Segment Anything Model for automated coarse labeling, further reducing the annotation burden. The code is available at https://github.com/BraveGroup/PointSAM-for-MixSup.


title: Boundary terms, branes and AdS/BCFT in first-order gravity

abstract: We provide an account of the issue of Gibbons-Hawking-York-like boundary terms for a gravity theory defined on a Riemman-Cartan spacetime. We further discuss different criteria for introducing boundary terms in some familiar first-order gravity theories with both on-shell vanishing and non-vanishing torsion, along with considerations regarding the thermodynamics of black holes and profiles of the End-of-the-World branes. Our analysis confirms the expected geodesic profile of the End-of-the-World brane in the BF formulation of Jackiw-Teitelboim gravity. Finally, we present the first realisation of the AdS/BCFT duality for spacetime with torsion.


title: Momentary Stressor Logging and Reflective Visualizations: Implications for Stress Management with Wearables

abstract: Commercial wearables from Fitbit, Garmin, and Whoop have recently introduced real-time notifications based on detecting changes in physiological responses indicating potential stress. In this paper, we investigate how these new capabilities can be leveraged to improve stress management. We developed a smartwatch app, a smartphone app, and a cloud service, and conducted a 100-day field study with 122 participants who received prompts triggered by physiological responses several times a day. They were asked whether they were stressed, and if so, to log the most likely stressor. Each week, participants received new visualizations of their data to self-reflect on patterns and trends. Participants reported better awareness of their stressors, and self-initiating fourteen kinds of behavioral changes to reduce stress in their daily lives. Repeated self-reports over 14 weeks showed reductions in both stress intensity (in 26,521 momentary ratings) and stress frequency (in 1,057 weekly surveys).


title: A Comprehensive Study of Covid 19 in Florida

abstract: Within the likes of any highly contagious and unpredictable disease, lies a predictable and attainable growth rate that researchers can find in order to make logistical conclusions about that particular disease and its affected regions' counterparts. The foundation that researchers pull from when studying a particular disease and looking for its growth rate is the Susceptible-Infected-Removed (SIR) model, presented by a series of differential equations. The issue with the SIR model lies not in its complexity, but actually its simplicity and lack of a potentially high-finite amount of factors; the limit being bounded by the amount of data available for that particular factor. Our research involves the application of multiple regressions to pinpoint and identify our Covid lockdown periods, followed by the modification of the SIR model. This involved creating new model approximations such as the time-delayed SIR model and the reinfected SIR model in order to take into account factors such as incubation and reinfection, and get the lowest error discrepancy as possible for our infection rate. We were able to conclude that the more factors that we took into account, our error rate became lower and our results became more accurate. We could also identify outlier Metros and draw certain conclusions on performance level and the reasons behind them. We then moved on to find correlations, if any, between the infection rates and outside factors. We looked at demographic and weather data to demonstrate whether correlations appeared. We found that there are a few factors with high correlations, including graduate education and low temperatures.


title: Hot bubbles of planetary nebulae with hydrogen-deficient winds. III. Formation and evolution in comparison with hydrogen-rich bubbles

abstract: We seek to understand the evolution of Wolf-Rayet central stars by comparing the diffuse X-ray emission from their wind-blown bubbles with that from their hydrogen-rich counterparts with predictions from hydrodynamical models. We simulate the dynamical evolution of heat-conducting wind-blown bubbles using a post-AGB-model of 0.595~Msun, allowing for variations of its evolutionary timescale and wind power. For Wolf-Rayet central stars, the wind is hydrogen-poor, more dense, and slower compared to O-type central stars. We use the CHIANTI software to compute the X-ray properties of bubble models along the evolutionary paths and explicitly allow for non-equilibrium ionisation of key chemical elements. A sample of 12 planetary nebulae with diffuse X-ray emission -- seven harbouring an O-type and five a Wolf-Rayet nucleus -- is used to test the bubble models. The properties of most hydrogen-rich bubbles (X-ray temperature, X-ray luminosity, size) and their central stars (photon and wind luminosity) are fairly well represented by bubble models of our 0.595~Msun AGB remnant. The bubble evolution of Wolf-Rayet objects is different, thanks to the high radiation cooling of their carbon- and oxygen-rich winds. The bubble formation is delayed, and eventually, evaporation begins, leading to chemically stratified bubbles. The bubbles of the youngest Wolf-Rayet objects appear chemically uniform, the chemically stratified bubbles of the evolved Wolf-rayet objects have excessively low characteristic temperatures that cannot be explained by our modelling. The formation of nebulae with O-type nuclei follows mainly a single path, but the formation pathways leading to the Wolf-Rayet-type objects appear diverse.


title: Security Code Review by Large Language Models

abstract: Security code review, as a time-consuming and labour-intensive process, typically requires integration with automated security defect detection tools to ensure code security. Despite the emergence of numerous security analysis tools, those tools face challenges in terms of their poor generalization, high false positive rates, and coarse detection granularity. A recent development with Large Language Models (LLMs) has made them a promising candidate to support security code review. To this end, we conducted the first empirical study to understand the capabilities of LLMs in security code review, delving into the performance, quality problems, and influential factors of LLMs to detect security defects in code reviews. Specifically, we compared the performance of 6 LLMs under five different prompts with the state-of-the-art static analysis tools to detect and analyze security defects. For the best-performing LLM, we conducted a linguistic analysis to explore quality problems in its responses, as well as a regression analysis to investigate the factors influencing its performance. The results are that: (1) existing pre-trained LLMs have limited capability in detecting security defects during code review but significantly outperform the state-of-the-art static analysis tools. (2) GPT-4 performs best among all LLMs when provided with a CWE list for reference. (3) GPT-4 makes few factual errors but frequently generates unnecessary content or responses that are not compliant with the task requirements given in the prompts. (4) GPT-4 is more adept at identifying security defects in code files with fewer tokens, containing functional logic and written by developers with less involvement in the project.


title: Combinatorial identities from an inhomogeneous Ising chain

abstract: We study a family of inhomogeneous Ising chain models along with an equivalent family of nearest neighbour particle systems. By the correspondence between the two families we prove identities of combinatorial significance relating to certain integer and Frobenius partitions. In particular, for certain parameter values we see that one of our identities relates to generating functions for overpartitions. Using the identities we give a surprising product form of the partition function for an Ising chain with homogeneous interaction and an inhomogeneous external field. We also use the connection between the Ising chain and particle system to find interesting long-range reversible dynamics for the particle system that do not have a product form stationary measure.


title: Degradability of Modified Landau-Streater Type Low-Noise Quantum Channels in High Dimensions

abstract: This paper delves into the degradability of quantum channels, with a specific focus on high-dimensional extensions of qubit depolarizing channels in low-noise regimes. We build upon the foundation of $\eta$-approximate degradable channels, as established by Sutter et al. and Leditzky et al., to introduce and examine the Modified Landau-Streater (MLS) channels. These channels expand upon the qubit depolarizing and the recently proposed modified Werner-Holevo channels by Roofeh and Karimipour, extending them to higher-dimensional Hilbert spaces (with dimension $d=2j+1$, where $j$ are positive half-integers). Our investigation centers on their conformity to the $O(\varepsilon^2)$ degradability pattern, aligning with and extending Leditzky et al.'s findings in the $d=2$ case. By replacing the SU($2$) generators with SU($d$) in our treatment, we may explore the potential inclusion of generalized Gell-Mann matrices in future research. Our results enhance the understanding of super-additivity in quantum channels within the low-noise regime and lay the groundwork for future explorations into conditions and structures that could lead to $O(\varepsilon^2)$ degradability across a broader spectrum of quantum channels.


title: Machine Translation Meta Evaluation through Translation Accuracy Challenge Sets

abstract: Recent machine translation (MT) metrics calibrate their effectiveness by correlating with human judgement but without any insights about their behaviour across different error types. Challenge sets are used to probe specific dimensions of metric behaviour but there are very few such datasets and they either focus on a limited number of phenomena or a limited number of language pairs. We introduce ACES, a contrastive challenge set spanning 146 language pairs, aimed at discovering whether metrics can identify 68 translation accuracy errors. These phenomena range from simple alterations at the word/character level to more complex errors based on discourse and real-world knowledge. We conduct a large-scale study by benchmarking ACES on 50 metrics submitted to the WMT 2022 and 2023 metrics shared tasks. We benchmark metric performance, assess their incremental performance over successive campaigns, and measure their sensitivity to a range of linguistic phenomena. We also investigate claims that Large Language Models (LLMs) are effective as MT evaluators by evaluating on ACES. Our results demonstrate that different metric families struggle with different phenomena and that LLM-based methods fail to demonstrate reliable performance. Our analyses indicate that most metrics ignore the source sentence, tend to prefer surface-level overlap and end up incorporating properties of base models which are not always beneficial. We expand ACES to include error span annotations, denoted as SPAN-ACES and we use this dataset to evaluate span-based error metrics showing these metrics also need considerable improvement. Finally, we provide a set of recommendations for building better MT metrics, including focusing on error labels instead of scores, ensembling, designing strategies to explicitly focus on the source sentence, focusing on semantic content and choosing the right base model for representations.


title: Creative Telescoping for Hypergeometric Double Sums

abstract: We present efficient methods for calculating linear recurrences of hypergeometric double sums and, more generally, of multiple sums. In particular, we supplement this approach with the algorithmic theory of contiguous relations, which guarantees the applicability of our method for many input sums. In addition, we elaborate new techniques to optimize the underlying key task of our method to compute rational solutions of parameterized linear recurrences.


title: Regularity and compactness for critical points of degenerate polyconvex energies

abstract: We study Lipschitz critical points of the energy $\int_\Omega g(\det D u) \, d x$ in two dimensions, where $g$ is a strictly convex function. We prove that the Jacobian of any Lipschitz critical point is constant, and that the Jacobians of sequences of approximately critical points converge strongly. The latter result answers in particular an open problem posed by Kirchheim, M\"uller and \v{S}ver\'ak in 2003.


title: Convergence Analysis of a Preconditioned Steepest Descent Solver for the Cahn-Hilliard Equation with Logarithmic Potential

abstract: In this paper, we provide a theoretical analysis for a preconditioned steepest descent (PSD) iterative solver that improves the computational time of a finite difference numerical scheme for the Cahn-Hilliard equation with Flory-Huggins energy potential. In the numerical design, a convex splitting approach is applied to the chemical potential such that the logarithmic and the surface diffusion terms are treated implicitly while the expansive concave term is treated with an explicit update. The nonlinear and singular nature of the logarithmic energy potential makes the numerical implementation very challenging. However, the positivity-preserving property for the logarithmic arguments, unconditional energy stability, and optimal rate error estimates have been established in a recent work and it has been shown that successful solvers ensure a similar positivity-preserving property at each iteration stage. Therefore, in this work, we will show that the PSD solver ensures a positivity-preserving property at each iteration stage. The PSD solver consists of first computing a search direction (involved with solving a Poisson-like equation) and then takes a one-parameter optimization step over the search direction in which the Newton iteration becomes very powerful. A theoretical analysis is applied to the PSD iteration solver and a geometric convergence rate is proved for the iteration. In particular, the strict separation property of the numerical solution, which indicates a uniform distance between the numerical solution and the singular limit values of $\pm 1$ for the phase variable, plays an essential role in the iteration convergence analysis. A few numerical results are presented to demonstrate the robustness and efficiency of the PSD solver.


title: Assessing the Benefits and Risks of Quantum Computers

abstract: Quantum computing is an emerging technology with potentially far-reaching implications for national prosperity and security. Understanding the timeframes over which economic benefits and national security risks may manifest themselves is vital for ensuring the prudent development of this technology. To inform security experts and policy decision makers on this matter, we review what is currently known on the potential uses and risks of quantum computers, leveraging current research literature. The maturity of currently-available quantum computers is not yet at a level such that they can be used in production for large-scale, industrially-relevant problems, and they are not believed to currently pose security risks. We identify 2 large-scale trends -- new approximate methods (variational algorithms, error mitigation, and circuit knitting) and the commercial exploration of business-relevant quantum applications -- which, together, may enable useful and practical quantum computing in the near future. Crucially, these methods do not appear likely to change the required resources for cryptanalysis on currently-used cryptosystems. From an analysis we perform of the current and known algorithms for cryptanalysis, we find they require circuits of a size exceeding those that can be run by current and near-future quantum computers (and which will require error correction), though we acknowledge improvements in quantum algorithms for these problems are taking place in the literature. In addition, the risk to cybersecurity can be well-managed by the migration to new, quantum-safe cryptographic protocols, which we survey and discuss. Given the above, we conclude there is a credible expectation that quantum computers will be capable of performing computations which are economically-impactful before they will be capable of performing ones which are cryptographically-relevant.


title: Defining and Extracting generalizable interaction primitives from DNNs

abstract: Faithfully summarizing the knowledge encoded by a deep neural network (DNN) into a few symbolic primitive patterns without losing much information represents a core challenge in explainable AI. To this end, Ren et al. (2023c) have derived a series of theorems to prove that the inference score of a DNN can be explained as a small set of interactions between input variables. However, the lack of generalization power makes it still hard to consider such interactions as faithful primitive patterns encoded by the DNN. Therefore, given different DNNs trained for the same task, we develop a new method to extract interactions that are shared by these DNNs. Experiments show that the extracted interactions can better reflect common knowledge shared by different DNNs.


title: Calcium bright knots and the formation of chromospheric anemone jets on the Sun

abstract: Space-based observations show that the solar atmosphere from the solar chromosphere to the solar corona is filled with small-scale jets and is linked with small-scale explosions. These jets may be produced by mechanisms similar to that of large-scale flares and such jets may be related to the heating of corona and chromosphere as well as the acceleration of solar wind. The chromospheric anemone jets on the Sun remain puzzling because their footpoints (or bright knots) have not been well resolved and the formation process of such enigmatic small-scale jets remains unclear. We propose a new model for chromospheric jets using the three-dimensional magnetohydrodynamic (MHD) simulations, which show that the continuous, upward rising of small-scale twisted magnetic flux ropes in a magnetized solar chromosphere drive small-scale magnetic reconnection and the launching of several small-scale jets during the evolution of the chromospheric anemone jets. Our new, self-consistent, three-dimensional computer modeling of small-scale, but ever-changing flux rope emergence in the magnetized solar atmosphere is fully consistent with observations and provides a universal mechanism for nanoflare and jet formation.


title: A Strategy for Preparing Quantum Squeezed States Using Reinforcement Learning

abstract: We propose a scheme leveraging reinforcement learning to engineer control fields for generating non-classical states. It is exemplified by the application to prepare spin-squeezed states for an open collective spin model where a linear control field is designed to govern the dynamics. The reinforcement learning agent determines the temporal sequence of control pulses, commencing from a coherent spin state in an environment characterized by dissipation and dephasing. Compared to the constant control scenario, this approach provides various control sequences maintaining collective spin squeezing and entanglement. It is observed that denser application of the control pulses enhances the performance of the outcomes. However, there is a minor enhancement in the performance by adding control actions. The proposed strategy demonstrates increased effectiveness for larger systems. Thermal excitations of the reservoir are detrimental to the control outcomes. Feasible experiments are suggested to implement this control proposal based on the comparison with the others. The extensions to continuous control problems and another quantum system are discussed. The replaceability of the reinforcement learning module is also emphasized. This research paves the way for its application in manipulating other quantum systems.


title: Optimal Control of Renewable Energy Communities subject to Network Peak Fees with Model Predictive Control and Reinforcement Learning Algorithms

abstract: We propose in this paper an optimal control framework for renewable energy communities (RECs) equipped with controllable assets. Such RECs allow its members to exchange production surplus through an internal market. The objective is to control their assets in order to minimise the sum of individual electricity bills. These bills account for the electricity exchanged through the REC and with the retailers. Typically, for large companies, another important part of the bills are the costs related to the power peaks; in our framework, they are determined from the energy exchanges with the retailers. We compare rule-based control strategies with the two following control algorithms. The first one is derived from model predictive control techniques, and the second one is built with reinforcement learning techniques. We also compare variants of these algorithms that neglect the peak power costs. Results confirm that using policies accounting for the power peaks lead to a significantly lower sum of electricity bills and thus better control strategies at the cost of higher computation time. Furthermore, policies trained with reinforcement learning approaches appear promising for real-time control of the communities, where model predictive control policies may be computationally expensive in practice. These findings encourage pursuing the efforts toward development of scalable control algorithms, operating from a centralised standpoint, for renewable energy communities equipped with controllable assets.


title: High-order exponential integration for seismic wave modeling

abstract: Seismic imaging is a major challenge in geophysics with broad applications. It involves solving wave propagation equations with absorbing boundary conditions (ABC) multiple times. This drives the need for accurate and efficient numerical methods. This study examines a collection of exponential integration methods, known for their good numerical properties on wave representation, to investigate their efficacy in solving the wave equation with ABC. The purpose of this research is to assess the performance of these methods. We compare a recently proposed Exponential Integration based on Faber polynomials with well-established Krylov exponential methods alongside a high-order Runge-Kutta scheme and low-order classical methods. Through our analysis, we found that the exponential integrator based on the Krylov subspace exhibits the best convergence results among the high-order methods. We also discovered that high-order methods can achieve computational efficiency similar to lower-order methods while allowing for considerably larger time steps. Most importantly, the possibility of undertaking large time steps could be used for important memory savings in full waveform inversion imaging problems.


title: Robustness and the Event Horizon Telescope: the case of the first image of M87*

abstract: We examine the justification for taking the Event Horizon Telescope's famous 2019 image to be a reliable representation of the region surrounding a black hole. We argue that it takes the form of a robustness argument, with the resulting image being robust across variation in a range of data-analysis pipelines. We clarify the sense of "robustness" operating here and show how it can account for the reliability of astrophysical inferences, even in cases -- like the EHT -- where these inferences are based on experiments that are (for all practical purposes) unique. This has consequences far beyond the 2019 image.


title: Exploiting the hessian for a better convergence of the SCF RDMFT procedure

abstract: One-body reduced density matrix functional theory (RDMFT) provides an alternative to Density Functional Theory (DFT), able to treat static correlation while keeping a relatively low computation scaling. Its disadvantageous cost comes mainly from a slow convergence of the self-consistent energy optimisation. To improve on that problem, we propose in this work to use the hessian of the energy, including the coupling term. We show that using the exact hessian is very effective in reducing the number of iterations. However, since the exact hessian is too expensive to use in practice, we test different approximations based on an inexpensive exact part and/or BFGS updates.


title: Making the unmodulated Pyramid wavefront sensor smart. Closed-loop demonstration of neural network wavefront reconstruction with MagAO-X

abstract: Almost all current and future high-contrast imaging instruments will use a Pyramid wavefront sensor (PWFS) as a primary or secondary wavefront sensor. The main issue with the PWFS is its nonlinear response to large phase aberrations, especially under strong atmospheric turbulence. Most instruments try to increase its linearity range by using dynamic modulation, but this leads to decreased sensitivity, most prominently for low-order modes, and makes it blind to petal-piston modes. In the push toward high-contrast imaging of fainter stars and deeper contrasts, there is a strong interest in using the PWFS in its unmodulated form. Here, we present closed-loop lab results of a nonlinear reconstructor for the unmodulated PWFS of the Magellan Adaptive Optics eXtreme (MagAO-X) system based on convolutional neural networks (CNNs). We show that our nonlinear reconstructor has a dynamic range of >600 nm root-mean-square (RMS), significantly outperforming the linear reconstructor that only has a 50 nm RMS dynamic range. The reconstructor behaves well in closed loop and can obtain >80% Strehl at 875 nm under a large variety of conditions and reaches higher Strehl ratios than the linear reconstructor under all simulated conditions. The CNN reconstructor also achieves the theoretical sensitivity limit of a PWFS, showing that it does not lose its sensitivity in exchange for dynamic range. The current CNN's computational time is 690 microseconds, which enables loop speeds of >1 kHz. On-sky tests are foreseen soon and will be important for pushing future high-contrast imaging instruments toward their limits.


title: Simulation of a Rohksar-Kivelson ladder on a NISQ device

abstract: We present a quantum-classical algorithm to study the dynamics of the Rohksar-Kivelson plaquette ladder on NISQ devices. We show that complexity is largely reduced using gauge invariance, additional symmetries, and a crucial property associated to how plaquettes are blocked against ring-exchange in the ladder geometry. This allows for an efficient simulation of sizable plaquette ladders with a small number of qubits, well suited for the capabilities of present NISQ devices. We illustrate the procedure for ladders with simulation of up to $8$ plaquettes in an IBM-Q machine, employing scaled quantum gates.


title: PICL: Physics Informed Contrastive Learning for Partial Differential Equations

abstract: Neural operators have recently grown in popularity as Partial Differential Equation (PDE) surrogate models. Learning solution functionals, rather than functions, has proven to be a powerful approach to calculate fast, accurate solutions to complex PDEs. While much work has been done evaluating neural operator performance on a wide variety of surrogate modeling tasks, these works normally evaluate performance on a single equation at a time. In this work, we develop a novel contrastive pretraining framework utilizing Generalized Contrastive Loss that improves neural operator generalization across multiple governing equations simultaneously. Governing equation coefficients are used to measure ground-truth similarity between systems. A combination of physics-informed system evolution and latent-space model output are anchored to input data and used in our distance function. We find that physics-informed contrastive pretraining improves accuracy for the Fourier Neural Operator in fixed-future and autoregressive rollout tasks for the 1D and 2D Heat, Burgers', and linear advection equations.


title: A growth diagram for plasma-assisted molecular beam epitaxy of GaN nanocolumns on Si(111)

abstract: The morphology of GaN samples grown by plasma-assisted molecular beam epitaxy on Si(111) was systematically studied as a function of impinging Ga/N flux ratio and growth temperature (750-850{\deg}C).Two different growth regimes were identified: compact and nanocolumnar. A growth diagram was established as a function of growth parameters, exhibiting the transition between growth regimes, and showing under which growth conditions GaN cannot be grown due to thermal decomposition and Ga desorption. Present results indicate that adatoms diffusion length and the actual Ga/N ratio on the growing surface are key factors to achieve nanocolumnar growth.


title: Synthesis of 3D on-air signatures with the Sigma-Lognormal model

abstract: Signature synthesis is a computation technique that generates artificial specimens which can support decision making in automatic signature verification. A lot of work has been dedicated to this subject, which centres on synthesizing dynamic and static two-dimensional handwriting on canvas. This paper proposes a framework to generate synthetic 3D on-air signatures exploiting the lognormality principle, which mimics the complex neuromotor control processes at play as the fingertip moves. Addressing the usual cases involving the development of artificial individuals and duplicated samples, this paper contributes to the synthesis of: (1) the trajectory and velocity of entirely 3D new signatures; (2) kinematic information when only the 3D trajectory of the signature is known, and (3) duplicate samples of 3D real signatures. Validation was conducted by generating synthetic 3D signature databases mimicking real ones and showing that automatic signature verifications of genuine and skilled forgeries report performances similar to those of real and synthetic databases. We also observed that training 3D automatic signature verifiers with duplicates can reduce errors. We further demonstrated that our proposal is also valid for synthesizing 3D air writing and gestures. Finally, a perception test confirmed the human likeness of the generated specimens. The databases generated are publicly available, only for research purposes, at .


title: Digital requirements engineering with an INCOSE-derived SysML meta-model

abstract: Traditional requirements engineering tools do not readily access the SysML-defined system architecture model, often resulting in ad-hoc duplication of model elements that lacks the connectivity and expressive detail possible in a SysML-defined model. Without that model connectivity, requirement quality can suffer due to imprecision and inconsistent terminology, frustrating communication during system development. Further integration of requirements engineering activities with MBSE contributes to the Authoritative Source of Truth while facilitating deep access to system architecture model elements for V&V activities. The Model-Based Structured Requirement SysML Profile was extended to comply with the INCOSE Guide to Writing Requirements updated in 2023 while conforming to the ISO/IEC/IEEE 29148 standard requirement statement templates. Rules, Characteristics, and Attributes were defined in SysML according to the Guide to facilitate requirements definition and requirements V&V. The resulting SysML Profile was applied in two system architecture models at NASA Jet Propulsion Laboratory, allowing us to explore its applicability and value in real-world project environments. Initial results indicate that INCOSE-derived Model-Based Structured Requirements may rapidly improve requirement expression quality while complementing the NASA Systems Engineering Handbook checklist and guidance, but typical requirement management activities still have challenges related to automation and support with the system architecture modeling software.


title: Condensation mass sink and intensification of tropical storms

abstract: Intensification of tropical storms measured as the central pressure tendency represents a subtle imbalance, of the order of $10^{-3}$, between the inflow and outflow of air in the storm core. Factors driving this imbalance, especially in cases of rapid intensification, remain elusive. Here, using an analysis of intensification rates and precipitation in North Atlantic cyclones, it is shown that the storms on average deepen at a rate with which maximum local precipitation removes mass from the atmospheric column. Means for lifetime maximum intensification rate and maximum concurrent precipitation (multiplied by the acceleration of gravity) are, respectively, $23$ and $17$ hPa day$^{-1}$. This equivalence is not limited to average values: both intensification rates and precipitation have the same dependence on the inverse radius of maximum wind. It is further shown using a numerical model that with the mass sink switched off, storms driven by sensible and latent heat alone either do not develop at all or develop significantly more slowly reaching lower maximum intensities. It is discussed that the conclusions of previous studies about the relative insignificance of the mass sink arose from a long-standing misinterpretation of mass nonconservation assessments for assesments of the actual impact of the mass sink on storm dynamics. Condensation mass sink provides for a fundamental positive feedback between surface pressure and vertical velocity that was earlier shown to be instrumental in analytical descriptions of storm intensification. This feedback allows the storm circulation to get more compact during intensification in contrast to modeled heat-driven storms that increase their radius of maximum wind as they intensify. These findings indicate that the condensation mass sink is a dominant process governing the dynamics of tropical storms.


title: Tradeoffs Between Alignment and Helpfulness in Language Models with Representation Engineering

abstract: Language model alignment has become an important component of AI safety, allowing safe interactions between humans and language models, by enhancing desired behaviors and inhibiting undesired ones. It is often done by tuning the model or inserting preset aligning prompts. Recently, representation engineering, a method which alters the model's behavior via changing its representations post-training, was shown to be effective in aligning LLMs (Zou et al., 2023a). Representation engineering yields gains in alignment oriented tasks such as resistance to adversarial attacks and reduction of social biases, but was also shown to cause a decrease in the ability of the model to perform basic tasks. In this paper we study the tradeoff between the increase in alignment and decrease in helpfulness of the model. We propose a theoretical framework which provides bounds for these two quantities, and demonstrate their relevance empirically. First, we find that under the conditions of our framework, alignment can be guaranteed with representation engineering, and at the same time that helpfulness is harmed in the process. Second, we show that helpfulness is harmed quadratically with the norm of the representation engineering vector, while the alignment increases linearly with it, indicating a regime in which it is efficient to use representation engineering. We validate our findings empirically, and chart the boundaries to the usefulness of representation engineering for alignment.


title: A search for R-parity-violating supersymmetry in final states containing many jets in $pp$ collisions at $\sqrt{s} = 13\,\text{TeV}$ with the ATLAS detector

abstract: A search for R-parity-violating supersymmetry in final states with high jet multiplicity is presented. The search uses $140{\text{fb}^{-1}}$ of proton--proton collision data at $\sqrt{s} = 13{TeV}$ collected by the ATLAS experiment during Run 2 of the Large Hadron Collider. The results are interpreted in the context of R-parity-violating supersymmetry models that feature prompt gluino-pair production decaying directly to three jets each or decaying to two jets and a neutralino which subsequently decays promptly to three jets. No significant excess over the Standard Model expectation is observed and exclusion limits at the 95% confidence level are extracted. Gluinos with masses up to 1800 GeV are excluded when decaying directly to three jets. In the cascade scenario, gluinos with masses up to 2340 GeV are excluded for a neutralino with mass up to 1250 GeV


title: Right-angled triangles with almost prime hypotenuse

abstract: The sequence OEIS A281505 consists of distinct odd legs in right triangles with integer sides and prime hypotenuse. In this paper, we count the closely related quantity of even legs with almost prime hypotenuse. More precisely, we obtain the correct order of magnitude upper and lower bounds for the set of distinct even legs with 5-almost prime hypotenuse. This is a strong version of the appropriate analogy to a conjecture of Chow and Pomerance (stated there for prime hypotenuse).


title: Iterative Data Smoothing: Mitigating Reward Overfitting and Overoptimization in RLHF

abstract: Reinforcement Learning from Human Feedback (RLHF) is a pivotal technique that aligns language models closely with human-centric values. The initial phase of RLHF involves learning human values using a reward model from ranking data. It is observed that the performance of the reward model degrades after one epoch of training, and optimizing too much against the learned reward model eventually hinders the true objective. This paper delves into these issues, leveraging the theoretical insights to design improved reward learning algorithm termed 'Iterative Data Smoothing' (IDS). The core idea is that during each training epoch, we not only update the model with the data, but also update the date using the model, replacing hard labels with soft labels. Our empirical findings highlight the superior performance of this approach over the traditional methods.


title: Computational Synthetic Cohomology Theory in Homotopy Type Theory

abstract: This paper discusses the development of synthetic cohomology in Homotopy Type Theory (HoTT), as well as its computer formalisation. The objectives of this paper are (1) to generalise previous work on integral cohomology in HoTT by the current authors and Brunerie (2022) to cohomology with arbitrary coefficients and (2) to provide the mathematical details of, as well as extend, results underpinning the computer formalisation of cohomology rings by the current authors and Lamiaux (2023). With respect to objective (1), we provide new direct definitions of the cohomology group operations and of the cup product, which, just as in (Brunerie et al., 2022), enable significant simplifications of many earlier proofs in synthetic cohomology theory. In particular, the new definition of the cup product allows us to give the first complete formalisation of the axioms needed to turn the cohomology groups into a graded commutative ring. We also establish that this cohomology theory satisfies the HoTT formulation of the Eilenberg-Steenrod axioms for cohomology and study the classical Mayer-Vietoris and Gysin sequences. With respect to objective (2), we characterise the cohomology groups and rings of various spaces, including the spheres, torus, Klein bottle, real/complex projective planes, and infinite real projective space. All results have been formalised in Cubical Agda and we obtain multiple new numbers, similar to the famous `Brunerie number', which can be used as benchmarks for computational implementations of HoTT. Some of these numbers are infeasible to compute in Cubical Agda and hence provide new computational challenges and open problems which are much easier to define than the original Brunerie number.


title: Curriculum-Based Reinforcement Learning for Quadrupedal Jumping: A Reference-free Design

abstract: Deep reinforcement learning (DRL) has emerged as a promising solution to mastering explosive and versatile quadrupedal jumping skills. However, current DRL-based frameworks usually rely on pre-existing reference trajectories obtained by capturing animal motions or transferring experience from existing controllers. This work aims to prove that learning dynamic jumping is possible without relying on imitating a reference trajectory by leveraging a curriculum design. Starting from a vertical in-place jump, we generalize the learned policy to forward and diagonal jumps and, finally, we learn to jump across obstacles. Conditioned on the desired landing location, orientation, and obstacle dimensions, the proposed approach yields a wide range of omnidirectional jumping motions in real-world experiments. Particularly we achieve a 90cm forward jump, exceeding all previous records for similar robots reported in the existing literature. Additionally, the robot can reliably execute continuous jumping on soft grassy grounds, which is especially remarkable as such conditions were not included in the training stage. A supplementary video can be found on: https://www.youtube.com/watch?v=nRaMCrwU5X8. The code associated with this work can be found on: https://github.com/Vassil17/Curriculum-Quadruped-Jumping-DRL.


title: Limit theorems for compensated weighted sums and application to numerical approximations

abstract: In this paper, we consider a "compensated" random sum that arises from numerical approximation of stochastic integrations and differential equations. We show that the compensated sum exhibits some surprising cancellations among its components, a property which allows to transform it into a Skorohod-type Riemann sum. We then establish limit theorem for the compensated sum based on study of the Skorohod-type Riemann sum. Our proof employs techniques from Malliavin calculus and rough path. We apply our limit theorem result to the Euler approximation method for stochastic integrals and additive stochastic differential equations, filling a notable gap in this area of research. We show that the Euler method converges to the solution at the rate $(1/n)^{H+1/2}$, and that this rate is exact in the sense that the asymptotic error distribution solves a linear differential equation.


title: SAT-CEP-monitor: An air quality monitoring software architecture combining complex event processing with satellite remote sensing

abstract: Air pollution is a major problem today that causes serious damage to human health. Urban areas are the most affected by the degradation of air quality caused by anthropogenic gas emissions. Although there are multiple proposals for air quality monitoring, in most cases, two limitations are imposed: the impossibility of processing data in Near Real-Time (NRT) for remote sensing approaches and the impossibility of reaching areas of limited accessibility or low network coverage for ground data approaches. We propose a software architecture that efficiently combines complex event processing with remote sensing data from various satellite sensors to monitor air quality in NRT, giving support to decision-makers. We illustrate the proposed solution by calculating the air quality levels for several areas of Morocco and Spain, extracting and processing satellite information in NRT. This study also validates the air quality measured by ground stations and satellite sensor data.


title: The role of library versions in Developer-ChatGPT conversations

abstract: The latest breakthroughs in large language models (LLM) have empowered software development tools, such as ChatGPT, to aid developers in complex tasks. Developers use ChatGPT to write code, review code changes, and even debug their programs. In these interactions, ChatGPT often recommends code snippets that depend on external libraries. However, code from libraries changes over time, invalidating a once-correct code snippet and making it difficult to reuse recommended code. In this study, we analyze DevGPT, a dataset of more than 4,000 Developer-ChatGPT interactions, to understand the role of library versions in code-related conversations. We quantify how often library version constraints are mentioned in code-related conversations and when ChatGPT recommends the installation of specific libraries. Our findings show that, albeit to constantly recommend and analyze code with external dependencies, library version constraints only appear in 9% of the conversations. In the majority of conversations, the version constraints are prompted by users (as opposed to being specified by ChatGPT) as a method for receiving better quality responses. Moreover, we study how library version constraints are used in the conversation through qualitative methods, identifying several potential problems that warrant further research.


title: S-HIDRA: A blockchain and SDN domain-based architecture to orchestrate fog computing environments

abstract: Fog computing arises as a complement to cloud computing where computing and storage are provided in a decentralized way rather than the centralized approach of the cloud paradigm. In addition, blockchain provides a decentralized and immutable ledger which can provide support for running arbitrary logic thanks to smart contracts. These facts can lead to harness smart contracts on blockchain as the basis for a decentralized, autonomous, and resilient orchestrator for the resources in the fog. However, the potentially vast amount of geographically distributed fog nodes may threaten the feasibility of the orchestration. On the other hand, fog nodes can exhibit highly dynamic workloads which may result in the orchestrator redistributing the services among them. Thus, there is also a need to dynamically support the network connections to those services independently of their location. Software Defined Networking (SDN) can be integrated within the orchestrator to carry out a seamless service management. To tackle both aforementioned issues, the S-HIDRA architecture is proposed. It integrates SDN support within a blockchain-based orchestrator of container-based services for fog environments, in order to provide low network latency and high service availability. Also, a domain-based architecture is outlined \marev{as potential scenario} to address the geographic distributed nature of fog environments. Results obtained from a proof-of-concept implementation assess the required functionality for S-HIDRA.


title: On Achievable Rates for the Shotgun Sequencing Channel with Erasures

abstract: In shotgun sequencing, the input string (typically, a long DNA sequence composed of nucleotide bases) is sequenced as multiple overlapping fragments of much shorter lengths (called \textit{reads}). Modelling the shotgun sequencing pipeline as a communication channel for DNA data storage, the capacity of this channel was identified in a recent work, assuming that the reads themselves are noiseless substrings of the original sequence. Modern shotgun sequencers however also output quality scores for each base read, indicating the confidence in its identification. Bases with low quality scores can be considered to be erased. Motivated by this, we consider the \textit{shotgun sequencing channel with erasures}, where each symbol in any read can be independently erased with some probability $\delta$. We identify achievable rates for this channel, using a random code construction and a decoder that uses typicality-like arguments to merge the reads.


title: Quantization of Einstein-Cartan theory in the first order form

abstract: We consider the Einstein-Cartan theory with the tetrad $e_{\mu}^{a}$ and spin connection $\omega_{\mu ab}$ taken as being independent fields. Diffeomorphism invariance and local Lorentz invariance result in there being two distinct gauge transformations in this approach, and consequently two ghost fields arise when employing the usual Faddeev-Popov quantization procedure. Our choice of gauge fixing retains the gauge invariances of the background field. We show that the gauge algebra is closed even in the presence of torsion, and the resulting BRST invariance can be found for the effective action. We also derive the Slavnov-Taylor identities, which reflect the BRST symmetries of this theory.


title: A $\mathrm{L}^2$-maximum principle for circular arcs on the disk

abstract: In this article, we prove a novel $\mathrm{L}^2$-maximum principle for harmonic functions on the disk with respect to circular arcs. More precisely, we prove that for any harmonic function $u$ on a disk $\Omega$ with non-tangential maximal function in $\mathrm{L}^2(\partial \Omega)$, the supremum of $\lVert u \rVert_{\mathrm{L}^2 (\Gamma)}$ over circular arcs $\Gamma \subset \overline{\Omega}$ is attained at the boundary $\Gamma = \partial \Omega$. We achieve this through a sharp geometry-dependent estimate on the norm $\lVert u \rVert_{\mathrm{L}^2(\Gamma)}$ in the special case where $\Gamma$ is a circular arc intersecting the boundary of $\Omega$ in exactly two points and the boundary data $u\rvert_{\partial \Omega}$ is supported along one of the connected components of $\partial \Omega\setminus \overline{\Gamma}$. As a corollary of this result, we also deduce new $\mathrm{L}^p$ maximum principles with $p \in [2,\infty)$ for circular arcs on the disk. These results have applications in the convergence analysis of Schwarz domain decomposition methods on the union of overlapping disks. We have discovered a critical error in the proof of Lemma 3.9 (highlighted in red in the paper), and therefore, the proof of Theorem 1.2 presented here is only valid under the restriction $\pi/2 \leq \theta+\sigma\leq 3\pi/2$, where $\theta,\sigma$ are the angles described in Section 2. In particular, the proofs of Corollaries 1.3--1.5 are incomplete.


title: Competing magnetic states on the surface of multilayer ABC-stacked graphene

abstract: We study interaction-mediated magnetism on the surface of ABC-multilayer graphene driven by its zero-energy topological flat bands. Using the random-phase approximation we treat onsite Hubbard repulsion and find multiple competing magnetic states, due to both intra- and inter-valley scattering, with the latter causing an enlarged magnetic unit cell. At half-filling and when the Hubbard repulsion is weak, we observe two different ferromagnetic orders. Once the Hubbard repulsion becomes more realistic, new ferrimagnetic orders arise with distinct incommensurate intra- or inter-valley scattering vectors depending on interaction strength and doping, leading to a multitude of competing magnetic states.