title: Go Wider: An Efficient Neural Network for Point Cloud Analysis via Group Convolutions

abstract: In order to achieve better performance for point cloud analysis, many researchers apply deeper neural networks using stacked Multi-Layer-Perceptron (MLP) convolutions over irregular point cloud. However, applying dense MLP convolutions over large amount of points (e.g. autonomous driving application) leads to inefficiency in memory and computation. To achieve high performance but less complexity, we propose a deep-wide neural network, called ShufflePointNet, to exploit fine-grained local features and reduce redundancy in parallel using group convolution and channel shuffle operation. Unlike conventional operation that directly applies MLPs on high-dimensional features of point cloud, our model goes wider by splitting features into groups in advance, and each group with certain smaller depth is only responsible for respective MLP operation, which can reduce complexity and allows to encode more useful information. Meanwhile, we connect communication between groups by shuffling groups in feature channel to capture fine-grained features. We claim that, multi-branch method for wider neural networks is also beneficial to feature extraction for point cloud. We present extensive experiments for shape classification task on ModelNet40 dataset and semantic segmentation task on large scale datasets ShapeNet part, S3DIS and KITTI. We further perform ablation study and compare our model to other state-of-the-art algorithms in terms of complexity and accuracy.


title: Scalable Kernel Learning via the Discriminant Information

abstract: Kernel approximation methods create explicit, low-dimensional kernel feature maps to deal with the high computational and memory complexity of standard techniques. This work studies a supervised kernel learning methodology to optimize such mappings. We utilize the Discriminant Information criterion, a measure of class separability with a strong connection to Discriminant Analysis. By generalizing this measure to cover a wider range of kernel maps and learning settings, we develop scalable methods to learn kernel features with high discriminant power. Experimental results on several datasets showcase that our techniques can improve optimization and generalization performances over state of the art kernel learning methods.


title: Superstatistical approach to air pollution statistics

abstract: Air pollution by Nitrogen Oxides (NOx) is a major concern in large cities as it has severe adverse health effects. However, the statistical properties of air pollutants are not fully understood. Here, we use methods borrowed from nonequilibrium statistical mechanics to construct suitable superstatistical models for air pollution statistics. In particular, we analyze time series of Nitritic Oxide ($NO$) and Nitrogen Dioxide ($NO_2$) concentrations recorded at several locations throughout Greater London. We find that the probability distributions of concentrations have heavy tails and that the dynamics is well-described by $\chi^2$ superstatistics for $NO$ and inverse $\chi^2$ superstatistics for $NO_2$. Our results can be used to give precise risk estimates of high-pollution situations and pave the way to mitigation strategies.


title: Clocking the formation of today's largest galaxies: Wide field integral spectroscopy of Brightest Cluster Galaxies and their surroundings

abstract: The formation and evolution of local brightest cluster galaxies (BCGs) is investigated by determining the stellar populations and dynamics from the galaxy core, though the outskirts and into the intracluster light (ICL). Integral spectroscopy of 23 BCGs observed out to 4 r_e is collected and high signal-to-noise regions are identified. Stellar population synthesis codes are used to determine the age, metallicity, velocity, and velocity dispersion of stars within each region. The intracluster light (ICL) spectra are best modeled with populations that are younger and less metal-rich than those of the BCG cores. The average BCG core age of the sample is 13.3$\pm$ 2.8 Gyr and the average metallicity is [Fe/H] = 0.30 $\pm$ 0.09, whereas for the ICL the average age is 9.2$\pm$3.5 Gyr and the average metallicity is [Fe/H] = 0.18$\pm$0.16. The velocity dispersion profile is seen to be rising or flat in most of the sample (17/23), and those with rising values reach the value of the host cluster's velocity dispersion in several cases. The most extended BCGs are closest to the peak of the cluster's X-ray luminosity. The results are consistent with the idea that the BCG cores and inner regions formed quickly and long ago, with the outer regions and ICL forming more recently, and continuing to assemble through minor merging. Any recent star formation in the BCGs is a minor component, and is associated with the cluster cool core status.


title: Edge Isoperimetric Inequalities for Powers of the Hypercube

abstract: For positive integers $n$ and $r$, we let $Q_n^r$ denote the $r$th power of the $n$-dimensional discrete hypercube graph, i.e., the graph with vertex-set $\{0,1\}^n$, where two 0-1 vectors are joined if they are Hamming distance at most $r$ apart. We study edge isoperimetric inequalities for this graph. Harper, Bernstein, Lindsey and Hart proved a best-possible edge isoperimetric inequality for this graph in the case $r=1$. For each $r \geq 2$, we obtain an edge isoperimetric inequality for $Q_n^r$; our inequality is tight up to a constant factor depending only upon $r$. Our techniques also yield an edge isoperimetric inequality for the `Kleitman-West graph' (the graph whose vertices are all the $k$-element subsets of $\{1,2,\ldots,n\}$, where two $k$-element sets have an edge between them if they have symmetric difference of size two); this inequality is sharp up to a factor of $2+o(1)$ for sets of size ${n -s \choose k-s}$, where $k=o(n)$ and $s \in \mathbb{N}$.


title: Inversion of adjunction for $F$-signature

abstract: Let $(R,\Delta+D)$ be a log $\mathbb{Q}$-Gorenstein pair where $R$ is a Noetherian, $F$-finite, normal, local domain of characteristic $p > 0$, $\Delta$ is an effective $\mathbb{Q}$-divisor and $D$ is an integral $\mathbb{Q}$-Cartier divisor. We show that the left derivative of the $F$-signature function $s(R,\Delta + tD)$ at $t = 1$ is equal to $-s(\mathcal{O}_D, \mathrm{Diff}_D(\Delta))$. This equality is interpreted as a quantitative form of inversion of adjunction for strong $F$-regularity. As an immediate corollary, we obtain the inequality $s(R,\Delta) \geq s(\mathcal{O}_D, \mathrm{Diff}_D(\Delta))$. We also discuss the implications of our result for the conjectured connection between the $F$-signature and the normalized volume.


title: The NASA Probe space mission concept, Cosmic Evolution Through UV Surveys (CETUS)

abstract: The mission concept, Cosmic Origins Through UV Surveys (CETUS) is an all-UV space mission concept that was selected and funded by NASA for study in 2017. The main capabilities of CETUS that even Hubble doesn't have are: (1) wide-field (17.4'x17.4') imaging and spectroscopy of astronomical sources with <0.5'' resolution; (2) spectral sensitivity to UV radiation at wavelengths as short as 1000 {\AA}; (3) near-UV multi-object slit spectroscopy; and (4) rapid-response UV spectroscopy and deep imaging of transients like GW 170817; and (5) 23 times higher sensitivity to extended sources. The main purposes of this CETUS Final Report are to describe the CETUS scientific program and to demonstrate the maturity of its instrumentation, which forms the basis of its estimated cost. While there are similarities of this Final Report to that submitted to NASA in March 2019 by the Goddard Space Flight Center, there are important differences including the following. * Science. The science case has been refreshed, deepened, and expanded as a result of ideas and recommendations expressed in the Astro2020 science white papers. * Instrumentation. Detailed investigations including a high-level error budget for focus with implications for thermal management, target acquisition in the MOS micro-shutter array, contamination control have been carried out. * Mission Design. The spacecraft and mission operations concepts as developed by NGIS Gilbert (formerly Orbital ATK) rather than the output of Goddard's Mission Design Lab have been adopted.. * Technology. Technology maturation plans have been updated.


title: Improving the Thermal Stability of a CCD Through Clocking

abstract: Modern precise radial velocity spectrometers are designed to infer the existence of planets orbiting other stars by measuring few-nm shifts in the positions of stellar spectral lines recorded at high spectral resolution on a large-area digital detector. While the spectrometer may be highly stabilized in terms of temperature, the detector itself may undergo changes in temperature during readout that are an order of magnitude or more larger than the other opto-mechanical components within the instrument. These variations in detector temperature can translate directly into systematic measurement errors. We explore a technique for reducing the amplitude of CCD temperature variations by shuffling charge within a pixel in the parallel direction during integration. We find that this "dither clocking" mode greatly reduces temperature variations in the CCDs being tested for the NEID spectrometer. We investigate several potential negative effects this clocking scheme could have on the underlying spectral data.


title: Quantitative homogenization of the parabolic and elliptic Green's functions on percolation clusters

abstract: We study the heat kernel and the Green's function on the infinite supercritical percolation cluster in dimension $d \geq 2$ and prove a quantitative homogenization theorem for these functions with an almost optimal rate of convergence. These results are a quantitative version of the local central limit theorem proved by Barlow and Hambly. The proof relies on a structure of renormalization for the infinite percolation cluster introduced by Armstrong and the first author, Gaussian bounds on the heat kernel established by Barlow and tools of the theory of quantitative stochastic homogenization. An important step in the proof is to establish a $C^{0,1}$-large-scale regularity theory for caloric functions on the infinite cluster and is of independent interest.


title: Locally distinguishing quantum states with limited classical communication

abstract: We consider different settings of the task to distinguish pure orthogonal quantum states under local operations and a limited amount of classical communication. In the first setting, the spatially separated parties are allowed to perform only local projective measurements without any classical communication during the measurements. Under such a restricted class of operations, if the states are indistinguishable, then within a second group of settings, the parties are allowed to use an additional resource for the distinguishing. The additional resource is either a pure entangled state or multiple identical copies of the given states. Comparisons between these two types of resources are also done in certain cases. Both probabilistic and perfect discrimination of the states are considered for the second group of settings. Within a third setting, the parties perform local projective measurements with a restriction on the availability of classical communication during the measurements. But in this setting the parties are allowed to use a maximally entangled state as a resource.


title: The Contact Process on Periodic Trees

abstract: A little over 25 years ago Pemantle pioneered the study of the contact process on trees, and showed that on homogeneous trees the critical values $\lambda_1$ and $\lambda_2$ for global and local survival were different. He also considered trees with periodic degree sequences, and Galton-Watson trees. Here, we will consider periodic trees in which the number of children in successive generation is $(n,a_1,\ldots, a_k)$ with $\max_i a_i \le Cn^{1-\delta}$ and $\log(a_1 \cdots a_k)/\log n \to b$ as $n\to\infty$. We show that the critical value for local survival is asymptotically $\sqrt{c (\log n)/n}$ where $c=(k-b)/2$. This supports Pemantle's claim that the critical value is largely determined by the maximum degree, but it also shows that the smaller degrees can make a significant contribution to the answer.


title: Finding the critical decay index in solar prominence eruptions

abstract: The background field is assumed to play prime role in the erupting structures like prominences. In the flux rope models, the critical decay index ($n_c$) is a measure of the rate at which background field intensity decreases with height over the flux rope or erupting structure. In the real observations, the critical height of the background field is unknown, so a typical value of $n_{c}=1.5$ is adopted from the numerical studies. In this study, we determined the $n_c$ of 10 prominence eruptions (PEs). The prominence height in 3D is derived from two-perspective observations of \textit{Solar Dynamics Observatory} and \textit{Solar TErrestrial RElations Observatory}. Synoptic maps of photospheric radial magnetic field are used to construct the background field in the corona. During the eruption, the height-time curve of the sample events exhibits the slow and fast-rise phases and is fitted with the linear-cum-exponential model. From this model, the onset height of fast-rise motion is determined and is considered as the critical height for the onset of the torus-instability because the erupting structure is allowed to expand exponentially provided there is no strapping background field. Corresponding to the critical height, the $n_c$ values of our sample events are varied to be in the range of 0.8-1.3. Additionally, the kinematic analysis suggests that the acceleration of PEs associated with flares are significantly enhanced compared to flare-less PEs. We found that the flare magnetic reconnection is the dominant contributor than the torus-instability to the acceleration process during the fast-rise phase of flare-associated PEs in low corona ($<1.3R_{\odot}$).


title: Patch-Based Image Similarity for Intraoperative 2D/3D Pelvis Registration During Periacetabular Osteotomy

abstract: Periacetabular osteotomy is a challenging surgical procedure for treating developmental hip dysplasia, providing greater coverage of the femoral head via relocation of a patient's acetabulum. Since fluoroscopic imaging is frequently used in the surgical workflow, computer-assisted X-Ray navigation of osteotomes and the relocated acetabular fragment should be feasible. We use intensity-based 2D/3D registration to estimate the pelvis pose with respect to fluoroscopic images, recover relative poses of multiple views, and triangulate landmarks which may be used for navigation. Existing similarity metrics are unable to consistently account for the inherent mismatch between the preoperative intact pelvis, and the intraoperative reality of a fractured pelvis. To mitigate the effect of this mismatch, we continuously estimate the relevance of each pixel to solving the registration and use these values as weightings in a patch-based similarity metric. Limiting computation to randomly selected subsets of patches results in faster runtimes than existing patch-based methods. A simulation study was conducted with random fragment shapes, relocations, and fluoroscopic views, and the proposed method achieved a 1.7 mm mean triangulation error over all landmarks, compared to mean errors of 3 mm and 2.8 mm for the non-patched and image-intensity-variance-weighted patch similarity metrics, respectively.


title: Overtone Pulsations Revisited

abstract: The shape of light cures of fundamental-mode and of first-overtone pulsators, as observed in RR~Lyrae variables and Cepheids, differ characteristically. The stellar physical origin of the morphological differences is not well documented and the topic seems not to be part of the elementary curriculum of students of stellar variability. To ameliorate the situation, this exposition analyzes hydrodynamical simulations of radial pulsations computed with the newly available numerical instrument RSP in MESA. The stellar physical processes that affect the light curves are identified and contrasted to the explanation based on experiments with one-zone models. The encounter of first-overtone pulsators sporting light curves that mimic those of fundamental-mode variables serves as a warning that light-curve morphology alone is not a reliable path to correctly classify pulsating variables; the exposition closes with a short discussion of constraints these modes might impose on understanding the origin of anomalous Cepheids.


title: The Hecke group $H(\lambda_4)$ acting on imaginary quadratic number fields

abstract: Let $H(\lambda_4)$ be the Hecke group $\langle x,y\,:\, x^2=y^4=1 \rangle$ and, for a square-free positive integer $n$, consider the subset $\mathbb{Q}^*(\sqrt{-n})=\left\{(a+\sqrt{-n})/c \, | \, a,b=(a^2+n)/c \in \mathbb{Z},\, c\in 2\mathbb{Z} \right\}$ of the quadratic imaginary number field $\mathbb{Q}(\sqrt{-n})$. Following a line of research in the relevant literature, we study properties of the action of $H(\lambda_4)$ on $\mathbb{Q}^*(\sqrt{-n})$. In particular, we calculate the number of orbits arising from this action for every such $n$. Some illustrative examples are also given.


title: Extended Dynamical Symmetries of Landau Levels in Higher Dimensions

abstract: Continuum models for time-reversal (TR) invariant topological insulators (TIs) in $d \geq 3$ dimensions are provided by harmonic oscillators coupled to certain $SO(d)$ gauge fields. These models are equivalent to the presence of spin-orbit (SO) interaction in the oscillator Hamiltonians at a critical coupling strength (equivalent to the harmonic oscillator frequency) and leads to flat Landau Level (LL) spectra and therefore to infinite degeneracy of either the positive or the negative helicity states depending on the sign of the SO coupling. Generalizing the results of Haaker et al. to $d \geq 4$, we construct vector operators commuting with these Hamiltonians and show that $SO(d,2)$ emerges as the non-compact extended dynamical symmetry. Focusing on the model in four dimensions, we demonstrate that the infinite degeneracy of the flat spectra can be fully explained in terms of the discrete unitary representations of $SO(4,2)$, i.e. the {\it doubletons}. The degeneracy in the opposite helicity branch is finite, but can still be explained exploiting the complex conjugate {\it doubleton} representations. Subsequently, the analysis is generalized to $d$ dimensions, distinguishing the cases of odd and even $d$. We also determine the spectrum generating algebra in these models and briefly comment on the algebraic organization of the LL states w.r.t to an underlying "deformed" AdS geometry as well as on the organization of the surface states under open boundary conditions in view of our results.


title: On Model Stability as a Function of Random Seed

abstract: In this paper, we focus on quantifying model stability as a function of random seed by investigating the effects of the induced randomness on model performance and the robustness of the model in general. We specifically perform a controlled study on the effect of random seeds on the behaviour of attention, gradient-based and surrogate model based (LIME) interpretations. Our analysis suggests that random seeds can adversely affect the consistency of models resulting in counterfactual interpretations. We propose a technique called Aggressive Stochastic Weight Averaging (ASWA)and an extension called Norm-filtered Aggressive Stochastic Weight Averaging (NASWA) which improves the stability of models over random seeds. With our ASWA and NASWA based optimization, we are able to improve the robustness of the original model, on average reducing the standard deviation of the model's performance by 72%.


title: On the number of orbits arising from the action of $\mbox{PSL}(2,\mathbb{Z})$ on imaginary quadratic number fields

abstract: For square-free positive integers $n$, we study the action of the modular group $\mbox{PSL}(2,\mathbb{Z})$ on the subsets $\{\,\frac{a+\sqrt{-n}}{c}\in \mathbb{Q}(\sqrt{-n})\, | \, a,b=\frac{a^2+n}{c},c \in \mathbb{Z} \,\}$ of the imaginary quadratic number fields $\mathbb{Q}(\sqrt{-n})$. In particular, we compute the number of orbits under this action for all such $n$ as provide an interesting congruence property of this number. An illustrative example and a C$^{++}$ code to calculate such a number for all $1\leq n \leq 100$ are also given.


title: PAC Reinforcement Learning without Real-World Feedback

abstract: This work studies reinforcement learning in the Sim-to-Real setting, in which an agent is first trained on a number of simulators before being deployed in the real world, with the aim of decreasing the real-world sample complexity requirement. Using a dynamic model known as a rich observation Markov decision process (ROMDP), we formulate a theoretical framework for Sim-to-Real in the situation where feedback in the real world is not available. We establish real-world sample complexity guarantees that are smaller than what is currently known for directly (i.e., without access to simulators) learning a ROMDP with feedback.


title: Supercuspidal representations of $\mathrm{GL}_{n}(F)$ distinguished by a unitary involution

abstract: Let $F/F_{0}$ be a quadratic extension of non-archimedean locally compact fields of residue characteristic $p\neq 2$. Let $R$ be an algebraically closed field of characteristic different from $p$. For $\pi$ a supercuspidal representation of $G=\mathrm{GL}_{n}(F)$ over $R$ and $G^{\tau}$ a unitary group in $n$ variables contained in $G$, we prove that $\pi$ is distinguished by $G^{\tau}$ if and only if $\pi$ is Galois invariant. When $R=\mathbb{C}$ and $F$ is a $p$-adic field, this result first as a conjecture proposed by Jacquet was proved in 2010's by Feigon-Lapid-Offen by using global method. Our proof is local which works for both complex case and $l$-modular case with $l\neq p$. We further study the dimension of $\mathrm{Hom}_{G^{\tau}}(\pi,1)$ and show that it is at most one.


title: Efficient Stochastic Programming in Julia

abstract: We present StochasticPrograms.jl, a user-friendly and powerful open-source framework for stochastic programming written in the Julia language. The framework includes both modeling tools and structure-exploiting optimization algorithms. Stochastic programming models can be efficiently formulated using expressive syntax and models can be instantiated, inspected, and analyzed interactively. The framework scales seamlessly to distributed environments. Small instances of a model can be run locally to ensure correctness, while larger instances are automatically distributed in a memory-efficient way onto supercomputers or clouds and solved using parallel optimization algorithms. These structure-exploiting solvers are based on variations of the classical L-shaped and progressive-hedging algorithms. We provide a concise mathematical background for the various tools and constructs available in the framework, along with code listings exemplifying their usage. Both software innovations related to the implementation of the framework and algorithmic innovations related to the structured solvers are highlighted. We conclude by demonstrating strong scaling properties of the distributed algorithms on numerical benchmarks in a multi-node setup.


title: Pelvis Surface Estimation From Partial CT for Computer-Aided Pelvic Osteotomies

abstract: Computer-aided surgical systems commonly use preoperative CT scans when performing pelvic osteotomies for intraoperative navigation. These systems have the potential to improve the safety and accuracy of pelvic osteotomies, however, exposing the patient to radiation is a significant drawback. In order to reduce radiation exposure, we propose a new smooth extrapolation method leveraging a partial pelvis CT and a statistical shape model (SSM) of the full pelvis in order to estimate a patient's complete pelvis. A SSM of normal, complete, female pelvis anatomy was created and evaluated from 42 subjects. A leave-one-out test was performed to characterise the inherent generalisation capability of the SSM. An additional leave-one-out test was conducted to measure performance of the smooth extrapolation method and an existing "cut-and-paste" extrapolation method. Unknown anatomy was simulated by keeping the axial slices of the patient's acetabulum intact and varying the amount of the superior iliac crest retained; from 0% to 15% of the total pelvis extent. The smooth technique showed an average improvement over the cut-and-paste method of 1.31 mm and 3.61 mm, in RMS and maximum surface error, respectively. With 5% of the iliac crest retained, the smoothly estimated surface had an RMS surface error of 2.21 mm, an improvement of 1.25 mm when retaining none of the iliac crest. This anatomical estimation method creates the possibility of a patient and surgeon benefiting from the use of a CAS system and simultaneously reducing the patient's radiation exposure.


title: $G_2$ Holonomy, Taubes' Construction of Seiberg-Witten Invariants and Superconducting Vortices

abstract: Using a reformulation of topological ${\cal N}=2$ QFT's in M-theory setup, where QFT is realized via M5 branes wrapping co-associative cycles in a $G_2$ manifold constructed from the space of self-dual 2-forms over $X^4$, we show that superconducting vortices are mapped to M2 branes stretched between M5 branes. This setup provides a physical explanation of Taubes' construction of the Seiberg-Witten invariants when $X^4$ is symplectic and the superconducting vortices are realized as pseudo-holomorphic curves. This setup is general enough to realize topological QFT's arising from ${\cal N}=2$ QFT's from all Gaiotto theories on arbitrary 4-manifolds.


title: Dynamics of moments of arbitrary order for stochastic Poisson squeezings

abstract: The explicit dynamics of the moments for the GKSL equation is obtained. In our case the GKSL equation corresponds to Poisson stochastic processes which lead to unitary jumps. We consider squeeze operators as the unitary jumps.


title: Necessary and Sufficient Geometries for Gradient Methods

abstract: We study the impact of the constraint set and gradient geometry on the convergence of online and stochastic methods for convex optimization, providing a characterization of the geometries for which stochastic gradient and adaptive gradient methods are (minimax) optimal. In particular, we show that when the constraint set is quadratically convex, diagonally pre-conditioned stochastic gradient methods are minimax optimal. We further provide a converse that shows that when the constraints are not quadratically convex---for example, any $\ell_p$-ball for $p < 2$---the methods are far from optimal. Based on this, we can provide concrete recommendations for when one should use adaptive, mirror or stochastic gradient methods.


title: Generalizations of Reflected Entropy and the Holographic Dual

abstract: We introduce a new class of quantum and classical correlation measures by generalizing the reflected entropy to multipartite states. We define the new measures for quantum systems in one spatial dimension. For quantum systems having gravity duals, we show that the holographic duals of these new measures are various types of minimal surfaces consist of different entanglement wedge cross sections. One special generalized reflected entropy is $\Delta_R$, with the holographic dual proportional to the so called multipartite entanglement wedge cross section $\Delta_W$ defined before. We then perform a large $c$ computation of $\Delta_R$ and find precise agreement with the holographic computation of 2$\Delta_{W}$. This agreement shows another candidate $\Delta_R$ as the dual of $\Delta_W$ and also supports our holographic conjecture of the new class of generalized reflected entropies.


title: On the Whittle estimator for linear random noise spectral density parameter in continuous-time nonlinear regression models

abstract: A continuous-time nonlinear regression model with L\'evy-driven linear noise process is considered. Sufficient conditions of consistency and asymptotic normality of the Whittle estimator for the parameter of the noise spectral density are obtained in the paper.


title: On the H$_2$ abundance and ortho-to-para ratio in Titan's troposphere

abstract: We have analyzed spectra recorded between 50 and 650 cm$^{-1}$ by the Composite Infrared Spectrometer (CIRS) aboard the Cassini spacecraft at low and high emission angles to determine simultaneously the H$_2$ mole fraction and ortho-to-para ratio in Titan's troposphere. We used constraints from limb spectra between 50 and 900 cm$^{-1}$ and from in situ measurements by the Huygens probe to characterize the temperature, haze and gaseous absorber profiles. We confirm that the N$_2$-CH$_4$ collision-induced absorption (CIA) coefficients used up to now need to be increased by about 52% at temperatures of 70-85 K. We find that the N$_2$-N$_2$ CIA coefficients are also too low in the N$_2$ band far wing, beyond 110 cm$^{-1}$, in agreement with recent quantum mechanical calculations. We derived a H$_2$ mole fraction equal to (0.88 $\pm$ 0.13) $\times$ 10$^{-3}$, which pertains to the $\sim$1-34 km altitude range probed by the S$_0$(0) and S$_0$(1) lines. The H$_2$ para fraction is close to equilibrium in the 20-km region. We have investigated different mechanisms that may operate in Titan's atmosphere to equilibrate the H$_2$ o-p ratio and we have developed a one-dimensional model that solves the continuity equation in presence of such conversion mechanisms. We conclude that exchange with H atoms in the gas phase or magnetic interaction of H$_2$ in a physisorbed state on the surface of aerosols are too slow compared with atmospheric mixing to play a significant role. On the other hand, magnetic interaction of H$_2$ with CH$_4$, and to a lesser extent N$_2$, can operate on a timescale similar to the vertical mixing time in the troposphere. This process is thus likely responsible for the o-p equilibration of H$_2$ in the mid-troposphere implied by CIRS measurements.


title: The Multiple Point Principle and Extended Higgs Sectors

abstract: The Higgs boson quartic self-coupling in the Standard Model appears to become zero just below the Planck scale, with interesting implications to the stability fo the Higgs vacuum at high energies. We review the Multiple Point Principle that suggests the quartic self-coupling should vanish exactly at the Planck scale. Although this vanishing is not consistent with the Standard Model, we investigate Higgs sectors extended with additional states to test whether one may satisfy the high scale boundary condition while maintaining the observed Higgs mass. We also test these scenarios to ensure the stability of the vacuum at all energies below the the Planck scale and confront them with experimental results from the LHC and Dark Matter experiments.


title: Counting Phylogenetic Networks of level 1 and 2

abstract: Phylogenetic networks generalize phylogenetic trees, and have been introduced in order to describe evolution in the case of transfer of genetic material between coexisting species. There are many classes of phylogenetic networks, which can all be modeled as families of graphs with labeled leaves. In this paper, we focus on rooted and unrooted level-k networks and provide enumeration formulas (exact and asymptotic) for rooted and unrooted level-1 and level-2 phylogenetic networks with a given number of leaves. We also prove that the distribution of some parameters of these networks (such as their number of cycles) are asymptotically normally distributed. These results are obtained by first providing a recursive description (also called combinatorial specification) of our networks, and by next applying classical methods of enumerative, symbolic and analytic combinatorics.


title: Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods

abstract: The Optimal Power Flow (OPF) problem is a fundamental building block for the optimization of electrical power systems. It is nonlinear and nonconvex and computes the generator setpoints for power and voltage, given a set of load demands. It is often needed to be solved repeatedly under various conditions, either in real-time or in large-scale studies. This need is further exacerbated by the increasing stochasticity of power systems due to renewable energy sources in front and behind the meter. To address these challenges, this paper presents a deep learning approach to the OPF. The learning model exploits the information available in the prior states of the system (which is commonly available in practical applications), as well as a dual Lagrangian method to satisfy the physical and engineering constraints present in the OPF. The proposed model is evaluated on a large collection of realistic power systems. The experimental results show that its predictions are highly accurate with average errors as low as 0.2%. Additionally, the proposed approach is shown to improve the accuracy of widely adopted OPF linear DC approximation by at least two orders of magnitude.


title: Next Generation Terahertz Communications: A Rendezvous of Sensing, Imaging, and Localization

abstract: Terahertz (THz)-band communications are celebrated as a key enabling technology for next-generation wireless systems that promises to integrate a wide range of data-demanding and delay-sensitive applications. Following recent advancements in optical, electronic, and plasmonic transceiver design, integrated, adaptive, and efficient THz systems are no longer far-fetched. In this paper, we present a progressive vision of how the traditional "THz gap" will transform into a "THz rush" over the next few years. We posit that the breakthrough that the THz band will introduce will not be solely driven by achievable high data rates, but more profoundly by the interaction between THz sensing, imaging, and localization applications. We first detail the peculiarities of each of these applications at the THz band. Then, we illustrate how their coalescence results in enhanced environment-aware system performance in beyond-5G use cases. We further discuss the implementation aspects of this merging of applications in the context of shared and dedicated resource allocation, highlighting the role of machine learning.


title: Complex hybridization physics and evidence of structural anomaly to be a bulk property in an exotic Fe-based compound, CaFe2As2

abstract: Surface of quantum materials often exhibits significantly different behavior than the bulk due to changed topologies and symmetry protections. The outstanding problem is to find out if the exoticity of a material is linked to the changed topology at the surface or it is a bulk property. Hard x-ray photoemission spectroscopy (HAXPES) is a significantly bulk sensitive technique (escape depth of valence electrons is about 40 \AA\ for 6 keV photon energy) and the probing depth can be tuned by changing the electron emission angle. Therefore, HAXPES is often used to reveal the surface-bulk differences in a material. Here, we show that the delineation of surface-bulk differences in the valence band spectral functions using this method is highly non-trivial due to the complexity arising from linear dichroic effect in addition to the change in surface sensitivity. We show that core level spectra can be used to reveal the surface-bulk differences in the electronic structure. The Ca 2p spectra exhibit evidence of significant hybridization with the conduction electrons revealing their importance in the electronic properties of the system as also found for the charge reservoir layers in cuprate superconductors. The Fe 2p core level spectra as a function of bulk sensitivity and temperature reveals an unusual scenario; while the surface electronic structure corroborates well with the observed phase transitions of the system, the bulk spectra exhibit signature of additional structural phases providing a rare evidence of structural anomaly to be a bulk property.


title: Mechanics of good trade execution in the framework of linear temporary market impact

abstract: We define the concept of good trade execution and we construct explicit adapted good trade execution strategies in the framework of linear temporary market impact. Good trade execution strategies are dynamic, in the sense that they react to the actual realisation of the traded asset price path over the trading period; this is paramount in volatile regimes, where price trajectories can considerably deviate from their expected value. Remarkably however, the implementation of our strategies does not require the full specification of an SDE evolution for the traded asset price, making them robust across different models. Moreover, rather than minimising the expected trading cost, good trade execution strategies minimise trading costs in a pathwise sense, a point of view not yet considered in the literature. The mathematical apparatus for such a pathwise minimisation hinges on certain random Young differential equations that correspond to the Euler-Lagrange equations of the classical Calculus of Variations. These Young differential equations characterise our good trade execution strategies in terms of an initial value problem that allows for easy implementations.


title: Kelley's Theorem and Some Related Results

abstract: We give an elementary proof of Kelley's theorem based on a minimax argument. Some applications to related problems are also developed.


title: Dynamic Mode Decomposition: Theory and Data Reconstruction

abstract: Dynamic Mode Decomposition (DMD) is a data-driven decomposition technique extracting spatio-temporal patterns of time-dependent phenomena. In this paper, we perform a comprehensive theoretical analysis of various variants of DMD. We provide a systematic advancement of these and examine the interrelations. In addition, several results of each variant are proven. Our main result is the exact reconstruction property. To this end, a new modification of scaling factors is presented and a new concept of an error scaling is introduced to guarantee an error-free reconstruction of the data.


title: Model-Agnostic Linear Competitors -- When Interpretable Models Compete and Collaborate with Black-Box Models

abstract: Driven by an increasing need for model interpretability, interpretable models have become strong competitors for black-box models in many real applications. In this paper, we propose a novel type of model where interpretable models compete and collaborate with black-box models. We present the Model-Agnostic Linear Competitors (MALC) for partially interpretable classification. MALC is a hybrid model that uses linear models to locally substitute any black-box model, capturing subspaces that are most likely to be in a class while leaving the rest of the data to the black-box. MALC brings together the interpretable power of linear models and good predictive performance of a black-box model. We formulate the training of a MALC model as a convex optimization. The predictive accuracy and transparency (defined as the percentage of data captured by the linear models) balance through a carefully designed objective function and the optimization problem is solved with the accelerated proximal gradient method. Experiments show that MALC can effectively trade prediction accuracy for transparency and provide an efficient frontier that spans the entire spectrum of transparency.


title: Collaborative Intelligent Cross-Camera Video Analytics at Edge: Opportunities and Challenges

abstract: Nowadays, video cameras are deployed in large scale for spatial monitoring of physical places (e.g., surveillance systems in the context of smart cities). The massive camera deployment, however, presents new challenges for analyzing the enormous data, as the cost of high computational overhead of sophisticated deep learning techniques imposes a prohibitive overhead, in terms of energy consumption and processing throughput, on such resource-constrained edge devices. To address these limitations, this paper envisions a collaborative intelligent cross-camera video analytics paradigm at the network edge in which camera nodes adjust their pipelines (e.g., inference) to incorporate correlated observations and shared knowledge from other nodes' contents. By harassing redundant spatio-temporal to reduce the size of the inference search space in one hand, and intelligent collaboration between video nodes on the other, we discuss how such collaborative paradigm can considerably improve accuracy, reduce latency and decrease communication bandwidth compared to non-collaborative baselines. This paper also describes major opportunities and challenges in realizing such a paradigm.


title: Hierarchical Point-Edge Interaction Network for Point Cloud Semantic Segmentation

abstract: We achieve 3D semantic scene labeling by exploring semantic relation between each point and its contextual neighbors through edges. Besides an encoder-decoder branch for predicting point labels, we construct an edge branch to hierarchically integrate point features and generate edge features. To incorporate point features in the edge branch, we establish a hierarchical graph framework, where the graph is initialized from a coarse layer and gradually enriched along the point decoding process. For each edge in the final graph, we predict a label to indicate the semantic consistency of the two connected points to enhance point prediction. At different layers, edge features are also fed into the corresponding point module to integrate contextual information for message passing enhancement in local regions. The two branches interact with each other and cooperate in segmentation. Decent experimental results on several 3D semantic labeling datasets demonstrate the effectiveness of our work.


title: Improving Generative Visual Dialog by Answering Diverse Questions

abstract: Prior work on training generative Visual Dialog models with reinforcement learning(Das et al.) has explored a Qbot-Abot image-guessing game and shown that this 'self-talk' approach can lead to improved performance at the downstream dialog-conditioned image-guessing task. However, this improvement saturates and starts degrading after a few rounds of interaction, and does not lead to a better Visual Dialog model. We find that this is due in part to repeated interactions between Qbot and Abot during self-talk, which are not informative with respect to the image. To improve this, we devise a simple auxiliary objective that incentivizes Qbot to ask diverse questions, thus reducing repetitions and in turn enabling Abot to explore a larger state space during RL ie. be exposed to more visual concepts to talk about, and varied questions to answer. We evaluate our approach via a host of automatic metrics and human studies, and demonstrate that it leads to better dialog, ie. dialog that is more diverse (ie. less repetitive), consistent (ie. has fewer conflicting exchanges), fluent (ie. more human-like),and detailed, while still being comparably image-relevant as prior work and ablations.


title: Subpacketization in Coded Caching with Demand Privacy

abstract: Coded caching is a technique where we utilize multi-casting opportunities to reduce rate in cached networks. One limitation of coded caching schemes is that they reveal the demands of all users to their peers. In this work, we consider coded caching schemes that assure privacy for user demands with a particular focus on reducing subpacketization. For the 2-user, 2-file case, we present a new linear demand-private scheme with the lowest possible subpacketization. This is done by presenting the scheme explicitly and proving impossibility results under lower subpacketization. Additionally, when only partial privacy is required, we show that subpacketization can be significantly reduced when there are a large number of files.


title: Event-triggered boundary control of constant-parameter reaction-diffusion PDEs: a small-gain approach

abstract: This paper deals with an event-triggered boundary control of constant-parameters reaction-diffusion PDE systems. The approach relies on the emulation of backstepping control along with a suitable triggering condition which establishes the time instants at which the control value needs to be sampled/updated. In this paper, it is shown that under the proposed event-triggered boundary control, there exists a minimal dwell-time (independent of the initial condition) between two triggering times and furthermore the well-posedness and global exponential stability are guaranteed. The analysis follows small-gain arguments and builds on recent papers on sampled-data control for this kind of PDE. A simulation example is presented to validate the theoretical results.


title: Hydrocephalus verification on brain magnetic resonance images with deep convolutional neural networks and "transfer learning" technique

abstract: The hydrocephalus can be either an independent disease or a concomitant symptom of a number of pathologies, therefore representing an urgent issue in the present-day clinical practice. Deep Learning is an evolving technology and the part of a broader field of Machine Learning. Deep learning is currently actively researched in the field of radiology. The aim of this study was to evaluate deep learning applicability to the diagnostics of hydrocephalus with the use of MRI images. We retrospectively collected, annotated, and preprocessed the brain MRI data of 200 patients with and without radiological signs of hydrocephalus. We applied a state-of-the-art deep convolutional neural network in conjunction with transfer learning method to train a hydrocephalus classifier model. Using deep convolutional neural networks, we achieved a high quality of machine learning model. Accuracy, sensitivity, and specificity of hydrocephalus signs identification was 97%, 98%, and 96% respectively. In this study, we demonstrated the capacity of deep neural networks to identify hydrocephalus syndrome using brain MRI images. Applying transfer learning technique, the high quality of classification was achieved although trained on rather limited data.


title: Microlocal analysis of the bulk-edge correspondence

abstract: The bulk-edge correspondence predicts that interfaces between topological insulators support robust currents. We prove this principle for PDEs that are periodic away from an interface. Our approach relies on semiclassical methods. It suggests novel perspectives for the analysis of topologically protected transport.


title: String Diagrams for Assembly Planning

abstract: Assembly planning is a difficult problem for companies. Many disciplines such as design, planning, scheduling, and manufacturing execution need to be carefully engineered and coordinated to create successful product assembly plans. Recent research in the field of design for assembly has proposed new methodologies to design product structures in such a way that their assembly is easier. However, present assembly planning approaches lack the engineering tool support to capture all the constraints associated to assembly planning in a unified manner. This paper proposes CompositionalPlanning, a string diagram based framework for assembly planning. In the proposed framework, string diagrams and their compositional properties serve as the foundation for an engineering tool where CAD designs interact with planning and scheduling algorithms to automatically create high-quality assembly plans. These assembly plans are then executed in simulation to measure their performance and to visualize their key build characteristics. We demonstrate the versatility of this approach in the LEGO assembly domain. We developed two reference LEGO CAD models that are processed by CompositionalPlanning's algorithmic pipeline. We compare sequential and parallel assembly plans in a Minecraft simulation and show that the time-to-build performance can be optimized by our algorithms.


title: Research Directions in Democratizing Innovation through Design Automation, One-Click Manufacturing Services and Intelligent Machines

abstract: The digitalization of manufacturing has created opportunities for consumers to customize products that fit their individualized needs which in turn would drive demand for manufacturing services. However, this pull-based manufacturing system production of extremely low quantity and limitless variety for products is expensive to implement. New emerging technology in design automation driven by data-driven computational design, manufacturing-as-a-service marketplaces and digitally enabled micro-factories holds promise towards democratization of innovation. In this paper, scientific, technology and infrastructure challenges are identified and if solved, the impact of these emerging technologies on product innovation and future factory organization is discussed.


title: Community Detection and Improved Detectability in Multiplex Networks

abstract: We investigate the widely encountered problem of detecting communities in multiplex networks, such as social networks, with an unknown arbitrary heterogeneous structure. To improve detectability, we propose a generative model that leverages the multiplicity of a single community in multiple layers, with no prior assumption on the relation of communities among different layers. Our model relies on a novel idea of incorporating a large set of generic localized community label constraints across the layers, in conjunction with the celebrated Stochastic Block Model (SBM) in each layer. Accordingly, we build a probabilistic graphical model over the entire multiplex network by treating the constraints as Bayesian priors. We mathematically prove that these constraints/priors promote existence of identical communities across layers without introducing further correlation between individual communities. The constraints are further tailored to render a sparse graphical model and the numerically efficient Belief Propagation algorithm is subsequently employed. We further demonstrate by numerical experiments that in the presence of consistent communities between different layers, consistent communities are matched, and the detectability is improved over a single layer. We compare our model with a "correlated model" which exploits the prior knowledge of community correlation between layers. Similar detectability improvement is obtained under such a correlation, even though our model relies on much milder assumptions than the correlated model. Our model even shows a better detection performance over a certain correlation and signal to noise ratio (SNR) range. In the absence of community correlation, the correlation model naturally fails, while ours maintains its performance.


title: Neutrino Oscillations in Dark Matter

abstract: We study neutrino oscillations in a medium of dark matter which generalizes the standard matter effect. A general formula is derived to describe the effect of various mediums and their mediators to neutrinos. Neutrinos and anti-neutrinos receive opposite contributions from asymmetric distribution of (dark) matter and anti-matter, and thus it could appear in precision measurement of neutrino or anti-neutrino oscillations. Furthermore, the standard neutrino oscillation can occur from the symmetric dark matter effect even for massless neutrinos.


title: Solitary zonal structures in subcritical drift waves: a minimum model

abstract: Solitary zonal structures have recently been identified in gyrokinetic simulations of subcritical drift-wave (DW) turbulence with background shear flows. However, the nature of these structures has not been fully understood yet. Here, we show that similar structures can be obtained within a reduced model, which complements the modified Hasegawa-Mima equation with a generic primary instability and a background shear flow. We also find that these structures can be qualitatively reproduced in the modified Hasegawa-Wakatani equation, which subsumes the reduced model as a limit. In particular, we illustrate that in both cases, the solitary zonal structures approximately satisfy the same ''equation of state'', which is a local relation connecting the DW envelope with the zonal-flow velocity. Due to this generality, our reduced model can be considered as a minimum model for solitary zonal structures in subcritical DWs.


title: FENCE: Feasible Evasion Attacks on Neural Networks in Constrained Environments

abstract: As advances in Deep Neural Networks (DNNs) demonstrate unprecedented levels of performance in many critical applications, their vulnerability to attacks is still an open question. We consider evasion attacks at testing time against Deep Learning in constrained environments, in which dependencies between features need to be satisfied. These situations may arise naturally in tabular data or may be the result of feature engineering in specific application domains, such as threat detection in cyber security. We propose a general iterative gradient-based framework called FENCE for crafting evasion attacks that take into consideration the specifics of constrained domains and application requirements. We apply it against Feed-Forward Neural Networks trained for two cyber security applications: network traffic botnet classification and malicious domain classification, to generate feasible adversarial examples. We extensively evaluate the success rate and performance of our attacks, compare their improvement over several baselines, and analyze factors that impact the attack success rate, including the optimization objective and the data imbalance. We show that with minimal effort (e.g., generating 12 additional network connections), an attacker can change the model's prediction from the Malicious class to Benign and evade the classifier. We show that models trained on datasets with higher imbalance are more vulnerable to our FENCE attacks. Finally, we demonstrate the potential of performing adversarial training in constrained domains to increase the model resilience against these evasion attacks.


title: Cross-Lingual Natural Language Generation via Pre-Training

abstract: In this work we focus on transferring supervision signals of natural language generation (NLG) tasks between multiple languages. We propose to pretrain the encoder and the decoder of a sequence-to-sequence model under both monolingual and cross-lingual settings. The pre-training objective encourages the model to represent different languages in the shared space, so that we can conduct zero-shot cross-lingual transfer. After the pre-training procedure, we use monolingual data to fine-tune the pre-trained model on downstream NLG tasks. Then the sequence-to-sequence model trained in a single language can be directly evaluated beyond that language (i.e., accepting multi-lingual input and producing multi-lingual output). Experimental results on question generation and abstractive summarization show that our model outperforms the machine-translation-based pipeline methods for zero-shot cross-lingual generation. Moreover, cross-lingual transfer improves NLG performance of low-resource languages by leveraging rich-resource language data. Our implementation and data are available at https://github.com/CZWin32768/xnlg.


title: Superconductivity up to 243 K in yttrium hydrides under high pressure

abstract: The discovery of high-temperature conventional superconductivity in H3S with a critical temperature of Tc=203 K was followed by the recent record of Tc ~250 K in the face-centered cubic (fcc) lanthanum hydride LaH10 compound. It was realized in a new class of hydrogen-dominated compounds having a clathrate-like crystal structure in which hydrogen atoms form a 3D framework and surround a host atom of rare earth elements. Yttrium hydrides are predicted to have even higher Tc exceeding room temperature. In this paper, we synthesized and refined the crystal structure of new hydrides: YH4, YH6, and YH9 at pressures up to 237 GPa finding that YH4 crystalizes in the I4/mmm lattice, YH6 in Im-3m lattice and YH9 in P63/mmc lattice in excellent agreement with the calculations. The observed very high-temperature superconductivity is comparable to that found in fcc-LaH10: the pressure dependence of Tc for YH9 also displays a "dome like shape" with the highest Tc of 243 K at 201 GPa. We also observed a Tc of 227 K at 237 GPa for the YH6 phase. However, the measured Tcs are notably lower by ~30 K than predicted. Evidence for superconductivity includes the observation of zero electrical resistance, a decrease of Tc under an external magnetic field and an isotope effect. The theoretically predicted fcc YH10 with the promising highest Tc>300 K was not stabilized in our experiments under pressures up to 237 GPa.


title: $SU(4)$ description of bilayer skyrmion-antiskyrmion pairs

abstract: The antiferromagnetic coupling and entanglement between skyrmion lattices are treated in magnetic bilayer systems. We first formulate the problem of large bilayer skyrmions using $\mathbb{CP}^{1}\otimes \mathbb{CP}^{1}$ theory. We have considered bilayer skyrmions under the presence of Dzyaloshinskii-Moriya (DMI) and Zeeman interactions confined in a two-dimensional chiral magnet such as Fe$_{0.5}$Co$_{0.5}$Si. We parametrize bilayer skyrmions using $SU(4)$ representation, and represent each skyrmion and antiskyrmion using Schmidt decomposition. The reduced density matrices for skyrmion and antiskyrmion has been calculated. The conditions for maximal, partial entanglement and separable bilayer skyrmions are presented. Our results can be used for generating entanglement in systems with large number of spins.


title: All quantum resources provide an advantage in exclusion tasks

abstract: A key ingredient in quantum resource theories is a notion of measure. Such as a measure should have a number of fundamental properties, and desirably also a clear operational meaning. Here we show that a natural measure known as the convex weight, which quantifies the resource cost of a quantum device, has all the desired properties. In particular, the convex weight of any quantum resource corresponds exactly to the relative advantage it offers in an exclusion task. After presenting the general result, we show how the construction works for state assemblages, sets of measurements and sets of transformations. Moreover, in order to bound the convex weight analytically, we give a complete characterisation of the convex components and corresponding weights of such devices.


title: Global fluid fits to identified particle transverse momentum spectra from heavy-ion collisions at the Large Hadron Collider

abstract: Transverse momentum spectra of identified particles produced in heavy-ion collisions at the Large Hadron Collider are described with relativistic fluid dynamics. We perform a systematic comparison of experimental data for pions, kaons and protons up to a transverse momentum of 3 GeV$/c$ with calculations using the FluiduM code package to solve the evolution equations of fluid dynamics, the TrENTo model to describe the initial state and the FastReso code to take resonance decays into account. Using data in five centrality classes at the center-of-mass collision energy per nucleon pair $\sqrt{s_\text{NN}}=2.76\,\text{TeV}$, we determine systematically the most likely parameters of our theoretical model including the shear and bulk viscosity to entropy ratios, the initialization time, initial density and freeze-out temperature through a global search and quantify their posterior probability. This is facilitated by the very efficient numerical implementation of FluiduM and FastReso. Based on the most likely model parameters we present predictions for the transverse momentum spectra of multi-strange hadrons as well as identified particle spectra from Pb-Pb collisions at $\sqrt{s_\text{NN}}=5.02\,\text{TeV}$.


title: Operational interpretation of weight-based resource quantifiers in convex quantum resource theories of states

abstract: We introduce the resource quantifier of weight of resource for convex quantum resource theories of states with arbitrary resources. We show that it captures the advantage that a resourceful state offers over all possible free states, in the operational task of exclusion of subchannels. Furthermore, we introduce information-theoretic quantities related to exclusion and find a connection between the weight of resource of a state, and the exclusion-type information of ensembles it can generate. These results provide support to a recent conjecture made in the context of convex quantum resource theories of measurements, about the existence of a weight-exclusion correspondence whenever there is a robustness-discrimination one. The results found in this article apply to the resource theory of entanglement, in which the weight of resource is known as the best-separable approximation or Lewenstein-Sanpera decomposition, introduced in 1998. Consequently, the results found here provide an operational interpretation to this 21 year-old entanglement quantifier.


title: Observing EeV neutrinos through the Earth: GZK and the anomalous ANITA events

abstract: Tau neutrinos are unique cosmic messengers, especially at extreme energies. When they undergo a charged-current interaction, the short lifetime of the produced tau gives rise to secondary tau neutrinos that carry a significant fraction of the primary neutrino energy. This effect, known as tau neutrino regeneration, has not been applied to its full potential in current generation neutrino experiments. In this work, we present an updated calculation of tau neutrino regeneration, and explore its implications for two scenarios: the recent anomalous ANITA events and the cosmogenic neutrino flux. For the former, we investigate the idea of localized emission and find that the maximum secondary neutrino flux allowed by IceCube measurements implies a primary flux that is incompatible with the ANITA observation, regardless of the assumed source energy spectrum. For the latter, we study the prospect of detecting the cosmogenic neutrino flux of regenerated PeV neutrinos with current and next generation neutrino detectors.


title: Learning a Control Policy for Fall Prevention on an Assistive Walking Device

abstract: Fall prevention is one of the most important components in senior care. We present a technique to augment an assistive walking device with the ability to prevent falls. Given an existing walking device, our method develops a fall predictor and a recovery policy by utilizing the onboard sensors and actuators. The key component of our method is a robust human walking policy that models realistic human gait under a moderate level of perturbations. We use this human walking policy to provide training data for the fall predictor, as well as to teach the recovery policy how to best modify the person's gait when a fall is imminent. Our evaluation shows that the human walking policy generates walking sequences similar to those reported in biomechanics literature. Our experiments in simulation show that the augmented assistive device can indeed help recover balance from a variety of external perturbations. We also provide a quantitative method to evaluate the design choices for an assistive device.


title: On the Distance between Timed Automata

abstract: The problem of inclusion of the language accepted by timed automaton $A$ (e.g., the implementation) in the language accepted by $B$ (e.g., the specification) is, in general, undecidable in the class of non-deterministic timed automata. In order to tackle this disturbing problem we show how to effectively construct deterministic timed automata $A_d$ and $B_d$ that are discretizations (digitizations) of the non-deterministic timed automata $A$ and $B$ and differ from the original automata by at most $\frac{1}{6}$ time units on each occurrence of an event. Language inclusion in the discretized timed automata is decidable and it is also decidable when instead of $\mathfrak{L}(B)$ we consider $\overline{\mathfrak{L}(B)}$, the closure of ${\mathfrak{L}(B)}$ in the Euclidean topology: if $\mathfrak{L}(A_d) \nsubseteq \mathfrak{L}(B_d)$ then $\mathfrak{L}(A) \nsubseteq \mathfrak{L}(B)$ and if $\mathfrak{L}(A_d) \subseteq \mathfrak{L}(B_d)$ then $\mathfrak{L}(A) \subseteq \overline{\mathfrak{L}(B)}$. Moreover, if $\mathfrak{L}(A_d) \nsubseteq \mathfrak{L}(B_d)$ we would like to know how far away is $\mathfrak{L}(A_d)$ from being included in $\mathfrak{L}(B_d)$. For that matter we define the distance between the languages of timed automata as the limit on how far away a timed trace of one timed automaton can be from the closest timed trace of the other timed automaton. We then show how one can decide under some restriction whether the distance between two timed automata is finite or infinite.


title: Does magnetic field impact tidal dynamics inside the convective zone of low-mass stars along their evolution?

abstract: The dissipation of the kinetic energy of wave-like tidal flows within the convective envelope of low-mass stars is one of the key physical mechanisms that shapes the orbital and rotational dynamics of short-period exoplanetary systems. Although low-mass stars are magnetically active objects, the question of how the star's magnetic field impacts large-scale tidal flows and the excitation, propagation and dissipation of tidal waves still remains open. Our goal is to investigate the impact of stellar magnetism on the forcing of tidal waves, and their propagation and dissipation in the convective envelope of low-mass stars as they evolve. We have estimated the amplitude of the magnetic contribution to the forcing and dissipation of tidally induced magneto-inertial waves throughout the structural and rotational evolution of low-mass stars (from M to F-type). For this purpose, we have used detailed grids of rotating stellar models computed with the stellar evolution code STAREVOL. The amplitude of dynamo-generated magnetic fields is estimated via physical scaling laws at the base and the top of the convective envelope. We find that the large-scale magnetic field of the star has little influence on the excitation of tidal waves in the case of nearly-circular orbits and coplanar hot-Jupiter planetary systems, but that it has a major impact on the way waves are dissipated. Our results therefore indicate that a full magneto-hydrodynamical treatment of the propagation and dissipation of tidal waves is needed to properly assess the impact of star-planet tidal interactions throughout the evolutionary history of low-mass stars hosting short-period massive planets.


title: Reduced network extremal ensemble learning (RenEEL) scheme for community detection in complex networks

abstract: We introduce an ensemble learning scheme for community detection in complex networks. The scheme uses a Machine Learning algorithmic paradigm we call Extremal Ensemble Learning. It uses iterative extremal updating of an ensemble of network partitions, which can be found by a conventional base algorithm, to find a node partition that maximizes modularity. At each iteration, core groups of nodes that are in the same community in every ensemble partition are identified and used to form a reduced network. Partitions of the reduced network are then found and used to update the ensemble. The smaller size of the reduced network makes the scheme efficient. We use the scheme to analyze the community structure in a set of commonly studied benchmark networks and find that it outperforms all other known methods for finding the partition with maximum modularity.

categories: physics.soc-ph cond-mat.stat-mech cs.LG cs.SI


title: Modeling Peoples Voting Behavior with Poll Information

abstract: Despite the prevalence of voting systems in the real world there is no consensus among researchers of how people vote strategically, even in simple voting settings. This paper addresses this gap by comparing different approaches that have been used to model strategic voting, including expected utility maximization, heuristic decisionmaking, and bounded rationality models. The models are applied to data collected from hundreds of people in controlled voting experiments, where people vote after observing non-binding poll information. We introduce a new voting model, the Attainability- Utility (AU) heuristic, which weighs the popularity of a candidate according to the poll, with the utility of the candidate to the voter. We argue that the AU model is cognitively plausible, and show that it is able to predict peoples voting behavior significantly better than other models from the literature. It was almost at par with (and sometimes better than) a machine learning algorithm that uses substantially more information. Our results provide new insights into the strategic considerations of voters, that undermine the prevalent assumptions of much theoretical work in social choice.


title: Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts

abstract: Improving the effectiveness and safety of patient care is the ultimate objective for medical cyber-physical systems. Many medical best practice guidelines exist, but most of the existing guidelines in handbooks are difficult for medical staff to remember and apply clinically. Furthermore, although the guidelines have gone through clinical validations, validations by medical professionals alone do not provide guarantees for the safety of medical cyber-physical systems. Hence, formal verification is also needed. The paper presents the formal semantics for a framework that we developed to support the development of verifiably safe medical guidelines. The framework allows computer scientists to work together with medical professionals to transform medical best practice guidelines into executable statechart models, Yakindu in particular, so that medical functionalities and properties can be quickly prototyped and validated. Existing formal verification technologies, UPPAAL timed automata in particular, is integrated into the framework to provide formal verification capabilities to verify safety properties. However, some components used/built into the framework, such as the open-source Yakindu statecharts as well as the transformation rules from statecharts to timed automata, do not have built-in semantics. The ambiguity becomes unavoidable unless formal semantics is defined for the framework, which is what the paper is to present.


title: Presentations of Groups with Even Length Relations

abstract: We study the properties of groups that have presentations in which the square of each generator gives the identity and all relations are of even length. We consider the parabolic subgroups of such a group and show that every element has a factorisation with respect to a given parabolic subgroup. Furthermore, we give a counterexample, using a cluster group presentation, which demonstrates that this factorisation is not necessarily unique.


title: Probing Doubly and Singly Charged Higgs at $pp$ Collider HE-LHC

abstract: We analyse the signal sensitivity of multi-lepton final states at collider that can arise from doubly and singly charged Higgs decay in a type-II seesaw framework. We assume triplet vev to be very small and degenerate masses for both the charged Higgs states. The leptonic branching ratio of doubly and singly charged Higgs states have a large dependency on the neutrino oscillation parameters, lightest neutrino mass scale, as well as neutrino mass hierarchy. We explore this as well as the relation between the leptonic branching ratios of the singly and doubly charged Higgs states in detail. We evaluate the effect of these uncertainties on the production cross-section. Finally, we present a detailed analysis of multi-lepton final states for a future hadron collider HE-LHC, that can operate with center of mass energy $\sqrt{s}=27$ TeV.


title: Swarm Relays: Distributed Self-Healing Ground-and-Air Connectivity Chains

abstract: The coordination of robot swarms - large decentralized teams of robots - generally relies on robust and efficient inter-robot communication. Maintaining communication between robots is particularly challenging in field deployments. Unstructured environments, limited computational resources, low bandwidth, and robot failures all contribute to the complexity of connectivity maintenance. In this paper, we propose a novel lightweight algorithm to navigate a group of robots in complex environments while maintaining connectivity by building a chain of robots. The algorithm is robust to single robot failures and can heal broken communication links. The algorithm works in 3D environments: when a region is unreachable by wheeled robots, the chain is extended with flying robots. We test the performance of the algorithm using up to 100 robots in a physics-based simulator with three mazes and different robot failure scenarios. We then validate the algorithm with physical platforms: 7 wheeled robots and 6 flying ones, in homogeneous and heterogeneous scenarios.


title: On a century of extragalactic novae and the rise of the rapid recurrent novae

abstract: Novae are the observable outcome of a transient thermonuclear runaway on the surface of an accreting white dwarf in a close binary system. Their high peak luminosity renders them visible in galaxies out beyond the distance of the Virgo Cluster. Over the past century, surveys of extragalactic novae, particularly within the nearby Andromeda Galaxy, have yielded substantial insights regarding the properties of their populations and sub-populations. The recent decade has seen the first detailed panchromatic studies of individual extragalactic novae and the discovery of two probably related sub-groups: the 'faint-fast' and the 'rapid recurrent' novae. In this review we summarise the past 100 years of extragalactic efforts, introduce the rapid recurrent sub-group, and look in detail at the remarkable faint-fast, and rapid recurrent, nova M31N 2008-12a. We end with a brief look forward, not to the next 100 years, but the next few decades, and the study of novae in the upcoming era of wide-field and multi-messenger time-domain surveys.


title: The Cherenkov transparency coefficient for the atmospheric monitoring and array calibration at the Cherenkov Telescope Array South

abstract: Reconstruction of energies of very-high-energy gamma-rays observed by imaging atmospheric Cherenkov telescopes is affected by changes in the atmospheric conditions and the performance of telescope components. Reliable calibration schemes aimed at these effects are necessary for the forthcoming Cherenkov Telescope Array (CTA) to achieve its goals on the maximally allowed systematic uncertainty of the global energy scale. A possible means of estimating the atmospheric attenuation of Cherenkov light is the method of the Cherenkov transparency coefficient (CTC). The CTC is calculated using the telescope detection rates, dominated by the steady cosmic ray background, while properly correcting for the hardware and observational conditions. The coefficient can also be used to relatively calibrate the optical throughput of telescopes on the assumption of homogeneous atmospheric transparency above the array. Using Monte Carlo simulations, we investigate here the potential of the CTC method for the atmospheric monitoring and telescope cross-calibration at the CTA array in the southern hemisphere. We focus on the feasibility of the method for the array of telescopes of three sizes in different observation configurations and under various levels of atmospheric attenuation.


title: Continuous quivers of type A (I) Foundations

abstract: We generalize type $A$ quivers to continuous type $A$ quivers and prove initial results about pointwise finite-dimensional (pwf) representations. We classify the indecomosable pwf representations and provide a decomposition theorem, recovering results of Botnan and Crawley-Boevey. We also classify the indecomposable pwf projective representations. Finally, we prove that many of the properties of finite-dimensional type $A_n$ representations are present in finitely generated pwf representations. This is the self-contained foundational part of a series of works to study a generalization of continuous clusters categories and their relationship to other type $A$ cluster structures.


title: Constrained Attractor Selection Using Deep Reinforcement Learning

abstract: This paper describes an approach for attractor selection (or multi-stability control) in nonlinear dynamical systems with constrained actuation. Attractor selection is obtained using two different deep reinforcement learning methods: 1) the cross-entropy method (CEM) and 2) the deep deterministic policy gradient (DDPG) method. The framework and algorithms for applying these control methods are presented. Experiments were performed on a Duffing oscillator, as it is a classic nonlinear dynamical system with multiple attractors. Both methods achieve attractor selection under various control constraints. While these methods have nearly identical success rates, the DDPG method has the advantages of a high learning rate, low performance variance, and a smooth control approach. This study demonstrates the ability of two reinforcement learning approaches to achieve constrained attractor selection.


title: Beam Asymmetries ($\Sigma$) for $\pi^0$, $\eta$ and $\eta'$ in Photoproduction at GlueX

abstract: The GlueX experiment is a photoproduction experiment located at Thomas Jefferson National Lab in Newport News, Virginia. GlueX is capable of making beam asymmetry ($\Sigma$) measurements using a tagged, linearly-polarized 9 GeV photon beam incident on a hydrogen target. Measurements of the beam asymmetry for the exclusive reactions $\gamma p \rightarrow \pi^0 p$, $\gamma p \rightarrow \eta p$ and $\gamma p \rightarrow \eta' p$ will provide insight into the meson production mechanisms. GlueX measurements are the first beam asymmetry results for the $\eta$ and $\eta'$ in this energy range and are expected to further constrain Regge theory models for photoproduced pseudoscalar mesons. This talk will present preliminary results of the photon beam asymmetries as a function of the Mandelstam variable, t, for multiple $\eta$ decay modes and the $\eta'\rightarrow\pi^+\pi^-\eta$ decay mode.


title: Weighted Envy-Freeness in Indivisible Item Allocation

abstract: We introduce and analyze new envy-based fairness concepts for agents with weights that quantify their entitlements in the allocation of indivisible items. We propose two variants of weighted envy-freeness up to one item (WEF1): strong, where envy can be eliminated by removing an item from the envied agent's bundle, and weak, where envy can be eliminated either by removing an item (as in the strong version) or by replicating an item from the envied agent's bundle in the envying agent's bundle. We show that for additive valuations, an allocation that is both Pareto optimal and strongly WEF1 always exists and can be computed in pseudo-polynomial time; moreover, an allocation that maximizes the weighted Nash social welfare may not be strongly WEF1, but always satisfies the weak version of the property. Moreover, we establish that a generalization of the round-robin picking sequence algorithm produces in polynomial time a strongly WEF1 allocation for an arbitrary number of agents; for two agents, we can efficiently achieve both strong WEF1 and Pareto optimality by adapting the adjusted winner procedure. Our work highlights several aspects in which weighted fair division is richer and more challenging than its unweighted counterpart.


title: Computations with Greater Quantum Depth Are Strictly More Powerful (Relative to an Oracle)

abstract: A conjecture of Jozsa (arXiv:quant-ph/0508124) states that any polynomial-time quantum computation can be simulated by polylogarithmic-depth quantum computation interleaved with polynomial-depth classical computation. Separately, Aaronson conjectured that there exists an oracle $\mathcal{O}$ such that $\textrm{BQP}^{\mathcal{O}} \neq (\textrm{BPP}^\textrm{BQNC})^{\mathcal{O}}$. These conjectures are intriguing allusions to the unresolved potential of combining classical and low-depth quantum computation. In this work we show that the Welded Tree Problem, which is an oracle problem that can be solved in quantum polynomial time as shown by Childs et al. (arXiv:quant-ph/0209131), cannot be solved in $\textrm{BPP}^{\textrm{BQNC}}$, nor can it be solved in the class that Jozsa describes. This proves Aaronson's oracle separation conjecture and provides a counterpoint to Jozsa's conjecture relative to the Welded Tree oracle problem. More precisely, we define two complexity classes, $\textrm{HQC}$ and $\textrm{JC}$ whose languages are decided by two different families of interleaved quantum-classical circuits. $\textrm{HQC}$ contains $\textrm{BPP}^\textrm{BQNC}$ and is therefore relevant to Aaronson's conjecture, while $\textrm{JC}$ captures the model of computation that Jozsa considers. We show that the Welded Tree Problem gives an oracle separation between either of $\{\textrm{JC}, \textrm{HQC}\}$ and $\textrm{BQP}$. Therefore, even when interleaved with arbitrary polynomial-time classical computation, greater "quantum depth" leads to strictly greater computational ability in this relativized setting.


title: Spots, strips, and spiral waves in models for static and motile cells

abstract: The polarization and motility of eukaryotic cells depends on assembly and contraction of the actin cytoskeleton and its regulation by proteins called GTPases. The activity of GTPases causes assembly of filamentous actin (by GTPases Cdc42, Rac), resulting in protrusion of the cell edge. Mathematical models for GTPase dynamics address the spontaneous formation of patterns and nonuniform spatial distributions of such proteins in the cell. Here we revisit the wave-pinning model for GTPase-induced cell polarization, together with a number of extensions proposed in the literature. These include introduction of sources and sinks of active and inactive GTPase (by the group of A. Champneys), and negative feedback from F-actin to GTPase activity. We discuss these extensions singly and in combination, in 1D, and 2D static domains. We then show how the patterns that form (spots, waves, and spirals) interact with cell boundaries to create a variety of interesting and dynamic cell shapes and motion.


title: Nonequilibrium oscillations, probability angular momentum, and the climate system

abstract: Though the Boltzmann-Gibbs framework of equilibrium statistical mechanics has been successful in many arenas, it is clearly inadequate for describing many interesting natural phenomena driven far from equilibrium. The simplest step towards that goal is a better understanding of nonequilibrium steady-states (NESS). Here we focus on one of the distinctive features of NESS, persistent probability currents, and their manifestations in our climate system. We consider the natural variability of the steady-state climate system, which can be approximated as a NESS. These currents must form closed loops, which are odd under time reversal, providing the crucial difference between systems in thermal equilibrium and NESS. Seeking manifestations of such current loops leads us naturally to the notion of probability angular momentum and oscillations in the space of observables. Specifically, we will relate this concept to the asymmetric part of certain time-dependent correlation functions. Applying this approach, we propose that these current loops give rise to preferred spatio-temporal patterns of natural climate variability that take the form of climate oscillations such as the El-Ni\~{n}o Southern Oscillation (ENSO) and the Madden-Julien Oscillation (MJO). In the space of climate indices, we observe persistent currents and define a new diagnostic for these currents: the probability angular momentum. Using the observed climatic time series of ENSO and MJO, we compute both the averages and the distributions of the probability angular momentum. These results are in good agreement with the analysis from a linear Gaussian model. We propose that, in addition to being a new quantification of climate oscillations across models and observations, the probability angular momentum provides a meaningful characterization for all statistical systems in NESS.


title: Learning Dense Representations for Entity Retrieval

abstract: We show that it is feasible to perform entity linking by training a dual encoder (two-tower) model that encodes mentions and entities in the same dense vector space, where candidate entities are retrieved by approximate nearest neighbor search. Unlike prior work, this setup does not rely on an alias table followed by a re-ranker, and is thus the first fully learned entity retrieval model. We show that our dual encoder, trained using only anchor-text links in Wikipedia, outperforms discrete alias table and BM25 baselines, and is competitive with the best comparable results on the standard TACKBP-2010 dataset. In addition, it can retrieve candidates extremely fast, and generalizes well to a new dataset derived from Wikinews. On the modeling side, we demonstrate the dramatic value of an unsupervised negative mining algorithm for this task.


title: Avoiding a star of three-term arthmetic progressions

abstract: We provide an upper bound of the size of a subset A of F_p^n that does not admit a k-star of 3-APs (three-term arithmetic progressions). Namely, the subset A is assumed to contain no configuration of k 3-APs, sharing the middle term, such that all 2k+1 terms are distinct. In the proof, we adapt a new method in the recent work of Sauermann.


title: A tribute to Dick Askey

abstract: This is a small contribution to the (September 15, 2019) Liber Amicorum Richard "Dick" Allen Askey. At the end a positivity conjecture related to the First and Second Borwein Conjectures is offered.


title: Avoiding a shape, and the slice rank method for a system of equations

abstract: Fix a vector space over a finite field and a system of linear equations. We provide estimates, in terms of the dimension of the vector space, of the maximum of the sizes of subsets of the space that do not admit solutions of the system consisting of more than one point. That from above is derived by slice rank method of Tao; to obtain one from below, we define the notion of 'dominant reductions' of the system. Furthermore, by adapting a recent argument of Sauermann, we make an estimation of the maximum of the sizes of subsets that are 'W shape'-free, that means, there exist no five distinct points forming two overlapping parallelograms.


title: Two dimensional ${\cal N}=(0,4)$ quivers dual to AdS$_3$ solutions in massive IIA

abstract: In this paper we discuss an infinite family of new solutions in massive Type IIA supergravity with AdS$_3\times$S$^2$ factors, preserving ${\cal N}=(0,4)$ SUSY. After studying geometrical aspects of the backgrounds we propose a duality with a precise family of quivers that flow to (0,4) fixed points at low energies. These quivers consist on two families of (4,4) linear quivers coupled by matter fields. We present various tests of our proposal.


title: Light and Heavy Mesons in The Complex Mass Scheme

abstract: Mesons containing light and heavy quarks are studied. Interaction of quarks is described by the funnel-type potential with the distant dependent strong coupling, $\alpha_\S(r)$. Free particle hypothesis for the bound state is developed: quark and antiquark move as free particles in of the bound system. Relativistic two-body wave equation with position dependent particle masses is used to describe the flavored $Qq$ systems. Solution of the equation for the system in the form of a~standing wave is given. Interpolating complex-mass formula for two exact asymptotic eigenmass expressions is obtained. Mass spectra for some leading-state flavored mesons are calculated.


title: Can Thermodynamic Behavior of Alice's Particle Affect Bob's Particle?

abstract: We propose an experiment to investigate the possibility of long-distance thermodynamic relationships between two entangled particles. We consider a pair of spin 1/2 particles prepared in an entangled singlet state in which one particle is sent to Alice and the other to her distant mate Bob, who are spatially separated. Our proposed experiment consists of three different setups: First, both particles are coupled to two heat baths with various temperatures. In the second setup, only Alice's particle is coupled to a heat bath and finally, in the last setup, only Bob's particle is coupled to a heat bath. We study the evolution of an open quantum system using the first law of thermodynamics based on the concepts of ergotropy, adiabatic work, and operational heat, in a quantum fashion. We analyze and compare ergotropy and heat transfer in three setups. Our results show that the heat transfer for each entangled particle is not independent of the thermalization process that occurs for the other one. We prove that the existence of quantum correlations affects the thermodynamic behavior of distant particles in an entangled state.


title: Visualization and Travel Time Extraction System for the Statistics of TDCS Travel using MapReduce Framework

abstract: Recently, extracting some information as a knowledge from big data is very challenging activity. The size of data is very huge and it requires some special techniques and adequate processing hardware. It is also applied in vehicles transportation data at Taiwan National Freeway from the Traffic Data Collection System (TDCS). The results of this extraction will be very useful if it can be used by the community. So that the delivery of information extracted from large data that is easily understood becomes a necessary thing. Presentation of results using images / visuals will make it easier for people to interpret the information provided. In this project, an interactive visualization of the results of extracting statistical information is attempted to be provided. The results can be used by users to support the decision making of road users in determining the appropriate time when going through the road pieces around the Taichung City. This visualization of the statistics will help people who want to predict the travel time around Taichung City.


title: All-optical measurement of high-order fractional molecular echoes by high-order harmonic generation

abstract: An all-optical measurement of high-order fractional molecular echoes is demonstrated by using high-order harmonic generation (HHG). Excited by a pair of time-delayed short laser pulses, the signatures of full and high order fractional (1/2 and 1/3) alignment echoes are observed in the HHG signals measured from CO2 molecules at various time delays of the probe pulse. By increasing the time delay of the pump pulses, much higher order fractional (1/4) alignment echo is also observed in N2O molecules. With an analytic model based on the impulsive approximation, the spatiotemporal dynamics of the echo process are retrieved from the experiment. Compared to the typical molecular alignment revivals, high-order fractional molecular echoes are demonstrated to dephase more rapidly, which will open a new route towards the ultrashort-time measurement. The proposed HHG method paves an efficient way for accessing the high-order fractional echoes in molecules.


title: Entropic analysis of the quantum oscillator with a minimal length

abstract: The well-known Heisenberg--Robertson uncertainty relation for a pair of noncommuting observables, is expressed in terms of the product of variances and the commutator among the operators, computed for the quantum state of a system. Different modified commutation relations have been considered in the last years with the purpose of taking into account the effect of quantum gravity. Indeed it can be seen that letting $[X,P] = i\hbar (1+\beta P^2)$ implies the existence of a minimal length proportional to $\sqrt\beta$. The Bialynicki-Birula--Mycielski entropic uncertainty relation in terms of Shannon entropies is also seen to be deformed in the presence of a minimal length, corresponding to a strictly positive deformation parameter $\beta$. Generalized entropies can be implemented. Indeed, results for the sum of position and (auxiliary) momentum R\'enyi entropies with conjugated indices have been provided recently for the ground and first excited state. We present numerical findings for conjugated pairs of entropic indices, for the lowest lying levels of the deformed harmonic oscillator system in 1D, taking into account the position distribution for the wavefunction and the actual momentum.


title: Combining experiments and relativistic theory for establishing accurate radiative quantities in atoms: the lifetime of the $^2$P$_{3/2}$ state in $^{40}$Ca$^+$

abstract: We report a precise determination of the lifetime of the (4p)$^2$P$_{3/2}$ state of $^{40}$Ca$^+$, $\tau_{\textrm{P}_{3/2}}=6.639(42)$ ns, using a combination of measurements of the induced light shift and scattering rate on a single trapped ion. Good agreement with the result of a recent high-level theoretical calculation, $6.69(6)$ ns [Safronova et al., PRA 83, 012503 (2011)], but a 6-$\sigma$ discrepancy with the most precise previous experimental value, $6.924(19)$ ns [Jin et al., PRL 70, 3213 (1993)] is found. To corroborate the consistency and accuracy of the new measurements, relativistically corrected ratios of reduced-dipole-matrix elements are used to directly compare our result with a recent result for the P$_{1/2}$ state, yielding a good agreement. The application of the present method to precise determinations of radiative quantities of molecular systems is discussed.


title: Making a supermassive star by stellar bombardment

abstract: Approximately two hundred supermassive black holes (SMBHs) have been discovered within the first $\sim$Gyr after the Big Bang. One pathway for the formation of SMBHs is through the collapse of supermassive stars (SMSs). A possible obstacle to this scenario is that the collapsing gas fragments and forms a cluster of main-sequence stars. Here we raise the possibility that stellar collisions may be sufficiently frequent and energetic to inhibit the contraction of the massive protostar, avoiding strong UV radiation driven outflows, and allowing it to continue growing into an SMS. We investigate this scenario with semianalytic models incorporating star formation, gas accretion, dynamical friction from stars and gas, stellar collisions, and gas ejection. We find that when the collapsing gas fragments at a density of $\lesssim 3\times 10^{10}\,\mathrm{cm^{-3}}$, the central protostar contracts due to infrequent stellar mergers, and in turn photoevaporates the remaining collapsing gas, resulting in the formation of a $\lesssim 10^4~{\rm M_\odot}$ object. On the other hand, when the collapsing gas fragments at higher densities (expected for a metal-poor cloud with $Z\lesssim10^{-5}\,{\rm Z_\odot}$ with suppressed ${\rm H_2}$ abundance) the central protostar avoids contraction and keeps growing via frequent stellar mergers, reaching masses as high as $\sim 10^5-10^6\,{\rm M_\odot}$. We conclude that frequent stellar mergers represent a possible pathway to form massive BHs in the early universe.


title: COS Observations of the Cosmic Web: A Search for the Cooler Components of a Hot, X-ray Identified Filament

abstract: In the local universe, a large fraction of the baryon content is believed to exist as diffuse gas in filaments. While this gas is directly observable in X-ray emission around clusters of galaxies, it is primarily studied through its UV absorption. Recently, X-ray observations of large-scale filaments connecting to the cosmic web around the nearby ($z=0.05584$) cluster Abell 133 were reported. One of these filaments is intersected by the sightline to quasar [VV98] J010250.2$-$220929, allowing for a first-ever census of cold, cool, and warm gas in a filament of the cosmic web where hot gas has been seen in X-ray emission. Here, we present UV observations with the Cosmic Origins Spectrograph and optical observations with the Magellan Echellette spectrograph of [VV98] J010250.2$-$220929. We find no evidence of cold, cool, or warm gas associated with the filament. In particular, we set a $2\sigma$ upper limit on Ly$\alpha$ absorption of $\log(N_{HI} / \textrm{cm}^{-2}) < 13.7$, assuming a Doppler parameter of $b=20\,\textrm{km}\,\textrm{s}^{-1}$. As this sightline is ${\sim}1100\,\textrm{pkpc}$ ($0.7R_\textrm{vir}$) from the center of Abell 133, we suggest that all gas in the filament is hot at this location, or that any warm, cool, or cold components are small and clumpy. A broader census of this system -- combining more UV sightlines, deeper X-ray observations, and a larger redshift catalog of cluster members -- is needed to better understand the roles of filaments around clusters.


title: Quantum Inflation: A General Approach to Quantum Causal Compatibility

abstract: Causality is a seminal concept in science: Any research discipline, from sociology and medicine to physics and chemistry, aims at understanding the causes that could explain the correlations observed among some measured variables. While several methods exist to characterize classical causal models, no general construction is known for the quantum case. In this work, we present quantum inflation, a systematic technique to falsify if a given quantum causal model is compatible with some observed correlations. We demonstrate the power of the technique by reproducing known results and solving open problems for some paradigmatic examples of causal networks. Our results may find applications in many fields: from the characterization of correlations in quantum networks to the study of quantum effects in thermodynamic and biological processes.