title: Newtonian cosmology from quantum corrected Newtonian potential

abstract: We study the Newtonian cosmology taking into account the leading classical and quantum corrections of order $\mathcal{O}(G^{2})$ in the Newtonian potential. We first derive the modified Friedmann equations starting from the non-relativistic conservation of kinetic energy and potential energy for an infinitesimal mass. We then consider the leading classical correction term and the quantum correction term in the Newtonian potential for deriving the Friedmann equation, however, the quantum correction term is too small and hence does not contribute in the physical results. We then investigate the difference in scale factor with the usual scale factor for various matter like radiation, dust and cosmological constant by considering the corrections in the Newtonian potential. We observe that the evolution of the universe is similar for radiation and dust cases at late times. The cosmological constant case shows a steep increase in the scale factor compared to the other cases. We also note that the universe may have a bounce in the case of radiation depending on the sign of the coefficient of the leading classical correction.


title: The Effects of In-domain Corpus Size on pre-training BERT

abstract: Many prior language modeling efforts have shown that pre-training on an in-domain corpus can significantly improve performance on downstream domain-specific NLP tasks. However, the difficulties associated with collecting enough in-domain data might discourage researchers from approaching this pre-training task. In this paper, we conducted a series of experiments by pre-training Bidirectional Encoder Representations from Transformers (BERT) with different sizes of biomedical corpora. The results demonstrate that pre-training on a relatively small amount of in-domain data (4GB) with limited training steps, can lead to better performance on downstream domain-specific NLP tasks compared with fine-tuning models pre-trained on general corpora.


title: CYT and SKT Metrics on Compact Semi-Simple Lie Groups

abstract: A Hermitian metric on a complex manifold $(M, I)$ of complex dimension $n$ is called Calabi-Yau with torsion (CYT) or Bismut-Ricci flat, if the restricted holonomy of the associated Bismut connection is contained in ${\rm SU}(n)$ and it is called strong K\"ahler with torsion (SKT) or pluriclosed if the associated fundamental form $F$ is $\partial \overline \partial$-closed. In the paper we study the existence of left-invariant SKT and CYT metrics on compact semi-simple Lie groups endowed with a Samelson complex structure $I$. In particular, we show that if $I$ is determined by some maximal torus $T$ and $g$ is a left-invariant Hermitian metric, which is also invariant under the right action of the torus $T$, and is both CYT and SKT, then $g$ has to be Bismut flat.


title: Torsion homology growth and cheap rebuilding of inner-amenable groups

abstract: We prove that torsion-free, residually finite groups that are inner-amenable and non-amenable have the cheap 1-rebuilding property. As a consequence, the first $\ell^2$-Betti number with arbitrary field coefficients and log-torsion in degree 1 vanish for these groups. This extends results previously known for amenable groups to inner-amenable groups. We use a structure theorem of Tucker-Drob for inner-amenable groups showing the existence of a chain of q-normal subgroups.


title: An Analysis of Variance of the Pantheon+ Dataset: Systematics in the Covariance Matrix?

abstract: We investigate the statistics of the available Pantheon+ dataset. Noticing that the $\chi^2$ value for the best-fit $\Lambda$CDM model to the real data is small, we quantify how significant its smallness is by calculating the distribution of $\chi^2$ values for the best-fit $\Lambda$CDM model fit to mock Pantheon+-like datasets, using the provided covariance matrix. We further investigate the distribution of the residuals of the Pantheon+ dataset, with respect to the best-fit $\Lambda$CDM model, and notice they scatter smaller than would be expected from the covariance matrix but find no significant amount of kurtosis. These results point to the conclusion that the Pantheon+ covariance matrix is over-estimated. One simple interpretation of these results is a $\sim$5\% overestimation of errors on SN distances in Pantheon+ data. When the covariance matrix is reduced by subtracting an intrinsic scatter term from the diagonal terms of the covariance matrix, the best-fit $\chi^2$ for the $\Lambda$CDM model achieves a normal value of 1580 and no deviation from $\Lambda$CDM is detected. We further quantify how consistent the $\Lambda$CDM model is with respect to the modified data with the subtracted covariance matrix using model independent reconstruction techniques such as the iterative smoothing method and we find that the standard model is consistent with the data.


title: Construction of a Surrogate Model: Multivariate Time Series Prediction with a Hybrid Model

abstract: Recent developments of advanced driver-assistance systems necessitate an increasing number of tests to validate new technologies. These tests cannot be carried out on track in a reasonable amount of time and automotive groups rely on simulators to perform most tests. The reliability of these simulators for constantly refined tasks is becoming an issue and, to increase the number of tests, the industry is now developing surrogate models, that should mimic the behavior of the simulator while being much faster to run on specific tasks. In this paper we aim to construct a surrogate model to mimic and replace the simulator. We first test several classical methods such as random forests, ridge regression or convolutional neural networks. Then we build three hybrid models that use all these methods and combine them to obtain an efficient hybrid surrogate model.


title: ROSCOE: A Suite of Metrics for Scoring Step-by-Step Reasoning

abstract: Large language models show improved downstream task performance when prompted to generate step-by-step reasoning to justify their final answers. These reasoning steps greatly improve model interpretability and verification, but objectively studying their correctness (independent of the final answer) is difficult without reliable methods for automatic evaluation. We simply do not know how often the stated reasoning steps actually support the final end task predictions. In this work, we present ROSCOE, a suite of interpretable, unsupervised automatic scores that improve and extend previous text generation evaluation metrics. To evaluate ROSCOE against baseline metrics, we design a typology of reasoning errors and collect synthetic and human evaluation scores on commonly used reasoning datasets. In contrast with existing metrics, ROSCOE can measure semantic consistency, logicality, informativeness, fluency, and factuality - among other traits - by leveraging properties of step-by-step rationales. We empirically verify the strength of our metrics on five human annotated and six programmatically perturbed diagnostics datasets - covering a diverse set of tasks that require reasoning skills and show that ROSCOE can consistently outperform baseline metrics.


title: Jacobian conjecture: coloring Abdesselam-Rivasseau model

abstract: We consider the Abdesselam-Rivasseau (AR) model turning the Jacobian Conjecture (JC) into a problem of the perturbative quantum field theory. Within the AR model, the JC inverse map is represented by a formal integral generating the tree's expansion for this map. By assigning colors to the edges in the vertex of the AR model and performing selective Gaussian integration, we show the termination of the tree's series for the inverse map. The latter implies the correctness of JC.


title: Scholarly Knowledge Extraction from Published Software Packages

abstract: A plethora of scientific software packages are published in repositories, e.g., Zenodo and figshare. These software packages are crucial for the reproducibility of published research. As an additional route to scholarly knowledge graph construction, we propose an approach for automated extraction of machine actionable (structured) scholarly knowledge from published software packages by static analysis of their (meta)data and contents (in particular scripts in languages such as Python). The approach can be summarized as follows. First, we extract metadata information (software description, programming languages, related references) from software packages by leveraging the Software Metadata Extraction Framework (SOMEF) and the GitHub API. Second, we analyze the extracted metadata to find the research articles associated with the corresponding software repository. Third, for software contained in published packages, we create and analyze the Abstract Syntax Tree (AST) representation to extract information about the procedures performed on data. Fourth, we search the extracted information in the full text of related articles to constrain the extracted information to scholarly knowledge, i.e. information published in the scholarly literature. Finally, we publish the extracted machine actionable scholarly knowledge in the Open Research Knowledge Graph (ORKG).


title: Zero-Shot Learning for Joint Intent and Slot Labeling

abstract: It is expensive and difficult to obtain the large number of sentence-level intent and token-level slot label annotations required to train neural network (NN)-based Natural Language Understanding (NLU) components of task-oriented dialog systems, especially for the many real world tasks that have a large and growing number of intents and slot types. While zero shot learning approaches that require no labeled examples -- only features and auxiliary information -- have been proposed only for slot labeling, we show that one can profitably perform joint zero-shot intent classification and slot labeling. We demonstrate the value of capturing dependencies between intents and slots, and between different slots in an utterance in the zero shot setting. We describe NN architectures that translate between word and sentence embedding spaces, and demonstrate that these modifications are required to enable zero shot learning for this task. We show a substantial improvement over strong baselines and explain the intuition behind each architectural modification through visualizations and ablation studies.


title: The Effects of Character-Level Data Augmentation on Style-Based Dating of Historical Manuscripts

abstract: Identifying the production dates of historical manuscripts is one of the main goals for paleographers when studying ancient documents. Automatized methods can provide paleographers with objective tools to estimate dates more accurately. Previously, statistical features have been used to date digitized historical manuscripts based on the hypothesis that handwriting styles change over periods. However, the sparse availability of such documents poses a challenge in obtaining robust systems. Hence, the research of this article explores the influence of data augmentation on the dating of historical manuscripts. Linear Support Vector Machines were trained with k-fold cross-validation on textural and grapheme-based features extracted from historical manuscripts of different collections, including the Medieval Paleographical Scale, early Aramaic manuscripts, and the Dead Sea Scrolls. Results show that training models with augmented data improve the performance of historical manuscripts dating by 1% - 3% in cumulative scores. Additionally, this indicates further enhancement possibilities by considering models specific to the features and the documents' scripts.


title: Quantitative 3D mapping of chemical defects at charged grain boundaries in a ferroelectric oxide

abstract: Polar discontinuities and structural changes at oxide interfaces can give rise to a large variety of electronic and ionic phenomena. Related effects have been intensively studied in epitaxial systems, including ferroelectric domain walls and interfaces in superlattices. Here, we investigate the relation between polar discontinuities and the local chemistry at grain boundaries in polycrystalline ferroelectric ErMnO3. Using orientation mapping and different scanning probe microscopy techniques, we demonstrate that the polycrystalline material develops charged grain boundaries with enhanced electronic conductance. By performing atom probe tomography measurements, we find an enrichment of erbium and a depletion of oxygen at all grain boundaries. The observed compositional changes translate into a charge that exceeds possible polarization-driven effects, demonstrating that structural phenomena rather than electrostatics determine the local chemical composition and related changes in the electronic transport behavior. The study shows that the charged grain boundaries behave distinctly different from charged domain walls, giving additional opportunities for property engineering at polar oxide interfaces.


title: ${\cal N}=2\,$ Supergravities in Harmonic Superspace

abstract: Basics of ${\cal N}=2, 4D$ conformal and Einstein supergravities in the harmonic superspace approach are outlined. The crucial merit of this formulation consists in that the relevant off-shell supermultiplets, in particular ${\cal N}=2, 4D$ superconformal Weyl multiplet, are accommodated by the harmonic-analytic unconstrained prepotentials with a clear geometric meaning, like in the analogous formulation of ${\cal N}=2, 4D$ supersymmetric gauge theory. The fundamental gauge group of conformal supergravity is constituted by the analyticity-preserving diffeomorphisms of harmonic superspace. The superfield actions of various off-shell versions of ${\cal N}=2$ Einstein supergravity are obtained as the actions of the appropriate harmonic analytic compensators in the background of conformal ${\cal N}=2$ supergravity. The version admitting the most general couplings to quaternion-K\"ahler matter is the ``principal'' version with the unconstrained harmonic analytic hypermultiplet superfield as a compensator. It involves an infinite number of auxiliary fields.


title: Encouraging student creativity in mathematics through 3D design and 3D printing

abstract: This is a case study of teaching 3D design and 3D printing in a project-based computing course for undergraduate math majors. This article discusses content organization, implementation, project grading, and includes a personal reflection. There is an emphasis on lessons learned and how to encourage student creativity and artistic expression. An appendix details 3D design techniques in Mathematica.


title: On Disturbance Propagation in Vehicular Platoons with Different Communication Ranges

abstract: In the control of vehicular platoons, the disturbances acting on one vehicle can propagate and affect other vehicles. If the disturbances do not amplify along the vehicular string, then it is called string stable. However, it is usually difficult to achieve string stability with a distributed control setting, especially when a constant spacing policy is considered. This note considers the string unstable cases and studies disturbance propagation in a nonlinear vehicular platoon consisting of $n+1$ vehicles where the (virtual) leading vehicle provides the reference for a constant spacing policy. Apart from the communications between consecutive vehicles, we also assume that each vehicle can receive information from $r$ neighbors ahead, that is, the vehicular platoon has communication range $r$. For the maximal overshoot of the inter-vehicular spacing errors, we explicitly show that the effect of disturbances, including the external disturbances acting on each vehicle and the acceleration of the leading vehicle, is scaled by $O(\sqrt{ \left \lceil \frac{n}{r} \right \rceil})$ for a fixed $n$. This implies that disturbance propagation can be reduced by increasing communication range. Numerical simulation is provided to illustrate the main results.


title: Accelerated coupled cluster calculations with Procrustes orbital interpolation

abstract: The coupled cluster method is considered a gold standard in quantum chemistry, reliably giving energies that are exact within chemical accuracy (1.6 mHartree). However, even in the CCSD approximation, where the cluster operator is truncated to include only single and double excitations, the method scales as $O(N^6)$ in the number of electrons, and the cluster operator needs to be solved for iteratively, increasing computation time. Inspired by eigenvector continuation, we present here an algorithm making use of Gaussian processes that provides an improved initial guess for the coupled cluster amplitudes. The cluster operator is written as a linear combination of sample cluster operators which are obtained at particular sample geometries. By reusing the cluster operators from previous calculations in that way, it is possible to obtain a start guess for the amplitudes that surpasses both MP2-guesses and "previous geometry"-guesses in terms of the number of necessary iterations. As this improved guess is very close to the exact cluster operator, it can be used directly to calculate the CCSD energy to chemical accuracy, giving approximate CCSD energies scaling as $O(N^5)$.


title: The scaling of primordial gauge fields

abstract: The large-scale magnetic fields arising from the quantum mechanical fluctuations of the hypercharge are investigated when the evolution of the gauge coupling is combined with a sufficiently long inflationary stage. In this framework the travelling waves associated with the quantum mechanical initial conditions turn asymptotically into standing waves which are the gauge analog of the Sakharov oscillations. Even if the rate of dilution of the hypermagnetic and hyperelectric fields seems to be superficially smaller than expected from the covariant conservation of the energy-momentum tensor, the standard evolution for wavelengths larger than the Hubble radius fully accounts for this anomalous scaling which is anyway unable to increase the amplitude of the magnetic power spectra after symmetry breaking. An effective amplification of the gauge power spectra may instead occur when the post-inflationary expansion rate is slower than radiation. We stress that the modulations of the gauge power spectra freeze as soon as the relevant wavelengths reenter the Hubble radius and not at the end of inflation. After the Mpc scale crosses the comoving Hubble radius the scaling of the magnetic power spectrum follows from the dominance of the conductivity. From these two observations the late-time values of the magnetic power spectra are accurately computed in the case of a nearly scale-invariant slope and contrasted with the situation where the phases of Sakharov oscillations are not evaluated at horizon crossing but at the end of inflation, i.e. when all the wavelengths relevant for magnetogenesis are still larger than the comoving horizon.


title: Singular contact varieties

abstract: In this note we propose the generalization of the notion of a holomorphic contact structure on a manifold (smooth variety) to varieties with rational singularities and prove basic properties of such objects. Natural examples of singular contact varieties come from the theory of nilpotent orbits: every projectivization of the closure of a nilpotent orbit in a semisimple Lie algebra satisfies our definition after normalization. We show the correspondence between symplectic varieties with the structure of a $\mathbb{C}^*$-bundle and the contact ones along with the existence of the stratification \`a la Kaledin. In the projective case we demonstrate the equivalence between crepant and contact resolutions of singularities, show the uniruledness and give a full classification of projective contact varieties in dimension 3.


title: Using Natural Language Processing to Predict Costume Core Vocabulary of Historical Artifacts

abstract: Historic dress artifacts are a valuable source for human studies. In particular, they can provide important insights into the social aspects of their corresponding era. These insights are commonly drawn from garment pictures as well as the accompanying descriptions and are usually stored in a standardized and controlled vocabulary that accurately describes garments and costume items, called the Costume Core Vocabulary. Building an accurate Costume Core from garment descriptions can be challenging because the historic garment items are often donated, and the accompanying descriptions can be based on untrained individuals and use a language common to the period of the items. In this paper, we present an approach to use Natural Language Processing (NLP) to map the free-form text descriptions of the historic items to that of the controlled vocabulary provided by the Costume Core. Despite the limited dataset, we were able to train an NLP model based on the Universal Sentence Encoder to perform this mapping with more than 90% test accuracy for a subset of the Costume Core vocabulary. We describe our methodology, design choices, and development of our approach, and show the feasibility of predicting the Costume Core for unseen descriptions. With more garment descriptions still being curated to be used for training, we expect to have higher accuracy for better generalizability.


title: Quantum Reinforcement Learning for Solving a Stochastic Frozen Lake Environment and the Impact of Quantum Architecture Choices

abstract: Quantum reinforcement learning (QRL) models augment classical reinforcement learning schemes with quantum-enhanced kernels. Different proposals on how to construct such models empirically show a promising performance. In particular, these models might offer a reduced parameter count and shorter times to reach a solution than classical models. It is however presently unclear how these quantum-enhanced kernels as subroutines within a reinforcement learning pipeline need to be constructed to indeed result in an improved performance in comparison to classical models. In this work we exactly address this question. First, we propose a hybrid quantum-classical reinforcement learning model that solves a slippery stochastic frozen lake, an environment considerably more difficult than the deterministic frozen lake. Secondly, different quantum architectures are studied as options for this hybrid quantum-classical reinforcement learning model, all of them well-motivated by the literature. They all show very promising performances with respect to similar classical variants. We further characterize these choices by metrics that are relevant to benchmark the power of quantum circuits, such as the entanglement capability, the expressibility, and the information density of the circuits. However, we find that these typical metrics do not directly predict the performance of a QRL model.


title: Bridging POMDPs and Bayesian decision making for robust maintenance planning under model uncertainty: An application to railway systems

abstract: Structural Health Monitoring (SHM) describes a process for inferring quantifiable metrics of structural condition, which can serve as input to support decisions on the operation and maintenance of infrastructure assets. Given the long lifespan of critical structures, this problem can be cast as a sequential decision making problem over prescribed horizons. Partially Observable Markov Decision Processes (POMDPs) offer a formal framework to solve the underlying optimal planning task. However, two issues can undermine the POMDP solutions. Firstly, the need for a model that can adequately describe the evolution of the structural condition under deterioration or corrective actions and, secondly, the non-trivial task of recovery of the observation process parameters from available monitoring data. Despite these potential challenges, the adopted POMDP models do not typically account for uncertainty on model parameters, leading to solutions which can be unrealistically confident. In this work, we address both key issues. We present a framework to estimate POMDP transition and observation model parameters directly from available data, via Markov Chain Monte Carlo (MCMC) sampling of a Hidden Markov Model (HMM) conditioned on actions. The MCMC inference estimates distributions of the involved model parameters. We then form and solve the POMDP problem by exploiting the inferred distributions, to derive solutions that are robust to model uncertainty. We successfully apply our approach on maintenance planning for railway track assets on the basis of a "fractal value" indicator, which is computed from actual railway monitoring data.


title: Extending Universal Approximation Guarantees: A Theoretical Justification for the Continuity of Real-World Learning Tasks

abstract: Universal Approximation Theorems establish the density of various classes of neural network function approximators in $C(K, \mathbb{R}^m)$, where $K \subset \mathbb{R}^n$ is compact. In this paper, we aim to extend these guarantees by establishing conditions on learning tasks that guarantee their continuity. We consider learning tasks given by conditional expectations $x \mapsto \mathrm{E}\left[Y \mid X = x\right]$, where the learning target $Y = f \circ L$ is a potentially pathological transformation of some underlying data-generating process $L$. Under a factorization $L = T \circ W$ for the data-generating process where $T$ is thought of as a deterministic map acting on some random input $W$, we establish conditions (that might be easily verified using knowledge of $T$ alone) that guarantee the continuity of practically \textit{any} derived learning task $x \mapsto \mathrm{E}\left[f \circ L \mid X = x\right]$. We motivate the realism of our conditions using the example of randomized stable matching, thus providing a theoretical justification for the continuity of real-world learning tasks.


title: Strong-AI Autoepistemic Robots Build on Intensional First Order Logic

abstract: Neuro-symbolic AI attempts to integrate neural and symbolic architectures in a manner that addresses strengths and weaknesses of each, in a complementary fashion, in order to support robust strong AI capable of reasoning, learning, and cognitive modeling. In this paper we consider the intensional First Order Logic (IFOL) as a symbolic architecture of modern robots, able to use natural languages to communicate with humans and to reason about their own knowledge with self-reference and abstraction language property. We intend to obtain the grounding of robot's language by experience of how it uses its neuronal architectures and hence by associating this experience with the mining (sense) of non-defined language concepts (particulars/individuals and universals) in PRP (Properties/Relations/Propositions) theory of IFOL.\\ We consider the robot's four-levels knowledge structure: The syntax level of particular natural language (Italian, French, etc..), two universal language levels: its semantic logic structure (based on virtual predicates of FOL and logic connectives), and its corresponding conceptual PRP structure level which universally represents the composite mining of FOL formulae grounded on the last robot's neuro-system level. Finally, we provide the general method how to implement in IFOL (by using the abstracted terms) different kinds of modal logic operators and their deductive axioms: we present a particular example of robots autoepistemic deduction capabilities by introduction of the special temporal $Konow$ predicate and deductive axioms for it: reflexive, positive introspection and distributive axiom.


title: A Study on the Intersection of GPU Utilization and CNN Inference

abstract: There has been significant progress in developing neural network architectures that both achieve high predictive performance and that also achieve high application-level inference throughput (e.g., frames per second). Another metric of increasing importance is GPU utilization during inference: the measurement of how well a deployed neural network uses the computational capabilities of the GPU on which it runs. Achieving high GPU utilization is critical to increasing application-level throughput and ensuring a good return on investment for deploying GPUs. This paper analyzes the GPU utilization of convolutional neural network (CNN) inference. We first survey the GPU utilization of CNNs to show that there is room to improve the GPU utilization of many of these CNNs. We then investigate the GPU utilization of networks within a neural architecture search (NAS) search space, and explore how using GPU utilization as a metric could potentially be used to accelerate NAS itself. Our study makes the case that there is room to improve the inference-time GPU utilization of CNNs and that knowledge of GPU utilization has the potential to benefit even applications that do not target utilization itself. We hope that the results of this study will spur future innovation in designing GPU-efficient neural networks.


title: Visually-augmented pretrained language models for NLP tasks without images

abstract: Although pre-trained language models~(PLMs) have shown impressive performance by text-only self-supervised training, they are found lack of visual semantics or commonsense. Existing solutions often rely on explicit images for visual knowledge augmentation (requiring time-consuming retrieval or generation), and they also conduct the augmentation for the whole input text, without considering whether it is actually needed in specific inputs or tasks. To address these issues, we propose a novel \textbf{V}isually-\textbf{A}ugmented fine-tuning approach that can be generally applied to various PLMs or NLP tasks, \textbf{W}ithout using any retrieved or generated \textbf{I}mages, namely \textbf{VAWI}. Experimental results show that our approach can consistently improve the performance of BERT, RoBERTa, BART, and T5 at different scales, and outperform several competitive baselines on ten tasks. Our codes and data are publicly available at~\url{https://github.com/RUCAIBox/VAWI}.


title: Modeling Results and Baseline Design for an RF-SoC-Based Readout System for Microwave Kinetic Inductance Detectors

abstract: Building upon existing signal processing techniques and open-source software, this paper presents a baseline design for an RF System-on-Chip Frequency Division Multiplexed readout for a spatio-spectral focal plane instrument based on low temperature detectors. A trade-off analysis of different FPGA carrier boards is presented in an attempt to find an optimum next-generation solution for reading out larger arrays of Microwave Kinetic Inductance Detectors (MKIDs). The ZCU111 RF SoC FPGA board from Xilinx was selected, and it is shown how this integrated system promises to increase the number of pixels that can be read out (per board) which enables a reduction in the readout cost per pixel, the mass and volume, and power consumption, all of which are important in making MKID instruments more feasible for both ground-based and space-based astrophysics. The on-chip logic capacity is shown to form a primary constraint on the number of MKIDs which can be read, channelised, and processed with this new system. As such, novel signal processing techniques are analysed, including Digitally Down Converted (DDC)-corrected sub-maximally decimated sampling, in an effort to reduce logic requirements without compromising signal to noise ratio. It is also shown how combining the ZCU111 board with a secondary FPGA board will allow all 8 ADCs and 8 DACs to be utilised, providing enough bandwidth to read up to 8,000 MKIDs per board-set, an eight-fold improvement over the state-of-the-art, and important in pursuing 100,000 pixel arrays. Finally, the feasibility of extending the operational frequency range of MKIDs to the 5 - 10 GHz regime (or possibly beyond) is investigated, and some benefits and consequences of doing so are presented.


title: RWEN-TTS: Relation-aware Word Encoding Network for Natural Text-to-Speech Synthesis

abstract: With the advent of deep learning, a huge number of text-to-speech (TTS) models which produce human-like speech have emerged. Recently, by introducing syntactic and semantic information w.r.t the input text, various approaches have been proposed to enrich the naturalness and expressiveness of TTS models. Although these strategies showed impressive results, they still have some limitations in utilizing language information. First, most approaches only use graph networks to utilize syntactic and semantic information without considering linguistic features. Second, most previous works do not explicitly consider adjacent words when encoding syntactic and semantic information, even though it is obvious that adjacent words are usually meaningful when encoding the current word. To address these issues, we propose Relation-aware Word Encoding Network (RWEN), which effectively allows syntactic and semantic information based on two modules (i.e., Semantic-level Relation Encoding and Adjacent Word Relation Encoding). Experimental results show substantial improvements compared to previous works.


title: A Stress-Strength Reliability Model using Exponential-Gamma(3,$\lambda$) Distribution

abstract: One of the important problem in reliability analysis is computation of stress-strength reliability. But it is impractical to compute it in certain situations. So the estimation stay as an alternative solution to get an approximate value of the reliability. There are research papers which deals with stress-strength reliability analysis using statistical distributions. In this paper, a stress-strength reliability model for exponential-gamma$(3,\lambda)$ distribution is introduced. The maximum likelihood estimator (MLE) for the model parameters is derived. Asymptotic distribution and confidence interval for the maximum likelihood estimates of stress-strength reliability, $R=P(X>Y)$, are given. The numerical illustration is performed using Monte Carlo simulations. The results are analyzed with real data analysis.


title: Brief on tool path generation/optimization methods for multi-axis CNC machining

abstract: The quality of tool paths is a dominant factor in CNC machining, determining its efficiency and accuracy. This paper provides a brief review (in Chinese) on tool path planning methods reported in the literature, focusing on their categorization, motivating problems/issues, and historical development. Some promising research trends have also been stressed, especially for the paradigm shift from tool path generation towards tool path optimization.


title: Multi-Agent Dynamic Pricing in a Blockchain Protocol Using Gaussian Bandits

abstract: The Graph Protocol indexes historical blockchain transaction data and makes it available for querying. As the protocol is decentralized, there are many independent Indexers that index and compete with each other for serving queries to the Consumers. One dimension along which Indexers compete is pricing. In this paper, we propose a bandit-based algorithm for maximization of Indexers' revenue via Consumer budget discovery. We present the design and the considerations we had to make for a dynamic pricing algorithm being used by multiple agents simultaneously. We discuss the results achieved by our dynamic pricing bandits both in simulation and deployed into production on one of the Indexers operating on Ethereum. We have open-sourced both the simulation framework and tools we created, which other Indexers have since started to adapt into their own workflows.


title: Wormhole solutions in $f(Q,T)$ gravity with a radial dependent B parameter

abstract: A possible astrophysical object to be found in General Relativity is the wormhole. This special solution describes a topological bridge connecting points in two distinguished universes or two different points in the same universe. Despite it was never observed so far, is desired to find traversable wormholes, i.e. wormholes which have a throat at which there is no horizon. However, the traversable wormhole constraints yield solutions that violate all the energy conditions in General Relativity. In the last few years, several models to describe gravity beyond $\Lambda$CDM have been proposed. Then, it is relevant to look for wormhole solutions for these new theories. In this study, we are going to unveil new wormhole solutions for the so-called $f(Q,T)$ gravity. This theory of gravity is based on the non-metricity scalar $Q$, which is responsible for the gravitational interaction together with the energy-momentum trace $T$. We use the embedding procedure to find both the energy and the equilibrium conditions for the existence of wormholes. Then, the nontrivial contributions coming from $f(Q,T)$ gravity are embedded into the effective equations for density and pressures. We also considered the presence of exotic strange matter in the wormhole throat. Such a matter obeys the notorious MIT bag Model. We are going to present new scenarios confirming the viability of traversable wormholes in $f(Q,T)$ gravity with the strange matter, satisfying SEC and WEC energy conditions.


title: Variable Clustering via Distributionally Robust Nodewise Regression

abstract: We study a multi-factor block model for variable clustering and connect it to the regularized subspace clustering by formulating a distributionally robust version of the nodewise regression. To solve the latter problem, we derive a convex relaxation, provide guidance on selecting the size of the robust region, and hence the regularization weighting parameter, based on the data, and propose an ADMM algorithm for implementation. We validate our method in an extensive simulation study. Finally, we propose and apply a variant of our method to stock return data, obtain interpretable clusters that facilitate portfolio selection and compare its out-of-sample performance with other clustering methods in an empirical study.

categories: cs.LG math.OC q-fin.CP q-fin.PM q-fin.ST


title: Queues on interacting networks

abstract: Interacting networks are different in nature to single networks. The study of queuing processes on interacting networks is underdeveloped. It presents new mathematical challenges and is of importance to applications. This area of operations research deserves careful study: queuing theory needs to incorporate high-order network interactions in the performance analysis of a queuing system.


title: Active Inference and Reinforcement Learning: A unified inference on continuous state and action spaces under partial observability

abstract: Reinforcement learning (RL) has garnered significant attention for developing decision-making agents that aim to maximize rewards, specified by an external supervisor, within fully observable environments. However, many real-world problems involve partial observations, formulated as partially observable Markov decision processes (POMDPs). Previous studies have tackled RL in POMDPs by either incorporating the memory of past actions and observations or by inferring the true state of the environment from observed data. However, aggregating observed data over time becomes impractical in continuous spaces. Moreover, inference-based RL approaches often require many samples to perform well, as they focus solely on reward maximization and neglect uncertainty in the inferred state. Active inference (AIF) is a framework formulated in POMDPs and directs agents to select actions by minimizing a function called expected free energy (EFE). This supplies reward-maximizing (exploitative) behaviour, as in RL, with information-seeking (exploratory) behaviour. Despite this exploratory behaviour of AIF, its usage is limited to discrete spaces due to the computational challenges associated with EFE. In this paper, we propose a unified principle that establishes a theoretical connection between AIF and RL, enabling seamless integration of these two approaches and overcoming their aforementioned limitations in continuous space POMDP settings. We substantiate our findings with theoretical analysis, providing novel perspectives for utilizing AIF in the design of artificial agents. Experimental results demonstrate the superior learning capabilities of our method in solving continuous space partially observable tasks. Notably, our approach harnesses information-seeking exploration, enabling it to effectively solve reward-free problems and rendering explicit task reward design by an external supervisor optional.


title: Wald-Zoupas prescription with (soft) anomalies

abstract: We show that the Wald-Zoupas prescription for gravitational charges is valid in the presence of anomalies and field-dependent diffeomorphism, but only if these are related to one another in a specific way. The geometric interpretation of the allowed anomalies is exposed looking at the example of BMS symmetries: They correspond to soft terms in the charges. We determine if the Wald-Zoupas prescription coincides with an improved Noether charge. The necessary condition is a certain differential equation, and when it is satisfied, the boundary Lagrangian of the resulting improved Noether charge contains in general a non-trivial corner term that can be identified a priori from a condition of anomaly-freeness. Our results explain why the Wald-Zoupas prescription works in spite of the anomalous behaviour of BMS transformations, and should be helpful to relate different branches of the literature on surface charges.


title: Direct computation of period polynomials and classification of K3-fibred Calabi--Yau threefolds

abstract: One can assign to four-dimensional N=2 supersymmetric Heterotic string vacua a set of classification invariants including a lattice $\Lambda_S$ and vector-valued modular forms. Some of the classification invariants are constrained by the condition that the Coulomb branch monodromy matrices should be integer-valued. We computed numerically the period polynomials of meromorphic cusp forms for some rank-1 $\Lambda_S$; we then computed the monodromy matrices and extracted general patterns of the constraints on the invariants. The constraints we got imply that a large fraction of the Heterotic string vacua we studied satisfy the necessary conditions for a non-linear sigma model interpretation in the dual Type IIA description. Our computation can also be used to identify diffeomorphism classes of real six-dimensional manifolds that cannot be realized by K3-fibred Calabi--Yau threefolds.


title: Quantum Electrodynamics of Dicke States: Resonant One-Photon Exchange and Entangled Decay Rate

abstract: We calculate the one-photon exchange contribution to the interatomic interaction potential between electrically neutral, identical atoms, one of which is assumed to be in an excited state, by matching the scattering matrix (S matrix) element with the effective Hamiltonian. This approach allows us to use covariant perturbation theory, where the two possible time orderings of emission and absorption are summarized in a single Feynman amplitude. Our results encompass the full retardation correction to the one-photon exchange van-der-Waals potential. We employ the temporal gauge for the virtual photon propagator. Based on the Feynman prescription, we obtain the imaginary part of the interaction energy, which leads to an interaction-induced correction to the decay rate. Our results lead to precise formulas for the distance-dependent enhancement and suppression of the decay rates of entangled superradiant and subradiant Dicke state, as a function of the interatomic distance. We apply the result to an example calculation involving two hydrogen atoms, one of which is in the ground state, the other in an excited P state.


title: Integrated Sensing and Communication System via Dual-Domain Waveform Superposition

abstract: Integrated Sensing and Communication (ISAC) systems are recognised as one of the key ingredients of the sixth generation (6G) network. A challenging topic in ISAC is the design of a single waveform combining both communication and sensing functionalities on the same time-frequency-space resources, allowing to tune the performance of both with partial or full hardware sharing. This paper proposes a dual-domain waveform design approach that superposes onto the frequency-time (FT) domain both the legacy orthogonal frequency division multiplexing (OFDM) signal and a sensing one, purposely designed in the delay-Doppler domain. With a proper power downscaling of the sensing signal w.r.t. OFDM, it is possible to exceed regulatory bandwidth limitations proper of legacy multicarrier systems to increase the sensing performance while leaving communication substantially unaffected. Numerical and experimental results prove the effectiveness of the dual-domain waveform, notwithstanding a power abatement of at least 30 dB of the signal used for sensing compared to the one used for communication. The dual-domain ISAC waveform outperforms both OFDM and orthogonal time-frequency-space (OTFS) in terms of Cram\'{e}r-Rao bound on delay estimation (up to 20 dB), thanks to its superior resolution, with a negligible penalty on the achievable rate.


title: A Data Source Dependency Analysis Framework for Large Scale Data Science Projects

abstract: Dependency hell is a well-known pain point in the development of large software projects and machine learning (ML) code bases are not immune from it. In fact, ML applications suffer from an additional form, namely, "data source dependency hell". This term refers to the central role played by data and its unique quirks that often lead to unexpected failures of ML models which cannot be explained by code changes. In this paper, we present an automated dependency mapping framework that allows MLOps engineers to monitor the whole dependency map of their models in a fast paced engineering environment and thus mitigate ahead of time the consequences of any data source changes (e.g., re-train model, ignore data, set default data etc.). Our system is based on a unified and generic approach, employing techniques from static analysis, from which data sources can be identified reliably for any type of dependency on a wide range of source languages and artefacts. The dependency mapping framework is exposed as a REST web API where the only input is the path to the Git repository hosting the code base. Currently used by MLOps engineers at Microsoft, we expect such dependency map APIs to be adopted more widely by MLOps engineers in the future.


title: Stokes drift and impurity transport in a quantum fluid

abstract: Stokes drift is a classical fluid effect in which travelling waves transfer momentum to tracers of the fluid, resulting in a non-zero drift velocity in the direction of the incoming wave. This effect is the driving mechanism allowing particles, i.e. impurities, to be transported by the flow; in a classical (viscous) fluid this happens usually due to the presence of viscous drag forces. Because of the eventual absence of viscosity in quantum fluids, impurities are driven by inertial effects and pressure gradients only. We present theoretical predictions of a Stokes drift analogous in quantum fluids for classical impurities obtained using multi-time analytical asymptotic expansions. We find that, at the leading order, the drift direction and amplitude depend on the initial impurity position with respect to the wave phase; at the second order, dominant after averaging over initial conditions, our theoretical model recovers the classical Stokes drift but with a coefficient that depends on the relative particle-fluid density ratio. Numerical simulations of a two-dimensional Gross-Piteaveskii equation coupled with a classical impurity corroborate our findings. Our predictions are experimentally testable, for instance, using fluids of light obtained in photorefractive crystals.


title: A Nanocryotron Memory and Logic Family

abstract: The development of superconducting electronics based on nanocryotrons has been limited so far to few-device circuits, in part due to the lack of standard and robust logic cells. Here, we introduce and experimentally demonstrate designs for a set of nanocryotron-based building blocks that can be configured and combined to implement memory and logic functions. The devices were fabricated by patterning a single superconducting layer of niobium nitride and measured in liquid helium on a wide range of operating points. The tests show $10^{-4}$ bit error rates with above $20\,\%$ margins up to $50\,$MHz and the possibility of operating under the effect of a perpendicular $36\,$mT magnetic field, with $30\,\%$ margins at $10\,$MHz. Additionally, we designed and measured an equivalent delay flip-flop made of two memory cells to show the possibility of combining multiple building blocks to make larger circuits. These blocks may constitute a solid foundation for the development of nanocryotron logic circuits and finite-state machines with potential applications in the integrated processing and control of superconducting nanowire single-photon detectors.


title: Phase transitions and light scalars in bottom-up holography

abstract: Within the bottom-up approach to holography, we construct a class of six-dimensional gravity models, and discuss solutions that can be interpreted, asymptotically in the far UV, in terms of dual five-dimensional conformal field theories deformed by a single scalar operator. We treat the scaling dimension of such operator, related to the mass of the one scalar field in the gravity theory, as a free parameter. One dimension in the regular geometry is compactified on a shrinking circle, hence mimicking confinement in the resulting dual four-dimensional theories. We study the mass spectrum of bosonic states. The lightest state in this spectrum is a scalar particle. Along the regular (confining) branch of solutions, we find the presence of a tachyonic instability in part of the parameter space, reached by a smooth deformation of the mass spectrum, as a function of the boundary value of the background scalar field in the gravity theory. In a region of parameter space nearby the tachyonic one, the lightest scalar particle can be interpreted as an approximate dilaton, sourced by the trace of the stress-energy tensor, and its mass is parametrically suppressed. We also compute the free energy, along several branches of gravity solutions. We find that both the dilatonic and tachyonic regions of parameter space, identified along the branch of confining solutions, are hidden behind a first-order phase transition, so that they are not realised as stable solutions, irrespectively of the scaling dimension of the deforming field-theory operator. The (approximate) dilaton, in particular, appears in metastable solutions. Yet, the mass of the lightest state, computed close to the phase transition, is (mildly) suppressed. This feature is amplified when the (free) parameter controlling the scaling dimension of the deformation is 5/2, half the dimension of space-time in the field theory.


title: Ground state solution of a Kirchhoff type equation with singular potentials

abstract: We study the existence and blow-up behavior of minimizers for $E(b)=\inf\Big\{\mathcal{E}_b(u) \,|\, u\in H^1(R^2), \|u\|_{L^2}=1\Big\},$ here $\mathcal{E}_b(u)$ is the Kirchhoff energy functional defined by $\mathcal{E}_b(u)= \int_{R^2} |\nabla u|^2 dx+ b(\int_{R^2} |\nabla u|^2d x)^2+\int_{R^2} V(x) |u(x)|^2 dx - \frac{a}{2} \int_{R^2} |u|^4 dx,$ where $a>0$ and $b>0$ are constants. When $V(x)= -|x|^{-p}$ with $0<p<2$, we prove that the problem has (at least) a minimizer that is non-negative and radially symmetric decreasing. For $a\ge a^*$ (where $a^*$ is the optimal constant in the Gagliardo-Nirenberg inequality), we get the behavior of $E(b)$ when $b\to 0^+$. Moreover, for the case $a=a^*$, we analyze the details of the behavior of the minimizers $u_b$ when $b\to 0^+$.


title: High precision computation and a new asymptotic formula for the generalized Stieltjes constants

abstract: We provide an efficient method to evaluate the generalized Stieltjes constants $\gamma_n(a)$ numerically to arbitrary accuracy for large $n$ and $n \gg |a|$ values. The method uses an integral representation for the constants and evaluates the integral by applying the double exponential (DE) quadrature method near the saddle points of the integrands. Further, we provide a highly accurate asymptotic formula for the generalized Stieltjes constants.


title: Accelerating Quantum Computations of Chemistry Through Regularized Compressed Double Factorization

abstract: We propose the regularized compressed double factorization (RC-DF) method to classically compute compressed representations of molecular Hamiltonians that enable efficient simulation with noisy intermediate scale (NISQ) and error corrected quantum algorithms. We find that already for small systems with 12 to 20 qubits, the resulting NISQ measurement scheme reduces the number of measurement bases by roughly a factor of three and the shot count to reach chemical accuracy by a factor of three to six compared to truncated double factorization (DF) and we see order of magnitude improvements over Pauli grouping schemes. We demonstrate the scalability of our approach by performing RC-DF on the CpdI species of cytochrome P450 with 58 orbitals and find that using the resulting compressed Hamiltonian cuts the run time of qubitization and truncated DF based error corrected algorithms almost in half and even outperforms the lambda parameters achievable with tensor hypercontraction (THC) while at the same time reducing the CCSD(T) energy error heuristic by an order of magnitude.


title: Non-trivial band topology and orbital-selective electronic nematicity in a new titanium-based kagome superconductor

abstract: Electronic nematicity that spontaneously breaks rotational symmetry has been shown as a generic phenomenon in correlated quantum systems including high-temperature superconductors and the AV3Sb5 (A = K, Rb, Cs) family with a kagome network. Identifying the driving force has been a central challenge for understanding nematicity. In iron-based superconductors, the problem is complicated because the spin, orbital and lattice degrees of freedom are intimately coupled. In vanadium-based kagome superconductors AV3Sb5, the electronic nematicity exhibits an intriguing entanglement with the charge density wave order (CDW), making understanding its origin difficult. Recently, a new family of titanium-based kagome superconductors ATi3Bi5 has been synthesized. In sharp contrast to its vanadium-based counterpart, the electronic nematicity occurs in the absence of CDW. ATi3Bi5 provides a new window to explore the mechanism of electronic nematicity and its interplay with the orbital degree of freedom. Here, we combine polarization-dependent angle-resolved photoemission spectroscopy with density functional theory to directly reveal the band topology and orbital characters of the multi-orbital RbTi3Bi5. The promising coexistence of flat bands, type-II Dirac nodal line and nontrivial Z2 topological states is identified in RbTi3Bi5. Remarkably, our study clearly unveils the orbital character change along the G-M and G-K directions, implying a strong intrinsic inter-orbital coupling in the Ti-based kagome metals, reminiscent of iron-based superconductors. Furthermore, doping-dependent measurements directly uncover the orbital-selective features in the kagome bands, which can be well explained by the d-p hybridization. The suggested d-p hybridization, in collaboration with the inter-orbital coupling, could account for the electronic nematicity in ATi3Bi5.


title: Scalable Bayesian Uncertainty Quantification for Neural Network Potentials: Promise and Pitfalls

abstract: Neural network (NN) potentials promise highly accurate molecular dynamics (MD) simulations within the computational complexity of classical MD force fields. However, when applied outside their training domain, NN potential predictions can be inaccurate, increasing the need for Uncertainty Quantification (UQ). Bayesian modeling provides the mathematical framework for UQ, but classical Bayesian methods based on Markov chain Monte Carlo (MCMC) are computationally intractable for NN potentials. By training graph NN potentials for coarse-grained systems of liquid water and alanine dipeptide, we demonstrate here that scalable Bayesian UQ via stochastic gradient MCMC (SG-MCMC) yields reliable uncertainty estimates for MD observables. We show that cold posteriors can reduce the required training data size and that for reliable UQ, multiple Markov chains are needed. Additionally, we find that SG-MCMC and the Deep Ensemble method achieve comparable results, despite shorter training and less hyperparameter tuning of the latter. We show that both methods can capture aleatoric and epistemic uncertainty reliably, but not systematic uncertainty, which needs to be minimized by adequate modeling to obtain accurate credible intervals for MD observables. Our results represent a step towards accurate UQ that is of vital importance for trustworthy NN potential-based MD simulations required for decision-making in practice.


abstract: We propose the term and concept XV (eXtended meta/omni/uni/Verse) as an alternative to, and generalization of, the shared/social virtual reality widely known as ``metaverse''. XV is shared/social XR. We, and many others, use XR (eXtended Reality) as a broad umbrella term and concept to encompass all the other realities, where X is an ``anything'' variable, like in mathematics, to denote any reality, X $\in$ \{physical, virtual, augmented, \ldots \} reality. Therefore XV inherits this generality from XR. We begin with a very simple organized taxonomy of all these realities in terms of two simple building blocks: (1) physical reality (PR) as made of ``atoms'', and (2) virtual reality (VR) as made of ``bits''. Next we introduce XV as combining all these realities with extended society as a three-dimensional space and taxonomy of (1) ``atoms'' (physical reality), (2) ``bits'' (virtuality), and (3) ``genes'' (sociality). Thus those working in the liminal space between Virtual Reality (VR), Augmented Reality (AR), metaverse, and their various extensions, can describe their work and research as existing in the new field of XV. XV includes the metaverse along with extensions of reality itself like shared seeing in the infrared, ultraviolet, and shared seeing of electromagnetic radio waves, sound waves, and electric currents in motors. For example, workers in a mechanical room can look at a pump and see a superimposed time-varying waveform of the actual rotating magnetic field inside its motor, in real time, while sharing this vision across multiple sites. Presented at IEEE Standards Association, Behind and Beyond the Metaverse: XV (eXtended meta/uni/Verse), Thurs. Dec. 8, 2022, 2:15-3:30pm, EST.


title: Topological Data Analysis Detects Percolation Thresholds in Arctic Melt-Pond Evolution

abstract: During the summer melt period, ponds form on the surface of Arctic sea ice as it melts, with important consequences for ice evolution and marine ecology. Due to the ice-albedo feedback, these melt ponds experience uneven heat absorption, and exhibit complex patterns, which has motivated the development of modelling and data analysis to understand their particular dynamics. We provide a multiscale shape analysis using tools from computational algebraic topology, simultaneously capturing convexity, proximity, integrity, and feature size complementing existing single-scale quantification. Of particular interest in modelling the ponds is a percolation threshold at which local pond structure begins merging into macroscopic features. This percolation threshold has previously been observed using fractal dimension techniques. The signed Euclidean distance transform (SEDT) is a topological encoding of heterogeneous shape in binary images, and has been previously applied to porous media for percolation as well as other material behaviours. Here we adapt the SEDT for Arctic melt pond data to give a rich characterization and computation of shape, quantifying overall melt pond development in several complementary ways, and from which classical percolation and dimension results can be extracted. This orientation-invariant topological approach distinguishes different dynamical network models of melt pond evolution of varying complexity.


title: The Globalization Theorem for CD(K,N) on locally finite Spaces

abstract: We establish the local-to-global property of the synthetic curvature-dimension condition for essentially non-branching locally finite metric-measure spaces, extending the work [F. Cavalletti, E. Milman \textit{Invent. Math.} 226 (2021), no. 1, 1-137].


title: X-ray phase-contrast micro tomography of soft tissues using a compact laboratory system with two-directional sensitivity

abstract: X-ray micro tomography is a non-destructive, three-dimensional inspection technique applied across a vast range of fields and disciplines, ranging from research to industrial, encompassing engineering, biology and medical research. Phase-contrast imaging extends the domain of application of X-ray micro tomography to classes of samples that exhibit weak attenuation, thus appear with poor contrast in standard X-ray imaging. Notable examples are low-atomic-number materials, like carbon-fibre composites, soft matter and biological soft tissues. We report on a compact and cost effective system for X-ray phase-contrast micro tomography. The system features high sensitivity to phase gradients and high resolution, requires a low-power sealed X-ray tube, a single optical element, and fits in a small footprint. It is compatible with standard X-ray detector technologies: single-photon-counting offers higher sensitivity whereas flat-panels are preferred for a larger field of view. The system is benchmarked against known-material phantoms and its potential for soft-tissue three-dimensional imaging is demonstrated on small-animal organs: a piglet oesophagus and a rat heart.


title: Helical Organic and Inorganic Polymers

abstract: Despite being a staple of synthetic plastics and biomolecules, helical polymers are scarcely studied with Gaussian-basis-set {\it ab initio} electron-correlated methods on an equal footing with molecules. This article introduces an {\it ab initio} second-order many-body Green's-function [MBGF(2)] method with nondiagonal, frequency-dependent Dyson self-energy for infinite helical polymers using screw-axis-symmetry-adapted Gaussian-spherical-harmonics basis functions. Together with the Gaussian-basis-set density-functional theory for energies, analytical atomic forces, translational-period force, and helical-angle force, it can compute correlated energy, quasiparticle energy bands, structures, and vibrational frequencies of an infinite helical polymer, which smoothly converge at the corresponding oligomer results. These methods can handle incommensurable structures, which have an infinite translational period and are hard to characterize by any other method, just as efficiently as commensurable structures. We apply these methods to polyethylene ($2/1$ helix), polyacetylene (Peierls' system), and polytetrafluoroethylene ($13/6$ helix) to establish the quantitative accuracy of MBGF(2)/cc-pVDZ in simulating their (angle-resolved) ultraviolet photoelectron spectra, and of B3LYP/cc-pVDZ or 6-31G** in reproducing their structures, infrared and Raman band positions, phonon dispersions, and (coherent and incoherent) inelastic neutron scattering spectra. We then predict the same properties for infinitely catenated chains of nitrogen or oxygen and discuss their possible metastable existence under ambient conditions. They include planar zigzag polyazene (N$_2$)$_x$ (Peierls' system), $11/3$-helical isotactic polyazane (NH)$_x$, $9/4$-helical isotactic polyfluoroazane (NF)$_x$, and $7/2$-helical polyoxane (O)$_x$ as potential high-energy-density materials.


title: Scattering in Black Hole Backgrounds and Higher-Spin Amplitudes: Part II

abstract: We continue to investigate correspondences between, on the one hand, scattering amplitudes for massive higher-spin particles and gravitons in appropriate quantum-to-classical limits, and on the other hand, classical gravitational interactions of spinning black holes according to general relativity. We first construct an ansatz for a gravitational Compton amplitude, at tree level, constrained only by locality, crossing symmetry, unitarity and consistency with the linearized-Kerr 3-point amplitude, to all orders in the black hole's spin. We then explore the extent to which a unique classical Compton amplitude can be identified by comparing with the results of the classical process of scattering long-wavelength gravitational waves off an exact Kerr black hole, determined by appropriate solutions of the Teukolsky equation. Up to fourth order in spin, we find complete agreement with a previously conjectured exponential form of the tree-level Compton amplitude. At higher orders, we extract tree-level contributions from the Teukolsky amplitude by an analytic continuation from a physical ($a/GM<1$) to a particle-like ($a/GM>1$) regime. Up to the sixth order in spin, we identify a unique \textit{conservative} part of the amplitude which is insensitive both to the choice of boundary conditions at the black hole horizon and to branch choices in the analytic continuation. The remainder of the amplitude is determined modulo an overall sign from a branch choice, with the sign flipping under exchanging purely ingoing and purely outgoing boundary conditions at the horizon. Along the way, we make contact with novel applications of massive spinor-helicity variables pertaining to their relation to EFT operators and (spinning) partial amplitudes.


title: TrExoLiSTS: Transiting Exoplanets List of Space Telescope Spectroscopy

abstract: We present the STScI WFC3 project webpage, Transiting Exoplanets List of Space Telescope Spectroscopy, TrExoLiSTS. It tabulates existing observations of transiting exoplanet atmospheres, available in the MAST archive made with HST WFC3 using the stare or spatial scan mode. A parallel page is available for all instruments aboard JWST using the spectral Time Series Observation (TSO) mode. The web pages include observations obtained during primary transits, secondary eclipses and phase curves. TREXOLISTS facilitates proposal preparation for programs that are highly-complementary to existing programs in terms of targets, wavelength coverage, as well as reduces duplication and redundant effort. Reference for the quality of the HST WFC3 visits taken more than 1.5 years ago are made available via including diagrams of the direct image, white light curve and drift of the spectral time series across the detector. Future improvements to the webpage will include: Expanding program query to other HST instruments and reference for the quality of JWST visits.


title: Distributed-Training-and-Execution Multi-Agent Reinforcement Learning for Power Control in HetNet

abstract: In heterogeneous networks (HetNets), the overlap of small cells and the macro cell causes severe cross-tier interference. Although there exist some approaches to address this problem, they usually require global channel state information, which is hard to obtain in practice, and get the sub-optimal power allocation policy with high computational complexity. To overcome these limitations, we propose a multi-agent deep reinforcement learning (MADRL) based power control scheme for the HetNet, where each access point makes power control decisions independently based on local information. To promote cooperation among agents, we develop a penalty-based Q learning (PQL) algorithm for MADRL systems. By introducing regularization terms in the loss function, each agent tends to choose an experienced action with high reward when revisiting a state, and thus the policy updating speed slows down. In this way, an agent's policy can be learned by other agents more easily, resulting in a more efficient collaboration process. We then implement the proposed PQL in the considered HetNet and compare it with other distributed-training-and-execution (DTE) algorithms. Simulation results show that our proposed PQL can learn the desired power control policy from a dynamic environment where the locations of users change episodically and outperform existing DTE MADRL algorithms.


title: Microscopic theory of nonlinear phase space filling in polaritonic lattices

abstract: We develop a full microscopic theory for a nonlinear phase space filling (NPSF) in strongly coupled two-dimensional polaritonic lattices. Ubiquitous in polaritonic experiments, the theoretical description of NPSF, remains limited to perturbative treatment and homogeneous samples. In this study, we go beyond the existing theoretical description and discover the broad scope of regimes where NPSF crucially modifies the optical response. Studying the quantum effects of non-bosonicity, cooperative light-matter coupling, and Coulomb blockade, we reveal several regimes for observing the nonlinear Rabi splitting quench due to the phase space filling. Unlike prior studies, we derive nonlinear Rabi frequency scaling all the way to the saturation limit and show that the presence of a lattice potential leads to qualitatively distinct nonlinearity. We concentrate on three regimes of NPSF: 1) planar; 2) fractured; and 3) ultralocalized. In planar saturation, the Rabi frequency decreases exponentially as a function of exciton density. For the fractured case, where excitons form a lattice with sites exceeding the exciton size, we discover fast NPSF at low occupation in the lattice. This is followed by slower NPSF as the medium becomes fully saturated. This behavior is particularly pronounced in the presence of Coulomb (or Rydberg) blockade, where regions of fast and slow NPSF depend on the strength of repulsion. For the ultralocalized NPSF, we observe the square-root saturation typical to the collection of two-level systems. Our findings can help describing recent observations of strong nonlinearity in heterobilayers of transition metal dichalcogenides where Moir{\'e} lattices emerge naturally [Nature \textbf{591}, 61 (2021)]. The theory also opens the prospects for engineering strongly nonlinear responses of polaritonic lattices with patterned samples, driving polaritonics into the quantum regime.


title: Relaxing CMB bounds on Primordial Black Holes: the role of ionization fronts

abstract: The accretion of matter onto primordial black holes (PBHs) during the dark ages and the subsequent energy injection in the medium should have left imprints on the cosmic microwave background (CMB) anisotropies. Recent works have claimed stringent CMB limits on the PBH abundance, hardly compatible with a PBH interpretation of the gravitational-wave observations of binary BH mergers. By using a more realistic accretion model based on hydrodynamical simulations and conservative assumptions for the emission efficiency, we show that CMB limits on the PBH abundance are up to two orders of magnitude less stringent than previously estimated between $10$ and $10^4$ M$_\odot$. This reopens the possibility that PBHs might explain at the same time (at least a fraction of) the dark matter, some of the LIGO-Virgo-KAGRA binary BH mergers and the existence of super-massive BHs. More generally, we emphasize that PBH accretion can be a rather complex physical process with velocity dependences that are hard to assess, which introduces large uncertainties in accretion-based limits on the PBH abundance.


title: Cohomology of twisted polynomial superfunctors through the twisting spectral sequence

abstract: We want to compute generic $\mathrm{Ext}$-spaces of twisted polynomial functors in relation to the $\mathrm{Ext}$-spaces of the untwisted ones, modulo a parametrisation. Thanks to the study of a spectral sequence we get to a computation in low degrees, with remarkable consequences at the level of generic cohomology.


title: Interpretation of Radio Afterglows in the framework of the Standard Fireball and Energy Injection models

abstract: Gamma-Ray Bursts (GRBs) are panchromatic, highly energetic transients whose energy emission mechanism is still debated. One of the possible explanations is the standard fireball model, which can be tested with the closure relations (CRs), or relations between the temporal and spectral indices of a GRB. To test these, we compile an extensive sample of radio afterglow light curves (LCs) that span from 1997 to 2020, the most comprehensive analysis of GRBs with radio observations to date. We fit 202 LCs from 82 distinct GRBs with a broken power law, obtaining a sample of 26 that display a clear break and a subsample of 14 GRBs that present a radio plateau. We test these samples against CRs corresponding to a constant-density interstellar medium (ISM) or a stellar wind medium in both fast- and slow-cooling regimes, as well as three additional density profiles, $k = 1, 1.5, 2.5,$ following $n \propto r^{-k}$ , and consider sets of CRs both with and without energy injection. We find that 12 of the 26 GRBs (46%), of which 7/12 present a radio plateau, fulfill at least one CR in the sets tested, suggesting our data is largely incompatible with the standard fireball model. Of the fulfilled CRs, the most preferred environment is the ISM, SC, $\nu_m < \nu < \nu_c$ without energy injection. Our results are consistent with previous studies that test the standard fireball model via the CRs in radio.


title: A Flexible Commodity Skew Model with Maturity Effects

abstract: We propose a non-parametric extension with leverage functions to the Andersen commodity curve model. We calibrate this model to market data for WTI and NG including option skew at the standard maturities. While the model can be calibrated by an analytical formula for the deterministic rate case, the stochastic rate case demands estimation of an expectation for which we employ Monte Carlo simulation. We find that the market smile is captured for the deterministic rate case; and with relatively low number of paths, for the stochastic rate case. Since there is typically at most one standard maturity with liquid volatility data for each futures contract, there is flexibility on the shape of nonstandard maturity implied volatility and how the total implied variance accumulates. We equip the model with different total implied variance accumulators to demonstrate that flexibility.


title: Small measurable cardinals

abstract: We continue to work from [5] and make a small -- but significant -- improvement to the definition of $j$-decomposable system. This provides us with a better lifting of elementary embeddings to symmetric extension. In particular, this allows us to more easily lift weakly compact embedding and thus preserve the notion of weakly critical cardinals. We use this improved lifting criterion to show that the first measurable cardinal can be the first weakly critical cardinal or the first Mahlo cardinal, both relative to the existence of a single measurable cardinal. However, if the first inaccessible cardinal is the first measurable cardinal, then in a suitable inner model it has a Mitchell order of at least $2$.


title: On the log-concavity of the Wright function

abstract: We investigate the log-concavity on the half-line of the Wright function $\phi(-\alpha,\beta,-x),$ in the probabilistic setting $\alpha\in (0,1)$ and $\beta \ge 0.$ Applications are given to the construction of generalized entropies associated to the corresponding Mittag-Leffler function. A natural conjecture for the equivalence between the log-concavity of the Wright function and the existence of such generalized entropies is formulated. The problem is solved for $\beta\geq\alpha$ and in the classical case $\beta = 1-\alpha$ of the Mittag-Leffler distribution, which exhibits a certain critical parameter $\alpha_*= 0.771667...$ defined implicitly on the Gamma function and characterizing the log-concavity. We also prove that the probabilistic Wright functions are always unimodal, and that they are multiplicatively strongly unimodal if and only if $\beta\geq\alpha$ or $\alpha\le 1/2$ and $\beta = 0.$


title: Polynomial affine gravity in 3+1 dimensions

abstract: The polynomial affine gravity is an alternative model of gravity whose fundamental field is the affine connection, and it is invariant under the complete group of diffeomorphisms. In 3+1 dimensions the field equations generalise those of Einstein--Hilbert, the coupling constants are dimensionless, the action has a finite numbers of term, and although the action does not involve a (fundamental) metric, some metric tensor fields might \emph{emerge} from the connection. Provided a cosmological ansatz, the properties of diverse cosmological models are discussed.


title: Bi-invariance for Uniform Strategies on Event Structures

abstract: A recurring problem in game semantics is to enforce uniformity in strategies. Informally, a strategy is uniform when the Player's behaviour does not depend on the particular indexing of moves chosen by the Opponent. In game semantics, uniformity is used to define a resource modality !, that can be exploited for the semantics of programming languages. In this paper we give a new account of uniformity for strategies on event structures. This work is inspired by an older idea due to Melli\`es, that uniformity should be expressed as "bi-invariance" with respect to two interacting group actions. We explore the algebraic foundations of bi-invariance, adapt this idea to the language of event structures and define a general notion of uniform strategy in this context. Finally we revisit an existing approach to uniformity, and show how this arises as a special case of our constructions.


title: A trajectorial interpretation of Moser's proof of the Harnack inequality

abstract: In 1971 Moser published a simplified version of his proof of the parabolic Harnack inequality. The core new ingredient is a fundamental lemma due to Bombieri and Giusti, which combines an $L^p-L^\infty$-estimate with a weak $L^1$-estimate for the logarithm of supersolutions. In this note, we give a novel proof of this weak $L^1$-estimate. The presented argument uses parabolic trajectories and does not use any Poincar\'e inequality. Moreover, the proposed argument gives a geometric interpretation of Moser's result and could allow transferring Moser's method to other equations.


title: Hubble Space Telescope survey of Magellanic Cloud star clusters. Photometry and astrometry of 113 clusters and early results

abstract: In the past years, we have undertaken an extensive investigation of LMC and SMC star clusters based on HST data. We present photometry and astrometry of stars in 101 fields observed with the WFC/ACS, UVIS/WFC3 and NIR/WFC3 cameras. These fields comprise 113 star clusters. We provide differential-reddening maps and illustrate various scientific outcomes that arise from the early inspection of the photometric catalogs. In particular, we provide new insights on the extended main-sequence turn-off (eMSTO) phenomenon: i) We detected eMSTOs in two clusters, KMHK361 and NGC265, which had no previous evidence of multiple populations. This finding corroborates the conclusion that the eMSTO is a widespread phenomenon among clusters younger than ~2 Gyr. ii) The homogeneous color-magnitude diagrams (CMDs) of 19 LMC clusters reveal that the distribution of stars along the eMSTO depends on cluster age. iii) We discovered a new feature along the eMSTO of NGC1783, which consists of a distinct group of stars going on the red side of the eMSTO in CMDs composed of ultraviolet filters. Furthermore, we derived the proper motions of stars in the fields of view of clusters with multi-epoch images. Proper motions allowed us to separate the bulk of bright field stars from cluster members and investigate the internal kinematics of stellar populations in various LMC and SMC fields. As an example, we analyze the field around NGC346 to disentangle the motions of its stellar populations, including NGC364 and BS90, young and pre-MS stars in the star-forming region associated with NGC346, and young and old field stellar populations of the SMC. Based on these results and the fields around five additional clusters, we find that young SMC stars exhibit elongated proper-motion distributions that point toward the LMC, thus bringing new evidence for a kinematic connection between the LMC and SMC.


title: Improving Developers' Understanding of Regex Denial of Service Tools through Anti-Patterns and Fix Strategies

abstract: Regular expressions are used for diverse purposes, including input validation and firewalls. Unfortunately, they can also lead to a security vulnerability called ReDoS (Regular Expression Denial of Service), caused by a super-linear worst-case execution time during regex matching. Due to the severity and prevalence of ReDoS, past work proposed automatic tools to detect and fix regexes. Although these tools were evaluated in automatic experiments, their usability has not yet been studied; usability has not been a focus of prior work. Our insight is that the usability of existing tools to detect and fix regexes will improve if we complement them with anti-patterns and fix strategies of vulnerable regexes. We developed novel anti-patterns for vulnerable regexes, and a collection of fix strategies to fix them. We derived our anti-patterns and fix strategies from a novel theory of regex infinite ambiguity - a necessary condition for regexes vulnerable to ReDoS. We proved the soundness and completeness of our theory. We evaluated the effectiveness of our anti-patterns, both in an automatic experiment and when applied manually. Then, we evaluated how much our anti-patterns and fix strategies improve developers' understanding of the outcome of detection and fixing tools. Our evaluation found that our anti-patterns were effective over a large dataset of regexes (N=209,188): 100% precision and 99% recall, improving the state of the art 50% precision and 87% recall. Our anti-patterns were also more effective than the state of the art when applied manually (N=20): 100% developers applied them effectively vs. 50% for the state of the art. Finally, our anti-patterns and fix strategies increased developers' understanding using automatic tools (N=9): from median "Very weakly" to median "Strongly" when detecting vulnerabilities, and from median "Very weakly" to median "Very strongly" when fixing them.


title: Numerical Study of Magnetic Island Coalescence Using Magnetohydrodynamics With Adaptively Embedded Particle-In-Cell Model

abstract: Collisionless magnetic reconnection typically requires kinetic treatments that are, in general, computationally expensive compared to fluid-based models. In this study, we use the magnetohydrodynamics with adaptively embedded particle-in-cell (MHD-AEPIC) model to study the interaction of two magnetic flux ropes. This innovative model embeds one or more adaptive PIC regions into a global MHD simulation domain such that the kinetic treatment is only applied in regions where kinetic physics is prominent. We compare the simulation results among three cases: 1) MHD with adaptively embedded PIC regions, 2) MHD with statically (or fixed) embedded PIC regions, and 3) a full PIC simulation. The comparison yields good agreement when analyzing their reconnection rates and magnetic island separations, as well as the ion pressure tensor elements and ion agyrotropy. In order to reach a good agreement among the three cases, large adaptive PIC regions are needed within the MHD domain, which indicates that the magnetic island coalescence problem is highly kinetic in nature where the coupling between the macro-scale MHD and micro-scale kinetic physics is important.

categories: physics.plasm-ph astro-ph.HE astro-ph.SR physics.space-ph


title: Revisiting the Gold Standard: Grounding Summarization Evaluation with Robust Human Evaluation

abstract: Human evaluation is the foundation upon which the evaluation of both summarization systems and automatic metrics rests. However, existing human evaluation studies for summarization either exhibit a low inter-annotator agreement or have insufficient scale, and an in-depth analysis of human evaluation is lacking. Therefore, we address the shortcomings of existing summarization evaluation along the following axes: (1) We propose a modified summarization salience protocol, Atomic Content Units (ACUs), which is based on fine-grained semantic units and allows for a high inter-annotator agreement. (2) We curate the Robust Summarization Evaluation (RoSE) benchmark, a large human evaluation dataset consisting of 22,000 summary-level annotations over 28 top-performing systems on three datasets. (3) We conduct a comparative study of four human evaluation protocols, underscoring potential confounding factors in evaluation setups. (4) We evaluate 50 automatic metrics and their variants using the collected human annotations across evaluation protocols and demonstrate how our benchmark leads to more statistically stable and significant results. The metrics we benchmarked include recent methods based on large language models (LLMs), GPTScore and G-Eval. Furthermore, our findings have important implications for evaluating LLMs, as we show that LLMs adjusted by human feedback (e.g., GPT-3.5) may overfit unconstrained human evaluation, which is affected by the annotators' prior, input-agnostic preferences, calling for more robust, targeted evaluation methods.


title: A high-accuracy framework for phase-field fracture interface reconstructions with application to Stokes fluid-filled fracture surrounded by an elastic medium

abstract: This work considers a Stokes flow in a deformable fracture interacting with a linear elastic medium. To this end, we employ a phase-field model to approximate the crack dynamics. Phase-field methods belong to interface-capturing approaches in which the interface is only given by a smeared zone. For multi-domain problems, the accuracy of the coupling conditions is, however, of utmost importance. Here, interface-tracking methods are preferred, since the interface is resolved on mesh edges up to discretization errors, but it does not depend on the length scale parameter of some smeared zone. The key objective of this work is to construct a robust framework that computes first a crack path via the phase-field method (interface-capturing) and then does an interface-tracking reconstruction. We then discuss several approaches to reconstruct the Eulerian description of the open crack domain. This includes unfitted approaches where a level-set of the crack interface is constructed and an approach where the geometry is re-meshed. Using this reconstructed domain, we can compute the fluid-structure interaction problem between the fluid in the crack and the interacting solid. With the explicit mesh reconstruction of the two domains, we can then use an interface-tracking Arbitrary-Lagrangian-Eulerian (ALE) discretisation approach for the resulting fluid-structure interaction (FSI) problem. Our algorithmic procedure is realised in one final numerical algorithm and one implementation. We substantiate our approach using several numerical examples based on Sneddon's benchmark and corresponding extensions to Stokes fluid-filled regimes.


title: Vision Transformers are Parameter-Efficient Audio-Visual Learners

abstract: Vision transformers (ViTs) have achieved impressive results on various computer vision tasks in the last several years. In this work, we study the capability of frozen ViTs, pretrained only on visual data, to generalize to audio-visual data without finetuning any of its original parameters. To do so, we propose a latent audio-visual hybrid (LAVISH) adapter that adapts pretrained ViTs to audio-visual tasks by injecting a small number of trainable parameters into every layer of a frozen ViT. To efficiently fuse visual and audio cues, our LAVISH adapter uses a small set of latent tokens, which form an attention bottleneck, thus, eliminating the quadratic cost of standard cross-attention. Compared to the existing modality-specific audio-visual methods, our approach achieves competitive or even better performance on various audio-visual tasks while using fewer tunable parameters and without relying on costly audio pretraining or external audio encoders. Our code is available at https://genjib.github.io/project_page/LAVISH/


title: Symmetries of non-linear ODEs: lambda extensions of the Ising correlations

abstract: This paper provides several illustrations of the numerous remarkable properties of the lambda-extensions of the two-point correlation functions of the Ising model, sheding some light on the non-linear ODEs of the Painlev\'e type. We first show that this concept also exists for the factors of the two-point correlation functions focusing, for pedagogical reasons, on two examples namely C(0,5) and C(2,5) at $\nu = -k$. We then display, in a learn-by-example approach, some of the puzzling properties and structures of these lambda-extensions: for an infinite set of (algebraic) values of $ \lambda$ these power series become algebraic functions, and for a finite set of (rational) values of lambda they become D-finite functions, more precisely polynomials (of different degrees) in the complete elliptic integrals of the first and second kind K and E. For generic values of $ \lambda$ these power series are not D-finite, they are differentially algebraic. For an infinite number of other (rational) values of $ \lambda$ these power series are globally bounded series, thus providing an example of an infinite number of globally bounded differentially algebraic series. Finally, taking the example of a product of two diagonal two-point correlation functions, we suggest that many more families of non-linear ODEs of the Painlev\'e type remain to be discovered on the two-dimensional Ising model, as well as their structures, and in particular their associated lambda extensions. The question of their possible reduction, after complicated transformations, to Okamoto sigma forms of Painlev\'e VI remains an extremely difficult challenge.


title: Kernel controlled real-time Complex Langevin simulation

abstract: This study explores the utility of a kernel in complex Langevin simulations of quantum real-time dynamics on the Schwinger-Keldysh contour. We give several examples where we use a systematic scheme to find kernels that restore correct convergence of complex Langevin. The schemes combine prior information we know about the system and the correctness of convergence of complex Langevin to construct a kernel. This allows us to simulate up to $1.5\beta$ on the real-time Schwinger-Keldysh contour with the 0+1 dimensional anharmonic oscillator using $m=1$, $\lambda=24$, which was previously unattainable using the complex Langevin equation.


title: Annular solutions to the partitioning problem in a ball

abstract: For any $n\in \mathbb{N}$, $n\geq 2$, we construct a real analytic, one-parameter family of compact embedded CMC annuli with free boundary in the unit ball $\mathbb{B}^3$ of $\mathbb{R}^3$ with a prismatic symmetry group of order $4n$. These examples give a negative answer to the uniqueness problem by Nitsche and Wente of whether any annular solution to the partitioning problem in the ball should be rotational.


title: Inferring Quantum Network Topology using Local Measurements

abstract: Statistical correlations that can be generated across the nodes in a quantum network depend crucially on its topology. However, this topological information might not be known a priori, or it may need to be verified. In this paper, we propose an efficient protocol for distinguishing and inferring the topology of a quantum network. We leverage entropic quantities -- namely, the von Neumann entropy and the measured mutual information -- as well as measurement covariance to uniquely characterize the topology. We show that the entropic quantities are sufficient to distinguish two networks that prepare GHZ states. Moreover, if qubit measurements are available, both entropic quantities and covariance can be used to infer the network topology without state-preparation assumptions. We show that the protocol can be entirely robust to noise and can be implemented via quantum variational optimization. Numerical experiments on both classical simulators and quantum hardware show that covariance is generally more reliable for accurately and efficiently inferring the topology, whereas entropy-based methods are often better at identifying the absence of entanglement in the low-shot regime.


title: Fermi energy determination for advanced smearing techniques

abstract: Smearing techniques are widely used in first-principles calculations of metallic and magnetic materials, where they improve the accuracy of Brillouin zone sampling and lessen the impact of level-crossing instabilities. Smearing introduces a fictitious electronic temperature that smooths the discontinuities of the integrands; consequently, a corresponding fictitious entropic term arises, and needs to be considered in the total free energy functional. Advanced smearing techniques -- such as Methfessel-Paxton and cold smearing -- have been introduced to guarantee that the system's total free energy remains independent of the smearing temperature at least up to the second order. In doing so, they give rise to non-monotonic occupation functions (and, for Methfessel-Paxton, non-positive definite), which can result in the chemical potential not being uniquely defined. We explore this shortcoming in detail and introduce a numerical protocol utilizing Newton's minimization method that is able to identify the desired Fermi energy. We validate the method by calculating the Fermi energy of $\sim$20,000 materials and comparing it with the results of standard bisection approaches. In passing, we also highlight how traditional approaches, based on Fermi-Dirac or Gaussian smearing, are actually equivalent for all practical purposes, provided the smearing width is appropriately renormalized by a factor $\sim$2.565.


title: Disentangling Sub-GeV Dark Matter from the Diffuse Supernova Neutrino Background using Hyper-Kamiokande

abstract: The upcoming Hyper-Kamiokande (HyperK) experiment is expected to detect the Diffuse Supernova Neutrino Background (DSNB). This requires to ponder all possible sources of background. Sub-GeV dark matter (DM) which annihilates into neutrinos is a potential background that has not been considered so far. We simulate DSNB and DM signals, as well as backgrounds in the HyperK detector. We find that DM-induced neutrinos could indeed alter the extraction of the correct values of the parameters of interest for DSNB physics. Since the DSNB is an isotropic signal, and DM originates primarily from the Galactic centre, we show that this effect could be alleviated with an on-off analysis.


title: Transition from chimera/solitary states to traveling waves

abstract: We study numerically the spatiotemporal dynamics in a ring network of nonlocally coupled nonlinear oscillators, each represented by a two-dimensional discrete-time model of the classical van der Pol oscillator. It is shown that the discretized oscillator exhibits a richer behavior, combining the peculiarities of both the original system and its own dynamics. Moreover, a large variety of spatiotemporal structures is observed in the network of discrete van der Pol oscillators when the discretization parameter and the coupling strength are varied. Regimes such as the coexistence of multichimera state/traveling wave and solitary state are revealed for the first time and are studied in detail. It is established that the majority of the observed chimera/solitary states, including the newly found ones, are transient towards the purely traveling wave mode. The peculiarities of the transition process and the lifetime (transient duration) of the chimera structures and the solitary state are analyzed depending on the system parameters, the observation time, initial conditions, and the influence of external noise.


title: Linearized Reed-Solomon Codes with Support-Constrained Generator Matrix and Applications in Multi-Source Network Coding

abstract: Linearized Reed-Solomon (LRS) codes are evaluation codes based on skew polynomials. They achieve the Singleton bound in the sum-rank metric and therefore are known as maximum sum-rank distance (MSRD) codes. In this work, we give necessary and sufficient conditions for the existence of MSRD codes with a support-constrained generator matrix. These conditions are identical to those for MDS codes and MRD codes. The required field size for an $[n,k]_{q^m}$ LRS codes with support-constrained generator matrix is $q\geq \ell+1$ and $m\geq \max_{l\in[\ell]}\{k-1+\log_qk, n_l\}$, where $\ell$ is the number of blocks and $n_l$ is the size of the $l$-th block. The special cases of the result coincide with the known results for Reed-Solomon codes and Gabidulin codes. For the support constraints that do not satisfy the necessary conditions, we derive the maximum sum-rank distance of a code whose generator matrix fulfills the constraints. Such a code can be constructed from a subcode of an LRS code with a sufficiently large field size. Moreover, as an application in network coding, the conditions can be used as constraints in an integer programming problem to design distributed LRS codes for a distributed multi-source network.


title: Alternating Objectives Generates Stronger PGD-Based Adversarial Attacks

abstract: Designing powerful adversarial attacks is of paramount importance for the evaluation of $\ell_p$-bounded adversarial defenses. Projected Gradient Descent (PGD) is one of the most effective and conceptually simple algorithms to generate such adversaries. The search space of PGD is dictated by the steepest ascent directions of an objective. Despite the plethora of objective function choices, there is no universally superior option and robustness overestimation may arise from ill-suited objective selection. Driven by this observation, we postulate that the combination of different objectives through a simple loss alternating scheme renders PGD more robust towards design choices. We experimentally verify this assertion on a synthetic-data example and by evaluating our proposed method across 25 different $\ell_{\infty}$-robust models and 3 datasets. The performance improvement is consistent, when compared to the single loss counterparts. In the CIFAR-10 dataset, our strongest adversarial attack outperforms all of the white-box components of AutoAttack (AA) ensemble, as well as the most powerful attacks existing on the literature, achieving state-of-the-art results in the computational budget of our study ($T=100$, no restarts).