title: Extreme Compressed Sensing of Poisson Rates from Multiple Measurements

abstract: Compressed sensing (CS) is a signal processing technique that enables the efficient recovery of a sparse high-dimensional signal from low-dimensional measurements. In the multiple measurement vector (MMV) framework, a set of signals with the same support must be recovered from their corresponding measurements. Here, we present the first exploration of the MMV problem where signals are independently drawn from a sparse, multivariate Poisson distribution. We are primarily motivated by a suite of biosensing applications of microfluidics where analytes (such as whole cells or biomarkers) are captured in small volume partitions according to a Poisson distribution. We recover the sparse parameter vector of Poisson rates through maximum likelihood estimation with our novel Sparse Poisson Recovery (SPoRe) algorithm. SPoRe uses batch stochastic gradient ascent enabled by Monte Carlo approximations of otherwise intractable gradients. By uniquely leveraging the Poisson structure, SPoRe substantially outperforms a comprehensive set of existing and custom baseline CS algorithms. Notably, SPoRe can exhibit high performance even with one-dimensional measurements and high noise levels. This resource efficiency is not only unprecedented in the field of CS but is also particularly potent for applications in microfluidics in which the number of resolvable measurements per partition is often severely limited. We prove the identifiability property of the Poisson model under such lax conditions, analytically develop insights into system performance, and confirm these insights in simulated experiments. Our findings encourage a new approach to biosensing and are generalizable to other applications featuring spatial and temporal Poisson signals.


title: Blockchain Networks: Data Structures of Bitcoin, Monero, Zcash, Ethereum, Ripple and Iota

abstract: Blockchain is an emerging technology that has enabled many applications, from cryptocurrencies to digital asset management and supply chains. Due to this surge of popularity, analyzing the data stored on blockchains poses a new critical challenge in data science. To assist data scientists in various analytic tasks on a blockchain, in this tutorial, we provide a systematic and comprehensive overview of the fundamental elements of blockchain network models. We discuss how we can abstract blockchain data as various types of networks and further use such associated network abstractions to reap important insights on blockchains' structure, organization, and functionality.


title: Multi-task learning for virtual flow metering

abstract: Virtual flow metering (VFM) is a cost-effective and non-intrusive technology for inferring multiphase flow rates in petroleum assets. Inferences about flow rates are fundamental to decision support systems that operators extensively rely on. Data-driven VFM, where mechanistic models are replaced with machine learning models, has recently gained attention due to its promise of lower maintenance costs. While excellent performances in small sample studies have been reported in the literature, there is still considerable doubt about the robustness of data-driven VFM. In this paper, we propose a new multi-task learning (MTL) architecture for data-driven VFM. Our method differs from previous methods in that it enables learning across oil and gas wells. We study the method by modeling 55 wells from four petroleum assets and compare the results with two single-task baseline models. Our findings show that MTL improves robustness over single-task methods, without sacrificing performance. MTL yields a 25-50% error reduction on average for the assets where single-task architectures are struggling.


title: Action-angle and complex coordinates on toric manifolds

abstract: In this article, we provide an exposition about symplectic toric manifolds, which are symplectic manifolds $(M^{2n}, \omega)$ equipped with an effective Hamiltonian $\mathbb{T}^n\cong (S^1)^n$-action. We summarize the construction of $M$ as a symplectic quotient of $\mathbb{C}^d$, the $\mathbb{T}^n$-actions on $M$ and their moment maps, and Guillemin's K\"ahler potential on $M$. While the theories presented in this paper are for compact toric manifolds, they do carry over for some noncompact examples as well, such as the canonical line bundle $K_M$, which is one of our main running examples, along with the complex projective space $\mathbb{P}^n$ and its canonical bundle $K_{\mathbb{P}^n}$. One main topic explored in this article is how to write the moment map in terms of the complex homogeneous coordinates $z\in \mathbb{C}^d$, or equivalently, the relationship between the action-angle coordinates and the complex toric coordinates. We end with a brief review of homological mirror symmetry for toric geometries, where the main connection with the rest of the paper is that $K_M$ provides a prototypical class of examples of a Calabi-Yau toric manifold $Y$ which serves as the total space of a symplectic fibration $W: Y \to \mathbb{C}$ with a singular fiber above $0$, known as a Landau-Ginzburg model in mirror symmetry. Here we write $W$ in terms of the action-angle coordinates, which will prove to be useful in understanding the geometry of the fibration in our forthcoming work [ACLL].


title: Dark matter searches using accelerometer-based networks

abstract: Dark matter is one of the biggest open questions in physics today. It is known that it interacts gravitationally with luminous matter, so accelerometer-based searches are inherently interesting. In this article we present recent (and future) searches for dark matter candidates such as feebly interacting matter trapped inside the Earth, scalar-matter domain walls and axion quark nuggets, with accelerometer networks and give an outlook of how new atomic-interferometry-based accelerometer networks could support dark matter searches.


title: Autotuning Benchmarking Techniques: A Roofline Model Case Study

abstract: Peak performance metrics published by vendors often do not correspond to what can be achieved in practice. It is therefore of great interest to do extensive benchmarking on core applications and library routines. Since DGEMM is one of the most used in compute-intensive numerical codes, it is typically highly vendor optimized and of great interest for empirical benchmarks. In this paper we show how to build a novel tool that autotunes the benchmarking process for the Roofline model. Our novel approach can efficiently and reliably find optimal configurations for any target hardware. Results of our tool on a range of hardware architectures and comparisons to theoretical peak performance are included. Our tool autotunes the benchmarks for the target architecture by deciding the optimal parameters through state space reductions and exhaustive search. Our core idea includes calculating the confidence interval using the variance and mean and comparing it against the current optimum solution. We can then terminate the evaluation process early if the confidence interval's maximum is lower than the current optimum solution. This dynamic approach yields a search time improvement of up to 116.33x for the DGEMM benchmarking process compared to a traditional fixed sample-size methodology. Our tool produces the same benchmarking result with an error of less than 2% for each of the optimization techniques we apply, while providing a great reduction in search time. We compare these results against hand-tuned benchmarking parameters. Results from the memory-intensive TRIAD benchmark, and some ideas for future directions are also included.


title: Carrier localization and miniband modeling of InAs/GaSb based type-II superlattice infrared detectors

abstract: Microscopic features of carrier localization, minibands, and spectral currents of InAs/GaSb based type-II superlattice (T2SL) mid-infrared detector structures are studied and investigated in detail. In the presence of momentum and phase-relaxed elastic scattering processes, we show that a self-consistent non-equilibrium Green's function method within the effective mass approximation can be an effective tool to fairly predict the miniband and spectral transport properties and their dependence on the design parameters such as layer thickness, superlattice periods, temperature, and built-in potential. To benchmark this model, we first evaluate the band properties of an infinite T2SL with periodic boundary conditions, employing the envelope function approximation with a finite-difference discretization within the perturbative eight-band $\bf{k.p}$ framework. The strong dependence of the constituent material layer thicknesses on the band-edge positions and effective masses offers a primary guideline to design performance-specific detectors for a wide range of operations. Moving forward, we demonstrate that using a finite T2SL structure in the Green's function framework, one can estimate the bandgap, band-offsets, density of states, and spatial overlap which comply well with the $\bf{k.p}$ results and the experimental data. Finally, the superiority of this method is illustrated via a reasonable estimation of the band alignments in barrier-based multi-color non-periodic complex T2SL structures. This study, therefore, provides deep physical insights into the carrier confinements in broken-gap heterostructures and sets a perfect stage to perform transport calculations in a full-quantum picture.


title: Good Solid-State Electrolytes Have Low, Glass-like Thermal Conductivity

abstract: Management of heat during charging and discharging of Li-ion batteries is critical for their safety, reliability, and performance. Understanding the thermal conductivity of the materials comprising batteries is crucial for controlling the temperature and temperature distribution in batteries. This work provides systemic quantitative measurements of the thermal conductivity of three important classes of solid electrolytes (oxides, sulfides, and halides) over the temperature range 150-350 K. Studies include the oxides Li1.5Al0.5Ge1.5(PO4)3 and Li6.4La3Zr1.4Ta0.6O12, sulfides Li2S-P2S5, Li6PS5Cl, and Na3PS4, and halides Li3InCl6 and Li3YCl6. Thermal conductivities of sulfide and halide solid electrolytes are in the range 0.45-0.70 W m-1 K-1; thermal conductivities of Li6.4La3Zr1.4Ta0.6O12 and Li1.5Al0.5Ge1.5(PO4)3 are 1.4 W m-1 K-1 and 2.2 W m-1 K-1, respectively. For most of the solid electrolytes studied in this work, the thermal conductivity increases with increasing temperature; i.e., the thermal conductivity has a glass-like temperature dependence. The measured room-temperature thermal conductivities agree well with the calculated minimum thermal conductivities indicating the phonon mean-free-paths in these solid electrolytes are close to an atomic spacing. We attribute the low, glass-like thermal conductivity of the solid electrolytes investigated to the combination of their complex crystal structures and the atomic-scale disorder induced by the materials processing methods that are typically needed to produce high ionic conductivities.


title: Axis-Aligned Square Contact Representations

abstract: We introduce a new class $\mathcal{G}$ of bipartite plane graphs and prove that each graph in $\mathcal{G}$ admits a proper square contact representation. A contact between two squares is \emph{proper} if they intersect in a line segment of positive length. The class $\mathcal{G}$ is the family of quadrangulations obtained from the 4-cycle $C_4$ by successively inserting a single vertex or a 4-cycle of vertices into a face. For every graph $G\in \mathcal{G}$, we construct a proper square contact representation. The key parameter of the recursive construction is the aspect ratio of the rectangle bounded by the four outer squares. We show that this aspect ratio may continuously vary in an interval $I_G$. The interval $I_G$ cannot be replaced by a fixed aspect ratio, however, as we show, the feasible interval $I_G$ may be an arbitrarily small neighborhood of any positive real.


title: Online Topic-Aware Entity Resolution Over Incomplete Data Streams (Technical Report)

abstract: In many real applications such as the data integration, social network analysis, and the Semantic Web, the entity resolution (ER) is an important and fundamental problem, which identifies and links the same real-world entities from various data sources. While prior works usually consider ER over static and complete data, in practice, application data are usually collected in a streaming fashion, and often incur missing attributes (due to the inaccuracy of data extraction techniques). Therefore, in this paper, we will formulate and tackle a novel problem, topic-aware entity resolution over incomplete data streams (TER-iDS), which online imputes incomplete tuples and detects pairs of topic-related matching entities from incomplete data streams. In order to effectively and efficiently tackle the TER-iDS problem, we propose an effective imputation strategy, carefully design effective pruning strategies, as well as indexes/synopsis, and develop an efficient TER-iDS algorithm via index joins. Extensive experiments have been conducted to evaluate the effectiveness and efficiency of our proposed TER-iDS approach over real data sets.


title: A Central Limit Theorem for Differentially Private Query Answering

abstract: Perhaps the single most important use case for differential privacy is to privately answer numerical queries, which is usually achieved by adding noise to the answer vector. The central question, therefore, is to understand which noise distribution optimizes the privacy-accuracy trade-off, especially when the dimension of the answer vector is high. Accordingly, extensive literature has been dedicated to the question and the upper and lower bounds have been matched up to constant factors [BUV18, SU17]. In this paper, we take a novel approach to address this important optimality question. We first demonstrate an intriguing central limit theorem phenomenon in the high-dimensional regime. More precisely, we prove that a mechanism is approximately Gaussian Differentially Private [DRS21] if the added noise satisfies certain conditions. In particular, densities proportional to $\mathrm{e}^{-\|x\|_p^\alpha}$, where $\|x\|_p$ is the standard $\ell_p$-norm, satisfies the conditions. Taking this perspective, we make use of the Cramer--Rao inequality and show an "uncertainty principle"-style result: the product of the privacy parameter and the $\ell_2$-loss of the mechanism is lower bounded by the dimension. Furthermore, the Gaussian mechanism achieves the constant-sharp optimal privacy-accuracy trade-off among all such noises. Our findings are corroborated by numerical experiments.

categories: stat.ML cs.CR cs.IT cs.LG math.IT math.ST stat.TH


title: Anonymous and secret communication in quantum networks

abstract: Secure communication is one of the key applications of quantum networks. In recent years, following the demands for identity protection in classical communication protocols, the need for anonymity has also emerged for quantum networks. Here, we demonstrate that quantum physics allows parties - besides communicating securely over a network - to also keep their identities secret. We implement such an anonymous quantum conference key agreement by sharing multipartite entangled states in a quantum network. We demonstrate the protocol with four parties and establish keys in subsets of the network - different combinations of two and three parties - whilst keeping the participating parties anonymous. We additionally show that the protocol is verifiable and run multiple key generation and verification routines. Our work thus addresses one of the key challenges of networked communication: keeping the identities of the communicating parties private.


title: To H0 or not to H0?

abstract: This paper investigates whether changes to late time physics can resolve the `Hubble tension'. It is argued that many of the claims in the literature favouring such solutions are caused by a misunderstanding of how distance ladder measurements actually work and, in particular, by the inappropriate use of a distance ladder H0 prior. A dynamics-free inverse distance ladder shows that changes to late time physics are strongly constrained observationally and cannot resolve the discrepancy between the SH0ES data and the base LCDM cosmology inferred from Planck. We propose a statistically rigorous scheme to replace the use of H0 priors


title: The Lorentz-violating real scalar field at thermal equilibrium

abstract: In this paper we study Lorentz-Violation(LV) effects on the thermodynamics properties of a real scalar field theory due to the presence of a constant background tensor field. In particular, we analyse and compute explicitly the deviations of the internal energy, pressure, and entropy of the system at thermal equilibrium due to the LV contributions. For the free massless scalar field we obtain exact results, whereas for the massive case we perform approximated calculations. Finally, we consider the self interacting $\phi^4$ theory, and perform perturbative expansions in the coupling constant for obtaining relevant thermodynamics quantities.


title: Variety of Scaling Laws for DNA Thermal Denaturation

abstract: We discuss possible mechanisms that may impact the order of the transition between denaturated and bound DNA states and lead to changes in the scaling laws that govern conformational properties of DNA strands. To this end, we re-consider the Poland-Scheraga model and apply a polymer field theory approach to calculate entropic exponents associated with the denaturated loop distribution. We discuss in particular variants of this transition that may occur due to the properties of the solution and may affect the self- and mutual interaction of both single and double strands. We find that the effects studied significantly influence the strength of the first order transition. This is manifest in particular by the changes in the scaling laws that govern DNA loop and strand distribution. As a quantitative measure of these changes we present the values of corresponding scaling exponents. For the $d=4-\varepsilon$ case we get corresponding $\varepsilon^4$ expansions and evaluate the perturbation theory expansions at space dimension $d=3$ by means of resummation technique.


title: Weak solutions for the Stokes system for compressible fluids with general pressure

abstract: We prove existence and uniqueness of global in time weak solutions for the Stokes system for compressible fluids with a general, non-monotone pressure. We construct the solution at the level of Lagrangian formulation and then define the transformation to the original Eulerian coordinates. For nonnegative and bounded initial density the solution is also nonnegative for all $t$ and belongs to $L^\infty([0,\infty)\times\mathbb{T}^d)$. A key point of our considerations is the uniqueness of such transformation. Since the velocity might not be Lipschitz continuous, we develop a method which relies on the results of Crippa \& De Lellis, concerning regular Lagriangian flows. The uniqueness is obtained thanks to the application of a certain weighted flow and detail analysis based on the properties of the $BMO$ space.


title: Estimating Solar and Wind Power Production using Computer Vision Deep Learning Techniques on Weather Maps

abstract: Accurate renewable energy production forecasting has become a priority as the share of intermittent energy sources on the grid increases. Recent work has shown that convolutional deep learning models can successfully be applied to forecast weather maps. Building on this capability, we propose a ResNet-inspired model that estimates solar and wind power production based on weather maps. By capturing both spatial and temporal correlations using convolutional neural networks with stacked input frames, the model is designed to capture the complex dynamics governing these energy sources. A dataset that focuses on the state of California is constructed and made available as a secondary contribution of the work. We demonstrate that our novel model outperforms traditional deep learning techniques: it predicts an accurate power production profile that is smooth and includes high-frequency details.


title: Husmi Q-functions attached to hyperbolic Landau levels

abstract: We are concerned with a phase-space probability distribution which is known as Husimi $Q$-function of a density operator with respect to a set of coherent states $\vert\widetilde{\kappa}_{z,B,R,m}\rangle$ attached to an $m$th hyperbolic Landau level and labeled by points $z$ of an open disk of radius $R$, where $B>0$ is proportional to a magnetic field strength. For a density operator representing a projector on a Fock state $\left\vert j\right\rangle$ we obtain the $Q_{j}$ distribution and discuss some of its basic properties such as its characteristic function and its main statistical parameters. We achieve the same program for the thermal density operator (mixed states) of the isotonic oscillator for which we establish a lower bound for the associated thermodynamical potential. We recover most of the results of the Euclidean setting (flat case) as the parameter $R$ goes to infinity by making appeal to asymptotic formulas involving orthogonal polynomials and special functions. As a tool, we establish a summation formula for the special Kamp\'{e} de F\'{e}riet function $\digamma _{2:0:0}^{1:2:2}$.


title: Direct measurement of the mass difference of $^{72}$As-$^{72}$Ge rules out $^{72}$As as a promising $\beta$-decay candidate to determine the neutrino mass

abstract: We report the first direct determination of the ground-state to ground-state electron-capture $Q$-value for the $^{72}$As to $^{72}$Ge decay by measuring their atomic mass difference utilizing the double Penning trap mass spectrometer, JYFLTRAP. The $Q$-value was measured to be 4343.596(75)~keV, which is more than a 50-fold improvement in precision compared to the value in the most recent Atomic Mass Evaluation 2020. Furthermore, the new $Q$-value was found to be 12.4(40)~keV (3.1 $\sigma$) lower. With the significant reduction of the uncertainty of the ground-state to ground-state $Q$-value value combined with the level scheme of $^{72}$Ge from $\gamma$-ray spectroscopy, we confirm that the five potential ultra-low $Q$-value ${\beta^{+}}$-decay or electron capture transitions are energetically forbidden, thus precluding all the transitions as possible candidates for the electron neutrino mass determination. However, the discovery of small negative $Q$-values opens up the possibility to use $^{72}$As for the study of virtual $\beta$-$\gamma$ transitions.


title: Controlled coherent dynamics of [VO(TPP)], a prototype molecular nuclear qudit with an electronic ancilla

abstract: We show that [VO(TPP)] (vanadyl tetraphenylporphyrinate) is a promising system suitable to implement quantum computation algorithms based on encoding information in multi-level (qudit) units. Indeed, it embeds an electronic spin 1/2 coupled through hyperfine interaction to a nuclear spin 7/2, both characterized by remarkable coherence. We demonstrate this by an extensive broadband nuclear magnetic resonance study, which allow us to characterize the nuclear spin-Hamiltonian and to measure the spin dephasing time as a function of the magnetic field. In addition, we combine targeted measurements and numerical simulations to show that nuclear spin transitions conditioned by the state of the electronic qubit can be individually addressed and coherently manipulated by resonant radio-frequency pulses, thanks to the remarkably long coherence times and the effective quadrupolar coupling induced by the strong hyperfine coupling. This approach may open new perspectives for developing new molecular qubit-qudit systems.


title: Estimating the Roles of Protonation and Electronic Polarization in Absolute Binding Affinity Simulations

abstract: Accurate prediction of binding free energies is critical to streamlining the drug development and protein design process. With the advent of GPU acceleration, absolute alchemical methods, which simulate the removal of ligand electrostatics and van der Waals interactions with the protein, have become routinely accessible and provide a physically rigorous approach that enables full consideration of flexibility and solvent interaction. However, standard explicit solvent simulations are unable to model protonation or electronic polarization changes upon ligand transfer from water to the protein interior, leading to inaccurate prediction of binding affinities for charged molecules. Here, we perform extensive simulation totaling ~540 $\mu$s to benchmark the impact of modeling conditions on predictive accuracy for absolute alchemical simulations. Binding to urokinase plasminogen activator (UPA), a protein frequently overexpressed in metastatic tumors, is evaluated for a set of ten inhibitors with extended flexibility, highly charged character, and titratable properties. We demonstrate that the alchemical simulations can be adapted to utilize the MBAR/PBSA method to improve the accuracy upon incorporating electronic polarization, highlighting the importance of polarization in alchemical simulations of binding affinities. Comparison of binding energy prediction at various protonation states indicates that proper electrostatic setup is also crucial in binding affinity prediction of charged systems, prompting us to propose an alternative binding mode with protonated ligand phenol and Hid-46 at the binding site, a testable hypothesis for future experimental validation.


title: The role of mobility and sanitary measures on Covid-19 in Costa Rica, March through July 2020

abstract: The aim of this paper is to infer the effects that changes on human mobility had on the transmission dynamics during the first four months of the SARS-CoV-2 outbreak in Costa Rica, before community transmission was established in the country. By using parametric and non parametric detection change-point techniques we were able to identify two different periods where at least the trend and variability of new daily cases significantly changed. In order to combine this information with population movement, we use data from Google Mobility Trends that allow us to estimate the lag between the rate of new daily cases and each of the categories established by Google. The information is then used to establish an association between changes in population mobility and the sanitary measures taken during the study period.


title: Category Aware Explainable Conversational Recommendation

abstract: Most conversational recommendation approaches are either not explainable, or they require external user's knowledge for explaining or their explanations cannot be applied in real time due to computational limitations. In this work, we present a real time category based conversational recommendation approach, which can provide concise explanations without prior user knowledge being required. We first perform an explainable user model in the form of preferences over the items' categories, and then use the category preferences to recommend items. The user model is performed by applying a BERT-based neural architecture on the conversation. Then, we translate the user model into item recommendation scores using a Feed Forward Network. User preferences during the conversation in our approach are represented by category vectors which are directly interpretable. The experimental results on the real conversational recommendation dataset ReDial demonstrate comparable performance to the state-of-the-art, while our approach is explainable. We also show the potential power of our framework by involving an oracle setting of category preference prediction.


title: Point-symmetry pseudogroup, Lie reductions and exact solutions of Boiti-Leon-Pempinelli system

abstract: We carry out extended symmetry analysis of the (1+2)-dimensional Boiti-Leon-Pempinelli system, which corrects, enhances and generalizes many results existing in the literature. The point-symmetry pseudogroup of this system is computed using an original megaideal-based version of the algebraic method. A number of meticulously selected differential constraints allow us to construct families of exact solutions of this system, which are significantly larger than all known ones. After classifying one- and two-dimensional subalgebras of the entire (infinite-dimensional) maximal Lie invariance algebra of this system, we study only its essential Lie reductions, which give solutions beyond the above solution families. Among reductions of the Boiti-Leon-Pempinelli system using differential constraints or Lie symmetries, we identify a number of famous partial and ordinary differential equations. We also show how all the constructed solution families can significantly be extended by Laplace and Darboux transformations.


title: Joint Satellite Gateway Deployment & Controller Placement in Software-Defined 5G-Satellite Integrated Networks

abstract: Several challenging optimization problems arise while considering the deployment of the space-air-ground integrated networks (SAGINs), among which the optimal satellite gateway deployment problem is of significant importance. Moreover, with the increasing interest in the software-defined integration of 5G networks and satellites, the existence of an effective scheme for optimal placement of SDN controllers is essential. In this paper, we discuss the interrelation between the two problems above and propose suitable methods to solve them under various network design criteria. We first provide a MILP model for solving the joint problem, and then motivate the decomposition of the model into two disjoint MILPs. We then show that the resulting problems can be modeled as the optimization of submodular set functions and can be solved efficiently with provable optimality gaps.


title: Gemini NIFS survey of feeding and feedback in nearby Active Galaxies -- IV. Excitation

abstract: The near-infrared spectra of Active Galactic Nuclei (AGN) present emission lines of different atomic and molecular species. The mechanisms involved in the origin of these emission lines in AGN are still not fully understood. We use J and K band integral field spectra of six luminous ($43.1<\log L_{\rm bol}/({\rm erg s^{-1}})<44.4$) Seyfert galaxies (NGC 788, Mrk 607, NGC 3227, NGC 3516, NGC 5506 and NGC 5899) in the Local Universe ($0.0039<z<0.0136$) to investigate the gas excitation within the inner 100-300 pc radius of the galaxies at spatial resolutions of a few tens of parsecs. In all galaxies, the H$_2$ emission originates from thermal processes with excitation temperatures in the range 2400-5200 K. In the high line ratio (HLR) region of the H$_2$/Br$\gamma$ vs. [Fe II]/Pa$\beta$ diagnostic diagram, which includes 29 % of the spaxels, shocks are the main excitation mechanism, as indicated by the correlation between the line widths and line ratios. In the AGN region of the diagram (64 % of the spaxels) the H$_2$ emission is due to the AGN radiation. The [Fe II] emission is produced by a combination of photoionisation by the AGN radiation and shocks in five galaxies and is dominated by photoionisation in NGC 788. The [S IX]1.2523$\mu$m coronal emission line is present in all galaxies, and its flux distributions are extended from 80 to 185 pc from the galaxy nuclei, except for NGC 5899, in which this line is detected only in the integrated spectrum.


title: Growing 3D Artefacts and Functional Machines with Neural Cellular Automata

abstract: Neural Cellular Automata (NCAs) have been proven effective in simulating morphogenetic processes, the continuous construction of complex structures from very few starting cells. Recent developments in NCAs lie in the 2D domain, namely reconstructing target images from a single pixel or infinitely growing 2D textures. In this work, we propose an extension of NCAs to 3D, utilizing 3D convolutions in the proposed neural network architecture. Minecraft is selected as the environment for our automaton since it allows the generation of both static structures and moving machines. We show that despite their simplicity, NCAs are capable of growing complex entities such as castles, apartment blocks, and trees, some of which are composed of over 3,000 blocks. Additionally, when trained for regeneration, the system is able to regrow parts of simple functional machines, significantly expanding the capabilities of simulated morphogenetic systems. The code for the experiment in this paper can be found at: https://github.com/real-itu/3d-artefacts-nca.


title: Higher-derivative Lorentz-breaking dispersion relations: a thermal description

abstract: This paper is devoted to study the thermal aspects of a photon gas within the context of Planck-scale-modified dispersion relations. We study the spectrum of radiation and the correction to the \textit{Stefan$-$Boltzmann} law in different cases when the Lorentz symmetry is no longer preserved. Explicitly, we examine two models within the context of CPT$-$even and CPT$-$odd sectors respectively. To do so, three distinct scenarios of the Universe are considered: the Cosmic Microwave Background (CMB), the electroweak epoch, and the inflationary era. Moreover, the equations of state in these cases turn out to display a dependence on Lorentz-breaking parameters. Finally, we also provide for both theories the analyses of the Helmholtz free energy, the mean energy, the entropy and the heat capacity.


title: A fast and scalable bottom-left-fill algorithm to solve nesting problems using a semi-discrete representation

abstract: We present a fast algorithm to solve nesting problems based on a semi-discrete representation of both the 2D non-convex pieces and the strip. The pieces and the strip are represented by a set of equidistant vertical line segments. The discretization algorithm uses a sweep-line method and applies minimal extensions to the line segments of a piece to ensure that non-overlapping placement of the segments, representing two pieces, cannot cause overlap of the original pieces. We implemented a bottom-left-fill greedy placement procedure, using an optimised ordering of the segments overlap tests. The C++ implementation of our algorithm uses appropriate data structures that allow fast execution. It executes the bottom-left-fill algorithm for typical ESICUP data sets in a few milliseconds, even when rotation of the pieces is considered, and thus provides a suitable `building block' for integration in metaheuristics. Moreover, we show that the algorithm scales well when the number of pieces increases.


title: Observability-Blocking Control using Sparser and Regional Feedback for Network Synchronization Processes

abstract: The design of feedback control systems to block observability in a network synchronization model, i.e. to make the dynamics unobservable from measurements at a subset of the network's nodes, is studied. First, a general design algorithm is presented for blocking observability at any specified group of $m$ nodes, by applying state feedback controls at $m+2$ specified actuation nodes. The algorithm is based on a method for eigenstructure assignment, which allows surgical modification of particular eigenvectors to block observability while preserving the remaining open-loop eigenstructure. Next, the topological structure of the network is exploited to reduce the number of controllers required for blocking observability; the result is based on blocking observability on the nodes associated with a vertex-cutset separating the actuation and measurement locations. Also, the design is modified to encompass regional feedback controls, which only use data from a subset of accessible nodes. The regional feedback design does not maintain the open-loop eigenstructure, but can be guaranteed to preserve stability via a time-scale argument. The results are illustrated with numerical examples.


title: Deep Reinforcement Learning for Band Selection in Hyperspectral Image Classification

abstract: Band selection refers to the process of choosing the most relevant bands in a hyperspectral image. By selecting a limited number of optimal bands, we aim at speeding up model training, improving accuracy, or both. It reduces redundancy among spectral bands while trying to preserve the original information of the image. By now many efforts have been made to develop unsupervised band selection approaches, of which the majority are heuristic algorithms devised by trial and error. In this paper, we are interested in training an intelligent agent that, given a hyperspectral image, is capable of automatically learning policy to select an optimal band subset without any hand-engineered reasoning. To this end, we frame the problem of unsupervised band selection as a Markov decision process, propose an effective method to parameterize it, and finally solve the problem by deep reinforcement learning. Once the agent is trained, it learns a band-selection policy that guides the agent to sequentially select bands by fully exploiting the hyperspectral image and previously picked bands. Furthermore, we propose two different reward schemes for the environment simulation of deep reinforcement learning and compare them in experiments. This, to the best of our knowledge, is the first study that explores a deep reinforcement learning model for hyperspectral image analysis, thus opening a new door for future research and showcasing the great potential of deep reinforcement learning in remote sensing applications. Extensive experiments are carried out on four hyperspectral data sets, and experimental results demonstrate the effectiveness of the proposed method.


title: The Complexity of Checking Partial Total Positivity

abstract: We prove that checking if a partial matrix is partial totally positive is co-NP-complete. This contrasts with checking a conventional matrix for total positivity, for which we provide a cubic time algorithm. Checking partial sign regularity with any signature, including partial total nonnegativity, is also co-NP-complete. Finally, we prove that checking partial total positivity in a partial matrix with logarithmically many unspecified entries may be done in polynomial time.


abstract: Strong Parallel Repetition for Unique Games on Small Set Expanders The strong parallel repetition problem for unique games is to efficiently reduce the 1-delta vs. 1-C*delta gap problem of Boolean unique games (where C>1 is a sufficiently large constant) to the 1-epsilon vs. epsilon gap problem of unique games over large alphabet. Due to its importance to the Unique Games Conjecture, this problem garnered a great deal of interest from the research community. There are positive results for certain easy unique games (e.g., unique games on expanders), and an impossibility result for hard unique games. In this paper we show how to bypass the impossibility result by enlarging the alphabet sufficiently before repetition. We consider the case of unique games on small set expanders for two setups: (i) Strong small set expanders that yield easy unique games. (ii) Weaker small set expanders underlying possibly hard unique games as long as the game is mildly fortified. We show how to fortify unique games in both cases, i.e., how to transform the game so sufficiently large induced sub-games have bounded value. We then prove strong parallel repetition for the fortified games. Prior to this work fortification was known for projection games but seemed hopeless for unique games.


title: Workflow Techniques for the Robust Use of Bayes Factors

abstract: Inferences about hypotheses are ubiquitous in the cognitive sciences. Bayes factors provide one general way to compare different hypotheses by their compatibility with the observed data. Those quantifications can then also be used to choose between hypotheses. While Bayes factors provide an immediate approach to hypothesis testing, they are highly sensitive to details of the data/model assumptions. Moreover it's not clear how straightforwardly this approach can be implemented in practice, and in particular how sensitive it is to the details of the computational implementation. Here, we investigate these questions for Bayes factor analyses in the cognitive sciences. We explain the statistics underlying Bayes factors as a tool for Bayesian inferences and discuss that utility functions are needed for principled decisions on hypotheses. Next, we study how Bayes factors misbehave under different conditions. This includes a study of errors in the estimation of Bayes factors. Importantly, it is unknown whether Bayes factor estimates based on bridge sampling are unbiased for complex analyses. We are the first to use simulation-based calibration as a tool to test the accuracy of Bayes factor estimates. Moreover, we study how stable Bayes factors are against different MCMC draws. We moreover study how Bayes factors depend on variation in the data. We also look at variability of decisions based on Bayes factors and how to optimize decisions using a utility function. We outline a Bayes factor workflow that researchers can use to study whether Bayes factors are robust for their individual analysis, and we illustrate this workflow using an example from the cognitive sciences. We hope that this study will provide a workflow to test the strengths and limitations of Bayes factors as a way to quantify evidence in support of scientific hypotheses. Reproducible code is available from https://osf.io/y354c/.


title: S3Net: 3D LiDAR Sparse Semantic Segmentation Network

abstract: Semantic Segmentation is a crucial component in the perception systems of many applications, such as robotics and autonomous driving that rely on accurate environmental perception and understanding. In literature, several approaches are introduced to attempt LiDAR semantic segmentation task, such as projection-based (range-view or birds-eye-view), and voxel-based approaches. However, they either abandon the valuable 3D topology and geometric relations and suffer from information loss introduced in the projection process or are inefficient. Therefore, there is a need for accurate models capable of processing the 3D driving-scene point cloud in 3D space. In this paper, we propose S3Net, a novel convolutional neural network for LiDAR point cloud semantic segmentation. It adopts an encoder-decoder backbone that consists of Sparse Intra-channel Attention Module (SIntraAM), and Sparse Inter-channel Attention Module (SInterAM) to emphasize the fine details of both within each feature map and among nearby feature maps. To extract the global contexts in deeper layers, we introduce Sparse Residual Tower based upon sparse convolution that suits varying sparsity of LiDAR point cloud. In addition, geo-aware anisotrophic loss is leveraged to emphasize the semantic boundaries and penalize the noise within each predicted regions, leading to a robust prediction. Our experimental results show that the proposed method leads to a large improvement (12\%) compared to its baseline counterpart (MinkNet42 \cite{choy20194d}) on SemanticKITTI \cite{DBLP:conf/iccv/BehleyGMQBSG19} test set and achieves state-of-the-art mIoU accuracy of semantic segmentation approaches.


title: Quantum thermodynamics of coronal heating

abstract: Using the quantum Markovian master equation, we show that convection in the stellar photosphere generates plasma waves by an irreversible process akin to Zeldovich superradiance and sonic booms. In the Sun, this mechanism is most efficient in quiet regions with small magnetic fields. Energy is mostly carried by megahertz Alfven waves that scatter elastically until they reach a height at which they can dissipate via mode conversion. This gives the right power flux for coronal heating and may account for chromospheric evaporation leading to impulsive heat transport in the corona.

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


title: Embedding Code Contexts for Cryptographic API Suggestion:New Methodologies and Comparisons

abstract: Despite recent research efforts, the vision of automatic code generation through API recommendation has not been realized. Accuracy and expressiveness challenges of API recommendation needs to be systematically addressed. We present a new neural network-based approach, Multi-HyLSTM for API recommendation --targeting cryptography-related code. Multi-HyLSTM leverages program analysis to guide the API embedding and recommendation. By analyzing the data dependence paths of API methods, we train embedding and specialize a multi-path neural network architecture for API recommendation tasks that accurately predict the next API method call. We address two previously unreported programming language-specific challenges, differentiating functionally similar APIs and capturing low-frequency long-range influences. Our results confirm the effectiveness of our design choices, including program-analysis-guided embedding, multi-path code suggestion architecture, and low-frequency long-range-enhanced sequence learning, with high accuracy on top-1 recommendations. We achieve a top-1 accuracy of 91.41% compared with 77.44% from the state-of-the-art tool SLANG. In an analysis of 245 test cases, compared with the commercial tool Codota, we achieve a top-1 recommendation accuracy of 88.98%, which is significantly better than Codota's accuracy of 64.90%. We publish our data and code as a large Java cryptographic code dataset.


title: Nonlinear elasticity under moderate to strong compression

abstract: The strain-energy formulation of nonlinear elasticity can be extended to the case of significant compression by modulating suitable strain energy terms by a function of relative volume. For isotropic materials this can be accomplished by the product of representations of shear, in terms of the invariants of the Seth-Hill family of strain measures, and a function of volume. The incremental shear modulus under pressure is determined by this function, but nonlinear effects are retained for large strains. Suitable functional forms can be derived from existing equations of state for moderate to strong compression. For anisotropic materials, a similar development can be made directly with strain energy terms depending directly on the Seth-Hill strain tensors. Shear aspects can be emphasised by exploiting the equivoluminal components of the strain tensors. Such formulations may be helpful for materials under the conditions prevailing in the Earth's interior.


title: Proof of Concept for Through Silicon Vias (TSVs) in Application Specific Integrated Circuits (ASICs) for Hard X-ray Imaging Detectors

abstract: Application Specific Integrated Circuits (ASICs) are commonly used to efficiently process the signals from sensors and detectors in space. Wire bonding is a space qualified technique of making interconnections between ASICs and their substrate packaging board for power, control and readout of the ASICs. Wire bonding is nearly ubiquitous in modern space programs, but their exposed wires can be prone to damage during assembly and subject to electric interference during operations. Additional space around the ASICs needed for wire bonding also impedes efficient packaging of large arrays of detectors. Here we introduce the Through Silicon Vias (TSV) technology that replaces wire bonds and eliminates their shortcomings. We have successfully demonstrated the feasibility of implementing TSVs to existing ASIC wafers (a.k.a. a via-last process) developed for processing the X-ray signals from the X-ray imaging CdZnTe detectors on the Nuclear Spectroscopic Telescope Array (NuSTAR) Small Explorer mission that was launched in 2012. While TSVs are common in the semiconductor industry, this is the first (to our knowledge) successful application for Astrophysics imaging instrumentation. We expect that the TSV technology will simplify the detector assembly, and thus will enable significant cost and schedule savings in assembly of large area CdZnTe detectors.


title: Torsional moduli of transition metal dichalcogenide nanotubes from first principles

abstract: We calculate the torsional moduli of single-walled transition metal dichalcogenide (TMD) nanotubes using ab initio density functional theory (DFT). Specifically, considering forty-five select TMD nanotubes, we perform symmetry-adapted DFT calculations to calculate the torsional moduli for the armchair and zigzag variants of these materials in the low-twist regime and at practically relevant diameters. We find that the torsional moduli follow the trend: MS$_2$ $>$ MSe$_2$ $>$ MTe$_2$. In addition, the moduli display a power law dependence on diameter, with the scaling generally close to cubic, as predicted by the isotropic elastic continuum model. In particular, the shear moduli so computed are in good agreement with those predicted by the isotropic relation in terms of the Young's modulus and Poisson's ratio, both of which are also calculated using symmetry-adapted DFT. Finally, we develop a linear regression model for the torsional moduli of TMD nanotubes based on the nature/characteristics of the metal-chalcogen bond, and show that it is capable of making reasonably accurate predictions.


title: An N-body approach to modeling debris and ejecta off small bodies: Implementation and application

abstract: We introduce here our new approach to modeling particle cloud evolution off surface of small bodies (asteroids and comets), following the evolution of ejected particles requires dealing with various time and spatial scales, in an efficient, accurate and modular way. In order to improve computational efficiency and accuracy of such calculations, we created an N-body modeling package as an extension to the increasingly popular orbital dynamics N-body integrator Rebound. Our code is currently a stand-alone variant of the Rebound code and is aimed at advancing a comprehensive understanding of individual particle trajectories, external forcing, and interactions, at the scale which is otherwise overlooked by other modeling approaches. The package we developed -- Rebound Ejecta Dynamics (RED) -- is a Python-based implementation with no additional dependencies. It incorporates several major mechanisms that affect the evolution of particles in low-gravity environments and enables a more straightforward simulation of combined effects. We include variable size and velocity distributions, solar radiation pressure, ellipsoidal gravitational potential, binary or triple asteroid systems, and particle-particle interactions. In this paper, we present a sample of the RED package capabilities. These are applied to a small asteroid binary system (characterized following the Didymos/Dimorphos system, which is the target for NASA's Double Asteroid Redirection Test mission)


title: Spin-orbit Energies in Etch-Confined Superconductor-Semiconductor Nanowires

abstract: We report magneto-transport measurements of quasi-1-dimensional (1D) Al-InAs nanowires produced via etching of a hybrid superconductor-semiconductor two-dimensional electron gas (2DEG). Tunnel spectroscopy measurements above the superconducting gap provide a means of identifying the 1D sub-bands associated with the confined 1D region. Fitting the data to a model that includes the different components of the spin-orbit interaction (SOI) reveals their strength, of interest for evaluating the suitability of superconductor-semiconductor 2DEG for realizing Majorana qubits.


title: Adaptive Gradient Online Control

abstract: In this work we consider the online control of a known linear dynamic system with adversarial disturbance and adversarial controller cost. The goal in online control is to minimize the regret, defined as the difference between cumulative cost over a period $T$ and the cumulative cost for the best policy from a comparator class. For the setting we consider, we generalize the previously proposed online Disturbance Response Controller (DRC) to the adaptive gradient online Disturbance Response Controller. Using the modified controller, we present novel regret guarantees that improves the established regret guarantees for the same setting. We show that the proposed online learning controller is able to achieve intermediate intermediate regret rates between $\sqrt{T}$ and $\log{T}$ for intermediate convex conditions, while it recovers the previously established regret results for general convex controller cost and strongly convex controller cost.


title: Incorporating External Data into the Analysis of Clinical Trials via Bayesian Additive Regression Trees

abstract: Most clinical trials involve the comparison of a new treatment to a control arm (e.g., the standard of care) and the estimation of a treatment effect. External data, including historical clinical trial data and real-world observational data, are commonly available for the control arm. Borrowing information from external data holds the promise of improving the estimation of relevant parameters and increasing the power of detecting a treatment effect if it exists. In this paper, we propose to use Bayesian additive regression trees (BART) for incorporating external data into the analysis of clinical trials, with a specific goal of estimating the conditional or population average treatment effect. BART naturally adjusts for patient-level covariates and captures potentially heterogeneous treatment effects across different data sources, achieving flexible borrowing. Simulation studies demonstrate that BART compares favorably to a hierarchical linear model and a normal-normal hierarchical model. We illustrate the proposed method with an acupuncture trial.


title: Stochastic light variations in hot stars from wind instability: Finding photometric signatures and testing against the TESS data

abstract: Line-driven wind instability is expected to cause small-scale wind inhomogeneities, X-ray emission, and wind line profile variability. The instability can already develop around the sonic point if it is initiated close to the photosphere due to stochastic turbulent motions. In such cases, it may leave its imprint on the light curve as a result of wind blanketing. We study the photometric signatures of the line-driven wind instability. We used line-driven wind instability simulations to determine the wind variability close to the star. We applied two types of boundary perturbations: a sinusoidal one that enables us to study in detail the development of the instability and a stochastic one given by a Langevin process that provides a more realistic boundary perturbation. We estimated the photometric variability from the resulting mass-flux variations. The variability was simulated assuming that the wind consists of a large number of independent conical wind sectors. We compared the simulated light curves with TESS light curves of OB stars that show stochastic variability. We find two typical signatures of line-driven wind instability in photometric data: a knee in the power spectrum of magnitude fluctuations, which appears due to engulfment of small-scale structure by larger structures, and a negative skewness of the distribution of fluctuations, which is the result of spatial dominance of rarefied regions. These features endure even when combining the light curves from independent wind sectors. The stochastic photometric variability of OB stars bears certain signatures of the line-driven wind instability. The distribution function of observed photometric data shows negative skewness and the power spectra of a fraction of light curves exhibit a knee. This can be explained as a result of the line-driven wind instability triggered by stochastic base perturbations.


title: Revisiting Dynamic Convolution via Matrix Decomposition

abstract: Recent research in dynamic convolution shows substantial performance boost for efficient CNNs, due to the adaptive aggregation of K static convolution kernels. It has two limitations: (a) it increases the number of convolutional weights by K-times, and (b) the joint optimization of dynamic attention and static convolution kernels is challenging. In this paper, we revisit it from a new perspective of matrix decomposition and reveal the key issue is that dynamic convolution applies dynamic attention over channel groups after projecting into a higher dimensional latent space. To address this issue, we propose dynamic channel fusion to replace dynamic attention over channel groups. Dynamic channel fusion not only enables significant dimension reduction of the latent space, but also mitigates the joint optimization difficulty. As a result, our method is easier to train and requires significantly fewer parameters without sacrificing accuracy. Source code is at https://github.com/liyunsheng13/dcd.


title: Structural underpinnings of control in multiplex networks

abstract: To design control strategies that predictably manipulate a system's behavior, it is first necessary to understand how the system's structure relates to its response. Many complex systems can be represented as multilayer networks whose response and control can be studied in the framework of network control theory. It remains unknown how a system's layered architecture dictates its control properties, particularly when control signals can only access the system through a single input layer. Here, we use the framework of linear control theory to probe the control properties of a duplex network with directed interlayer links. We determine the manner in which the structural properties of layers and relative interlayer arrangement together dictate the system's response. For this purpose, we calculate the exact expression of optimal control energy in terms of layer spectra and the relative alignment between the eigenmodes of the input layer and the deeper target layer. For a range of numerically constructed duplex networks, we then calculate the control properties of the two layers as a function of target-layer densities and layer topology. The alignment of layer eigenmodes emerges as an important parameter that sets the cost and routing of the optimal energy for control. We understand these results in a simplified limit of a single-mode approximation, and we build metrics to characterize the routing of optimal control energy through the eigenmodes of each layer. Our analytical and numerical results together provide insights into the relationships between structure and control in duplex networks. More generally, they serve as a platform for future work designing optimal \emph{interlayer} control strategies.


title: Gelfand-Tsetlin bases of representations for super Yangian and quantum affine superalgebra

abstract: We give explicit actions of Drinfeld generators on Gelfand-Tsetlin bases of super Yangian modules associated with skew Young diagrams. In particular, we give another proof that these representations are irreducible. We study irreducible tame $\mathrm Y(\mathfrak{gl}_{1|1})$-modules and show that a finite-dimensional irreducible $\mathrm Y(\mathfrak{gl}_{1|1})$-module is tame if and only if it is thin. We also give the analogous statements for quantum affine superalgebra of type A.


title: A Transition-based Parser for Unscoped Episodic Logical Forms

abstract: "Episodic Logic:Unscoped Logical Form" (EL-ULF) is a semantic representation capturing predicate-argument structure as well as more challenging aspects of language within the Episodic Logic formalism. We present the first learned approach for parsing sentences into ULFs, using a growing set of annotated examples. The results provide a strong baseline for future improvement. Our method learns a sequence-to-sequence model for predicting the transition action sequence within a modified cache transition system. We evaluate the efficacy of type grammar-based constraints, a word-to-symbol lexicon, and transition system state features in this task. Our system is available at https://github.com/genelkim/ulf-transition-parser We also present the first official annotated ULF dataset at https://www.cs.rochester.edu/u/gkim21/ulf/resources/.


title: Bacterial activity hinders particle sedimentation

abstract: Sedimentation in active fluids has come into focus due to the ubiquity of swimming micro-organisms in natural and industrial processes. Here, we investigate sedimentation dynamics of passive particles in a fluid as a function of bacteria E. coli concentration. Results show that the presence of swimming bacteria significantly reduces the speed of the sedimentation front even in the dilute regime, in which the sedimentation speed is expected to be independent of particle concentration. Furthermore, bacteria increase the dispersion of the passive particles, which determines the width of the sedimentation front. For short times, particle sedimentation speed has a linear dependence on bacterial concentration. Mean square displacement data shows, however, that bacterial activity decays over long experimental (sedimentation) times. An advection-diffusion equation coupled to bacteria population dynamics seems to capture concentration profiles relatively well. A single parameter, the ratio of single particle speed to the bacteria flow speed can be used to predict front sedimentation speed.


title: Modeling Weather-induced Home Insurance Risks with Support Vector Machine Regression

abstract: Insurance industry is one of the most vulnerable sectors to climate change. Assessment of future number of claims and incurred losses is critical for disaster preparedness and risk management. In this project, we study the effect of precipitation on a joint dynamics of weather-induced home insurance claims and losses. We discuss utility and limitations of such machine learning procedures as Support Vector Machines and Artificial Neural Networks, in forecasting future claim dynamics and evaluating associated uncertainties. We illustrate our approach by application to attribution analysis and forecasting of weather-induced home insurance claims in a middle-sized city in the Canadian Prairies.


title: Motion of a rigid body in a compressible Fluid with Navier-slip boundary condition

abstract: In this work, we study the motion of a rigid body in a bounded domain which is filled with a compressible isentropic fluid. We consider the Navier-slip boundary condition at the interface as well as at the boundary of the domain. This is the first mathematical analysis of a compressible fluid-rigid body system where Navier-slip boundary conditions are considered. We prove existence of a weak solution of the fluid-structure system up to collision.


title: Please Don't Go -- A Comprehensive Approach to Increase Women's Participation in Open Source Software

abstract: Women represent less than 24% of employees in the software development industry and experience various types of prejudice and bias. Despite various efforts to increase diversity and multi-gendered participation, women are even more underrepresented in Open Source Software (OSS) projects. In my PhD, I investigate the following question: How can OSS communities increase women's participation in their projects? I will identify different OSS career pathways and develop a holistic view of women's motivations to join or leave OSS, as well as their definitions of success. Based on this empirical investigation, I will work together with the Linux Foundation to design attraction and retention strategies focused on women. Before and after implementing the strategies, I will conduct empirical studies to evaluate the state of the practice and understand the implications of the strategies.


title: Fast and Accurate: Video Enhancement using Sparse Depth

abstract: This paper presents a general framework to build fast and accurate algorithms for video enhancement tasks such as super-resolution, deblurring, and denoising. Essential to our framework is the realization that the accuracy, rather than the density, of pixel flows is what is required for high-quality video enhancement. Most of prior works take the opposite approach: they estimate dense (per-pixel)-but generally less robust-flows, mostly using computationally costly algorithms. Instead, we propose a lightweight flow estimation algorithm; it fuses the sparse point cloud data and (even sparser and less reliable) IMU data available in modern autonomous agents to estimate the flow information. Building on top of the flow estimation, we demonstrate a general framework that integrates the flows in a plug-and-play fashion with different task-specific layers. Algorithms built in our framework achieve 1.78x - 187.41x speedup while providing a 0.42 dB - 6.70 dB quality improvement over competing methods.


title: Data Discovery Using Lossless Compression-Based Sparse Representation

abstract: Sparse representation has been widely used in data compression, signal and image denoising, dimensionality reduction and computer vision. While overcomplete dictionaries are required for sparse representation of multidimensional data, orthogonal bases represent one-dimensional data well. In this paper, we propose a data-driven sparse representation using orthonormal bases under the lossless compression constraint. We show that imposing such constraint under the Minimum Description Length (MDL) principle leads to a unique and optimal sparse representation for one-dimensional data, which results in discriminative features useful for data discovery.


title: Some generalizations of Satoh's Tube map

abstract: Satoh has defined a map from virtual knots to ribbon surfaces embedded in $S^4$. Herein, we generalize this map to virtual $m$-links, and use this to construct generalizations of welded and extended welded knots to higher dimensions. This also allows us to construct two new geometric pictures of virtual $m$-links, including 1-links.


title: Activating superconductivity in a repulsive system by high-energy degrees of freedom

abstract: We discuss superconducting pairing in a narrow conduction band sandwiched between unoccupied and occupied bands, an arrangement that enables an unconventional pairing mechanism governed by Coulomb repulsion. Pairing interaction originates from repulsion-assisted scattering between far-out pair states in the higher-energy bands and those at the Fermi level. Optimizing the bandstructure design and carrier density in order to bring plasma frequency below the bandgap renders the repulsion unscreened for the processes with a large frequency transfer. This allows the pairing to fully benefit from the pristine Coulomb repulsion strength. The repulsion-induced attraction is particularly strong in two dimensions and is assisted by a low density of carriers and the resulting low plasma frequency values. We assess the possible connection of this mechanism to superconductivity in magic-angle twisted bilayer graphene where the bandstructure features wide dispersive upper and lower minibands. We use a simple model to illustrate the importance of the far-out pairs in these bands and predict testable signatures of this superconductivity mechanism.


title: Explicit $p$-harmonic functions on the real Grassmannians

abstract: In this work we use the method of eigenfamilies to construct explicit complex-valued proper $p$-harmonic functions on the compact real Grassmannians. We also find proper $p$-harmonic functions on the real flag manifolds which do not descend onto any of the real Grassmannians.


title: Considerations and Pitfalls in Controlled Experiments on Code Comprehension

abstract: Understanding program code is a complicated endeavor. As such, myriad different factors can influence the outcome. Investigations of program comprehension, and in particular those using controlled experiments, have to take these factors into account. In order to promote the development and use of sound experimental methodology, we discuss potential problems with regard to the experimental subjects, the code they work on, the tasks they are asked to perform, and the metrics for their performance.


title: Analyticity and infinite breakdown of regularity in mass-subcritical Hartree scattering

abstract: We study the asymptotic behavior of solutions to the defocusing mass-subcritical Hartree NLS $iu_t + \Delta u = F(u) = (|x|^{-\gamma}*|u|^2)u$ on $\mathbb{R}^d$, $d\geq 2$, $\frac{4}{3} < \gamma < 2$. We show that the scattering problem associated to this equation is analytically well-posed in the weighted spaces $\Sigma = H^1\cap\mathcal{F}H^1$ and $\mathcal{F}H^1$. Furthermore, we show that the same problem fails to be analytically well-posed for data in $L^2$. This constitutes an infinite loss of regularity between the scattering problems in weighted spaces and in $L^2$. This further develops an earlier investigation initiated by the author in which a finite breakdown of regularity was proved for the $L^2$ scattering problem for the mass-subcritical NLS with power nonlinearity $F(u) = |u|^pu$.


title: Discovery of a 310-day Period from the Enshrouded Massive System NaSt1 (WR 122)

abstract: We present optical and infrared (IR) light curves of NaSt1, also known as Wolf-Rayet (WR) 122, with observations from Palomar Gattini-IR (PGIR), the Zwicky Transient Facility (ZTF), the Katzman Automatic Imaging Telescope (KAIT), the Asteroid Terrestrial-impact Last Alert System (ATLAS), and the All-Sky Automated Survey for Supernovae (ASAS-SN). We identify a $P=309.7\pm0.7$ d photometric period from the optical and IR light curves that reveal periodic, sinusoidal variability between 2014 July and 2021 July. We also present historical IR light curves taken between 1983 July and 1989 May, which show variability consistent with the period of the present-day light curves. In the past, NaSt1 was brighter in the $J$ band with larger variability amplitudes than the present-day PGIR values, suggesting that NaSt1 exhibits variability on longer ($\gtrsim$ decade) timescales. Sinusoidal fits to the recent optical and IR light curves show that the amplitude of NaSt1's variability differs at various wavelengths and also reveal significant phase offsets of $17.0\pm2.5$ d between the ZTF $r$ and PGIR $J$ light curves. We interpret the $310$ d photometric period from NaSt1 as the orbital period of an enshrouded massive binary. We suggest that the photometric variability of NaSt1 may arise from variations in the line-of-sight optical depth toward circumstellar optical/IR emitting regions throughout its orbit due to colliding-wind dust formation. We speculate that past mass transfer in NaSt1 may have been triggered by Roche-lobe overflow (RLOF) during an eruptive phase of an Ofpe/WN9 star. Lastly, we argue that NaSt1 is no longer undergoing RLOF mass transfer.


title: Mediated interaction between polarons in a one-dimensional Bose gas

abstract: We study a weakly-interacting one-dimensional Bose gas with two impurities coupled locally to the boson density. We derive analytical results for the induced interaction between the impurities at arbitrary coupling and separation $r$. At $r\lesssim \xi$, where $\xi$ denotes the healing length of the Bose gas, the interaction is well described by the mean-field contribution. Its form changes as the coupling is increased, approaching a linear function of $r$ at short distances in the regime of strong coupling. The mean-field contribution decays exponentially at arbitrary coupling for $r\gg\xi$. At such long distances, however, the effect of quantum fluctuations becomes important, giving rise to a long-ranged quantum contribution to the induced interaction. At longest distances it behaves as $1/r^3$, while at strong coupling we find an intermediate distance regime with a slower decay, $1/r$. The quantum contribution in the crossover regime is also calculated. The induced interaction between impurities (i.e., polarons) is attractive and leads to the formation of their bound state, known as bipolaron. We discuss its binding energy.


title: Unconstrained Face-Mask & Face-Hand Datasets: Building a Computer Vision System to Help Prevent the Transmission of COVID-19

abstract: Health organizations advise social distancing, wearing face mask, and avoiding touching face to prevent the spread of coronavirus. Based on these protective measures, we developed a computer vision system to help prevent the transmission of COVID-19. Specifically, the developed system performs face mask detection, face-hand interaction detection, and measures social distance. To train and evaluate the developed system, we collected and annotated images that represent face mask usage and face-hand interaction in the real world. Besides assessing the performance of the developed system on our own datasets, we also tested it on existing datasets in the literature without performing any adaptation on them. In addition, we proposed a module to track social distance between people. Experimental results indicate that our datasets represent the real-world's diversity well. The proposed system achieved very high performance and generalization capacity for face mask usage detection, face-hand interaction detection, and measuring social distance in a real-world scenario on unseen data. The datasets will be available at https://github.com/iremeyiokur/COVID-19-Preventions-Control-System.


title: Decay rate enhancement of diamond NV-centers on diamond thin films

abstract: We demonstrate experimentally two-fold enhancement of the decay rate of NV$^0$ centers on diamond/Si substrate as opposed to a bare Si substrate. We link the decay enhancement to the interplay between the excitation of substrate modes and the presence of non-radiative decay channels. We show that the radiative decay rate can vary by up to 90% depending on the thickness of the diamond film.


title: $\Lambda_b \to \Lambda_c^*(2595,2625)\ell^-\bar{\nu}$ form factors from lattice QCD

abstract: We present the first lattice-QCD determination of the form factors describing the semileptonic decays $\Lambda_b \to \Lambda_c^*(2595)\ell^-\bar{\nu}$ and $\Lambda_b \to \Lambda_c^*(2625)\ell^-\bar{\nu}$, where the $\Lambda_c^*(2595)$ and $\Lambda_c^*(2625)$ are the lightest charm baryons with $J^P=\frac12^-$ and $J^P=\frac32^-$, respectively. These decay modes provide new opportunities to test lepton flavor universality and also play an important role in global analyses of the strong interactions in $b\to c$ semileptonic decays. We determine the full set of vector, axial vector, and tensor form factors for both decays, but only in a small kinematic region near the zero-recoil point. The lattice calculation uses three different ensembles of gauge-field configurations with $2+1$ flavors of domain-wall fermions, and we perform extrapolations of the form factors to the continuum limit and physical pion mass. We present Standard-Model predictions for the differential decay rates and angular observables. In the kinematic region considered, the differential decay rate for the $\frac12^-$ final state is found to be approximately 2.5 times larger than the rate for the $\frac32^-$ final state. We also test the compatibility of our form-factor results with zero-recoil sum rules.


title: Order continuity and regularity on vector lattices and on lattices of continuous functions

abstract: We give several characterizations of order continuous vector lattice homomorphisms between Archimedean vector lattices. We reduce the proofs of some of the equivalences to the case of composition operators between vector lattices of continuous functions, and so we obtain a characterization of order continuity of such operators. Motivated by this, we investigate various properties of the sublattices of the space $C\left(X\right)$, where $X$ is a Tychonoff topological space. We also obtain several characterizations of a regular sublattice of a vector lattice, and show that the closure of a regular sublattice of a Banach lattice is also regular.


title: A Systematic Literature Review and Taxonomy of Modern Code Review

abstract: Modern Code Review (MCR) is a widely known practice of software quality assurance. However, the existing body of knowledge of MCR is currently not understood as a whole. Objective: Our goal is to identify the state of the art on MCR, providing a structured overview and an in-depth analysis of the research done in this field. Method: We performed a systematic literature review, selecting publications from four digital libraries. Results: A total of 139 papers were selected and analyzed in three main categories. Foundational studies are those that analyze existing or collected data from the adoption of MCR. Proposals consist of techniques and tools to support MCR, while evaluations are studies to assess an approach or compare a set of them. Conclusion: The most represented category is foundational studies, mainly aiming to understand the motivations for adopting MCR, its challenges and benefits, and which influence factors lead to which MCR outcomes. The most common types of proposals are code reviewer recommender and support to code checking. Evaluations of MCR-supporting approaches have been done mostly offline, without involving human subjects. Five main research gaps have been identified, which point out directions for future work in the area.


title: Accessibility in Software Practice: A Practitioner's Perspective

abstract: Being able to access software in daily life is vital for everyone, and thus accessibility is a fundamental challenge for software development. However, given the number of accessibility issues reported by many users, e.g., in app reviews, it is not clear if accessibility is widely integrated into current software projects and how software projects address accessibility issues. In this paper, we report a study of the critical challenges and benefits of incorporating accessibility into software development and design. We applied a mixed qualitative and quantitative approach for gathering data from 15 interviews and 365 survey respondents from 26 countries across five continents to understand how practitioners perceive accessibility development and design in practice. We got 44 statements grouped into eight topics on accessibility from practitioners' viewpoints and different software development stages. Our statistical analysis reveals substantial gaps between groups, e.g., practitioners have Direct v.s. Indirect accessibility relevant work experience when they reviewed the summarized statements. These gaps might hinder the quality of accessibility development and design, and we use our findings to establish a set of guidelines to help practitioners be aware of accessibility challenges and benefit factors. We also propose some remedies to resolve the gaps and to highlight key future research directions.


title: On the structure of a log smooth pair in the equality case of the Bogomolov-Gieseker inequality

abstract: We study the structure of a log smooth pair when the equality holds in the Bogomolov-Gieseker inequality for the logarithmic tangent bundle and this bundle is semistable with respect to some ample divisor. We also study the case of the canonical extension sheaf.


title: dictNN: A Dictionary-Enhanced CNN Approach for Classifying Hate Speech on Twitter

abstract: Hate speech on social media is a growing concern, and automated methods have so far been sub-par at reliably detecting it. A major challenge lies in the potentially evasive nature of hate speech due to the ambiguity and fast evolution of natural language. To tackle this, we introduce a vectorisation based on a crowd-sourced and continuously updated dictionary of hate words and propose fusing this approach with standard word embedding in order to improve the classification performance of a CNN model. To train and test our model we use a merge of two established datasets (110,748 tweets in total). By adding the dictionary-enhanced input, we are able to increase the CNN model's predictive power and increase the F1 macro score by seven percentage points.


title: Towards Robust Speaker Verification with Target Speaker Enhancement

abstract: This paper proposes the target speaker enhancement based speaker verification network (TASE-SVNet), an all neural model that couples target speaker enhancement and speaker embedding extraction for robust speaker verification (SV). Specifically, an enrollment speaker conditioned speech enhancement module is employed as the front-end for extracting target speaker from its mixture with interfering speakers and environmental noises. Compared with the conventional target speaker enhancement models, nontarget speaker/interference suppression should draw additional attention for SV. Therefore, an effective nontarget speaker sampling strategy is explored. To improve speaker embedding extraction with a light-weighted model, a teacher-student (T/S) training is proposed to distill speaker discriminative information from large models to small models. Iterative inference is investigated to address the noisy speaker enrollment problem. We evaluate the proposed method on two SV tasks, i.e., one heavily overlapped speech and the other one with comprehensive noise types in vehicle environments. Experiments show significant and consistent improvements in Equal Error Rate (EER) over the state-of-the-art baselines.


title: Data to Controller for Nonlinear Systems: An Approximate Solution

abstract: This paper considers the problem of determining an optimal control action based on observed data. We formulate the problem assuming that the system can be modelled by a nonlinear state-space model, but where the model parameters, state and future disturbances are not known and are treated as random variables. Central to our formulation is that the joint distribution of these unknown objects is conditioned on the observed data. Crucially, as new measurements become available, this joint distribution continues to evolve so that control decisions are made accounting for uncertainty as evidenced in the data. The resulting problem is intractable which we obviate by providing approximations that result in finite dimensional deterministic optimisation problems. The proposed approach is demonstrated in simulation on a nonlinear system.


title: One-Time Pads from the Digits of Pi

abstract: I present a method for generating one-time pads from the digits of pi. Computer code is given to generate such pads from passphrases in a method having an extremely low probability (<10^-53) of a successful discovery of the one-time pads by a brute-force attack. The advantages and disadvantages of this method are discussed.


title: LightningDOT: Pre-training Visual-Semantic Embeddings for Real-Time Image-Text Retrieval

abstract: Multimodal pre-training has propelled great advancement in vision-and-language research. These large-scale pre-trained models, although successful, fatefully suffer from slow inference speed due to enormous computation cost mainly from cross-modal attention in Transformer architecture. When applied to real-life applications, such latency and computation demand severely deter the practical use of pre-trained models. In this paper, we study Image-text retrieval (ITR), the most mature scenario of V+L application, which has been widely studied even prior to the emergence of recent pre-trained models. We propose a simple yet highly effective approach, LightningDOT that accelerates the inference time of ITR by thousands of times, without sacrificing accuracy. LightningDOT removes the time-consuming cross-modal attention by pre-training on three novel learning objectives, extracting feature indexes offline, and employing instant dot-product matching with further re-ranking, which significantly speeds up retrieval process. In fact, LightningDOT achieves new state of the art across multiple ITR benchmarks such as Flickr30k, COCO and Multi30K, outperforming existing pre-trained models that consume 1000x magnitude of computational hours. Code and pre-training checkpoints are available at https://github.com/intersun/LightningDOT.


title: Caught in the Act: Core-powered Mass-loss Predictions for Observing Atmospheric Escape

abstract: Past studies have demonstrated that atmospheric escape by the core-powered mass-loss mechanism can explain a multitude of observations associated with the radius valley that separates the super-Earth and sub-Neptune planet populations. Complementing such studies, in this work, we present a shortlist of planets that could be losing their atmospheres today if their evolution is indeed primarily dictated by core-powered mass-loss. We use Bayesian inference analysis on our planet evolution and mass-loss model to estimate the posteriors of the parameters that encapsulate the current state of a given planet, given their published masses, radii and host star properties. Our models predict that the following planets could be losing their atmospheres today at a rate $\gtrsim 10^7$ g/s at 50\% confidence level: pi Men c, Kepler-60 d, Kepler-60 b, HD 86226 c, EPIC 249893012 b, Kepler-107 c, HD 219134 b, Kepler-80 e, Kepler-138 d and GJ 9827 d. As a by-product of our Bayesian inference analysis, we were also able to identify planets that most-likely harbor either secondary atmospheres abundant with high mean-molecular weight species, low-density interiors abundant with ices, or both. The planets belonging to this second category are WASP-47 e, Kepler-78 b, Kepler-10 b, CoRoT-7 b, HD 80653 b, 55 Cnc e and Kepler-36 b. While the aforementioned lists are by no means exhaustive, we believe that candidates presented here can serve as useful input for target selection for future surveys and for testing the importance of core-powered mass-loss in individual planetary systems.


title: Fairness and Transparency in Recommendation: The Users' Perspective

abstract: Though recommender systems are defined by personalization, recent work has shown the importance of additional, beyond-accuracy objectives, such as fairness. Because users often expect their recommendations to be purely personalized, these new algorithmic objectives must be communicated transparently in a fairness-aware recommender system. While explanation has a long history in recommender systems research, there has been little work that attempts to explain systems that use a fairness objective. Even though the previous work in other branches of AI has explored the use of explanations as a tool to increase fairness, this work has not been focused on recommendation. Here, we consider user perspectives of fairness-aware recommender systems and techniques for enhancing their transparency. We describe the results of an exploratory interview study that investigates user perceptions of fairness, recommender systems, and fairness-aware objectives. We propose three features -- informed by the needs of our participants -- that could improve user understanding of and trust in fairness-aware recommender systems.


title: Prediction of three-phase relative permeabilities of Berea sandstone using lattice Boltzmann method

abstract: Three-phase flows through a pore network of Berea sandstone are studied numerically under critical interfacial tension condition. Results show that the relative permeability of each fluid increases as its own saturation increases. The specific interfacial length between wetting and non-wetting fluids monotonously decreases with increasing the saturation of intermediate-wetting fluid, while the other two specific interfacial lengths exhibit a non-monotonous variation. As the wetting (non-wetting) fluid becomes less wetting (non-wetting), the relative permeability of wetting fluid monotonously increases, while the other two relative permeabilities show a non-monotonous trend. Due to the presence of spreading layer, the specific interfacial length between wetting and non-wetting fluids always stabilizes at a low level. As the viscosity ratio of wetting (non-wetting) to intermediate-wetting fluids increases, the relative permeability of wetting (non-wetting) fluid increases. With the viscosity ratio deviating from unity, the phase interfaces become increasingly unstable, leading to an increased specific interfacial length.


title: 1I/'Oumuamua as an N2 ice fragment of an exo-Pluto surface: I. size and compositional constraints

abstract: The origin of the interstellar object 1I/'Oumuamua has defied explanation. We perform calculations of the non-gravitational acceleration that would be experienced by bodies composed of a range of different ices and demonstrate that a body composed of N2 ice would satisfy the available constraints on the non-gravitational acceleration, size and albedo, and lack of detectable emission of CO or CO2 or dust. We find that 'Oumuamua was small, with dimensions 45 m x 44 m x 7.5 m at the time of observation at 1.42 au from the Sun, with a high albedo of 0.64. This albedo is consistent with the N2 surfaces of bodies like Pluto and Triton. We estimate 'Oumuamua was ejected about 0.4-0.5 Gyr ago from a young stellar system, possibly in the Perseus arm. Objects like 'Oumuamua may directly probe the surface compositions of a hitherto-unobserved type of exoplanet: "exo-plutos". In a companion paper (Desch & Jackson, 2021) we demonstrate that dynamical instabilities like the one experienced by the Kuiper belt, in other stellar systems, plausibly could generate and eject large numbers of N2 ice fragments. 'Oumuamua may be the first sample of an exoplanet brought to us.


title: Versatile, high brightness, cryogenic photoinjector electron source

abstract: Since the introduction of the radio-frequency (rf) photoinjector electron source over thirty years ago, peak performance demands have dictated the use of high accelerating electric fields. With recent strong advances in obtainable field values, attendant increases in beam brightness are expected to be dramatic. In this article, we examine the implementation of very high gradient acceleration in a high frequency, cryogenic rf photoinjector. We discuss in detail the effects of introducing, through an optimized rf cavity shape, rich spatial harmonic content in the accelerating modes in this device. Higher spatial harmonics give useful, enhanced linear focusing effects, as well as potentially deleterious nonlinear transverse forces. They also serve to strongly increase the ratio of average accelerating field to peak surface field, thus aiding in managing power and dark current-related challenges. We investigate two scenarios which are aimed at unique exploitation of the capabilities of this source. First, we investigate the obtaining of extremely high six-dimensional brightness for advanced free-electron laser applications. We also examine the use of a magnetized photocathode in the device for producing unprecedented low asymmetric emittance, high-current electron beams that reach linear collider-compatible performance. As both of the scenarios demand an advanced, compact solenoid design, we describe a novel cryogenic solenoid system. With the high field rf and magnetostatic structures introduced, we analyze the collective beam dynamics in these systems through theory and multi-particle simulations, including a particular emphasis on granularity effects associated with microscopic Coulomb interactions.


title: Theory of Ca$_{10}$Cr$_7$O$_{28}$ as a bilayer breathing-kagome magnet: Classical thermodynamics and semi-classical dynamics

abstract: Ca$_{10}$Cr$_7$O$_{28}$ is a novel spin-$1/2$ magnet exhibiting spin liquid behaviour which sets it apart from any previously studied model or material. However, understanding Ca$_{10}$Cr$_7$O$_{28}$ presents a significant challenge, because the low symmetry of the crystal structure leads to very complex interactions, with up to seven inequivalent coupling parameters in the unit cell. Here we explore the origin of the spin-liquid behaviour in Ca$_{10}$Cr$_7$O$_{28}$, starting from the simplest microscopic model consistent with experiment - a Heisenberg model on a single bilayer of the breathing-kagome (BBK) lattice. We use a combination of classical Monte Carlo (MC) simulation and (semi-)classical Molecular Dynamics (MD) simulation to explore the thermodynamic and dynamic properties of this model, and compare these with experimental results for Ca$_{10}$Cr$_7$O$_{28}$. We uncover qualitatively different behaviours on different timescales, and argue that the ground state of Ca$_{10}$Cr$_7$O$_{28}$ is born out of a slowly-fluctuating "spiral spin liquid", while faster fluctuations echo the U(1) spin liquid found in the kagome antiferromagnet. We also identify key differences between longitudinal and transverse spin excitations in applied magnetic field, and argue that these are a distinguishing feature of the spin liquid in the BBK model.


title: Drive Quantum Matter

abstract: Single- and many-electron calculations and related dynamics are presented for a dimer and small Hubbard clusters. Floquet-Bloch picture for a periodic dimer is discussed with regard to the time dependence of the Peierls gap and the expectation of the current operator. In driven Fermi-Hubbard clusters, the time dependence of Charge Gaps and phase separation along with charge pairing at various cluster sizes indicate the presence and absence of paired electron states. We examine the effect of electromagnetic time dependent external perturbations on Hubbard many-electron systems in our search of for precursors to superconducting states and time crystals. Two principally different kinds of electromagnetic excitations are analyzed:(1) Recently demonstrated dynamic modulation of Hubbard parameters due to excitation of certain phonon modes within the far-infrared domain, and (2) Hubbard Hamiltonian, with fixed parameters in an electromagnetic field, resonant with transitions between the ground state and high-energy excited states as possible precursors to superconductivity, within visible-near-infrared domains.


title: Gauge-Invariant Uniqueness and Reductions of Ordered Groups

abstract: A reduction $\varphi$ of an ordered group $(G,P)$ to another ordered group is an order homomorphism which maps each interval $[1,p]$ bijectively onto $[1, \varphi(p)]$. We show that if $(G,P)$ is weakly quasi-lattice ordered and reduces to an amenable ordered group, then there is a gauge-invariant uniqueness theorem for $P$-graph algebras. We also consider the class of ordered groups which reduce to an amenable ordered group, and show this class contains all amenable ordered groups and is closed under direct products, free products, and hereditary subgroups.


title: First observation of a nuclear $s$-state of $\Xi$ hypernucleus, $^{15}_{\Xi}{\rm C}$

abstract: Bound-systems of $\Xi^-$--$^{14}_{}{\rm N}$ are studied via $\Xi^-$ capture at rest followed by emission of a twin single-$\Lambda$ hypernucleus in the emulsion detectors. Two events forming extremely deep $\Xi^-$ bound states were obtained by analysis of a hybrid method in the E07 experiment at J-PARC and reanalysis of the E373 experiment at KEK-PS. The decay mode of one event was assigned as $\Xi^-+^{14}_{}{\rm N}\to^{5}_{\Lambda}{\rm He}$+$^{5}_{\Lambda}{\rm He}$+$^{4}_{}{\rm He}$+n. Since there are no excited states for daughter particles, the binding energy of the $\Xi^-$ hyperon, $B_{\Xi^-}$, in $^{14}_{}{\rm N}$ nucleus was uniquely determined to be 6.27 $\pm$ 0.27 MeV. Another $\Xi^-$--$^{14}_{}{\rm N}$ system via the decay $^{9}_{\Lambda}{\rm Be}$ + $^{5}_{\Lambda}{\rm He}$ + n brings a $B_{\Xi^-}$ value, 8.00 $\pm$ 0.77 MeV or 4.96 $\pm$ 0.77 MeV, where the two possible values of $B_{\Xi^-}$ correspond to the ground and the excited states of the daughter $^{9}_{\Lambda}{\rm Be}$ nucleus, respectively. Because the $B_{\Xi^-}$ values are larger than those of the previously reported events (KISO and IBUKI), which are both interpreted as the nuclear $1p$ state of the $\Xi^-$--$^{14}_{}{\rm N}$ system, these new events give the first indication of the nuclear $1s$ state of the $\Xi$ hypernucleus, $^{15}_{\Xi}{\rm C}$.


title: Identification of COVID-19 mortality patterns in Brazil by a functional QR decomposition analysis

abstract: The subset selection problem of linear algebra is applied to identify independent patterns of COVID-19 evolution within Brazil. The data consist of a set of mortality curves in states of Brazil. A subset of the most independent curves is selected by using a functional version of the QR matrix decomposition technique with column pivoting. The selected subset is used next as a basis to represent the remaining curves filtering out any data redundancy. For each independent curve, an associated epidemiological region of influence is defined. The results show two main independent curves with a similar two-peak pattern and a 50-day shift between the patterns. Two main epidemiological regions are next identified: one encompassing most of the country from the center and northeast states to the south, an another one containing the Amazonian region at the northwest.


title: Accretion geometry of the black hole binary MAXI J1820+070 probed by frequency-resolved spectroscopy

abstract: The geometry of the inner accretion flow in the hard and hard-intermediate states of X-ray binaries remains controversial. Using NICER observations of the black hole X-ray binary MAXI J1820+070 during the rising phase of its 2018 outburst, we study the evolution of the timing properties, in particular the characteristic variability frequencies of the prominent iron K$\alpha$ line. Using frequency-resolved spectroscopy, we find that reflection occurs at large distances from the Comptonizing region in the bright hard state. During the hard- to soft transition, the variability properties suggest the reflector moves closer to the X-ray source. In parallel, the peak of the iron line shifts from 6.5 to ~7 keV, becoming consistent with that expected of from a highly inclined disc extending close to the black hole. We additionally find significant changes in the dependence of the root-mean-square (rms) variability on both energy and Fourier frequency as the source softens. The evolution of the rms-energy dependence, the line profile, and the timing properties of the iron line as traced by the frequency-resolved spectroscopy all support the picture of a truncated disc/inner flow geometry.