title: Linking Contexts from Distinct Data Sources in Zero Trust Federation

abstract: An access control model called Zero Trust Architecture (ZTA) has attracted attention. ZTA uses information of users and devices, called context, for authentication and authorization. Zero Trust Federation (ZTF) has been proposed as a framework for extending an idea of identity federation to support ZTA. ZTF defines CAP as the entity that collects context and provides it to each organization (Relying Party; RP) that needs context for authorization based on ZTA. To improve the quality of authorization, CAPs need to collect context from various data sources. However, ZTF did not provide a method for collecting context from data sources other than RP. In this research, as a general model for collecting context in ZTF, we propose a method of linking identifiers between the data source and CAP. This method provides a way to collect context from some of such data sources in ZTF. Then, we implemented our method using RADIUS and MDM as data sources and confirmed that their contexts could be collected and used.


title: Isospectral connections, ergodicity of frame flows, and polynomial maps between spheres

abstract: We show that on closed negatively curved Riemannian manifolds with simple length spectrum, the spectrum of the Bochner Laplacian determines both the isomorphism class of the vector bundle and the connection up to gauge under a low-rank assumption. We also show that flows of frames on low-rank frame bundles extending the geodesic flow in negative curvature are ergodic whenever the bundle admits no holonomy reduction. This is achieved by exhibiting a link between these problems and the classification of polynomial maps between spheres in real algebraic geometry.


title: Muon-Electron Scattering at NNLO

abstract: This thesis provides a pedagogical overview of the theoretical foundations of the McMule framework, a Monte Carlo integrator for processes with muons and other leptons. Among other things, we show how the simple infrared structure in QED can be exploited to construct FKS$^\ell$, a subtraction scheme for soft singularities to all orders in perturbation theory. Furthermore, we present the method of massification as a solution to the problem of multi-scale integrals in the presence of large scale hierarchies. Finally, we introduce next-to-soft stabilisation as an elegant tool to stabilise the numerically delicate real-virtual contribution. To this end, we generalise the Low-Burnett-Kroll theorem for massive fermions to one loop. This allows for a straightforward application of the method without the need of explicit calculations. We have developed all of these techniques with fully differential NNLO QED calculations in mind and have successfully applied them to many processes such as the muon decay as well as Bhabha and M{\o}ller scattering. One of the main drivers of these developments has been the MUonE experiment requiring a high-precision theory prediction for muon-electron ($\mu$-$e$) scattering at the level of $10\, \text{ppm}$. The multi-scale nature of $\mu$-$e$ scattering makes this process particularly challenging from a technical point of view. Only the combined application of FKS$^\ell$, massification, and next-to-soft stabilisation makes the corresponding calculation possible. This thesis therefore presents for the first time the fully differential calculation of the complete set of NNLO corrections to $\mu$-$e$ scattering. This represents a major step towards the ambitious $10\, \text{ppm}$ target precision of the MUonE experiment.


title: Two-periodic weighted dominos and the sine-Gordon field at the free fermion point: I

abstract: In this paper we investigate the height field of a dimer model/random domino tiling on the plane at a smooth-rough (i.e. gas-liquid) transition. We prove that the height field at this transition has two-point correlation functions which limit to those of the massless sine-Gordon field at the free fermion point, with parameters $(4\pi, z)$ where $z\in \mathbb{R}\setminus \{0\}$. The dimer model is on $\epsilon \mathbb{Z}^2$ and has a two-periodic weight structure with weights equal to either 1 or $a=1-C|z|\epsilon$, for $0<\epsilon$ small (tending to zero). In order to obtain this result, we provide a direct asymptotic analysis of a double contour integral formula of the correlation kernel of the dimer model found by Fourier analysis. The limiting field interpolates between the Gaussian free field and white noise and the main result gives an explicit connection between tiling/dimer models and the law of a two-dimensional non-Gaussian field.


title: CMGAN: Conformer-Based Metric-GAN for Monaural Speech Enhancement

abstract: In this work, we further develop the conformer-based metric generative adversarial network (CMGAN) model for speech enhancement (SE) in the time-frequency (TF) domain. This paper builds on our previous work but takes a more in-depth look by conducting extensive ablation studies on model inputs and architectural design choices. We rigorously tested the generalization ability of the model to unseen noise types and distortions. We have fortified our claims through DNS-MOS measurements and listening tests. Rather than focusing exclusively on the speech denoising task, we extend this work to address the dereverberation and super-resolution tasks. This necessitated exploring various architectural changes, specifically metric discriminator scores and masking techniques. It is essential to highlight that this is among the earliest works that attempted complex TF-domain super-resolution. Our findings show that CMGAN outperforms existing state-of-the-art methods in the three major speech enhancement tasks: denoising, dereverberation, and super-resolution. For example, in the denoising task using the Voice Bank+DEMAND dataset, CMGAN notably exceeded the performance of prior models, attaining a PESQ score of 3.41 and an SSNR of 11.10 dB. Audio samples and CMGAN implementations are available online.


title: Decentralized Distributed Expert Assisted Learning (D2EAL) approach for cooperative target-tracking

abstract: This paper addresses the problem of cooperative target tracking using a heterogeneous multi-robot system, where the robots are communicating over a dynamic communication network, and heterogeneity is in terms of different types of sensors and prediction algorithms installed in the robots. The problem is cast into a distributed learning framework, where robots are considered as 'agents' connected over a dynamic communication network. Their prediction algorithms are considered as 'experts' giving their look-ahead predictions of the target's trajectory. In this paper, a novel Decentralized Distributed Expert-Assisted Learning (D2EAL) algorithm is proposed, which improves the overall tracking performance by enabling each robot to improve its look-ahead prediction of the target's trajectory by its information sharing, and running a weighted information fusion process combined with online learning of weights based on a prediction loss metric. Theoretical analysis of D2EAL is carried out, which involves the analysis of worst-case bounds on cumulative prediction loss, and weights convergence analysis. Simulation studies show that in adverse scenarios involving large dynamic bias or drift in the expert predictions, D2EAL outperforms well-known covariance-based estimate/prediction fusion methods, both in terms of prediction performance and scalability.


title: Orthogonal polynomial duality of a two-species asymmetric exclusion process

abstract: We examine type D ASEP, a two--species interacting particle system which generalizes the usual asymmetric simple exclusion process. For certain cases of type D ASEP, the process does not give priority for one species over another, even though there is nontrivial interaction between the two species. For those specific cases, we prove that the type D ASEP is self--dual with respect to an independent product of $q$--Krawtchouk polynomials. The type D ASEP was originally constructed in arXiv:2011.13473, using the type D quantum groups $\mathcal{U}_q(\mathfrak{so}_6)$ and $\mathcal{U}_q(\mathfrak{so}_8)$. That paper claimed that certain states needed to be "discarded'' in order to ensure non--negativity. Here, we also provide a more efficient argument for the same claim.


title: Uncertainty-aware Perception Models for Off-road Autonomous Unmanned Ground Vehicles

abstract: Off-road autonomous unmanned ground vehicles (UGVs) are being developed for military and commercial use to deliver crucial supplies in remote locations, help with mapping and surveillance, and to assist war-fighters in contested environments. Due to complexity of the off-road environments and variability in terrain, lighting conditions, diurnal and seasonal changes, the models used to perceive the environment must handle a lot of input variability. Current datasets used to train perception models for off-road autonomous navigation lack of diversity in seasons, locations, semantic classes, as well as time of day. We test the hypothesis that model trained on a single dataset may not generalize to other off-road navigation datasets and new locations due to the input distribution drift. Additionally, we investigate how to combine multiple datasets to train a semantic segmentation-based environment perception model and we show that training the model to capture uncertainty could improve the model performance by a significant margin. We extend the Masksembles approach for uncertainty quantification to the semantic segmentation task and compare it with Monte Carlo Dropout and standard baselines. Finally, we test the approach against data collected from a UGV platform in a new testing environment. We show that the developed perception model with uncertainty quantification can be feasibly deployed on an UGV to support online perception and navigation tasks.


title: Training neural network ensembles via trajectory sampling

abstract: In machine learning, there is renewed interest in neural network ensembles (NNEs), whereby predictions are obtained as an aggregate from a diverse set of smaller models, rather than from a single larger model. Here, we show how to define and train a NNE using techniques from the study of rare trajectories in stochastic systems. We define an NNE in terms of the trajectory of the model parameters under a simple, and discrete in time, diffusive dynamics, and train the NNE by biasing these trajectories towards a small time-integrated loss, as controlled by appropriate counting fields which act as hyperparameters. We demonstrate the viability of this technique on a range of simple supervised learning tasks. We discuss potential advantages of our trajectory sampling approach compared with more conventional gradient based methods.


title: Quantum illumination with multiplexed photodetection

abstract: The advantages of using quantum states of light for object detection are often highlighted in schemes that use simultaneous and optimal measurements. Here, we describe a theoretical but experimentally realizable quantum illumination scheme based on non-simultaneous and non-optimal measurements which can maintain this advantage. In particular, we examine the multi-click heralded two mode squeezed vacuum state as a probe signal in a quantum illumination process. The increase in conditioned signal intensity associated with multi-click heralding is greater than that from a single detector-heralded signal. Our results show, for lossy external conditions, the presence of the target object can be revealed earlier using multi-click measurements. We demonstrate this through sequential shot measurements based on Monte-Carlo simulation.


title: On the Band Functions and Bloch Functions

abstract: In this paper we consider the continuity of the band functions and Bloch functions of the differential operators generated by the differential expressions with periodic matrix coefficients.


title: Anyon condensation, topological quantum information scrambling, and Andreev-like reflection of non-Abelian anyons in quantum Hall interfaces

abstract: Quantum information scrambling is the spread of local information into correlation throughout the entire quantum many-body system. This concept has become a central topic in different contexts. In this work, we restate the connection between anyon condensation and topological quantum information scrambling in quantum Hall interfaces. We consider the interface between the Abelian Halperin-330 state and the non-Abelian Read-Rezayi state. We verify explicitly that the interface can be fully gapped. This allows the transmutation of local pseudospin information carried by an Abelian anyon into topological information stored entirely by the anyons in the non-Abelian quantum Hall liquid, with no scrambled information stored at the interface. In combination with our previous work [K. K. W. Ma and K. Yang, Phys. Rev. B 105, 045306 (2022)], our results demonstrate the dependence of the scrambling mechanism on the gapfulness of the interface. Possible Andreev-like reflection of non-Abelian anyons in the fully gapped interface is also discussed.


title: This is what a pandemic looks like: Visual framing of COVID-19 on search engines

abstract: In today's high-choice media environment, search engines play an integral role in informing individuals and societies about the latest events. The importance of search algorithms is even higher at the time of crisis, when users search for information to understand the causes and the consequences of the current situation and decide on their course of action. In our paper, we conduct a comparative audit of how different search engines prioritize visual information related to COVID-19 and what consequences it has for the representation of the pandemic. Using a virtual agent-based audit approach, we examine image search results for the term "coronavirus" in English, Russian and Chinese on five major search engines: Google, Yandex, Bing, Yahoo, and DuckDuckGo. Specifically, we focus on how image search results relate to generic news frames (e.g., the attribution of responsibility, human interest, and economics) used in relation to COVID-19 and how their visual composition varies between the search engines.


title: Newsvendor Conditional Value-at-Risk Minimisation: a Feature-based Approach under Adaptive Data Selection

abstract: The classical risk-neutral newsvendor problem is to decide the order quantity that maximises the expected profit. Some recent works have proposed an alternative model, in which the goal is to minimise the conditional value-at-risk (CVaR), a different but very much important risk measure in financial risk management. In this paper, we propose a feature-based non-parametric approach to Newsvendor CVaR minimisation under adaptive data selection (NPC). The NPC method is simple and general. It can handle minimisation with both linear and nonlinear profits, and requires no prior knowledge of the demand distribution. Our main contribution is two-fold. Firstly, NPC uses a feature-based approach. The estimated parameters of NPC can be easily applied to prescriptive analytic to provide additional operational insights. Secondly, unlike common non-parametric methods, our NPC method uses an adaptive data selection criterion and requires only a small proportion of data (only data from two tails), significantly reducing the computational effort. Results from both numerical and real-life experiments confirm that NPC is robust with regard to difficult and large data structures. Using fewer data points, the computed order quantities from NPC lead to equal or less downside loss in extreme cases than competing methods.


title: Universal updates of Dyck-nest signatures

abstract: Let $0<k\in\mathbb{Z}$. The anchored Dyck words of length $n=2k+1$ (obtained by prefixing a 0-bit to each Dyck word of length $2k$ and used to reinterpret the Hamilton cycles in the odd graph $O_k$ and the middle-levels graph $M_k$ found by M\"utze et al.) represent in $O_k$ (resp., $M_k$) the cycles of an $n$- (resp., $2n$-) 2-factor and its cyclic (resp., dihedral) vertex classes, and are equivalent to Dyck-nest signatures. A sequence is obtained by updating these signatures according to the depth-first order of a tree of restricted growth strings (RGS's), reducing the RGS-generation of Dyck words by collapsing to a single update the time-consuming $i$-nested castling used to reach each non-root Dyck word or Dyck nest. This update is universal, for it does not depend on $k$.


title: Modern Machine Learning Tools for Monitoring and Control of Industrial Processes: A Survey

abstract: Over the last ten years, we have seen a significant increase in industrial data, tremendous improvement in computational power, and major theoretical advances in machine learning. This opens up an opportunity to use modern machine learning tools on large-scale nonlinear monitoring and control problems. This article provides a survey of recent results with applications in the process industry.


title: The irrationality of a divisor function series of Erd\H{o}s and Kac

abstract: For positive integers $k$ and $n$ let $\sigma_k(n)$ denote the sum of the $k$th powers of the divisors of $n$. Erd\H{o}s and Kac asked whether, for every $k$, the number $\alpha_k = \sum_{n\geq 1} \frac{\sigma_k(n)}{n!}$ is irrational. It is known unconditionally that $\alpha_k$ is irrational if $k\leq 3$. We prove $\alpha_4$ is irrational.


title: A Bibliographic View on Constrained Clustering

abstract: A keyword search on constrained clustering on Web-of-Science returned just under 3,000 documents. We ran automatic analyses of those, and compiled our own bibliography of 183 papers which we analysed in more detail based on their topic and experimental study, if any. This paper presents general trends of the area and its sub-topics by Pareto analysis, using citation count and year of publication. We list available software and analyse the experimental sections of our reference collection. We found a notable lack of large comparison experiments. Among the topics we reviewed, applications studies were most abundant recently, alongside deep learning, active learning and ensemble learning.


title: Topological Characterization with a Twist, Condensation, and Reflection

abstract: Despite its putative robustness, the realization of and control over topological quantum matter is an ongoing grand challenge. Looking forward, robust characterization protocols are needed to first certify topological substrates before they are utilized in quantum algorithms. We contribute to this grand challenge by providing a series of experimentally accessible near- and medium-term protocols assessing the fidelity of logical processes. To do so we examine logical operators and anyonic quasiparticle excitations in twisted $\mathbb{Z}_{N=2,4}$ gauge theories. Extending the finite twist, a promising route to Ising computing in its own right, to a non-contractible twist fuses prior logical operators together and results in a twisted qubit code. The code is notable for a doubled and tripled code distance for logical $Y$ and $X$ errors respectively. Next, we review the deconfinement properties of a $\mathbb{Z}_4$ double semion condensation and provide an error correction algorithm. Based on this understanding we then present a $\mathbb{Z}_4$ topological quasiparticle reflectometry and scattering protocol. The protocol infers the topological properties of the system and serves as a high-level metric for the performance and lifetime of the interfaced topological codes. Our logical and scattering protocols are suitable for near-term devices where many physical qubits encode few logical qubits. The topological lifetime of a particle within a condensate conjugacy class, previously considered in fabricated and hetero-structured condensed-matter experiments, serves as a unifying performance metric across synthetic, qubit-based, and naturally occurring topological order.

categories: quant-ph cond-mat.supr-con math-ph math.MP


title: Phaseless sampling on square-root lattices

abstract: Due to its appearance in a remarkably wide field of applications, such as audio processing and coherent diffraction imaging, the short-time Fourier transform (STFT) phase retrieval problem has seen a great deal of attention in recent years. A central problem in STFT phase retrieval concerns the question for which window functions $g \in L^2(\mathbb{R}^d)$ and which sampling sets $\Lambda \subseteq \mathbb{R}^{2d}$ is every $f \in L^2(\mathbb{R}^d)$ uniquely determined (up to a global phase factor) by phaseless samples of the form $$ |V_gf(\Lambda)| = \left \{ |V_gf(\lambda)| : \lambda \in \Lambda \right \}, $$ where $V_gf$ denotes the short-time Fourier transform (STFT) of $f$ with respect to $g$. The investigation of this question constitutes a key step towards making the problem computationally tractable. However, it deviates from ordinary sampling tasks in a fundamental and subtle manner: recent results demonstrate that uniqueness is unachievable if $\Lambda$ is a lattice, i.e $\Lambda = A\mathbb{Z}^{2d}, A \in \mathrm{GL}(2d,\mathbb{R})$. Driven by this discretization barrier, the present article centers around the initiation of a novel sampling scheme which allows for unique recovery of any square-integrable function via phaseless STFT-sampling. Specifically, we show that square-root lattices, i.e., sets of the form $$ \Lambda = A \left ( \sqrt{\mathbb{Z}} \right )^{2d}, \ \sqrt{\mathbb{Z}} = \{ \pm \sqrt{n} : n \in \mathbb{N}_0 \}, $$ guarantee uniqueness of the STFT phase retrieval problem. The result holds for a large class of window functions, including Gaussians.


title: Learning Interpretable Latent Dialogue Actions With Less Supervision

abstract: We present a novel architecture for explainable modeling of task-oriented dialogues with discrete latent variables to represent dialogue actions. Our model is based on variational recurrent neural networks (VRNN) and requires no explicit annotation of semantic information. Unlike previous works, our approach models the system and user turns separately and performs database query modeling, which makes the model applicable to task-oriented dialogues while producing easily interpretable action latent variables. We show that our model outperforms previous approaches with less supervision in terms of perplexity and BLEU on three datasets, and we propose a way to measure dialogue success without the need for expert annotation. Finally, we propose a novel way to explain semantics of the latent variables with respect to system actions.


title: Snow particle analyzer for simultaneous measurements of snow density and morphology

abstract: The detailed characterization of snow particles is critical for understanding the snow settling behavior and modeling the ground snow accumulation for various applications such as prevention of avalanches and snowmelt-caused floods, etc. In this study, we present a snow particle analyzer for simultaneous measurements of various properties of fresh falling snow, including their concentration, size, shape, type, and density. The analyzer consists of a digital inline holography module for imaging falling snow particles in a sample volume of 88 cm3 and a high-precision scale to measure the weight of the same particles in a synchronized fashion. The holographic images are processed in real-time using a machine learning model and post-processing to determine snow particle concentration, size, shape, and type. Such information is used to obtain the estimated volume, which is subsequently correlated with the weight of snow particles to estimate their density. The performance of the analyzer is assessed using monodispersed spherical glass beads and irregular salt crystals with known density, which shows <5% density measurement errors. In addition, the analyzer was tested in a number of field deployments under different snow and wind conditions. The system is able to achieve measurements of various snow properties at single particle resolution and statistical robustness. The analyzer was also deployed for four hours of operation during a snow event with changing snow and wind conditions, demonstrating its ability for long-term and real-time monitoring of the time-varying snow properties in the field.


title: Scaling limit of critical random trees in random environment

abstract: We consider Bienaym\'e-Galton-Watson trees in random environment, where each generation $k$ is attributed a random offspring distribution $\mu_k$, and $(\mu_k)_{k\geq 0}$ is a sequence of independent and identically distributed random probability measures. We work in the ``strictly critical'' regime where, for all $k$, the average of $\mu_k$ is assumed to be equal to $1$ almost surely, and the variance of $\mu_k$ has finite expectation. We prove that, for almost all realizations of the environment (more precisely, under some deterministic conditions that the random environment satisfies almost surely), the scaling limit of the tree in that environment, conditioned to be large, is the Brownian continuum random tree. The habitual techniques used for standard Bienaym\'e-Galton-Watson trees, or trees with exchangeable vertices, do not apply to this case. Our proof therefore provides alternative tools.


title: New cosmological constraints on $f(T)$ gravity in light of full Planck-CMB and type Ia supernovae data

abstract: We investigate two new observational perspectives in the context of torsional gravitational modification of general relativity, i.e., the $f(T)$ gravity: i) We use Pantheon data of type Ia supernovae motivated by a time variation of the Newton's constant on the supernovae distance modulus relation, and find that a joint analysis with Baryon Acoustic Oscillations (BAO) and Big Bang Nucleosynthesis (BBN), i.e., Pantheon+BAO+BBN, provides constraints on the effective free parameter of the theory to be well compatible with the $\Lambda$CDM prediction; ii) We present the framework of $f(T)$ gravity at the level of linear perturbations with the phenomenological functions, namely the effective gravitational coupling $\mu$ and the light deflection parameter $\Sigma$, which are commonly used to parameterize possible modifications of the Poisson equation relating the matter density contrast to the lensing and the Newtonian potentials, respectively. We use the available Cosmic Microwave Background (CMB) data sets from the Planck 2018 release to constrain the free parameters of the $f(T)$ power-law gravity and $\Lambda$CDM models. We find that CMB data, and its joint analyses with Pantheon and BAO data constrain the $f(T)$ power-law gravity scenario to be practically indistinguishable from the $\Lambda$CDM model. We obtain the strongest limits ever reported on $f(T)$ power-law gravity scenario at the cosmological level.


title: Global attraction and repulsion of a heteroclinic limit cycle in three dimensional Kolmogorov maps

abstract: There is a recent development in the carrying simplex theory for competitive maps: under some weaker conditions a map has a modified carrying simplex (one of the author's latest publications). In this paper, as one of the applications of the modified carrying simplex theory, a criterion is established for a three dimensional Kolmogorov map to have a globally repelling (attracting) heteroclinic limit cycle. As a concrete example, a discrete competitive model is investigated to illustrate the above criteria for global repulsion (attraction) of a hetericlinic limit cycle.


title: PACT: Perception-Action Causal Transformer for Autoregressive Robotics Pre-Training

abstract: Robotics has long been a field riddled with complex systems architectures whose modules and connections, whether traditional or learning-based, require significant human expertise and prior knowledge. Inspired by large pre-trained language models, this work introduces a paradigm for pre-training a general purpose representation that can serve as a starting point for multiple tasks on a given robot. We present the Perception-Action Causal Transformer (PACT), a generative transformer-based architecture that aims to build representations directly from robot data in a self-supervised fashion. Through autoregressive prediction of states and actions over time, our model implicitly encodes dynamics and behaviors for a particular robot. Our experimental evaluation focuses on the domain of mobile agents, where we show that this robot-specific representation can function as a single starting point to achieve distinct tasks such as safe navigation, localization and mapping. We evaluate two form factors: a wheeled robot that uses a LiDAR sensor as perception input (MuSHR), and a simulated agent that uses first-person RGB images (Habitat). We show that finetuning small task-specific networks on top of the larger pretrained model results in significantly better performance compared to training a single model from scratch for all tasks simultaneously, and comparable performance to training a separate large model for each task independently. By sharing a common good-quality representation across tasks we can lower overall model capacity and speed up the real-time deployment of such systems.


title: Neural Networks Based on Power Method and Inverse Power Method for Solving Linear Eigenvalue Problems

abstract: In this article, we propose two kinds of neural networks inspired by power method and inverse power method to solve linear eigenvalue problems. These neural networks share similar ideas with traditional methods, in which the differential operator is realized by automatic differentiation. The eigenfunction of the eigenvalue problem is learned by the neural network and the iterative algorithms are implemented by optimizing the specially defined loss function. The largest positive eigenvalue, smallest eigenvalue and interior eigenvalues with the given prior knowledge can be solved efficiently. We examine the applicability and accuracy of our methods in the numerical experiments in one dimension, two dimensions and higher dimensions. Numerical results show that accurate eigenvalue and eigenfunction approximations can be obtained by our methods.


title: Active Keyword Selection to Track Evolving Topics on Twitter

abstract: How can we study social interactions on evolving topics at a mass scale? Over the past decade, researchers from diverse fields such as economics, political science, and public health have often done this by querying Twitter's public API endpoints with hand-picked topical keywords to search or stream discussions. However, despite the API's accessibility, it remains difficult to select and update keywords to collect high-quality data relevant to topics of interest. In this paper, we propose an active learning method for rapidly refining query keywords to increase both the yielded topic relevance and dataset size. We leverage a large open-source COVID-19 Twitter dataset to illustrate the applicability of our method in tracking Tweets around the key sub-topics of Vaccine, Mask, and Lockdown. Our experiments show that our method achieves an average topic-related keyword recall 2x higher than baselines. We open-source our code along with a web interface for keyword selection to make data collection from Twitter more systematic for researchers.


title: Direct Emission of Strong Radio Pulses During Magnetar Flares

abstract: The emission of intense radio pulses by flaring magnetars is investigated. Small-scale current gradients can be imprinted into a strongly magnetized outflow by the same processes that source fireball radiation in the closed magnetosphere. This structure arises from a combination of crustal yielding, internal tearing, and turbulent cascade. We consider the quasi-linear development of weak, small-scale currents as (i) they are stretched out and frozen by relativistic expansion and then (ii) pass through a shock. In particular, we derive the amplitudes of the ordinary and fast waves that emerge downstream of a relativistically magnetized shock in response to a mode that is frozen into the upstream flow (a frozen Alfv\'en wave or entropy wave). An upstream mode with comoving wavelength exceeding the skin depth can linearly convert to a secondary mode propagating above the plasma frequency. A simple and accurate treatment of shocks with extreme magnetization is developed, and the formation of internal shocks in the outflow from a bursting, rotating magnetar is outlined. The emission process described here does not require a strong shock or cool $e^\pm$ pairs (in contrast with the electromagnetic maser shock instability). In some cases, a high-frequency wave is reflected back to the observer, but with a minuscule amplitude that makes it subdominant to other emission channels. The dominant secondary electromagnetic mode is superluminal at emission, is subject to weak induced scattering within the outflow, and can reach the observer in the radio band.


title: Constructing uniform 2-factorizations via row-sum matrices: solutions to the Hamilton-Waterloo problem

abstract: In this paper, we formally introduce the concept of a row-sum matrix over an arbitrary group $G$. When $G$ is cyclic, these types of matrices have been widely used to build uniform 2-factorizations of small Cayley graphs (or, Cayley subgraphs of blown-up cycles), which themselves factorize complete (equipartite) graphs. Here, we construct row-sum matrices over a class of non-abelian groups, the generalized dihedral groups, and we use them to construct uniform $2$-factorizations that solve infinitely many open cases of the Hamilton-Waterloo problem, thus filling up large parts of the gaps in the spectrum of orders for which such factorizations are known to exist.


title: Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution

abstract: Automated test generation based on symbolic execution can be beneficial for systematically testing safety-critical software, to facilitate test engineers to pursue the strict testing requirements mandated by the certification standards, while controlling at the same time the costs of the testing process. At the same time, the development of safety-critical software is often constrained with programming languages or coding conventions that ban linguistic features which are believed to downgrade the safety of the programs, e.g., they do not allow dynamic memory allocation and variable-length arrays, limit the way in which loops are used, forbid recursion, and bound the complexity of control conditions. As a matter of facts, these linguistic features are also the main efficiency-blockers for the test generation approaches based on symbolic execution at the state of the art. This paper contributes new evidence of the effectiveness of generating test cases with symbolic execution for a significant class of industrial safety critical-systems. We specifically focus on Scade, a largely adopted model-based development language for safety-critical embedded software, and we report on a case study in which we exploited symbolic execution to automatically generate test cases for a set of safety-critical programs developed in Scade. To this end, we introduce a novel test generator that we developed in a recent industrial project on testing safety-critical railway software written in Scade, and we report on our experience of using this test generator for testing a set of Scade programs that belong to the development of an on-board signaling unit for high-speed rail. The results provide empirically evidence that symbolic execution is indeed a viable approach for generating high-quality test suites for the safety-critical programs considered in our case study.


title: Extensions of true skewness for unimodal distributions

abstract: A 2022 paper arXiv:2009.10305v4 introduced the notion of true positive and negative skewness for continuous random variables via Fr\'echet $p$-means. In this work, we find novel criteria for true skewness, establish true skewness for the Weibull, L\'evy, skew-normal, and chi-squared distributions, and discuss the extension of true skewness to discrete and multivariate settings. Furthermore, some relevant properties of the $p$-means of random variables are established.


title: Kinematical higher-twist corrections in $\gamma^* \gamma \to M \bar M $

abstract: We estimate kinematical higher-twist (up to twist 4) corrections to the $\gamma^*(q_1) \gamma(q_2) \to M(p_1) \bar{M}(p_2)$ amplitudes at large $Q^2=-q_1^2$ and small $s=(q_1+q_2)^2$, where $M$ is a scalar or pseudoscalar meson. This process is known to factorize at leading twist into a perturbatively calculable coefficient function and generalized distribution amplitudes (GDAs). The kinematical higher-twist contributions of order $s/Q^2$ and $m^2/Q^2$ turn out to be important in the cross section, considering the kinematics accessible at Belle and Belle II. We present numerical estimates for the cross section for $\gamma^* \gamma \to \pi^0 \pi^0$ with the $\pi \pi$ GDA extracted from Belle measurements and with the asymptotic $\pi \pi$ GDA as inputs to study the magnitude of the kinematical corrections. To see how the target mass corrections of order $m^2/Q^2$ affect the cross section, we also perform the calculation for $\gamma^* \gamma \to \eta \eta$ by using a model $\eta \eta$ GDA.In the range $s> 1$ GeV$^2$, the kinematical higher-twist corrections account for $\sim 15 \%$ of the total cross section, an effect which is not negligible. Since $\pi \pi$ GDAs are the best way to access the pion energy-momentum tensor (EMT), our study demonstrates that an accurate evaluation of EMT form factors requires the inclusion of kinematical higher-twist contributions.


title: SWIFT J0503.7-2819: A nearly synchronous intermediate polar below the period gap?

abstract: Based on the X-ray observations from XMM-Newton and Swift, and optical observations from Transiting Exoplanet Survey Satellite (TESS) and AAVSO, we present temporal and spectral properties of probable intermediate polar SWIFT J0503.7-2819. The X-ray light curve shows two distinctive features, where possibly the second pole seems to be active during the middle of the XMM-Newton observations. Present analysis confirms and also refines the previously reported orbital period of SWIFT J0503.7-2819 as 81.65$\pm$0.04 min. The X-ray and optical variations of this target have been found to occur at the period of $\sim$ 65 min, which we propose as the spin period of the white dwarf (WD). The energy-dependent modulation at this period, which are due to the photoelectric absorption in the accretion flow, also assures this conjecture. Two temperature thermal plasma model well explains the X-ray spectra with temperatures of $\sim$ 150 eV and $\sim$ 18.5 keV, which is absorbed by a dense material with an average equivalent hydrogen column density of 3.8 $\times$ 10$^{22}$ cm$^{-2}$ that partially covers $\sim$ 27% of the X-ray source. An attempt is made to understand the accretion flow in this system using the present data of SWIFT J0503.7-2819. If the proposed spin period is indeed the actual period, then SWIFT J0503.7-2819 could be the first nearly synchronous intermediate polar below the period gap.


title: A Generalist Neural Algorithmic Learner

abstract: The cornerstone of neural algorithmic reasoning is the ability to solve algorithmic tasks, especially in a way that generalises out of distribution. While recent years have seen a surge in methodological improvements in this area, they mostly focused on building specialist models. Specialist models are capable of learning to neurally execute either only one algorithm or a collection of algorithms with identical control-flow backbone. Here, instead, we focus on constructing a generalist neural algorithmic learner -- a single graph neural network processor capable of learning to execute a wide range of algorithms, such as sorting, searching, dynamic programming, path-finding and geometry. We leverage the CLRS benchmark to empirically show that, much like recent successes in the domain of perception, generalist algorithmic learners can be built by "incorporating" knowledge. That is, it is possible to effectively learn algorithms in a multi-task manner, so long as we can learn to execute them well in a single-task regime. Motivated by this, we present a series of improvements to the input representation, training regime and processor architecture over CLRS, improving average single-task performance by over 20% from prior art. We then conduct a thorough ablation of multi-task learners leveraging these improvements. Our results demonstrate a generalist learner that effectively incorporates knowledge captured by specialist models.


title: Heavy-flavor impact on CTEQ-TEA global QCD analyses

abstract: We discuss heavy-flavor production at hadron colliders in recent global QCD analyses to determine parton distribution functions (PDFs) in the proton. We discuss heavy-flavor treatments in precision theory predictions at the LHC. In particular, we discuss factorization schemes in presence of heavy flavors in proton-proton collisions, as well as the impact of heavy-flavor production at the LHC on PDFs. We show results of recent updates beyond CT18, the latest global QCD analysis from the CTEQ-TEA group.


title: Automatic and effective discovery of quantum kernels

abstract: Quantum computing can empower machine learning models by enabling kernel machines to leverage quantum kernels for representing similarity measures between data. Quantum kernels are able to capture relationships in the data that are not efficiently computable on classical devices. However, there is no straightforward method to engineer the optimal quantum kernel for each specific use case. While recent literature has focused on exploiting the potential offered by the presence of symmetries in the data to guide the construction of quantum kernels, we adopt here a different approach, which employs optimization techniques, similar to those used in neural architecture search and AutoML, to automatically find an optimal kernel in a heuristic manner. The algorithm we present constructs a quantum circuit implementing the similarity measure as a combinatorial object, which is evaluated based on a cost function and is then iteratively modified using a meta-heuristic optimization technique. The cost function can encode many criteria ensuring favorable statistical properties of the candidate solution, such as the rank of the Dynamical Lie Algebra. Importantly, our approach is independent of the optimization technique employed. The results obtained by testing our approach on a high-energy physics problem demonstrate that, in the best-case scenario, we can either match or improve testing accuracy with respect to the manual design approach, showing the potential of our technique to deliver superior results with reduced effort.


title: A Coarse-to-Fine Framework for Dual-Arm Manipulation of Deformable Linear Objects with Whole-Body Obstacle Avoidance

abstract: Manipulating deformable linear objects (DLOs) to achieve desired shapes in constrained environments with obstacles is a meaningful but challenging task. Global planning is necessary for such a highly-constrained task; however, accurate models of DLOs required by planners are difficult to obtain owing to their deformable nature, and the inevitable modeling errors significantly affect the planning results, probably resulting in task failure if the robot simply executes the planned path in an open-loop manner. In this paper, we propose a coarse-to-fine framework to combine global planning and local control for dual-arm manipulation of DLOs, capable of precisely achieving desired configurations and avoiding potential collisions between the DLO, robot, and obstacles. Specifically, the global planner refers to a simple yet effective DLO energy model and computes a coarse path to find a feasible solution efficiently; then the local controller follows that path as guidance and further shapes it with closed-loop feedback to compensate for the planning errors and improve the task accuracy. Both simulations and real-world experiments demonstrate that our framework can robustly achieve desired DLO configurations in constrained environments with imprecise DLO models, which may not be reliably achieved by only planning or control.


title: MLGWSC-1: The first Machine Learning Gravitational-Wave Search Mock Data Challenge

abstract: We present the results of the first Machine Learning Gravitational-Wave Search Mock Data Challenge (MLGWSC-1). For this challenge, participating groups had to identify gravitational-wave signals from binary black hole mergers of increasing complexity and duration embedded in progressively more realistic noise. The final of the 4 provided datasets contained real noise from the O3a observing run and signals up to a duration of 20 seconds with the inclusion of precession effects and higher order modes. We present the average sensitivity distance and runtime for the 6 entered algorithms derived from 1 month of test data unknown to the participants prior to submission. Of these, 4 are machine learning algorithms. We find that the best machine learning based algorithms are able to achieve up to 95% of the sensitive distance of matched-filtering based production analyses for simulated Gaussian noise at a false-alarm rate (FAR) of one per month. In contrast, for real noise, the leading machine learning search achieved 70%. For higher FARs the differences in sensitive distance shrink to the point where select machine learning submissions outperform traditional search algorithms at FARs $\geq 200$ per month on some datasets. Our results show that current machine learning search algorithms may already be sensitive enough in limited parameter regions to be useful for some production settings. To improve the state-of-the-art, machine learning algorithms need to reduce the false-alarm rates at which they are capable of detecting signals and extend their validity to regions of parameter space where modeled searches are computationally expensive to run. Based on our findings we compile a list of research areas that we believe are the most important to elevate machine learning searches to an invaluable tool in gravitational-wave signal detection.


title: Front-end Electronics for Timing with pico-seconds precision using 3D Trench Silicon Sensors

abstract: The next generation of collider experiments require tracking detectors with extreme performance capabilities in terms of spatial resolution (tens of $\mu \text{m}$), radiation hardness ($10^{17}~1~$MeV n$_{eq}/$cm$^2$) and timing resolution (tens of ps). 3D silicon sensors, recently developed within the TimeSPOT initiative, offer a viable solution to cope with such demanding requirements. In order to accurately characterize the timing performance of these new sensors, several read-out boards, based on discrete active components, have been designed, assembled, and tested. The same electronics is also suitable for characterization of similar pixel sensors whenever timing performance in the order and below 10 ps is a requirement. This paper describes the general characteristics needed by front-end electronics to exploit solid-state sensors with fast timing capabilities and in particular, showcases the performance of the developed electronics in the testing and characterization of fast 3D silicon sensors.


title: Logarithmic catastrophes and Stokes's phenomenon in waves at horizons

abstract: Waves propagating near an event horizon display interesting features including logarithmic phase singularities and caustics. We consider an acoustic horizon in a flowing Bose-Einstein condensate where the elementary excitations obey the Bogoliubov dispersion relation. In the hamiltonian ray theory the solutions undergo a broken pitchfork bifurcation near the horizon and one might therefore expect the associated wave structure to be given by a Pearcey function, this being the universal wave function that dresses catastrophes with two control parameters. However, the wave function is in fact an Airy-type function supplemented by a logarithmic phase term, a novel type of wave catastrophe. Similar wave functions arise in aeroacoustic flows from jet engines and also gravitational horizons if dispersion which violates Lorentz symmetry in the UV is included. The approach we take differs from previous authors in that we analyze the behaviour of the integral representation of the wave function using exponential coordinates. This allows for a different treatment of the branches that gives rise to an analysis based purely on saddlepoint expansions, which resolve the multiple real and complex waves that interact at the horizon and its companion caustic. We find that the horizon is a physical manifestation of a Stokes surface, marking the place where a wave is born, and that the horizon and the caustic do not in general coincide: the finite spatial region between them delineates a broadened horizon.

categories: cond-mat.quant-gas gr-qc math-ph math.MP quant-ph


title: Characterisation of gradient flows for a given functional

abstract: Let $X$ be a vector field and $Y$ be a co-vector field on a smooth manifold $M$. Does there exist a smooth Riemannian metric $g_{\alpha \beta}$ on $M$ such that $Y_\beta = g_{\alpha \beta} X^\alpha$? The main result of this note gives necessary and sufficient conditions for this to be true. As an application of this result we show that a finite-dimensional ergodic Lindblad equation admits a gradient flow structure for the von Neumann relative entropy if and only if the condition of BKM-detailed balance holds.


title: The Transmission of US Monetary Policy Shocks: The Role of Investment & Financial Heterogeneity

abstract: This paper studies the transmission of US monetary policy shocks into Emerging Markets emphasizing the role of investment and financial heterogeneity. First, we use a panel SVAR model to show that a US interest tightening leads to a persistent recession in Emerging Markets driven by a sharp reduction in aggregate investment. Second, we study the role of firms' financial heterogeneity in the transmission of US interest rate shocks by exploiting detailed balance sheet dataset from Chile. We find that more indebted firms experience greater drops in investment in response to a US tightening shock than less indebted firms. This result is at odds with recent evidence from US firms, even when using the same identification strategy and econometric methods. Third, we rationalize this finding using a stylized model of heterogeneous firms subject to a tightening leverage constraint. Finally, we present evidence in support of this hypothesis as well as robustness checks to our main results. Overall, our results suggests that the transmission channel of US monetary policy shocks within and outside the US differ, a result novel to the literature.


title: Electrode effects on the observability of destructive quantum interference in single-molecule junctions

abstract: Destructive quantum interference (QI) has been a source of interest as a new paradigm for molecular electronics as the electronic conductance is widely dependent on the occurrence or absence of destructive QI effects. In order to interpret experimentally observed transmission features, it is necessary to understand the effects of all components of the junction on electron transport. We perform non-equilibrium Green's function calculations within the framework of density functional theory to assess the structure-function relationship of transport through pyrene molecular junctions with distinct QI properties. The chemical nature of the anchor groups and the electrodes controls the Fermi level alignment, which determines the observability of destructive QI. A thorough analysis allows to disentangle the transmission features arising from the molecule and the electrodes. Interestingly, graphene electrodes introduce features in the low-bias regime, which can either mask or be misinterpreted as QI effects, while instead originating from the topological properties of the edges. Thus, this first principles analysis provides clear indications to guide the interpretation of experimental studies, which cannot be obtained from simple H\"uckel model calculations.


title: Light stringy states and the $g-2$ of the muon

abstract: In this work, we evaluate the contributions to the anomalous magnetic moment of the muon ($(g-2)_{\mu}$) coming from light stringy states in a D-brane semi-realistic configuration. A scalar which couples only to the muon can have a mass sufficiently light to provide a significant contribution to the $(g-2)_{\mu}$. This scenario can arise in intersecting D-brane models, where such light scalars correspond to the first stringy excitations of an open string stretched between two D-branes intersecting with a very small angle. In this article, we show that there is a region in the space of the geometric parameters of the internal manifold where such scalar light stringy states can explain (part) of the observed discrepancy in the $(g-2)_{\mu}$. In a low string scale framework with $M_s\sim 10~{\rm TeV}$, we show that an excited Higgs with mass $\mathcal{O}(250~{\rm MeV})$, living in an intersection with an angle of order $\mathcal{O}(10^{-10})$, can provide a significant contribution of one-tenth of the $(g-2)_{\mu}$ discrepancy. This leads to a lower bound for the compact dimension where the branes intersect of order $\mathcal{O}(10^{-8}~{\rm GeV}^{-1})$. We also study patterns in D-brane configurations that realize our proposal, both in three and four stacks models.


title: Bosonic Qiskit

abstract: The practical benefits of hybrid quantum information processing hardware that contains continuous-variable objects (bosonic modes such as mechanical or electromagnetic oscillators) in addition to traditional (discrete-variable) qubits have recently been demonstrated by experiments with bosonic codes that reach the break-even point for quantum error correction and by efficient Gaussian boson sampling simulation of the Franck-Condon spectra of triatomic molecules that is well beyond the capabilities of current qubit-only hardware. The goal of this Co-design Center for Quantum Advantage (C2QA) project is to develop an instruction set architecture (ISA) for hybrid qubit/bosonic mode systems that contains an inventory of the fundamental operations and measurements that are possible in such hardware. The corresponding abstract machine model (AMM) would also contain a description of the appropriate error models associated with the gates, measurements and time evolution of the hardware. This information has been implemented as an extension of Qiskit. Qiskit is an opensource software development toolkit (SDK) for simulating the quantum state of a quantum circuit on a system with Python 3.7+ and for running the same circuits on prototype hardware within the IBM Quantum Lab. We introduce the Bosonic Qiskit software to enable the simulation of hybrid qubit/bosonic systems using the existing Qiskit software development kit. This implementation can be used for simulating new hybrid systems, verifying proposed physical systems, and modeling systems larger than can currently be constructed. We also cover tutorials and example use cases included within the software to study Jaynes- Cummings models, bosonic Hubbard models, plotting Wigner functions and animations, and calculating maximum likelihood estimations using Wigner functions.


title: Giant electroviscous effects in a ferroelectric nematic liquid crystal

abstract: The electroviscous effect deals with the change in the viscosity of fluids due to an external electric field. Here, we report experimental studies on the electroviscous effects in a ferroelectric nematic liquid crystal. It was synthesised accomplishing a new synthetic route which provides higher yield than conventional one. We measure electric field-dependent viscosity under a steady shear at different temperatures. In the low field range, the increase in viscosity ($\Delta\eta=\eta(E)-\eta_0$) is proportional to $E^2$ and the corresponding viscoelectric coefficient ($f\approx10^{-9}$m\textsuperscript{2}/V\textsuperscript{2}) of the ferroelectric nematic is 2 orders of magnitude larger than the apolar nematic liquid crystals and largest ever measured for a fluid. The apparent viscosity measured under a high electric field shows a power-law divergence $\eta\sim(T-T_c)^{-0.7\pm0.05}$, followed by nearly an order of magnitude drop below the N-N\textsubscript{F} phase transition. Experimental results within the dynamical scaling approximation demonstrate rapid growth of polar domains under a strong electric field as the N-N\textsubscript{F} phase transition is approached. The gigantic electroviscous effects demonstrated here are important for emerging applications and understanding striking electrohydromechanical effects in ferroelectric nematic liquid crystals.


title: A Lunar Backup Record of Humanity

abstract: The risk of a catastrophic or existential disaster for our civilization is increasing this century. A significant motivation for a near-term space settlement is the opportunity to safeguard civilization in the event of a planetary-scale disaster. A catastrophic event could destroy the significant cultural, scientific, and technological progress on Earth. However, early space settlements can preserve records of human activity by maintaining a backup data storage system. The backup can also store information about the events leading up to the disaster. The system would improve the ability of early space settlers to recover our civilization after collapse. We show that advances in laser communications and data storage enable the development of a data storage system on the lunar surface with a sufficient uplink data rate and storage capacity to preserve valuable information about the achievements of our civilization and the chronology of the disaster.


title: Azadkia-Chatterjee's correlation coefficient adapts to manifold data

abstract: In their seminal work, Azadkia and Chatterjee (2021) initiated graph-based methods for measuring variable dependence strength. By appealing to nearest neighbor graphs, they gave an elegant solution to a problem of R\'enyi (R\'enyi, 1959). Their idea was later developed in Deb et al. (2020) and the authors there proved that, quite interestingly, Azadkia and Chatterjee's correlation coefficient can automatically adapt to the manifold structure of the data. This paper furthers their study in terms of calculating the statistic's limiting variance under independence and showing that it only depends on the manifold dimension.


title: The Calder\'{o}n problem for nonlocal parabolic operators

abstract: We investigate inverse problems in the determination of leading coefficients for nonlocal parabolic operators, by knowing the corresponding Cauchy data in the exterior space-time domain. The key contribution is that we reduce nonlocal parabolic inverse problems to the corresponding local inverse problems with the lateral boundary Cauchy data. In addition, we derive a new equation and offer a novel proof of the unique continuation property for this new equation. We also build both uniqueness and non-uniqueness results for both nonlocal isotropic and anisotropic parabolic Calder\'on problems, respectively.


title: Multi-Tenant Cloud FPGA: A Survey on Security

abstract: With the exponentially increasing demand for performance and scalability in cloud applications and systems, data center architectures evolved to integrate heterogeneous computing fabrics that leverage CPUs, GPUs, and FPGAs. FPGAs differ from traditional processing platforms such as CPUs and GPUs in that they are reconfigurable at run-time, providing increased and customized performance, flexibility, and acceleration. FPGAs can perform large-scale search optimization, acceleration, and signal processing tasks compared with power, latency, and processing speed. Many public cloud provider giants, including Amazon, Huawei, Microsoft, Alibaba, etc., have already started integrating FPGA-based cloud acceleration services. While FPGAs in cloud applications enable customized acceleration with low power consumption, it also incurs new security challenges that still need to be reviewed. Allowing cloud users to reconfigure the hardware design after deployment could open the backdoors for malicious attackers, potentially putting the cloud platform at risk. Considering security risks, public cloud providers still don't offer multi-tenant FPGA services. This paper analyzes the security concerns of multi-tenant cloud FPGAs, gives a thorough description of the security problems associated with them, and discusses upcoming future challenges in this field of study.


title: Model-Assisted Labeling via Explainability for Visual Inspection of Civil Infrastructures

abstract: Labeling images for visual segmentation is a time-consuming task which can be costly, particularly in application domains where labels have to be provided by specialized expert annotators, such as civil engineering. In this paper, we propose to use attribution methods to harness the valuable interactions between expert annotators and the data to be annotated in the case of defect segmentation for visual inspection of civil infrastructures. Concretely, a classifier is trained to detect defects and coupled with an attribution-based method and adversarial climbing to generate and refine segmentation masks corresponding to the classification outputs. These are used within an assisted labeling framework where the annotators can interact with them as proposal segmentation masks by deciding to accept, reject or modify them, and interactions are logged as weak labels to further refine the classifier. Applied on a real-world dataset resulting from the automated visual inspection of bridges, our proposed method is able to save more than 50\% of annotators' time when compared to manual annotation of defects.


title: TOI-5205 b: A Short-period Jovian Planet Transiting a Mid-M Dwarf

abstract: We present the discovery of TOI-5205~b, a transiting Jovian planet orbiting a solar metallicity M4V star, which was discovered using Transiting Exoplanet Survey Satellite photometry and then confirmed using a combination of precise radial velocities, ground-based photometry, spectra, and speckle imaging. TOI-5205~b has one of the highest mass ratios for M dwarf planets with a mass ratio of almost 0.3$\%$, as it orbits a host star that is just $0.392 \pm 0.015$ \solmass{}. Its planetary radius is $1.03 \pm 0.03~R_J$, while the mass is $1.08 \pm 0.06~M_J$. Additionally, the large size of the planet orbiting a small star results in a transit depth of $\sim 7\%$, making it one of the deepest transits of a confirmed exoplanet orbiting a main-sequence star. The large transit depth makes TOI-5205~b a compelling target to probe its atmospheric properties, as a means of tracing the potential formation pathways. While there have been radial-velocity-only discoveries of giant planets around mid-M dwarfs, this is the first transiting Jupiter with a mass measurement discovered around such a low-mass host star. The high mass of TOI-5205~b stretches conventional theories of planet formation and disk scaling relations that cannot easily recreate the conditions required to form such planets.


title: On G-fractional diffusion models in bounded domains

abstract: In the recent literature, the g-subdiffusion equation involving Caputo fractional derivatives with respect to another function has been studied in relation to anomalous diffusions with a continuous transition between different subdiffusive regimes. In this paper we study the problem of g-fractional diffusion in a bounded domain with absorbing boundaries. We find the explicit solution for the initial-boundary value problem and we study the first passage time distribution and the mean first-passage time (MFPT). An interestin outcome is the proof that with a particular choice of the function $g$ it is possible to obtain a finite MFPT, differently from the anomalous diffusion described by a fractional heat equation involving the classical Caputo derivative.

categories: cond-mat.stat-mech math-ph math.MP math.PR


title: Abstract art generated by Thue-Morse correlation functions

abstract: The Thue-Morse sequence is an aperiodically ordered infinite binary sequence. It is used as a one-dimensional way to model the structure of a quasicrystal. For example, taking autocorrelations of these sequences (roughly, measuring how similar a Thue-Morse sequence is to translates of itself) we can gain understanding of the diffraction patterns of quasicrystals. We generate abstract art images from these Thue-Morse autocorrelation functions, that capture the aperiodic structure of the Thue-Morse sequence in a compelling way.


title: GET3D: A Generative Model of High Quality 3D Textured Shapes Learned from Images

abstract: As several industries are moving towards modeling massive 3D virtual worlds, the need for content creation tools that can scale in terms of the quantity, quality, and diversity of 3D content is becoming evident. In our work, we aim to train performant 3D generative models that synthesize textured meshes which can be directly consumed by 3D rendering engines, thus immediately usable in downstream applications. Prior works on 3D generative modeling either lack geometric details, are limited in the mesh topology they can produce, typically do not support textures, or utilize neural renderers in the synthesis process, which makes their use in common 3D software non-trivial. In this work, we introduce GET3D, a Generative model that directly generates Explicit Textured 3D meshes with complex topology, rich geometric details, and high-fidelity textures. We bridge recent success in the differentiable surface modeling, differentiable rendering as well as 2D Generative Adversarial Networks to train our model from 2D image collections. GET3D is able to generate high-quality 3D textured meshes, ranging from cars, chairs, animals, motorbikes and human characters to buildings, achieving significant improvements over previous methods.


title: Aggregation Methods for Computing Steady-States in Statistical Physics

abstract: We give a new proof of local convergence of a multigrid method called iterative aggregation/disaggregation (IAD) for computing steady-states of Markov chains. Our proof leads naturally to a precise and interpretable estimate of the asymptotic rate of convergence. We study IAD as a model of more complex methods from statistical physics for computing nonequilibrium steady-states, such as the nonequilibrium umbrella sampling method of Warmflash, et al. We explain why it may be possible to use methods like IAD to efficiently calculate steady-states of models in statistical physics and how to choose parameters to optimize efficiency.

categories: math.NA cond-mat.stat-mech cs.NA physics.chem-ph


title: Integral Arnol'd Conjecture

abstract: We explain how to adapt the methods of Abouzaid-McLean-Smith to the setting of Hamiltonian Floer theory. We develop a language around equivariant ``$\langle k \rangle$-manifolds'', which are a type of manifold-with-corners that suffices to capture the combinatorics of Floer-theoretic constructions. We describe some geometry which allows us to straightforwardly adapt Lashofs's stable equivariant smoothing theory and Bau-Xu's theory of FOP-perturbations to $\langle k \rangle$-manifolds. This allows us to compatibly smooth global Kuranishi charts on all Hamiltonian Floer trajectories at once, in order to extract a Floer complex and prove the Arnol'd conjecture over the integers. We also make first steps towards a further development of the theory, outlining the analog of bifurcation analysis in this setting, which can give short independence proofs of the independence of Floer-theoretic invariants of all choices involved in their construction.


title: Exploring Non-Invertible Symmetries in Free Theories

abstract: Symmetries corresponding to local transformations of the fundamental fields that leave the action invariant give rise to (invertible) topological defects, which obey group-like fusion rules. One can construct more general (codimension-one) topological defects by specifying a map between gauge-invariant operators from one side of the defect and such operators on the other side. In this work, we apply such construction to Maxwell theory in four dimensions and to the free compact scalar theory in two dimensions. In the case of Maxwell theory, we show that a topological defect that mixes the field strength $F$ and its Hodge dual $\star F$ can be at most an $SO(2)$ rotation. For rational values of the bulk coupling and the $\theta$-angle we find an explicit defect Lagrangian that realizes values of the $SO(2)$ angle $\varphi$ such that $\cos \varphi$ is also rational. We further determine the action of such defects on Wilson and 't Hooft lines and show that they are in general non-invertible. We repeat the analysis for the free compact scalar $\phi$ in two dimensions. In this case we find only four discrete maps: the trivial one, a $Z_2$ map $d\phi \rightarrow -d\phi$, a $\mathcal{T}$-duality-like map $d\phi \rightarrow i \star d\phi$, and the product of the last two.


title: 3D Spectroscopic Tracking of Individual Brownian Nanoparticles during Galvanic Exchange

abstract: Monitoring chemical reactions in solutions at the scale of individual entities is challenging: single particle detection requires small confocal volumes which are hardly compatible with Brownian motion, particularly when long integration times are necessary. Here, we propose a real-time (10 Hz) holography-based nm-precision 3D tracking of single moving nanoparticles. Using this localization, the confocal collection volume is dynamically adjusted to follow the moving nanoparticle and allow continuous spectroscopic monitoring. This concept is applied to the study galvanic exchange in freely-moving collo{\"i}dal silver nanoparticles with gold ions generated in-situ. While the Brownian trajectory reveals particle size, spectral shifts dynamically reveal composition changes and transformation kinetics at the single object level, pointing at different transformation kinetics for free and tethered particles.


title: Analysis of Phonetic Soliton Propagation in Neutral Weyl Fermion-sea

abstract: We propose application of Machine Learning (ML) and Neural Network (NN) technique for the analysis of ultrasonic Time Reversal based Nonlinear Elastic Wave Spectroscopy (TR-NEWS). In order to acquire topological features, we adopt the $(2+1)D$ lattice simulation with fixed point (FP) actions. We consider 7 A type loops which sit on $2D$ spacial plane spanned by $e_1, e_2$ and 13 B type loops which contain links parallel to $e_1\wedge e_2$ and to -$e_1\wedge e_2$. We consider propagation of bosonic phonons in Fermi-sea of neutral Weyl spinors which are described by Clifford algebra. Configurations in momentum space is transformed to real position space via Clifford Fourier Transform. We consider A-type without hysteresis effects and B-type with hysteresis effects, and via ML or NN technique search optimal weight of 7 A-type FP actions and 13 B-type FP actions using the Monte-Carlo method.


title: Controlling the direction of steady electric fields in liquid using non-antiperiodic potentials

abstract: When applying an oscillatory electric potential to an electrolyte solution, it is commonly assumed that the choice of which electrode is grounded or powered does not matter because the time-average of the electric potential is zero. Recent theoretical, numerical, and experimental work, however, has established that certain types of multimodal oscillatory potentials that are "non-antiperodic" can induce a net steady field toward either the grounded or powered electrode [Hashemi et al., Phys. Rev. E 105, 065001 (2022)]. Here, we elaborate on the nature of these steady fields through numerical and theoretical analyses of the asymmetric rectified electric field (AREF) that occurs in electrolytes where the cations and anions have different mobilities. We demonstrate that AREFs induced by a non-antiperiodic electric potential, e.g., by a two-mode waveform with modes at 2 and 3 Hz, invariably yields a steady field that is spatially dissymmetric between two parallel electrodes, such that swapping which electrode is powered changes the direction of the field. Additionally, using a perturbation expansion, we demonstrate that the dissymmetric AREF occurs due to odd nonlinear orders of the applied potential. We further generalize the theory by demonstrating that the dissymmetric field occurs for all classes of zero-time-average (no dc bias) periodic potentials, including triangular and rectangular pulses, and we discuss how these steady fields can tremendously change the interpretation, design, and applications of electrochemical and electrokinetic systems.


title: Low Complexity Hybrid Beamforming for mmWave Full-Duplex Integrated Access and Backhaul

abstract: We consider an integrated access and backhaul (IAB) node operating in full-duplex (FD) mode. We analyze simultaneous transmission from the New Radio gNB to the IAB node on the backhaul uplink, IAB node to a user equipment (UE) on the access downlink, and IAB transmitter to the IAB receiver on the self-interference (SI) channel. Our contributions include (1) a low complexity algorithm to jointly design the hybrid analog/digital beamformers for all three nodes to maximize the sum spectral efficiency of the access and backhaul links by canceling SI and maximizing received power; (2) derivation of all-digital beamforming and spectral efficiency upper bound for use in benchmarking; and (3) simulations to compare full vs. half duplex modes, hybrid vs. all-digital beamforming algorithms, proposed hybrid vs. conventional beamforming algorithms, and spectral efficiency upper bound. In simulations, the proposed algorithm shows significant reduction in SI power and increase in sum spectral efficiency.


title: A Cooperative Deception Strategy for Covert Communication in Presence of a Multi-antenna Adversary

abstract: Covert transmission is investigated for a cooperative deception strategy, where a cooperative jammer (Jammer) tries to attract a multi-antenna adversary (Willie) and degrade the adversary's reception ability for the signal from a transmitter (Alice). For this strategy, we formulate an optimization problem to maximize the covert rate when three different types of channel state information (CSI) are available. The total power is optimally allocated between Alice and Jammer subject to Kullback-Leibler (KL) divergence constraint. Different from the existing literature, in our proposed strategy, we also determine the optimal transmission power at the jammer when Alice is silent, while existing works always assume that the jammer's power is fixed. Specifically, we apply the S-procedure to convert infinite constraints into linear-matrix-inequalities (LMI) constraints. When statistical CSI at Willie is available, we convert double integration to single integration using asymptotic approximation and substitution method. In addition, the transmission strategy without jammer deception is studied as a benchmark. Finally, our simulation results show that for the proposed strategy, the covert rate is increased with the number of antennas at Willie. Moreover, compared to the benchmark, our proposed strategy is more robust in face of imperfect CSI.


title: EEG-Based Epileptic Seizure Prediction Using Temporal Multi-Channel Transformers

abstract: Epilepsy is one of the most common neurological diseases, characterized by transient and unprovoked events called epileptic seizures. Electroencephalogram (EEG) is an auxiliary method used to perform both the diagnosis and the monitoring of epilepsy. Given the unexpected nature of an epileptic seizure, its prediction would improve patient care, optimizing the quality of life and the treatment of epilepsy. Predicting an epileptic seizure implies the identification of two distinct states of EEG in a patient with epilepsy: the preictal and the interictal. In this paper, we developed two deep learning models called Temporal Multi-Channel Transformer (TMC-T) and Vision Transformer (TMC-ViT), adaptations of Transformer-based architectures for multi-channel temporal signals. Moreover, we accessed the impact of choosing different preictal duration, since its length is not a consensus among experts, and also evaluated how the sample size benefits each model. Our models are compared with fully connected, convolutional, and recurrent networks. The algorithms were patient-specific trained and evaluated on raw EEG signals from the CHB-MIT database. Experimental results and statistical validation demonstrated that our TMC-ViT model surpassed the CNN architecture, state-of-the-art in seizure prediction.


title: U-Sleep's resilience to AASM guidelines

abstract: AASM guidelines are the result of decades of efforts aiming at standardizing sleep scoring procedure, with the final goal of sharing a worldwide common methodology. The guidelines cover several aspects from the technical/digital specifications,e.g., recommended EEG derivations, to detailed sleep scoring rules accordingly to age. Automated sleep scoring systems have always largely exploited the standards as fundamental guidelines. In this context, deep learning has demonstrated better performance compared to classical machine learning. Our present work shows that a deep learning based sleep scoring algorithm may not need to fully exploit the clinical knowledge or to strictly adhere to the AASM guidelines. Specifically, we demonstrate that U-Sleep, a state-of-the-art sleep scoring algorithm, can be strong enough to solve the scoring task even using clinically non-recommended or non-conventional derivations, and with no need to exploit information about the chronological age of the subjects. We finally strengthen a well-known finding that using data from multiple data centers always results in a better performing model compared with training on a single cohort. Indeed, we show that this latter statement is still valid even by increasing the size and the heterogeneity of the single data cohort. In all our experiments we used 28528 polysomnography studies from 13 different clinical studies.


title: SERF: Interpretable Sleep Staging using Embeddings, Rules, and Features

abstract: The accuracy of recent deep learning based clinical decision support systems is promising. However, lack of model interpretability remains an obstacle to widespread adoption of artificial intelligence in healthcare. Using sleep as a case study, we propose a generalizable method to combine clinical interpretability with high accuracy derived from black-box deep learning. Clinician-determined sleep stages from polysomnogram (PSG) remain the gold standard for evaluating sleep quality. However, PSG manual annotation by experts is expensive and time-prohibitive. We propose SERF, interpretable Sleep staging using Embeddings, Rules, and Features to read PSG. SERF provides interpretation of classified sleep stages through meaningful features derived from the AASM Manual for the Scoring of Sleep and Associated Events. In SERF, the embeddings obtained from a hybrid of convolutional and recurrent neural networks are transposed to the interpretable feature space. These representative interpretable features are used to train simple models like a shallow decision tree for classification. Model results are validated on two publicly available datasets. SERF surpasses the current state-of-the-art for interpretable sleep staging by 2%. Using Gradient Boosted Trees as the classifier, SERF obtains 0.766 $\kappa$ and 0.870 AUC-ROC, within 2% of the current state-of-the-art black-box models.


title: Study of $\eta(1405)/\eta(1475)$ in $J/\psi\to\gamma K^{0}_{S} K^{0}_{S}\pi^{0}$ decay

abstract: Using a sample of $(10.09\pm0.04)\times10^{9}$ $J/\psi$ decays collected with the BESIII detector, partial wave analyses of the decay $J/\psi\to\gamma K^{0}_{S} K^{0}_{S}\pi^{0}$ are performed within the $K^{0}_{S}K^{0}_{S}\pi^{0}$ invariant mass region below $1.6\mathrm{\ Ge\kern -0.1em V}/c^2$. The covariant tensor amplitude method is used in both mass independent and mass dependent approaches. Both analysis approaches exhibit dominant pseudoscalar and axial vector components, and show good consistency for the other individual components. Furthermore, the mass dependent analysis reveals that the $K^{0}_{S}K^{0}_{S}\pi^{0}$ invariant mass spectrum for the pseudoscalar component can be well described with two isoscalar resonant states using relativistic Breit-Wigner model, ${\it i.e.}$, the $\eta(1405)$ with a mass of $1391.7\pm0.7_{-0.3}^{+11.3}\mathrm{\ Me\kern -0.1em V}/c^2$ and a width of $60.8\pm1.2_{-12.0}^{+5.5}\mathrm{\ Me\kern -0.1em V}$, and the $\eta(1475)$ with a mass of $1507.6\pm1.6_{-32.2}^{+15.5}\mathrm{\ Me\kern -0.1em V}/c^2$ and a width of $115.8\pm2.4_{-10.9}^{+14.8}\mathrm{\ Me\kern -0.1em V}$. The first and second uncertainties are statistical and systematic, respectively. Alternate models for the pseudoscalar component are also tested, but the description of the $K^{0}_{S}K^{0}_{S}\pi^{0}$ invariant mass spectrum deteriorates significantly.


title: A pathway to accurate potential energy curves on NISQ devices

abstract: We present a practical workflow to compute the potential energy curve of the hydrogen molecule on near intermediate-scale quantum (NISQ) devices. The proposed approach uses an extrapolation scheme to deliver, with only few qubits, full configuration interaction results close to the basis-set limit. We show that despite the limitations imposed by the noisy nature of simulated quantum hardware, it is possible to recover realistic electronic correlation values, if we also estimate expectation values of the Hartree-Fock ground state energy. Using two models of noisy quantum experiments, we evaluate the performance of a scheme that requires at most a double-zeta basis set (3-21G, in this case) and compare with the most accurate Born-Oppenheimer potential energy curves available in the literature. Our flexible approach is implemented using simple variational ansatzes combined with straightforward mitigation techniques and thus we expect it to be also suitable for other energy estimation quantum schemes.


title: Uniform Reliability for Unbounded Homomorphism-Closed Graph Queries

abstract: We study the uniform query reliability problem, which asks, for a fixed Boolean query Q, given an instance I, how many subinstances of I satisfy Q. Equivalently, this is a restricted case of Boolean query evaluation on tuple-independent probabilistic databases where all facts must have probability 1/2. We focus on graph signatures, and on queries closed under homomorphisms. We show that for any such query that is unbounded, i.e., not equivalent to a union of conjunctive queries, the uniform reliability problem is #P-hard. This recaptures the hardness, e.g., of s-t connectedness, which counts how many subgraphs of an input graph have a path between a source and a sink. This new hardness result on uniform reliability strengthens our earlier hardness result on probabilistic query evaluation for unbounded homomorphism-closed queries (ICDT'20). Indeed, our earlier proof crucially used facts with probability 1, so it did not apply to the unweighted case. The new proof presented in this paper avoids this; it uses our recent hardness result on uniform reliability for non-hierarchical conjunctive queries without self-joins (ICDT'21), along with new techniques.


title: Poisson Flow Generative Models

abstract: We propose a new "Poisson flow" generative model (PFGM) that maps a uniform distribution on a high-dimensional hemisphere into any data distribution. We interpret the data points as electrical charges on the $z=0$ hyperplane in a space augmented with an additional dimension $z$, generating a high-dimensional electric field (the gradient of the solution to Poisson equation). We prove that if these charges flow upward along electric field lines, their initial distribution in the $z=0$ plane transforms into a distribution on the hemisphere of radius $r$ that becomes uniform in the $r \to\infty$ limit. To learn the bijective transformation, we estimate the normalized field in the augmented space. For sampling, we devise a backward ODE that is anchored by the physically meaningful additional dimension: the samples hit the unaugmented data manifold when the $z$ reaches zero. Experimentally, PFGM achieves current state-of-the-art performance among the normalizing flow models on CIFAR-10, with an Inception score of $9.68$ and a FID score of $2.35$. It also performs on par with the state-of-the-art SDE approaches while offering $10\times $ to $20 \times$ acceleration on image generation tasks. Additionally, PFGM appears more tolerant of estimation errors on a weaker network architecture and robust to the step size in the Euler method. The code is available at https://github.com/Newbeeer/poisson_flow .


title: CdS Nanocrystallines: Synthesis, Structure and Nonlinear Optical Properties

abstract: We report the synthesis, structure and nonlinear optical properties of cadmium sulphide (CdS) nanocrystallines (NCs) synthesized electrochemically both with and without detergent ATLAS G3300. Relevant structural and morphological features are explored by X-ray diffraction and scanning electron microscopy (SEM) techniques. The efficiency of the second harmonic generation (SHG) appears to be strongly dependent on the energy density of the incident fundamental laser radiation and NC sizes.


title: Traffic Accident Risk Forecasting using Contextual Vision Transformers

abstract: Recently, the problem of traffic accident risk forecasting has been getting the attention of the intelligent transportation systems community due to its significant impact on traffic clearance. This problem is commonly tackled in the literature by using data-driven approaches that model the spatial and temporal incident impact, since they were shown to be crucial for the traffic accident risk forecasting problem. To achieve this, most approaches build different architectures to capture the spatio-temporal correlations features, making them inefficient for large traffic accident datasets. Thus, in this work, we are proposing a novel unified framework, namely a contextual vision transformer, that can be trained in an end-to-end approach which can effectively reason about the spatial and temporal aspects of the problem while providing accurate traffic accident risk predictions. We evaluate and compare the performance of our proposed methodology against baseline approaches from the literature across two large-scale traffic accident datasets from two different geographical locations. The results have shown a significant improvement with roughly 2\% in RMSE score in comparison to previous state-of-art works (SoTA) in the literature. Moreover, our proposed approach has outperformed the SoTA technique over the two datasets while only requiring 23x fewer computational requirements.


title: Teaching Autonomous Systems Hands-On: Leveraging Modular Small-Scale Hardware in the Robotics Classroom

abstract: Although robotics courses are well established in higher education, the courses often focus on theory and sometimes lack the systematic coverage of the techniques involved in developing, deploying, and applying software to real hardware. Additionally, most hardware platforms for robotics teaching are low-level toys aimed at younger students at middle-school levels. To address this gap, an autonomous vehicle hardware platform, called F1TENTH, is developed for teaching autonomous systems hands-on. This article describes the teaching modules and software stack for teaching at various educational levels with the theme of "racing" and competitions that replace exams. The F1TENTH vehicles offer a modular hardware platform and its related software for teaching the fundamentals of autonomous driving algorithms. From basic reactive methods to advanced planning algorithms, the teaching modules enhance students' computational thinking through autonomous driving with the F1TENTH vehicle. The F1TENTH car fills the gap between research platforms and low-end toy cars and offers hands-on experience in learning the topics in autonomous systems. Four universities have adopted the teaching modules for their semester-long undergraduate and graduate courses for multiple years. Student feedback is used to analyze the effectiveness of the F1TENTH platform. More than 80% of the students strongly agree that the hardware platform and modules greatly motivate their learning, and more than 70% of the students strongly agree that the hardware-enhanced their understanding of the subjects. The survey results show that more than 80% of the students strongly agree that the competitions motivate them for the course.


title: Is everything quantum spooky and weird? An exploration of popular communication about quantum science and technology in TEDx talks

abstract: Researchers point to four potential issues related to the popularisation of quantum science and technology. These include a lack of explaining underlying quantum concepts of quantum 2.0 technology, framing quantum science and technology as spooky and enigmatic, framing quantum technology narrowly in terms of public good and having a strong focus on quantum computing. To date, no research has yet assessed whether these potential issues are actually present in popular communication about quantum science. In this content analysis, we have examined the presence of these potential issues in 501 TEDx talks with quantum science and technology content. Results show that while most experts (70%) explained at least one underlying quantum concept (superposition, entanglement or contextuality) of quantum 2.0 technology, only 28% of the non-experts did so. Secondly, the spooky/enigmatic frame was present in about a quarter of the talks. Thirdly, a narrow public good frame was found, predominantly by highlighting the benefits of quantum science and technology (found in over 6 times more talks than risks). Finally, the main focus was on quantum computing at the expense of other quantum technologies. In conclusion, the proposed frames are indeed found in TEDx talks, there is indeed a focus on quantum computing, but at least experts explain underlying quantum concepts often.


title: Noise Stability of Ranked Choice Voting

abstract: We conjecture that Borda count is the ranked choice voting method that best preserves the outcome of an election with randomly corrupted votes, among all fair voting methods with small influences satisfying the Condorcet Loser Criterion. This conjecture is an adaptation of the Plurality is Stablest Conjecture to the setting of ranked choice voting. Since the plurality function does not satisfy the Condorcet Loser Criterion, our new conjecture is not directly related to the Plurality is Stablest Conjecture. Nevertheless, we show that the Plurality is Stablest Conjecture implies our new Borda count is Stablest conjecture. We therefore deduce that Borda count is stablest for elections with three candidates when the corrupted votes are nearly uncorrelated with the original votes. We also adapt a dimension reduction argument to this setting, showing that the optimal ranked choice voting method is "low-dimensional." The Condorcet Loser Criterion asserts that a candidate must lose an election if each other candidate is preferred in head-to-head comparisons. Lastly, we discuss a variant of our conjecture with the Condorcet Winner Criterion as a constraint instead of the Condorcet Loser Criterion. In this case, we have no guess for the most stable ranked choice voting method.


title: A class of cosmological models with spatially constant sign-changing curvature

abstract: We construct globally hyperbolic spacetimes such that each slice $\{t=t_0\}$ of the universal time $t$ is a model space of constant curvature $k(t_0)$ which may not only vary with $t_0\in\mathbb{R}$ but also change its sign. The metric is smooth and slightly different to FLRW spacetimes, namely, $g=-dt^2+dr^2+ S_{k(t)}^2(r) g_{\mathbb{S}^{n-1}}$, where $g_{\mathbb{S}^{n-1}}$ is the metric of the standard sphere, $S_{k(t)}(r)=\sin(\sqrt{k(t)}\, r)/\sqrt{k(t)}$ when $k(t)\geq 0$ and $S_{k(t)}(r)=\sinh(\sqrt{-k(t)}\, r)/\sqrt{-k(t)}$ when $k(t)\leq 0$. In the open case, the $t$-slices are (non-compact) Cauchy hypersurfaces of curvature $k(t)\leq 0$, thus homeomorphic to $\mathbb{R}^n$; a typical example is $k(t)=-t^2$ (i.e., $S_{k(t)}(r)=\sinh(tr)/t$). In the closed case, $k(t)>0$ somewhere, a slight extension of the class shows how the topology of the $t$-slices changes. This makes at least one comoving observer to disappear in finite time $t$ showing some similarities with an inflationary expansion. Anyway, the spacetime is foliated by Cauchy hypersurfaces homeomorphic to spheres, not all of them $t$-slices.


title: The Role of High Energy Photoelectrons on the Dissociation of Molecular Nitrogen in Earth's Ionosphere

abstract: Soft x-ray radiation from the sun is responsible for the production of high energy photoelectrons in the D and E regions of the ionosphere, where they deposit most of their ionization energy. The photoelectrons created by this process are the main drivers for dissociation of Nitrogen molecule ($N_2$) below 200 km. The dissociation of N2 is one of main mechanisms of the production of Nitric Oxide (NO), an important minor constituent at these altitudes. In order to estimate the dissociation rate of N2 we need its dissociation cross-sections. The dissociation cross-sections for N2 by photoelectrons are primarily estimated from the cross-sections of its excitation states using predissociation factors and dissociative ionization channels. The lack of cross-sections data, particularly at high electron energies and of higher excited states of $N_2$ and $N_2^+$, introduces uncertainty in the dissociation rate calculation, which subsequently leads to uncertainties in the NO production rate from this source. In this work, we have fitted updated electron impact cross-sections data and by applying predissociation factors obtained, updated dissociation rates of N2 due to high energy photoelectrons. The new dissociation rates of N2 are compared to the dissociation rates obtained from Solomon and Qian [2005]. The new dissociation cross-sections and rates are estimated to be about 30% lower than the Solomon and Qian [2005] model. Simulations using a parameterized version of the updated dissociation rates in the Atmospheric Chemistry and Energetics (ACE1D) model leads to a $20%$ increase in NO density at the altitudes below 100 km is observed.


title: Data on 824 fireballs observed by the digital cameras of the European Fireball Network in 2017-2018. I. Description of the network, data reduction procedures, and the catalog

abstract: A catalog of 824 fireballs (bright meteors), observed by a dedicated network of all-sky digital photographic cameras in central Europe in the years 2017-2018 is presented. The status of the European Fireball Network, established in 1963, is described. The cameras collect digital images of meteors brighter than an absolute magnitude of about -2 and radiometric light curves with a high temporal resolution of those brighter than a magnitude ~ -4. All meteoroids larger than 5 grams, corresponding to sizes of about 2 cm, are detected regardless of their entry velocity. High-velocity meteoroids are detected down to masses of about 0.1 gram. The largest observed meteoroid in the reported period 2017-2018 had a mass of about 100 kg and a size of about 40 cm. The methods of data analysis are explained and all catalog entries are described in detail. The provided data include the fireball date and time, atmospheric trajectory and velocity, the radiant in various coordinate systems, heliocentric orbital elements, maximum brightness, radiated energy, initial and terminal masses, maximum encountered dynamic pressure, physical classification, and possible shower membership. Basic information on the fireball spectrum is available for some bright fireballs (apparent magnitude < -7). A simple statistical evaluation of the whole sample is provided. The scientific analysis is presented in an accompanying paper.


title: Black-body radiation induced photodissociation and population redistribution of weakly bound states in H$_2^+$

abstract: Molecular hydrogen ions in weakly bound states close to the first dissociation threshold are attractive quantum sensors for measuring the proton-to-electron mass ratio and hyperfine-induced ortho-para mixing. The experimental accuracy of previous spectroscopic studies relying on fast ion beams could be improved by using state-of-the-art ion trap setups. With the electric dipole moment vanishing in H$_2^+$ and preventing fast spontaneous emission, radiative lifetimes of the order of weeks are found. We include the effect of black-body radiation that can lead to photodissociation and rovibronic state redistribution to obtain effective lifetimes for trapped ion experiments. Rate coefficients for bound-bound and bound-continuum processes were calculated using adiabatic nuclear wave functions and nonadiabatic energies, including relativistic and radiative corrections. Effective lifetimes for the weakly bound states were obtained by solving a rate equation model and lifetimes in the range of 4 to 523~ms and $>$215~ms were found at room temperature and liquid nitrogen temperature, respectively. Black-body induced photodissociation was identified as the lifetime-limiting effect, which guarantees the purity of state-selectively generated molecular ion ensembles. The role of hyperfine-induced $g/u$-mixing, which allows pure rovibrational transitions, was found to be negligible.


title: No-slip boundary condition for vorticity equation in 2D exterior domains

abstract: In this article we derive the no-slip boundary condition for a non-stationary vorticity equation. This condition generates the affine invariant manifold and no-slip integral relations on vorticity can be transferred to a Robin-type boundary condition.