title: Self-SuperFlow: Self-supervised Scene Flow Prediction in Stereo Sequences

abstract: In recent years, deep neural networks showed their exceeding capabilities in addressing many computer vision tasks including scene flow prediction. However, most of the advances are dependent on the availability of a vast amount of dense per pixel ground truth annotations, which are very difficult to obtain for real life scenarios. Therefore, synthetic data is often relied upon for supervision, resulting in a representation gap between the training and test data. Even though a great quantity of unlabeled real world data is available, there is a huge lack in self-supervised methods for scene flow prediction. Hence, we explore the extension of a self-supervised loss based on the Census transform and occlusion-aware bidirectional displacements for the problem of scene flow prediction. Regarding the KITTI scene flow benchmark, our method outperforms the corresponding supervised pre-training of the same network and shows improved generalization capabilities while achieving much faster convergence.


title: Controlled and impulsive compression of an entrapped air bubble during impact

abstract: Wave slamming onto a structure is often accompanied by the entrapment of an air pocket. A large scale impact typically has a rapidly evolving and disturbed liquid-gas interface, such that several bubbles are entrapped upon impact. While it is largely understood how the peak pressure is created by liquid coming into contact with the solid structure, it is more challenging to ascertain how an isolated air pocket is pressurised by an impulsive impact, and how the maximum impact pressure inside this bubble evolves. We study such a Bagnold-type impulsive compression of an air bubble by performing well-controlled experiments, where we use an inverted, hollow cone as an impactor. The cone is kept immersed throughout in a water bath, such that it encloses an air bubble of known and controlled volume. A high-sensitivity sensor measures pressures at the vertex of the cone. Using high-speed imaging we show how incoming liquid deforms the air bubble enclosed in such a geometry, and how an impact peak is registered inside the bubble, which can be traced back to the impact of a liquid jet onto the pressure sensor. We compare the measured pressures to a Bagnold model, and discuss the dominant resonances in the bubble. From visualisations of the deforming bubble, we also discuss the air-pocket's deformations, resulting from the presence of surrounding rigid geometry (such as corrugations in an LNG containment membrane).


title: Design and Motion Planning for a Reconfigurable Robotic Base

abstract: A robotic platform for mobile manipulation needs to satisfy two contradicting requirements for many real-world applications: A compact base is required to navigate through cluttered indoor environments, while the support needs to be large enough to prevent tumbling or tip over, especially during fast manipulation operations with heavy payloads or forceful interaction with the environment. This paper proposes a novel robot design that fulfills both requirements through a versatile footprint. It can reconfigure its footprint to a narrow configuration when navigating through tight spaces and to a wide stance when manipulating heavy objects. Furthermore, its triangular configuration allows for high-precision tasks on uneven ground by preventing support switches. A model predictive control strategy is presented that unifies planning and control for simultaneous navigation, reconfiguration, and manipulation. It converts task-space goals into whole-body motion plans for the new robot. The proposed design has been tested extensively with a hardware prototype. The footprint reconfiguration allows to almost completely remove manipulation-induced vibrations. The control strategy proves effective in both lab experiment and during a real-world construction task.


title: On the Ranks of Semigroup of Order-preserving or Order-reversing Partial Contraction Mappings on a Finite Chain

abstract: Let $\mathcal{CP}_n$ be the semigroup of partial contraction mappings on $[n]=\{1,2,\ldots,n\}$ and let $\mathcal{OCP}_n$ and $\mathcal{ORCP}_n$ be its subsemigroups consisting of all order-preserving and of all order-preserving or order-reversing, partial contraction mappings, respectively. In this paper we obtain the rank of the two semigroups, $\mathcal{OCP}_n$ and $\mathcal{ORCP}_n$, respectively.


title: Single magnon excited states of a Heisenberg spin-chain using a quantum computer

abstract: Excited states of spin-chains play an important role in condensed matter physics. We present a method of calculating the single magnon excited states of the Heisenberg spin-chain that can be efficiently implemented on a quantum processor for small spin chains. Our method involves finding the stationary points of the energy vs wavenumber curve. We implement our method for 4-site and 8-site Heisenberg Hamiltonians using numerical techniques as well as using an IBM quantum processor. Finally, we give an insight into the circuit complexity and scaling of our proposed method.


title: Definable valuations on ordered fields

abstract: We study the definability of convex valuations on ordered fields, with a particular focus on the distinguished subclass of henselian valuations. In the setting of ordered fields, one can consider definability both in the language of rings $\mathcal{L}_{\mathrm{r}}$ and in the richer language of ordered rings $\mathcal{L}_{\mathrm{or}}$. We analyse and compare definability in both languages and show the following contrary results: while there are convex valuations that are definable in the language $\mathcal{L}_{\mathrm{or}}$ but not in the language $\mathcal{L}_{\mathrm{r}}$, any $\mathcal{L}_{\mathrm{or}}$-definable henselian valuation is already $\mathcal{L}_{\mathrm{r}}$-definable. To prove the latter, we show that the value group and the ordered residue field of an ordered henselian valued field are stably embedded (as an ordered abelian group, respectively as an ordered field). Moreover, we show that in almost real closed fields any $\mathcal{L}_{\mathrm{or}}$-definable valuation is henselian.


title: A Distributed Massive MIMO Channel Sounder for "Big CSI Data"-driven Machine Learning

abstract: A distributed massive MIMO channel sounder for acquiring large CSI datasets, dubbed DICHASUS, is presented. The measured data has potential applications in the study of various machine learning algorithms for user localization, JCAS, channel charting, enabling massive MIMO in FDD operation, and many others. The proposed channel sounder architecture is distinct from similar previous designs in that each individual single-antenna receiver is completely autonomous, enabling arbitrary, spatially distributed antenna deployments, and offering virtually unlimited scalability in the number of antennas. Optionally, extracted channel coefficient vectors can be tagged with ground truth position data, obtained either through a GNSS receiver (for outdoor operation) or through various indoor positioning techniques.


title: Physics-informed machine learning for Structural Health Monitoring

abstract: The use of machine learning in Structural Health Monitoring is becoming more common, as many of the inherent tasks (such as regression and classification) in developing condition-based assessment fall naturally into its remit. This chapter introduces the concept of physics-informed machine learning, where one adapts ML algorithms to account for the physical insight an engineer will often have of the structure they are attempting to model or assess. The chapter will demonstrate how grey-box models, that combine simple physics-based models with data-driven ones, can improve predictive capability in an SHM setting. A particular strength of the approach demonstrated here is the capacity of the models to generalise, with enhanced predictive capability in different regimes. This is a key issue when life-time assessment is a requirement, or when monitoring data do not span the operational conditions a structure will undergo. The chapter will provide an overview of physics-informed ML, introducing a number of new approaches for grey-box modelling in a Bayesian setting. The main ML tool discussed will be Gaussian process regression, we will demonstrate how physical assumptions/models can be incorporated through constraints, through the mean function and kernel design, and finally in a state-space setting. A range of SHM applications will be demonstrated, from loads monitoring tasks for off-shore and aerospace structures, through to performance monitoring for long-span bridges.


title: Designs, Motion Mechanism, Motion Coordination, and Communication of Bionic Robot Fishes: A Survey

abstract: In the last few years, there have been many new developments and significant accomplishments in the research of bionic robot fishes. However, in terms of swimming performance, existing bionic robot fishes lag far behind fish, prompting researchers to constantly develop innovative designs of various bionic robot fishes. In this paper, the latest designs of robot fishes are presented in detail, distinguished by the propulsion mode. New robot fishes mainly include soft robot fishes and rigid-soft coupled robot fishes. The latest progress in the study of the swimming mechanism is analyzed on the basis of summarizing the main swimming theories of fish. The current state-of-the-art research in the new field of motion coordination and communication of multiple robot fishes is summarized. The general research trend in robot fishes is to utilize more efficient and robust methods to best mimic real fish while exhibiting superior swimming performance. The current challenges and potential future research directions are discussed. Various methods are needed to narrow the gap in swimming performance between robot fishes and fish. This paper is a first step to bring together roboticists and marine biologists interested in learning state-of-the-art research on bionic robot fishes.


title: New classes of quadratically integrable systems in magnetic fields: the generalized cylindrical and spherical cases

abstract: We study integrable and superintegrable systems with magnetic field possessing quadratic integrals of motion on the three-dimensional Euclidean space. In contrast with the case without vector potential, the corresponding integrals may no longer be connected to separation of variables in the Hamilton-Jacobi equation and can have more general leading order terms. We focus on two cases extending the physically relevant cylindrical- and spherical-type integrals. We find three new integrable systems in the generalized cylindrical case but none in the spherical one. We conjecture that this is related to the presence, respectively absence, of maximal abelian Lie subalgebra of the three-dimensional Euclidean algebra generated by first order integrals in the limit of vanishing magnetic field. By investigating superintegrability, we find only one (minimally) superintegrable system among the integrable ones. It does not separate in any orthogonal coordinate system. This system provides a mathematical model of a helical undulator placed in an infinite solenoid.


title: Transfer Learning with Deep Tabular Models

abstract: Recent work on deep learning for tabular data demonstrates the strong performance of deep tabular models, often bridging the gap between gradient boosted decision trees and neural networks. Accuracy aside, a major advantage of neural models is that they learn reusable features and are easily fine-tuned in new domains. This property is often exploited in computer vision and natural language applications, where transfer learning is indispensable when task-specific training data is scarce. In this work, we demonstrate that upstream data gives tabular neural networks a decisive advantage over widely used GBDT models. We propose a realistic medical diagnosis benchmark for tabular transfer learning, and we present a how-to guide for using upstream data to boost performance with a variety of tabular neural network architectures. Finally, we propose a pseudo-feature method for cases where the upstream and downstream feature sets differ, a tabular-specific problem widespread in real-world applications. Our code is available at https://github.com/LevinRoman/tabular-transfer-learning .


title: Efficient verification of Affleck-Kennedy-Lieb-Tasaki states

abstract: Affleck-Kennedy-Lieb-Tasaki (AKLT) states are an important class of many-body quantum states that are useful in quantum information processing, including measurement-based quantum computation in particular. Here we propose a general approach for constructing efficient verification protocols for AKLT states on arbitrary graphs with local spin measurements. Our verification protocols build on bond verification protocols and matching covers (including edge coloring) of the underlying graphs, which have a simple geometric and graphic picture. We also provide rigorous performance guarantee that is required for practical applications. With our approach, most AKLT states of wide interest, including those defined on 1D and 2D lattices, can be verified with a constant sample cost, which is independent of the system size and is dramatically more efficient than all previous approaches. As an illustration, we construct concrete verification protocols for AKLT states on various lattices and on arbitrary graphs up to five vertices.


title: Fast sampling of satisfying assignments from random $k$-SAT

abstract: We give a nearly linear-time algorithm to approximately sample satisfying assignments in the random $k$-SAT model when the density of the formula scales exponentially with $k$. The best previously known sampling algorithm for the random $k$-SAT model applies when the density $\alpha=m/n$ of the formula is less than $2^{k/300}$ and runs in time $n^{\exp(\Theta(k))}$ (Galanis, Goldberg, Guo and Yang, SIAM J. Comput., 2021). Here $n$ is the number of variables and $m$ is the number of clauses. Our algorithm achieves a significantly faster running time of $n^{1 + o_k(1)}$ and samples satisfying assignments up to density $\alpha\leq 2^{0.039 k}$. The main challenge in our setting is the presence of many variables with unbounded degree, which causes significant correlations within the formula and impedes the application of relevant Markov chain methods from the bounded-degree setting (Feng, Guo, Yin and Zhang, J. ACM, 2021; Jain, Pham and Vuong, 2021). Our main technical contribution is a $o_k(\log n )$ bound of the sum of influences in the $k$-SAT model which turns out to be robust against the presence of high-degree variables. This allows us to apply the spectral independence framework and obtain fast mixing results of a uniform-block Glauber dynamics on a carefully selected subset of the variables. The final key ingredient in our method is to take advantage of the sparsity of logarithmic-sized connected sets and the expansion properties of the random formula, and establish relevant properties of the set of satisfying assignments that enable the fast simulation of this Glauber dynamics.


title: On the blow-up analysis at collapsing poles for solutions of singular Liouville type equations

abstract: We analyse a blow-up sequence of solutions for Liouville type equations involving Dirac measures with "collapsing" poles. We consider the case where blow-up occurs exactly at a point where the poles coalesce. After proving that a "quantization" property still holds for the "blow-up mass", we obtain precise point-wise estimates when blow-up occurs with the least blow-up mass. Interestingly, such estimates express the exact analogue of those obtained for "bubble" solutions of "regular" Liouville equations, when the "collapsing" Dirac measures are neglected. Such information will be used to describe the asymptotic behaviour of minimizers of the Donaldson functional introduced by Goncalves and Uhlenbeck (2007), yielding to mean curvature 1-immersions of surfaces into hyperbolic 3-manifolds.


title: The Delta-Method and Influence Function in Medical Statistics: a Reproducible Tutorial

abstract: Approximate statistical inference via determination of the asymptotic distribution of a statistic is routinely used for inference in applied medical statistics (e.g. to estimate the standard error of the marginal or conditional risk ratio). One method for variance estimation is the classical Delta-method but there is a knowledge gap as this method is not routinely included in training for applied medical statistics and its uses are not widely understood. Given that a smooth function of an asymptotically normal estimator is also asymptotically normally distributed, the Delta-method allows approximating the large-sample variance of a function of an estimator with known large-sample properties. In a more general setting, it is a technique for approximating the variance of a functional (i.e., an estimand) that takes a function as an input and applies another function to it (e.g. the expectation function). Specifically, we may approximate the variance of the function using the functional Delta-method based on the influence function (IF). The IF explores how a functional $\phi(\theta)$ changes in response to small perturbations in the sample distribution of the estimator and allows computing the empirical standard error of the distribution of the functional. The ongoing development of new methods and techniques may pose a challenge for applied statisticians who are interested in mastering the application of these methods. In this tutorial, we review the use of the classical and functional Delta-method and their links to the IF from a practical perspective. We illustrate the methods using a cancer epidemiology example and we provide reproducible and commented code in R and Python using symbolic programming. The code can be accessed at https://github.com/migariane/DeltaMethodInfluenceFunction


title: Performance Analysis of Optimized Versatile Video Coding Software Decoders on Embedded Platforms

abstract: In recent years, the global demand for high-resolution videos and the emergence of new multimedia applications have created the need for a new video coding standard. Hence, in July 2020 the Versatile Video Coding (VVC) standard was released providing up to 50% bit-rate saving for the same video quality compared to its predecessor High Efficiency Video Coding (HEVC). However, this bit-rate saving comes at the cost of a high computational complexity, particularly for live applications and on resource-constraint embedded devices. This paper presents two optimized VVC software decoders, named OpenVVC and Versatile Video deCoder (VVdeC), designed for low resources platforms. They exploit optimization techniques such as data level parallelism using Single Instruction Multiple Data (SIMD) instructions and functional level parallelism using frame, tile and slice-based parallelisms. Furthermore, a comparison in terms of decoding run time, energy and memory consumption between the two decoders is presented while targeting two different resource-constraint embedded devices. The results showed that both decoders achieve real-time decoding of Full High definition (FHD) resolution over the first platform using 8 cores and High-definition (HD) real-time decoding for the second platform using only 4 cores with comparable results in terms of average consumed energy: around 26 J and 15 J for the 8 cores and 4 cores embedded platforms, respectively. Regarding the memory usage, OpenVVC showed better results with less average maximum memory consumed during run time compared to VVdeC.


title: FL-Tuning: Layer Tuning for Feed-Forward Network in Transformer

abstract: Prompt tuning is an emerging way of adapting pre-trained language models to downstream tasks. However, the existing studies are mainly to add prompts to the input sequence. This way would not work as expected due to the intermediate multi-head self-attention and feed-forward network computation, making model optimization not very smooth. Hence, we propose a novel tuning way called layer tuning, aiming to add learnable parameters in Transformer layers. Specifically, we focus on layer tuning for feed-forward network in the Transformer, namely FL-tuning. It introduces additional units into the hidden layer of each feed-forward network. We conduct extensive experiments on the public CLUE benchmark. The results show that: 1) Our FL-tuning outperforms prompt tuning methods under both full-data and few-shot settings in almost all cases. In particular, it improves accuracy by 17.93% (full-data setting) on WSC 1.0 and F1 by 16.142% (few-shot setting) on CLUENER over P-tuning v2. 2) Our FL-tuning is more stable and converges about 1.17 times faster than P-tuning v2. 3) With only about 3% of Transformer's parameters to be trained, FL-tuning is comparable with fine-tuning on most datasets, and significantly outperforms fine-tuning (e.g., accuracy improved by 12.9% on WSC 1.1) on several datasets. The source codes are available at https://github.com/genggui001/FL-Tuning.


title: Proximity spin-orbit coupling in graphene on alloyed transition metal dichalcogenides

abstract: The negligible intrinsic spin-orbit coupling (SOC) in graphene can be enhanced by proximity effects in stacked heterostructures of graphene and transition metal dichalcogenides (TMDCs). The composition of the TMDC layer plays a key role in determining the nature and strength of the resultant SOC induced in the graphene layer. Here, we study the evolution of the proximity-induced SOC as the TMDC layer is deliberately defected. Alloyed ${\rm G/W_{\chi}Mo_{1-\chi}Se_2}$ heterostructures with diverse compositions ($\chi$) and defect distributions are simulated using density functional theory. Comparison with continuum and tight-binding models allows both local and global signatures of the metal-atom alloying to be clarified. Our findings show that, despite some dramatic perturbation of local parameters for individual defects, the low-energy spin and electronic behaviour follow a simple effective medium model which depends only on the composition ratio of the metallic species in the TMDC layer. Furthermore, we demonstrate that the topological state of such alloyed systems can be feasibly tuned by controlling this ratio.


title: Equation of State of Neutron-Rich Matter in $d$-Dimensions

abstract: Nuclear systems under constraints, with high degrees of symmetries and/or collectivities may be considered as moving effectively in spaces with reduced spatial dimensions. We first derive analytical expressions for the nucleon specific energy $E_0(\rho)$, pressure $P_0(\rho)$, incompressibility coefficient $K_0(\rho)$ and skewness coefficient $J_0(\rho)$ of symmetric nucleonic matter (SNM), the quadratic symmetry energy $E_{\rm{sym}}(\rho)$, its slope parameter $L(\rho)$ and curvature coefficient $K_{\rm{sym}}(\rho)$ as well as the fourth-order symmetry energy $E_{\rm{sym,4}}(\rho)$ of neutron-rich matter in general $d$ spatial dimensions (abbreviated as "$d$D") in terms of the isoscalar and isovector parts of the isospin-dependent single-nucleon potential according to the generalized Hugenholtz-Van Hove (HVH) theorem. The equation of state (EOS) of nuclear matter in $d$D can be linked to that in the conventional 3-dimensional (3D) space by the $\epsilon$-expansion which is a perturbative approach successfully used previously in treating second-order phase transitions and related critical phenomena and more recently in studying the EOS of cold atoms. The $\epsilon$-expansion of nuclear EOS in $d$D based on a reference dimension $d_{\rm{f}}=d-\epsilon$ is shown to be effective with $-1\lesssim\epsilon\lesssim1$ starting from $1\lesssim d_{\rm{f}}\lesssim3$ in comparison with the exact expressions derived using the HVH theorem. Moreover, the EOS of SNM (with/without considering its potential part) is found to be reduced (enhanced) in lower (higher) dimensions, indicating in particular that the many-nucleon system tends to be deeper bounded but saturate at higher densities in spaces with lower dimensions. The links between the EOSs in 3D and $d$D spaces from the $\epsilon$-expansion provide new perspectives to the EOS of neutron-rich matter.


title: Maximum principle for stable operators

abstract: We prove a weak maximum principle for nonlocal symmetric stable operators. This includes the fractional Laplacian. The main focus of this work is the regularity of the considered function.


title: Anomaly Detection in Echocardiograms with Dynamic Variational Trajectory Models

abstract: We propose a novel anomaly detection method for echocardiogram videos. The introduced method takes advantage of the periodic nature of the heart cycle to learn three variants of a variational latent trajectory model (TVAE). While the first two variants (TVAE-C and TVAE-R) model strict periodic movements of the heart, the third (TVAE-S) is more general and allows shifts in the spatial representation throughout the video. All models are trained on the healthy samples of a novel in-house dataset of infant echocardiogram videos consisting of multiple chamber views to learn a normative prior of the healthy population. During inference, maximum a posteriori (MAP) based anomaly detection is performed to detect out-of-distribution samples in our dataset. The proposed method reliably identifies severe congenital heart defects, such as Ebstein's Anomaly or Shone-complex. Moreover, it achieves superior performance over MAP-based anomaly detection with standard variational autoencoders when detecting pulmonary hypertension and right ventricular dilation. Finally, we demonstrate that the proposed method enables interpretable explanations of its output through heatmaps highlighting the regions corresponding to anomalous heart structures.


title: Towards a Sub-percent Precision Measurement of $\sin^2\theta_{13}$ with Reactor Antineutrinos

abstract: Measuring the neutrino mixing parameter \ensuremath{\sin^2\theta_{13}} to the sub-percent precision level could be necessary in the next ten years for the precision unitary test of the PMNS matrix. In this work, we discuss the possibility of such a measurement with reactor antineutrinos. We find that a single liquid scintillator detector on a reasonable scale could achieve the goal. We propose to install a detector of $\sim10$\% energy resolution at about 2.0~km from the reactors with a JUNO-like overburden. The integrated luminosity requirement is about 150~${\rm kton}\cdot {\rm GW}\cdot {\rm year}$, corresponding to 4 years' operation of a 4~kton detector near a reactor complex of 9.2 GW thermal power like Taishan reactor. Unlike the previous $\theta_{13}$ experiments with identical near and far detectors, which can suppress the systematics especially the rate uncertainty by the near-far relative measurement and the optimal baseline is at the first oscillation maximum of about 1.8~km, a single-detector measurement prefers to offset the baseline from the oscillation maximum. At low statistics $\lesssim 10$~${\rm kton}\cdot {\rm GW}\cdot {\rm year}$, the rate uncertainty dominates the systematics, and the optimal baseline is about 1.3~km. At higher statistics, the spectral shape uncertainty becomes dominant, and the optimal baseline shifts to about 2.0~km. The optimal baseline keeps being $\sim 2.0$~km for an integrated luminosity up to $10^6$~${\rm kton}\cdot {\rm GW}\cdot {\rm year}$. We have assumed that the TAO experiment will improve our understanding of the spectral shape uncertainty, which gives the highest precision measurement of reactor antineutrino spectrum for neutrino energy in the range of 3--6~MeV. We find that the optimal baseline is $\sim 2.9$~km with a flat input spectral shape uncertainty provided by the future summation or conversion methods' prediction.


title: Constraints on the Spindown of Fully-Convective M Dwarfs Using Wide Field Binaries

abstract: M dwarfs remain active over longer timescales than their Sunlike counterparts, with potentially devastating implications for the atmospheres of their planets. However, the age at which fully-convective M dwarfs transition from active and rapidly rotating to quiescent and slowly rotating is poorly understood, as these stars remain rapidly rotating in the oldest clusters that are near enough for a large sample of low-mass M dwarfs to be studied. To constrain the spindown of these low-mass stars, we measure photometric rotation periods for field M dwarfs in wide binary systems, primarily using TESS and MEarth. Our analysis includes M-M pairs, which are coeval but of unknown age, as well as M dwarfs with white dwarf or Sunlike primaries, for which we can estimate ages using techniques like white dwarf cooling curves, gyrochronology, and lithium abundance. We find that the epoch of spindown is strongly dependent on mass. Fully-convective M dwarfs initially spin down slowly, with the population of 0.2--0.3M$_\odot$ rapid rotators evolving from $P_{\rm rot} < 2$ days at 600 Myr to $2 < P_{\rm rot} < 10$ days at 1--3 Gyr before rapidly spinning down to long rotation periods at older ages. However, we also identify some variability in the spindown of fully-convective M dwarfs, with a small number of stars having substantially spun down by 600 Myr. These observations are consistent with models of magnetic morphology-driven spindown, where angular momentum loss is initially inefficient until changes in the magnetic field allow spindown to progress rapidly.


title: On extended boundary sequences of morphic and Sturmian words

abstract: Generalizing the notion of the boundary sequence introduced by Chen and Wen, the $n$th term of the $\ell$-boundary sequence of an infinite word is the finite set of pairs $(u,v)$ of prefixes and suffixes of length $\ell$ appearing in factors $uyv$ of length $n+\ell$ ($n\ge \ell\ge 1$). Otherwise stated, for increasing values of $n$, one looks for all pairs of factors of length $\ell$ separated by $n-\ell$ symbols. For the large class of addable abstract numeration systems $S$, we show that if an infinite word is $S$-automatic, then the same holds for its $\ell$-boundary sequence. In particular, they are both morphic (or generated by an HD0L system). To precise the limits of this result, we discuss examples of non-addable numeration systems and $S$-automatic words for which the boundary sequence is nevertheless $S$-automatic and conversely, $S$-automatic words with a boundary sequence that is not $S$-automatic. In the second part of the paper, we study the $\ell$-boundary sequence of a Sturmian word. We show that it is obtained through a sliding block code from the characteristic Sturmian word of the same slope. We also show that it is the image under a morphism of some other characteristic Sturmian word.


title: Substrate conformal imprint fabrication process of synthetic antiferromagnetic nanoplatelets

abstract: Methods to fabricate and characterize monodisperse magnetic nanoplatelets for fluid/bio-based applications based on spintronic thin-film principles are a challenge. This is due to the required top-down approach where the transfer of optimized blanket films to free particles in a fluid while preserving the magnetic properties is an uncharted field. Here, we explore the use of substrate conformal imprint lithography (SCIL) as a fast and cost-effective fabrication route. We analyze the size distribution of nominal 1.8 um and 120 nm diameter platelets and show the effect of the fabrication steps on the magnetic properties which we explain through changes in the dominant magnetization reversal mechanism as the size decreases. We show that SCIL allows for efficient large-scale platelet fabrication and discuss how application-specific requirements can be solved via process and material engineering.


title: Exploiting Inherent Elasticity of Serverless in Irregular Algorithms

abstract: Serverless computing, in particular the Function-as-a-Service (FaaS) execution model, has recently shown to be effective for running large-scale computations. However, little attention has been paid to highly-parallel applications with unbalanced and irregular workloads. Typically, these workloads have been kept out of the cloud due to the impossibility of anticipating their computing resources ahead of time, frequently leading to severe resource over- and underprovisioning situations. Our main insight in this article is, however, that the elasticity and ease of management of serverless computing technology can be a key enabler for effectively running these problematic workloads for the first time in the cloud. More concretely, we demonstrate that with a simple serverless executor pool abstraction one can achieve a better cost-performance trade-off than a Spark cluster of static size built upon large EC2 virtual machines. To support this conclusion, we evaluate three irregular algorithms: Unbalanced Tree Search (UTS), Mandelbrot Set using the Mariani-Silver algorithm and Betweenness Centrality (BC) on a random graph. For instance, our serverless implementation of UTS is able to outperform Spark by up to 55% with the same cost. We also show that a serverless environment can outperform a large EC2 in the BC algorithm by a 10% using the same amount of virtual CPUs. This provides the first concrete evidence that highly-parallel, irregular workloads can be efficiently executed using purely stateless functions with almost zero burden on users i.e., no need for users to understand non-obvious system-level parameters and optimizations. Furthermore, we show that UTS can benefit from the FaaS pay-as-you-go billing model, which makes it worth for the first time to enable certain application-level optimizations that can lead to significant improvements (e.g. of 41%) with negligible increase in cost.


title: Score Equivalence for Staged Trees

abstract: Staged trees are a recently-developed, powerful family of probabilistic graphical models. An equivalence class of staged trees has now been characterised, and two fundamental statistical operators have been defined to traverse the equivalence class of a given staged tree. Here, two staged trees are said to be statistically equivalent when they represent the same set of distributions. Probabilistic graphical models such as staged trees are increasingly being used for causal analyses. Staged trees which are within the same equivalence class can encode very different causal hypotheses but data alone cannot help us distinguish between these. Therefore, in using score-based methods to learn the model structure and distributions from data for causal analyses, we should expect that a suitable scoring function is one which assigns the same score to statistically equivalent models. No scoring function has yet been proven to have this desirable property for staged trees. In this paper, we present a novel Bayesian Dirichlet scoring function based on path uniformity and mass conversation, and prove that this new scoring function is score-equivalent for staged trees.


title: Solar Power Smoothing in a Nanogrid Testbed

abstract: High penetration of solar power introduces new challenges in the operation of distribution systems. Considering the highly volatile nature of solar power output due to changes in cloud coverage, maintaining the power balance and operating within ramp rate limits can be an issue. Great benefits can be brought to the grid by smoothing solar power output at individual sites equipped with flexible resources such as electrical vehicles and battery storage systems. This paper proposes several approaches to a solar smoothing application by utilizing battery storage and EV charging control in a "Nanogrid" testbed located at a utility in Florida. The control algorithms focus on both real-time application and predictive control depending on forecasts. The solar smoothing models are then compared using real data from the Nanogrid site to present the effectiveness of the proposed models and compare their results. Furthermore, the control methods are applied to the Orlando Utilities Commission (OUC) Nanogrid to confirm the simulation results.


title: Topological superconductivity enhanced by exceptional points

abstract: Majorana zero modes (MZMs) emerge as edge states in topological superconductors and are promising for topological quantum computation, but their detection has so far been elusive. Here we show that non-Hermiticity can be used to obtain dramatically more robust MZMs. The enhanced properties appear as a result of an extreme instability of exceptional points to superconductivity, such that even a vanishingly small superconducting order parameter already opens a large energy gap, produces well-localized MZMs, and leads to strong superconducting pair correlations. Our work thus illustrates the large potential of enhancing topological superconductivity using non-Hermitian exceptional points.


title: Different ice shell geometries on Europa and Enceladus due to their different sizes: impacts of ocean heat transport

abstract: On icy worlds, the ice shell and subsurface ocean form a coupled system -- heat and salinity flux from the ice shell induced by the ice thickness gradient drives circulation in the ocean, and in turn, the heat transport by ocean circulation shapes the ice shell. Therefore, understanding the dependence of the efficiency of ocean heat transport (OHT) on orbital parameters may allow us to predict the ice shell geometry before direct observation is possible, providing useful information for mission design. Inspired by previous works on baroclinic eddies, I first derive scaling laws for the OHT on icy moons, driven by ice topography, and then verify them against high resolution 3D numerical simulations. Using the scaling laws, I am then able to make predictions for the equilibrium ice thickness variation knowing that the ice shell should be close to heat balance. Ice shell on small icy moons (e.g., Enceladus) may develop strong thickness variations between the equator and pole driven by the polar-amplified tidal dissipation in the ice, to the contrary, ice shell on large icy moons (e.g., Europa, Ganymede, Callisto etc.) tends to be flat due to the smoothing effects of the efficient OHT. These predictions are manifested by the different ice evolution pathways simulated for Enceladus and Europa, considering the ice freezing/melting induced by ice dissipation, conductive heat loss and OHT as well as the mass redistribution by ice flow.


title: Second order nonlinearity induced multipartite entanglement in a hybrid magnon cavity QED system

abstract: We present a proposal to produce bipartite and tripartite entanglement in a hybrid magnon-cavity QED system. Two macroscopic yttrium iron garnet (YIG) spheres are coupled to a single-mode microwave cavity via magnetic dipole interaction, while the cavity photons are generated via the two photon process induced by a pump field. Using the mean field theory, we show that the second order nonlinearity can result in strong bipartite entanglement between cavity photons and magnonic modes under two conditions, i.e., $\delta_c \delta_{m}=2g^2$ and $\delta_c=-\delta_{m}$. For the later one, we also show the possibility for producing the bipartite entanglement between two magnonic modes and tripartite entanglement among the cavity photons and two magnonic modes. Combining these two conditions, we further derive a third condition, i.e., $\delta_m^2-\phi^2+2g^2=0$, where the tripartite entanglement can be achieved when two magnonic modes have different resonant frequencies.


title: Thermodynamic and topological properties of copolymer rings with a segregation/mixing transition

abstract: Two ring polymers close to each other in space may be either in a segregated phase if there is a strong repulsion between monomers in the polymers, or intermingle in a mixed phase if there is a strong attractive force between the monomers. These phases are separated by a critical point which has a $\theta$-point character. The metric and topological properties of the ring polymers depend on the phase, and may change abruptly at the critical point. In this paper we examine the thermodynamics and linking of two ring polymers close in space in both the segregated and mixed phases using a cubic lattice model of two polygons interacting with each other. Our results show that the probability of linking is low in the segregated phase, but that it increases through the critical point as the model is taken into the mixed phase. We also examine the metric and thermodynamic properties of the model, with focus on how the averaged measures of topological complexity are related to these properties.


title: Neural Annotation Refinement: Development of a New 3D Dataset for Adrenal Gland Analysis

abstract: The human annotations are imperfect, especially when produced by junior practitioners. Multi-expert consensus is usually regarded as golden standard, while this annotation protocol is too expensive to implement in many real-world projects. In this study, we propose a method to refine human annotation, named Neural Annotation Refinement (NeAR). It is based on a learnable implicit function, which decodes a latent vector into represented shape. By integrating the appearance as an input of implicit functions, the appearance-aware NeAR fixes the annotation artefacts. Our method is demonstrated on the application of adrenal gland analysis. We first show that the NeAR can repair distorted golden standards on a public adrenal gland segmentation dataset. Besides, we develop a new Adrenal gLand ANalysis (ALAN) dataset with the proposed NeAR, where each case consists of a 3D shape of adrenal gland and its diagnosis label (normal vs. abnormal) assigned by experts. We show that models trained on the shapes repaired by the NeAR can diagnose adrenal glands better than the original ones. The ALAN dataset will be open-source, with 1,584 shapes for adrenal gland diagnosis, which serves as a new benchmark for medical shape analysis. Code and dataset are available at https://github.com/M3DV/NeAR.


title: Investigating nuclear structure near $N = 32$ and $N = 34$: Precision mass measurements of neutron-rich Ca, Ti and V isotopes

abstract: Nuclear mass measurements of isotopes are key to improving our understanding of nuclear structure across the chart of nuclides, in particular for the determination of the appearance or disappearance of nuclear shell closures. We present high-precision mass measurements of neutron-rich Ca, Ti and V isotopes performed at the TITAN and LEBIT facilities. These measurements were made using the TITAN multiple-reflection time-of-flight mass spectrometer (MR-ToF-MS) and the LEBIT 9.4T Penning trap mass spectrometer. In total, 13 masses were measured, eight of which represent increases in precision over previous measurements. These measurements refine trends in the mass surface around $N = 32$ and $N = 34$, and support the disappearance of the $N = 32$ shell closure with increasing proton number. Additionally, our data does not support the presence of a shell closure at $N = 34$.


title: Borderline global regularity for nonuniformly elliptic systems

abstract: We establish sharp global regularity results for solutions to nonhomogeneous, nonunifomrly elliptic systems with zero boundary conditions. In particular, we obtain everywhere Lipschitz continuity under borderline Lorentz assumptions on the forcing term, thus positively settling the optimality issue raised in \cite{bdms}.


title: GitHub Copilot AI pair programmer: Asset or Liability?

abstract: Automatic program synthesis is a long-lasting dream in software engineering. Recently, a promising Deep Learning (DL) based solution, called Copilot, has been proposed by OpenAI and Microsoft as an industrial product. Although some studies evaluate the correctness of Copilot solutions and report its issues, more empirical evaluations are necessary to understand how developers can benefit from it effectively. In this paper, we study the capabilities of Copilot in two different programming tasks: (i) generating (and reproducing) correct and efficient solutions for fundamental algorithmic problems, and (ii) comparing Copilot's proposed solutions with those of human programmers on a set of programming tasks. For the former, we assess the performance and functionality of Copilot in solving selected fundamental problems in computer science, like sorting and implementing data structures. In the latter, a dataset of programming problems with human-provided solutions is used. The results show that Copilot is capable of providing solutions for almost all fundamental algorithmic problems, however, some solutions are buggy and non-reproducible. Moreover, Copilot has some difficulties in combining multiple methods to generate a solution. Comparing Copilot to humans, our results show that the correct ratio of humans' solutions is greater than Copilot's suggestions, while the buggy solutions generated by Copilot require less effort to be repaired.


title: The longest edge of the one-dimensional soft random geometric graph with boundaries

abstract: The object of study is a soft random geometric graph with vertices given by a Poisson point process on a line and edges between vertices present with probability that has a polynomial decay in the distance between them. Various aspects of such models related to connectivity structures have been studied extensively. In this paper we study the random graph from the perspective of extreme value theory and focus on the occurrence of single long edges. The model we investigate has non-periodic boundary and is parameterized by a positive constant $\alpha$, which is the power for the polynomial decay of the probabilities determining the presence of an edge. As a main result we provide a precise description of the magnitude of the longest edge in terms of asymptotic behavior in distribution. Thereby we illustrate a crucial dependence on the power $\alpha$ and we recover a phase transition which coincides with exactly the same phases in [2].


title: Classification of Gravitational Waves in Higher-dimensional Space-time and Possibility of Observation

abstract: The direct detection of gravitational waves opens the possibility to test general relativity and its alternatives in the strong field regime. Here we focus on the test of the existence of extra dimensions. The classification of gravitational waves in metric gravity theories according to their polarizations in higher-dimensional space-time and the possible observation of these polarizations in 3-dimensional subspace are discussed in this work. And we show that the difference in the response of gravitational waves in detectors with and without extra dimensions can serve as evidence for the existence of extra dimensions.


title: Optimal control of two dimensional third grade fluids

abstract: The aim of this work is to study the optimal control problems of flows governed by the incompressible third grade fluid equations with Navier-slip boundary conditions. After recalling a result on the well-posedness of the state equations, we study the existence and the uniqueness of solution to the linearized state and adjoint equations. Furthermore, we present a stability result for the state, and show that the solution of the linearized equation coincides with the G\^ateaux derivative of the control-to-state mapping. Next, we prove the existence of an optimal solution and establish the first order optimality conditions. Finally, an uniqueness result of the coupled system constituted by the state equation, the adjoint equation and the first order optimality condition is established, under sufficiently large intensity of the cost.


title: Byzantine Agreement with Optimal Resilience via Statistical Fraud Detection

abstract: Since the mid-1980s it has been known that Byzantine Agreement can be solved with probability 1 asynchronously, even against an omniscient, computationally unbounded adversary that can adaptively \emph{corrupt} up to $f<n/3$ parties. Moreover, the problem is insoluble with $f\geq n/3$ corruptions. However, Bracha's 1984 protocol achieved $f<n/3$ resilience at the cost of exponential expected latency $2^{\Theta(n)}$, a bound that has never been improved in this model with $f=\lfloor (n-1)/3 \rfloor$ corruptions. In this paper we prove that Byzantine Agreement in the asynchronous, full information model can be solved with probability 1 against an adaptive adversary that can corrupt $f<n/3$ parties, while incurring only polynomial latency with high probability. Our protocol follows earlier polynomial latency protocols of King and Saia and Huang, Pettie, and Zhu, which had suboptimal resilience, namely $f \approx n/10^9$ and $f<n/4$, respectively. Resilience $f=(n-1)/3$ is uniquely difficult as this is the point at which the influence of the Byzantine and honest players are of roughly equal strength. The core technical problem we solve is to design a collective coin-flipping protocol that eventually lets us flip a coin with an unambiguous outcome. In the beginning the influence of the Byzantine players is too powerful to overcome and they can essentially fix the coin's behavior at will. We guarantee that after just a polynomial number of executions of the coin-flipping protocol, either (a) the Byzantine players fail to fix the behavior of the coin (thereby ending the game) or (b) we can ``blacklist'' players such that the blacklisting rate for Byzantine players is at least as large as the blacklisting rate for good players. The blacklisting criterion is based on a simple statistical test of fraud detection.


title: Tight Bounds for Online Matching in Bounded-Degree Graphs with Vertex Capacities

abstract: We study the $b$-matching problem in bipartite graphs $G=(S,R,E)$. Each vertex $s\in S$ is a server with individual capacity $b_s$. The vertices $r\in R$ are requests that arrive online and must be assigned instantly to an eligible server. The goal is to maximize the size of the constructed matching. We assume that $G$ is a $(k,d)$-graph~\cite{NW}, where $k$ specifies a lower bound on the degree of each server and $d$ is an upper bound on the degree of each request. This setting models matching problems in timely applications. We present tight upper and lower bounds on the performance of deterministic online algorithms. In particular, we develop a new online algorithm via a primal-dual analysis. The optimal competitive ratio tends to~1, for arbitrary $k\geq d$, as the server capacities increase. Hence, nearly optimal solutions can be computed online. Our results also hold for the vertex-weighted problem extension, and thus for AdWords and auction problems in which each bidder issues individual, equally valued bids. Our bounds improve the previous best competitive ratios. The asymptotic competitiveness of~1 is a significant improvement over the previous factor of $1-1/e^{k/d}$, for the interesting range where $k/d\geq 1$ is small. Recall that $1-1/e\approx 0.63$. Matching problems that admit a competitive ratio arbitrarily close to~1 are rare. Prior results rely on randomization or probabilistic input models.


title: Comodule theories in Grothendieck categories and relative Hopf objects

abstract: We develop the categorical algebra of the noncommutative base change of a comodule category by means of a Grothendieck category $\mathfrak S$. We describe when the resulting category of comodules is locally finitely generated, locally noetherian or may be recovered as a coreflective subcategory of the noncommutative base change of a module category. We also introduce the category ${_A}\mathfrak S^H$ of relative $(A,H)$-Hopf modules in $\mathfrak S$, where $H$ is a Hopf algebra and $A$ is a right $H$-comodule algebra. We study the cohomological theory in ${_A}\mathfrak S^H$ by means of spectral sequences. Using coinduction functors and functors of coinvariants, we study torsion theories and how they relate to injective resolutions in ${_A}\mathfrak S^H$. Finally, we use the theory of associated primes and support in noncommutative base change of module categories to give direct sum decompositions of minimal injective resolutions in ${_A}\mathfrak S^H$.


title: Rejuvenated accretors have less bound envelopes: Impact of Roche lobe overflow on subsequent common envelope events

abstract: Common-envelope (CE) evolution is an outstanding open problem in stellar evolution, critical to the formation of compact binaries including gravitational-wave sources. In the ``classical'' isolated binary evolution scenario for double compact objects, the CE is usually the second mass transfer phase. Thus, the donor star of the CE is the product of a previous binary interaction, often stable Roche-lobe overflow (RLOF). Because of the accretion of mass during the first RLOF, the main-sequence core of the accretor star grows and is ``rejuvenated''. This modifies the core-envelope boundary region and decreases significantly the envelope binding energy for the remaining evolution. Comparing accretor stars from self-consistent binary models to stars evolved as single, we demonstrate that the rejuvenation can lower the energy required to eject a CE by $\sim 42-96\%$ for both black hole and neutron star progenitors, depending on the evolutionary stage and final orbital separation. Therefore, binaries experiencing first stable mass transfer may more easily survive subsequent CE events and result in possibly wider final separations compared to current predictions. Despite their high mass, our accretors also experience extended ``blue loops'', which may have observational consequences for low-metallicity stellar populations and asteroseismology.


title: Abstract morphing using the Hausdorff distance and Voronoi diagrams

abstract: This paper introduces two new abstract morphs for two $2$-dimensional shapes. The intermediate shapes gradually reduce the Hausdorff distance to the goal shape and increase the Hausdorff distance to the initial shape. The morphs are conceptually simple and apply to shapes with multiple components and/or holes. We prove some basic properties relating to continuity, containment, and area. Then we give an experimental analysis that includes the two new morphs and a recently introduced abstract morph that is also based on the Hausdorff distance (Van Kreveld et al. Between shapes, using the Hausdorff distance. Computational Geometry 100:101817, 2022). We show results on the area and perimeter development throughout the morph, and also the number of components and holes. A visual comparison shows that one of the new morphs appears most attractive.


title: Work Extracting From Nonextensive Small System With Feedback and Second Law-Like Inequalities with Quantum Tsallis Entropy

abstract: Gibbs-Boltzmann entropy leads to systems that have a strong dependence on initial conditions. In reality, most materials behave quite independently of initial conditions. Nonextensive entropy or Tsallis entropy leads to nonextensive statistical mechanics. In this paper, we calculate the Tsallis form of Clausius inequality and then determine the upper bound for extracting work from the small system in the nonextensive statistical mechanics with mutual information. In the following, we extract mutual information and adjust Maxwell's demon with quantum feedback control.


title: Equitable 2-partitions of the Johnson graphs $J(n,3)$

abstract: We finish the classification of equitable 2-partitions of the Johnson graphs of diameter 3, $J(n,3)$, for $n>10$.


title: Tilings of the sphere by congruent quadrilaterals III: edge combination $a^3b$ with general angles

abstract: Edge-to-edge tilings of the sphere by congruent quadrilaterals are completely classified in a series of three papers. This last one classifies the case of $a^3b$-quadrilaterals with some irrational angle: there are a sequence of $1$-parameter families of quadrilaterals admitting $2$-layer earth map tilings together with their basic flip modifications under extra condition, and $5$ sporadic quadrilaterals each admitting a special tiling. A summary of the full classification is presented in the end.


title: Quantum mechanics? It's all fun and games until someone loses an $i$

abstract: QBism regards quantum mechanics as an addition to probability theory. The addition provides an extra normative rule for decision-making agents concerned with gambling across experimental contexts, somewhat in analogy to the double-slit experiment. This establishes the meaning of the Born Rule from a QBist perspective. Moreover it suggests that the best way to formulate the Born Rule for foundational discussions is with respect to an informationally complete reference device. Recent work [DeBrota, Fuchs, and Stacey, Phys. Rev. Res. 2, 013074 (2020)] has demonstrated that reference devices employing symmetric informationally complete POVMs (or SICs) achieve a minimal quantumness: They witness the irreducible difference between classical and quantum. In this paper, we attempt to answer the analogous question for real-vector-space quantum theory. While standard quantum mechanics seems to allow SICs to exist in all finite dimensions, in the case of quantum theory over the real numbers it is known that SICs do not exist in most dimensions. We therefore attempt to identify the optimal reference device in the first real dimension without a SIC (i.e., $d=4$) in hopes of better understanding the essential role of complex numbers in quantum mechanics. In contrast to their complex counterparts, the expressions that result in a QBist understanding of real-vector-space quantum theory are surprisingly complex.


title: Uniform, rigid branchwise-real trees

abstract: A branchwise-real tree is a partial order which is a tree and in which every branch is isomorphic to a real interval. I give constructions of such trees which are both rigid (i.e. without non-trivial order-automorphisms) and uniform (in two different senses). Specifically, I show that there is a rigid branchwise-real tree in which every branching point has the same degree, one in which every point is branching and of the same degree, and finally one in which every point is branching of the same degree and which admits no order-preserving function into the reals. Trees are grown iteratively in stages, and a key technique is the construction (in ZFC) of a family of colourings of $(0,\infty)$ which is 'sufficiently generic', using these colourings to determine how to proceed with the construction.


title: Spin polarized electron beams production beyond III-V semiconductors

abstract: This paper summarizes the state of the art of photocathode based on III-V semiconductors for spin polarized electron beam production. The limitations preventing this class of material to provide the long term reliability at the highest average beam currents necessary for some of the new accelerator facilities or proposed upgrades of existing ones are illustrated. Promising alternative classes of materials are identified showing properties that can be leveraged to synthesize photocathode structures that can outperform III-V semiconductors in the production of spin polarized electron beams and support the operating conditions of advanced electron sources for new facilities.


title: Quasi-2D Fermi surface of superconducting line-nodal metal CaSb$_2$

abstract: We report on the Fermi surfaces and superconducting parameters of CaSb$_2$ single crystals (superconducting below $T_{\text{c}}\sim 1.8~\text{K}$) grown by the self-flux method. The frequency of de-Haas-van-Alphen and Shubnikov-de-Haas oscillations evidences a quasi-two-dimensional (quasi-2D) Fermi surface, consistent with one of the Fermi surfaces forming Dirac lines predicted by first-principles calculations. Measurements in the superconducting state reveal that CaSb$_2$ is close to a type-I superconductor with the Ginzburg-Landau (GL) parameter of around unity. The temperature dependence of the upper critical field $H_{\text{c2}}$ is well described by a model considering two superconducting bands, and the enhancement of the effective mass estimated from $H_{\text{c2}}(0~\text{K})$ is consistent with the quasi-2D band observed by the quantum oscillations. Our results indicate that a quasi-2D band forming Dirac lines contributes to the superconductivity in CaSb$_2$.


title: Warm molecular and ionized gas kinematics in the Type-2 quasar J0945+1737

abstract: We analyze Near-Infrared Integral Field Spectrograph (NIFS) observations of the type-2 quasar (QSO2) SDSS J094521.33+173753.2 to investigate its warm molecular and ionized gas kinematics. This QSO2 has a bolometric luminosity of 10$^{45.7}$ erg s$^{-1}$ and a redshift of z = 0.128. The K-band spectra provided by NIFS cover a range of 1.99-2.40 $\mu$m where low-ionization (Pa$\alpha$ and Br$\delta$), high ionization ([S XI]$\lambda$1.920 $\mu$m and [Si~VI]$\lambda$1.963 $\mu$m) and warm molecular lines (from H$_2$ 1-0S(5) to 1-0S(1)) are detected, allowing us to study the multi-phase gas kinematics. Our analysis reveals gas in ordinary rotation in all the emission lines detected and also outflowing gas in the case of the low- and high-ionization emission lines. In the case of the nuclear spectrum, which corresponds to a circular aperture of 0.3\arcsec~(686 pc) in diameter, the warm molecular lines can be characterized using a single Gaussian component of full width at half maximum (FWHM)= 350-400 km s$^{-1}$, while Pa$\alpha$, Br$\delta$, and [Si~VI] are best fitted with two blue-shifted Gaussian components of FWHM$\sim$800 and 1700 km s$^{-1}$, in addition to a narrow component of $\sim$300 km s$^{-1}$. We interpret the blue-shifted broad components as outflowing gas, which reaches the highest velocities, of up to $-$840 km s$^{-1}$, in the south-east direction (PA$\sim$125$^{\circ}$), extending up to a distance of $\sim$3.4 kpc from the nucleus. The ionized outflow has a maximum mass outflow rate of $\dot{\text{{M}}}_{\text{{out, max}}}$=42-51 M$_\odot$ yr$^{-1}$, and its kinetic power represents 0.1$\%$ of the quasar bolometric luminosity.


title: kStatistics: Unbiased Estimates of Joint Cumulant Products from the Multivariate Fa\`a Di Bruno's Formula

abstract: kStatistics is a package in R that serves as a unified framework for estimating univariate and multivariate cumulants as well as products of univariate and multivariate cumulants of a random sample, using unbiased estimators with minimum variance. The main computational machinery of kStatistics is an algorithm for computing multi-index partitions. The same algorithm underlies the general-purpose multivariate Fa\`a di Bruno's formula, which has been therefore included in the last release of the package. This formula gives the coefficients of formal power series compositions as well as the partial derivatives of multivariable function compositions. One of the most significant applications of this formula is the possibility to generate many well-known polynomial families as special cases. So, in the package, there are special functions for generating very popular polynomial families, such as the Bell polynomials. However further families can be obtained, for suitable choices of the formal power series involved in the composition or when suitable symbolic strategies are employed. In both cases, we give examples on how to modify the R codes of the package to accomplish this task. Future developments are addressed at the end of the paper.


title: Revisiting Competitive Coding Approach for Palmprint Recognition: A Linear Discriminant Analysis Perspective

abstract: The competitive Coding approach (CompCode) is one of the most promising methods for palmprint recognition. Due to its high performance and simple formulation, it has been continuously studied for many years. However, although numerous variations of CompCode have been proposed, a detailed analysis of the method is still absent. In this paper, we provide a detailed analysis of CompCode from the perspective of linear discriminant analysis (LDA) for the first time. A non-trivial sufficient condition under which the CompCode is optimal in the sense of Fisher's criterion is presented. Based on our analysis, we examined the statistics of palmprints and concluded that CompCode deviates from the optimal condition. To mitigate the deviation, we propose a new method called Class-Specific CompCode that improves CompCode by excluding non-palm-line areas from matching. A nonlinear mapping of the competitive code is also applied in this method to further enhance accuracy. Experiments on two public databases demonstrate the effectiveness of the proposed method.


title: Ground-based observability of Dimorphos DART impact ejecta: Photometric predictions

abstract: The Double Asteroid Redirection Test (DART) is a NASA mission intended to crash a projectile on Dimorphos, the secondary component of the binary (65803) Didymos system, to study its orbit deflection. As a consequence of the impact, a dust cloud will be be ejected from the body, potentially forming a transient coma- or comet-like tail on the hours or days following the impact, which might be observed using ground-based instrumentation. Based on the mass and speed of the impactor, and using known scaling laws, the total mass ejected can be roughly estimated. Then, with the aim to provide approximate expected brightness levels of the coma and tail extent and morphology, we have propagated the orbits of the particles ejected by integrating their equation of motion, and have used a Monte Carlo approach to study the evolution of the coma and tail brightness. For typical power-law particle size distribution of index --3.5, with radii r$_{rmin}$=1 $\mu$m and r$_{max}$=1 cm, and ejection speeds near 10 times the escape velocity of Dimorphos, we predict an increase of brightness of $\sim$3 magnitudes right after the impact, and a decay to pre-impact levels some 10 days after. That would be the case if the prevailing ejection mechanism comes from the impact-induced seismic wave. However, if most of the ejecta is released at speeds of the order of $\gtrsim$100 $\mathrm{m\; s^{-1}}$, the observability of the event would reduce to a very short time span, of the order of one day or shorter.


title: Deep Learning to See: Towards New Foundations of Computer Vision

abstract: The remarkable progress in computer vision over the last few years is, by and large, attributed to deep learning, fueled by the availability of huge sets of labeled data, and paired with the explosive growth of the GPU paradigm. While subscribing to this view, this book criticizes the supposed scientific progress in the field and proposes the investigation of vision within the framework of information-based laws of nature. Specifically, the present work poses fundamental questions about vision that remain far from understood, leading the reader on a journey populated by novel challenges resonating with the foundations of machine learning. The central thesis is that for a deeper understanding of visual computational processes, it is necessary to look beyond the applications of general purpose machine learning algorithms and focus instead on appropriate learning theories that take into account the spatiotemporal nature of the visual signal.


title: Learning Citywide Patterns of Life from Trajectory Monitoring

abstract: The recent proliferation of real-world human mobility datasets has catalyzed geospatial and transportation research in trajectory prediction, demand forecasting, travel time estimation, and anomaly detection. However, these datasets also enable, more broadly, a descriptive analysis of intricate systems of human mobility. We formally define patterns of life analysis as a natural, explainable extension of online unsupervised anomaly detection, where we not only monitor a data stream for anomalies but also explicitly extract normal patterns over time. To learn patterns of life, we adapt Grow When Required (GWR) episodic memory from research in computational biology and neurorobotics to a new domain of geospatial analysis. This biologically-inspired neural network, related to self-organizing maps (SOM), constructs a set of "memories" or prototype traffic patterns incrementally as it iterates over the GPS stream. It then compares each new observation to its prior experiences, inducing an online, unsupervised clustering and anomaly detection on the data. We mine patterns-of-interest from the Porto taxi dataset, including both major public holidays and newly-discovered transportation anomalies, such as festivals and concerts which, to our knowledge, have not been previously acknowledged or reported in prior work. We anticipate that the capability to incrementally learn normal and abnormal road transportation behavior will be useful in many domains, including smart cities, autonomous vehicles, and urban planning and management.


title: Learning Underrepresented Classes from Decentralized Partially Labeled Medical Images

abstract: Using decentralized data for federated training is one promising emerging research direction for alleviating data scarcity in the medical domain. However, in contrast to large-scale fully labeled data commonly seen in general object recognition tasks, the local medical datasets are more likely to only have images annotated for a subset of classes of interest due to high annotation costs. In this paper, we consider a practical yet under-explored problem, where underrepresented classes only have few labeled instances available and only exist in a few clients of the federated system. We show that standard federated learning approaches fail to learn robust multi-label classifiers with extreme class imbalance and address it by proposing a novel federated learning framework, FedFew. FedFew consists of three stages, where the first stage leverages federated self-supervised learning to learn class-agnostic representations. In the second stage, the decentralized partially labeled data are exploited to learn an energy-based multi-label classifier for the common classes. Finally, the underrepresented classes are detected based on the energy and a prototype-based nearest-neighbor model is proposed for few-shot matching. We evaluate FedFew on multi-label thoracic disease classification tasks and demonstrate that it outperforms the federated baselines by a large margin.


title: Additions to the Spectrum of Fe IX in the 110-200 {\AA} Region

abstract: The spectrum of eight-times ionized iron, Fe IX, was studied in the 110-200 {\AA} region. A low inductance vacuum spark and a 3-m grazing incidence spectrograph were used for the excitation and recording of the spectrum. Previous analyses of Fe IX have been greatly extended and partly revised. The numbers of known lines in the 3p^53d - 3p^54f and 3p^53d - 3p^43d^2 transition arrays are extended to 25 and 81, respectively. Most of the identifications of the Fe IX lines from the 3p^53d - 3p^43d^2 transition array in the solar spectrum have been confirmed and several new identifications are suggested.


title: Reinforcement Learning of Control Strategies for Reducing Skin Friction Drag in a Fully Developed Channel Flow

abstract: Reinforcement learning is applied to the development of control strategies in order to reduce skin friction drag in a fully developed turbulent channel flow at a low Reynolds number. Motivated by the so-called opposition control (Choi et al. 1993), in which a control input is applied so as to cancel the wall-normal velocity fluctuation on a detection plane at a certain distance from the wall, we consider wall blowing and suction as a control input, and its spatial distribution is determined by the instantaneous streamwise and wall-normal velocity fluctuations at the distance of 15 wall units above the wall. Deep neural network is used to express the complex relationship between the sensing information and the control input, and it is trained so as to maximize the expected long-term reward, i.e., drag reduction. When only the wall-normal velocity fluctuation is measured and a linear network is used, the present framework successfully reproduces the optimal linear weight for the opposition control reported in the previous study (Chung & Talha 2011). In contrast, when a non-linear network is used, more complex control strategies based on the instantaneous streamwise and wall-normal velocity fluctuations are obtained. Specifically, the obtained control strategies abruptly switch between strong wall blowing and suction for downwelling of a high-speed fluid toward the wall and upwelling of a low-speed fluid away from the wall, respectively. The obtained control policies lead to drag reduction rates as high as 37 %, which is higher than 23 % achieved by the conventional opposition control at the same Reynolds number. The present results indicate that reinforcement learning can be a novel framework for the development of effective control strategies through systematic learning based on a large number of trials.


title: Acoustic Room Compensation Using Local PCA-based Room Average Power Response Estimation

abstract: Acoustic room compensation techniques, which allow a sound reproduction system to counteract undesired alteration to the sound scene due to excessive room resonances, have been widely studied. Extensive efforts have been reported to enlarge the region over which room equalization is effective and to contrast variations of room transfer functions in space. A speaker-tuning technology "Trueplay" allows users to compensate for undesired room effects over an extended listening area based on a spatially averaged power response of the room, which is conventionally measured using microphones on portable devices when users move around the room. In this work, we propose a novel system that leverages measured speaker echo path self-responses to predict the room average power responses using a local PCA based approach. Experimental results confirm the effectiveness of the proposed estimation method, which further leads to a room compensation filter design that achieves a good sound similarity compared to the reference system with the ground-truth room average power response while outperforming other systems that do not leverage the proposed estimator.


title: Supersymmetric Spectral Form Factor and Euclidean Black Holes

abstract: The late-time behavior of spectral form factor (SFF) encodes the inherent discreteness of a quantum system, which should be generically non-vanishing. We study an index analog of the microcanonical spectrum form factor in four-dimensional $\mathcal{N}=4$ super Yang-Mills theory. In the large $N$ limit and at large enough energy, the most dominant saddle corresponds to the black hole in the AdS bulk. This gives rise to the slope that decreases exponentially for a small imaginary chemical potential, which is a natural analog of an early time. We find that the `late-time' behavior is governed by the multi-cut saddles that arise in the index matrix model, which are non-perturbatively sub-dominant at early times. These saddles become dominant at late times, preventing the SFF from decaying. These multi-cut saddles correspond to the orbifolded Euclidean black holes in the AdS bulk, therefore giving the geometrical interpretation of the `ramp.' Our analysis is done in the standard AdS/CFT setting without ensemble average or wormholes.


title: Surface Passivation of III-V GaAs Nanopillars by Low Frequency Plasma Deposition of Silicon Nitride for Active Nanophotonic Devices

abstract: Numerous efforts have been devoted to improve the electronic and optical properties of III-V compound materials via reduction of their nonradiative states, aiming at highly-efficient III-V sub-micrometer devices. Despite many advances, there is still a controversial debate on which combination of chemical treatment and capping dielectric layer can best reproducibly protect the crystal surface of III-Vs, while being compatible with readily available plasma deposition methods. This work reports on a systematic experimental study on the role of sulfide ammonium chemical treatment followed by dielectric coating in the passivation effect of GaAs/AlGaAs nanopillars. Our results conclusively show that the best surface passivation is achieved using ammonium sulfide followed by encapsulation with a thin layer of silicon nitride by low frequency plasma enhanced chemical deposition. Here, the sulfurized GaAs surfaces, the high level of hydrogen ions and the low frequency (380 kHz) excitation plasma that enable intense bombardment of hydrogen, all seem to provide a combined active role in the passivation mechanism of the pillars. We observe up to a 29-fold increase of the photoluminescence (PL) integrated intensity for the best samples as compared to untreated nanopillars. X-ray photoelectron spectroscopy analysis confirms the best treatments show remarkable removal of gallium and arsenic native oxides. Time-resolved micro-PL measurements display nanosecond lifetimes resulting in a record-low surface recombination velocity for dry etched GaAs nanopillars. We achieve robust, stable and long-term passivated nanopillar surfaces which creates expectations for remarkable high internal quantum efficiency (IQE>0.5) in nanoscale light-emitting diodes. The enhanced performance paves the way to many other nanostructures and devices such as miniature resonators, lasers, photodetectors and solar cells.


title: Two-Stage Classifier for COVID-19 Misinformation Detection Using BERT: a Study on Indonesian Tweets

abstract: The COVID-19 pandemic has caused globally significant impacts since the beginning of 2020. This brought a lot of confusion to society, especially due to the spread of misinformation through social media. Although there were already several studies related to the detection of misinformation in social media data, most studies focused on the English dataset. Research on COVID-19 misinformation detection in Indonesia is still scarce. Therefore, through this research, we collect and annotate datasets for Indonesian and build prediction models for detecting COVID-19 misinformation by considering the tweet's relevance. The dataset construction is carried out by a team of annotators who labeled the relevance and misinformation of the tweet data. In this study, we propose the two-stage classifier model using IndoBERT pre-trained language model for the Tweet misinformation detection task. We also experiment with several other baseline models for text classification. The experimental results show that the combination of the BERT sequence classifier for relevance prediction and Bi-LSTM for misinformation detection outperformed other machine learning models with an accuracy of 87.02%. Overall, the BERT utilization contributes to the higher performance of most prediction models. We release a high-quality COVID-19 misinformation Tweet corpus in the Indonesian language, indicated by the high inter-annotator agreement.


title: Daylight entanglement-based quantum key distribution with a quantum dot source

abstract: Entanglement-based quantum key distribution can enable secure communication in trusted node-free networks and over long distances. Although implementations exist both in fiber and in free space, the latter approach is often considered challenging due to environmental factors. Here, we implement a quantum communication protocol during daytime for the first time using a quantum dot source. This technology presents advantages in terms of narrower spectral bandwidth -- beneficial for filtering out sunlight -- and negligible multiphoton emission at peak brightness. We demonstrate continuous operation over the course of three and a half days, across an urban 270-m-long free-space optical link, under different light and weather conditions.


title: Shimura data and corners: topology

abstract: The purpose of this article is to give a new construction of the map relating the Borel-Serre and the Baily-Borel compactifications of a Shimura variety (Zucker 1983), and to provide a close analysis of its main properties.


title: Quantum gene regulatory networks

abstract: In this work, we present a quantum circuit model for inferring gene regulatory networks (GRNs). The model is based on the idea of using qubit-qubit entanglement to simulate interactions between genes. We provide preliminary results that suggest our quantum GRN modeling method is competitive and warrants further investigation. Specifically, we present the results derived from the single-cell transcriptomic data of human cell lines, focusing on genes in involving innate immunity regulation. We demonstrate that our quantum circuit model can be used to predict the presence or absence of regulatory interactions between genes and estimate the strength and direction of the interactions, setting the stage for further investigations on how quantum computing finds applications in data-driven life sciences and, more importantly, to invite exploration of quantum algorithm design that takes advantage of the single-cell data. The application of quantum computing on single-cell transcriptomic data likewise contributes to a novel understanding of GRNs, given that the relationship between fully interconnected genes can be approached more effectively by quantum modeling than by statistical correlations.


title: Why we do need Explainable AI for Healthcare

abstract: The recent spike in certified Artificial Intelligence (AI) tools for healthcare has renewed the debate around adoption of this technology. One thread of such debate concerns Explainable AI and its promise to render AI devices more transparent and trustworthy. A few voices active in the medical AI space have expressed concerns on the reliability of Explainable AI techniques, questioning their use and inclusion in guidelines and standards. Revisiting such criticisms, this article offers a balanced and comprehensive perspective on the utility of Explainable AI, focusing on the specificity of clinical applications of AI and placing them in the context of healthcare interventions. Against its detractors and despite valid concerns, we argue that the Explainable AI research program is still central to human-machine interaction and ultimately our main tool against loss of control, a danger that cannot be prevented by rigorous clinical validation alone.


title: Online TSP with Predictions

abstract: We initiate the study of online routing problems with predictions, inspired by recent exciting results in the area of learning-augmented algorithms. A learning-augmented online algorithm which incorporates predictions in a black-box manner to outperform existing algorithms if the predictions are accurate while otherwise maintaining theoretical guarantees even when the predictions are extremely erroneous is a popular framework for overcoming pessimistic worst-case competitive analysis. In this study, we particularly begin investigating the classical online traveling salesman problem (OLTSP), where future requests are augmented with predictions. Unlike the prediction models in other previous studies, each actual request in the OLTSP, associated with its arrival time and position, may not coincide with the predicted ones, which, as imagined, leads to a troublesome situation. Our main result is to study different prediction models and design algorithms to improve the best-known results in the different settings. Moreover, we generalize the proposed results to the online dial-a-ride problem.


title: Most claimed statistical findings in cross-sectional return predictability are likely true

abstract: I develop simple and intuitive bounds for the false discovery rate (FDR) in cross-sectional return predictability publications. The bounds can be calculated by plugging in summary statistics from previous papers and reliably bound the FDR in simulations that closely mimic cross-predictor correlations. Most bounds find that at least 75% of findings are true. The tightest bound finds that at least 91% of findings are true. Surprisingly, the estimates in Harvey, Liu, and Zhu (2016) imply a similar FDR. I explain how Harvey et al.'s conclusion that most findings are false stems from misinterpreting ``insignificant factor'' as ``false discovery.''


title: Molecular Dynamics with Conformationally Dependent, Distributed Charges

abstract: Accounting for geometry-induced changes in the electronic distribution in molecular simulation is important for capturing effects such as charge flow, charge anisotropy and polarization. Multipolar force fields have demonstrated their ability to qualitatively and correctly represent chemically significant features such as sigma holes. It has also been shown that off-center point charges offer a compact alternative with similar accuracy. Here it is demonstrated that allowing relocation of charges within a minimally distributed charge model (MDCM) with respect to their reference atoms is a viable route to capture changes in the molecular charge distribution depending on geometry. The approach, referred to as ``flexible MDCM'' (fMDCM) is validated on a number of small molecules and provides accuracies in the electrostatic potential (ESP) of 0.5 kcal/mol on average compared with reference data from electronic structure calculations whereas MDCM and point charges have root mean squared errors of a factor of 2 to 5 higher. In addition, MD simulations in the $NVE$ ensemble using fMDCM for a box of flexible water molecules with periodic boundary conditions show a width of 0.1 kcal/mol for the fluctuation around the mean at 300 K on the 10 ns time scale. The accuracy in capturing the geometry dependence of the ESP together with the long-time stability in energy conserving simulations makes fMDCM a promising tool to introduce advanced electrostatics into atomistic simulations.


title: Targeted learning in observational studies with multi-valued treatments: An evaluation of antipsychotic drug treatment safety

abstract: We investigate estimation of causal effects of multiple competing (multi-valued) treatments in the absence of randomization. Our work is motivated by an intention-to-treat study of the relative cardiometabolic risk of assignment to one of six commonly prescribed antipsychotic drugs in a cohort of nearly 39,000 adults with serious mental illnesses. Doubly-robust estimators, such as targeted minimum loss-based estimation (TMLE), require correct specification of either the treatment model or outcome model to ensure consistent estimation; however, common TMLE implementations estimate treatment probabilities using multiple binomial regressions rather than multinomial regression. We implement a TMLE estimator that uses multinomial treatment assignment and ensemble machine learning to estimate average treatment effects. Our multinomial implementation improves coverage, but does not necessarily reduce bias, relative to the binomial implementation in simulation experiments with varying treatment propensity overlap and event rates. Evaluating the causal effects of the antipsychotics on three-year diabetes risk or death, we find a safety benefit of moving from a second-generation drug considered among the safest of the second-generation drugs to an infrequently prescribed first-generation drug known for having low cardiometabolic risk.


title: A proof of the Lieb-Thirring inequality via the Besicovitch covering lemma

abstract: We give a proof of the Lieb-Thirring inequality on the kinetic energy of orthonormal functions by using a microlocal technique, in which the uncertainty and exclusion principles are combined through the use of the Besicovitch covering lemma.


title: No Reason for No Supervision: Improved Generalization in Supervised Models

abstract: We consider the problem of training a deep neural network on a given classification task, e.g., ImageNet-1K (IN1K), so that it excels at both the training task as well as at other (future) transfer tasks. These two seemingly contradictory properties impose a trade-off between improving the model's generalization and maintaining its performance on the original task. Models trained with self-supervised learning tend to generalize better than their supervised counterparts for transfer learning; yet, they still lag behind supervised models on IN1K. In this paper, we propose a supervised learning setup that leverages the best of both worlds. We extensively analyze supervised training using multi-scale crops for data augmentation and an expendable projector head, and reveal that the design of the projector allows us to control the trade-off between performance on the training task and transferability. We further replace the last layer of class weights with class prototypes computed on the fly using a memory bank and derive two models: t-ReX that achieves a new state of the art for transfer learning and outperforms top methods such as DINO and PAWS on IN1K, and t-ReX* that matches the highly optimized RSB-A1 model on IN1K while performing better on transfer tasks. Code and pretrained models: https://europe.naverlabs.com/t-rex


title: Development of exchange-correlation functionals assisted by machine learning

abstract: With the recent rapid progress in the machine-learning (ML), there have emerged a new approach using the ML methods to the exchange-correlation functional of density functional theory. In this chapter, we review how the ML tools are used for this and the performances achieved recently. It is revealed that the ML, not being opposed to the analytical methods, complements the human intuition and advance the development toward the first-principles calculation with desired accuracy.


title: Discrete integrable systems and random Lax matrices

abstract: We study properties of Hamiltonian integrable systems with random initial data by considering their Lax representation. Specifically, we investigate the spectral behaviour of the corresponding Lax matrices when the number $N$ of degrees of freedom of the system goes to infinity and the initial data is sampled according to a properly chosen Gibbs measure. We give an exact description of the limit density of states for the exponential Toda lattice and the Volterra lattice in terms of the Laguerre and antisymmetric Gaussian $\beta$-ensemble in the high temperature regime. For generalizations of the Volterra lattice to short range interactions, called INB additive and multiplicative lattices, the focusing Ablowitz--Ladik lattice and the focusing Schur flow, we derive numerically the density of states. For all these systems, we obtain explicitly the density of states in the ground states.

categories: math-ph math.DS math.MP math.PR math.SP nlin.SI


title: A local analogue of the ghost conjecture of Bergdall-Pollack

abstract: We formulate a local analogue of the ghost conjecture of Bergdall and Pollack, which essentially relies purely on the representation theory of GL_2(Q_p). We further study the combinatorial properties of the ghost series as well as its Newton polygon, in particular, giving a characterization of the vertices of the Newton polygon and proving an integrality result of the slopes. In a forthcoming sequel, we will prove this local ghost conjecture under some mild hypothesis and give arithmetic applications.


title: Three-point bounds for sphere packing

abstract: We define three-point bounds for sphere packing that refine the linear programming bound, and we compute these bounds numerically using semidefinite programming by choosing a truncation radius for the three-point function. As a result, we obtain new upper bounds on the sphere packing density in dimension 4 through 7 and 9 through 16. We also give a different three-point bound for lattice packing and conjecture that this second bound is sharp in dimension 4.


title: Verification and search algorithms for causal DAGs

abstract: We study two problems related to recovering causal graphs from interventional data: (i) $\textit{verification}$, where the task is to check if a purported causal graph is correct, and (ii) $\textit{search}$, where the task is to recover the correct causal graph. For both, we wish to minimize the number of interventions performed. For the first problem, we give a characterization of a minimal sized set of atomic interventions that is necessary and sufficient to check the correctness of a claimed causal graph. Our characterization uses the notion of $\textit{covered edges}$, which enables us to obtain simple proofs and also easily reason about earlier known results. We also generalize our results to the settings of bounded size interventions and node-dependent interventional costs. For all the above settings, we provide the first known provable algorithms for efficiently computing (near)-optimal verifying sets on general graphs. For the second problem, we give a simple adaptive algorithm based on graph separators that produces an atomic intervention set which fully orients any essential graph while using $\mathcal{O}(\log n)$ times the optimal number of interventions needed to $\textit{verify}$ (verifying size) the underlying DAG on $n$ vertices. This approximation is tight as $\textit{any}$ search algorithm on an essential line graph has worst case approximation ratio of $\Omega(\log n)$ with respect to the verifying size. With bounded size interventions, each of size $\leq k$, our algorithm gives an $\mathcal{O}(\log n \cdot \log k)$ factor approximation. Our result is the first known algorithm that gives a non-trivial approximation guarantee to the verifying size on general unweighted graphs and with bounded size interventions.


title: The Galactic interstellar medium has a preferred handedness of magnetic misalignment

abstract: The Planck mission detected a positive correlation between the intensity ($T$) and $B$-mode polarization of the Galactic thermal dust emission. The $TB$ correlation is a parity-odd signal, whose statistical mean vanishes in models with mirror symmetry. Recent work has shown with strong evidence that local handedness of the misalignment between the dust filaments and the sky-projected magnetic field produces $TB$ signals. However, it remains unclear whether the observed global $TB$ signal is caused by statistical fluctuations of magnetic misalignment angles, or whether some parity-violating physics in the interstellar medium sets a preferred misalignment handedness. The present work aims to make a quantitative statement about how confidently the statistical-fluctuation interpretation is ruled out by filament-based simulations of polarized dust emission. We use the publicly available DUSTFILAMENTS code to simulate the dust emission from filaments whose magnetic misalignment angles are symmetrically randomized, and construct the probability density function of $\xi_{p}$, a weighted sum of $TB$ power spectrum. We find that Planck data has a $\gtrsim 10\sigma$ tension with the simulated $\xi_{p}$ distribution. Our results strongly support that the Galactic filament misalignment has a preferred handedness, whose physical origin is yet to be identified.

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


title: The Quantum Internet: A Hardware Review

abstract: In the century following its discovery, applications for quantum physics are opening a new world of technological possibilities. With the current decade witnessing quantum supremacy, quantum technologies are already starting to change the ways information is generated, transmitted, stored and processed. The next major milestone in quantum technology is already rapidly emerging -- the quantum internet. Since light is the most logical candidate for quantum communication, quantum photonics is a critical enabling technology. This paper reviews the hardware aspects of the quantum internet, mainly from a photonics perspective. Though a plethora of quantum technologies and devices have emerged in recent years, we are more focused on devices or components that may enable the quantum internet. Our approach is primarily qualitative, providing a broad overview of the necessary technologies for a large-scale quantum internet.


title: Line-Intensity Mapping: Theory Review

abstract: Line-intensity mapping (LIM) is an emerging approach to survey the Universe, using relatively low-aperture instruments to scan large portions of the sky and collect the total spectral-line emission from galaxies and the intergalactic medium. Mapping the intensity fluctuations of an array of lines offers a unique opportunity to probe redshifts well beyond the reach of other cosmological observations, access regimes that cannot be explored otherwise, and exploit the enormous potential of cross-correlations with other measurements. This promises to deepen our understanding of various questions related to galaxy formation and evolution, cosmology, and fundamental physics. Here we focus on lines ranging from microwave to optical frequencies, the emission of which is related to star formation in galaxies across cosmic history. Over the next decade, LIM will transition from a pathfinder era of first detections to an early-science era where data from more than a dozen missions will be harvested to yield new insights and discoveries. This review discusses the primary target lines for these missions, describes the different approaches to modeling their intensities and fluctuations, surveys the scientific prospects of their measurement, presents the formalism behind the statistical methods to analyze the data, and motivates the opportunities for synergy with other observables. Our goal is to provide a pedagogical introduction to the field for non-experts, as well as to serve as a comprehensive reference for specialists.