title: Universal versus system-specific features of punctuation usage patterns in~major Western~languages

abstract: The celebrated proverb that "speech is silver, silence is golden" has a long multinational history and multiple specific meanings. In written texts punctuation can in fact be considered one of its manifestations. Indeed, the virtue of effectively speaking and writing involves - often decisively - the capacity to apply the properly placed breaks. In the present study, based on a large corpus of world-famous and representative literary texts in seven major Western languages, it is shown that the distribution of intervals between consecutive punctuation marks in almost all texts can universally be characterised by only two parameters of the discrete Weibull distribution which can be given an intuitive interpretation in terms of the so-called hazard function. The values of these two parameters tend to be language-specific, however, and even appear to navigate translations. The properties of the computed hazard functions indicate that among the studied languages, English turns out to be the least constrained by the necessity to place a consecutive punctuation mark to partition a sequence of words. This may suggest that when compared to other studied languages, English is more flexible, in the sense of allowing longer uninterrupted sequences of words. Spanish reveals similar tendency to only a bit lesser extent.


title: Bi-Lipschitz invariance of the multiplicity

abstract: The multiplicity of an algebraic curve $C$ in the complex plane at a point $p$ on that curve is defined as the number of points that occur at the intersection of $C$ with a general complex line that passes close to the point $p$. It is shown that $p$ is a singular point of the curve $C$ if and only if this multiplicity is greater than or equal to 2, in this sense, such an integer number can be considered as a measure of how singular can be a point of the curve $C$. In these notes, we address the classical concept of multiplicity of singular points of complex algebraic sets (not necessarily complex curves) and we approach the nature of the multiplicity of singular points as a geometric invariant from the perspective of the Multiplicity Conjecture (Zariski 1971). More precisely, we bring a discussion on the recent results obtained jointly with Lev Birbrair, Javier Fern\'andez de Bobadilla, L\^e Dung Trang and Mikhail Verbitsky on the bi-Lipschitz invariance of the multiplicity.


title: Non-strange quark stars within resummed QCD

abstract: The recently developed resummation technique known as {\it renormalization group optimized perturbation theory} (RGOPT) is employed in the evaluation of the EoS describing non-strange cold quark matter at NLO. Inspired by recent investigations, which suggest that stable quark matter can be made only of up and down quarks, the mass-radius relation for two flavor pure quark stars is evaluated and compared with the predictions from perturbative QCD (pQCD) at NNLO. This comparison explicitly shows that by being imbued with renormalization group properties, and a variational optimization procedure, the method allows for an efficient resummation of the perturbative series. Remarkably, when the renormalization scale is chosen so as to reproduce maximum mass stars with M=$2-2.3M_\odot$, one obtains a mass-radius curve compatible with the masses and radii of the pulsars PSR J0740+6620, PSR J0030+0451, and the compact object HESS J1731-347. Moreover, the scale dependence of the EoS (and mass-radius relation) obtained with the RGOPT is greatly improved when compared to that of pQCD. This seminal application to the description of quark stars shows that the RGOPT represents a robust alternative to pQCD when describing compressed quark matter.


title: Entropy- and Distance-Based Predictors From GPT-2 Attention Patterns Predict Reading Times Over and Above GPT-2 Surprisal

abstract: Transformer-based large language models are trained to make predictions about the next word by aggregating representations of previous tokens through their self-attention mechanism. In the field of cognitive modeling, such attention patterns have recently been interpreted as embodying the process of cue-based retrieval, in which attention over multiple targets is taken to generate interference and latency during retrieval. Under this framework, this work first defines an entropy-based predictor that quantifies the diffuseness of self-attention, as well as distance-based predictors that capture the incremental change in attention patterns across timesteps. Moreover, following recent studies that question the informativeness of attention weights, we also experiment with alternative methods for incorporating vector norms into attention weights. Regression experiments using predictors calculated from the GPT-2 language model show that these predictors deliver a substantially better fit to held-out self-paced reading and eye-tracking data over a rigorous baseline including GPT-2 surprisal. Additionally, the distance-based predictors generally demonstrated higher predictive power, with effect sizes of up to 6.59 ms per standard deviation on self-paced reading times (compared to 2.82 ms for surprisal) and 1.05 ms per standard deviation on eye-gaze durations (compared to 3.81 ms for surprisal).


title: Geometry of Conformal Manifolds and the Inversion Formula

abstract: Families of conformal field theories are naturally endowed with a Riemannian geometry which is locally encoded by correlation functions of exactly marginal operators. We show that the curvature of such conformal manifolds can be computed using Euclidean and Lorentzian inversion formulae, which combine the operator content of the conformal field theory into an analytic function. Analogously, operators of fixed dimension define bundles over the conformal manifold whose curvatures can also be computed using inversion formulae. These results relate curvatures to integrated four-point correlation functions which are sensitive only to the behavior of the theory at separated points. We apply these inversion formulae to derive convergent sum rules expressing the curvature in terms of the spectrum of local operators and their three-point function coefficients. We further show that the curvature can smoothly diverge only if a conserved current appears in the spectrum, or if the theory develops a continuum. We verify our results explicitly in $2d$ examples. In particular, for $2d$ (2,2) superconformal field theories we derive a lower bound on the scalar curvature, which is saturated by free theories when the central charge is a multiple of three.


title: Similarity Contrastive Estimation for Image and Video Soft Contrastive Self-Supervised Learning

abstract: Contrastive representation learning has proven to be an effective self-supervised learning method for images and videos. Most successful approaches are based on Noise Contrastive Estimation (NCE) and use different views of an instance as positives that should be contrasted with other instances, called negatives, that are considered as noise. However, several instances in a dataset are drawn from the same distribution and share underlying semantic information. A good data representation should contain relations between the instances, or semantic similarity and dissimilarity, that contrastive learning harms by considering all negatives as noise. To circumvent this issue, we propose a novel formulation of contrastive learning using semantic similarity between instances called Similarity Contrastive Estimation (SCE). Our training objective is a soft contrastive one that brings the positives closer and estimates a continuous distribution to push or pull negative instances based on their learned similarities. We validate empirically our approach on both image and video representation learning. We show that SCE performs competitively with the state of the art on the ImageNet linear evaluation protocol for fewer pretraining epochs and that it generalizes to several downstream image tasks. We also show that SCE reaches state-of-the-art results for pretraining video representation and that the learned representation can generalize to video downstream tasks.


title: Invertible and noninvertible symbolic dynamics and their C*-algebras

abstract: This paper surveys the recent advances in the interactions between symbolic dynamics and C*-algebras. We explain how conjugacies and orbit equivalences of both two-sided (invertible) and one-sided (noninvertible) symbolic systems may be encoded into C*-algebras, and how the dynamical systems can be recovered from structure-preserving *-isomorphisms of C*-algebras. We have included many illustrative examples as well as open problems.


title: A note on the homogenization of incommensurate thin films

abstract: Dimension-reduction homogenization results for thin films have been obtained under hypotheses of periodicity or almost-periodicity of the energies in the directions of the mid-plane of the film. In this note we consider thin films, obtained as sections of a periodic medium with a mid-plane that may be incommensurate; that is, not containing periods other than $0$. A geometric almost-periodicity argument similar to the cut-and-project argument used for quasicrystals allows to prove a general homogenization result.


title: NNLO subtraction for any massless final state: a complete analytic expression

abstract: We use the Local Analytic Sector Subtraction scheme to construct a completely analytic set of expressions implementing a fully local infrared subtraction at NNLO for generic coloured massless final states. The cancellation of all explicit infrared poles appearing in the double-virtual contribution, in the real-virtual correction and in the integrated local infrared counterterms is explicitly verified, and all finite contributions arising from integrated local counterterms are analytically evaluated in terms of ordinary polylogarithms up to weight three. The resulting subtraction formula can readily be implemented in any numerical framework containing the relevant matrix elements up to NNLO.


title: Separating MAX 2-AND, MAX DI-CUT and MAX CUT

abstract: Assuming the Unique Games Conjecture (UGC), the best approximation ratio that can be obtained in polynomial time for the MAX CUT problem is $\alpha_{\text{CUT}}\simeq 0.87856$, obtained by the celebrated SDP-based approximation algorithm of Goemans and Williamson. The currently best approximation algorithm for MAX DI-CUT, i.e., the MAX CUT problem in directed graphs, achieves a ratio of about $0.87401$, leaving open the question whether MAX DI-CUT can be approximated as well as MAX CUT. We obtain a slightly improved algorithm for MAX DI-CUT and a new UGC-hardness result for it, showing that $0.87446\le \alpha_{\text{DI-CUT}}\le 0.87461$, where $\alpha_{\text{DI-CUT}}$ is the best approximation ratio that can be obtained in polynomial time for MAX DI-CUT under UGC. The new upper bound separates MAX DI-CUT from MAX CUT, resolving a question raised by Feige and Goemans. A natural generalization of MAX DI-CUT is the MAX 2-AND problem in which each constraint is of the form $z_1\land z_2$, where $z_1$ and $z_2$ are literals, i.e., variables or their negations (In MAX DI-CUT each constraint is of the form $\bar{x}_1\land x_2$, where $x_1$ and $x_2$ are variables.) Austrin separated MAX 2-AND from MAX CUT by showing that $\alpha_{\text{2AND}} < 0.87435$ and conjectured that MAX 2-AND and MAX DI-CUT have the same approximation ratio. Our new lower bound on MAX DI-CUT refutes this conjecture, completing the separation of the three problems MAX 2-AND, MAX DI-CUT and MAX CUT. We also obtain a new lower bound for MAX 2-AND, showing that $0.87414\le \alpha_{\text{2AND}}\le 0.87435$. Our upper bound on MAX DI-CUT is achieved via a simple, analytical proof. The lower bounds on MAX DI-CUT and MAX 2-AND (the new approximation algorithms) use experimentally-discovered distributions of rounding functions which are then verified via computer-assisted proofs.


title: Continual Learning Approaches for Anomaly Detection

abstract: Anomaly Detection is a relevant problem that arises in numerous real-world applications, especially when dealing with images. However, there has been little research for this task in the Continual Learning setting. In this work, we introduce a novel approach called SCALE (SCALing is Enough) to perform Compressed Replay in a framework for Anomaly Detection in Continual Learning setting. The proposed technique scales and compresses the original images using a Super Resolution model which, to the best of our knowledge, is studied for the first time in the Continual Learning setting. SCALE can achieve a high level of compression while maintaining a high level of image reconstruction quality. In conjunction with other Anomaly Detection approaches, it can achieve optimal results. To validate the proposed approach, we use a real-world dataset of images with pixel-based anomalies, with the scope to provide a reliable benchmark for Anomaly Detection in the context of Continual Learning, serving as a foundation for further advancements in the field.


title: Maximal Generalized Rank in Graphical Matrix Spaces

abstract: In this note we prove two extensions of a recent combinatorial characterization due to Li, Qiao, Wigderson, Wigderson and Zhang (arXiv:2206.04815) of the maximal dimension of bounded rank subspaces of the graphical matrix space associated with a bipartite graph. Our first result shows that the above characterization remains valid for a wide class of generalized rank functions, including e.g. the permanental rank. Our second result extends the characterization to bounded rank subspaces of the graphical alternating matrix space associated with a general graph.


title: Free-Rider Games for Federated Learning with Selfish Clients in NextG Wireless Networks

abstract: This paper presents a game theoretic framework for participation and free-riding in federated learning (FL), and determines the Nash equilibrium strategies when FL is executed over wireless links. To support spectrum sensing for NextG communications, FL is used by clients, namely spectrum sensors with limited training datasets and computation resources, to train a wireless signal classifier while preserving privacy. In FL, a client may be free-riding, i.e., it does not participate in FL model updates, if the computation and transmission cost for FL participation is high, and receives the global model (learned by other clients) without incurring a cost. However, the free-riding behavior may potentially decrease the global accuracy due to lack of contribution to global model learning. This tradeoff leads to a non-cooperative game where each client aims to individually maximize its utility as the difference between the global model accuracy and the cost of FL participation. The Nash equilibrium strategies are derived for free-riding probabilities such that no client can unilaterally increase its utility given the strategies of its opponents remain the same. The free-riding probability increases with the FL participation cost and the number of clients, and a significant optimality gap exists in Nash equilibrium with respect to the joint optimization for all clients. The optimality gap increases with the number of clients and the maximum gap is evaluated as a function of the cost. These results quantify the impact of free-riding on the resilience of FL in NextG networks and indicate operational modes for FL participation.


title: Analytical solutions in the modeling of the endovenous laser ablation

abstract: We model the operative treatment of incompetent truncal veins using endovenous laser ablation (EVLA). Three differential equations, namely the diffusion, the heat and the bioheat equations, are considered in the endovenous-perivenous multidomain, describing the lumen, the vein wall, the tissue pad and the skin. Exact solutions are provided. Our main concern is to accurate the heat source by taking the Beer--Lambert law into account in the irradiance of the incident beam. To accurate the heat transfer at the skin boundary, the Newton law of cooling is considered as a Robin boundary condition. Open problems are presented.


title: Error-detectable bosonic entangling gates with a noisy ancilla

abstract: Bosonic quantum error correction has proven to be a successful approach for extending the coherence of quantum memories, but to execute deep quantum circuits, high-fidelity gates between encoded qubits are needed. To that end, we present a family of error-detectable two-qubit gates for a variety of bosonic encodings. From a new geometric framework based on a "Bloch sphere" of bosonic operators, we construct $ZZ_L(\theta)$ and $\text{eSWAP}(\theta)$ gates for the binomial, 4-legged cat, dual-rail and several other bosonic codes. The gate Hamiltonian is simple to engineer, requiring only a programmable beamsplitter between two bosonic qubits and an ancilla dispersively coupled to one qubit. This Hamiltonian can be realized in circuit QED hardware with ancilla transmons and microwave cavities. The proposed theoretical framework was developed for circuit QED but is generalizable to any platform that can effectively generate this Hamiltonian. Crucially, one can also detect first-order errors in the ancilla and the bosonic qubits during the gates. We show that this allows one to reach error-detected gate fidelities at the $10^{-4}$ level with today's hardware, limited only by second-order hardware errors.


title: Evidence for scattering of curvature radiation in radio pulsar profiles

abstract: Radio pulsars exhibit several unexplained phenomena, in particular the average pulse profiles with the apparent core-cone structure and interesting frequency evolution. I show that they can be interpreted through essential geometric properties of the inverse Compton scattering. If the scattering occurs in a dipolar magnetosphere and the mean-free-path is long, a nested cone structure is expected with the cone size ratio of two-thirds, which is consistent with observations. Being a discontinuous process, the scattering is consistent with the discrete altitude structure of emission rings as derived from aberration-retardation effects. Assuming that the upscattered signal is the curvature radiation (CR), one can interpret the observed bifurcated components (BCs) as a magnified microbeam of CR: the BCs are wide low-frequency CR microbeams that have been upshifted in frequency with their width preserved by beam-copying scattering in divergent magnetic field. The large flux of BCs is partly caused by compression of the full emitted spectrum into the narrow observed bandwidth, which explains why the frequency-resolved BCs have the frequency-integrated shape. The wide low-frequency microbeams can encompass large magnetospheric volumes, which considerably abates the requirements of the energy needed for coherency. The properties of BCs thus suggest that the observed modulated radio flux is strongly affected by the scattering-driven blueshift and spectral compression. The relativistic beaming formula (1/\gamma) is not always applicable, in the sense that it may not be directly applied to some blueshifted profile features.


title: Synergetic quantum error mitigation by randomized compiling and zero-noise extrapolation for the variational quantum eigensolver

abstract: We propose a quantum error mitigation strategy for the variational quantum eigensolver (VQE) algorithm. We find, via numerical simulation, that very small amounts of coherent noise in VQE can cause substantially large errors that are difficult to suppress by conventional mitigation methods, and yet our proposed mitigation strategy is able to significantly reduce these errors. The proposed strategy is a combination of previously reported techniques, namely randomized compiling (RC) and zero-noise extrapolation (ZNE). Intuitively, randomized compiling turns coherent errors in the circuit into stochastic Pauli errors, which facilitates extrapolation to the zero-noise limit when evaluating the cost function. Our numerical simulation of VQE for small molecules shows that the proposed strategy can mitigate energy errors induced by various types of coherent noise by up to two orders of magnitude.


title: On the horizon area of effective loop quantum black holes

abstract: Effective models of quantum black holes inspired by Loop Quantum Gravity (LQG) have had success in resolving the classical singularity with polymerisation procedures and by imposing the LQG area gap as a minimum area. The singularity is replaced by a hypersurface of transition from black to white holes, and a recent example is the Ashtekar, Olmedo and Singh (AOS) model for a Schwarzschild black hole. More recently, a one-parameter model, with equal masses for the black and white solutions, was suggested by Alonso-Bardaji, Brizuela and Vera (ABBV). An interesting feature of their quantisation is that the angular part of the metric retains its classical form and the horizon area is therefore the same as in the classical theory. In the present contribution we solve the dynamical equations derived from the ABBV effective Hamiltonian and, by applying the AOS minimal area condition, we obtain the scaling of the polymerisation parameter with the black hole mass. We then show that this effective model can also describe Planck scale black holes, and that the curvature and quantum corrections at the horizon are small even at this scale. By generating the exterior metric through a phase rotation in the dynamical variables, we also show that, for an asymptotic observer, the Kretschmann scalar is the same as in the classical Schwarzschild solution, but with a central mass screened by the quantum fluctuations.


title: A simplified counterexample to the integral representation of the relaxation of double integrals

abstract: We show that the lower-semicontinuous envelope of a non-convex double integral may not admit a representation as a double integral. By taking an integrand with value $+\infty$ except at three points (say $-1$, $0$ and $1$) we give a simple proof and an explicit formula for the relaxation that hopefully may shed some light on this type of problems. This is a simplified version of examples by Mora-Corral and Tellini, and Kreisbeck and Zappale, who characterize the lower-semicontinuous envelope via Young measures.


title: Deep Reinforcement Learning for Trajectory Path Planning and Distributed Inference in Resource-Constrained UAV Swarms

abstract: The deployment flexibility and maneuverability of Unmanned Aerial Vehicles (UAVs) increased their adoption in various applications, such as wildfire tracking, border monitoring, etc. In many critical applications, UAVs capture images and other sensory data and then send the captured data to remote servers for inference and data processing tasks. However, this approach is not always practical in real-time applications due to the connection instability, limited bandwidth, and end-to-end latency. One promising solution is to divide the inference requests into multiple parts (layers or segments), with each part being executed in a different UAV based on the available resources. Furthermore, some applications require the UAVs to traverse certain areas and capture incidents; thus, planning their paths becomes critical particularly, to reduce the latency of making the collaborative inference process. Specifically, planning the UAVs trajectory can reduce the data transmission latency by communicating with devices in the same proximity while mitigating the transmission interference. This work aims to design a model for distributed collaborative inference requests and path planning in a UAV swarm while respecting the resource constraints due to the computational load and memory usage of the inference requests. The model is formulated as an optimization problem and aims to minimize latency. The formulated problem is NP-hard so finding the optimal solution is quite complex; thus, this paper introduces a real-time and dynamic solution for online applications using deep reinforcement learning. We conduct extensive simulations and compare our results to the-state-of-the-art studies demonstrating that our model outperforms the competing models.


title: Efficient High-Fidelity Flying Qubit Shaping

abstract: Matter qubit to traveling photonic qubit conversion is the cornerstone of numerous quantum technologies such as distributed quantum computing, as well as several quantum internet and networking protocols. We formulate a theory for stimulated Raman emission which is applicable to a wide range of physical systems including quantum dots, solid state defects, and trapped ions, as well as various parameter regimes. We find the upper bound for the photonic pulse emission efficiency of arbitrary matter qubit states for imperfect emitters and show a path forward to optimizing the fidelity. Based on these results we propose a paradigm shift from optimizing the drive to directly optimizing the temporal mode of the flying qubit using a closed-form expression. Protocols for the production of time-bin encoding and spin-photon entanglement are proposed. Furthermore, the mathematical idea to use input-output theory for pulses to absorb the dominant emission process into the coherent dynamics, followed by a non-Hermitian Schr\"odinger equation approach has great potential for studying other physical systems.


title: Search for rare decays of $D^0$ mesons into two muons

abstract: A search for the very rare $D^0 \to \mu^+\mu^-$ decay is performed using data collected by the LHCb experiment in proton-proton collisions at $\sqrt{s} = 7$, 8 and $13~\rm{TeV}$, corresponding to an integrated luminosity of $9~\rm{fb^{-1}}$. The search is optimised for $D^0$ mesons from $D^{\ast+}\to D^0\pi^+$ decays but is also sensitive to $D^0$ mesons from other sources. No evidence for an excess of events over the expected background is observed. An upper limit on the branching fraction of this decay is set at $\mathcal{B}(D^0 \to \mu^+\mu^-) < 3.1 \times 10^{-9}$ at a $90\%$ CL. This represents the world's most stringent limit, constraining models of physics beyond the Standard Model.


title: Domain wall annihilation -- a QFT perspective

abstract: Domain wall networks in the early universe, formed upon spontaneous breaking of a discrete symmetry, have a rich impact on cosmology. Yet, they remain somewhat unexplored. We introduce a new analytic strategy to understand better the domain wall epoch, from formation to annihilation. Our method includes a quantum field theoretical treatment of the initial state at domain wall formation, as well as of the time evolution. We find that the domain wall area density for a network with biased initial condition in $d+1$ dimensional flat spacetime evolves as $t^{-1/2}\,\exp\big(- (t/t_{ann})^{d/2}\big)$. We comment on the relation between this and previous results obtained in condensed matter and in cosmology. The extrapolation of this law to an expanding universe applies to networks that are close to the domain wall `gas' limit.

categories: hep-th astro-ph.CO cond-mat.dis-nn cond-mat.other hep-ph


title: Vulnerabilities of Deep Learning-Driven Semantic Communications to Backdoor (Trojan) Attacks

abstract: This paper highlights vulnerabilities of deep learning-driven semantic communications to backdoor (Trojan) attacks. Semantic communications aims to convey a desired meaning while transferring information from a transmitter to its receiver. An encoder-decoder pair that is represented by two deep neural networks (DNNs) as part of an autoencoder is trained to reconstruct signals such as images at the receiver by transmitting latent features of small size over a limited number of channel uses. In the meantime, another DNN of a semantic task classifier at the receiver is jointly trained with the autoencoder to check the meaning conveyed to the receiver. The complex decision space of the DNNs makes semantic communications susceptible to adversarial manipulations. In a backdoor (Trojan) attack, the adversary adds triggers to a small portion of training samples and changes the label to a target label. When the transfer of images is considered, the triggers can be added to the images or equivalently to the corresponding transmitted or received signals. In test time, the adversary activates these triggers by providing poisoned samples as input to the encoder (or decoder) of semantic communications. The backdoor attack can effectively change the semantic information transferred for the poisoned input samples to a target meaning. As the performance of semantic communications improves with the signal-to-noise ratio and the number of channel uses, the success of the backdoor attack increases as well. Also, increasing the Trojan ratio in training data makes the attack more successful. In the meantime, the effect of this attack on the unpoisoned input samples remains limited. Overall, this paper shows that the backdoor attack poses a serious threat to semantic communications and presents novel design guidelines to preserve the meaning of transferred information in the presence of backdoor attacks.


title: Direct access to hadronic decay parameters with twisted boundary conditions

abstract: Our exploratory study looks for direct access to the resonant hadronic transition amplitude without resorting to the L\"uscher formalism. We study the decay $\Psi(3770)\to\bar{D}D$ by applying partially twisted boundary conditions to the quenched charm quark, circumventing possible problems with final state interactions. If successful, we could compute the dependence of the transition amplitude on the charm-quark mass and test the predictions made by phenomenological quark-pair-creation models. Finally, we study if and to what extent an extraction of the excited state $\Psi(3770)$ is necessary for this analysis.


title: A Seven-Layer Model for Standardising AI Fairness Assessment

abstract: Problem statement: Standardisation of AI fairness rules and benchmarks is challenging because AI fairness and other ethical requirements depend on multiple factors such as context, use case, type of the AI system, and so on. In this paper, we elaborate that the AI system is prone to biases at every stage of its lifecycle, from inception to its usage, and that all stages require due attention for mitigating AI bias. We need a standardised approach to handle AI fairness at every stage. Gap analysis: While AI fairness is a hot research topic, a holistic strategy for AI fairness is generally missing. Most researchers focus only on a few facets of AI model-building. Peer review shows excessive focus on biases in the datasets, fairness metrics, and algorithmic bias. In the process, other aspects affecting AI fairness get ignored. The solution proposed: We propose a comprehensive approach in the form of a novel seven-layer model, inspired by the Open System Interconnection (OSI) model, to standardise AI fairness handling. Despite the differences in the various aspects, most AI systems have similar model-building stages. The proposed model splits the AI system lifecycle into seven abstraction layers, each corresponding to a well-defined AI model-building or usage stage. We also provide checklists for each layer and deliberate on potential sources of bias in each layer and their mitigation methodologies. This work will facilitate layer-wise standardisation of AI fairness rules and benchmarking parameters.


title: A heuristic approach for the densest packing fraction of hard-sphere mixtures

abstract: In a previous work, a simple approach to derive the jamming packing fraction of a hard-sphere mixture from the knowledge of the random close-packing fraction of the monocomponent system was proposed. Now, an extension of that approach is applied to provide an approximate formula for the densest packing fraction of a given hard-sphere mixture in terms of the fcc close-packing fraction of a monocomponent hard-sphere system and of a single parameter encapsulating the dependence on the size ratios and the number of spheres in the unit cell. Comparison with recent results for such densest packing fraction of binary and ternary systems is performed and reasonable agreement is obtained.


title: A Theoretical Study of The Effects of Adversarial Attacks on Sparse Regression

abstract: This paper analyzes $\ell_1$ regularized linear regression under the challenging scenario of having only adversarially corrupted data for training. We use the primal-dual witness paradigm to provide provable performance guarantees for the support of the estimated regression parameter vector to match the actual parameter. Our theoretical analysis shows the counter-intuitive result that an adversary can influence sample complexity by corrupting the irrelevant features, i.e., those corresponding to zero coefficients of the regression parameter vector, which, consequently, do not affect the dependent variable. As any adversarially robust algorithm has its limitations, our theoretical analysis identifies the regimes under which the learning algorithm and adversary can dominate over each other. It helps us to analyze these fundamental limits and address critical scientific questions of which parameters (like mutual incoherence, the maximum and minimum eigenvalue of the covariance matrix, and the budget of adversarial perturbation) play a role in the high or low probability of success of the LASSO algorithm. Also, the derived sample complexity is logarithmic with respect to the size of the regression parameter vector, and our theoretical claims are validated by empirical analysis on synthetic and real-world datasets.


title: Constraining scalar leptoquarks using COHERENT data

abstract: Neutrino-nucleus coherent scattering measurements by the COHERENT collaboration provide us with a unique capability to test various beyond the standard model scenarios. In this work, we constrain scalar leptoquarks (LQs) using the COHERENT data. LQs arise in many extensions of the Standard Model (SM). Generally, the mass of the LQs is assumed to be very high to avoid the bounds from proton decay. However, there are low-scale LQ models which prohibit proton decay by construction. We consider two electroweak doublet scalar LQ models with hypercharge Y=1/6, and Y=7/6 and provide the bounds in the plane of the Yukawa coupling and the mass of LQ. We also compare the bounds on LQs coming from various other experiments and find that the COHERENT one covers a wide range of LQ masses from MeV to TeV and in certain regions the constraints are competitive with the others.


title: Land Cover and Land Use Detection using Semi-Supervised Learning

abstract: Semi-supervised learning (SSL) has made significant strides in the field of remote sensing. Finding a large number of labeled datasets for SSL methods is uncommon, and manually labeling datasets is expensive and time-consuming. Furthermore, accurately identifying remote sensing satellite images is more complicated than it is for conventional images. Class-imbalanced datasets are another prevalent phenomenon, and models trained on these become biased towards the majority classes. This becomes a critical issue with an SSL model's subpar performance. We aim to address the issue of labeling unlabeled data and also solve the model bias problem due to imbalanced datasets while achieving better accuracy. To accomplish this, we create "artificial" labels and train a model to have reasonable accuracy. We iteratively redistribute the classes through resampling using a distribution alignment technique. We use a variety of class imbalanced satellite image datasets: EuroSAT, UCM, and WHU-RS19. On UCM balanced dataset, our method outperforms previous methods MSMatch and FixMatch by 1.21% and 0.6%, respectively. For imbalanced EuroSAT, our method outperforms MSMatch and FixMatch by 1.08% and 1%, respectively. Our approach significantly lessens the requirement for labeled data, consistently outperforms alternative approaches, and resolves the issue of model bias caused by class imbalance in datasets.


title: Penrose limits of inhomogeneous space-times, their diagonalizability and twistors

abstract: Penrose limits are considered in space-times admitting two abelian, space-like Killing vectors in vacuum as well as in the presence of an electromagnetic field. This type of space-times describe inhomogeneous cosmologies as well as colliding plane gravitational and electromagnetic waves. Following the work of Tod [1] the conditions for diagonal Penrose limits are investigated in these backgrounds. The twistor equation is considered in these space-times and solutions given in the Penrose limit.


title: Theoretical concepts and measurement prospects for BSM trilinear couplings: a case study for scalar top quarks

abstract: After the possible discovery of new heavy particles at the LHC, it will be crucial to determine the properties and the underlying physics of the new states. In this work, we focus on scalar trilinear couplings, employing as an example the case of the trilinear coupling of scalar partners of the top quark to the Higgs boson. We discuss possible strategies for experimentally determining the scalar top (stop) trilinear coupling parameter, which controls the stop--stop--Higgs interaction, and we demonstrate the impact of different renormalisation prescriptions for this parameter. We find that the best prospects for determining the stop trilinear coupling arise from its quantum effects entering the model prediction for the mass of the SM-like Higgs boson in comparison to the measured value. We point out that the prediction for the Higgs-boson mass has a high sensitivity to the stop trilinear coupling even for heavy masses of the non-standard particles. Regarding the renormalisation of the stop trilinear coupling we identify a renormalisation scheme that is preferred in view of the present level of accuracy and we clarify the source of potentially large logarithms that cannot be resummed with standard renormalisation group methods.


title: Crowd Score: A Method for the Evaluation of Jokes using Large Language Model AI Voters as Judges

abstract: This paper presents the Crowd Score, a novel method to assess the funniness of jokes using large language models (LLMs) as AI judges. Our method relies on inducing different personalities into the LLM and aggregating the votes of the AI judges into a single score to rate jokes. We validate the votes using an auditing technique that checks if the explanation for a particular vote is reasonable using the LLM. We tested our methodology on 52 jokes in a crowd of four AI voters with different humour types: affiliative, self-enhancing, aggressive and self-defeating. Our results show that few-shot prompting leads to better results than zero-shot for the voting question. Personality induction showed that aggressive and self-defeating voters are significantly more inclined to find more jokes funny of a set of aggressive/self-defeating jokes than the affiliative and self-enhancing voters. The Crowd Score follows the same trend as human judges by assigning higher scores to jokes that are also considered funnier by human judges. We believe that our methodology could be applied to other creative domains such as story, poetry, slogans, etc. It could both help the adoption of a flexible and accurate standard approach to compare different work in the CC community under a common metric and by minimizing human participation in assessing creative artefacts, it could accelerate the prototyping of creative artefacts and reduce the cost of hiring human participants to rate creative artefacts.


title: A C++ Implementation of a Cartesian Impedance Controller for Robotic Manipulators

abstract: Cartesian impedance control is a type of motion control strategy for robots that improves safety in partially unknown environments by achieving a compliant behavior of the robot with respect to its external forces. This compliant robot behavior has the added benefit of allowing physical human guidance of the robot. In this paper, we propose a C++ implementation of compliance control valid for any torque-commanded robotic manipulator. The proposed controller implements Cartesian impedance control to track a desired end-effector pose. Additionally, joint impedance is projected in the nullspace of the Cartesian robot motion to track a desired robot joint configuration without perturbing the Cartesian motion of the robot. The proposed implementation also allows the robot to apply desired forces and torques to its environment. Several safety features such as filtering, rate limiting, and saturation are included in the proposed implementation. The core functionalities are in a re-usable base library and a Robot Operating System (ROS) ros_control integration is provided on top of that. The implementation was tested with the KUKA LBR iiwa robot and the Franka Emika Robot (Panda) both in simulation and with the physical robots.


title: Optimal cycles enclosing all the nodes of a $k$-dimensional hypercube

abstract: We solve the general problem of visiting all the $2^k$ nodes of a $k$-dimensional hypercube by using a polygonal chain that has minimum link-length, and we show that this optimal value is given by $h(2,k):=3 \cdot 2^{k-2}$ if and only if $k \in \mathbb{N}-\{0,1\}$. Furthermore, for any $k$ above one, we constructively prove that it is possible to visit once and only once all the aforementioned nodes, $H(2,k):=\{\{0,1\} \times \{0,1\} \times \dots \times \{0,1\}\} \subset \mathbb{R}^k$, with a cycle (i.e., a closed path) having only $3 \cdot 2^{k-2}$ links.


title: 4d N=1 dualities from 5d dualities

abstract: We consider $5d$ KK dualities, that is multiple $5d$ gauge theories with the same $6d$ infinite coupling limit. We provide a prescription to associate $4d$ $N=1$ quivers to the $5d$ dual quivers, such that the $4d$ quivers are also dual to each other. The $4d$ dualities are infrared dualities which can be checked matching global symmetry anomalies and in certain cases can be proven using basic Seiberg dualities sequentially. We also consider dualities obtained by Higgsing in two different ways the same $5d$ theory, in some simple examples.


title: Stochastic switching and squeeze of hysteresis window in nonlinear responses of silicon nitride membrane nanoelectromechanical resonators

abstract: In this work, we present the effects of stochastic force generated by white noise on the nonlinear dynamics of a circular silicon nitride membrane. By tuning the membrane to the Duffing nonlinear region, detected signals switching between low- and high- amplitudes have been observed. They are generated by noise-assisted random jumps between bistable states at room temperature and exhibit high sensitivity to the driving frequency. Through artificially heating different mechanical vibration modes by external input of white noise, the switching rate exhibits exponential dependence on the effective temperature and follows with Kramer's law. Furthermore, both the measured switching rate and activation energy exhibit sensitivity to the width of the hysteresis window in nonlinear response and the driving force, which is in qualitative agreement with the theoretical descriptions. Besides, white noise-induced hysteresis window squeezing and bifurcation point shifting have also been observed, which are attributed to the stochastic force modulation of the spring constant of the membrane. These studies are essential for the generation and manipulation of stochastic switching effects, paving the way to explore new functions based on probability distributions in nanomechanical resonators.


title: On Safe and Usable Chatbots for Promoting Voter Participation

abstract: Chatbots, or bots for short, are multi-modal collaborative assistants that can help people complete useful tasks. Usually, when chatbots are referenced in connection with elections, they often draw negative reactions due to the fear of mis-information and hacking. Instead, in this paper, we explore how chatbots may be used to promote voter participation in vulnerable segments of society like senior citizens and first-time voters. In particular, we build a system that amplifies official information while personalizing it to users' unique needs transparently. We discuss its design, build prototypes with frequently asked questions (FAQ) election information for two US states that are low on an ease-of-voting scale, and report on its initial evaluation in a focus group. Our approach can be a win-win for voters, election agencies trying to fulfill their mandate and democracy at large.


title: Neural Cloth Simulation

abstract: We present a general framework for the garment animation problem through unsupervised deep learning inspired in physically based simulation. Existing trends in the literature already explore this possibility. Nonetheless, these approaches do not handle cloth dynamics. Here, we propose the first methodology able to learn realistic cloth dynamics unsupervisedly, and henceforth, a general formulation for neural cloth simulation. The key to achieve this is to adapt an existing optimization scheme for motion from simulation based methodologies to deep learning. Then, analyzing the nature of the problem, we devise an architecture able to automatically disentangle static and dynamic cloth subspaces by design. We will show how this improves model performance. Additionally, this opens the possibility of a novel motion augmentation technique that greatly improves generalization. Finally, we show it also allows to control the level of motion in the predictions. This is a useful, never seen before, tool for artists. We provide of detailed analysis of the problem to establish the bases of neural cloth simulation and guide future research into the specifics of this domain.


title: A Nearly Tight Bound for Fitting an Ellipsoid to Gaussian Random Points

abstract: We prove that for $c>0$ a sufficiently small universal constant that a random set of $c d^2/\log^4(d)$ independent Gaussian random points in $\mathbb{R}^d$ lie on a common ellipsoid with high probability. This nearly establishes a conjecture of~\cite{SaundersonCPW12}, within logarithmic factors. The latter conjecture has attracted significant attention over the past decade, due to its connections to machine learning and sum-of-squares lower bounds for certain statistical problems.

categories: math.PR cs.DS cs.LG math.ST stat.ML stat.TH


title: Characterization and Control of the Run-and-Tumble Dynamics of {\it Escherichia Coli}

abstract: We characterize the full spatiotemporal gait of populations of swimming {\it Escherichia coli} using renewal processes to analyze the measurements of intermediate scattering functions. This allows us to demonstrate quantitatively how the persistence length of an engineered strain can be controlled by a chemical inducer and to report a controlled transition from perpetual tumbling to smooth swimming. For wild-type {\it E.~coli}, we measure simultaneously the microscopic motility parameters and the large-scale effective diffusivity, hence quantitatively bridging for the first time small-scale directed swimming and macroscopic diffusion.


title: Speedup and efficiency of computational parallelization: A unifying approach and asymptotic analysis

abstract: In high performance computing environments, we observe an ongoing increase in the available numbers of cores. This development calls for re-emphasizing performance (scalability) analysis and speedup laws as suggested in the literature (e.g., Amdahl's law and Gustafson's law), with a focus on asymptotic performance. Understanding speedup and efficiency issues of algorithmic parallelism is useful for several purposes, including the optimization of system operations, temporal predictions on the execution of a program, and the analysis of asymptotic properties and the determination of speedup bounds. However, the literature is fragmented and shows a large diversity and heterogeneity of speedup models and laws. These phenomena make it challenging to obtain an overview of the models and their relationships, to identify the determinants of performance in a given algorithmic and computational context, and, finally, to determine the applicability of performance models and laws to a particular parallel computing setting. In this work, we provide a generic speedup (and thus also efficiency) model for homogeneous computing environments. Our approach generalizes many prominent models suggested in the literature and allows showing that they can be considered special cases of a unifying approach. The genericity of the unifying speedup model is achieved through parameterization. Considering combinations of parameter ranges, we identify six different asymptotic speedup cases and eight different asymptotic efficiency cases. Jointly applying these speedup and efficiency cases, we derive eleven scalability cases, from which we build a scalability typology. Researchers can draw upon our typology to classify their speedup model and to determine the asymptotic behavior when the number of parallel processing units increases. In addition, our results may be used to address various extensions of our setting.


title: A hidden Markov modeling approach combining objective measure of activity and subjective measure of self-reported sleep to estimate the sleep-wake cycle

abstract: Characterizing the sleep-wake cycle in adolescents is an important prerequisite to better understand the association of abnormal sleep patterns with subsequent clinical and behavioral outcomes. The aim of this research was to develop hidden Markov models (HMM) that incorporate both objective (actigraphy) and subjective (sleep log) measures to estimate the sleep-wake cycle using data from the NEXT longitudinal study, a large population-based cohort study. The model was estimated with a negative binomial distribution for the activity counts (1-minute epochs) to account for overdispersion relative to a Poisson process. Furthermore, self-reported measures were dichotomized (for each one-minute interval) and subject to misclassification. We assumed that the unobserved sleep-wake cycle follows a two-state Markov chain with transitional probabilities varying according to a circadian rhythm. Maximum-likelihood estimation using a backward-forward algorithm was applied to fit the longitudinal data on a subject by subject basis. The algorithm was used to reconstruct the sleep-wake cycle from sequences of self-reported sleep and activity data. Furthermore, we conduct simulations to examine the properties of this approach under different observational patterns including both complete and partially observed measurements on each individual.


title: Incompatibility of quantum instruments

abstract: Quantum instruments describe outcome probability as well as state change induced by measurement of a quantum system. Incompatibility of two instruments, i. e. the impossibility to realize them simultaneously on a given quantum system, generalizes incompatibility of channels and incompatibility of positive operator-valued measures (POVMs). We derive implications of instrument compatibility for the induced POVMs and channels. We also study relation of instrument compatibility to the concept of non-disturbance. Finally, we prove equivalence between instrument compatibility and postprocessing of certain instruments, which we term complementary instruments. We illustrate our findings on examples of various classes of instruments.


title: Spin susceptibility of nonunitary spin-triplet superconductors

abstract: The spin susceptibility is an important probe to characterize the symmetry of the order parameter in unconventional superconductors. Among them, nonunitary triplet superconductors have attracted a lot of attention recently in the context of the search for topological superconductivity. Here, we derive a general formula for the spin susceptibility of nonunitary triplet superconductors within a single-band model of non-magnetic, centrosymmetric materials with strong spin-orbit coupling. We use it to critically assess experimental claims of nonunitary triplet superconductivity in some materials.


title: Higher order elliptic equations in weighted Banach spaces

abstract: We consider higher order linear, uniformly elliptic equations with non-smooth coefficients in Banach-Sobolev spaces generated by weighted general Banach Function Space (BFS). Supposing boundedness of the Hardy-Littlewood Maximal and Calderon-Zygmund singular operators in BFSs we obtain local solvability in the Sobolev-BFS and establish interior Schauder type a priori estimates for the. elliptic operator. These results will be used in order to obtain Fredholmness of the operator under consideration in weighted BFSs with suitable weight. In addition, we analyze some examples of weighted BFS that verify our assumptions and in which the corresponding Schauder type estimates and Fredholmness of the operator hold true.


title: $^{26}$Al gamma rays from the Galaxy with INTEGRAL/SPI

abstract: The presence of radioactive $^{26}$Al at 1.8 MeV reflects ongoing nucleosynthesis in the Milky Way. Diffuse emission from its decay can be measured with gamma-ray telescopes in space. The intensity, line shape, and spatial distribution of the $^{26}$Al emission allow a study of these nucleosynthesis sources. The line parameters trace massive-star feedback in the interstellar medium due to its 1~My lifetime. We aim to deepen previous studies of the $^{26}$Al emission in the Milky Way, using all gamma-ray data including single and double events as collected with SPI on INTEGRAL from 2003 until 2020. We apply improved spectral response and background as evaluated from tracing spectral details over the entire mission. The exposure for Galactic $^{26}$Al emission is enhanced using all event types measured within SPI. We re-determine the intensity of Galactic $^{26}$Al emission across the entire sky, through maximum likelihood fits of simulated and model-built sky distributions to SPI spectra for single and for double detector hits. We find an all-sky flux of (1.84$\pm$0.03$)\times$10$^{-3}$~ph~cm$^{-2}$s$^{-1}$ in the 1.809~MeV line from $^{26}$Al, determined as fitted to sky distributions from previous observations with COMPTEL. Significant emission from higher latitudes indicate an origin from nearby massive-star groups and superbubbles, also supported by a bottom-up population synthesis model. The line centroid is found at (1809.83$\pm$0.04~keV, and line broadening from source kinematics integrated over the sky is (0.62$\pm0.3$)~keV (FWHM).


title: Dual spaces vs. Haar measures of polynomial hypergroups

abstract: Many symmetric orthogonal polynomials $(P_n(x))_{n\in\mathbb{N}_0}$ induce a hypergroup structure on $\mathbb{N}_0$. The Haar measure is the counting measure weighted with $h(n):=1/\int_\mathbb{R}\!P_n^2(x)\,\mathrm{d}\mu(x)\geq1$, where $\mu$ denotes the orthogonalization measure. We observed that many naturally occurring examples satisfy the remarkable property $h(n)\geq2\;(n\in\mathbb{N})$. We give sufficient criteria and particularly show that $h(n)\geq2\;(n\in\mathbb{N})$ if the (Hermitian) dual space $\widehat{\mathbb{N}_0}$ equals the full interval $[-1,1]$, which is fulfilled by an abundance of examples. We also study the role of nonnegative linearization of products (and of the harmonic and functional analysis resulting from such expansions). Moreover, we construct two example types with $h(1)<2$. To our knowledge, these are the first such examples. The first type is based on Karlin-McGregor polynomials, and $\widehat{\mathbb{N}_0}$ consists of two intervals and can be chosen "maximal" in some sense; $h$ is of quadratic growth. The second type relies on certain compact operators; $h$ grows exponentially, and $\widehat{\mathbb{N}_0}$ is discrete.


title: Dilution of Dark Matter Relic abundance due to First Order Electroweak Phase Transition in the singlet scalar extended type-II seesaw model

abstract: We investigate the effect of a first-order electroweak phase transition (FOEWPT), which is one of the prerequisites for electroweak baryogenesis, on the thermal relic abundance of the dark matter (DM) that freezes out before the phase transition occurs in the complex singlet scalar extended $Z_3$-invariant type-II seesaw model that can simultaneously provide a DM candidate, explain the non-vanishing neutrino masses and the baryon asymmetry of the Universe. Such a phase transition around the electroweak scale leaves an impact on the relic density due to the release of entropy, particularly for a TeV-scale DM. We thus concentrate on the region of parameter space of the said model which favors an FOEWPT in the early Universe and for which the DM is heavy such that its freeze-out temperature turns out to be larger than the phase transition temperature. We further study the dependencies of the dilution factor of the DM relic density on the model parameters, the nucleation temperature, the strength and the duration of the phase transition. Such a dilution might retrieve some of the regions of parameter space that were previously ruled out by the measured value of the DM relic density and/or the latest constraints from the DM direct-detection experiments. Furthermore, a direct connection is drawn between the dilution factor and the generation of stochastic gravitational waves as a result of an FOEWPT.


title: Complete bipartite graphs flexible in the plane

abstract: A complete bipartite graph $K_{3,3}$, considered as a planar linkage with joints at the vertices and with rods as edges, in general admits only motions as a whole, i.e., is inflexible. Two types of its paradoxical mobility were found by Dixon in 1899. Later on, in a series of papers by different authors, the question of flexibility of $K_{m,n}$ was solved for almost all pairs $(m,n)$. In the present paper, we solve it for all complete bipartite graphs in the Euclidean plane as well as in the sphere and in the hyperbolic plane. We give independent self-contained proofs without extensive computations which are almost the same in the Euclidean, hyperbolic and spherical cases.


title: One Artist's Personal Reflections on Methods and Ethics of Creating Mixed Media Artificial Intelligence Art

abstract: I intend to make a scientific contribution of my subjective experience as a single unit of self-described ``artist'' leveraging artificial intelligence as an assistive visual creation tool, in the hopes that it may provide some inspiration or deeper meaning for fellow artists and computer scientists in this medium. First, I will provide some background on my personal history thus far as an artist. Neither artist nor scientist can exist in a vaccuum, so I then will provide some (albeit a non-exhaustive list of) related work that has helped me contextualize my own work and thinking in this area. I often consider my methods in the creative process chronologically, so I have divided that section according to the loose structure of my artistic workflow. These foundations provide a fertile grounding for discussion around topics of subject matter, reception, community, and ethics. I then conclude with some ideas for future work in the realms of theory of authorship, explainability tooling, and research framing.


title: Realization Scheme for Visual Cryptography with Computer-generated Holograms

abstract: We propose to realize visual cryptography in an indirect way with the help of computer-generated hologram. At present, the recovery method of visual cryptography is mainly superimposed on transparent film or superimposed by computer equipment, which greatly limits the application range of visual cryptography. In this paper, the shares of the visual cryptography were encoded with computer-generated hologram, and the shares is reproduced by optical means, and then superimposed and decrypted. This method can expand the application range of visual cryptography and further increase the security of visual cryptography.


title: Improving Narrative Relationship Embeddings by Training with Additional Inverse-Relationship Constraints

abstract: We consider the problem of embedding character-entity relationships from the reduced semantic space of narratives, proposing and evaluating the assumption that these relationships hold under a reflection operation. We analyze this assumption and compare the approach to a baseline state-of-the-art model with a unique evaluation that simulates efficacy on a downstream clustering task with human-created labels. Although our model creates clusters that achieve Silhouette scores of -.084, outperforming the baseline -.227, our analysis reveals that the models approach the task much differently and perform well on very different examples. We conclude that our assumption might be useful for specific types of data and should be evaluated on a wider range of tasks.


title: Machine Learning Assisted Inertia Estimation using Ambient Measurements

abstract: With the increasing penetration of converter-based renewable resources, different types of dynamics have been introduced to the power system. Due to the complexity and high order of the modern power system, mathematical model-based inertia estimation method becomes more difficult. This paper proposes two novel machine learning assisted inertia estimation methods based on long-recurrent convolutional neural (LRCN) network and graph convolutional neural (GCN) network respectively. Informative features are extracted from ambient measurements collected through phasor measurement units (PMU). Spatial structure with high dimensional features and graphical information are then incorporated to improve the accuracy of the inertia estimation. Case studies are conducted on the IEEE 24-bus system. The proposed LRCN and GCN based inertia estimation models achieve an accuracy of 97.34% and 98.15% respectively. Furthermore, the proposed zero generation injection bus based optimal PMU placement (ZGIB-OPP) has been proved to be able to maximize the system observability, which subsequently improves the performance of all proposed inertia estimation models.


title: High-Energy Neutrinos from Gamma-Ray-Faint Accretion-Powered Hypernebulae

abstract: Hypernebulae are inflated by accretion-powered winds accompanying hyper-Eddington mass transfer from an evolved post-main sequence star onto a black hole or neutron star companion. The ions accelerated at the termination shock -- where the collimated fast disk winds/jet collide with the slower, wide-angled wind-fed shell -- can generate high-energy neutrinos via hadronic ($pp$) reactions, and photohadronic ($p\gamma$) interactions with the disk thermal and Comptonized nonthermal background photons. It has been suggested that some fast radio bursts (FRBs) may be powered by such short-lived jetted hyper-accreting engines. Although neutrino emission associated with the ms-duration bursts themselves is challenging to detect, the persistent radio counterparts of some FRB sources -- if associated with hypernebulae -- could contribute to the high energy neutrino diffuse background flux. If the hypernebula birth rate follows that of steller-merger transients and common envelope events, we find that their volume-integrated neutrino emission -- depending on the population-averaged mass-transfer rates -- could explain up to $\sim25\%$ of the high-energy diffuse neutrino flux observed by the IceCube Observatory and the Baikal-Gigaton Volume Detector (GVD) Telescope. The time-averaged neutrino spectrum from hypernebula -- depending on the population parameters -- can also reproduce the observed diffuse neutrino spectrum. The neutrino emission could in some cases furthermore extend to >100 PeV, detectable by future ultra-high-energy neutrino observatories. The large optical depth through the nebula to Breit-Wheeler ($\gamma\gamma$) interaction attenuates the escape of GeV-PeV gamma-rays co-produced with the neutrinos, rendering these gamma-ray-faint neutrino sources, consistent with the \textit{Fermi} observations of the isotropic gamma-ray background.

categories: astro-ph.HE hep-ex hep-ph physics.plasm-ph


title: Not Just Pretty Pictures: Toward Interventional Data Augmentation Using Text-to-Image Generators

abstract: Neural image classifiers are known to undergo severe performance degradation when exposed to inputs that are sampled from environmental conditions that differ from their training data. Given the recent progress in Text-to-Image (T2I) generation, a natural question is how modern T2I generators can be used to simulate arbitrary interventions over such environmental factors in order to augment training data and improve the robustness of downstream classifiers. We experiment across a diverse collection of benchmarks in single domain generalization (SDG) and reducing reliance on spurious features (RRSF), ablating across key dimensions of T2I generation, including interventional prompting strategies, conditioning mechanisms, and post-hoc filtering. Our extensive empirical findings demonstrate that modern T2I generators like Stable Diffusion can indeed be used as a powerful interventional data augmentation mechanism, outperforming previously state-of-the-art data augmentation techniques regardless of how each dimension is configured.


title: The ECFA Early Career Researcher's Panel: composition, structure, and activities, 2021 -- 2022

abstract: The European Committee for Future Accelerators (ECFA) Early Career Researcher's (ECR) panel, which represents the interests of the ECR community to ECFA, officially began its activities in January 2021. In the first two years, the panel has defined its own internal structure, responded to ECFA requests for feedback, and launched its own initiatives to better understand and support the diverse interests of early career researchers. This report summarises the panel composition and structure, as well as the different activities the panel has been involved with during the first two years of its existence.


title: A polynomial-size extended formulation for the multilinear polytope of beta-acyclic hypergraphs

abstract: We consider the multilinear polytope defined as the convex hull of the set of binary points satisfying a collection of multilinear equations. The complexity of the facial structure of the multilinear polytope is closely related to the acyclicity degree of the underlying hypergraph. We obtain a polynomial-size extended formulation for the multilinear polytope of beta-acyclic hypergraphs, hence characterizing the acyclic hypergraphs for which such a formulation can be constructed.


title: Numerical Stochastic Perturbation Theory around instantons

abstract: Numerical Stochastic Perturbation Theory (NSPT) has over the years proved to be a valuable tool, in particular being able to reach unprecedented orders for Lattice Gauge Theories, whose perturbative expansions are notoriously cumbersome. One of the key features of the method is the possibility to expand around non-trivial vacua. While this idea has been around for a while, and it has been implemented in the case of the (non-trivial) background of the Schr\"odinger functional, NSPT expansions around instantons have not yet been fully worked out. Here we present computations for the double well potential in quantum mechanics. We compute a few orders of the expansion of the ground-state energy splitting in the one-instanton sector. We discuss how (already) known two-loop results are reproduced and present the current status of higher-order computations.


title: The heat equation with the dynamic boundary condition as a singular limit of problems degenerating at the boundary

abstract: We derive the dynamic boundary condition for the heat equation as a limit of boundary layer problems. We study convergence of their weak and strong solutions as the width of the layer tends to zero. We also discuss $\Gamma$-convergence of the functionals generating these flows. Our analysis of strong solutions depends on a new version of the Reilly identity.


title: Sensitivity to Triple Higgs Couplings via Di-Higgs Production in the 2HDM at the (HL-)LHC

abstract: An important task of the LHC is the investigation of the Higgs-boson sector. Of particular interest is the reconstruction of the Higgs potential, i.e. the measurement of the Higgs self-couplings. Based on previous analyses, within the 2HDMs type~I and~II, we analyze several two-dimensional benchmark planes that are over large parts in agreement with all theoretical and experimental constraints. For these planes we evaluate di-Higgs production cross sections at the (HL-)LHC with a center-of-mass energy of 13 TeV at NLO in the heavy top-quark limit with the code HPAIR. We investige in particular the process $gg \to hh$, with $h$ being the Higgs boson discovered at the LHC with a mass of about 125 GeV. The top box diagram of the loop-mediated gluon fusion process into Higgs pairs interferes with the $s$-channel exchange of the two CP-even 2HDM Higgs bosons $h$ and $H$ involving the trilinear couplings $\lambda_{hhh}$ and $\lambda_{hhH}$, respectively. Depending on the size of the involved top-Yukawa and triple Higgs couplings as well as on the mass of $H$, the contribution of the $s$-channel $H$~diagram can be dominating or be highly suppressed. We find regions of the allowed parameter space in which the di-Higgs production cross section can differ by many standard deviations from its SM prediction, indicating possible access to deviations in $\lambda_{hhh}$ from the SM value $\lambda_{\rm SM}$ and/or contributions involving $\lambda_{hhH}$. The sensitivity to $\lambda_{hhH}$ is further analyzed employing the $m_{hh}$ distributions. We demonstrate how a possible measurement of $\lambda_{hhH}$ depends on the various experimenal uncertainties. Depending on the underlying parameter space, the HL-LHC may have the option not only to detect beyond-the-Standard-Model triple Higgs couplings, but also to provide a first rough measurement of their sizes.


title: Color-Dressed Generalized Biadjoint Scalar Amplitudes: Local Planarity

abstract: The biadjoint scalar theory has cubic interactions and fields transforming in the biadjoint representation of ${\rm SU}(N)\times {\rm SU}\big({\tilde N}\big)$. Amplitudes are "color" decomposed in terms of partial amplitudes computed using Feynman diagrams which are simultaneously planar with respect to two orderings. In 2019, a generalization of biadjoint scalar amplitudes based on generalized Feynman diagrams (GFDs) was introduced. GFDs are collections of Feynman diagrams derived by incorporating an additional constraint of "local planarity" into the construction of the arrangements of metric trees in combinatorics. In this work, we propose a natural generalization of color orderings which leads to color-dressed amplitudes. A generalized color ordering (GCO) is defined as a collection of standard color orderings that is induced, in a precise sense, from an arrangement of projective lines on $\mathbb{RP}^2$. We present results for $n\leq 9$ generalized color orderings and GFDs, uncovering new phenomena in each case. We discover generalized decoupling identities and propose a definition of the "colorless" generalized scalar amplitude. We also propose a notion of GCOs for arbitrary $\mathbb{RP}^{k-1}$, discuss some of their properties, and comment on their GFDs. In a companion paper, we explore the definition of partial amplitudes using CEGM integral formulas.


title: A Generalized Approach to Impedance Control Design for Robotic Minimally Invasive Surgery

abstract: Energy based control methods are at the core of modern robotic control algorithms. In this paper we present a general approach to virtual model/mechanism control, which is a powerful design tool to create energy based controllers. We present two novel virtual-mechanisms designed for robotic minimally invasive surgery, which control the position of a surgical instrument while passing through an incision. To these virtual mechanisms we apply the parameter tuning method of Larby and Forni 2022, which optimizes for local performance while ensuring global stability.


title: @C -- augmented version of C programming language

abstract: The augmented version of C programming language is presented. The language was completed with a series of low-level and high-level facilities to enlarge the language usage spectrum to various computing systems, operations, users. The ambiguities and inconsistencies have been resolved by managing problematic and undefined languages elements through an interpretation and management similar to that used in the case of other C syntax based languages. The proposed augmentative completeness elements, through @C approach, preserve the spirit of C language and its basic characteristics through compatibility with the standard version but also allow rejuvenation and bring C language to the present programming languages state of the art.


title: Material Property Prediction using Graphs based on Generically Complete Isometry Invariants

abstract: The structure-property hypothesis says that the properties of all materials are determined by an underlying crystal structure. The main obstacle was the ambiguity of conventional crystal representations based on incomplete or discontinuous descriptors that allow false negatives or false positives. This ambiguity was resolved by the ultra-fast Pointwise Distance Distribution (PDD), which distinguished all periodic structures in the world's largest collection of real materials (Cambridge Structural Database). The state-of-the-art results in property predictions were previously achieved by graph neural networks based on various graph representations of periodic crystals, including the Crystal Graph with vertices at all atoms in a crystal unit cell. This work adapts the Pointwise Distance Distribution for a simpler graph whose vertex set is not larger than the asymmetric unit of a crystal structure. The new Distribution Graph reduces mean-absolute-error by 0.6\%-12\% while having 44\%-88\% of the number of vertices when compared to the crystal graph when applied on the Materials Project and Jarvis-DFT datasets using CGCNN and ALIGNN. Methods for hyper-parameters selection for the graph are backed by the theoretical results of the Pointwise Distance Distribution and are then experimentally justified.


title: Count-Free Weisfeiler--Leman and Group Isomorphism

abstract: We investigate the power of counting in Group Isomorphism. We first leverage the count-free variant of the Weisfeiler--Leman Version I algorithm for groups (Brachter & Schweitzer, LICS 2020) in tandem with limited non-determinism and limited counting to improve the parallel complexity of isomorphism testing for several families of groups. These families include: - Direct products of non-Abelian simple groups. - Coprime extensions, where the normal Hall subgroup is Abelian and the complement is an $O(1)$-generated solvable group with solvability class $\text{poly} \log \log n$. This notably includes instances where the complement is an $O(1)$-generated nilpotent group. This problem was previously known to be in $\textsf{P}$ (Qiao, Sarma, & Tang, STACS 2011), and the complexity was recently improved to $\textsf{L}$ (Grochow & Levet, FCT 2023). - Graphical groups of class $2$ and exponent $p > 2$ (Mekler, J. Symb. Log., 1981) arising from the CFI and twisted CFI graphs (Cai, F\"urer, & Immerman, Combinatorica 1992) respectively. In particular, our work improves upon previous results of Brachter & Schweitzer (LICS 2020). We finally show that the $q$-ary count-free pebble game is unable to distinguish even Abelian groups. This extends the result of Grochow & Levet (ibid), who established the result in the case of $q = 1$. The general theme is that some counting appears necessary to place Group Isomorphism into $\textsf{P}$.


title: Fair Must Testing for I/O Automata

abstract: The concept of must testing is naturally parametrised with a chosen completeness criterion or fairness assumption. When taking weak fairness as used in I/O automata, I show that it characterises exactly the fair preorder on I/O automata as defined by Lynch & Tuttle.


title: Slater conditions without interior points for programs in Lebesgue spaces with pointwise bounds and finitely many constraints

abstract: We consider optimization problems in Lebesgue spaces with pointwise box constraints and finitely many additional linear constraints. We prove that the existence of a Slater point which lies strictly between the pointwise bounds and which satisfies the linear constraints is sufficient for the existence of Lagrange multipliers. Surprisingly, the Slater point is also necessary for the existence of Lagrange multipliers in a certain sense. We also demonstrate how to handle additional finitely many nonlinear constraints.


title: Counting compatible indexing systems for $C_{p^n}$

abstract: We count the number of compatible pairs of indexing systems for the cyclic group $C_{p^n}$. Building on work of Balchin--Barnes--Roitzheim, we show that this sequence of natural numbers is another family of Fuss--Catalan numbers. We count this two different ways: showing how the conditions of compatibility give natural recursive formulas for the number of admissible sets and using an enumeration of ways to extend indexing systems by conceptually simpler pieces.


title: Properties of Flare-Imminent versus Flare-Quiet Active Regions from the Chromosphere through the Corona I: Introduction of the AIA Active Region Patches (AARPs)

abstract: We begin here a series of papers examining the chromospheric and coronal properties of solar active regions. This first paper describes an extensive dataset of images from the Atmospheric Imaging Assembly on the Solar Dynamics Observatory curated for large-sample analysis of this topic. Based on (and constructed to coordinate with) the ``Active Region Patches'' as identified by the pipeline data analysis system for the Helioseismic and Magnetic Imager (HMI) on the same mission, the ``HARPs''), the ``AIA Active Region Patches'' (AARPs), described herein, comprise an unbiased multi-wavelength set of FITS files downsampled spatially only by way of HARP-centered patch extractions (full spatial sampling is retained), and downsampled in the temporal domain but still able to describe both short-lived kinematics and longer-term trends. The AARPs database enables physics-informed parametrization and analysis using Nonparametric Discriminant Analysis in Paper II of this series, and is validated for analysis using Differential Emission Measure techniques. The AARP dataset presently covers mid-2010 through December 2018, is approx 9TB in size, and available through the Solar Data Analysis Center.


title: Quadratic Duality for Chiral Algebras

abstract: We introduce a notion of quadratic duality for chiral algebras. This can be viewed as a chiral version of the usual quadratic duality for quadratic associative algebras. We study the relationship between this duality notion and the Maurer-Cartan equations for chiral algebras, which turns out to be parallel to the associative algebra case. We also present some explicit examples.


title: Inference for Non-Stationary Heavy Tailed Time Series

abstract: We consider the problem of inference for non-stationary time series with heavy-tailed error distribution. Under a time-varying linear process framework we show that there exists a suitable local approximation by a stationary process with heavy-tails. This enable us to introduce a local approximation-based estimator which estimates consistently time-varying parameters of the model at hand. To develop a robust method, we also suggest a self-weighing scheme which is shown to recover the asymptotic normality of the estimator regardless of whether the finite variance of the underlying process exists. Empirical evidence favoring this approach is provided.


title: Adapting to Latent Subgroup Shifts via Concepts and Proxies

abstract: We address the problem of unsupervised domain adaptation when the source domain differs from the target domain because of a shift in the distribution of a latent subgroup. When this subgroup confounds all observed data, neither covariate shift nor label shift assumptions apply. We show that the optimal target predictor can be non-parametrically identified with the help of concept and proxy variables available only in the source domain, and unlabeled data from the target. The identification results are constructive, immediately suggesting an algorithm for estimating the optimal predictor in the target. For continuous observations, when this algorithm becomes impractical, we propose a latent variable model specific to the data generation process at hand. We show how the approach degrades as the size of the shift changes, and verify that it outperforms both covariate and label shift adjustment.


title: Properties of Flare-Imminent versus Flare-Quiet Active Regions from the Chromosphere through the Corona II: NonParametric Discriminant Analysis Results from the NWRA Classification Infrastructure (NCI)

abstract: A large sample of active-region-targeted time-series images from the Solar Dynamics Observatory / Atmospheric Imaging Assembly, the AIA Active Region Patch database ("AARPs", Paper I: Dissauer et al 2022) is used to investigate whether parameters describing the coronal, transition region, and chromospheric emission can differentiate a region that will imminently produce a solar flare from one that will not. Parametrizations based on moment analysis of direct and running-difference images provide for physically-interpretable results from nonparametric discriminant analysis. Across four event definitions including both 24hr and 6hr validity periods, 160 image-based parameters capture the general state of the atmosphere, rapid brightness changes, and longer-term intensity evolution. We find top Brier Skill Scores in the 0.07--0.33 range, True Skill Statistics in the 0.68--0.82 range (both depending on event definition), and Receiver Operating Characteristic Skill Scores above 0.8. Total emission can perform notably as can steeply increasing or decreasing brightness, although mean brightness measures do not, demonstrating the well-known active-region-size/flare-productivity relation. Once a region is flare productive, the active-region coronal plasma appears to stay hot. The 94AA filter data provides the most parameters with discriminating power, with indications that it benefits from sampling multiple physical regimes. In particular, classification success using higher-order moments of running difference images indicate a propensity for flare-imminent regions to display short-lived small-scale brightening events. Parameters describing the evolution of the corona can provide flare-imminent indicators, but at no preference over "static" parameters. Finally, all parameters and NPDA-derived probabilities are available to the community for additional research.


title: Substrate Curvature Curbs the Coffee Ring Effect

abstract: "When the liquid phase of a particle-laden droplet evaporates, a ring of solute is typically formed - what has become known as the "coffee ring effect". A key focus of recent work has been the suppression of the coffee-ring effect to leave behind more spatially-uniform particle coatings instead. Efforts to suppress the coffee ring effect often focus on physical effects such as Marangoni flows. Here we focus on a purely geometric effect - the effect of substrate curvature - by evaporating suspension droplets on spherical surfaces of different radius of curvature. We find that stains formed on more highly curved substrates are more uniform. To understand this, we propose a model of the evaporation-induced flow, combined with a detailed calculation of how curvature modifies the local evaporation rate. This model shows that evaporation in the centre of the droplet is enhanced, leading to increased concentration of solute there and a reduction in the propensity for ring-formation.


title: On the 3D Navier-Stokes Equations with a Linear Multiplicative Noise and Prescribed Energy

abstract: For a prescribed deterministic kinetic energy we use convex integration to construct analytically weak and probabilistically strong solutions to the 3D incompressible Navier-Stokes equations driven by a linear multiplicative stochastic forcing. These solutions are defined up to an arbitrarily large stopping time and have deterministic initial values, which are part of the construction. Moreover, by a suitable choice of different kinetic energies which coincide on an interval close to time 0, we obtain non-uniqueness.


title: Field-free molecular alignment by the optimized two-color laser fields

abstract: We have theoretically investigated the molecular orientation by a asymmetric potential created by the superposition of two-color laser fields. The time-dependent Schrodinger equation is solved numerically for different field parameters. We have shown how enhancement or suppression of the molecular orientation can be manipulated by the laser field parameters, such as time between laser pulses, the different intensity of the pulses, etc.


title: A Classification of Modular Functors via Factorization Homology

abstract: Modular functors are traditionally defined as systems of projective representations of mapping class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the modular surface operad, with the values of the algebra lying in a suitable symmetric monoidal $(2,1)$-category $\mathcal{S}$ of linear categories. In this paper, we prove that modular functors in $\mathcal{S}$ are equivalent to self-dual balanced braided algebras $\mathcal{A}$ in $\mathcal{S}$ (a categorification of the notion of a commutative Frobenius algebra) for which a condition formulated in terms of factorization homology with coefficients in $\mathcal{A}$ is satisfied; we call such $\mathcal{A}$ connected. The equivalence in one direction is afforded by genus zero restriction. Our construction of the inverse equivalence is entirely topological and can be thought of as a far reaching generalization of the construction of modular functors from skein theory. In order to verify the connectedness condition in practice, we prove that it can be reduced to a single condition in genus one. Moreover, we show that cofactorizability of $\mathcal{A}$, a condition known to be satisfied for modular categories, is sufficient. Therefore, we recover in particular Lyubashenko's construction of a modular functor from a (not necessarily semisimple) modular category and show that it is determined by its genus zero part. Additionally, we exhibit modular functors that do not come from modular categories and outline applications to the theory of vertex operator algebras.


title: On the role of constraints and degrees of freedom in the Hamiltonian formalism

abstract: Unfortunately, the Hamiltonian mechanics of degenerate Lagrangian systems is usually presented as a mere recipe of Dirac, with no explanation as to how it works. Then it comes to discussing conjectures of whether all primary constraints correspond to gauge symmetries, and it goes all the way to absolutely wrong claims such as the statement that electrodynamics or gravity have only two physical components each, with others being spurious. One has to be very careful because non-dynamical, or constrained, does not mean unphysical. I give a pedagogical introduction to the degenerate Hamiltonian systems, showing both very simple mechanical examples and general arguments about how it works. For the familiar field theory models, I explain why the gauge freedom there "hits twice" in the sense of producing twice as many first-class constraints as gauge symmetries, and why primary, and only primary, constraints should be put into the total Hamiltonian.


title: Contrastive Language-Vision AI Models Pretrained on Web-Scraped Multimodal Data Exhibit Sexual Objectification Bias

abstract: Nine language-vision AI models trained on web scrapes with the Contrastive Language-Image Pretraining (CLIP) objective are evaluated for evidence of a bias studied by psychologists: the sexual objectification of girls and women, which occurs when a person's human characteristics, such as emotions, are disregarded and the person is treated as a body. We replicate three experiments in psychology quantifying sexual objectification and show that the phenomena persist in AI. A first experiment uses standardized images of women from the Sexual OBjectification and EMotion Database, and finds that human characteristics are disassociated from images of objectified women: the model's recognition of emotional state is mediated by whether the subject is fully or partially clothed. Embedding association tests (EATs) return significant effect sizes for both anger (d >0.80) and sadness (d >0.50), associating images of fully clothed subjects with emotions. GRAD-CAM saliency maps highlight that CLIP gets distracted from emotional expressions in objectified images. A second experiment measures the effect in a representative application: an automatic image captioner (Antarctic Captions) includes words denoting emotion less than 50% as often for images of partially clothed women than for images of fully clothed women. A third experiment finds that images of female professionals (scientists, doctors, executives) are likely to be associated with sexual descriptions relative to images of male professionals. A fourth experiment shows that a prompt of "a [age] year old girl" generates sexualized images (as determined by an NSFW classifier) up to 73% of the time for VQGAN-CLIP and Stable Diffusion; the corresponding rate for boys never surpasses 9%. The evidence indicates that language-vision AI models trained on web scrapes learn biases of sexual objectification, which propagate to downstream applications.


title: Improved Field Size Bounds for Higher Order MDS Codes

abstract: Higher order MDS codes are an interesting generalization of MDS codes recently introduced by Brakensiek, Gopi and Makam (IEEE Trans. Inf. Theory 2022). In later works, they were shown to be intimately connected to optimally list-decodable codes and maximally recoverable tensor codes. Therefore (explicit) constructions of higher order MDS codes over small fields is an important open problem. Higher order MDS codes are denoted by $\operatorname{MDS}(\ell)$ where $\ell$ denotes the order of generality, $\operatorname{MDS}(2)$ codes are equivalent to the usual MDS codes. The best prior lower bound on the field size of an $(n,k)$-$\operatorname{MDS}(\ell)$ codes is $\Omega_\ell(n^{\ell-1})$, whereas the best known (non-explicit) upper bound is $O_\ell(n^{k(\ell-1)})$ which is exponential in the dimension. In this work, we nearly close this exponential gap between upper and lower bounds. We show that an $(n,k)$-$\operatorname{MDS}(3)$ codes requires a field of size $\Omega_k(n^{k-1})$, which is close to the known upper bound. Using the connection between higher order MDS codes and optimally list-decodable codes, we show that even for a list size of 2, a code which meets the optimal list-decoding Singleton bound requires exponential field size; this resolves an open question from Shangguan and Tamo (STOC 2020). We also give explicit constructions of $(n,k)$-$\operatorname{MDS}(\ell)$ code over fields of size $n^{(\ell k)^{O(\ell k)}}$. The smallest non-trivial case where we still do not have optimal constructions is $(n,3)$-$\operatorname{MDS}(3)$. In this case, the known lower bound on the field size is $\Omega(n^2)$ and the best known upper bounds are $O(n^5)$ for a non-explicit construction and $O(n^{32})$ for an explicit construction. In this paper, we give an explicit construction over fields of size $O(n^3)$ which comes very close to being optimal.


title: 3D Highlighter: Localizing Regions on 3D Shapes via Text Descriptions

abstract: We present 3D Highlighter, a technique for localizing semantic regions on a mesh using text as input. A key feature of our system is the ability to interpret "out-of-domain" localizations. Our system demonstrates the ability to reason about where to place non-obviously related concepts on an input 3D shape, such as adding clothing to a bare 3D animal model. Our method contextualizes the text description using a neural field and colors the corresponding region of the shape using a probability-weighted blend. Our neural optimization is guided by a pre-trained CLIP encoder, which bypasses the need for any 3D datasets or 3D annotations. Thus, 3D Highlighter is highly flexible, general, and capable of producing localizations on a myriad of input shapes. Our code is publicly available at https://github.com/threedle/3DHighlighter.


title: A Workflow for Lipid Nanoparticle (LNP) Formulation Optimization Using Designed Mixture-Process Experiments and Self-Validated Ensemble Models (SVEM)

abstract: We present a Quality by Design (QbD) styled approach for optimizing lipid nanoparticle (LNP) formulations, aiming to offer scientists an accessible workflow. The inherent restriction in these studies, where the molar ratios of ionizable, helper, and PEG lipids must add up to 100%, requires specialized design and analysis methods to accommodate this mixture constraint. Focusing on lipid and process factors that are commonly used in LNP design optimization, we provide steps that avoid many of the difficulties that traditionally arise in the design and analysis of mixture-process experiments by employing space-filling designs and utilizing the recently developed statistical framework of self-validated ensemble models (SVEM). In addition to producing candidate optimal formulations, the workflow also builds graphical summaries of the fitted statistical models that simplify the interpretation of the results. The newly identified candidate formulations are assessed with confirmation runs and optionally can be conducted in the context of a more comprehensive second-phase study.


title: Detecting and characterizing pulsar haloes with the Cherenkov Telescope Array

abstract: The recently identified source class of pulsar haloes may be numerous and bright enough in the TeV range to constitute a large fraction of the sources that will be observed with the Cherenkov Telescope Array (CTA). In this work, we quantify the prospects for detecting and characterizing pulsar haloes in observations of the projected Galactic Plane Survey (GPS), using a simple phenomenological diffusion model for individual pulsar haloes and their population in the Milky Way. Our ability to uncover pulsar haloes and constrain their main physical parameters in the CTA GPS is assessed in the framework of a full spatial-spectral likelihood analysis of simulated survey observations, using the most recent estimates for the instrument response function and prototypes for the science tools. For a model setup representative of the halo around Geminga, we find that about three hundred objects could give rise to detectable emission in the GPS survey. Yet, only a third of them could be identified through their energy-dependent morphology, and only one-tenth of them would allow the derivation of strong constraints on key physical parameters like the magnitude or extent of suppressed diffusion around the pulsar. We also provide a list of known pulsars that could be hosting a detectable (Geminga-like) halo in the GPS and assess the robustness of our findings against several systematic uncertainties.


title: From Moyal deformations to chiral higher-spin theories and to celestial algebras

abstract: We study the connection of Moyal deformations of self-dual gravity and self-dual Yang-Mills theory to chiral higher-spin theories, and also to deformations of operator algebras in celestial holography. The relation to Moyal deformations illuminates various aspects of the structure of chiral higher-spin theories. For instance, the appearance of the self-dual kinematic algebra in all the theories considered here leads via the double copy to vanishing tree-level scattering amplitudes. Regarding celestial holography, the Moyal deformation of self-dual gravity was recently shown to lead to the loop algebra of $W_{\wedge}$, and we obtain here the analogous deformation of a Kac-Moody algebra corresponding to Moyal-deformed self-dual Yang-Mills theory. We also introduce the celestial algebras for various chiral higher-spin theories.


title: Ricci-flat manifolds of generalized ALG asymptotics

abstract: In complex dimensions $\geq 3$, we provide a geometric existence for generalized ALG complete non-compact Ricci flat K\"ahler manifolds with Schwartz decay i.e. metric decay in any polynomial rate to an ALG model $\mathbb{C}\times Y$ modulo finite cyclic group action, where $Y$ is Calabi-Yau. Consequently, for any $K3$ surface with a purely non-symplectic automorphism $\sigma$ of finite order, a K\"ahler crepant resolution of the orbifold $\frac{\mathbb{C} \times K3}{\langle \sigma \rangle}$ admits ALG Ricci-flat K\"ahler metrics with Schwartz decay. It is known that K\"ahler crepant resolution exists in our case. Hence there are $39$ integers, such that $2\pi$ divided by each of them is the asymptotic angle of an ALG Ricci-flat K\"ahler $3-$fold with Schwartz decay. We also exhibit a 1638 parameters family of ALG Ricci-flat K\"ahler $3-$folds with asymptotic angle $\pi$ that realize $64$ distinct triples of Betti numbers. They are iso-trivially fibred by $K3$ surface with a non-symplectic Nikulin involution. A simple version of local Kunneth formula for $H^{1,1}$/local $i\partial\overline{\partial}-$lemma plays a role in both the Schwartz decay, and the construction of ansatz that equals a Ricci flat ALG model outside a compact set (isotrivial ansatz). The proof of Schwartz decay relies on a non-concentration of the Newtonian potential, and can not be immediately generalized to fibration with higher dimensional base, due to existence of concentrating sequence of $L^{2}$ normalized eigen-functions on unit round spheres of (real) dimension $\geq 2$.