title: Cohomology-Developed Matrices -- constructing families of weighing matrices and automorphism actions

abstract: The aim of this work is to construct families of weighing matrices via their automorphism group action. This action is determined from the $0,1,2$-cohomology groups of the underlying abstract group. As a consequence, some old and new families of weighing matrices are constructed. These include the Paley Conference, the Projective-Space, the Grassmannian, and the Flag-Variety weighing matrices. We develop a general theory relying on low dimensional group-cohomology for constructing automorphism group actions, and in turn obtain structured matrices that we call \emph{Cohomology-Developed matrices}. This "Cohomology-Development" generalizes the Cocyclic and Group Developments. The Algebraic structure of modules of Cohomology-Developed matrices is discussed, and an orthogonality result is deduced. We also use this algebraic structure to define the notion of \emph{quasiproducts}, which is a generalization of the Kronecker-product.


title: Cryptocurrency market structure: connecting emotions and economics

abstract: We study the dependency and causality structure of the cryptocurrency market investigating collective movements of both prices and social sentiment related to almost two thousand cryptocurrencies traded during the first six months of 2018. This is the first study of the whole cryptocurrency market structure. It introduces several rigorous innovative methodologies applicable to this and to several other complex systems where a large number of variables interact in a non-linear way, which is a distinctive feature of the digital economy. The analysis of the dependency structure reveals that prices are significantly correlated with sentiment. The major, most capitalised cryptocurrencies, such as bitcoin, have a central role in the price correlation network but only a marginal role in the sentiment network and in the network describing the interactions between the two. The study of the causality structure reveals a causality network that is consistently related with the correlation structures and shows that both prices cause sentiment and sentiment cause prices across currencies with the latter being stronger in size but smaller in number of significative interactions. Overall our study uncovers a complex and rich structure of interrelations where prices and sentiment influence each other both instantaneously and with lead-lag causal relations. A major finding is that minor currencies, with small capitalisation, play a crucial role in shaping the overall dependency and causality structure. Despite the high level of noise and the short time-series we verified that these networks are significant with all links statistically validated and with a structural organisation consistently reproduced across all networks.


title: PEA265: Perceptual Assessment of Video Compression Artifacts

abstract: The most widely used video encoders share a common hybrid coding framework that includes block-based motion estimation/compensation and block-based transform coding. Despite their high coding efficiency, the encoded videos often exhibit visually annoying artifacts, denoted as Perceivable Encoding Artifacts (PEAs), which significantly degrade the visual Qualityof- Experience (QoE) of end users. To monitor and improve visual QoE, it is crucial to develop subjective and objective measures that can identify and quantify various types of PEAs. In this work, we make the first attempt to build a large-scale subjectlabelled database composed of H.265/HEVC compressed videos containing various PEAs. The database, namely the PEA265 database, includes 4 types of spatial PEAs (i.e. blurring, blocking, ringing and color bleeding) and 2 types of temporal PEAs (i.e. flickering and floating). Each containing at least 60,000 image or video patches with positive and negative labels. To objectively identify these PEAs, we train Convolutional Neural Networks (CNNs) using the PEA265 database. It appears that state-of-theart ResNeXt is capable of identifying each type of PEAs with high accuracy. Furthermore, we define PEA pattern and PEA intensity measures to quantify PEA levels of compressed video sequence. We believe that the PEA265 database and our findings will benefit the future development of video quality assessment methods and perceptually motivated video encoders.


title: Catalog of New K2 Exoplanet Candidates from Citizen Scientists

abstract: We provide 28 new planet candidates that have been vetted by citizen scientists and expert astronomers. This catalog contains 9 likely rocky candidates ($R_{pl} < 2.0R_\oplus$) and 19 gaseous candidates ($R_{pl} > 2.0R_\oplus$). Within this list we find one multi-planet system (EPIC 246042088). These two sub-Neptune ($2.99 \pm 0.02R_\oplus$ and $3.44 \pm 0.02R_\oplus$) planets exist in a near 3:2 orbital resonance. The discovery of this multi-planet system is important in its addition to the list of known multi-planet systems within the K2 catalog, and more broadly in understanding the multiplicity distribution of the exoplanet population (Zink et al. 2019). The candidates on this list are anticipated to generate RV amplitudes of 0.2-18 m/s, many within the range accessible to current facilities.


title: Superconductivity in twisted Graphene ${\rm NbSe_2}$ heterostructures

abstract: We study the low-energy electronic structure of heterostructures formed by one sheet of graphene placed on a monolayer of ${\rm NbSe_2}$. We build a continuous low-energy effective model that takes into account the presence of a twist angle between graphene and ${\rm NbSe_2}$, and of spin-orbit coupling and superconducting pairing in ${\rm NbSe_2}$. We obtain the parameters entering the continuous model via ab-initio calculations. We show that despite the large mismatch between the graphene's and ${\rm NbSe_2}$'s lattice constants, due to the large size of the ${\rm NbSe_2}$'s Fermi pockets, there is a large range of values of twist angles for which a superconducting pairing can be induced into the graphene layer. In addition, we show that the superconducting gap induced into the graphene is extremely robust to an external in-plane magnetic field. Our results show that the size of the induced superconducting gap, and its robustness against in-plane magnetic fields, can be significantly tuned by varying the twist angle.


title: Anisotropic Magnetoresistance in Multiband Systems: 2DEGs and Polar Metals at Oxide Interfaces

abstract: Low density two-dimensional electron gases (2DEGs) with spin-orbit coupling are highly sensitive to an in-plane magnetic field, which impacts their Fermi surfaces and transport properties. Such 2DEGs, formed at transition metal oxide surfaces or interfaces, can also undergo surface phase transitions leading to polar metals which exhibit electronic nematicity. Motivated by experiments on such systems, we theoretically study magnetotransport in $t_{2g}$ orbital systems, using Hamiltonians which include atomic spin-orbit coupling (SOC) and broken inversion symmetry, for both square symmetry (001) and hexagonal symmetry (111) 2DEGs. Using a numerical solution to the full multiband matrix-Boltzmann equation, together with insights gleaned from the impurity scattering overlap matrix, we explore the anisotropic magnetoresistance (AMR) in the presence of impurities which favor small momentum scattering. We find that transport in the (001) 2DEG is dominated by a single pair of bands, weakly coupled by impurity scattering, one of which has a larger Fermi velocity while the other provides an efficient current-relaxation mechanism. This leads to strong angle-dependent current damping and a large AMR with many angular harmonics. In contrast, AMR in the (111) 2DEG typically features a single $\cos(2\vartheta)$ harmonic, with the angle-averaged magnetoresistance being highly tunable by a symmetry-allowed trigonal distortion. We also explore how the (111) 2DEG Fermi sufaces are impacted by electronic nematicity via a surface phase transition into a 2D polar metal for which we discuss a Landau theory, and show that this leads to distinct symmetry components and higher angular harmonics in the AMR. Our results are in qualitative agreement with experiments from various groups for 2DEGs at the SrTiO$_3$ surface or the LaAlO$_3$-SrTiO$_3$ interface.


title: HI 21cm mapping of the host galaxy of AT2018cow: a fast-evolving luminous transient within a ring of high column density gas

abstract: We report Giant Metrewave Radio Telescope (GMRT) HI 21cm imaging of CGCG 137-068, the host galaxy of the fast-evolving luminous transient (FELT) AT2018cow. This is the first study of the gas properties of a FELT host galaxy. We obtain a total HI mass of $(6.6 \pm 0.9) \times 10^8$ M$_\odot$ for the host galaxy, which implies an atomic gas depletion time of $3$ Gyr and a gas-to-stellar mass ratio of $0.47$, consistent with values in normal star-forming dwarf galaxies. At spatial resolutions of $\geq 6$ kpc, the HI of CGCG 137-068 appears to be distributed in a disk, in mostly regular rotation. However, at spatial resolutions of $2$ kpc, the highest column density HI is found to lie in an asymmetric ring around the central regions, with HI column densities $\geq 10^{21}$ cm$^{-2}$; AT2018cow lies within this high column density ring. This HI ring could be suggestive of an interaction between CGCG 137-068 and a companion galaxy. Such a ring is ideal for the formation of compact regions of star formation hosting massive stars which are likely progenitors of FELTs. We measure a 1.4 GHz flux density of $1.13 \pm 0.13$ mJy for AT2018cow on 2018 August 27.


title: Eigenstate Thermalisation in the conformal Sachdev-Ye-Kitaev model: an analytic approach

abstract: The Sachdev-Ye-Kitaev (SYK) model provides an uncommon example of a chaotic theory that can be analysed analytically. In the deep infrared limit, the original model has an emergent conformal (reparametrisation) symmetry that is broken both spontaneously and explicitly. The explicit breaking of this symmetry comes about due to pseudo-Nambu-Goldstone modes that are not exact zero-modes of the model. In this paper, we study a version of the model which preserves the reparametrisation symmetry at all length scales. We study the heavy-light correlation functions of the operators in the conformal spectrum of the theory. The three point functions of such operators allow us to demonstrate that matrix elements of primaries ${\cal O}_n$ of the CFT$_1$ take the form postulated by the Eigenstate Thermalisation Hypothesis. We also discuss the implications of these results for the states in AdS$_2$ gravity dual.


title: Testing the stability of supersonic ionized Bondi accretion flows with radiation hydrodynamics

abstract: We investigate the general stability of 1D spherically symmetric ionized Bondi accretion onto a massive object in the specific context of accretion onto a young stellar object. We first derive a new analytic expression for a steady state two temperature solution that predicts the existence of compact and hypercompact HII regions. We then show that this solution is only marginally stable if ionization is treated self-consistently. This leads to a recurring collapse of the HII region over time. We derive a semi-analytic model to explain this instability, and test it using spatially converged 1D radiation hydrodynamical simulations. We discuss the implications of the 1D instability on 3D radiation hydrodynamics simulations of supersonic accreting flows.


title: Linear Analysis of the Shock Instability in Core-collapse Supernovae: Influences of Acoustic Power and Fluctuations of Neutrino Luminosity

abstract: This paper is a sequel to Takahashi et al. (2016), in which the authors investigated the influences of fluctuations in pre-shock accreting matter on the linear stability of the standing accretion shock in core-collapse supernovae (CCSNe). If one understands that this was concerning the effect of the outer boundary condition for the post-shock accretion flows, the present paper should be regarded as an investigation on the possible influences of the inner boundary conditions. More specifically, we impose a time-dependent, oscillating condition at the inner boundary, having in mind the injection of acoustic power by an oscillating proto-neutron star. We also consider possible correlations between the inner and outer boundary conditions as invoked in the argument for Lepton-number Emission Self-sustained Asymmetry, or LESA. In this paper, we conduct the linear stability analysis of the standing accretion shock commonly encountered in CCSNe based on Laplace transform. We find that the acoustic power enhances the standing accretion shock instability, or SASI, especially when the luminosity is low. On the other hand, the correlation between the fluctuations of neutrino luminosity at the neutrino sphere has little influences on the instability, changing the amplitudes of eigenmodes only slightly. We further investigate steady solution of perturbation equations, being motivated by LESA, and conclude that not the difference but the sum of the fluxes of electron-type neutrinos and anti-neutrino is the key ingredient to production of the self-sustained steady perturbed configuration.


title: Topological Ultranodal pair states in iron-based superconductors

abstract: Bogoliubov Fermi surfaces are contours of zero-energy excitations that are protected in the superconducting state. Here we show that multiband superconductors with dominant spin singlet, intraband pairing of spin-1/2 electrons can undergo a transition to a state with Bogoliubov Fermi surfaces if spin-orbit coupling, interband pairing and time reversal symmetry breaking are also present. These latter effects may be small, but drive the transition to the topological state for appropriate nodal structure of the intra-band pair. Such a state should display nonzero zero-bias density of states and corresponding residual Sommerfeld coefficient as for a disordered nodal superconductor, but occurring even in the pure case. We present a model appropriate for iron-based superconductors where the topological transition associated with creation of a Bogoliubov Fermi surface can be studied. The model gives results that strongly resemble experiments on FeSe$_{1-x}$S$_x$ across the nematic transition, where this ultranodal behavior may already have been observed.


title: A New Class of X-Ray Tails of Early-Type Galaxies and Subclusters in Galaxy Clusters - Slingshot Tails vs Ram Pressure Stripped Tails

abstract: We show that there is a new class of gas tails - slingshot tails - which form as a subhalo (i.e. a subcluster or early-type cluster galaxy) moves away from the cluster center towards the apocenter of its orbit. These tails can point perpendicular or even opposite to the subhalo direction of motion, not tracing the recent orbital path. Thus, the observed tail direction can be misleading, and we caution against naive conclusions regarding the subhalo's direction of motion based on the tail direction. A head-tail morphology of a galaxy's or subcluster's gaseous atmosphere is usually attributed to ram pressure stripping and the widely applied conclusion is that gas stripped tail traces the most recent orbit. However, during the slingshot tail stage, the subhalo is not being ram pressure stripped (RPS) and the tail is shaped by tidal forces more than just the ram pressure. Thus, applying a classic RPS scenario to a slingshot tail leads not only to an incorrect conclusion regarding the direction of motion, but also to incorrect conclusions in regard to the subhalo velocity, expected locations of shear flows, instabilities and mixing. We describe the genesis and morphology of slingshot tails using data from binary cluster merger simulations, discuss their observable features and how to distinguish them from classic RPS tails. We identify three examples from the literature that are not RPS tails but slingshot tails and discuss other potential candidates.


title: The MUSE Ultra Deep Field (MUDF). I. Discovery of a group of Ly$\alpha$ nebulae associated with a bright $z\approx 3.23$ quasar pair

abstract: We present first results from Multi Unit Spectroscopic Explorer (MUSE) observations at the Very Large Telescope in the MUSE Ultra Deep Field (MUDF), a $\approx 1.2\times 1.4$ arcmin$^2$ region for which we are collecting $\approx$200 hours of integral field spectroscopy. The $\approx 40$-hour observation completed to date reveals the presence of a group of three Ly$\alpha$ nebulae associated with a bright quasar pair at $z\simeq3.23$ with projected separation of $\approx 500\rm~kpc$. Two of the nebulae are physically associated with the quasars which are likely powering the Ly$\alpha$ emission, and extend for $\gtrsim 100~\rm kpc$ at a surface brightness level of $\approx 6\times 10^{-19}~\rm erg~s^{-1}~cm^{-2}~arcsec^{-2}$. A third smaller ($\approx$35 kpc) nebula lies at a velocity offset of $\approx 1550$ km s$^{-1}$. Despite their clustered nature, the two large nebulae have properties similar to those observed in isolated quasars and exhibit no sharp decline in flux at the current depth, suggesting an even more extended distribution of gas around the quasars. We interpret the shape and the alignment of the two brighter nebulae as suggestive of the presence of an extended structure connecting the two quasar host galaxies, as seen for massive galaxies forming within gas-rich filaments in cosmological simulations.


title: Spin-orbit-controlled metal-insulator transition in Sr$_2$IrO$_4$

abstract: In the context of correlated insulators, where electron-electron interactions (U) drive the localization of charge carriers, the metal-insulator transition (MIT) is described as either bandwidth (BC) or filling (FC) controlled. Motivated by the challenge of the insulating phase in Sr$_2$IrO$_4$, a new class of correlated insulators has been proposed, in which spin-orbit coupling (SOC) is believed to renormalize the bandwidth of the half-filled $j_{\mathrm{eff}} = 1/2$ doublet, allowing a modest U to induce a charge-localized phase. Although this framework has been tacitly assumed, a thorough characterization of the ground state has been elusive. Furthermore, direct evidence for the role of SOC in stabilizing the insulating state has not been established, since previous attempts at revealing the role of SOC have been hindered by concurrently occurring changes to the filling. We overcome this challenge by employing multiple substituents that introduce well defined changes to the signatures of SOC and carrier concentration in the electronic structure, as well as a new methodology that allows us to monitor SOC directly. Specifically, we study Sr$_2$Ir$_{1-x}$T$_x$O$_4$ (T = Ru, Rh) by angle-resolved photoemission spectroscopy (ARPES), combined with ab-initio and supercell tight-binding calculations. This allows us to distinguish relativistic and filling effects, thereby establishing conclusively the central role of SOC in stabilizing the insulating state of Sr$_2$IrO$_4$. Most importantly, we estimate the critical value for spin-orbit coupling in this system to be $\lambda_c = 0.42 \pm 0.01$ eV, and provide the first demonstration of a spin-orbit-controlled MIT.


title: The host galaxy of GRB 980425 / SN1998bw: a collisional ring galaxy

abstract: We report Giant Metrewave Radio Telescope (GMRT) , Very Large Telescope (VLT) and Spitzer Space Telescope observations of ESO 184$-$G82, the host galaxy of GRB 980425/SN 1998bw, that yield evidence of a companion dwarf galaxy at a projected distance of 13 kpc. The companion, hereafter GALJ193510-524947, is a gas-rich, star-forming galaxy with a star formation rate of $\rm0.004\,M_{\odot}\, yr^{-1}$, a gas mass of $10^{7.1\pm0.1} M_{\odot}$, and a stellar mass of $10^{7.0\pm0.3} M_{\odot}$. The interaction between ESO 184$-$G82 and GALJ193510-524947 is evident from the extended gaseous structure between the two galaxies in the GMRT HI 21 cm map. We find a ring of high column density HI gas, passing through the actively star forming regions of ESO 184$-$G82 and the GRB location. This ring lends support to the picture in which ESO 184$-$G82 is interacting with GALJ193510-524947. The massive stars in GALJ193510-524947 have similar ages to those in star-forming regions in ESO 184$-$G82, also suggesting that the interaction may have triggered star formation in both galaxies. The gas and star formation properties of ESO 184$-$G82 favour a head-on collision with GALJ193510-524947 rather than a classical tidal interaction. We perform state-of-the art simulations of dwarf--dwarf mergers and confirm that the observed properties of ESO 184$-$G82 can be reproduced by collision with a small companion galaxy. This is a very clear case of interaction in a gamma ray burst host galaxy, and of interaction-driven star formation giving rise to a gamma ray burst in a dense environment.


title: Radiation hydrodynamic simulations of massive star formation via gravitationally trapped HII regions - Spherically symmetric ionised accretion flows

abstract: This paper investigates the gravitational trapping of HII regions predicted by steady-state analysis using radiation hydrodynamical simulations. We present idealised spherically symmetric radiation hydrodynamical simulations of the early evolution of HII regions including the gravity of the central source. As with analytic steady state solutions of spherically symmetric ionised Bondi accretion flows, we find gravitationally trapped HII regions with accretion through the ionisation front onto the source. We found that, for a constant ionising luminosity, fluctuations in the ionisation front are unstable. This instability only occurs in this spherically symmetric accretion geometry. In the context of massive star formation, the ionising luminosity increases with time as the source accretes mass. The maximum radius of the recurring HII region increases on the accretion timescale until it reaches the sonic radius, where the infall velocity equals the sound speed of the ionised gas, after which it enters a pressure-driven expansion phase. This expansion prevents accretion of gas through the ionisation front, the accretion rate onto the star decreases to zero, and it stops growing from accretion. Because of the time required for any significant change in stellar mass and luminosity through accretion our simulations keep both mass and luminosity constant and follow the evolution from trapped to expanding in a piecewise manner. Implications of this evolution of HII regions include a continuation of accretion of material onto forming stars for a period after the star starts to emit ionising radiation, and an extension of the lifetime of ultracompact HII regions.


title: Gepner-like boundary states on $T^4$

abstract: We present exact expressions for elementary boundary states which describe D-branes preserving 16 or fewer supercharges in type II superstring compactified on certain self-dual 4-tori. While being manifestly superconformal, our boundary states are not a priori required to satisfy the usual free-field gluing conditions along the internal directions of the 4-tori. Our calculations proceed along the lines of Gepner's construction by recasting the $\mathcal{N}=(2,2)$ worldsheet sigma model on the 4-tori in terms of $\mathcal{N}=2$ minimal models. Imposing general permutation gluing conditions on the $\mathcal{N}=(2,2)$ generators is shown to yield various stable and unstable D-branes, where the stable ones include the known 1/2-BPS and 1/4-BPS bound states of D$p$-branes, as well as new non-BPS D-branes, which do not carry RR charges.


title: Hubble Space Telescope analysis of stellar populations within the globular cluster G1 (Mayall II) in M31

abstract: In this paper we present a multi-wavelength analysis of the complex stellar populations within the massive globular cluster Mayall II (G1), a satellite of the nearby Andromeda galaxy projected at a distance of 40 kpc. We used images collected with the Hubble Space Telescope in UV, blue and optical filters to explore the multiple stellar populations hosted by G1. The $m_{\rm F438W}$ versus $m_{\rm F438W}- m_{\rm F606W}$ colour-magnitude diagram shows a significant spread of the red giant branch, that divides $\sim 1$ mag brighter than the red clump. A possible explanation is the presence of two populations with different iron abundance or different C+N+O content, or different helium content, or a combination of the three causes. A similar red giant branch split is observed also for the Galactic globular cluster NGC6388. Our multi-wavelength analysis gives also the definitive proof that G1 hosts stars located on an extended blue horizontal branch. The horizontal branch of G1 exhibits similar morphology as those of NGC6388 and NGC6441, which host stellar populations with extreme helium abundance (Y>0.33). As a consequence, we suggest that G1 may also exhibit large star-to-star helium variations.


title: Quantum-Hall to Insulator Transition in Ultra-low-carrier-density Topological Insulator Films and a Hidden Phase of the Zeroth Landau Level

abstract: A key feature of the topological surface state under a magnetic field is the presence of the zeroth Landau level at the zero energy. Nonetheless, it has been challenging to probe the zeroth Landau level due to large electron-hole puddles smearing its energy landscape. Here, by developing ultra-low-carrier density topological insulator Sb$_2$Te$_3$ films, we were able to reach an extreme quantum limit of the topological surface state and uncover a hidden phase at the zeroth Landau level. First, we discovered an unexpected quantum-Hall-to-insulator-transition near the zeroth Landau level. Then, through a detailed scaling analysis, we found that this quantum-Hall-to-insulator-transition belongs to a new universality class, implying that the insulating phase discovered here has a fundamentally different origin from those in non-topological systems.


title: Fast-Cadence TESS Photometry and Doppler Tomography of the Asynchronous Polar CD Ind: A Revised Accretion Geometry from Newly Proposed Spin and Orbital Periods

abstract: The TESS spacecraft observed the asynchronous polar CD Ind at a two-minute cadence almost continuously for 28 days in 2018, covering parts of 5 consecutive cycles of the system's 7.3-day beat period. These observations provide the first uninterrupted photometry of a full spin-orbit beat cycle of an asynchronous polar. Twice per beat cycle, the accretion flow switched between magnetic poles on the white dwarf, causing the spin pulse of the white dwarf (WD) to alternate between two waveforms after each pole-switch. An analysis of the waveforms suggests that one accretion region is continuously visible when it is active, while the other region experiences lengthy self-eclipses by the white dwarf. We argue that the previously accepted periods for both the binary orbit and the WD spin have been misidentified, and while the cause of this misidentification is a subtle and easily overlooked effect, it has profound consequences for the interpretation of the system's accretion geometry and doubles the estimated time to resynchronization. Moreover, our timings of the photometric maxima do not agree with the quadratic ephemeris from Myers et al. (2017), and it is possible that the optical spin pulse might be an unreliable indicator of the white dwarf's rotation. Finally, we use Doppler tomography of archival time-resolved spectra from 2006 to study the accretion flow. While the accretion flow showed a wider azimuthal extent than is typical for synchronous polars, it was significantly less extended than in the three other asynchronous polars for which Doppler tomography has been reported.


title: Conformal field theory and the hot phase of three-dimensional U(1) gauge theory

abstract: We study the high-temperature phase of compact U(1) gauge theory in 2+1 dimensions, comparing the results of lattice calculations with analytical predictions from the conformal-field-theory description of the low-temperature phase of the bidimensional XY model. We focus on the two-point correlation functions of probe charges and the field-strength operator, finding excellent quantitative agreement with the functional form and the continuously varying critical indices predicted by conformal field theory.


title: Proposal for gravitational direct detection of dark matter

abstract: The only coupling dark matter is guaranteed to have with the standard model is through gravity. Here we propose a concept for direct dark matter detection using only this gravitational coupling. We suggest that an array of quantum-limited mechanical impulse sensors may be capable of detecting the correlated gravitational force created by a passing dark matter particle. We consider the effects of irreducible noise from couplings of the sensors to the environment and noise due to the quantum measurement process. We show that the signal from Planck-scale dark matter is in principle detectable using a large number of gram-scale sensors in a meter-scale array with sufficiently low quantum noise, and discuss some experimental challenges en route to achieving this target.


title: Proximity-induced superconducting gap in the quantum spin Hall edge state of monolayer WTe$_2$

abstract: The quantum spin Hall (QSH) state was recently demonstrated in monolayers of the transition metal dichalcogenide 1T'-WTe$_2$ and is characterized by a band gap in the two-dimensional (2D) interior and helical one-dimensional (1D) edge states. Inducing superconductivity in the helical edge states would result in a 1D topological superconductor, a highly sought-after state of matter. In the present study, we use a novel dry-transfer flip technique to place atomically-thin layers of WTe$_2$ on a van der Waals superconductor, NbSe$_2$. Using scanning tunneling microscopy and spectroscopy (STM/STS), we demonstrate atomically clean surfaces and interfaces and the presence of a proximity-induced superconducting gap in the WTe$_2$ for thicknesses from a monolayer up to 7 crystalline layers. At the edge of the WTe$_2$ monolayer, we show that the superconducting gap coexists with the characteristic spectroscopic signature of the QSH edge state. Taken together, these observations provide conclusive evidence for proximity-induced superconductivity in the QSH edge state in WTe$_2$, a crucial step towards realizing 1D topological superconductivity and Majorana bound states in this van der Waals material platform.


title: Design and Development of Underwater Vehicle: ANAHITA

abstract: Anahita is an autonomous underwater vehicle which is currently being developed by interdisciplinary team of students at Indian Institute of Technology(IIT) Kanpur with aim to provide a platform for research in AUV to undergraduate students. This is the second vehicle which is being designed by AUV-IITK team to participate in 6th NIOT-SAVe competition organized by the National Institute of Ocean Technology, Chennai. The Vehicle has been completely redesigned with the major improvements in modularity and ease of access of all the components, keeping the design very compact and efficient. New advancements in the vehicle include, power distribution system and monitoring system. The sensors include the inertial measurement units (IMU), hydrophone array, a depth sensor, and two RGB cameras. The current vehicle features hot swappable battery pods giving a huge advantage over the previous vehicle, for longer runtime.


title: Performance Analysis of DF Cooperative Relaying over Bursty Impulsive Noise Channel

abstract: In this article, we consider the performance analysis of a decode-and-forward (DF) cooperative relaying (CR) scheme over channels impaired by bursty impulsive noise. Although, Middleton class-A model and Bernoulli-Gaussian model give good results to generate a sample distribution of impulsive noise, they fail in replicating the bursty behavior of impulsive noise, as encountered for instance within power substations. To deal with that, we adopt a two-state Markov-Gaussian process for the noise distribution. For this channel, we evaluate the bit error rate (BER) performance of direct transmission (DT) and a DF relaying scheme using M-ary phase shift keying (M-PSK) modulation in the presence of Rayleigh fading with a maximum a posteriori (MAP) receiver. From the obtained results, it is seen that the DF CR scheme in bursty impulsive noise channel still achieves the space diversity and performs significantly better than DT under the same power consumption. Moreover, the proposed MAP receiver attains the lower bound derived for DF CR scheme, and leads to large performance gains compared to the conventional receiving criteria which were optimized for additive white Gaussian noise (AWGN) channel and memoryless impulsive noise channel.


title: Constraints on Mediator Coupled to Heavy Quarks from LHC Data

abstract: We apply LHC data to constrain a simplified extension of the Standard Model containing a new spin-1 mediator $R$, which does not couple to first generation quarks, and a spinor dark matter particle $\chi$. We recast ATLAS and CMS searches for final states containing one or more jet(s) + missing $E_T$, with or without $b$ tags, as well as searches for di-jet resonances with $b$ or $t$ tagging. We find that LHC constraints on the axial vector couplings of the mediator are always stronger than the unitarity bound, which scales like $m_R/m_t$. If $R$ has a sizable invisible branching ratio, the strongest LHC bound on both vector couplings and axial vector coupling comes from a di-jet + missing $E_T$ search with or without double $b$ tag. These bounds are quite strong for $m_R < 1$ TeV, even though we have switched off all couplings to valence quarks. Searches for a di-jet resonance with double $b$ tag lead to comparable bounds with the previous results even if $R \rightarrow \chi \bar \chi$ decays are allowed; these are the only sensitive LHC searches if the invisible branching ratio of $R$ is very small or zero.


title: The Helium Abundance of NGC 6791 from Modeling of Stellar Oscillations

abstract: The helium abundance of stars is a strong driver of evolutionary timescales, however it is difficult to measure in cool stars. We conduct an asteroseismic analysis of NGC 6791, an old, metal rich open cluster that previous studies have indicated also has a high helium abundance. The cluster was observed by Kepler and has unprecedented lightcurves for many of the red giant branch stars in the cluster. Previous asteroseismic studies with Kepler data have constrained the age through grid based modeling of the global asteroseismic parameters ($\Delta\nu$ and $\nu_{\mathrm{max}}$). However, with the precision of Kepler data, it is possible to do detailed asteroseismology of individual mode frequencies to better constrain the stellar parameters, something that has not been done for these cluster stars as yet. In this work, we use the observed mode frequencies in 27 hydrogen shell burning red giants to better constrain initial helium abundance ($Y_0$) and age of the cluster. The distributions of helium abundance and age for each individual red giant are combined to create a final probability distribution for age and helium abundance of the entire cluster. We find a helium abundance of $Y_0=0.297\pm0.003$ and a corresponding age of $8.2\pm0.3$ Gyr.


title: Nanoscale X-Ray Imaging of Spin Dynamics in Yttrium Iron Garnet

abstract: Time-resolved scanning transmission x-ray microscopy (TR-STXM) has been used for the direct imaging of spin wave dynamics in thin film yttrium iron garnet (YIG) with spatial resolution in the sub 100 nm range. Application of this x-ray transmission technique to single crystalline garnet films was achieved by extracting a lamella (13x5x0.185 $\mathrm{\mu m^3}$) of liquid phase epitaxy grown YIG thin film out of a gadolinium gallium garnet substrate. Spin waves in the sample were measured along the Damon-Eshbach and backward volume directions of propagation at gigahertz frequencies and with wavelengths in a range between 100~nm and 10~$\mathrm{\mu}$m. The results were compared to theoretical models. Here, the widely used approximate dispersion equation for dipole-exchange spin waves proved to be insufficient for describing the observed Damon-Eshbach type modes. For achieving an accurate description, we made use of the full analytical theory taking mode-hybridization effects into account.


title: On the Security of Cryptographic Protocols Using the Little Theorem of Witness Functions

abstract: In this paper, we show how practical the little theorem of witness functions is in detecting security flaws in some category of cryptographic protocols. We convey a formal analysis of the Needham-Schroeder symmetric-key protocol in the theory of witness functions. We show how it helps to teach about a security vulnerability in a given step of this protocol where the value of security of a particular sensitive ticket in a sent message unexpectedly plummets compared with its value when received. This vulnerability may be exploited by an intruder to mount a replay attack as described by Denning and Sacco.


title: Matching for FCNC effects in the flavour-symmetric SMEFT

abstract: We calculate the complete tree and one-loop matching of the dimension 6 Standard Model Effective Field Theory (SMEFT) with unbroken $U(3)^5$ flavour symmetry to the operators of the Weak Effective Theory (WET) which are responsible for flavour changing neutral current effects among down-type quarks. We also explicitly calculate the effects of SMEFT corrections to input observables on the WET Wilson coefficients, a necessary step on the way to a well-defined, complete prediction. These results will enable high-precision flavour data to be incorporated into global fits of the SMEFT at high energies, where the flavour symmetry assumption is widespread.


title: On the boomerang uniformity of (quadratic) permutations over $F_{2^n}$

abstract: At Eurocrypt'18, Cid, Huang, Peyrin, Sasaki, and Song introduced a new tool called Boomerang Connectivity Table (BCT) for measuring the resistance of a block cipher against the boomerang attack (which is an important cryptanalysis technique introduced by Wagner in 1999 against block ciphers). Next, Boura and Canteaut introduced an important parameter (related to the BCT) for cryptographic Sboxes called boomerang uniformity. In this context, we present a brief state-of-the-art on the notion of boomerang uniformity of vectorial functions (or Sboxes) and provide new results. More specifically, we present a slightly different (and more convenient) formulation of the boomerang uniformity and show that the row sum and the column sum of the boomerang connectivity table can be expressed in terms of the zeros of the second-order derivative of the permutation or its inverse. Most importantly, we specialize our study of boomerang uniformity to quadratic permutations in even dimension and generalize the previous results on quadratic permutation with optimal BCT (optimal means that the maximal value in the Boomerang Connectivity Table equals the lowest known differential uniformity). As a consequence of our general result, we prove that the boomerang uniformity of the binomial differentially $4$-uniform permutations presented by Bracken, Tan, and Tan equals $4$. This result gives rise to a new family of optimal Sboxes.


title: Semantic-Guided Multi-Attention Localization for Zero-Shot Learning

abstract: Zero-shot learning extends the conventional object classification to the unseen class recognition by introducing semantic representations of classes. Existing approaches predominantly focus on learning the proper mapping function for visual-semantic embedding, while neglecting the effect of learning discriminative visual features. In this paper, we study the significance of the discriminative region localization. We propose a semantic-guided multi-attention localization model, which automatically discovers the most discriminative parts of objects for zero-shot learning without any human annotations. Our model jointly learns cooperative global and local features from the whole object as well as the detected parts to categorize objects based on semantic descriptions. Moreover, with the joint supervision of embedding softmax loss and class-center triplet loss, the model is encouraged to learn features with high inter-class dispersion and intra-class compactness. Through comprehensive experiments on three widely used zero-shot learning benchmarks, we show the efficacy of the multi-attention localization and our proposed approach improves the state-of-the-art results by a considerable margin.


title: Automatic Techniques to Systematically Discover New Heap Exploitation Primitives

abstract: Heap exploitation techniques to abuse the metadata of allocators have been widely studied since they are application independent and can be used in restricted environments that corrupt only metadata. Although prior work has found several interesting exploitation techniques, they are ad-hoc and manual, which cannot effectively handle changes or a variety of allocators. In this paper, we present a new naming scheme for heap exploitation techniques that systematically organizes them to discover the unexplored space in finding the techniques and ArcHeap, the tool that finds heap exploitation techniques automatically and systematically regardless of their underlying implementations. For that, ArcHeap generates a set of heap actions (e.g. allocation or deallocation) by leveraging fuzzing, which exploits common designs of modern heap allocators. Then, ArcHeap checks whether the actions result in impact of exploitations such as arbitrary write or overlapped chunks that efficiently determine if the actions can be converted into the exploitation technique. Finally, from these actions, ArcHeap generates Proof-of-Concept code automatically for an exploitation technique. We evaluated ArcHeap with real-world allocators --- ptmalloc, jemalloc, and tcmalloc --- and custom allocators from the DARPA Cyber Grand Challenge. ArcHeap successfully found 14 out of 16 known exploitation techniques and found five new exploitation techniques in ptmalloc. Moreover, ArcHeap found several exploitation techniques for jemalloc, tcmalloc, and even for the custom allocators. Further, ArcHeap can automatically show changes in exploitation techniques along with version change in ptmalloc using differential testing.


title: The size of the immune repertoire of bacteria

abstract: Some bacteria and archaea possess an immune system, based on the CRISPR-Cas mechanism, that confers adaptive immunity against phage. In such species, individual bacteria maintain a "cassette" of viral DNA elements called spacers as a memory of past infections. The typical cassette contains a few dozen spacers. Given that bacteria can have very large genomes, and since having more spacers should confer a better memory, it is puzzling that so little genetic space would be devoted by bacteria to their adaptive immune system. Here, we identify a fundamental trade-off between the size of the bacterial immune repertoire and effectiveness of response to a given threat, and show how this tradeoff imposes a limit on the optimal size of the CRISPR cassette.


title: Parameterized Distributed Complexity Theory: A logical approach

abstract: Parameterized complexity theory offers a framework for a refined analysis of hard algorithmic problems. Instead of expressing the running time of an algorithm as a function of the input size only, running times are expressed with respect to one or more parameters of the input instances. In this work we follow the approach of parameterized complexity to provide a framework of parameterized distributed complexity. The central notion of efficiency in parameterized complexity is fixed-parameter tractability and we define the distributed analogue Distributed-FPT (for Distributed in $\{Local, Congest, Congested-Clique\}$) as the class of problems that can be solved in $f(k)$ communication rounds in the Distributed model of distributed computing, where $k$ is the parameter of the problem instance and $f$ is an arbitrary computable function. To classify hardness we introduce three hierarchies. The Distributed-WEFT-hierarchy is defined analogously to the W-hierarchy in parameterized complexity theory via reductions to the weighted circuit satisfiability problem, but it turns out that this definition does not lead to satisfying frameworks for the Local and Congest models. We then follow a logical approach that leads to a more robust theory. We define the levels of the Distributed-W-hierarchy and the Distributed-A-hierarchy that have first-order model-checking problems as their complete problems via suitable reductions.


title: Gluon bremsstrahlung in finite media beyond multiple soft scattering approximation

abstract: We revisit the calculation of the medium-induced gluon spectrum in a finite QCD and develop a new approach that goes beyond multiple soft scattering approximation. We show by expanding around the harmonic oscillator that the first two orders encompass the two known analytic limits: single hard and multiple soft scattering regimes, valid at high and low frequencies, respectively. Finally, we investigate the sensitivity of our results to the infrared and observe that for large media the spectrum is weakly dependent on the infrared medium scale.


title: Superseding traditional indexes by orchestrating learning and geometry

abstract: We design the first learned index that solves the dictionary problem with time and space complexity provably better than classic data structures for hierarchical memories, such as B-trees, and modern learned indexes. We call our solution the Piecewise Geometric Model index (PGM-index) because it turns the indexing of a sequence of keys into the coverage of a sequence of 2D-points via linear models (i.e. segments) suitably learned to trade query time vs space efficiency. This idea comes from some known heuristic results which we strengthen by showing that the minimal number of such segments can be computed via known and optimal streaming algorithms. Our index is then obtained by recursively applying this geometric idea that guarantees a smoothed adaptation to the "geometric complexity" of the input data. Finally, we propose a variant of the index that adapts not only to the distribution of the dictionary keys but also to their access frequencies, thus obtaining the first distribution-aware learned index. The second main contribution of this paper is the proposal and study of the concept of Multicriteria Data Structure, namely one that asks a data structure to adapt in an automatic way to the constraints imposed by the application of use. We show that our index is a multicriteria data structure because its significant flexibility in storage and query time can be exploited by a properly designed optimisation algorithm that efficiently finds its best design setting in order to match the input constraints. A thorough experimental analysis shows that our index and its multicriteria variant improve uniformly, over both time and space, classic and learned indexes up to several orders of magnitude.


title: Quasiconvex relaxation of isotropic functions in incompressible planar hyperelasticity

abstract: In this note, we provide an explicit formula for computing the quasiconvex envelope of any real-valued function $W\colon\operatorname{SL}(2)\to\mathbb{R}$ with $W(RF)=W(FR)=W(F)$ for all $F\in\operatorname{SL}(2)$ and all $R\in\operatorname{SO}(2)$, where $\operatorname{SL}(2)$ and $\operatorname{SO}(2)$ denote the special linear group and the special orthogonal group, respectively. In order to obtain our result, we combine earlier work by Dacorogna and Koshigoe on the relaxation of certain conformal planar energy functions with a recent result on the equivalence between polyconvexity and rank-one convexity for objective and isotropic energies in planar incompressible nonlinear elasticity.


title: Fermi-arc diversity on surface terminations of the magnetic Weyl semimetal Co3Sn2S2

abstract: Bulk-surface correspondence in Weyl semimetals assures the formation of topological "Fermi-arc" surface bands whose existence is guaranteed by bulk Weyl nodes. By investigating three distinct surface terminations of the ferromagnetic semimetal Co3Sn2S2 we verify spectroscopically its classification as a time reversal symmetry broken Weyl semimetal. We show that the distinct surface potentials imposed by three different terminations modify the Fermi-arc contour and Weyl node connectivity. On the Sn surface we identify intra-Brillouin zone Weyl node connectivity of Fermi-arcs, while on Co termination the connectivity is across adjacent Brillouin zones. On the S surface Fermi-arcs overlap with non-topological bulk and surface states that ambiguate their connectivity and obscure their exact identification. By these we resolve the topologically protected electronic properties of a Weyl semimetal and its unprotected ones that can be manipulated and engineered.


title: Strongly lensed SNe Ia in the era of LSST: observing cadence for lens discoveries and time-delay measurements

abstract: The upcoming Large Synoptic Survey Telescope (LSST) will detect many strongly lensed Type Ia supernovae (LSNe Ia) for time-delay cosmography. This will provide an independent and direct way for measuring the Hubble constant $H_0$, which is necessary to address the current $4.4 \sigma$ tension in $H_0$ between the local distance ladder and the early Universe measurements. We present a detailed analysis of different observing strategies for the LSST, and quantify their impact on time-delay measurement between multiple images of LSNe Ia. For this, we produced microlensed mock-LSST light curves for which we estimated the time delay between different images. We find that using only LSST data for time-delay cosmography is not ideal. Instead, we advocate using LSST as a discovery machine for LSNe Ia, enabling time delay measurements from follow-up observations from other instruments in order to increase the number of systems by a factor of 2 to 16 depending on the observing strategy. Furthermore, we find that LSST observing strategies, which provide a good sampling frequency (the mean inter-night gap is around two days) and high cumulative season length (ten seasons with a season length of around 170 days per season), are favored. Rolling cadences subdivide the survey and focus on different parts in different years; these observing strategies trade the number of seasons for better sampling frequency. In our investigation, this leads to half the number of systems in comparison to the best observing strategy. Therefore rolling cadences are disfavored because the gain from the increased sampling frequency cannot compensate for the shortened cumulative season length. We anticipate that the sample of lensed SNe Ia from our preferred LSST cadence strategies with rapid follow-up observations would yield an independent percent-level constraint on $H_0$.


title: Interplay between strong and weak measurement: Comparison of three experimental approaches to weak value estimation

abstract: Weak values are traditionally obtained using a weak interaction between the measured system and a pointer state. It has, however, been pointed out that weak coupling can be replaced by a carefully tailored strong interaction. This paper provides a direct comparison of two strong interaction-based approaches (strong interaction accompanied by either a suitably prepared pointer state or quantum erasure) and the traditional weak interaction-based method. Presented theoretical derivations explicitly prove analytical equivalence of these approaches which was subsequently certified by an experiment implemented on the platform of linear optics. We find that strong-interaction-based measurements are experimentally less demanding on this platform.


title: Null Second Order Corrections to Casimir Energy in Weak Gravitational Field

abstract: The discussion of vacuum energy is currently a subject of great theoretical importance, specially concerning the cosmological constant problem in General Relativity. From Quantum Field Theory, it is stated that vacuum states subject to boundary conditions may generate tensions on these boundaries related to a measurable non-zero renormalized vacuum energy: the Casimir Effect. As such, investigating how these vacuum states and energy behave in curved backgrounds is just natural and might provide important results in the near future. In this paper we revisit a model of the Casimir Effect in weak gravitational field background, which has been proposed and further generalized in the literature. A trick originally used to simplify calculations is shown to lead to a wrong value for the energy shift, and by performing explicit mode expansion we arrive at an unexpected result: null gravitational correction even at order $(M/R)^2$, in opposition to earlier results.


title: Solvable model for quantum criticality between Sachdev-Ye-Kitaev liquid and disordered Fermi liquid

abstract: We propose a simple solvable variant of the Sachdev-Ye-Kitaev (SYK) model which displays a quantum phase transition from a fast-scrambling non-Fermi liquid to disordered Fermi liquid. Like the canonical SYK model, our variant involves a single species of Majorana fermions connected by all-to-all random four-fermion interactions. The phase transition is driven by a random two-fermion term added to the Hamiltonian whose structure is inspired by proposed solid-state realizations of the SYK model. Analytic expressions for the saddle point solutions at large number $N$ of fermions are obtained and show a characteristic scale-invariant $\sim |\omega|^{-1/2}$ behavior of the spectral function below the transition which is replaced by a $\sim |\omega|^{-1/3}$ singularity exactly at the critical point. These results are confirmed by numerical solutions of the saddle point equations and discussed in the broader context of the field.


title: QCD analysis of structure functions in deep inelastic neutrino-nucleon scattering without using the orthogonal polynomials approach

abstract: A nonsinglet QCD analysis of neutrino-nucleon structure function is performed based on all the data for charged current neutrino-nucleon deep inelastic scattering (DIS) corresponds to NLO and NNLO approximations, with taking into account the nuclear and higher twist corrections. In this analysis, we extract $xu_v(x,Q^2)$ and $xd_v(x,Q^2)$ valence parton distribution functions (PDFs) in a wide range of $x$ and $Q^2$, and determine their parametrization with the correlated errors using the xFitter framework. Our results regarding valence-quark densities with their uncertainties are compared to the prediction extracted using other PDF sets from different groups. We determine $\alpha_{s}(M_Z^2)$= 0.1199 $\pm$ 0.0031 and 0.1185 $\pm$ 0.0023 with considering the nuclear and higher twist corrections at the NLO and NNLO, respectively, and perform a comparison with other reported results. The extracted results regarding valence-quark distributions and the value of $\alpha_{s}(M_Z^2)$ are in good agreement with available theoretical models.


title: Signature of Dispersing 1D Majorana Channels in an Iron-based Superconductor

abstract: The possible realization of Majorana fermions as quasiparticle excitations in condensed matter physics has created much excitement. Most recent studies have focused on Majorana bound states which can serve as topological qubits. More generally, akin to elementary particles, Majorana fermions can propagate and display linear dispersion. These excitations have not yet been directly observed, and can also be used for quantum information processing. One route to realizing this is in a line junction between two phase-shifted superconductors coupled to topological surface states. Recent theory indicates that in iron-based superconductors, a particular type of crystalline defect, i.e., a domain wall (DW) between two regions with a half-unit cell shift between them, should create a $\pi$-phase shift in the superconducting order parameter. Combined with recent data showing topological surface states in FeSe$_x$Te$_{1-x}$ we find that this is the ideal system to realize helical 1D-dispersing Majorana modes. Here we report scanning tunneling spectroscopic (STS) measurements of crystalline DWs in FeSe$_{0.45}$Te$_{0.55}$. By analyzing large-area superconducting gap maps, we identify the gap in the topological surface state, demonstrating that our sample is an effective Fu-Kane proximitized topological system. We further locate DWs across which the atoms shift by half a unit cell. STS data on these DWs reveal a flat density of states inside the superconducting gap, a hallmark of linearly dispersing modes in 1D. This unique signature is absent in DWs in the related superconductor, FeSe which is not in the topological phase. Our combined data are consistent with the observation of dispersing Majorana states at a $\pi$-phase shift DW in a proximitized topological material.


title: Introducing Super Pseudo Panels: Application to Transport Preference Dynamics

abstract: We propose a new approach for constructing synthetic pseudo-panel data from cross-sectional data. The pseudo panel and the preferences it intends to describe is constructed at the individual level and is not affected by aggregation bias across cohorts. This is accomplished by creating a high-dimensional probabilistic model representation of the entire data set, which allows sampling from the probabilistic model in such a way that all of the intrinsic correlation properties of the original data are preserved. The key to this is the use of deep learning algorithms based on the Conditional Variational Autoencoder (CVAE) framework. From a modelling perspective, the concept of a model-based resampling creates a number of opportunities in that data can be organized and constructed to serve very specific needs of which the forming of heterogeneous pseudo panels represents one. The advantage, in that respect, is the ability to trade a serious aggregation bias (when aggregating into cohorts) for an unsystematic noise disturbance. Moreover, the approach makes it possible to explore high-dimensional sparse preference distributions and their linkage to individual specific characteristics, which is not possible if applying traditional pseudo-panel methods. We use the presented approach to reveal the dynamics of transport preferences for a fixed pseudo panel of individuals based on a large Danish cross-sectional data set covering the period from 2006 to 2016. The model is also utilized to classify individuals into 'slow' and 'fast' movers with respect to the speed at which their preferences change over time. It is found that the prototypical fast mover is a young woman who lives as a single in a large city whereas the typical slow mover is a middle-aged man with high income from a nuclear family who lives in a detached house outside a city.


title: Curvature-dimension inequalities for non-local operators in the discrete setting

abstract: We study Bakry-\'Emery curvature-dimension inequalities for non-local operators on the one-dimensional lattice and prove that operators with finite second moment have finite dimension. Moreover, we show that a class of operators related to the fractional Laplacian fails to have finite dimension and establish both positive and negative results for operators with sparsely supported kernels. Moreover, a large class of operators is shown to have no positive curvature. The results correspond to CD inequalities on locally infinite graphs.


title: Enhancing the robustness of a multiplex network leads to multiple discontinuous percolation transitions

abstract: Determining design principles that boost robustness of interdependent networks is a fundamental question of engineering, economics, and biology. It is known that maximizing the degree correlation between replicas of the same node leads to optimal robustness. Here we show that increased robustness might also come at the expense of introducing multiple phase transitions. These results reveal yet another possible source of fragility of multiplex networks that has to be taken into the account during network optimisation and design.


title: Aggregating explanation methods for stable and robust explainability

abstract: Despite a growing literature on explaining neural networks, no consensus has been reached on how to explain a neural network decision or how to evaluate an explanation. Our contributions in this paper are twofold. First, we investigate schemes to combine explanation methods and reduce model uncertainty to obtain a single aggregated explanation. We provide evidence that the aggregation is better at identifying important features, than on individual methods. Adversarial attacks on explanations is a recent active research topic. As our second contribution, we present evidence that aggregate explanations are much more robust to attacks than individual explanation methods.


title: A Reachability Method for Verifying Dynamical Systems with Deep Neural Network Controllers

abstract: Deep neural networks can be trained to be efficient and effective controllers for dynamical systems; however, the mechanics of deep neural networks are complex and difficult to guarantee. This work presents a general approach for providing guarantees for deep neural network controllers over multiple time steps using a combination of reachability methods and open source neural network verification tools. By bounding the system dynamics and neural network outputs, the set of reachable states can be over-approximated to provide a guarantee that the system will never reach states outside the set. The method is demonstrated on the mountain car problem as well as an aircraft collision avoidance problem. Results show that this approach can provide neural network guarantees given a bounded dynamic model.


title: The Fractional Laplacian has Infinite Dimension

abstract: We show that the fractional Laplacian on $\mathbb{R}^d$ fails to satisfy the Bakry-\'Emery curvature-dimension inequality $CD(\kappa,N)$ for all curvature bounds $\kappa\in \mathbb{R}$ and all finite dimensions $N>0$.


title: Further common local spectral properties for bounded linear operators

abstract: In this note, we study common local spectral properties for bounded linear operators $A\in\mathcal{L}(X,Y)$ and $B,C\in\mathcal{L}(Y,X)$ such that $$A(BA)^2=ABACA=ACABA=(AC)^2A.$$ We prove that $AC$ and $BA$ share the single valued extension property, the Bishop property $(\beta)$, the property $(\beta_{\epsilon})$, the decomposition property $(\delta)$ and decomposability. Closedness of analytic core and quasinilpotent part are also investigated. Some applications to Fredholm operators are given.


title: 3D metamaterial with stiffness and Poisson's ratio approaching negative infinity

abstract: We report a three-dimensional mechanical metamaterial that simultaneously possesses negative stiffness, negative bulk modulus, and negative Poisson's ratio. This metamaterial is a periodic arrangement of binder-shell elements. Under compression, the spherical shells dent inwards which cause the material to contract in the lateral directions. At larger deformations, snap through instability occurs and the material exhibits negative incremental stiffness. Interestingly, both incremental stiffness and incremental Poisson's ratio approach negative infinity (under displacement control) when snap-back is observed. We further showed that the multi-negative index metamaterial satisfies the strong ellipticity condition, therefore, a block of the metamaterial with many unit cells is stable under displacement constraint.


title: On $L^p$-convergence of the Biggins martingale with complex parameter

abstract: We prove necessary and sufficient conditions for the $L^p$-convergence, $p>1$, of the Biggins martingale with complex parameter in the supercritical branching random walk. The results and their proofs are much more involved (especially in the case $p\in (1,2)$) than those for the Biggins martingale with real parameter. Our conditions are ultimate in the case $p\geq 2$ only.


title: Optimal steering for non-Markovian Gaussian processes

abstract: At present, the problem to steer a non-Markovian process with minimum energy between specified end-point marginal distributions remains unsolved. Herein, we consider the special case for a non-Markovian process y(t) which, however, assumes a finite-dimensional stochastic realization with a Markov state process that is fully observable. In this setting, and over a finite time horizon [0,T], we determine an optimal (least) finite-energy control law that steers the stochastic system to a final distribution that is compatible with a specified distribution for the terminal output process y(T); the solution is given in closed-form. This work provides a key step towards the important problem to steer a stochastic system based on partial observations of the state (i.e., an output process) corrupted by noise, which will be the subject of forthcoming work.


title: Product states, entanglement, and measurement

abstract: A product state of a composite quantum system AB is customarily interpreted physically to mean subsystem A has property A1 and subsystem B has property B1. But this interpretation contradicts both the theory and observed outcomes of non-local interferometry experiments on the momentum-entangled state of two photons. These experiments demonstrate that product states must be interpreted physically as correlations, i.e. the product state means A has property A1 if and only if B has property B1. This clarification resolves the problem of definite outcomes and, with it, the measurement problem.


title: A solution to the Monge transport problem for Brownian martingales

abstract: We provide a solution to the problem of optimal transport by Brownian martingales in general dimensions whenever the transport cost satisfies certain subharmonic properties in the target variable, as well as a stochastic version of the standard "twist condition" frequently used in deterministic Monge transport theory. This setting includes in particular the case of the distance cost $c(x,y)=|x-y|$. We prove existence and uniqueness of the solution and characterize it as the first time Brownian motion hits a barrier that is determined by solutions to a corresponding dual problem.


title: Thermoelectric Features of Magnetic Doped Graphene Nanoribbons

abstract: Thermoelectric properties of Graphene Nanoribbons doped by magnetic impurities Fe and Co are carried out in room temperature. We report on a study of the band structure dependent properties such as electrical conductivity, charge of carriers and Seebeck coefficients. We investigate the thermoelectric properties using the Semi-classical Boltzmann method. The electronic band structure of doped nanoribbons are evaluated by using density-functional theory in which the Hubbard interaction is considered. In this work we compare the different types of the nanoribbons and their thermoelectric features in the presence and absence of the magnetic impurities and discuss the importance of the distance between impurities and the edge of the nanoribbons.


title: Recent results from the Pierre Auger Observatory

abstract: In this paper some recent results from the Pierre Auger Collaboration are presented. These are the measurement of the energy spectrum of cosmic rays over a wide range of energies ($10^{17.5}$ to above $10^{20}$ eV), studies of the cosmic-ray mass composition with the fluorescence and surface detector of the Observatory, the observation of a large-scale anisotropy in the arrival direction of cosmic rays above 8 x $10^{18}$ eV and indications of anisotropy at intermediate angular scales above 4 x $10^{19}$ eV. The astrophysical implications of the spectrum and composition results are also discussed. Finally the progress of the upgrade of the Observatory, AugerPrime is presented.


title: Anomalous Knight shift and low-energy spin dynamics in the nematic state of FeSe$_{\rm 1-x}$S$_{\rm x}$

abstract: The interplay between the nematic order and magnetism in FeSe is not yet well understood. There is a controversy concerning the relationship between orbital and spin degrees of freedom in FeSe and their relevance for superconductivity. Here we investigate the effect of S substitution on the nematic transition temperature ($T_{\rm n}$) and the low-energy spin fluctuations (SF) in FeSe single crystals. We show that the low-energy SF emerge below the nematic transition. The difference between the onset temperature for the critical SF ($T_{\rm SF}$) and $T_{\rm n}$ is small for FeSe but significantly increases with S substitution. Below $T_{\rm SF}$ the Korringa relation is violated and the effective muon hyperfine coupling constant changes a sign. Our results exclude a direct coupling of the low-energy SF to the electronic nematic order indicating a presence of multiple spin degrees of freedom in FeSe$_{\rm 1-x}$S$_{\rm x}$.


title: ALTSched: Improved Scheduling for Time-Domain Science with LSST

abstract: Telescope scheduling is the task of determining the best sequence of observations (pointings and filter choices) for a survey system. Because it is computationally intractable to optimize over all possible multi-year sequences of observations, schedulers use heuristics to pick the best observation at a given time. A greedy scheduler selects the next observation by choosing whichever one maximizes a scalar merit function, which serves as a proxy for the scientific goals of the telescope. This sort of bottom-up approach for scheduling is not guaranteed to produce a schedule for which the sum of merit over all observations is maximized. As an alternative to greedy schedulers, we introduce ALTSched, which takes a top-down approach to scheduling. Instead of considering only the next observation, ALTSched makes global decisions about which area of sky and which filter to observe in, and then refines these decisions into a sequence of observations taken along the meridian to maximize SNR. We implement ALTSched for the Large Synoptic Survey Telescope (LSST), and show that it equals or outperforms the baseline greedy scheduler in essentially all quantitative performance metrics. Due to its simplicity, our implementation is considerably faster than OpSim, the simulated greedy scheduler currently used by the LSST Project: a full ten year survey can be simulated in 4 minutes, as opposed to tens of hours for OpSim. LSST's hardware is fixed, so improving the scheduling algorithm is one of the only remaining ways to optimize LSST's performance. We see ALTSched as a prototype scheduler that gives a lower bound on the performance achievable by LSST.


title: Lens Model and Source Reconstruction Reveal the Morphology and Star Formation Distribution in the Cool Spiral LIRG SGAS J143845.1$+$145407

abstract: We present $Hubble\ Space\ Telescope$ ($HST$) imaging and grism spectroscopy of a strongly lensed LIRG at $z=0.816$, SGAS 143845.1$+$145407, and use the magnification boost of gravitational lensing to study the distribution of star formation throughout this galaxy. Based on the $HST$ imaging data, we create a lens model for this system; we compute the mass distribution and magnification map of the $z=0.237$ foreground lens. We find that the magnification of the lensed galaxy ranges between $2$ and $10$, with a total magnification (measured over all the images of the source) of $\mu=11.8^{+4.6}_{-2.4}$. We find that the total projected mass density within $\sim34$ kpc of the brightest cluster galaxy is $6.0^{+0.3}_{-0.7}\times10^{12}\,M_{\odot}$. Using the lens model we create a source reconstruction for SGAS 143845.1$+$145407, which paired with a faint detection of H$\alpha$ in the grism spectroscopy, allows us to finally comment directly on the distribution of star formation in a $z\sim1$ LIRG. We find widespread star formation across this galaxy, in agreement with the current understanding of these objects. However, we note a deficit of H$\alpha$ emission in the nucleus of SGAS 143845.1$+$145407, likely due to dust extinction.


title: Athermal shearing of frictionless cross-shaped particles of varying aspect ratio

abstract: We use numerical simulations to study the shear-driven steady-state flow of athermal, frictionless, overdamped, two dimensional cross-shaped particles of varying aspect ratios, and make comparison with the behavior of rod-shaped and staple-shaped particles. We find that the extent of non-convexity of the particle shape plays an important role in determining both the value of the jamming packing fraction as well as the rotational motion and orientational ordering of the particles.


title: Improved Differentially Private Analysis of Variance

abstract: Hypothesis testing is one of the most common types of data analysis and forms the backbone of scientific research in many disciplines. Analysis of variance (ANOVA) in particular is used to detect dependence between a categorical and a numerical variable. Here we show how one can carry out this hypothesis test under the restrictions of differential privacy. We show that the $F$-statistic, the optimal test statistic in the public setting, is no longer optimal in the private setting, and we develop a new test statistic $F_1$ with much higher statistical power. We show how to rigorously compute a reference distribution for the $F_1$ statistic and give an algorithm that outputs accurate $p$-values. We implement our test and experimentally optimize several parameters. We then compare our test to the only previous work on private ANOVA testing, using the same effect size as that work. We see an order of magnitude improvement, with our test requiring only 7% as much data to detect the effect.


title: Unsupervised Tracklet Person Re-Identification

abstract: Most existing person re-identification (re-id) methods rely on supervised model learning on per-camera-pair manually labelled pairwise training data. This leads to poor scalability in a practical re-id deployment, due to the lack of exhaustive identity labelling of positive and negative image pairs for every camera-pair. In this work, we present an unsupervised re-id deep learning approach. It is capable of incrementally discovering and exploiting the underlying re-id discriminative information from automatically generated person tracklet data end-to-end. We formulate an Unsupervised Tracklet Association Learning (UTAL) framework. This is by jointly learning within-camera tracklet discrimination and cross-camera tracklet association in order to maximise the discovery of tracklet identity matching both within and across camera views. Extensive experiments demonstrate the superiority of the proposed model over the state-of-the-art unsupervised learning and domain adaptation person re-id methods on eight benchmarking datasets.


title: Applications of the worldline Monte Carlo formalism in quantum mechanics

abstract: In recent years efficient algorithms have been developed for the numerical computation of relativistic single-particle path integrals in quantum field theory. Here, we adapt this "worldline Monte Carlo" approach to the standard problem of the numerical approximation of the non-relativistic path integral, resulting in a formalism whose characteristic feature is the fast, non-recursive generation of an ensemble of trajectories that is independent of the potential, and thus universally applicable. The numerical implementation discretises the trajectories with respect to their time parametrisation but maintains a continuous spatial domain. In the case of singular potentials, the discretised action gets adapted to the singularity through a "smoothing" procedure. We show for a variety of examples (the harmonic oscillator in various dimensions, the modified P\"oschl-Teller potential, delta-function potentials, the Coulomb and Yukawa potentials) that the method allows one to obtain fast and reliable estimates for the Euclidean propagator and use them in a certain time window suitable for extracting the ground state energy. As an aside, we apply it for studying the classical limit where nearly classical trajectories are expected to dominate in the path integral. We expect the advances made here to be useful also in the relativistic case.

categories: quant-ph nucl-th physics.atom-ph physics.comp-ph


title: Higher order mode damper for low energy RHIC electron cooler SRF booster cavity

abstract: To improve RHIC luminosity for heavy ion beam energies below 10 GeV/nucleon, the Low Energy RHIC electron Cooler (LEReC) is currently under commissioning at BNL. The Linac of LEReC is designed to deliver a 1.6 MeV to 2.6 MeV electron beam, with rms dp/p less than 5e-4. A 704 MHz superconducting radio frequency (SRF) booster cavity in this Linac provides up to 2.2 MeV accelerating voltage. With such a low energy and very demanding energy spread requirement, control of Higher Order Modes (HOMs) in the cavities becomes critical and needs to be carefully evaluated to ensure minimum impact on the beam. In this paper, we report the multiphysics design of the HOM damper for this cavity to meet the energy spread requirement, as well as experimental results of the cavity with and without the HOM damper.


title: On the expected Betti numbers of the nodal set of random fields

abstract: This note concerns the asymptotics of the expected total Betti numbers of the nodal set for an important class of Gaussian ensembles of random fields on Riemannian manifolds. By working with the limit random field defined on the Euclidean space we were able to obtain a locally precise asymptotic result, though due to the possible positive contribution of large percolating components this does not allow to infer a global result. As a by-product of our analysis, we refine the lower bound of Gayet-Welschinger for the important Kostlan ensemble of random polynomials and its generalisation to K\"{a}hler manifolds.


title: Bohr-Fourier series on solenoids via its transversal variation

abstract: The Bohr-Fourier series development on one dimensional solenoids is analyzed by using invariant functions and extending Bohr's theory through the study of transversal variation


title: Comprehensive Study of Neutrino-Dark Matter Mixed Damping

abstract: Mixed damping is a physical effect that occurs when a heavy species is coupled to a relativistic fluid which is itself free streaming. As a cross-case between collisional damping and free-streaming, it is crucial in the context of neutrino-dark matter interactions. In this work, we establish the parameter space relevant for mixed damping, and we derive an analytical approximation for the evolution of dark matter perturbations in the mixed damping regime to illustrate the physical processes responsible for the suppression of cosmological perturbations. Although extended Boltzmann codes implementing neutrino-dark matter scattering terms automatically include mixed damping, this effect has not been systematically studied. In order to obtain reliable numerical results, it is mandatory to reconsider several aspects of neutrino-dark matter interactions, such as the initial conditions, the ultra-relativistic fluid approximation and high order multiple moments in the neutrino distribution. Such a precise treatment ensures the correct assessment of the relevance of mixed damping in neutrino-dark matter interactions.


title: Some New Bounds on the Entropy Numbers of Diagonal Operators

abstract: Entropy numbers are an important tool for quantifying the compactness of operators. Besides establishing new upper bounds on the entropy numbers of diagonal operators $D_\sigma$ from $\ell_p$ to $\ell_q$, where $p\not=q$, we investigate the optimality of these bounds. In case of $p<q$ optimality is proven for fast decaying diagonal sequences, which include exponentially decreasing sequences. In case of $p>q$ we show optimality under weaker assumption than previously used in the literature. In addition, we illustrate the benefit of our results with examples not covered in the literature so far.


title: Coalescence under Preimage Constraints

abstract: The primary goal of this document is to record the asymptotic effects that preimage constraints impose upon the sizes of the iterated images of a random function. Specifically, given a subset $\mathcal{P}\subseteq \mathbb{Z}_{\geq 0}$ and a finite set $S$ of size $n$, choose a function uniformly from the set of functions $f:S\rightarrow S$ that satisfy the condition that $|f^{-1}(x)|\in\mathcal{P}$ for each $x\in S$, and ask what $|f^k(S)|$ looks like as $n$ goes to infinity. The robust theory of singularity analysis allows one to completely answer this question if one accepts that $0\in\mathcal{P}$, that $\mathcal{P}$ contains an element bigger than 1, and that $\gcd(\mathcal{P})=1$; only the third of these conditions is a meaningful restriction. The secondary goal of this paper is to record much of the background necessary to achieve the primary goal.


title: Combinatorial Bandits with Relative Feedback

abstract: We consider combinatorial online learning with subset choices when only relative feedback information from subsets is available, instead of bandit or semi-bandit feedback which is absolute. Specifically, we study two regret minimisation problems over subsets of a finite ground set $[n]$, with subset-wise relative preference information feedback according to the Multinomial logit choice model. In the first setting, the learner can play subsets of size bounded by a maximum size and receives top-$m$ rank-ordered feedback, while in the second setting the learner can play subsets of a fixed size $k$ with a full subset ranking observed as feedback. For both settings, we devise instance-dependent and order-optimal regret algorithms with regret $O(\frac{n}{m} \ln T)$ and $O(\frac{n}{k} \ln T)$, respectively. We derive fundamental limits on the regret performance of online learning with subset-wise preferences, proving the tightness of our regret guarantees. Our results also show the value of eliciting more general top-$m$ rank-ordered feedback over single winner feedback ($m=1$). Our theoretical results are corroborated with empirical evaluations.


title: Sign-Rank Can Increase Under Intersection

abstract: The communication class $\mathbf{UPP}^{\text{cc}}$ is a communication analog of the Turing Machine complexity class $\mathbf{PP}$. It is characterized by a matrix-analytic complexity measure called sign-rank (also called dimension complexity), and is essentially the most powerful communication class against which we know how to prove lower bounds. For a communication problem $f$, let $f \wedge f$ denote the function that evaluates $f$ on two disjoint inputs and outputs the AND of the results. We exhibit a communication problem $f$ with $\mathbf{UPP}(f)= O(\log n)$, and $\mathbf{UPP}(f \wedge f) = \Theta(\log^2 n)$. This is the first result showing that $\mathbf{UPP}$ communication complexity can increase by more than a constant factor under intersection. We view this as a first step toward showing that $\mathbf{UPP}^{\text{cc}}$, the class of problems with polylogarithmic-cost $\mathbf{UPP}$ communication protocols, is not closed under intersection. Our result shows that the function class consisting of intersections of two majorities on $n$ bits has dimension complexity $n^{\Omega(\log n)}$. This matches an upper bound of (Klivans, O'Donnell, and Servedio, FOCS 2002), who used it to give a quasipolynomial time algorithm for PAC learning intersections of polylogarithmically many majorities. Hence, fundamentally new techniques will be needed to learn this class of functions in polynomial time.


title: A Nonlinear Model for Time Synchronization

abstract: The current algorithms are based on linear model, for example, Precision Time Protocol (PTP) which requires frequent synchronization in order to handle the effects of clock frequency drift. This paper introduces a nonlinear approach to clock time synchronize. This approach can accurately model the frequency shift. Therefore, the required time interval to synchronize clocks can be longer. Meanwhile, it also offers better performance and relaxes the synchronization process. The idea of the nonlinear algorithm and some numerical examples will be presented in this paper in detail.


title: Convenient filtering techniques for LIGO strain of the GW150914 event

abstract: We present a new strategy for the pre-processing filtering techniques of the LIGO strain of the GW150914\cite{Abbott:2016blz,TheLIGOScientific:2016wfe} event that intends to extract as much physical information as possible, minimizing the use of prior assumptions, and avoiding transformations of the astrophysical signal. The new techniques allow us to reveal more low frequency signal at earlier times, that it has been overlooked.


title: An FPTAS for Stochastic Unbounded Min-Knapsack Problem

abstract: In this paper, we study the stochastic unbounded min-knapsack problem ($\textbf{Min-SUKP}$). The ordinary unbounded min-knapsack problem states that: There are $n$ types of items, and there is an infinite number of items of each type. The items of the same type have the same cost and weight. We want to choose a set of items such that the total weight is at least $W$ and the total cost is minimized. The \prob~generalizes the ordinary unbounded min-knapsack problem to the stochastic setting, where the weight of each item is a random variable following a known distribution and the items of the same type follow the same weight distribution. In \prob, different types of items may have different cost and weight distributions. In this paper, we provide an FPTAS for $\textbf{Min-SUKP}$, i.e., the approximate value our algorithm computes is at most $(1+\epsilon)$ times the optimum, and our algorithm runs in $poly(1/\epsilon,n,\log W)$ time.


title: Scalable Atomistic Simulations of Quantum Electron Transport using Empirical Pseudopotentials

abstract: The simulation of charge transport in ultra-scaled electronic devices requires the knowledge of the atomic configuration and the associated potential. Such "atomistic" device simulation is most commonly handled using a tight-binding approach based on a basis-set of localized orbitals. Here, in contrast to this widely used tight-binding approach, we formulate the problem using a highly accurate plane-wave representation of the atomic (pseudo)-potentials. We develop a new approach that separately deals with the intrinsic Hamiltonian, containing the potential due to the atomic configuration, and the extrinsic Hamiltonian, related to the external potential. We realize efficient performance by implementing a finite-element like partition-of-unity approach combining linear shape functions with Bloch-wave enhancement functions. We match the performance of previous tight-binding approaches, while retaining the benefits of a plane wave based model. We present the details of our model and its implementation in a full-fledged self-consistent ballistic quantum transport solver. We demonstrate our implementation by simulating the electronic transport and device characteristics of a graphene nanoribbon transistor containing more than 2000 atoms. We analyze the accuracy, numerical efficiency and scalability of our approach. We are able to speed up calculations by a factor of 100 compared to previous methods based on plane waves and envelope functions. Furthermore, our reduced basis-set results in a significant reduction of the required memory budget, which enables devices with thousands of atoms to be simulated on a personal computer.


title: Active Fingering Instability in Tissue Spreading

abstract: During the spreading of epithelial tissues, the advancing tissue front often develops fingerlike protrusions. Their resemblance to traditional viscous fingering patterns in driven fluids suggests that epithelial fingers could arise from an interfacial instability. However, the existence and physical mechanism of such a putative instability remain unclear. Here, based on an active polar fluid model for epithelial spreading, we analytically predict a generic instability of the tissue front. On the one hand, active cellular traction forces impose a velocity gradient that leads to an accelerated front, which is, thus, unstable to long-wavelength perturbations. On the other hand, contractile intercellular stresses typically dominate over surface tension in stabilizing short-wavelength perturbations. Finally, the finite range of hydrodynamic interactions in the tissue selects a wavelength for the fingering pattern, which is, thus, given by the smallest between the tissue size and the hydrodynamic screening length. Overall, we show that spreading epithelia experience an active fingering instability based on a simple kinematic mechanism. Moreover, our results underscore the crucial role of long-range hydrodynamic interactions in the dynamics of tissue morphology.


title: Kinetic walks for sampling

abstract: The persistent walk is a classical model in kinetic theory, which has also been studied as a toy model for MCMC questions. Its continuous limit, the telegraph process, has recently been extended to various velocity jump processes (Bouncy Particle Sampler, Zig-Zag process, etc.) in order to sample general target distributions on $\mathbb R^d$. This paper studies, from a sampling point of view, general kinetic walks that are natural discrete-time (and possibly discrete-space) counterparts of these continuous-space processes. The main contributions of the paper are the definition and study of a discrete-space Zig-Zag sampler and the definition and time-discretisation of hybrid jump/diffusion kinetic samplers for multi-scale potentials on $\mathbb R^d$.


title: $P$-Partitions and Quasisymmetric Power Sums

abstract: The $(P, \omega)$-partition generating function of a labeled poset $(P, \omega)$ is a quasisymmetric function enumerating certain order-preserving maps from $P$ to $\mathbb{Z}^+$. We study the expansion of this generating function in the recently introduced type 1 quasisymmetric power sum basis $\{\psi_\alpha\}$. Using this expansion, we show that connected, naturally labeled posets have irreducible $P$-partition generating functions. We also show that series-parallel posets are uniquely determined by their partition generating functions. We conclude by giving a combinatorial interpretation for the coefficients of the $\psi_\alpha$-expansion of the $(P, \omega)$-partition generating function akin to the Murnaghan-Nakayama rule.


title: One-Component Order Parameter in URu$_2$Si$_2$ Uncovered by Resonant Ultrasound Spectroscopy and Machine Learning

abstract: The unusual correlated state that emerges in URu$_2$Si$_2$ below T$_{HO}$ = 17.5 K is known as "hidden order" because even basic characteristics of the order parameter, such as its dimensionality (whether it has one component or two), are "hidden". We use resonant ultrasound spectroscopy to measure the symmetry-resolved elastic anomalies across T$_{HO}$. We observe no anomalies in the shear elastic moduli, providing strong thermodynamic evidence for a one-component order parameter. We develop a machine learning framework that reaches this conclusion directly from the raw data, even in a crystal that is too small for traditional resonant ultrasound. Our result rules out a broad class of theories of hidden order based on two-component order parameters, and constrains the nature of the fluctuations from which unconventional superconductivity emerges at lower temperature. Our machine learning framework is a powerful new tool for classifying the ubiquitous competing orders in correlated electron systems.


title: Attacking Graph-based Classification via Manipulating the Graph Structure

abstract: Graph-based classification methods are widely used for security and privacy analytics. Roughly speaking, graph-based classification methods include collective classification and graph neural network. Evading a graph-based classification method enables an attacker to evade detection in security analytics and can be used as a privacy defense against inference attacks. Existing adversarial machine learning studies mainly focused on machine learning for non-graph data. Only a few recent studies touched adversarial graph-based classification methods. However, they focused on graph neural network methods, leaving adversarial collective classification largely unexplored. We aim to bridge this gap in this work. We first propose a threat model to characterize the attack surface of a collective classification method. Specifically, we characterize an attacker's background knowledge along three dimensions: parameters of the method, training dataset, and the complete graph; an attacker's goal is to evade detection via manipulating the graph structure. We formulate our attack as a graph-based optimization problem, solving which produces the edges that an attacker needs to manipulate to achieve its attack goal. Moreover, we propose several approximation techniques to solve the optimization problem. We evaluate our attacks and compare them with a recent attack designed for graph neural networks. Results show that our attacks 1) can effectively evade graph-based classification methods; 2) do not require access to the true parameters, true training dataset, and/or complete graph; and 3) outperform the existing attack for evading collective classification methods and some graph neural network methods. We also apply our attacks to evade Sybil detection using a large-scale Twitter dataset and apply our attacks as a defense against attribute inference attacks using a large-scale Google+ dataset.


title: $t$-Pebbling in $k$-connected diameter two graphs

abstract: Graph pebbling models the transportation of consumable resources. As two pebbles move across an edge, one reaches its destination while the other is consumed. The $t$-pebbling number is the smallest integer $m$ so that any initially distributed supply of $m$ pebbles can place $t$ pebbles on any target vertex via pebbling moves. The 1-pebbling number of diameter two graphs is well-studied. Here we investigate the $t$-pebbling number of diameter two graphs under the lense of connectivity.


title: A Holographic Argument for the Penrose Inequality in AdS

abstract: We give a holographic argument in favor of the AdS Penrose inequality, which conjectures a lower bound on the total mass in terms of the area of apparent horizons. This inequality is often viewed as a test of cosmic censorship. We further find a connection between the area law for apparent horizons and the Penrose inequality. Finally, we show that the argument also applies to solutions with charge, resulting in a charged Penrose inequality in AdS.


title: Variational Quantum Circuit Model for Knowledge Graphs Embedding

abstract: In this work, we propose the first quantum Ans\"atze for the statistical relational learning on knowledge graphs using parametric quantum circuits. We introduce two types of variational quantum circuits for knowledge graph embedding. Inspired by the classical representation learning, we first consider latent features for entities as coefficients of quantum states, while predicates are characterized by parametric gates acting on the quantum states. For the first model, the quantum advantages disappear when it comes to the optimization of this model. Therefore, we introduce a second quantum circuit model where embeddings of entities are generated from parameterized quantum gates acting on the pure quantum state. The benefit of the second method is that the quantum embeddings can be trained efficiently meanwhile preserving the quantum advantages. We show the proposed methods can achieve comparable results to the state-of-the-art classical models, e.g., RESCAL, DistMult. Furthermore, after optimizing the models, the complexity of inductive inference on the knowledge graphs might be reduced with respect to the number of entities.


title: Optimal motion of a scallop: some case studies

abstract: In this paper we focus on a two-link swimmer called scallop which moves changing dynamics between two fluids regimes. We address and solve explicitly two optimal control problems, the minimum time one and the minimum quadratic cost needed to move the swimmer between two fixed positions using a periodic control. Considering only one switching in the dynamics and exploiting the structure of the equation of motion we are able to split the problem into simpler ones. We solve explicitly each sub-problem obtaining a discontinuous global solution. Then we approximate it through a suitable sequence of continuous functions. Finally, we show numerical simulations suggesting that to switch less times is the best strategy for both costs.


title: From PAC to Instance-Optimal Sample Complexity in the Plackett-Luce Model

abstract: We consider PAC-learning a good item from $k$-subsetwise feedback information sampled from a Plackett-Luce probability model, with instance-dependent sample complexity performance. In the setting where subsets of a fixed size can be tested and top-ranked feedback is made available to the learner, we give an algorithm with optimal instance-dependent sample complexity, for PAC best arm identification, of $O\bigg(\frac{\theta_{[k]}}{k}\sum_{i = 2}^n\max\Big(1,\frac{1}{\Delta_i^2}\Big) \ln\frac{k}{\delta}\Big(\ln \frac{1}{\Delta_i}\Big)\bigg)$, $\Delta_i$ being the Plackett-Luce parameter gap between the best and the $i^{th}$ best item, and $\theta_{[k]}$ is the sum of the \pl\, parameters for the top-$k$ items. The algorithm is based on a wrapper around a PAC winner-finding algorithm with weaker performance guarantees to adapt to the hardness of the input instance. The sample complexity is also shown to be multiplicatively better depending on the length of rank-ordered feedback available in each subset-wise play. We show optimality of our algorithms with matching sample complexity lower bounds. We next address the winner-finding problem in Plackett-Luce models in the fixed-budget setting with instance dependent upper and lower bounds on the misidentification probability, of $\Omega\left(\exp(-2 \tilde \Delta Q) \right)$ for a given budget $Q$, where $\tilde \Delta$ is an explicit instance-dependent problem complexity parameter. Numerical performance results are also reported.


title: The Witten Index for 1D Supersymmetric Quantum Walks with Anisotropic Coins

abstract: Chirally symmetric discrete-time quantum walks possess supersymmetry, and their Witten indices can be naturally defined. The Witten index gives a lower bound for the number of topologically protected bound states. The purpose of this paper is to give a complete classification of the Witten index associated with a one-dimensional split-step quantum walk. It turns out that the Witten index of this model exhibits striking similarity to the one associated with a Dirac particle in supersymmetric quantum mechanics.