title: Beyond Value Iteration for Parity Games: Strategy Iteration with Universal Trees

abstract: Parity games have witnessed several new quasi-polynomial algorithms since the breakthrough result of Calude et al. (STOC 2017). The combinatorial object underlying these approaches is a universal tree, as identified by Czerwi\'nski et al. (SODA 2019). By providing a quasi-polynomial lower bound on the size of universal trees, they have highlighted a barrier that must be overcome by all existing approaches to attain polynomial running time. This is due to the existence of worst case instances which force these algorithms to explore a large portion of the tree. As an attempt to overcome this barrier, we propose a strategy iteration framework which can be applied on any universal tree. It is at least as fast as its value iteration counterparts, while allowing one to take bigger leaps in the universal tree. Our main technical contribution is an efficient method for computing the least fixed point of 1-player games. This is achieved via a careful adaptation of shortest path algorithms to the setting of ordered trees. By plugging in the universal tree of Jurdzi\'nski and Lazi\'c (LICS 2017), or the Strahler universal tree of Daviaud et al. (ICALP 2020), we obtain instantiations of the general framework that take time $O(mn^2\log n\log d)$ and $O(mn^2\log^3 n \log d)$ respectively per iteration.


title: Transfer Learning Based Co-surrogate Assisted Evolutionary Bi-objective Optimization for Objectives with Non-uniform Evaluation Times

abstract: Most existing multiobjetive evolutionary algorithms (MOEAs) implicitly assume that each objective function can be evaluated within the same period of time. Typically. this is untenable in many real-world optimization scenarios where evaluation of different objectives involves different computer simulations or physical experiments with distinct time complexity. To address this issue, a transfer learning scheme based on surrogate-assisted evolutionary algorithms (SAEAs) is proposed, in which a co-surrogate is adopted to model the functional relationship between the fast and slow objective functions and a transferable instance selection method is introduced to acquire useful knowledge from the search process of the fast objective. Our experimental results on DTLZ and UF test suites demonstrate that the proposed algorithm is competitive for solving bi-objective optimization where objectives have non-uniform evaluation times.


title: Learning Highly Recursive Input Grammars

abstract: This paper presents Arvada, an algorithm for learning context-free grammars from a set of positive examples and a Boolean-valued oracle. Arvada learns a context-free grammar by building parse trees from the positive examples. Starting from initially flat trees, Arvada builds structure to these trees with a key operation: it bubbles sequences of sibling nodes in the trees into a new node, adding a layer of indirection to the tree. Bubbling operations enable recursive generalization in the learned grammar. We evaluate Arvada against GLADE and find it achieves on average increases of 4.98x in recall and 3.13x in F1 score, while incurring only a 1.27x slowdown and requiring only 0.87x as many calls to the oracle. Arvada has a particularly marked improvement over GLADE on grammars with highly recursive structure, like those of programming languages.


title: Hire-MLP: Vision MLP via Hierarchical Rearrangement

abstract: Previous vision MLPs such as MLP-Mixer and ResMLP accept linearly flattened image patches as input, making them inflexible for different input sizes and hard to capture spatial information. Such approach withholds MLPs from getting comparable performance with their transformer-based counterparts and prevents them from becoming a general backbone for computer vision. This paper presents Hire-MLP, a simple yet competitive vision MLP architecture via \textbf{Hi}erarchical \textbf{re}arrangement, which contains two levels of rearrangements. Specifically, the inner-region rearrangement is proposed to capture local information inside a spatial region, and the cross-region rearrangement is proposed to enable information communication between different regions and capture global context by circularly shifting all tokens along spatial directions. Extensive experiments demonstrate the effectiveness of Hire-MLP as a versatile backbone for various vision tasks. In particular, Hire-MLP achieves competitive results on image classification, object detection and semantic segmentation tasks, e.g., 83.8% top-1 accuracy on ImageNet, 51.7% box AP and 44.8% mask AP on COCO val2017, and 49.9% mIoU on ADE20K, surpassing previous transformer-based and MLP-based models with better trade-off for accuracy and throughput. Code is available at https://github.com/ggjy/Hire-Wave-MLP.pytorch.


title: DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion

abstract: Deep Neural Networks (DNNs) have emerged as the core enabler of many major applications on mobile devices. To achieve high accuracy, DNN models have become increasingly deep with hundreds or even thousands of operator layers, leading to high memory and computational requirements for inference. Operator fusion (or kernel/layer fusion) is key optimization in many state-of-the-art DNN execution frameworks, such as TensorFlow, TVM, and MNN. However, these frameworks usually adopt fusion approaches based on certain patterns that are too restrictive to cover the diversity of operators and layer connections. Polyhedral-based loop fusion techniques, on the other hand, work on a low-level view of the computation without operator-level information, and can also miss potential fusion opportunities. To address this challenge, this paper proposes a novel and extensive loop fusion framework called DNNFusion. The basic idea of this work is to work at an operator view of DNNs, but expand fusion opportunities by developing a classification of both individual operators and their combinations. In addition, DNNFusion includes 1) a novel mathematical-property-based graph rewriting framework to reduce evaluation costs and facilitate subsequent operator fusion, 2) an integrated fusion plan generation that leverages the high-level analysis and accurate light-weight profiling, and 3) additional optimizations during fusion code generation. DNNFusion is extensively evaluated on 15 DNN models with varied types of tasks, model sizes, and layer counts. The evaluation results demonstrate that DNNFusion finds up to 8.8x higher fusion opportunities, outperforms four state-of-the-art DNN execution frameworks with 9.3x speedup. The memory requirement reduction and speedups can enable the execution of many of the target models on mobile devices and even make them part of a real-time application.


title: A Mathematical Walkthrough and Discussion of the Free Energy Principle

abstract: The Free-Energy-Principle (FEP) is an influential and controversial theory which postulates a deep and powerful connection between the stochastic thermodynamics of self-organization and learning through variational inference. Specifically, it claims that any self-organizing system which can be statistically separated from its environment, and which maintains itself at a non-equilibrium steady state, can be construed as minimizing an information-theoretic functional -- the variational free energy -- and thus performing variational Bayesian inference to infer the hidden state of its environment. This principle has also been applied extensively in neuroscience, and is beginning to make inroads in machine learning by spurring the construction of novel and powerful algorithms by which action, perception, and learning can all be unified under a single objective. While its expansive and often grandiose claims have spurred significant debates in both philosophy and theoretical neuroscience, the mathematical depth and lack of accessible introductions and tutorials for the core claims of the theory have often precluded a deep understanding within the literature. Here, we aim to provide a mathematically detailed, yet intuitive walk-through of the formulation and central claims of the FEP while also providing a discussion of the assumptions necessary and potential limitations of the theory. Additionally, since the FEP is a still a living theory, subject to internal controversy, change, and revision, we also present a detailed appendix highlighting and condensing current perspectives as well as controversies about the nature, applicability, and the mathematical assumptions and formalisms underlying the FEP.


title: Enlisting 3D Crop Models and GANs for More Data Efficient and Generalizable Fruit Detection

abstract: Training real-world neural network models to achieve high performance and generalizability typically requires a substantial amount of labeled data, spanning a broad range of variation. This data-labeling process can be both labor and cost intensive. To achieve desirable predictive performance, a trained model is typically applied into a domain where the data distribution is similar to the training dataset. However, for many agricultural machine learning problems, training datasets are collected at a specific location, during a specific period in time of the growing season. Since agricultural systems exhibit substantial variability in terms of crop type, cultivar, management, seasonal growth dynamics, lighting condition, sensor type, etc, a model trained from one dataset often does not generalize well across domains. To enable more data efficient and generalizable neural network models in agriculture, we propose a method that generates photorealistic agricultural images from a synthetic 3D crop model domain into real world crop domains. The method uses a semantically constrained GAN (generative adversarial network) to preserve the fruit position and geometry. We observe that a baseline CycleGAN method generates visually realistic target domain images but does not preserve fruit position information while our method maintains fruit positions well. Image generation results in vineyard grape day and night images show the visual outputs of our network are much better compared to a baseline network. Incremental training experiments in vineyard grape detection tasks show that the images generated from our method can significantly speed the domain adaption process, increase performance for a given number of labeled images (i.e. data efficiency), and decrease labeling requirements.


title: Simplifying Non-Simple Fan-Planar Drawings

abstract: A drawing of a graph is fan-planar if the edges intersecting a common edge $a$ share a vertex $A$ on the same side of $a$. More precisely, orienting $e$ arbitrarily and the other edges towards $A$ results in a consistent orientation of the crossings. So far, fan-planar drawings have only been considered in the context of simple drawings, where any two edges share at most one point, including endpoints. We show that every non-simple fan-planar drawing can be redrawn as a simple fan-planar drawing of the same graph while not introducing additional crossings. Combined with previous results on fan-planar drawings, this yields that $n$-vertex-graphs having such a drawing can have at most $6.5n$ edges and that the recognition of such graphs is NP-hard. We thereby answer an open problem posed by Kaufmann and Ueckerdt in 2014.


title: QBoost for regression problems: solving partial differential equations

abstract: A hybrid algorithm based on machine learning and quantum ensemble learning is proposed that is capable of finding a solution to a partial differential equation with good precision and favorable scaling in the required number of qubits. The classical part is composed by training several regressors (weak-learners), capable of solving a partial differential equation using machine learning. The quantum part consists of adapting the QBoost algorithm to solve regression problems. We have successfully applied our framework to solve the 1D Burgers' equation with viscosity, showing that the quantum ensemble method really improves the solutions produced by weak-learners. We also implemented the algorithm on the D-Wave Systems, confirming the best performance of the quantum solution compared to the simulated annealing and exact solver methods, given the memory limitations of our classical computer used in the comparison.


title: Minimal surfaces in Euclidean spaces by way of complex analysis

abstract: This is an expanded version of my plenary lecture at the 8th European Congress of Mathematics in Portoro\v{z} on 23 June 2021. The main part of the paper is a survey of recent applications of complex-analytic techniques to the theory of conformal minimal surfaces in Euclidean spaces. New results concern approximation, interpolation, and general position properties of minimal surfaces, existence of minimal surfaces with a given Gauss map, and the Calabi-Yau problem for minimal surfaces. To be accessible to a wide audience, the article includes a self-contained elementary introduction to the theory of minimal surfaces in Euclidean spaces.


title: Detecting Quantum Capacities of Continuous-Variable Quantum Channels

abstract: Quantum communication channels and quantum memories are the fundamental building blocks of large-scale quantum communication networks. Estimating their capacity to transmit and store quantum information is crucial in order to assess the performance of quantum communication systems, and to detect useful communication paths among the nodes of future quantum networks. However, the estimation of quantum capacities is a challenging task for continuous variable systems, such as the radiation field, for which a complete characterization via quantum tomography is practically unfeasible. Here we introduce a method for detecting the quantum capacity of continuous variable communication channels and memories without performing a full process tomography. Our method works in the general scenario where the devices are used a finite number of times, can exhibit correlations across multiple uses, and can change dynamically under the control of a malicious adversary. The method is experimentally friendly and can be implemented using only finitely-squeezed states and homodyne measurements.


title: On the Multilingual Capabilities of Very Large-Scale English Language Models

abstract: Generative Pre-trained Transformers (GPTs) have recently been scaled to unprecedented sizes in the history of machine learning. These models, solely trained on the language modeling objective, have been shown to exhibit outstanding few-shot learning capabilities in a number of different tasks. Nevertheless, aside from anecdotal experiences, little is known regarding their multilingual capabilities, given the fact that the pre-training corpus is almost entirely composed of English text. In this work, we investigate the multilingual skills of GPT-3, focusing on one language that barely appears in the pre-training corpus, Catalan, which makes the results especially meaningful; we assume that our results may be relevant for other languages as well. We find that the model shows an outstanding performance, particularly in generative tasks, with predictable limitations mostly in language understanding tasks but still with remarkable results given the zero-shot scenario. We investigate its potential and limits in extractive question-answering and natural language generation, as well as the effect of scale in terms of model size.


title: Dark Matter, Rotation Curves, and the Morphology of Galaxies

abstract: In this thesis, we investigate some aspects of dark matter phenomenology and its predictive power in explaining the flattening of galaxy rotation curves at large distances. After outlining the Standard Model of particle physics, its symmetries and possible extensions in Chapter 2, we review key facts about dark matter and various types of dark matter models in Chapter 3. In Chapter 4 we discuss some alternatives to cold dark matter, which include modified Newtonian dynamics (MOND), superfluid dark matter and emergent gravity, and highlight the difficulties that are encountered in attempts to extend these frameworks to full-fledged relativistic settings. In Chapter 5 we turn to explore a completely different option, namely that flattened rotation curves reflect the presence of prolate dark-matter bulges or string-like objects around galaxies, without the need for any infrared modification of gravity. To test this model, we fit a number of galaxy rotation curves and find that the presence of a string-like filament yields improvement in fit quality of about 40-70 % in some cases, while the deformation of a dark halo yields only modest improvement by about 6-7 %. In Chapter 6 we collect some concluding remarks.

categories: astro-ph.CO astro-ph.GA gr-qc hep-ph hep-th


title: Twenty-Five Years of Dissipative Solitons

abstract: In 1995, C. I. Christov and M. G. Velarde introduced the concept of a dissipative soliton in a long-wave thin-film equation [Physica D 86, 323--347]. In the 25 years since, the subject has blossomed to include many related phenomena. The focus of this short note is to survey the conceptual influence of the concept of a "production-dissipation (input-output) energy balance" that they identified. Our recent results on nonlinear periodic waves as dissipative solitons (in a model equation for a ferrofluid interface in a parallel-flow rectangular geometry subject to an inhomogeneous magnetic field) have shown that the classical concept also applies to nonlocalized (specifically, spatially periodic) nonlinear coherent structures. Thus, we revisit the so-called KdV-KSV equation studied by C. I. Christov and M. G. Velarde to demonstrate that it also possesses spatially periodic dissipative soliton solutions. These coherent structures arise when the linearly unstable flat film state evolves to sufficiently large amplitude. The linear instability is then arrested when the nonlinearity saturates, leading to permanent traveling waves. Although the two model equations considered in this short note feature the same prototypical linear long-wave instability mechanism, along with similar linear dispersion, their nonlinearities are fundamentally different. These nonlinear terms set the shape and eventual dynamics of the nonlinear periodic waves. Intriguingly, the nonintegrable equations discussed in this note also exhibit multiperiodic nonlinear wave solutions, akin to the polycnoidal waves discussed by J. P. Boyd in the context of the completely integrable KdV equation.


title: Oxygen Vacancies in Niobium Pentoxide as a Source of Two-Level System Losses in Superconducting Niobium

abstract: We identify a major source of quantum decoherence in three-dimensional superconducting radio-frequency (SRF) resonators and two-dimensional transmon qubits composed of oxidized niobium: oxygen vacancies in the niobium pentoxide which drive two-level system (TLS) losses. By probing the effect of sequential \textit{in situ} vacuum baking treatments on the RF performance of bulk Nb SRF resonators and on the oxide structure of a representative Nb sample using time-of-flight secondary ion mass spectrometry (ToF-SIMS), we find a non-monotonic evolution of cavity quality factor $Q_0$ which correlates with the interplay of Nb\textsubscript{2}O\textsubscript{5} vacancy generation and oxide thickness reduction. We localize this effect to the oxide itself and present the insignificant role of diffused interstitial oxygen in the underlying Nb by regrowing a new oxide \textit{via} wet oxidation which reveals a mitigation of aggravated TLS losses. We hypothesize that such vacancies in the pentoxide serve as magnetic impurities and are a source of TLS-driven RF loss.


title: Semiorthogonal decomposition of $\mathrm{D}^b(\mathrm{Bun}_2^L)$

abstract: We study the derived category of coherent sheaves on various versions of moduli space of vector bundles on curves by the Borel-Weil-Bott theory for loop groups and $\Theta$-stratification, and construct a semiorthogonal decomposition with blocks given by symmetric powers of the curve.


title: RoboRun: A Robot Runtime to Exploit Spatial Heterogeneity

abstract: The limited onboard energy of autonomous mobile robots poses a tremendous challenge for practical deployment. Hence, efficient computing solutions are imperative. A crucial shortcoming of state-of-the-art computing solutions is that they ignore the robot's operating environment heterogeneity and make static, worst-case assumptions. As this heterogeneity impacts the system's computing payload, an optimal system must dynamically capture these changes in the environment and adjust its computational resources accordingly. This paper introduces RoboRun, a mobile-robot runtime that dynamically exploits the compute-environment synergy to improve performance and energy. We implement RoboRun in the Robot Operating System (ROS) and evaluate it on autonomous drones. We compare RoboRun against a state-of-the-art static design and show 4.5X and 4X improvements in mission time and energy, respectively, as well as a 36% reduction in CPU utilization.


title: High harmonic generation in triangular graphene quantum dots

abstract: Higher harmonic generation in plane graphene quantum dots initiated by intense coherent radiation is investigated, using dynamical Hartree-Fock mean-field theory. A microscopic theory describing the extreme nonlinear optical response of plane graphene quantum dots is developed. The closed set of differential equations for the single-particle density matrix at the graphene quantum dots-strong laser field multiphoton interaction is solved numerically. The obtained solutions indicate the significance of the type of edge and lateral size, and bandgap and laser field strength in the high harmonic generation process on the triangular graphene quantum dot.


title: The global polarisation of remote work

abstract: The Covid-19 pandemic has led to the rise of remote work with consequences for the global division of work. Remote work could connect labour markets, but it could also increase spatial polarisation. However, our understanding of the geographies of remote work is limited. Specifically, does remote work bring jobs to rural areas or is it concentrating in large cities, and how do skill requirements affect competition for jobs and wages? We use data from a fully remote labour market - an online labour platform - to show that remote work is polarised along three dimensions. First, countries are globally divided: North American, European, and South Asian remote workers attract most jobs, while many Global South countries participate only marginally. Secondly, remote jobs are pulled to urban regions; rural areas fall behind. Thirdly, remote work is polarised along the skill axis: workers with in-demand skills attract profitable jobs, while others face intense competition and obtain low wages. The findings suggest that remote work is shaped by agglomerative forces, which are deepening the gap between urban and rural areas. To make remote work an effective tool for rural development, it needs to be embedded in local skill-building and labour market programmes.


title: Quantum simulation of $\phi^4$ theories in qudit systems

abstract: We discuss the implementation of quantum algorithms for lattice $\Phi^4$ theory on circuit quantum electrodynamics (cQED) system. The field is represented on qudits in a discretized field amplitude basis. The main advantage of qudit systems is that its multi-level characteristic allows the field interaction to be implemented only with diagonal single-qudit gates. Considering the set of universal gates formed by the single-qudit phase gate and the displacement gate, we address initial state preparation and single-qudit gate synthesis with variational methods.


title: MOJAVE: XVIII. Kinematics and Inner Jet Evolution of Bright Radio-Loud Active Galaxies

abstract: We have analyzed the parsec-scale jet kinematics of 447 bright radio-loud AGN, based on 15 GHz VLBA data obtained between 1994 August 31 and 2019 August 4. We present new total intensity and linear polarization maps obtained between 2017 January 1 to 2019 August 4 for 143 of these AGN. We tracked 1923 bright features for five or more epochs in 419 jets. A majority (60%) of the well-sampled jet features show either accelerated or non-radial motion. In 47 jets there is at least one non-accelerating feature with an unusually slow apparent speed. Most of the jets show variations of 10 to 50 deg in their inner jet position angle (PA) over time, although the overall distribution has a continuous tail out to 200 deg. AGN with SEDs peaked at lower frequencies tend to have more variable PAs, with BL Lacs being less variable than quasars. The Fermi LAT gamma-ray associated AGN also tend to have more variable PAs than the non-LAT AGN in our sample. We attribute these trends to smaller viewing angles for the lower spectral peaked and LAT-associated jets. We identified 13 AGN where multiple features emerge over decade-long periods at systematically increasing or decreasing PAs. Since the ejected features do not fill the entire jet cross-section, this behavior is indicative of a precessing flow instability near the jet base. Although some jets show indications of oscillatory PA evolution, we claim no bona fide cases of periodicity since the fitted periods are comparable to the total VLBA time coverage.


title: Fast Decoding of Union-free Codes

abstract: Union-free codes and disjunctive codes are two combinatorial structures, which are used in nonadaptive group testing to find a set of $d$ defective elements among $n$ samples by carrying out the minimal number of tests $t$. It is known that union-free codes have a larger rate, whereas disjunctive codes provide a more efficient decoding algorithm. In this paper we introduce a new family of codes for nonadaptive group testing with fast decoding. The rate of these codes is larger than the rate of disjunctive codes, while the decoding algorithm has the same complexity. In addition, we derive a lower bound on the rate of new codes for the case of $d=2$ defectives, which is significantly better than the bound for disjunctive codes and almost as good as the bound for union-free codes.


title: Natural Language Processing Models That Automate Programming Will Transform Chemistry Research and Teaching

abstract: Natural language processing models have emerged that can generate usable software and automate a number of programming tasks with high fidelity. These tools have yet to have an impact on the chemistry community. Yet, our initial testing demonstrates that this form of Artificial Intelligence is poised to transform chemistry and chemical engineering research. Here, we review developments that brought us to this point, examine applications in chemistry, and give our perspective on how this may fundamentally alter research and teaching.


title: Bl\'azquez-Salcedo-Knoll-Radu Wormholes Are Not Solutions to the Einstein-Dirac-Maxwell Equations

abstract: Recently, Bl\'azquez-Salcedo, Knoll, and Radu (BSKR) have given a class of static, spherically symmetric, traversable wormhole spacetimes with Dirac and Maxwell fields. The BSKR wormholes are obtained by joining a classical solution to the Einstein-Dirac-Maxwell (EDM) equations on the "up" side of the wormhole ($r \geq 0$) to a corresponding solution on the "down" side of the wormhole ($r \leq 0$). However, it can be seen that the BSKR metric fails to be $C^3$ on the wormhole throat at $r=0$. We prove that if the matching were done in such a way that the resulting spacetime metric, Dirac field, and Maxwell field composed a solution to the EDM equations in a neighborhood of $r=0$, then all of the fields would be smooth at $r=0$ in a suitable gauge. Thus, the BSKR wormholes cannot be solutions to the EDM equations. The failure of the BSKR wormholes to solve the EDM equations arises both from the failure of the Maxwell field to satisfy the required matching conditions (which implies the presence of an additional shell of charged matter at $r=0$) and, more significantly, from the failure of the Dirac field to satisfy required matching conditions (which implies the presence of a spurious source term for the Dirac field at $r=0$.


title: Statistical Challenges in Tracking the Evolution of SARS-CoV-2

abstract: Genomic surveillance of SARS-CoV-2 has been instrumental in tracking the spread and evolution of the virus during the pandemic. The availability of SARS-CoV-2 molecular sequences isolated from infected individuals, coupled with phylodynamic methods, have provided insights into the origin of the virus, its evolutionary rate, the timing of introductions, the patterns of transmission, and the rise of novel variants that have spread through populations. Despite enormous global efforts of governments, laboratories, and researchers to collect and sequence molecular data, many challenges remain in analyzing and interpreting the data collected. Here, we describe the models and methods currently used to monitor the spread of SARS-CoV-2, discuss long-standing and new statistical challenges, and propose a method for tracking the rise of novel variants during the epidemic.


title: Coding with Purpose: Learning AI in Rural California

abstract: We use an autoethnographic case study of a Latinx high school student from an agricultural community in California to highlight how AI is learned outside classrooms and how her personal background influenced her social-justice oriented applications of AI technologies. Applying the concept of learning pathways from the learning sciences, we argue that redesigning AI education to be more inclusive with respect to socioeconomic status, ethnoracial identity, and gender is important in the development of computational projects that address social-injustice. We also learn about the role of institutions, power structures, and community as they relate to her journey of learning and applying AI. The future of AI, its potential to address issues of social injustice and limiting the negative consequences of its use, will depend on the participation and voice of students from the most vulnerable communities.


title: Predicting the Effect of European Air Traffic on Cirrus Cloud Cover

abstract: The purpose of this study is to provide more insight into the role of anthropogenic cirrus formation through air traffic, by investigating the high-density European airspace over a period spanning several recent years including the start of the COVID-19 pandemic (2015-2020). Several data resources are combined, exploiting the strengths of each product within an all-encompassing framework on a high spatio-temporal resolution. Data from METEOSAT SEVIRI have been combined and validated with CALIPSO's CALIOP data to deduce temporal cirrus cloud cover variability over a rectangular region bound by (10 degrees W - 35 degrees N) and (40 degrees E - 60 degrees N). Cirrus clouds are correlated with air traffic. Meteorology was incorporated into the analysis as it is of major influence on the formation and lifetime of cirrus. Both a logistic regression model and a Random Forest model were built to assess cirrus cloud cover variability imposed by meteorology. The impact of aviation on cirrus cover in 1) super-saturated an 2) sub-saturated air have been evaluated separately. A description of all the datasets involved, including the main research methodology and main results, are presented.


title: Representation and Processing of Instantaneous and Durative Temporal Phenomena

abstract: Event definitions in Complex Event Processing systems are constrained by the expressiveness of each system's language. Some systems allow the definition of instantaneous complex events, while others allow the definition of durative complex events. While there are exceptions that offer both options, they often lack of intervals relations such as those specified by the Allen's interval algebra. In this paper, we propose a new logic based temporal phenomena definition language, specifically tailored for Complex Event Processing, that allows the representation of both instantaneous and durative phenomena and the temporal relations between them. Moreover, we demonstrate the expressiveness of our proposed language by employing a maritime use case where we define maritime events of interest. Finally, we analyse the execution semantics of our proposed language for stream processing and introduce the `Phenesthe' implementation prototype.


title: Thermomechanical modelling for industrial applications

abstract: In this work we briefly present a thermomechanical model that could serve as starting point for industrial applications. We address the non-linearity due to temperature dependence of material properties and heterogeneity due to presence of different materials. Finally a numerical example related to the simplified geometry of blast furnace hearth walls is shown with the aim of assessing the feasibility of the modelling framework. Keywords: nonlinear thermomechanical model, finite element method, heterogeneous material, blast furnace.


title: Survival Prediction of Heart Failure Patients using Stacked Ensemble Machine Learning Algorithm

abstract: Cardiovascular disease, especially heart failure is one of the major health hazard issues of our time and is a leading cause of death worldwide. Advancement in data mining techniques using machine learning (ML) models is paving promising prediction approaches. Data mining is the process of converting massive volumes of raw data created by the healthcare institutions into meaningful information that can aid in making predictions and crucial decisions. Collecting various follow-up data from patients who have had heart failures, analyzing those data, and utilizing several ML models to predict the survival possibility of cardiovascular patients is the key aim of this study. Due to the imbalance of the classes in the dataset, Synthetic Minority Oversampling Technique (SMOTE) has been implemented. Two unsupervised models (K-Means and Fuzzy C-Means clustering) and three supervised classifiers (Random Forest, XGBoost and Decision Tree) have been used in our study. After thorough investigation, our results demonstrate a superior performance of the supervised ML algorithms over unsupervised models. Moreover, we designed and propose a supervised stacked ensemble learning model that can achieve an accuracy, precision, recall and F1 score of 99.98%. Our study shows that only certain attributes collected from the patients are imperative to successfully predict the surviving possibility post heart failure, using supervised ML algorithms.


title: Robust Interactive Semantic Segmentation of Pathology Images with Minimal User Input

abstract: From the simple measurement of tissue attributes in pathology workflow to designing an explainable diagnostic/prognostic AI tool, access to accurate semantic segmentation of tissue regions in histology images is a prerequisite. However, delineating different tissue regions manually is a laborious, time-consuming and costly task that requires expert knowledge. On the other hand, the state-of-the-art automatic deep learning models for semantic segmentation require lots of annotated training data and there are only a limited number of tissue region annotated images publicly available. To obviate this issue in computational pathology projects and collect large-scale region annotations efficiently, we propose an efficient interactive segmentation network that requires minimum input from the user to accurately annotate different tissue types in the histology image. The user is only required to draw a simple squiggle inside each region of interest so it will be used as the guiding signal for the model. To deal with the complex appearance and amorph geometry of different tissue regions we introduce several automatic and minimalistic guiding signal generation techniques that help the model to become robust against the variation in the user input. By experimenting on a dataset of breast cancer images, we show that not only does our proposed method speed up the interactive annotation process, it can also outperform the existing automatic and interactive region segmentation models.


title: Quantum scattering as a work source

abstract: We consider a collision between a moving particle and a fixed system, each having internal degrees of freedom. We identify the regime where the motion of the particle acts as a work source for the joint internal system, leading to energy changes which preserve the entropy. This regime arises when the particle has high kinetic energy and its quantum state of motion is broad in momentum and narrow in space, whether pure or mixed. In this case, the scattering map ruling the dynamics of the internal degrees of freedom becomes unitary and equivalent to that of a time-dependent interaction between the internal degrees of freedom of the colliding systems. It follows that the kinetic energy lost by the particle during the autonomous quantum collision coincides with the work performed by the time-dependent interaction. Recently, collisions with particles were shown to act as heat sources under suitable conditions; here we show that they can also act as work sources. This opens interesting perspectives for quantum thermodynamics formulations within scattering theory.


title: Collaboration in the Time of COVID: A Scientometric Analysis of Multidisciplinary SARS-CoV-2 Research

abstract: The novel coronavirus SARS-CoV-2 and the COVID-19 illness it causes have inspired unprecedented levels of multidisciplinary research in an effort to address a generational public health challenge. In this work we conduct a scientometric analysis of COVID-19 research, paying particular attention to the nature of collaboration that this pandemic has fostered among different disciplines. Increased multidisciplinary collaboration has been shown to produce greater scientific impact, albeit with higher co-ordination costs. As such, we consider a collection of over 166,000 COVID-19-related articles to assess the scale and diversity of collaboration in COVID-19 research, which we compare to non-COVID-19 controls before and during the pandemic. We show that COVID-19 research teams are not only significantly smaller than their non-COVID-19 counterparts, but they are also more diverse. Furthermore, we find that COVID-19 research has increased the multidisciplinarity of authors across most scientific fields of study, indicating that COVID-19 has helped to remove some of the barriers that usually exist between disparate disciplines. Finally, we highlight a number of interesting areas of multidisciplinary research during COVID-19, and propose methodologies for visualising the nature of multidisciplinary collaboration, which may have application beyond this pandemic.


title: A new approach to semi-inclusive deep-inelastic scattering with QED and QCD factorization

abstract: We present the details of a new factorized approach to semi-inclusive deep-inelastic scattering which treats QED and QCD radiation on equal footing, and provides a systematically improvable approximation to the extraction of transverse momentum dependent parton distributions. We demonstrate how the QED contributions can be well approximated by collinear factorization, and illustrate the application of the factorized approach to QED radiation in inclusive scattering. For semi-inclusive processes, we show how radiation effects prevent a well-defined "photon-nucleon" frame, forcing one to use a two-step process to account for the radiation. We illustrate the utility of the new method by explicit application to the spin-dependent Sivers and Collins asymmetries.


title: Trace decreasing quantum dynamical maps: Divisibility and entanglement dynamics

abstract: Trace decreasing quantum operations naturally emerge in experiments involving postselection. However, the experiments usually focus on dynamics of the conditional output states as if the dynamics were trace preserving. Here we show that this approach leads to incorrect conclusions about the dynamics divisibility, namely, one can observe an increase in the trace distance or the system-ancilla entanglement although the trace decreasing dynamics is completely positive divisible. We propose solutions to that problem and introduce proper indicators of the information backflow and the indivisibility. We also review a recently introduced concept of the generalized erasure dynamics that includes more experimental data in the dynamics description. The ideas are illustrated by explicit physical examples of polarization dependent losses.


title: ML-based IoT Malware Detection Under Adversarial Settings: A Systematic Evaluation

abstract: The rapid growth of the Internet of Things (IoT) devices is paralleled by them being on the front-line of malicious attacks. This has led to an explosion in the number of IoT malware, with continued mutations, evolution, and sophistication. These malicious software are detected using machine learning (ML) algorithms alongside the traditional signature-based methods. Although ML-based detectors improve the detection performance, they are susceptible to malware evolution and sophistication, making them limited to the patterns that they have been trained upon. This continuous trend motivates the large body of literature on malware analysis and detection research, with many systems emerging constantly, and outperforming their predecessors. In this work, we systematically examine the state-of-the-art malware detection approaches, that utilize various representation and learning techniques, under a range of adversarial settings. Our analyses highlight the instability of the proposed detectors in learning patterns that distinguish the benign from the malicious software. The results exhibit that software mutations with functionality-preserving operations, such as stripping and padding, significantly deteriorate the accuracy of such detectors. Additionally, our analysis of the industry-standard malware detectors shows their instability to the malware mutations.


title: Force Detection of Electromagnetic Beam Chirality at the Nanoscale

abstract: Many nanophotonic applications require precise control and characterization of electromagnetic field properties at the nanoscale. The chiral properties of the field are among its key characteristics, yet measurement of optical chirality at dimensions beyond the diffraction limit has proven difficult. Here we theoretically show that the chiral properties of light can be characterized down to the nanometer scale by means of force detection. To measure the chiral properties of a beam of given handedness at the nanoscale, we determine the photo-induced force exerted on a sharp tip, which is illuminated first by the beam of interest and second by an auxiliary beam of opposite handedness, in a sequential manner. We show that the difference between the force measurements is directly proportional to the chiral properties of the beam of interest. In particular, the gradient force difference $\Delta\langle F_{grad, z}\rangle$ is found to have exclusive correspondence to the time-averaged helicity density of the incident light, whereas the differential scattering force provides information about the spin angular momentum density of light. We further characterize and quantify the helicity-dependent $\Delta\langle F_{grad, z}\rangle$ using a Mie scattering formalism complemented with full wave simulations, underlining that the magnitude of the difference force is within an experimentally detectable range.


title: Benchmarking variational quantum eigensolvers for the square-octagon-lattice Kitaev model

abstract: Quantum spin systems may offer the first opportunities for beyond-classical quantum computations of scientific interest. While general quantum simulation algorithms likely require error-corrected qubits, there may be applications of scientific interest prior to the practical implementation of quantum error correction. The variational quantum eigensolver (VQE) is a promising approach to finding energy eigenvalues on noisy quantum computers. Lattice models are of broad interest for use on near-term quantum hardware due to the sparsity of the number of Hamiltonian terms and the possibility of matching the lattice geometry to the hardware geometry. Here, we consider the Kitaev spin model on a hardware-native square-octagon qubit connectivity map, and examine the possibility of efficiently probing its rich phase diagram with VQE approaches. By benchmarking different choices of variational Ansatz states and classical optimizers, we illustrate the advantage of a mixed optimization approach using the Hamiltonian variational Ansatz (HVA) and the potential of probing the system's phase diagram using VQE. We further demonstrate the implementation of HVA circuits on Rigetti's Aspen-9 chip with error mitigation.


title: City-Scale Holographic Traffic Flow Data based on Vehicular Trajectory Resampling

abstract: Despite abundant accessible traffic data, researches on traffic flow estimation and optimization still face the dilemma of detailedness and integrity in the measurement. A dataset of city-scale vehicular continuous trajectories featuring the finest resolution and integrity, as known as the holographic traffic data, would be a breakthrough, for it could reproduce every detail of the traffic flow evolution and reveal the personal mobility pattern within the city. Due to the high coverage of Automatic Vehicle Identification (AVI) devices in Xuancheng city, we constructed one-month continuous trajectories of daily 80,000 vehicles in the city with accurate intersection passing time and no travel path estimation bias. With such holographic traffic data, it is possible to reproduce every detail of the traffic flow evolution. We presented a set of traffic flow data based on the holographic trajectories resampling, covering the whole 482 road segments in the city round the clock, including stationary average speed and flow data of 5-minute intervals and dynamic floating car data.


title: Global Non-Linearly Stable Large-Data Solutions to the Einstein Scalar Field System

abstract: I study a class of global, causal geodesically complete solutions to the spherically symmetric Einstein scalar field (SSESF) system . Extending results of Luk-Oh (Quantitative Decay Rates for Dispersive Solutions to the Einstein-Scalar Field System in Spherical Symmetry, arXiv:1402.2984), Luk-Oh-Yang (Solutions to the Einstein-Scalar-Field System in Spherical Symmetry with Large Bounded Variation Norms, arXiv:1605.03893), I provide new bounds controlling higher derivatives of both the metric components of the solution and the scalar field itself for large data solutions to SSESF. Moreover, by constructing a particular set of generalized wave-coordinates, I show that, assuming sufficient regularity of the data, these solutions are globally non-linearly stable to non-spherically symmetric perturbations by recent results of Luk and Oh. In particular, I demonstrate the existence of a large collection of non-trivial examples of large data, globally nonlinearly stable, dispersive solutions to the Einstein scalar field system.


title: MultPIM: Fast Stateful Multiplication for Processing-in-Memory

abstract: Processing-in-memory (PIM) seeks to eliminate computation/memory data transfer using devices that support both storage and logic. Stateful logic techniques such as IMPLY, MAGIC and FELIX can perform logic gates within memristive crossbar arrays with massive parallelism. Multiplication via stateful logic is an active field of research due to the wide implications. Recently, RIME has become the state-of-the-art algorithm for stateful single-row multiplication by using memristive partitions, reducing the latency of the previous state-of-the-art by 5.1x. In this paper, we begin by proposing novel partition-based computation techniques for broadcasting and shifting data. Then, we design an in-memory multiplication algorithm based on the carry-save add-shift (CSAS) technique. Finally, we develop a novel stateful full-adder that significantly improves the state-of-the-art (FELIX) design. These contributions constitute MultPIM, a multiplier that reduces state-of-the-art time complexity from quadratic to linear-log. For 32-bit numbers, MultPIM improves latency by an additional 4.2x over RIME, while even slightly reducing area overhead. Furthermore, we optimize MultPIM for full-precision matrix-vector multiplication and improve latency by 25.5x over FloatPIM matrix-vector multiplication.


title: Global nonlinear stability of large dispersive solutions to the Einstein equations

abstract: We extend the monumental result of Christodoulou-Klainerman on the global nonlinear stability of the Minkowski spacetime to the global nonlinear stability of a class of large dispersive spacetimes. More precisely, we show that any regular future causally geodesically complete, asymptotically flat solution to the Einstein-scalar field system which approaches the Minkowski spacetime sufficiently fast for large times is future globally nonlinearly stable. Combining our main theorem with results of Luk-Oh, Luk-Oh-Yang and Kilgore, we prove that a class of large data spherically symmetric dispersive solutions to the Einstein-scalar field system are globally nonlinearly stable with respect to small non-spherically symmetric perturbations. This in particular gives the first construction of an open set of large asymptotically flat initial data for which the solutions to the Einstein-scalar field system are future causally geodesically complete.


title: On standardised moments of force distribution in simple liquids

abstract: The force distribution of a tagged atom in a Lennard-Jones fluid in the canonical ensemble is studied with a focus on its dependence on inherent physical parameters: number density ($n$) and temperature ($T$). Utilising structural information from molecular dynamics simulations of the Lennard-Jones fluid, explicit analytical expressions for the dependence of standardised force moments on $n$ and $T$ are derived. Leading order behaviour of standardised moments of the force distribution are obtained in the limiting cases of small density ($n \rightarrow 0$) and low temperature ($T \rightarrow 0$), while the variations in the standardised moments are probed for general $n$ and $T$ using molecular dynamics simulations. Clustering effects are seen in molecular dynamics simulations and their effect on these standardised moments is discussed.


title: Trustworthy AI for Process Automation on a Chylla-Haase Polymerization Reactor

abstract: In this paper, genetic programming reinforcement learning (GPRL) is utilized to generate human-interpretable control policies for a Chylla-Haase polymerization reactor. Such continuously stirred tank reactors (CSTRs) with jacket cooling are widely used in the chemical industry, in the production of fine chemicals, pigments, polymers, and medical products. Despite appearing rather simple, controlling CSTRs in real-world applications is quite a challenging problem to tackle. GPRL utilizes already existing data from the reactor and generates fully automatically a set of optimized simplistic control strategies, so-called policies, the domain expert can choose from. Note that these policies are white-box models of low complexity, which makes them easy to validate and implement in the target control system, e.g., SIMATIC PCS 7. However, despite its low complexity the automatically-generated policy yields a high performance in terms of reactor temperature control deviation, which we empirically evaluate on the original reactor template.


title: Exploring Multi-Tasking Learning in Document Attribute Classification

abstract: In this work, we adhere to explore a Multi-Tasking learning (MTL) based network to perform document attribute classification such as the font type, font size, font emphasis and scanning resolution classification of a document image. To accomplish these tasks, we operate on either segmented word level or on uniformed size patches randomly cropped out of the document. Furthermore, a hybrid convolution neural network (CNN) architecture "MTL+MI", which is based on the combination of MTL and Multi-Instance (MI) of patch and word is used to accomplish joint learning for the classification of the same document attributes. The contribution of this paper are three fold: firstly, based on segmented word images and patches, we present a MTL based network for the classification of a full document image. Secondly, we propose a MTL and MI (using segmented words and patches) based combined CNN architecture ("MTL+MI") for the classification of same document attributes. Thirdly, based on the multi-tasking classifications of the words and/or patches, we propose an intelligent voting system which is based on the posterior probabilities of each words and/or patches to perform the classification of document's attributes of complete document image.


title: Attosecond multi-photon multi-electron dynamics

abstract: Multi-electron dynamics in atoms and molecules very often occur on sub- to few-femtosecond timescales. The available intensities of extreme-ultraviolet (XUV) attosecond pulses have previously only allowed the time-resolved investigation of two-photon, two-electron interactions. Here we demonstrate attosecond control over double and triple ionization of argon atoms involving the absorption of up to five XUV photons. In an XUV-pump XUV-probe measurement using a pair of attosecond pulse trains (APTs), the Ar$^{2+}$ ion yield exhibits a weak delay dependence, showing that its generation predominantly results from the sequential emission of two electrons by photoabsorption from the two APTs. In contrast, the Ar$^{3+}$ ion yield exhibits strong modulations as a function of the delay, which is a clear signature of the simultaneous absorption of at least two XUV photons. The experimental results are well reproduced by numerical calculations that provide detailed insights into the ionization dynamics. Our results open up new opportunities for the investigation and control of multi-electron dynamics and complex electron correlation mechanisms on extremely short timescales.


title: Minimally-modeled search of higher multipole gravitational-wave radiation in compact binary coalescence

abstract: As the Advanced LIGO and Advanced Virgo interferometers, soon to be joined by the KAGRA interferometer, increase their sensitivity, they detect an ever-larger number of gravitational waves with a significant presence of higher multipoles in addition to the dominant $(2, 2)$ multipole. These higher multipoles can be detected with different approaches, such as the minimally-modeled burst search methods, and here we discuss one such approach based on the coherent WaveBurst pipeline (cWB). During the inspiral phase the higher multipoles produce chirps whose instantaneous frequency is a multiple of the dominant (2, 2) multipole, and here we describe how cWB can be used to detect these spectral features. The search is performed within suitable regions of the time-frequency representation; their shape is determined by optimizing the Receiver Operating Characteristics. This novel method has already been used in the GW190814 discovery paper (Astrophys. J. Lett. 896 L44) and is very fast and flexible. Here we describe in full detail the procedure used to detect the (3,3) multipole in GW190814 as well as searches for other higher multipoles during the inspiral phase, and apply it to another event that displays higher multipoles, GW190412, replicating the results obtained with different methods. The procedure described here can be used for the fast analysis of higher multipoles and to support the findings obtained with the model-based Bayesian parameter estimates


title: On the signatures of non-topological patches on the surface of topological insulators

abstract: The non-trivial topology in the layered $\text{FeTe}_{0.55}\text{Se}_{0.45}$ (FTS) superconductor has been suggested by both theory and experiment to be strongly dependent on the Te concentration. Motivated by this together with the Te fluctuations expected from alloy disorder, we develop a simple layered model for a strong topological insulator that allows us to describe a scenario where topologically trivial domains permeate the sample. We refer to such a phase as topological domain disordered and study the local density (LDOS) of the topological surface states that can be measured using scanning tunneling spectroscopy (STS) in this phase. We find that topologically trivial domains on the surface, where one would expect the topological surface state to be absent, appear as regions of suppressed LDOS surrounded by domain walls with enhanced LDOS. Furthermore, we show that studying the energy dependence of the STS should allow us to distinguish the topologically trivial parts of the surface from other forms of disorder. Finally, we discuss implications of such local disappearance of the topological surface states for the observation of Majorana modes in vortices.


title: Multi-wavelength Optical and NIR Variability Analysis of the Blazar PKS 0027-426

abstract: We present multi-wavelength spectral and temporal variability analysis of PKS 0027-426 using optical griz observations from DES (Dark Energy Survey) between 2013-2018 and VOILETTE (VEILS Optical Light curves of Extragalactic TransienT Events) between 2018-2019 and near infrared (NIR) JKs observations from VEILS (VISTAExtragalactic Infrared Legacy Survey) between 2017-2019. Multiple methods of cross-correlation of each combination of light curve provides measurements of possible lags between optical-optical, optical-NIR, and NIR-NIR emission, for each observation season and for the entire observational period. Inter-band time lag measurements consistently suggest either simultaneous emission or delays between emission regions on timescales smaller than the cadences of observations. The colour-magnitude relation between each combination of filters was also studied to determine the spectral behaviour of PKS 0027-426. Our results demonstrate complex colour behaviour that changes between bluer when brighter (BWB), stable when brighter (SWB) and redder when brighter (RWB) trends over different timescales and using different combinations of optical filters. Additional analysis of the optical spectra is performed to provide further understanding of this complex spectral behaviour.


title: Ovarian Cancer Prediction from Ovarian Cysts Based on TVUS Using Machine Learning Algorithms

abstract: Ovarian Cancer (OC) is type of female reproductive malignancy which can be found among young girls and mostly the women in their fertile or reproductive. There are few number of cysts are dangerous and may it cause cancer. So, it is very important to predict and it can be from different types of screening are used for this detection using Transvaginal Ultrasonography (TVUS) screening. In this research, we employed an actual datasets called PLCO with TVUS screening and three machine learning (ML) techniques, respectively Random Forest KNN, and XGBoost within three target variables. We obtained a best performance from this algorithms as far as accuracy, recall, f1 score and precision with the approximations of 99.50%, 99.50%, 99.49% and 99.50% individually. The AUC score of 99.87%, 98.97% and 99.88% are observed in these Random Forest, KNN and XGB algorithms .This approach helps assist physicians and suspects in identifying ovarian risks early on, reducing ovarian malignancy-related complications and deaths.


title: 'Phase Transition' in the 'Thorium-Isomer Story'

abstract: Given the drastic progress achieved during recent years in our knowledge on the decay and nuclear properties of the thorium isomer 229mTh, the focus of research on this potential nuclear clock transition will turn in the near future from the nuclear physics driven `search and characterization phase' towards a laser physics driven `consolidation and realization phase'. This prepares the path towards the ultimate goal of the realization of a nuclear frequency standard, the `Nuclear Clock'. This article briefly summarizes our present knowledge, focusing on recent achievements, and points to the next steps envisaged on the way towards the Nuclear Clock.


title: Exploiting the Electrothermal Timescale in PrMnO3 RRAM for a compact, clock-less neuron exhibiting biological spiking patterns

abstract: Spiking Neural Networks (SNNs) are gaining widespread momentum in the field of neuromorphic computing. These network systems integrated with neurons and synapses provide computational efficiency by mimicking the human brain. It is desired to incorporate the biological neuronal dynamics, including complex spiking patterns which represent diverse brain activities within the neural networks. Earlier hardware realization of neurons was (1) area intensive because of large capacitors in the circuit design, (2) neuronal spiking patterns were demonstrated with clocked neurons at the device level. To achieve more realistic biological neuron spiking behavior, emerging memristive devices are considered promising alternatives. In this paper, we propose, PrMnO3(PMO) -RRAM device-based neuron. The voltage-controlled electrothermal timescales of the compact PMO RRAM device replace the electrical timescales of charging a large capacitor. The electrothermal timescale is used to implement an integration block with multiple voltage-controlled timescales coupled with a refractory block to generate biological neuronal dynamics. Here, first, a Verilog-A implementation of the thermal device model is demonstrated, which captures the current-temperature dynamics of the PMO device. Second, a driving circuitry is designed to mimic different spiking patterns of cortical neurons, including Intrinsic bursting (IB) and Chattering (CH). Third, a neuron circuit model is simulated, which includes the PMO RRAM device model and the driving circuitry to demonstrate the asynchronous neuron behavior. Finally, a hardware-software hybrid analysis is done in which the PMO RRAM device is experimentally characterized to mimic neuron spiking dynamics. The work presents a realizable and more biologically comparable hardware-efficient solution for large-scale SNNs.


title: Asymptotics of K\"ahler-Einstein metrics on complex hyperbolic cusps

abstract: Let $L$ be a negative holomorphic line bundle over an $(n-1)$-dimensional complex torus $D$. Let $h$ be a Hermitian metric on $L$ such that the curvature form of the dual Hermitian metric defines a flat K\"ahler metric on $D$. Then $h$ is unique up to scaling, and, for some closed tubular neighborhood $V$ of the zero section $D \subset L$, the form $\omega_h = -(n+1)i\partial\overline\partial\log(-{\log h})$ defines a complete K\"ahler-Einstein metric on $V \setminus D$ with ${\rm Ric}(\omega_h) = -\omega_h$. In fact, $\omega_h$ is complex hyperbolic, i.e., the holomorphic sectional curvature of $\omega_h$ is constant, and $\omega_h$ has the usual doubly-warped cusp structure familiar from complex hyperbolic geometry. In this paper, we prove that if $U$ is another closed tubular neighborhood of the zero section and if $\omega$ is a complete K\"ahler-Einstein metric with ${\rm Ric}(\omega) = -\omega$ on $U \setminus D$, then there exist a Hermitian metric $h$ as above and a $\delta \in \mathbb{R}^+$ such that $\omega - \omega_{h} = O(e^{-\delta\sqrt{-{\log h}}})$ to all orders with respect to $\omega_h$ as $h \to 0$. This rate is doubly exponential in the distance from a fixed point, and is sharp.


title: Search for dark matter produced in association with a Standard Model Higgs boson decaying into $b$-quarks using the full Run 2 dataset from the ATLAS detector

abstract: The production of dark matter in association with Higgs bosons is predicted in several extensions of the Standard Model. An exploration of such scenarios is presented, considering final states with missing transverse momentum and $b$-tagged jets consistent with a Higgs boson. The analysis uses proton-proton collision data at a centre-of-mass energy of 13 TeV recorded by the ATLAS experiment at the LHC during Run 2, amounting to an integrated luminosity of 139 fb$^{-1}$. The analysis, when compared with previous searches, benefits from a larger dataset, but also has further improvements providing sensitivity to a wider spectrum of signal scenarios. These improvements include both an optimised event selection and advances in the object identification, such as the use of the likelihood-based significance of the missing transverse momentum and variable-radius track-jets. No significant deviation from Standard Model expectations is observed. Limits are set, at 95% confidence level, in two benchmark models with two Higgs doublets extended by either a heavy vector boson $Z'$ or a pseudoscalar singlet $a$ and which both provide a dark matter candidate $\chi$. In the case of the two-Higgs-doublet model with an additional vector boson $Z'$, the observed limits extend up to a $Z'$ mass of 3 TeV for a mass of 100 GeV for the dark matter candidate. The two-Higgs-doublet model with a dark matter particle mass of 10 GeV and an additional pseudoscalar $a$ is excluded for masses of the $a$ up to 520 GeV and 240 GeV for $\tan \beta = 1$ and $\tan \beta = 10$ respectively. Limits on the visible cross-sections are set and range from 0.05 fb to 3.26 fb, depending on the missing transverse momentum and $b$-quark jet multiplicity requirements.


title: Higher Deformation Quantization for Kapustin-Witten Theories

abstract: We pursue a uniform quantization of all twists of 4-dimensional N = 4 supersymmetric Yang-Mills theory, using the BV formalism, and we explore consequences for factorization algebras of observables. Our central result is the construction of a one-loop exact quantization on $\mathbb R^4$ for all such twists and for every point in a moduli of vacua. When an action of the group SO(4) can be defined - for instance, for Kapustin and Witten's family of twists - the associated framing anomaly vanishes. It follows that the local observables in such theories can be canonically described by a family of framed $\mathbb E_4$ algebras; this structure allows one to take the factorization homology of observables on any oriented 4-manifold. In this way, each Kapustin-Witten theory yields a fully extended, oriented 4-dimensional topological field theory \`a la Lurie and Scheimbauer.


title: Seminar Learning for Click-Level Weakly Supervised Semantic Segmentation

abstract: Annotation burden has become one of the biggest barriers to semantic segmentation. Approaches based on click-level annotations have therefore attracted increasing attention due to their superior trade-off between supervision and annotation cost. In this paper, we propose seminar learning, a new learning paradigm for semantic segmentation with click-level supervision. The fundamental rationale of seminar learning is to leverage the knowledge from different networks to compensate for insufficient information provided in click-level annotations. Mimicking a seminar, our seminar learning involves a teacher-student and a student-student module, where a student can learn from both skillful teachers and other students. The teacher-student module uses a teacher network based on the exponential moving average to guide the training of the student network. In the student-student module, heterogeneous pseudo-labels are proposed to bridge the transfer of knowledge among students to enhance each other's performance. Experimental results demonstrate the effectiveness of seminar learning, which achieves the new state-of-the-art performance of 72.51% (mIOU), surpassing previous methods by a large margin of up to 16.88% on the Pascal VOC 2012 dataset.


title: Topology of augmented Bergman complexes

abstract: The augmented Bergman complex of a matroid is a simplicial complex introduced recently in work of Braden, Huh, Matherne, Proudfoot and Wang. It may be viewed as a hybrid of two well-studied pure shellable simplicial complexes associated to matroids: the independent set complex and Bergman complex. It is shown here that the augmented Bergman complex is also shellable, via two different families of shelling orders. Furthermore, comparing the description of its homotopy type induced from the two shellings re-interprets a known convolution formula counting bases of the matroid. The representation of the automorphism group of the matroid on the homology of the augmented Bergman complex turns out to have a surprisingly simple description. This last fact is generalized to closures beyond those coming from a matroid.


title: A practical guide to causal discovery with cohort data

abstract: In this guide, we present how to perform constraint-based causal discovery using three popular software packages: pcalg (with add-ons tpc and micd), bnlearn, and TETRAD. We focus on how these packages can be used with observational data and in the presence of mixed data (i.e., data where some variables are continuous, while others are categorical), a known time ordering between variables, and missing data. Throughout, we point out the relative strengths and limitations of each package, as well as give practical recommendations. We hope this guide helps anyone who is interested in performing constraint-based causal discovery on their data.


title: Noisy Labels for Weakly Supervised Gamma Hadron Classification

abstract: Gamma hadron classification, a central machine learning task in gamma ray astronomy, is conventionally tackled with supervised learning. However, the supervised approach requires annotated training data to be produced in sophisticated and costly simulations. We propose to instead solve gamma hadron classification with a noisy label approach that only uses unlabeled data recorded by the real telescope. To this end, we employ the significance of detection as a learning criterion which addresses this form of weak supervision. We show that models which are based on the significance of detection deliver state-of-the-art results, despite being exclusively trained with noisy labels; put differently, our models do not require the costly simulated ground-truth labels that astronomers otherwise employ for classifier training. Our weakly supervised models exhibit competitive performances also on imbalanced data sets that stem from a variety of other application domains. In contrast to existing work on class-conditional label noise, we assume that only one of the class-wise noise rates is known.


title: On the birational section conjecture with strong birationality assumptions

abstract: Let $X$ be a curve over a field $k$ finitely generated over $\mathbb{Q}$ and $t$ an indeterminate. We prove that, if $s$ is a section of $\pi_{1}(X)\to\operatorname{Gal}(k)$ such that the base change $s_{k(t)}$ is birationally liftable, then $s$ comes from geometry. As a consequence we prove that the section conjecture is equivalent to the cuspidalization of all sections over all finitely generated fields.


title: Janus solutions from dyonic ISO(7) maximal gauged supergravity

abstract: We give a large class of new supersymmetric Janus solutions in dyonic $ISO(7)$ maximal gauged supergravity encompassing all known solutions appearing recently. We consider $SO(3)$ invariant sector in which the gauged supergravity admits four supersymmetric $AdS_4$ vacua with $N=1,1,2,3$ unbroken supersymmetries and $G_2$, $SU(3)$, $SU(3)\times U(1)$ and $SO(4)$ symmetries, respectively. We find Janus solutions preserving $N=1,2,3$ supersymmetries and interpolating between $AdS_4$ vacua and the $N=8$ SYM phase. These solutions can be interpreted as conformal interfaces between SYM and various conformal phases of the dual field theory in three dimensions. The solutions can also be embedded in massive type IIA theory by a consistent truncation on $S^6$. We also find a number of singular Janus solutions interpolating between $N=8$ SYM or $AdS_4$ vacua and singularities or between singular geometries. It turns out that, apart from the SYM phase on D2-branes, all the singularities arising in these solutions are unphysical in both four- and ten-dimensional frameworks.


title: New Constraints on Cosmic Particle Populations at the Galactic Center using X-ray Observations of the Molecular Cloud Sagittarius B2

abstract: The Sagittarius B2 (Sgr B2) molecular cloud complex is an X-ray reflection nebula whose total emissions have continued to decrease since 2001 as it reprocesses one or more past energetic outbursts from the supermassive black hole Sagittarius A*. The X-ray reflection model explains the observed time variability and provides a window into the luminous evolutionary history of our nearest supermassive black hole. In light of evidence of elevated cosmic particle populations in the Galactic Center, X-rays from Sgr B2 are also of interest as a probe of low-energy (sub-GeV) cosmic rays, which may be responsible for an increasing relative fraction of the nonthermal X-ray emission as the contribution from X-ray reflection decreases. Here, we present the most recent deep NuSTAR and XMM-Newton observations of Sgr B2, from 2018. These reveal small-scale variations within lower-density portions of the complex, including brightening features, yet still enable upper limits on X-rays from low-energy cosmic particle interactions in Sgr B2. We present Fe K$\alpha$ fluxes from cloud regions of different densities, facilitating comparison with models of ambient LECR interactions throughout the cloud.


title: Nonlinear material identification of heterogeneous isogeometric Kirchhoff-Love shells

abstract: This work presents a Finite Element Model Updating inverse methodology for reconstructing heterogeneous material distributions based on an efficient isogeometric shell formulation. It uses nonlinear hyperelastic material models suitable for describing incompressible material behavior as well as initially curved shells. The material distribution is discretized by bilinear elements such that the nodal values are the design variables to be identified. Independent FE analysis and material discretization, as well as flexible incorporation of experimental data, offer high robustness and control. Three elementary test cases and one application example, which exhibit large deformations and different challenges, are considered: uniaxial tension, pure bending, sheet inflation, and abdominal wall pressurization. Experiment-like results are generated from high-resolution simulations with the subsequent addition of up to 4% noise. Local optimization based on the trust-region approach is used. The results show that with a sufficient number of experimental measurements, design variables and analysis elements, the algorithm is capable to reconstruct material distributions with high precision even in the presence of large noise. The proposed formulation is very general, facilitating its extension to other material models, optimization algorithms and meshing approaches. Adapted material discretizations allow for an efficient and accurate reconstruction of material discontinuities by avoiding overfitting due to superfluous design variables. For increased computational efficiency, the analytical sensitivities and Jacobians are provided.


title: Quantum-classical eigensolver using multiscale entanglement renormalization

abstract: We propose a variational quantum eigensolver (VQE) for the simulation of strongly-correlated quantum matter based on a multi-scale entanglement renormalization ansatz (MERA) and gradient-based optimization. This MERA quantum eigensolver can have substantially lower computation costs than corresponding classical algorithms. Due to its narrow causal cone, the algorithm can be implemented on noisy intermediate-scale quantum (NISQ) devices and still describe large systems. It is particularly attractive for ion-trap devices with ion-shuttling capabilities. The number of required qubits is system-size independent, and increases only to a logarithmic scaling when using quantum amplitude estimation to speed up gradient evaluations. Translation invariance can be used to make computation costs square-logarithmic in the system size and describe the thermodynamic limit. We demonstrate the approach numerically for a MERA with Trotterized disentanglers and isometries. With a few Trotter steps, one recovers the accuracy of the full MERA.


title: Explicit equations of 800 conics on a Barth-Bauer quartic

abstract: We present equations of $800$ conics on a Mukai's smooth quartic which is an explicit model of a K3 surface recently considered by Alex Degtyarev. The number $800$ is a current record for the number of irreducible conics on a smooth quartic in ordinary projective space.


title: Dependent Bayesian nonparametric modeling of compositional data using random Bernstein polynomials

abstract: We discuss Bayesian nonparametric procedures for the regression analysis of compositional responses, that is, data supported on a multivariate simplex. The procedures are based on a modified class of multivariate Bernstein polynomials and on the use of dependent stick-breaking processes. A general model and two simplified versions of the general model are discussed. Appealing theoretical properties such as continuity, association structure, support, and consistency of the posterior distribution are established. Additionally, we exploit the use of spike-and-slab priors for choosing the version of the model that best adapts to the complexity of the underlying true data-generating distribution. The performance of the proposed model is illustrated in a simulation study and in an application to solid waste data from Colombia.


title: SINDy with Control: A Tutorial

abstract: Many dynamical systems of interest are nonlinear, with examples in turbulence, epidemiology, neuroscience, and finance, making them difficult to control using linear approaches. Model predictive control (MPC) is a powerful model-based optimization technique that enables the control of such nonlinear systems with constraints. However, modern systems often lack computationally tractable models, motivating the use of system identification techniques to learn accurate and efficient models for real-time control. In this tutorial article, we review emerging data-driven methods for model discovery and how they are used for nonlinear MPC. In particular, we focus on the sparse identification of nonlinear dynamics (SINDy) algorithm and show how it may be used with MPC on an infectious disease control example. We compare the performance against MPC based on a linear dynamic mode decomposition (DMD) model. Code is provided to run the tutorial examples and may be modified to extend this data-driven control framework to arbitrary nonlinear systems.


title: Stochastic Uncertainty Propagation in Power System Dynamics using Measure-valued Proximal Recursions

abstract: We present a proximal algorithm that performs a variational recursion on the space of joint probability measures to propagate the stochastic uncertainties in power system dynamics over high dimensional state space. The proposed algorithm takes advantage of the exact nonlinearity structures in the trajectory-level dynamics of the networked power systems, and is nonparametric. Lifting the dynamics to the space of probability measures allows us to design a scalable algorithm that obviates gridding the underlying high dimensional state space which is computationally prohibitive. The proximal recursion implements a generalized infinite dimensional gradient flow, and evolves probability-weighted scattered point clouds. We clarify the theoretical nuances and algorithmic details specific to the power system nonlinearities, and provide illustrative numerical examples.


title: Generalized sum-free sets and cycle saturated regular graphs

abstract: Gerbner, Patk\'{o}s, Tuza, and Vizer recently initiated the study of $F$-saturated regular graphs. One of the essential problems in this line of research is determining when such a graph exists. Using generalized sum-free sets we prove that for any odd integer $k \geq 5$, there is an $n$-vertex regular $C_k$-saturated graph for all $n \geq n_k$. Our proof is based on constructing a special type of sum-free set in $\mathbb{Z}_n$. We prove that for all even $\ell \geq 4$ and integers $n > 12 \ell^2 + 36 \ell + 24$, there is a symmetric complete $( \ell , 1)$-sum-free set in $\mathbb{Z}_n$. We pose the problem of finding the minimum size of such a set, and present some examples found by a computer search.


title: Road Network Evolution in the Urban and Rural United States Since 1900

abstract: Road networks represent a key component of human settlements, such as cities, towns, and villages, that mediate pollution and congestion, as well as economic development. However, little is known about the long-term development trajectories of road networks in rural and urban settings. We leverage novel spatial data sources to reconstruct and analyze road networks in more than 850 US cities and over 2,500 US counties since 1900. Our analysis reveals significant variations in the structure of roads both within cities and across the conterminous US. Despite differences in the evolution of these networks, there are commonalities and strong geographic patterns. These results persist across the rural-urban continuum and are therefore not just a product of accelerated urban growth. These findings refine and extend existing knowledge and illuminate the need for policies for urban and rural planning including the critical assessment of new development trends.


title: View Synthesis of Dynamic Scenes based on Deep 3D Mask Volume

abstract: Image view synthesis has seen great success in reconstructing photorealistic visuals, thanks to deep learning and various novel representations. The next key step in immersive virtual experiences is view synthesis of dynamic scenes. However, several challenges exist due to the lack of high-quality training datasets, and the additional time dimension for videos of dynamic scenes. To address this issue, we introduce a multi-view video dataset, captured with a custom 10-camera rig in 120FPS. The dataset contains 96 high-quality scenes showing various visual effects and human interactions in outdoor scenes. We develop a new algorithm, Deep 3D Mask Volume, which enables temporally-stable view extrapolation from binocular videos of dynamic scenes, captured by static cameras. Our algorithm addresses the temporal inconsistency of disocclusions by identifying the error-prone areas with a 3D mask volume, and replaces them with static background observed throughout the video. Our method enables manipulation in 3D space as opposed to simple 2D masks, We demonstrate better temporal stability than frame-by-frame static view synthesis methods, or those that use 2D masks. The resulting view synthesis videos show minimal flickering artifacts and allow for larger translational movements.


title: Disordered boundaries destroy bulk phase separation in scalar active matter

abstract: We show that disordered boundaries destroy bulk phase separation in scalar active systems in dimension $d<d_c=3$. This is in strong contrast with the equilibrium case where boundaries have no impact on the bulk of phase-separated systems. The underlying mechanism is revealed by considering a localized deformation of an otherwise flat wall, from which the case of a disordered boundary can be inferred. We find long-ranged correlations of the density field as well as a cascade of eddies which we show prevent bulk phase separation in low enough dimensions. The results are derived for dilute systems as well as in the presence of interactions, under the sole condition that the density field is the unique hydrodynamic mode. Our theoretical calculations are validated by numerical simulations of microscopic active systems.


title: Digital quantum simulation and Pseudoquantum Simulation of $\mathbb{Z}_2$ Gauge Higgs Model

abstract: We present a quantum algorithm for digital quantum simulation of the $\mathbb{Z}_2$ gauge-Higgs model on a $3\times 3$ lattice, which is based on Trotter decomposition, the quantum adiabatic algorithm and its circuit realization. Then we perform a classical demonstration, dubbed a pseudoquantum simulation, on a GPU simulator. We obtain useful results on this model, which suggest the topological properties of the deconfined phase and help to clarify the phase diagram. It is suggested that the tricitical point, where the second-order critical lines of deconfinement-confinement transition and of deconfinement-Higgs transition meet, seems to be on the the first-order critical line of confinement-Higgs transition, at a point other than the end of this critical line.


title: Out-of-Time-Ordered Crystals and Fragmentation

abstract: Is a spontaneous perpetual reversal of the arrow of time possible? The out-of-time-ordered correlator (OTOC) is a standard measure of irreversibility, quantum scrambling, and the arrow of time. The question may be thus formulated more precisely and conveniently: can spatially-ordered perpetual OTOC oscillations exist in many-body systems? Here we give a rigorous lower bound on the amplitude of OTOC oscillations in terms of a strictly local dynamical algebra allowing for identification of systems that are out-of-time-ordered (OTO) crystals. While OTOC oscillations are possible for few-body systems, due to the spatial order requirement OTO crystals cannot be achieved by effective single or few body dynamics, e.g. a pendulum or a condensate. Rather they signal perpetual motion of quantum scrambling. It is likewise shown that if a Hamiltonian satisfies this novel algebra, it has an exponentially large number of local invariant subspaces, i.e. Hilbert space fragmentation. Crucially, the algebra, and hence the OTO crystal, are stable to local unitary and dissipative perturbations. A Creutz ladder is shown to be an OTO crystal, which thus perpetually reverses its arrow of time.

categories: cond-mat.stat-mech cond-mat.str-el math-ph math.MP quant-ph


title: Using Secondary Tau Neutrinos to Probe Heavy Dark Matter Decays in Earth

abstract: Dark matter particles can be gravitationally trapped by celestial bodies, motivating searches for localized annihilation or decay. If neutrinos are among the decay products, then IceCube and other neutrino observatories could detect them. We investigate this scenario for dark matter particles above $m_{\chi} \gtrsim$ PeV producing tau neutrino signals, using updated modeling of dark matter capture and thermalization. At these energies, tau neutrino regeneration is an important effect during propagation through Earth, allowing detection at distances far longer than one interaction length. We show how large energy loss of tau leptons above $\sim$ PeV drives a wide range of initial energies to the same final energy spectrum of "secondary" tau neutrinos at the detector, and we provide an analytic approximation to the numerical results. This effect enables an experiment to constrain decays that occur at very high energies, and we examine the reach of the IceCube high-energy starting event (HESE) sample in the parameter space of trapped dark matter annihilations and decays above PeV. We find that the parameter space probed by IceCube searches would require dark matter cross sections in tension with existing direct-detection bounds.


title: $\mathrm{SU}(r)$ Vafa-Witten invariants, Ramanujan's continued fractions, and cosmic strings

abstract: We conjecture a structure formula for the $\mathrm{SU}(r)$ Vafa-Witten partition function for surfaces with holomorphic 2-form. The conjecture is based on $S$-duality and a structure formula for the vertical contribution previously derived by the third-named author using Gholampour-Thomas's theory of virtual degeneracy loci. For ranks $r=2,3$, conjectural expressions for the partition function in terms of the theta functions of $A_{r-1}, A_{r-1}^{\vee}$ and Seiberg-Witten invariants were known. We conjecture new expressions for $r=4,5$ in terms of the theta functions of $A_{r-1}, A_{r-1}^{\vee}$, Seiberg-Witten invariants, and continued fractions studied by Ramanujan. The vertical part of our conjectures is proved for low virtual dimensions by calculations on nested Hilbert schemes. The horizontal part of our conjectures gives predictions for virtual Euler characteristics of Gieseker-Maruyama moduli spaces of stable sheaves. In this case, our formulae are sums of universal functions with coefficients in Galois extensions of $\mathbb{Q}$. The universal functions, corresponding to different quantum vacua, are permuted under the action of the Galois group. For $r=6, 7$ we also find relations with Hauptmoduln of $\Gamma_0(r)$. We present $K$-theoretic refinements for $r=2,3,4$ involving weak Jacobi forms.


title: Astrocytes mediate analogous memory in a multi-layer neuron-astrocytic network

abstract: Modeling the neuronal processes underlying short-term working memory remains the focus of many theoretical studies in neuroscience. Here we propose a mathematical model of spiking neuron network (SNN) demonstrating how a piece of information can be maintained as a robust activity pattern for several seconds then completely disappear if no other stimuli come. Such short-term memory traces are preserved due to the activation of astrocytes accompanying the SNN. The astrocytes exhibit calcium transients at a time scale of seconds. These transients further modulate the efficiency of synaptic transmission and, hence, the firing rate of neighboring neurons at diverse timescales through gliotransmitter release. We show how such transients continuously encode frequencies of neuronal discharges and provide robust short-term storage of analogous information. This kind of short-term memory can keep operative information for seconds, then completely forget it to avoid overlapping with forthcoming patterns. The SNN is inter-connected with the astrocytic layer by local inter-cellular diffusive connections. The astrocytes are activated only when the neighboring neurons fire quite synchronously, e.g. when an information pattern is loaded. For illustration, we took greyscale photos of people's faces where the grey level encoded the level of applied current stimulating the neurons. The astrocyte feedback modulates (facilitates) synaptic transmission by varying the frequency of neuronal firing. We show how arbitrary patterns can be loaded, then stored for a certain interval of time, and retrieved if the appropriate clue pattern is applied to the input.


title: A nonlinear cross-diffusion epidemic with time-dependent SIRD system: Multiscale derivation and computational analysis

abstract: A nonlinear cross-diffusion epidemic with a time-dependent Susceptible-Infected-Recovered-Died system is proposed in this paper. This system is derived from kinetic theory model by multiscale approach, which leads to an equivalent system coupled the microscopic and macroscopic equations. Subsequently, numerical investigations to design asymptotic preserving scheme property is developed and validated by various numerical tests. Finally, the numerical computational results of the proposed system are discussed in two dimensional space using the finite volume method.


title: On the Mahler measure of the spectrum of rank one maps

abstract: We extend partially the Kakutani-Zygmund dichotomy theorem to a class of generalized Riesz-product type measures by proving that the generalized Riesz-product is singular if and only if its Mahler measure is zero. As a consequence, we exhibit a new subclass of rank one maps acting on a finite measure space with singular spectrum. In our proof the $H^p$ theory coming to play. Furthermore, by appealing to a deep result of Bourgain, we prove that the Mahler measure of the spectrum of rank one map with cutting parameter $p_n=O(n^\beta)$, $\beta \leq 1$ is zero, and we establish that the integral of the absolute part of any generalized Riesz-product is strictly less than 1. This answer partially a question asked by M. Nadkarni.


title: The spectral property of hypergraph coverings

abstract: Let $H$ be a connected $m$-uniform hypergraph, and let $\mathcal{A}(H)$ be the adjacency tensor of $H$ whose spectrum is simply called the spectrum of $H$. Let $s(H)$ denote the number of eigenvectors of $\mathcal{A}(H)$ associated with the spectral radius, and $c(H)$ denote the number of eigenvalues of $\mathcal{A}(H)$ with modulus equal to the spectral radius, which are respectively called the stabilizing index and cyclic index of $H$. Let $\bar{H}$ be a $k$-fold covering of $H$ which can be obtained from some permutation assignment in the symmetric group $\mathbf{S}_k$ on $H$. In this paper, we first characterize the connectedness of $\bar{H}$ by its incidence graph and the permutation assignment, and then investigate the relationship between the spectral property of $H$ and that of $\bar{H}$. By applying module theory and group representation, if $\bar{H}$ is connected, we prove that $s(H) \mid s(\bar{H})$ and $c(H) \mid c(\bar{H})$. In particular, when $\bar{H}$ is a $2$-fold covering of $H$, if $m$ is even, we show that regardless of multiplicities, the spectrum of $\bar{H}$ contains the spectrum of $H$ and the spectrum of a signed hypergraph with $H$ as underlying hypergraph; if $m$ is odd, we give an explicit formula for $s(\bar{H})$. We also find some differences on the spectral property between hypergraph coverings and graph coverings by examples.


title: The LSST-DESC 3x2pt Tomography Optimization Challenge

abstract: This paper presents the results of the Rubin Observatory Dark Energy Science Collaboration (DESC) 3x2pt tomography challenge, which served as a first step toward optimizing the tomographic binning strategy for the main DESC analysis. The task of choosing an optimal tomographic binning scheme for a photometric survey is made particularly delicate in the context of a metacalibrated lensing catalogue, as only the photometry from the bands included in the metacalibration process (usually riz and potentially g) can be used in sample definition. The goal of the challenge was to collect and compare bin assignment strategies under various metrics of a standard 3x2pt cosmology analysis in a highly idealized setting to establish a baseline for realistically complex follow-up studies; in this preliminary study, we used two sets of cosmological simulations of galaxy redshifts and photometry under a simple noise model neglecting photometric outliers and variation in observing conditions, and contributed algorithms were provided with a representative and complete training set. We review and evaluate the entries to the challenge, finding that even from this limited photometry information, multiple algorithms can separate tomographic bins reasonably well, reaching figures-of-merit scores close to the attainable maximum. We further find that adding the g band to riz photometry improves metric performance by ~15% and that the optimal bin assignment strategy depends strongly on the science case: which figure-of-merit is to be optimized, and which observables (clustering, lensing, or both) are included.


title: Lightweight self-conjugate nucleus $^{80}$Zr

abstract: Protons and neutrons in the atomic nucleus move in shells analogous to the electronic shell structures of atoms. Nuclear shell structure varies across the nuclear landscape due to changes of the nuclear mean field with the number of neutrons $N$ and protons $Z$. These variations can be probed with mass differences. The $N=Z=40$ self-conjugate nucleus $^{80}$Zr is of particular interest as its proton and neutron shell structures are expected to be very similar, and its ground state is highly deformed. In this work, we provide evidence for the existence of a deformed double shell closure in $^{80}$Zr through high precision Penning trap mass measurements of $^{80-83}$Zr. Our new mass values show that $^{80}$Zr is significantly lighter, and thus more bound than previously determined. This can be attributed to the deformed shell closure at $N=Z=40$ and the large Wigner energy. Our statistical Bayesian model mixing analysis employing several global nuclear mass models demonstrates difficulties with reproducing the observed mass anomaly using current theory.


title: Stellar streams and dark substructure: the diffusion regime

abstract: The cold dark matter picture predicts an abundance of substructure within the Galactic halo. However, most substructures host no stars and can only be detected indirectly. Stellar streams present a promising probe of this dark substructure. These streams arise from tidally stripped star clusters or dwarf galaxies, and their low dynamical temperature and negligible self-gravity give them a sharp memory of gravitational perturbations caused by passing dark substructures. For this reason, perturbed stellar streams have been the subject of substantial study. While previous studies have been largely numerical, we show here that in the diffusion regime -- where stream stars are subjected to many small velocity kicks -- stream perturbations can be understood on a fully analytic level. In particular, we derive how the (three-dimensional) power spectrum of the substructure density field determines the power spectrum of the (one-dimensional) density of a stellar stream. Our analytic description supplies a clear picture of the behaviour of stream perturbations in response to a perturbing environment, which may include contributions from both dark and luminous substructure. In particular, stream perturbations grow in amplitude initially, settle into a steady state, and ultimately decay. By directly relating stellar stream perturbations to the surrounding matter distribution, this analytic framework represents a versatile new tool for probing the nature of dark matter through astrophysical observations.