title: The out-of-plane magnetoresistance in a Van der Waals thin film of WTe2

abstract: We report the magneto-transport measurements of thin film devices of the topological Weyl semimetal WTe2 with the applied current along and vertical to the in-plane directions. The device is composed of a Van der Waals thin film of WTe2 sandwiched between top and bottom Au electrodes.At low temperatures, we found a large unsaturated in-plane magnetoresistance and a saturated out-of-plane magnetoresistance when the external magnetic fields are applied perpendicular to the plane. By analysis of Shubnikov-de Haas oscillations, one oscillation peak is found in the out-of-plane magnetoresistance, in contrast to four oscillation peaks in the in-plane magnetoresistance.Our work provides new insight into the origin of the unsaturated magnetoresistance in WTe2 and may inspire non-planar engineering to reach higher integration in spintronics.


title: Discovery of an isolated dark dwarf galaxy in the nearby universe

abstract: Based on a new HI survey using the Five-hundred-meter Aperture Spherical radio Telescope (FAST), combined with the Pan-STARRS1 images, we identified an isolated HI cloud without any optical counterpart, named FAST J0139+4328. The newly discovered HI cloud appears to be a typical disk galaxy since it has a double-peak shape in the global HI profile and an S-like rotation structure in the velocity-position diagram. Moreover, this disk galaxy has an extremely low absolute magnitude (M_B>-10.0 mag) and stellar mass (<6.9*10^5 Msun). Furthermore, we obtained that the HI mass of this galaxy is 8.3*10^7 Msun, and the dynamical mass to total baryonic mass ratio is 47+-27, implying that dark matter dominates over baryons in FAST J0139+4328. These findings provide observational evidence that FAST J0139+4328 is an isolated dark dwarf galaxy with a redshift of z=0.0083. This is the first time that an isolated dark galaxy has been detected in the nearby universe.


title: Resonant helicity mixing of electromagnetic waves propagating through matter

abstract: Dual scatterers preserve the helicity of an incident field, whereas antidual scatterers flip it completely. In this setting of linear electromagnetic scattering theory, we provide a completely general proof on the non-existence of passive antidual scatterers. However, we show that scatterers fulfilling the refractive index matching condition flip the helicity of the fields very efficiently without being in contradiction with the law of energy conservation. Moreover, we find that this condition is paired with the impedance matching condition in several contexts of electromagnetism and, in particular, within Fresnel's and Mie's scattering problems. Finally, we show that index-matched media induce a resonant helicity mixing on the propagating electromagnetic waves. We reach to this conclusion by identifying that the refractive index matching condition leads to the phenomenon of avoided level-crossing. Our contribution not only closes a historical discussion within the Nanophotonics community, but also opens up new possibilities in the fields of Metamaterials and Particle Physics.


title: First steps towards quantum machine learning applied to the classification of event-related potentials

abstract: Low information transfer rate is a major bottleneck for brain-computer interfaces based on non-invasive electroencephalography (EEG) for clinical applications. This led to the development of more robust and accurate classifiers. In this study, we investigate the performance of quantum-enhanced support vector classifier (QSVC). Training (predicting) balanced accuracy of QSVC was 83.17 (50.25) %. This result shows that the classifier was able to learn from EEG data, but that more research is required to obtain higher predicting accuracy. This could be achieved by a better configuration of the classifier, such as increasing the number of shots.


title: In-plane anisotropy in biaxial ReS2 crystals probed by nano-optical imaging of waveguide modes

abstract: Near-field imaging has emerged as a reliable probe of the dielectric function of van der Waals crystals. In principle, analyzing the propagation patterns of subwavelength waveguide modes (WMs) allows for extraction of the full dielectric tensor. Yet previous studies have mostly been restricted to high-symmetry materials or narrowband probing. Here, we resolve in-plane anisotropic WMs in thin rhenium disulfide (ReS2) crystals across a wide range of near-infrared frequencies. By tracing the evolution of these modes as a function of crystallographic direction, polarization of the electric field and sample thickness, we have determined the anisotropic dielectric tensor including the elusive out-of-plane response. The excitonic absorption at ~1.5 eV manifests itself as a clear backbending feature in the WM dispersion and a reduction of the quality factors as fully supported by numerical calculations. Our results extend the sensitivity of near-field microscopy towards biaxial anisotropy and provide key insights into the optoelectronic properties of ReS2.


title: Tree-Based Learning on Amperometric Time Series Data Demonstrates High Accuracy for Classification

abstract: Elucidating exocytosis processes provide insights into cellular neurotransmission mechanisms, and may have potential in neurodegenerative diseases research. Amperometry is an established electrochemical method for the detection of neurotransmitters released from and stored inside cells. An important aspect of the amperometry method is the sub-millisecond temporal resolution of the current recordings which leads to several hundreds of gigabytes of high-quality data. In this study, we present a universal method for the classification with respect to diverse amperometric datasets using data-driven approaches in computational science. We demonstrate a very high prediction accuracy (greater than or equal to 95%). This includes an end-to-end systematic machine learning workflow for amperometric time series datasets consisting of pre-processing; feature extraction; model identification; training and testing; followed by feature importance evaluation - all implemented. We tested the method on heterogeneous amperometric time series datasets generated using different experimental approaches, chemical stimulations, electrode types, and varying recording times. We identified a certain overarching set of common features across these datasets which enables accurate predictions. Further, we showed that information relevant for the classification of amperometric traces are neither in the spiky segments alone, nor can it be retrieved from just the temporal structure of spikes. In fact, the transients between spikes and the trace baselines carry essential information for a successful classification, thereby strongly demonstrating that an effective feature representation of amperometric time series requires the full time series. To our knowledge, this is one of the first studies that propose a scheme for machine learning, and in particular, supervised learning on full amperometry time series data.


title: 1st Place Solution for PSG competition with ECCV'22 SenseHuman Workshop

abstract: Panoptic Scene Graph (PSG) generation aims to generate scene graph representations based on panoptic segmentation instead of rigid bounding boxes. Existing PSG methods utilize one-stage paradigm which simultaneously generates scene graphs and predicts semantic segmentation masks or two-stage paradigm that first adopt an off-the-shelf panoptic segmentor, then pairwise relationship prediction between these predicted objects. One-stage approach despite having a simplified training paradigm, its segmentation results are usually under-satisfactory, while two-stage approach lacks global context and leads to low performance on relation prediction. To bridge this gap, in this paper, we propose GRNet, a Global Relation Network in two-stage paradigm, where the pre-extracted local object features and their corresponding masks are fed into a transformer with class embeddings. To handle relation ambiguity and predicate classification bias caused by long-tailed distribution, we formulate relation prediction in the second stage as a multi-class classification task with soft label. We conduct comprehensive experiments on OpenPSG dataset and achieve the state-of-art performance on the leadboard. We also show the effectiveness of our soft label strategy for long-tailed classes in ablation studies. Our code has been released in https://github.com/wangqixun/mfpsg.


title: Dehornoy's class and Sylows for set-theoretical solutions of the Yang-Baxter equation

abstract: We explain how the germ of the structure group of a cycle set decomposes as a product of its Sylow-subgroups, and how this process can be reversed to construct cycle sets from ones with coprime classes. We study Dehornoy's class associated to a cycle set, and conjecture a bound that we prove in a specific case. We combine the use of braces and a monomial representation, in particular to answer a question by Dehornoy on retrieving the Garside structure without a theorem of Rump, while also retrieving said theorem.


title: L'explicabilit\'e au service de l'extraction de connaissances : application \`a des donn\'ees m\'edicales

abstract: The use of machine learning has increased dramatically in the last decade. The lack of transparency is now a limiting factor, which the field of explainability wants to address. Furthermore, one of the challenges of data mining is to present the statistical relationships of a dataset when they can be highly non-linear. One of the strengths of supervised learning is its ability to find complex statistical relationships that explainability allows to represent in an intelligible way. This paper shows that explanations can be used to extract knowledge from data and shows how feature selection, data subgroup analysis and selection of highly informative instances benefit from explanations. We then present a complete data processing pipeline using these methods on medical data. -- -- L'utilisation de l'apprentissage automatique a connu un bond cette derni\`ere d\'ecennie. Le manque de transparence est aujourd'hui un frein, que le domaine de l'explicabilit\'e veut r\'esoudre. Par ailleurs, un des d\'efis de l'exploration de donn\'ees est de pr\'esenter les relations statistiques d'un jeu de donn\'ees alors que celles-ci peuvent \^etre hautement non-lin\'eaires. Une des forces de l'apprentissage supervis\'e est sa capacit\'e \`a trouver des relations statistiques complexes que l'explicabilit\'e permet de repr\'esenter de mani\`ere intelligible. Ce papier montre que les explications permettent de faire de l'extraction de connaissance sur des donn\'ees et comment la s\'election de variables, l'analyse de sous-groupes de donn\'ees et la s\'election d'instances avec un fort pouvoir informatif b\'en\'eficient des explications. Nous pr\'esentons alors un pipeline complet de traitement des donn\'ees utilisant ces m\'ethodes pour l'exploration de donn\'ees m\'edicales.


title: Extending Matchgate Simulation Methods to Universal Quantum Circuits

abstract: Matchgates are a family of parity-preserving two-qubit gates, nearest-neighbour circuits of which are known to be classically simulable in polynomial time. In this work, we present a simulation method to classically simulate an $\boldsymbol{n}$-qubit circuit containing $\boldsymbol{N}$ gates, $\boldsymbol{m}$ of which are universality-enabling gates and $\boldsymbol{N-m}$ of which are matchgates, in the setting of single-qubit Pauli measurements and product state inputs. The universality-enabling gates we consider include the SWAP, CZ, and CPhase gates. For fixed $\boldsymbol{m}$ as $\boldsymbol{n} \rightarrow \boldsymbol{\infty}$, the resource cost, $\boldsymbol{T}$, scales as $\boldsymbol{\mathcal{O}\left(\left(\frac{en}{m+1}\right)^{2m+2}\right)}$. For $\boldsymbol{m}$ scaling as a linear function of $\boldsymbol{n}$, however, $\boldsymbol{T}$ scale as $\boldsymbol{\mathcal{O}\left(2^{2nH\left(\frac{m+1}{n}\right)}\right)}$, where $\boldsymbol{H}(\lambda)$ is the binary entropy function.


title: Evolution of grammatical forms: some quantitative approaches

abstract: Grammatical forms are said to evolve via two main mechanisms. These are, respectively, the `descent' mechanism, where current forms can be seen to have descended (albeit with occasional modifications) from their roots in ancient languages, and the `contact' mechanism, where evolution in a given language occurs via borrowing from other languages with which it is in contact. We use ideas and concepts from statistical physics to formulate a series of static and dynamical models which illustrate these issues in general terms. The static models emphasise the relative numbers of rules and exceptions, while the dynamical models focus on the emergence of exceptional forms. These unlikely survivors among various competing grammatical forms are winners against the odds. Our analysis suggests that they emerge when the influence of neighbouring languages exceeds the generic tendency towards regularisation within individual languages.


title: A catalogue of high-mass X-ray binaries in the Galaxy: from the INTEGRAL to the Gaia era

abstract: High-mass X-ray binaries (HMXBs) are a particular class of high-energy sources that require multi-wavelength observational efforts to be properly characterised. New identifications and the refinement of previous measurements are regularly published in the literature by independent teams of researchers and might, when they are collected in a catalogue, offer a tool for facilitating further studies of HMXBs. We update previous instances of HMXB catalogues in the Galaxy and provide the community easy access to the most complete set of observables on Galactic HMXBs. In addition to the fixed version that is available in Vizier, we also aim to host and maintain a dynamic version that can be updated upon request from users. Any modification will be logged in this version. Using previous HMXB catalogues supplemented by listings of hard X-ray sources detected in the past 20 years, we produced a base set of HMXBs and candidates by means of identifier and sky coordinate cross matches. We queried in Simbad for unreferenced HMXBs. We searched for as many hard X-ray, soft X-ray, optical, and infrared counterparts to the HMXBs as we could in well-known catalogues and compiled their coordinates. Each HMXB was subjected to a meticulous search in the literature to find relevant measurements and the original reference. We provide a catalogue of 152 HMXBs in the Galaxy with their best known coordinates, the spectral type of the companion star, systemic radial velocities, component masses, orbital period, eccentricity, and spin period when available. We also provide the coordinates and identifiers for each counterpart we found from hard X-rays to the near-infrared, including 111 counterparts from the recent Gaia DR3 catalogue.


title: Divide and Conquer: Towards Better Embedding-based Retrieval for Recommender Systems From a Multi-task Perspective

abstract: Embedding-based retrieval (EBR) methods are widely used in modern recommender systems thanks to its simplicity and effectiveness. However, along the journey of deploying and iterating on EBR in production, we still identify some fundamental issues in existing methods. First, when dealing with large corpus of candidate items, EBR models often have difficulties in balancing the performance on distinguishing highly relevant items (positives) from both irrelevant ones (easy negatives) and from somewhat related yet not competitive ones (hard negatives). Also, we have little control in the diversity and fairness of the retrieval results because of the ``greedy'' nature of nearest vector search. These issues compromise the performance of EBR methods in large-scale industrial scenarios. This paper introduces a simple and proven-in-production solution to overcome these issues. The proposed solution takes a divide-and-conquer approach: the whole set of candidate items are divided into multiple clusters and we run EBR to retrieve relevant candidates from each cluster in parallel; top candidates from each cluster are then combined by some controllable merging strategies. This approach allows our EBR models to only concentrate on discriminating positives from mostly hard negatives. It also enables further improvement from a multi-tasking learning (MTL) perspective: retrieval problems within each cluster can be regarded as individual tasks; inspired by recent successes in prompting and prefix-tuning, we propose an efficient task adaption technique further boosting the retrieval performance within each cluster with negligible overheads.


title: Optimal synthesis for a class of L $\infty$ optimal control problems in the plane with L 1 constraint on the input

abstract: For a particular class of planar dynamics that are linear with respect to the control variable, we show that the feedback strategy ''null-singular null'' is minimizing the maximum of a coordinate over infinite horizon, under a L 1 budget constraint on the control. Moreover, we characterize the optimal cost as a function of the budget. The proof is based on an unusual use of the clock form. This result generalizes the one obtained formerly for the SIR epidemiological model to more general Kolmogorov dynamics, that we illustrate on other biological models.


title: PAseos Simulates the Environment for Operating multiple Spacecraft

abstract: The next generation of spacecraft is anticipated to enable various new applications involving onboard processing, machine learning and decentralised operational scenarios. Even though many of these have been previously proposed and evaluated, the operational constraints of real mission scenarios are often either not considered or only rudimentary. Here, we present an open-source Python module called PASEOS that is capable of modelling operational scenarios involving one or multiple spacecraft. It considers several physical phenomena including thermal, power, bandwidth and communications constraints as well as the impact of radiation on spacecraft. PASEOS can be run both as a high-performance-oriented numerical simulation and/or in a real-time mode directly on edge hardware. We demonstrate these capabilities in three scenarios, one in real-time simulation on a Unibap iX-10 100 satellite processor, another in a simulation modelling an entire constellation performing tasks over several hours and one training a machine learning model in a decentralised setting. While we demonstrate tasks in Earth orbit, PASEOS is conceptually designed to allow deep space scenarios too. Our results show that PASEOS can model the described scenarios efficiently and thus provide insight into operational considerations. We show this in terms of runtime and overhead as well as by investigating the modelled temperature, battery status and communication windows of a constellation. By running PASEOS on an actual satellite processor, we showcase how PASEOS can be directly included in hardware demonstrators for future missions. Overall, we provide the first solution to holistically model the physical constraints spacecraft encounter in Earth orbit and beyond. The PASEOS module is available open-source online together with an extensive documentation to enable researchers to quickly incorporate it in their studies.

categories: cs.DC astro-ph.IM cs.SY eess.SY physics.comp-ph


title: Subdifferentials and Minimizing Sard Conjecture in Sub-Riemannian Geometry

abstract: We use techniques from nonsmooth analysis and geometric measure theory to provide new examples of complete sub-Riemannian structures satisfying the Minimizing Sard conjecture. In particular, we show that complete sub-Riemannian structures associated with distributions of co-rank 2 or generic distributions of rank $\ge$ 2 satisfy the Minimizing Sard conjecture.


title: Crowd-sensing commuting patterns using multi-source wireless data: a case of Helsinki commuter trains

abstract: Understanding the mobility patterns of commuter train passengers is crucial for developing efficient and sustainable transportation systems in urban areas. Traditional technologies, such as Automated Passenger Counters (APC) can measure the aggregated numbers of passengers entering and exiting trains, however, they do not provide detailed information nor passenger movements beyond the train itself. To overcome this limitation we investigate the potential combination of traditional APC with an emerging source capable of collecting detailed mobility demand data. This new data source derives from the pilot project TravelSense, led by the Helsinki Regional Transport Authority (HSL), which utilizes Bluetooth beacons and HSL's mobile phone ticket application to track anonymous passenger multimodal trajectories from origin to destination. By combining TravelSense data with APC we are able to better understand the structure of train users' journeys by identifying the origin and destination locations, modes of transport used to access commuter train stations, and boarding and alighting numbers at each station. These insights can assist public transport planning decisions and ultimately help to contribute to the goal of sustainable cities and communities by promoting the use of seamless and environmentally friendly transportation options.


title: Grounding Large Language Models in Interactive Environments with Online Reinforcement Learning

abstract: Recent works successfully leveraged Large Language Models' (LLM) abilities to capture abstract knowledge about world's physics to solve decision-making problems. Yet, the alignment between LLMs' knowledge and the environment can be wrong and limit functional competence due to lack of grounding. In this paper, we study an approach (named GLAM) to achieve this alignment through functional grounding: we consider an agent using an LLM as a policy that is progressively updated as the agent interacts with the environment, leveraging online Reinforcement Learning to improve its performance to solve goals. Using an interactive textual environment designed to study higher-level forms of functional grounding, and a set of spatial and navigation tasks, we study several scientific questions: 1) Can LLMs boost sample efficiency for online learning of various RL tasks? 2) How can it boost different forms of generalization? 3) What is the impact of online learning? We study these questions by functionally grounding several variants (size, architecture) of FLAN-T5.


title: Linking data separation, visual separation, and classifier performance using pseudo-labeling by contrastive learning

abstract: Lacking supervised data is an issue while training deep neural networks (DNNs), mainly when considering medical and biological data where supervision is expensive. Recently, Embedded Pseudo-Labeling (EPL) addressed this problem by using a non-linear projection (t-SNE) from a feature space of the DNN to a 2D space, followed by semi-supervised label propagation using a connectivity-based method (OPFSemi). We argue that the performance of the final classifier depends on the data separation present in the latent space and visual separation present in the projection. We address this by first proposing to use contrastive learning to produce the latent space for EPL by two methods (SimCLR and SupCon) and by their combination, and secondly by showing, via an extensive set of experiments, the aforementioned correlations between data separation, visual separation, and classifier performance. We demonstrate our results by the classification of five real-world challenging image datasets of human intestinal parasites with only 1% supervised samples.


title: Statistical reconstruction of pulse shapes from pulse streams

abstract: A short sample sequence of a finite-length pulse signal allows for its reconstruction only if the signal has a sparse representation in some basis. The recurrence of the pulse allows for a statistical approach to its reconstruction. We propose a novel method for this task. It is based on the distribution of short sample sequences treated as points which lie along a curve in a low-dimensional Euclidean space. We prove that the probability distribution of the points along this curve determines the underlying pulse signal uniquely. Based on this discovery, we propose an algorithm for pulse estimation from a finite number of short sequences of pulse-stream samples.


title: Adjoint Method in PDE-based Image Compression

abstract: We consider a shape optimization based method for finding the best interpolation data in the compression of images with noise. The aim is to reconstruct missing regions by means of minimizing a data fitting term in an $L^p$-norm between original images and their reconstructed counterparts using linear diffusion PDE-based inpainting. Reformulating the problem as a constrained optimization over sets (shapes), we derive the topological asymptotic expansion of the considered shape functionals with respect to the insertion of small ball (a single pixel) using the adjoint method. Based on the achieved distributed topological shape derivatives, we propose a numerical approach to determine the optimal set and present numerical experiments showing, the efficiency of our method. Numerical computations are presented that confirm the usefulness of our theoretical findings for PDE-based image compression.


title: Symmetry Resolved Entanglement of Excited States in Quantum Field Theory III: Bosonic and Fermionic Negativity

abstract: In two recent works, we studied the symmetry resolved R\'enyi entropies of quasi-particle excited states in quantum field theory. We found that the entropies display many model-independent features which we discussed and analytically characterised. In this paper we extend this line of investigation by providing analytical and numerical evidence that a similar universal behavior arises for the symmetry resolved negativity. In particular, we compute the ratio of charged moments of the partially transposed reduced density matrix as an expectation value of twist operators. These are ``fused" versions of the more traditionally used branch point twist fields and were introduced in a previous work. The use of twist operators allows us to perform the computation in an arbitrary number of spacial dimensions. We show that, in the large-volume limit, only the commutation relations between the twist operators and local fields matter, and computations reduce to a purely combinatorial problem. We address some specific issues regarding fermionic excitations, whose treatment requires the notion of partial time-reversal transformation, and we discuss the differences and analogies with their bosonic counterpart. We find that although the operation of partial transposition requires a redefinition for fermionic theories, the ratio of the negativity moments between an excited state and the ground state is universal and identical for fermions and bosons as well as for a large variety of very different states, ranging from simple qubit states to the excited states of free quantum field theories. Our predictions are tested numerically on a 1D Fermi chain.


title: A Scalable and Efficient Iterative Method for Copying Machine Learning Classifiers

abstract: Differential replication through copying refers to the process of replicating the decision behavior of a machine learning model using another model that possesses enhanced features and attributes. This process is relevant when external constraints limit the performance of an industrial predictive system. Under such circumstances, copying enables the retention of original prediction capabilities while adapting to new demands. Previous research has focused on the single-pass implementation for copying. This paper introduces a novel sequential approach that significantly reduces the amount of computational resources needed to train or maintain a copy, leading to reduced maintenance costs for companies using machine learning models in production. The effectiveness of the sequential approach is demonstrated through experiments with synthetic and real-world datasets, showing significant reductions in time and resources, while maintaining or improving accuracy.


title: Deficit of primitive compositions in binary asteroids and pairs

abstract: Context. Small binary asteroid systems and pairs are thought to form through fission induced by spin up via the Yarkovsky-O'Keefe-Radzievskii-Paddack (YORP) effect. This process is expected to depend on their structural strength, hence composition. Aims. We aim to determine how taxonomic classes, used as a proxy for composition, distribute amongst binary asteroids and asteroid pairs compared to the general population. Methods. We compare the distribution of taxonomic classes of binary systems and pairs with that of a reference sample of asteroids. We build this sample by selecting asteroids to reproduce the orbital and size distribution of the binaries and pairs to minimize potential biases between samples. Results. A strong deficit of primitive compositions (C, B, P, D types) among binary asteroids and asteroid pairs is identified, as well as a strong excess of asteroids with mafic-silicate rich surface compositions (S, Q, V, A types). Conclusions. Amongst low mass, rapidly rotating asteroids, those with mafic-silicate rich compositions are more likely to form multiple asteroid systems than their primitive counterparts.


title: Introduction to Fatou components in holomorphic dynamics

abstract: This survey is an introduction to the classification of Fatou components in holomorphic dynamics. We start with the description of the Fatou and Julia sets for rational maps of the Riemann sphere, and finish with an account of the recent results on Fatou components for polynomial skew-products in complex dimension two, where we focus on the key steps in the construction giving the existence of a wandering domain for a polynomial endomorphism of $\mathbb{C}^2$.


title: Random Forests for time-fixed and time-dependent predictors: The DynForest R package

abstract: The R package DynForest implements random forests for predicting a continuous, a categorical or a (multiple causes) time-to-event outcome based on time-fixed and time-dependent predictors. The main originality of DynForest is that it handles time-dependent predictors that can be endogeneous (i.e., impacted by the outcome process), measured with error and measured at subject-specific times. At each recursive step of the tree building process, the time-dependent predictors are internally summarized into individual features on which the split can be done. This is achieved using flexible linear mixed models (thanks to the R package lcmm) which specification is pre-specified by the user. DynForest returns the mean for continuous outcome, the category with a majority vote for categorical outcome or the cumulative incidence function over time for survival outcome. DynForest also computes variable importance and minimal depth to inform on the most predictive variables or groups of variables. This paper aims to guide the user with step-by-step examples for fitting random forests using DynForest.


title: Solving fractional Hantavirus model: A new approach

abstract: A three equation differential biodiversity model depicting spread and propagation of Hantavirus epidemic amongst rodent species under the influence of alien competing mouse species was introduced by Peixoto and Abramson in 2006. We analyze the Caputo time-fractional version of the Biodiversity model along with added optimal control parameters as done by Yusof, Abdullah et al. A new algorithm is proposed to solve fractional differential equations which is derived from the implementation of Daftardar-Jafari Method(DJM) and implicit $\theta$-method with $\theta=1$. This newly proposed algorithm is then used to integrate the Optimal controlled Caputo time-fractional version of Biodiversity Hantavirus model (OC-CTFBH model). The obtained solutions are plotted and analyzed further for the effects of parameter variations.


title: Identifiability of latent-variable and structural-equation models: from linear to nonlinear

abstract: An old problem in multivariate statistics is that linear Gaussian models are often unidentifiable, i.e. some parameters cannot be uniquely estimated. In factor (component) analysis, an orthogonal rotation of the factors is unidentifiable, while in linear regression, the direction of effect cannot be identified. For such linear models, non-Gaussianity of the (latent) variables has been shown to provide identifiability. In the case of factor analysis, this leads to independent component analysis, while in the case of the direction of effect, non-Gaussian versions of structural equation modelling solve the problem. More recently, we have shown how even general nonparametric nonlinear versions of such models can be estimated. Non-Gaussianity is not enough in this case, but assuming we have time series, or that the distributions are suitably modulated by some observed auxiliary variables, the models are identifiable. This paper reviews the identifiability theory for the linear and nonlinear cases, considering both factor analytic models and structural equation models.


title: The semiclassical limit of a quantum Zeno dynamics

abstract: Motivated by a quantum Zeno dynamics in a cavity quantum electrodynamics setting, we study the asymptotics of a family of symbols corresponding to a truncated momentum operator, in the semiclassical limit of vanishing Planck constant $\hbar\to0$ and large quantum number $N\to\infty$, with $\hbar N$ kept fixed. In a suitable topology, the limit is the discontinuous symbol $p\chi_D(x,p)$ where $\chi_D$ is the characteristic function of the classically permitted region $D$ in phase space. A refined analysis shows that the symbol is asymptotically close to the function $p\chi_D^{(N)}(x,p)$, where $\chi_D^{(N)}$ is a smooth version of $\chi_D$ related to the integrated Airy function. We also discuss the limit from a dynamical point of view.


title: Origin of Water in the Terrestrial Planets: Insights from Meteorite Data and Planet Formation Models

abstract: Water condensed as ice beyond the water snowline, the location in the Sun's natal gaseous disk where temperatures were below 170 K. As the disk evolved and cooled, the snowline moved inwards. A low temperature in the terrestrial planet-forming region is unlikely to be the origin of water on the planets, and the distinct isotopic compositions of planetary objects formed in the inner and outer disks suggest limited early mixing of inner and outer Solar System materials. Water in our terrestrial planets has rather been derived from H-bearing materials indigenous to the inner disk and delivered by water-rich planetesimals formed beyond the snowline and scattered inwards during the growth, migration, and dynamical evolution of the giant planets.


title: Partial suitable solutions for the micropolar equations and regularity properties

abstract: The incompressible Micropolar system is given by two coupled equations: the first equation gives the evolution of the velocity field u while the second equation gives the evolution of the microrotation field $\omega$. In this article we will consider regularity problems for weak solutions of this system. For this we will introduce the new notion of partial suitable solutions, which imposes a specific behavior for the velocity field u only, and under some classical hypotheses over the pressure, we will obtain a h{\"o}lderian gain for both variables u and $\omega$.


title: Chain of Hindsight Aligns Language Models with Feedback

abstract: Learning from human preferences is important for language models to match human needs and to align with human and social values. Prior works have achieved remarkable successes by learning from human feedback to understand and follow instructions. Nonetheless, these methods are either founded on hand-picked model generations that are favored by human annotators, rendering them inefficient in terms of data utilization and challenging to apply in general, or they depend on reinforcement learning, which often suffers from imperfect reward functions and relies on extremely challenging optimizations. In this work, we propose a novel technique, Chain of Hindsight, that is easy to optimize and can learn from any form of feedback, regardless of its polarity. Our idea is inspired by how humans learn from extensive feedback presented in the form of languages. We convert all types of feedback into sequences of sentences, which are then used to fine-tune the model, allowing us to take advantage of the language comprehension capabilities of language models. We condition the model on a sequence of model generations paired with feedback. By doing so, the model is trained to generate outputs based on feedback, while learning to identify and correct negative attributes or errors. Applying our method to large language models, we observed that Chain of Hindsight significantly surpasses previous methods in aligning language models with human preferences. We report significant improvements on summarization and dialogue benchmarks, with our approach markedly preferred in human evaluations.


title: Presentations for the groups of order $p^6$ for prime $p\geq 7$

abstract: We list those presentations for the groups of order $p^6$ for prime $p\geq 7$ which are distributed as part of the {\sc SmallGroups} library.


title: Stabilising effects of lumped integration schemes for the simulation of metal-electrolyte reactions

abstract: Computational modelling of metal-electrolyte reactions is central to the understanding and prediction of a wide range of physical phenomena, yet this is often challenging owing to the presence of numerical oscillations that arise due to dissimilar reaction rates. The ingress of hydrogen into metals is a paradigmatic example of a technologically-relevant phenomenon whose simulation is compromised by the stiffness of the reaction terms, as reaction rates vary over orders of magnitude and this significantly limits the time increment size. In this work, we present a lumped integration scheme for electro-chemical interface reactions that does not suffer from numerical oscillations. The scheme integrates the reactions in a consistent manner, while it also decouples neighbouring nodes and allows for larger time increments to be used without oscillations or convergence issues. The stability and potential of our scheme is demonstrated by simulating hydrogen ingress over a wide range of reaction rate constants and environmental conditions. While previous hydrogen uptake predictions were limited to time scales of minutes, the present lumped integration scheme enables conducting simulations over tens of years, allowing us to reach steady state conditions and quantify hydrogen ingress for time scales relevant to practical applications.


title: Hetero-dimensional baker maps and Dyck shifts

abstract: We give piecewise affine maps on the unit cube whose symbolic representation is the Dyck shift. This leads to a different way of verifying the chaotic nature of this system, including the computation of entropy.


title: Numerical study of a diffusion equation with Ventcel boundary condition using curved meshes

abstract: In this work is provided a numerical study of a diffusion problem involving a second order term on the domain boundary (the Laplace-Beltrami operator) referred to as the \textit{Ventcel problem}.A variational formulation of the Ventcel problem is studied, leading to a finite element discretization.The focus is on the resort to high order curved meshes for the discretization of the physical domain.The computational errors are investigated both in terms of geometrical error and of finite element approximation error, respectively associated to the mesh degree $r\ge 1$ and to the finite element degree $k\ge 1$. The numerical experiments we led allow us to formulate a conjecture on the \textit{a priori} error estimates depending on the two parameters $r$ and $k$. In addition, these error estimates rely on the definition of a functional \textit{lift} with adapted properties on the boundary to move numerical solutions defined on the computational domain to the physical one.


title: Instantaneous normal modes in liquids: a heterogeneous-elastic-medium approach

abstract: The concept of vibrational density of states in glasses has been mirrored in liquids by the instantaneous-normal-mode spectrum. While in glasses instantaneous configurations correspond to minima of the potential-energy hypersurface and all eigenvalues of the associated Hessian matrix are therefore positive, in liquids this is no longer true, and modes corresponding to both positive and negative eigenvalues exist. The instantaneous-normal-mode spectrum has been numerically investigated in the past, and it has been demonstrated to bring important information on the liquid dynamics. A systematic deeper theoretical understanding is now needed. Heterogeneous-elasticity theory has proven to be successful in explaining many details of the low-frequency excitations in glasses, ranging from the thoroughly studied boson peak, down to the more elusive non-phononic excitations observed in numerical simulations at the lowest frequencies. Here we present an extension of heterogeneous-elasticity theory to the liquid state, and show that the outcome of the theory agrees well to the results of extensive molecular-dynamics simulations of a model liquid at different temperatures. We show that the spectral shape strongly depends on temperature, being symmetric at high temperatures and becoming rather asymmetric at low temperatures, close to the dynamical critical temperature. Most importantly, we demonstrate that the theory naturally reproduces a surprising phenomenon, a zero-energy spectral singularity with a cusp-like character developing in the vibrational spectra upon cooling. This feature, known from a few previous numerical studies, has been generally overlooked in the past due to a misleading representation of the data. We provide a thorough analysis of this issue, based on both very accurate predictions of our theory, and computational studies of model liquid systems with extended size.


title: Five methods for determining pattern speeds in galaxies

abstract: Aims. New or refined methods for determining instantaneous scalar and vector pattern speeds from a restricted domain are developed, for applications in N-body simulations or in galaxies. Methods. The general feature used throughout follows from the fact that the time-derivative of a function of the coordinates is linearly proportional to its rotation rate and its particle velocities. Knowing these allow in general to retrieve the instantaneous pattern speed vector by linear optimization. Similarly, if an invariant function depends both on the position and velocities, then its instantaneous rotation vectors in space can be retrieved. Knowing the accelerations allows to find rotation in velocity space. Results. The first 3 methods are based on the assumed rotational invariance of functions at each point in space or velocity space: 1) The 6D invariant function method measuring the pattern speed vectors in space and velocity space, 2) The differential/regional 3D Tremaine-Weinberg method evaluated over high signal to noise ratio regions, 3) The 3D Jacobi integral method yielding the potential pattern speed. Extensions to derive the rotation center position, speed and acceleration are introduced in 1) and 3). The last 2 methods are based on the assumed invariance of average functions of the particle coordinates. 4) The moment of inertia methods by using the derivative of the singular value decomposition, 5) The 2D Fourier method (3D for m = 2 mode) giving the mode rotation speeds. Pattern speed accelerations are also derived in 4) and 5). Conclusions. Depending on the available data, the different methods provide a choice of approaches.


title: Mitigating the effect of 1/f noise on the detection of the HI intensity mapping power spectrum from single-dish measurements

abstract: We present and compare several methods to mitigate time-correlated (1/f) noise within the HI intensity mapping component of the MeerKAT Large Area Synoptic Survey (MeerKLASS). By simulating scan strategies, the HI signal, foreground emissions, white and correlated noise, we assess the ability of various data processing pipelines to recover the power spectrum of HI brightness temperature fluctuations. We use MeerKAT pilot data to assess the level of 1/f noise expected for the MeerKLASS survey and use these measurements to create realistic levels of time-correlated noise for our simulations. We find the time-correlated noise component within the pilot data to be between 10 and 20 times higher than the white noise level at the scale of k = 0.04 Mpc^-1. Having determined that the MeerKAT 1/f noise is partially correlated across all the frequency channels, we employ Singular Value Decomposition (SVD) as a technique to remove both the 1/f noise and Galactic foregrounds but find that over-cleaning results in the removal of HI power at large (angular and radial) scales; a power loss of 40 per cent is seen for a 3-mode SVD clean at the scale of k = 0.04 Mpc^-1. We compare the impact of map-making using weighting by the full noise covariance (i.e. including a 1/f component), as opposed to just a simple unweighted binning, finding that including the time-correlated noise information reduces the excess power added by 1/f noise by up to 30 per cent.


title: Poincar{\'e} inequalities and integrated curvature-dimension criterion for generalised Cauchy and convex measures

abstract: We obtain new sharp weighted Poincar{\'e} inequalities on Riemannian manifolds for a general class of measures. When specialised to generalised Cauchy measures, this gives a unified and simple proof of the weighted Poincar{\'e} inequality for the whole range of parameters, with the optimal spectral gap, the error term and the extremal functions.


title: Electromagnetic vacuum stresses and energy fluxes induced by a cosmic string in de Sitter spacetime

abstract: For the electromagnetic field in (D+1)-dimensional locally de Sitter (dS) spacetime, we analyze the effects of a generalized cosmic string type defect on the vacuum expectation value of the energy-momentum tensor. For the Bunch-Davies vacuum state, the topological contributions are explicitly extracted in both the diagonal and off-diagonal components. The latter describes the presence of radially directed energy flux in the vacuum state. It vanishes for $D=3$ because of the conformal invariance of the electromagnetic field and is directed towards the cosmic string for $D\geq 4$ . The topological contributions in the vacuum stresses are anisotropic and, unlike to the geometry of a cosmic string in the Minkowski spacetime, for $D>3$ the stresses along the directions parallel to the string core differ from the energy density. Depending on the planar angle deficit and the distance from the cosmic string, the corresponding expectation values can be either positive or negative. Near the cosmic string the effect of the gravitational field on the diagonal components of the topological part is weak. The spacetime curvature essentially modifies the behavior of the topological terms at proper distances from the cosmic string larger than the dS curvature radius. In that region, the topological contributions in the diagonal components of the energy-momentum tensor decay in inverse proportion to the fourth power of the proper distance and the energy flux density behaves as inverse-fifth power for all values of the spatial dimension $D$. The exception is the energy density in the special case $D=4$.


title: Leveraging polyhedral reductions for solving Petri net reachability problems

abstract: We propose a new method that takes advantage of structural reductions to accelerate the verification of reachability properties on Petri nets. Our approach relies on a state space abstraction, called polyhedral abstraction, which involves a combination between structural reductions and sets of linear arithmetic constraints between the marking of places. We propose a new data-structure, called a Token Flow Graph (TFG), that captures the particular structure of constraints occurring in polyhedral abstractions. We leverage TFGs to efficiently solve two reachability problems: first to check the reachability of a given marking; then to compute the concurrency relation of a net, that is all pairs of places that can be marked together in some reachable marking. Our algorithms are implemented in a tool, called Kong, that we evaluate on a large collection of models used during the 2020 edition of the Model Checking Contest. Our experiments show that the approach works well, even when a moderate amount of reductions applies.


title: On Manipulating Weight Predictions in Signed Weighted Networks

abstract: Adversarial social network analysis studies how graphs can be rewired or otherwise manipulated to evade social network analysis tools. While there is ample literature on manipulating simple networks, more sophisticated network types are much less understood in this respect. In this paper, we focus on the problem of evading FGA -- an edge weight prediction method for signed weighted networks by Kumar et al.. Among others, this method can be used for trust prediction in reputation systems. We study the theoretical underpinnings of FGA and its computational properties in terms of manipulability. Our positive finding is that, unlike many other tools, this measure is not only difficult to manipulate optimally, but also it can be difficult to manipulate in practice.


title: HyperSLICE: HyperBand optimized Spiral for Low-latency Interactive Cardiac Examination

abstract: PURPOSE: Interactive cardiac magnetic resonance imaging is used for fast scan planning and MR guided interventions. However, the requirement for real-time acquisition and near real-time visualization constrains the achievable spatio-temporal resolution. This study aims to improve interactive imaging resolution through optimization of undersampled spiral sampling and leveraging of deep learning for low-latency reconstruction (deep artifact suppression). METHODS: A variable density spiral trajectory was parametrized and optimized via HyperBand to provide the best candidate trajectory for rapid deep artifact suppression. Training data consisted of 692 breath-held CINEs. The developed interactive sequence was tested in simulations and prospectively in 13 subjects (10 for image evaluation, 2 during catheterization, 1 during exercise). In the prospective study, the optimized framework -HyperSLICE- was compared to conventional Cartesian real-time, and breath-hold CINE imaging in terms quantitative and qualitative image metrics. Statistical differences were tested using Friedman chi-squared tests with post-hoc Nemenyi test (p<0.05). RESULTS: In simulations the NRMSE, pSNR, SSIM and LAPE were all statistically significantly higher using optimized spiral compared to radial and uniform spiral sampling, particularly after scan plan changes (SSIM: 0.71 vs 0.45 and 0.43). Prospectively, HyperSLICE enabled a higher spatial and temporal resolution than conventional Cartesian real-time imaging. The pipeline was demonstrated in patients during catheter pull back showing sufficiently fast reconstruction for interactive imaging. CONCLUSION: HyperSLICE enables high spatial and temporal resolution interactive imaging. Optimizing the spiral sampling enabled better overall image quality and superior handling of image transitions compared to radial and uniform spiral trajectories.


title: On the nature of Bregman functions

abstract: Let C be convex, compact, with nonempty interior and h be Legendre with domain C, continuous on C. We prove that h is Bregman if and only if it is strictly convex on C and C is a polytope. This provides insights on sequential convergence of many Bregman divergence based algorithm: abstract compatibility conditions between Bregman and Euclidean topology may equivalently be replaced by explicit conditions on h and C. This also emphasizes that a general convergence theory for these methods (beyond polyhedral domains) would require more refinements than Bregman's conditions.


title: Absence of gravitational polarization mechanism in the canonical bimetric theory

abstract: Motivated by a version of the ``Dipolar Dark Matter'' model, that aims at a relativistic completion of the phenomenology of MOND, we investigate the gravitational polarization mechanism in the canonical bimetric theory with an effective matter coupling. We explicitly show the fundamental obstacle why such theories cannot achieve a consistent gravitational polarization, and thus fail to recover the MONDian phenomenology at low energies.


title: Dominating real algebraic morphisms

abstract: Let X and Y be nonsingular real algebraic varieties, dimX>dimY-1. Assume that the variety Y is malleable, compact and connected. Our main result implies that each regular map from X to Y is homotopic to a surjective regular map. The class of malleable varieties includes all homogeneous spaces for linear real algebraic groups.


title: Spike-by-Spike Frequency Analysis of Amperometry Traces Provides Statistical Validation of Observations in the Time Domain

abstract: Amperometry is a commonly used electrochemical method for studying the process of exocytosis in real-time. Given the high precision of recording that amperometry procedures offer, the volume of data generated can span over several hundreds of megabytes to a few gigabytes and therefore necessitates systematic and reproducible methods for analysis. Though the spike characteristics of amperometry traces in the time domain hold information about the dynamics of exocytosis, these biochemical signals are, more often than not, characterized by time-varying signal properties. Such signals with time-variant properties may occur at different frequencies and therefore analyzing them in the frequency domain may provide statistical validation for observations already established in the time domain. This necessitates the use of time-variant, frequency-selective signal processing methods as well, which can adeptly quantify the dominant or mean frequencies in the signal. The Fast Fourier Transform (FFT) is a well-established computational tool that is commonly used to find the frequency components of a signal buried in noise. In this work, we outline a method for spike-based frequency analysis of amperometry traces using FFT that also provides statistical validation of observations on spike characteristics in the time domain. We demonstrate the method by utilizing simulated signals and by subsequently testing it on diverse amperometry datasets generated from different experiments with various chemical stimulations. To our knowledge, this is the first fully automated open-source tool available dedicated to the analysis of spikes extracted from amperometry signals in the frequency domain.


title: PatchDCT: Patch Refinement for High Quality Instance Segmentation

abstract: High-quality instance segmentation has shown emerging importance in computer vision. Without any refinement, DCT-Mask directly generates high-resolution masks by compressed vectors. To further refine masks obtained by compressed vectors, we propose for the first time a compressed vector based multi-stage refinement framework. However, the vanilla combination does not bring significant gains, because changes in some elements of the DCT vector will affect the prediction of the entire mask. Thus, we propose a simple and novel method named PatchDCT, which separates the mask decoded from a DCT vector into several patches and refines each patch by the designed classifier and regressor. Specifically, the classifier is used to distinguish mixed patches from all patches, and to correct previously mispredicted foreground and background patches. In contrast, the regressor is used for DCT vector prediction of mixed patches, further refining the segmentation quality at boundary locations. Experiments on COCO show that our method achieves 2.0%, 3.2%, 4.5% AP and 3.4%, 5.3%, 7.0% Boundary AP improvements over Mask-RCNN on COCO, LVIS, and Cityscapes, respectively. It also surpasses DCT-Mask by 0.7%, 1.1%, 1.3% AP and 0.9%, 1.7%, 4.2% Boundary AP on COCO, LVIS and Cityscapes. Besides, the performance of PatchDCT is also competitive with other state-of-the-art methods.


title: Robust Maximum Correntropy Kalman Filter

abstract: The Kalman filter provides an optimal estimation for a linear system with Gaussian noise. However when the noises are non-Gaussian in nature, its performance deteriorates rapidly. For non-Gaussian noises, maximum correntropy Kalman filter (MCKF) is developed which provides an improved result. But when the system model differs from nominal consideration, the performance of the MCKF degrades. For such cases, we have proposed a new robust filtering technique which maximize a cost function defined by exponential of weighted past and present errors along with the Gaussian kernel function. By solving this cost criteria we have developed prior and posterior mean and covariance matrix propagation equations. By maximizing the correntropy function of error matrix, we have selected the kernel bandwidth value at each time step. Further the conditions for convergence of the proposed algorithm is also derived. Two numerical examples are presented to show the usefulness of the new filtering technique.


title: On the Cauchy problem for a semi-linear hyperdissipative heat equation

abstract: The paper is concerned with the Cauchy problem for a semi-linear hyperdissipative heat equation in Besov and Triebel-Lizorkin spaces which is related to the generalized Gauss-Weierstrass semi-group via Duhamel's principle. Using caloric smoothing properties of the semi-group we prove existence and uniqueness of mild and strong solutions which are local in time. Moreover, we study well-posedness of the problem.


title: A survey for variable young stars with small telescopes: VI -- Analysis of the outbursting Be stars NSW284, Gaia19eyy, and VES263

abstract: This paper is one in a series reporting results from small telescope observations of variable young stars. Here, we study the repeating outbursts of three likely Be stars based on long-term optical, near-infrared, and mid-infrared photometry for all three objects, along with follow-up spectra for two of the three. The sources are characterised as rare, truly regularly outbursting Be stars. We interpret the photometric data within a framework for modelling light curve morphology, and find that the models correctly predict the burst shapes, including their larger amplitudes and later peaks towards longer wavelengths. We are thus able to infer the start and end times of mass loading into the circumstellar disks of these stars. The disk sizes are typically 3-6 times the areas of the central star. The disk temperatures are ~40%, and the disk luminosities are ~10% of those of the central Be star, respectively. The available spectroscopy is consistent with inside-out evolution of the disk. Higher excitation lines have larger velocity widths in their double-horned shaped emission profiles. Our observations and analysis support the decretion disk model for outbursting Be stars.


title: Cross section measurement of the 144Sm(alpha,n)147Gd reaction for studying the alpha-nucleus optical potential at astrophysical energies

abstract: Nuclear reactions involving alpha particles play an important role in various astrophysical processes such as the gamma-process of heavy element nucleosynthesis. The poorly known low-energy alpha-nucleus optical (AOMP) potential is a key parameter to estimate the rates of these reactions. The AOMP can be tested by measuring the cross section of alpha-scattering as well as alpha-induced reactions. Low energy elastic alpha-scattering on 144Sm has recently been measured with high precision. The aim of the present work was to complement that work by measuring the (a,n) cross sections on 144Sm at low energies. The experimental data shall be used to constrain the AOMP. From this potential the 144Sm(a,g)148Gd reaction rate can be derived with reduced uncertainties. The 144Sm(a,n)147Gd reaction was studied by bombarding Sm targets with alpha-beams provided by the cyclotron accelerator of Atomki. The cross section was determined using the activation method. The gamma-radiation following the decay of the 147Gd reaction product was measured with a HPGe detector. The experimental data are analyzed within the statistical model. The cross section was measured in the alpha-energy range between 13 and 20 MeV in 1 MeV steps, i.e., from close above the (a,n) threshold. The results were compared with statistical model calculations using various approaches and parametrizations for the AOMP, and excellent agreement was obtained for two recent potentials. However, these potentials cannot reproduce literature data for the 144Sm(a,g)148Gd reaction with the same accuracy. Constraints for the AOMP were derived from an analysis of the new 144Sm(a,n)147Gd data and literature data for 144Sm(a,g)148Gd. These constraints enable a determination of the reaction rate of the 144Sm(a,g)148Gd reaction with significantly reduced uncertainties of less than a factor of two.


title: Multiple solutions for a fractional Choquard problem with slightly subcritical exponents on bounded domains

abstract: This paper is devoted to study a fractional Choquard problem with slightly subcritical exponents on bounded domains. When the exponent of the convolution type nonlinearity tends to the fractional critical one in the sense of Hardy-Littlewood-Sobolev inequality, we obtain the existence of multiple positive solutions via Lusternik-Schnirelmann category and nonlocal global compactness. Moreover, we prove that the topology of the domain furnishes a lower bound for the number of positive solutions.


title: Probing type-II Ising pairing using the spin-mixing parameter

abstract: The immunity of Ising superconductors to external magnetic fields originates from a spin locking of the paired electrons to an intrinsic Zeeman-like field. The spin-momentum locking in non-centrosymmetric crystalline materials leads to type-I Ising pairing in which the direction of the intrinsic field can be deduced from the spin expectation values. Conversely, in centrosymmetric crystals the electron spins locked to the orbitals can form Ising type-II pairs consisting of spin-orbit split doublets. Due to time-reversal symmetry, the doublets are spin degenerate, making it difficult to read the spin polarization of bands and the direction of spin-orbit fields. Here we present an efficient approach to determine the direction of the intrinsic field using the spin-mixing parameter $b^2$. Using first principles calculations based on the density functional theory, we study monolayer transition metal dichalcogenide superconductors PdTe$_2$, NbTe$_2$, and TiSe$_2$ with the 1T structure. We calculate $b^2$ for individual Fermi pockets and provide a general picture of possible Ising type-II pairing within the full Brillouin zone. In order to complement our first principles results, we use group theory to provide a detailed picture of spin-orbit coupling and spin mixing in the relevant bands forming Fermi pockets. We demonstrate that contrary to the anticipated effects of spin-orbit locking, not every spin-orbit split spin doublet actively participates in Ising pairing. Finally, by connecting the spin-mixing parameter $b^2$ with the intrinsic out-of-plane Zeeman field we estimate the upper in-plane critical magnetic field.


title: On the applicability of the Landau-Zener formula to axion-photon conversion

abstract: Axions and photons resonantly interconvert in regions where the plasma frequency approximately equals the axion mass. This process is directly analogous to an avoided level crossing in quantum mechanics, for which the celebrated Landau-Zener (LZ) formula provides a simple, non-perturbative solution for the conversion probability. The LZ formula is commonly used in studies of axion-photon conversion; however, in this context, it relies on the assumption that the magnetic field variation is small compared to variations of the plasma frequency, which is frequently not the case in real plasmas. We derive a generalised version of the LZ formula by allowing the boundaries to be located at a scale that is similar to the inhomogeneities. We find that the LZ formula fails when the oscillation range is small compared to the resonance region. This failure is more severe in the adiabatic limit, when the plasma frequency varies slowly, resulting in a conversion probability that is not maximal as opposed to a naive application of the LZ formula. Moreover, we consider circumstances where the generalised LZ formula does not apply and present an alternative semi-classical approximation with complementary regime of validity.


title: Cooperative envy-free division

abstract: Relying on configuration spaces and equivariant topology, we study a general "cooperative envy-free division problem". A group of players want to cut a "cake" $I=[0,1]$ and divide among themselves the pieces in an envy-free manner. Once the cake is cut and served in plates on a round table (at most one piece per plate), each player makes her choice by pointing at one (or several) plates she prefers. The novelty is that her choice may depend on the whole "allocation configuration". In particular, a player may choose an empty plate (possibly preferring one of the empty plates over the other), and take into account not only the content of her preferred plate, but also the content of the neighbouring plates. We show that if the number of players is a prime power, in this setting an envy-free division exists under standard assumptions that the preferences are closed.


title: Markov-modulated model for landing flow dynamics: An ordinal analysis validation

abstract: Air transportation is a complex system characterised by a plethora of interactions at multiple temporal and spatial scales; as a consequence, even simple dynamics like sequencing aircraft for landing can lead to the appearance of emergent behaviours, which are both difficult to control and detrimental to operational efficiency. We propose a model, based on a modulated Markov jitter, to represent ordinal pattern properties of real landing operations in European airports. The parameters of the model are tuned by minimising the distance between the probability distributions of ordinal patterns generated by the real and synthetic sequences, as estimated by the Permutation Jensen-Shannon Distance. We show that the correlation between consecutive hours in the landing flow changes between airports, and that it can be interpreted as a metric of efficiency. We further compare the dynamics pre and post COVID-19, showing how this has changed beyond what can be attributed to a simple reduction of traffic. We finally draw some operational conclusions, and discuss the applicability of these findings in a real operational environment.


title: Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service

abstract: ZooKeeper is a coordination service, widely used as a backbone of various distributed systems. Though its reliability is of critical importance, testing is insufficient for an industrial-strength system of the size and complexity of ZooKeeper, and deep bugs can still be found. To this end, we resort to formal TLA+ specifications to further improve the reliability of ZooKeeper. Our primary objective is usability and automation, rather than full verification. We incrementally develop three levels of specifications for ZooKeeper. We first obtain the protocol specification, which unambiguously specifies the Zab protocol behind ZooKeeper. We then proceed to a finer grain and obtain the system specification, which serves as the super-doc for system development. In order to further leverage the model-level specification to improve the reliability of the code-level implementation, we develop the test specification, which guides the explorative testing of the ZooKeeper implementation. The formal specifications help eliminate the ambiguities in the protocol design and provide comprehensive system documentation. They also help find critical deep bugs in system implementation, which are beyond the reach of state-of-the-art testing techniques. Our specifications have been merged into the official Apache ZooKeeper project.


title: Steven Weinberg (1933 - 2021)

abstract: This is a homage to the memory of Prof. Steven Weinberg who passed away on 23 July 2021.

categories: physics.hist-ph astro-ph.CO hep-ph hep-th


title: Limitations of the current-phase relation measurements by an asymmetric dc-SQUID

abstract: Exotic quantum transport phenomena established in Josephson junctions (JJs) are reflected by a non-sinusoidal current-phase relation (CPR). The solidified approach to measure the CPR is via an asymmetric dc-SQUID with a reference JJ that has a high critical current. We probed this method by measuring CPRs of hybrid JJs based on a 3D topological insulator (TI) Bi$_2$Te$_2$Se with a nanobridge acting as a reference JJ. We captured both highly skewed and sinusoidal critical current oscillations within single devices which contradicts the uniqueness of the CPR. This implies that the widely used method provides inaccurate CPR measurement and leads to misinterpretation. It was shown that the accuracy of the CPR measurement is mediated by the asymmetry in derivatives of the CPRs but not in critical currents as was previously thought. We provided considerations for an accurate CPR measurement that encourage future experiments with reference CPRs different from those that were used before.


title: When the Ground Truth is not True: Modelling Human Biases in Temporal Annotations

abstract: In supervised learning, low quality annotations lead to poorly performing classification and detection models, while also rendering evaluation unreliable. This is particularly apparent on temporal data, where annotation quality is affected by multiple factors. For example, in the post-hoc self-reporting of daily activities, cognitive biases are one of the most common ingredients. In particular, reporting the start and duration of an activity after its finalisation may incorporate biases introduced by personal time perceptions, as well as the imprecision and lack of granularity due to time rounding. Here we propose a method to model human biases on temporal annotations and argue for the use of soft labels. Experimental results in synthetic data show that soft labels provide a better approximation of the ground truth for several metrics. We showcase the method on a real dataset of daily activities.


title: Moving Least Squares Approximation using Variably Scaled Discontinuous Weight Function

abstract: Functions with discontinuities appear in many applications such as image reconstruction, signal processing, optimal control problems, interface problems, engineering applications and so on. Accurate approximation and interpolation of these functions are therefore of great importance. In this paper, we design a moving least-squares approach for scattered data approximation that incorporates the discontinuities in the weight functions. The idea is to control the influence of the data sites on the approximant, not only with regards to their distance from the evaluation point, but also with respect to the discontinuity of the underlying function. We also provide an error estimate on a suitable {\it piecewise} Sobolev Space. The numerical experiments are in compliance with the convergence rate derived theoretically.


title: Coexistence of two hole phases in high-quality $p$-GaAs/AlGaAs in the vicinity of Landau level filling factors $\nu$=1 and $\nu$=(1/3)

abstract: We focused on the transverse AC magneto-conductance of a high mobility $p$-GaAs/AlGaAs quantum well ($p=1.2\times 10^{11}$~cm$^{-2}$) in the vicinity of two values of the Landau level filling factor $\nu$: $\nu =1$ (integer quantum Hall effect) and $\nu =1/3$ (fractional quantum Hall effect). The complex transverse AC conductance, $\sigma_{xx}^{AC} (\omega)$, was found from simultaneous measurements of attenuation and velocity of surface acoustic waves (SAWs) propagating along the interface between a piezoelectric crystal and the two-dimensional hole system under investigation. We analyzed both the real and imaginary parts of the hole conductance and compared the similarities and differences between the results for filling factor 1 and filling factor 1/3. Both to the left and to the right of these values maxima of a specific shape, "wings", arose in the $\sigma (\nu)$ dependences at those two $\nu$. Analysis of the results of our acoustic measurements at different temperatures and surface acoustic wave frequencies allowed us to attribute these wings to the formation of collective localized states, namely the domains of a pinned Wigner crystal, i.e., a Wigner solid. While the Wigner solid has been observed in 2D hole systems previously, we were able to detect 20 it at the highest hole density and, therefore, the lowest hole-hole interaction reported.


title: Analytic states in quantum field theory on curved spacetimes

abstract: We discuss high energy properties of states for (possibly interacting) quantum fields in curved spacetimes. In particular, if the spacetime is real analytic, we show that an analogue of the timelike tube theorem and the Reeh-Schlieder property hold with respect to states satisfying a weak form of microlocal analyticity condition. The former means the von Neumann algebra of observables of a spacelike tube equals the von Neumann algebra of observables of a significantly bigger region, that is obtained by deforming the boundary of the tube in a timelike manner. This generalizes theorems by Borchers and Araki to curved spacetimes.


title: Glancing through the debris disk: Photometric analysis of DE Boo with CHEOPS

abstract: DE Boo is a unique system, with an edge-on view through the debris disk around the star. The disk, which is analogous to the Kuiper belt in the Solar System, was reported to extend from 74 to 84 AU from the central star. The high photometric precision of the Characterising Exoplanet Satellite (CHEOPS) provided an exceptional opportunity to observe small variations in the light curve due to transiting material in the disk. This is a unique chance to investigate processes in the debris disk. Photometric observations of DE Boo of a total of four days were carried out with CHEOPS. Photometric variations due to spots on the stellar surface were subtracted from the light curves by applying a two-spot model and a fourth-order polynomial. The photometric observations were accompanied by spectroscopic measurements with the 1m RCC telescope at Piszk\'estet\H{o} and with the SOPHIE spectrograph in order to refine the astrophysical parameters of DE Boo. We present a detailed analysis of the photometric observation of DE Boo. We report the presence of nonperiodic transient features in the residual light curves with a transit duration of 0.3-0.8 days. We calculated the maximum distance of the material responsible for these variations to be 2.47 AU from the central star, much closer than most of the mass of the debris disk. Furthermore, we report the first observation of flaring events in this system. We interpreted the transient features as the result of scattering in an inner debris disk around DE Boo. The processes responsible for these variations were investigated in the context of interactions between planetesimals in the system.


title: Network-Aided Intelligent Traffic Steering in 6G O-RAN: A Multi-Layer Optimization Framework

abstract: To enable an intelligent, programmable and multi-vendor radio access network (RAN) for 6G networks, considerable efforts have been made in standardization and development of open RAN (O-RAN). So far, however, the applicability of O-RAN in controlling and optimizing RAN functions has not been widely investigated. In this paper, we jointly optimize the flow-split distribution, congestion control and scheduling (JFCS) to enable an intelligent traffic steering application in O-RAN. Combining tools from network utility maximization and stochastic optimization, we introduce a multi-layer optimization framework that provides fast convergence, long-term utility-optimality and significant delay reduction compared to the state-of-the-art and baseline RAN approaches. Our main contributions are three-fold: i) we propose the novel JFCS framework to efficiently and adaptively direct traffic to appropriate radio units; ii) we develop low-complexity algorithms based on the reinforcement learning, inner approximation and bisection search methods to effectively solve the JFCS problem in different time scales; and iii) the rigorous theoretical performance results are analyzed to show that there exists a scaling factor to improve the tradeoff between delay and utility-optimization. Collectively, the insights in this work will open the door towards fully automated networks with enhanced control and flexibility. Numerical results are provided to demonstrate the effectiveness of the proposed algorithms in terms of the convergence rate, long-term utility-optimality and delay reduction.


title: Heterogeneous integration of superconducting thin films and epitaxial semiconductor heterostructures with Lithium Niobate

abstract: We report on scalable heterointegration of superconducting electrodes and epitaxial semiconductor quantum dots on strong piezoelectric and optically nonlinear lithium niobate. The implemented processes combine the sputter-deposited thin film superconductor niobium nitride and III-V compound semiconductor membranes onto the host substrate. The superconducting thin film is employed as a zero-resistivity electrode material for a surface acoustic wave resonator with internal quality factors $Q \approx 17000$ representing a three-fold enhancement compared to identical devices with normal conducting electrodes. Superconducting operation of $\approx 400\,\mathrm{MHz}$ resonators is achieved to temperatures $T>7\,\mathrm{K}$ and electrical radio frequency powers $P_{\mathrm{rf}}>+9\,\mathrm{dBm}$. Heterogeneously integrated single quantum dots couple to the resonant phononic field of the surface acoustic wave resonator operated in the superconducting regime. Position and frequency selective coupling mediated by deformation potential coupling is validated using time-integrated and time-resolved optical spectroscopy. Furthermore, acoustoelectric charge state control is achieved in a modified device geometry harnessing large piezoelectric fields inside the resonator. The hybrid quantum dot - surface acoustic wave resonator can be scaled to higher operation frequencies and smaller mode volumes for quantum phase modulation and transduction between photons and phonons via the quantum dot. Finally, the employed materials allow for the realization of other types of optoelectronic devices, including superconducting single photon detectors and integrated photonic and phononic circuits.

categories: physics.app-ph cond-mat.mes-hall physics.optics quant-ph


title: Flat Seeking Bayesian Neural Networks

abstract: Bayesian Neural Networks (BNNs) provide a probabilistic interpretation for deep learning models by imposing a prior distribution over model parameters and inferring a posterior distribution based on observed data. The model sampled from the posterior distribution can be used for providing ensemble predictions and quantifying prediction uncertainty. It is well-known that deep learning models with lower sharpness have better generalization ability. However, existing posterior inferences are not aware of sharpness/flatness in terms of formulation, possibly leading to high sharpness for the models sampled from them. In this paper, we develop theories, the Bayesian setting, and the variational inference approach for the sharpness-aware posterior. Specifically, the models sampled from our sharpness-aware posterior, and the optimal approximate posterior estimating this sharpness-aware posterior, have better flatness, hence possibly possessing higher generalization ability. We conduct experiments by leveraging the sharpness-aware posterior with state-of-the-art Bayesian Neural Networks, showing that the flat-seeking counterparts outperform their baselines in all metrics of interest.


title: Differentiable Programming of Chemical Reaction Networks

abstract: We present a differentiable formulation of abstract chemical reaction networks (CRNs) that can be trained to solve a variety of computational tasks. Chemical reaction networks are one of the most fundamental computational substrates used by nature. We study well-mixed single-chamber systems, as well as systems with multiple chambers separated by membranes, under mass-action kinetics. We demonstrate that differentiable optimisation, combined with proper regularisation, can discover non-trivial sparse reaction networks that can implement various sorts of oscillators and other chemical computing devices.


title: A general class of linear unconditionally energy stable schemes for the gradient flows, II

abstract: This paper continues to study linear and unconditionally modified-energy stable (abbreviated as SAV-GL) schemes for the gradient flows. The schemes are built on the SAV technique and the general linear time discretizations (GLTD) as well as the extrapolation for the nonlinear term. Different from [44], the GLTDs with three parameters discussed here are not necessarily algebraically stable. Some algebraic identities are derived by using the method of undetermined coefficients and further used to establish the modified-energy inequalities for the unconditional modified-energy stability of the semi-discrete-in-time SAV-GL schemes. It is worth emphasizing that those algebraic identities or energy inequalities are not necessarily unique for some choices of three parameters in the GLTDs. Numerical experiments on the Allen-Cahn, the Cahn-Hilliard and the phase field crystal models with the periodic boundary conditions are conducted to validate the unconditional modified-energy stability of the SAV-GL schemes, where the Fourier pseudo-spectral method is employed in space with the zero-padding to eliminate the aliasing error and the time stepsizes for ensuring the original-energy decay are estimated by using the stability regions of our SAV-GL schemes for the test equation. The resulting time stepsize constraints for the SAV-GL schemes are almost consistent with the numerical results on the above gradient flow models.


title: Ultrafast entropy production in pump-probe experiments

abstract: The ultrafast control of materials has opened the possibility to investigate non-equilibrium states of matter with striking properties, such as transient superconductivity and ferroelectricity, ultrafast magnetization and demagnetization, as well as Floquet engineering. The characterization of the ultrafast thermodynamic properties within the material is key for their control and design. Here, we develop the ultrafast stochastic thermodynamics for laser-excited phonons. We calculate the entropy production and heat absorbed from experimental data for single phonon modes of driven materials from time-resolved X-ray scattering experiments where the crystal is excited by a laser pulse. The spectral entropy production is calculated for SrTiO$_3$ and KTaO$_3$ for different temperatures and reveals a striking relation with the power spectrum of the displacement-displacement correlation function by inducing a broad peak beside the eigenmode-resonance.

categories: cond-mat.mtrl-sci cond-mat.mes-hall cond-mat.stat-mech physics.comp-ph physics.ins-det


title: Probing invisible neutrino decay with KM3NeT-ORCA

abstract: In the era of precision measurements of the neutrino oscillation parameters, upcoming neutrino experiments will also be sensitive to physics beyond the Standard Model. KM3NeT/ORCA is a neutrino detector optimised for measuring atmospheric neutrinos from a few GeV to around 100 GeV. In this paper, the sensitivity of the KM3NeT/ORCA detector to neutrino decay has been explored. A three-flavour neutrino oscillation scenario, where the third neutrino mass state $\nu_3$ decays into an invisible state, e.g. a sterile neutrino, is considered. We find that KM3NeT/ORCA would be sensitive to invisible neutrino decays with $1/\alpha_3=\tau_3/m_3 < 180$~$\mathrm{ps/eV}$ at $90\%$ confidence level, assuming true normal ordering. Finally, the impact of neutrino decay on the precision of KM3NeT/ORCA measurements for $\theta_{23}$, $\Delta m^2_{31}$ and mass ordering have been studied. No significant effect of neutrino decay on the sensitivity to these measurements has been found.


title: A Log-Linear Non-Parametric Online Changepoint Detection Algorithm based on Functional Pruning

abstract: Online changepoint detection aims to detect anomalies and changes in real-time in high-frequency data streams, sometimes with limited available computational resources. This is an important task that is rooted in many real-world applications, including and not limited to cybersecurity, medicine and astrophysics. While fast and efficient online algorithms have been recently introduced, these rely on parametric assumptions which are often violated in practical applications. Motivated by data streams from the telecommunications sector, we build a flexible nonparametric approach to detect a change in the distribution of a sequence. Our procedure, NP-FOCuS, builds a sequential likelihood ratio test for a change in a set of points of the empirical cumulative density function of our data. This is achieved by keeping track of the number of observations above or below those points. Thanks to functional pruning ideas, NP-FOCuS has a computational cost that is log-linear in the number of observations and is suitable for high-frequency data streams. In terms of detection power, NP-FOCuS is seen to outperform current nonparametric online changepoint techniques in a variety of settings. We demonstrate the utility of the procedure on both simulated and real data.


title: On boundary H\"{o}lder logarithmic continuity of mappings in some domains

abstract: We study mappings satisfying some estimate of distortion of modulus of families of paths. Under some conditions on definition and mapped domains, we have proved that these mappings are logarithmic H\"{o}lder continuous at boundary points.


title: Multidimensional integer trigonometry

abstract: This paper is dedicated to providing an introduction into multidimensional integer trigonometry. We start with an exposition of integer trigonometry in two dimensions, which was introduced in 2008, and use this to generalise these integer trigonometric functions to arbitrary dimension. We then move on to study the basic properties of integer trigonometric functions. We find integer trigonometric relations for transpose and adjacent simplicial cones, and for the cones which generate the same simplices. Additionally, we discuss the relationship between integer trigonometry, the Euclidean algorithm, and continued fractions. Finally, we use adjacent and transpose cones to introduce a notion of best approximations of simplicial cones. In two dimensions, this notion of best approximation coincides with the classical notion of the best approximations of real numbers.


title: Multipath agents for modular multitask ML systems

abstract: A standard ML model is commonly generated by a single method that specifies aspects such as architecture, initialization, training data and hyperparameters configuration. The presented work introduces a novel methodology allowing to define multiple methods as distinct agents. Agents can collaborate and compete to generate and improve ML models for a given tasks. The proposed methodology is demonstrated with the generation and extension of a dynamic modular multitask ML system solving more than one hundred image classification tasks. Diverse agents can compete to produce the best performing model for a task by reusing the modules introduced to the system by competing agents. The presented work focuses on the study of agents capable of: 1) reusing the modules generated by concurrent agents, 2) activating in parallel multiple modules in a frozen state by connecting them with trainable modules, 3) condition the activation mixture on each data sample by using a trainable router module. We demonstrate that this simple per-sample parallel routing method can boost the quality of the combined solutions by training a fraction of the activated parameters.


title: Pulsar Scintillation Studies with LOFAR: II. Dual-frequency scattering study of PSR J0826+2637 with LOFAR and NenuFAR

abstract: Interstellar scattering (ISS) of radio pulsar emission can be used as a probe of the ionised interstellar medium (IISM) and causes corruptions in pulsar timing experiments. Two types of ISS phenomena (intensity scintillation and pulse broadening) are caused by electron density fluctuations on small scales (< 0.01 AU). Theory predicts that these are related, and both have been widely employed to study the properties of the IISM. Larger scales ($\sim$1-100\,AU) cause measurable changes in dispersion and these can be correlated with ISS observations to estimate the fluctuation spectrum over a very wide scale range. IISM measurements can often be modeled by a homogeneous power-law spatial spectrum of electron density with the Kolmogorov ($-11/3$) spectral exponent. Here we aim to test the validity of using the Kolmogorov exponent with PSR~J0826+2637. We do so using observations of intensity scintillation, pulse broadening and dispersion variations across a wide fractional bandwidth (20 -- 180\,MHz). We present that the frequency dependence of the intensity scintillation in the high frequency band matches the expectations of a Kolmogorov spectral exponent but the pulse broadening in the low frequency band does not change as rapidly as predicted with this assumption. We show that this behavior is due to an inhomogeneity in the scattering region, specifically that the scattering is dominated by a region of transverse size $\sim$40\,AU. The power spectrum of the electron density, however, maintains the Kolmogorov spectral exponent from spatial scales of 5$\times10^{-6}$\,AU to $\sim$100\,AU.


title: Multi-frequency VLBI observations of maser lines during the 6.7~GHz maser flare in the high-mass young stellar object G24.33$+$0.14}

abstract: Recent studies have shown that 6.7 GHz methanol maser flares can be a powerful tool for verifying the mechanisms of maser production and even the specific signatures of accretion rate changes in the early stages of high-mass star formation. We characterize the spatial structure and evolution of methanol and water masers during a flare of methanol maser emission at 6.7 GHz in the HMYSO G24.33$+$0.14. VLBA was used to image the 6.7 and 12.2 GHz methanol and 22.2 GHz water vapor masers at three epochs guided by monitoring the methanol line with the Torun 32m telescope. The 6.7 GHz maser maps were also obtained with the EVN and LBA during the flare. WISE data were used to find correlations between the 6.7 GHz maser and IR fluxes. The 6.7 GHz methanol maser cloudlets are distributed over $\sim$3500 au, and the morphology of most of them is stable although their brightness varies following the course of the total flux density on a timescale of two months. The 12.2 GHz methanol maser cloudlets cover an area an order of magnitude smaller than that of 6.7 GHz emission, and both transitions emerge from the same masing gas. The 22.2 GHz maser cloudlets lie in the central region and show a systematic increase in brightness and moderate changes in size and orientation, together with the velocity drift of the strongest cloudlet during two months of the VLBI observing period. Time lag estimates imply the propagation of changes in the physical conditions of the masing region with a subluminal speed ($\sim$0.3c). A tight correlation of IR (4.6$\mu$m) and 6.7 GHz flux densities is found, supporting the radiative pumping model. Comparison with the 230 GHz ALMA data indicates that the methanol masers are distributed in the inner part of the rotating disk, whereas the 22.2 GHz emission traces the compact inner component of the bipolar outflow or a jet structure.


title: Review of Berger and DiRuggiero, "Einstein: The Man and His Mind"

abstract: In this paper, I review the book: Gary S. Berger, Michael DiRuggiero. "Einstein: The Man and His Mind." Bologna: Damiani, 2022. Illustrations. 209 pp. $70.00, cloth, ISBN 978-88-6208-784-1.


title: Congruence classes for modular forms over small sets

abstract: J.P. Serre showed that for any integer $m,~a(n)\equiv 0 \pmod m$ for almost all $n,$ where $a(n)$ is the $n^{\text{th}}$ Fourier coefficient of any modular form with rational coefficients. In this article, we consider a certain class of cuspforms and study $\#\{a(n) \pmod m\}_{n\leq x}$ over the set of integers with $O(1)$ many prime factors. Moreover, we show that any residue class $a\in \mathbb{Z}/m\mathbb{Z}$ can be written as the sum of at most thirteen Fourier coefficients, which are polynomially bounded as a function of $m.$


title: Uniform stabilization of an acoustic system

abstract: We study the problem of stabilization for the acoustic system with a spatially distributed damping. With imposing hypothesis on the structural properties of the damping term, we identify exponential decay of solutions with growing time.


title: Interpreting the HI 21-cm cosmology maps through Largest Cluster Statistics -- I: Impact of the synthetic SKA1-Low observations

abstract: We analyse the evolution of the largest ionized region using the topological and morphological evolution of the redshifted 21-cm signal coming from the neutral hydrogen distribution during the different stages of reionization. For this analysis, we use the "Largest Cluster Statistics" - LCS. We mainly study the impact of the array synthesized beam on the LCS analysis of the 21-cm signal considering the upcoming low-frequency Square Kilometer Array (SKA1-Low) observations using a realistic simulation for such observation based on the 21cmE2E-pipeline using OSKAR. We find that bias in LCS estimation is introduced in synthetic observations due to the array beam. This in turn shifts the apparent percolation transition point towards the later stages of reionization. The biased estimates of LCS, occurring due to the effect of the lower resolution (lack of longer baselines) and the telescope synthesized beam will lead to a biased interpretation of the reionization history. This is important to note while interpreting any future 21-cm signal images from upcoming or future telescopes like the SKA, HERA, etc. We conclude that one may need denser $uv$-coverage at longer baselines for a better deconvolution of the array synthesized beam from the 21-cm images and a relatively unbiased estimate of LCS from such images.


title: Analysis of high-energy drop impact onto deep liquid pool

abstract: The present work is devoted to the analysis of drop impact onto a deep liquid pool. It is focused on the effects of high-energy splash regimes, caused by the impact of large raindrops at high velocities. Such cases are characterized by short time scales and complex mechanisms, and they have thus received little attention until now. The BASILISK open-source solver is used to perform three-dimensional Direct Numerical Simulations (DNS). The capabilities of the octree adaptive mesh refinement techniques enable to capture the small-scale features of the flow, while the Volume of Fluid (VOF) approach combined with a balanced force surface tension calculation is applied to advect the volume fraction of the liquids and reconstruct the interfaces. The numerical results compare well with experimental visualizations: both the evolution of crown and cavity, the emanation of ligaments, the formation of bubble canopy, and the growth of the downward spiral jet that pierces through the cavity bottom, are correctly reproduced. Reliable quantitative agreements are also obtained regarding the time evolution of rim positions, cavity dimensions and droplet distributions through an observation window. Furthermore, simulation gives access to various aspects of the internal flows (velocity, vorticity, pressure, energy budget), which allows to better explain the corresponding physical phenomena. Details of the early dynamics of bubble ring entrapment and splashing performance, the formation/collapse of bubble canopy, and the spreading of drop liquid, are discussed. The statistics of droplet size show the bimodal distribution in time, corroborating distinct primary mechanisms of droplet production at different stages.


title: Linear power corrections to single top production processes at the LHC

abstract: We discuss the linear power corrections to the electroweak production of top quarks at the LHC using renormalon calculus. We show how such non-perturbative corrections can be obtained using the Low-Burnett-Kroll theorem, which provides the first subleading term to the expansion of the real-emission amplitudes around the soft limit. We demonstrate that there are no linear power corrections to the total cross sections of arbitrary processes of a single top production type provided that these cross sections are expressed in terms of a short-distance top quark mass. We also derive a universal formula for the linear power corrections to generic observables that involve the top-quark momentum.


title: On Exact Sampling in the Two-Variable Fragment of First-Order Logic

abstract: In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite domain? We extend their result for the universally-quantified subfragment of two-variable logic $\mathbf{FO}^2$ ($\mathbf{UFO}^2$) to the entire fragment of $\mathbf{FO}^2$. Specifically, we prove the domain-liftability under sampling of $\mathbf{FO}^2$, meaning that there exists a sampling algorithm for $\mathbf{FO}^2$ that runs in time polynomial in the domain size. We then further show that this result continues to hold even in the presence of counting constraints, such as $\forall x\exists_{=k} y: \varphi(x,y)$ and $\exists_{=k} x\forall y: \varphi(x,y)$, for some quantifier-free formula $\varphi(x,y)$. Our proposed method is constructive, and the resulting sampling algorithms have potential applications in various areas, including the uniform generation of combinatorial structures and sampling in statistical-relational models such as Markov logic networks and probabilistic logic programs.