title: Quantum process in probability representation of quantum mechanics

abstract: In this work, the operator-sum representation of a quantum process is extended to the probability representation of quantum mechanics. It is shown that each process admitting the operator-sum representation is assigned a kernel, convolving of which with the initial tomogram set characterizing the system state gives the tomographic state of the transformed system. This kernel, in turn, is broken into the kernels of partial operations, each of them incorporating the symbol of the evolution operator related to the joint evolution of the system and an ancillary environment. Such a kernel decomposition for the projection to a certain basis state and a Gaussian-type projection is demonstrated as well as qubit flipping and amplitude damping processes.


title: Asymptotic Density of Apollonian-Type Packings

abstract: We consider two seemingly unconnected problems: first, under what circumstances are arithmetic groups like SL(2,O) generated by elementary matrices; second, when do certain classes of circle/sphere packings fill up space? We show that these are in fact deeply related, leading to some new results, new proofs of old results, and interesting conjectures.


title: Maximal independent sets in clique-free graphs

abstract: Nielsen proved that the maximum number of maximal independent sets (MIS's) of size $k$ in an $n$-vertex graph is asymptotic to $(n/k)^k$, with the extremal construction a disjoint union of $k$ cliques with sizes as close to $n/k$ as possible. In this paper we study how many MIS's of size $k$ an $n$-vertex graph $G$ can have if $G$ does not contain a clique $K_t$. We prove for all fixed $k$ and $t$ that there exist such graphs with $n^{\lfloor\frac{(t-2)k}{t-1}\rfloor-o(1)}$ MIS's of size $k$ by utilizing recent work of Gowers and B. Janzer on a generalization of the Ruzsa-Szemer\'edi problem. We prove that this bound is essentially best possible for triangle-free graphs when $k\le 4$.


title: Coupling the socio-economic and ecological dynamics of cyanobacteria: single lake and network dynamics

abstract: In recent decades freshwater lakes have seen an increase in human presence. A common byproduct of this human presence is eutrophication, which readily results in harmful cyanobacteria blooms. In this work we propose a model that couples the socio-economic and ecological dynamics related to cyanobacteria systems. The socio-economic dynamics considers the choices a human population makes regarding whether or not to mitigate their pollution levels. These choices are based on various costs related to social ostracism, social norms, environmental concern and financial burden. The coupled model exhibits bistable dynamics, with one stable state corresponding to high mitigation efforts and low CB abundance, and the other to low mitigation efforts and high CB abundance. Furthermore, we consider social interactions among a network of lakes and present dynamic outcomes pertaining to various associated costs and social situations. In each case we show the potential for regime shifts between levels of cooperation and CB abundance. Social ostracism and pressure are shown to be driving factors in causing such regime shifts.


title: On tempered fractional calculus with respect to functions and the associated fractional differential equations

abstract: The prime aim of the present paper is to continue developing the theory of tempered fractional integrals and derivatives of a function with respect to another function. This theory combines the tempered fractional calculus with the $\Psi$-fractional calculus, both of which have found applications in topics including continuous time random walks. After studying the basic theory of the $\Psi$-tempered operators, we prove mean value theorems and Taylor's theorems for both Riemann--Liouville type and Caputo type cases of these operators. Furthermore, we study some nonlinear fractional differential equations involving $\Psi$-tempered derivatives, proving existence-uniqueness theorems by using the Banach contraction principle, and proving stability results by using Gr\"onwall type inequalities.


title: Kronoseismology V: A Panoply of Waves in Saturn's C Ring Driven by High-Order Internal Planetary Oscillations

abstract: Saturn's rings act as a system of innumerable test particles that are remarkably sensitive to periodic disturbances in the planet's gravitational field. We identify 15 additional density and bending waves in Saturn's C ring driven by the planet's internal normal mode oscillations. Taking advantage of a highly accurate absolute radius scale for the rings, we are able to detect weak, high-wavenumber (up to m=14) waves with km-scale radial wavelengths. From a systematic scan of the entire C ring, we report the discovery and identification of 11 new Outer Lindblad Resonances (OLRs), two counterpart inner Lindblad resonances (ILRs), and two new Outer Vertical Resonances (OVRs). The close agreement of the observed resonance locations and wave rotation rates with the predictions of models of Saturn's interior suggests that all of the new waves are driven by Saturnian f-mode oscillations. As classified by their spherical harmonic shapes, the modes in question range in azimuthal wavenumber from m=8 to 14, with associated resonance orders l-m ranging from 0 to 8, where l is the overall angular wavenumber of the mode. Our suite of detections for l-m=4 is now complete from m=8 to m=14. Curiously, detections with l-m=2 are less common. These newly-identified non-sectoral waves sample latitudinal as well as radial structure within the planet and may thus provide valuable constraints on Saturn's differential rotation. Allowing for the fact that the two ILR-type waves appear to be due to the same normal modes as two of the OLR-type waves, the 13 additional modes identified here bring to 34 the number of distinct f-modes suitable for constraining interior models.


title: Augmenting Decompiler Output with Learned Variable Names and Types

abstract: A common tool used by security professionals for reverse-engineering binaries found in the wild is the decompiler. A decompiler attempts to reverse compilation, transforming a binary to a higher-level language such as C. High-level languages ease reasoning about programs by providing useful abstractions such as loops, typed variables, and comments, but these abstractions are lost during compilation. Decompilers are able to deterministically reconstruct structural properties of code, but comments, variable names, and custom variable types are technically impossible to recover. In this paper we present DIRTY (DecompIled variable ReTYper), a novel technique for improving the quality of decompiler output that automatically generates meaningful variable names and types. Empirical evaluation on a novel dataset of C code mined from GitHub shows that DIRTY outperforms prior work approaches by a sizable margin, recovering the original names written by developers 66.4% of the time and the original types 75.8% of the time.


title: Production of axions during scattering of Alfven waves by fast-moving Schwarzschild black holes

abstract: We discuss a novel mechanism of axion production during scattering of Alfven waves by a fast moving Schwarzschild black holes. The process couples classical macroscopic objects, and effectively large amplitude electromagnetic (EM) waves, to microscopic axions. The key ingredient is that the motion of a black hole (BH) across magnetic field creates classical non-zero second Poincare invariant, the electromagnetic anomaly (Lyutikov 2011). In the case of magnetized plasma supporting Alfven wave, it is the fluctuating component of the magnetic field that contributes to the anomaly: for sufficiency small BH moving with the super-Alfvenic velocity the plasma does not have enough time to screen the parallel electric field. This creates time-dependent $ {\bf E} \cdot {\bf B} \neq 0$, and production of axions via the axion-EM coupling.


title: SRG/ART-XC, Swift, NICER and NuSTAR study of different states of the transient X-ray pulsar MAXI J0903-531

abstract: The results of the broadband spectral and timing study of the recently discovered transient X-ray pulsar MAXI J0903-531 in a wide range of luminosities differing by a factor of ~30 are reported. The observed X-ray spectrum in both states can be described as a classical pulsar-like spectrum consisting of the power-law with the high-energy cutoff. We argue that absence of the spectrum transformation to the two-hump structure expected at low fluxes points to a relatively weak magnetic field of the neutron star below (2-3)$\times10^{12}$ G. This estimate is consistent with other indirect constraints and non-detection of any absorption features which can be interpreted as a cyclotron absorption line. Timing analysis of the NuSTAR data revealed only slight variations of a single-peaked pulse profile of the source as a function of the energy band and mass accretion rate. In both intensity states the pulsed fraction increases from 40% to roughly 80% with the energy. Finally we were also able to obtain the orbital solution for the binary system using data from the Fermi/GBM, NICER and NuSTAR instruments.


title: Invariants of disordered semimetals via the spectral localizer

abstract: The spectral localizer consists of placing the Hamiltonian in a Dirac trap. For topological insulators its spectral asymmetry is equal to the topological invariants, providing a highly efficient tool for numerical computation. Here this technique is extended to disordered semimetals and allows to access the number of Dirac or Weyl points as well as weak invariants. These latter invariants imply the existence of surface states.


title: Multi-Objective Recommendations: A Tutorial

abstract: Recommender systems (RecSys) have been well developed to assist user decision making. Traditional RecSys usually optimize a single objective (e.g., rating prediction errors or ranking quality) in the model. There is an emerging demand in multi-objective optimization recently in RecSys, especially in the area of multi-stakeholder and multi-task recommender systems. This article provides an overview of multi-objective recommendations, followed by the discussions with case studies. The document is considered as a supplementary material for our tutorial on multi-objective recommendations at ACM SIGKDD 2021.


title: Callias-type operators associated to spectral triples

abstract: Callias-type (or Dirac-Schr\"odinger) operators associated to abstract semifinite spectral triples are introduced and their indices are computed in terms of an associated index pairing derived from the spectral triple. The result is then interpreted as an index theorem for a non-commutative analogue of spectral flow. Both even and odd spectral triples are considered, and both commutative and non-commutative examples are given.


title: On the notion of the parabolic and the cuspidal support of smooth-automorphic forms and smooth-automorphic representations

abstract: In this paper we describe several new aspects of the foundations of the representation theory of the space of smooth-automorphic forms (i.e., not necessarily $K_\infty$-finite automorphic forms) for general connected reductive groups over number fields. Our role model for this space of smooth-automorphic forms is a ''smooth version'' of the space of automorphic forms, whose internal structure was the topic of a famous paper of Franke. We prove that the important decomposition along the parabolic support, and the even finer - and structurally more important - decomposition along the cuspidal support of automorphic forms transfer in a topologized version to the larger setting of smooth-automorphic forms. In this way, we establish smooth-automorphic versions of the main results of a paper of Franke-Schwermer and of Moeglin-Waldspurger's book, III.2.6.


title: Visual Arrangements of Bar Charts Influence Comparisons in Viewer Takeaways

abstract: Well-designed data visualizations can lead to more powerful and intuitive processing by a viewer. To help a viewer intuitively compare values to quickly generate key takeaways, visualization designers can manipulate how data values are arranged in a chart to afford particular comparisons. Using simple bar charts as a case study, we empirically tested the comparison affordances of four common arrangements: vertically juxtaposed, horizontally juxtaposed, overlaid, and stacked. We asked participants to type out what patterns they perceived in a chart, and coded their takeaways into types of comparisons. In a second study, we asked data visualization design experts to predict which arrangement they would use to afford each type of comparison and found both alignments and mismatches with our findings. These results provide concrete guidelines for how both human designers and automatic chart recommendation systems can make visualizations that help viewers extract the 'right' takeaway.


title: Near-Optimal Reviewer Splitting in Two-Phase Paper Reviewing and Conference Experiment Design

abstract: Many scientific conferences employ a two-phase paper review process, where some papers are assigned additional reviewers after the initial reviews are submitted. Many conferences also design and run experiments on their paper review process, where some papers are assigned reviewers who provide reviews under an experimental condition. In this paper, we consider the question: how should reviewers be divided between phases or conditions in order to maximize total assignment similarity? We make several contributions towards answering this question. First, we prove that when the set of papers requiring additional review is unknown, a simplified variant of this problem is NP-hard. Second, we empirically show that across several datasets pertaining to real conference data, dividing reviewers between phases/conditions uniformly at random allows an assignment that is nearly as good as the oracle optimal assignment. This uniformly random choice is practical for both the two-phase and conference experiment design settings. Third, we provide explanations of this phenomenon by providing theoretical bounds on the suboptimality of this random strategy under certain natural conditions. From these easily-interpretable conditions, we provide actionable insights to conference program chairs about whether a random reviewer split is suitable for their conference.


title: Interaction of a three-level atom Lambda, V, lader with a two-mode field beyond rotating wave approximation: Intermixed intensity-dependent coupling

abstract: Recalling that the rotating wave approximation (RWA) is only valid in the weak coupling regimes, the purpose of this paper is to study the Hamiltonian dynamics describing the full quantum mechanical approach of the interaction between various configurations of three-level atoms Lambda, V and ladder distinctly with a two-mode radiation field, while the RWA is not considered; the counter-rotating terms (CRTs) are taken into account. Generally, the presence of CRTs in the Hamiltonian prevents one to achieve an analytical solution. Moreover, as we will show in the present work, using the perturbation theory, analytical solvable Hamiltonians can be successfully obtained. According to our calculations, the contribution of CRTs within the ordinary Hamiltonian is equivalent to the replacement of the constant detuning with a specific intensity dependent detuning in the first order, and the constant atom field coupling with a particular intensity dependent (f deformed) coupling in the second order of the associated perturbation parameter. Moreover, noticing that according to the initial expression of the Hamiltonian, each mode of the field interacts only with a specific pair of the allowed transitions of each type of the three-level atom, it is surprisingly observed that via applying the mentioned approach, the obtained intensity dependent coupling functions depend on both modes of the field, f(na,nb). In this way, it is seen that the CRTs are removed with the price of arriving at some intermixed intensity dependent atom field coupling functions of the two modes of the field. In this way, the obtained final Hamiltonians are analytically solvable. At last, by determining the time evolution of the atom field wave function, we study the effects of CRTs on a few nonclassical properties of the state of the system, including the atomic population inversion and photon statistics.


title: The mass-metallicity relation at cosmic noon in overdense environments: first results from the MAMMOTH-Grism HST slitless spectroscopic survey

abstract: The MAMMOTH-Grism slitless spectroscopic survey is a Hubble Space Telescope (HST) cycle-28 medium program, which is obtaining 45 orbits of WFC3/IR grism spectroscopy in the density peak regions of three massive galaxy protoclusters at $z=2-3$ discovered using the MAMMOTH technique. We introduce this survey by presenting the first measurement of the mass-metallicity relation (MZR) at high redshift in overdense environments via grism spectroscopy. From the completed MAMMOTH-Grism observations in the field of the BOSS1244 protocluster at $z=2.24\pm0.02$, We secure a sample of 36 protocluster member galaxies at $z\sim2.24$, showing strong nebular emission lines ([O III], H$\beta$ and [O II]) in their G141 spectra. Using the multi-wavelength broad-band deep imaging from HST and ground-based telescopes, we measure their stellar masses in the range of $[10^{9},10^{10.4}]M_\odot$, instantaneous star formation rates (SFR) from 10 to 240$M_\odot yr^{-1}$, and global gas-phase metallicities [$\frac{1}{3}$,1] of solar. Compared with similarly selected field galaxy sample at the same redshift, our galaxies show on average increased SFRs by $\sim$0.06dex and $\sim$0.18dex at $\sim$10$^{10.1}M_\odot$ and $\sim$10$^{9.8}M_\odot$, respectively. Using the stacked spectra of our sample galaxies, we derive the MZR in the BOSS1244 protocluster core as $12+\log({\rm O/H})=(0.136\pm0.018)\times\log(M_\ast/M_\odot)+(7.082\pm0.175)$, showing significantly shallower slope than that in the field. This shallow MZR slope is likely caused by the combined effects of efficient recycling of feedback-driven winds and cold-mode gas accretion in protocluster environments. The former effect helps low-mass galaxies residing in overdensities retain their metal production, whereas the latter effect dilutes the metal content of high-mass galaxies, making them more metal poor than their coeval field counterparts.


title: A Generalization of the Ornstein-Uhlenbeck Process: Theoretical Results, Simulations and Parameter Estimation

abstract: In this work, we study the class of stochastic process that generalizes the Ornstein-Uhlenbeck processes, hereafter called by \emph{Generalized Ornstein-Uhlenbeck Type Process} and denoted by GOU type process. We consider them driven by the class of noise processes such as Brownian motion, symmetric $\alpha$-stable L\'evy process, a L\'evy process, and even a Poisson process. We give necessary and sufficient conditions under the memory kernel function for the time-stationary and the Markov properties for these processes. When the GOU type process is driven by a L\'evy noise we prove that it is infinitely divisible showing its generating triplet. Several examples derived from the GOU type process are illustrated showing some of their basic properties as well as some time series realizations. These examples also present their theoretical and empirical autocorrelation or normalized codifference functions depending on whether the process has a finite or infinite second moment. We also present the maximum likelihood estimation as well as the Bayesian estimation procedures for the so-called \emph{Cosine process}, a particular process in the class of GOU type processes. For the Bayesian estimation method, we consider the power series representation of Fox's H-function to better approximate the density function of a random variable $\alpha$-stable distributed. We consider four goodness-of-fit tests for helping to decide which \emph{Cosine process} (driven by a Gaussian or an $\alpha$-stable noise) best fit real data sets. Two applications of GOU type model are presented: one based on the Apple company stock market price data and the other based on the cardiovascular mortality in Los Angeles County data.


title: Towards stability of radial basis function based cubature formulas

abstract: Cubature formulas (CFs) based on radial basis functions (RBFs) have become an important tool for multivariate numerical integration of scattered data. Although numerous works have been published on such RBF-CFs, their stability theory can still be considered as underdeveloped. Here, we strive to pave the way towards a more mature stability theory for RBF-CFs. In particular, we prove stability for RBF-CFs based on compactly supported RBFs under certain conditions on the shape parameter and the data points. Moreover, it is shown that asymptotic stability of many RBF-CFs is independent of polynomial terms, which are often included in RBF approximations. While our findings provide some novel conditions for stability of RBF-CFs, the present work also demonstrates that there are still many gaps to fill in future investigations.


title: A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation

abstract: Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods in order to entrust confidence in such systems. Nevertheless, using formal methods in industry is demanding because of usability issues, e.g., the difficulty of understanding model checking results. Thus the hypothesis is, presenting the result of model checker results in a user-friendly manner could promote formal methods usage in industries. Objective: We aim to evaluate the acceptance of formal methods by engineers if the complexity of understanding verification results is made easy. Method: We perform two different exploratory studies. First, we conduct an online survey to explore challenges in identifying inconsistent specifications and using formal methods from engineers. Second, we perform a one group pretest and posttest experiment to collect impressions from engineers using formal methods if understanding verification results is eased. Limitations: The main limitation of this study is the generalization because the survey focuses on a particular target group and it uses a pre-experimental design.


title: A Path Forward: Tropicalization in Extremal Combinatorics

abstract: Many important problems in extremal combinatorics can be be stated as proving a pure binomial inequality in graph homomorphism numbers, i.e., proving that hom$(H_1,G)^{a_1}\cdots$hom$(H_k,G)^{a_k}\geq$hom$(H_{k+1},G)^{a_{k+1}}\cdots$hom$(H_m,G)^{a_m}$ holds for some fixed graphs $H_1,\dots,H_m$ and all graphs $G$. One prominent example is Sidorenko's conjecture. For a fixed collection of graphs $\mathcal{U}=\{H_1,\dots,H_m\}$, the exponent vectors of valid pure binomial inequalities in graphs of $\mathcal{U}$ form a convex cone. We compute this cone for several families of graphs including complete graphs, even cycles, stars and paths; the latter is the most interesting and intricate case that we compute. In all of these cases, we observe a tantalizing polyhedrality phenomenon: the cone of valid pure binomial inequalities is actually rational polyhedral, and therefore all valid pure binomial inequalities can be generated from the finite collection of exponent vectors of the extreme rays. Using the work of Kopparty and Rossman, we show that the cone of valid inequalities is indeed rational polyhedral when all graphs $H_i$ are series-parallel and chordal, and we conjecture that polyhedrality holds for any finite collection $\mathcal{U}$. We demonstrate that the polyhedrality phenomenon also occurs in matroids and simplicial complexes. Our description of the inequalities for paths involves a generalization of the Erd\H{o}s-Simonovits conjecture recently proved in its original form by Sa\u{g}lam and a new family of inequalities not observed previously. We also solve an open problem of Kopparty and Rossman on the homomorphism domination exponent of paths. One of our main tools is tropicalization, a well-known technique in complex algebraic geometry. We prove several results about tropicalizations which may be of independent interest.


title: Observational constraints on inflection point quintessence with a cubic potential

abstract: We examine the simplest inflection point quintessence model, with a potential given by $V(\phi) = V_0 + V_3 \phi^3$. This model can produce either asymptotic de Sitter expansion or transient acceleration, and we show that it does not correspond to either pure freezing or thawing behavior. We derive observational constraints on the initial value of the scalar field, $\phi_i$, and $V_3/V_0$ and find that small values of either $\phi_i$ or $V_3/V_0$ are favored. While most of the observationally-allowed parameter space yields asymptotic de Sitter evolution, there is a small region, corresponding to large $V_3/V_0$ and small $\phi_i$, for which the current accelerated expansion is transient. The latter behavior is potentially consistent with a cyclic universe.


title: Ab initio simulations on the pure Cr lattice stability at 0K: Verification with the Fe-Cr and Ni-Cr binary systems

abstract: Significant discrepancies have been observed and discussed on the lattice stability of Cr between the predictions from the ab initio calculations and the CALPHAD approach. In the current work, we carefully examined the possible structures for pure Cr and reviewed the history back from how Kaufman originally determined the Gibbs energy of FCC-Cr in the 1970s. The reliability of Cr lattice stability derived by the CALPHAD and ab initio approaches was systematically discussed. It is concluded that the Cr lattice stability based on the CALPHAD approach has large uncertainty. Meanwhile, we cannot claim that the ab initio HFCC-Cr is error-free as FCC-Cr is an unstable phase under ambient conditions. The present work shows that the ab initio HFCC-Cr can be a viable scientific approach. As both approaches have their limitations, the present work propose to integrate the ab initio results into the CALPHAD platform for the development of the next generation CALPHAD database. The Fe-Cr and Ni-Cr binary systems were chosen as two case studies demonstrating the capability to adopt the ab initio Cr lattice stability directly into the current CALPHAD database framework.


title: Detecting OODs as datapoints with High Uncertainty

abstract: Deep neural networks (DNNs) are known to produce incorrect predictions with very high confidence on out-of-distribution inputs (OODs). This limitation is one of the key challenges in the adoption of DNNs in high-assurance systems such as autonomous driving, air traffic management, and medical diagnosis. This challenge has received significant attention recently, and several techniques have been developed to detect inputs where the model's prediction cannot be trusted. These techniques detect OODs as datapoints with either high epistemic uncertainty or high aleatoric uncertainty. We demonstrate the difference in the detection ability of these techniques and propose an ensemble approach for detection of OODs as datapoints with high uncertainty (epistemic or aleatoric). We perform experiments on vision datasets with multiple DNN architectures, achieving state-of-the-art results in most cases.


title: Political districting without geography

abstract: Geographical considerations such as contiguity and compactness are necessary elements of political districting in practice. Yet an analysis of the problem without such constraints yields mathematical insights that can inform real-world model construction. In particular, it clarifies the sharp contrast between proportionality and competitiveness and how it might be overcome in a properly formulated objective function. It also reveals serious weaknesses of the much-discussed efficiency gap as a criterion for gerrymandering.


title: Understanding Hydrophobic Effects: Insights from Water Density Fluctuations

abstract: The aversion of hydrophobic solutes for water drives diverse interactions and assemblies across materials science, biology and beyond. % Here, we review the theoretical, computational and experimental developments which underpin a contemporary understanding of hydrophobic effects. % We discuss how an understanding of density fluctuations in bulk water can shed light on the fundamental differences in the hydration of molecular and macroscopic solutes; these differences, in turn, explain why hydrophobic interactions become stronger upon increasing temperature. We also illustrate the sensitive dependence of surface hydrophobicity on the chemical and topographical patterns the surface displays, which makes the use approximate approaches for estimating hydrophobicity particularly challenging. Importantly, the hydrophobicity of complex surfaces, such as those of proteins, which display nanoscale heterogeneity, can nevertheless be characterized using interfacial water density fluctuations; such a characterization also informs protein regions that mediate their interactions. Finally, we build upon an understanding of hydrophobic hydration and the ability to characterize hydrophobicity to inform the context-dependent thermodynamic forces that drive hydrophobic interactions and the desolvation barriers that impede them.


title: DensePASS: Dense Panoramic Semantic Segmentation via Unsupervised Domain Adaptation with Attention-Augmented Context Exchange

abstract: Intelligent vehicles clearly benefit from the expanded Field of View (FoV) of the 360-degree sensors, but the vast majority of available semantic segmentation training images are captured with pinhole cameras. In this work, we look at this problem through the lens of domain adaptation and bring panoramic semantic segmentation to a setting, where labelled training data originates from a different distribution of conventional pinhole camera images. First, we formalize the task of unsupervised domain adaptation for panoramic semantic segmentation, where a network trained on labelled examples from the source domain of pinhole camera data is deployed in a different target domain of panoramic images, for which no labels are available. To validate this idea, we collect and publicly release DensePASS - a novel densely annotated dataset for panoramic segmentation under cross-domain conditions, specifically built to study the Pinhole-to-Panoramic transfer and accompanied with pinhole camera training examples obtained from Cityscapes. DensePASS covers both, labelled- and unlabelled 360-degree images, with the labelled data comprising 19 classes which explicitly fit the categories available in the source domain (i.e. pinhole) data. To meet the challenge of domain shift, we leverage the current progress of attention-based mechanisms and build a generic framework for cross-domain panoramic semantic segmentation based on different variants of attention-augmented domain adaptation modules. Our framework facilitates information exchange at local- and global levels when learning the domain correspondences and improves the domain adaptation performance of two standard segmentation networks by 6.05% and 11.26% in Mean IoU.


title: Finding Representative Interpretations on Convolutional Neural Networks

abstract: Interpreting the decision logic behind effective deep convolutional neural networks (CNN) on images complements the success of deep learning models. However, the existing methods can only interpret some specific decision logic on individual or a small number of images. To facilitate human understandability and generalization ability, it is important to develop representative interpretations that interpret common decision logics of a CNN on a large group of similar images, which reveal the common semantics data contributes to many closely related predictions. In this paper, we develop a novel unsupervised approach to produce a highly representative interpretation for a large number of similar images. We formulate the problem of finding representative interpretations as a co-clustering problem, and convert it into a submodular cost submodular cover problem based on a sample of the linear decision boundaries of a CNN. We also present a visualization and similarity ranking method. Our extensive experiments demonstrate the excellent performance of our method.


title: Global Tweet Mentions of COVID-19

abstract: Background. After a year and half and over 4 million deaths, the COVID-19 pandemic continues to be widespread, and its related topics continue to dominate the global media. Although COVID-19 diagnoses have been well monitored, neither the impacts of the disease on human behavior and social dynamics nor the effectiveness of policy interventions aimed at its containment are fully understood. Monitoring the spatial and temporal patterns of behavior, social dynamics and policy - and then their interrelations - can provide critical information for preparatory action and effective response. Methods. Here we present an open-source dataset of 1.92 million keyword-selected Twitter posts, updated weekly from January 2020 to present, along with a dynamic dashboard showing totals at national and subnational administrative divisions. Results. The dashboard presents 100% of the geotagged tweets that contain keywords or hashtags related COVID-19. We validated our inclusion criteria using a machine learning-based text classifier and found that 88% of the selected tweets were correctly labeled as related to COVID-19. With this information we tested the correlation between tweets and covid diagnosis from January 1, 2020 through December 31, 2020 and see a decreasing correlation across time. Conclusions. With emerging COVID variants but ongoing vaccine hesitancy and resistance, this dataset could be used by researchers to study numerous aspects of COVID-19 and provide valuable insights for preparing future pandemics.


title: Persistence in a large network of locally interacting neurons

abstract: This article presents a biological neural network model driven by inhomogeneous Poisson processes accounting for the intrinsic randomness of synapses. The main novelty is the introduction of local interactions: each firing neuron triggers an instantaneous increase in electric potential to a fixed number of randomly chosen neurons. We prove that, as the number of neurons approaches infinity, the finite network converges to a nonlinear meanfield process characterised by a jump-type stochastic differential equation. We show that this process displays a phase transition: the activity of a typical neuron in the infinite network either rapidly dies out, or persists forever, depending on the global parameters describing the intensity of interconnection. This provides a way to understand the emergence of persistent activity triggered by weak input signals in large neural networks.


title: VB-structures and generalizations

abstract: Motivated by properties of higher tangent lifts of geometric structures, we introduce concepts of weighted structures for various geometric objects on a manifold F equipped with a homogeneity structure. The latter is a smooth action on F of the monoid of multiplicative reals. Vector bundles are particular cases of homogeneity structures with the action being the multiplication of vectors by reals, and weighted structures on them we call VB-structures. In the case of Lie algebroids and Lie groupoids, the weighted structures include the concepts of VB-algebroids and VB-groupoids, intensively studied recently in the literature. Investigating various weighted structures, we prove some interesting results about their properties.


title: Quantum and semi-quantum sealed-bid auction: Vulnerabilities and advantages

abstract: A family of existing protocols for quantum sealed-bid auction is critically analyzed, and it is shown that they are vulnerable under several attacks (e.g., the participant's and non-participant's attacks as well as the collusion attack of participants) and some of the claims made in these works are not correct. We obtained the bounds on the success probability of an eavesdropper in accessing the sealed-bids. Further, realizing the role of secure sealed-bid auction in the reduction of corruption, a new protocol for sealed-bid auction is proposed which is semi-quantum in nature, where the bidders do not have quantum resources but they can perform classical operations on the quantum states. The security of the proposed protocol is established against a set of attacks, and thus it is established that the proposed protocol is free from the vulnerabilities reported here in the context of the existing protocols.


title: Time Transitive Functions for Zero Knowledge Proofs

abstract: Verifiable delay functions have found a lot of applications in blockchain technology in recent times. Continuous verifiable delay functions are an improvement over the basic notion of VDFs with recursive capabilities. We are proposing the application of VDF for constructing more space time-efficient provers and simulators required for the iterative non-interactive zero-knowledge systems.


abstract: In this paper we prove standard and reversed Strichartz estimates for the Klein--Gordon equation in $\mathbb{R}^{3+1}$. Instead of the Fourier theory, our analysis is based on fundamental solutions of the free equations and fractional integrations. In the final part of this paper, we apply Strichartz estimates in the study of a semilinear Klein--Gordon equation.


title: A new omnibus test of fit based on a characterisation of the uniform distribution

abstract: In this paper, we revisit the classical goodness-of-fit problems for univariate distributions; we propose a new testing procedure based on a characterisation of the uniform distribution. Asymptotic theory for the simple hypothesis case is provided in a Hilbert-Space setting, including the asymptotic null distribution as well as values for the first four cumulants of this distribution, which are used to fit a Pearson system of distributions as an approximation to the limit distribution. Numerical results indicate that the null distribution of the test converges quickly to its asymptotic distribution, making the critical values obtained using the Pearson system particularly useful. Consistency of the test is shown against any fixed alternative distribution and we derive the limiting behaviour under fixed alternatives with an application to power approximation. We demonstrate the applicability of the newly proposed test when testing composite hypotheses. A Monte Carlo power study compares the finite sample power performance of the newly proposed test to existing omnibus tests in both the simple and composite hypothesis settings. This power study includes results related to testing for the uniform, normal and Pareto distributions. The empirical results obtained indicate that the test is competitive. An application of the newly proposed test in financial modelling is also included.


title: Preserving operators on semiprime f-algebras

abstract: It is an open problem whether a separating operator acting between semiprime f-algebras is a weighted composition operator ( <cite>AAB</cite>). We prove that the answer is positive if and only if the separating operator is almost contractive. As a consequence, we can generalized and strengthen some well-known results on separating operators.


title: Cabibbo suppressed single pion production off the nucleon induced by antineutrinos

abstract: In this work we study the $\Sigma\pi$ and $\Lambda\pi$ production off free nucleons driven by the strangeness-changing weak charged current. We calculate the total cross sections for all possible channels and estimate the flux-averaged total cross sections for experiments like MiniBooNE, SciBooNE, T2K, and Minerva. The model is based on the lowest order effective SU(3) chiral Lagrangians in the presence of an external weak charged current and contains Born and the lowest-lying decuplet resonant mechanisms that can contribute to these reaction channels. We also compare and discuss our results with others following similar and very different approaches.


title: A Machine-Learning-Ready Dataset Prepared from the Solar and Heliospheric Observatory Mission

abstract: We present a Python tool to generate a standard dataset from solar images that allows for user-defined selection criteria and a range of pre-processing steps. Our Python tool works with all image products from both the Solar and Heliospheric Observatory (SoHO) and Solar Dynamics Observatory (SDO) missions. We discuss a dataset produced from the SoHO mission's multi-spectral images which is free of missing or corrupt data as well as planetary transits in coronagraph images, and is temporally synced making it ready for input to a machine learning system. Machine-learning-ready images are a valuable resource for the community because they can be used, for example, for forecasting space weather parameters. We illustrate the use of this data with a 3-5 day-ahead forecast of the north-south component of the interplanetary magnetic field (IMF) observed at Lagrange point one (L1). For this use case, we apply a deep convolutional neural network (CNN) to a subset of the full SoHO dataset and compare with baseline results from a Gaussian Naive Bayes classifier.

categories: astro-ph.SR astro-ph.IM cs.LG physics.space-ph stat.ML


title: Criticality in Reservoir Computer of Coupled Phase Oscillators

abstract: Accumulating evidences show that the cerebral cortex is operating near a critical state featured by power-law size distribution of neural avalanche activities, yet evidence of this critical state in artificial neural networks mimicking the cerebral cortex is lacking. Here we design an artificial neural network of coupled phase oscillators and, by the technique of reservoir computing in machine learning, train it for predicting chaos. It is found that when the machine is properly trained, oscillators in the reservoir are synchronized into clusters whose sizes follow a power-law distribution. This feature, however, is absent when the machine is poorly trained. Additionally, it is found that despite the synchronization degree of the original network, once properly trained, the reservoir network is always developed to the same critical state, exemplifying the "attractor" nature of this state in machine learning. The generality of the results is verified in different reservoir models and by different target systems, and it is found that the scaling exponent of the distribution is independent on the reservoir details and the bifurcation parameter of the target system, but is modified when the dynamics of the target system is changed to a different type. The findings shed lights on the nature of machine learning, and are helpful to the design of high-performance machine in physical systems.


title: Free Will: A New Formulation

abstract: Free will is sometimes summarised in the philosophical literature as the subjective impression felt by an individual that he or she is the ultimate source or cause of his or her own choices. The two most common arguments for denying the existence of free will come from philosophy and neuroscience. The first argument is the Consequence Argument. The second asserts that our decisions are first made by the brain and only then become conscious to the subject, taking away the control of the decision. The purpose of these two arguments is to demonstrate that an individual cannot be the source or primary cause of his or her choices. It is shown in this work that the concepts of primary cause and primary source are not adequate to state a solid characterisation of free will. A new formulation of this property is proposed in which it is seen as a three-stage decision-making process implemented by an individual to escape his or her own real or supposed alienation. This decision-making process is represented in the form of a computer model called the PSU (Predictability - Suspension - Unpredictability) model. The compatibility of this new formulation of free will with the feeling it provides and the analysis of various situations are then discussed.


title: Cognitive factor forming an individual constituent in a driver model inferred from multiplicatory relationships between cognitive sub-factors

abstract: In order to reproduce human behaviour in dynamic traffic situations, a computational representation of the requisite mental processes used to carry out the complex driving tasks is required. A single cognitive factor has been developed and forms a crucial component in our driver model. This cognitive factor is composed of cognitive sub-factors: distraction, anticipation, stress, and strain. It has been defined such that these sub-factors have a multiplicatory relationship with one another. In addition, each of these sub-factors comprises the visual, auditory, tactile-kinetic, and verbal information channel individually. This results in a lattice-like network of relationships, which can be expanded modularly in horizontal and vertical directions. The conceptual topology and the characteristics of this multiplicatory, operation-based cognitive factor are presented.


title: High efficiency second harmonic generation of blue light on thin film lithium niobate

abstract: We demonstrate second harmonic generation of blue light on an integrated thin-film lithium niobate waveguide and observe a conversion efficiency of $\eta_0= 33000\%/\text{W-cm}^2$, significantly exceeding previous demonstrations.


title: Selected Columns of the Density Matrix in an Atomic Orbital Basis I: An Intrinsic and Non-Iterative Orbital Localization Scheme for the Occupied Space

abstract: We extend the selected columns of the density matrix (SCDM) methodology [J. Chem. Theory Comput. 2015, 11, 1463--1469]---a non-iterative procedure for generating localized occupied orbitals for condensed-phase systems---to the construction of local molecular orbitals (LMOs) in systems described using non-orthogonal atomic orbital (AO) basis sets. In particular, we introduce three different variants of SCDM (referred to as SCDM-M, SCDM-L, and SCDM-G) that can be used in conjunction with the standard AO basis sets. The SCDM-M and SCDM-L variants are based on the Mulliken and L{\"o}wdin representations of the density matrix, and are tantamount to selecting a well-conditioned set of projected atomic orbitals (PAOs) and projected (symmetrically-) orthogonalized atomic orbitals (POAOs), respectively, as proto-LMOs. The SCDM-G variant leverages a real-space (grid) representation of the wavefunction to select a set of well-conditioned proto-LMOs. A detailed comparative analysis reveals that the LMOs generated by these three SCDM variants are robust, comparable in orbital locality to those produced with the iterative Boys or Pipek-Mezey (PM) localization schemes, and are agnostic towards any single orbital locality metric. Although all three SCDM variants are based on the density matrix, we find that the character of the generated LMOs can differ significantly between SCDM-M, SCDM-L, and SCDM-G. In this regard, only the grid-based SCDM-G procedure (like PM) generates LMOs that qualitatively preserve $\sigma\text{-}\pi$ symmetry and are well-aligned with chemical intuition. While the direct and standalone use of SCDM-generated LMOs should suffice for most applications, our findings also suggest that the use of these orbitals as an unbiased and cost-effective (initial) guess also has the potential to improve the convergence of iterative orbital localization schemes.


title: Elasticity in crystals with high density of local defects : insights from ultra-soft colloids

abstract: In complex crystals close to melting or at finite temperatures, different types of defects are ubiquitous and their role becomes relevant in the mechanical response of these solids. Conventional elasticity theory fails to provide a microscopic basis to include and account for the motion of point-defects in an otherwise ordered crystalline structure. We study the elastic properties of a point-defect rich crystal within a first-principles theoretical framework derived from microscopic equations of motion. This framework allows us to make specific predictions pertaining to the mechanical properties which we can validate through deformation experiments performed in Molecular Dynamics simulations.


title: Cross-modal Spectrum Transformation Network For Acoustic Scene classification

abstract: Convolutional neural networks (CNNs) with log-mel spectrum features have shown promising results for acoustic scene classification tasks. However, the performance of these CNN based classifiers is still lacking as they do not generalise well for unknown environments. To address this issue, we introduce an acoustic spectrum transformation network where traditional log-mel spectrums are transformed into imagined visual features (IVF). The imagined visual features are learned by exploiting the relationship between audio and visual features present in video recordings. An auto-encoder is used to encode images as visual features and a transformation network learns how to generate imagined visual features from log-mel. Our model is trained on a large dataset of Youtube videos. We test our proposed method on the scene classification task of DCASE and ESC-50, where our method outperforms other spectrum features, especially for unseen environments.


title: Comparing Two Formulas for the Gross-Stark Units

abstract: Let $F$ be a totally real number field. Dasgupta conjectured an explicit $p$-adic analytic formula for the Gross-Stark units of $F$. In a later paper, Dasgupta-Spiess conjectured a cohomological formula for the principal minors and the characteristic polynomial of the Gross regulator matrix associated to a totally odd character of $F$. Dasgupta-Spiess conjectured that these conjectural formulas coincide for the diagonal entries of Gross regulator matrix. In this paper, we prove this conjecture when $F$ is a cubic field.


title: LUVOIR-ECLIPS closed-loop adaptive optics performance and contrast predictions

abstract: One of the primary science goals of the Large UV/Optical/Infrared Surveyor (LUVOIR) mission concept is to detect and characterize Earth-like exoplanets orbiting nearby stars with direct imaging. The success of its coronagraph instrument ECLIPS (Extreme Coronagraph for Living Planetary Systems) depends on the ability to stabilize the wavefront from a large segmented mirror such that optical path differences are limited to tens of picometers RMS during an exposure time of a few hours. In order to relax the constraints on the mechanical stability, ECLIPS will be equipped with a wavefront sensing and control (WS&C) architecture to correct wavefront errors up to temporal frequencies >~1 Hz. These errors may be dominated by spacecraft structural dynamics exciting vibrations at the segmented primary mirror. In this work, we present detailed simulations of the WS&C system within the ECLIPS instrument and the resulting contrast performance. This study assumes wavefront aberrations based on a finite element model of a simulated telescope with spacecraft structural dynamics. Wavefront residuals are then computed according to a model of the adaptive optics system that includes numerical propagation to simulate a realistic wavefront sensor and an analytical model of the temporal performance. An end-to-end numerical propagation model of ECLIPS is then used to estimate the residual starlight intensity distribution at the science detector. We show that the contrast performance depends strongly on the target star magnitude and the spatio-temporal distribution of wavefront errors from the telescope. In cases with significant vibration, we advocate for the use of laser metrology to mitigate high temporal frequency wavefront errors and increase the mission yield.


title: Cyclic Cellular Automata and Greenberg-Hastings Models on Regular Trees

abstract: We study the cyclic cellular automaton (CCA) and the Greenberg-Hastings model (GHM) with $\kappa\ge 3$ colors and contact threshold $\theta\ge 2$ on the infinite $(d+1)$-regular tree, $T_d$. When the initial state has the uniform product distribution, we show that these dynamical systems exhibit at least two distinct phases. For sufficiently large $d$, we show that if $\kappa(\theta-1) \le d - O(\sqrt{d\kappa \ln(d)})$, then every vertex almost surely changes its color infinitely often, while if $\kappa\theta \ge d + O(\kappa\sqrt{d\ln(d)})$, then every vertex almost surely changes its color only finitely many times. Roughly, this implies that as $d\to \infty$, there is a phase transition where $\kappa\theta/d = 1$. For the GHM dynamics, in the scenario where every vertex changes color finitely many times, we moreover give an exponential tail bound for the distribution of the time of the last color change at a given vertex.


title: Planning with Incomplete Information in Quantified Answer Set Programming

abstract: We present a general approach to planning with incomplete information in Answer Set Programming (ASP). More precisely, we consider the problems of conformant and conditional planning with sensing actions and assumptions. We represent planning problems using a simple formalism where logic programs describe the transition function between states, the initial states and the goal states. For solving planning problems, we use Quantified Answer Set Programming (QASP), an extension of ASP with existential and universal quantifiers over atoms that is analogous to Quantified Boolean Formulas (QBFs). We define the language of quantified logic programs and use it to represent the solutions to different variants of conformant and conditional planning. On the practical side, we present a translation-based QASP solver that converts quantified logic programs into QBFs and then executes a QBF solver, and we evaluate experimentally the approach on conformant and conditional planning benchmarks. Under consideration for acceptance in TPLP.


title: Abelian von Neumann algebras, measure algebras and L^\infty-spaces

abstract: We give a fresh account of the astonishing interplay between abelian von Neumann algebras, L^\infty-spaces and measure algebras, including an exposition of Maharam's theorem from the von Neumann algebra perspective.


title: Solar-Cycle Variations of South-Atlantic Anomaly Proton Intensities Measured With The PAMELA Mission

abstract: We present a study of the solar-cycle variations of >80 MeV proton flux intensities in the lower edge of the inner radiation belt, based on the measurements of the Payload for Antimatter Matter Exploration and Light-nuclei Astrophysics (PAMELA) mission. The analyzed data sample covers an ~8 year interval from 2006 July to 2014 September, thus spanning from the decaying phase of the 23rd solar cycle to the maximum of the 24th cycle. We explored the intensity temporal variations as a function of drift shell and proton energy, also providing an explicit investigation of the solar-modulation effects at different equatorial pitch angles. PAMELA observations offer new important constraints for the modeling of low-altitude particle radiation environment at the highest trapping energies.


title: Accelerating the estimation of energetic particle confinement statistics in stellarators using multifidelity Monte Carlo

abstract: In the design of stellarators, energetic particle confinement is a critical point of concern which remains challenging to study from a numerical point of view. Standard Monte Carlo analyses are highly expensive because a large number of particle trajectories need to be integrated over long time scales, and small time steps must be taken to accurately capture the features of the wide variety of trajectories. Even when they are based on guiding center trajectories, as opposed to full-orbit trajectories, these standard Monte Carlo studies are too expensive to be included in most stellarator optimization codes. We present the first multifidelity Monte Carlo scheme for accelerating the estimation of energetic particle confinement in stellarators. Our approach relies on a two-level hierarchy, in which a guiding center model serves as the high-fidelity model, and a data-driven linear interpolant is leveraged as the low-fidelity surrogate model. We apply multifidelity Monte Carlo to the study of energetic particle confinement in a 4-period quasi-helically symmetric stellarator, assessing various metrics of confinement. Stemming from the very high computational efficiency of our surrogate model as well as its sufficient correlation to the high-fidelity model, we obtain speedups of up to 10 with multifidelity Monte Carlo compared to standard Monte Carlo.

categories: physics.plasm-ph cs.NA math.NA physics.comp-ph


title: Post-Quantum Security for Ultra-Reliable Low-Latency Heterogeneous Networks

abstract: We consider the problem of post-quantum secure and ultra-reliable communication through a heterogeneous network consisting of multiple connections. Three performance metrics are considered: security, throughput, and in-order delivery delay. In this setting, previous work has looked, individually, at the trade-offs between in-order delivery delay and throughput, and between security and throughput. This is the first work considering the trade-off between all three for heterogeneous communication networks, while taking the computational complexity into account. We present LL-HUNCC, a low latency hybrid universal network coding cryptosystem. LL-HUNCC is an efficient coding scheme which allows for secure communications over a noisy untrusted heterogeneous network by encrypting only a small part of the information being sent. This scheme provides post-quantum security with high throughput and low in-order delivery delay guarantees. We evaluate LL-HUNCC via simulations on a setting inspired by a practical scenario for heterogeneous communications involving a satellite communication link and a 5G communication network. Under this scenario, we compare LL-HUNCC to the state-of-the-art where all communication paths are encrypted via a post-quantum public-key cryptosystem.


title: SINA - Smart Interoperability Architecture An architecture fostering the interoperability between smart building technology from different manufacturers and smart grid infrastructure to enable new business models for energy services

abstract: More and more household appliances connect to the Internet and exchange data freely. This is the foundation for true smart buildings. However, there is still no uniform communication technology available, which can connect all appliances from all vendors. Protocols differ between manufacturers making interoperability difficult or even impossible. Manufacturers cannot rely on a reference for the implementation and real estate developers and operators are reluctant to commit to a system until it is clear which one will prevail. A similar situation is evident in smart grids and applies equally to the energy supply industry. This fragmentation ultimately leads to missed opportunities in terms of business models which could connect customers with service providers. We present a first draft of an architecture: SINA - Smart Interoperability Architecture. SINA is based on existing decentralized infrastructure, which avoids creating a dependency of the market participants on an overpowering service provider. The core element of the technical solution is an open-source module integrated in the private clouds of the manufacturers, energy suppliers and service providers. The architecture addresses problems of data ownership, privacy and data security avoiding central administrative structures. It manages data access and transfer in a decentralized and distributed system. SINA uses a blockchain and smart contracts to make sure that the pieces of information about which data are accessed, by whom they are accessed, how they are processed, and which monetary transactions take place are immutably stored and made available. This allows providers to offer services to users in a transparent and trustworthy manner. Finally, SINA includes a matchmaking block which helps service providers find potential customers and vice versa. This set of features makes SINA unique.


title: Optimal and Efficient Algorithms for General Mixable Losses against Switching Oracles

abstract: We investigate the problem of online learning, which has gained significant attention in recent years due to its applicability in a wide range of fields from machine learning to game theory. Specifically, we study the online optimization of mixable loss functions in a dynamic environment. We introduce online mixture schemes that asymptotically achieves the performance of the best dynamic estimation sequence of the switching oracle with optimal regret redundancies. The best dynamic estimation sequence that we compete against is selected in hindsight with full observation of the loss functions and is allowed to select different optimal estimations in different time intervals (segments). We propose two mixtures in our work. Firstly, we propose a tractable polynomial time complexity algorithm that can achieve the optimal redundancy of the intractable brute force approach. Secondly, we propose an efficient logarithmic time complexity algorithm that can achieve the optimal redundancy up to a constant multiplicity gap. Our results are guaranteed to hold in a strong deterministic sense in an individual sequence manner.


title: Insight into Ideal Shear Strength of Ni-based Dilute Alloys using First-Principles Calculations and Correlational Analysis

abstract: The present work examines the effect of alloying elements (denoted X) on the ideal shear strength for 26 dilute Ni-based alloys, Ni$_{11}$X, as determined by first-principles calculations of pure alias shear deformations. The variations in ideal shear strength are quantitatively explored with correlational analysis techniques, showing the importance of atomic properties such as size and electronegativity. The shear moduli of the alloys are affirmed to show a strong linear relationship with their ideal shear strengths, while the shear moduli of the individual alloying elements were not indicative of alloy shear strength. Through combination with available ideal shear strength data on Mg alloys, a potential application of the Ni alloy data is demonstrated in the search for a set of atomic features suitable for machine learning applications to mechanical properties. As another illustration, the predicted Ni ideal shear strengths play a key role in a predictive multiscale framework for deformation behavior of single crystal alloys at large strains, as shown by simulated stress-strain curves.


title: Near total reflection X-ray photoelectron spectroscopy: Quantifying chemistry at solid/liquid and solid/solid interfaces

abstract: Near total reflection regime has been widely used in X-ray science, specifically in grazing incidence small angle X-ray scattering and in hard X-ray photoelectron spectroscopy. In this work, we introduce some practical aspects of using near total reflection in ambient pressure X-ray photoelectron spectroscopy and apply this technique to study chemical concentration gradients in a substrate/photoresist system. Experimental data are accompanied by X-ray optical and photoemission simulations to quantitatively probe the photoresist and the interface with the depth accuracy of ~1 nm. Together, our calculations and experiments confirm that near total reflection X-ray photoelectron spectroscopy is a suitable method to extract information from buried interfaces with highest depth-resolution, which can help address open research questions regarding our understanding of concentration profiles, electrical gradients, and charge transfer phenomena at such interfaces. The presented methodology is especially attractive for solid/liquid interface studies, since it provides all the strengths of a Bragg-reflection standing-wave spectroscopy without the need of an artificial multilayer mirror serving as a standing wave generator, thus dramatically simplifying the sample synthesis.


title: Ultimate bunch length and emittance performance of an MeV ultrafast electron diffraction apparatus with a DC gun and a multi-cavity SRF linac

abstract: We present the design of a high repetition rate MeV energy ultrafast electron diffraction instrument based on a DC photoelectron gun and an SRF linac with multiple independently controlled accelerating and bunching cavities. The design is based on the existing Cornell photoinjector, which can readily be applied to the presented findings. Using particle tracking simulations in conjunction with multiobjective genetic algorithm optimization, we explore the smallest bunch lengths, emittance, and probe spot sizes achievable. We present results for both stroboscopic conditions (with single electrons per pulse) and with $10^5$ electrons/bunch which may be suitable for single-shot diffraction images. In the stroboscopic case, the flexibility provided by the many-cavity bunching and acceleration allows for longitudinal phase space linearization without a higher harmonic field, providing sub-fs bunch lengths at the sample. Given low emittance photoemission conditions, these small bunch lengths can be maintained with probe transverse sizes at the single micron scale and below. In the case of $10^5$ electrons per pulse, we simulate state-of the art 5D brightness conditions: rms bunch lengths of 10 fs with 3 nm normalized emittances, while now permitting repetition rates as high as 1.3 GHz. Finally, to aid in the design of new SRF-based UED machines, we simulate the trade-off between the number of cavities used and achievable bunch length and emittance.


title: The Sharpe predictor for fairness in machine learning

abstract: In machine learning (ML) applications, unfair predictions may discriminate against a minority group. Most existing approaches for fair machine learning (FML) treat fairness as a constraint or a penalization term in the optimization of a ML model, which does not lead to the discovery of the complete landscape of the trade-offs among learning accuracy and fairness metrics, and does not integrate fairness in a meaningful way. Recently, we have introduced a new paradigm for FML based on Stochastic Multi-Objective Optimization (SMOO), where accuracy and fairness metrics stand as conflicting objectives to be optimized simultaneously. The entire trade-offs range is defined as the Pareto front of the SMOO problem, which can then be efficiently computed using stochastic-gradient type algorithms. SMOO also allows defining and computing new meaningful predictors for FML, a novel one being the Sharpe predictor that we introduce and explore in this paper, and which gives the highest ratio of accuracy-to-unfairness. Inspired from SMOO in finance, the Sharpe predictor for FML provides the highest prediction return (accuracy) per unit of prediction risk (unfairness).


title: An application of a nonuniform global stability problem to the study of parametrized polynomial automorphisms

abstract: We propose a handful of definitions of injectivity for a parametrized family of maps and study its link with a global nonuniform stability conjecture for nonautonomous differential systems, which has been recently introduced. This relation allow us to address a particular family of parametrized polynomial automorphisms and to prove that they have polynomial inverse for certain parameters, which is reminiscent to the Jacobian Conjecture.


title: Is Pseudo-Lidar needed for Monocular 3D Object detection?

abstract: Recent progress in 3D object detection from single images leverages monocular depth estimation as a way to produce 3D pointclouds, turning cameras into pseudo-lidar sensors. These two-stage detectors improve with the accuracy of the intermediate depth estimation network, which can itself be improved without manual labels via large-scale self-supervised learning. However, they tend to suffer from overfitting more than end-to-end methods, are more complex, and the gap with similar lidar-based detectors remains significant. In this work, we propose an end-to-end, single stage, monocular 3D object detector, DD3D, that can benefit from depth pre-training like pseudo-lidar methods, but without their limitations. Our architecture is designed for effective information transfer between depth estimation and 3D detection, allowing us to scale with the amount of unlabeled pre-training data. Our method achieves state-of-the-art results on two challenging benchmarks, with 16.34% and 9.28% AP for Cars and Pedestrians (respectively) on the KITTI-3D benchmark, and 41.5% mAP on NuScenes.


title: Spatiotemporally Controlled Room Temperature Exciton Transport under Dynamic Pressure

abstract: Two-dimensional transition metal dichalcogenides (TMDs) provide an attractive platform for studying strain dependent exciton transport at room temperature due to large exciton binding energy and strong bandgap sensitivity to mechanical stimuli. Here, we use Rayleigh type surface acoustic wave (SAW) to demonstrate controlled and directional exciton transport under weak coupling regime at room temperature. We screen the in-plane piezoelectric field using photogenerated carriers to study transport under type-I bandgap modulation and measure a maximum exciton drift velocity of 600 m/s. Furthermore, we demonstrate precise steering of exciton flux by controlling the relative phase between the input RF excitation and exciton photogeneration. The results provide important insight into the weak coupling regime between dynamic strain wave and room temperature excitons in a 2D semiconductor system and pave way to exciting applications of excitonic devices in data communication and processing, sensing and energy conversion.


title: D and B-meson production using kt-factorization calculations in a variable-flavor-number scheme

abstract: Within the framework of $k_t$-factorization, we compute the differential cross section for the production of $B$ and $D$ mesons, using a general-mass variable-flavor-number scheme. Our calculations include all relevant $2\to 2$ processes. We explain how to include the $2\to 1$ process in our calculations, but argue this is not (numerically) relevant at moderate transverse momentum due to its cancellation with the subtraction term. We apply this formalism to $pp$ collisions and compare our results with ALICE and LHCb data at central and forward rapidity.


title: High-dimensional encryption in optical fibers using machine learning

abstract: The ability to engineer the spatial wavefunction of photons has enabled a variety of quantum protocols for communication, sensing, and information processing. These protocols exploit the high dimensionality of structured light enabling the encodinng of multiple bits of information in a single photon, the measurement of small physical parameters, and the achievement of unprecedented levels of security in schemes for cryptography. Unfortunately, the potential of structured light has been restrained to free-space platforms in which the spatial profile of photons is preserved. Here, we make an important step forward to using structured light for fiber optical communication. We introduce a smart high-dimensional encryption protocol in which the propagation of spatial modes in multimode fibers is used as a natural mechanism for encryption. This provides a secure communication channel for data transmission. The information encoded in spatial modes is retrieved using artificial neural networks, which are trained from the intensity distributions of experimentally detected spatial modes. Our on-fiber communication platform allows us to use spatial modes of light for high-dimensional bit-by-bit and byte-by-byte encoding. This protocol enables one to recover messages and images with almost perfect accuracy. Our smart protocol for high-dimensional optical encryption in optical fibers has key implications for quantum technologies relying on structured fields of light, particularly those that are challenged by free-space propagation.


title: GeoCLR: Georeference Contrastive Learning for Efficient Seafloor Image Interpretation

abstract: This paper describes Georeference Contrastive Learning of visual Representation (GeoCLR) for efficient training of deep-learning Convolutional Neural Networks (CNNs). The method leverages georeference information by generating a similar image pair using images taken of nearby locations, and contrasting these with an image pair that is far apart. The underlying assumption is that images gathered within a close distance are more likely to have similar visual appearance, where this can be reasonably satisfied in seafloor robotic imaging applications where image footprints are limited to edge lengths of a few metres and are taken so that they overlap along a vehicle's trajectory, whereas seafloor substrates and habitats have patch sizes that are far larger. A key advantage of this method is that it is self-supervised and does not require any human input for CNN training. The method is computationally efficient, where results can be generated between dives during multi-day AUV missions using computational resources that would be accessible during most oceanic field trials. We apply GeoCLR to habitat classification on a dataset that consists of ~86k images gathered using an Autonomous Underwater Vehicle (AUV). We demonstrate how the latent representations generated by GeoCLR can be used to efficiently guide human annotation efforts, where the semi-supervised framework improves classification accuracy by an average of 10.2% compared to the state-of-the-art SimCLR using the same CNN and equivalent number of human annotations for training.


title: Metadata-based Multi-Task Bandits with Bayesian Hierarchical Models

abstract: How to explore efficiently is a central problem in multi-armed bandits. In this paper, we introduce the metadata-based multi-task bandit problem, where the agent needs to solve a large number of related multi-armed bandit tasks and can leverage some task-specific features (i.e., metadata) to share knowledge across tasks. As a general framework, we propose to capture task relations through the lens of Bayesian hierarchical models, upon which a Thompson sampling algorithm is designed to efficiently learn task relations, share information, and minimize the cumulative regrets. Two concrete examples for Gaussian bandits and Bernoulli bandits are carefully analyzed. The Bayes regret for Gaussian bandits clearly demonstrates the benefits of information sharing with our algorithm. The proposed method is further supported by extensive experiments.


title: Modeling and Simulation of Transitional Rayleigh-Taylor Flow with Partially-Averaged Navier-Stokes Equations

abstract: The partially-averaged Navier-Stokes (PANS) equations are used to predict the variable-density Rayleigh-Taylor (RT) flow at Atwood number 0.5 and maximum Reynolds number $500$. This is a prototypical problem of material mixing featuring laminar, transitional, and turbulent flow, instabilities and coherent structures, density fluctuations, and production of turbulence kinetic energy by both shear and buoyancy mechanisms. These features pose numerous challenges to modeling and simulation, making the RT flow ideal to develop the validation space of the recently proposed PANS BHR-LEVM closure. The numerical simulations are conducted at different levels of physical resolution and test three approaches to set the parameters $f_\phi$ defining the range of physically resolved scales. The computations demonstrate the efficiency (accuracy vs. cost) of the PANS model predicting the spatio-temporal development of the RT flow. Results comparable to large-eddy simulations and direct numerical simulations are obtained, at significantly lower physical resolution without the limitations of the Reynolds-averaged Navier-Stokes equations in these transitional flows. The data also illustrate the importance of appropriate selection of the physical resolution and the resolved fraction of each dependent quantity $\phi$ of the turbulent closure, $f_\phi$. These two aspects determine the ability of the model to resolve the flow phenomena not amenable to modeling by the closure and, as such, the computations' fidelity.


title: VTSCat - The VERITAS Catalog of Gamma Ray Observations

abstract: We present a catalog of results of gamma-ray observations made by VERITAS, published from 2008 to 2020. VERITAS is a ground based imaging atmospheric Cherenkov telescope observatory located at the Fred Lawrence Whipple Observatory (FLWO) in southern Arizona, sensitive to gamma-ray photons with energies in the range of ~100 GeV - 30 TeV. Its observation targets include galactic sources such as binary star systems, pulsar wind nebulae, and supernova remnants, extragalactic sources like active galactic nuclei, star forming galaxies, and gamma-ray bursts, and some unidentified objects. The catalog includes in digital form all of the high-level science results published in 112 papers using VERITAS data and currently contains data on 57 sources. The catalog has been made accessible via GitHub and at NASA's HEASARC.


title: Minimizing maximum lateness in two-stage projects by tropical optimization

abstract: We are considering a two-stage optimal scheduling problem, which involves two similar projects with the same starting times for workers and the same deadlines for tasks. It is required that the starting times for workers and deadlines for tasks should be optimal for the first-stage project and, under this condition, also for the second-stage project. Optimality is measured with respect to the maximal lateness (or maximal delay) of tasks, which has to be minimized. We represent this problem as a problem of tropical pseudoquadratic optimization and show how the existing methods of tropical optimization and tropical linear algebra yield a full and explicit solution for this problem.


title: Dualities and models in various dimensions

abstract: Working within the path-integral framework we first establish a duality between the partion functions of two $U(1)$ gauge theories with a theta term in $d=4$ space-time dimensions. Then, after a dimensional reduction to $d=3$ dimensions we arrive to the partition function of a $U(1)$ gauge theory coupled to a scalar field with an action that exhibits a Dirac monopole solution. A subsequent reduction to $d=2$ dimensions leads to the partition function of a theory in which the gauge field decouples from two scalars which have non-trivial vortex-like solutions. Finally this $d=2$ partition function can be related to the bosonized version of the two-dimensional QED$_2$ (Schwinger) model.


title: The Infrared Imaging Spectrograph (IRIS) for TMT: final software design update

abstract: The InfraRed Imaging Spectrograph (IRIS) is the first-light client instrument for the Narrow Field Infrared Adaptive Optics System (NFIRAOS) on the Thirty Meter Telescope (TMT). Now approaching the end of its final design phase, we provide an overview of the instrument control software. The design is challenging since IRIS has interfaces with many systems at different stages of development (e.g., NFIRAOS, telescope control system, observatory sequencers), and will be built using the newly-developed TMT Common Software (CSW), which provides framework code (Java/Scala), and services (e.g., commands, telemetry). Lower-level software will be written in a combination of Java and C/C++ to communicate with hardware, such as motion controllers and infrared detectors. The overall architecture and philosophy of the IRIS software is presented, as well as a summary of the individual software components and their interactions with other systems.


title: FrankMocap: A Monocular 3D Whole-Body Pose Estimation System via Regression and Integration

abstract: Most existing monocular 3D pose estimation approaches only focus on a single body part, neglecting the fact that the essential nuance of human motion is conveyed through a concert of subtle movements of face, hands, and body. In this paper, we present FrankMocap, a fast and accurate whole-body 3D pose estimation system that can produce 3D face, hands, and body simultaneously from in-the-wild monocular images. The core idea of FrankMocap is its modular design: We first run 3D pose regression methods for face, hands, and body independently, followed by composing the regression outputs via an integration module. The separate regression modules allow us to take full advantage of their state-of-the-art performances without compromising the original accuracy and reliability in practice. We develop three different integration modules that trade off between latency and accuracy. All of them are capable of providing simple yet effective solutions to unify the separate outputs into seamless whole-body pose estimation results. We quantitatively and qualitatively demonstrate that our modularized system outperforms both the optimization-based and end-to-end methods of estimating whole-body pose.


title: Fast modulation and dithering for the NFIRAOS Pyramid Wavefront Sensor

abstract: The Narrow Field InfraRed Adaptive Optics System (NFIRAOS) for the Thirty Meter Telescope (TMT) will use a natural guide star (NGS) Pyramid Wavefront Sensor (PWFS). A 32-mm diameter Fast Steering Mirror (FSM) is used to modulate the position of the NGS image around the tip of the pyramid. The mirror traces out a circular tip/tilt pattern at up to 800 Hz (the maximum operating frequency of NFIRAOS), with a diameter chosen to balance sensitivity and dynamic range. A circular dither pattern at 1/4 the modulation frequency is superimposed to facilitate optical gain measurements. The timing of this motion is synchronized precisely with individual exposures on the PWFS detector, and must also be phased with other wavefront sensors, such as Laser Guide Star Wavefront Sensors (LGSWFS) and the On-Instrument Wavefront Sensors (OIWFS) of NFIRAOS client instruments (depending on the observing mode), to minimize latency. During trade studies it was decided to pursue a piezo actuator from Physik Instrumente (PI) using a monocrystalline piezo material, as more conventional polycrystalline devices would not meet the lifetime, stroke, and frequency requirements. Furthermore, PI claims excellent stability and hysteresis with similar piezo stages, rendering sensor feedback unnecessary. To characterize the performance of this mechanism, and to verify that it can function acceptably in open-loop, we have operated the stage on a test bench using a laser and high-speed position sensing devices (PSDs) both at room temperature and at the cold -30 C operating temperature of NFIRAOS. We have also prototyped the software and hardware triggering strategy that will be used to synchronize the FSM with the rest of NFIRAOS.


title: Hybrid Gaussian Process Modeling Applied to Economic Stochastic Model Predictive Control of Batch Processes

abstract: Nonlinear model predictive control (NMPC) is an efficient approach for the control of nonlinear multivariable dynamic systems with constraints, which however requires an accurate plant model. Plant models can often be determined from first principles, parts of the model are however difficult to derive using physical laws alone. In this paper a hybrid Gaussian process (GP) first principles modeling scheme is proposed to overcome this issue, which exploits GPs to model the parts of the dynamic system that are difficult to describe using first principles. GPs not only give accurate predictions, but also quantify the residual uncertainty of this model. It is vital to account for this uncertainty in the control algorithm, to prevent constraint violations and performance deterioration. Monte Carlo samples of the GPs are generated offline to tighten constraints of the NMPC to ensure joint probabilistic constraint satisfaction online. Advantages of our method include fast online evaluation times, possibility to account for online learning alleviating conservativeness, and exploiting the flexibility of GPs and the data efficiency of first principle models. The algorithm is verified on a case study involving a challenging semi-batch bioreactor.


title: Flux in tilted potential systems: negative resistance and persistence

abstract: Many real-world systems are well-modeled by Brownian particles subject to gradient dynamics plus noise arising, e.g., from the thermal fluctuations of a heat bath. Of central importance to many applications in physics and biology (e.g., molecular motors) is the net steady-state particle current or "flux" enabled by the noise and an additional driving force. However, this flux cannot usually be calculated analytically. Motivated by this, we investigate the steady-state flux generated by a nondegenerate diffusion process on a general compact manifold; such fluxes are essentially equivalent to the stochastic intersection numbers of Manabe (1982). In the case that noise is small and the drift is "gradient-like" in an appropriate sense, we derive a graph-theoretic formula for the small-noise asymptotics of the flux using Freidlin-Wentzell theory. When additionally the drift is a local gradient sufficiently close to a generic global gradient, there is a natural flux equivalent to the entropy production rate -- in this case our graph-theoretic formula becomes Morse-theoretic, and the result admits a description in terms of persistent homology. As an application, we provide a mathematically rigorous explanation of the paradoxical "negative resistance" phenomenon in Brownian transport discovered by Cecchi and Magnasco (1996).

categories: math.PR math-ph math.AP math.AT math.DS math.MP


title: Soccer line mark segmentation and classification with stochastic watershed transform

abstract: Augmented reality applications are beginning to change the way sports are broadcast, providing richer experiences and valuable insights to fans. The first step of augmented reality systems is camera calibration, possibly based on detecting the line markings of the playing field. Most existing proposals for line detection rely on edge detection and Hough transform, but radial distortion and extraneous edges cause inaccurate or spurious detections of line markings. We propose a novel strategy to automatically and accurately segment and classify line markings. First, line points are segmented thanks to a stochastic watershed transform that is robust to radial distortions, since it makes no assumptions about line straightness, and is unaffected by the presence of players or the ball. The line points are then linked to primitive structures (straight lines and ellipses) thanks to a very efficient procedure that makes no assumptions about the number of primitives that appear in each image. The strategy has been tested on a new and public database composed by 60 annotated images from matches in five stadiums. The results obtained have proven that the proposed strategy is more robust and accurate than existing approaches, achieving successful line mark detection even in challenging conditions.


title: Modular forms, projective structures, and the four squares theorem

abstract: It is well-known that Lagrange's four-square theorem, stating that every natural number may be written as the sum of four squares, may be proved using methods from the classical theory of modular forms and theta functions. We revisit this proof. In doing so, we concentrate on geometry and thereby avoid some of the tricky analysis that is often encountered. Guided by projective differential geometry we find a new route to Lagrange's theorem.


title: Adapting to Unseen Vendor Domains for MRI Lesion Segmentation

abstract: One of the key limitations in machine learning models is poor performance on data that is out of the domain of the training distribution. This is especially true for image analysis in magnetic resonance (MR) imaging, as variations in hardware and software create non-standard intensities, contrasts, and noise distributions across scanners. Recently, image translation models have been proposed to augment data across domains to create synthetic data points. In this paper, we investigate the application an unsupervised image translation model to augment MR images from a source dataset to a target dataset. Specifically, we want to evaluate how well these models can create synthetic data points representative of the target dataset through image translation, and to see if a segmentation model trained these synthetic data points would approach the performance of a model trained directly on the target dataset. We consider three configurations of augmentation between datasets consisting of translation between images, between scanner vendors, and from labels to images. It was found that the segmentation models trained on synthetic data from labels to images configuration yielded the closest performance to the segmentation model trained directly on the target dataset. The Dice coeffcient score per each target vendor (GE, Siemens, Philips) for training on synthetic data was 0.63, 0.64, and 0.58, compared to training directly on target dataset was 0.65, 0.72, and 0.61.


title: Focus on the Positives: Self-Supervised Learning for Biodiversity Monitoring

abstract: We address the problem of learning self-supervised representations from unlabeled image collections. Unlike existing approaches that attempt to learn useful features by maximizing similarity between augmented versions of each input image or by speculatively picking negative samples, we instead also make use of the natural variation that occurs in image collections that are captured using static monitoring cameras. To achieve this, we exploit readily available context data that encodes information such as the spatial and temporal relationships between the input images. We are able to learn representations that are surprisingly effective for downstream supervised classification, by first identifying high probability positive pairs at training time, i.e. those images that are likely to depict the same visual concept. For the critical task of global biodiversity monitoring, this results in image features that can be adapted to challenging visual species classification tasks with limited human supervision. We present results on four different camera trap image collections, across three different families of self-supervised learning methods, and show that careful image selection at training time results in superior performance compared to existing baselines such as conventional self-supervised training and transfer learning.


title: Congestion in networks and manifolds, and fair-division problems

abstract: Several large scale networks, such as the backbone of the Internet, have been observed to behave like convex Riemannian manifolds of negative curvature. In particular, this paradigm explains the observed existence, for networks of this type, of a "congestion core" through which a surprising large fraction of the traffic transits, while this phenomenon cannot be detected by purely local criteria. In this practical situation, it is important to estimate and predict the size and location of this congestion core. In this article we reverse the point of view and, motivated by the physical problem, we study congestion phenomena in the purely theoretical framework of convex Riemannian manifolds of negative curvature. In particular, we introduce a novel method of fair-division algorithm to estimate the size and impact of the congestion core in this context.


title: VR Sickness Prediction from Integrated HMD's Sensors using Multimodal Deep Fusion Network

abstract: Virtual Reality (VR) sickness commonly known as cybersickness is one of the major problems for the comfortable use of VR systems. Researchers have proposed different approaches for predicting cybersickness from bio-physiological data (e.g., heart rate, breathing rate, electroencephalogram). However, collecting bio-physiological data often requires external sensors, limiting locomotion and 3D-object manipulation during the virtual reality (VR) experience. Limited research has been done to predict cybersickness from the data readily available from the integrated sensors in head-mounted displays (HMDs) (e.g., head-tracking, eye-tracking, motion features), allowing free locomotion and 3D-object manipulation. This research proposes a novel deep fusion network to predict cybersickness severity from heterogeneous data readily available from the integrated HMD sensors. We extracted 1755 stereoscopic videos, eye-tracking, and head-tracking data along with the corresponding self-reported cybersickness severity collected from 30 participants during their VR gameplay. We applied several deep fusion approaches with the heterogeneous data collected from the participants. Our results suggest that cybersickness can be predicted with an accuracy of 87.77\% and a root-mean-square error of 0.51 when using only eye-tracking and head-tracking data. We concluded that eye-tracking and head-tracking data are well suited for a standalone cybersickness prediction framework.


title: The Pandora SmallSat: Multiwavelength Characterization of Exoplanets and their Host Stars

abstract: Pandora is a SmallSat mission designed to study the atmospheres of exoplanets, and was selected as part of NASA's Astrophysics Pioneers Program. Transmission spectroscopy of transiting exoplanets provides our best opportunity to identify the makeup of planetary atmospheres in the coming decade. Stellar brightness variations due to star spots, however, can impact these measurements and contaminate the observed spectra. Pandora's goal is to disentangle star and planet signals in transmission spectra to reliably determine exoplanet atmosphere compositions. Pandora will collect long-duration photometric observations with a visible-light channel and simultaneous spectra with a near-IR channel. The broad-wavelength coverage will provide constraints on the spot and faculae covering fractions of low-mass exoplanet host stars and the impact of these active regions on exoplanetary transmission spectra. Pandora will subsequently identify exoplanets with hydrogen- or water-dominated atmospheres, and robustly determine which planets are covered by clouds and hazes. Pandora will observe at least 20 exoplanets with sizes ranging from Earth-size to Jupiter-size and host stars spanning mid-K to late-M spectral types. The project is made possible by leveraging investments in other projects, including an all-aluminum 0.45-meter Cassegrain telescope design, and a NIR sensor chip assembly from the James Webb Space Telescope. The mission will last five years from initial formulation to closeout, with one-year of science operations. Launch is planned for the mid-2020s as a secondary payload in Sun-synchronous low-Earth orbit. By design, Pandora has a diverse team, with over half of the mission leadership roles filled by early career scientists and engineers, demonstrating the high value of SmallSats for developing the next generation of space mission leaders.


title: Proton distribution visualization in perovskite nickelate devices utilizing nanofocused X-rays

abstract: We use a 30-nm x-ray beam to study the spatially resolved properties of a SmNiO$_3$-based nanodevice that is doped with protons. The x-ray absorption spectra supported by density-functional theory (DFT) simulations show partial reduction of nickel valence in the region with high proton concentration, which leads to the insulating behavior. Concurrently, x-ray diffraction reveals only a small lattice distortion in the doped regions. Together, our results directly show that the knob which proton doping modifies is the electronic valency, and not the crystal lattice. The studies are relevant to on-going efforts to disentangle structural and electronic effects across metal-insulator phase transitions in correlated oxides.


title: Miscibility regimes in a $^{23}$Na-$^{39}$K quantum mixture

abstract: Effects of miscibility in interacting two-component classical fluids are relevant in a broad range of daily applications. When considering quantum systems, two-component Bose-Einstein condensates provides a well controlled platform where the miscible-immiscible phase transition can be completely characterized. In homogeneous systems, this phase transition is governed only by the competition between intra- and inter-species interactions. However in more conventional experiments dealing with trapped gases, the pressure of the confinement increases the role of the kinetic energy and makes the system more miscible. In the most general case, the miscibility phase diagram of unbalanced mixtures of different atomic species is strongly modified by the atom number ratio and the different gravitational sags. Here, we numerically investigate the ground-state of a $^{23}$Na-$^{39}$K quantum mixture for different interaction strengths and atom number ratios considering realistic experimental parameters. Defining the spatial overlap between the resulting atomic clouds, we construct the phase diagram of the miscibility transition which could be directly measured in real experiments.