title: Formation of Venus, Earth and Mars: Constrained by isotopes

abstract: We discuss the current state of knowledge of terrestrial planet formation from the aspects of different planet formation models and isotopic data from 182Hf-182W, U-Pb, lithophile-siderophile elements, 48Ca/44Ca isotope samples from planetary building blocks, 36Ar/38Ar, 20Ne/22Ne, 36Ar/22Ne isotope ratios in Venus' and Earth's atmospheres, the expected solar 3He abundance in Earth's deep mantle and Earth's D/H sea water ratios that shed light on the accretion time of the early protoplanets. Accretion scenarios that can explain the different isotope ratios, including a Moon-forming event after ca. 50 Myr, support the theory that the bulk of Earth's mass (>80%) most likely accreted within 10-30 Myr. From a combined analysis of the before mentioned isotopes, one finds that proto-Earth accreted 0.5-0.6 MEarth within the first ~4-5 Myr, the approximate lifetime of the protoplanetary disk. For Venus, the available atmospheric noble gas data are too uncertain for constraining the planet's accretion scenario accurately. However, from the available Ar and Ne isotope measurements, one finds that proto-Venus could have grown to 0.85-1.0 MVenus before the disk dissipated. Classical terrestrial planet formation models have struggled to grow large planetary embryos quickly from the tiniest materials within the typical lifetime of protoplanetary disks. Pebble accretion could solve this long-standing time scale controversy. Pebble accretion and streaming instabilities produce large planetesimals that grow into Mars-sized and larger planetary embryos during this early accretion phase. The later stage of accretion can be explained well with the Grand-Tack, annulus or depleted disk models. The relative roles of pebble accretion and planetesimal accretion/giant impacts are poorly understood and should be investigated with N-body simulations that include pebbles and multiple protoplanets.


title: Time-dependent Orbital-free Density Functional Theory: Background and Pauli kernel approximations

abstract: Time-dependent orbital-free DFT is an efficient method for calculating the dynamic properties of large scale quantum systems due to the low computational cost compared to standard time-dependent DFT. We formalize this method by mapping the real system of interacting fermions onto a fictitious system of non-interacting bosons. The dynamic Pauli potential and associated kernel emerge as key ingredients of time-tependent orbital-free DFT. Using the uniform electron gas as a model system, we derive an approximate frequency-dependent Pauli kernel. Pilot calculations suggest that space nonlocality is a key feature for this kernel. Nonlocal terms arise already in the second order expansion with respect to unitless frequency and reciprocal space variable ($\frac{\omega}{q\, k_F}$ and $\frac{q}{2\, k_F}$, respectively). Given the encouraging performance of the proposed kernel, we expect it will lead to more accurate orbital-free DFT simulations of nanoscale systems out of equilibrium. Additionally, the proposed path to formulate nonadiabatic Pauli kernels presents several avenues for further improvements which can be exploited in future works to improve the results.


title: Bipartite and tripartite entanglement in a Bose-Einstein acoustic black hole

abstract: We investigate quantum entanglement in an analogue black hole realized in the flow of a Bose-Einstein condensate. The system is described by a three-mode Gaussian state and we construct the corresponding covariance matrix at zero and finite temperature. We study associated bipartite and tripartite entanglement measures and discuss their experimental observation. We identify a simple optical setup equivalent to the analogue Bose-Einstein black hole which suggests a new way of determining the Hawking temperature and grey-body factor of the system.


title: Charged Lepton Flavor Violation at the EIC

abstract: We present a comprehensive analysis of the potential sensitivity of the Electron-Ion Collider (EIC) to charged lepton flavor violation (CLFV) in the channel $ep\to \tau X$, within the model-independent framework of the Standard Model Effective Field Theory (SMEFT). We compute the relevant cross sections to leading order in QCD and electroweak corrections and perform simulations of signal and SM background events in various $\tau$ decay channels, suggesting simple cuts to enhance the associated estimated efficiencies. To assess the discovery potential of the EIC in $\tau$-$e$ transitions, we study the sensitivity of other probes of this physics across a broad range of energy scales, from $pp \to e \tau X$ at the Large Hadron Collider to decays of $B$ mesons and $\tau$ leptons, such as $\tau \to e \gamma$, $\tau \to e \ell^+ \ell^-$, and crucially the hadronic modes $\tau \to e Y$ with $Y \in \{ \pi, K, \pi \pi, K \pi, ...\}$. We find that electroweak dipole and four-fermion semi-leptonic operators involving light quarks are already strongly constrained by $\tau$ decays, while operators involving the $c$ and $b$ quarks present more promising discovery potential for the EIC. An analysis of three models of leptoquarks confirms the expectations based on the SMEFT results. We also identify future directions needed to maximize the reach of the EIC in CLFV searches: these include an optimization of the $\tau$ tagger in hadronic channels, an exploration of background suppression through tagging $b$ and $c$ jets in the final state, and a global fit by turning on all SMEFT couplings, which will likely reveal new discovery windows for the EIC.


title: Multi-Task Reinforcement Learning with Context-based Representations

abstract: The benefit of multi-task learning over single-task learning relies on the ability to use relations across tasks to improve performance on any single task. While sharing representations is an important mechanism to share information across tasks, its success depends on how well the structure underlying the tasks is captured. In some real-world situations, we have access to metadata, or additional information about a task, that may not provide any new insight in the context of a single task setup alone but inform relations across multiple tasks. While this metadata can be useful for improving multi-task learning performance, effectively incorporating it can be an additional challenge. We posit that an efficient approach to knowledge transfer is through the use of multiple context-dependent, composable representations shared across a family of tasks. In this framework, metadata can help to learn interpretable representations and provide the context to inform which representations to compose and how to compose them. We use the proposed approach to obtain state-of-the-art results in Meta-World, a challenging multi-task benchmark consisting of 50 distinct robotic manipulation tasks.


title: Structural identifiability analysis of PDEs: A case study in continuous age-structured epidemic models

abstract: Computational and mathematical models rely heavily on estimated parameter values for model development. Identifiability analysis determines how well the parameters of a model can be estimated from experimental data. Identifiability analysis is crucial for interpreting and determining confidence in model parameter values and to provide biologically relevant predictions. Structural identifiability analysis, in which one assumes data to be noiseless and arbitrarily fine-grained, has been extensively studied in the context of ordinary differential equation (ODE) models, but has not yet been widely explored for age-structured partial differential equation (PDE) models. These models present additional difficulties due to increased number of variables and partial derivatives as well as the presence of boundary conditions. In this work, we establish a pipeline for structural identifiability analysis of age-structured PDE models using a differential algebra framework and derive identifiability results for specific age-structured models. We use epidemic models to demonstrate this framework because of their wide-spread use in many different diseases and for the corresponding parallel work previously done for ODEs. In our application of the identifiability analysis pipeline, we focus on a Susceptible-Exposed-Infected model for which we compare identifiability results for a PDE and corresponding ODE system and explore effects of age-dependent parameters on identifiability. We also show how practical identifiability analysis can be applied in this example.


title: Axion/Hidden-Photon Dark Matter Conversion into Condensed Matter Axion

abstract: The QCD axion or axion-like particles are candidates of dark matter of the universe. On the other hand, axion-like excitations exist in certain condensed matter systems, which implies that there can be interactions of dark matter particles with condensed matter axions. We discuss the relationship between the condensed matter axion and a collective spin-wave excitation in an anti-ferromagnetic insulator at the quantum level. The conversion rate of the light dark matter, such as the elementary particle axion or hidden photon, into the condensed matter axion is estimated for the discovery of the dark matter signals.


title: High-Throughput Rapid Experimental Alloy Development (HT-READ)

abstract: The current bulk materials discovery cycle has several inefficiencies from initial computational predictions through fabrication and analyses. Materials are generally evaluated in a singular fashion, relying largely on human-driven compositional choices and analysis of the volumes of generated data, thus also slowing validation of computational models. To overcome these limitations, we developed a high-throughput rapid experimental alloy development (HT-READ) methodology that comprises an integrated, closed-loop material screening process inspired by broad chemical assays and modern innovations in automation. Our method is a general framework unifying computational identification of ideal candidate materials, fabrication of sample libraries in a configuration amenable to multiple tests and processing routes, and analysis of the candidate materials in a high-throughput fashion. An artificial intelligence agent is used to find connections between compositions and material properties. New experimental data can be leveraged in subsequent iterations or new design objectives. The sample libraries are assigned unique identifiers and stored to make data and samples persistent, thus preventing institutional knowledge loss.


title: Algorithms, Reductions and Equivalences for Small Weight Variants of All-Pairs Shortest Paths

abstract: APSP with small integer weights in undirected graphs [Seidel'95, Galil and Margalit'97] has an $\tilde{O}(n^\omega)$ time algorithm, where $\omega<2.373$ is the matrix multiplication exponent. APSP in directed graphs with small weights however, has a much slower running time that would be $\Omega(n^{2.5})$ even if $\omega=2$ [Zwick'02]. To understand this $n^{2.5}$ bottleneck, we build a web of reductions around directed unweighted APSP. We show that it is fine-grained equivalent to computing a rectangular Min-Plus product for matrices with integer entries; the dimensions and entry size of the matrices depend on the value of $\omega$. As a consequence, we establish an equivalence between APSP in directed unweighted graphs, APSP in directed graphs with small $(\tilde{O}(1))$ integer weights, All-Pairs Longest Paths in DAGs with small weights, approximate APSP with additive error $c$ in directed graphs with small weights, for $c\le \tilde{O}(1)$ and several other graph problems. We also provide fine-grained reductions from directed unweighted APSP to All-Pairs Shortest Lightest Paths (APSLP) in undirected graphs with $\{0,1\}$ weights and $\#_{\text{mod}\ c}$APSP in directed unweighted graphs (computing counts mod $c$). We complement our hardness results with new algorithms. We improve the known algorithms for APSLP in directed graphs with small integer weights and for approximate APSP with sublinear additive error in directed unweighted graphs. Our algorithm for approximate APSP with sublinear additive error is optimal, when viewed as a reduction to Min-Plus product. We also give new algorithms for variants of #APSP in unweighted graphs, as well as a near-optimal $\tilde{O}(n^3)$-time algorithm for the original #APSP problem in unweighted graphs. Our techniques also lead to a simpler alternative for the original APSP problem in undirected graphs with small integer weights.


title: CENTRIS: A Precise and Scalable Approach for Identifying Modified Open-Source Software Reuse

abstract: Open-source software (OSS) is widely reused as it provides convenience and efficiency in software development. Despite evident benefits, unmanaged OSS components can introduce threats, such as vulnerability propagation and license violation. Unfortunately, however, identifying reused OSS components is a challenge as the reused OSS is predominantly modified and nested. In this paper, we propose CENTRIS, a precise and scalable approach for identifying modified OSS reuse. By segmenting an OSS code base and detecting the reuse of a unique part of the OSS only, CENTRIS is capable of precisely identifying modified OSS reuse in the presence of nested OSS components. For scalability, CENTRIS eliminates redundant code comparisons and accelerates the search using hash functions. When we applied CENTRIS on 10,241 widely-employed GitHub projects, comprising 229,326 versions and 80 billion lines of code, we observed that modified OSS reuse is a norm in software development, occurring 20 times more frequently than exact reuse. Nonetheless, CENTRIS identified reused OSS components with 91% precision and 94% recall in less than a minute per application on average, whereas a recent clone detection technique, which does not take into account modified and nested OSS reuse, hardly reached 10% precision and 40% recall.


title: Less is More: ClipBERT for Video-and-Language Learning via Sparse Sampling

abstract: The canonical approach to video-and-language learning (e.g., video question answering) dictates a neural model to learn from offline-extracted dense video features from vision models and text features from language models. These feature extractors are trained independently and usually on tasks different from the target domains, rendering these fixed features sub-optimal for downstream tasks. Moreover, due to the high computational overload of dense video features, it is often difficult (or infeasible) to plug feature extractors directly into existing approaches for easy finetuning. To provide a remedy to this dilemma, we propose a generic framework ClipBERT that enables affordable end-to-end learning for video-and-language tasks, by employing sparse sampling, where only a single or a few sparsely sampled short clips from a video are used at each training step. Experiments on text-to-video retrieval and video question answering on six datasets demonstrate that ClipBERT outperforms (or is on par with) existing methods that exploit full-length videos, suggesting that end-to-end learning with just a few sparsely sampled clips is often more accurate than using densely extracted offline features from full-length videos, proving the proverbial less-is-more principle. Videos in the datasets are from considerably different domains and lengths, ranging from 3-second generic domain GIF videos to 180-second YouTube human activity videos, showing the generalization ability of our approach. Comprehensive ablation studies and thorough analyses are provided to dissect what factors lead to this success. Our code is publicly available at https://github.com/jayleicn/ClipBERT


title: Integrable Models and Supersymmetry Breaking

abstract: We elaborate on integrable dynamical systems from scalar-gravity Lagrangians that include the leading dilaton tadpole potentials of broken supersymmetry. In the static Dudas-Mourad compactifications from ten to nine dimensions, which rest on these leading potentials, the string coupling and the space-time curvature become unbounded in some regions of the internal space. On the other hand, the string coupling remains bounded in several corresponding solutions of these integrable models. One can thus identify corrected potential shapes that could grant these features generically when supersymmetry is absent or non-linearly realized. On the other hand, large scalar curvatures remain present in all our examples. However, as in other contexts, the combined effects of the higher-derivative corrections of String Theory could tame them.


title: Zeoco: An insight into daily carbon footprint consumption

abstract: Climate change, which is now considered one of the biggest threats to humanity, is also the reason behind various other environmental concerns. Continued negligence might lead us to an irreparably damaged environment. After the partial failure of the Paris Agreement, it is quite evident that we as individuals need to come together to bring about a change on a large scale to have a significant impact. This paper discusses our approach towards obtaining a realistic measure of the carbon footprint index being consumed by a user through day-to-day activities performed via a smart phone app and offering incentives in weekly and monthly leader board rankings along with a reward system. The app helps ease out decision makings on tasks like travel, shopping, electricity consumption, and gain a different and rather numerical perspective over the daily choices.


title: Quadric Hypersurface Intersection for Manifold Learning in Feature Space

abstract: The knowledge that data lies close to a particular submanifold of the ambient Euclidean space may be useful in a number of ways. For instance, one may want to automatically mark any point far away from the submanifold as an outlier or to use the geometry to come up with a better distance metric. Manifold learning problems are often posed in a very high dimension, e.g. for spaces of images or spaces of words. Today, with deep representation learning on the rise in areas such as computer vision and natural language processing, many problems of this kind may be transformed into problems of moderately high dimension, typically of the order of hundreds. Motivated by this, we propose a manifold learning technique suitable for moderately high dimension and large datasets. The manifold is learned from the training data in the form of an intersection of quadric hypersurfaces -- simple but expressive objects. At test time, this manifold can be used to introduce a computationally efficient outlier score for arbitrary new data points and to improve a given similarity metric by incorporating the learned geometric structure into it.


title: Compact families and typical entropy invariants of measure-preserving actions

abstract: For a compact set of actions, an invariant of Kushnirenko's entropy type is chosen in such a way that on this set it is equal to zero, but will be infinity for typical actions. As a consequence, we show that typical measure-preserving transformations are not isomorphic to geometric shape exchange transformations. This problem arose in connection with the result of Chaika and Davis about the atypical nature of IETs.


title: Conjectures and results on modular representations of $\mathrm{GL}_n(K)$ for a $p$-adic field $K$

abstract: Let $p$ be a prime number and $K$ a finite extension of $\mathbb{Q}_p$. We state conjectures on the smooth representations of $\mathrm{GL}_n(K)$ that occur in spaces of mod $p$ automorphic forms (for compact unitary groups). In particular, when $K$ is unramified, we conjecture that they are of finite length and predict their internal structure (extensions, form of subquotients) from the structure of a certain algebraic representation of $\mathrm{GL}_n$. When $n=2$ and $K$ is unramified, we prove several cases of our conjectures, including new finite length results.


title: Hidden phases born of a quantum spin liquid: Application to pyrochlore spin ice

abstract: Quantum spin liquids (QSL) have generated considerable excitement as phases of matter with emergent gauge structures and fractionalized excitations. In this context, phase transitions out of QSLs have been widely discussed as Higgs transitions from deconfined to confined phases of a lattice gauge theory. However the possibility of a wider range of novel phases, occuring between these two limits, has yet to be systematically explored. In this Letter, we develop a formalism which allows for interactions between fractionalised quasiparticles coming from the constraint on the physical Hilbert space, and can be used to search for exotic, hidden phases. Taking pyrochlore spin ice as a starting point, we show how a U(1) QSL can give birth to abundant daughter phases, without need for fine--tuning of parameters. These include a (charged--) $\mathbb{Z}_2$ QSL, and a supersolid. We discuss implications for experiment, and numerical results which support our analysis. These results are of broad relevance to QSL subject to a parton description, and offer a new perspective for searching exotic hidden phases in quantum magnets.


title: Branes, Quivers, and the Affine Grassmannian

abstract: Brane systems provide a large class of gauge theories that arise in string theory. This paper demonstrates how such brane systems fit with a somewhat exotic geometric object, called the affine Grassmannian. This gives a strong motivation to study physical aspects of the affine Grassmannian. Explicit quivers are presented throughout the paper, and a quiver addition algorithm to generate the affine Grassmannian is introduced. An important outcome of this study is a set of quivers for new elementary slices.


title: Unsupervised Semantic Segmentation by Contrasting Object Mask Proposals

abstract: Being able to learn dense semantic representations of images without supervision is an important problem in computer vision. However, despite its significance, this problem remains rather unexplored, with a few exceptions that considered unsupervised semantic segmentation on small-scale datasets with a narrow visual domain. In this paper, we make a first attempt to tackle the problem on datasets that have been traditionally utilized for the supervised case. To achieve this, we introduce a two-step framework that adopts a predetermined mid-level prior in a contrastive optimization objective to learn pixel embeddings. This marks a large deviation from existing works that relied on proxy tasks or end-to-end clustering. Additionally, we argue about the importance of having a prior that contains information about objects, or their parts, and discuss several possibilities to obtain such a prior in an unsupervised manner. Experimental evaluation shows that our method comes with key advantages over existing works. First, the learned pixel embeddings can be directly clustered in semantic groups using K-Means on PASCAL. Under the fully unsupervised setting, there is no precedent in solving the semantic segmentation task on such a challenging benchmark. Second, our representations can improve over strong baselines when transferred to new datasets, e.g. COCO and DAVIS. The code is available.


title: Adversarial Segmentation Loss for Sketch Colorization

abstract: We introduce a new method for generating color images from sketches or edge maps. Current methods either require some form of additional user-guidance or are limited to the "paired" translation approach. We argue that segmentation information could provide valuable guidance for sketch colorization. To this end, we propose to leverage semantic image segmentation, as provided by a general purpose panoptic segmentation network, to create an additional adversarial loss function. Our loss function can be integrated to any baseline GAN model. Our method is not limited to datasets that contain segmentation labels, and it can be trained for "unpaired" translation tasks. We show the effectiveness of our method on four different datasets spanning scene level indoor, outdoor, and children book illustration images using qualitative, quantitative and user study analysis. Our model improves its baseline up to 35 points on the FID metric. Our code and pretrained models can be found at https://github.com/giddyyupp/AdvSegLoss.


title: Witnessing Wigner Negativity

abstract: Negativity of the Wigner function is arguably one of the most striking non-classical features of quantum states. Beyond its fundamental relevance, it is also a necessary resource for quantum speedup with continuous variables. As quantum technologies emerge, the need to identify and characterize the resources which provide an advantage over existing classical technologies becomes more pressing. Here we derive witnesses for Wigner negativity of single-mode and multimode quantum states, based on fidelities with Fock states, which can be reliably measured using standard detection setups. They possess a threshold expectation value indicating whether the measured state has a negative Wigner function. Moreover, the amount of violation provides an operational quantification of Wigner negativity. We phrase the problem of finding the threshold values for our witnesses as an infinite-dimensional linear optimisation problem. By relaxing and restricting the corresponding linear programs, we derive two converging hierarchies of semidefinite programs, which provide numerical sequences of increasingly tighter upper and lower bounds for the threshold values. We further show that our witnesses form a complete family - each Wigner negative state is detected by at least one witness - thus providing a reliable method for experimentally witnessing Wigner negativity of quantum states from few measurements. From a foundational perspective, our findings provide insights on the set of positive Wigner functions which still lacks a proper characterisation.


title: Critical configurations and tube of typical trajectories for the Potts and Ising models with zero external field

abstract: We consider the ferromagnetic q-state Potts model with zero external field in a finite volume evolving according to Glauber-type dynamics described by the Metropolis algorithm in the low temperature asymptotic limit. Our analysis concerns the multi-spin system that has q stable equilibria. Focusing on grid graphs with periodic boundary conditions, we study the tunneling between two stable states and from one stable state to the set of all other stable states. In both cases we identify the set of gates for the transition and prove that this set has to be crossed with high probability during the transition. Moreover, we identify the tube of typical paths and prove that the probability to deviate from it during the transition is exponentially small.


title: Shelf-Supervised Mesh Prediction in the Wild

abstract: We aim to infer 3D shape and pose of object from a single image and propose a learning-based approach that can train from unstructured image collections, supervised by only segmentation outputs from off-the-shelf recognition systems (i.e. 'shelf-supervised'). We first infer a volumetric representation in a canonical frame, along with the camera pose. We enforce the representation geometrically consistent with both appearance and masks, and also that the synthesized novel views are indistinguishable from image collections. The coarse volumetric prediction is then converted to a mesh-based representation, which is further refined in the predicted camera frame. These two steps allow both shape-pose factorization from image collections and per-instance reconstruction in finer details. We examine the method on both synthetic and real-world datasets and demonstrate its scalability on 50 categories in the wild, an order of magnitude more classes than existing works.


title: Approximation Methods for Geometric Regulation

abstract: In these notes we collect some results from several of the authors' works in order to make available a single source and show how the approximate geometric methods for regulation have been developed, and how the control design strategy has evolved from the theoretical methods, involving the regulator equations, to what we now call the regularized controller. In between these two extremes we developed, in a series of works, a fairly rigorous analysis of the regularization scheme leading to the regularized dynamic regulator equations and an iterative scheme that produces very accurate tracking and disturbance rejection control laws. In our most recent work we have extended dynamic regulator equations to what we now refer to as the regularized controller. This new formulation has only recently being applied to examples including linear and nonlinear delay equations.


title: Estimating a Directed Tree for Extremes

abstract: We propose a new method to estimate a root-directed spanning tree from extreme data. A prominent example is a river network, to be discovered from extreme flow measured at a set of stations. Our new algorithm utilizes qualitative aspects of a max-linear Bayesian network, which has been designed for modelling causality in extremes. The algorithm estimates bivariate scores and returns a root-directed spanning tree. It performs extremely well on benchmark data and new data. We prove that the new estimator is consistent under a max-linear Bayesian network model with noise. We also assess its strengths and limitations in a small simulation study.


title: Millimeter Wave MIMO based Depth Maps for Wireless Virtual and Augmented Reality

abstract: Augmented and virtual reality systems (AR/VR) are rapidly becoming key components of the wireless landscape. For immersive AR/VR experience, these devices should be able to construct accurate depth perception of the surrounding environment. Current AR/VR devices rely heavily on using RGB-D depth cameras to achieve this goal. The performance of these depth cameras, however, has clear limitations in several scenarios, such as the cases with shiny objects, dark surfaces, and abrupt color transition among other limitations. In this paper, we propose a novel solution for AR/VR depth map construction using mmWave MIMO communication transceivers. This is motivated by the deployment of advanced mmWave communication systems in future AR/VR devices for meeting the high data rate demands and by the interesting propagation characteristics of mmWave signals. Accounting for the constraints on these systems, we develop a comprehensive framework for constructing accurate and high-resolution depth maps using mmWave systems. In this framework, we developed new sensing beamforming codebook approaches that are specific for the depth map construction objective. Using these codebooks, and leveraging tools from successive interference cancellation, we develop a joint beam processing approach that can construct high-resolution depth maps using practical mmWave antenna arrays. Extensive simulation results highlight the potential of the proposed solution in building accurate depth maps. Further, these simulations show the promising gains of mmWave based depth perception compared to RGB-based approaches in several important use cases.


title: A-NeRF: Articulated Neural Radiance Fields for Learning Human Shape, Appearance, and Pose

abstract: While deep learning reshaped the classical motion capture pipeline with feed-forward networks, generative models are required to recover fine alignment via iterative refinement. Unfortunately, the existing models are usually hand-crafted or learned in controlled conditions, only applicable to limited domains. We propose a method to learn a generative neural body model from unlabelled monocular videos by extending Neural Radiance Fields (NeRFs). We equip them with a skeleton to apply to time-varying and articulated motion. A key insight is that implicit models require the inverse of the forward kinematics used in explicit surface models. Our reparameterization defines spatial latent variables relative to the pose of body parts and thereby overcomes ill-posed inverse operations with an overparameterization. This enables learning volumetric body shape and appearance from scratch while jointly refining the articulated pose; all without ground truth labels for appearance, pose, or 3D shape on the input videos. When used for novel-view-synthesis and motion capture, our neural model improves accuracy on diverse datasets. Project website: https://lemonatsu.github.io/anerf/ .


title: Efficient neural networks for real-time modeling of analog dynamic range compression

abstract: Deep learning approaches have demonstrated success in modeling analog audio effects. Nevertheless, challenges remain in modeling more complex effects that involve time-varying nonlinear elements, such as dynamic range compressors. Existing neural network approaches for modeling compression either ignore the device parameters, do not attain sufficient accuracy, or otherwise require large noncausal models prohibiting real-time operation. In this work, we propose a modification to temporal convolutional networks (TCNs) enabling greater efficiency without sacrificing performance. By utilizing very sparse convolutional kernels through rapidly growing dilations, our model attains a significant receptive field using fewer layers, reducing computation. Through a detailed evaluation we demonstrate our efficient and causal approach achieves state-of-the-art performance in modeling the analog LA-2A, is capable of real-time operation on CPU, and only requires 10 minutes of training data.


title: TSTG I: Single-Particle and Many-Body Hamiltonians and Hidden Non-local Symmetries of Trilayer Moir\'e Systems with and without Displacement Field

abstract: We derive the Hamiltonian for trilayer moir\'e systems with the Coulomb interaction projected onto the bands near the charge neutrality point. Motivated by the latest experimental results, we focus on the twisted symmetric trilayer graphene (TSTG) with a mirror-symmetry with respect to the middle layer. We provide a full symmetry analysis of the non-interacting Hamiltonian with a perpendicular displacement field coupling the band structure made otherwise of the twisted bilayer graphene (TBG) and the high velocity Dirac fermions, and we identify a hidden non-local symmetry of the problem. In the presence of this displacement field, we construct an approximate single-particle model, akin to the tripod model for TBG, capturing the essence of non-interacting TSTG. We also derive more quantitative perturbation schemes for the low-energy physics of TSTG with displacement field, obtaining the corresponding eigenstates. This allows us to obtain the Coulomb interaction Hamiltonian projected in the active band TSTG wavefunctions and derive the full many-body Hamiltonian of the system. We also provide an efficient parameterization of the interacting Hamiltonian. Finally, we show that the discrete symmetries at the single-particle level promote the $\mathrm{U} \left( 2 \right) \times \mathrm{U} \left( 2 \right)$ spin-valley symmetry to enlarged symmetry groups of the interacting problem under different limits. The interacting part of the Hamiltonian exhibits a large $\mathrm{U} \left( 4 \right) \times \mathrm{U} \left( 4 \right) \times \mathrm{U} \left( 4 \right) \times \mathrm{U} \left( 4 \right)$ symmetry in the chiral limit. Moreover, by identifying a new symmetry which we dub spatial many-body charge conjugation, we show that the physics of TSTG is symmetric around charge neutrality.


title: Private Prediction Sets

abstract: In real-world settings involving consequential decision-making, the deployment of machine learning systems generally requires both reliable uncertainty quantification and protection of individuals' privacy. We present a framework that treats these two desiderata jointly. Our framework is based on conformal prediction, a methodology that augments predictive models to return prediction sets that provide uncertainty quantification -- they provably cover the true response with a user-specified probability, such as 90%. One might hope that when used with privately-trained models, conformal prediction would yield privacy guarantees for the resulting prediction sets; unfortunately, this is not the case. To remedy this key problem, we develop a method that takes any pre-trained predictive model and outputs differentially private prediction sets. Our method follows the general approach of split conformal prediction; we use holdout data to calibrate the size of the prediction sets but preserve privacy by using a privatized quantile subroutine. This subroutine compensates for the noise introduced to preserve privacy in order to guarantee correct coverage. We evaluate the method on large-scale computer vision datasets.


title: Proof Artifact Co-training for Theorem Proving with Language Models

abstract: Labeled data for imitation learning of theorem proving in large libraries of formalized mathematics is scarce as such libraries require years of concentrated effort by human specialists to be built. This is particularly challenging when applying large Transformer language models to tactic prediction, because the scaling of performance with respect to model size is quickly disrupted in the data-scarce, easily-overfitted regime. We propose PACT ({\bf P}roof {\bf A}rtifact {\bf C}o-{\bf T}raining), a general methodology for extracting abundant self-supervised data from kernel-level proof terms for co-training alongside the usual tactic prediction objective. We apply this methodology to Lean, an interactive proof assistant which hosts some of the most sophisticated formalized mathematics to date. We instrument Lean with a neural theorem prover driven by a Transformer language model and show that PACT improves theorem proving success rate on a held-out suite of test theorems from 32\% to 48\%.


title: Disentangled Representations from Non-Disentangled Models

abstract: Constructing disentangled representations is known to be a difficult task, especially in the unsupervised scenario. The dominating paradigm of unsupervised disentanglement is currently to train a generative model that separates different factors of variation in its latent space. This separation is typically enforced by training with specific regularization terms in the model's objective function. These terms, however, introduce additional hyperparameters responsible for the trade-off between disentanglement and generation quality. While tuning these hyperparameters is crucial for proper disentanglement, it is often unclear how to tune them without external supervision. This paper investigates an alternative route to disentangled representations. Namely, we propose to extract such representations from the state-of-the-art generative models trained without disentangling terms in their objectives. This paradigm of post hoc disentanglement employs little or no hyperparameters when learning representations while achieving results on par with existing state-of-the-art, as shown by comparison in terms of established disentanglement metrics, fairness, and the abstract reasoning task. All our code and models are publicly available.


title: Hybrid Neural Fusion for Full-frame Video Stabilization

abstract: Existing video stabilization methods often generate visible distortion or require aggressive cropping of frame boundaries, resulting in smaller field of views. In this work, we present a frame synthesis algorithm to achieve full-frame video stabilization. We first estimate dense warp fields from neighboring frames and then synthesize the stabilized frame by fusing the warped contents. Our core technical novelty lies in the learning-based hybrid-space fusion that alleviates artifacts caused by optical flow inaccuracy and fast-moving objects. We validate the effectiveness of our method on the NUS, selfie, and DeepStab video datasets. Extensive experiment results demonstrate the merits of our approach over prior video stabilization methods.


title: Coaction and double-copy properties of configuration-space integrals at genus zero

abstract: We investigate configuration-space integrals over punctured Riemann spheres from the viewpoint of the motivic Galois coaction and double-copy structures generalizing the Kawai-Lewellen-Tye (KLT) relations in string theory. For this purpose, explicit bases of twisted cycles and cocycles are worked out whose orthonormality simplifies the coaction. We present methods to efficiently perform and organize the expansions of configuration-space integrals in the inverse string tension $\alpha'$ or the dimensional-regularization parameter $\epsilon$ of Feynman integrals. Generating-function techniques open up a new perspective on the coaction of multiple polylogarithms in any number of variables and analytic continuations in the unintegrated punctures. We present a compact recursion for a generalized KLT kernel and discuss its origin from intersection numbers of Stasheff polytopes and its implications for correlation functions of two-dimensional conformal field theories. We find a non-trivial example of correlation functions in $(\mathfrak{p},2)$ minimal models, which can be normalized to become uniformly transcendental in the $\mathfrak{p} \to \infty$ limit.


title: Non-Abelian Stokes theorem and quantized Berry flux

abstract: Band topology of anomalous quantum Hall insulators can be precisely addressed by computing Chern numbers of constituent non-degenerate bands that describe quantized, Abelian Berry flux through two-dimensional Brillouin zone. Can Chern numbers be defined for $SU(2)$ Berry connection of two-fold degenerate bands of materials preserving space-inversion ($\mathcal{P}$) and time-reversal ($\mathcal{T}$) symmetries or combined $\mathcal{PT}$ symmetry, without detailed knowledge of underlying basis? We affirmatively answer this question by employing a non-Abelian generalization of Stokes' theorem and describe a manifestly gauge-invariant method for computing magnitudes of quantized $SU(2)$ Berry flux (spin-Chern number) from eigenvalues of Wilson loops. The power of this method is elucidated by performing $\mathbb{N}$-classification of \emph{ab initio} band structures of three-dimensional, Dirac materials. Our work outlines a unified framework for addressing first-order and higher-order topology of insulators and semimetals, without relying on detailed symmetry data.

categories: cond-mat.mtrl-sci cond-mat.dis-nn cond-mat.mes-hall cond-mat.str-el hep-th


title: Excitation of forward and backward surface waves in a negative-index metamaterial

abstract: We study beam transmission and refection resulting from the resonant excitation of forward and backward surface waves in a metamaterial. We predict that exciting these waves at an interface this medium and free space led to transmitted and reflected beams with high amplitudes. The FDTD simulated results demonstrate clearly propagation of these waves and their energy-trapping ability as described by theory. The resonant coupling of the refracted waves and reflected waves at the first interface led to the excitation of the backward surface waves. The forward surface waves transfer incoming energy in the direction of incidence and the backward surface transfer incoming energy in a direction opposite to the direction of incidence (i.e. negative direction). More also, the parameters used in these simulations were carefully chosen to minimize the effects of interference between the incident and the reflected beams earlier reported. In overall, these numerically simulated results clearly demonstrate the propagation of these waves and may serve as numerical approximations to what might be observed in experimental setups. Putting this simply, they may find applications in optical and photonic devices involving enhancing beam transmission and reflection using negative-index metamaterial.


title: Estimate on dust scale height from ALMA dust continuum image of the HD 163296 protoplanetary disk

abstract: We aim at estimating the dust scale height of protoplanetary disks from millimeter continuum observations. First, we present a general expression of intensity of a ring in a protoplanetary disk, and show that we can constrain the dust scale height by the azimuthal intensity variation. Then, we apply the presented methodology to the two distinct rings at 68 au and at 100 au of the protoplanetary disk around HD 163296. We constrain the dust scale height by comparing the DSHARP high-resolution millimeter dust continuum image with radiative transfer simulations using RADMC-3D. We find that h_d/h_g > 0.84 at the inner ring and h_d/h_g < 0.11 at the outer ring with the 3 sigma uncertainties, where h_d is the dust scale height and h_g is the gas scale height. This indicates that the dust is flared at the inner ring and settled at the outer ring. We further constrain the ratio of turbulence parameter alpha to gas-to-dust-coupling parameter St from the derived dust scale height; alpha/St > 2.4 at the inner ring, and alpha/St < 1.1*10^{-2} at the outer ring. This result shows that the turbulence is stronger or the dust is smaller at the inner ring than at the outer ring.


title: $N$-band Hopf insulator

abstract: We study the generalization of the three-dimensional two-band Hopf insulator to the case of many bands, where all the bands are separated from each other by band gaps. The obtained $\mathbb{Z}$ classification of such a $N$-band Hopf insulator is related to the quantized isotropic magnetoelectric coefficient of its bulk. The boundary of a $N$-band Hopf insulator can be fully gapped, and we find that there is no unique way of dividing a finite system into bulk and boundary. Despite this non-uniqueness, we find that the magnetoelectric coefficient of the bulk and the anomalous Hall conductivity of the boundary are quantized to the same integer value. We propose an experiment where the quantized boundary effect can be measured in a non-equilibrium state.


title: Anomaly-free Abelian gauge symmetries with Dirac scotogenic models

abstract: We perform a systematic analysis of standard model extensions with an additional anomaly-free gauge $U(1)$ symmetry, to generate Dirac neutrino masses at one loop. Under such symmetry, standard model fields could either transform or be invariant, corresponding to an active $U(1)_X$ or a dark $U(1)_D$ symmetry, respectively. Having an anomaly-free symmetry imposes nontrivial conditions to the number and charges of the unavoidable new states. We perform an intensive scan, looking for non-anomalous solutions for given number of extra chiral fermions. In particular, we concentrate on solutions giving rise to scotogenic neutrino masses via the effective Dirac mass operator. We study the cases where the Dirac mass operator with dimension 5 or 6, is mediated by Dirac or Majorana states, and corresponds to an active $U(1)_X$ or a dark $U(1)_D$ symmetry. Finally, we comment on the solutions featuring no massless chiral fermions.


title: H Marks the Spot: Searching for Exotic Production of Higgs + X to Map Out New Physics

abstract: We propose leveraging our proficiency for detecting Higgs resonances by using the Higgs as a tagging object for new heavy physics. In particular, we argue that searches for exotic Higgs production from decays of color-singlet fields with electroweak charges could beat current searches at the LHC which look for their decays to vectors. As an example, we study the production and decay of vector-like leptons which admit Yukawa couplings with SM leptons. We find that bounds from Run 2 searches are consistent with anywhere from hundreds to many thousands of Higgses having been produced in their decays over the same period, depending on the representation. Dedicated searches for these signatures may thus be able to significantly improve our reach at the electroweak energy frontier.


title: Black hole thermodynamics in the presence of nonlinear electromagnetic fields

abstract: As the interaction between the black holes and highly energetic infalling charged matter receives quantum corrections, the basic laws of black hole mechanics have to be carefully rederived. Using the covariant phase space formalism, we generalize the first law of black hole mechanics, both "equilibrium state" and "physical process" versions, in the presence of nonlinear electrodynamics fields, defined by Lagrangians depending on both quadratic electromagnetic invariants, $F_{ab}F^{ab}$ and $F_{ab}\,{\star F}^{ab}$. Derivation of this law demands a specific treatment of the Lagrangian parameters, similar to embedding of the cosmological constant into thermodynamic context. Furthermore, we discuss the validity of energy conditions, several complementing proofs of the zeroth law of black hole electrodynamics and some aspects of the recently generalized Smarr formula, its (non-)linearity and relation to the first law.


title: Gravitational Production of Dark Matter during Reheating

abstract: We consider the direct $s$-channel gravitational production of dark matter during the reheating process. Independent of the identity of the dark matter candidate or its non-gravitational interactions, the gravitational process is always present and provides a minimal production mechanism. During reheating, a thermal bath is quickly generated with a maximum temperature $T_{\rm max}$, and the temperature decreases as the inflaton continues to decay until the energy densities of radiation and inflaton oscillations are equal, at $T_{\rm RH}$. During these oscillations, $s$-channel gravitational production of dark matter occurs. We show that the abundance of dark matter (fermionic or scalar) depends primarily on the combination $T_{\rm max}^4/T_{\rm RH} M_P^3$. We find that a sufficient density of dark matter can be produced over a wide range of dark matter masses: from a GeV to a ZeV.


title: The Cosmological Evolution of Self-interacting Dark Matter

abstract: We study the evolution of cosmological perturbations in dark-matter models with elastic and velocity-independent self interactions. Such interactions are imprinted in the matter-power spectrum as dark acoustic oscillations, which can be experimentally explored to determine the strength of the self scatterings. Models with self interactions have similarities to warm dark matter, as they lead to suppression of power on small scales when the dark-matter velocity dispersion is sizable. Nonetheless, both the physical origin and the extent of the suppression differ for self-interacting dark matter from conventional warm dark matter, with a dark sound horizon controlling the reduction of power in the former case, and a free-streaming length in the latter. We thoroughly analyze these differences by performing computations of the linear power spectrum using a newly developed Boltzmann code. We find that while current Lyman-$\alpha$ data disfavor conventional warm dark matter with a mass less than 5.3 keV, when self interactions are included at their maximal value consistent with bounds from the Bullet Cluster, the limits are relaxed to 4.4 keV. Finally, we make use of our analysis to set novel bounds on light scalar singlet dark matter.


title: Probing within the Bondi radius of the ultramassive black hole in NGC 1600

abstract: We present deep (250 ks) Chandra observations of the nearby galaxy group NGC 1600, which has at its centre an ultramassive black hole (17$\pm$1.5 billion M$_{\odot}$). The exceptionally large mass of the black hole coupled with its low redshift makes it one of only a handful of black holes for which spatially resolved temperature and density profiles can be obtained within the Bondi radius with the high spatial resolution of Chandra. We analyzed the hot gas properties within the Bondi accretion radius R$_B$=1.2" - 1.7"= 0.38 - 0.54 kpc. Within a $\sim\!3$ kpc radius, we find two temperature components with statistical significance. Both the single temperature and two temperature models show only a very slight rise in temperature towards the centre, and are consistent with being flat. This is in contrast with the expectation from Bondi accretion for a temperature profile which increases towards the centre, and appears to indicate that the dynamics of the gas are not being determined by the central black hole. The density profile follows a relatively shallow $\rho\propto~r^{-[0.61\pm0.13]}$ relationship within the Bondi radius, which suggests that the true accretion rate on to the black hole may be lower than the classical Bondi accretion rate.


title: Unravelling cosmic velocity flows: a Helmholtz-Hodge decomposition algorithm for cosmological simulations

abstract: In the context of intra-cluster medium turbulence, it is essential to be able to split the turbulent velocity field in a compressive and a solenoidal component. We describe and implement a new method for this aim, i.e., performing a Helmholtz-Hodge decomposition, in multi-grid, multi-resolution descriptions, focusing on (but not being restricted to) the outputs of AMR cosmological simulations. The method is based on solving elliptic equations for a scalar and a vector potential, from which the compressive and the solenoidal velocity fields, respectively, are derived through differentiation. These equations are addressed using a combination of Fourier (for the base grid) and iterative (for the refinement grids) methods. We present several idealised tests for our implementation, reporting typical median errors in the order of $1\unicode{x2030}$-$1\%$, and with 95-percentile errors below a few percents. Additionally, we also apply the code to the outcomes of a cosmological simulation, achieving similar accuracy at all resolutions, even in the case of highly non-linear velocity fields. We finally take a closer look to the decomposition of the velocity field around a massive galaxy cluster.


title: Wavefunction collapse induced by gravity in a relativistic Schr{\''o}dinger-Newton model

abstract: A relativistic version of the Schr{\"o}dinger-Newton equation is analyzed within the recently proposed Grave de Peralta approach [L. Grave de Peralta, {\em Results Phys.} {\bf 18} (2020) 103318], which include relativistic effects by a parametrization of the non-relativistic hamiltonian, so as to impose that the average kinetic energy of the system coincide with its relativistic kinetic energy. The reliability of this method is tested for the particle in a box. By applying this method to the Schr{\"o}dinger-Newton equation we shows that the characteristic length of the model [L. Di{\'o}si, {\em Phys. Lett}. {\bf 105A} (1984) 199] goes to zero for a mass of the order of the Planck mass, suggesting a collapse of the wavefuncton, induced by gravity.


title: Silentium! Run-Analyse-Eradicate the Noise out of the DB/OS Stack

abstract: When multiple tenants compete for resources, database performance tends to suffer. Yet there are scenarios where guaranteed sub-millisecond latencies are crucial, such as in real-time data processing, IoT devices, or when operating in safety-critical environments. In this paper, we study how to make query latencies deterministic in the face of noise (whether caused by other tenants or unrelated operating system tasks). We perform controlled experiments with an in-memory database engine in a multi-tenant setting, where we successively eradicate noisy interference from within the system software stack, to the point where the engine runs close to bare-metal on the underlying hardware. We show that we can achieve query latencies comparable to the database engine running as the sole tenant, but without noticeably impacting the workload of competing tenants. We discuss these results in the context of ongoing efforts to build custom operating systems for database workloads, and point out that for certain use cases, the margin for improvement is rather narrow. In fact, for scenarios like ours, existing operating systems might just be good enough, provided that they are expertly configured. We then critically discuss these findings in the light of a broader family of database systems (e.g., including disk-based), and how to extend the approach of this paper accordingly.


title: 3-D gas-phase elemental abundances across the formation histories of Milky Way-mass galaxies in the FIRE simulations: initial conditions for chemical tagging

abstract: We use FIRE-2 simulations to examine 3-D variations of gas-phase elemental abundances of [O/H], [Fe/H], and [N/H] in 11 Milky Way (MW) and M31-mass galaxies across their formation histories at $z \leq 1.5$ ($t_{\rm lookback} \leq 9.4$ Gyr), motivated by characterizing the initial conditions of stars for chemical tagging. Gas within $1$ kpc of the disk midplane is vertically homogeneous to $\lesssim 0.008$ dex at all $z \leq 1.5$. We find negative radial gradients (metallicity decreases with galactocentric radius) at all times, which steepen over time from $\approx -0.01$ dex kpc$^{-1}$ at $z = 1$ ($t_{\rm lookback} = 7.8$ Gyr) to $\approx -0.03$ dex kpc$^{-1}$ at $z = 0$, and which broadly agree with observations of the MW, M31, and nearby MW/M31-mass galaxies. Azimuthal variations at fixed radius are typically $0.14$ dex at $z = 1$, reducing to $0.05$ dex at $z = 0$. Thus, over time radial gradients become steeper while azimuthal variations become weaker (more homogeneous). As a result, azimuthal variations were larger than radial variations at $z \gtrsim 0.8$ ($t_{\rm lookback} \gtrsim 6.9$ Gyr). Furthermore, elemental abundances are measurably homogeneous (to $\lesssim 0.05$ dex) across a radial range of $\Delta R \approx 3.5$ kpc at $z \gtrsim 1$ and $\Delta R \approx 1.7$ kpc at $z = 0$. We also measure full distributions of elemental abundances, finding typically negatively skewed normal distributions at $z \gtrsim 1$ that evolve to typically Gaussian distributions by $z = 0$. Our results on gas abundances inform the initial conditions for stars, including the spatial and temporal scales for applying chemical tagging to understand stellar birth in the MW.


title: Displaced new physics at colliders and the early universe before its first second

abstract: Displaced vertices at colliders, arising from the production and decay of long-lived particles, probe dark matter candidates produced via freeze-in. If one assumes a standard cosmological history, these decays happen inside the detector only if the dark matter is very light because of the relic density constraint. Here, we argue how displaced events could very well point to freeze-in within a non-standard early universe history. Focusing on the cosmology of inflationary reheating, we explore the interplay between the reheating temperature and collider signatures for minimal freeze-in scenarios. Observing displaced events at the LHC would allow to set an upper bound on the reheating temperature and, in general, to gather indirect information on the early history of the universe.


title: Super-resolving Herschel imaging: a proof of concept using Deep Neural Networks

abstract: Wide-field sub-millimetre surveys have driven many major advances in galaxy evolution in the past decade, but without extensive follow-up observations the coarse angular resolution of these surveys limits the science exploitation. This has driven the development of various analytical deconvolution methods. In the last half a decade Generative Adversarial Networks have been used to attempt deconvolutions on optical data. Here we present an autoencoder with a novel loss function to overcome this problem in the sub-millimeter wavelength range. This approach is successfully demonstrated on Herschel SPIRE 500$\mu$m COSMOS data, with the super-resolving target being the JCMT SCUBA-2 450$\mu$m observations of the same field. We reproduce the JCMT SCUBA-2 images with high fidelity using this autoencoder. This is quantified through the point source fluxes and positions, the completeness and the purity.


title: Cornering the universal shape of fluctuations

abstract: Understanding the fluctuations of observables is one of the main goals in science, be it theoretical or experimental, quantum or classical. We investigate such fluctuations when only a subregion of the full system can be observed, focusing on geometries with sharp corners. We report that the dependence on the opening angle is super-universal: up to a numerical prefactor, this function does not depend on anything, provided the system under study is uniform, isotropic, and correlations do not decay too slowly. The prefactor contains important physical information: we show in particular that it gives access to the long-wavelength limit of the structure factor. We illustrate our findings with several examples, including fractional quantum Hall states, scale invariant quantum critical theories, and metals. Finally, we discuss connections with quantum entanglement, extensions to three dimensions, as well as experiments to probe the geometry of fluctuations.

categories: cond-mat.str-el cond-mat.mes-hall cond-mat.quant-gas cond-mat.stat-mech hep-th


title: The Stars of the HETDEX Survey. I. Radial Velocities and Metal-Poor Stars from Low-Resolution Stellar Spectra

abstract: The Hobby-Eberly Telescope Dark Energy Experiment (HETDEX) is an unbiased, massively multiplexed spectroscopic survey, designed to measure the expansion history of the universe through low-resolution ($R\sim750$) spectra of Lyman-Alpha Emitters. In its search for these galaxies, HETDEX will also observe a few 10$^{5}$ stars. In this paper, we present the first stellar value-added catalog within the internal second data release of the HETDEX Survey (HDR2). The new catalog contains 120,571 low-resolution spectra for 98,736 unique stars between $10 < G < 22$ spread across the HETDEX footprint at relatively high ($b\sim60^\circ$) Galactic latitudes. With these spectra, we measure radial velocities (RVs) for $\sim$42,000 unique FGK-type stars in the catalog and show that the HETDEX spectra are sufficient to constrain these RVs with a 1$\sigma$ precision of 28.0 km/s and bias of 3.5 km/s with respect to the LAMOST surveys and 1$\sigma$ precision of 27.5 km/s and bias of 14.0 km/s compared to the SEGUE survey. Since these RVs are for faint ($G\geq16$) stars, they will be complementary to Gaia. Using t-Distributed Stochastic Neighbor Embedding (t-SNE), we also demonstrate that the HETDEX spectra can be used to determine a star's T${\rm{eff}}$, and log g and its [Fe/H]. With the t-SNE projection of the FGK-type stars with HETDEX spectra we also identify 416 new candidate metal-poor ([Fe/H] $< -1$~dex) stars for future study. These encouraging results illustrate the utility of future low-resolution stellar spectroscopic surveys.


title: Revealing Gravitational Collapse in Serpens G3-G6 Molecular Cloud using Velocity Gradients

abstract: The relative role of turbulence, magnetic fields, self-gravity in star formation is a subject of intensive debate. We present IRAM 30m telescope observations of the $^{13}$CO (1-0) emission in the Serpens G3-G6 molecular cloud and apply to the data a set of statistical methods. Those include the probability density functions (PDFs) of column density and the Velocity Gradients Technique (VGT). We combine our data with the Planck 353 GHz polarized dust emission observations, Hershel H$_2$ column density. We suggest that the Serpens G3-G6 south clump is undergoing a gravitational collapse. Our analysis reveals that the gravitational collapse happens at volume density $n\ge10^3$ $\rm cm^{-3}$. We estimate the plane-of-the-sky magnetic field strength of approximately 120 $\mu G$ using the traditional Davis-Chandrasekhar-Fermi method and 100 $\mu G$ using a new technique proposed in Lazarian et al.(2020). We find the Serpens G3-G6 south clump's total magnetic field energy significantly surpasses kinetic energy and gravitational energy. We conclude that the gravitational collapse could be successfully triggered in a supersonic and sub-Alfv\'{e}nic cloud.


title: The EDGE-CALIFA survey: The local and global relations between $\Sigma_\ast$ , $\Sigma_{SFR}$ and $\Sigma_{mol}$ that regulate star-formation

abstract: We present a new characterization of the relations between star-formation rate, stellar mass and molecular gas mass surface densities at different spatial scales across galaxies (from galaxy wide to kpc-scales). To do so we make use of the largest sample combining spatially-resolved spectroscopic information with CO observations, provided by the EDGE-CALIFA survey, together with new single dish CO observations obtained by APEX. We show that those relations are the same at the different explored scales, sharing the same distributions for the explored data, with similar slope, intercept and scatter (when characterized by a simple power-law). From this analysis, we propose that these relations are the projection of a single relation between the three properties that follows a distribution well described by a line in the three-dimension parameter space. Finally, we show that observed secondary relations between the residuals and the considered parameters are fully explained by the correlation between the uncertainties, and therefore have no physical origin. We discuss these results in the context of the hypothesis of self-regulation of the star-formation process.


title: Superconducting contacts to a monolayer semiconductor

abstract: We demonstrate superconducting vertical interconnect access (VIA) contacts to a monolayer of molybdenum disulfide (MoS$_2$), a layered semiconductor with highly relevant electronic and optical properties. As a contact material we use MoRe, a superconductor with a high critical magnetic field and high critical temperature. The electron transport is mostly dominated by a single superconductor/normal conductor junction with a clear superconductor gap. In addition, we find MoS$_2$ regions that are strongly coupled to the superconductor, resulting in resonant Andreev tunneling and junction dependent gap characteristics, suggesting a superconducting proximity effect. Magnetoresistance measurements show that the bandstructure and the high intrinsic carrier mobility remain intact in the bulk of the MoS$_2$. This type of VIA contact is applicable to a large variety of layered materials and superconducting contacts, opening up a path to monolayer semiconductors as a platform for superconducting hybrid devices.


title: Learning Gaussian-Bernoulli RBMs using Difference of Convex Functions Optimization

abstract: The Gaussian-Bernoulli restricted Boltzmann machine (GB-RBM) is a useful generative model that captures meaningful features from the given $n$-dimensional continuous data. The difficulties associated with learning GB-RBM are reported extensively in earlier studies. They indicate that the training of the GB-RBM using the current standard algorithms, namely, contrastive divergence (CD) and persistent contrastive divergence (PCD), needs a carefully chosen small learning rate to avoid divergence which, in turn, results in slow learning. In this work, we alleviate such difficulties by showing that the negative log-likelihood for a GB-RBM can be expressed as a difference of convex functions if we keep the variance of the conditional distribution of visible units (given hidden unit states) and the biases of the visible units, constant. Using this, we propose a stochastic {\em difference of convex functions} (DC) programming (S-DCP) algorithm for learning the GB-RBM. We present extensive empirical studies on several benchmark datasets to validate the performance of this S-DCP algorithm. It is seen that S-DCP is better than the CD and PCD algorithms in terms of speed of learning and the quality of the generative model learnt.


title: Higher Order Generalization Error for First Order Discretization of Langevin Diffusion

abstract: We propose a novel approach to analyze generalization error for discretizations of Langevin diffusion, such as the stochastic gradient Langevin dynamics (SGLD). For an $\epsilon$ tolerance of expected generalization error, it is known that a first order discretization can reach this target if we run $\Omega(\epsilon^{-1} \log (\epsilon^{-1}) )$ iterations with $\Omega(\epsilon^{-1})$ samples. In this article, we show that with additional smoothness assumptions, even first order methods can achieve arbitrarily runtime complexity. More precisely, for each $N>0$, we provide a sufficient smoothness condition on the loss function such that a first order discretization can reach $\epsilon$ expected generalization error given $\Omega( \epsilon^{-1/N} \log (\epsilon^{-1}) )$ iterations with $\Omega(\epsilon^{-1})$ samples.


title: A Machine Learning Approach to Integral Field Unit Spectroscopy Observations: II. HII Region LineRatios

abstract: In the first paper of this series (Rhea et al. 2020), we demonstrated that neural networks can robustly and efficiently estimate kinematic parameters for optical emission-line spectra taken by SITELLE at the Canada-France-Hawaii Telescope. This paper expands upon this notion by developing an artificial neural network to estimate the line ratios of strong emission-lines present in the SN1, SN2, and SN3 filters of SITELLE. We construct a set of 50,000 synthetic spectra using line ratios taken from the Mexican Million Model database replicating Hii regions. Residual analysis of the network on the test set reveals the network's ability to apply tight constraints to the line ratios. We verified the network's efficacy by constructing an activation map, checking the [N ii] doublet fixed ratio, and applying a standard k-fold cross-correlation. Additionally, we apply the network to SITELLE observation of M33; the residuals between the algorithm's estimates and values calculated using standard fitting methods show general agreement. Moreover, the neural network reduces the computational costs by two orders of magnitude. Although standard fitting routines do consistently well depending on the signal-to-noise ratio of the spectral features, the neural network can also excel at predictions in the low signal-to-noise regime within the controlled environment of the training set as well as on observed data when the source spectral properties are well constrained by models. These results reinforce the power of machine learning in spectral analysis.


title: To Reuse or Not To Reuse? A Framework and System for Evaluating Summarized Knowledge

abstract: As the amount of information online continues to grow, a correspondingly important opportunity is for individuals to reuse knowledge which has been summarized by others rather than starting from scratch. However, appropriate reuse requires judging the relevance, trustworthiness, and thoroughness of others' knowledge in relation to an individual's goals and context. In this work, we explore augmenting judgements of the appropriateness of reusing knowledge in the domain of programming, specifically of reusing artifacts that result from other developers' searching and decision making. Through an analysis of prior research on sensemaking and trust, along with new interviews with developers, we synthesized a framework for reuse judgements. The interviews also validated that developers express a desire for help with judging whether to reuse an existing decision. From this framework, we developed a set of techniques for capturing the initial decision maker's behavior and visualizing signals calculated based on the behavior, to facilitate subsequent consumers' reuse decisions, instantiated in a prototype system called Strata. Results of a user study suggest that the system significantly improves the accuracy, depth, and speed of reusing decisions. These results have implications for systems involving user-generated content in which other users need to evaluate the relevance and trustworthiness of that content.


title: Inference on two component mixtures under tail restrictions

abstract: Many econometric models can be analyzed as finite mixtures. We focus on two-component mixtures and we show that they are nonparametrically point identified by a combination of an exclusion restriction and tail restrictions. Our identification analysis suggests simple closed-form estimators of the component distributions and mixing proportions, as well as a specification test. We derive their asymptotic properties using results on tail empirical processes and we present a simulation study that documents their finite-sample performance.


title: Deep Reinforcement Learning for Portfolio Optimization using Latent Feature State Space (LFSS) Module

abstract: Dynamic Portfolio optimization is the process of distribution and rebalancing of a fund into different financial assets such as stocks, cryptocurrencies, etc, in consecutive trading periods to maximize accumulated profits or minimize risks over a time horizon. This field saw huge developments in recent years, because of the increased computational power and increased research in sequential decision making through control theory. Recently Reinforcement Learning(RL) has been an important tool in the development of sequential and dynamic portfolio optimization theory. In this paper, we design a Deep Reinforcement Learning(DRL) framework as an autonomous portfolio optimization agent consisting of a Latent Feature State Space(LFSS) Module for filtering and feature extraction of financial data which is used as a state space for deep RL model. We develop an extensive RL agent with high efficiency and performance advantages over several benchmarks and model-free RL agents used in prior work. The noisy and non-stationary behaviour of daily asset prices in the financial market is addressed through Kalman Filter. Autoencoders, ZoomSVD, and restricted Boltzmann machines were the models used and compared in the module to extract relevant time series features as state space. We simulate weekly data, with practical constraints and transaction costs, on a portfolio of S&P 500 stocks. We introduce a new benchmark based on technical indicator Kd-Index and Mean-Variance Model as compared to equal weighted portfolio used in most of the prior work. The study confirms that the proposed RL portfolio agent with state space function in the form of LFSS module gives robust results with an attractive performance profile over baseline RL agents and given benchmarks.


title: Optimization Issues in KL-Constrained Approximate Policy Iteration

abstract: Many reinforcement learning algorithms can be seen as versions of approximate policy iteration (API). While standard API often performs poorly, it has been shown that learning can be stabilized by regularizing each policy update by the KL-divergence to the previous policy. Popular practical algorithms such as TRPO, MPO, and VMPO replace regularization by a constraint on KL-divergence of consecutive policies, arguing that this is easier to implement and tune. In this work, we study this implementation choice in more detail. We compare the use of KL divergence as a constraint vs. as a regularizer, and point out several optimization issues with the widely-used constrained approach. We show that the constrained algorithm is not guaranteed to converge even on simple problem instances where the constrained problem can be solved exactly, and in fact incurs linear expected regret. With approximate implementation using softmax policies, we show that regularization can improve the optimization landscape of the original objective. We demonstrate these issues empirically on several bandit and RL environments.


title: Robotic Tool Tracking under Partially Visible Kinematic Chain: A Unified Approach

abstract: Anytime a robot manipulator is controlled via visual feedback, the transformation between the robot and camera frame must be known. However, in the case where cameras can only capture a portion of the robot manipulator in order to better perceive the environment being interacted with, there is greater sensitivity to errors in calibration of the base-to-camera transform. A secondary source of uncertainty during robotic control are inaccuracies in joint angle measurements which can be caused by biases in positioning and complex transmission effects such as backlash and cable stretch. In this work, we bring together these two sets of unknown parameters into a unified problem formulation when the kinematic chain is partially visible in the camera view. We prove that these parameters are non-identifiable implying that explicit estimation of them is infeasible. To overcome this, we derive a smaller set of parameters we call Lumped Error since it lumps together the errors of calibration and joint angle measurements. A particle filter method is presented and tested in simulation and on two real world robots to estimate the Lumped Error and show the efficiency of this parameter reduction.


title: Resolving a challenging supersymmetric low-scale seesaw scenario at the ILC

abstract: We investigate a scenario inspired by natural supersymmetry, where neutrino data is explained within a low-scale seesaw scenario. For this the Minimal Supersymmetric Standard Model is extended by adding light right-handed neutrinos and their superpartners, the R-sneutrinos. Moreover, we consider the lightest neutralinos to be Higgsino-like. We first update a previous analysis and assess to which extent does existing LHC data constrain the allowed slepton masses. Here we find scenarios where sleptons with masses as low as 175 GeV are consistent with existing data. However, we also show that the upcoming run will either discover or rule out sleptons with masses of 300 GeV, even for these challenging scenarios. We then take a scenario which is on the borderline of observability of the upcoming LHC run assuming a luminosity of 300 fb$^{-1}$. We demonstrate that a prospective international $e^+ e^-$ linear collider with a center of mass energy of 1 TeV will be able to discover sleptons in scenarios which are difficult for the LHC. Moreover, we also show that a measurement of the spectrum will be possible within 1-3 percent accuracy.


title: An Investigation of End-to-End Models for Robust Speech Recognition

abstract: End-to-end models for robust automatic speech recognition (ASR) have not been sufficiently well-explored in prior work. With end-to-end models, one could choose to preprocess the input speech using speech enhancement techniques and train the model using enhanced speech. Another alternative is to pass the noisy speech as input and modify the model architecture to adapt to noisy speech. A systematic comparison of these two approaches for end-to-end robust ASR has not been attempted before. We address this gap and present a detailed comparison of speech enhancement-based techniques and three different model-based adaptation techniques covering data augmentation, multi-task learning, and adversarial learning for robust ASR. While adversarial learning is the best-performing technique on certain noise types, it comes at the cost of degrading clean speech WER. On other relatively stationary noise types, a new speech enhancement technique outperformed all the model-based adaptation techniques. This suggests that knowledge of the underlying noise type can meaningfully inform the choice of adaptation technique.


title: A High Speed Integrated Quantum Random Number Generator with on-Chip Real-Time Randomness Extraction

abstract: The security of electronic devices has become a key requisite for the rapidly-expanding pervasive and hyper-connected world. Robust security protocols ensuring secure communication, device's resilience to attacks, authentication control and users privacy need to be implemented. Random Number Generators (RNGs) are the fundamental primitive in most secure protocols but, often, also the weakest one. Establishing security in billions of devices requires high quality random data generated at a sufficiently high throughput. On the other hand, the RNG should exhibit a high integration level with on-chip extraction to remove, in real time, potential imperfections. We present the first integrated Quantum RNG (QRNG) in a standard CMOS technology node. The QRNG is based on a parallel array of independent Single-Photon Avalanche Diodes (SPADs), homogeneously illuminated by a DC-biased LED, and co-integrated logic circuits for postprocessing. We describe the randomness generation process and we prove the quantum origin of entropy. We show that co-integration of combinational logic, even of high complexity, does not affect the quality of randomness. Our CMOS QRNG can reach up to 400 Mbit/s throughput with low power consumption. Thanks to the use of standard CMOS technology and a modular architecture, our QRNG is suitable for a highly scalable solution.


title: Nanotribology of ionic liquids: transition to yielding response in nanometric confinement with metallic surfaces

abstract: Room Temperature Ionic Liquids (RTILs) are molten salts which exhibit uniques physical and chemical properties, commonly harnessed for lubrication and energy applications. The pure ionic nature of RTIL leads to strong electrostatic interactions among the liquid, furthermore exalted in the presence of interfaces and confinement. In this work, we use a tuning-fork based dynamic Surface Force Tribometer (TF-SFT), which allows probing both the rheological and the tribological properties of RTILs films confined between a millimetric sphere and a surface, over a wide range of confinements. When the RTIL is confined between metallic surfaces, we evidence an abrupt change of its rheological properties below a threshold confinement. This is reminiscent of a recently reported confinement induced capillary freezing, here observed with a wide contact area. In parallel, we probe the tribological response of the film under imposed nanometric shear deformation and unveil a yielding behaviour of the interfacial solid phase below this threshold confinement. This is characterized by a transition from an elastic to a plastic regime, exhibiting striking similarities with the response of glassy materials. This transition to yielding of the RTIL in metallic confinement leads overall to a reduction in friction and offers a self-healing protection of the surfaces avoiding direct contact, with obvious applications in tribology.


title: Commissioning of low particle flux for proton beams at MedAustron

abstract: MedAustron is a synchrotron-based particle therapy centre located in Wiener Neustadt, Austria. It features three irradiation rooms for particle therapy, where proton beams with energies up to 252.7 MeV and carbon ions of up to 402.8 MeV/u are available for cancer treatment. In addition to the treatment rooms, MedAustron features a unique beamline exclusively for non-clinical research (NCR). This research beamline is also commissioned for proton energies up to 800 MeV, while available carbon ion energies correspond to the ones available in the clinical treatment rooms. Based on the requirements for particle therapy, all irradiation rooms offer particle rates of up to 10^9 particles/s for protons and 10^7 particles/s for carbon ions. However, for research purposes, lower particle fluxes are required and were therefore commissioned for the NCR beamline. Three particle flux settings with particle rates ranging from ~2.4x10^3 particles/s to ~5.2x10^6 particles/s were established for seven proton energies below 252.7 MeV. In addition to the particle rate, the spot sizes and beam energies were measured for these settings. Furthermore, three low flux settings for 800 MeV protons with particle rates ranging from ~2x10^3 particles/s to ~1.3x10^6 particles/s were commissioned. Since the commissioned low flux settings are in a regime well below the limits of the available standard beam diagnostics, setting up the beam under these new operational conditions entirely relied on the use of external detectors. Furthermore, a beam position measurement based alignment without using the standard beam profile monitors was performed for 800 MeV protons.


title: Polymer brushes with reversibly tunable grafting density

abstract: We propose a novel class of responsive polymer brushes, where the effective grafting density can be controlled by external stimuli. This is achieved by using end-grafted polymer chains that have an affinity to the substrate. For sufficiently strong surface interactions, a fraction of chains condenses into a near-surface layer, while the remaining ones form the outer brush. The dense layer and the more tenuous outer brush can be seen as coexisting microphases. The effective grafting density of the outer brush is controlled by the adsorption strength and can be changed reversibly and in a controlled way as a response to changes in environmental parameters. The effect is demonstrated by numerical SCF calculations and analyzed by scaling arguments. Since the thickness of the denser layer is about a few monomer sizes, its capacity to form a microphase is limited by the product of the brush chain length and the grafting density. We explore the range of chain lengths and grafting densities where the effect is most pronounced. In this range, the SCF studies suggest that individual chains inside the brush show large rapid fluctuations between two states that are separated by only a small free energy barrier. The behavior of the brush as a whole, however, does not reflect these large fluctuations, and the effective grafting density varies smoothly as a function of the control parameters.


title: Black Hole Weather Forecasting with Deep Learning: A Pilot Study

abstract: In this pilot study, we investigate the use of a deep learning (DL) model to temporally evolve the dynamics of gas accreting onto a black hole in the form of a radiatively inefficient accretion flow (RIAF). We have trained a machine to forecast such a spatiotemporally chaotic system -- i.e. black hole weather forecasting -- using a convolutional neural network (CNN) and a training dataset which consists of numerical solutions of the hydrodynamical equations, for a range of initial conditions. We find that deep neural networks seem to learn well black hole accretion physics and evolve the accretion flow orders of magnitude faster than traditional numerical solvers, while maintaining a reasonable accuracy for a long time. For instance, CNNs predict well the temporal evolution of a RIAF over a long duration of $8\times 10^4 GM/c^3$, which corresponds to 80 dynamical times at $r=100 GM/c^2$. The DL model is able to evolve flows from initial conditions not present in the training dataset with good accuracy. Our approach thus seems to generalize well. Once trained, the DL model evolves a turbulent RIAF on a single GPU four orders of magnitude faster than usual fluid dynamics integrators running in parallel on 200 CPU cores. We speculate that a data-driven machine learning approach should be very promising for accelerating not only fluid dynamics simulations, but also general relativistic magnetohydrodynamic ones.


title: Deep Reinforcement Agent for Scheduling in HPC

abstract: Cluster scheduler is crucial in high-performance computing (HPC). It determines when and which user jobs should be allocated to available system resources. Existing cluster scheduling heuristics are developed by human experts based on their experience with specific HPC systems and workloads. However, the increasing complexity of computing systems and the highly dynamic nature of application workloads have placed tremendous burden on manually designed and tuned scheduling heuristics. More aggressive optimization and automation are needed for cluster scheduling in HPC. In this work, we present an automated HPC scheduling agent named DRAS (Deep Reinforcement Agent for Scheduling) by leveraging deep reinforcement learning. DRAS is built on a novel, hierarchical neural network incorporating special HPC scheduling features such as resource reservation and backfilling. A unique training strategy is presented to enable DRAS to rapidly learn the target environment. Once being provided a specific scheduling objective given by system manager, DRAS automatically learns to improve its policy through interaction with the scheduling environment and dynamically adjusts its policy as workload changes. The experiments with different production workloads demonstrate that DRAS outperforms the existing heuristic and optimization approaches by up to 45%.


title: On the Ontology of Particle Mass and Energy in Special Relativity

abstract: Einstein claimed that the fundamental dynamical insight of special relativity was the equivalence of mass and energy. I disagree. Not only are mass and energy not equivalent (whatever exactly that means) but talk of such equivalence obscures the real dynamical insight of special relativity, which concerns the nature of 4-forces and interactions more generally. In this paper I present and defend a new ontology of special relativistic particle dynamics that makes this insight perspicuous and I explain how alleged cases of mass-energy conversion can be accommodated within that ontology.


title: Knowledge Infused Policy Gradients for Adaptive Pandemic Control

abstract: COVID-19 has impacted nations differently based on their policy implementations. The effective policy requires taking into account public information and adaptability to new knowledge. Epidemiological models built to understand COVID-19 seldom provide the policymaker with the capability for adaptive pandemic control (APC). Among the core challenges to be overcome include (a) inability to handle a high degree of non-homogeneity in different contributing features across the pandemic timeline, (b) lack of an approach that enables adaptive incorporation of public health expert knowledge, and (c) transparent models that enable understanding of the decision-making process in suggesting policy. In this work, we take the early steps to address these challenges using Knowledge Infused Policy Gradient (KIPG) methods. Prior work on knowledge infusion does not handle soft and hard imposition of varying forms of knowledge in disease information and guidelines to necessarily comply with. Furthermore, the models do not attend to non-homogeneity in feature counts, manifesting as partial observability in informing the policy. Additionally, interpretable structures are extracted post-learning instead of learning an interpretable model required for APC. To this end, we introduce a mathematical framework for KIPG methods that can (a) induce relevant feature counts over multi-relational features of the world, (b) handle latent non-homogeneous counts as hidden variables that are linear combinations of kernelized aggregates over the features, and (b) infuse knowledge as functional constraints in a principled manner. The study establishes a theory for imposing hard and soft constraints and simulates it through experiments. In comparison with knowledge-intensive baselines, we show quick sample efficient adaptation to new knowledge and interpretability in the learned policy, especially in a pandemic context.


title: Regret, stability & fairness in matching markets with bandit learners

abstract: Making an informed decision -- for example, when choosing a career or housing -- requires knowledge about the available options. Such knowledge is generally acquired through costly trial and error, but this learning process can be disrupted by competition. In this work, we study how competition affects the long-term outcomes of individuals as they learn. We build on a line of work that models this setting as a two-sided matching market with bandit learners. A recent result in this area states that it is impossible to simultaneously guarantee two natural desiderata: stability and low optimal regret for all agents. Resource-allocating platforms can point to this result as a justification for assigning good long-term outcomes to some agents and poor ones to others. We show that this impossibility need not hold true. In particular, by modeling two additional components of competition -- namely, costs and transfers -- we prove that it is possible to simultaneously guarantee four desiderata: stability, low optimal regret, fairness in the distribution of regret, and high social welfare.


title: Sample-Optimal PAC Learning of Halfspaces with Malicious Noise

abstract: We study efficient PAC learning of homogeneous halfspaces in $\mathbb{R}^d$ in the presence of malicious noise of Valiant (1985). This is a challenging noise model and only until recently has near-optimal noise tolerance bound been established under the mild condition that the unlabeled data distribution is isotropic log-concave. However, it remains unsettled how to obtain the optimal sample complexity simultaneously. In this work, we present a new analysis for the algorithm of Awasthi et al. (2017) and show that it essentially achieves the near-optimal sample complexity bound of $\tilde{O}(d)$, improving the best known result of $\tilde{O}(d^2)$. Our main ingredient is a novel incorporation of a matrix Chernoff-type inequality to bound the spectrum of an empirical covariance matrix for well-behaved distributions, in conjunction with a careful exploration of the localization schemes of Awasthi et al. (2017). We further extend the algorithm and analysis to the more general and stronger nasty noise model of Bshouty et al. (2002), showing that it is still possible to achieve near-optimal noise tolerance and sample complexity in polynomial time.


title: Time Integrator Agnostic Charge Conserving Finite Element PIC

abstract: Developing particle-in-cell (PIC) methods using finite element basis sets, and without auxiliary divergence cleaning methods, was a long standing problem until recently. It was shown that if consistent spatial basis functions are used, one can indeed create a methodology that was charge conserving, albeit using a leap-frog time stepping method. While this is a significant advance, leap frog schemes are only conditionally stable and time step sizes are closely tied to the underlying mesh. Ideally, to take full advantage of advances in finite element methods (FEMs), one needs a charge conserving PIC methodology that is agnostic to the time stepping method. This is the principal contribution of this paper. In what follows, we shall develop this methodology, prove that both charge and Gauss' laws are discretely satisfied at every time step, provide the necessary details to implement this methodology for both the wave equation FEM and Maxwell Solver FEM, and finally demonstrate its efficacy on a suite of test problems. The method will be demonstrated by single particle evolution, non-neutral beams with space-charge, and adiabatic expansion of a neutral plasma, where the debye length has been resolved, and real mass ratios are used.


title: A Survey on Ransomware: Evolution, Taxonomy, and Defense Solutions

abstract: In recent years, ransomware has been one of the most notorious malware targeting end users, governments, and business organizations. It has become a very profitable business for cybercriminals with revenues of millions of dollars, and a very serious threat to organizations with financial loss of billions of dollars. Numerous studies were proposed to address the ransomware threat, including surveys that cover certain aspects of ransomware research. However, no study exists in the literature that gives the complete picture on ransomware and ransomware defense research with respect to the diversity of targeted platforms. Since ransomware is already prevalent in PCs/workstations/desktops/laptops, is becoming more prevalent in mobile devices, and has already hit IoT/CPS recently, and will likely grow further in the IoT/CPS domain very soon, understanding ransomware and analyzing defense mechanisms with respect to target platforms is becoming more imperative. In order to fill this gap and motivate further research, in this paper, we present a comprehensive survey on ransomware and ransomware defense research with respect to PCs/workstations, mobile devices, and IoT/CPS platforms. Specifically, covering 137 studies over the period of 1990-2020, we give a detailed overview of ransomware evolution, comprehensively analyze the key building blocks of ransomware, present a taxonomy of notable ransomware families, and provide an extensive overview of ransomware defense research (i.e., analysis, detection, and recovery) with respect to platforms of PCs/workstations, mobile devices, and IoT/CPS. Moreover, we derive an extensive list of open issues for future ransomware research. We believe this survey will motivate further research by giving a complete picture on state-of-the-art ransomware research.


title: The Physical Drivers of the Luminosity-Weighted Dust Temperatures in High-Redshift Galaxies

abstract: The underlying distribution of galaxies' dust SEDs (i.e., their spectra re-radiated by dust from rest-frame $\sim$3$\mu$m-3mm) remains relatively unconstrained due to a dearth of FIR/(sub)mm data for large samples of galaxies. It has been claimed in the literature that a galaxy's dust temperature -- observed as the wavelength where the dust SED peaks ($\lambda_{peak}$) -- is traced most closely by its specific star-formation rate (sSFR) or parameterized 'distance' to the SFR-M$_\star$ relation (the galaxy 'main sequence'). We present 0.24" resolved 870$\mu$m ALMA dust continuum observations of seven $z=1.4-4.6$ dusty star-forming galaxies (DSFGs) chosen to have a large range of well-constrained luminosity-weighted dust temperatures. We also draw on similar resolution dust continuum maps from a sample of ALESS submillimeter galaxies from Hodge et al. (2016). We constrain the physical scales over which the dust radiates and compare those measurements to characteristics of the integrated SED. We confirm significant correlations of $\lambda_{peak}$ with both L$_{IR}$ (or SFR) and $\Sigma_{\rm IR}$ ($\propto$SFR surface density). We investigate the correlation between $\log_{10}$($\lambda_{peak}$) and $\log_{10}$($\Sigma_{\rm IR}$) and find the relation to hold as would be expected from the Stefan-Boltzmann Law, or the effective size of an equivalent blackbody. The correlations of $\lambda_{peak}$ with sSFR and distance from the SFR-M$_\star$ relation are less significant than those for $\Sigma_{\rm IR}$ or L$_{IR}$; therefore, we conclude that the more fundamental tracer of galaxies' luminosity-weighted integrated dust temperatures are indeed their star-formation surface densities in line with local Universe results, which relate closely to the underlying geometry of dust in the ISM.