title: Direct observation of handedness-dependent quasiparticle interference in the two enantiomers of topological chiral semimetal PdGa

abstract: It has recently been proposed that combining chirality with topological band theory may result in a totally new class of fermions. These particles have distinct properties: they appear at high symmetry points of the reciprocal lattice, they are connected by helicoidal surface Fermi arcs spanning the entire Brillouin zone, and they are expected to exist over a large energy range. Additionally, they are expected to give rise to totally new effects forbidden in other topological classes. Understanding how these unconventional quasiparticles propagate and interact is crucial for exploiting their potential in innovative chirality-driven device architectures. These aspects necessarily rely on the detection of handedness-dependent effects in the two enantiomers and remain largely unexplored so far. Here, we use scanning tunnelling microscopy to visualize the electronic properties of both enantiomers of the prototypical chiral topological semimetal PdGa at the atomic scale. We reveal that the surface-bulk connectivity goes beyond ensuring the existence of topological Fermi arcs, but also determines how quasiparticles propagate and scatter at impurities, giving rise to chiral quantum interference patterns of opposite handedness and opposite spiralling direction for the two different enantiomers, a direct manifestation of the change of sign of their Chern number. Additionally, we demonstrate that PdGa remains topologically non-trivial over a large energy range, experimentally detecting Fermi arcs in an energy window of more than 1.6 eV symmetrically centerd around the Fermi level. These results are rationalized in terms of the deep connection between chirality in real and reciprocal space in this class of materials, and they allow to identify PdGa as an ideal topological chiral semimetal.


title: Joint Multi-Dimensional Model for Global and Time-Series Annotations

abstract: Crowdsourcing is a popular approach to collect annotations for unlabeled data instances. It involves collecting a large number of annotations from several, often naive untrained annotators for each data instance which are then combined to estimate the ground truth. Further, annotations for constructs such as affect are often multi-dimensional with annotators rating multiple dimensions, such as valence and arousal, for each instance. Most annotation fusion schemes however ignore this aspect and model each dimension separately. In this work we address this by proposing a generative model for multi-dimensional annotation fusion, which models the dimensions jointly leading to more accurate ground truth estimates. The model we propose is applicable to both global and time series annotation fusion problems and treats the ground truth as a latent variable distorted by the annotators. The model parameters are estimated using the Expectation-Maximization algorithm and we evaluate its performance using synthetic data and real emotion corpora as well as on an artificial task with human annotations


title: Converting Hemodialysis (HD) membranes to Extracorporeal Membrane Oxygenation (ECMO) machines

abstract: Crises like COVID-19 can create a massive unmet demand for rare blood oxygenation membrane machines for impaired lungs: Extracorporeal Membrane Oxygenation (ECMO) machines. Meanwhile, Hemodialysis (HD) machines, which use membranes to supplement failing kidneys, are extremely common and widespread, with orders of magnitude more available than for ECMO machines. This short study examines whether the membranes for HD can be modified for use in blood oxygenation (ECMO). To do so, it considers mass transfer at the micro-scale level, and calculations for the macro-scale level such as blood pumping rates and O2 supply pressure. Overall, while this conversion may technically be possible, poor gas transport likely requires multiple HD membranes for one patient.


title: Unsupervised Multimodal Neural Machine Translation with Pseudo Visual Pivoting

abstract: Unsupervised machine translation (MT) has recently achieved impressive results with monolingual corpora only. However, it is still challenging to associate source-target sentences in the latent space. As people speak different languages biologically share similar visual systems, the potential of achieving better alignment through visual content is promising yet under-explored in unsupervised multimodal MT (MMT). In this paper, we investigate how to utilize visual content for disambiguation and promoting latent space alignment in unsupervised MMT. Our model employs multimodal back-translation and features pseudo visual pivoting in which we learn a shared multilingual visual-semantic embedding space and incorporate visually-pivoted captioning as additional weak supervision. The experimental results on the widely used Multi30K dataset show that the proposed model significantly improves over the state-of-the-art methods and generalizes well when the images are not available at the testing time.


title: Electricity-Aware Bid Format for Heat Commitment and Dispatch

abstract: Coordination between heat and electricity markets is essential to achieve a cost-effective and efficient operation of the overall energy system. In the current sequential market practice, the heat market is cleared before the electricity market, and has no insight into the impacts of heat dispatch on the electricity market. While preserving this sequential practice, this paper introduces an ``electricity-aware'' bid format for the coordination of heat and electricity systems. This novel market mechanism defines heat bids conditionally on day-ahead electricity prices. Prior to clearing heat and electricity markets, the proposed bid selection mechanism selects the ``valid'' bids which minimize the operating cost of the heat system, while anticipating heat and electricity market clearing.} This mechanism is modeled as a trilevel optimization problem, which we recast as a mixed-integer linear program using a lexicographic function. We use a realistic case study based on the Danish electricity and heat system, and show that the proposed bid selection mechanism yields a 4.5\% reduction in total operating cost of heat and electricity systems compared to the existing market-clearing procedure, while reducing the financial losses of combined heat and power plants and heat pumps due to invalid bids by up to 20.3 million euros.


title: Measuring the Speed of Gravitational Waves from the First and Second Observing Run of Advanced LIGO and Advanced Virgo

abstract: The speed of gravitational waves for a single observation can be measured by the time delay among gravitational-wave detectors with Bayesian inference. Then multiple measurements can be combined to produce a more accurate result. From the near simultaneous detection of gravitational waves and gamma rays originating from GW170817/GRB 170817A, the speed of gravitational wave signal was found to be the same as the the speed of the gamma rays to approximately one part in $10^{15}$. Here we present a different method of measuring the speed of gravitational waves, not based on an associated electromagnetic signal but instead by the measured transit time across a geographically separated network of detectors. While this method is far less precise, it provides an independent measurement of the speed of gravitational waves. For GW170817 a binary neutron star inspiral observed by Advanced LIGO and Advanced Virgo, by fixing sky localization of the source at the electromagnetic counterpart the speed of gravitational waves is constrained to 90% confidence interval (0.97c, 1.02c), where c is the speed of light in a vacuum. By combing seven BBH events and the BNS event from the second observing run of Advanced LIGO and Advanced Virgo, the 90% confidence interval is narrowed down to (0.97c, 1.01c). The accurate measurement of the speed of gravitational waves allows us to test the general theory of relativity. We further interpret these results within the test framework provided by the gravitational Standard-Model Extension (SME). In doing so, we obtain simultaneous constraints on 4 of the 9 nonbirefringent, nondispersive coefficients for Lorentz violation in the gravity sector of the SME and place limits on the anisotropy of the speed of gravity.


title: Photodetachment of the outer-most electrons in a few- and many-electron atomic systems

abstract: Photodetachment of the outer-most electrons in few- and many-electron atomic systems is studied in the non-relativistic dipole approximation. Such a photodetachment is analyzed for the neutral atoms and positively charged atomic ions. We also investigate photodetachment of the outer-most electrons in the negatively charged atomic ions, including the negatively charged hydrogen ion. In all these cases we have derived the closed analytical formulas for the photodetachemnt cross-section(s) of the outer-most electrons.


title: Rigid Matrices From Rectangular PCPs

abstract: We introduce a variant of PCPs, that we refer to as rectangular PCPs, wherein proofs are thought of as square matrices, and the random coins used by the verifier can be partitioned into two disjoint sets, one determining the row of each query and the other determining the column. We construct PCPs that are efficient, short, smooth and (almost-)rectangular. As a key application, we show that proofs for hard languages in $NTIME(2^n)$, when viewed as matrices, are rigid infinitely often. This strengthens and simplifies a recent result of Alman and Chen [FOCS, 2019] constructing explicit rigid matrices in FNP. Namely, we prove the following theorem: - There is a constant $\delta \in (0,1)$ such that there is an FNP-machine that, for infinitely many $N$, on input $1^N$ outputs $N \times N$ matrices with entries in $\mathbb{F}_2$ that are $\delta N^2$-far (in Hamming distance) from matrices of rank at most $2^{\log N/\Omega(\log \log N)}$. Our construction of rectangular PCPs starts with an analysis of how randomness yields queries in the Reed--Muller-based outer PCP of Ben-Sasson, Goldreich, Harsha, Sudan and Vadhan [SICOMP, 2006; CCC, 2005]. We then show how to preserve rectangularity under PCP composition and a smoothness-inducing transformation. This warrants refined and stronger notions of rectangularity, which we prove for the outer PCP and its transforms.


title: The sensitivity of presupernova neutrinos to stellar evolution models

abstract: We examine the sensitivity of neutrino emissions to stellar evolution models for a 15$M_\odot$ progenitor, paying particular attention to a phase prior to the collapse. We demonstrate that the number luminosities in both electron-type neutrinos ($\nu_e$) and their anti-partners ($\bar{\nu}_e$) differ by more than an order of magnitude by changing spatial resolutions and nuclear network sizes on stellar evolution models. We also develop a phenomenological model to capture the essential trend of the diversity, in which neutrino luminosities are expressed as a function of central density, temperature and electron fraction. In the analysis, we show that neutrino luminosity can be well characterized by these central quantities. This analysis also reveals that the most influential quantity to the time evolution of $\nu_e$ luminosity is matter density, while it is temperature for $\bar{\nu}_e$. These qualitative trends will be useful and applicable to constrain the physical state of progenitors at the final stages of stellar evolution from future neutrino observations, although more detailed systematic studies including various mass progenitors are required to assess the applicability.


title: The Electroweak Sphaleron in a strong magnetic field

abstract: In an external magnetic field, the energy of the electroweak sphaleron---representing the energy barrier to baryon and lepton number violation---decreases but remains nonzero until the upper Ambjorn-Olesen critical field strength set by the Higgs mass and the electric charge, where it vanishes. We demonstrate this by numerically computing the sphaleron configuration in the presence of an external magnetic field, over the full range of field strengths until the energy barrier vanishes. We discuss the implications for baryogenesis in the early universe, and the possibility of observing of baryon and lepton number violation in heavy-ion collisions.


title: Evaluation, Tuning and Interpretation of Neural Networks for Meteorological Applications

abstract: Neural networks have opened up many new opportunities to utilize remotely sensed images in meteorology. Common applications include image classification, e.g., to determine whether an image contains a tropical cyclone, and image translation, e.g., to emulate radar imagery for satellites that only have passive channels. However, there are yet many open questions regarding the use of neural networks in meteorology, such as best practices for evaluation, tuning and interpretation. This article highlights several strategies and practical considerations for neural network development that have not yet received much attention in the meteorological community, such as the concept of effective receptive fields, underutilized meteorological performance measures, and methods for NN interpretation, such as synthetic experiments and layer-wise relevance propagation. We also consider the process of neural network interpretation as a whole, recognizing it as an iterative scientist-driven discovery process, and breaking it down into individual steps that researchers can take. Finally, while most work on neural network interpretation in meteorology has so far focused on networks for image classification tasks, we expand the focus to also include networks for image translation.


title: Physical properties of weak-coupling quasiperiodic superconductors

abstract: We numerically study the physical properties of quasiperiodic superconductors with the aim of understanding superconductivity in quasicrystals. Considering the attractive Hubbard model on the Penrose tiling as a simple theoretical model, we calculate various basic superconducting properties and find deviations from the universal values of the Bardeen-Cooper-Schrieffer theory. In particular, we find that the jump of the specific heat at the superconducting transition is about 10-20% smaller than that universal value, in consistency with the experimental results obtained for the superconducting Al-Mg-Zn quasicrystalline alloy. Furthermore, we calculate current-voltage characteristics and find that the current gradually increases with the voltage on the Penrose tiling in contrast to a rapid increase in the periodic system. These distinctions originate from the nontrivial Cooper pairing characteristic to the quasiperiodic system.


title: Categorifying Hecke algebras at prime roots of unity, part I

abstract: We equip the type $A$ diagrammatic Hecke category with a special derivation, so that after specialization to characteristic $p$ it becomes a $p$-dg category. We prove that the defining relations of the Hecke algebra are satisfied in the $p$-dg Grothendieck group. We conjecture that the $p$-dg Grothendieck group is isomorphic to the Iwahori-Hecke algebra, equipping it with a basis which may differ from both the Kazhdan-Lusztig basis and the $p$-canonical basis. More precise conjectures will be found in the sequel. Here are some other results contained in this paper. We provide an incomplete proof of the classification of all degree $+2$ derivations on the diagrammatic Hecke category, and a complete proof of the classification of those derivations for which the defining relations of the Hecke algebra are satisfied in the $p$-dg Grothendieck group. In particular, our special derivation is unique up to duality and equivalence. We prove that no such derivation exists in simply-laced types outside of finite and affine type $A$. We also examine a particular Bott-Samelson bimodule in type $A_7$, which is indecomposable in characteristic $2$ but decomposable in all other characteristics. We prove that this Bott-Samelson bimodule admits no nontrivial fantastic filtrations in any characteristic, which is the analogue in the $p$-dg setting of being indecomposable.


title: On solving quadratic congruences

abstract: The paper proposes a polynomial formula for solution quadratic congruences in $\mathbb{Z}_p$. This formula gives the correct answer for quadratic residue and zeroes for quadratic nonresidue. The general form of the formula for $p=3 \;\rm{mod}\,4$, $p=5 \;\rm{mod}\,8$ and for $p=9 \;\rm{mod}\,16$ are suggested.


title: Space-filter techniques for quasi-neutral hybrid-kinetic models

abstract: The space-filter approach has proved a fundamental tool in studying turbulence in neutral fluids, providing the ability to analyze scale-to-scale energy transfer in configuration space. It is well known that turbulence in plasma presents challenges different from neutral fluids, especially when the scale of interests include kinetic effects. The space-filter approach is still largely unexplored for kinetic plasma. Here we derive the space-filtered (or, equivalently "coarse-grained") equations in configuration space for a quasi-neutral hybrid-kinetic plasma model, in which ions are fully kinetic and electrons are a neutralizing fluid. Different models and closures for the electron fluid are considered, including finite electron-inertia effects and full electrons' pressure-tensor dynamics. Implications for the cascade of turbulent fluctuations in real space depending on different approximations are discussed.


title: Confinement in the spectrum of a Heisenberg-Ising spin ladder

abstract: The Heisenberg-Ising spin ladder is one of the few short-range models showing confinement of elementary excitations without the need of an external field, neither transverse nor longitudinal. This feature makes the model suitable for an experimental realization with ultracold atoms. In this paper, we combine analytic and numerical techniques to precisely characterize its spectrum in the regime of Hamiltonian parameters showing confinement. We find two kinds of particles, which we dub intrachain and interchain mesons, that correspond to bound states of kinks within the same chain or between different ones, respectively. The ultimate physical reasons leading to the existence of two families of mesons is a residual double degeneracy of the ground state: the two types of mesons interpolate either between the same vacuum (intrachain) or between the two different ones (interchain). While the intrachain mesons can also be qualitatively assessed through an effective mean field description and were previously known, the interchain ones are new and they represent general features of spin ladders with confinement.


title: KKH 22, the first dwarf spheroidal satellite of IC 342

abstract: We present observations with the Advanced Camera for Surveys on the Hubble Space Telescope of the nearby dwarf spheroidal galaxy KKH 22 = LEDA 2807114 in the vicinity of the massive spiral galaxy IC 342. We derived its distance of 3.12+-0.19 Mpc using the tip of red giant branch (TRGB) method. We also used the 6 m BTA spectroscopy to measure a heliocentric radial velocity of the globular cluster in KKH22 to be +30+-10 km/s. The dSph galaxy KKH 22 has the V-band absolute magnitude of -12.19 mag and the central surface brightness mu_v,0 = 24.1 mag/sq.arcsec. Both the velocity and the distance of KKH 22 are consistent with the dSph galaxy being gravitationally bound to IC 342. Another nearby dIr galaxy, KKH 34, with a low heliocentric velocity of +106 km/s has the TRGB distance of 7.28+-0.36 Mpc residing in the background with respect to the IC 342 group. KKH 34 has a surprisingly high negative peculiar velocity of -236+-26 km/s.


title: Dramatic pressure-sensitive ion conduction in conical nanopores

abstract: Ion transporters in Nature exhibit a wealth of complex transport properties such as voltage gating, activation, and mechanosensitive behavior. When combined, such processes result in advanced ionic machines achieving active ion transport, high selectivity, or signal processing. On the artificial side, there has been much recent progress in the design and study of transport in ionic channels, but mimicking the advanced functionalities of ion transporters remains as yet out of reach. A prerequisite is the development of ionic responses sensitive to external stimuli. In the present work, we report a counterintuitive and highly nonlinear coupling between electric and pressure-driven transport in a conical nanopore, manifesting as a strong pressure-dependence of the ion conductance. This result is at odds with standard linear response theory and is akin to a mechanical transistor functionality. We fully rationalize this behavior on the basis of the coupled electrohydrodynamics in the conical pore by extending the Poisson-Nernst-Planck-Stokes framework. The model is shown to capture the subtle mechanical balance occurring within an extended spatially charged zone in the nanopore. The pronounced sensitivity to mechanical forcing offers leads in tuning ion transport by mechanical stimuli. The results presented here provide a promising avenue for the design of tailored membrane functionalities.


title: The Dirac oscillator: an alternative basis for nuclear structure calculations

abstract: Background: The isotropic harmonic oscillator supplemented by a strong spin-orbit interaction has been the cornerstone of nuclear structure since its inception more than seven decades ago. In this paper we introduce---or rather re-introduced---the "Dirac Oscillator", a fully relativistic basis that has all the desired attributes of the ordinary harmonic oscillator while naturally incorporating a strong spin-orbit coupling. Purpose: To assess---to our knowledge for the first time---the power and flexibility of the Dirac Oscillator basis in the solution of nuclear structure problems within the framework of covariant density functional theory. Methods: Self-consistent calculations of binding energies and ground-state densities for a selected set of doubly-magic magic are performed using the Dirac-oscillator basis and are then compared against results obtained with the often-used Runge-Kutta method. Results: Results obtained using the Dirac oscillator basis reproduced with high accuracy those derived using the Runge-Kutta method and suggest a clear path for a generalization to systems with axial symmetry. Conclusions: Although the three-dimensional harmonic oscillator with spin-orbit corrections has been the staple of the nuclear shell model since the beginning, the Dirac oscillator is practically unknown among the nuclear physics community. In this paper we illustrate the power and flexibility of the Dirac oscillator and suggest extensions to the study of systems without spherical symmetry as required in constrained calculations of nuclear excitations.


title: Catch Me If You Can: Using Power Analysis to Identify HPC Activity

abstract: Monitoring users on large computing platforms such as high performance computing (HPC) and cloud computing systems is non-trivial. Utilities such as process viewers provide limited insight into what users are running, due to granularity limitation, and other sources of data, such as system call tracing, can impose significant operational overhead. However, despite technical and procedural measures, instances of users abusing valuable HPC resources for personal gains have been documented in the past \cite{hpcbitmine}, and systems that are open to large numbers of loosely-verified users from around the world are at risk of abuse. In this paper, we show how electrical power consumption data from an HPC platform can be used to identify what programs are executed. The intuition is that during execution, programs exhibit various patterns of CPU and memory activity. These patterns are reflected in the power consumption of the system and can be used to identify programs running. We test our approach on an HPC rack at Lawrence Berkeley National Laboratory using a variety of scientific benchmarks. Among other interesting observations, our results show that by monitoring the power consumption of an HPC rack, it is possible to identify if particular programs are running with precision up to and recall of 95\% even in noisy scenarios.


title: Exponential decay for negative feedback loop with distributed delay

abstract: We derive sufficient conditions for exponential decay of solutions of the delay negative feedback equation with distributed delay. The conditions are written in terms of exponential moments of the distribution. Our method only uses elementary tools of calculus and is robust towards possible extensions to more complex settings, in particular, systems of delay differential equations. We illustrate the applicability of the method to particular distributions - Dirac delta, Gamma distribution, uniform and truncated normal distributions.


title: A Gentle Introduction to Quantum Computing Algorithms with Applications to Universal Prediction

abstract: In this technical report we give an elementary introduction to Quantum Computing for non-physicists. In this introduction we describe in detail some of the foundational Quantum Algorithms including: the Deutsch-Jozsa Algorithm, Shor's Algorithm, Grocer Search, and Quantum Counting Algorithm and briefly the Harrow-Lloyd Algorithm. Additionally we give an introduction to Solomonoff Induction, a theoretically optimal method for prediction. We then attempt to use Quantum computing to find better algorithms for the approximation of Solomonoff Induction. This is done by using techniques from other Quantum computing algorithms to achieve a speedup in computing the speed prior, which is an approximation of Solomonoff's prior, a key part of Solomonoff Induction. The major limiting factors are that the probabilities being computed are often so small that without a sufficient (often large) amount of trials, the error may be larger than the result. If a substantial speedup in the computation of an approximation of Solomonoff Induction can be achieved through quantum computing, then this can be applied to the field of intelligent agents as a key part of an approximation of the agent AIXI.


title: Condensed Matter Physics in Time Crystals

abstract: Time crystals are physical systems whose time translation symmetry is spontaneously broken. Although the spontaneous breaking of continuous time-translation symmetry in static systems is proved impossible for the equilibrium state, the discrete time-translation symmetry in periodically driven (Floquet) systems is allowed to be spontaneously broken, resulting in the so-called Floquet or discrete time crystals. While most works so far searching for time crystals focus on the symmetry breaking process and the possible stabilising mechanisms, the many-body physics from the interplay of symmetry-broken states, which we call the condensed matter physics in time crystals, is not fully explored yet. This review aims to summarise the very preliminary results in this new research field with an analogous structure of condensed matter theory in solids. The whole theory is built on a hidden symmetry in time crystals, i.e., the phase space lattice symmetry, which allows us to develop the band theory, topology and strongly correlated models in phase space lattice. In the end, we outline the possible topics and directions for the future research.

categories: cond-mat.quant-gas cond-mat.dis-nn cond-mat.other nlin.AO quant-ph


title: On planar graphs of uniform polynomial growth

abstract: Consider an infinite planar graph with uniform polynomial growth of degree d > 2. Many examples of such graphs exhibit similar geometric and spectral properties, and it has been conjectured that this is necessary. We present a family of counterexamples. In particular, we show that for every rational d > 2, there is a planar graph with uniform polynomial growth of degree d on which the random walk is transient, disproving a conjecture of Benjamini (2011). By a well-known theorem of Benjamini and Schramm, such a graph cannot be a unimodular random graph. We also give examples of unimodular random planar graphs of uniform polynomial growth with unexpected properties. For instance, graphs of (almost sure) uniform polynomial growth of every rational degree d > 2 for which the speed exponent of the walk is larger than 1/d, and in which the complements of all balls are connected. This resolves negatively two questions of Benjamini and Papasoglou (2011).


title: Spectroscopic and asteroseismic analysis of the secondary clump red giant HD 226808

abstract: In order to clarify the properties of the secondary clump star HD 226808 (KIC 5307747), we combined four years of data from Kepler space photometry with high-resolution spectroscopy of the High Efficiency and Resolution Mercator \'Echelle Spectrograph mounted on the Mercator telescope. The fundamental atmospheric parameters, radial velocities, rotation velocities, and elemental abundance for Fe and Li were determined by analyzing line strengths and fitting-line profiles, based on a 1D local thermodynamic equilibrium model atmosphere. Second, we analyzed a photometric light curve obtained by Kepler and we extracted asteroseismic data of this target using Lets Analysis, Use and Report of Asteroseismology, a new seismic tool developed for the study of evolved FGK solar-like stars. We determined the evolutionary status and effective temperature, surface gravity, metallicity, microturbulence, and chemical abundances for Li, Ti, Fe, and Ni for HD~226808, by employing spectroscopy, asteroseismic scaling relations, and evolutionary structure models built in order to match observed data. Our results also show that an accurate synergy between good spectroscopic analysis and asteroseismology can provide a jump toward understanding evolved stars.}


title: Towards Frequency-Based Explanation for Robust CNN

abstract: Current explanation techniques towards a transparent Convolutional Neural Network (CNN) mainly focuses on building connections between the human-understandable input features with models' prediction, overlooking an alternative representation of the input, the frequency components decomposition. In this work, we present an analysis of the connection between the distribution of frequency components in the input dataset and the reasoning process the model learns from the data. We further provide quantification analysis about the contribution of different frequency components toward the model's prediction. We show that the vulnerability of the model against tiny distortions is a result of the model is relying on the high-frequency features, the target features of the adversarial (black and white-box) attackers, to make the prediction. We further show that if the model develops stronger association between the low-frequency component with true labels, the model is more robust, which is the explanation of why adversarially trained models are more robust against tiny distortions.


title: Anti-symplectic involutions on rational symplectic 4-manifolds

abstract: This is an expanded version of the talk given be the first author at the conference "Topology, Geometry, and Dynamics: Rokhlin - 100". The purpose of this talk was to explain our current results on classification of rational symplectic 4-manifolds equipped with an anti-symplectic involution. Detailed exposition will appear elsewhere.


title: A Separation Theorem for Joint Sensor and Actuator Scheduling with Guaranteed Performance Bounds

abstract: We study the problem of jointly designing a sparse sensor and actuator schedule for linear dynamical systems while guaranteeing a control/estimation performance that approximates the fully sensed/actuated setting. We further prove a separation principle, showing that the problem can be decomposed into finding sensor and actuator schedules separately. However, it is shown that this problem cannot be efficiently solved or approximated in polynomial, or even quasi-polynomial time for time-invariant sensor/actuator schedules; instead, we develop deterministic polynomial-time algorithms for a time-varying sensor/actuator schedule with guaranteed approximation bounds. Our main result is to provide a polynomial-time joint actuator and sensor schedule that on average selects only a constant number of sensors and actuators at each time step, irrespective of the dimension of the system. The key idea is to sparsify the controllability and observability Gramians while providing approximation guarantees for Hankel singular values. This idea is inspired by recent results in theoretical computer science literature on sparsification.


title: Percolation on the gene regulatory network

abstract: We consider a simplified model for gene regulation, where gene expression is regulated by transcription factors (TFs), which are single proteins or protein complexes. Proteins are in turn synthesised from expressed genes, creating a feedback loop of regulation. This leads to a directed bipartite network in which a link from a gene to a TF exists if the gene codes for a protein contributing to the TF, and a link from a TF to a gene exists if the TF regulates the expression of the gene. Both genes and TFs are modelled as binary variables, which indicate, respectively, whether a gene is expressed or not, and a TF is synthesised or not. We consider the scenario where for a TF to be synthesised, all of its contributing genes must be expressed. This results in an ``AND'' gate logic for the dynamics of TFs. By adapting percolation theory to directed bipartite graphs, evolving according to the AND logic dynamics, we are able to determine the necessary conditions, in the network parameter space, under which bipartite networks can support a multiplicity of stable gene expression patterns, under noisy conditions, as required in stable cell types. In particular, the analysis reveals the possibility of a bi-stability region, where the extensive percolating cluster is or is not resilient to perturbations. This is remarkably different from the transition observed in standard percolation theory. Finally, we consider perturbations involving single node removal that mimic gene knockout experiments. Results reveal the strong dependence of the gene knockout cascade on the logic implemented in the underlying network dynamics, highlighting in particular that avalanche sizes cannot be easily related to gene-gene interaction networks.


title: Confinement and bound states of bound states in a transverse-field two-leg Ising ladder

abstract: Weakly coupled Ising chains provide a condensed-matter realization of confinement. In these systems, kinks and antikinks bind into mesons due to an attractive interaction potential that increases linearly with the distance between the particles. While single mesons have been directly observed in experiments, the role of the multiparticle continuum and bound states of mesons in the excitation spectrum is far less clear. Using time-dependent density matrix renormalization group methods, we study the dynamical structure factors of one- and two-spin operators in a transverse-field two-leg Ising ladder in the ferromagnetic phase. The propagation of time-dependent correlations and the two-spin excitation spectrum reveal the existence of interchain bound states, which are absent in the one-spin dynamical structure factor. We also identify two-meson bound states that appear at higher energies, above the thresholds of several two-meson continua.


title: Sharp Inequalities for maximal operators on finite graphs

abstract: Let $G=(V,E)$ be a finite graph and $M_G$ be the centered Hardy-Littlewood maximal operator defined there. We find the optimal value $\bf{C}_{G,p}$ such that the inequality $$\text{Var}_{p}(M_{G}f)\leq {\textbf{C}}_{G,p}\text{Var}_{p}(f)$$ holds for every $f:V\to \mathbb{R},$ where $\text{Var}_p$ stands for the $p$-variation, when: (i) $G=K_n$ (complete graph) and $p\in [\frac{\log(4)}{\log(6)},\infty)$ or $G=K_4$ and $p\in (0,\infty)$; (ii) $G=S_n$ (star graph) and $1\ge p\ge \frac{1}{2}$; $p\in (0,\frac{1}{2})$ and $n\ge C(p)$ or $G=S_3$ and $p\in (1,\infty).$ We also find the value of the norm $\|M_{G}\|_{2}$ when: (i) $G=K_n$ and $n\ge 3$; (ii) $G=S_n$ and $n\ge 3.$


title: Hydrodynamic limit of Robinson-Schensted-Knuth algorithm

abstract: We investigate the evolution in time of the position of a fixed number in the insertion tableau when the Robinson-Schensted-Knuth algorithm is applied to a sequence of random numbers. When the length of the sequence tends to infinity, a typical trajectory after scaling converges uniformly in probability to some deterministic curve.


title: Optimally Convergent Mixed Finite Element Methods for the Stochastic Stokes Equations

abstract: We propose some new mixed finite element methods for the time dependent stochastic Stokes equations with multiplicative noise, which use the Helmholtz decomposition of the driving multiplicative noise. It is known [16] that the pressure solution has a low regularity, which manifests in sub-optimal convergence rates for well-known inf-sup stable mixed finite element methods in numerical simulations, see [10]. We show that eliminating this gradient part from the noise in the numerical scheme leads to optimally convergent mixed finite element methods, and that this conceptual idea may be used to retool numerical methods that are well-known in the deterministic setting, including pressure stabilization methods, so that their optimal convergence properties can still be maintained in the stochastic setting. Computational experiments are also provided to validate the theoretical results and to illustrate the conceptional usefulness of the proposed numerical approach.


title: Nitrogen Doping and Infusion in SRF Cavities: A Review

abstract: Advances in SRF technology over the last 40 years allowed achieving accelerating gradients ~ 50 MV/m corresponding to peak surface magnetic field close to the theoretical limit of niobium. However, the quality factor decreases significantly with increasing accelerating gradient. This decrease is expected since increasing the rf field increases the number of quasiparticles and therefore the rf losses. Recently, a new phenomenon of increase in quality factor with the accelerating gradient has been observed when SRF cavities are doped with certain non-magnetic impurities. In particular, the diffusion of nitrogen into the niobium cavities inner surface has been has been successfully implemented into the commercialization of SRF technology. The quest is still ongoing towards process development to achieve high accelerating gradient SRF structures with high quality factors for future high power accelerators. Here, we present the review of the research and development via nitrogen diffusion, materials analysis and current theoretical understanding in high Q0 SRF cavities.


title: An augmented Lagrangian preconditioner for implicitly-constituted non-Newtonian incompressible flow

abstract: We propose an augmented Lagrangian preconditioner for a three-field stress-velocity-pressure discretization of stationary non-Newtonian incompressible flow with an implicit constitutive relation of power-law type. The discretization employed makes use of the divergence-free Scott-Vogelius pair for the velocity and pressure. The preconditioner builds on the work [P. E. Farrell, L. Mitchell, and F. Wechsung, SIAM J. Sci. Comput., 41 (2019), pp. A3073-A3096], where a Reynolds-robust preconditioner for the three-dimensional Newtonian system was introduced. The preconditioner employs a specialized multigrid method for the stress-velocity block that involves a divergence-capturing space decomposition and a custom prolongation operator. The solver exhibits excellent robustness with respect to the parameters arising in the constitutive relation, allowing for the simulation of a wide range of materials.


title: On the Optimality of Randomization in Experimental Design: How to Randomize for Minimax Variance and Design-Based Inference

abstract: I study the minimax-optimal design for a two-arm controlled experiment where conditional mean outcomes may vary in a given set. When this set is permutation symmetric, the optimal design is complete randomization, and using a single partition (i.e., the design that only randomizes the treatment labels for each side of the partition) has minimax risk larger by a factor of $n-1$. More generally, the optimal design is shown to be the mixed-strategy optimal design (MSOD) of Kallus (2018). Notably, even when the set of conditional mean outcomes has structure (i.e., is not permutation symmetric), being minimax-optimal for variance still requires randomization beyond a single partition. Nonetheless, since this targets precision, it may still not ensure sufficient uniformity in randomization to enable randomization (i.e., design-based) inference by Fisher's exact test to appropriately detect violations of null. I therefore propose the inference-constrained MSOD, which is minimax-optimal among all designs subject to such uniformity constraints. On the way, I discuss Johansson et al. (2020) who recently compared rerandomization of Morgan and Rubin (2012) and the pure-strategy optimal design (PSOD) of Kallus (2018). I point out some errors therein and set straight that randomization is minimax-optimal and that the "no free lunch" theorem and example in Kallus (2018) are correct.


title: Quasi-Sure Stochastic Analysis through Aggregation and SLE$_\kappa$ Theory

abstract: We study SLE$_{\kappa}$ theory with elements of Quasi-Sure Stochastic Analysis through Aggregation. Specifically, we show how the latter can be used to construct the SLE$_{\kappa}$ traces quasi-surely (i.e. simultaneously for a family of probability measures with certain properties) for $\kappa \in \mathcal{K}\cap \mathbb{R}_+ \setminus ([0, \epsilon) \cup \{8\})$, for any $\epsilon>0$ with $\mathcal{K} \subset \mathbb{R}_{+}$ a nontrivial compact interval, i.e. for all $\kappa$ that are not in a neighborhood of zero and are different from $8$. As a by-product of the analysis, we show in this language a version of the continuity in $\kappa$ of the SLE$_{\kappa}$ traces for all $\kappa$ in compact intervals as above.


title: Decentralized Adaptive Control for Collaborative Manipulation of Rigid Bodies

abstract: In this work, we consider a group of robots working together to manipulate a rigid object to track a desired trajectory in $SE(3)$. The robots do not know the mass or friction properties of the object, or where they are attached to the object. They can, however, access a common state measurement, either from one robot broadcasting its measurements to the team, or by all robots communicating and averaging their state measurements to estimate the state of their centroid. To solve this problem, we propose a decentralized adaptive control scheme wherein each agent maintains and adapts its own estimate of the object parameters in order to track a reference trajectory. We present an analysis of the controller's behavior, and show that all closed-loop signals remain bounded, and that the system trajectory will almost always (except for initial conditions on a set of measure zero) converge to the desired trajectory. We study the proposed controller's performance using numerical simulations of a manipulation task in 3D, as well as hardware experiments which demonstrate our algorithm on a planar manipulation task. These studies, taken together, demonstrate the effectiveness of the proposed controller even in the presence of numerous unmodeled effects, such as discretization errors and complex frictional interactions.


title: Functional convex order for the scaled McKean-Vlasov processes

abstract: We establish the functional convex order results for two scaled McKean-Vlasov processes $X=(X_{t})_{t\in[0, T]}$ and $Y=(Y_{t})_{t\in[0, T]}$ defined on a filtered probability space $(\Omega, \mathcal{F}, (\mathcal{F}_{t})_{t\geq0}, \mathbb{P})$ by \[\begin{cases} dX_{t}= b(t, X_{t}, \mu_{t})dt+\sigma(t, X_{t}, \mu_{t})dB_{t}, \;\;X_{0}\in L^{p}(\mathbb{P}),\\ dY_{t}\,= b(t, \,Y_{t}\,,\, \nu_{t})dt+\theta(t, \,Y_{t}\,,\, \nu_{t})dB_{t}, \;\;Y_{0}\in L^{p}(\mathbb{P}), \end{cases}\] where $p\geq2$, for every $ t\in[0, T]$, $\mu_t$, $\nu_t$ denote the probability distribution of $X_t$, $Y_t$ respectively and the drift coefficient $b(t, x, \mu)$ is affine in $x$ (scaled). If we make the convexity and monotony assumption (only) on $\sigma$ and if $\sigma\preceq\theta$ with respect to the partial matrix order, the convex order for the initial random variable $X_0 \preceq_{\,cv} Y_0$ can be propagated to the whole path of process $X$ and $Y$. That is, if we consider a convex functional $F$ defined on the path space with polynomial growth, we have $\mathbb{E}F(X)\leq\mathbb{E}F(Y)$; for a convex functional $G$ defined on the product space involving the path space and its marginal distribution space, we have $\mathbb{E}\,G\big(X, (\mu_t)_{t\in[0, T]}\big)\leq \mathbb{E}\,G\big(Y, (\nu_t)_{t\in[0, T]}\big)$ under appropriate conditions. The symmetric setting is also valid, that is, if $\theta \preceq \sigma$ and $Y_0 \leq X_0$ with respect to the convex order, then $\mathbb{E}\,F(Y) \leq \mathbb{E}\,F(X)$ and $\mathbb{E}\,G\big(Y, (\nu_t)_{t\in[0, T]}\big)\leq \mathbb{E}\,G(X, (\mu_t)_{t\in[0, T]})$. The proof is based on several forward and backward dynamic programming principles and the convergence of the Euler scheme of the McKean-Vlasov equation.


title: NTIRE 2020 Challenge on Image Demoireing: Methods and Results

abstract: This paper reviews the Challenge on Image Demoireing that was part of the New Trends in Image Restoration and Enhancement (NTIRE) workshop, held in conjunction with CVPR 2020. Demoireing is a difficult task of removing moire patterns from an image to reveal an underlying clean image. The challenge was divided into two tracks. Track 1 targeted the single image demoireing problem, which seeks to remove moire patterns from a single image. Track 2 focused on the burst demoireing problem, where a set of degraded moire images of the same scene were provided as input, with the goal of producing a single demoired image as output. The methods were ranked in terms of their fidelity, measured using the peak signal-to-noise ratio (PSNR) between the ground truth clean images and the restored images produced by the participants' methods. The tracks had 142 and 99 registered participants, respectively, with a total of 14 and 6 submissions in the final testing stage. The entries span the current state-of-the-art in image and burst image demoireing problems.


title: Fast Mapping onto Census Blocks

abstract: Pandemic measures such as social distancing and contact tracing can be enhanced by rapidly integrating dynamic location data and demographic data. Projecting billions of longitude and latitude locations onto hundreds of thousands of highly irregular demographic census block polygons is computationally challenging in both research and deployment contexts. This paper describes two approaches labeled "simple" and "fast". The simple approach can be implemented in any scripting language (Matlab/Octave, Python, Julia, R) and is easily integrated and customized to a variety of research goals. This simple approach uses a novel combination of hierarchy, sparse bounding boxes, polygon crossing-number, vectorization, and parallel processing to achieve 100,000,000+ projections per second on 100 servers. The simple approach is compact, does not increase data storage requirements, and is applicable to any country or region. The fast approach exploits the thread, vector, and memory optimizations that are possible using a low-level language (C++) and achieves similar performance on a single server. This paper details these approaches with the goal of enabling the broader community to quickly integrate location and demographic data.


title: On the Learnability of Possibilistic Theories

abstract: We investigate learnability of possibilistic theories from entailments in light of Angluin's exact learning model. We consider cases in which only membership, only equivalence, and both kinds of queries can be posed by the learner. We then show that, for a large class of problems, polynomial time learnability results for classical logic can be transferred to the respective possibilistic extension. In particular, it follows from our results that the possibilistic extension of propositional Horn theories is exactly learnable in polynomial time. As polynomial time learnability in the exact model is transferable to the classical probably approximately correct model extended with membership queries, our work also establishes such results in this model.


title: Avoiding 5/4-powers on the alphabet of nonnegative integers

abstract: We identify the structure of the lexicographically least word avoiding 5/4-powers on the alphabet of nonnegative integers. Specifically, we show that this word has the form $p \tau(\varphi(z) \varphi^2(z) \cdots)$ where $p, z$ are finite words, $\varphi$ is a 6-uniform morphism, and $\tau$ is a coding. This description yields a recurrence for the $i$th letter, which we use to prove that the sequence of letters is 6-regular with rank 188. More generally, we prove $k$-regularity for a sequence satisfying a recurrence of the same type.


title: Imaging Polarity in Two Dimensional Materials by Breaking Friedel's Law

abstract: Friedel's law guarantees an inversion-symmetric diffraction pattern for thin, light materials where a kinematic approximation or a single-scattering model holds. Typically, breaking Friedel symmetry is ascribed to multiple scattering events within thick, non-centrosymmetric crystals. However, two-dimensional (2D) materials such as a single monolayer of MoS$_2$ can also violate Friedel's law, with unexpected contrast between conjugate Bragg peaks. We show analytically that retaining higher order terms in the power series expansion of the scattered wavefunction can describe the anomalous contrast between $hkl$ and $\overline{hkl}$ peaks that occurs in 2D crystals with broken in-plane inversion symmetry. These higher-order terms describe multiple scattering paths starting from the same atom in an atomically thin material. Furthermore, 2D materials containing heavy elements, such as WS$_2$, always act as strong phase objects, violating Friedel's law no matter how high the energy of the incident electron beam. Experimentally, this understanding can enhance diffraction-based techniques to provide rapid imaging of polarity, twin domains, in-plane rotations, or other polar textures in 2D materials.


title: Generalized Cauchy-Kovalevskaya extension and plane wave decompositions in superspace

abstract: The aim of this paper is to obtain a generalized CK-extension theorem in superspace for the bi-axial Dirac operator. In the classical commuting case, this result can be written as a power series of Bessel type of certain differential operators acting on a single initial function. In the superspace setting, novel structures appear in the cases of negative even superdimensions. In these cases, the CK-extension depends on two initial functions on which two power series of differential operators act. These series are not only of Bessel type but they give rise to an additional structure in terms of Appell polynomials. This pattern also is present in the structure of the Pizzetti formula, which describes integration over the supersphere in terms of differential operators. We make this relation explicit by studying the decomposition of the generalized CK-extension into plane waves integrated over the supersphere. Moreover, these results are applied to obtain a decomposition of the Cauchy kernel in superspace into monogenic plane waves, which shall be useful for inverting the super Radon transform.


title: MAZE: Data-Free Model Stealing Attack Using Zeroth-Order Gradient Estimation

abstract: Model Stealing (MS) attacks allow an adversary with black-box access to a Machine Learning model to replicate its functionality, compromising the confidentiality of the model. Such attacks train a clone model by using the predictions of the target model for different inputs. The effectiveness of such attacks relies heavily on the availability of data necessary to query the target model. Existing attacks either assume partial access to the dataset of the target model or availability of an alternate dataset with semantic similarities. This paper proposes MAZE -- a data-free model stealing attack using zeroth-order gradient estimation. In contrast to prior works, MAZE does not require any data and instead creates synthetic data using a generative model. Inspired by recent works in data-free Knowledge Distillation (KD), we train the generative model using a disagreement objective to produce inputs that maximize disagreement between the clone and the target model. However, unlike the white-box setting of KD, where the gradient information is available, training a generator for model stealing requires performing black-box optimization, as it involves accessing the target model under attack. MAZE relies on zeroth-order gradient estimation to perform this optimization and enables a highly accurate MS attack. Our evaluation with four datasets shows that MAZE provides a normalized clone accuracy in the range of 0.91x to 0.99x, and outperforms even the recent attacks that rely on partial data (JBDA, clone accuracy 0.13x to 0.69x) and surrogate data (KnockoffNets, clone accuracy 0.52x to 0.97x). We also study an extension of MAZE in the partial-data setting and develop MAZE-PD, which generates synthetic data closer to the target distribution. MAZE-PD further improves the clone accuracy (0.97x to 1.0x) and reduces the query required for the attack by 2x-24x.


title: Optimality for the two-parameter quadratic sieve

abstract: We study the two-parameter quadratic sieve for a general test function. We prove, under some very general assumptions, that the function considered by Barban and Vehov [BV68] and Graham [Gra78] for this problem is optimal up to and including the second-order term. We determine that second-order term explicitly.


title: Enhanced Room Temperature Infrared LEDs using Monolithically Integrated Plasmonic Materials

abstract: Remarkable systems have been reported recently using the polylithic integration of semiconductor optoelectronic devices and plasmonic materials exhibiting epsilon-near-zero (ENZ) and negative permittivity. In traditional noble metals, the ENZ and plasmonic response is achieved near their plasma frequencies, limiting plasmonic optoelectronic device design flexibility. Here, we leverage an all-epitaxial approach to monolithically and seamlessly integrate designer plasmonic materials into a quantum dot light emitting diode (LED), leading to a ~5.6 x enhancement over an otherwise identical non-plasmonic control sample. Devices exhibited optical powers comparable, and temperature performance far superior, to commercially-available devices.


title: Running vacuum in quantum field theory in curved spacetime: renormalizing $\rho_{vac}$ without $\sim m^4$ terms

abstract: The $\Lambda$-term in Einstein's equations is a fundamental building block of the `concordance' $\Lambda$CDM model of cosmology. Even though the model is not free of fundamental problems, they have not been circumvented by any alternative dark energy proposal either. Here we stick to the $\Lambda$-term, but we contend that it can be a `running quantity' in quantum field theory (QFT) in curved spacetime. A plethora of phenomenological works have shown that this option can be highly competitive with the $\Lambda$CDM with a rigid cosmological term. The, so-called, `running vacuum models' (RVM's) are characterized by the vacuum energy density, $\rho_{vac}$, being a series of (even) powers of the Hubble parameter and its time derivatives. Such theoretical form has been motivated by general renormalization group arguments, which look plausible. Here we dwell further upon the origin of the RVM structure within QFT in FLRW spacetime. We compute the renormalized energy-momentum tensor with the help of the adiabatic regularization procedure and find that it leads essentially to the RVM form. This means that $\rho_{vac}(H)$ evolves as a constant term plus dynamical components ${\cal O}(H^2)$ and ${\cal O}(H^4)$, the latter being relevant for the early universe only. However, the renormalized $\rho_{vac}(H)$ does not carry dangerous terms proportional to the quartic power of the masses ($\sim m^4$) of the fields, these terms being a well-known source of exceedingly large contributions. At present, $\rho_{vac}(H)$ is dominated by the additive constant term accompanied by a mild dynamical component $\sim \nu H^2$ ($|\nu|\ll1$), which mimics quintessence.


title: Nonlinear modeling and characterization of ultrasoft silicone elastomers

abstract: We introduce a strain-energy based nonlinear hyper-elastic formulation to model the material properties of ultrasoft dielectric elastomers over a wide range of elastic properties, prestretch, and thicknesses. We build on the uniaxial Gent formulation, and under the conditions of equi-biaxial strain, derive an expression for the bulge deformation versus pressure. A circular bulge test methodology is developed to experimentally measure the mechanical response of the silicone membranes. The Gent model captures both neo-Hookean and strain-stiffening behaviors, and gives predictions which are in agreement with experimental measurements. Membranes with different thinner fractions are characterized over nearly one order of magnitude variation in shear modulus. Stiffer membranes are observed to harden at lower stretch ratios due to the increased fraction of polymer chains in them. The present approach offers a simple and cost-effective procedure for characterizing soft membranes under commonly encountered biaxial deformation conditions.


title: Optical properties of exciton in two-dimensional transition metal dichalcogenide nanobubbles

abstract: Strain in two-dimensional (2D) transition metal dichalcogenide (TMD) has led to localized states with exciting optical properties, in particular in view of designing one photon sources. The naturally formed of the MoS2 monolayer deposed on hBN substrate leads to a reduction of the bandgap in the strained region creating a nanobubble. The photogenerated particles are thus confined in the strain-induced potential. Using numerical diagonalization, we simulate the spectra of the confined exciton states, their oscillator strengths and radiative lifetimes. We show that a single state of the confined exciton is optically active, which suggests that the MoS2/hBN nanobubble is a good candidate for the realisation of single-photon sources. Furthermore, the exciton binding energy, oscillator strength and radiative lifetime are enhanced due to the confinement effect.


title: Solid hulls and cores of classes of weighted entire functions defined in terms of associated weight functions

abstract: In the spirit of very recent articles by J. Bonet, W. Lusky and J. Taskinen we are studying the so-called solid hulls and cores of spaces of weighted entire functions when the weights are given in terms of associated weight functions coming from weight sequences. These sequences are required to satisfy certain (standard) growth and regularity properties which are frequently arising and used in the theory of ultradifferentiable and ultraholomorphic function classes (where also the associated weight function plays a prominent role). Thanks to this additional information we are able to see which growth behavior the so-called "Lusky-numbers", arising in the representations of the solid hulls and cores, have to satisfy resp. if such numbers can exist.


title: Phase Shift in Skyrmion Crystals

abstract: The skyrmion crystal is a periodic array of a swirling topological spin texture. Since it is regarded as an interference pattern by multiple helical spin density waves, the texture changes with the relative phases among the constituent waves. Although the phase degree of freedom is relevant to not only magnetism but also transport properties, its effect has not been elucidated thus far. We here theoretically show that a phase shift can occur in the skyrmion crystals to stabilize tetra-axial vortex crystals with staggered scalar spin chirality. This leads to spontaneous breaking of the lattice symmetry, which results in nonreciprocal transport phenomena even without the relativistic spin-orbit coupling. We show that such a phase shift is driven by long-range chirality interactions or thermal fluctuations in spin-charge coupled systems.


title: On Optimal Control of Discounted Cost Infinite-Horizon Markov Decision Processes Under Local State Information Structures

abstract: This paper investigates a class of optimal control problems associated with Markov processes with local state information. The decision-maker has only local access to a subset of a state vector information as often encountered in decentralized control problems in multi-agent systems. Under this information structure, part of the state vector cannot be observed. We leverage ab initio principles and find a new form of Bellman equations to characterize the optimal policies of the control problem under local information structures. The dynamic programming solutions feature a mixture of dynamics associated unobservable state components and the local state-feedback policy based on the observable local information. We further characterize the optimal local-state feedback policy using linear programming methods. To reduce the computational complexity of the optimal policy, we propose an approximate algorithm based on virtual beliefs to find a sub-optimal policy. We show the performance bounds on the sub-optimal solution and corroborate the results with numerical case studies.


title: Comparison of the Planck 2018 CMB polarization maps in the BICEP2/Keck region

abstract: We examine the statistical properties of polarization maps from Planck 2018 within the patch of sky observed by the BICEP2/Keck experiment using the one point distribution function (1PDF), skewness, and kurtosis statistics. Our analysis is performed for the Q and U Stokes parameters and for the corresponding E- and B-modes of the CMB signals. We extend our analysis by studying the correlations between CMB polarization maps and residual maps (the difference between the full signal and the CMB map) for the frequency range of 100--217 GHz with both the Q/U and E/B approaches. Although all the CMB maps reveal almost Gaussian statistical properties for Q/U and E/B domains, we have detected very significant anomalies for cross-correlations with residuals at 100 GHz at the level of $3.7\sigma$ for the Commander map and $5.2\sigma$ for NILC, for both the Q and U parameters. Using the NILC--Commander difference, which does not contain a cosmological signal, we find a sub-dominant non-Gaussian component in Q skewness and kurtosis at the level of $4.3\sigma$ and $10\sigma$, respectively. For the B-mode we have found a very high level of cross-correlation (0.63--0.69) between the NILC/Commander maps and the 143 GHz total signal, which cannot be associated with the cosmological component. These strong deviations suggest that remnants of foregrounds, systematic effects, and component separation exist in the 2018 Planck CMB polarization maps in the BICEP2 sky area, which is far away from the Galactic plane. Our analysis also demonstrates the preferability of the Q/U domain over E/B for determination of the statistical properties of the derived CMB signals, due to non-locality of the transition Q/U $\rightarrow$ E/B.


title: Arctic Oscillation: possible trigger of COVID-19 outbreak

abstract: The current COVID-19 pandemic is having detrimental consequences worldwide. The pandemic started to develop strongly by the end of January and beginning of February 2020, first in China with subsequent rapid spread to other countries with new epicenters of the outbreaks concentrated mainly within the 30-50 degrees North latitudinal band (e.g., South Korea, Japan, Iran, Italy, Spain). Simultaneously, an unusual persistent anticyclonic situation prevailing at latitudes around 40 degrees North was observed on global scale, in line with an anomalously strong positive phase of the Arctic Oscillation. This atypical situation could have resulted in favorable meteorological conditions for a quicker spread of the virus over the latitude band detailed above. This possible connection needs further attention in order to understand the meteorological and climatological factors related to the COVID-19 outbreak, and for anticipating the spatio-temporal distribution of possible future pandemics.


title: Skyrmion Ground States of Rapidly Rotating Few-Fermion Systems

abstract: We show that ultracold fermions in an artificial magnetic field open up a new window to the physics of the spinful fractional quantum Hall effect. We numerically study the lowest energy states of strongly interacting few-fermion systems in rapidly rotating optical microtraps. We find that skyrmion-like ground states with locally ferromagnetic, long-range spin textures emerge. To realize such states experimentally, rotating microtraps with higher-order angular momentum components may be used to prepare fermionic particles in a lowest Landau level. We find parameter regimes in which skyrmion-like ground states should be accessible in current experiments and demonstrate an adiabatic pathway for their preparation in a rapidly rotating harmonic trap. The addition of long range interactions will lead to an even richer interplay between spin textures and fractional quantum Hall physics.


title: Nonlinear model reduction: a comparison between POD-Galerkin and POD-DEIM methods

abstract: Several nonlinear model reduction techniques are compared for the three cases of the non-parallel version of the Kuramoto-Sivashinsky equation, the transient regime of flow past a cylinder at $Re=100$ and fully developed flow past a cylinder at the same Reynolds number. The linear terms of the governing equations are reduced by Galerkin projection onto a POD basis of the flow state, while the reduced nonlinear convection terms are obtained either by a Galerkin projection onto the same state basis, by a Galerkin projection onto a POD basis representing the nonlinearities or by applying the Discrete Empirical Interpolation Method (DEIM) to a POD basis of the nonlinearities. The quality of the reduced order models is assessed as to their stability, accuracy and robustness, and appropriate quantitative measures are introduced and compared. In particular, the properties of the reduced linear terms are compared to those of the full-scale terms, and the structure of the nonlinear quadratic terms is analyzed as to the conservation of kinetic energy. It is shown that all three reduction techniques provide excellent and similar results for the cases of the Kuramoto-Sivashinsky equation and the limit-cycle cylinder flow. For the case of the transient regime of flow past a cylinder, only the pure Galerkin techniques are successful, while the DEIM technique produces reduced-order models that diverge in finite time.


title: Fact-based Dialogue Generation with Convergent and Divergent Decoding

abstract: Fact-based dialogue generation is a task of generating a human-like response based on both dialogue context and factual texts. Various methods were proposed to focus on generating informative words that contain facts effectively. However, previous works implicitly assume a topic to be kept on a dialogue and usually converse passively, therefore the systems have a difficulty to generate diverse responses that provide meaningful information proactively. This paper proposes an end-to-end fact-based dialogue system augmented with the ability of convergent and divergent thinking over both context and facts, which can converse about the current topic or introduce a new topic. Specifically, our model incorporates a novel convergent and divergent decoding that can generate informative and diverse responses considering not only given inputs (context and facts) but also inputs-related topics. Both automatic and human evaluation results on DSTC7 dataset show that our model significantly outperforms state-of-the-art baselines, indicating that our model can generate more appropriate, informative, and diverse responses.


title: Oxidation of the Interiors of Carbide Exoplanets

abstract: Astrophysical measurements have shown that some stars have sufficiently high carbon-to-oxygen ratios such that the planets they host would be mainly composed of carbides instead of silicates. We studied the behavior of silicon carbide in the presence of water under the high pressure-temperature conditions relevant to planetary interiors in the laser-heated diamond-anvil cell (LHDAC). When reacting with water, silicon carbide converts to silica (stishovite) and diamond at pressures up to 50 GPa and temperatures up to 2500 K: SiC + 2H$_2$O -> SiO$_2$ + C + 2H$_2$. Therefore, if water can be incorporated into carbide planets during their formation or through later delivery, they could be oxidized and have mineralogy dominated by silicates and diamond in their interiors. The reaction could produce CH$_4$ at shallower depths and H$_2$ at greater depths which could be degassed from the interior, causing the atmospheres of the converted carbon planets to be rich in reducing gases. Excess water after the reaction can be stored in dense silica polymorphs in the interiors of the converted carbon planets. Such conversion of mineralogy to diamond and silicates would decrease the density of carbon-rich planet, making the converted planets distinct from silicate planets in mass-radius relations for the 2-8 Earth mass range.


title: A Parameterized Perspective on Attacking and Defending Elections

abstract: We consider the problem of protecting and manipulating elections by recounting and changing ballots, respectively. Our setting involves a plurality-based election held across multiple districts, and the problem formulations are based on the model proposed recently by~[Elkind et al, IJCAI 2019]. It turns out that both of the manipulation and protection problems are NP-complete even in fairly simple settings. We study these problems from a parameterized perspective with the goal of establishing a more detailed complexity landscape. The parameters we consider include the number of voters, and the budgets of the attacker and the defender. While we observe fixed-parameter tractability when parameterizing by number of voters, our main contribution is a demonstration of parameterized hardness when working with the budgets of the attacker and the defender.


title: Numerical linked cluster expansions for inhomogeneous systems

abstract: We develop a numerical linked cluster expansion (NLCE) method that can be applied directly to inhomogeneous systems, for example Hamiltonians with disorder and dynamics initiated from inhomogeneous initial states. We demonstrate the method by calculating dynamics for single-spin expectations and spin correlations in two-dimensional spin models on a square lattice, starting from a checkerboard state. We show that NLCE can give moderate to dramatic improvement over an exact diagonalization of comparable computational cost, and that the advantage in computational resources grows exponentially as the size of the clusters included grows. Although the method applies to any type of NLCE, our explicit benchmarks use the rectangle expansion. Besides showing the capability to treat inhomogeneous systems, these benchmarks demonstrate the rectangle expansion's utility out of equilibrium.


title: CCA2-secure Lattice-based Public Key Encryption with Equality Test in Standard Model

abstract: With the rapid growth of cloud storage and cloud computing services, many organisations and users choose to store the data on a cloud server for saving costs. However, due to security concerns, data of users would be encrypted before sending to the cloud. However, this hinders a problem of computation on encrypted data in the cloud, especially in the case of performing data matching in various medical scenarios. Public key encryption with equality test (PKEET) is a powerful tool that allows the authorized cloud server to check whether two ciphertexts are generated by the same message. PKEET has then become a promising candidate for many practical applications like efficient data management on encrypted databases. Lee et al. (Information Sciences 2020) proposed a generic construction of PKEET schemes in the standard model and hence it is possible to yield the first instantiation of post-quantum PKEET schemes based on lattices. At ACISP 2019, Duong et al. proposed a direct construction of PKEET over integer lattices in the standard model. However, their scheme does not reach the CCA2-security. In this paper, we propose an efficient CCA2-secure PKEET scheme based on ideal lattices. In addition, we present a modification of the scheme by Duong et al. over integer lattices to attain the CCA2-security. Both schemes are proven secure in the standard model, and they enjoy the security in the upcoming quantum computer era.


title: Direct Mapping of Local Seebeck Coefficient in 2D Material Nanostructures via Scanning Thermal Gate Microscopy

abstract: Local variations in the Seebeck coefficient in low-dimensional materials-based nanostructures and devices play a major role in their thermoelectric performance. Unfortunately, currently most thermoelectric measurements probe the aggregate characteristics of the device as a whole, failing to observe the effects of the local variations and internal structure. Such variations can be caused by local defects, geometry, electrical contacts or interfaces and often substantially influence thermoelectric properties, most profoundly in two-dimensional (2D) materials. Here, we use Scanning Thermal Gate Microscopy (STGM), a non-invasive method not requiring an electrical contact between the nanoscale tip and the probed sample, to obtain nanoscale resolution 2D maps of the thermovoltage in graphene samples. We investigate a junction formed between single-layer and bilayer graphene and identify the impact of internal strain and Fermi level pinning by the contacts using a deconvolution method to directly map the local Seebeck coefficient. The new approach paves the way for an in-depth understanding of thermoelectric behaviour and phenomena in 2D materials nanostructures and devices.


title: Model Reduction and Neural Networks for Parametric PDEs

abstract: We develop a general framework for data-driven approximation of input-output maps between infinite-dimensional spaces. The proposed approach is motivated by the recent successes of neural networks and deep learning, in combination with ideas from model reduction. This combination results in a neural network approximation which, in principle, is defined on infinite-dimensional spaces and, in practice, is robust to the dimension of finite-dimensional approximations of these spaces required for computation. For a class of input-output maps, and suitably chosen probability measures on the inputs, we prove convergence of the proposed approximation methodology. We also include numerical experiments which demonstrate the effectiveness of the method, showing convergence and robustness of the approximation scheme with respect to the size of the discretization, and compare it with existing algorithms from the literature; our examples include the mapping from coefficient to solution in a divergence form elliptic partial differential equation (PDE) problem, and the solution operator for viscous Burgers' equation.


title: Evolutionary Multi Objective Optimization Algorithm for Community Detection in Complex Social Networks

abstract: Most optimization-based community detection approaches formulate the problem in a single or bi-objective framework. In this paper, we propose two variants of a three-objective formulation using a customized non-dominated sorting genetic algorithm III (NSGA-III) to find community structures in a network. In the first variant, named NSGA-III-KRM, we considered Kernel k means, Ratio cut, and Modularity, as the three objectives, whereas the second variant, named NSGA-III-CCM, considers Community score, Community fitness and Modularity, as three objective functions. Experiments are conducted on four benchmark network datasets. Comparison with state-of-the-art approaches along with decomposition-based multi-objective evolutionary algorithm variants (MOEA/D-KRM and MOEA/D-CCM) indicates that the proposed variants yield comparable or better results. This is particularly significant because the addition of the third objective does not worsen the results of the other two objectives. We also propose a simple method to rank the Pareto solutions so obtained by proposing a new measure, namely the ratio of the hyper-volume and inverted generational distance (IGD). The higher the ratio, the better is the Pareto set. This strategy is particularly useful in the absence of empirical attainment function in the multi-objective framework, where the number of objectives is more than two.


title: A Proposal for Intelligent Agents with Episodic Memory

abstract: In the future we can expect that artificial intelligent agents, once deployed, will be required to learn continually from their experience during their operational lifetime. Such agents will also need to communicate with humans and other agents regarding the content of their experience, in the context of passing along their learnings, for the purpose of explaining their actions in specific circumstances or simply to relate more naturally to humans concerning experiences the agent acquires that are not necessarily related to their assigned tasks. We argue that to support these goals, an agent would benefit from an episodic memory; that is, a memory that encodes the agent's experience in such a way that the agent can relive the experience, communicate about it and use its past experience, inclusive of the agents own past actions, to learn more effective models and policies. In this short paper, we propose one potential approach to provide an AI agent with such capabilities. We draw upon the ever-growing body of work examining the function and operation of the Medial Temporal Lobe (MTL) in mammals to guide us in adding an episodic memory capability to an AI agent composed of artificial neural networks (ANNs). Based on that, we highlight important aspects to be considered in the memory organization and we propose an architecture combining ANNs and standard Computer Science techniques for supporting storage and retrieval of episodic memories. Despite being initial work, we hope this short paper can spark discussions around the creation of intelligent agents with memory or, at least, provide a different point of view on the subject.


title: New constructions of strongly regular Cayley graphs on abelian groups

abstract: Davis and Jedwab (1997) established a great construction theory unifying many previously known constructions of difference sets, relative difference sets and divisible difference sets. They introduced the concept of building blocks, which played an important role in the theory. On the other hand, Polhill (2010) gave a construction of Paley type partial difference sets (conference graphs) based on a special system of building blocks, called a covering extended building set, and proved that there exists a Paley type partial difference set in an abelian group of order $9^iv^4$ for any odd positive integer $v>1$ and any $i=0,1$. His result covers all orders of nonelementary abelian groups in which Paley type partial difference sets exist. In this paper, we give new constructions of strongly regular Cayley graphs on abelian groups by extending the theory of building blocks. The constructions are large generalizations of Polhill's construction. In particular, we show that for a positive integer $m$ and elementary abelian groups $G_i$, $i=1,2,\ldots,s$, of order $q_i^4$ such that $2m\,|\,q_i+1$, there exists a decomposition of the complete graph on the abelian group $G=G_1\times G_2\times \cdots\times G_s$ by strongly regular Cayley graphs with negative Latin square type parameters $(u^2,c(u+1),- u+c^2+3 c,c^2+ c)$, where $u=q_1^2q_2^2\cdots q_s^2$ and $c=(u-1)/m$. Such strongly regular decompositions were previously known only when $m=2$ or $G$ is a $p$-group. Moreover, we find one more new infinite family of decompositions of the complete graphs by Latin square type strongly regular Cayley graphs. Thus, we obtain many strongly regular graphs with new parameters.


title: The UCT problem for nuclear $C^\ast$-algebras

abstract: In recent years, a large class of nuclear $C^\ast$-algebras have been classified, modulo an assumption on the Universal Coefficient Theorem (UCT). We think this assumption is redundant and propose a strategy for proving it. Indeed, following the original proof of the classification theorem, we propose bridging the gap between reduction theorems and examples. While many such bridges are possible, various approximate ideal structures appear quite promising.


title: Determinantal Point Processes in Randomized Numerical Linear Algebra

abstract: Randomized Numerical Linear Algebra (RandNLA) uses randomness to develop improved algorithms for matrix problems that arise in scientific computing, data science, machine learning, etc. Determinantal Point Processes (DPPs), a seemingly unrelated topic in pure and applied mathematics, is a class of stochastic point processes with probability distribution characterized by sub-determinants of a kernel matrix. Recent work has uncovered deep and fruitful connections between DPPs and RandNLA which lead to new guarantees and improved algorithms that are of interest to both areas. We provide an overview of this exciting new line of research, including brief introductions to RandNLA and DPPs, as well as applications of DPPs to classical linear algebra tasks such as least squares regression, low-rank approximation and the Nystr\"om method. For example, random sampling with a DPP leads to new kinds of unbiased estimators for least squares, enabling more refined statistical and inferential understanding of these algorithms; a DPP is, in some sense, an optimal randomized algorithm for the Nystr\"om method; and a RandNLA technique called leverage score sampling can be derived as the marginal distribution of a DPP. We also discuss recent algorithmic developments, illustrating that, while not quite as efficient as standard RandNLA techniques, DPP-based algorithms are only moderately more expensive.


title: An Optimal Control Theory for the Traveling Salesman Problem and Its Variants

abstract: We show that the traveling salesman problem (TSP) and its many variants may be modeled as functional optimization problems over a graph. In this formulation, all vertices and arcs of the graph are functionals; i.e., a mapping from a space of measurable functions to the field of real numbers. Many variants of the TSP, such as those with neighborhoods, with forbidden neighborhoods, with time-windows and with profits, can all be framed under this construct. In sharp contrast to their discrete-optimization counterparts, the modeling constructs presented in this paper represent a fundamentally new domain of analysis and computation for TSPs and their variants. Beyond its apparent mathematical unification of a class of problems in graph theory, the main advantage of the new approach is that it facilitates the modeling of certain application-specific problems in their home space of measurable functions. Consequently, certain elements of economic system theory such as dynamical models and continuous-time cost/profit functionals can be directly incorporated in the new optimization problem formulation. Furthermore, subtour elimination constraints, prevalent in discrete optimization formulations, are naturally enforced through continuity requirements. The price for the new modeling framework is nonsmooth functionals. Although a number of theoretical issues remain open in the proposed mathematical framework, we demonstrate the computational viability of the new modeling constructs over a sample set of problems to illustrate the rapid production of end-to-end TSP solutions to extensively-constrained practical problems.


title: Convergence and inference for mixed Poisson random sums

abstract: In this paper we obtain the limit distribution for partial sums with a random number of terms following a class of mixed Poisson distributions. The resulting weak limit is a mixing between a normal distribution and an exponential family, which we call by normal exponential family (NEF) laws. A new stability concept is introduced and a relationship between {\alpha}-stable distributions and NEF laws is established. We propose estimation of the parameters of the NEF models through the method of moments and also by the maximum likelihood method, which is performed via an Expectation-Maximization algorithm. Monte Carlo simulation studies are addressed to check the performance of the proposed estimators and an empirical illustration on financial market is presented.


title: Active Learning with Multiple Kernels

abstract: Online multiple kernel learning (OMKL) has provided an attractive performance in nonlinear function learning tasks. Leveraging a random feature approximation, the major drawback of OMKL, known as the curse of dimensionality, has been recently alleviated. In this paper, we introduce a new research problem, termed (stream-based) active multiple kernel learning (AMKL), in which a learner is allowed to label selected data from an oracle according to a selection criterion. This is necessary in many real-world applications as acquiring true labels is costly or time-consuming. We prove that AMKL achieves an optimal sublinear regret, implying that the proposed selection criterion indeed avoids unuseful label-requests. Furthermore, we propose AMKL with an adaptive kernel selection (AMKL-AKS) in which irrelevant kernels can be excluded from a kernel dictionary 'on the fly'. This approach can improve the efficiency of active learning as well as the accuracy of a function approximation. Via numerical tests with various real datasets, it is demonstrated that AMKL-AKS yields a similar or better performance than the best-known OMKL, with a smaller number of labeled data.


title: Some local Maximum principles along Ricci Flow

abstract: In this note, we establish a local maximum principle along Ricci flow under scaling invariant curvature condition. This unifies the known preservation of nonnegativity results along Ricci flow with unbounded curvature. By combining with the Dirichlet heat kernel estimates, we also give a more direct proof of Hochard's localized version of a maximum principle given by R. Bamler, E. Cabezas-Rivas, and B. Wilking on the lower bound of curvature conditions.


title: A Dynamical Perspective on Point Cloud Registration

abstract: We provide a dynamical perspective on the classical problem of 3D point cloud registration with correspondences. A point cloud is considered as a rigid body consisting of particles. The problem of registering two point clouds is formulated as a dynamical system, where the dynamic model point cloud translates and rotates in a viscous environment towards the static scene point cloud, under forces and torques induced by virtual springs placed between each pair of corresponding points. We first show that the potential energy of the system recovers the objective function of the maximum likelihood estimation. We then adopt Lyapunov analysis, particularly the invariant set theorem, to analyze the rigid body dynamics and show that the system globally asymptotically tends towards the set of equilibrium points, where the globally optimal registration solution lies in. We conjecture that, besides the globally optimal equilibrium point, the system has either three or infinite "spurious" equilibrium points, and these spurious equilibria are all locally unstable. The case of three spurious equilibria corresponds to generic shape of the point cloud, while the case of infinite spurious equilibria happens when the point cloud exhibits symmetry. Therefore, simulating the dynamics with random perturbations guarantees to obtain the globally optimal registration solution. Numerical experiments support our analysis and conjecture.


title: ContextNet: Improving Convolutional Neural Networks for Automatic Speech Recognition with Global Context

abstract: Convolutional neural networks (CNN) have shown promising results for end-to-end speech recognition, albeit still behind other state-of-the-art methods in performance. In this paper, we study how to bridge this gap and go beyond with a novel CNN-RNN-transducer architecture, which we call ContextNet. ContextNet features a fully convolutional encoder that incorporates global context information into convolution layers by adding squeeze-and-excitation modules. In addition, we propose a simple scaling method that scales the widths of ContextNet that achieves good trade-off between computation and accuracy. We demonstrate that on the widely used LibriSpeech benchmark, ContextNet achieves a word error rate (WER) of 2.1%/4.6% without external language model (LM), 1.9%/4.1% with LM and 2.9%/7.0% with only 10M parameters on the clean/noisy LibriSpeech test sets. This compares to the previous best published system of 2.0%/4.6% with LM and 3.9%/11.3% with 20M parameters. The superiority of the proposed ContextNet model is also verified on a much larger internal dataset.


title: Trains, Games, and Complexity: 0/1/2-Player Motion Planning through Input/Output Gadgets

abstract: We analyze the computational complexity of motion planning through local "input/output" gadgets with separate entrances and exits, and a subset of allowed traversals from entrances to exits, each of which changes the state of the gadget and thereby the allowed traversals. We study such gadgets in the zero-, one-, and two-player settings, in particular extending past motion-planning-through-gadgets work [DGLR18, DHL20] to zero-player games for the first time, by considering "branchless" connections between gadgets that route every gadget's exit to a unique gadget's entrance. Our complexity results include containment in L, NL, P, NP, and PSPACE; as well as hardness for NL, P, NP, and PSPACE. We apply these results to show PSPACE-completeness for certain mechanics in the video games Factorio, [the Sequence], and a restricted version of Trainyard, improving the result of [ALP18a]. This work strengthens prior results on switching graphs, ARRIVAL [DGK+17], and reachability switching games [FGMS21].


title: Distributed Stabilization by Probability Control for Deterministic-Stochastic Large Scale Systems : Dissipativity Approach

abstract: By using dissipativity approach, we establish the stability condition for the feedback connection of a deterministic dynamical system $\Sigma$ and a stochastic memoryless map $\Psi$. After that, we extend the result to the class of large scale systems in which: $\Sigma$ consists of many sub-systems; and $\Psi$ consists of many "stochastic actuators" and "probability controllers" that control the actuator's output events. We will demonstrate the proposed approach by showing the design procedures to globally stabilize the manufacturing systems while locally balance the stock levels in any production process.


title: Recognizing Exercises and Counting Repetitions in Real Time

abstract: Artificial intelligence technology has made its way absolutely necessary in a variety of industries including the fitness industry. Human pose estimation is one of the important researches in the field of Computer Vision for the last few years. In this project, pose estimation and deep machine learning techniques are combined to analyze the performance and report feedback on the repetitions of performed exercises in real-time. Involving machine learning technology in the fitness industry could help the judges to count repetitions of any exercise during Weightlifting or CrossFit competitions.


title: Pressure-dependent Intermediate Magnetic Phase in Thin Fe$_3$GeTe$_2$ Flakes

abstract: We investigated the evolution of ferromagnetism in layered Fe$_3$GeTe$_2$ flakes under different pressures and temperatures using in situ magnetic circular dichroism (MCD) spectroscopy. We found that the rectangle shape of hysteretic loop under an out-of-plane magnetic field sweep can sustain below 7 GPa. Above that pressure, an intermediate state appears at low temperature region signaled by an 8-shaped skew hysteretic loop. Meanwhile, the coercive field and Curie temperature decrease with increasing pressures, implying the decrease of the exchange interaction and the magneto-crystalline anisotropy under pressures. The intermediate phase has a labyrinthine domain structure, which is attributed to the increase of ratio of exchange interaction to magneto-crystalline anisotropy based on Jagla's theory. Moreover, our calculation results reveal a weak structural transition around 6 GPa, which leads to a drop of the magnetic momentum of Fe ions.


title: New measurement of $^{12}$C+$^{12}$C fusion reaction at astrophysical energies

abstract: Carbon and oxygen burning reactions, in particular, $^{12}$C+$^{12}$C fusion, are important for the understanding and interpretation of the late phases of stellar evolution as well as the ignition and nucleosynthesis in cataclysmic binary systems such as type Ia supernovae and x-ray superbursts. A new measurement of this reaction has been performed at the University of Notre Dame using particle-$\gamma$ coincidence techniques with SAND (a silicon detector array) at the high-intensity 5U Pelletron accelerator. New results for $^{12}$C+$^{12}$C fusion at low energies relevant to nuclear astrophysics are reported. They show strong disagreement with a recent measurement using the indirect Trojan Horse method. The impact on the carbon burning process under astrophysical scenarios will be discussed.


title: Fair Algorithms for Hierarchical Agglomerative Clustering

abstract: Hierarchical Agglomerative Clustering (HAC) algorithms are extensively utilized in modern data science, and seek to partition the dataset into clusters while generating a hierarchical relationship between the data samples. HAC algorithms are employed in many applications, such as biology, natural language processing, and recommender systems. Thus, it is imperative to ensure that these algorithms are fair -- even if the dataset contains biases against certain protected groups, the cluster outputs generated should not discriminate against samples from any of these groups. However, recent work in clustering fairness has mostly focused on center-based clustering algorithms, such as k-median and k-means clustering. In this paper, we propose fair algorithms for performing HAC that enforce fairness constraints 1) irrespective of the distance linkage criteria used, 2) generalize to any natural measures of clustering fairness for HAC, 3) work for multiple protected groups, and 4) have competitive running times to vanilla HAC. Through extensive experiments on multiple real-world UCI datasets, we show that our proposed algorithm finds fairer clusterings compared to vanilla HAC as well as other state-of-the-art fair clustering approaches.


title: Quantifying Uncertainties on Fission Fragment Mass Yields With Mixture Density Networks

abstract: Probabilistic machine learning techniques can learn both complex relations between input features and output quantities of interest as well as take into account stochasticity or uncertainty within a data set. In this initial work, we explore the use of one such probabilistic network, the Mixture Density Network (MDN), to reproduce fission yields and their uncertainties. We study mass yields for the spontaneous fission of $^{252}$Cf, exploring the number of training samples needed for converged predictions, how different levels of uncertainty propagate from the training set to the MDN predictions, and how well physical constraints of the yields - such as normalization and symmetry - are upheld by the algorithm. Finally, we test the ability of the MDN to interpolate between and extrapolate beyond samples in the training set using energy-dependent mass yields for the neutron-induced fission on $^{235}$U. The MDN provides a reliable way to include and predict uncertainties and is a promising path forward for supplementing sparse sets of nuclear data.


title: Enabling Cross-chain Transactions: A Decentralized Cryptocurrency Exchange Protocol

abstract: Inspired by Bitcoin, many different kinds of cryptocurrencies based on blockchain technology have turned up on the market. Due to the special structure of the blockchain, it has been deemed impossible to directly trade between traditional currencies and cryptocurrencies or between different types of cryptocurrencies. Generally, trading between different currencies is conducted through a centralized third-party platform. However, it has the problem of a single point of failure, which is vulnerable to attacks and thus affects the security of the transactions. In this paper, we propose a distributed cryptocurrency trading scheme to solve the problem of centralized exchanges, which can achieve trading between different types of cryptocurrencies. Our scheme is implemented with smart contracts on the Ethereum blockchain and deployed on the Ethereum test network. We not only implement transactions between individual users, but also allow transactions between multiple users. The experimental result proves that the cost of our scheme is acceptable.


title: Electrically tunable Kondo effect as a direct measurement of the chiral anomaly in disorder Weyl semimetals

abstract: We propose a mechanism to directly measure the chiral anomaly in disorder Weyl semimetals (WSMs) by the Kondo effect. We find that in a magnetic and electric field driven WSM, the locations of the Kondo peaks can be modulated by the chiral chemical potential, which is proportional to $\mathbf{E}\cdot \mathbf{B}$. The Kondo peaks come from spin fluctuations within the impurities, which apart from the temperature, relate closely to the host's Fermi level. In WSMs, the chiral-anomaly-induced chirality population imbalance will shift the local Fermi levels of the paired Weyl valleys toward opposite directions in energy, and then affects the Kondo effect. Consequently, the Kondo effect can be tunable by an external electric field via the chiral chemical potential. This is unique to the chiral anomaly. Base on this, we argue that the electrically tunable Kondo effect can serve as a direct measurement of the chiral anomaly in WSMs. The Kondo peaks are robust against the disorder effect and therefore, the signal of the chiral anomaly survives for a relatively weak magnetic field.