title: Mapping quasar light echoes in 3D with Ly{\alpha} forest tomography

abstract: The intense radiation emitted by luminous quasars dramatically alters the ionization state of their surrounding IGM. This so-called proximity effect extends out to tens of Mpc, and manifests as large coherent regions of enhanced Lyman-$\alpha$ (Ly$\alpha$) forest transmission in absorption spectra of background sightlines. Here we present a novel method based on Ly$\alpha$ forest tomography, which is capable of mapping these quasar `light echoes' in three dimensions. Using a dense grid (10-100) of faint ($m_r\approx24.7\,\mathrm{mag}$) background galaxies as absorption probes, one can measure the ionization state of the IGM in the vicinity of a foreground quasar, yielding detailed information about the quasar's radiative history and emission geometry. An end-to-end analysis - combining cosmological hydrodynamical simulations post-processed with a quasar emission model, realistic estimates of galaxy number densities, and instrument + telescope throughput - is conducted to explore the feasibility of detecting quasar light echoes. We present a new fully Bayesian statistical method that allows one to reconstruct quasar light echoes from thousands of individual low S/N transmission measurements. Armed with this machinery, we undertake an exhaustive parameter study and show that light echoes can be convincingly detected for luminous ($M_{1450} < -27.5\,\mathrm{mag}$ corresponding to $m_{1450} < 18.4\,\mathrm{mag}$ at $z\simeq 3.6$) quasars at redshifts $3<z_\mathrm{QSO}<5$, and that a relative precision better than $20\,\%$ on the quasar age can be achieved for individual objects, for the expected range of ages between 1 Myr and 100 Myr. The observational requirements are relatively modest - moderate resolution ($R\gtrsim750$) multi object spectroscopy at low $\rm{}S/N > 5$ is sufficient, requiring three hour integrations using existing instruments on 8m class telescopes.


title: Learning under Misspecified Objective Spaces

abstract: Learning robot objective functions from human input has become increasingly important, but state-of-the-art techniques assume that the human's desired objective lies within the robot's hypothesis space. When this is not true, even methods that keep track of uncertainty over the objective fail because they reason about which hypothesis might be correct, and not whether any of the hypotheses are correct. We focus specifically on learning from physical human corrections during the robot's task execution, where not having a rich enough hypothesis space leads to the robot updating its objective in ways that the person did not actually intend. We observe that such corrections appear irrelevant to the robot, because they are not the best way of achieving any of the candidate objectives. Instead of naively trusting and learning from every human interaction, we propose robots learn conservatively by reasoning in real time about how relevant the human's correction is for the robot's hypothesis space. We test our inference method in an experiment with human interaction data, and demonstrate that this alleviates unintended learning in an in-person user study with a 7DoF robot manipulator.


title: The local image problem for complex analytic maps

abstract: We address the question "when the local image of a map is well defined" and answer it in case of holomorphic map germs with target $(\bC^{2}, 0)$. We prove a criterion for holomorphic map germs $(X, x)\to (Y, y)$ to be locally open, solving a conjecture by Huckleberry in all dimensions.


title: Learning to Inflate

abstract: Motivated by machine learning, we introduce a novel method for randomly generating inflationary potentials. Namely, we treat the Taylor coefficients of the potential as weights in a single-layer neural network and use gradient ascent to maximize the number of e-folds of inflation. Inflationary potentials "learned" in this way develop a critical point, which is typically a local maximum but may also be an inflection point. We study the phenomenology of the models along the gradient ascent trajectory, finding substantial agreement with experiment for large-field local maximum models and small-field inflection point models. For two-field models of inflation, the potential eventually learns a genuine multi-field model in which the inflaton curves significantly during the course of its descent.


title: Regularized maximal fidelity of the generalized Pauli channels

abstract: We consider the asymptotic regularization of the maximal fidelity for the generalized Pauli channels, which is a problem similar to the classical channel capacity. In particular, we find the formulas for the extremal channel fidelities and the maximal output $\infty$-norm. For wide classes of channels, we show that these quantities are multiplicative. Finally, we find the regularized maximal fidelity for the channels satisfying the time-local master eqeuations.


title: Equiangular quantum key distribution in more than two dimensions

abstract: We extend the spherical code based key distribution protocols to qudits with dimensions 4 and 16 by constructing equiangular frames and their companions. We provide methods for equiangular frames in arbitrary dimensions for Alice to use and the companion frames, that has one antipode to eliminate one of the possibilities, made up of qudits with $N=4,16$ as part of Bob's code. Non-orthogonal bases that form positive operator valued measures can be constructed using the tools of frames (overcomplete bases of a Hilbert space) and here we apply them to key distribution that are robust due to large size of the bases making it hard for eavesdropping. We demonstrate a method to construct a companion frame for an equiangular tight frame for $\complexes^{p-1}$ generated from the discrete Fourier transform, where $p$ is any odd prime. The security analysis is based on the assumption restricting possible attacks to intercept/resend scenario highlighting the advantages of a qudit over qubit-based protocols.


title: Characterizing Adversarial Examples Based on Spatial Consistency Information for Semantic Segmentation

abstract: Deep Neural Networks (DNNs) have been widely applied in various recognition tasks. However, recently DNNs have been shown to be vulnerable against adversarial examples, which can mislead DNNs to make arbitrary incorrect predictions. While adversarial examples are well studied in classification tasks, other learning problems may have different properties. For instance, semantic segmentation requires additional components such as dilated convolutions and multiscale processing. In this paper, we aim to characterize adversarial examples based on spatial context information in semantic segmentation. We observe that spatial consistency information can be potentially leveraged to detect adversarial examples robustly even when a strong adaptive attacker has access to the model and detection strategies. We also show that adversarial examples based on attacks considered within the paper barely transfer among models, even though transferability is common in classification. Our observations shed new light on developing adversarial attacks and defenses to better understand the vulnerabilities of DNNs.


title: A Constraint Propagation Algorithm for Sums-of-Squares Formulas over the Integers

abstract: Sums-of-squares formulas over the integers have been studied extensively using their equivalence to consistently signed intercalate matrices. This representation, combined with combinatorial arguments, has been used to produce sums-of-squares formulas and to show that formulas of certain types cannot exist. In this paper, we introduce an algorithm that produces consistently signed intercalate matrices, or proves their nonexistence, extending previous methods beyond what is computationally feasible by hand.


title: Enhanced star formation in both disks and ram pressure stripped tails of GASP jellyfish galaxies

abstract: Exploiting the data from the GAs Stripping Phenomena in galaxies with MUSE (GASP) program, we compare the integrated Star Formation Rate- Mass relation (SFR-M_ast) relation of 42 cluster galaxies undergoing ram pressure stripping ("stripping galaxies") to that of 32 field and cluster undisturbed galaxies. Theoretical predictions have so far led to contradictory conclusions about whether ram pressure can enhance the star formation in the gas disks and tails or not and until now a statistically significant observed sample of stripping galaxies was lacking. We find that stripping galaxies occupy the upper envelope of the control sample SFR-M_ast relation, showing a systematic enhancement of the SFR at any given mass. The star formation enhancement occurs in the disk (0.2 dex), and additional star formation takes place in the tails. Our results suggest that strong ram pressure stripping events can moderately enhance the star formation also in the disk prior to gas removal.


title: Energy Flow Networks: Deep Sets for Particle Jets

abstract: A key question for machine learning approaches in particle physics is how to best represent and learn from collider events. As an event is intrinsically a variable-length unordered set of particles, we build upon recent machine learning efforts to learn directly from sets of features or "point clouds". Adapting and specializing the "Deep Sets" framework to particle physics, we introduce Energy Flow Networks, which respect infrared and collinear safety by construction. We also develop Particle Flow Networks, which allow for general energy dependence and the inclusion of additional particle-level information such as charge and flavor. These networks feature a per-particle internal (latent) representation, and summing over all particles yields an overall event-level latent representation. We show how this latent space decomposition unifies existing event representations based on detector images and radiation moments. To demonstrate the power and simplicity of this set-based approach, we apply these networks to the collider task of discriminating quark jets from gluon jets, finding similar or improved performance compared to existing methods. We also show how the learned event representation can be directly visualized, providing insight into the inner workings of the model. These architectures lend themselves to efficiently processing and analyzing events for a wide variety of tasks at the Large Hadron Collider. Implementations and examples of our architectures are available online in our EnergyFlow package.


title: Diffusion and Concentration of Solids in the Dead Zone of a Protoplanetary Disk

abstract: The streaming instability is a promising mechanism to drive the formation of planetesimals in protoplanetary disks. To trigger this process, it has been argued that sedimentation of solids onto the mid-plane needs to be efficient and therefore that a quiescent gaseous environment is required. It is often suggested that dead-zone or disk-wind structure created by non-ideal magnetohydrodynamical (MHD) effects meets this requirement. However, simulations have shown that the midplane of a dead zone is not completely quiescent. In order to examine the concentration of solids in such an environment, we use the local-shearing-box approximation to simulate a particle-gas system with an Ohmic dead zone including mutual drag force between the gas and the solids. We systematically compare the evolution of the system with ideal or non-ideal MHD, with or without back-reaction drag force from particles on gas, and with varying solid abundances. Similar to previous investigations of dead zone dynamics, we find that particles of dimensionless stopping time $\tau_s=0.1$ do not sediment appreciably more than those in ideal magneto-rotational turbulence, resulting in a vertical scale height an order of magnitude larger than in a laminar disk. Contrary to the expectation that this should curb the formation of planetesimals, we nevertheless find that strong clumping of solids still occurs in the dead zone when solid abundances are similar to the critical value for a laminar environment. This can be explained by the weak radial diffusion of particles near the mid-plane. The results imply that the sedimentation of particles to the mid-plane is not a necessary criterion for the formation of planetesimals by the streaming instability.


title: Mass modelling globular clusters in the Gaia era: a method comparison using mock data from an $N$-body simulation of M4

abstract: As we enter a golden age for studies of internal kinematics and dynamics of Galactic globular clusters (GCs), it is timely to assess the performance of modelling techniques in recovering the mass, mass profile, and other dynamical properties of GCs. Here, we compare different mass-modelling techniques (distribution-function (DF)-based models, Jeans models, and a grid of N-body models) by applying them to mock observations from a star-by-star N-body simulation of the GC M 4 by Heggie. The mocks mimic existing and anticipated data for GCs: surface brightness or number density profiles, local stellar mass functions, line-of-sight velocities, and Hubble Space Telescope- and Gaia-like proper motions. We discuss the successes and limitations of the methods. We find that multimass DF-based models, Jeans, and N-body models provide more accurate mass profiles compared to single-mass DF-based models. We highlight complications in fitting the kinematics in the outskirts due to energetically unbound stars associated with the cluster ("potential escapers", not captured by truncated DF models nor by N-body models of clusters in isolation), which can be avoided with DF-based models including potential escapers, or with Jeans models. We discuss ways to account for mass segregation. For example, three-component DF-based models with freedom in their mass function are a simple alternative to avoid the biases of single-mass models (which systematically underestimate the total mass, half-mass radius, and central density), while more realistic multimass DF-based models with freedom in the remnant content represent a promising avenue to infer the total mass and the mass function of remnants.


title: The signal of decaying dark matter with hydrodynamical simulations

abstract: Dark matter particles may decay, emitting photons. Drawing on the EAGLE family of hydrodynamic simulations of galaxy formation -- including the APOSTLE and C-EAGLE simulations -- we assess the systematic uncertainties and scatter on the decay flux from different galaxy classes, from Milky Way satellites to galaxy clusters, and compare our results to studies of the 3.55~keV line. We demonstrate that previous detections and non-detections of this line are consistent with a dark matter interpretation. For example, in our simulations the width of the the dark matter decay line for Perseus-analogue galaxy clusters lies in the range 1300-1700~\kms. Therefore, the non-detection of the 3.55~keV line in the centre of the Perseus cluster by the {\it Hitomi} collaboration is consistent with detections by other instruments. We also consider trends with stellar and halo mass and evaluate the scatter in the expected fluxes arising from the anisotropic halo mass distribution and from object-to-object variations. We provide specific predictions for observations with {\it XMM-Newton} and with the planned X-ray telescopes {\it XRISM} and {\it ATHENA}. If future detections of unexplained X-ray lines match our predictions, including line widths, we will have strong evidence that we have discovered the dark matter.


title: A Stringy Test of the Scalar Weak Gravity Conjecture

abstract: We prove a version of the Weak Gravity Conjecture for 6d F-theory or heterotic string compactifications with 8 supercharges. This sharpens our previous analysis by including massless scalar fields. The latter are known to modify the Weak Gravity Conjecture bound in two a priori independent ways: First, the extremality condition of a charged black hole is modified, and second, the test particles required to satisfy the Weak Gravity Conjecture are subject to additional Yukawa type interactions. We argue on general grounds that at weak coupling, the two types of effects are equivalent for a tower of asymptotically massless charged test particles predicted by the Swampland Distance Conjecture. We then specialise to F-theory compactified on elliptic Calabi-Yau three-folds and prove that the precise numerical bound on the charge-to-mass ratio is satisfied at weak coupling. This amounts to an intriguing coincidence of two a priori different notions of extremality, namely one based on the balance of gauge, gravitational and scalar forces for extremal (non-BPS) black holes, and the other encoded in the modular properties of certain Jacobi forms. In the presence of multiple abelian gauge group factors, the elliptic genus counting these states is a lattice quasi-Jacobi form of higher rank, and we exemplify this in a model with two abelian gauge group factors.


title: Generation of non-classical light in a photon-number superposition

abstract: The ability to generate light in a pure quantum state is essential for advances in optical quantum technologies. However, obtaining quantum states with control in the photon-number has remained elusive. Optical light fields with zero and one photon can be produced by single atoms, but so far it has been limited to generating incoherent mixtures, or coherent superpositions with a very small one-photon term. Here, we report on the on-demand generation of quantum superpositions of zero, one, and even two photons, via pulsed coherent control of a single artificial atom. Driving the system up to full atomic inversion leads to the generation of quantum superpositions of vacuum and one photon, with their relative populations controlled by the driving laser intensity. A stronger driving of the system, with $2\pi$-pulses, results in a coherent superposition of vacuum, one and two photons, with the two-photon term exceeding the one-photon component, a state allowing phase super-resolving interferometry. Our results open new paths for optical quantum technologies with access to the photon-number degree-of-freedom.


title: Constraining the period of the ringed secondary companion to the young star J1407 with photographic plates

abstract: Context. The 16 Myr old star 1SWASP J140747.93-394542.6 (V1400 Cen) underwent a series of complex eclipses in May 2007, interpreted as the transit of a giant Hill sphere filling debris ring system around a secondary companion, J1407b. No other eclipses have since been detected, although other measurements have constrained but not uniquely determined the orbital period of J1407b. Finding another eclipse towards J1407 will help determine the orbital period of the system, the geometry of the proposed ring system and enable planning of further observations to characterize the material within these putative rings. Aims. We carry out a search for other eclipses in photometric data of J1407 with the aim of constraining the orbital period of J1407b. Methods. We present photometry from archival photographic plates from the Harvard DASCH survey, and Bamberg and Sonneberg Observatories, in order to place additional constraints on the orbital period of J1407b by searching for other dimming and eclipse events. Using a visual inspection of all 387 plates and a period-folding algorithm we performed a search for other eclipses in these data sets. Results. We find no other deep eclipses in the data spanning from 1890 to 1990, nor in recent time-series photometry from 2012-2018. Conclusions. We rule out a large fraction of putative orbital periods for J1407b from 5 to 20 years. These limits are still marginally consistent with a large Hill sphere filling ring system surrounding a brown dwarf companion in a bound elliptical orbit about J1407. Issues with the stability of any rings combined with the lack of detection of another eclipse, suggests that J1407b may not be bound to J1407.


title: Variable Outer Disk Shadowing Around the Dipper Star RX J1604.3-2130

abstract: Low brightness dips have been recently observed in images of protoplanetary disks, and they are believed to be shadows by the inner disk. We present VLT/SPHERE polarimetric differential imaging of the transition disk around the dipper star RX J1604.3-2130. We gathered 11 epochs that cover a large temporal baseline, to search for variability over timescales of years, months, weeks, and days. Our observations unambiguously reveal two dips along an almost face-on narrow ring (with a width of $\sim$20 au), and the location of the peak of this ring is at $\sim$65 au. The ring lies inside the ring-like structure observed with ALMA, which peaks at $\sim$83 au. This segregation can result from particle trapping in pressure bumps, potentially due to planet(s). We find that the dips are variable, both in morphology and in position. The eastern dip, at a position angle (PA) of $\sim$83.7$\pm$13.7$^\circ$, has an amplitude that varies between 40% to 90%, and its angular width varies from 10$^{\circ}$ to 34$^{\circ}$. The western dip, at a PA of $\sim$265.90$\pm$13.0$^\circ$, is more variable, with amplitude and width variations of 31% to 95% and 12$^{\circ}$ to 53$^{\circ}$, respectively. The separation between the dips is 178.3$^{\circ}\pm$14.5$^{\circ}$, corresponding to a large misalignment between the inner and outer disk, supporting the classification of J1604 as an aperiodic dipper. The variability indicates that the innermost regions are highly dynamic, possibly due to a massive companion or to a complex magnetic field topology.


title: Morphological evolution and galactic sizes in the L-Galaxies SA model

abstract: In this work we update the L-Galaxies semi-analytic model (SAM) to better follow the physical processes responsible for the growth of bulges via disc instabilities (leading to pseudo-bulges) and mergers (leading to classical bulges). We address the former by considering the contribution of both stellar and gaseous discs in the stability of the galaxy, and we update the latter by including dissipation of energy in gas-rich mergers. Furthermore, we introduce angular momentum losses during cooling and find that an accurate match to the observed correlation between stellar disc scale length and mass at z ~ 0.0 requires that the gas loses 20% of its initial specific angular momentum to the corresponding dark matter halo during the formation of the cold gas disc. We reproduce the observed trends between the stellar mass and specific angular momentum for both disc- and bulge-dominated galaxies, with the former rotating faster than the latter of the same mass. We conclude that a two-component instability recipe provides a morphologically diverse galaxy sample which matches the observed fractional breakdown of galaxies into different morphological types. This recipe also enables us to obtain an excellent fit to the morphology-mass relation and stellar mass function of different galactic types. Finally, we find that energy dissipation during mergers reduces the merger remnant sizes and allows us to match the observed mass-size relation for bulge-dominated systems.


title: Duality between $(2+1)d$ Quantum Critical Points

abstract: Duality refers to two equivalent descriptions of the same theory from different points of view. Recently there has been tremendous progress in formulating and understanding possible dualities of quantum many body theories in $2+1$-spacetime dimensions. Of particular interest are dualities that describe conformally invariant quantum field theories in $(2+1)d$. These arise as descriptions of quantum critical points in condensed matter physics. The appreciation of the possible dual descriptions of such theories has greatly enhanced our understanding of some challenging questions about such quantum critical points. Perhaps surprisingly the same dualities also underlie recent progress in our understanding of other problems such as the half-filled Landau level and correlated surface states of topological insulators. Here we provide a pedagogical review of these recent developments from a point of view geared toward condensed matter physics.


title: Characterizing Signal Loss in the 21 cm Reionization Power Spectrum: A Revised Study of PAPER-64

abstract: The Epoch of Reionization (EoR) is an uncharted era in our Universe's history during which the birth of the first stars and galaxies led to the ionization of neutral hydrogen in the intergalactic medium. There are many experiments investigating the EoR by tracing the 21cm line of neutral hydrogen. Because this signal is very faint and difficult to isolate, it is crucial to develop analysis techniques that maximize sensitivity and suppress contaminants in data. It is also imperative to understand the trade-offs between different analysis methods and their effects on power spectrum estimates. Specifically, with a statistical power spectrum detection in HERA's foreseeable future, it has become increasingly important to understand how certain analysis choices can lead to the loss of the EoR signal. In this paper, we focus on signal loss associated with power spectrum estimation. We describe the origin of this loss using both toy models and data taken by the 64-element configuration of the Donald C. Backer Precision Array for Probing the Epoch of Reionization (PAPER). In particular, we highlight how detailed investigations of signal loss have led to a revised, higher 21cm power spectrum upper limit from PAPER-64. Additionally, we summarize errors associated with power spectrum error estimation that were previously unaccounted for. We focus on a subset of PAPER-64 data in this paper; revised power spectrum limits from the PAPER experiment are presented in a forthcoming paper by Kolopanis et al. (in prep.) and supersede results from previously published PAPER analyses.


title: Determination of the $N_f=12$ step scaling function using M\"obius domain wall fermions

abstract: We calculate the renormalized step scaling function for twelve fundamental flavors nonperturbatively by determining the gradient flow coupling on gauge field configurations generated with dynamical stout-smeared M\"obius domain wall fermions and Symanzik gauge action. Using Zeuthen, Symanzik, and Wilson flow we measure the energy density with three different operators. Our updated analysis is based on up to five volume pairs ranging from L^4=8^4 up to 32^4. Predictions for the infinite volume extrapolated step scaling function based on different flows and operators are mutually consistent. Our new results confirm the previously observed significant discrepancy with staggered fermion simulations in a wide range of the renormalized coupling.


title: Black holes and binary mergers in scalar Gauss-Bonnet gravity: scalar field dynamics

abstract: We study the nonlinear dynamics of black holes that carry scalar hair and binaries composed of such black holes. The scalar hair is due to a linear or exponential coupling between the scalar and the Gauss--Bonnet invariant. We work perturbatively in the coupling constant of that interaction but nonperturbatively in the fields. We first consider the dynamical formation of hair for isolated black holes of arbitrary spin and determine the final state. This also allows us to compute for the first time the scalar quasinormal modes of rotating black holes in the presence of this coupling. We then study the evolution of nonspinning black-hole binaries with various mass ratios and produce the first scalar waveform for a coalescence. An estimate of the energy loss in scalar radiation and the effect this has on orbital dynamics and the phase of the GWs (entering at quadratic order in the coupling) show that GW detections can set the most stringent constraint to date on theories that exhibit a coupling between a scalar field and the Gauss--Bonnet invariant.


title: PAHs as tracers of the molecular gas in star-forming galaxies

abstract: [Abridged] We combine new CO(1-0) line observations of 24 intermediate redshift galaxies (0.03 < z < 0.28) along with literature data of galaxies at 0<z<4 to explore scaling relations between the dust and gas content using PAH 6.2 $\mu$m ($L_{6.2}$), CO ($L'_{\rm CO}$), and infrared ($L_{\rm IR}$) luminosities for a wide range of redshifts and physical environments. Our analysis confirms the existence of a universal $L_{6.2}-L_{\rm CO}$ correlation followed by normal star-forming galaxies (SFGs) and starbursts (SBs) at all redshifts. This relation is also followed by local ULIRGs that appear as outliers in the $L_{6.2}-L_{\rm IR}$ and $L_{\rm IR}-L'_{\rm CO}$ relations from the sequence defined by normal SFGs. The emerging tight ($\sigma \approx 0.26$ dex) and linear ($\alpha = 1.03$) relation between $L_{6.2}$ and $L_{\rm CO}$ indicates a $L_{6.2}$ to molecular gas ($M_{\rm H_2}$) conversion factor of $\alpha_{6.2} = M_{\rm H2}/L_{6.2} = (2.7\pm1.3) \times \alpha_{\rm CO}$, where $\alpha_{\rm CO}$ is the $L'_{\rm CO}$ to $M_{\rm H_2}$ conversion factor. We also find that on galaxy integrated scales, PAH emission is better correlated with cold rather than with warm dust emission, suggesting that PAHs are associated with the diffuse cold dust, which is another proxy for $M_{\rm H_2}$. Focusing on normal SFGs among our sample, we employ the dust continuum emission to derive $M_{\rm H_2}$ estimates and find a constant $M_{\rm H_2}/L_{6.2}$ ratio of $\alpha_{6.2} = 12.3 \ M_{\rm H_2}/{\rm L}_{\odot}$ ($\sigma\approx 0.3$ dex). We propose that the presented $L_{6.2}-L'_{\rm CO}$ and $L_{6.2}-M_{\rm H_2}$ relations will serve as useful tools for the determination of the physical properties of high-$z$ SFGs, for which PAH emission will be routinely detected by the James Webb Space Telescope.


title: Categorical primitive forms and Gromov-Witten invariants of $A_n$ singularities

abstract: We introduce a categorical analogue of Saito's notion of primitive forms. Let $W$ denote the potential $\frac{1}{n+1} x^{n+1}$. For the category $MF(W)$ of matrix factorizations of $W$ we prove that there exists a unique, up to non-zero constant, categorical primitive form. The corresponding genus zero categorical Gromov-Witten invariants of $MF(W)$ are shown to match with the invariants defined through unfolding of singularities of $W$.


title: The role of the Heisenberg principle in Constrained Molecular Dynamics model

abstract: We implement the Heisenberg principle into the Constrained Molecular Dynamics (CoMD) model with a similar approach to the Pauli principle using the one-body occupation probability $\bar{f}_i$. Results of the modified and the original model with comparisons to data are given. The binding energies and the radii of light nuclei obtained with the modified model are more consistent to the experimental data than the original one. The collision term and the density distribution are tested through a comparison to p+$^{12}$C elastic scattering data. Some simulations for fragmentation and superheavy nuclei production are also discussed.


title: A hot and fast ultra-stripped supernova that likely formed a compact neutron star binary

abstract: Compact neutron star binary systems are produced from binary massive stars through stellar evolution involving up to two supernova explosions. The final stages in the formation of these systems have not been directly observed. We report the discovery of iPTF 14gqr (SN 2014ft), a Type Ic supernova with a fast evolving light curve indicating an extremely low ejecta mass ($\approx 0.2$ solar masses) and low kinetic energy ($\approx 2 \times 10^{50}$ ergs). Early photometry and spectroscopy reveal evidence of shock cooling of an extended He-rich envelope, likely ejected in an intense pre-explosion mass loss episode of the progenitor. Taken together, we interpret iPTF 14gqr as evidence for ultra-stripped supernovae that form neutron stars in compact binary systems.


title: Constraining Violations of the Weak Equivalence Principle in the Dark Sector

abstract: The effective field theory of dark energy is generalized to incorporate dark matter, which is modelled using a complex scalar field with a global $U(1)$ symmetry. The dark matter model used here has similarities to models of ultralight axion. Generic interaction terms in the dark matter sector violate the weak equivalence principle. The degree to which such violations can occur is constrained using a number of recent analyses and forecasts in cosmology.


title: The Effects of Galaxy Assembly Bias on the Inference of Growth Rate from Redshift-Space Distortions

abstract: The large-scale redshift-space distortion (RSD) in galaxy clustering can probe $f\sigma_8$, a combination of the cosmic structure growth rate and the matter fluctuation amplitude, which can constrain dark energy models and test theories of gravity. While the RSD on small scales (e.g. a few to tens of $h^{-1}{\rm Mpc}$) can further tighten the $f\sigma_8$ constraints, galaxy assembly bias, if not correctly modelled, may introduce systematic uncertainties. Using a mock galaxy catalogue with built-in assembly bias, we perform a preliminary study on how assembly bias may affect the $f\sigma_8$ inference. We find good agreement on scales down to 8--9$h^{-1}{\rm Mpc}$ between a $f\sigma_8$ metric from the redshift-space two-point correlation function with the central-only mock catalogue and that with the shuffled catalogue free of assembly bias, implying that $f\sigma_8$ information can be extracted on such scales even with assembly bias. We then apply the halo occupation distribution (HOD) and three subhalo clustering and abundance matching (SCAM) models to model the redshift-space clustering with the mock. Only the SCAM model based on $V_{\rm peak}$ (used to create the mock) can reproduce the $f\sigma_8$ metric, and the other three could not. However, the $f\sigma_8$ metrics determined from central galaxies from all the models are able to match the expected one down to 8$h^{-1}{\rm Mpc}$. Our results suggest that halo models with no or incorrect assembly bias prescription could still be used to model the RSD down to scales of $\sim 8 h^{-1}{\rm Mpc}$ to tighten the $f\sigma_8$ constraint, with a sample of central galaxies or with a flexible satellite occupation prescription.


title: A virtually ample field that is not ample

abstract: A field $K$ is called ample if for every geometrically integral $K$-variety $V$ with a smooth $K$-point, $V(K)$ is Zariski-dense in $V$. A field $K$ is virtually ample if some finite extension of $K$ is ample. We prove that there exists a virtually ample field that is not ample.


title: Quantum Formation of Primordial Black holes

abstract: We provide a (simplified) quantum description of primordial black holes at the time of their formation. Specifically, we employ the horizon quantum mechanics to compute the probability of black hole formation starting from a simple quantum mechanical characterization of primordial density fluctuations given by a Planckian spectrum. We then estimate the initial number of primordial black holes in the early universe as a function of their typical mass and temperature of the fluctuation.


title: Bilinear Factor Matrix Norm Minimization for Robust PCA: Algorithms and Applications

abstract: The heavy-tailed distributions of corrupted outliers and singular values of all channels in low-level vision have proven effective priors for many applications such as background modeling, photometric stereo and image alignment. And they can be well modeled by a hyper-Laplacian. However, the use of such distributions generally leads to challenging non-convex, non-smooth and non-Lipschitz problems, and makes existing algorithms very slow for large-scale applications. Together with the analytic solutions to lp-norm minimization with two specific values of p, i.e., p=1/2 and p=2/3, we propose two novel bilinear factor matrix norm minimization models for robust principal component analysis. We first define the double nuclear norm and Frobenius/nuclear hybrid norm penalties, and then prove that they are in essence the Schatten-1/2 and 2/3 quasi-norms, respectively, which lead to much more tractable and scalable Lipschitz optimization problems. Our experimental analysis shows that both our methods yield more accurate solutions than original Schatten quasi-norm minimization, even when the number of observations is very limited. Finally, we apply our penalties to various low-level vision problems, e.g., text removal, moving object detection, image alignment and inpainting, and show that our methods usually outperform the state-of-the-art methods.


title: The Impact of Annotation Guidelines and Annotated Data on Extracting App Features from App Reviews

abstract: Annotation guidelines used to guide the annotation of training and evaluation datasets can have a considerable impact on the quality of machine learning models. In this study, we explore the effects of annotation guidelines on the quality of app feature extraction models. As a main result, we propose several changes to the existing annotation guidelines with a goal of making the extracted app features more useful and informative to the app developers. We test the proposed changes via simulating the application of the new annotation guidelines and then evaluating the performance of the supervised machine learning models trained on datasets annotated with initial and simulated guidelines. While the overall performance of automatic app feature extraction remains the same as compared to the model trained on the dataset with initial annotations, the features extracted by the model trained on the dataset with simulated new annotations are less noisy and more informative to the app developers. Secondly, we are interested in what kind of annotated training data is necessary for training an automatic app feature extraction model. In particular, we explore whether the training set should contain annotated app reviews from those apps/app categories on which the model is subsequently planned to be applied, or is it sufficient to have annotated app reviews from any app available for training, even when these apps are from very different categories compared to the test app. Our experiments show that having annotated training reviews from the test app is not necessary although including them into training set helps to improve recall. Furthermore, we test whether augmenting the training set with annotated product reviews helps to improve the performance of app feature extraction. We find that the models trained on augmented training set lead to improved recall but at the cost of the drop in precision.


title: Fighting Contextual Bandits with Stochastic Smoothing

abstract: We introduce a new stochastic smoothing perspective to study adversarial contextual bandit problems. We propose a general algorithm template that represents random perturbation based algorithms and identify several perturbation distributions that lead to strong regret bounds. Using the idea of smoothness, we provide an $O(\sqrt{T})$ zero-order bound for the vanilla algorithm and an $O(L^{*2/3}_{T})$ first-order bound for the clipped version. These bounds hold when the algorithms use with a variety of distributions that have a bounded hazard rate. Our algorithm template includes EXP4 as a special case corresponding to the Gumbel perturbation. Our regret bounds match existing results for EXP4 without relying on the specific properties of the algorithm.


title: Bayesian cosmic density field inference from redshift space dark matter maps

abstract: We present a self-consistent Bayesian formalism to sample the primordial density fields compatible with a set of dark matter density tracers after cosmic evolution observed in redshift space. Previous works on density reconstruction did not self-consistently consider redshift space distortions or included an additional iterative distortion correction step. We present here the analytic solution of coherent flows within a Hamiltonian Monte Carlo posterior sampling of the primordial density field. We test our method within the Zel'dovich approximation, presenting also an analytic solution including tidal fields and spherical collapse on small scales using augmented Lagrangian perturbation theory. Our resulting reconstructed fields are isotropic and their power spectra are unbiased compared to the true one defined by our mock observations. Novel algorithmic implementations are introduced regarding the mass assignment kernels when defining the dark matter density field and optimization of the time step in the Hamiltonian equations of motions. Our algorithm, dubbed barcode, promises to be specially suited for analysis of the dark matter cosmic web down to scales of a few Megaparsecs. This large scale structure is implied by the observed spatial distribution of galaxy clusters --- such as obtained from X-ray, SZ or weak lensing surveys --- as well as that of the intergalactic medium sampled by the Lyman alpha forest or perhaps even by deep hydrogen intensity mapping. In these cases, virialized motions are negligible, and the tracers cannot be modeled as point-like objects. It could be used in all of these contexts as a baryon acoustic oscillation reconstruction algorithm.


title: Maker-Breaker Percolation Games I: Crossing Grids

abstract: Motivated by problems in percolation theory, we study the following 2-player positional game. Let $\Lambda_{m \times n}$ be a rectangular grid-graph with $m$ vertices in each row and $n$ vertices in each column. Two players, Maker and Breaker, play in alternating turns. On each of her turns, Maker claims $p$ (as-yet unclaimed) edges of the board $\Lambda_{m \times n}$, while on each of his turns Breaker claims $q$ (as-yet unclaimed) edges of the board and destroys them. Maker wins the game if she manages to claim all the edges of a crossing path joining the left-hand side of the board to its right-hand side, otherwise Breaker wins. We call this game the $(p,q)$-crossing game on $\Lambda_{m \times n}$. Given $m,n\in \mathbb{N}$, for which pairs $(p,q)$ does Maker have a winning strategy for the $(p,q)$-crossing game on $\Lambda_{m \times n}$? The $(1,1)$-case corresponds exactly to the popular game of Bridg-it, which is well understood due to it being a special case of the older Shannon switching game. In this paper, we study the general $(p,q)$-case. Our main result is to establish the following transition: $\bullet$ If $p\geqslant 2q$, then Maker wins the game on arbitrarily long versions of the narrowest board possible, i.e. Maker has a winning strategy for the $(2q, q)$-crossing game on $\Lambda_{m \times(q+1)}$ for any $m\in \mathbb{N}$; $\bullet$ if $p\leqslant 2q-1$, then for every width $n$ of the board, Breaker has a winning strategy for the $(p,q)$-crossing game on $\Lambda_{m \times n}$ for all sufficiently large board-lengths $m$. Our winning strategies in both cases adapt more generally to other grids and crossing games. In addition we pose many new questions and problems.


title: Segregation of a liquid mixture by a radially oscillating bubble

abstract: A theoretical formulation is proposed for forced mass transport by pressure gradients in a liquid binary mixture around a spherical bubble undergoing volume oscillations in a sound field. Assuming the impermeability of the bubble wall to both species, diffusion driven by pressure gradients and classical Fick-diffusion must cancel at the bubble wall, so that an oscillatory concentration gradient arises in the vicinity of the bubble. The Peclet number Pe is generally high in typical situations and Fick diffusion cannot restore equilibrium immediately, so that an asymptotic average concentration profile may progressively build up in the liquid over large times. Such a behavior is reminiscent of the so-called rectified diffusion problem, leading to slow growth of gas bubble oscillating in a sound field. A rigorous method formerly proposed by Fyrillas & Szeri (1994) to solve the latter problem is used in this paper to solve the present one. It is based on splitting the problem into a smooth part and an oscillatory part. [...] For driving pressures sufficiently high to yield inertial oscillations of the bubble, the oscillatory problem predicts a periodic peak excess concentration of the heaviest species at the bubble wall at each collapse, lingering on several tens of time the characteristic duration of the bubble rebound. The two effects may compete for large molecules and practical implications of this segregation phenomenon are proposed for various processes involving acoustic cavitation.


title: The Human Cell Atlas White Paper

abstract: The Human Cell Atlas (HCA) will be made up of comprehensive reference maps of all human cells - the fundamental units of life - as a basis for understanding fundamental human biological processes and diagnosing, monitoring, and treating disease. It will help scientists understand how genetic variants impact disease risk, define drug toxicities, discover better therapies, and advance regenerative medicine. A resource of such ambition and scale should be built in stages, increasing in size, breadth, and resolution as technologies develop and understanding deepens. We will therefore pursue Phase 1 as a suite of flagship projects in key tissues, systems, and organs. We will bring together experts in biology, medicine, genomics, technology development and computation (including data analysis, software engineering, and visualization). We will also need standardized experimental and computational methods that will allow us to compare diverse cell and tissue types - and samples across human communities - in consistent ways, ensuring that the resulting resource is truly global. This document, the first version of the HCA White Paper, was written by experts in the field with feedback and suggestions from the HCA community, gathered during recent international meetings. The White Paper, released at the close of this yearlong planning process, will be a living document that evolves as the HCA community provides additional feedback, as technological and computational advances are made, and as lessons are learned during the construction of the atlas.


title: Understanding Priors in Bayesian Neural Networks at the Unit Level

abstract: We investigate deep Bayesian neural networks with Gaussian weight priors and a class of ReLU-like nonlinearities. Bayesian neural networks with Gaussian priors are well known to induce an L2, "weight decay", regularization. Our results characterize a more intricate regularization effect at the level of the unit activations. Our main result establishes that the induced prior distribution on the units before and after activation becomes increasingly heavy-tailed with the depth of the layer. We show that first layer units are Gaussian, second layer units are sub-exponential, and units in deeper layers are characterized by sub-Weibull distributions. Our results provide new theoretical insight on deep Bayesian neural networks, which we corroborate with simulation experiments.


title: On the construction of a complete Kahler-Einstein metric with negative scalar curvature near an isolated log-canonical singularity

abstract: In this short note we are concerned with the Kahler-Einstein metrics near cone type log canonical singularities. By two different approaches, we construct a complete Kahler-Einstein metric with negative scalar curvature in a neighborhood of the cone over a Calabi-Yau manifold, which provides a local model for the future study of the global Kahler-Einstein metrics on singular varieties. In the first approach, we show that the singularity is uniformized by a complex ball and hence the induced metric from the Bergman metric of the ball is a desired one. In the second approach, we obtain a complete Kahler-Einstein metric with negative curvature by using Calabi Ansatz. At last, we show that these two metrics are indeed the same.


title: Scalable in operando strain tuning in nanophotonic waveguides enabling three-quantum dot superradiance

abstract: The quest for an integrated quantum optics platform has motivated the field of semiconductor quantum dot research for two decades. Demonstrations of quantum light sources, single photon switches, transistors, and spin-photon interfaces have become very advanced. Yet the fundamental problem that every quantum dot is different prevents integration and scaling beyond a few quantum dots. Here, we address this challenge by patterning strain via local phase transitions to selectively tune individual quantum dots that are embedded in a photonic architecture. The patterning is implemented with in operando laser crystallization of a thin HfO$_{2}$ film "sheath" on the surface of a GaAs waveguide. Using this approach, we tune InAs quantum dot emission energies over the full inhomogeneous distribution with a step size down to the homogeneous linewidth and a spatial resolution better than 1 $\mu $m. Using these capabilities, we tune multiple quantum dots into resonance within the same waveguide and demonstrate a quantum interaction via superradiant emission from three quantum dots.


title: The $\xi,\zeta$-Dunford Pettis property

abstract: Using the hierarchy of weakly null sequences introduced by Argyros, Merkourakis, and Tsarpalias, we introduce two new families of operator classes. The first family simultaneously generalizes the completely continuous operators and the weak Banach-Saks operators. The second family generalizes the class $\mathfrak{DP}$. We study the distinctness of these classes, and prove that each class is an operator ideal. We also investigate the properties possessed by each class, such as injectivity, surjectivity, and identification of the dual class. We produce a number of examples, including the higher ordinal Schreier and Baernstein spaces. We prove ordinal analogues of several known results for Banach spaces with the Dunford-Pettis, hereditary Dunford-Pettis property, and hereditary by quotients Dunford-Pettis property. For example, we prove that for any $0\leqslant \xi, \zeta<\omega_1$, a Banach space $X$ has the hereditary $\omega^\xi, \omega^\zeta$-Dunford Pettis property if and only if every seminormalized, weakly null sequence either has a subsequence which is an $\ell_1^{\omega^\xi}$-spreading model or a $c_0^{\omega^\zeta}$-spreading model.


title: Topological Phases in Cove-Edged and Chevron Graphene Nanoribbons: Geometric Structures, Z2 Invariants, and Junction States

abstract: Graphene nanoribbons (GNRs) have recently been shown by Cao, Zhao, and Louie [Cao, T.; Zhao, F.; Louie, S. G. Phys. Rev. Lett. 2017, 119, 076401] to possess distinct topological phases in general, characterized by a Z2 invariant. Cove-edged and chevron GNRs moreover are chemically and structurally diverse, quasi-one-dimensional (1D) nanostructures whose structure and electronic properties can be rationally controlled by bottom-up synthesis from precursor molecules. We derive the value of the topological invariant of the different types of cove-edged and chevron GNRs, and we investigate the electronic properties of various junctions formed by these GNRs, as well as such GNRs with the more common armchair or zigzag GNRs. We study the topological junction states at the interface of two topologically distinct segments. For an isolated GNR having two ends of different terminations, topological end states are shown to develop only at the topologically nontrivial end. Our work extends the explicit categorization of topological invariants of GNRs beyond the previously demonstrated armchair GNRs and provides new design rules for novel GNR junctions as well as future GNR-based nanoelectronic devices.


title: On Riemanns Nachlass for Analytic Number Theory: A translation of Siegel's Uber

abstract: In 1859 Riemann (1826-1866) published his only paper on number theory. In this eight-page paper he obtained a formula for the number of primes less than or equal to a real number x, and revealed the deep connection between the distribution of primes and the zeros of an analytic function now called the Riemann Zeta Function. In the early 1930's two related unpublished results from 1859 were found in Riemanns very rough notes by the great twentieth century mathematician and scholar, Carl Ludwig Siegel (1896-1981). In his 1932 paper "Uber Riemanns Nachlass zur analytischen Zahlentheorie"("On Riemann's Nachlass for Analytic Number Theory") Siegel presents these unpublished results and gives derivations he found in Riemann's notes. The first is an asymptotic development, now called the Riemann-Siegel formula, for efficiently computing values of the Riemann Zeta Function. The second is a new integral representation of the zeta function. These results had not been rediscovered seventy years after Riemann. Thus, in 1932 the importance of Siegel's paper was not only its contribution to the history of mathematics, but also its contribution to current research. Hoping to get some insight into how Siegel spotted and deciphered these gems among Riemann's fragmentary and disordered personnel papers, we decided to look at the 1932 paper. We also wanted to learn how much of the paper is original to Riemann and whether Siegel needed to fill any gaps. Although Siegel's paper is cited whenever the Riemann-Siegel formula is discussed, we were unable the locate an English translation. Despite our limited knowledge of the German language, we have produced a translation of the paper as it appears in volume one of Siegel's collected works.


title: Inflation as an Information Bottleneck - A strategy for identifying universality classes and making robust predictions

abstract: In this work we propose a statistical approach to handling sources of theoretical uncertainty in string theory models of inflation. By viewing a model of inflation as a probabilistic graph, we show that there is an inevitable information bottleneck between the ultraviolet input of the theory and observables, as a simple consequence of the data processing theorem. This information bottleneck can result in strong hierarchies in the sensitivity of observables to the parameters of the underlying model and hence universal predictions with respect to at least some microphysical considerations. We also find other intriguing behaviour, such as sharp transitions in the predictions when certain hyperparameters cross a critical value. We develop a robust numerical approach to studying these behaviours by adapting methods often seen in the context of machine learning. We first test our approach by applying it to well known examples of universality, sharp transitions, and concentration phenomena in random matrix theory. We then apply the method to inflation with axion monodromy. We find universality with respect to a number of model parameters and that consistency with observational constraints implies that with very high probability certain perturbative corrections are non-negligible.


title: Large Scale Properties of Tilt of Sunspot Groups and Joy's Law Near The Solar Equator

abstract: We present a physical mechanism of formation of tilt angles of sunspots due to the process of formation of active regions below the solar photosphere. The contribution of Coriolis force factors on large-scale flows of super-granular convection in turbulent media has been investigated in details. On the basis of earlier works by Kleeorin et al. (2016) and Safiullin et al. (2018) we give physical estimates of orders of magnitude of the effect and estimate the tilt angles near the solar equator, in the "Royal" zone of solar activity. The above model is based on the balance of the small-scale and large scale magnetic helicities and describes in details the sunspot formation process over the last five solar cycles (since 1964). We adopt this model for a wider class of manifestations of solar activity. We present latitudinal dependence of the mean tilt on these five solar cycles and time-latitudinal diagrams over a limited range of latitudes and phases of the solar cycle.


title: Mind the GAP: A Balanced Corpus of Gendered Ambiguous Pronouns

abstract: Coreference resolution is an important task for natural language understanding, and the resolution of ambiguous pronouns a longstanding challenge. Nonetheless, existing corpora do not capture ambiguous pronouns in sufficient volume or diversity to accurately indicate the practical utility of models. Furthermore, we find gender bias in existing corpora and systems favoring masculine entities. To address this, we present and release GAP, a gender-balanced labeled corpus of 8,908 ambiguous pronoun-name pairs sampled to provide diverse coverage of challenges posed by real-world text. We explore a range of baselines which demonstrate the complexity of the challenge, the best achieving just 66.9% F1. We show that syntactic structure and continuous neural models provide promising, complementary cues for approaching the challenge.


title: Elastic light-by-light scattering in a nonminimal Lorentz violation scenario

abstract: In the last years the Lorentz Violation scheme was implemented in QFT, in special in standard model of particle physics, in an attempt to explain our actual open problems. In this work we analyze nonminimal couplings between a Lorentz-violating 4-vector and the photon field and the leptonic current of QED. The 1-loop contribution of the elastic photon-photon scattering is showed and the novel characteristics which arose are pointed out.


title: The Limited Accuracy of Linearized Gravity

abstract: Standard cosmological models rely on an approximate treatment of gravity, utilizing solutions of the linearized Einstein equations as well as physical approximations. In an era of precision cosmology, we should ask: are these approximate predictions sufficiently accurate for comparison to observations, and can we draw meaningful conclusions about properties of our Universe from them? In this work we examine the accuracy of linearized gravity in the presence of collisionless matter and a cosmological constant utilizing fully general relativistic simulations. We observe the gauge-dependence of corrections to linear theory, and note the amplitude of these corrections. For perturbations whose amplitudes are in line with expectations from the standard $\Lambda$CDM model, we find that the full, general relativistic metric is well-described by linear theory in Newtonian and harmonic gauges, while the metric in comoving-synchronous gauge is not. For the largest observed structures in our Universe, our results suggest that corrections to linear gravitational theory can reach or surpass the percent-level.


title: Verification of Two-Dimensional Monte Carlo Ray-Trace Methodology in Radiation Heat Transfer Analysis

abstract: Despite the frequent appearance in the radiation heat transfer literature of articles describing Monte Carlo ray-trace (MCRT) applications to two-dimensional enclosures, no formal verification may be found of the method commonly used to determine the directional distribution of diffuse emission and reflection when estimating two-dimensional radiation distribution factors. Considered are two methods for determining the direction cosines in this situation. The results are shown to be in agreement with those obtained in the limiting case of a three-dimensional enclosure as one of its dimensions is increased.


title: Deformed mesh algebras of Dynkin type $\mathbb{F}_4$

abstract: We prove that every deformed mesh algebra of type $\mathbb{F}_4$ is isomorphic to the canonical mesh algebra of type $\mathbb{F}_4$.


title: MeshAdv: Adversarial Meshes for Visual Recognition

abstract: Highly expressive models such as deep neural networks (DNNs) have been widely applied to various applications. However, recent studies show that DNNs are vulnerable to adversarial examples, which are carefully crafted inputs aiming to mislead the predictions. Currently, the majority of these studies have focused on perturbation added to image pixels, while such manipulation is not physically realistic. Some works have tried to overcome this limitation by attaching printable 2D patches or painting patterns onto surfaces, but can be potentially defended because 3D shape features are intact. In this paper, we propose meshAdv to generate "adversarial 3D meshes" from objects that have rich shape features but minimal textural variation. To manipulate the shape or texture of the objects, we make use of a differentiable renderer to compute accurate shading on the shape and propagate the gradient. Extensive experiments show that the generated 3D meshes are effective in attacking both classifiers and object detectors. We evaluate the attack under different viewpoints. In addition, we design a pipeline to perform black-box attack on a photorealistic renderer with unknown rendering parameters.


title: On Kernel Derivative Approximation with Random Fourier Features

abstract: Random Fourier features (RFF) represent one of the most popular and wide-spread techniques in machine learning to scale up kernel algorithms. Despite the numerous successful applications of RFFs, unfortunately, quite little is understood theoretically on their optimality and limitations of their performance. Only recently, precise statistical-computational trade-offs have been established for RFFs in the approximation of kernel values, kernel ridge regression, kernel PCA and SVM classification. Our goal is to spark the investigation of optimality of RFF-based approximations in tasks involving not only function values but derivatives, which naturally lead to optimization problems with kernel derivatives. Particularly, in this paper, we focus on the approximation quality of RFFs for kernel derivatives and prove that the existing finite-sample guarantees can be improved exponentially in terms of the domain where they hold, using recent tools from unbounded empirical process theory. Our result implies that the same approximation guarantee is attainable for kernel derivatives using RFF as achieved for kernel values.


title: Exchanging identical particles and topological quantum computing

abstract: The phase factor $(-1)^{2s}$ that features in the exchange symmetry for identical spin-$s$ fermions or bosons is not simply and automatically equal to the phase factor one can observe in an interference experiment that involves physically exchanging two such particles. The observable phase contains, in general, single-particle geometric and dynamical phases as well, induced by both spin and spatial exchange transformations. By extending the analysis to (non-abelian) anyons it is argued that, similarly, there are single-anyon geometric and dynamical contributions in addition to purely topological unitary transformations that accompany physical exchanges of anyons. Work remains to be done in order to demonstrate---if it is still true---that those additional contributions to the gates in anyonic topological quantum computers do not destroy the inherent robustness of the ideal gates. This negative result is described most clearly in terms of the Berry matrix.


title: Factors controlling oxygen interstitial diffusion in the Ruddlesden-Popper oxide La2-xSrxNiO4+delta

abstract: The development of Ruddlesden-Popper (RP) oxides as oxygen exchange and transport materials will benefit from mechanistic understanding of how oxygen transports through these materials. Using Density Functional Theory, we found there are two distinct oxygen interstitial diffusion mechanisms involving two different oxygen interstitial species that can be active in La2-xSrxNiO4+delta, and, we believe, in hyperstoichiometric RP oxides in general. The first mechanism is the previously proposed interstitialcy-mediated mechanism, which consists of diffusing oxide interstitials. The second mechanism is newly discovered in this work, and consists of both oxide and peroxide interstitial species. This mechanism exhibits a similar or possibly lower migration barrier than the interstitialcy mechanism for high oxidation states. Which mechanism contributes to the oxygen interstitial diffusion is the result of the change in relative stability between the oxide interstitial and peroxide interstitial. The stability of the oxide and peroxide, and the competition between the two oxygen diffusion mechanisms, is sensitive to the overall oxidation state of the system. Therefore, the oxygen diffusion mechanism is a function of the material composition, oxygen off-stoichiometry, operating temperature and oxygen partial pressure. We also examined the effect of epitaxial strain on both oxygen diffusion mechanisms, and found that tensile and compressive epitaxial strain of up to 2% had less than 100 meV/(% strain) effects on oxygen interstitial formation, migration, and activation energies, and that total achievable activation energy reductions are likely less than 100 meV for -2% to +2% epitaxial strain. The presented understanding of factors governing interstitial oxygen diffusion has significant implications for the engineering of RP oxides in numerous alternative energy technologies.


title: Limits on Clouds and Hazes for the TRAPPIST-1 Planets

abstract: The TRAPPIST-1 planetary system is an excellent candidate for study of the evolution and habitability of M-dwarf planets. Transmission spectroscopy observations performed with the Hubble Space Telescope (HST) suggest the innermost five planets do not possess clear hydrogen atmospheres. Here we reassess these conclusions with recently updated mass constraints and expand the analysis to include limits on metallicity, cloud top pressure, and the strength of haze scattering. We connect recent laboratory results of particle size and production rate for exoplanet hazes to a one-dimensional atmospheric model for TRAPPIST-1 transmission spectra. Doing so, we obtain a physically-based estimate of haze scattering cross sections. We find haze scattering cross sections on the order of 1e-26 to 1e-19 cm squared are needed in hydrogen-rich atmospheres for TRAPPIST-1 d, e, and f to match the HST data. For TRAPPIST-1 g, we cannot rule out a clear hydrogen-rich atmosphere. We also modeled the effects an opaque cloud deck and substantial heavy element content have on the transmission spectra. We determine that hydrogen-rich atmospheres with high altitude clouds, at pressures of 12mbar and lower, are consistent with the HST observations for TRAPPIST-1 d and e. For TRAPPIST-1 f and g, we cannot rule out clear hydrogen-rich cases to high confidence. We demonstrate that metallicities of at least 60xsolar with tropospheric (0.1 bar) clouds agree with observations. Additionally, we provide estimates of the precision necessary for future observations to disentangle degeneracies in cloud top pressure and metallicity. Our results suggest secondary, volatile-rich atmospheres for the outer TRAPPIST-1 planets d, e, and f.


title: Galaxies flowing in the oriented saddle frame of the cosmic web

abstract: The strikingly anisotropic large-scale distribution of matter made of an extended network of voids delimited by sheets, themselves segmented by filaments, within which matter flows towards compact nodes where they intersect, imprints its geometry on the dynamics of cosmic flows, ultimately shaping the distribution of galaxies and the redshift evolution of their properties. The (filament-type) saddle points of this cosmic web provide a local frame in which to quantify the induced physical and morphological evolution of galaxies on large scales. The properties of virtual galaxies within the Horizon-AGN simulation are stacked in such a frame. The iso-contours of the galactic number density, mass, specific star formation rate (sSFR), kinematics and age are clearly aligned with the filament axis with steep gradients perpendicular to the filaments. A comparison to a simulation without feedback from active galactic nuclei (AGN) illustrates its impact on quenching star formation of centrals away from the saddles. The redshift evolution of the properties of galaxies and their age distribution are consistent with the geometry of the bulk flow within that frame. They compare well with expectations from constrained Gaussian random fields and the scaling with the mass of non-linearity, modulo the redshift dependent impact of feedback processes. Physical properties such as sSFR and kinematics seem not to depend only on mean halo mass and density: the residuals trace the geometry of the saddle, which could point to other environment-sensitive physical processes, such as spin advection, and AGN feedback at high mass.


title: Distributionally Robust Transmission Expansion Planning: a Multi-scale Uncertainty Approach

abstract: We present a distributionally robust optimization (DRO) approach for the transmission expansion planning problem, considering both long- and short-term uncertainties on the system demand and non-dispatchable renewable generation. On the long-term level, as is customary in industry applications, we address the deep uncertainties arising from social and economic transformations, political and environmental issues, and technology disruptions by using long-term scenarios devised by experts. In this setting, many exogenous long-term scenarios containing partial information about the random parameters, namely, the average and the support set, can be considered. For each long-term scenario, a conditional ambiguity set models the incomplete knowledge about the probability distribution of the uncertain parameters in the short-term operation. Consequently, the mathematical problem is formulated as a DRO model with multiple conditional ambiguity sets. The resulting infinite-dimensional problem is recast as an exact, although very large, finite mixed-integer linear programming problem. To circumvent scalability issues, we propose a new enhanced-column-and-constraint-generation (ECCG) decomposition approach with an additional Dantzig--Wolfe procedure. In comparison to existing methods, ECCG leads to a better representation of the recourse function and, consequently, tighter bounds. Numerical experiments based on the benchmark IEEE 118-bus system are reported to corroborate the effectiveness of the method.


title: Systematic Study of Accuracy of Wall-Modeled Large Eddy Simulation using Uncertainty Quantification Techniques

abstract: The predictive accuracy of wall-modeled large eddy simulation is studied by systematic simulation campaigns of turbulent channel flow. The effect of wall model, grid resolution and anisotropy, numerical convective scheme and subgrid-scale modeling is investigated. All of these factors affect the resulting accuracy, and their action is to a large extent intertwined. The wall model is of the wall-stress type, and its sensitivity to location of velocity sampling, as well as law of the wall's parameters is assessed. For efficient exploration of the model parameter space (anisotropic grid resolution and wall model parameter values), generalized polynomial chaos expansions are used to construct metamodels for the responses which are taken to be measures of the predictive error in quantities of interest (QoIs). The QoIs include the mean wall shear stress and profiles of the mean velocity, the turbulent kinetic energy, and the Reynolds shear stress. DNS data is used as reference. Within the tested framework, a particular second-order accurate CFD code (OpenFOAM), the results provide ample support for grid and method parameters recommendations which are proposed in the present paper, and which provide good results for the QoIs. Notably, good results are obtained with a grid with isotropic (cubic) hexahedral cells, with $15\, 000$ cells per $\delta^3$, where $\delta$ is the channel half-height (or thickness of the turbulent boundary layer). The importance of providing enough numerical dissipation to obtain accurate QoIs is demonstrated. The main channel flow case investigated is ${\rm Re}_\tau=5200$, but extension to a wide range of ${\rm Re}$-numbers is considered. Use of other numerical methods and software would likely modify these recommendations, at least slightly, but the proposed framework is fully applicable to investigate this as well.


title: Parallelized Linear Classification with Volumetric Chemical Perceptrons

abstract: In this work, we introduce a new type of linear classifier that is implemented in a chemical form. We propose a novel encoding technique which simultaneously represents multiple datasets in an array of microliter-scale chemical mixtures. Parallel computations on these datasets are performed as robotic liquid handling sequences, whose outputs are analyzed by high-performance liquid chromatography. As a proof of concept, we chemically encode several MNIST images of handwritten digits and demonstrate successful chemical-domain classification of the digits using volumetric perceptrons. We additionally quantify the performance of our method with a larger dataset of binary vectors and compare the experimental measurements against predicted results. Paired with appropriate chemical analysis tools, our approach can work on increasingly parallel datasets. We anticipate that related approaches will be scalable to multilayer neural networks and other more complex algorithms. Much like recent demonstrations of archival data storage in DNA, this work blurs the line between chemical and electrical information systems, and offers early insight into the computational efficiency and massive parallelism which may come with computing in chemical domains.

categories: cs.ET cond-mat.other physics.chem-ph q-bio.MN


title: Optical contrast and refractive index of natural van der Waals heterostructure nanosheets of franckeite

abstract: We study mechanically exfoliated nanosheets of franckeite by quantitative optical microscopy. The analysis of transmission mode and epi-illumination mode optical microscopy images provides a rapid method to estimate the thickness of the exfoliated flakes at first glance. A quantitative analysis of the optical contrast spectra by means of micro-reflectance allows one to determine the refractive index of franckeite in a broad range of the visible spectrum through a fit of the acquired spectra to a Fresnel law based model.


title: BICEP2 / Keck Array x: Constraints on Primordial Gravitational Waves using Planck, WMAP, and New BICEP2/Keck Observations through the 2015 Season

abstract: We present results from an analysis of all data taken by the BICEP2/Keck CMB polarization experiments up to and including the 2015 observing season. This includes the first Keck Array observations at 220 GHz and additional observations at 95 & 150 GHz. The $Q/U$ maps reach depths of 5.2, 2.9 and 26 $\mu$K$_{cmb}$ arcmin at 95, 150 and 220 GHz respectively over an effective area of $\approx 400$ square degrees. The 220 GHz maps achieve a signal-to-noise on polarized dust emission approximately equal to that of Planck at 353 GHz. We take auto- and cross-spectra between these maps and publicly available WMAP and Planck maps at frequencies from 23 to 353 GHz. We evaluate the joint likelihood of the spectra versus a multicomponent model of lensed-$\Lambda$CDM+$r$+dust+synchrotron+noise. The foreground model has seven parameters, and we impose priors on some of these using external information from Planck and WMAP derived from larger regions of sky. The model is shown to be an adequate description of the data at the current noise levels. The likelihood analysis yields the constraint $r_{0.05}<0.07$ at 95% confidence, which tightens to $r_{0.05}<0.06$ in conjunction with Planck temperature measurements and other data. The lensing signal is detected at $8.8 \sigma$ significance. Running maximum likelihood search on simulations we obtain unbiased results and find that $\sigma(r)=0.020$. These are the strongest constraints to date on primordial gravitational waves.


title: Stochastic reachability of a target tube: Theory and computation

abstract: Probabilistic guarantees of safety and performance are important in constrained dynamical systems with stochastic uncertainty. We consider the stochastic reachability problem, which maximizes the probability that the state remains within time-varying state constraints (i.e., a ``target tube''), despite bounded control authority. This problem subsumes the stochastic viability and terminal hitting-time stochastic reach-avoid problems. Of special interest is the stochastic reach set, the set of all initial states from which it is possible to stay in the target tube with a probability above a desired threshold. We provide sufficient conditions under which the stochastic reach set is closed, compact, and convex, and provide an underapproximative interpolation technique for stochastic reach sets. Utilizing convex optimization, we propose a scalable and grid-free algorithm that computes a polytopic underapproximation of the stochastic reach set and synthesizes an open-loop controller. This algorithm is anytime, i.e., it produces a valid output even on early termination. We demonstrate the efficacy and scalability of our approach on several numerical examples, and show that our algorithm outperforms existing software tools for verification of linear systems.


title: Generalized Riesz systems and orthonormal sequences in Krein spaces

abstract: We analyse special classes of biorthogonal sets of vectors in Hilbert and in Krein spaces, and their relations with $\mathcal{G}$- quasi bases. We also discuss their relevance in some concrete quantum mechanical system driven by manifestly non self-adjoint Hamiltonians.


title: Conformally Soft Photons and Gravitons

abstract: The four-dimensional $S$-matrix is reconsidered as a correlator on the celestial sphere at null infinity. Asymptotic particle states can be characterized by the point at which they enter or exit the celestial sphere as well as their $SL(2,\mathbb C)$ Lorentz quantum numbers: namely their conformal scaling dimension and spin $h\pm \bar h$ instead of the energy and momentum. This characterization precludes the notion of a soft particle whose energy is taken to zero. We propose it should be replaced by the notion of a conformally soft particle with $h=0$ or $\bar h=0$. For photons we explicitly construct conformally soft $SL(2,\mathbb C)$ currents with dimensions $(1,0)$ and identify them with the generator of a $U(1)$ Kac-Moody symmetry on the celestial sphere. For gravity the generator of celestial conformal symmetry is constructed from a $(2,0)$ $SL(2,\mathbb C)$ primary wavefunction. Interestingly, BMS supertranslations are generated by a spin-one weight $(\frac{3}{2},\frac{1}{2})$ operator, which nevertheless shares holomorphic characteristics of a conformally soft operator. This is because the right hand side of its OPE with a weight $(h,\bar h)$ operator ${\cal O}_{h,\bar h}$ involves the shifted operator ${\cal O}_{h+\frac{1}{2},\bar h+ \frac{1}{2}}$. This OPE relation looks quite unusual from the celestial CFT$_2$ perspective but is equivalent to the leading soft graviton theorem and may usefully constrain celestial correlators in quantum gravity.


title: FeatureLego: Volume Exploration Using Exhaustive Clustering of Super-Voxels

abstract: We present a volume exploration framework, FeatureLego, that uses a novel voxel clustering approach for efficient selection of semantic features. We partition the input volume into a set of compact super-voxels that represent the finest selection granularity. We then perform an exhaustive clustering of these super-voxels using a graph-based clustering method. Unlike the prevalent brute-force parameter sampling approaches, we propose an efficient algorithm to perform this exhaustive clustering. By computing an exhaustive set of clusters, we aim to capture as many boundaries as possible and ensure that the user has sufficient options for efficiently selecting semantically relevant features. Furthermore, we merge all the computed clusters into a single tree of meta-clusters that can be used for hierarchical exploration. We implement an intuitive user-interface to interactively explore volumes using our clustering approach. Finally, we show the effectiveness of our framework on multiple real-world datasets of different modalities.


title: MDGAN: Boosting Anomaly Detection Using \\Multi-Discriminator Generative Adversarial Networks

abstract: Anomaly detection is often considered a challenging field of machine learning due to the difficulty of obtaining anomalous samples for training and the need to obtain a sufficient amount of training data. In recent years, autoencoders have been shown to be effective anomaly detectors that train only on "normal" data. Generative adversarial networks (GANs) have been used to generate additional training samples for classifiers, thus making them more accurate and robust. However, in anomaly detection GANs are only used to reconstruct existing samples rather than to generate additional ones. This stems both from the small amount and lack of diversity of anomalous data in most domains. In this study we propose MDGAN, a novel GAN architecture for improving anomaly detection through the generation of additional samples. Our approach uses two discriminators: a dense network for determining whether the generated samples are of sufficient quality (i.e., valid) and an autoencoder that serves as an anomaly detector. MDGAN enables us to reconcile two conflicting goals: 1) generate high-quality samples that can fool the first discriminator, and 2) generate samples that can eventually be effectively reconstructed by the second discriminator, thus improving its performance. Empirical evaluation on a diverse set of datasets demonstrates the merits of our approach.


title: Efficient Augmentation via Data Subsampling

abstract: Data augmentation is commonly used to encode invariances in learning methods. However, this process is often performed in an inefficient manner, as artificial examples are created by applying a number of transformations to all points in the training set. The resulting explosion of the dataset size can be an issue in terms of storage and training costs, as well as in selecting and tuning the optimal set of transformations to apply. In this work, we demonstrate that it is possible to significantly reduce the number of data points included in data augmentation while realizing the same accuracy and invariance benefits of augmenting the entire dataset. We propose a novel set of subsampling policies, based on model influence and loss, that can achieve a 90% reduction in augmentation set size while maintaining the accuracy gains of standard data augmentation.


title: First high-resolution look at the quiet Sun with ALMA at 3 mm

abstract: We present an overview of high resolution quiet Sun observations, from disk center to the limb, obtained with the Atacama Large mm and sub-mm Array (ALMA) at 3 mm. Seven quiet Sun regions were observed with resolution of up to 2.5" by 4.5". We produced both average and snapshot images by self-calibrating the ALMA visibilities and combining the interferometric images with full disk solar images. The images show well the chromospheric network, which, based on the unique segregation method we used, is brighter than the average over the fields of view of the observed regions by $\sim 305$ K while the intranetwork is less bright by $\sim 280$ K, with a slight decrease of the network/intranetwork contrast toward the limb. At 3 mm the network is very similar to the 1600 \AA\ images, with somewhat larger size. We detected for the first time spicular structures, rising up to 15" above the limb with a width down to the image resolution and brightness temperature of $\sim$ 1800 K above the local background. No trace of spicules, either in emission or absorption, was found on the disk. Our results highlight ALMA's potential for the study of the quiet chromosphere.


title: Chiral Symmetry Breaking out of QCD Effective Locality

abstract: The QCD non-perturbative property of Effective Locality whose essential meaning has been disclosed recently, is here questioned about the chiral symmetry breaking phenomenon, one of the two major issues of the non-perturbative phase of QCD. As a first attempt, quenching and the eikonal approximation are used so as to simplify calculations which are quite involved. Chiral symmetry breaking appears to be realised in close connection to the Effective Locality mass scale, $\mu^2$ , as could be expected.


title: Inherently stable effective field theory for dark energy and modified gravity

abstract: The growing wealth of cosmological observations places increasingly more stringent constraints on dark energy and alternative gravity models. Particularly successful in efficiently probing the vast model space has been the effective field theory of dark energy and modified gravity, providing a unified framework for generalised cosmological predictions. However, the optimal parametrisation of the free time-dependent functions inherent to the formalism is still unresolved. It should respect a multitude of requirements, ranging from simplicity, generality, and representativity of known theories to computational efficiency. But in particular, for theoretical soundness, the parameter space should adhere to strict stability requirements. We have recently proposed an inherently stable effective field theory with physical basis of Planck mass evolution, sound speed of the scalar field fluctuation, kinetic coefficient, and background expansion, which covers Horndeski models with luminal speed of gravity. Here we devise a parametrisation of these basis functions that can straightforwardly be configured to evade theoretical pathologies such as ghost or gradient instabilities or to accommodate further theoretical priors such as (sub)luminal scalar sound speed. The parametrisation is simple yet general, conveniently represents a broad range of known dark energy and gravitational theories, and with a simple additional approximation can be rendered numerically highly efficient. Finally, by operating in our new basis, we show that there are no general limitations from stability requirements on the current values that can be assumed by the phenomenological modification of the Poisson equation and the gravitational slip besides the exclusion of anti-gravity. The inherently stable effective field theory is ready for implementation in parameter estimation analyses employing linear cosmological observations.


title: Towards Quantum One-Time Memories from Stateless Hardware

abstract: A central tenet of theoretical cryptography is the study of the minimal assumptions required to implement a given cryptographic primitive. One such primitive is the one-time memory (OTM), introduced by Goldwasser, Kalai, and Rothblum [CRYPTO 2008], which is a classical functionality modeled after a non-interactive 1-out-of-2 oblivious transfer, and which is complete for one-time classical and quantum programs. It is known that secure OTMs do not exist in the standard model in both the classical and quantum settings. Here, we propose a scheme for using quantum information, together with the assumption of stateless (i.e., reusable) hardware tokens, to build statistically secure OTMs. Via the semidefinite programming-based quantum games framework of Gutoski and Watrous [STOC 2007], we prove security for a malicious receiver making at most 0.114n adaptive queries to the token (for n the key size), in the quantum universal composability framework, but leave open the question of security against a polynomial amount of queries. Compared to alternative schemes derived from the literature on quantum money, our scheme is technologically simple since it is of the "prepare-and-measure" type. We also give two impossibility results showing certain assumptions in our scheme cannot be relaxed.


title: Large Genus Asymptotics for Siegel-Veech Constants

abstract: In this paper we consider the large genus asymptotics for two classes of Siegel-Veech constants associated with an arbitrary connected stratum $\mathcal{H} (\alpha)$ of Abelian differentials. The first is the saddle connection Siegel-Veech constant $c_{\text{sc}}^{m_i, m_j} \big( \mathcal{H} (\alpha) \big)$ counting saddle connections between two distinct, fixed zeros of prescribed orders $m_i$ and $m_j$, and the second is the area Siegel-Veech constant $c_{\text{area}} \big( \mathcal{H}(\alpha) \big)$ counting maximal cylinders weighted by area. By combining a combinatorial analysis of explicit formulas of Eskin-Masur-Zorich that express these constants in terms of Masur-Veech strata volumes, with a recent result for the large genus asymptotics of these volumes, we show that $c_{\text{sc}}^{m_i, m_j} \big( \mathcal{H} (\alpha) \big) = (m_i + 1) (m_j + 1) \big( 1 + o(1) \big)$ and $c_{\text{area}} \big( \mathcal{H}(\alpha) \big) = \frac{1}{2} + o(1)$, both as $|\alpha| = 2g - 2$ tends to $\infty$. The former result confirms a prediction of Zorich and the latter confirms one of Eskin-Zorich in the case of connected strata.


title: Evolution of the holographic entanglement entropy quantities for composite quantum systems

abstract: Holographic entanglement entropy quantities for a three-party system are considered, namely tripartite information, total correlation and secrecy monotone. A holographic approach with Vaidya-AdS is used to calculate time evolution of the entanglement entropy during non-equilibrium heating. We study time dependence of these three entropy quantities.


title: Confronting the fourth generation two Higgs doublet model with the phenomenology of heavy Higgs bosons

abstract: A sequential fourth generation is known to be excluded because the non-decoupling contribution to $\kappa_g$, the Higgs coupling modifier with a gluon pair, is unacceptably large. Recently a new way to save the model was suggested in the Type-II two Higgs doublet model: if the Yukawa couplings of down-type fermions have wrong-sign, the contributions from $t'$ and $b'$ to $\kappa_g$ are cancelled. We study the theoretical and experimental constraints on this model, focusing on the heavy Higgs bosons. Two constraining features are pointed out. First the exact wrong-sign limit does not allow the alignment, which makes the perturbative unitarity for the scalar-scalar scattering put the upper bounds on the heavy Higgs boson masses like $M_H, M_A \lesssim 920$ GeV and $M_{H^\pm} \lesssim 620$ GeV. Secondly, the Yukawa couplings of the fourth generation fermions to the heavy Higgs bosons are generically large as being proportional to the heavy fermion mass and, for the down-type fermions, to $\tan\beta$ as well. The gluon fusion productions of $H$ and $A$ through the fourth generation quark loops become significant. We found that the current LHC data on $pp \to Z Z$ for $H$ along with the theoretical and indirect constraints exclude the model at leading order.


title: The Polynomial Endomorphisms of Graph Algebras

abstract: We investigate polynomial endomorphisms of graph $C^*$-algebras and Leavitt path algebras. To this end, we define and analyze the coding graph corresponding to each such an endomorphism. We find an if and only if condition for the endomorphism to restrict to an automorphism of the diagonal MASA, which is stated in terms of synchronization of a certain labelling on the coding graph. We show that the dynamics induced this way on the space of infinite paths (the spectrum of the MASA) is generated by an asynchronous transducer.


title: Exploiting Low-Rank Structure in Semidefinite Programming by Approximate Operator Splitting

abstract: In contrast with many other convex optimization classes, state-of-the-art semidefinite programming solvers are yet unable to efficiently solve large scale instances. This work aims to reduce this scalability gap by proposing a novel proximal algorithm for solving general semidefinite programming problems. The proposed methodology, based on the primal-dual hybrid gradient method, allows the presence of linear inequalities without the need of adding extra slack variables and avoids solving a linear system at each iteration. More importantly, it does simultaneously compute the dual variables associated with the linear constraints. The main contribution of this work is to achieve a substantial speedup by effectively adjusting the proposed algorithm in order to exploit the low-rank property inherent to several semidefinite programming problems. This proposed modification is the key element that allows the operator splitting method to efficiently scale to larger instances. Convergence guarantees are presented along with an intuitive interpretation of the algorithm. Additionally, an open source semidefinite programming solver, called ProxSDP, is made available and implementation details are discussed. Case studies are presented in order to evaluate the performance of the proposed methodology.


title: Relativistic Cholesky-decomposed density matrix MP2

abstract: In the present article, we introduce the relativistic Cholesky-decomposed density (CDD) matrix second-order M{\o}ller-Plesset perturbation theory (MP2) energies. The working equations are formulated in terms of the usual intermediates of MP2 when employing the resolution-of-the-identity approximation (RI) for two-electron integrals. Those intermediates are obtained by substituting the occupied and virtual quaternion pseudo-density matrices of our previously proposed two-component atomic orbital-based MP2 (J. Chem. Phys. 145, 014107 (2016)) by the corresponding pivoted quaternion Cholesky factors. While working within the Kramers-restricted formalism, we obtain a formal spin-orbit overhead of 16 and 28 for the Coulomb and exchange contribution to the 2C MP2 correlation energy, respectively, compared to a non-relativistic (NR) spin-free CDD-MP2 implementation. This compact quaternion formulation could also be easily explored in any other algorithm to compute the 2C MP2 energy. The quaternion Cholesky factors become sparse for large molecules and, with a block-wise screening, block sparse-matrix multiplication algorithm, we observed an effective quadratic scaling of the total wall time for heavy-element containing linear molecules with increasing system size. The total run time for both 1C and 2C calculations was dominated by the contraction to the exchange energy. We have also investigated a bulky Te-containing supramolecular complex. For such bulky, three-dimensionally extended molecules the present screening scheme has a much larger prefactor and is less effective.


title: Notes on the Joyal model structure

abstract: We give a new construction of the Joyal model structure on the category of simplicial sets, and we provide a simple characterization of the fibrations in it. We characterize the inner anodyne maps in terms of categorical equivalences and use this characterization to establish the inner model structure on the category of simplicial sets whose set of zero-simplices is equal to a fixed set $O$.


title: Delegating Quantum Computation in the Quantum Random Oracle Model

abstract: A delegation scheme allows a computationally weak client to use a server's resources to help it evaluate a complex circuit without leaking any information about the input (other than its length) to the server. In this paper, we consider delegation schemes for quantum circuits, where we try to minimize the quantum operations needed by the client. We construct a new scheme for delegating a large circuit family, which we call "C+P circuits". "C+P" circuits are the circuits composed of Toffoli gates and diagonal gates. Our scheme is non-interactive, requires very little quantum computation from the client (proportional to input length but independent of the circuit size), and can be proved secure in the quantum random oracle model, without relying on additional assumptions, such as the existence of fully homomorphic encryption. In practice the random oracle can be replaced by an appropriate hash function or block cipher, for example, SHA-3, AES. This protocol allows a client to delegate the most expensive part of some quantum algorithms, for example, Shor's algorithm. The previous protocols that are powerful enough to delegate Shor's algorithm require either many rounds of interactions or the existence of FHE. The protocol requires asymptotically fewer quantum gates on the client side compared to running Shor's algorithm locally. To hide the inputs, our scheme uses an encoding that maps one input qubit to multiple qubits. We then provide a novel generalization of classical garbled circuits ("reversible garbled circuits") to allow the computation of Toffoli circuits on this encoding. We also give a technique that can support the computation of phase gates on this encoding. To prove the security of this protocol, we study key dependent message(KDM) security in the quantum random oracle model. KDM security was not previously studied in quantum settings.


title: Geometrically frustrated Ising-Heisenberg spin model on expanded Kagom\'e lattice

abstract: Here we consider the Ising-Heisenberg model in the expanded Kagom\'e lattice, also known as triangle-dodecagon (3-12) or star lattice. This model can still be understood as a decorated honeycomb lattice. Assuming that the Heisenberg spins are at the vertices of the triangle while other spins are of the Ising type. Thus, this model is equivalent to an effective Kagom\'e Ising lattice, through the decoration transformation technique. Thus this means that the model is exactly solvable so we can study the most relevant properties of this model. Like the phase diagram at zero temperature, exhibiting a frustrated phase, a ferromagnetic phase, a classical ferrimagnetic phase and a quantum ferrimagnetic phase. We observed that Heisenberg spin exchange interaction influences the frustrated phase, but we rigorously verify that the magnitude and origin of the frustration emerge in a similar way to antiferromagnetic Ising Kagom\'e lattice. Likewise, the thermodynamic properties of the model can also be obtained, such as the critical temperature as a dependence of the Hamiltonian parameters and the spontaneous magnetization of the model. Besides, we investigated the entropy of the model, identifying its residual entropy in the frustrated region. Even we analyze the specific heat behavior as a temperature dependence, to deal with the phase transition.