title: Dynamic Games for Secure and Resilient Control System Design

abstract: Modern control systems are featured by their hierarchical structure composing of cyber, physical, and human layers. The intricate dependencies among multiple layers and units of modern control systems require an integrated framework to address cross-layer design issues related to security and resilience challenges. To this end, game theory provides a bottom-up modeling paradigm to capture the strategic interactions among multiple components of the complex system and enables a holistic view to understand and design cyber-physical-human control systems. In this review, we first provide a multi-layer perspective toward increasingly complex and integrated control systems and then introduce several variants of dynamic games for modeling different layers of control systems. We present game-theoretic methods for understanding the fundamental tradeoffs of robustness, security, and resilience and developing a clean-slate cross-layer approach to enhance the system performance in various adversarial environments. This review also includes three quintessential research problems that represent three research directions where dynamic game approaches can bridge between multiple research areas and make significant contributions to the design of modern control systems. The paper is concluded with a discussion on emerging areas of research that crosscut dynamic games and control systems.


title: Independent State and Measurement Characterization for Quantum Computers

abstract: Correctly characterizing state preparation and measurement (SPAM) processes is a necessary step towards building reliable quantum processing units (QPUs). In this work, we discuss the subtleties behind separately measuring SPAM errors. We propose a protocol that can separately estimate SPAM errors, in the case where quantum gates are ideal. In the case where the quantum gates are imperfect, we derive bounds on the estimated SPAM error rates, based on gate error measures which can be estimated independently of SPAM processes. Our method shows that the gauge ambiguity in characterizing SPAM operations can be resolved, by assuming that there exists one qubit whose initial state is uncorrelated with other qubits in a QPU. We test the protocol on a publicly available five-qubit QPU and demonstrate its validity by comparing our results with simulations.


title: On Solving Minimax Optimization Locally: A Follow-the-Ridge Approach

abstract: Many tasks in modern machine learning can be formulated as finding equilibria in \emph{sequential} games. In particular, two-player zero-sum sequential games, also known as minimax optimization, have received growing interest. It is tempting to apply gradient descent to solve minimax optimization given its popularity and success in supervised learning. However, it has been noted that naive application of gradient descent fails to find some local minimax and can converge to non-local-minimax points. In this paper, we propose \emph{Follow-the-Ridge} (FR), a novel algorithm that provably converges to and only converges to local minimax. We show theoretically that the algorithm addresses the notorious rotational behaviour of gradient dynamics, and is compatible with preconditioning and \emph{positive} momentum. Empirically, FR solves toy minimax problems and improves the convergence of GAN training compared to the recent minimax optimization algorithms.


title: Fast general two- and three-body interatomic potential

abstract: We introduce a new class of machine learning interatomic potentials - fast General Two- and Three-body Potential (GTTP), which is as fast as conventional empirical potentials and require computational time that remains constant with increasing fitting flexibility. GTTP does not contain any assumptions about the functional form of two- and three-body interactions. These interactions can be modeled arbitrarily accurately, potentially by thousands of parameters not affecting resulting computational cost. Time complexity is O(1) per every considered pair or triple of atoms. The fitting procedure is reduced to simple linear regression on ab initio calculated energies and forces and leads to effective two- and three-body potential, reproducing quantum many-body interactions as accurately as possible. Our potential can be made continuously differentiable any number of times at the expense of increased computational time. We made a number of performance tests on one-, two- and three-component systems. The flexibility of the introduced approach makes the potential transferable in terms of size and type of atomic systems. We show that trained on randomly generated structures with just 8 atoms in the unit cell, it significantly outperforms common empirical interatomic potentials in the study of large systems, such as grain boundaries in polycrystalline materials.


title: Designing Style Matching Conversational Agents

abstract: Advances in machine intelligence have enabled conversational interfaces that have the potential to radically change the way humans interact with machines. However, even with the progress in the abilities of these agents, there remain critical gaps in their capacity for natural interactions. One limitation is that the agents are often monotonic in behavior and do not adapt to their partner. We built two end-to-end conversational agents: a voice-based agent that can engage in naturalistic, multi-turn dialogue and align with the interlocutor's conversational style, and a 2nd, expressive, embodied conversational agent (ECA) that can recognize human behavior during open-ended conversations and automatically align its responses to the visual and conversational style of the other party. The embodied conversational agent leverages multimodal inputs to produce rich and perceptually valid vocal and facial responses (e.g., lip syncing and expressions) during the conversation. Based on empirical results from a set of user studies, we highlight several significant challenges in building such systems and provide design guidelines for multi-turn dialogue interactions using style adaptation for future research.


title: Search for new physics in light of interparticle potentials and a very heavy dark matter candidate

abstract: It is generally well known that the Standard Model of particle physics is not the ultimate theory of fundamental interactions as it has inumerous unsolved problems, so it must be extended. Deciphering the nature of dark matter remains one of the great challenges of contemporary physics. Supersymmetry is probably the most attractive extension of the SM. In the first part of this thesis we study the interparticle potentials generated by the interactions between spin-1/2 sources that are mediated by spin-1 particles in the limit of low momentum transfer. We investigate different representations of spin-1 particle to see how it modifies the profiles of the interparticle potentials and we also include in our analysis all types of couplings between fermionic currents and the mediator boson. The spin- and velocity-dependent interparticle potentials that we obtain can be used to explain effects possibly associated to new macroscopic forces such as modifications of the inverse-square law and possible spin-gravity coupling effects. The second part of this thesis is based on the dark matter phenomenology of well-motivated $U(1)'$ extensions of the Minimal Supersymmetric Standard Model. In these models the right-handed sneutrino is a good DM candidate whose dark matter properties are in agreement with the present relic density and current experimental limits on the DM-nucleon scattering cross section. In order to see how heavy can the RH sneutrino be as a viable thermal dark matter candidate we explore its DM properties in the parameter region that minimize its relic density via resonance effects and thus allows it to be a heavier DM particle. We found that the RH sneutrino can behave as a good DM particle within minimal cosmology even with masses of the order of tens of TeV, which is much above the masses that viable thermal DM candidates usually have in most of dark matter particle models.


title: Symmetry Breaking and Link Homologies III

abstract: In the first part of this paper, we constructed a filtered U(r)-equivariant stable homotopy type called the spectrum of strict broken symmetries sB(L) of links L given by closing a braid with r strands. We further showed that evaluating this spectrum on suitable U(r)-equivariant cohomology theories gives rise to a spectral sequence of link invariants, converging to the homology of the limiting spectrum. In this followup, we fix a positive integer n and apply a version of an equivariant K-theory known as Dominant K-theory, which is built from level n representations of the loop group of U(r). The E_2-term of the spectral sequence appears to be a deformation of sl(n)-link homology, and has the property that its value on the unlink is the Grothendieck group of level n-representations of the loop group of U(1). Seen in contrast to the standard interpretation of sl(n)-link homology using the fundamental representation of the quantum group U_q(sl(n)), suggests a level-rank duality at play.


title: Adversarial Examples for Models of Code

abstract: Neural models of code have shown impressive results when performing tasks such as predicting method names and identifying certain kinds of bugs. We show that these models are vulnerable to adversarial examples, and introduce a novel approach for attacking trained models of code using adversarial examples. The main idea of our approach is to force a given trained model to make an incorrect prediction, as specified by the adversary, by introducing small perturbations that do not change the program's semantics, thereby creating an adversarial example. To find such perturbations, we present a new technique for Discrete Adversarial Manipulation of Programs (DAMP). DAMP works by deriving the desired prediction with respect to the model's inputs, while holding the model weights constant, and following the gradients to slightly modify the input code. We show that our DAMP attack is effective across three neural architectures: code2vec, GGNN, and GNN-FiLM, in both Java and C#. Our evaluations demonstrate that DAMP has up to 89% success rate in changing a prediction to the adversary's choice (a targeted attack) and a success rate of up to 94% in changing a given prediction to any incorrect prediction (a non-targeted attack). To defend a model against such attacks, we empirically examine a variety of possible defenses and discuss their trade-offs. We show that some of these defenses can dramatically drop the success rate of the attacker, with a minor penalty of 2% relative degradation in accuracy when they are not performing under attack. Our code, data, and trained models are available at https://github.com/tech-srl/adversarial-examples .


title: Right-wing German Hate Speech on Twitter: Analysis and Automatic Detection

abstract: Discussion about the social network Twitter often concerns its role in political discourse, involving the question of when an expression of opinion becomes offensive, immoral, and/or illegal, and how to deal with it. Given the growing amount of offensive communication on the internet, there is a demand for new technology that can automatically detect hate speech, to assist content moderation by humans. This comes with new challenges, such as defining exactly what is free speech and what is illegal in a specific country, and knowing exactly what the linguistic characteristics of hate speech are. To shed light on the German situation, we analyzed over 50,000 right-wing German hate tweets posted between August 2017 and April 2018, at the time of the 2017 German federal elections, using both quantitative and qualitative methods. In this paper, we discuss the results of the analysis and demonstrate how the insights can be employed for the development of automatic detection systems.


title: On foundational aspects of RDF and SPARQL

abstract: We consider the recommendations of the World Wide Web Consortium (W3C) about the Resource Description Framework (RDF) and the associated query language SPARQL. We propose a new formal framework based on category theory which provides clear and concise formal definitions of the main basic features of RDF and SPARQL. We propose to define the notions of RDF graphs as well as SPARQL basic graph patterns as objects of some nested categories. This allows one to clarify, in particular, the role of blank nodes. Furthermore, we consider basic SPARQL CONSTRUCT and SELECT queries and formalize their operational semantics following a novel algebraic graph transformation approach called POIM.


title: Reheating via gravitational particle production in kination epoch

abstract: We provide a detailed study of reheating in the kination regime where particle content is created by gravitational production of massive scalars mutually interacting with a massless scalar field. The produced particles subsequently decay into massless particles eventually reheating the Universe. We aim for a more precise picture using Boltzmann equations and decay rates obtained by methods of quantum field theory in curved spacetime. By numerical calculations it is found that after inflation the Universe ends up being dominated by ordinary matter for a while before the radiation dominated era. The reheating temperature itself is found to be in the $10^6-10^{12}\ \text{GeV}$ regime.


title: End-to-End Cascaded U-Nets with a Localization Network for Kidney Tumor Segmentation

abstract: Kidney tumor segmentation emerges as a new frontier of computer vision in medical imaging. This is partly due to its challenging manual annotation and great medical impact. Within the scope of the Kidney Tumor Segmentation Challenge 2019, that is aiming at combined kidney and tumor segmentation, this work proposes a novel combination of 3D U-Nets---collectively denoted TuNet---utilizing the resulting kidney masks for the consecutive tumor segmentation. The proposed method achieves a S{\o}rensen-Dice coefficient score of 0.902 for the kidney, and 0.408 for the tumor segmentation, computed from a five-fold cross-validation on the 210 patients available in the data.


title: Cutting massless four-loop propagators

abstract: Among the unitarity cuts of 4-loop massless propagators two kinds are currently fully known: the 2-particle cuts with 3 loops corresponding to form-factors, and the 5-particle phase-space integrals. In this paper we calculate master integrals for the remaining ones: 3-particle cuts with 2 loops, and 4-particle cuts with 1 loop. The 4-particle cuts are calculated by solving dimensional recurrence relations. The 3-particle cuts are integrated directly using 1->3 amplitudes with 2 loops, which we also re-derive here up to transcendentality weight 7. The results are verified both numerically, and by showing consistency with previously known integrals using Cutkosky rules. We provide the analytic results in the space-time dimension 4-2{\epsilon} as series in {\epsilon} with coefficients being multiple zeta values up to weight 12. In the ancillary files we also provide dimensional recurrence matrices and SummerTime files suitable for numerical evaluation of the series in arbitrary dimensions with any precision.


title: A Hubble PanCET Study of HAT-P-11b: A Cloudy Neptune with a Low Atmospheric Metallicity

abstract: We present the first comprehensive look at the $0.35-5$ $\mu$m transmission spectrum of the warm ($\sim 800$ K) Neptune HAT-P-11b derived from thirteen individual transits observed using the Hubble and Spitzer Space Telescopes. Along with the previously published molecular absorption feature in the $1.1-1.7$ $\mu$m bandpass, we detect a distinct absorption feature at 1.15 $\mu$m and a weak feature at 0.95 $\mu$m, indicating the presence of water and/or methane with a combined significance of 4.4 $\sigma$. We find that this planet's nearly flat optical transmission spectrum and attenuated near-infrared molecular absorption features are best-matched by models incorporating a high-altitude cloud layer. Atmospheric retrievals using the combined $0.35-1.7$ $\mu$m HST transmission spectrum yield strong constraints on atmospheric cloud-top pressure and metallicity, but we are unable to match the relatively shallow Spitzer transit depths without under-predicting the strength of the near-infrared molecular absorption bands. HAT-P-11b's HST transmission spectrum is well-matched by predictions from our microphysical cloud models. Both forward models and retrievals indicate that HAT-P-11b most likely has a relatively low atmospheric metallicity ($<4.6 \; Z_{\odot}$ and $<86 \; Z_{\odot}$ at the $2 \sigma$ and $3 \sigma$ levels respectively), in contrast to the expected trend based on the solar system planets. Our work also demonstrates that the wide wavelength coverage provided by the addition of the HST STIS data is critical for making these inferences.


title: An ALMA survey of the SCUBA-2 CLS UDS field: Physical properties of 707 Sub-millimetre Galaxies

abstract: We analyse the physical properties of a large, homogeneously selected sample of ALMA-located sub-mm galaxies (SMGs). This survey, AS2UDS, identified 707 SMGs across the ~1 sq.deg. field, including ~17 per cent, which are undetected at $K$>~25.7 mag. We interpret their ultraviolet-to-radio data using MAGPHYS and determine a median redshift of z=2.61+-0.08 (1$\sigma$ range of z=1.8-3.4) with just ~6 per cent at z>4. Our survey provides a sample of massive dusty galaxies at z>~1, with median dust and stellar masses of $M_d$=(6.8+-0.3)x10$^{8}$M$_\odot$ (thus, gas masses of ~10$^{11}$M$_\odot$) and $M_\ast=$(1.26+-0.05)x10$^{11}$M$_\odot$. We find no evolution in dust temperature at a constant far-infrared luminosity across z~1.5-4. The gas mass function of our sample increases to z~2-3 and then declines at z>3. The space density and masses of SMGs suggest that almost all galaxies with $M_\ast$>~3x10$^{11}$M$_\odot$ have passed through an SMG-like phase. The redshift distribution is well fit by a model combining evolution of the gas fraction in halos with the growth of halo mass past a threshold of $M_h$~6x10$^{12}$M$_\odot$, thus SMGs may represent the highly efficient collapse of gas-rich massive halos. We show that SMGs are broadly consistent with simple homologous systems in the far-infrared, consistent with a centrally illuminated starburst. Our study provides strong support for an evolutionary link between the active, gas-rich SMG population at z>1 and the formation of massive, bulge-dominated galaxies across the history of the Universe.


title: Minimal Warm Inflation

abstract: Slow-roll inflation is a successful paradigm. However we find that even a small coupling of the inflaton to other light fields can dramatically alter the dynamics and predictions of inflation. As an example, the inflaton can generically have an axion-like coupling to gauge bosons. Even relatively small couplings will automatically induce a thermal bath during inflation. The thermal friction from this bath can easily be stronger than Hubble friction, significantly altering the usual predictions of any particular inflaton potential. Thermal effects suppress the tensor-to-scalar ratio $r$ significantly, and predict unique non-gaussianities. This axion-like coupling provides a minimal model of warm inflation which avoids the usual problem of thermal backreaction on the inflaton potential. As a specific example, we find that hybrid inflation with this axion-like coupling can easily fit the current cosmological data.


title: Cross-correlation of the thermal Sunyaev-Zel'dovich effect and weak gravitational lensing: Planck and Subaru Hyper Suprime-Cam first-year data

abstract: Cross-correlation analysis of the thermal Sunyaev-Zel'dovich (tSZ) effect and weak gravitational lensing (WL) provides a powerful probe of cosmology and astrophysics of the intra-cluster medium. We present the measurement of the cross-correlation of tSZ and WL from Planck and Subaru Hyper-Suprime Cam. The combination enables us to study cluster astrophysics at high redshift. We use the tSZ-WL cross-correlation and the tSZ auto-power spectrum measurements to place a tight constraint on the hydrostatic mass bias, which is a measure of the degree of non-thermal pressure support in galaxy clusters. With the prior on cosmological parameters derived from the analysis of the cosmic microwave background anisotropies by Planck and taking into account foreground contributions both in the tSZ auto-power spectrum and the tSZ-WL cross-correlation, the hydrostatic mass bias is estimated to be $26.9^{+8.9}_{-4.4} \%$ ($68\%$ C.L.), which is consistent with recent measurements by mass calibration techniques.


title: Transit Signatures of Inhomogeneous Clouds on Hot Jupiters: Insights From Microphysical Cloud Modeling

abstract: We determine the observability in transmission of inhomogeneous cloud cover on the limbs of hot Jupiters through post processing a general circulation model to include cloud distributions computed using a cloud microphysics model. We find that both the east and west limb often form clouds, but that the different properties of these clouds enhances the limb to limb differences compared to the clear case. Using JWST it should be possible to detect the presence of cloud inhomogeneities by comparing the shape of the transit lightcurve at multiple wavelengths because inhomogeneous clouds impart a characteristic, wavelength dependent signature. This method is statistically robust even with limited wavelength coverage, uncertainty on limb darkening coefficients, and imprecise transit times. We predict that the short wavelength slope varies strongly with temperature. The hot limb of the hottest planets form higher altitude clouds composed of smaller particles leading to a strong rayleigh slope. The near infrared spectral features of clouds are almost always detectable, even when no spectral slope is visible in the optical. In some of our models a spectral window between 5 and 9 microns can be used to probe through the clouds and detect chemical spectral features. Our cloud particle size distributions are not log-normal and differ from species to species. Using the area or mass weighted particle size significantly alters the relative strength of the cloud spectral features compared to using the predicted size distribution. Finally, the cloud content of a given planet is sensitive to a species' desorption energy and contact angle, two parameters that could be constrained experimentally in the future.


title: Turbulence-Level Dependence of Cosmic-Ray Parallel Diffusion

abstract: Understanding the transport of energetic cosmic rays belongs to the most challenging topics in astrophysics. Diffusion due to scattering by electromagnetic fluctuations is a key process in cosmic-ray transport. The transition from a ballistic to a diffusive-propagation regime is presented in direct numerical calculations of diffusion coefficients for homogeneous magnetic field lines subject to turbulent perturbations. Simulation results are compared with theoretical derivations of the parallel diffusion coefficient's dependencies on the energy and the fluctuation amplitudes in the limit of weak turbulence. The present study shows that the widely-used extrapolation of the energy scaling for the parallel diffusion coefficient to high turbulence levels predicted by quasi-linear theory does not provide a universally accurate description in the resonant-scattering regime. It is highlighted here that the numerically calculated diffusion coefficients can be polluted for low energies due to missing resonant interaction possibilities of the particles with the turbulence. Five reduced-rigidity regimes are established, which are separated by analytical boundaries derived in the present work. Consequently, a proper description of cosmic-ray propagation can only be achieved by using a turbulence-level-dependent diffusion coefficient and can contribute to solving the Galactic cosmic-ray gradient problem.


title: A Tip of the Red Giant Branch Distance to the Dark Matter Deficient Galaxy NGC1052-DF4 from Deep Hubble Space Telescope Data

abstract: Previous studies have shown that the large, diffuse galaxies NGC1052-DF2 and NGC1052-DF4 both have populations of unusually luminous globular clusters as well as a very low dark matter content. Here we present newly-obtained deep Hubble Space Telescope (HST) Advanced Camera for Surveys (ACS) imaging of one of these galaxies, NGC1052-DF4. We use these data to measure the distance of the galaxy from the location of the tip of the red giant branch (TRGB). We find a rapid increase in the number of detected stars fainter than $m_{F814W} \sim 27.3$, which we identify as the onset of the red giant branch. Using a forward modeling approach that takes the photometric uncertainties into account, we find a TRGB magnitude of $m_{F814W,\rm TRGB}=27.47 \pm 0.16$. The inferred distance, including the uncertainty in the absolute calibration, is $D_{\rm TRGB}=20.0 \pm 1.6$ Mpc. The TRGB distance of NGC1052-DF4 is consistent with the previously-determined surface brightness fluctuation distance of $D_{\rm SBF}=18.7\pm 1.7$ Mpc to NGC1052-DF2 and is consistent with the distance of the bright elliptical galaxy NGC1052. We conclude that the unusual properties of these galaxies cannot be explained by distance errors.


title: $T$-linear resistivity in models with local self-energy

abstract: A theoretical understanding of the enigmatic linear-in-temperature ($T$) resistivity, ubiquitous in strongly correlated metallic systems, has been a long sought-after goal. Furthermore, the slope of this robust $T$-linear resistivity is also observed to stay constant through crossovers between different temperature regimes: a phenomenon we dub "slope invariance". Recently, several solvable models with $T$-linear resistivity have been proposed, putting us in an opportune moment to compare their inner workings in various explicit calculations. We consider two strongly correlated models with local self-energies that demonstrate $T$-linearity: a lattice of coupled Sachdev-Ye-Kitaev (SYK) models and the Hubbard model in single-site dynamical mean-field theory (DMFT). We find that the two models achieve $T$-linearity through distinct mechanisms at intermediate temperatures. However, we also find that these mechanisms converge to an identical form at high temperatures. Surprisingly, both models exhibit "slope invariance" across the two temperature regimes. We thus not only reveal some of the diversity in the theoretical inner workings that can lead to $T$-linear resistivity, but we also establish that different mechanisms can result in "slope invarance".


title: Electronic band gaps from Quantum Monte Carlo methods

abstract: We develop a method for calculating the fundamental electronic gap of semiconductors and insulators using grand canonical Quantum Monte Carlo simulations. We discuss the origin of the bias introduced by supercell calculations of finite size and show how to correct the leading and subleading finite size errors either based on observables accessible in the finite-sized simulations or from DFT calculations. Our procedure is applied to solid molecular hydrogen and compared to experiment for carbon and silicon crystals.


title: Normal type Ia supernovae from disruptions of hybrid He-CO white-dwarfs by CO white-dwarfs

abstract: Type Ia supernovae (SNe) are thought to originate from the thermonuclear explosions of carbon-oxygen (CO) white dwarfs (WDs). The proposed progenitors of standard type Ia SNe have been studied for decades and can be, generally, divided into explosions of CO WDs accreting material from stellar non-degenerate companions (single-degenerate; SD models), and those arising from the explosive interaction of two CO WDs (double-degenerate; DD models). However, current models for the progenitors of such SNe fail to reproduce the diverse properties of the observed explosions, nor do they explain the inferred rates and the characteristics of the observed populations of type Ia SNe and their expected progenitors. Here we show that the little-studied mergers of CO-WDs with hybrid Helium-CO (He-CO) WDs can provide for a significant fraction of the normal type Ia SNe. Here we use detailed thermonuclear-hydrodynamical and radiative-transfer models to show that a wide range of mergers of CO WDs with hybrid He-CO WDs can give rise to normal type Ia SNe. We find that such He-enriched mergers give rise to explosions for which the synthetic light-curves and spectra resemble those of observed type Ia SNe, and in particular, they can produce a wide range of peak-luminosities, MB(MR)~ 18.4 to 19.2 (~ 18.5 to 19:45), consistent with those observed for normal type Ia SNe. Moreover, our population synthesis models show that, together with the contribution from mergers of massive double CO-WDs (producing the more luminous SNe), they can potentially reproduce the full range of type Ia SNe, their rate and delay-time distribution.


title: Exotic Lepton-Flavor Violating Higgs Decays

abstract: Exotic Higgs decays are promising channels to discover new physics in the near future. We present a simple model with a new light scalar that couples to the Standard Model through a charged lepton-flavor violating interaction. This can yield exciting new signatures, such as $h \to e^+ e^+ \mu^-\mu^-$, that currently have no dedicated searches at the Large Hadron Collider. We discuss this model in detail, assess sensitivity from flavor constraints, explore current constraints from existing multi-lepton searches, and construct a new search strategy to optimally target these exotic, lepton-flavor violating Higgs decays.


title: Junction conditions in scalar-tensor theories

abstract: We analyze junction conditions at a null or non-null hypersurface $\Sigma$ in a large class of scalar-tensor theories in arbitrary $n(\ge 3)$ dimensions. After showing that the metric and a scalar field must be continuous at $\Sigma$ as the first junction conditions, we derive the second junctions conditions from the Einstein equations and the equation of motion for the scalar field. Subsequently, we study $C^1$ regular matching conditions as well as vacuum conditions at $\Sigma$ both in the Jordan and Einstein frames. Our result suggests that the following configurations may be possible; (i) a vacuum thin-shell at null $\Sigma$ in the Einstein frame, (ii) a vacuum thin-shell at null and non-null $\Sigma$ in the Jordan frame, and (iii) a non-vacuum $C^1$ regular matching at null $\Sigma$ in the Jordan frame. Lastly, we clarify the relations between the conditions for $C^1$ regularity and also for vacuum $\Sigma$ in the Jordan and Einstein frames.


title: The Quantum Origins of Non-Topological Vortices

abstract: We review some unusual facts about the theory of non-relativistic anyons in 2+1 dimensions, and use it as a laboratory to explore how interesting features of non-relativistic field theory correspond to those of many-body quantum mechanics. In particular, we offer an explanation of how Jackiw-Pi vortices arise as the classical limit of certain many-body states in the quantum mechanical theory. Along the way, we make various interesting observations about universal features of the spectrum of anyons subject to different amounts of tuning.


title: The dark matter component of the Gaia radially anisotropic substructure

abstract: We study the properties of the dark matter component of the radially anisotropic stellar population recently identified in the Gaia data, using magneto-hydrodynamical simulations of Milky Way-like halos from the Auriga project. We identify 10 simulated galaxies that approximately match the rotation curve and stellar mass of the Milky Way. Four of these have an anisotropic stellar population reminiscent of the Gaia structure. We find an anti-correlation between the dark matter mass fraction of this population in the Solar neighbourhood and its orbital anisotropy. We estimate the local dark matter density and velocity distribution for halos with and without the anisotropic stellar population, and use them to simulate the signals expected in future xenon and germanium direct detection experiments. We find that a generalized Maxwellian distribution fits the dark matter halo integrals of the Milky Way-like halos containing the radially anisotropic stellar population. For dark matter particle masses below approximately 10 GeV, direct detection exclusion limits for the simulated halos with the anisotropic stellar population show a mild shift towards smaller masses compared to the commonly adopted Standard Halo Model.


title: Analytical calculation of the numerical results of Khatami and Kasen for transient peak time and luminosity

abstract: The diffusion approximation is often used to study supernovae light-curves around peak light, where it is applicable. By analytic arguments and numerical studies of toy models, Khatami & Kasen (2019) recently argued for a new approximate relation between peak bolometric Luminosity, $L_p$, and the time of peak since explosion, $t_p$, for transients involving homologous expansion: $L_p=2/(\beta t_p)^2\int_0 ^{\beta t_{p}} t'Q(t')dt'$, where $Q(t)$ is the heating rate of the ejecta, and $\beta$ is an order unity parameter that is calibrated from numerical calculations. Khatami & Kasen (2019) demonstrated its validity using Monte-Carlo radiation transfer simulations of ejecta with homogenous density and (for most cases considered) constant opacity. Interestingly, constant values of $\beta$ accurately reproduce the numerical calculations for different heating distributions and over a wide range of energy release times. Here we show that the diffusion and the adiabatic loss of energy in homologous expansion is equivalent to a static diffusion equation and provide an analytic solution for the case of uniform density and opacity (extending the results of Pinto & Eastman 2000). Our accurate analytical solutions reproduce and extend the results of Khatami & Kasen (2019) for this case, allowing clarification for the universality of their peak time-luminosity relation as well as new limitations to its use.


title: Dynamical Relics of the Ancient Galactic Halo

abstract: We search for dynamical substructures in the LAMOST DR3 very metal-poor (VMP) star catalog. After cross-matching with Gaia DR2, there are 3300 VMP stars with available high-quality astrometric information that have halo-like kinematics. We apply a method based on self-organizing maps to find groups clustered in the 4D space of orbital energy and angular momentum. We identify 57 dynamically tagged groups, which we label DTG-1 to DTG-57. Most of them belong to existing substructures in the nearby halo, such as the $Gaia$ Sausage or Sequoia. The stream identified by Helmi et al. is recovered, but the two disjoint portions of the substructure have distinct dynamical properties. The very retrograde substructure Rg5 found previously by Myeong et al. is also retrieved. We report 6 new DTGs with highly retrograde orbits, 2 with very prograde orbits, and 12 with polar orbits. By mapping other datasets (APOGEE halo stars, and catalogs of r-process-enhanced and CEMP stars) onto the trained neuron map, we can associate stars with detailed chemical abundances to the DTGs, and look for associations with chemically peculiar stars. The highly eccentric $Gaia$ Sausage groups contain representatives both of debris from the satellite itself (which is $\alpha$-poor) and the Splashed Disk, sent up into eccentric halo orbits from the encounter (and is $\alpha$-rich). The new prograde substructures also appear to be associated with the Splashed Disk. The DTGs belonging to the $Gaia$ Sausage host two relatively metal-rich $r$-II stars and six CEMP stars in different sub-classes, consistent with the idea that the $Gaia$ Sausage progenitor is a massive dwarf galaxy. Rg5 is dynamically associated with two highly $r$-process-enhanced stars with [Fe/H] $\sim -$3. This finding indicates that its progenitor might be an ultra-faint dwarf galaxy that has experienced $r$-process enrichment from neutron star mergers.


title: Higher-order and fractional discrete time crystals in clean long-range interacting systems

abstract: Discrete time crystals are periodically driven systems characterized by a response with periodicity $nT$, with $T$ the period of the drive and $n>1$. Typically, $n$ is an integer and bounded from above by the dimension of the local (or single particle) Hilbert space, the most prominent example being spin-$1/2$ systems with $n$ restricted to $2$. Here we show that a clean spin-$1/2$ system in the presence of long-range interactions and transverse field can sustain a huge variety of different `higher-order' discrete time crystals with integer and, surprisingly, even fractional $n > 2$. We characterize these (arguably prethermal) non-equilibrium phases of matter thoroughly using a combination of exact diagonalization, semiclassical methods, and spin-wave approximations, which enable us to establish their stability in the presence of competing long- and short-range interactions. Remarkably, these phases emerge in a model with continous driving and time-independent interactions, convenient for experimental implementations with ultracold atoms or trapped ions.

categories: cond-mat.other cond-mat.dis-nn cond-mat.quant-gas cond-mat.str-el quant-ph


title: Phase diagram and dynamics of the SU($\boldsymbol N$) symmetric Kondo lattice model

abstract: In heavy-fermion systems, the competition between the local Kondo physics and intersite magnetic fluctuations results in unconventional quantum critical phenomena which are frequently addressed within the Kondo lattice model (KLM). Here we study this interplay in the SU($N$) symmetric generalization of the two-dimensional half-filled KLM by quantum Monte Carlo simulations with $N$ up to 8. While the long-range antiferromagnetic (AF) order in SU($N$) quantum spin systems typically gives way to spin-singlet ground states with spontaneously broken lattice symmetry, we find that the SU($N$) KLM is unique in that for each finite $N$ its ground-state phase diagram hosts only two phases -- AF order and the Kondo-screened phase. The absence of any intermediate phase between the $N=2$ and large-$N$ cases establishes adiabatic correspondence between both limits and confirms that the large-$N$ theory is a correct saddle point of the KLM fermionic path integral and a good starting point to include quantum fluctuations. In addition, we determine the evolution of the single-particle gap, quasiparticle residue of the doped hole at momentum $(\pi,\pi)$, and spin gap across the magnetic order-disorder transition. Our results indicate that increasing $N$ modifies the behavior of the coherence temperature: while it evolves smoothly across the magnetic transition at $N=2$ it develops an abrupt jump -- of up to an order of magnitude -- at larger but finite $N$. We discuss the magnetic order-disorder transition from a quantum-field-theoretic perspective and comment on implications of our findings for the interpretation of experiments on quantum critical heavy-fermion compounds.


title: Testing Galaxy Formation Simulations with Damped Lyman-${\alpha}$ Abundance and Metallicity Evolution

abstract: We examine the properties of damped Lyman-$\alpha$ absorbers (DLAs) emerging from a single set of cosmological initial conditions in two state-of-the-art cosmological hydrodynamic simulations: {\sc Simba} and {\sc Technicolor Dawn}. The former includes star formation and black hole feedback treatments that yield a good match with low-redshift galaxy properties, while the latter uses multi-frequency radiative transfer to model an inhomogeneous ultraviolet background (UVB) self-consistently and is calibrated to match the Thomson scattering optical depth, UVB amplitude, and Ly-$\alpha$ forest mean transmission at $z>5$. Both simulations are in reasonable agreement with the measured stellar mass and star formation rate functions at $z\geq 3$, and both reproduce the observed neutral hydrogen cosmological mass density, $\Omega_{\rm HI}(z)$. However, the DLA abundance and metallicity distribution are sensitive to the galactic outflows' feedback and the UVB amplitude. Adopting a strong UVB and/or slow outflows under-produces the observed DLA abundance, but yields broad agreement with the observed DLA metallicity distribution. By contrast, faster outflows eject metals to larger distances, yielding more metal-rich DLAs whose observational selection may be more sensitive to dust bias. The DLA metallicity distribution in models adopting an ${\rm H}_2$-regulated star formation recipe includes a tail extending to $[M/H] \ll -3$, lower than any DLA observed to date, owing to curtailed star formation in low-metallicity galaxies. Our results show that DLA observations play an imporant role in constraining key physical ingredients in galaxy formation models, complementing traditional ensemble statistics such as the stellar mass and star formation rate functions.


title: Experimental realization of an intrinsically error-protected superconducting qubit

abstract: Encoding a qubit in logical quantum states with wavefunctions characterized by disjoint support and robust energies can offer simultaneous protection against relaxation and pure dephasing. Using a circuit-quantum-electrodynamics architecture, we experimentally realize a superconducting $0-\pi$ qubit, which hosts protected states suitable for quantum-information processing. Multi-tone spectroscopy measurements reveal the energy level structure of the system, which can be precisely described by a simple two-mode Hamiltonian. We find that the parity symmetry of the qubit results in charge-insensitive levels connecting the protected states, allowing for logical operations. The measured relaxation (1.6 ms) and dephasing times (25 $\mu$s) demonstrate that our implementation of the $0-\pi$ circuit not only broadens the family of superconducting qubits, but also represents a promising candidate for the building block of a fault-tolerant quantum processor.


title: Modeling magnetic evolution and exchange hardening in disordered magnets: The example of Mn$_{1-x}$Fe$_x$Ru$_2$Sn Heusler alloys

abstract: We demonstrate how exchange hardening can arise in a chemically-disordered solid solution from a first-principles statistical mechanics approach. A general mixed-basis chemical and magnetic cluster expansion has been developed, and applied to the Mn$_{1-x}$Fe$_x$Ru$_2$Sn Heusler alloy system; single-phase solid solutions between antiferromagnetic \ch{MnRu2Sn} and ferromagnetic \ch{FeRu2Sn} with disorder on the Mn/Fe sublattice that exhibit unexpected exchange hardening. Monte Carlo simulations applied to the cluster expansion are able to reproduce the experimentally measured magnetic transition temperatures and the bulk magnetization as a function of composition. The magnetic ordering around a site is shown to be dependent not only on bulk composition, but also on the identity of the site and the local composition around that site. The simulations predict that local antiferromagnetic orderings form inside a bulk ferromagnetic region at intermediate compositions that drives the exchange hardening. Furthermore, the antiferromagnetic regions disorder at a lower temperature than the ferromagnetic regions, providing an atomistic explanation for the experimentally-observed decrease in exchange hardening with increasing temperature. These effects occur on a length scale too small to be resolved with previously-used characterization techniques.


title: Massive and old quiescent galaxies at high redshift

abstract: Massive quiescent galaxies at high redshift can shed light on the processes of galaxy mass assembly and quenching of the star formation at early epochs. We present observer-frame color-color diagrams designed to identify candidate quiescent galaxies from z=2.5 up to the highest redshifts, that can be then be selected for spectroscopic follow-up observations. The application to the COSMOS2015 catalog shows that, after refining the selection with SED fitting, the number of massive old quiescent galaxies exceeds the forecast of state-of-the-art semi-analytic models, pointing out the need of an improvement of the implemented quenching mechanisms at high redshifts.


title: Finite-temperature topological entanglement entropy for CSS codes

abstract: We consider topological entanglement entropy (TEE) at finite temperature for CSS codes, which include some ordinary topological-ordered systems such as the toric code and some fracton models such as the Haah's code and the X-cube model. We find, under the assumption that there is no extended critical phase, the finite-temperature TEE is a piecewise constant function of the temperature, with possible discontinuities only at phase transitions. We then consider phase transitions of CSS codes. We claim that there must exist a phase transition at zero temperature for any CSS codes in 2D and 3D with topological order. This statement can be rigorous proved for some familiar examples, while for general models it can be argued based on the low-temperature expansion. This indicates the break down of topological orders at finite temperature. We also discuss possible connections with self-correcting quantum memory.


title: A more attractive scheme for radion stabilization and supercooled phase transition

abstract: We propose a new radion stabilization mechanism in the Randall-Sundrum spacetime, introducing a bulk ${SU(N_H)}$ gauge field which confines at a TeV scale. It turns out that the radion is stabilized by the balance between a brane tension and a pressure due to the Casimir energy of the strong ${SU(N_H)}$ gauge field. We investigate the phase transition between the Randall-Sundrum (compactified) spacetime and a de-compactified spacetime and determine the parameter regime in which eternal (old) inflation is avoided and the phase transition can be completed. In comparison to the Goldberger-Wise mechanism, the 5D Planck mass can be larger than the AdS curvature and a classical description of the gravity is reliable in our stabilization mechanism. We also discuss the effect of the phase transition in cosmology such as an entropy dilution and a production of gravitational waves.


title: The Pristine survey -- VII. A cleaner view of the Galactic outer halo using blue horizontal branch stars

abstract: We use the Pristine survey CaHK narrow-band photometry, combined with the SDSS ugr photometry, to provide a cleaner sample of blue horizontal branch stars in the Galactic halo out to large distances. We demonstrate a completeness of 91% and a purity of 93% with respect to available spectroscopic classifications. We subsequently use our new clean sample of these standard candles to investigate the substructure in the Galactic halo over the Pristine footprint. Among other features, this allows for a careful tracing of multiple parts of the Sagittarius stream, providing a measurement independent from other tracers used and reaching larger distances. Moreover, we demonstrate with this clean and complete sample that the halo follows a density profile with a negative power-law slope of 3.5 - 4.0. As the relatively shallow SDSS u-band is the limiting factor in this technique, we foresee large potential for combining Pristine survey photometry with the much deeper u-band photometry from the Canada-France-Imaging Survey.


title: Single-step implementation of high fidelity $n$-bit Toffoli gate

abstract: The family of $n$-bit Toffoli gates, with the two-bit Toffoli gate as the figurehead, are of great interest in quantum information as they can be used as universal gates and in quantum error correction, among other things. We present a single-step implementation of arbitrary $n$-bit Toffoli gates (up to a local change of basis), based on resonantly driving a single qubit that has a strong Ising coupling to $n$ other qubits. The setup in the two-qubit case turns out to be identical to the universal Barenco gate. The gate time and error are, in theory, independent of the number of control qubits, scaling better than conventional circuit decompositions. We note that our assumptions, namely strongly coupling $n+1$ qubits and a driving frequency that scales with $n$, may break down for large systems. Still, our protocol could enhance the capabilities of intermediate scale quantum computers, and we discuss the prospects of implementing our protocol on trapped ions, Rydberg atoms, and on superconducting circuits. Simulations of the latter platform show that the Toffoli gate with two control bits attains fidelities of above 0.98 even in the presence of decoherence. We also show how similar ideas can be used to make a series of controlled-\textsc{not}-gates in a single step. We show how these can speed up the implementation of quantum error correcting codes and we simulate the encoding steps of the three-qubit bit-flip code and the seven-qubit Steane code.


title: Anomaly Inflow, Accidental Symmetry, and Spontaneous Symmetry Breaking

abstract: We consider the 6d (1,0) SCFT on a stack of $N$ M5-branes probing a $\mathbb C^2/\mathbb Z_2$ singularity. In particular, we study its compactifications to four dimensions on a smooth genus-$g$ Riemann surface with non-trivial flavor flux, yielding a family of 4d CFTs. By tracking the M-theory origin of the global symmetries of the 4d CFTs, we detect the emergence of an accidental symmetry and the spontaneous symmetry breaking of a $U(1)$ generator. These effects are visible from geometric considerations and not apparent from the point of view of the compactification of the 6d field theory. These phenomena leave an imprint on the 't Hooft anomaly polynomial of the 4d CFTs, which is obtained from recently developed anomaly inflow methods in M-theory. In the large-$N$ limit, we identify the gravity dual of the 4d setups to be a class of smooth $AdS_5$ solutions first discussed by Gauntlett-Martelli-Sparks-Waldram. Using our anomaly polynomial, we compute the conformal central charge and a non-Abelian flavor central charge at large $N$, finding agreement with the holographic predictions.


title: Impact of X-rays on CO emission from high-z galaxies

abstract: We study the impact of active galactic nuclei (AGN) on the CO Spectral Line Energy Distribution (SLED) of high-$z$ galaxies. In particular, we want to assess if the CO SLED can be used as a probe of AGN activity. To this purpose, we develop a semi-analytical model that takes into account the radiative transfer and the clumpy structure of giant molecular clouds where the CO lines are excited, their distribution in the galaxy disk, and the torus obscuration of the AGN radiation. We study the joint effect on the CO SLED excitation of (i) the X-ray luminosity from the AGN ($L_{X}$), (ii) the size of the molecular disk, (iii) the inclination angle ($\Omega$) of the torus with respect to the molecular disk, and (iv) the GMC mean density. We also discuss the possibility of an enhanced Cosmic Ray Ionization Rate (CRIR). We find that the X-ray Dominated Region (XDR) generated by the AGN in every case enhances the CO SLED for $J>5$, with increasing excitation of high-$J$ CO lines for increasing X-ray luminosity. Because high-$z$ galaxies are compact, the XDR region typically encloses the whole disk, thus its effect can be more important with respect to lower redshift objects. The impact of the XDR can be disentangled from an enhanced CRIR either if $L_X>10^{44} \rm \,erg\, s^{-1}$, or if $\Omega \geq 60^{\circ}$. We finally provide predictions on the CO(7-6)/[CII] and CO(17-16)/[CII] ratios as a function of $L_X$, which can be relevant for ALMA follow up of galaxies and quasars previously detected in [CII].


title: $q$-Analogues of Dwork-type supercongruences

abstract: In 1997, Van Hamme conjectured 13 Ramanujan-type supercongruences. All of the 13 supercongruences have been confirmed by using a wide range of methods. In 2015, Swisher conjectured Dwork-type supercongruences related to the first 12 supercongruences of Van Hamme. Here we prove that the (C.3) and (J.3) supercongruences of Swisher are true modulo $p^{3r}$ (the original modulus is $p^{4r}$) by establishing $q$-analogues of them. Our proof will use the creative microscoping method, recently introduced by the author in collaboration with Zudilin. We also raise conjectures on $q$-analogues of an equivalent form of the (M.2) supercongruence of Van Hamme, partially answering a question at the end of [Adv. Math. 346 (2019), 329--358].


title: Two-loop thermal spectral functions with general kinematics

abstract: Spectral functions at finite temperature and two-loop order are investigated, for a medium consisting of massless particles. We consider them in the timelike and spacelike domains, allowing the propagating particles to be any valid combination of bosons and fermions. Divergences (if present) are analytically derived and set aside for the remaining finite part to be calculated numerically. To illustrate the utility of these 'master' functions, we consider transverse and longitudinal parts of the QCD vector channel spectral function.


title: The void halo mass function: a promising probe of neutrino mass

abstract: Cosmic voids, the underdense regions in the universe, are particularly sensitive to diffuse density components such as cosmic neutrinos. This sensitivity is enhanced by the match between void sizes and the free-streaming scale of massive neutrinos. Using the massive neutrino simulations \texttt{MassiveNuS}, we investigate the effect of neutrino mass on dark matter halos as a function of environment. We find that the halo mass function depends strongly on neutrino mass and that this dependence is more pronounced in voids than in high-density environments. An observational program that measured the characteristic mass of the most massive halos in voids should be able to place novel constraints on the sum of the masses of neutrinos $\sum m_\nu$. The neutrino mass effect in the simulations is quite strong: In a 512$^3$ $h^{-3}$ Mpc$^3$ survey, the mean mass of the 1000 most massive halos in the void interiors is $(4.82 \pm 0.11) \times 10^{12} h^{-1}M_{\odot}$ for $\sum m_\nu = 0.6$ eV and $(8.21 \pm 0.13) \times 10^{12} h^{-1}M_{\odot}$ for $\sum m_\nu = 0.1$ eV. Subaru (SuMIRe), Euclid and WFIRST will have both spectroscopic and weak lensing surveys. Covering volumes at least 50 times larger than our simulations, they should be sensitive probes of neutrino mass through void substructure.


title: Pseudosmooth Tribrid Inflation in $SU(5)$

abstract: A realistic tribrid model of sneutrino inflation is constructed in an $R$-symmetric $SU(5)$ grand unified theory (GUT). To avoid the monopole problem, a pseudosmooth inflationary trajectory is generated with the help of an additional $Z_5$ symmetry which is broken during and after inflation. The predictions of inflationary parameters are made at the central value of the scalar spectral index, $n_s =0.968$. The largest possible value of the tensor to scalar ratio, $r\lesssim 0.0027$, is obtained with sub-Planckian field values ($\lesssim m_P$). A successful realization of reheating and leptogenesis is achieved by avoiding the gravitino problem with a reheat temperature as low as $10^6$ GeV. The predicted range of the gauge symmetry breaking scale, $ 5 \times 10^{16} \lesssim M/\text{GeV} \lesssim 5 \times 10^{17}$, turns out to be somewhat larger than the typical GUT scale. With additional vector-like families, a successful gauge coupling unification is achieved by avoiding the no-go theorem related to $R$-symmetric $SU(5)$ GUT.


title: Wasserstein stability estimates for covariance-preconditioned Fokker-Planck equations

abstract: We study the convergence to equilibrium of the mean field PDE associated with the derivative-free methodologies for solving inverse problems. We show stability estimates in the euclidean Wasserstein distance for the mean field PDE by using optimal transport arguments. As a consequence, this recovers the known convergence towards equilibrium estimates in the case of a linear forward model.


title: Direct collapse to supermassive black hole seeds: the critical conditions for suppression of $\rm H_2$ cooling

abstract: Observations of high-redshift quasars imply the presence of supermassive black holes already at z~ 7.5. An appealing and promising pathway to their formation is the direct collapse scenario of a primordial gas in atomic-cooling haloes at z ~ 10 - 20, when the $\rm H_2$ formation is inhibited by a strong background radiation field, whose intensity exceeds a critical value, $J_{\rm crit}$. To estimate $J_{\rm crit}$, typically, studies have assumed idealized spectra, with a fixed ratio of $\rm H_{2}$ photo-dissociation rate $k_{\rm H_2}$ to the $\rm H^-$ photo-detachment rate $k_{\rm H^-}$. This assumption, however, could be too narrow in scope as the nature of the background radiation field is not known precisely. In this work we argue that the critical condition for suppressing the $\rm H_2$ cooling in the collapsing gas could be described in a more general way by a combination of $k_{\rm H_2}$ and $k_{\rm H^-}$ parameters. By performing a series of cosmological zoom-in simulations with an encompassing set of $k_{\rm H_2}$ and $k_{\rm H^-}$, we examine the gas flow by following evolution of basic parameters of the accretion flow. We test under what conditions the gas evolution is dominated by $\rm H_{2}$ and/or atomic cooling. We confirm the existence of a critical curve in the $k_{\rm H_2}-k_{\rm H^-}$ plane, and provide an analytical fit to it. This curve depends on the conditions in the direct collapse, and reveals domains where the atomic cooling dominates over the molecular cooling. Furthermore, we have considered the effect of $\rm H_{2}$ self-shielding on the critical curve, by adopting three methods for the effective column density approximation in $\rm H_{2}$. We find that the estimate of the characteristic length-scale for shielding can be improved by using $\lambda_{\rm Jeans25}$, which is 0.25 times that of the local Jeans length.


title: Sapphire: A Configurable Crypto-Processor for Post-Quantum Lattice-based Protocols

abstract: Public key cryptography protocols, such as RSA and elliptic curve cryptography, will be rendered insecure by Shor's algorithm when large-scale quantum computers are built. Cryptographers are working on quantum-resistant algorithms, and lattice-based cryptography has emerged as a prime candidate. However, high computational complexity of these algorithms makes it challenging to implement lattice-based protocols on low-power embedded devices. To address this challenge, we present Sapphire - a lattice cryptography processor with configurable parameters. Efficient sampling, with a SHA-3-based PRNG, provides two orders of magnitude energy savings; a single-port RAM-based number theoretic transform memory architecture is proposed, which provides 124k-gate area savings; while a low-power modular arithmetic unit accelerates polynomial computations. Our test chip was fabricated in TSMC 40nm low-power CMOS process, with the Sapphire cryptographic core occupying 0.28 mm2 area consisting of 106k logic gates and 40.25 KB SRAM. Sapphire can be programmed with custom instructions for polynomial arithmetic and sampling, and it is coupled with a low-power RISC-V micro-processor to demonstrate NIST Round 2 lattice-based CCA-secure key encapsulation and signature protocols Frodo, NewHope, qTESLA, CRYSTALS-Kyber and CRYSTALS-Dilithium, achieving up to an order of magnitude improvement in performance and energy-efficiency compared to state-of-the-art hardware implementations. All key building blocks of Sapphire are constant-time and secure against timing and simple power analysis side-channel attacks. We also discuss how masking-based DPA countermeasures can be implemented on the Sapphire core without any changes to the hardware.


title: A piece of Victor Katsnelson's mathematical biography

abstract: We give an overview of several works of Victor Katsnelson published in 1965--1970, and pertaining to the complex and harmonic analysis and the spectral theory.


title: The Nuclear Filaments inside the Circumnuclear Disk in the Central 0.5 pc of the Galactic center

abstract: We present CS(7-6) line maps toward the central parsec of the Galactic Center (GC), conducted with the Atacama Large Millimeter/submillimeter Array (ALMA). The primary goal is to find and characterize the gas structure in the inner cavity of the circumnuclear disk (CND) in high resolution (1.3"=0.05 pc). Our large field-of-view mosaic maps -- combining interferometric and single-dish data that recover extended emission - provide a first homogeneous look to resolve and link the molecular streamers in the CND with the neutral nuclear filaments newly detected within the central cavity of the CND. We find that the nuclear filaments are rotating with Keplerian velocities in a nearly face-on orbit with an inclination angle of ~10-20 degree (radius <= 0.5 pc). This is in contrast to the CND which is highly inclined at ~65-80 degree (radius ~2-5 pc). Our analysis suggests a highly warped structure from the CND to the nuclear filaments. This result may hint that the nuclear filaments and the CND were created by different external clouds passing by Sgr A*.


title: Right-angled Artin group boundaries

abstract: In all known examples of a CAT(0) group acting on CAT(0) spaces with non-homeomorphic CAT(0) visual boundaries, the boundaries are each not path connected. In this paper, we show this does not have to be the case by providing examples of right-angled Artin groups which exhibit non-unique CAT(0) boundaries where all of the boundaries are arbitrarily connected. We also prove a combination theorem for certain amalgams of CAT(0) groups to act on spaces with non-path connected visual boundaries. We apply this theorem to some right-angled Artin groups.


title: A Double Residual Compression Algorithm for Efficient Distributed Learning

abstract: Large-scale machine learning models are often trained by parallel stochastic gradient descent algorithms. However, the communication cost of gradient aggregation and model synchronization between the master and worker nodes becomes the major obstacle for efficient learning as the number of workers and the dimension of the model increase. In this paper, we propose DORE, a DOuble REsidual compression stochastic gradient descent algorithm, to reduce over $95\%$ of the overall communication such that the obstacle can be immensely mitigated. Our theoretical analyses demonstrate that the proposed strategy has superior convergence properties for both strongly convex and nonconvex objective functions. The experimental results validate that DORE achieves the best communication efficiency while maintaining similar model accuracy and convergence speed in comparison with start-of-the-art baselines.


title: Embedded delta shocks

abstract: In 1977 Korchinski presented a new type of shock discontinuity in conservation laws. These singular solutions were coined $\delta$-shocks since there is a time dependent Dirac delta involved. A naive description is that such $\delta$-shock is of the overcompressive type: a two-family shock wave the four characteristic lines of which impinge into the shock itself. In this work, we open the fan of solutions by studying two-family waves without intermediate constant states but, possessing central rarefactions and also comprising $\delta$-shocks.


title: Explainable AI for Intelligence Augmentation in Multi-Domain Operations

abstract: Central to the concept of multi-domain operations (MDO) is the utilization of an intelligence, surveillance, and reconnaissance (ISR) network consisting of overlapping systems of remote and autonomous sensors, and human intelligence, distributed among multiple partners. Realising this concept requires advancement in both artificial intelligence (AI) for improved distributed data analytics and intelligence augmentation (IA) for improved human-machine cognition. The contribution of this paper is threefold: (1) we map the coalition situational understanding (CSU) concept to MDO ISR requirements, paying particular attention to the need for assured and explainable AI to allow robust human-machine decision-making where assets are distributed among multiple partners; (2) we present illustrative vignettes for AI and IA in MDO ISR, including human-machine teaming, dense urban terrain analysis, and enhanced asset interoperability; (3) we appraise the state-of-the-art in explainable AI in relation to the vignettes with a focus on human-machine collaboration to achieve more rapid and agile coalition decision-making. The union of these three elements is intended to show the potential value of a CSU approach in the context of MDO ISR, grounded in three distinct use cases, highlighting how the need for explainability in the multi-partner coalition setting is key.


title: Residual Switching Network for Portfolio Optimization

abstract: This paper studies deep learning methodologies for portfolio optimization in the US equities market. We present a novel residual switching network that can automatically sense changes in market regimes and switch between momentum and reversal predictors accordingly. The residual switching network architecture combines two separate residual networks (ResNets), namely a switching module that learns stock market conditions, and the main module that learns momentum and reversal predictors. We demonstrate that over-fitting noisy financial data can be controlled with stacked residual blocks and further incorporating the attention mechanism can enhance powerful predictive properties. Over the period 2008 to H12017, the residual switching network (Switching-ResNet) strategy verified superior out-of-sample performance with an average annual Sharpe ratio of 2.22, compared with an average annual Sharpe ratio of 0.81 for the ANN-based strategy and 0.69 for the linear model.


title: Betti numbers of the Frobenius powers of the maximal ideal over a general hypersurface

abstract: The main goal of this paper is to prove, in positive characteristic $p$, stability behavior for the graded Betti numbers in the periodic tails of the minimal resolutions of Frobenius powers of the homogeneous maximal ideals for very general choices of hypersurface in three variables whose degree has the opposite parity to that of $p$. We also find some of the structure of the matrix factorization giving the resolution. We achieve this by developing a method for obtaining the degrees of the generators of the defining ideal of an $\mathfrak{c}$-compressed Gorenstein Artinian graded algebra from its socle degree, where $\mathfrak{c}$ is a Frobenius power of the homogeneous maximal ideal. As an application, we also obtain the Hilbert-Kunz function of the hypersurface ring, as well as the Castelnuovo-Mumford regularity of the quotients by Frobenius powers of the homogeneous maximal ideal.


title: UMap: Enabling Application-driven Optimizations for Page Management

abstract: Leadership supercomputers feature a diversity of storage, from node-local persistent memory and NVMe SSDs to network-interconnected flash memory and HDD. Memory mapping files on different tiers of storage provides a uniform interface in applications. However, system-wide services like mmap are optimized for generality and lack flexibility for enabling application-specific optimizations. In this work, we present Umap to enable user-space page management that can be easily adapted to access patterns in applications and storage characteristics. Umap uses the userfaultfd mechanism to handle page faults in multi-threaded applications efficiently. By providing a data object abstraction layer, Umap is extensible to support various backing stores. The design of Umap supports dynamic load balancing and I/O decoupling for scalable performance. Umap also uses application hints to improve the selection of caching, prefetching, and eviction policies. We evaluate Umap in five benchmarks and real applications on two systems. Our results show that leveraging application knowledge for page management could substantially improve performance. On average, Umap achieved 1.25 to 2.5 times improvement using the adapted configurations compared to the system service.


title: Active Learning for Graph Neural Networks via Node Feature Propagation

abstract: Graph Neural Networks (GNNs) for prediction tasks like node classification or edge prediction have received increasing attention in recent machine learning from graphically structured data. However, a large quantity of labeled graphs is difficult to obtain, which significantly limits the true success of GNNs. Although active learning has been widely studied for addressing label-sparse issues with other data types like text, images, etc., how to make it effective over graphs is an open question for research. In this paper, we present an investigation on active learning with GNNs for node classification tasks. Specifically, we propose a new method, which uses node feature propagation followed by K-Medoids clustering of the nodes for instance selection in active learning. With a theoretical bound analysis we justify the design choice of our approach. In our experiments on four benchmark datasets, the proposed method outperforms other representative baseline methods consistently and significantly.


title: On the Computational Complexity of Finding a Sparse Wasserstein Barycenter

abstract: The discrete Wasserstein barycenter problem is a minimum-cost mass transport problem for a set of probability measures with finite support. In this paper, we show that finding a barycenter of sparse support is hard, even in dimension 2 and for only 3 measures. We prove this claim by showing that a special case of an intimately related decision problem SCMP -- does there exist a measure with a non-mass-splitting transport cost and support size below prescribed bounds? -- is NP-hard for all rational data. Our proof is based on a reduction from planar 3-dimensional matching and follows a strategy laid out by Spieksma and Woeginger (1996) for a reduction to planar, minimum circumference 3-dimensional matching. While we closely mirror the actual steps of their proof, the arguments themselves differ fundamentally due to the complex nature of the discrete barycenter problem. Containment of SCMP in NP will remain open. We prove that, for a given measure, sparsity and cost of an optimal transport to a set of measures can be verified in polynomial time in the size of a bit encoding of the measure. However, the encoding size of a barycenter may be exponential in the encoding size of the underlying measures.


title: Level lowering on Siegel modular threefold of paramodular level

abstract: In this article we prove several level lowering results for cuspidal automorphic representations occurring in the cohomology of the Siegel modular threefold with paramodular level structure by adapting a method of Ribet in his proof of the Serre's epsilon conjecture. The proof is purely geometric and relies on the description of the supersingular locus of certain quaternionic unitary Shimura variety and an arithmetic level raising result on this Shimura variety. The heart of the proof is a comparison of the dimension of the space of vanishing cycles on the paramodular Siegel modular threefold with that on the quaternionic unitary Shimura variety.


title: A Note on the Free and Cyclic Differential Calculus

abstract: In 2000, Voiculescu proved an algebraic characterization of cyclic gradients of noncommutative polynomials. We extend this remarkable result in two different directions: first, we obtain an analogous characterization of free gradients; second, we lift both of these results to Voiculescu's fundamental framework of multivariable generalized difference quotient rings. For that purpose, we develop the concept of divergence operators, for both free and cyclic gradients, and study the associated (weak) grading and cyclic symmetrization operators, respectively. One the one hand, this puts a new complexion on the initial polynomial case, and on the other hand, it provides a uniform framework within which also other examples - such as a discrete version of the It\^o stochastic integral - can be treated.


title: Magneto-optical probe of the fully gapped Dirac band in ZrSiS

abstract: We present a far-infrared magneto-optical study of the gapped nodal-line semimetal ZrSiS in magnetic fields $B$ up to 7 T. The observed field-dependent features, which represent intra- (cyclotron resonance) and interband transitions, develop as $\sqrt{B}$ in increasing field and can be consistently explained within a simple 2D Dirac band model with a gap of 26 meV and an averaged Fermi velocity of $3\times10^{5}$ m/s. This indicates a rather narrow distribution of these parameters along the in-plane portions of the nodal line in the Brillouin zone. A field-induced feature with an energy position that does not depend on $B$ is also detected in the spectra. Possible origins of this feature are discussed.


title: Asymptotic Theory of $L$-Statistics and Integrable Empirical Processes

abstract: This paper develops asymptotic theory of integrals of empirical quantile functions with respect to random weight functions, which is an extension of classical $L$-statistics. They appear when sample trimming or Winsorization is applied to asymptotically linear estimators. The key idea is to consider empirical processes in the spaces appropriate for integration. First, we characterize weak convergence of empirical distribution functions and random weight functions in the space of bounded integrable functions. Second, we establish the delta method for empirical quantile functions as integrable functions. Third, we derive the delta method for $L$-statistics. Finally, we prove weak convergence of their bootstrap processes, showing validity of nonparametric bootstrap.


title: Resilient habitability of nearby exoplanet systems

abstract: We investigate the possibility of finding Earth-like planets in the habitable zone of 34 nearby FGK-dwarfs, each known to host one giant planet exterior to their habitable zone detected by RV. First we simulate the dynamics of the planetary systems in their present day configurations and determine the fraction of stable planetary orbits within their habitable zones. Then, we postulate that the eccentricity of the giant planet is a result of an instability in their past during which one or more other planets were ejected from the system. We simulate these scenarios and investigate whether planets orbiting in the habitable zone survive the instability. Explicitly we determine the fraction of test particles, originally found in the habitable zone, which remain in the habitable zone today. We label this fraction the resilient habitability of a system. We find that for most systems the probability of planets existing [or surviving] on stable orbits in the habitable zone becomes significantly smaller when we include a phase of instability in their history. We present a list of candidate systems with high resilient habitability for future observations. These are: HD 95872, HD 154345, HD 102843, HD 25015, GJ 328, HD 6718 and HD 150706. The known planets in the last two systems have large observational uncertainties on their eccentricities, which propagate into large uncertainties on their resilient habitability. Further observational constraints of these two eccentriciti


title: Searching for scalar dark matter with compact mechanical resonators

abstract: We explore the viability of laboratory-scale mechanical resonators as detectors for ultralight scalar dark matter. The signal we investigate is an atomic strain due to modulation of the fine structure constant and the lepton mass at the Compton frequency of dark matter particles. The resulting stress can drive an elastic body with acoustic breathing modes, producing displacements that are accessible with opto- or electromechanical readout techniques. To address the unknown mass of dark matter particles (which determines their Compton frequency), we consider various resonator designs operating at kHz to MHz frequencies, corresponding to $10^{-12}-10^{-5}$ eV particle mass. Current resonant-mass gravitational wave detectors that have been repurposed as dark matter detectors weigh $\sim \! 10^3$ kg. We find that a large unexplored parameter space can be accessed with ultra-high-$Q$, cryogenically-cooled, cm-scale mechanical resonators possessing $\sim \! 10^7$ times smaller mass.


title: Generalized cosmological constant from gauging Maxwell-conformal algebra

abstract: The Maxwell extension of the conformal algebra is presented. With the help of gauging the Maxwell-conformal group, a conformally invariant theory of gravity is constructed. In contrast to the conventional conformally invariant actions, our gravitational action contains the Einstein-Hilbert term without introducing any additional (compensator) scalar field to satisfy the local scale invariance. This is achieved by using the curvatures of the algebra. In a special condition, we show that the resulting action is reduced to the Brans-Dicke like theory of gravity. We subsequently find the generalized Einstein field equation together with a coordinate dependent cosmological term and additional contributions.


title: Assessing the viability of Battery Energy Storage Systems coupled with Photovoltaics under a pure self-consumption scheme

abstract: Over the last few decades, there is a constantly increasing deployment of solar photovoltaic (PV) systems both at the commercial and residential building sector. However, the steadily growing PV penetration poses several technical problems to electric power systems, mainly related to power quality issues. To this context, the exploitation of energy storage systems integrated along with PVs could constitute a possible solution. The scope of this paper is to thoroughly evaluate the economic viability of hybrid PV-and-Storage systems at the residential building level under a future pure self-consumption policy that provides no reimbursement for excess PV energy injected to the grid. For this purpose, an indicator referred to as the Levelized Cost of Use is utilized for the assessment of the competitiveness of hybrid PV-and-Storage systems in the energy market, considering various sizes of the hybrid system, battery energy storage costs and prosumer types for six Mediterranean countries.


title: Deep Coregionalization for the Emulation of Spatial-Temporal Fields

abstract: Data-driven surrogate models are widely used for applications such as design optimization and uncertainty quantification, where repeated evaluations of an expensive simulator are required. For most partial differential equation (PDE) simulators, the outputs of interest are often spatial or spatial-temporal fields, leading to very high-dimensional outputs. Despite the success of existing data-driven surrogates for high-dimensional outputs, most methods require a significant number of samples to cover the response surface in order to achieve a reasonable degree of accuracy. This demand makes the idea of surrogate models less attractive considering the high computational cost to generate the data. To address this issue, we exploit the multi-fidelity nature of a PDE simulator and introduce deep coregionalization, a Bayesian non-parametric autoregressive framework for efficient emulation of spatial-temporal fields. To effectively extract the output correlations in the context of multi-fidelity data, we develop a novel dimension reduction technique, residual principal component analysis. Our model can simultaneously capture the rich output correlations and the fidelity correlations and make high-fidelity predictions with only a few expensive, high-fidelity simulation samples. We show the advantages of our model in three canonical PDE models and a fluid dynamics problem. The results show that the proposed method cannot only approximate a simulator with significantly less cost (at bout 10%-25%) but also further improve model accuracy.


title: Revealing excess protons in the infrared spectrum of liquid water

abstract: The most common species in liquid water, next to neutral H$_2$O molecules, are the H$_3$O$^+$ and OH$^-$ ions. In a dynamic picture, their exact concentrations depend on the time scale at which these are probed. Here, using a spectral-weight analysis, we experimentally resolve the fingerprints of the elusive fluctuations-born short-living H$_3$O$^+$, DH$_2$O$^+$, HD$_2$O$^+$, and D$_3$O$^+$ ions in the IR spectra of light (H$_2$O), heavy (D$_2$O), and semi-heavy (HDO) water. We find that short-living ions, with concentrations reaching $\sim 2\%$ of the content of water molecules, coexist with long-living pH-active ions on the picosecond timescale, thus making liquid water an effective ionic liquid in femtochemistry.


title: Blockchain Tree as Solution for Distributed Storage of Personal ID Data and Document Access Control

abstract: This paper introduces a new method of Blockchain formation for reliable storage of personal data of ID-card holders. In particular, the model of the information system is presented, the new structure of smart ID-cards and information on these cards are proposed. The new structure of Blockchain - "Blockchain Tree" allows not only to store information from ID-cards but also to increase the level of security and access control to this information. The proposed Subchains system allows to integrate Blockchain of the lower level to Blockchain of the higher level, allowing to create a multilevel protected system.


title: Response to "Retraction Note: Can Two-Way Direct Communication Protocols Be Considered Secure?"

abstract: This is a response to "Retraction Note: Can Two-Way Direct Co mmunication Protocols Be Considered Secure? Mladen Pavicic," Nanoscale Research Letters,14, 242 (2019). The "anonymised" report which served the editors to retract the paper is reproduced in full. A response to the report by the author of the original paper, sent to the editors of the journal, is also reproduced in full. The author analyses and discusses both the report and the retraction note and explains why he cannot agree to the retraction.


title: Scaling up Psychology via Scientific Regret Minimization: A Case Study in Moral Decisions

abstract: Do large datasets provide value to psychologists? Without a systematic methodology for working with such datasets, there is a valid concern that analyses will produce noise artifacts rather than true effects. In this paper, we offer a way to enable researchers to systematically build models and identify novel phenomena in large datasets. One traditional approach is to analyze the residuals of models---the biggest errors they make in predicting the data---to discover what might be missing from those models. However, once a dataset is sufficiently large, machine learning algorithms approximate the true underlying function better than the data, suggesting instead that the predictions of these data-driven models should be used to guide model-building. We call this approach "Scientific Regret Minimization" (SRM) as it focuses on minimizing errors for cases that we know should have been predictable. We demonstrate this methodology on a subset of the Moral Machine dataset, a public collection of roughly forty million moral decisions. Using SRM, we found that incorporating a set of deontological principles that capture dimensions along which groups of agents can vary (e.g. sex and age) improves a computational model of human moral judgment. Furthermore, we were able to identify and independently validate three interesting moral phenomena: criminal dehumanization, age of responsibility, and asymmetric notions of responsibility.


title: Isometric composition operators on Lipschitz spaces

abstract: Given pointed metric spaces $X$ and $Y$, we characterize the basepoint-preserving Lipschitz maps $\phi$ from $Y$ to $X$ inducing an isometric composition operator $C_\phi$ between the Lipschitz spaces $Lip_0(X)$ and $Lip_0(Y)$, whenever $X$ enjoys the peak property. This gives an answer to a question posed by N. Weaver in his book [Lipschitz algebras. Second edition. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2018].


title: Abstract Transducers

abstract: Several abstract machines that operate on symbolic input alphabets have been proposed in the last decade, for example, symbolic automata or lattice automata. Applications of these types of automata include software security analysis and natural language processing. While these models provide means to describe words over infinite input alphabets, there is no considerable work on symbolic output (as present in transducers) alphabets, or even abstraction (widening) thereof. Furthermore, established approaches for transforming, for example, minimizing or reducing, finite-state machines that produce output on states or transitions are not applicable. A notion of equivalence of this type of machines is needed to make statements about whether or not transformations maintain the semantics. We present abstract transducers as a new form of finite-state transducers. Both their input alphabet and the output alphabet is composed of abstract words, where one abstract word represents a set of concrete words. The mapping between these representations is described by abstract word domains. By using words instead of single letters, abstract transducers provide the possibility of lookaheads to decide on state transitions to conduct. Since both the input symbol and the output symbol on each transition is an abstract entity, abstraction techniques can be applied naturally. We apply abstract transducers as the foundation for sharing task artifacts for reuse in context of program analysis and verification, and describe task artifacts as abstract words. A task artifact is any entity that contributes to an analysis task and its solution, for example, candidate invariants or source code to weave.


title: Radiation of fast positrons interacting with periodic microstructure on the surface of a crystal

abstract: Radiation of charged particles passing through a set of equidistant ridges on the surface of a single crystal is calculated. The ridges are rectangular in shape, each of thickness of half of the particle trajectory period at planar channeling in a thick crystal. Positively charged particle entering the first ridge with angle smaller than the critical channeling angle is captured into channeling and changes the direction of its transversal velocity to reversed. Between the half-wave ridges the particle moves along a straight line. Passing through such set of half-wave crystal plates the particle moves on quasi-undulator trajectories. Properties of the particle radiation emitted during their passage through such "multicrystal undulator" are calculated. The radiation spectrum in each direction is discrete, and the frequency of the first harmonic and the number of harmonics in the spectrum depends on the distance between the plates, on energy of the particles and on the averaged potential energy of atomic planes of the crystal. The radiation is bound to a narrow cone in the direction of the average particle velocity and polarized essentially in a plane orthogonal to the atomic planes of the crystal.


title: Status on the Search for $K_L^0 \rightarrow \pi^0 \nu \bar{\nu}$ with the KOTO Experiment

abstract: The KOTO experiment at the J-PARC research facility in Tokai, Japan aims to observe and measure the rare decay of the neutral kaon, $K_L^0 \rightarrow \pi^0 \nu \bar{\nu}$. This decay has a Standard Model (SM) predicted branching ratio (BR) of $(3.00 \pm 0.30) \times 10^{-11}$. While this decay is extremely rare, it is one of the best decays in the quark sector to probe for new physics beyond the SM due to small theoretical uncertainties. The E391a experiment at KEK 12-GeV PS previously searched for $K_L^0 \rightarrow \pi^0 \nu \bar{\nu}$ events and set a limit of BR($K_L^0 \rightarrow \pi^0 \nu \bar{\nu}$) $< 2.6 \times 10^{-8}$ in 2010. In 2018, KOTO set a new experimental limit of BR($K_L^0 \rightarrow \pi^0 \nu \bar{\nu}$) $< 3.0 \times 10^{-9}$ from data collected in 2015, improving the best experimental upper limit by an order of magnitude. From 2016 to 2018, KOTO collected around 1.5 times more data than in 2015, and the analysis of this dataset is underway. This report covers the progress and current status of the 2016-2018 data analysis.


title: Some Geometric Applications of Anti-Chains

abstract: We present an algorithmic framework for computing anti-chains of maximum size in geometric posets. Specifically, posets in which the entities are geometric objects, where comparability of two entities is implicitly defined but can be efficiently tested. Computing the largest anti-chain in a poset can be done in polynomial time via maximum-matching in a bipartite graph, and this leads to several efficient algorithms for the following problems, each running in (roughly) $O(n^{3/2})$ time: (A) Computing the largest Pareto-optimal subset of a set of $n$ points in $\mathbb{R}^d$. (B) Given a set of disks in the plane, computing the largest subset of disks such that no disk contains another. This is quite surprising, as the independent version of this problem is computationally hard. (C) Given a set of axis-aligned rectangles, computing the largest subset of non-crossing rectangles.


title: Inference and Prediction of Nanoindentation Response in FCC Crystals: Methods and Discrete Dislocation Simulation Examples

abstract: Nanoindentation, a common technique for probing the mechanical properties of crystalline materials, exhibits both surface and bulk-dominated responses that are linked to the parent crystal's elasticity and plasticity. For FCC crystals, the nanoindentation response is primarily controlled by the indented-grain's crystalline orientation and dislocation density. However, the indentation properties, such as hardness, have ambiguous significance at the nanoscale due to tip-specific size effects. Through extensive discrete dislocation dynamics simulations of flat-punch nanoindentation on FCC single crystals, we show that a one-to-one correspondence between an indented location and the pre-existing dislocation density is possible with the help of statistical, machine-learning algorithms. We cluster and classify various experimentally plausible ensembles with varying dislocation density and/or crystalline orientation, using nanoindentation force-depth curves or post-indent surface displacement images. We use this classification to statistically predict the nanoindentation response of a given location, through the average response of classified load-displacement curves. In addition, we demonstrate that our simulation results qualitatively agree with experimental data on common FCC single crystals. Ultimately, we propose a novel pathway to uncover the depth dependence of local surface material properties for more complete, non-destructive, microstructural characterization, through nanoindentation.


title: CHANG-ES XIV: Cosmic-ray propagation and magnetic field strengths in the radio halo of NGC 4631

abstract: NGC 4631 is an interacting galaxy that exhibits one of the largest, gaseous halos observed among edge-on galaxies. We aim to examine the synchrotron and cosmic-ray propagation properties of its disk and halo emission with new radio continuum data. Radio continuum observations of NGC 4631 were performed with the Karl G. Jansky Very Large Array at C-band (5.99 GHz) in the C and D array configurations, and at L-band (1.57 GHz) in the B, C, and D array configurations. Complementary observations of NGC 4631 with the Effelsberg telescope were performed at 1.42 and 4.85 GHz. The interferometric total intensity data were combined with the single-dish Effelsberg data in order to recover the missing large-scale total power emission. The thermal and nonthermal components of the total radio emission were separated by estimating the thermal contribution through the extinction-corrected H$\alpha$ emission. The H$\alpha$ radiation was corrected for extinction using a linear combination of the observed H$\alpha$ and 24 $\mu$m data. NGC 4631 has a global thermal fraction at 5.99 (1.57) GHz of 14$\pm$3% (5.4$\pm$1.1%). The mean scale heights of the total emission in the radio halo (thick disk) at 5.99 (1.57) GHz are $1.79\pm0.54$ kpc ($1.75\pm0.27$ kpc) and have about the same values for the synchrotron emission. The total magnetic field of NGC 4631 has a mean strength of $\rm{\langle B_{eq}\rangle} \simeq 9 \rm{\mu G}$ in the disk, and a mean strength of $\rm{\langle B_{eq}\rangle}~\simeq 7~\rm{\mu G}$ in the halo. We also studied a double-lobed background radio galaxy southwest of NGC 4631, which is an FR~II radio galaxy according to the distribution of spectral index across the lobes. From the halo scale heights we estimated that the radio halo is escape-dominated with convective cosmic ray propagation, and conclude that there is a galactic wind in the halo of NGC 4631.


title: Superconducting Order Parameter and Bosonic Mode in Hydrogen-Substituted NdFeAsO$_{0.6}$H$_{0.36}$ Revealed by Multiple Andreev Reflection Spectroscopy

abstract: Using intrinsic multiple Andreev reflections effect (IMARE) spectroscopy, we studied ballistic superconductor - normal metal - superconductor (SnS) contacts in layered oxypnictide superconductors NdFeAsO$_{0.6}$H$_{0.36}$ with critical temperatures $T_c = 45-48$ K. We directly determined the magnitude of two bulk superconducting order parameters, the large gap $\Delta_L \approx 10.4$ meV, and a possible small gap $\Delta_S \approx 1.8$ meV, and their temperature dependence. Additionally, a resonant coupling with a characteristic bosonic mode was observed. The boson energy at 4.2 K, $\varepsilon_0 = 10.5-11.0$ meV being less than the indirect gap ($\Delta_L < \varepsilon_0 < \Delta_L +\Delta_S$).


title: CHANG-ES XV: Large-scale magnetic field reversals in the radio halo of NGC 4631

abstract: NGC 4631 is an interacting galaxy which exhibits one of the largest gaseous halos observed among edge-on galaxies. We aim to examine the synchrotron and polarization properties of its disk and halo emission with new radio continuum data. Radio continuum observations of NGC 4631 were performed with the Karl G. Jansky Very Large Array at C-band (5.99 GHz) in the C & D array configurations, and at L-band (1.57 GHz) in the B, C, & D array configurations. The Rotation Measure Synthesis algorithm was utilized to derive the polarization properties. We detected linearly polarized emission at C-band and L-band. The magnetic field in the halo is characterized by strong vertical components above and below the central region of the galaxy. The magnetic field in the disk is only clearly seen in the eastern side of NGC 4631, where it is parallel to the plane of the major axis of the galaxy. We detected for the first time a large-scale, smooth Faraday depth pattern in a halo of an external spiral galaxy, which implies the existence of a regular (coherent) magnetic field. A quasi-periodic pattern in Faraday depth with field reversals was found in the northern halo of the galaxy. The field reversals in the northern halo of NGC 4631, together with the observed polarization angles, indicate giant magnetic ropes (GMRs) with alternating directions. To our knowledge, this is the first time such reversals are observed in an external galaxy.


title: Joint Optimization of Waveform Covariance Matrix and Antenna Selection for MIMO Radar

abstract: In this paper, we investigate the problem of jointly optimizing the waveform covariance matrix and the antenna position vector for multiple-input-multiple-output (MIMO) radar systems to approximate a desired transmit beampattern as well as to minimize the cross-correlation of the received signals reflected back from the targets. We formulate the problem as a non-convex program and then propose a cyclic optimization approach to efficiently tackle the problem. We further propose a novel local optimization framework in order to efficiently design the corresponding antenna positions. Our numerical investigations demonstrate a good performance both in terms of accuracy and computational complexity, making the proposed framework a good candidate for real-time radar signal processing applications.


title: Dual pairs in complex classical groups and Lie algebras

abstract: In Roger Howe's 1989 paper, ``Remarks on classical invariant theory," Howe introduces the notion of a dual pair of Lie subalgebras: a pair $(\mathfrak{g}_1, \mathfrak{g}_2)$ of reductive Lie subalgebras of a Lie algebra $\mathfrak{g}$ such that $\mathfrak{g}_1$ and $\mathfrak{g}_2$ are each other's centralizers in $\mathfrak{g}$. This notion has a natural analog for algebraic groups: a dual pair of subgroups is a pair $(G_1, G_2)$ of reductive subgroups of an algebraic group $G$ such that $G_1$ and $G_2$ are each other's centralizers in $G$. In this paper, we classify the dual pairs in the complex classical groups ($GL(n,\mathbb{C})$, $SL(n,\mathbb{C})$, $Sp(2n,\mathbb{C})$, $O(n,\mathbb{C})$, and $SO(n,\mathbb{C})$) and in the corresponding Lie algebras ($\mathfrak{gl}(n,\mathbb{C})$, $\mathfrak{sl}(n,\mathbb{C})$, $\mathfrak{sp}(2n,\mathbb{C})$, and $\mathfrak{so}(n,\mathbb{C})$). We also present substantial progress towards classifying the dual pairs in the projective counterparts of the complex classical groups ($PGL(n,\mathbb{C})$, $PSp(2n,\mathbb{C})$, $PO(n,\mathbb{C})$, and $PSO(n,\mathbb{C})$).