title: On Quantum Semipermeable Barriers: Investigating Maxwell's Demon Toolbox

abstract: We study quantum Maxwell's demon in a discrete space-time setup. We consider a collection of particles hopping on a one-dimensional chain and a semipermeable barrier that allows the particles to hop in only one direction. Our main result is a formulation of a local unitary dynamics describing the action of this barrier. Such dynamics utilises an auxiliary system $\mathcal{A}$ and we study how properties of $\mathcal{A}$ influence the behaviour of particles. An immediate consequence of unitarity is the fact that particles cannot be trapped on one side of the barrier forever, unless $\mathcal{A}$ is infinite. In addition, coherent superpositions and quantum correlations are affected once particles enter the confinement region. Finally, we show that initial superposition of $\mathcal{A}$ allows the barrier to act as a beam splitter.


title: Improving holographic particle characterization by modeling spherical aberration

abstract: Holographic microscopy combined with forward modeling and inference allows colloidal particles to be characterized and tracked in three dimensions with high precision. However, current models ignore the effects of optical aberrations on hologram formation. We investigate the effects of spherical aberration on the structure of single-particle holograms and on the accuracy of particle characterization. We find that in a typical experimental setup, spherical aberration can result in systematic shifts of about 2% in the inferred refractive index and radius. We show that fitting with a model that accounts for spherical aberration decreases this aberration-dependent error by a factor of two or more, even when the level of spherical aberration in the optical train is unknown. With the new generative model, the inferred parameters are consistent across different levels of aberration, making particle characterization more robust.


title: Chiral propulsion: the method of effective boundary conditions

abstract: We propose to apply an "effective boundary condition" method to the problem of chiral propulsion. For the case of a rotating helix moving through a fluid at a low Reynolds number, the method amounts to replacing the original helix (in the limit of small pitch) by a cylinder, but with a special kind of partial slip boundary conditions replacing the non-slip boundary conditions on the original helix. These boundary conditions are constructed to reproduce far-field velocities of the original problem, and are defined by a few parameters (slipping lengths) that can be extracted from a problem in planar rather than cylindrical geometry. We derive the chiral propulsion coefficients for spirals, helicoids, helically modulated cylinders, and some of their generalizations using the introduced method. In the case of spirals, we compare our results with the ones derived by Lighthill and find a very good agreement. The proposed method is general and can be applied to any helical shape in the limit of a small pitch. We have established that for a broad class of helical surfaces the dependence of the chiral propulsion on the helical angle $\theta$ is universal, $\chi\sim \cos\theta\sin 2\theta$ with the maximal propulsion achieved at the universal angle $\theta_m = \tan^{-1}(1/\sqrt{2})\approx 35.26^\circ$.


title: Self-Calibration of the Offset Between GPS and Semantic Map Frames for Robust Localization

abstract: In self-driving, standalone GPS is generally considered to have insufficient positioning accuracy to stay in lane. Instead, many turn to LIDAR localization, but this comes at the expense of building LIDAR maps that can be costly to maintain. Another possibility is to use semantic cues such as lane lines and traffic lights to achieve localization, but these are usually not continuously visible. This issue can be remedied by combining semantic cues with GPS to fill in the gaps. However, due to elapsed time between mapping and localization, the live GPS frame can be offset from the semantic map frame, requiring calibration. In this paper, we propose a robust semantic localization algorithm that self-calibrates for the offset between the live GPS and semantic map frames by exploiting common semantic cues, including traffic lights and lane markings. We formulate the problem using a modified Iterated Extended Kalman Filter, which incorporates GPS and camera images for semantic cue detection via Convolutional Neural Networks. Experimental results show that our proposed algorithm achieves decimetre-level accuracy comparable to typical LIDAR localization performance and is robust against sparse semantic features and frequent GPS dropouts.


title: Nonlinear Conversion of Orbital Angular Momentum States of Light

abstract: We investigate the second harmonic generation of light field carrying orbital angular momentum in bulk $\chi^{(2)}$ material. We show that due to conservation of energy and momentum, the frequency doubled beam light has a modified spatial distribution and mode characteristics. Through rigorous phase matching conditions, we demonstrate efficient mode and frequency conversion based on three wave nonlinear optical mixing.


title: Big Ramsey degrees and forbidden cycles

abstract: Using the Carlson-Simpson theorem, we give a new general condition for a structure in a finite binary relational language to have finite big Ramsey degrees


title: The Pseudofinite Monadic Second Order Theory of Linear Order

abstract: Monadic second order logic is the expansion of first order logic by quantifiers ranging over unary relations. We study the shared monadic second order theory of finite linear orders, i.e. the pseudofinite monadic second order theory of linear order, using a first order setup . We give explicit (and recursive) axioms and characterise the completions in terms of residue sequences. A connection with profinite algebra, in particular with the free profinite monoid on one generator, is established via extended Stone duality.


title: Self-Guided Instance-Aware Network for Depth Completion and Enhancement

abstract: Depth completion aims at inferring a dense depth image from sparse depth measurement since glossy, transparent or distant surface cannot be scanned properly by the sensor. Most of existing methods directly interpolate the missing depth measurements based on pixel-wise image content and the corresponding neighboring depth values. Consequently, this leads to blurred boundaries or inaccurate structure of object. To address these problems, we propose a novel self-guided instance-aware network (SG-IANet) that: (1) utilize self-guided mechanism to extract instance-level features that is needed for depth restoration, (2) exploit the geometric and context information into network learning to conform to the underlying constraints for edge clarity and structure consistency, (3) regularize the depth estimation and mitigate the impact of noise by instance-aware learning, and (4) train with synthetic data only by domain randomization to bridge the reality gap. Extensive experiments on synthetic and real world dataset demonstrate that our proposed method outperforms previous works. Further ablation studies give more insights into the proposed method and demonstrate the generalization capability of our model.


title: Spin in Schr\"odinger-quantized Pseudoclassical Systems

abstract: We examine the construction of the spin angular momentum in systems with pseudoclassical Grassmann variables. In constrained systems there are many different algebraic forms for the dynamical variables that will all agree on the constraint surface. For the angular momentum, a particular form of the generators is preferred, which yields superselection sectors of irreducible spin^c(n) representations rather than reducible so(n) representations when quantized in the Schr\"odinger realization.


title: Hubble Space Telescope [O III] Emission-Line Kinematics in Two Nearby QSO2s: A Case for X-ray Feedback

abstract: We present a dynamical study of the narrow-line regions in two nearby QSO2s. We construct dynamical models based on detailed photoionization models of the emission-line gas, including the effects of internal dust, to apply to observations of large-scale outflows from these AGNs. We use Mrk 477 and Mrk 34 in order to test our models against recent HST STIS observations of [O III] emission-line kinematics since these AGNs possess more energetic outflows than found in Seyfert galaxies. We find that the outflows within 500 pc are consistent with radiative acceleration of dusty gas, however, the outflows in Mrk 34 are significantly more extended and may not be directly accelerated by radiation. We characterize the properties of X-ray winds found from the expansion of [O III]-emitting gas close to the black hole. We show that such winds possess the kinetic energy density to disturb [O III] gas at 1.8 kpc, and have sufficient energy to entrain the [O III] clouds at 1.2 kpc. Assuming that the X-ray wind possesses the same radial mass distribution as the [O III] gas, we find that the peak kinetic luminosity for this wind is 2% of Mrk 34's bolometric luminosity, which is in the 0.5% - 5% range required by some models for efficient feedback. Our work shows that, although the kinetic luminosity as measured from [O III]-emitting gas is frequently low, X-ray winds may provide more than one order of magnitude higher kinetic power.


title: Robust Value Iteration for Continuous Control Tasks

abstract: When transferring a control policy from simulation to a physical system, the policy needs to be robust to variations in the dynamics to perform well. Commonly, the optimal policy overfits to the approximate model and the corresponding state-distribution, often resulting in failure to trasnfer underlying distributional shifts. In this paper, we present Robust Fitted Value Iteration, which uses dynamic programming to compute the optimal value function on the compact state domain and incorporates adversarial perturbations of the system dynamics. The adversarial perturbations encourage a optimal policy that is robust to changes in the dynamics. Utilizing the continuous-time perspective of reinforcement learning, we derive the optimal perturbations for the states, actions, observations and model parameters in closed-form. Notably, the resulting algorithm does not require discretization of states or actions. Therefore, the optimal adversarial perturbations can be efficiently incorporated in the min-max value function update. We apply the resulting algorithm to the physical Furuta pendulum and cartpole. By changing the masses of the systems we evaluate the quantitative and qualitative performance across different model parameters. We show that robust value iteration is more robust compared to deep reinforcement learning algorithm and the non-robust version of the algorithm. Videos of the experiments are shown at https://sites.google.com/view/rfvi


title: Climate Action During COVID-19 Recovery and Beyond: A Twitter Text Mining Study

abstract: The Coronavirus pandemic created a global crisis that prompted immediate large-scale action, including economic shutdowns and mobility restrictions. These actions have had devastating effects on the economy, but some positive effects on the environment. As the world recovers from the pandemic, we ask the following question: What is the public attitude towards climate action during COVID-19 recovery and beyond? We answer this question by analyzing discussions on the Twitter social media platform. We find that most discussions support climate action and point out lessons learned during pandemic response that can shape future climate policy, although skeptics continue to have a presence. Additionally, concerns arise in the context of climate action during the pandemic, such as mitigating the risk of COVID-19 transmission on public transit.


title: LAGER Ly$\alpha$ Luminosity Function at $z\sim7$, Implications for Reionization

abstract: We present a new measurement of the Ly$\alpha$ luminosity function at redshift $z=6.9$, finding moderate evolution from $z=5.7$ that is consistent with a fully or largely ionized $z\sim7$ intergalactic medium. Our result is based on four fields of the LAGER (Lyman Alpha Galaxies in the Epoch of Reionization) project. Our survey volume of $6.1\times10^{6}$ Mpc$^{3}$ is double that of the next largest $z\sim 7$ survey. We combine two new LAGER fields (WIDE12 and GAMA15A) with two previously reported LAGER fields (COSMOS and CDFS). In the new fields, we identify $N=95$ new $z=6.9$ Ly$\alpha$ emitters (LAEs); characterize our survey's completeness and reliability; and compute Ly$\alpha$ luminosity functions. The best-fit Schechter luminosity function parameters for all four LAGER fields are in good general agreement. Two fields (COSMOS and WIDE12) show evidence for a bright-end excess above the Schechter function fit. We find that the Ly$\alpha$ luminosity density declines at the same rate as the UV continuum LF from $z=5.7$ to $z=6.9$. This is consistent with an intergalactic medium that was fully ionized as early as redshift $z\sim 7$, or with a volume-averaged neutral hydrogen fraction of $x_{HI} < 0.33$ at $1\sigma$.


title: NukeLM: Pre-Trained and Fine-Tuned Language Models for the Nuclear and Energy Domains

abstract: Natural language processing (NLP) tasks (text classification, named entity recognition, etc.) have seen revolutionary improvements over the last few years. This is due to language models such as BERT that achieve deep knowledge transfer by using a large pre-trained model, then fine-tuning the model on specific tasks. The BERT architecture has shown even better performance on domain-specific tasks when the model is pre-trained using domain-relevant texts. Inspired by these recent advancements, we have developed NukeLM, a nuclear-domain language model pre-trained on 1.5 million abstracts from the U.S. Department of Energy Office of Scientific and Technical Information (OSTI) database. This NukeLM model is then fine-tuned for the classification of research articles into either binary classes (related to the nuclear fuel cycle [NFC] or not) or multiple categories related to the subject of the article. We show that continued pre-training of a BERT-style architecture prior to fine-tuning yields greater performance on both article classification tasks. This information is critical for properly triaging manuscripts, a necessary task for better understanding citation networks that publish in the nuclear space, and for uncovering new areas of research in the nuclear (or nuclear-relevant) domains.


title: Bifurcation Theory for Fredholm Operators

abstract: This paper consists of four parts. It begins by using the authors's generalized Schauder formula, [50], and the algebraic multiplicity, $\chi$, of Esquinas and L\'opez-G\'omez [18,17,40] to package and sharpening all existing results in local and global bifurcation theory for Fredholm operators through the recent author's axiomatization of the Fitzpatrick-Pejsachowicz-Rabier degree, [51]. This facilitates reformulating and refining all existing results in a compact and unifying way. Then, the local structure of the solution set of analytic nonlinearities $\mathfrak{F}(\lambda,u)=0$ at a simple degenerate eigenvalue is ascertained by means of some concepts and devices of Algebraic Geometry and Galois Theory, which establishes a bisociation between Bifurcation Theory and Algebraic Geometry. Finally, the unilateral theorems of [40,42], as well as the refinement of Xi and Wang [63], are substantially generalized. This paper also analyzes two important examples to illustrate and discuss the relevance of the abstract theory. The second one studies the regular positive solutions of a multidimensional quasilinear boundary value problem of mixed type related to the mean curvature operator.


title: Lorentzian worldline path integral approach to Schwinger effect

abstract: We demonstrate that the positive frequency modes for a complex scalar field in a constant electric field (Schwinger modes), in three different gauges, can be represented as exact Lorentzian worldline path integral amplitudes. Although the mathematical forms of the mode functions differ in each gauge, we show that a simple prescription for Lorentzian worldlines' boundary conditions dispenses the Schwinger modes in all three gauges (that we considered) in a unified manner. Following that, using our formalism, we derive the exact Bogoliubov coefficients and, hence, the particle number, \textit{without} appealing to the well-known connection formulas for parabolic cylinder functions. This result is especially relevant in view of the fact that in a general electromagnetic field configuration, one does not have the luxury of closed-form solutions. We argue that the real time worldline path integral approach may be a promising alternative in such non-trivial cases. We also demonstrate, using Picard-Lefschetz theory, how the so-called worldline instantons emerge naturally from relevant saddle points that are complex.


title: Bias in Machine Learning Software: Why? How? What to do?

abstract: Increasingly, software is making autonomous decisions in case of criminal sentencing, approving credit cards, hiring employees, and so on. Some of these decisions show bias and adversely affect certain social groups (e.g. those defined by sex, race, age, marital status). Many prior works on bias mitigation take the following form: change the data or learners in multiple ways, then see if any of that improves fairness. Perhaps a better approach is to postulate root causes of bias and then applying some resolution strategy. This paper postulates that the root causes of bias are the prior decisions that affect- (a) what data was selected and (b) the labels assigned to those examples. Our Fair-SMOTE algorithm removes biased labels; and rebalances internal distributions such that based on sensitive attribute, examples are equal in both positive and negative classes. On testing, it was seen that this method was just as effective at reducing bias as prior approaches. Further, models generated via Fair-SMOTE achieve higher performance (measured in terms of recall and F1) than other state-of-the-art fairness improvement algorithms. To the best of our knowledge, measured in terms of number of analyzed learners and datasets, this study is one of the largest studies on bias mitigation yet presented in the literature.


title: From Motor Control to Team Play in Simulated Humanoid Football

abstract: Intelligent behaviour in the physical world exhibits structure at multiple spatial and temporal scales. Although movements are ultimately executed at the level of instantaneous muscle tensions or joint torques, they must be selected to serve goals defined on much longer timescales, and in terms of relations that extend far beyond the body itself, ultimately involving coordination with other agents. Recent research in artificial intelligence has shown the promise of learning-based approaches to the respective problems of complex movement, longer-term planning and multi-agent coordination. However, there is limited research aimed at their integration. We study this problem by training teams of physically simulated humanoid avatars to play football in a realistic virtual environment. We develop a method that combines imitation learning, single- and multi-agent reinforcement learning and population-based training, and makes use of transferable representations of behaviour for decision making at different levels of abstraction. In a sequence of stages, players first learn to control a fully articulated body to perform realistic, human-like movements such as running and turning; they then acquire mid-level football skills such as dribbling and shooting; finally, they develop awareness of others and play as a team, bridging the gap between low-level motor control at a timescale of milliseconds, and coordinated goal-directed behaviour as a team at the timescale of tens of seconds. We investigate the emergence of behaviours at different levels of abstraction, as well as the representations that underlie these behaviours using several analysis techniques, including statistics from real-world sports analytics. Our work constitutes a complete demonstration of integrated decision-making at multiple scales in a physically embodied multi-agent setting. See project video at https://youtu.be/KHMwq9pv7mg.


title: Extended envelopes around Galactic Cepheids. V. Multi-wavelength and time-dependent analysis of IR excess

abstract: We aim to investigate the IR excess of 45 MW Cepheids combining different observables to constrain the presence of CSE. We used the SPIPS algorithm, a robust implementation of the parallax-of-pulsation method that combines photometry, angular diameter, stellar effective temperature, and RV measurements in a global modelling of the pulsation. We obtained new photometric measurements at mid-IR with the VLT/VISIR complemented with literature data. We then compared the mean magnitude from 0.5$\mu$m to 70$\mu$m with stellar atmosphere models to infer the IR excess, which we attribute to the presence of a CSE. We report that at least 29% of our sample have a detected IR excess. We estimated a mean excess of 0.08mag in K and 0.13mag in N. Other Cepheids possibly have IR excess, but they were rejected due to their low detection level compared to a single-star model. We do not see any correlation between the IR excess and the pulsation period as previously suspected for MW Cepheids, but a rather constant trend. We also do not find any correlation between the CO absorption and the presence of a CSE, but rather with the stellar effective temperature, which confirms that the CO features previously reported are mostly photospheric. No bias caused by the presence of the CSE is detected on the average distance estimates from a SPIPS analysis with a fitted colour excess. We also do not find correlation between the presence of IR excess and the evolution stage. We report a fraction of 29% of Cepheids with an IR excess likely produced by the CSE. Longer period Cepheids do not exhibit greater excess than short periods as previously suspected from observations and theoretical dusty-wind models. Other mechanisms such as free-free emission, among others, may be at the origin of their formation. We also show that not fitting the colour excess leads to a bias on the distance estimates in our Galaxy.


title: How curvature flows: scaling laws and global geometry of impact induced attrition processes

abstract: Impact induced attrition processes are, beyond being essential models of industrial ore processing, broadly regarded as the key to decipher the provenance of sedimentary particles. A detailed understanding of single impact phenomena of solid bodies has been obtained in physics and engineering, however, the description of gradual mass reduction and shape evolution in impact sequences relies on approximate mathematical models of mean field type, formulated as curvature-driven partial differential equations. Here we establish the first link between microscopic, particle-based material models and the mean field theory for these processes. Based on realistic computer simulations of particle-wall collision sequences, we first identify the well-known damage and fragmentation energy phases, then we show that the former is split into the abrasion phase with infinite sample lifetime, analogous to Sternberg's Law, at finite asymptotic mass and the cleavage phase with finite sample lifetime, decreasing as a power law of the impact velocity, analogous to Basquin's Law. We demonstrate that only in the abrasion phase does shape evolution emerging in microscopic material models reproduce with startling accuracy the spatio-temporal patterns predicted by macroscopic mean field approaches. Our results substantially extend the phase diagram of impact phenomena and set the boundaries of the applicability of geometric mean field theories for geological shape evolution. Additionally, the scaling laws obtained can be exploited for quantitative predictions of evolution histories.


title: Finite dimensional irreducible representations and the uniqueness of the Lebesgue decomposition of positive functionals

abstract: We prove for an arbitrary complex $^*$-algebra $A$ that every topologically irreducible $^*$-representation of $A$ on a Hilbert space is finite dimensional precisely when the Lebesgue decomposition of representable positive functionals over $A$ is unique. In particular, the uniqueness of the Lebesgue decomposition of positive functionals over the $L^1$-algebras of locally compact groups provides a new characterization of Moore groups.


title: Elliptic measures for Dahlberg-Kenig-Pipher operators: Asymptotically optimal estimates

abstract: Questions concerning quantitative and asymptotic properties of the elliptic measure corresponding to a uniformly elliptic divergence form operator have been the focus of recent studies. In this setting we show that the elliptic measure of an operator with coefficients satisfying a vanishing Carleson condition in the upper half space is an asymptotically optimal $A_\infty$ weight. In particular, for such operators the logarithm of the elliptic kernel is in the space of (locally) vanishing mean oscillation. To achieve this, we prove local, quantitative estimates on a quantity (introduced by Fefferman, Kenig and Pipher) that controls the $A_\infty$ constant. Our work uses recent results obtained by David, Li and Mayboroda. These quantitative estimates may offer a new framework to approach similar problems.


title: Nonlocality in Quantum Gravity and the Breakdown of Effective Field Theory

abstract: We argue that quantum gravity is nonlocal, first by recalling well-known arguments that support this idea and then by focusing on a point not usually emphasized: that making a conventional effective field theory (EFT) for quantum gravity is particularly difficult, and perhaps impossible in principle. This inability to realize an EFT comes down to the fact that gravity itself sets length scales for a problem: when integrating out degrees of freedom above some cutoff, the effective metric one uses will be different, which will itself re-define the cutoff. We also point out that even if the previous problem is fixed, naively applying EFT in gravity can lead to problems - we give a particular example in the case of black holes.


title: Context-Sensitive Visualization of Deep Learning Natural Language Processing Models

abstract: The introduction of Transformer neural networks has changed the landscape of Natural Language Processing (NLP) during the last years. So far, none of the visualization systems has yet managed to examine all the facets of the Transformers. This gave us the motivation of the current work. We propose a new NLP Transformer context-sensitive visualization method that leverages existing NLP tools to find the most significant groups of tokens (words) that have the greatest effect on the output, thus preserving some context from the original text. First, we use a sentence-level dependency parser to highlight promising word groups. The dependency parser creates a tree of relationships between the words in the sentence. Next, we systematically remove adjacent and non-adjacent tuples of \emph{n} tokens from the input text, producing several new texts with those tokens missing. The resulting texts are then passed to a pre-trained BERT model. The classification output is compared with that of the full text, and the difference in the activation strength is recorded. The modified texts that produce the largest difference in the target classification output neuron are selected, and the combination of removed words are then considered to be the most influential on the model's output. Finally, the most influential word combinations are visualized in a heatmap.


title: Epitaxial Growth and Domain Structure Imaging of Kagome Magnet Fe$_3$Sn$_2$

abstract: Magnetic materials with kagome crystal structure exhibit rich physics such as frustrated magnetism, skyrmion formation, topological flat bands, and Dirac/Weyl points. Until recently, most studies on kagome magnets have been performed on bulk crystals or polycrystalline films. Here we report the synthesis of high-quality epitaxial films of topological kagome magnet Fe$_3$Sn$_2$ by atomic layer molecular beam epitaxy. Structural and magnetic characterization of Fe$_3$Sn$_2$ on epitaxial Pt(111) identifies highly ordered films with c-plane orientation and an in-plane magnetic easy axis. Studies of the local magnetic structure by anomalous Nernst effect imaging reveals in-plane oriented micrometer size domains. The realization of high-quality films by atomic layer molecular beam epitaxy opens the door to explore the rich physics of this system and investigate novel spintronic phenomena by interfacing Fe$_3$Sn$_2$ with other materials.


title: Safe Value Functions

abstract: Safety constraints and optimality are important, but sometimes conflicting criteria for controllers. Although these criteria are often solved separately with different tools to maintain formal guarantees, it is also common practice in reinforcement learning to simply modify reward functions by penalizing failures, with the penalty treated as a mere heuristic. We rigorously examine the relationship of both safety and optimality to penalties, and formalize sufficient conditions for safe value functions (SVFs): value functions that are both optimal for a given task, and enforce safety constraints. We reveal this structure by examining when rewards preserve viability under optimal control, and show that there always exists a finite penalty that induces a safe value function. This penalty is not unique, but upper-unbounded: larger penalties do not harm optimality. Although it is often not possible to compute the minimum required penalty, we reveal clear structure of how the penalty, rewards, discount factor, and dynamics interact. This insight suggests practical, theory-guided heuristics to design reward functions for control problems where safety is important.


title: A New Score for Adaptive Tests in Bayesian and Credal Networks

abstract: A test is adaptive when its sequence and number of questions is dynamically tuned on the basis of the estimated skills of the taker. Graphical models, such as Bayesian networks, are used for adaptive tests as they allow to model the uncertainty about the questions and the skills in an explainable fashion, especially when coping with multiple skills. A better elicitation of the uncertainty in the question/skills relations can be achieved by interval probabilities. This turns the model into a credal network, thus making more challenging the inferential complexity of the queries required to select questions. This is especially the case for the information theoretic quantities used as scores to drive the adaptive mechanism. We present an alternative family of scores, based on the mode of the posterior probabilities, and hence easier to explain. This makes considerably simpler the evaluation in the credal case, without significantly affecting the quality of the adaptive process. Numerical tests on synthetic and real-world data are used to support this claim.


title: Irradiation driven molecular dynamics simulation of the FEBID process for Pt(PF$_3$)$_4$

abstract: This paper presents a detailed computational protocol for atomistic simulation of the formation and growth of metal-containing nanostructures during the Focused Electron Beam Induced Deposition (FEBID) process. The protocol is based upon the Irradiation-Driven Molecular Dynamics (IDMD) - a novel and general methodology for computer simulations of irradiation-driven transformations of complex molecular systems by means of the advanced software packages MBN Explorer and MBN Studio. Atomistic simulations performed following the formulated protocol provide valuable insights into the fundamental mechanisms of electron-induced precursor fragmentation and the related mechanism of nanostructure formation and growth using FEBID, which are essential for the further advancement of FEBID-based nanofabrication. The developed computational methodology is general and applicable to different precursor molecules, substrate types, irradiation regimes, etc. The methodology can also be adjusted to simulate the nanostructure formation by other nanofabrication techniques using electron beams, such as direct electron beam lithography. In the present study, the methodology is applied to the IDMD simulation of the FEBID of Pt(PF$_3$)$_4$ - a widely studied precursor molecule - on a SiO$_2$ surface. The simulations reveal the processes driving the initial phase of nanostructure formation during FEBID, including nucleation of Pt atoms, formation of small metal clusters on the surface, followed by their aggregation and the formation of dendritic platinum nanostructures. The analysis of the simulation results provides space resolved relative metal content, height and the growth rate of the deposits which represent valuable reference data for the experimental characterization of the nanostructures grown by FEBID.


title: Adaptive Pauli Shadows for Energy Estimation

abstract: Locally-biased classical shadows allow rapid estimation of energies of quantum Hamiltonians. Recently, derandomised classical shadows have emerged claiming to be even more accurate. This accuracy comes at a cost of introducing classical computing resources into the energy estimation procedure. This present note shows, by adding a fraction of this classical computing resource to the locally-biased classical shadows setting, that the modified algorithm, termed Adaptive Pauli Shadows is state-of-the-art for energy estimation.


title: A Domain-Oblivious Approach for Learning Concise Representations of Filtered Topological Spaces for Clustering

abstract: Persistence diagrams have been widely used to quantify the underlying features of filtered topological spaces in data visualization. In many applications, computing distances between diagrams is essential; however, computing these distances has been challenging due to the computational cost. In this paper, we propose a persistence diagram hashing framework that learns a binary code representation of persistence diagrams, which allows for fast computation of distances. This framework is built upon a generative adversarial network (GAN) with a diagram distance loss function to steer the learning process. Instead of using standard representations, we hash diagrams into binary codes, which have natural advantages in large-scale tasks. The training of this model is domain-oblivious in that it can be computed purely from synthetic, randomly created diagrams. As a consequence, our proposed method is directly applicable to various datasets without the need for retraining the model. These binary codes, when compared using fast Hamming distance, better maintain topological similarity properties between datasets than other vectorized representations. To evaluate this method, we apply our framework to the problem of diagram clustering and we compare the quality and performance of our approach to the state-of-the-art. In addition, we show the scalability of our approach on a dataset with 10k persistence diagrams, which is not possible with current techniques. Moreover, our experimental results demonstrate that our method is significantly faster with the potential of less memory usage, while retaining comparable or better quality comparisons.


title: Observation of symmetry-protected selection rules in periodically driven quantum systems

abstract: Periodically driven quantum systems, known as Floquet systems, have been a focus of non-equilibrium physics in recent years, thanks to their rich dynamics. Not only time-periodic systems exhibit symmetries similar to those in spatially periodic systems, but they also display novel behavior due to symmetry breaking. Characterizing such dynamical symmetries is crucial, but the task is often challenging, due to limited driving strength and the lack of an experimentally accessible characterization protocol. Here, we show how to characterize dynamical symmetries including parity, rotation, and particle-hole symmetry by observing the symmetry-induced selection rules between Floquet states. Specifically, we exploit modulated quantum driving to reach the strong light-matter coupling regime and we introduce a protocol to experimentally extract the transition elements between Floquet states from the coherent evolution of the system. Using the nitrogen-vacancy center in diamond as an experimental testbed, we apply our methods to observe symmetry-protected dark states and dark bands, and the coherent destruction of tunneling effect. Our work shows how to exploit the quantum control toolkit to study dynamical symmetries that can arise in topological phases of strongly-driven Floquet systems.


title: The Nonlinearity Coefficient - A Practical Guide to Neural Architecture Design

abstract: In essence, a neural network is an arbitrary differentiable, parametrized function. Choosing a neural network architecture for any task is as complex as searching the space of those functions. For the last few years, 'neural architecture design' has been largely synonymous with 'neural architecture search' (NAS), i.e. brute-force, large-scale search. NAS has yielded significant gains on practical tasks. However, NAS methods end up searching for a local optimum in architecture space in a small neighborhood around architectures that often go back decades, based on CNN or LSTM. In this work, we present a different and complementary approach to architecture design, which we term 'zero-shot architecture design' (ZSAD). We develop methods that can predict, without any training, whether an architecture will achieve a relatively high test or training error on a task after training. We then go on to explain the error in terms of the architecture definition itself and develop tools for modifying the architecture based on this explanation. This confers an unprecedented level of control on the deep learning practitioner. They can make informed design decisions before the first line of code is written, even for tasks for which no prior art exists. Our first major contribution is to show that the 'degree of nonlinearity' of a neural architecture is a key causal driver behind its performance, and a primary aspect of the architecture's model complexity. We introduce the 'nonlinearity coefficient' (NLC), a scalar metric for measuring nonlinearity. Via extensive empirical study, we show that the value of the NLC in the architecture's randomly initialized state before training is a powerful predictor of test error after training and that attaining a right-sized NLC is essential for attaining an optimal test error. The NLC is also conceptually simple, well-defined for any feedforward network, easy and cheap to compute, has extensive theoretical, empirical and conceptual grounding, follows instructively from the architecture definition, and can be easily controlled via our 'nonlinearity normalization' algorithm. We argue that the NLC is the most powerful scalar statistic for architecture design specifically and neural network analysis in general. Our analysis is fueled by mean field theory, which we use to uncover the 'meta-distribution' of layers. Beyond the NLC, we uncover and flesh out a range of metrics and properties that have a significant explanatory influence on test and training error. We go on to explain the majority of the error variation across a wide range of randomly generated architectures with these metrics and properties. We compile our insights into a practical guide for architecture designers, which we argue can significantly shorten the trial-and-error phase of deep learning deployment. Our results are grounded in an experimental protocol that exceeds that of the vast majority of other deep learning studies in terms of carefulness and rigor. We study the impact of e.g. dataset, learning rate, floating-point precision, loss function, statistical estimation error and batch inter-dependency on performance and other key properties. We promote research practices that we believe can significantly accelerate progress in architecture design research.


title: The Page curve and baby universes

abstract: Black hole thermodynamics suggests that, in order to describe the physics of distant observers, one may model a black hole as a standard quantum system with density of states set by the Bekenstein-Hawking entropy $S_\mathrm{BH}$. This idea has long been considered to be in strong tension with Hawking's prediction that radiation from black holes is nearly thermal, and with low-energy gravity more generally. But the past two years have shown that low-energy gravity does offer a self-consistent description of black hole evaporation consistent with the above idea, and which in particular reproduces the famous Page curve. We provide a brief overview of this new paradigm, focusing on Lorentz-signature asymptotically-flat spacetimes, and emphasising operationally-defined observables that probe the entropy of Hawking radiation.


title: How Turbulent is the Magnetically Closed Corona?

abstract: We argue that the magnetically closed corona evolves primarily quasi-statically, punctuated by many localized bursts of activity associated with magnetic reconnection at a myriad of small current sheets. The sheets form by various processes that do not involve a traditional turbulent cascade whereby energy flows losslessly through a continuum of spatial scales starting from the large scale of the photospheric driving. If such an inertial range is a defining characteristic of turbulence, then the magnetically closed corona is not a turbulent system. It nonetheless has a complex structure that bears no direct relationship to the pattern of driving.


title: Some Pragmatic Prevention's Guidelines regarding SARS-CoV-2 and COVID-19 in Latin-America inspired by mixed Machine Learning Techniques and Artificial Mathematical Intelligence. Case Study: Colombia

abstract: We use an enhanced methodology combining specific forms of AI techniques, opinion mining and artificial mathematical intelligence (AMI), with public data on the spread of the coronavirus SARS-CoV-2 and the incidence of COVID-19 disease in Colombia during the first three months since the first reported positive case. The results obtained, together with conceptual tools coming from the global taxonomy of fundamental cognitive mechanisms emerging in AMI and with suitable contextual information from Colombian public health and mainstream social media, allowed us to stating specific preventive guidelines for a better restructuring of initial safe and stable life conditions in Colombia, and in an extended manner in similar Latin American Countries. More specifically, we describe three major guidelines: 1) regular creative visualization and effective planning, 2) the continuous use of constructive linguistic frameworks, and 3) frequent and moderate use of kinesthetic routines. They should be understood as effective tools from a cognitive and behavioural perspective, rather than from a biological one. Even more, the first two guidelines should be acknowledged in integral cooperation with the third one regarding the global effect of COVID-19 in human beings as a whole, this includes the mind and body.


title: Ageing studies of Multi-Strip Multi-Gap Resistive Plate Counters based on low resistivity glass electrodes in high irradiation dose

abstract: Detailed tests and analysis of ageing effects of high irradiation dose on Multi-Strip Multi-Gap Resistive Plate Counters based on low resistivity glass electrodes were performed. MSMGRPC efficiency and cluster size before irradiation are measured and compared with their values after irradiation in a high irradiation dose accessed at a multi-purpose irradiation facility of IFIN-HH based on $^{60}$Co source. The composition and properties of the deposited layers on the glass electrodes, studied based on a multitude of analysis methods, i.e. SEM, XPS, foil-ERDA, RBS, AFM and THz-TDS, are presented.


title: Ultra-luminous high-redshift quasars from SkyMapper -- II. New quasars and the bright end of the luminosity function

abstract: We search for ultra-luminous Quasi-Stellar Objects (QSOs) at high redshift using photometry from the SkyMapper Southern Survey Data Release 3 (DR3), in combination with 2MASS, VHS DR6, VIKING DR5, AllWISE, and CatWISE2020, as well as parallaxes and proper motions from Gaia DR2 and eDR3. We report 142 newly discovered Southern QSOs at $3.8<z<5.5$, of which 126 have $M_{145} <-27$ ABmag and are found in a search area of 14,486 deg$^2$. This Southern sample, utilising the Gaia astrometry to offset wider photometric colour criteria, achieves unprecedented completeness for an ultra-luminous QSO search at high redshift. In combination with already known QSOs, we construct a sample that is $>80$ per cent complete for $M_{145}<-27.33$ ABmag at $z=4.7$ and for $M_{145}<-27.73$ ABmag at $z=5.4$. We derive the bright end of the QSO luminosity function at restframe 145 nm for $z=4.7-5.4$ and measure its slope to be $\beta = -3.60\pm0.37$ and $\beta = -3.38\pm0.32$ for two different estimates of the faint-end QSO density adopted from the literature. We also present the first $z\sim 5$ QSO luminosity function at restframe 300 nm.


title: Riemann-Roch inequality for smooth tropical toric surfaces

abstract: For a divisor $D$ on a tropical variety $X$, we define two amounts in order to estimate the value of $h^{0}(X,D)$, which are described by terms of global sections and computed more easily than $h^{0}(X,D)$. As an application of its estimation, we show that a Riemann-Roch inequality holds for smooth tropical toric surfaces.


title: Surrogate Approximation of the Grad-Shafranov Free Boundary Problem via Stochastic Collocation on Sparse Grids

abstract: In magnetic confinement fusion devices, the equilibrium configuration of a plasma is determined by the balance between the hydrostatic pressure in the fluid and the magnetic forces generated by an array of external coils and the plasma itself. The location of the plasma is not known a priori and must be obtained as the solution to a free boundary problem. The partial differential equation that determines the behavior of the combined magnetic field depends on a set of physical parameters (location of the coils, intensity of the electric currents going through them, magnetic permeability, etc.) that are subject to uncertainty and variability. The confinement region is in turn a function of these stochastic parameters as well. In this work, we consider variations on the current intensities running through the external coils as the dominant source of uncertainty. This leads to a parameter space of dimension equal to the number of coils in the reactor. With the aid of a surrogate function built on a sparse grid in parameter space, a Monte Carlo strategy is used to explore the effect that stochasticity in the parameters has on important features of the plasma boundary such as the location of the x-point, the strike points, and shaping attributes such as triangularity and elongation. The use of the surrogate function reduces the time required for the Monte Carlo simulations by factors that range between 7 and over 30.

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


title: Low-temperature high-frequency dynamic magnetic susceptibility of classical spin-ice Dy$_2$Ti$_2$O$_7$

abstract: Radio-frequency (14.6 MHz) AC magnetic susceptibility, $\chi^{\prime}_{AC}$, of \dytio\ was measured using a self-oscillating tunnel-diode resonator. Measurements were made with the excitation AC field parallel to the superimposed DC magnetic field up 5 T in a wide temperature range from 50 mK to 100 K. At 14.6 MHz a known broad peak of $\chi^{\prime}_{AC}(T)$ from kHz - range audio-frequency measurements around 15~K for both [111] and [110] directions shifts to 45~K, continuing the Arrhenius activated behavior with the same activation energy barrier of $E_a \approx 230$~K. Magnetic field dependence of $\chi^{\prime}_{AC}$ along [111] reproduces previously reported low-temperature two-in-two-out to three-in-one-out spin configuration transition at about 1~T, and an intermediate phase between 1 and 1.5~T. The boundaries of the intermediate phase show reasonable overlap with the literature data and connect at a critical endpoint of the first-order transition line, suggesting that these low-temperature features are frequency independent. An unusual upturn of magnetic susceptibility at $T \to 0$ was observed in magnetic fields between 1.5~T and 2~T for both magnetic field directions, before fully polarized configuration sets in above 2~T.


title: Detecting entanglement structure in continuous many-body quantum systems

abstract: A prerequisite for the comprehensive understanding of many-body quantum systems is a characterization in terms of their entanglement structure. The experimental detection of entanglement in spatially extended many-body systems describable by quantum fields still presents a major challenge. We develop a general scheme for certifying entanglement and demonstrate it by revealing entanglement between distinct subsystems of a spinor Bose-Einstein condensate. Our scheme builds on the spatially resolved simultaneous detection of the quantum field in two conjugate observables which allows the experimental confirmation of quantum correlations between local as well as non-local partitions of the system. The detection of squeezing in Bogoliubov modes in a multi-mode setting illustrates its potential to boost the capabilities of quantum simulations to study entanglement in spatially extended many-body systems.


title: Sequential unions of core-compact spaces commute with products

abstract: We show that given two sequences of core-compact spaces \[ X_0 \hookrightarrow \dots \hookrightarrow X_n \hookrightarrow \dots \quad \text{and} \quad Y_0 \hookrightarrow \dots \hookrightarrow Y_n \hookrightarrow \dots \] with continuous injective transition maps, the union topology of the products \[ \cup_n (X_n \times Y_n) = \left(\cup_n X_n\right) \times \left( \cup_n Y_n \right) \] is the product topology of the unions.


title: Geometry of the Loss Landscape in Overparameterized Neural Networks: Symmetries and Invariances

abstract: We study how permutation symmetries in overparameterized multi-layer neural networks generate `symmetry-induced' critical points. Assuming a network with $ L $ layers of minimal widths $ r_1^*, \ldots, r_{L-1}^* $ reaches a zero-loss minimum at $ r_1^*! \cdots r_{L-1}^*! $ isolated points that are permutations of one another, we show that adding one extra neuron to each layer is sufficient to connect all these previously discrete minima into a single manifold. For a two-layer overparameterized network of width $ r^*+ h =: m $ we explicitly describe the manifold of global minima: it consists of $ T(r^*, m) $ affine subspaces of dimension at least $ h $ that are connected to one another. For a network of width $m$, we identify the number $G(r,m)$ of affine subspaces containing only symmetry-induced critical points that are related to the critical points of a smaller network of width $r<r^*$. Via a combinatorial analysis, we derive closed-form formulas for $ T $ and $ G $ and show that the number of symmetry-induced critical subspaces dominates the number of affine subspaces forming the global minima manifold in the mildly overparameterized regime (small $ h $) and vice versa in the vastly overparameterized regime ($h \gg r^*$). Our results provide new insights into the minimization of the non-convex loss function of overparameterized neural networks.


title: Projecting onto rectangular matrices with prescribed row and column sums

abstract: In 1990, Romero presented a beautiful formula for the projection onto the set of rectangular matrices with prescribed row and column sums. Variants of Romero's formula have been rediscovered by Khoury and by Glunt, Hayden, and Reams, for bistochastic (square) matrices in 1998. These results have found various generalizations and applications. In this paper, we provide a formula for the more general problem of finding the projection onto the set of rectangular matrices with prescribed scaled row and column sums. Our approach is based on computing the Moore-Penrose inverse of a certain linear operator associated with the problem. In fact, our analysis holds even for Hilbert-Schmidt operators and we do not have to assume consistency. We also perform numerical experiments featuring the new projection operator.


title: Corners of gravity: the case of gravity as a constrained BF theory

abstract: Following recent works on corner charges we investigate the boundary structure in the case of the theory of gravity formulated as a constrained BF theory. This allows us not only to introduce the cosmological constant, but also explore the influence of the topological terms present in the action of this theory. Established formulas for charges resemble previously obtained ones, but we show that they are affected by the presence of the cosmological constant and topological terms. As an example we discuss the charges in the case of the AdS--Schwarzschild solution and we find that the charges give correct values.


title: Leaky Frontends: Security Vulnerabilities in Processor Frontends

abstract: This paper evaluates new security threats due to the processor frontend in modern Intel processors. The root causes of the security threats are the multiple paths in the processor frontend that the micro-operations can take: through the Micro-Instruction Translation Engine (MITE), through the Decode Stream Buffer (DSB), also called the Micro-operation Cache, or through the Loop Stream Detector (LSD). Each path has its own unique timing and power signatures, which lead to the side- and covert-channel attacks presented in this work. Especially, the switching between the different paths leads to observable timing or power differences which, as this work demonstrates, could be exploited by attackers. Because of the different paths, the switching, and way the components are shared in the frontend between hardware threads, two separate threads are able to be mutually influenced and timing or power can reveal activity on the other thread. The security threats are not limited to multi-threading, and this work further demonstrates new ways for leaking execution information about SGX enclaves or a new in-domain Spectre variant in single-thread setting. Finally, this work demonstrates a new method for fingerprinting the microcode patches of the processor by analyzing the behavior of different paths in the frontend. The findings of this work highlight the security threats associated with the processor frontend and the need for deployment of defenses for the modern processor frontend.


title: A risk analysis framework for real-time control systems

abstract: We present a Monte Carlo simulation framework for analysing the risk involved in deploying real-time control systems in safety-critical applications, as well as an algorithm design technique allowing one (in certain situations) to robustify a control algorithm. Both approaches are very general and agnostic to the initial control algorithm. We present examples showing that these techniques can be used to analyse the reliability of implementations of non-linear model predictive control algorithms.


title: Modeling multi-scale data via a network of networks

abstract: Prediction of node and graph labels are prominent network science tasks. Data analyzed in these tasks are sometimes related: entities represented by nodes in a higher-level (higher-scale) network can themselves be modeled as networks at a lower level. We argue that systems involving such entities should be integrated with a "network of networks" (NoN) representation. Then, we ask whether entity label prediction using multi-level NoN data via our proposed approaches is more accurate than using each of single-level node and graph data alone, i.e., than traditional node label prediction on the higher-level network and graph label prediction on the lower-level networks. To obtain data, we develop the first synthetic NoN generator and construct a real biological NoN. We evaluate accuracy of considered approaches when predicting artificial labels from the synthetic NoNs and proteins' functions from the biological NoN. For the synthetic NoNs, our NoN approaches outperform or are as good as node- and network-level ones depending on the NoN properties. For the biological NoN, our NoN approaches outperform the single-level approaches for just under half of the protein functions, and for 30% of the functions, only our NoN approaches make meaningful predictions, while node- and network-level ones achieve random accuracy. So, NoN-based data integration is important.


title: Learning a Model-Driven Variational Network for Deformable Image Registration

abstract: Data-driven deep learning approaches to image registration can be less accurate than conventional iterative approaches, especially when training data is limited. To address this whilst retaining the fast inference speed of deep learning, we propose VR-Net, a novel cascaded variational network for unsupervised deformable image registration. Using the variable splitting optimization scheme, we first convert the image registration problem, established in a generic variational framework, into two sub-problems, one with a point-wise, closed-form solution while the other one is a denoising problem. We then propose two neural layers (i.e. warping layer and intensity consistency layer) to model the analytical solution and a residual U-Net to formulate the denoising problem (i.e. generalized denoising layer). Finally, we cascade the warping layer, intensity consistency layer, and generalized denoising layer to form the VR-Net. Extensive experiments on three (two 2D and one 3D) cardiac magnetic resonance imaging datasets show that VR-Net outperforms state-of-the-art deep learning methods on registration accuracy, while maintains the fast inference speed of deep learning and the data-efficiency of variational model.


title: INSPIRE: The Entry Point to Europe's Big Geospatial Data Infrastructure

abstract: Initiated in 2007, the INSPIRE Directive has set a legal framework to create a European-wide Spatial Data Infrastructure (SDI) to support the European Union (EU) environmental policies. This chapter analyses the INSPIRE infrastructure from a Big Geospatial Data perspective, describing how data is shared in an interoperable way by public sector organisations in the EU Member States and how it is made available in and accessible within the infrastructure. The INSPIRE Geoportal, which is the entry point to the whole infrastructure, is presented in detail. To justify its nature of a Big Geospatial Data infrastructure, the characteristics of INSPIRE data are mapped to those of Big Data's six 'Vs'. Despite many good results achieved in terms of data sharing, some challenges still remain related to data consumption from the user side. The chapter concludes with a dedicated discussion on how INSPIRE, and traditional SDIs in general, should evolve into modern data ecosystems to address these challenges while also embracing the modern practices of data sharing through the web.


title: Gated Fusion Network for SAO Filter and Inter Frame Prediction in Versatile Video Coding

abstract: To achieve higher coding efficiency, Versatile Video Coding (VVC) includes several novel components, but at the expense of increasing decoder computational complexity. These technologies at a low bit rate often create contouring and ringing effects on the reconstructed frames and introduce various blocking artifacts at block boundaries. To suppress those visual artifacts, the VVC framework supports four post-processing filter operations. The interoperation of these filters introduces extra signaling bits and eventually becomes overhead at higher resolution video processing. In this paper, a novel deep learning-based model is proposed for sample adaptive offset (SAO) nonlinear filtering operation and substantiated the merits of intra-inter frame quality enhancement. We introduced a variable filter size multi-scale CNN (MSCNN) to improve the denoising operation and incorporated strided deconvolution for further computation improvement. We demonstrated that our deconvolution model can effectively be trained by leveraging the high-frequency edge features learned in a parallel fashion using feature fusion and residual learning. The simulation results demonstrate that the proposed method outperforms the baseline VVC method in BD-BR, BD-PSNR measurements and achieves an average of 3.762 % bit rate saving on the standard video test sequences.


title: Reciprocal first-order second-moment method

abstract: This paper shows a simple parameter substitution, which makes use of the reciprocal relation of typical objective functions with typical random parameters. Thereby, the accuracy of first-order probabilistic analysis improves significantly at almost no additional computational cost. The parameter substitution requires a transformation of the stochastic distribution of the substituted parameter, which is explained for different cases.


title: Brightness Fluctuation Spectra of Sun-Like Stars. I. The Mid-Frequency Continuum

abstract: We analyze space-based time series photometry of Sun-like stars, mostly in the Pleiades, but also field stars and the Sun itself. We focus on timescales between roughly 1 hour and 1 day. In the corresponding frequency band these stars display brightness fluctuations with a decreasing power-law continuous spectrum. K2 and Kepler observations show that the RMS flicker due to this Mid-Frequency Continuum (MFC) can reach almost 1%, approaching the modulation amplitude from active regions. The MFC amplitude varies by a factor up to 40 among Pleiades members with similar Teff, depending mainly on the stellar Rossby number Ro. For Ro<0.04, the mean amplitude is roughly constant at about 0.4%; at larger Ro the amplitude decreases rapidly, shrinking by about two orders of magnitude for Ro~1. Among stars, the MFC amplitude correlates poorly with that of modulation from rotating active regions. Among field stars observed for 3 years by Kepler, the quarterly average modulation amplitudes from active regions are much more time-variable than the quarterly MFC amplitudes. We argue that the process causing the MFC is largely magnetic in nature, and that its power-law spectrum comes from magnetic processes distinct from the star's global dynamo, with shorter timescales. By analogy with solar phenomena, we hypothesize that the MFC arises from a (sometimes energetic) variant of the solar magnetic network, perhaps combined with rotation-related changes in the morphology of supergranules.


title: Active gyrotactic stability of microswimmers using hydromechanical signals

abstract: Many plankton species undergo daily vertical migration to large depths in the turbulent ocean. To do this efficiently, the plankton can use a gyrotactic mechanism, aligning them with gravity to swim downwards, or against gravity to swim upwards. Many species show passive mechanisms for gyrotactic stability. For example, bottom-heavy plankton tend to align upwards. This is efficient for upward migration in quiescent flows, but it is often sensitive to turbulence which upsets the alignment. Here we suggest a simple, robust active mechanism for gyrotactic stability, which is only lightly affected by turbulence and allows alignment both along and against gravity. We use a model for a plankton that swims with a constant speed and can actively steer in response to hydrodynamic signals encountered in simulations of a turbulent flow. Using reinforcement learning, we identify the optimal steering strategy. By using its setae to sense its settling velocity transversal to its swimming direction, the swimmer can deduce information about the direction of gravity, allowing it to actively align upwards. The mechanism leads to a rate of upward migration in a turbulent flow that is of the same order as in quiescent flows, unless the turbulence is very vigorous. In contrast, passive swimmers with typical parameters of copepods show much smaller upward velocity in turbulence. Settling may even cause them to migrate downwards in vigorous turbulence.


title: A noncommutative Sierpinski Gasket

abstract: A quantized version of the Sierpinski gasket is proposed, on purely topological grounds, as a $C^*$-algebra $\mathcal{A}_\infty$ with a suitable form of self-similarity. Several properties of $\mathcal{A}_\infty$ are studied, in particular its nuclearity, the structure of ideals as well as the description of irreducible representations and extremal traces. A harmonic structure is introduced, giving rise to a self-similar Dirichlet form $\mathcal{E}$. A spectral triple is also constructed, extending one already known for the classical gasket, from which $\mathcal{E}$ can be reconstructed. Moreover we show that $\mathcal{A}_\infty$ is a compact quantum metric space.


title: Large-Scale Scenarios of Electric Vehicle Charging with a Data-Driven Model of Control

abstract: Planning to support widespread transportation electrification depends on detailed estimates for the electricity demand from electric vehicles in both uncontrolled and controlled or smart charging scenarios. We present a modeling approach to rapidly generate charging estimates that include control for large-scale scenarios with millions of individual drivers. We model uncontrolled charging demand using statistical representations of real charging sessions. We model the effect of load modulation control on aggregate charging profiles with a novel machine learning approach that replaces traditional optimization approaches. We demonstrate its performance modeling workplace charging control with multiple electricity rate schedules, achieving small errors (2.5% to 4.5%), while accelerating computations by more than 4000 times. We illustrate the methodology by generating scenarios for California's 2030 charging demand including multiple charging segments and controls, with scenarios run locally in under 50 seconds, and for assisting rate design modeling the large-scale impact of a new workplace charging rate.


title: Acquisition and analysis of crowd-sourced traffic data

abstract: Crowd-sourced traffic data offer great promise in environmental modeling. However, archives of such traffic data are typically not made available for research; instead, the data must be acquired in real time. The objective of this paper is to present methods we developed for acquiring and analyzing time series of real-time crowd-sourced traffic data. We present scripts, which can be run in Unix/Linux like computational environments, to automatically download tiles of crowd-sourced Google traffic congestion maps for a user-specifiable region of interest. Broad and international applicability of our method is demonstrated for Manhattan in New York City and Mexico City. We also demonstrate that Google traffic data can be used to quantify decreases in traffic congestion due to social distancing policies implemented to curb the COVID-19 pandemic in the South Bronx in New York City.


title: Gaussian Process-based Stochastic Model Predictive Control for Overtaking in Autonomous Racing

abstract: A fundamental aspect of racing is overtaking other race cars. Whereas previous research on autonomous racing has majorly focused on lap-time optimization, here, we propose a method to plan overtaking maneuvers in autonomous racing. A Gaussian process is used to learn the behavior of the leading vehicle. Based on the outputs of the Gaussian process, a stochastic Model Predictive Control algorithm plans optimistic trajectories, such that the controlled autonomous race car is able to overtake the leading vehicle. The proposed method is tested in a simple simulation scenario.


title: Practical Convex Formulation of Robust One-hidden-layer Neural Network Training

abstract: Recent work has shown that the training of a one-hidden-layer, scalar-output fully-connected ReLU neural network can be reformulated as a finite-dimensional convex program. Unfortunately, the scale of such a convex program grows exponentially in data size. In this work, we prove that a stochastic procedure with a linear complexity well approximates the exact formulation. Moreover, we derive a convex optimization approach to efficiently solve the "adversarial training" problem, which trains neural networks that are robust to adversarial input perturbations. Our method can be applied to binary classification and regression, and provides an alternative to the current adversarial training methods, such as Fast Gradient Sign Method (FGSM) and Projected Gradient Descent (PGD). We demonstrate in experiments that the proposed method achieves a noticeably better adversarial robustness and performance than the existing methods.


title: AutoMate: A Dataset and Learning Approach for Automatic Mating of CAD Assemblies

abstract: Assembly modeling is a core task of computer aided design (CAD), comprising around one third of the work in a CAD workflow. Optimizing this process therefore represents a huge opportunity in the design of a CAD system, but current research of assembly based modeling is not directly applicable to modern CAD systems because it eschews the dominant data structure of modern CAD: parametric boundary representations (BREPs). CAD assembly modeling defines assemblies as a system of pairwise constraints, called mates, between parts, which are defined relative to BREP topology rather than in world coordinates common to existing work. We propose SB-GCN, a representation learning scheme on BREPs that retains the topological structure of parts, and use these learned representations to predict CAD type mates. To train our system, we compiled the first large scale dataset of BREP CAD assemblies, which we are releasing along with benchmark mate prediction tasks. Finally, we demonstrate the compatibility of our model with an existing commercial CAD system by building a tool that assists users in mate creation by suggesting mate completions, with 72.2% accuracy.


title: Finite sample guarantees for quantile estimation: An application to detector threshold tuning

abstract: In threshold-based anomaly detection, we want to tune the threshold of a detector to achieve an acceptable false alarm rate. However, tuning the threshold is often a non-trivial task due to unknown detector output distributions. A detector threshold that provides an acceptable false alarm rate is equivalent to a specific quantile of the detector output distribution. Therefore, we use quantile estimators based on order statistics to estimate the detector threshold. The estimation of quantiles from sample data has a more than a century long tradition and we provide three different distribution-free finite sample guarantees for a class of quantile estimators. The first is based on the Dworetzky-Kiefer-Wolfowitz inequality, the second utilizes the Vysochanskij-Petunin inequality, and the third is based on exact confidence intervals for a beta distribution. These guarantees are then compared and used in the detector threshold tuning problem. We use both simulated data as well as data obtained from an experimental setup with the Temperature Control Lab to validate the guarantees provided.


title: Reflexive modules, self-dual modules and Arf rings

abstract: We prove a tight connection between reflexive modules over a one-dimensional ring $R$ and its birational extensions that are self-dual as $R$-modules. Consequently, we show that a complete local reduced Arf ring has finitely many indecomposable reflexive modules up to isomorphism, which can be represented precisely by the local rings infinitely near it. We also characterize Arf rings by the property that any reflexive module is self-dual. We give applications on dimension of subcategories and existence of endomorphism rings of small global dimension (non-commutative desingularizations). Our results indicate striking similarities between Arf rings in dimension one and rational singularities in dimension two from representation-theoretic and categorical perspectives.


title: A new Menon-type identity derived from group actions

abstract: In this short note, we give a new Menon-type identity involving the sum of element orders and the sum of cyclic subgroup orders of a finite group. It is based on applying the weighted form of Burnside's lemma to a natural group action.


title: On homogeneous spaces with finite anti-solvable stabilizers

abstract: We say that a group is anti-solvable if all of its composition factors are non-abelian. We consider a particular family of anti-solvable finite groups containing the simple alternating groups for $n\neq 6$ and all 26 sporadic simple groups. We prove that, if $K$ is a perfect field and $X$ is a homogeneous space of a smooth algebraic $K$-group $G$ with finite geometric stabilizers lying in this family, then $X$ is dominated by a $G$-torsor. In particular, if $G=\mathrm{SL}_n$, all such homogeneous spaces have rational points.


title: Hypersymmetric extensions of Maxwell Chern-Simons gravity in (2+1) dimensions

abstract: We present a consistent way of coupling three-dimensional Maxwell Chern-Simons gravity theory with massless spin-$\frac{5}{2}$ gauge fields. We first introduce the simplest hyper-Maxwell Chern-Simons gravity containing two massless spin-2 fields coupled with a massless Majorana fermion of spin-$\frac{5}{2}$ and whose novel underlying superalgebra is explicitly constructed. Then, we present three alternative hypersymmetric extensions of the Maxwell algebra which are shown to emerge from the In\"on\"u-Wigner contraction procedure of precise combinations of the $\mathfrak{osp}\left(1|4\right)$ and the $\mathfrak{sp}\left(4\right)$ algebras. This allow us to construct distinct types of hyper-Maxwell Chern-Simons theories that extend to include generically interacting non-propagating spin-$4$ fields accompanied by one or two spin-$\frac{5}{2}$ gauge fields.


title: DiSECt: A Differentiable Simulation Engine for Autonomous Robotic Cutting

abstract: Robotic cutting of soft materials is critical for applications such as food processing, household automation, and surgical manipulation. As in other areas of robotics, simulators can facilitate controller verification, policy learning, and dataset generation. Moreover, differentiable simulators can enable gradient-based optimization, which is invaluable for calibrating simulation parameters and optimizing controllers. In this work, we present DiSECt: the first differentiable simulator for cutting soft materials. The simulator augments the finite element method (FEM) with a continuous contact model based on signed distance fields (SDF), as well as a continuous damage model that inserts springs on opposite sides of the cutting plane and allows them to weaken until zero stiffness, enabling crack formation. Through various experiments, we evaluate the performance of the simulator. We first show that the simulator can be calibrated to match resultant forces and deformation fields from a state-of-the-art commercial solver and real-world cutting datasets, with generality across cutting velocities and object instances. We then show that Bayesian inference can be performed efficiently by leveraging the differentiability of the simulator, estimating posteriors over hundreds of parameters in a fraction of the time of derivative-free methods. Finally, we illustrate that control parameters in the simulation can be optimized to minimize cutting forces via lateral slicing motions. We publish videos and additional results on our project website at https://diff-cutting-sim.github.io.


title: Scaling Properties of Deep Residual Networks

abstract: Residual networks (ResNets) have displayed impressive results in pattern recognition and, recently, have garnered considerable theoretical interest due to a perceived link with neural ordinary differential equations (neural ODEs). This link relies on the convergence of network weights to a smooth function as the number of layers increases. We investigate the properties of weights trained by stochastic gradient descent and their scaling with network depth through detailed numerical experiments. We observe the existence of scaling regimes markedly different from those assumed in neural ODE literature. Depending on certain features of the network architecture, such as the smoothness of the activation function, one may obtain an alternative ODE limit, a stochastic differential equation or neither of these. These findings cast doubts on the validity of the neural ODE model as an adequate asymptotic description of deep ResNets and point to an alternative class of differential equations as a better description of the deep network limit.


title: Debye source representation for type-I superconductors, I

abstract: In this note, we analyze the classical magneto-static approach to the theory of type I superconductors, and a Debye source representation that can be used numerically to solve the resultant equations. We also prove that one of the fields, $\boldsymbol{J}^-$, found within the superconductor via the London equations, is the physical current in that the outgoing part of the magnetic field is given as the Biot-Savart integral of $\boldsymbol{J}^{-}$. Finally, we compute the static currents for moderate values of London penetration depth, $\lambda_L,$ for a sphere, a stellarator-like geometry and a two-holed torus.


title: GraphVICRegHSIC: Towards improved self-supervised representation learning for graphs with a hyrbid loss function

abstract: Self-supervised learning and pre-training strategieshave developed over the last few years especiallyfor Convolutional Neural Networks (CNNs). Re-cently application of such methods can also be no-ticed for Graph Neural Networks (GNNs) . In thispaper, we have used a graph based self-supervisedlearning strategy with different loss functions (Bar-low Twins[Zbontaret al., 2021], HSIC[Tsaiet al.,2021], VICReg[Bardeset al., 2021]) which haveshown promising results when applied with CNNspreviously. We have also proposed a hybrid lossfunction combining the advantages of VICReg andHSIC and called it as VICRegHSIC. The perfor-mance of these aforementioned methods have beencompared when applied to 7 different datasets suchas MUTAG, PROTEINS, IMDB-Binary, etc. Ex-periments showed that our hybrid loss function per-formed better than the remaining ones in 4 out of7 cases. Moreover, the impact of different batchsizes, projector dimensions and data augmentationstrategies have also been explored.


title: A trajectorial approach to relative entropy dissipation of McKean$\boldsymbol{-}$Vlasov diffusions: gradient flows and HWBI inequalities

abstract: We formulate a trajectorial version of the relative entropy dissipation identity for McKean$-$Vlasov diffusions, extending the results of the papers [FJ16,KST20a], which apply to non-interacting diffusions. Our stochastic analysis approach is based on time-reversal of diffusions and Lions' differential calculus over Wasserstein space. It allows us to compute explicitly the rate of relative entropy dissipation along every trajectory of the underlying diffusion via the semimartingale decomposition of the corresponding relative entropy process. As a first application, we obtain a new interpretation of the gradient flow structure for the granular media equation, generalizing the formulation in [KST20a] developed for the linear Fokker$-$Planck equation. Secondly, we show how the trajectorial approach leads to a new derivation of the HWBI inequality, which relates relative entropy (H), Wasserstein distance (W), barycenter (B) and Fisher information (I).


title: Bayesian Nonparametric Reinforcement Learning in LTE and Wi-Fi Coexistence

abstract: With the formation of next generation wireless communication, a growing number of new applications like internet of things, autonomous car, and drone is crowding the unlicensed spectrum. Licensed network such as the long-term evolution (LTE) also comes to the unlicensed spectrum for better providing high-capacity contents with low cost. However, LTE was not designed for sharing spectrum with others. A cooperation center for these networks is costly because they possess heterogeneous properties and everyone can enter and leave the spectrum unrestrictedly, so the design will be challenging. Since it is infeasible to incorporate potentially infinite scenarios with one unified design, an alternative solution is to let each network learn its own coexistence policy. Previous solutions only work on fixed scenarios. In this work a reinforcement learning algorithm is presented to cope with the coexistence between Wi-Fi and LTE agents in 5 GHz unlicensed spectrum. The coexistence problem was modeled as a decentralized partially observable Markov decision process (Dec-POMDP) and Bayesian approach was adopted for policy learning with nonparametric prior to accommodate the uncertainty of policy for different agents. A fairness measure was introduced in the reward function to encourage fair sharing between agents. The reinforcement learning was turned into an optimization problem by transforming the value function as likelihood and variational inference for posterior approximation. Simulation results demonstrate that this algorithm can reach high value with compact policy representations, and stay computationally efficient when applying to agent set.


title: Approximately Multiplicative Decompositions of Nuclear Maps

abstract: We expand upon work from many hands on the decomposition of nuclear maps. Such maps can be characterized by their ability to be approximately written as the composition of maps to and from matrices. Under certain conditions (such as quasidiagonality), we can find a decomposition whose maps behave nicely, by preserving multiplication up to an arbitrary degree of accuracy and being constructed from order zero maps (as in the definition of nuclear dimension). We investigate these conditions and relate them to a W*-analog.


title: A Canonical Fuzzy Logic

abstract: A presentation is provided of the basic notions and operations of a) the propositional calculus of a variant of fuzzy logic -- canonical fuzzy logic, CFL -- and in a more succinct and introductory way, of b) the theory of fuzzy sets according to that same logic. The propositional calculus of bivalent classical logic and classical set theory can be considered as particular cases of the corresponding theories of CFL if the numerical value of a specific parameter $w$ is restricted to only two possibilities, 0 and 1.


title: A Search for the 3.5 keV Line from the Milky Way's Dark Matter Halo with HaloSat

abstract: Previous detections of an X-ray emission line near 3.5 keV in galaxy clusters and other dark matter-dominated objects have been interpreted as observational evidence for the decay of sterile neutrino dark matter. Motivated by this, we report on a search for a 3.5 keV emission line from the Milky Way's galactic dark matter halo with HaloSat. As a single pixel, collimated instrument, HaloSat observations are impervious to potential systematic effects due to grazing incidence reflection and CCD pixelization, and thus may offer a check on possible instrumental systematic errors in previous analyses. We report non-detections of a $\sim$3.5 keV emission line in four HaloSat observations near the Galactic Center. In the context of the sterile neutrino decay interpretation of the putative line feature, we provide 90% confidence level upper limits on the 3.5 keV line flux and 7.1 keV sterile neutrino mixing angle: $F \leq 0.077$ ph cm$^{-2}$ s$^{-1}$ sr$^{-1}$ and $\sin^2(2\theta) \leq 4.25 \times 10^{-11}$. The HaloSat mixing angle upper limit was calculated using a modern parameterization of the Milky Way's dark matter distribution, and in order to compare with previous limits, we also report the limit calculated using a common historical model. The HaloSat mixing angle upper limit places constraints on a number of previous mixing angle estimates derived from observations of the Milky Way's dark matter halo and galaxy clusters, and excludes several previous detections of the line. The upper limits cannot, however, entirely rule out the sterile neutrino decay interpretation of the 3.5 keV line feature.


title: Euler-Schrodinger Transformation

abstract: Here we present a transformation that maps the Schrodinger equation of quantum mechanics to the incompressible Euler equations of fluid mechanics. The transformation provides a wave solution and a potential function based on fluid properties that satisfy the Schrodinger equation given that the fluid velocity potential and pressure satisfy the Euler equations. Interestingly, in our transformation, the equivalent of quantum potential becomes the physical surface tension. This is contrary to the Madelung transformation that maps the Schrodinger equation to the compressible Euler equations where there is no physical counterpart for the quantum potential. Lastly, we show that using this transformation, the Bohm equation can be mapped to a particle's equation of motion moving on the free surface of the fluid.


title: Interpretable UAV Collision Avoidance using Deep Reinforcement Learning

abstract: The significant components of any successful autonomous flight system are task completion and collision avoidance. Most deep learning algorithms successfully execute these aspects under the environment and conditions they are trained. However, they fail when subjected to novel environments. This paper presents an autonomous multi-rotor flight algorithm, using Deep Reinforcement Learning augmented with Self-Attention Models, that can effectively reason when subjected to varying inputs. In addition to their reasoning ability, they are also interpretable, enabling it to be used under real-world conditions. We have tested our algorithm under different weather conditions and environments and found it robust compared to conventional Deep Reinforcement Learning algorithms.


title: Affine twisted length function

abstract: Let $W_a$ be an affine Weyl group. In 1987 Jian Yi Shi gave a characterization of the elements $w \in W_a$ in terms of $\Phi^+$-tuples $(k(w,\alpha))_{\alpha \in \Phi^+}$ called the Shi vectors. Using these coefficients, a formula is provided to compute the standard length of $W_a$. In this note we express the twisted affine length function of $W_a$ in terms of the Shi coefficients.


title: Style Similarity as Feedback for Product Design

abstract: Matching and recommending products is beneficial for both customers and companies. With the rapid increase in home goods e-commerce, there is an increasing demand for quantitative methods for providing such recommendations for millions of products. This approach is facilitated largely by online stores such as Amazon and Wayfair, in which the goal is to maximize overall sales. Instead of focusing on overall sales, we take a product design perspective, by employing big-data analysis for determining the design qualities of a highly recommended product. Specifically, we focus on the visual style compatibility of such products. We build off previous work which implemented a style-based similarity metric for thousands of furniture products. Using analysis and visualization, we extract attributes of furniture products that are highly compatible style-wise. We propose a designer in-the-loop workflow that mirrors methods of displaying similar products to consumers browsing e-commerce websites. Our findings are useful when designing new products, since they provide insight regarding what furniture will be strongly compatible across multiple styles, and hence, more likely to be recommended.


title: Rank-one matrix estimation: analytic time evolution of gradient descent dynamics

abstract: We consider a rank-one symmetric matrix corrupted by additive noise. The rank-one matrix is formed by an $n$-component unknown vector on the sphere of radius $\sqrt{n}$, and we consider the problem of estimating this vector from the corrupted matrix in the high dimensional limit of $n$ large, by gradient descent for a quadratic cost function on the sphere. Explicit formulas for the whole time evolution of the overlap between the estimator and unknown vector, as well as the cost, are rigorously derived. In the long time limit we recover the well known spectral phase transition, as a function of the signal-to-noise ratio. The explicit formulas also allow to point out interesting transient features of the time evolution. Our analysis technique is based on recent progress in random matrix theory and uses local versions of the semi-circle law.


title: Predicting scaling properties from a single fluid configuration

abstract: Time-dependent dynamical properties of a fluid can not be estimated from a single configuration without performing a simulation. Here we show, however, that the scaling properties of both structure and dynamics can be predicted from a single configuration. The new method is demonstrated to work very well for equilibrium dynamics of the Kob-Andersen Binary Lennard-Jones mixture. Furthermore, the method is applied to isobaric cooling where the liquid falls out of equilibrium and forms a glass, demonstrating that the method requires neither equilibrium nor constant volume conditions to work, in contrast to existing methods.


title: Estimation of Optimal Dynamic Treatment Regimes using Gaussian Process Emulation

abstract: In precision medicine, identifying optimal sequences of decision rules, termed dynamic treatment regimes (DTRs), is an important undertaking. One approach investigators may take to infer about optimal DTRs is via Bayesian dynamic Marginal Structural Models (MSMs). These models represent the expected outcome under adherence to a DTR for DTRs in a family indexed by a parameter $ \psi $; the function mapping regimes in the family to the expected outcome under adherence to a DTR is known as the value function. Models that allow for the straightforward identification of an optimal DTR may lead to biased estimates. If such a model is computationally tractable, common wisdom says that a grid-search for the optimal DTR may obviate this difficulty. In a Bayesian context, computational difficulties may be compounded if a posterior mean must be calculated at each grid point. We seek to alleviate these inferential challenges by implementing Gaussian Process ($ \mathcal{GP} $) optimization methods for estimators for the causal effect of adherence to a specified DTR. We examine how to identify optimal DTRs in settings where the value function is multi-modal, which are often not addressed in the DTR literature. We conclude that a $ \mathcal{GP} $ modeling approach that acknowledges noise in the estimated response surface leads to improved results. Additionally, we find that a grid-search may not always yield a robust solution and that it is often less efficient than a $ \mathcal{GP} $ approach. We illustrate the use of the proposed methods by analyzing a clinical dataset with the aim of quantifying the effect of different patterns of HIV therapy.


title: Chemical abundances in 7 metal-poor HII regions and a determination of the primordial helium abundance

abstract: We conducted a long-slit spectrophotometry analysis to obtain the chemical abundances of seven metal-poor HII regions in three galaxies: UM 160, UM 420, and TOL 0513-393. The data have been taken with the Focal Reducer Low Dispersion Spectrograph 1 (FORS1) at the 8.2-m Very Large Telescope. We derived the physical conditions and the chemical abundances of N, O, Ne, S, Ar, and Cl. We also performed a detailed analysis that involves abundance determinations using the $t^2$ formalism. Based on HeI recombination line intensity ratios, together with the Helio14 code, we derived the abundance of He. In addition, for a value $\Delta Y/\Delta Z_O =3.3\pm 0.7$, we have estimated that the primordial helium abundance by mass is $Y_{\rm P}=0.2448\pm0.0033$. This value agrees with values derived from Standard Big Bang Nucleosynthesis and with other recent determinations of $Y_{\rm P}$.


title: Impact of detecting clinical trial elements in exploration of COVID-19 literature

abstract: The COVID-19 pandemic has driven ever-greater demand for tools which enable efficient exploration of biomedical literature. Although semi-structured information resulting from concept recognition and detection of the defining elements of clinical trials (e.g. PICO criteria) has been commonly used to support literature search, the contributions of this abstraction remain poorly understood, especially in relation to text-based retrieval. In this study, we compare the results retrieved by a standard search engine with those filtered using clinically-relevant concepts and their relations. With analysis based on the annotations from the TREC-COVID shared task, we obtain quantitative as well as qualitative insights into characteristics of relational and concept-based literature exploration. Most importantly, we find that the relational concept selection filters the original retrieved collection in a way that decreases the proportion of unjudged documents and increases the precision, which means that the user is likely to be exposed to a larger number of relevant documents.


title: Smoothed Analysis of Population Protocols

abstract: In this work, we initiate the study of \emph{smoothed analysis} of population protocols. We consider a population protocol model where an adaptive adversary dictates the interactions between agents, but with probability $p$ every such interaction may change into an interaction between two agents chosen uniformly at random. That is, $p$-fraction of the interactions are random, while $(1-p)$-fraction are adversarial. The aim of our model is to bridge the gap between a uniformly random scheduler (which is too idealistic) and an adversarial scheduler (which is too strict). We focus on the fundamental problem of leader election in population protocols. We show that, for a population of size $n$, the leader election problem can be solved in $O(p^{-2}n \log^3 n)$ steps with high probability, using $O((\log^2 n) \cdot (\log (n/p)))$ states per agent, for \emph{all} values of $p\leq 1$. Although our result does not match the best known running time of $O(n \log n)$ for the uniformly random scheduler ($p=1$), we are able to present a \emph{smooth transition} between a running time of $O(n \cdot \mathrm{polylog} n)$ for $p=1$ and an infinite running time for the adversarial scheduler ($p=0$), where the problem cannot be solved. The key technical contribution of our work is a novel \emph{phase clock} algorithm for our model. This is a key primitive for much-studied fundamental population protocol algorithms (leader election, majority), and we believe it is of independent interest.


title: Temperature Damping of Magneto-Intersubband Resistance Oscillations in Magnetically Entangled Subbands

abstract: Magneto-intersubband resistance oscillations (MISO) of highly mobile 2D electrons in symmetric GaAs quantum wells with two populated subbands are studied in magnetic fields tilted from the normal to the 2D electron layer at different temperatures $T$. Decrease of MISO amplitude with temperature increase is observed. At moderate tilts the temperature decrease of MISO amplitude is consistent with decrease of Dingle factor due to reduction of quantum electron lifetime at high temperatures. At large tilts new regime of strong MISO suppression with the temperature is observed. Proposed model relates this suppression to magnetic entanglement between subbands, leading to beating in oscillating density of states. The model yields corresponding temperature damping factor: $A_{MISO}(T)=X/\sinh(X)$, where $X=2\pi^2kT\delta f$ and $\delta f$ is difference frequency of oscillations of density of states in two subbands. This factor is in agreement with experiment. Fermi liquid enhancement of MISO amplitude is observed.


title: Stumbling over planetary building blocks: AU Microscopii as an example of the challenge of retrieving debris-disk dust properties

abstract: We explore whether assumptions about dust grain shape affect resulting estimates of the composition and grain size distribution of the AU Microscopii (AU Mic) debris disk from scattered light data collected by Lomax et al. (2018). The near edge-on orientation of the AU Mic debris disk makes it ideal for studying the effect of the scattering phase function (SPF) on the measured flux ratios as a function of wavelength and projected distance. Previous efforts to model the AU Mic debris disk have invoked a variety of dust grain compositions and explored the effect of porosity, but did not undertake a systematic effort to explore a full range of size distributions and compositions to understand possible degeneracies in fitting the data. The degree to which modelling dust grains with more realistic shapes compounds these degeneracies has also not previously been explored. We find differences in the grain properties retrieved depending on the grain shape model used. We also present here our calculations of porous grains of size parameters x = 0.1 to 48 and complex refractive indices (m = n+ik) ranging from n = 1.1 to 2.43 and k = 0 to 1.0, covering multiple compositions at visible and near infrared wavelengths such as ice, silicates, amorphous carbon, and tholins.