title: Direction-Oriented Stress-Constrained Topology Optimization of Orthotropic Materials

abstract: Efficient optimization of topology and raster angle has shown unprecedented enhancements in the mechanical properties of 3D printed materials. Topology optimization helps reduce the waste of raw material in the fabrication of 3D printed parts, thus decreasing production costs associated with manufacturing lighter structures. Fiber orientation plays an important role in increasing the stiffness of a structure. This paper develops and tests a new method for handling stress constraints in topology and fiber orientation optimization of 3D printed orthotropic structures. The stress constraints are coupled with an objective function that maximizes stiffness. This is accomplished by using the modified solid isotropic material with penalization method with the method of moving asymptotes as the mathematical optimizer. Each element has a fictitious density and an angle as the main design variables. To reduce the number of stress constraints and thus the computational cost, a new clustering strategy is employed in which the highest stresses in the principal material coordinates are grouped separately into two clusters using an adjusted $P$-norm. A detailed description of the formulation and sensitivity analysis is discussed. While we present an analysis of 2D structures in the numerical examples section, the method can also be used for 3D structures, as the formulation is generic. Our results show that this method can produce efficient structures suitable for 3D printing while thresholding the stresses.


title: Measuring Elemental Abundances of JWST Target Stars for Exoplanet Characterization I. FGK Stars

abstract: With the launch of the JWST, we will obtain more precise data for exoplanets than ever before. However, this data can only inform and revolutionize our understanding of exoplanets when placed in the larger context of planet-star formation. Therefore, gaining a deeper understanding of their host stars is equally important and synergistic with the upcoming JWST data. We present detailed chemical abundance profiles of 17 FGK stars that will be observed in exoplanet-focused Cycle 1 JWST observer programs. The elements analyzed (C, N, O, Na, Mg, Si, S, K, and Fe) were specifically chosen as being informative to the composition and formation of planets. Using archival high-resolution spectra from a variety of sources, we perform an LTE equivalent width analysis to derive these abundances. We look to literature sources to correct the abundances for non-LTE effects, especially for O, S, and K, where the the corrections are large (often $> 0.2~\textrm{dex}$). With these abundances and the ratios thereof, we will begin to paint clearer pictures of the planetary systems analyzed by this work. With our analysis, we can gain insight into the composition and extent of migration of Hot Jupiters, as well as the possibility of carbon-rich terrestrial worlds.


title: Bayesian nonparametric strategies for power maximization in rare variants association studies

abstract: Rare variants are hypothesized to be largely responsible for heritability and susceptibility to disease in humans. So rare variants association studies hold promise for understanding disease. Conversely though, the rareness of the variants poses practical challenges; since these variants are present in few individuals, it can be difficult to develop data-collection and statistical methods that effectively leverage their sparse information. In this work, we develop a novel Bayesian nonparametric model to capture how design choices in rare variants association studies can impact their usefulness. We then show how to use our model to guide design choices under a fixed experimental budget in practice. In particular, we provide a practical workflow and illustrative experiments on simulated data.


title: The detection of a massive chain of dark HI clouds in the GAMA G23 Field

abstract: We report on the detection of a large, extended HI cloud complex in the GAMA G23 field, located at a redshift of $z\,\sim\,0.03$, observed as part of the MeerHOGS campaign (a pilot survey to explore the mosaicing capabilities of MeerKAT). The cloud complex, with a total mass of $10^{10.0}\,M_\odot$, lies in proximity to a large galaxy group with $M_\mathrm{dyn}\sim10^{13.5}\,M_\odot$. We identify seven HI peak concentrations, interconnected as a tenuous 'chain' structure, extending $\sim 400\,\mathrm{kpc}$ from east-to-west, with the largest (central) concentration containing $10{^{9.7}}\,M_\odot$ in HI gas distributed across $50\,\mathrm{kpc}$. The main source is not detected in ultra-violet, optical or infrared imaging. The implied gas mass-to-light ($M_\mathrm{HI}$/$L_\mathrm{r}$) is extreme ($>$1000) even in comparison to other 'dark clouds'. The complex has very little kinematic structure ($110\,\mathrm{km}\,\mathrm{s}^{-1}$), making it difficult to identify cloud rotation. Assuming pressure support, the total mass of the central concentration is $>10^{10.2}\,M_\odot$, while a lower limit to the dynamical mass in the case of full rotational support is $10^{10.4}\,M_\odot$. If the central concentration is a stable structure, it has to contain some amount of unseen matter, but potentially less than is observed for a typical galaxy. It is, however, not clear whether the structure has any gravitationally stable concentrations. We report a faint UV--optical--infrared source in proximity to one of the smaller concentrations in the gas complex, leading to a possible stellar association. The system nature and origins is enigmatic, potentially being the result of an interaction with or within the galaxy group it appears to be associated with.


title: Could AI Democratise Education? Socio-Technical Imaginaries of an EdTech Revolution

abstract: Artificial Intelligence (AI) in Education has been said to have the potential for building more personalised curricula, as well as democratising education worldwide and creating a Renaissance of new ways of teaching and learning. Millions of students are already starting to benefit from the use of these technologies, but millions more around the world are not. If this trend continues, the first delivery of AI in Education could be greater educational inequality, along with a global misallocation of educational resources motivated by the current technological determinism narrative. In this paper, we focus on speculating and posing questions around the future of AI in Education, with the aim of starting the pressing conversation that would set the right foundations for the new generation of education that is permeated by technology. This paper starts by synthesising how AI might change how we learn and teach, focusing specifically on the case of personalised learning companions, and then move to discuss some socio-technical features that will be crucial for avoiding the perils of these AI systems worldwide (and perhaps ensuring their success). This paper also discusses the potential of using AI together with free, participatory and democratic resources, such as Wikipedia, Open Educational Resources and open-source tools. We also emphasise the need for collectively designing human-centered, transparent, interactive and collaborative AI-based algorithms that empower and give complete agency to stakeholders, as well as support new emerging pedagogies. Finally, we ask what would it take for this educational revolution to provide egalitarian and empowering access to education, beyond any political, cultural, language, geographical and learning ability barriers.


title: Dephasing-enhanced performance in quasiperiodic thermal machines

abstract: Understanding and controlling quantum transport in low-dimensional systems is pivotal for heat management at the nanoscale. One promising strategy to obtain the desired transport properties is to engineer particular spectral structures. In this work we are interested in quasiperiodic disorder - incommensurate with the underlying periodicity of the lattice - which induces fractality in the energy spectrum. A well known example is the Fibonacci model which, despite being non-interacting, yields anomalous diffusion with a continuously varying dynamical exponent smoothly crossing over from superdiffusive to subdiffusive regime as a function of potential strength. We study the finite-temperature electric and heat transport of this model in linear response in the absence and in the presence of dephasing noise due to inelastic scattering. The dephasing causes both thermal and electric transport to become diffusive, thereby making thermal and electrical conductivities finite in the thermodynamic limit. Thus, in the subdiffusive regime it leads to enhancement of transport. We find that the thermal and electric conductivities have multiple peaks as a function of dephasing strength. Remarkably, we observe that the thermal and electrical conductivities are not proportional to each other, a clear violation of Wiedemann-Franz law, and the position of their maxima can differ. We argue that this feature can be utilized to enhance performance of quantum thermal machines. In particular, we show that by tuning the strength of the dephasing noise we can enhance the performance of the device in regimes where it acts as an autonomous refrigerator.


title: Ultrafast tunable lasers using lithium niobate integrated photonics

abstract: Recent advances in the processing of thin-film LNOI have enabled low-loss photonic integrated circuits, modulators with improved half-wave voltage, electro-optic frequency combs and novel on-chip electro-optic devices, with applications ranging from 5G telecommunication and microwave photonics to microwave-to-optical quantum interfaces. Lithium niobate integrated photonic circuits could equally be the basis of integrated narrow-linewidth frequency-agile lasers. Pioneering work on polished lithium niobate crystal resonators has led to the development of electrically tunable narrow-linewidth lasers. Here we report low-noise frequency-agile lasers based on lithium niobate integrated photonics and demonstrate their use for coherent laser ranging. This is achieved through heterogeneous integration of ultra-low-loss silicon nitride photonic circuits with thin-film lithium niobate via direct wafer bonding. This platform features low propagation loss of 8.5 dB/m enabling narrow-linewidth lasing (intrinsic linewidth of 3 kHz) by self-injection locking to a III-V semiconductor laser diode. The hybrid mode of the resonator allows electro-optical laser frequency tuning at a speed of 12 PHz/s with high linearity, low hysteresis and while retaining narrow linewidth. Using this hybrid integrated laser, we perform a proof-of-concept FMCW LiDAR ranging experiment, with a resolution of 15 cm. By fully leveraging the high electro-optic coefficient of lithium niobate, with further improvements in photonic integrated circuits design, these devices can operate with CMOS-compatible voltages, or achieve mm-scale distance resolution. Endowing low loss silicon nitride integrated photonics with lithium niobate, gives a platform with wide transparency window, that can be used to realize ultrafast tunable lasers from the visible to the mid-infrared, with applications from OCT and LiDAR to environmental sensing.


title: Lithium-ion battery degradation: how to model it

abstract: Predicting lithium-ion battery degradation is worth billions to the global automotive, aviation and energy storage industries, to improve performance and safety and reduce warranty liabilities. However, very few published models of battery degradation explicitly consider the interactions between more than two degradation mechanisms, and none do so within a single electrode. In this paper, the first published attempt to directly couple more than two degradation mechanisms in the negative electrode is reported. The results are used to map different pathways through the complicated path dependent and non-linear degradation space. Four degradation mechanisms are coupled in PyBaMM, an open source modelling environment uniquely developed to allow new physics to be implemented and explored quickly and easily. Crucially it is possible to see 'inside' the model and observe the consequences of the different patterns of degradation, such as loss of lithium inventory and loss of active material. For the same cell, five different pathways that can result in end-of-life have already been found, depending on how the cell is used. Such information would enable a product designer to either extend life or predict life based upon the usage pattern. However, parameterization of the degradation models remains as a major challenge, and requires the attention of the international battery community.


title: Sharp Weak Type Estimates for a Family of Zygmund Bases

abstract: Let $\mathcal{B}$ be a collection of rectangular parallelepipeds in $\mathbb{R}^3$ whose sides are parallel to the coordinate axes and such that $\mathcal{B}$ consists of parallelepipeds with side lengths of the form $s, 2^j s, t $, where $s, t > 0$ and $j$ lies in a nonempty subset $S$ of the integers. In this paper, we prove the following: If $S$ is a finite set, then the associated geometric maximal operator $M_\mathcal{B}$ satisfies the weak type estimate of the form $$\left|\left\{x \in \mathbb{R}^3 : M_{\mathcal{B}}f(x) > \alpha\right\}\right| \leq C \int_{\mathbb{R}^3} \frac{|f|}{\alpha}\left(1 + \log^+ \frac{|f|}{\alpha}\right)\;$$ but does not satisfy an estimate of the form $$\left|\left\{x \in \mathbb{R}^3 : M_{\mathcal{B}}f(x) > \alpha\right\}\right| \leq C \int_{\mathbb{R}^3} \phi\left(\frac{|f|}{\alpha}\right)$$ for any convex increasing function $\phi: \mathbb[0, \infty) \rightarrow [0, \infty)$ satisfying the condition $$\lim_{x \rightarrow \infty}\frac{\phi(x)}{x (\log(1 + x))} = 0\;.$$ On the other hand, if $S$ is an infinite set, then the associated geometric maximal operator $M_\mathcal{B}$ satisfies the weak type estimate $$\left|\left\{x \in \mathbb{R}^3 : M_{\mathcal{B}}f(x) > \alpha\right\}\right| \leq C \int_{\mathbb{R}^3} \frac{|f|}{\alpha} \left(1 + \log^+ \frac{|f|}{\alpha}\right)^{2}$$ but does not satisfy an estimate of the form $$\left|\left\{x \in \mathbb{R}^3 : M_{\mathcal{B}}f(x) > \alpha\right\}\right| \leq C \int_{\mathbb{R}^3} \phi\left(\frac{|f|}{\alpha}\right)$$ for any convex increasing function $\phi: \mathbb[0, \infty) \rightarrow [0, \infty)$ satisfying the condition $$\lim_{x \rightarrow \infty}\frac{\phi(x)}{x (\log(1 + x))^2} = 0\;.$$


title: Bridging the Gap: Point Clouds for Merging Neurons in Connectomics

abstract: In the field of Connectomics, a primary problem is that of 3D neuron segmentation. Although deep learning-based methods have achieved remarkable accuracy, errors still exist, especially in regions with image defects. One common type of defect is that of consecutive missing image sections. Here, data is lost along some axis, and the resulting neuron segmentations are split across the gap. To address this problem, we propose a novel method based on point cloud representations of neurons. We formulate the problem as a classification problem and train CurveNet, a state-of-the-art point cloud classification model, to identify which neurons should be merged. We show that our method not only performs strongly but also scales reasonably to gaps well beyond what other methods have attempted to address. Additionally, our point cloud representations are highly efficient in terms of data, maintaining high performance with an amount of data that would be unfeasible for other methods. We believe that this is an indicator of the viability of using point cloud representations for other proofreading tasks.


title: Efficient Universal Quantum Compilation: An Inverse-free Solovay-Kitaev Algorithm

abstract: The Solovay-Kitaev algorithm is a fundamental result in quantum computation. It gives an algorithm for efficiently compiling arbitrary unitaries using universal gate sets: any unitary can be approximated by short gates sequences, whose length scales merely poly-logarithmically with accuracy. As a consequence, the choice of gate set is typically unimportant in quantum computing. However, the Solovay-Kitaev algorithm requires the gate set to be inverse-closed. It has been a longstanding open question if efficient algorithmic compilation is possible without this condition. In this work, we provide the first inverse-free Solovay-Kitaev algorithm, which makes no assumption on the structure within a gate set beyond universality, answering this problem in the affirmative, and providing an efficient compilation algorithm in the absence of inverses for both $\text{SU}(d)$ and $\text{SL}(d, \mathbb{C})$. The algorithm works by showing that approximate gate implementations of the generalized Pauli group can self-correct their errors.


title: Socially Compatible Control Design of Automated Vehicle in Mixed Traffic

abstract: In the car-following scenarios, automated vehicles (AVs) usually plan motions without considering the impacts of their actions on the following human drivers. This paper aims to leverage such impacts to plan more efficient and socially desirable AV behaviors in human-AV interactions. Specifically, we introduce a socially compatible control design for the AV that benefits mixed traffic in the car-following scenarios. The proposed design enables the altruistic AV in human-AV interaction by integrating the social value orientation from psychology into its decision-making process. The altruistic AV generates socially desirable behaviors by optimizing both its own reward and courtesy to the following human driver's original plan in the longitudinal motion. The results show that as compared to the egoistic AV, the altruistic AV significantly avoids disrupting the following human driver's initial plan and leads the following human driver to achieve considerably smaller car-following gap distance and time headway. Moreover, we investigated the impacts of the socially compatible control design with different altruism levels of the AV using statistical assessments. The results collectively demonstrate the significant improvement in traffic-level metrics as a result of the AV's altruistic behaviors in human-AV interactions.


title: Scaling and renormalization in the modern theory of polarization: application to disordered systems

abstract: We develop a scaling theory and a renormalization technique in the context of the modern theory of polarization. The central idea is to use the characteristic function (also known as the polarization amplitude) in place of the free energy in the scaling theory and in place of the Boltzmann probability in a position-space renormalization scheme. We derive a scaling relation between critical exponents which we test in a variety of models in one and two dimensions. We then apply the renormalization to disordered systems. In one dimension the renormalized disorder strength tends to infinity indicating the entire absence of extended states. Zero(infinite) disorder is a repulsive(attractive) fixed point. In two and three dimensions, at small system sizes, two additional fixed points appear, both at finite disorder, $W_a$($W_r$) is attractive(repulsive) such that $W_a<W_r$. In three dimensions $W_a$ tends to zero, $W_r$ remains finite, indicating metal-insulator transition at finite disorder. In two dimensions we are limited by system size, but we find that both $W_a$ and $W_r$ decrease significantly as system size is increased.


title: Multilingual training for Software Engineering

abstract: Well-trained machine-learning models, which leverage large amounts of open-source software data, have now become an interesting approach to automating many software engineering tasks. Several SE tasks have all been subject to this approach, with performance gradually improving over the past several years with better models and training methods. More, and more diverse, clean, labeled data is better for training; but constructing good-quality datasets is time-consuming and challenging. Ways of augmenting the volume and diversity of clean, labeled data generally have wide applicability. For some languages (e.g., Ruby) labeled data is less abundant; in others (e.g., JavaScript) the available data maybe more focused on some application domains, and thus less diverse. As a way around such data bottlenecks, we present evidence suggesting that human-written code in different languages (which performs the same function), is rather similar, and particularly preserving of identifier naming patterns; we further present evidence suggesting that identifiers are a very important element of training data for software engineering tasks. We leverage this rather fortuitous phenomenon to find evidence that available multilingual training data (across different languages) can be used to amplify performance. We study this for 3 different tasks: code summarization, code retrieval, and function naming. We note that this data-augmenting approach is broadly compatible with different tasks, languages, and machine-learning models.


title: Euclidean path integral, entanglement entropy, and quantum boundary conditions

abstract: To understand the information loss paradox in a consistent way, we provide a brief big picture that describes both outside and inside a black hole. We summary several ideas including the Euclidean path integral, the entanglement entropy, and the quantum gravitational treatment for the singularity. This integrated discussion can provide an alternative point of view toward the ultimate resolution of the information loss paradox.


title: An Analytical Update Rule for General Policy Optimization

abstract: We present an analytical policy update rule that is independent of parametric function approximators. The policy update rule is suitable for optimizing general stochastic policies and has a monotonic improvement guarantee. It is derived from a closed-form solution to trust-region optimization using calculus of variation, following a new theoretical result that tightens existing bounds for policy improvement using trust-region methods. The update rule builds a connection between policy search methods and value function methods. Moreover, off-policy reinforcement learning algorithms can be derived from the update rule since it does not need to compute integration over on-policy states. In addition, the update rule extends immediately to cooperative multi-agent systems when policy updates are performed by one agent at a time.


title: Hydrodynamics and transport in the long-range-interacting $\varphi^4$ chain

abstract: We present a simulation study of the one-dimensional $\varphi^4$ lattice theory with long-range interactions decaying as an inverse power $r^{-(1+\sigma)}$ of the intersite distance $r$, $\sigma>0$. We consider the cases of single and double-well local potentials with both attractive and repulsive couplings. The double-well, attractive case displays a phase transition for $0<\sigma \le 1$ analogous to the Ising model with long-range ferromagnetic interactions. A dynamical scaling analysis of both energy structure factors and excess energy correlations shows that the effective hydrodynamics is diffusive for $\sigma>1$ and anomalous for $0<\sigma<1$ where fluctuations propagate superdiffusively. We argue that this is accounted for by a fractional diffusion process and we compare the results with an effective model of energy transport based on L\'evy flights. Remarkably, this result is fairly insensitive on the phase transition. Nonequilibrium simulations with an applied thermal gradient are in quantitative agreement with the above scenario.


title: Charge-induced artifacts in non-local spin transport measurements: How to prevent spurious voltage signals

abstract: To conduct spin-sensitive transport measurements, a non-local device geometry is often used to avoid spurious voltages that are caused by the flow of charges. However, in the vast majority of reported non-local spin valve, Hanle spin precession, or spin Hall measurements background signals have been observed that are not related to spins. We discuss seven different types of these charge-induced signals and explain how these artifacts can result in erroneous or misleading conclusions when falsely attributed to spin transport. The charge-driven signals can be divided into two groups: Signals that are inherent to the device structure and/or the measurement setup and signals that depend on a common-mode voltage. We designed and built a voltage-controlled current source that significantly diminishes all spurious voltage signals of the latter group in both DC and AC measurements by creating a virtual ground within the non-local detection circuit. This is especially important for lock-in-based measurement techniques, where a common-mode voltage can create a phase-shifted, frequency-dependent signal with an amplitude several orders of magnitude larger than the actual spin signal. Measurements performed on graphene-based non-local spin valve devices demonstrate how all spurious voltage signals that are caused by a common-mode voltage can be completely suppressed by such a current source.


title: Graph Neural Networks for Charged Particle Tracking on FPGAs

abstract: The determination of charged particle trajectories in collisions at the CERN Large Hadron Collider (LHC) is an important but challenging problem, especially in the high interaction density conditions expected during the future high-luminosity phase of the LHC (HL-LHC). Graph neural networks (GNNs) are a type of geometric deep learning algorithm that has successfully been applied to this task by embedding tracker data as a graph -- nodes represent hits, while edges represent possible track segments -- and classifying the edges as true or fake track segments. However, their study in hardware- or software-based trigger applications has been limited due to their large computational cost. In this paper, we introduce an automated translation workflow, integrated into a broader tool called $\texttt{hls4ml}$, for converting GNNs into firmware for field-programmable gate arrays (FPGAs). We use this translation tool to implement GNNs for charged particle tracking, trained using the TrackML challenge dataset, on FPGAs with designs targeting different graph sizes, task complexites, and latency/throughput requirements. This work could enable the inclusion of charged particle tracking GNNs at the trigger level for HL-LHC experiments.

categories: physics.ins-det cs.AR cs.LG hep-ex stat.ML


title: Towards Deterministic Creation of Single Photon Sources in Diamond using In-Situ Ion Counting

abstract: We present an in-situ counted ion implantation experiment reducing the error on the ion number to 5 % enabling the fabrication of high-yield single photon emitter devices in wide bandgap semiconductors for quantum applications. Typical focused ion beam implantation relies on knowing the beam current and setting a pulse length of the ion pulse to define the number of ions implanted at each location, referred to as timed implantation in this paper. This process is dominated by Poisson statistics resulting in large errors for low number of implanted ions. Instead, we use in-situ detection to measure the number of ions arriving at the substrate resulting in a two-fold reduction in the error on the number of implanted ions used to generate a single optically active silicon vacancy (SiV) defect in diamond compared to timed implantation. Additionally, through post-implantation analysis, we can further reduce the error resulting in a seven-fold improvement compared to timed implantation, allowing us to better estimate the conversion yield of implanted Si to SiV. We detect SiV emitters by photoluminescence spectroscopy, determine the number of emitters per location and calculate the yield to be 2.98 + 0.21 / - 0.24 %. Candidates for single photon emitters are investigated further by Hanbury-Brown-Twiss interferometry confirming that 82 % of the locations exhibit single photon emission statistics. This counted ion implantation technique paves the way towards deterministic creation of SiV when ion counting is used in combination with methods that improve the activation yield of SiV.


title: The physics governing the upper truncation mass of the globular cluster mass function

abstract: The mass function of globular cluster (GC) populations is a fundamental observable that encodes the physical conditions under which these massive stellar clusters formed and evolved. The high-mass end of star cluster mass functions are commonly described using a Schechter function, with an exponential truncation mass $M_{c,*}$. For the GC mass functions in the Virgo galaxy cluster, this truncation mass increases with galaxy mass ($M_{*}$). In this paper we fit Schechter mass functions to the GCs in the most massive galaxy group ($M_{\mathrm{200}} = 5.14 \times 10^{13} M_{\odot}$) in the E-MOSAICS simulations. The fiducial cluster formation model in E-MOSAICS reproduces the observed trend of $M_{c,*}$ with $M_{*}$ for the Virgo cluster. We therefore examine the origin of the relation by fitting $M_{c,*}$ as a function of galaxy mass, with and without accounting for mass loss by two-body relaxation, tidal shocks and/or dynamical friction. In the absence of these mass-loss mechanisms, the $M_{c,*}$-$M_{*}$ relation is flat above $M_* > 10^{10} M_{\odot}$. It is therefore the disruption of high-mass GCs in galaxies with $M_{*}\sim 10^{10} M_{\odot}$ that lowers the $M_{c,*}$ in these galaxies. High-mass GCs are able to survive in more massive galaxies, since there are more mergers to facilitate their redistribution to less-dense environments. The $M_{c,*}-M_*$ relation is therefore a consequence of both the formation conditions of massive star clusters and their environmentally-dependent disruption mechanisms.


title: Effect of ring stiffness and ambient pressure on the dynamical slowdown in ring polymers

abstract: Using extensive molecular dynamics simulations, we investigate the slowing down of dynamics in a 3D system of ring polymers by varying the ambient pressure and the stiffness of the rings. Our study demonstrates that the stiffness of the rings determines the dynamics of the ring polymers, leading to glassiness at lower pressures for stiffer rings. The threading of the ring polymers, a unique feature that emerges only due to the topological nature of such polymers in three dimensions, is shown to be the determinant feature of dynamical slowing down, albeit only in a certain stiffness range. Our results suggest a possible framework of exploring the phase space spanned by ring stiffness and pressure to obtain spontaneously emerging topologically constrained polymer glasses.


title: TC-GNN: Bridging Sparse GNN Computation and Dense Tensor Cores on GPUs

abstract: Recently, graph neural networks (GNNs), as the backbone of graph-based machine learning, demonstrate great success in various domains (e.g., e-commerce). However, the performance of GNNs is usually unsatisfactory due to the highly sparse and irregular graph-based operations. To this end, we propose TC-GNN, the first GNN acceleration framework based on GPU Tensor Core Units (TCUs). The core idea is to reconcile the "Sparse" GNN computation with the high-performance "Dense" TCUs. Specifically, we conduct an in-depth analysis of the sparse operations in mainstream GNN computing frameworks. We introduce a novel sparse graph translation technique to facilitate TCU processing of the sparse GNN workload. We implement an effective CUDA core and TCU collaboration design to fully utilize GPU resources. We integrate TC-GNN with the PyTorch framework for high programmability. Rigorous experiments show an average of 1.70X speedup over the state-of-the-art DGL framework across various models and datasets.


title: Evaluating Two Approaches to Assessing Student Progress in Cybersecurity Exercises

abstract: Cybersecurity students need to develop practical skills such as using command-line tools. Hands-on exercises are the most direct way to assess these skills, but assessing students' mastery is a challenging task for instructors. We aim to alleviate this issue by modeling and visualizing student progress automatically throughout the exercise. The progress is summarized by graph models based on the shell commands students typed to achieve discrete tasks within the exercise. We implemented two types of models and compared them using data from 46 students at two universities. To evaluate our models, we surveyed 22 experienced computing instructors and qualitatively analyzed their responses. The majority of instructors interpreted the graph models effectively and identified strengths, weaknesses, and assessment use cases for each model. Based on the evaluation, we provide recommendations to instructors and explain how our graph models innovate teaching and promote further research. The impact of this paper is threefold. First, it demonstrates how multiple institutions can collaborate to share approaches to modeling student progress in hands-on exercises. Second, our modeling techniques generalize to data from different environments to support student assessment, even outside the cybersecurity domain. Third, we share the acquired data and open-source software so that others can use the models in their classes or research.


title: Large Interferometer For Exoplanets (LIFE): III. Spectral resolution, wavelength range and sensitivity requirements based on atmospheric retrieval analyses of an exo-Earth

abstract: Temperate terrestrial exoplanets are likely common objects, but their discovery and characterization is very challenging. Concepts for optimized space missions to overcome these challenges are being studied. The LIFE initiative focuses on the development of a space-based mid-infrared (MIR) nulling interferometer probing the thermal emission of a large sample of exoplanets. We derive first estimates for the signal-to-noise (S/N), spectral resolution (R), and wavelength requirements for LIFE. Using an Earth-twin exoplanet as reference case, we quantify how well planetary/atmospheric properties can be constrained from MIR spectra of different quality. We simulate LIFE observations of an Earth-twin orbiting a G2V star at 10 pc from the Sun with different levels of exozodiacal dust emissions. We combine a cloud-free 1D radiative transfer model and the nested sampling algorithm to retrieve planetary/atmospheric properties from input spectra of different wavelength coverage, R, and S/N. We find that H2O, CO2, and O3 are detectable if S/N$\geq$10 (uncertainty $\leq\pm1.0$ dex). We find upper limits for N2O (abundance $\leq10^{-3}$). CO, N2, and O2 are unconstrained in all cases. The limit for a CH4 detection is R $= 50$, S/N $=10$. We further correctly determine the exoplanet radius (uncertainty $\leq\pm10\%$), surface temperature (uncertainty $\leq\pm20$K), and surface pressure (uncertainty $\leq\pm0.5$ dex). With the current LIFE design, the observation time required to reach the specified S/N amounts to $\sim7$ weeks with 4x2m apertures. We conclude that a minimum wavelength coverage of $4-18.5\mu$m, a R of 50 and an S/N of 10 is required. With the current assumptions, the atmospheric characterization of several Earth-like exoplanets at a distance of 10 pc and within a reasonable amount of observing time will require apertures $\geq2$ meters.


title: Images of Fractional Brownian motion with deterministic drift: Positive Lebesgue measure and non-empty interior

abstract: Let $B^{H}$ be a fractional Brownian motion in $\mathbb{R}^{d}$ of Hurst index $H\in\left(0,1\right)$, $f:\left[0,1\right]\longrightarrow\mathbb{R}^{d}$ a Borel function and $A\subset\left[0,1\right]$ a Borel set. We provide sufficient conditions for the image $(B^{H}+f)(A)$ to have a positive Lebesgue measure or to have a non-empty interior. This is done through the study of the properties of the density of the occupation measure of $(B^{H}+f)$. Precisely, we prove that if the parabolic Hausdorff dimension of the graph of $f$ is greater than $Hd$, then the density is a square integrable function. If, on the other hand, the Hausdorff dimension of $A$ is greater than $ Hd$, then it even admits a continuous version. This allows us to establish the result already cited.


title: The structure of arbitrary Conze-Lesigne systems

abstract: Let $\Gamma$ be a countable abelian group. An (abstract) $\Gamma$-system $\mathrm{X}$ - that is, an (abstract) probability space equipped with an (abstract) probability-preserving action of $\Gamma$ - is said to be a Conze-Lesigne system if it is equal to its second Host-Kra-Ziegler factor $\mathrm{Z}^2(\mathrm{X})$. The main result of this paper is a structural description of such Conze-Lesigne systems for arbitrary countable abelian $\Gamma$, namely that they are the inverse limit of translational systems $G_n/\Lambda_n$ arising from locally compact nilpotent groups $G_n$ of nilpotency class $2$, quotiented by a lattice $\Lambda_n$. Results of this type were previously known when $\Gamma$ was finitely generated, or the product of cyclic groups of prime order. In a companion paper, two of us will apply this structure theorem to obtain an inverse theorem for the Gowers $U^3(G)$ norm for arbitrary finite abelian groups $G$.


title: Snake Robot Gait Decomposition and Gait Parameter Optimization

abstract: This paper proposes Gait Decomposition (G.D), a method of mathematically decomposing snake movements, and Gait Parameter Gradient (GPG), a method of optimizing decomposed gait parameters. G.D is a method that can express the snake gait mathematically and concisely from generating movement using the curve function to the motor control order when generating movement of snake robot. Through this method, the gait of the snake robot can be intuitively classified into a matrix, as well as flexibly adjusting the parameters of the curve function required for gait generation. This can solve the problem that parameter tuning, which is the reason why it is difficult for a snake robot to practical use, is difficult. Therefore, if this G.D is applied to snake robots, various gaits can be generated with a few of parameters, so snake robots can be used in many fields. We also implemented the GPG algorithm to optimize the gait curve function as well as define the gait of the snake robot through G.D.


title: I-WKNN: Fast-Speed and High-Accuracy WIFI Positioning for Intelligent Stadiums

abstract: Based on various existing wireless fingerprint location algorithms in intelligent sports venues, a high-precision and fast indoor location algorithm improved weighted k-nearest neighbor (I-WKNN) is proposed. In order to meet the complex environment of sports venues and the demand of high-speed sampling, this paper proposes an AP selection algorithm for offline and online stages. Based on the characteristics of the signal intensity distribution in intelligent venues, an asymmetric Gaussian filter algorithm is proposed. This paper introduces the application of the positioning algorithm in the intelligent stadium system, and completes the data acquisition and real-time positioning of the stadium. Compared with traditional WKNN and KNN algorithms, the I-WKNN algorithm has advantages in fingerprint positioning database processing, environmental noise adaptability, real-time positioning accuracy and positioning speed, etc. The experimental results show that the I-WKNN algorithm has obvious advantages in positioning accuracy and positioning time in a complex noise environment and has obvious application potential in a smart stadium.


title: Clustering Areal Units at Multiple Levels of Resolution to Model Crime in Philadelphia

abstract: Estimation of the spatial heterogeneity in crime incidence across an entire city is an important step towards reducing crime and increasing our understanding of the physical and social functioning of urban environments. This is a difficult modeling endeavor since crime incidence can vary smoothly across space and time but there also exist physical and social barriers that result in discontinuities in crime rates between different regions within a city. A further difficulty is that there are different levels of resolution that can be used for defining regions of a city in order to analyze crime. To address these challenges, we develop a Bayesian non-parametric approach for the clustering of urban areal units at different levels of resolution simultaneously. Our approach is evaluated with an extensive synthetic data study and then applied to the estimation of crime incidence at various levels of resolution in the city of Philadelphia.


title: Renormalization group and effective potential: a simple non-perturbative approach

abstract: We develop a simple non-perturbative approach to the calculation of a field theory effective potential that is based on the Wilson or exact renormalization group. Our approach follows Shepard et al's idea [Phys. Rev. D51, 7017 (1995)] of converting the exact renormalization group into a self-consistent renormalization method. It yields a simple second order differential equation for the effective potential. The equation can be solved and its solution is compared with other non-perturbative results and with results of perturbation theory. In three dimensions, we are led to study the sextic field theory ($\lambda\phi^4+g\phi^6$). We work out this theory at two-loop perturbative order and find the non-perturbative approach to be superior.


title: Grass trees and forests: Enumeration of Grassmannian trees and forests, with applications to the momentum amplituhedron

abstract: The Exponential Formula allows one to enumerate any class of combinatorial objects built by choosing a set of connected components and placing a structure on each connected component which depends only on its size. There are multiple variants of this result, including Speicher's result for noncrossing partitions, as well as analogues of the Exponential Formula for series-reduced planar trees and forests. In this paper we use these formulae to give generating functions contracted Grassmannian trees and forests, certain graphs whose vertices are decorated with a helicity. Along the way we enumerate bipartite planar trees and forests, and we apply our results to enumerate various families of permutations: for example, bipartite planar trees are in bijection with separable permutations. Our generating function for Grassmannian forests can be interpreted as the rank generating function for the boundary strata of the momentum amplituhedron, an object which encodes the tree-level S-matrix of maximally supersymmetric Yang-Mills theory. This allows us to verify that the Euler characteristic of the momentum amplituhedron is 1.


title: Quasilinear tropical compactifications

abstract: The prototypical examples of tropical compactifications are compactifications of complements of hyperplane arrangements, which posses a number of remarkable properties not satisfied by more general tropical compactifications of closed subvarieties of tori. We introduce a broader class of tropical compactifications, which we call quasilinear (tropical) compactifications, and which continue to satisfy the desirable properties of compactifications of complements of hyperplane arrangements. In particular, we show any quasilinear compactification is sch\"on, and its intersection theory is described entirely by the intersection theory of the corresponding tropical fan. As applications, we prove the quasilinearity of the moduli spaces of 6 lines in $\mathbb{P}^2$ and marked cubic surfaces, obtaining results on the geometry of the stable pair compactifications of these spaces.


title: Shock Symmetry and Business Cycle Synchronization: Is Monetary Unification Feasible among CAPADR Countries?

abstract: In light of the ongoing integration efforts, the question of whether CAPADR economies may benefit from a single currency arises naturally. This paper examines the feasibility of an Optimum Currency Area (OCA) within seven CAPADR countries. We estimate SVAR models to retrieve demand and supply shocks between 2009:01 - 2020:01 and determine their extent of symmetry. We then go on to compute two regional indicators of dispersion and the cost of inclusion into a hypothetical OCA for each country. Our results indicate that asymmetric shocks tend to prevail. In addition, the dispersion indexes show that business cycles have become more synchronous over time. However, CAPADR countries are still sources of cyclical divergence, so that they would incur significant costs in terms of cycle correlation whenever they pursue currency unification. We conclude that the region does not meet the required symmetry and synchronicity for an OCA to be appropiate.


title: Moments of discrete classical $q$-orthogonal polynomial ensembles

abstract: We consider some discrete $q$-analogues of the classical continuous orthogonal polynomial ensembles. Building on results due to Morozov, Popolitov and Shakirov, we find representations for the moments of the discrete $q$-Hermite and discrete $q$-Laguerre ensembles in terms of basic hypergeometric series. We find that when the number of particles is suitably randomised, the moments may be represented as basic hypergeometric orthogonal polynomials, with corresponding three-term recurrences in $k$, the order of the moments.


title: Irreducible Modules for the loop of Derivations of Rational Quantum Torus

abstract: In this paper we classified irreducible modules for the loop of derivations of rational quantum torus with associative $\mathbb{C}_q^1\otimes B$ action and anti-associative $\mathbb{C}_q^2\otimes B$ action on the modules.


title: Marginals of a spherical spin glass model with correlated disorder

abstract: In this paper we prove the weak convergence, in a high-temperature phase, of the finite marginals of the Gibbs measure associated to a symmetric spherical spin glass model with correlated couplings towards an explicit asymptotic decoupled measure. We also provide upper bounds for the rate of convergence in terms of the one of the energy per variable. Furthermore, we establish a concentration inequality for bounded functions under a higher temperature condition. These results are exemplified by analysing the asymptotic behaviour of the empirical mean of coordinate-wise functions of samples from the Gibbs measure of the model.


title: Non-perturbative phenomena in jet modification

abstract: The interaction of a jet with the medium created in heavy-ion collisions is not yet fully understood from a QCD perspective. This is mainly due to the non-perturbative nature of this interaction which affects both transverse jet momentum broadening and jet quenching. We discuss how lattice simulations of Electrostatic QCD, can be matched to full, four dimensional QCD, to determine non-perturbative contributions to the momentum broadening kernel. We determine the momentum broadening kernel in impact parameter and momentum space and finally show how these results can be used in phenomenological calculations of in-medium splitting rates.


title: Experimental Measurement of Out-of-Time-Ordered Correlators at Finite Temperature

abstract: Out-of-time-ordered correlators (OTOCs) are a key observable in a wide range of interconnected fields including many-body physics, quantum information science, and quantum gravity. Measuring OTOCs using near-term quantum simulators will extend our ability to explore fundamental aspects of these fields and the subtle connections between them. Here, we demonstrate an experimental method to measure OTOCs at finite temperatures and use the method to study their temperature dependence. These measurements are performed on a digital quantum computer running a simulation of the transverse field Ising model. Our flexible method, based on the creation of a thermofield double state, can be extended to other models and enables us to probe the OTOC's temperature-dependent decay rate. Measuring this decay rate opens up the possibility of testing the fundamental temperature-dependent bounds on quantum information scrambling.


title: A Unified Model for Inflation, pseudo-Goldstone Dark Matter, Neutrino Mass and Baryogenesis

abstract: We present a unified theory of inflation, neutrino mass, baryogenesis and dark matter where global lepton number symmetry and its breaking play a crucial role. The basic idea is to use a lepton number carrying complex scalar field as the inflaton as well as the field that implements Affleck-Dine (AD) leptogenesis. Dark matter is the massive majoron which is a pseudo-Goldstone boson, resulting from the spontaneous breaking of lepton number symmetry supplemented by explicit lepton number violation needed to implement AD leptogenesis. The magnitude of the resulting $n_B/s$ in the model is related to the mass of the pseudo-Goldstone dark matter, connecting two apparently disconnected cosmological observations. Inverse seesaw mechanism with lepton number breaking at low scale is crucial to prevent washout of the lepton asymmetry during the universe's evolution. The model seems to provide an economical solution to several puzzles of the standard model of particle physics and cosmology in one stroke.


title: Malakai: Music That Adapts to the Shape of Emotions

abstract: The advent of ML music models such as Google Magenta's MusicVAE now allow us to extract and replicate compositional features from otherwise complex datasets. These models allow computational composers to parameterize abstract variables such as style and mood. By leveraging these models and combining them with procedural algorithms from the last few decades, it is possible to create a dynamic song that composes music in real-time to accompany interactive experiences. Malakai is a tool that helps users of varying skill levels create, listen to, remix and share such dynamic songs. Using Malakai, a Composer can create a dynamic song that can be interacted with by a Listener


title: Real Time Monitoring and Control of Neonatal Incubator using IOT

abstract: The care of new born babies are the most important and sensitive part of bio-medical domain. Some new born babies have a higher risk of mortality due to their gestational age or their birth weight. Most of the premature babies born on 32-37 weeks of gestation and are deceased due to their unmet need for warmth. The neonatal incubator is a device used to nourish the premature babies by providing a controlled and closed environment. This incubator provides the babies with optimum temperature, relative humidity, optimum light and appropriate level of oxygen which are same as that in the womb. But babies in the incubators have a risk of losing those babies lives due to the improper monitoring of the it which causes accidents like gas leakage and short circuits due to overheating which leads to bursting of incubators. Thus, the objective of this paper is to overcome the drawbacks of an unmonitored incubator and develops an affordable and safe device for real-time monitoring of the neonatal incubator. a low cost yet effective apparatus for monitoring the important parameters like pulse rate, temperature, humidity, gas and light of the premature baby inside an incubator. The sensed data are passed to the doctors or nurses wirelessly by the Arduino UNO via Internet of Things (IoT) so as to take necessary actions at times to maintain an appropriate environment for the safety of the lives of premature babies.


title: Deep learning method for identifying mass composition of ultra-high-energy cosmic rays

abstract: We introduce a novel method for identifying the mass composition of ultra-high-energy cosmic rays using deep learning. The key idea of the method is to use a chain of two neural networks. The first network predicts the type of a primary particle for individual events, while the second infers the mass composition of an ensemble of events. We apply this method to the Monte-Carlo data for the Telescope Array Surface Detectors readings, on which it yields an unprecedented low error of 7% for 4-component approximation. We also discuss the problems of applying the developed method to the experimental data, and the way they can be resolved.


title: Hierarchical Optimal Transport for Unsupervised Domain Adaptation

abstract: In this paper, we propose a novel approach for unsupervised domain adaptation, that relates notions of optimal transport, learning probability measures and unsupervised learning. The proposed approach, HOT-DA, is based on a hierarchical formulation of optimal transport, that leverages beyond the geometrical information captured by the ground metric, richer structural information in the source and target domains. The additional information in the labeled source domain is formed instinctively by grouping samples into structures according to their class labels. While exploring hidden structures in the unlabeled target domain is reduced to the problem of learning probability measures through Wasserstein barycenter, which we prove to be equivalent to spectral clustering. Experiments on a toy dataset with controllable complexity and two challenging visual adaptation datasets show the superiority of the proposed approach over the state-of-the-art.


title: Parity considerations for drops in cycles on $\{1,2,\ldots,n\}$

abstract: In 2019, A. Lazar and M. L. Wachs conjectured that the number of cycles on $[2n]$ with only even-odd drops equals the $n$-th Genocchi number. In this paper, we restrict our attention to a subset of cycles on $[n]$ that in all drops in the cycle, the latter entry is odd. We deduce two bivariate generating functions for such a subset of cycles with an extra variable introduced to count the number of odd-odd and even-odd drops, respectively. One of the generating function identities confirms Lazar and Wachs' conjecture, while the other identity implies that the number of cycles on $[2n-1]$ with only odd-odd drops equals the $(n-2)$-th Genocchi median.


title: Spectral reconstruction in NRQCD via the Backus-Gilbert method

abstract: We present progress results from the FASTSUM collaboration's programme to determine the spectrum of the bottomonium system as a function of temperature using a variety of approaches. In this contribution, the Backus Gilbert method is used to reconstruct spectral functions from NRQCD meson correlator data from FASTSUM's anisotropic ensembles at nonzero temperature. We focus in particular on the resolving power of the method, providing a demonstration of how the underlying resolution functions can be probed by exploiting the Laplacian nature of the NRQCD kernel. We conclude with estimates of the bottomonium ground state mass and widths at nonzero temperature.


title: A comparison of two possible nuclear effective field theory expansions around the one- and two-pion exchange potentials

abstract: In the effective field theory formalism nuclear forces are organized as a low energy expansion. Usually the lowest order in this expansion corresponds to the non-perturbative iteration of the one-pion exchange potential and a few contact-range operators as to ensure renormalization group invariance. Here we consider an alternative expansion in which two-pion exchange becomes the lowest order finite range interaction and as such is expected to be iterated. A comparison of this new expansion with the standard one shows a better convergence pattern for a few selected partial waves ($^1S_0$, $^3P_0$ and $^3S_1$-$^3D_1$) in two-nucleon scattering, in particular for the $^1S_0$ channel (though both expansions converge well). We briefly comment on the possible theoretical grounds for the expansion around two-pion exchange from the point of view of effective field theory.


title: MD-inferred neural network monoclinic finite-strain hyperelasticity models for $\beta$-HMX: Sobolev training and validation against physical constraints

abstract: We present a machine learning framework to train and validate neural networks to predict the anisotropic elastic response of the monoclinic organic molecular crystal $\beta$-HMX in the geometrical nonlinear regime. A filtered molecular dynamic (MD) simulations database is used to train the neural networks with a Sobolev norm that uses the stress measure and a reference configuration to deduce the elastic stored energy functional. To improve the accuracy of the elasticity tangent predictions originating from the learned stored energy, a transfer learning technique is used to introduce additional tangential constraints from the data while necessary conditions (e.g. strong ellipticity, crystallographic symmetry) for the correctness of the model are either introduced as additional physical constraints or incorporated in the validation tests. Assessment of the neural networks is based on (1) the accuracy with which they reproduce the bottom-line constitutive responses predicted by MD, (2) detailed examination of their stability and uniqueness, and (3) admissibility of the predicted responses with respect to continuum mechanics theory in the finite-deformation regime. We compare the neural networks' training efficiency under different Sobolev constraints and assess the models' accuracy and robustness against MD benchmarks for $\beta$-HMX.


title: On the very accurate evaluation of the Voigt/complex error function with small imaginary argument

abstract: A rapidly convergent series, based on Taylor expansion of the imaginary part of the complex error function, is presented for highly accurate approximation of the Voigt/complex error function with small imaginary argument (Y less than 0.1). Error analysis and run-time tests in double-precision computing platform reveals that in the real and imaginary parts the proposed algorithm provides average accuracy exceeding 10^-15 and 10^-16, respectively, and the calculation speed is as fast as that of reported in recent publications. An optimized MATLAB code providing rapid computation with high accuracy is presented.


title: Cyberphysical Sequencing for Distributed Asset Management with Broad Traceability

abstract: Cyber-Physical systems (CPS) have complex lifecycles involving multiple stakeholders, and the transparency of both hardware and software components' supply chain is opaque at best. This raises concerns for stakeholders who may not trust that what they receive is what was requested. There is an opportunity to build a cyberphysical titling process offering universal traceability and the ability to differentiate systems based on provenance. Today, RFID tags and barcodes address some of these needs, though they are easily manipulated due to non-linkage with an object or system's intrinsic characteristics. We propose cyberphysical sequencing as a low-cost, light-weight and pervasive means of adding track-and-trace capabilities to any asset that ties a system's physical identity to a unique and invariant digital identifier. CPS sequencing offers benefits similar Digital Twins' for identifying and managing the provenance and identity of an asset throughout its life with far fewer computational and other resources.


title: Improving the Reliability of Network Intrusion Detection Systems through Dataset Integration

abstract: This work presents Reliable-NIDS (R-NIDS), a novel methodology for Machine Learning (ML) based Network Intrusion Detection Systems (NIDSs) that allows ML models to work on integrated datasets, empowering the learning process with diverse information from different datasets. Therefore, R-NIDS targets the design of more robust models, that generalize better than traditional approaches. We also propose a new dataset, called UNK21. It is built from three of the most well-known network datasets (UGR'16, USNW-NB15 and NLS-KDD), each one gathered from its own network environment, with different features and classes, by using a data aggregation approach present in R-NIDS. Following R-NIDS, in this work we propose to build two well-known ML models (a linear and a non-linear one) based on the information of three of the most common datasets in the literature for NIDS evaluation, those integrated in UNK21. The results that the proposed methodology offers show how these two ML models trained as a NIDS solution could benefit from this approach, being able to generalize better when training on the newly proposed UNK21 dataset. Furthermore, these results are carefully analyzed with statistical tools that provide high confidence on our conclusions.


title: Chaotic Motion near Black Hole and Cosmological Horizons

abstract: It is known that certain types of particle motion near black hole horizons are chaotic while it has been proposed the existence of a universal bound for their Lyapunov exponent. We discuss the relation between chaos and inaffinity in presence of black hole and cosmological horizons. We argue that although a relation between the Lyapunov exponent and the generalized surface gravity appears naturally, in general there is no reason for the Lyapunov exponent of classical trajectories to be bounded in generic spacetimes with horizon. Moreover, we show that the de Sitter spacetime and cosmological horizons act as a nest of chaos in holography and we find that the Lyapunov exponent of the trajectories is related to the inaffinity in the same way for both cosmological and black hole horizons. This suggests that there is no distinction by the Lyapunov exponent between maximal chaos of black hole and cosmological horizons.


title: Geometry-aware Two-scale PIFu Representation for Human Reconstruction

abstract: Although PIFu-based 3D human reconstruction methods are popular, the quality of recovered details is still unsatisfactory. In a sparse (e.g., 3 RGBD sensors) capture setting, the depth noise is typically amplified in the PIFu representation, resulting in flat facial surfaces and geometry-fallible bodies. In this paper, we propose a novel geometry-aware two-scale PIFu for 3D human reconstruction from sparse, noisy inputs. Our key idea is to exploit the complementary properties of depth denoising and 3D reconstruction, for learning a two-scale PIFu representation to reconstruct high-frequency facial details and consistent bodies separately. To this end, we first formulate depth denoising and 3D reconstruction as a multi-task learning problem. The depth denoising process enriches the local geometry information of the reconstruction features, while the reconstruction process enhances depth denoising with global topology information. We then propose to learn the two-scale PIFu representation using two MLPs based on the denoised depth and geometry-aware features. Extensive experiments demonstrate the effectiveness of our approach in reconstructing facial details and bodies of different poses and its superiority over state-of-the-art methods.


title: Energy-Proportional Data Center Network Architecture Through OS, Switch and Laser Co-design

abstract: Optical interconnects are already the dominant technology in large-scale data center networks. However, the high optical loss of many optical components coupled with the low efficiency of laser sources result in high aggregate power requirements for the thousands of optical transceivers used by these networks. As optical interconnects stay always on even as traffic demands ebb and flow, most of this power is wasted. We present LC/DC, a data center network system architecture in which the operating system, the switch, and the optical components are co-designed to achieve energy proportionality. LC/DC capitalizes on the path divergence of data center networks to turn on and off redundant paths according to traffic demand, while maintaining full connectivity. Turning off redundant paths allows the optical transceivers and their electronic drivers to power down and save energy. Maintaining full connectivity hides the laser turn-on delay. At the node layer, intercepting send requests within the OS allows for the NIC's laser turn-on delay to be fully overlapped with TCP/IP packet processing, and thus egress links can remain powered off until needed with zero performance penalty. We demonstrate the feasibility of LC/DC by i) implementing the necessary modifications in the Linux kernel and device drivers, ii) implementing a 10Gbit/s FPGA switch, and iii) performing physical experiments with optical devices and circuit simulations. Our results on university data center traces and models of Facebook and Microsoft data center traffic show that LC/DC saves on average 60% of the optical transceivers power (68% max) at the cost of 6% higher packet delay.


abstract: In this article we provide a version of Chow's theorem for real analytic Levi-flat hypersurfaces in the complex projective space $\mathbb{P}^{n}$, $n \geq 2$. More specifically, we prove that a real analytic Levi-flat hypersurface $M \subset \mathbb{P}^{n}$, with singular set of real dimension at most $2n-4$ and whose Levi leaves are contained in algebraic hypersurfaces, is tangent to the levels of a rational function in $\mathbb{P}^{n}$. As a consequence, $M$ is a semialgebraic set. We also prove that a Levi foliation on $\mathbb{P}^{n}$ - a singular real analytic foliation whose leaves are immersed complex manifolds of codimension one - satisfying similar conditions - singular set of real dimension at most $2n-4$ and all leaves algebraic - is defined by the level sets of a rational function.


title: Hitting probabilities for fractional Brownian motion with deterministic drift

abstract: Let $B^{H}$ be a $d$-dimensional fractional Brownian motion with Hurst index $H\in(0,1)$, $f:[0,1]\longrightarrow\mathbb{R}^{d}$ a Borel function, and $E\subset[0,1]$, $F\subset\mathbb{R}^{d}$ are given Borel sets. The focus of this paper is on hitting probabilities of the fractional Brownian motion $B^{H}$ with the deterministic drift $f$. It aims to highlight the role of the regularity properties of the drift $f$ as well as that of the dimension of $E$ in determining the upper and lower bounds of $\mathbb{P}\{(B^H+f)(E)\cap F\neq \emptyset \}$ for $F$ a subset of $\mathbb{R}^{d}$ and also for $F$ a singleton.


title: Data-Free Neural Architecture Search via Recursive Label Calibration

abstract: This paper aims to explore the feasibility of neural architecture search (NAS) given only a pre-trained model without using any original training data. This is an important circumstance for privacy protection, bias avoidance, etc., in real-world scenarios. To achieve this, we start by synthesizing usable data through recovering the knowledge from a pre-trained deep neural network. Then we use the synthesized data and their predicted soft-labels to guide neural architecture search. We identify that the NAS task requires the synthesized data (we target at image domain here) with enough semantics, diversity, and a minimal domain gap from the natural images. For semantics, we propose recursive label calibration to produce more informative outputs. For diversity, we propose a regional update strategy to generate more diverse and semantically-enriched synthetic data. For minimal domain gap, we use input and feature-level regularization to mimic the original data distribution in latent space. We instantiate our proposed framework with three popular NAS algorithms: DARTS, ProxylessNAS and SPOS. Surprisingly, our results demonstrate that the architectures discovered by searching with our synthetic data achieve accuracy that is comparable to, or even higher than, architectures discovered by searching from the original ones, for the first time, deriving the conclusion that NAS can be done effectively with no need of access to the original or called natural data if the synthesis method is well designed.


title: Semileptonic tau decays beyond the Standard Model

abstract: Hadronic $\tau$ decays are studied as probe of new physics. We determine the dependence of several inclusive and exclusive $\tau$ observables on the Wilson coefficients of the low-energy effective theory describing charged-current interactions between light quarks and leptons. The analysis includes both strange and non-strange decay channels. The main result is the likelihood function for the Wilson coefficients in the tau sector, based on the up-to-date experimental measurements and state-of-the-art theoretical techniques. The likelihood can be readily combined with inputs from other low-energy precision observables. We discuss a combination with nuclear beta, baryon, pion, and kaon decay data. In particular, we provide a comprehensive and model-independent description of the new physics hints in the combined dataset, which are known under the name of the Cabibbo anomaly.


title: Linear-time generalized Hartree-Fock algorithm for quasi-one-dimensional systems

abstract: In many approximate approaches to fermionic quantum many-body systems, such as Hartree-Fock and density functional theory, solving a system of non-interacting fermions coupled to some effective potential is the computational bottleneck. In this paper, we demonstrate that this crucial computational step can be accelerated using recently developed methods for Gaussian fermionic matrix product states (GFMPS). As an example, we study the generalized Hartree-Fock method, which unifies Hartree-Fock and self-consistent BCS theory, applied to Hubbard models with an inhomogeneous potential. We demonstrate that for quasi-one-dimensional systems with local interactions, our approach scales approximately linearly in the length of the system while yielding a similar accuracy to standard approaches that scale cubically in the system size.


title: Regularized Newton Method with Global $O(1/k^2)$ Convergence

abstract: We present a Newton-type method that converges fast from any initialization and for arbitrary convex objectives with Lipschitz Hessians. We achieve this by merging the ideas of cubic regularization with a certain adaptive Levenberg--Marquardt penalty. In particular, we show that the iterates given by $x^{k+1}=x^k - \bigl(\nabla^2 f(x^k) + \sqrt{H\|\nabla f(x^k)\|} \mathbf{I}\bigr)^{-1}\nabla f(x^k)$, where $H>0$ is a constant, converge globally with a $\mathcal{O}(\frac{1}{k^2})$ rate. Our method is the first variant of Newton's method that has both cheap iterations and provably fast global convergence. Moreover, we prove that locally our method converges superlinearly when the objective is strongly convex. To boost the method's performance, we present a line search procedure that does not need prior knowledge of $H$ and is provably efficient.


title: Qubit Regularization and Qubit Embedding Algebras

abstract: Qubit regularization is a procedure to regularize the infinite dimensional local Hilbert space of bosonic fields to a finite dimensional one, which is a crucial step when trying to simulate lattice quantum field theories on a quantum computer. When the qubit-regularized lattice quantum fields preserve important symmetries of the original theory, qubit regularization naturally enforces certain algebraic structures on these quantum fields. We introduce the concept of qubit embedding algebras (QEAs) to characterize this algebraic structure associated with a qubit regularization scheme. We show a systematic procedure to derive QEAs for the O(N) lattice spin models and the SU(N) lattice gauge theories. While some of the QEAs we find were discovered earlier in the context of the D-theory approach, our method shows that QEAs are far more richer. A more complete understanding of the QEAs could be helpful in recovering the fixed points of the desired quantum field theories.


title: Class-agnostic Reconstruction of Dynamic Objects from Videos

abstract: We introduce REDO, a class-agnostic framework to REconstruct the Dynamic Objects from RGBD or calibrated videos. Compared to prior work, our problem setting is more realistic yet more challenging for three reasons: 1) due to occlusion or camera settings an object of interest may never be entirely visible, but we aim to reconstruct the complete shape; 2) we aim to handle different object dynamics including rigid motion, non-rigid motion, and articulation; 3) we aim to reconstruct different categories of objects with one unified framework. To address these challenges, we develop two novel modules. First, we introduce a canonical 4D implicit function which is pixel-aligned with aggregated temporal visual cues. Second, we develop a 4D transformation module which captures object dynamics to support temporal propagation and aggregation. We study the efficacy of REDO in extensive experiments on synthetic RGBD video datasets SAIL-VOS 3D and DeformingThings4D++, and on real-world video data 3DPW. We find REDO outperforms state-of-the-art dynamic reconstruction methods by a margin. In ablation studies we validate each developed component.


title: Symmetry TFTs from String Theory

abstract: We determine the $d+1$ dimensional topological field theory, which encodes the higher-form symmetries and their 't Hooft anomalies for $d$-dimensional QFTs obtained by compactifying M-theory on a non-compact space $X$. The resulting theory, which we call the Symmetry TFT, or SymTFT for short, is derived by reducing the topological sector of 11d supergravity on the boundary $\partial X$ of the space $X$. Central to this endeavour is a reformulation of supergravity in terms of differential cohomology, which allows the inclusion of torsion in cohomology of the space $\partial X$, which in turn gives rise to the background fields for discrete (in particular higher-form) symmetries. We apply this framework to 7d super-Yang Mills where $X= \mathbb{C}^2/\Gamma_{ADE}$, as well as the Sasaki-Einstein links of Calabi-Yau three-fold cones that give rise to 5d superconformal field theories. This M-theory analysis is complemented with a IIB 5-brane web approach, where we derive the SymTFTs from the asymptotics of the 5-brane webs. Our methods apply to both Lagrangian and non-Lagrangian theories, and allow for many generalisations.


title: Causal-based Time Series Domain Generalization for Vehicle Intention Prediction

abstract: Accurately predicting possible behaviors of traffic participants is an essential capability for autonomous vehicles. Since autonomous vehicles need to navigate in dynamically changing environments, they are expected to make accurate predictions regardless of where they are and what driving circumstances they encountered. Therefore, generalization capability to unseen domains is crucial for prediction models when autonomous vehicles are deployed in the real world. In this paper, we aim to address the domain generalization problem for vehicle intention prediction tasks and a causal-based time series domain generalization (CTSDG) model is proposed. We construct a structural causal model for vehicle intention prediction tasks to learn an invariant representation of input driving data for domain generalization. We further integrate a recurrent latent variable model into our structural causal model to better capture temporal latent dependencies from time-series input data. The effectiveness of our approach is evaluated via real-world driving data. We demonstrate that our proposed method has consistent improvement on prediction accuracy compared to other state-of-the-art domain generalization and behavior prediction methods.


title: Coupling Vision and Proprioception for Navigation of Legged Robots

abstract: We exploit the complementary strengths of vision and proprioception to develop a point-goal navigation system for legged robots, called VP-Nav. Legged systems are capable of traversing more complex terrain than wheeled robots, but to fully utilize this capability, we need a high-level path planner in the navigation system to be aware of the walking capabilities of the low-level locomotion policy in varying environments. We achieve this by using proprioceptive feedback to ensure the safety of the planned path by sensing unexpected obstacles like glass walls, terrain properties like slipperiness or softness of the ground and robot properties like extra payload that are likely missed by vision. The navigation system uses onboard cameras to generate an occupancy map and a corresponding cost map to reach the goal. A fast marching planner then generates a target path. A velocity command generator takes this as input to generate the desired velocity for the walking policy. A safety advisor module adds sensed unexpected obstacles to the occupancy map and environment-determined speed limits to the velocity command generator. We show superior performance compared to wheeled robot baselines, and ablation studies which have disjoint high-level planning and low-level control. We also show the real-world deployment of VP-Nav on a quadruped robot with onboard sensors and computation. Videos at https://navigation-locomotion.github.io


title: Intelligent Trading Systems: A Sentiment-Aware Reinforcement Learning Approach

abstract: The feasibility of making profitable trades on a single asset on stock exchanges based on patterns identification has long attracted researchers. Reinforcement Learning (RL) and Natural Language Processing have gained notoriety in these single-asset trading tasks, but only a few works have explored their combination. Moreover, some issues are still not addressed, such as extracting market sentiment momentum through the explicit capture of sentiment features that reflect the market condition over time and assessing the consistency and stability of RL results in different situations. Filling this gap, we propose the Sentiment-Aware RL (SentARL) intelligent trading system that improves profit stability by leveraging market mood through an adaptive amount of past sentiment features drawn from textual news. We evaluated SentARL across twenty assets, two transaction costs, and five different periods and initializations to show its consistent effectiveness against baselines. Subsequently, this thorough assessment allowed us to identify the boundary between news coverage and market sentiment regarding the correlation of price-time series above which SentARL's effectiveness is outstanding.


title: Full-Duplex Massive MIMO Cellular Networks with Low Resolution ADC/DAC

abstract: In this paper, we provide an analytical framework for full-duplex (FD) massive multiple-input multiple-output (MIMO) cellular networks with low resolution analog-to-digital and digital-to-analog converters (ADCs and DACs). Matched filters are employed at the FD base stations (BSs) at the transmit and receive sides. For both reverse and forward links, our contributions are (1) derivations of the signal-to-quantization-plus-interference-and-noise ratio (SQINR) for general and special cases; (2) derivations of spectral efficiency for asymptotic cases as well as for power scaling laws; and (3) quantifying effects of quantization error, loopback self-interference, and inter-user interference for hexagonal cells and Poisson Point Process (PPP) tessellations on outage probability and spectral efficiency.


title: Global alignment for relation extraction in Microbiology

abstract: We investigate a method to extract relations from texts based on global alignment and syntactic information. Combined with SVM, this method is shown to have a performance comparable or even better than LSTM on two RE tasks.


title: Jordan and Einstein frames Hamiltonian analysis for FLRW Brans-Dicke theory

abstract: We analyze Hamiltonian equivalence between Jordan and Einstein frames considering a mini-superspace model of flat Friedmann-Lemaitre-Robertson-Walker (FLRW) Universe in Brans-Dicke theory. Hamiltonian equations of motion are derived in the Jordan, Einstein, and in the anti-gravity (or anti-Newtonian) frames. We show that applying the Weyl (conformal) transformations to the equations of motion in the Einstein frame we did not get the equations of motion in the Jordan frame. Vice-versa, we re-obtain the equations of motion in the Jordan frame applying the anti-gravity inverse transformation to the equation of motion in the anti-gravity frame.


title: Entropy of Reissner-Nordstr\"om-like black holes

abstract: In Poincar\'e gauge theory, black hole entropy is defined canonically by the variation of a boundary term $\Gamma_H$, located at horizon. For a class of static and spherically symmetric black holes in vacuum, the explicit formula reads $\delta\Gamma_H=T\delta S$, where $T$ is black hole temperature and $S$ entropy. Here, we analyze a new member of the same class, the Reissner-Nordstr\"om-like black hole with torsion [1], where the electric charge of matter is replaced by a gravitational parameter, induced by the existence of torsion. This parameter affects $\delta\Gamma_H$ in a way that ensures the validity of the first law.


title: ProbNum: Probabilistic Numerics in Python

abstract: Probabilistic numerical methods (PNMs) solve numerical problems via probabilistic inference. They have been developed for linear algebra, optimization, integration and differential equation simulation. PNMs naturally incorporate prior information about a problem and quantify uncertainty due to finite computational resources as well as stochastic input. In this paper, we present ProbNum: a Python library providing state-of-the-art probabilistic numerical solvers. ProbNum enables custom composition of PNMs for specific problem classes via a modular design as well as wrappers for off-the-shelf use. Tutorials, documentation, developer guides and benchmarks are available online at www.probnum.org.


title: View-Consistent Metal Segmentation in the Projection Domain for Metal Artifact Reduction in CBCT -- An Investigation of Potential Improvement

abstract: The positive outcome of a trauma intervention depends on an intraoperative evaluation of inserted metallic implants. Due to occurring metal artifacts, the quality of this evaluation heavily depends on the performance of so-called Metal Artifact Reduction methods (MAR). The majority of these MAR methods require prior segmentation of the inserted metal objects. Therefore, typically a rather simple thresholding-based segmentation method in the reconstructed 3D volume is applied, despite some major disadvantages. With this publication, the potential of shifting the segmentation task to a learning-based, view-consistent 2D projection-based method on the downstream MAR's outcome is investigated. For segmenting the present metal, a rather simple learning-based 2D projection-wise segmentation network that is trained using real data acquired during cadaver studies, is examined. To overcome the disadvantages that come along with a 2D projection-wise segmentation, a Consistency Filter is proposed. The influence of the shifted segmentation domain is investigated by comparing the results of the standard fsMAR with a modified fsMAR version using the new segmentation masks. With a quantitative and qualitative evaluation on real cadaver data, the investigated approach showed an increased MAR performance and a high insensitivity against metal artifacts. For cases with metal outside the reconstruction's FoV or cases with vanishing metal, a significant reduction in artifacts could be shown. Thus, increases of up to roughly 3 dB w.r.t. the mean PSNR metric over all slices and up to 9 dB for single slices were achieved. The shown results reveal a beneficial influence of the shift to a 2D-based segmentation method on real data for downstream use with a MAR method, like the fsMAR.


title: Echocardiography Segmentation with Enforced Temporal Consistency

abstract: Convolutional neural networks (CNN) have demonstrated their ability to segment 2D cardiac ultrasound images. However, despite recent successes according to which the intra-observer variability on end-diastole and end-systole images has been reached, CNNs still struggle to leverage temporal information to provide accurate and temporally consistent segmentation maps across the whole cycle. Such consistency is required to accurately describe the cardiac function, a necessary step in diagnosing many cardiovascular diseases. In this paper, we propose a framework to learn the 2D+time apical long-axis cardiac shape such that the segmented sequences can benefit from temporal and anatomical consistency constraints. Our method is a post-processing that takes as input segmented echocardiographic sequences produced by any state-of-the-art method and processes it in two steps to (i) identify spatio-temporal inconsistencies according to the overall dynamics of the cardiac sequence and (ii) correct the inconsistencies. The identification and correction of cardiac inconsistencies relies on a constrained autoencoder trained to learn a physiologically interpretable embedding of cardiac shapes, where we can both detect and fix anomalies. We tested our framework on 98 full-cycle sequences from the CAMUS dataset, which are available alongside this paper. Our temporal regularization method not only improves the accuracy of the segmentation across the whole sequences, but also enforces temporal and anatomical consistency.


title: Theory of Dirac Dark Matter: Higgs Decays and EDMs

abstract: We discuss a simple theory predicting the existence of a Dirac dark matter candidate from gauge anomaly cancellation. In this theory, the spontaneous breaking of local baryon number at the low scale can be understood. We show that the constraint from the dark matter relic abundance implies an upper bound on the theory of a few tens of TeV. We study the correlation between the dark matter constraints and the prediction for the electric dipole moment (EDM) of the electron. We point out the implications for the diphoton decay width of the Standard Model Higgs. Furthermore, we study the decays of the new Higgs present in the theory, we show that the branching ratio into two photons can be large and discuss the strong correlation between the dark matter constraints and the properties of the new Higgs decays. This theory could be tested at current or future experiments by combining the results from dark matter, collider and EDM experiments.


title: Probing Invisible Vector Meson Decays with NA64 and LDMX

abstract: Electron beam fixed target experiments such as NA64 and LDMX use missing energy-momentum to detect the production of dark matter and other long-lived states. The most studied production mechanism is dark Bremsstrahlung through a vector mediator. In this work, we explore a complementary source of missing energy-momentum signals: Bremsstrahlung photons can convert to hard vector mesons in exclusive photoproduction processes, which then decay to dark matter or other invisible particles, such as neutrinos. We find that existing NA64 data can improve the leading constraints on invisible light vector meson decays, while a future run of LDMX could improve them by up to $5$ orders of magnitude. For the examples of a dark photon and a $U(1)_B$ gauge boson mediator, accounting for meson decays substantially enhances these experiments' sensitivity, especially to thermal relic dark matter of mass $m_\chi \gtrsim 0.1\ \mathrm{GeV}$.


title: The Sagittarius stream in Gaia eDR3 and the origin of the bifurcations

abstract: The Sagittarius dwarf spheroidal (Sgr) is a dissolving galaxy being tidally disrupted by the Milky Way (MW). Its stellar stream still poses serious modelling challenges, which hinders our ability to use it effectively as a probe of the MW gravitational potential. Our goal is to construct the best possible sample of stars with which we can advance our understanding of the Sgr-MW interaction, focusing on the characterisation of the bifurcations. We improve on previous methods based on the use of the wavelet transform to systematically search for the kinematic signature of the Sgr stream in the Gaia data. We refine our selection via the use of a clustering algorithm on the statistical properties of the colour-magnitude diagrams. Our final sample contains > 700k candidate stars, 3x larger than previous samples. We have been able to detect the bifurcation of the stream in both the northern and southern hemispheres, requiring four branches to fully describe this system. We present the detailed proper motion distribution of the trailing arm as a function of Lambda showing the presence of a sharp edge (on the side of the small proper motions) beyond which there are no Sgr stars. We also characterise the correlation between kinematics and distance. The chemical analysis of our sample shows a significant difference between the faint and bright branches. We provide analytical descriptions for the proper motion trends as well as for the sky distribution of the four branches of the stream. We interpret the bifurcations as the misaligned overlap of the material stripped at the antepenultimate pericentre (faint branches) with the stars ejected at the penultimate pericentre (bright branch). The source of this misalignment is still unknown but we argue that models with some internal rotation in the progenitor, at least during the time of stripping of the stars in the faint branches, are worth exploring.


title: Bootstrapping $N_f=4$ conformal QED$_3$

abstract: We present the results of a conformal bootstrap study of the presumed unitary IR fixed point of quantum electrodynamics in three dimensions (QED$_3$) coupled to $N_f=4$ two-component Dirac fermions. Specifically, we study the four-point correlators of the $SU(4)$ adjoint fermion bilinear $r$ and the monopole of lowest topological charge $\mathcal{M}_{1/2}$. Most notably, the scaling dimensions of the fermion bilinear $r$ and the monopole $\mathcal{M}_{1/2}$ are found to be constrained into a closed island with a combination of spectrum assumptions inspired by the $1/N_f$ perturbative results as well as a novel interval positivity constraint on the next-lowest-charge monopole $\mathcal{M}_1$. Bounds in this island on the $SU(4)$ and topological $U(1)_t$ conserved current central charges $c_J$, $c_J^t$, as well as on the stress tensor central charge $c_T$, are comfortably consistent with the perturbative results. Together with the scaling dimensions, this suggests that a part of estimates from the $1/N_f$ expansion -- even at $N_f=4$ -- provide a self-consistent solution to the bootstrap crossing relations, despite some of our assumptions not being strictly justified.

categories: hep-th cond-mat.stat-mech cond-mat.str-el hep-lat


title: Time- and Space-Varying Neutrino Mass Matrix from Soft Topological Defects

abstract: We study the formation and evolution of topological defects that arise in the post-recombination phase transition predicted by the gravitational neutrino mass model in [Dvali, Funcke, Phys. Rev. D 93, 113002 (2016)]. In the transition, global skyrmions, monopoles, strings, and domain walls form due to the spontaneous breaking of the neutrino flavor symmetry. These defects are unique in their softness and origin; as they appear at a very low energy scale, they only require Standard Model particle content, and they differ fundamentally depending on the Majorana or Dirac nature of the neutrinos. One of the observational signatures is the time dependence and space dependence of the neutrino mass matrix, which could be observable in future neutrino experiments. Already existing data rule out parts of the parameter space in the Majorana case. The detection of this effect could shed light onto the open question of the Dirac versus Majorana neutrino nature.


title: Two-loop anomalous dimension for the resummation of non-global observables

abstract: The soft radiation emitted in jet cross sections can resolve the directions and colors of individual hard partons, leading to a complicated pattern of logarithmically enhanced terms in the perturbative series. Starting from a factorization theorem and solving the renormalization group equations for its ingredients, these large logarithms can be resummed. In this paper, we extract the two-loop anomalous dimension governing the resummation of subleading logarithms in jet cross sections and other non-global observables. This anomalous dimension can be obtained by considering soft limits of hard amplitudes, but the presence of collinear singularities in intermediate expressions makes its extraction delicate. As a consistency check, we use our results to predict the known subleading non-global logarithms in the two-jet cross section.


title: Mitigating Foreground Bias to the CMB Lensing Power Spectrum for a CMB-HD Survey

abstract: A promising way to measure the distribution of matter on small scales (k ~ 10 hMpc^-1) is to use gravitational lensing of the Cosmic Microwave Background (CMB). CMB-HD, a proposed high-resolution, low-noise millimeter survey over half the sky, can measure the CMB lensing auto spectrum on such small scales enabling measurements that can distinguish between a cold dark matter (CDM) model and alternative models designed to solve problems with CDM on small scales. However, extragalactic foregrounds can bias the CMB lensing auto spectrum if left untreated. We present a foreground mitigation strategy that provides a path to reduce the bias from two of the most dominant foregrounds, the thermal Sunyaev-Zel'dovich effect (tSZ) and the Cosmic Infrared Background (CIB). Given the level of realism included in our analysis, we find that the tSZ alone and the CIB alone bias the lensing auto spectrum by 0.6 sigma and 1.1 sigma respectively, in the lensing multipole range of L in [5000,20000] for a CMB-HD survey; combined these foregrounds yield a bias of only 1.3 sigma. Including these foregrounds, we also find that a CMB-HD survey can distinguish between a CDM model and a 10^-22 eV FDM model at the 5 sigma level. These results provide an important step in demonstrating that foreground contamination can be sufficiently reduced to enable a robust measurement of the small-scale matter power spectrum with CMB-HD.


title: Audio Universe: Tour of the Solar System

abstract: We have created a show about the Solar System, freely available for both planetariums and home viewing, where objects in space are represented with sound as well as with visuals. For example, the audience listens to the stars appear above the European Southern Observatory's Very Large Telescope and they hear the planets orbit around their heads. The aim of this show is that it can be enjoyed and understood, irrespective of level of vision. Here we describe how we used our new computer code, STRAUSS, to convert data into sound for the show. We also discuss the lessons learnt during the design of the show, including how it was imperative to obtain a range of diverse perspectives from scientists, a composer and representatives of the blind and vision impaired community.


title: The physics of the MHD disk-jet transition in binary systems: jetted spiral walls launched from disk spiral arms

abstract: We present a detailed physical analysis of the jet launching mechanism of a circum-stellar disk that is located in a binary system. Applying 3D resistive MHD simulations, we investigate the local and global properties of the system, such as the angular momentum transport and the accretion and ejection mass fluxes. In comparison to previous works, for the first time, we have considered the full magnetic torque, the presence of an outflow, thus the angular momentum transport by vertical motion, and the binary torque. We discuss its specific 3D structure, and how it is affected by tidal effects. We find that the spiral structure evolving in the disk is {\em launched into the outflow}. We propose to call this newly discovered structure a {\em jet spiral wall}. These spiral features follow the same time evolution, with the jet spiral somewhat lagging the disk spiral. We find that the vertical transport of angular momentum has a significant role in the total angular momentum budget also in a binary system. The same holds for the magnetic torque, however, the contribution from the $\phi$-derivative of magnetic pressure and the $B_{\phi}B_r$ stresses are small. The gravity torque arising from the time-dependent 3D Roche potential becomes essential, as it constitutes the fundamental cause for all 3D effects appearing in our disk-jet system. Quantitatively, we find that the disk accretion rate in a binary system increases by $20\%$ compared to a disk around a single star. The disk wind mass flux increases by even 50\%.


title: Quantum criticality and confinement in weak Mott insulators

abstract: Electrons undergoing a Mott transition may shed their charge but persist as neutral excitations of a quantum spin liquid (QSL). We introduce concrete two-dimensional models exhibiting this exotic behavior as they transition from superconducting or topological phases into fully charge-localized insulators. We study these Mott transitions and the confinement of neutral fermions at a second transition into a symmetry-broken phase. In the process, we also derive coupled-wire parent Hamiltonians for a non-Abelian QSL and a $\mathbb{Z}_4$ QSL.


title: Neutral Excitations of Quantum Hall States: a Density Matrix Renormalization Group Study

abstract: We use the dynamical structure factors of the quantum Hall states at $\nu=1/3$ and $\nu=1/2$ in the lowest Landau level to study their excitation spectrum. Using the density matrix renormalization group in combination with the time-dependent variational principle on an infinite cylinder geometry, we extract the low energy properties. At $\nu=1/3$, a sharp magnetoroton mode and the two-roton continuum are present and the finite-size effects can be understood using the fractional charge of the quasi-particle. At $\nu=1/2$, we find low energy modes with linear dispersion and the static structure factor $\bar s(q) \sim (q\ell)^3$ in the limit $q\ell \rightarrow 0$. The properties of these modes agree quantitatively with the predictions of the composite-fermion theory placed on the infinite cylinder.