title: An evolution model for polygonal tessellations as models for crack networks and other natural patterns

abstract: We introduce and study a general framework for modeling the evolution of crack networks. The evolution steps are triggered by exponential clocks corresponding to local micro-events, and thus reflect the state of the pattern. In an appropriate simultaneous limit of pattern domain tending to infinity and time step tending to zero, a continuous time model, specifically a system of ODE is derived that describes the dynamics of averaged quantities. In comparison with the previous, discrete time model, studied recently by two of the present three authors, this approach has several advantages. In particular, the emergence of non-physical solutions characteristic to the discrete time model is ruled out in the relevant nonlinear version of the new model. We also comment on the possibilities of studying further types of pattern formation phenomena based on the introduced general framework.

categories: math-ph math.DS math.MP math.PR physics.geo-ph


title: Closed convex sets of Motzkin and generalized Minkowski types

abstract: The aim of this paper is twofold. On one hand the generalized Minkowski sets are defined and characterized. On the other hand, the Motzkin decomposable sets, along with their epigraphic versions are considered and characterized in new ways. Among them, the closed convex sets with one single minimal face, i.e. translated closed convex cones, along with their epigraphic counterparts are particularly studied.


title: Rethinking the Expressive Power of GNNs via Graph Biconnectivity

abstract: Designing expressive Graph Neural Networks (GNNs) is a central topic in learning graph-structured data. While numerous approaches have been proposed to improve GNNs in terms of the Weisfeiler-Lehman (WL) test, generally there is still a lack of deep understanding of what additional power they can systematically and provably gain. In this paper, we take a fundamentally different perspective to study the expressive power of GNNs beyond the WL test. Specifically, we introduce a novel class of expressivity metrics via graph biconnectivity and highlight their importance in both theory and practice. As biconnectivity can be easily calculated using simple algorithms that have linear computational costs, it is natural to expect that popular GNNs can learn it easily as well. However, after a thorough review of prior GNN architectures, we surprisingly find that most of them are not expressive for any of these metrics. The only exception is the ESAN framework, for which we give a theoretical justification of its power. We proceed to introduce a principled and more efficient approach, called the Generalized Distance Weisfeiler-Lehman (GD-WL), which is provably expressive for all biconnectivity metrics. Practically, we show GD-WL can be implemented by a Transformer-like architecture that preserves expressiveness and enjoys full parallelizability. A set of experiments on both synthetic and real datasets demonstrates that our approach can consistently outperform prior GNN architectures.


title: OvarNet: Towards Open-vocabulary Object Attribute Recognition

abstract: In this paper, we consider the problem of simultaneously detecting objects and inferring their visual attributes in an image, even for those with no manual annotations provided at the training stage, resembling an open-vocabulary scenario. To achieve this goal, we make the following contributions: (i) we start with a naive two-stage approach for open-vocabulary object detection and attribute classification, termed CLIP-Attr. The candidate objects are first proposed with an offline RPN and later classified for semantic category and attributes; (ii) we combine all available datasets and train with a federated strategy to finetune the CLIP model, aligning the visual representation with attributes, additionally, we investigate the efficacy of leveraging freely available online image-caption pairs under weakly supervised learning; (iii) in pursuit of efficiency, we train a Faster-RCNN type model end-to-end with knowledge distillation, that performs class-agnostic object proposals and classification on semantic categories and attributes with classifiers generated from a text encoder; Finally, (iv) we conduct extensive experiments on VAW, MS-COCO, LSA, and OVAD datasets, and show that recognition of semantic category and attributes is complementary for visual scene understanding, i.e., jointly training object detection and attributes prediction largely outperform existing approaches that treat the two tasks independently, demonstrating strong generalization ability to novel attributes and categories.


title: Characterizing Polarization in Social Networks using the Signed Relational Latent Distance Model

abstract: Graph representation learning has become a prominent tool for the characterization and understanding of the structure of networks in general and social networks in particular. Typically, these representation learning approaches embed the networks into a low-dimensional space in which the role of each individual can be characterized in terms of their latent position. A major current concern in social networks is the emergence of polarization and filter bubbles promoting a mindset of "us-versus-them" that may be defined by extreme positions believed to ultimately lead to political violence and the erosion of democracy. Such polarized networks are typically characterized in terms of signed links reflecting likes and dislikes. We propose the latent Signed relational Latent dIstance Model (SLIM) utilizing for the first time the Skellam distribution as a likelihood function for signed networks and extend the modeling to the characterization of distinct extreme positions by constraining the embedding space to polytopes. On four real social signed networks of polarization, we demonstrate that the model extracts low-dimensional characterizations that well predict friendships and animosity while providing interpretable visualizations defined by extreme positions when endowing the model with an embedding space restricted to polytopes.


title: BayBFed: Bayesian Backdoor Defense for Federated Learning

abstract: Federated learning (FL) allows participants to jointly train a machine learning model without sharing their private data with others. However, FL is vulnerable to poisoning attacks such as backdoor attacks. Consequently, a variety of defenses have recently been proposed, which have primarily utilized intermediary states of the global model (i.e., logits) or distance of the local models (i.e., L2-norm) from the global model to detect malicious backdoors. However, as these approaches directly operate on client updates, their effectiveness depends on factors such as clients' data distribution or the adversary's attack strategies. In this paper, we introduce a novel and more generic backdoor defense framework, called BayBFed, which proposes to utilize probability distributions over client updates to detect malicious updates in FL: it computes a probabilistic measure over the clients' updates to keep track of any adjustments made in the updates, and uses a novel detection algorithm that can leverage this probabilistic measure to efficiently detect and filter out malicious updates. Thus, it overcomes the shortcomings of previous approaches that arise due to the direct usage of client updates; as our probabilistic measure will include all aspects of the local client training strategies. BayBFed utilizes two Bayesian Non-Parametric extensions: (i) a Hierarchical Beta-Bernoulli process to draw a probabilistic measure given the clients' updates, and (ii) an adaptation of the Chinese Restaurant Process (CRP), referred by us as CRP-Jensen, which leverages this probabilistic measure to detect and filter out malicious updates. We extensively evaluate our defense approach on five benchmark datasets: CIFAR10, Reddit, IoT intrusion detection, MNIST, and FMNIST, and show that it can effectively detect and eliminate malicious updates in FL without deteriorating the benign performance of the global model.


title: Signatures of a magnetic superstructure phase induced by ultrahigh magnetic fields in a breathing pyrochlore antiferromagnet

abstract: The mutual coupling of spin and lattice degrees of freedom is ubiquitous in magnetic materials and potentially creates exotic magnetic states in response to the external magnetic field. Particularly, geometrically frustrated magnets serve as a fertile playground for realizing magnetic superstructure phases. Here, we observe an unconventional two-step magnetostructural transition prior to a half-magnetization plateau in a breathing pyrochlore chromium spinel by means of state-of-the-art magnetization and magnetostriction measurements in ultrahigh magnetic fields available up to 600 T. Considering a microscopic magnetoelastic theory, the intermediate-field phase can be assigned to a magnetic superstructure with a three-dimensional periodic array of 3-up-1-down and canted 2-up-2-down spin molecules. We attribute the emergence of the magnetic superstructure to a unique combination of the strong spin-lattice coupling and large breathing anisotropy.


title: First Light and Reionisation Epoch Simulations (FLARES) X: Environmental Galaxy Bias and Survey Variance at High Redshift

abstract: Upcoming deep galaxy surveys with JWST will probe galaxy evolution during the epoch of reionisation (EoR, $5\leq z\leq10$) over relatively compact areas (e.g. $\sim$ 300\,arcmin$^2$ for the JADES GTO survey). It is therefore imperative that we understand the degree of survey variance, to evaluate how representative the galaxy populations in these studies will be. We use the First Light And Reionisation Epoch Simulations (FLARES) to measure the galaxy bias of various tracers over an unprecedentedly large range in overdensity for a hydrodynamic simulation, and use these relations to assess the impact of bias and clustering on survey variance in the EoR. Star formation is highly biased relative to the underlying dark matter distribution, with the mean ratio of the stellar to dark matter density varying by a factor of 100 between regions of low and high matter overdensity (smoothed on a scale of 14$\,h^{-1}$cMpc). This is reflected in the galaxy distribution --the most massive galaxies are found solely in regions of high overdensity. As a consequence of the above, galaxies in the EoR are highly clustered, which can lead to large variance in survey number counts. For mean number counts $N\lesssim 100$ (1000), in a unit redshift slice of angular area 300\,arcmin$^2$ (1.4\,deg$^2$), the 2-sigma range in $N$ is roughly a factor of four (two). We present relations between the expected variance and survey area for different survey geometries; these relations will be of use to observers wishing to understand the impact of survey variance on their results.


title: On the Convergence of the Gradient Descent Method with Stochastic Fixed-point Rounding Errors under the Polyak-Lojasiewicz Inequality

abstract: When training neural networks with low-precision computation, rounding errors often cause stagnation or are detrimental to the convergence of the optimizers; in this paper we study the influence of rounding errors on the convergence of the gradient descent method for problems satisfying the Polyak-Lojasiewicz inequality. Within this context, we show that, in contrast, biased stochastic rounding errors may be beneficial since choosing a proper rounding strategy eliminates the vanishing gradient problem and forces the rounding bias in a descent direction. Furthermore, we obtain a bound on the convergence rate that is stricter than the one achieved by unbiased stochastic rounding. The theoretical analysis is validated by comparing the performances of various rounding strategies when optimizing several examples using low-precision fixed-point number formats.


title: Dirac: a command-line $\gamma$-matrix calculator

abstract: A software for simplification of Dirac matrix polynomials that arise in particle physics problems is implemented.


title: Approximation of the spectral action functional in the case of $\tau$-compact resolvents

abstract: We establish estimates and representations for the remainders of Taylor approximations of the spectral action functional $V\mapsto\tau(f(H_0+V))$ on bounded self-adjoint perturbations, where $H_0$ is a self-adjoint operator with $\tau$-compact resolvent in a semifinite von Neumann algebra and $f$ belongs to a broad set of compactly supported functions including $n$-times differentiable functions with bounded $n$-th derivative. Our results significantly extend analogous results in \cite{SkAnJOT}, where $f$ was assumed to be compactly supported and $(n+1)$-times continuously differentiable. If, in addition, the resolvent of $H_0$ belongs to the noncommutative $L^n$-space, stronger estimates are derived and extended to noncompactly supported functions with suitable decay at infinity.


title: Asymptotic freedom in a strongly interacting scalar quantum field theory in four Euclidean dimensions

abstract: We show that scalar quantum field theory in four Euclidean dimensions with global $O(N)^3$ symmetry and imaginary tetrahedral coupling is asymptotically free and bounded from below in the large-N limit. While the Hamiltonian is non-Hermitian, the full quantum effective action for the large-N theory only depends on the square of that coupling which is real. A perturbative analysis uncovers that the renormalization group flow of the quartic couplings connects a Gaussian ultraviolet fixed point to a strongly interacting theory in the infrared. This realizes a renormalizable field theory which exhibits non-trivial dynamics, such as direct scattering, while still being analytically tractable also non-perturbatively. Our findings open up a way to address outstanding problems in strongly coupled theories from first principles.


title: StyleGAN-T: Unlocking the Power of GANs for Fast Large-Scale Text-to-Image Synthesis

abstract: Text-to-image synthesis has recently seen significant progress thanks to large pretrained language models, large-scale training data, and the introduction of scalable model families such as diffusion and autoregressive models. However, the best-performing models require iterative evaluation to generate a single sample. In contrast, generative adversarial networks (GANs) only need a single forward pass. They are thus much faster, but they currently remain far behind the state-of-the-art in large-scale text-to-image synthesis. This paper aims to identify the necessary steps to regain competitiveness. Our proposed model, StyleGAN-T, addresses the specific requirements of large-scale text-to-image synthesis, such as large capacity, stable training on diverse datasets, strong text alignment, and controllable variation vs. text alignment tradeoff. StyleGAN-T significantly improves over previous GANs and outperforms distilled diffusion models - the previous state-of-the-art in fast text-to-image synthesis - in terms of sample quality and speed.


title: Online Kernel Sliced Inverse Regression

abstract: Online dimension reduction is a common method for high-dimensional streaming data processing. Online principal component analysis, online sliced inverse regression, online kernel principal component analysis and other methods have been studied in depth, but as far as we know, online supervised nonlinear dimension reduction methods have not been fully studied. In this article, an online kernel sliced inverse regression method is proposed. By introducing the approximate linear dependence condition and dictionary variable sets, we address the problem of increasing variable dimensions with the sample size in the online kernel sliced inverse regression method, and propose a reduced-order method for updating variables online. We then transform the problem into an online generalized eigen-decomposition problem, and use the stochastic optimization method to update the centered dimension reduction directions. Simulations and the real data analysis show that our method can achieve close performance to batch processing kernel sliced inverse regression.


title: Sampling-based Nystr\"om Approximation and Kernel Quadrature

abstract: We analyze the Nystr\"om approximation of a positive definite kernel associated with a probability measure. We first prove an improved error bound for the conventional Nystr\"om approximation with i.i.d. sampling and singular-value decomposition in the continuous regime; the proof techniques are borrowed from statistical learning theory. We further introduce a refined selection of subspaces in Nystr\"om approximation with theoretical guarantees that is applicable to non-i.i.d. landmark points. Finally, we discuss their application to convex kernel quadrature and give novel theoretical guarantees as well as numerical observations.


title: Corner replacement for Morita contexts

abstract: We consider how Morita equivalences are compatible with the notion of a corner subring. Namely, we outline a canonical way to replace a corner subring of a given ring with one which is Morita equivalent, and look at how such an equivalence ascends. We use the language of Morita contexts, and then specify these more general results. We give applications to trivial extensions of finite-dimensional algebras, tensor rings of pro-species, semilinear clannish algebras arising from orbifolds, and functor categories.


title: A New Approach to Learning Linear Dynamical Systems

abstract: Linear dynamical systems are the foundational statistical model upon which control theory is built. Both the celebrated Kalman filter and the linear quadratic regulator require knowledge of the system dynamics to provide analytic guarantees. Naturally, learning the dynamics of a linear dynamical system from linear measurements has been intensively studied since Rudolph Kalman's pioneering work in the 1960's. Towards these ends, we provide the first polynomial time algorithm for learning a linear dynamical system from a polynomial length trajectory up to polynomial error in the system parameters under essentially minimal assumptions: observability, controllability, and marginal stability. Our algorithm is built on a method of moments estimator to directly estimate Markov parameters from which the dynamics can be extracted. Furthermore, we provide statistical lower bounds when our observability and controllability assumptions are violated.


title: Quantized charge transport in disordered Floquet topological insulators in the absence of Anderson localization

abstract: We perform a numerical study of Floquet topological insulators with temporal disorder to investigate the existence of quantized charge transport without Anderson localization. We first argue that in setups with temporal imperfections Anderson localization can not be expected but bulk transport is diffusive in the long-time limit. In a second step we compute the corrections to the cumulative averaged pumped charge due to the temporal disorder and show that transport is characterized by two regimes: the transient regime, represented by a plateau for uncorrelated disorder, and the long-time behavior with a common scaling law for both uncorrelated and correlated disorder. Most notably, our numerical results indicate that the dynamic corrections vanish in the long-time limit such that quantized charge transport and diffusive bulk motion can coexist in temporally disordered Floquet topological insulators.


title: WDC Products: A Multi-Dimensional Entity Matching Benchmark

abstract: The difficulty of an entity matching task depends on a combination of multiple factors such as the amount of corner-case pairs, the fraction of entities in the test set that have not been seen during training, and the size of the development set. Current entity matching benchmarks usually represent single points in the space along such dimensions or they provide for the evaluation of matching methods along a single dimension, for instance the amount of training data. This paper presents WDC Products, an entity matching benchmark which provides for the systematic evaluation of matching systems along combinations of three dimensions while relying on real-world data. The three dimensions are (i) amount of corner-cases (ii) generalization to unseen entities, and (iii) development set size (training set plus validation set). Generalization to unseen entities is a dimension not covered by any of the existing English-language benchmarks yet but is crucial for evaluating the robustness of entity matching systems. Instead of learning how to match entity pairs, entity matching can also be formulated as a multi-class classification task that requires the matcher to recognize individual entities. WDC Products is the first benchmark that provides a pair-wise and a multi-class formulation of the same tasks. We evaluate WDC Products using several state-of-the-art matching systems, including Ditto, HierGAT, and R-SupCon. The evaluation shows that all matching systems struggle with unseen entities to varying degrees. It also shows that for entity matching contrastive learning is more training data efficient compared to cross-encoders.


title: Optimising Event-Driven Spiking Neural Network with Regularisation and Cutoff

abstract: Spiking neural network (SNN), next generation of artificial neural network (ANN) that more closely mimic natural neural networks offers promising improvements in computational efficiency. However, current SNN training methodologies predominantly employ a fixed timestep approach, overlooking the potential of dynamic inference in SNN. In this paper, we strengthen the marriage between SNN and event-driven processing with a proposal to consider cutoff in SNN, which can terminate SNN anytime during the inference to achieve efficient inference. Two novel optimisation techniques are presented to achieve inference efficient SNN: a Top-K cutoff and a regularisation. The Top-K cutoff technique optimises the inference of SNN, and the regularisation are proposed to affect the training and construct SNN with optimised performance for cutoff. We conduct an extensive set of experiments on multiple benchmark frame-based datsets, such as Cifar10/100, Tiny-ImageNet and event-based datasets, including CIFAR10-DVS, N-Caltech101 and DVS128 Gesture. The experimental results demonstrate the effectiveness of our techniques in both ANN-to-SNN conversion and direct training, affirming their compatibility and potential benefits in enhancing accuracy and reducing inference timestep when integrated with existing methods. Code available: https://github.com/Dengyu-Wu/SNN-Regularisation-Cutoff


title: Challenges and Lessons Learned from fabrication, testing and analysis of eight MQXFA Low Beta Quadrupole magnets for HL-LHC

abstract: By the end of October 2022, the US HL-LHC Accelerator Upgrade Project (AUP) had completed fabrication of ten MQXFA magnets and tested eight of them. The MQXFA magnets are the low beta quadrupole magnets to be used in the Q1 and Q3 Inner Triplet elements of the High Luminosity LHC. This AUP effort is shared by BNL, Fermilab, and LBNL, with strand verification tests at NHMFL. An important step of the AUP QA plan is the testing of MQXFA magnets in a vertical cryostat at BNL. The acceptance criteria that could be tested at BNL were all met by the first four production magnets (MQXFA03-MQXFA06). Subsequently, two magnets (MQXFA07 and MQXFA08) did not meet some criteria and were disassembled. Lessons learned during the disassembly of MQXFA07 caused a revision to the assembly specifications that were used for MQXFA10 and subsequent magnets. In this paper, we present a summary of: 1) the fabrication and test data of all the MQXFA magnets; 2) the analysis of MQXFA07/A08 test results with characterization of the limiting mechanism; 3) the outcome of the investigation, including the lessons learned during MQXFA07 disassembly; and 4) the finite element analysis correlating observations with test performance.


title: RF+clust for Leave-One-Problem-Out Performance Prediction

abstract: Per-instance automated algorithm configuration and selection are gaining significant moments in evolutionary computation in recent years. Two crucial, sometimes implicit, ingredients for these automated machine learning (AutoML) methods are 1) feature-based representations of the problem instances and 2) performance prediction methods that take the features as input to estimate how well a specific algorithm instance will perform on a given problem instance. Non-surprisingly, common machine learning models fail to make predictions for instances whose feature-based representation is underrepresented or not covered in the training data, resulting in poor generalization ability of the models for problems not seen during training.In this work, we study leave-one-problem-out (LOPO) performance prediction. We analyze whether standard random forest (RF) model predictions can be improved by calibrating them with a weighted average of performance values obtained by the algorithm on problem instances that are sufficiently close to the problem for which a performance prediction is sought, measured by cosine similarity in feature space. While our RF+clust approach obtains more accurate performance prediction for several problems, its predictive power crucially depends on the chosen similarity threshold as well as on the feature portfolio for which the cosine similarity is measured, thereby opening a new angle for feature selection in a zero-shot learning setting, as LOPO is termed in machine learning.


title: DeepFEL: Deep Fastfood Ensemble Learning for Histopathology Image Analysis

abstract: Computational pathology tasks have some unique characterises such as multi-gigapixel images, tedious and frequently uncertain annotations, and unavailability of large number of cases [13]. To address some of these issues, we present Deep Fastfood Ensembles - a simple, fast and yet effective method for combining deep features pooled from popular CNN models pre-trained on totally different source domains (e.g., natural image objects) and projected onto diverse dimensions using random projections, the so-called Fastfood [11]. The final ensemble output is obtained by a consensus of simple individual classifiers, each of which is trained on a different collection of random basis vectors. This offers extremely fast and yet effective solution, especially when training times and domain labels are of the essence. We demonstrate the effectiveness of the proposed deep fastfood ensemble learning as compared to the state-of-the-art methods for three different tasks in histopathology image analysis.


title: On the analytic version of the Mitiagin-DeLeeuw-Mirkhil non-inequality on bi-disc

abstract: Using the method of Rudin-Shapiro polynomials we prove the analytic version of the Mitiagin-DeLeeuw-Mirkhil non-inequality for complex partial differential operators with constant coefficients on bi-disc.


title: Heegaard splittings and virtually special square complexes

abstract: We give a new perspective of Heegaard splittings in terms square complexes and Guirardel's notion of a \textit{core} which allows for combinatorial measurement of the obstruction to being a connect sum of Heegaard diagrams. A Heegaard splitting is a decomposition of a closed orientable $3$-manifold into two isomorphic handle bodies that have a shared boundary surface. Usually, a number of curves on the shared boundary surface, called a Heegaard diagram, are used to describe a Heegaard splitting. We define a larger object, the \textit{augmented Heegaard diagram}, by building on methods of Stallings and Guirardel to encode the information of a Heegaard splitting. \textit{Augmented Heegaard diagrams} have several desirable properties: each 2-cell is a square, they have \textit{non-positive combinatorial curvature} and they are \textit{virtually special}. Restricting to manifolds that do not have $S^1 \times S^2$ as a connect summand, augmented Heegaard diagrams are tied to the decomposition of a $3$-manifold via connect sum as described above.


title: Scaling and Kinetic Exchange Like Behavior of Hirsch Index and Total Citation Distributions: Scopus-CiteScore Data Analysis

abstract: We analyze the data distributions $f(h)$, $f(N_c$) and $f(N_p)$ of the Hirsch index $(h)$, total citations ($N_c$) and total number of papers ($N_p$) of the top scoring 120,000 authors (scientists) from the Stanford cite-score (or c-score) 2022 list and their corresponding $h$ ($3 \le h \le 284$), $N_c (1009 \le N_c \le 428620$) and $N_p$ ($3\le N_p \le 3791$) statistics from the Scopus data. For reasons explained in the text, we divided the data of these top scorers (c-scores in the range 5.6125 to 3.3461) into six successive equal-sized Groups of 20,000 authors or scientists. We tried to fit, in each Group, $f(h)$, $f(Nc)$ and $f(Np)$ with Gamma distributions, viewing them as the ``wealth distributions'' in the fixed saving-propensity kinetic exchange models and found $f(h) \sim h^{\gamma_h} \mathrm{exp} (-h/T_h)$ with fitting noise level or temperature level ($T_h$) and average value of $h$, and the power $\gamma_h$ determined by the ``citation saving propensity'' in each Group. We further showed that using some earlier proposed power law scaling like $h = D_c N_c^{\alpha_c}$ (or $h = D_p N_p^{\alpha_p}$) with $\alpha_c = 1/2 = \alpha_p$, we can derive the observed $f(h)$ from the observed $f(N_c)$ or $f(N_p)$, with $D_c = 0.5$, but $D_p$ depending on the Group considered. This observation suggests that the average citations per paper ($N_c/N_p$) in each group ($= (D_p/D_c)^2 =4D_p^2$) vary (from 58 to 29) with the c-score range of the six Groups considered here, implying different effective Dunbar-like coordination numbers of the scientists belonging to different groups or networks.


title: Implication in sharply paraorthomodular and relatively paraorthomodular posets

abstract: In this paper we show that several classes of partially ordered structures having paraorthomodular reducts, or whose sections may be regarded as paraorthomodular posets, admit a quite natural notion of implication, that admits a suitable notion of adjointness. Within this framework, we propose a smooth generalization of celebrated Greechie's theorems on amalgams of finite Boolean algebras to the realm of Kleene lattices.


title: A bijection between evil-avoiding and rectangular permutations

abstract: Evil-avoiding permutations, introduced by Kim and Williams in 2022, arise in the study of the inhomogeneous totally asymmetric simple exclusion process. Rectangular permutations, introduced by Chiriv\`i, Fang, and Fourier in 2021, arise in the study of Schubert varieties and Demazure modules. Taking a suggestion of Kim and Williams, we supply an explicit bijection between evil-avoiding and rectangular permutations in $S_n$ that preserves the number of recoils. We encode these classes of permutations as regular languages and construct a length-preserving bijection between words in these regular languages. We extend the bijection to another Wilf-equivalent class of permutations, namely the $1$-almost-increasing permutations, and exhibit a bijection between rectangular permutations and walks of length $2n-2$ in a path of seven vertices starting and ending at the middle vertex.


title: Many-Objective Optimization of Non-Functional Attributes based on Refactoring of Software Models

abstract: Software quality estimation is a challenging and time-consuming activity, and models are crucial to face the complexity of such activity on modern software applications. In this context, software refactoring is a crucial activity within development life-cycles where requirements and functionalities rapidly evolve. One main challenge is that the improvement of distinctive quality attributes may require contrasting refactoring actions on software, as for trade-off between performance and reliability (or other non-functional attributes). In such cases, multi-objective optimization can provide the designer with a wider view on these trade-offs and, consequently, can lead to identify suitable refactoring actions that take into account independent or even competing objectives. In this paper, we present an approach that exploits NSGA-II as the genetic algorithm to search optimal Pareto frontiers for software refactoring while considering many objectives. We consider performance and reliability variations of a model alternative with respect to an initial model, the amount of performance antipatterns detected on the model alternative, and the architectural distance, which quantifies the effort to obtain a model alternative from the initial one. We applied our approach on two case studies: a Train Ticket Booking Service, and CoCoME. We observed that our approach is able to improve performance (by up to 42\%) while preserving or even improving the reliability (by up to 32\%) of generated model alternatives. We also observed that there exists an order of preference of refactoring actions among model alternatives. We can state that performance antipatterns confirmed their ability to improve performance of a subject model in the context of many-objective optimization. In addition, the metric that we adopted for the architectural distance seems to be suitable for estimating the refactoring effort.


title: Bordism invariants of colored links and topologically protected tricolorings

abstract: We construct invariants of colored links using equivariant bordism groups of Conner and Floyd. We employ this bordism invariant to find the first examples of topological vortex knots, the knot structure of which is protected from decaying via topologically allowed local surgeries, i.e., by reconnections and strand crossings permitted by the topology of the vortex-supporting medium. Moreover, we show that, up to the aforementioned local surgeries, each tricolored link either decays into unlinked simple loops, or can be transformed into either a left-handed or a right-handed tricolored trefoil knot.

categories: math.GT cond-mat.quant-gas math-ph math.MP


title: Solving the HP model with Nested Monte Carlo Search

abstract: In this paper we present a new Monte Carlo Search (MCS) algorithm for finding the ground state energy of proteins in the HP-model. We also compare it briefly to other MCS algorithms not usually used on the HP-model and provide an overview of the algorithms used on HP-model. The algorithm presented in this paper does not beat state of the art algorithms, see PERM (Hsu and Grassberger 2011), REMC (Thachuk, Shmygelska, and Hoos 2007) or WLRE (W\"ust and Landau 2012) for better results. Hsu, H.-P.; and Grassberger, P. 2011. A review of Monte Carlo simulations of polymers with PERM. Journal of Statistical Physics, 144 (3): 597 to 637. Thachuk, C.; Shmygelska, A.; and Hoos, H. H. 2007. A replica exchange Monte Carlo algorithm for protein folding in the HP model. BMC Bioinformatics, 8(1): 342. W\"ust, T.; and Landau, D. P. 2012. Optimized Wang-Landau sampling of lattice polymers: Ground state search and folding thermodynamics of HP model proteins. The Journal of Chemical Physics, 137(6): 064903.


title: Machine Learning in Top Physics in the ATLAS and CMS Collaborations

abstract: Machine learning is essential in many aspects of top-quark related physics in the ATLAS and CMS Collaborations. This work aims to give a brief overview over current applications in the two collaborations as well as on-going studies for future applications. Copyright 2023 CERN for the benefit of the ATLAS and CMS Collaborations. Reproduction of this article or parts of it is allowed as specified in the CC-BY-4.0 license


title: Theory and Implementation of the Quantum Approximate Optimization Algorithm: A Comprehensible Introduction and Case Study Using Qiskit and IBM Quantum Computers

abstract: The present tutorial aims to provide a comprehensible and easily accessible introduction into the theory and implementation of the famous Quantum Approximate Optimization Algorithm (QAOA). We lay our focus on practical aspects and step-by-step guide through the realization of a proof of concept quantum application based on a real-world use case. In every step we first explain the underlying theory and subsequently provide the implementation using IBM's Qiskit. In this way we provide a thorough understanding of the mathematical modelling and the (quantum) algorithms as well as the equally important knowledge how to properly write the code implementing those theoretical concepts. As another central aspect of this tutorial we provide extensive experiments on the 27 qubits state-of-the-art quantum computer ibmq_ehningen. From the discussion of these experiments we gain an overview on the current status of quantum computers and deduce which problem sizes can meaningfully be executed on today's hardware.


title: Twist-4 T-even proton TMDs in the light-front quark-diquark model

abstract: We have dealt with the twist-4 T-even transverse momentum-dependent parton distributions (TMDs) for the case of proton in the light-front quark-diquark model (LFQDM). By decoding the unintegrated quark-quark correlator for the semi-inclusive deep inelastic scattering (SIDIS), we have specifically obtained the overlap form for the unpolarized \bigg($f_{3}^{\nu}(x, {\bf p_\perp^2})$\bigg), longitudinally polarized \bigg($ g_{3L}^{\nu}(x, {\bf p_\perp^2}),~h_{3L}^{\perp\nu}(x, {\bf p_\perp^2})$\bigg) and transversely polarized \bigg( ${g}^{\nu }_{3T}(x, {\bf p_\perp^2}),~{h}^{\nu }_{3T}(x, {\bf p_\perp^2})$ and ${h}^{\nu\perp}_{3T}(x, {\bf p_\perp^2})$\bigg) proton TMDs. We have provided the explicit expressions for both the cases of the diquark being a scalar or a vector. Average transverse momenta and the average square transverse momenta for the TMDs have been calculated and the results have been tabulated with corresponding leading twist TMDs. In addition, the value of average transverse momentum and average square transverse momentum for TMD ${f}^{\nu }_3(x, {\bf p_\perp^2})$ has been compared with the available light-front constituent quark model (LFCQM) results. From TMDs, we have also obtained and discussed the transverse momentum-dependent parton distribution functions (TMDPDFs). The model relations of the twist-4 T-even TMDs with the available leading twist T-even TMDs have also been obtained.


title: Optimizing the use of pressurized bladders for the assembly of HL-LHC MQXFB magnets

abstract: The use of pressurized bladders for stress control of superconducting magnets was firstly proposed at Lawrence Berkeley National Laboratory (LBNL) in the early 2000s. Since then, the so-called bladders and keys procedure has become one of the reference techniques for the assembly of high-field accelerator magnets and demonstrators. Exploiting the advantages of this method is today of critical importance for Nb3Sn-based accelerator magnets, whose production requires the preservation of tight stress targets in the superconducting coils to limit the effects of the strain sensitivity and brittleness of the conductor. The present manuscript reports on the results of an experimental campaign focused on the optimization of the bladders and keys assembly process in the MQXFB quadrupoles. These 7.2 m long magnets shall be among the first Nb3Sn cryomagnets to be installed in a particle accelerator as a part of the High Luminosity upgrade of the LHC. One of the main practical implications of the bladders technique, especially important when applied to long magnets like MQXFB, is that to insert the loading keys, the opening of a certain clearance in the support structure is required. The procedure used so far for MQXF magnets involved an overstress in the coils during bladder inflation. The work presented here shows that such an overshoot can be eliminated thanks to additional bladders properly positioned in the structure. This optimized method was validated in a short model magnet and in a full-length mechanical model, becoming the new baseline for the series production at CERN. Furthermore, the results are supported by numerical predictions using Finite Element models.


title: A uvbyCaHbeta CCD Analysis of the Open Cluster Standard, M67,and its Relation to NGC 752

abstract: Precision CCD uvbyCaHbeta photometry is presented of the old cluster, M67, covering one square degree with typical internal precision at the 0.005-0.020 mag level to V~17. The photometry is calibrated using standards over a wide range in luminosity and temperature from NGC 752 and zeroed to the standard system via published photoelectric observations. Relative to NGC 752, differential offsets in reddening and metallicity are derived using astrometric members, supplemented by radial-velocity information. From single-star members, offsets in the sense (M67 - NGC 752) are Delta E(b-y) = -0.005 +/-0.001 (sem) mag from 327 F/G dwarfs and Delta [Fe/H] = 0.062 +/- 0.006 (sem) dex from the combined m1 and hk indices of 249 F dwarfs, leading to E(b-y) = 0.021 +/- 0.004 (sem), and [Fe/H] = +0.030 +/- 0.016 (sem) for M67, assuming [Fe/H]{Hyades} = +0.12. With probable binaries eliminated using c1,(b-y) indices, 83 members with relative parallax errors < 0.02 generate (m-M)_0 = 8.220 +/- 0.005 (sem) for NGC 752 and an isochronal age of 1.45 +/- 0.05 Gyr. Using the same parallax restriction for 312 stars, M67 has (m-M) = 9.77 +/- 0.02 (sem), leading to an age tied solely to the luminosity of the subgiant branch of 3.70 +/- 0.03 Gyr. The turnoff color spread implies +/- 0.1 Gyr, but the turnoff morphology defines a younger age/higher mass for the stars, consistent with recent binary analysis and broad-band photometry indicating possible missing physics in the isochrones. Anomalous stars positioned blueward of the turnoff are discussed.


title: A critical comparison of general-purpose collective variables for crystal nucleation

abstract: The nucleation of crystals is a prominent phenomenon in science and technology that still lacks a full atomic-scale understanding. Much work has been devoted to identifying order parameters able to track the process, from the inception of early nuclei to their maturing to critical size until growth of an extended crystal. We critically assess and compare two powerful distance-based collective variables, an effective entropy derived from liquid state theory and the path variable based on permutation invariant vectors using the Kob-Andersen binary mixture and a combination of enhanced-sampling techniques. Our findings reveal a comparable ability to drive nucleation when a bias potential is applied, and comparable free-energy barriers and structural features. Yet, we also found an imperfect correlation with the committor probability on the barrier top which was bypassed by changing the order parameter definition.


title: Sc2CX (X=N2, ON, O2) MXenes as a promising anode material: A first-principles study

abstract: MXenes' tunable properties make them excellent candidates for many applications in future nanoelectronics. In this work, we explore the suitability of Sc$_2$CX (X=N$_2$, ON, O$_2$) MXenes to act as the active anode materials in Na-ion based batteries (NIBs) by means of \textsl{ab initio} simulations. After analyzing the structural and elastic properties of all the possible models to evaluate the energetically favorable N and O functionalization sites, our calculations show that both Sc$_2$CON and Sc$_2$CN$_2$ present a clear metallic character, making them potential candidates as anode materials. The investigation of the most relevant features for anode performance, such as the adsorption and diffusion of Na atoms, the intrinsic capacity, the open circuit voltage, and the storage capacity show that both systems are serious alternatives to the most common 2D materials currently employed in alkali metal batteries. In particular, Sc$_2$CN$_2$ presents a better diffusion behavior thanks to the absence of Na clustering on its surface, with optimal diffusion barriers comparable to other 2D materials such as MoN$_2$, while the values of diffusion barriers for Sc$_2$CON are at least three times smaller than those found for other anode candidates. Similarly, while the capacity of Sc$_2$CON is close to the one reported for 2D Sc$_2$C, Sc$_2$CN$_2$ possesses a power density more than twice higher than the ones of 2D materials such as Sc$_2$C, graphite, and MoS$_2$. Our results thus confirm the urge for further experimental exploration of the MXene Sc$_2$CX (X=N$_2$, ON, O$_2$) family as anode material in NIBs.


title: Network topology of interlocked chiral particles

abstract: Self-assembly of chiral particles with an L-shape is explored by Monte-Carlo computer simulations in two spatial dimensions. For sufficiently high packing densities in confinement, a carpet-like texture emerges due to the interlocking of L-shaped particles, resembling a distorted smectic liquid crystalline layer pattern. From the positions of either of the two axes of the particles, two different types of layers can be extracted, which form distinct but complementary entangled networks. These coarse-grained network structures are then analyzed from a topological point of view. We propose a global charge conservation law by using an analogy to uniaxial smectics and show that the individual network topology can be steered by both confinement and particle geometry. Our topological analysis provides a general classification framework for applications to other intertwined dual networks.


title: Improving Presentation Attack Detection for ID Cards on Remote Verification Systems

abstract: In this paper, an updated two-stage, end-to-end Presentation Attack Detection method for remote biometric verification systems of ID cards, based on MobileNetV2, is presented. Several presentation attack species such as printed, display, composite (based on cropped and spliced areas), plastic (PVC), and synthetic ID card images using different capture sources are used. This proposal was developed using a database consisting of 190.000 real case Chilean ID card images with the support of a third-party company. Also, a new framework called PyPAD, used to estimate multi-class metrics compliant with the ISO/IEC 30107-3 standard was developed, and will be made available for research purposes. Our method is trained on two convolutional neural networks separately, reaching BPCER\textsubscript{100} scores on ID cards attacks of 1.69\% and 2.36\% respectively. The two-stage method using both models together can reach a BPCER\textsubscript{100} score of 0.92\%.


title: Generic MANOVA limit theorems for products of projections

abstract: We study the convergence of the empirical spectral distribution of $\mathbf{A} \mathbf{B} \mathbf{A}$ for $N \times N$ orthogonal projection matrices $\mathbf{A}$ and $\mathbf{B}$, where $\frac{1}{N}\mathrm{Tr}(\mathbf{A})$ and $\frac{1}{N}\mathrm{Tr}(\mathbf{B})$ converge as $N \to \infty$, to Wachter's MANOVA law. Using free probability, we show mild sufficient conditions for convergence in moments and in probability, and use this to prove a conjecture of Haikin, Zamir, and Gavish (2017) on random subsets of unit-norm tight frames. This result generalizes previous ones of Farrell (2011) and Magsino, Mixon, and Parshall (2021). We also derive an explicit recursion for the difference between the empirical moments $\frac{1}{N}\mathrm{Tr}((\mathbf{A} \mathbf{B} \mathbf{A})^k)$ and the limiting MANOVA moments, and use this to prove a sufficient condition for convergence in probability of the largest eigenvalue of $\mathbf{A} \mathbf{B} \mathbf{A}$ to the right edge of the support of the limiting law in the special case where that law belongs to the Kesten-McKay family. As an application, we give a new proof of convergence in probability of the largest eigenvalue when $\mathbf{B}$ is unitarily invariant; equivalently, this determines the limiting operator norm of a rectangular submatrix of size $\frac{1}{2}N \times \alpha N$ of a Haar-distributed $N \times N$ unitary matrix for any $\alpha \in (0, 1)$. Unlike previous proofs, we use only moment calculations and non-asymptotic bounds on the unitary Weingarten function, which we believe should pave the way to analyzing the largest eigenvalue for products of random projections having other distributions.


title: Learning to View: Decision Transformers for Active Object Detection

abstract: Active perception describes a broad class of techniques that couple planning and perception systems to move the robot in a way to give the robot more information about the environment. In most robotic systems, perception is typically independent of motion planning. For example, traditional object detection is passive: it operates only on the images it receives. However, we have a chance to improve the results if we allow planning to consume detection signals and move the robot to collect views that maximize the quality of the results. In this paper, we use reinforcement learning (RL) methods to control the robot in order to obtain images that maximize the detection quality. Specifically, we propose using a Decision Transformer with online fine-tuning, which first optimizes the policy with a pre-collected expert dataset and then improves the learned policy by exploring better solutions in the environment. We evaluate the performance of proposed method on an interactive dataset collected from an indoor scenario simulator. Experimental results demonstrate that our method outperforms all baselines, including expert policy and pure offline RL methods. We also provide exhaustive analyses of the reward distribution and observation space.


title: The Entoptic Field Camera as Metaphor-Driven Research-through-Design with AI Technologies

abstract: Artificial intelligence (AI) technologies are widely deployed in smartphone photography; and prompt-based image synthesis models have rapidly become commonplace. In this paper, we describe a Research-through-Design (RtD) project which explores this shift in the means and modes of image production via the creation and use of the Entoptic Field Camera. Entoptic phenomena usually refer to perceptions of floaters or bright blue dots stemming from the physiological interplay of the eye and brain. We use the term entoptic as a metaphor to investigate how the material interplay of data and models in AI technologies shapes human experiences of reality. Through our case study using first-person design and a field study, we offer implications for critical, reflective, more-than-human and ludic design to engage AI technologies; the conceptualisation of an RtD research space which contributes to AI literacy discourses; and outline a research trajectory concerning materiality and design affordances of AI technologies.


title: Characterization of the algebraic difference of special affine Cantor sets

abstract: We investigate some self-similar Cantor sets $C(l,r,p)$, which we call S-Cantor sets, generated by numbers $l,r,p \in \mathbb{N}$, $l+r<p$. We give a full characterization of the set $C(l_1,r_1,p)-C(l_2,r_2,p)$ which can take one of the form: the interval $[-1,1]$, a Cantor set, an L-Cantorval, an R-Cantorval or an M-Cantorval. As corollaries we give examples of Cantor sets and Cantorvals, which can be easily described using some positional numeral systems.


title: Hindered Settling of Well-Separated Particle Suspensions

abstract: We consider $N$ identical inertialess rigid spherical particles in a Stokes flow in a domain $\Omega \subset \mathbb R^3$. We study the average sedimentation velocity of the particles when an identical force acts on each particle. If the particles are homogeneously distributed in directions orthogonal to this force, then they hinder each other leading to a mean sedimentation velocity which is smaller than the sedimentation velocity of a single particle in an infinite fluid. Under suitable convergence assumptions of the particle density and a strong separation assumption, we identify the order of this hindering as well as effects of small scale inhomogeneities and boundary effects. For certain configurations we explicitly compute the leading order corrections.


title: Collective Intelligence and Neurodynamics: Functional Homologies

abstract: A deep understanding of the dynamics of the human nervous system requires the simultaneous study of multiple spatiotemporal scales from the level of neurotransmitters up to the level of human cultures. This is likely impossible for technical and ethical reasons. Piecemeal analysis provides some understanding of the dynamics at single levels, but this does not illuminate the interactions between levels which are, at the very least, of great importance clinically. It would be useful to have an accessible biological system which could serve as a proxy for the nervous system and from which useful insights might be obtained. Functional homologies between the nervous system and collective intelligence systems, in particular social insect colonies, are described. It is proposed that social insects colonies could serve as functional proxies for nervous systems. Thus a multiscale study of social insect colonies may provide insights into the dynamics of nervous systems.


title: Probing spacetime and accretion model for the Galactic Center: Comparison of Kerr and dilaton black hole shadows

abstract: In the vicinity of black holes, the influence of strong gravity, plasma physics, and emission processes govern the behavior of the system. Since observations such as those carried out by the EHT are not yet able to unambiguously constrain models for astrophysical and gravitational properties, it is imperative to explore the accretion models, particle distribution function, and description of the spacetime geometry. Our current understanding of these properties is often based on the assumption that the spacetime is well-described by by the Kerr solution to general relativity, combined with basic emission and accretion models. We explore alternative models for each property performing general relativistic magnetohydrodynamic and radiative transfer simulations. By choosing a Kerr solution to general relativity and a dilaton solution to Einstein-Maxwell-dilaton-axion gravity as exemplary black hole background spacetimes, we aim to investigate the influence of accretion and emission models on the ability to distinguish black holes in two theories of gravity. We carry out three-dimensional general relativistic magnetohydrodynamics simulations of both black holes, matched at their innermost stable circular orbit, in two distinct accretion scenarios. Using general-relativistic radiative transfer calculations, we model the thermal synchrotron emission and in the next step apply a non-thermal electron distribution function, exploring representative parameters to compare with multiwavelength observations. We further consider Kerr and dilaton black holes matched at their unstable circular photon orbits, as well as their event horizons. From multiwavelength emission and spectral index analysis, we find that accretion model and spacetime have only a small impact on the spectra compared to the choice of emission model.


title: Planktonic Active Matter

abstract: Planktonic active matter represents an emergent system spanning different scales: individual, population and community; and complexity arising from sub-cellular and cellular to collective and ecosystem scale dynamics. This cross-scale active matter system responds to a range of abiotic (temperature, fluid flow and light conditions) and biotic factors (nutrients, pH, secondary metabolites) characteristic to the relevant ecosystems they are part of. Active modulation of cell phenotypes, including morphology, motility, and intracellular organization enable planktonic microbes to dynamically interact with other individuals and species; and adapt - often rapidly - to the changes in their environment. In this chapter, I discuss both traditional and contemporary approaches to study the dynamics of this multi-scale active matter system from a mechanistic standpoint, with specific references to their local settings and their ability to actively tune the behaviour and physiology, and the emergent structures and functions they elicit under natural ecological constraints as well as due to the shifting climatic trends.

categories: physics.bio-ph cond-mat.soft cond-mat.stat-mech physics.flu-dyn


title: On spaces with star kernel Menger

abstract: Given a topological property $\mathcal{P}$, a space $X$ is called star-$\mathcal{P}$ if for any open cover $\mathcal{U}$ of the space $X$, there exists a set $Y\subseteq X$ with property $\mathcal{P}$ such that $St(Y,\mathcal{U})=X$; the set $Y$ is called a star kernel of the cover $\mathcal{U}$. In this paper, we introduce and study spaces with star kernel Menger, that is, star Menger spaces. Some examples are given to show the relationship with some other related properties studied previously, and the behaviour of the star Menger property with respect to subspaces, products, continuous images and preimages are investigated. Additionally, some comments on the star selection theory are given. Particularly, some questions posed by Song within this theory are addressed. Finally, several new properties are introduced as well as some general questions on them are posed.


title: Synergy Between Hubble Tension Motivated Self-Interacting Neutrino and KeV-Sterile Neutrino Dark Matter

abstract: The discrepancy between the value of Hubble constant measured by CMB observations and local low-redshift based observations has proposed many solutions which require the existence of Physics beyond Standard Model (SM). One of the interesting solutions is based on considering the strong self-interaction between Standard Model (SM) neutrinos through an additional scalar/vector mediator. Interestingly, the strong self-interaction between SM neutrinos also play an important role in obtaining KeV-sterile neutrino as a viable Dark Matter (DM) candidate through the famous Dodelson-Widrow mechanism. In this work, we have tried to find the synergy between the parameter space of active-sterile neutrino mixing vs mass of sterile neutrino allowed by Hubble tension solution and the requirement of getting KeV-sterile neutrino as DM candidate. Interestingly, we get a large amount of parameter space that is consistent with both the requirements and also free from X-Ray constraints. Finally, we have embedded this scenario in a consistent supersymmetric model of particle physics. In this framework, we have shown that the value of sterile neutrino mass, SM neutrino mass and the required mixing angle can be naturally obtained by considering the supersymmetry breaking scale to be around O(10) TeV. Thus, it would give an interesting testing ground for supersymmetry as well as signatures of Warm Dark Matter (WDM).


title: Plasticity of the Nb-rich {\mu}-Co7Nb6 phase at room temperature and 600 {\deg}C

abstract: The {\mu}-phase is a common precipitation phase in superalloys and it exists in a wide composition and temperature range. As such, we study the influences of composition and temperature on its plasticity by micropillar compression tests and transmission electron microscopy. The micropillars of the {\mu}-Co7Nb6 phase deform plastically by basal slip at either room temperature or 600 oC. At room temperature, the Co-49Nb and Co-52Nb micropillars show high yield stresses and an abrupt large strain burst at the onset of yielding regardless of orientation, whereas the Co-54Nb micropillars oriented for basal slip yield at much lower stresses and show intermittent small strain bursts during plastic deformation. While the Co-49Nb micropillars deform by full dislocation slip on the basal plane at room temperature, the Co-54Nb micropillars deform by partial dislocation slip on the basal plane. At 600 oC, the Co-49Nb micropillars oriented for basal slip show stable and continuous plasticity and their critical resolved shear stress decreases dramatically. The plastic deformation of the Co-49Nb micropillars occurs via partial dislocation slip on the basal plane at 600 oC. Based on the geometric {\gamma}-surfaces for all potential basal slip planes, we explore where and why the glide of full and partial dislocations on the basal plane occurs in the {\mu}-Co7Nb6 phase.


title: Deep Learning Meets Sparse Regularization: A Signal Processing Perspective

abstract: Deep learning has been wildly successful in practice and most state-of-the-art machine learning methods are based on neural networks. Lacking, however, is a rigorous mathematical theory that adequately explains the amazing performance of deep neural networks. In this article, we present a relatively new mathematical framework that provides the beginning of a deeper understanding of deep learning. This framework precisely characterizes the functional properties of neural networks that are trained to fit to data. The key mathematical tools which support this framework include transform-domain sparse regularization, the Radon transform of computed tomography, and approximation theory, which are all techniques deeply rooted in signal processing. This framework explains the effect of weight decay regularization in neural network training, the use of skip connections and low-rank weight matrices in network architectures, the role of sparsity in neural networks, and explains why neural networks can perform well in high-dimensional problems.


title: Uncertainties in modelling neutrino interactions for oscillation experiments

abstract: Accelerator-based neutrino oscillation experiments have the potential to revolutionise our understanding of fundamental physics, offering an opportunity to characterise charge-parity violation in the lepton section, to determine the neutrino mass ordering and to explore the possibility of physics beyond three-flavour neutrino mixing. However, as more data is collected the current and next-generation of experiments will require increasingly precise control over the systematic uncertainties within their analyses. It is well known that some of the most challenging uncertainties to overcome stem from our uncertain modelling of neutrino-nucleus interactions, arising because measured event rates depend on the neutrino interaction cross section in addition to any oscillation probability. The sources of these uncertainties are often related to subtle details of the pertinent nuclear physics, such as those of the target nucleus ground state, which are extremely difficult to control with sufficient precision. Confronting such uncertainties requires both state-of-art theoretical modelling and precise measurements of neutrino interaction event rates at experiment's near detectors, before oscillations are likely occur. These proceedings will briefly review the role of neutrino interaction systematic uncertainties in current and future measurements of neutrino oscillations.


title: A noisy-input generalised additive model for relative sea-level change along the Atlantic coast of North America

abstract: We propose a Bayesian, noisy-input, spatial-temporal generalised additive model to examine regional relative sea-level (RSL) changes over time. The model provides probabilistic estimates of component drivers of regional RSL change via the combination of a univariate spline capturing a common regional signal over time, random slopes and intercepts capturing site-specific (local), long-term linear trends and a spatial-temporal spline capturing residual, non-linear, local variations. Proxy and instrumental records of RSL and corresponding measurement errors inform the model and a noisy-input method accounts for proxy temporal uncertainties. Results focus on the decomposition of RSL over the past 3000 years along the Atlantic coast of North America.


title: Bayesian inference of $W$-boson mass

abstract: We use a Bayesian regression technique (similar to a recent analysis by Rinaldi et al) to obtain a central estimate for the $W$-boson mass using four different combinations of datasets compiled by the PDG including the 2022 CDF result. We use three different priors on the unknown intrinsic scatter and also a non-parametric hierarchical Dirichlet Process Gaussian Mixture model to obtain a world average for $W$-boson mass. We also evaluate the statistical significance of the discrepancy with respect to the Standard model for each of the datasets. We find that for all the combination of datasets and the aformentioned prior choices, the discrepancy with respect to the Standard Model value for the $W$-mass is less than 3$\sigma$. We also checked that if we use a narrow prior on the intrinsic scatter, we get a discrepancy of about 3.8$\sigma$ compared to the Standard model value.


title: Rank-one ECS manifolds of dilational type

abstract: We study ECS manifolds, that is, pseudo-Riemannian manifolds with parallel Weyl tensor which are neither conformally flat nor locally symmetric. Every ECS manifold has rank 1 or 2, the rank being the dimension of a distinguished null parallel distribution discovered by Olszak, and a rank-one ECS manifold may be called translational or dilational, depending on whether the holonomy group of a natural flat connection in the Olszak distribution is finite or infinite. Some such manifolds are in a natural sense generic, which refers to the algebraic structure of the Weyl tensor. Known examples of compact ECS manifolds, in every dimension greater than 4, are all of rank 1 and translational, some of them generic, none of them locally homogeneous. As we show, generic compact rank-one ECS manifolds must be translational or locally homogeneous, provided that they arise as isometric quotients of a specific class of explicitly constructed "model" manifolds. This result is relevant since the clause starting with "provided that" may be dropped: according to a theorem which we prove in a forthcoming paper, the models just mentioned include the isometry types of the pseudo-Riemannian universal coverings of all generic compact rank-one ECS manifolds.


title: SpArX: Sparse Argumentative Explanations for Neural Networks [Technical Report]

abstract: Neural networks (NNs) have various applications in AI, but explaining their decisions remains challenging. Existing approaches often focus on explaining how changing individual inputs affects NNs' outputs. However, an explanation that is consistent with the input-output behaviour of an NN is not necessarily faithful to the actual mechanics thereof. In this paper, we exploit relationships between multi-layer perceptrons (MLPs) and quantitative argumentation frameworks (QAFs) to create argumentative explanations for the mechanics of MLPs. Our SpArX method first sparsifies the MLP while maintaining as much of the original structure as possible. It then translates the sparse MLP into an equivalent QAF to shed light on the underlying decision process of the MLP, producing global and/or local explanations. We demonstrate experimentally that SpArX can give more faithful explanations than existing approaches, while simultaneously providing deeper insights into the actual reasoning process of MLPs.


title: Ghost Effect from Boltzmann Theory: Expansion with Remainder

abstract: Consider the limit $\varepsilon\rightarrow0$ of the steady Boltzmann problem \begin{align} v\cdot\nabla_x\mathfrak{F}=\varepsilon^{-1}Q[\mathfrak{F},\mathfrak{F}],\quad \mathfrak{F}\big|_{v\cdot n<0}=M_w\displaystyle\int_{v'\cdot n>0} \mathfrak{F}(v')|v'\cdot n|\mathrm{d}{v'}, \end{align} where $\displaystyle M_w(x_0,v):=\frac{1}{2\pi\big(T_w(x_0)\big)^2} \exp\bigg(-\frac{|v|^2}{2T_w(x_0)}\bigg)$ for $x_0\in\partial\Omega$ is the wall Maxwellian in the diffuse-reflection boundary condition. In the natural case of $|\nabla T_w|=O(1)$, for any constant $P>0$, the Hilbert expansion leads to \begin{align}\label{expansion} \mathfrak{F}\approx \mu+\varepsilon\bigg\{\mu\bigg(\rho_1+u_1\cdot v+T_1\frac{|v|^2-3T}{2}\bigg)-\mu^{\frac{1}{2}}\left(\mathscr{A}\cdot\frac{\nabla_xT}{2T^2}\right)\bigg\} \end{align} where $\displaystyle\mu(x,v):=\frac{\rho(x)}{\big(2\pi T(x)\big)^{\frac{3}{2}}} \exp\bigg(-\frac{|v|^2}{2T(x)}\bigg)$, and $(\rho,u_1,T)$ is determined by a Navier-Stokes-Fourier system with "ghost" effect. The goal of this paper is to construct $\mathfrak{F}$ in the form of \begin{align}\label{aa 08} \mathfrak{F}(x,v)=&\mu+\mu^{\frac{1}{2}}\Big(\varepsilon f_1+\varepsilon^2f_2\Big)+\mu_w^{\frac{1}{2}}\Big(\varepsilon f^B_1\Big)+\varepsilon^{\alpha}\mu^{\frac{1}{2}}R, \end{align} for interior solutions $f_1$, $f_2$ and boundary layer $f^B_1$, where $\mu_w$ is $\mu$ computed for $T=T_w$, and derive equation for the remainder $R$ with some constant $\alpha\geq1$. To prove the validity of the expansion suitable bounds on $R$ are needed, which are provided in the companion paper [Esposito-Guo-Rossana-Wu2023].


title: Homological full-and-faithfulness of comodule inclusion and contramodule forgetful functors

abstract: In this paper we consider a conilpotent coalgebra $C$ over a field $k$. Let $\Upsilon\colon C\textsf{-Comod}\longrightarrow C^*\textsf{-Mod}$ be the natural functor of inclusion of the category of $C$-comodules into the category of $C^*$-modules, and let $\Theta\colon C\textsf{-Contra}\longrightarrow C^*\textsf{-Mod}$ be the natural forgetful functor. We prove that the functor $\Upsilon$ induces a fully faithful triangulated functor on bounded (below) derived categories if and only if the functor $\Theta$ induces a fully faithful triangulated functor on bounded (above) derived categories, and if and only if the $k$-vector space $\operatorname{Ext}_C^n(k,k)$ is finite-dimensional for all $n\ge0$. We call such coalgebras "weakly finitely Koszul".


title: Catching profound optical flares in blazars

abstract: Flaring episodes in blazars represent one of the most violent processes observed in extra-galactic objects. Studies of such events shed light on the energetics of the physical processes occurring in the innermost regions of blazars, which cannot otherwise be resolved by any current instruments. In this work, we present some of the largest and most rapid flares captured in the optical band in the blazars 3C 279, OJ 49, S4 0954+658, TXS 1156+295 and PG 1553+113. The source flux was observed to increase by nearly ten times within a timescale of a few weeks. We applied several methods of time series analysis and symmetry analysis. Moreover, we also performed searches for periodicity in the light curves of 3C 279, OJ 49 and PG 1553+113 using the Lomb-Scargle method and found plausible indications of quasi-periodic oscillations (QPOs). In particular, the 33- and 22-day periods found in 3C 279, i.e. a 3:2 ratio, are intriguing. These violent events might originate from magnetohydrodynamical instabilities near the base of the jets, triggered by processes modulated by the magnetic field of the accretion disc. We present a qualitative treatment as the possible explanation for the observed large amplitude flux changes in both the source-intrinsic and source-extrinsic scenarios.


title: Partisan Voter Model: Stochastic description and noise-induced transitions

abstract: We give a comprehensive mean-field analysis of the Partisan Voter Model (PVM) and report analytical results for exit probabilities, fixation times, and the quasi-stationary distribution. In addition, and similarly to the noisy voter model, we introduce a noisy version of the PVM, named as the Noisy Partisan Voter Model (NPVM) which accounts for the preferences of each agent for the two possible states, as well as for idiosyncratic spontaneous changes of state. We find that the finite-size noise-induced transition of the noisy voter model is modified in the NPVM leading to the emergence of new intermediate phases and both continuous and discontinuous transitions.


title: On the spectrum of isomorphisms defined on the space of smooth functions which are flat at 0

abstract: In this note we study the spectrum and the Waelbroeck spectrum of the derivative operator composed with isomorphic multiplication oper


title: Estimating the energy requirements for long term memory formation

abstract: Brains consume metabolic energy to process information, but also to store memories. The energy required for memory formation can be substantial, for instance in fruit flies memory formation leads to a shorter lifespan upon subsequent starvation (Mery and Kawecki, 2005). Here we estimate that the energy required corresponds to about 10mJ/bit and compare this to biophysical estimates as well as energy requirements in computer hardware. We conclude that biological memory storage is expensive, but the reason behind it is not known.


title: Ordinal methods for a characterization of evolving functional brain networks

abstract: Ordinal time series analysis is based on the idea to map time series to ordinal patterns, i.e., order relations between the values of a time series and not the values themselves, as introduced in 2002 by C. Bandt and B. Pompe. Despite a resulting loss of information, this approach captures meaningful information about the temporal structure of the underlying system dynamics as well as about properties of interactions between coupled systems. This - together with its conceptual simplicity and robustness against measurement noise - makes ordinal time series analysis well suited to improve characterization of the still poorly understood spatial-temporal dynamics of the human brain. This minireview briefly summarizes the state-of-the-art of uni- and bivariate ordinal time-series-analysis techniques together with applications in the neurosciences. It will highlight current limitations to stimulate further developments which would be necessary to advance characterization of evolving functional brain networks.


title: Rig Inversion by Training a Differentiable Rig Function

abstract: Rig inversion is the problem of creating a method that can find the rig parameter vector that best approximates a given input mesh. In this paper we propose to solve this problem by first obtaining a differentiable rig function by training a multi layer perceptron to approximate the rig function. This differentiable rig function can then be used to train a deep learning model of rig inversion.


title: Interpretable Classification of Early Stage Parkinson's Disease from EEG

abstract: Detecting Parkinson's Disease in its early stages using EEG data presents a significant challenge. This paper introduces a novel approach, representing EEG data as a 15-variate series of bandpower and peak frequency values/coefficients. The hypothesis is that this representation captures essential information from the noisy EEG signal, improving disease detection. Statistical features extracted from this representation are utilised as input for interpretable machine learning models, specifically Decision Tree and AdaBoost classifiers. Our classification pipeline is deployed within our proposed framework which enables high-importance data types and brain regions for classification to be identified. Interestingly, our analysis reveals that while there is no significant regional importance, the N1 sleep data type exhibits statistically significant predictive power (p < 0.01) for early-stage Parkinson's Disease classification. AdaBoost classifiers trained on the N1 data type consistently outperform baseline models, achieving over 80% accuracy and recall. Our classification pipeline statistically significantly outperforms baseline models indicating that the model has acquired useful information. Paired with the interpretability (ability to view feature importance's) of our pipeline this enables us to generate meaningful insights into the classification of early stage Parkinson's with our N1 models. In Future, these models could be deployed in the real world - the results presented in this paper indicate that more than 3 in 4 early-stage Parkinson's cases would be captured with our pipeline.


title: A Quantum-Classical Model of Brain Dynamics

abstract: The study of the human psyche has elucidated a bipartite structure of cognition reflecting the quantum-classical nature of any process that generates knowledge and learning governed by brain activity. Acknowledging the importance of such a finding for modelization, we posit an approach to study brain by means of the quantum-classical dynamics of a Mixed Weyl symbol. The Mixed Weyl symbol is used to describe brain processes at the microscopic level and provides a link to the results of measurements made at the mesoscopic scale. Within this approach, quantum variables (such as,for example, nuclear and electron spins, dipole momenta of particles or molecules, tunneling degrees of freedom, etc may be represented by spinors while the electromagnetic fields and phonon modes involved in the processes are treated either classically or semi-classically, by also considering quantum zero-point fluctuations. Zero-point quantum effects can be incorporated into numerical simulations by controlling the temperature of each field mode via coupling to a dedicated Nos\`e-Hoover chain thermostat. The temperature of each thermostat is chosen in order to reproduce quantum statistics in the canonical ensemble. In this first paper, we introduce a quantum-classical model of brain dynamics, clarifying its mathematical strucure and focusing the discussion on its predictive value. Analytical consequences of the model are not reported in this paper, since they are left for future work. Our treatment incorporates compatible features of three well-known quantum approaches to brain dynamics - namely the electromagnetic field theory approach, the orchestrated objective reduction theory, and the dissipative quantum model of the brain - and hints at convincing arguments that sustain the existence of quantum-classical processes in the brain activity. All three models are reviewed.


title: A Novel Power-optimized CMOS sEMG Device with Ultra Low-noise integrated with ConvNet (VGG16) for Biomedical Applications

abstract: The needle bio-potential sensors for measuring muscle and brain activity need invasive surgical targeted muscle reinnervation (TMR) and a demanding process to maintain, but surface bio-potential sensors lack clear bio-signal reading (Signal-Interference). In this research, a novel power-optimized complementary metal-oxide-semiconductor (CMOS) Surface Electromyography (sEMG) is developed to improve the efficiency and quality of captured bio-signal for biomedical application: The early diagnosis of neurological disorders (Dystonia) and a novel compatible mind-controlled prosthetic leg with human daily activities. A novel sEMG composed of CMOS Op-Amp based PIC16F877A 8-bit CMOS Flash-based Microcontroller is utilized to minimize power consumption and data processing time. sEMG Circuit is implemented with developed analog filter along with infinite impulse response (IIR) digital filter via Fast Fourier Transform (FFT), Z-transform, and difference equations. The analysis shows a significant improvement of 169.2% noise-reduction in recorded EMG signal using developed digital filter compared to analog one according to numerical root mean square error (RMSE). Moreover, digital IIR was tested in two stages: algorithmic and real-world. As a result, IIR's algorithmic (MATLAB) and real-world RMSEs were 0.03616 and 0.05224, respectively. A notable advancement of 20.8% in data processing duration in EMG signal analysis. Optimizing VGG, AlexNet, and ResNet ConvNet as trained and tested on 15 public EEG (62-electrode) and 18 subjects' observed EMG data. The results indicate that VGG16-1D is 98.43% higher. During real testing, the accuracy was 95.8 +/- 4.6% for 16 subjects (6 Amputees-10 Dystonia). This study demonstrates the potential for sEMG, paving the way for biomedical applications.


title: Spectral fingerprint of quantum confinement in single CsPbBr$_3$ nanocrystals

abstract: Lead halide perovskite nanocrystals are promising materials for classical and quantum light emission. To understand these outstanding properties, a thorough analysis of the band-edge exciton emission is needed which is not reachable in ensemble and room temperature studies because of broadening effects. Here, we report on a cryogenic-temperature study of the photoluminescence of single CsPbBr$_3$ NCs in the intermediate quantum confinement regime. We reveal the size-dependence of the spectral features observed: the bright-triplet exciton energy splittings, the trion and biexciton binding energies as well as the optical phonon replica spectrum. In addition, we show that bright triplet energy splittings are consistent with a pure exchange model and that the variety of polarisation properties and spectra recorded can be rationalised simply by considering the orientation of the emitting dipoles and the populations of the emitting states.


title: Approximate Controllability of Delayed Fractional Stochastic Differential Systems with Mixed Noise and Impulsive Effects

abstract: We herein report a new class of impulsive fractional stochastic differential systems driven by mixed fractional Brownian motions with infinite delay and Hurst parameter $\hat{\cal H} \in ( 1/2, 1)$. Using fixed point techniques, a $q$-resolvent family, and fractional calculus, we discuss the existence of a piecewise continuous mild solution for the proposed system. Moreover, under appropriate conditions, we investigate the approximate controllability of the considered system. Finally, the main results are demonstrated with an illustrative example.


title: Huber-Robust Confidence Sequences

abstract: Confidence sequences are confidence intervals that can be sequentially tracked, and are valid at arbitrary data-dependent stopping times. This paper presents confidence sequences for a univariate mean of an unknown distribution with a known upper bound on the $p$-th central moment ($p$ > 1), but allowing for (at most) $\epsilon$ fraction of arbitrary distribution corruption, as in Huber's contamination model. We do this by designing new robust exponential supermartingales, and show that the resulting confidence sequences attain the optimal width achieved in the nonsequential setting. Perhaps surprisingly, the constant margin between our sequential result and the lower bound is smaller than even fixed-time robust confidence intervals based on the trimmed mean, for example. Since confidence sequences are a common tool used within A/B/n testing and bandits, these results open the door to sequential experimentation that is robust to outliers and adversarial corruptions.


title: Digital Twins for Marine Operations: A Brief Review on Their Implementation

abstract: While the concept of a digital twin to support maritime operations is gaining attention for predictive maintenance, real-time monitoring, control, and overall process optimization, clarity on its implementation is missing in the literature. Therefore, in this review we show how different authors implemented their digital twins, discuss our findings, and finally give insights on future research directions.


title: Black holes as tools for quantum computing by advanced extraterrestrial civilizations

abstract: We explain that black holes are the most efficient capacitors of quantum information. It is thereby expected that all sufficiently advanced civilizations ultimately employ black holes in their quantum computers. The accompanying Hawking radiation is democratic in particle species. Due to this, the alien quantum computers will radiate in ordinary particles such as neutrinos and photons within the range of potential sensitivity of our detectors. This offers a new avenue for SETI, including the civilizations entirely composed of hidden particles species interacting with our world exclusively through gravity.

categories: physics.pop-ph astro-ph.HE gr-qc hep-th quant-ph


title: Understanding Physical Processes in Describing a State of Consciousness: A Review

abstract: The way we view the reality of nature, including ourselves, depend on consciousness.It also defines the identity of the person, since we know people in terms of their experiences. In general, consciousness defines human existence in this universe. Furthermore, consciousness is associated with the most debated problems in physics such as the notion of observation, observer,in the measurement problem. However,its nature, occurrence mechanism in the brain and the definite universal locality of the consciousness are not clearly known. Due to this consciousness is considered asan essential unresolved scientific problem of the current era.Here, we review the physical processes which are associated in tackling these challenges. Firstly, we discuss the association of consciousness with transmission of signals in the brain, chain of events, quantum phenomena process and integrated information. We also highlight the roles of structure of matter,field, and the concept of universality towards understanding consciousness. Finally, we propose further studies for achieving better understanding of consciousness.


title: Illuminance-tuned collective motion in fish

abstract: We experimentally investigate the role of illumination on the collective dynamics of a large school (ca. 50 individuals) of Hemigrammus rhodostomus. The structure of the group, defined using two order parameters, is quantified while progressively altering the visual range of the fish through controlled cycles of ambient light intensity. We show that, at low light levels, the individuals within the group are unable to form a cohesive group, while at higher illuminance the degree of alignment of the school correlates with the light intensity. When increasing the illuminance, the school structure is successively characterized by a polarized state followed by a highly regular and stable rotational configuration (milling). Our study shows that vision is necessary to achieve cohesive collective motion for free swimming fish schools, while the short-range lateral line sensing is insufficient in this situation. The present experiment therefore provides new insights into the interaction mechanisms that govern the emergence and intensity of collective motion in biological systems.


title: A Multi-stack Power-to-Hydrogen Load Control Framework for the Power Factor-Constrained Integration in Volatile Peak Shaving Conditions

abstract: Large-scale power-to-hydrogen (P2H) systems formed by multi-stack are potentially powerful peak-shaving resources of power systems. However, due to the research gap in connecting the grid-side performance with the inherent operation control, the continuous operation of P2H loads is limited by the PF assessment under volatile conditions when integrating into the grid. This paper first fills the gap in proposing the analytical models of active and reactive power of P2H loads with a typical power converter interface topology. On this basis, the all-condition PF characteristics of multi-stack P2H loads are captured as functions of unified current and temperature control variables. Then, a PF-constrained multi-timescale control framework is constructed to evaluate flexibility, PF, production, and security comprehensively. A two-level nexus, including a model-based hour-ahead robust model predictive controller and a rule-based real-time increment correction algorithm, is proposed to guarantee the control accuracy and tractability. Case studies verify an intrinsic control tradeoff between PF and production, resulting in an unequal-split allocation strategy compared to the traditional production-oriented control. The significance of the extended PF and security dimensions is verified to improve the flexibility. Furthermore, five typical operating modes respectively corresponding to low, medium, and high load levels at the cluster level are concluded for industrial application.


title: A Free Industry-grade Education Tool for Bulk Power System Reliability Assessment

abstract: A free industry-grade education tool is developed for bulk-power-system reliability assessment. The software architecture is illustrated using a high-level flowchart. Three main algorithms of this tool, i.e., sequential Monte Carlo simulation, unit preventive maintenance schedule, and optimal-power-flow-based load shedding, are introduced. The input and output formats are described in detail, including the roles of different data cards and results categorization. Finally, an example case study is conducted on a five-area system to demonstrate the effectiveness and efficiency of this tool.


title: Power Supply Compensation for Capacitive Loads

abstract: As ASIC supply voltages approach one volt, the source-impedance goals for power distribution networks are driven ever lower as well. One approach to achieving these goals is to add decoupling capacitors of various values until the desired impedance profile is obtained. An unintended consequence of this approach can be reduced power supply stability and even oscillation. In this paper, we present a case study of a system design which encountered these problems and we describe how these problems were resolved. Time-domain and frequency-domain analysis techniques are discussed and measured data is presented.


title: Electronic transport properties of MoS$_2$ nanoribbons embedded on butadiene solvent

abstract: Transition metal dichalcogenides (TMDCs) are promising materials for applications in nanoelectronics and correlated fields, where their metallic edge states play a fundamental role in the electronic transport. In this work, we investigate the transport properties of MoS$_2$ zigzag nanoribbons under a butadiene (C$_4$H$_6$) atmosphere, as this compound has been used to obtain MoS$_2$ flakes by exfoliation. We use density functional theory combined with non-equilibrium Green's function techniques, in a methodology contemplating disorder and different coverages. Our results indicate a strong modulation of the TMDC electronic transport properties driven by butadiene molecules anchored at their edges, producing the suppression of currents due to a backscattering process. Our results indicate a high sensitivity of the TMDC edge states. Thus, the mechanisms used to reduce the dimensionality of MoS$_2$ considerably modify its transport properties.


title: Dissecting the Mid-Infrared Heart of M83 with JWST

abstract: We present a first look at the MRS observations of the nucleus of the nearby galaxy M83, taken with MIRI onboard JWST. The observations show a rich set of emission features from the ionized gas, warm molecular gas, and dust. To begin dissecting the complex processes in this part of the galaxy, we divide the observations into four different regions. We find that the strength of the emission features varies strongly from region to region, with the south-east region displaying the weakest features tracing the dust continuum and ISM properties. Comparison between the cold molecular gas traced by the $^{12}$CO (1-0) transition with ALMA and the H$_2$ S(1) transition shows a similar spatial distribution. This is in contrast to the distribution of the much warmer H$_2$ emission from the S(7) transition found to be concentrated around the optical nucleus. We use the rotational emission lines and model the H$_2$ excitation to estimate a total molecular gas mass accounting for the warm H$_2$ component of M($>$50 K)$_{\rm H_{2}}$ = 67.90 ($\pm 5.43$)$\times$10$^{6}$ M$_{\odot}$. We compare this value to the total gas mass inferred by probing the cold H$_2$ gas through the $^{12}$CO (1-0) emission, M(CO)$_{\rm H_{2}}$ = 17.15$\times$10$^{6}$ M$_{\odot}$. We estimate that $\sim$75\% of the total molecular gas mass is contained in the warm H$_2$ component. We also identify [\ion{O}{4}] 25.89 $\mu$m and [\ion{Fe}{2}] 25.99 $\mu$m emission. We propose that the diffuse [\ion{Fe}{2}] 25.99 $\mu$m emission might be tracing shocks created during the interactions between the hot wind produced by the starburst and the much cooler ISM above the galactic plane. More detailed studies are needed to confirm such a scenario.


title: Integrable degenerate $\mathcal E$-models from 4d Chern-Simons theory

abstract: We present a general construction of integrable degenerate $\mathcal E$-models on a 2d manifold $\Sigma$ using the formalism of Costello and Yamazaki based on 4d Chern-Simons theory on $\Sigma \times \mathbb{C}P^1$. We begin with a physically motivated review of the mathematical results of [arXiv:2008.01829] where a unifying 2d action was obtained from 4d Chern-Simons theory which depends on a pair of 2d fields $h$ and $\mathcal L$ on $\Sigma$ subject to a constraint and with $\mathcal L$ depending rationally on the complex coordinate on $\mathbb{C}P^1$. When the meromorphic 1-form $\omega$ entering the action of 4d Chern-Simons theory is required to have a double pole at infinity, the constraint between $h$ and $\mathcal L$ was solved in [arXiv:2011.13809] to obtain integrable non-degenerate $\mathcal E$-models. We extend the latter approach to the most general setting of an arbitrary 1-form $\omega$ and obtain integrable degenerate $\mathcal E$-models. To illustrate the procedure we reproduce two well known examples of integrable degenerate $\mathcal E$-models: the pseudo dual of the principal chiral model and the bi-Yang-Baxter $\sigma$-model.


title: The active weak-line T Tauri star LkCa 4 observed with SPIRou and TESS

abstract: We report results of a spectropolarimetric and photometric monitoring of the weak-line T Tauri star LkCa 4 within the SPIRou Legacy Survey large programme, based on data collected with SPIRou at the Canada-France-Hawaii Telescope and the TESS space probe between October 2021 and January 2022. We applied Zeeman-Doppler Imaging to our spectropolarimetric and photometric data to recover a surface brightness distribution compatible with TESS photometry, as well as the large-scale magnetic topology of the star. As expected from the difference in wavelength between near-infrared and optical data, the recovered surface brightness distribution is less contrasted than the previously published one based on ESPaDOnS data, but still features mid-latitude dark and bright spots. The large-scale magnetic field is consistent in shape and strength with the one derived previously, with a poloidal component resembling a 2.2 kG dipole and a toroidal component reaching 1.4 kG and encircling the star at the equator. Our new data confirm that the surface differential rotation of LkCa 4 is about 10 times weaker than that of the Sun, and significantly different from zero. Using our brightness reconstruction and Gaussian Process Regression, we were able to filter the radial velocity activity jitter down to a precision of 0.45 and 0.38 km $\rm s^{-1}$ (from an amplitude of 6.10 km $\rm s^{-1}$), respectively, yielding again no evidence for a close-in massive planet orbiting the star.


title: On circle patterns and spherical conical metrics

abstract: The Koebe-Andreev-Thurston circle packing theorem, as well as its generalization to circle patterns due to Bobenko and Springborn, holds for Euclidean and hyperbolic metrics possibly with conical singularities, but fails for spherical metrics because of the non-uniqueness coming from M\"obius transformations. In this paper, we show that a unique existence result for circle pattern with spherical conical metric holds if one prescribes the geodesic total curvature of each circle instead of the cone angles.


title: State preparation of AGP on a quantum computer without number projection

abstract: The antisymmetrized geminal power (AGP) is equivalent to the number projected Bardeen-Cooper-Schrieffer (PBCS) wavefunction. It is also an elementary symmetric polynomial (ESP) state. We generalize previous research on deterministically implementing the Dicke state to a state preparation algorithm for an ESP state, or equivalently AGP, on a quantum computer. Our method is deterministic and has polynomial cost, and it does not rely on number symmetry breaking and restoration. We also show that our circuit is equivalent to a disentangled unitary paired coupled cluster operator and a layer of unitary Jastrow operator acting on a single Slater determinant. The method presented herein highlights the ability of disentangled unitary coupled cluster to capture non-trivial entanglement properties that are hardly accessible with traditional Hartree-Fock based electronic structure methods.


title: On some Binomial Coefficient Identities with Applications

abstract: We present a different proof of the following identity due to Munarini, which generalizes a curious binomial identity of Simons. \begin{align*} \sum_{k=0}^{n}\binom{\alpha}{n-k}\binom{\beta+k}{k}x^k &=\sum_{k=0}^{n}(-1)^{n+k}\binom{\beta-\alpha+n}{n-k}\binom{\beta+k}{k}(x+1)^k, \end{align*} where $n$ is a non-negative integer and $\alpha$ and $\beta$ are complex numbers, which are not negative integers. Our approach is based on a particularly interesting combination of the Taylor theorem and the Wilf-Zeilberger algorithm. We also generalize a combinatorial identity due to Alzer and Kouba, and offer a new binomial sum identity. Furthermore, as applications, we give many harmonic number sum identities. As examples, we prove that \begin{equation*} H_n=\frac{1}{2}\sum_{k=1}^{n}(-1)^{n+k}\binom{n}{k}\binom{n+k}{k}H_k \end{equation*} and \begin{align*} \sum_{k=0}^{n}\binom{n}{k}^2H_kH_{n-k}=\binom{2n}{n} \left((H_{2n}-2H_n)^2+H_{n}^{(2)}-H_{2n}^{(2)}\right). \end{align*}


title: A Digital Delay Model Supporting Large Adversarial Delay Variations

abstract: Dynamic digital timing analysis is a promising alternative to analog simulations for verifying particularly timing-critical parts of a circuit. A necessary prerequisite is a digital delay model, which allows to accurately predict the input-to-output delay of a given transition in the input signal(s) of a gate. Since all existing digital delay models for dynamic digital timing analysis are deterministic, however, they cannot cover delay fluctuations caused by PVT variations, aging and analog signal noise. The only exception known to us is the $\eta$-IDM introduced by F\"ugger et al. at DATE'18, which allows to add (very) small adversarially chosen delay variations to the deterministic involution delay model, without endangering its faithfulness. In this paper, we show that it is possible to extend the range of allowed delay variations so significantly that realistic PVT variations and aging are covered by the resulting extended $\eta$-IDM.