title: Extreme background-rejection techniques for the ELROI optical satellite license plate

abstract: The Extremely Low-Resource Optical Identifier (ELROI) is a concept for an autonomous, low-power optical "license plate" that can be attached to anything that goes into space. ELROI uses short, omnidirectional flashes of laser light to encode a unique ID number which can be read by a small ground telescope using a photon-counting sensor and innovative extreme background-rejection techniques. ELROI is smaller and lighter than a typical radio beacon, low-power enough to run on its own small solar cell, and can safely operate for the entire orbital lifetime of a satellite or debris object. The concept has been validated in ground tests, and orbital prototypes are scheduled for launch in 2018 and beyond. In this paper we focus on the details of the encoding scheme and data analysis that allow a milliwatt optical signal to be read from orbit. We describe the techniques of extreme background-rejection needed to achieve this, including spectral filtering and temporal filtering using a period- and phase-recovery algorithm, and discuss the requirements for an error-correcting code to encode the ID number. Worked examples with both simulated and experimental (long-range ground test) data illustrate the methods used. We present these techniques to describe a new optical communication concept, and to encourage others to consider observing and analyzing our upcoming test flights.


title: Late time Wilson lines

abstract: In the AdS$_3$/CFT$_2$ correspondence, physical interest attaches to understanding Virasoro conformal blocks at large central charge and in a kinematical regime of large Lorentzian time separation, $t\sim c$. However, almost no analytical information about this regime is presently available. By employing the Wilson line representation we derive new results on conformal blocks at late times, effectively resumming all dependence on $t/c$. This is achieved in the context of "light-light" blocks, as opposed to the richer, but much less tractable, "heavy-light" blocks. The results exhibit an initial decay, followed by erratic behavior and recurrences. We also connect this result to gravitational contributions to anomalous dimensions of double trace operators by using the Lorentzian inversion formula to extract the latter. Inverting the stress tensor block provides a pedagogical example of inversion formula machinery.


title: A Novel Algebraic Geometry Compiling Framework for Adiabatic Quantum Computations

abstract: Adiabatic Quantum Computing (AQC) is an attractive paradigm for solving hard integer polynomial optimization problems. Available hardware restricts the Hamiltonians to be of a structure that allows only pairwise interactions. This requires that the original optimization problem to be first converted -- from its polynomial form -- to a quadratic unconstrained binary optimization (QUBO) problem, which we frame as a problem in algebraic geometry. Additionally, the hardware graph where such a QUBO-Hamiltonian needs to be embedded -- assigning variables of the problem to the qubits of the physical optimizer -- is not a complete graph, but rather one with limited connectivity. This "problem graph to hardware graph" embedding can also be framed as a problem of computing a Groebner basis of a certain specially constructed polynomial ideal. We develop a systematic computational approach to prepare a given polynomial optimization problem for AQC in three steps. The first step reduces an input polynomial optimization problem into a QUBO through the computation of the Groebner basis of a toric ideal generated from the monomials of the input objective function. The second step computes feasible embeddings. The third step computes the spectral gap of the adiabatic Hamiltonian associated to a given embedding. These steps are applicable well beyond the integer polynomial optimization problem. Our paper provides the first general purpose computational procedure that can be used directly as a $translator$ to solve polynomial integer optimization. Alternatively, it can be used as a test-bed (with small size problems) to help design efficient heuristic quantum compilers by studying various choices of reductions and embeddings in a systematic and comprehensive manner. An added benefit of our framework is in designing Ising architectures through the study of $\mathcal Y-$minor universal graphs.


title: A localized dynamic closure model for Euler turbulence

abstract: In this work, we present a localized form of the dynamic eddy viscosity model for computationally efficient and accurate simulation of the turbulent flows governed by Euler equations. In our framework, we determine the dynamic model coefficient locally using the information from neighboring grid points through a test filtering process. We then develop an optimized Gaussian filtering kernel, using a consistent definition with respect to the test filtering ratio, which gives full attenuation at the grid cut-off wave number. A systematic a-posteriori analysis of our model is performed by solving two 3D test problems: (i) incompressible Taylor-Green vortex flow and (ii) compressible shear layer turbulence induced by Kelvin-Helmholtz instability to show the wide range of applicability of the proposed localized dynamic model. We demonstrate that the proposed dynamic model is robust and provides a better estimation of the inertial range turbulence dynamics than other numerical models tested in this study.


title: Impact of 3D UWB Antenna Radiation Pattern on Air-to-Ground Drone Connectivity

abstract: Three dimensional (3D) radiation pattern of an antenna mounted at a drone can significantly influence the air-to-ground (A2G) link quality. Even when a drone transmitter is very close to a ground receiver, if the antenna orientations are not aligned properly, a significant degradation can be observed in the received signal power at the receiver. To characterize such effects for a doughnut-shaped antenna radiation pattern, using an ultra-wideband (UWB) transmitter at the drone and a UWB receiver at the ground, we carry out A2G channel measurements to capture the link quality at the ground receiver for various link distances, drone heights, and antenna orientations. We develop a simple analytical model to approximate the influence of 3D antenna patterns on the received signal strength (RSS), which show reasonable agreement with measurements despite the simplicity of the model and the complicated 3D radiation from the UWB antennas. We also explore how the signal strength can be improved when multiple antennas with different orientations are utilized at transmitter/receiver.


title: Eco-Routing of Plug-In Hybrid Electric Vehicles in Transportation Networks

abstract: We study the problem of eco-routing Plug-In Hybrid Electric Vehicles (PHEVs) to minimize the overall energy consumption costs. Unlike the traditional Charge Depleting First (CDF) approaches in the literature where the power-train control strategy is fixed, we propose a Combined Routing and Power-train Control (CRPTC) algorithm which can simultaneously calculate the optimal energy route as well as the optimal power-train control strategy. To validate our method, we apply our eco-routing algorithm to a subnetwork of the Eastern Massachusetts (EMA) transportation network using actual traffic data provided by the Boston Region Metropolitan Planning Organization. As an alternative benchmark, we also simulate the traffic behavior of the network using the extracted flow data from the aforementioned traffic dataset. We show that the CRPTC approach outperforms the traditional CDF approach and we quantify the trade-off between saving energy and time in using eco-routing algorithms.


title: Regenesis and quantum traversable wormholes

abstract: Recent gravity discussions of a traversable wormhole indicate that in holographic systems signals generated by a source could reappear long after they have dissipated, with the need of only performing some simple operations. In this paper we argue the phenomenon, to which we refer as "regenesis", is universal in general quantum chaotic many-body systems, and elucidate its underlying physics. The essential elements behind the phenomenon are: (i) scrambling which in a chaotic system makes out-of-time-ordered correlation functions (OTOCs) vanish at large times; (ii) the entanglement structure of the state of the system. The latter aspect also implies that the regenesis phenomenon requires fine tuning of the initial state. Compared to other manifestations of quantum chaos such as the initial growth of OTOCs which deals with early times, and a random matrix-type energy spectrum which reflects very large time behavior, regenesis concerns with intermediate times, of order the scrambling time of a system. We also study the phenomenon in detail in general two-dimensional conformal field theories in the large central charge limit, and highlight some interesting features including a resonant enhancement of regenesis signals near the scrambling time and their oscillations in coupling. Finally, we discuss gravity implications of the phenomenon for systems with a gravity dual, arguing that there exist regimes for which traversability of a wormhole is quantum in nature, i.e. cannot be associated with a semi-classical spacetime causal structure.

categories: hep-th cond-mat.stat-mech gr-qc nlin.CD quant-ph


title: Notes on properties of binary strings which encode prime occurrences

abstract: A binary string representation of prime occurrences is a sequence of bits, where $1$ entries encode positions of prime numbers. This is a convenient representation for analysis of prime distribution, since it allows for application of a broad range of existing string-analysis algorithms to problems in number theory. Binary strings of prime occurrences can be also generated with simple algorithms. Here we discuss three such algorithms and we demonstrate their applicability using the example of proving Goldbach's hypothesis for some limited sets of even numbers. This work formulates three open questions (conjectures) regarding the distribution of primes.


title: An Automated System for Checking Lithography Friendliness of Standard Cells

abstract: At advanced process nodes, lithography weakpoints can exist in physical layouts of integrated circuit designs even if the layouts pass design rule checking (DRC). Existence of lithography weakpoints in a physical layout can cause manufacturability issues, which in turn can result in yield losses. In our experiments, we have found that specific standard cells have tendencies to create lithography weakpoints after their cell instances are placed and routed, even though each of these cells does not contain any lithography weakpoint before performing placement and routing. In addition, our experiments have shown that abutted standard cell instances can induce lithography weakpoints. Therefore, in this paper, we propose methodologies that are used in a novel software system for checking standard cells in terms of the aforementioned lithography issues. Specifically, the software system is capable of detecting and sorting problematic standard cells which are prone to generate lithography weakpoints, as well as reporting standard cells that should not be abutted. Methodologies proposed in this paper allow us to reduce or even prevent the generation of undesirable lithography weakpoints during the physical synthesis phase of designing a digital integrated circuit.


title: The Sloan Digital Sky Survey Reverberation Mapping Project: Sample Characterization

abstract: We present a detailed characterization of the 849 broad-line quasars from the Sloan Digital Sky Survey Reverberation Mapping (SDSS-RM) project. Our quasar sample covers a redshift range of 0.1<z<4.5 and is flux-limited to i_PSF<21.7 without any other cuts on quasar properties. The main sample characterization includes: 1) spectral measurements of the continuum and broad emission lines for individual objects from the coadded first-season spectroscopy in 2014; 2) identification of broad and narrow absorption lines in the spectra; 3) optical variability properties for continuum and broad lines from multi-epoch spectroscopy. We provide improved systemic redshift estimates for all quasars, and demonstrate the effects of signal-to-noise ratio on the spectral measurements. We compile measured properties for all 849 quasars along with supplemental multi-wavelength data for subsets of our sample from other surveys. The SDSS-RM sample probes a diverse range in quasar properties, and shows well detected continuum and broad-line variability for many objects from first-season monitoring data. The compiled properties serve as the benchmark for follow-up work based on SDSS-RM data. The spectral fitting tools are made public along with this work.


title: Results of a systematic search for outburst events in 1.4 million galaxies

abstract: We present an analysis of nine years of Catalina Surveys optical photometry for 1.4 million spectroscopically confirmed SDSS galaxies. We find 717 outburst events that were not reported by ongoing transient surveys. These events have timescales ranging from weeks to years. More than two thirds of these new events are found in starforming galaxies, while such galaxies only constitute ~20% of our sample. Based on the properties of the hosts and events, we find that almost all of the new events are likely to be associated with regular supernovae. However, a small number of long-timescale events are found among the galaxies containing AGN. These events have similar properties to those recently found in the analyses of light curves of large samples of AGN. Given the lack of such events among the more than a million passive galaxies in the sample, we suggest that the long outbursts are associated with super-massive black holes or their environments.


title: A compendium of extinction curves for simple galactic geometries

abstract: We calculate the net extinction of galactic light as a function of wavelength, inclination, central optical depth, and morphology for simple galactic geometries using the Hyperion radiative transfer code. Compared to previous, similar works we tabulate extinction over a much broader range of galactic properties, and using a much finer grid in the model parameters. We expect these results to be useful for constructing dust-extinguished spectra and luminosities of model galaxies and, therefore, for synthetic survey building. Results are made available as an HDF5 file at https://doi.org/10.5281/zenodo.1442826


title: Analysis of chemical pathways for n-dodecane/air turbulent premixed flames

abstract: This paper analyzes turbulence-chemistry interactions for an n-dodecane-air flame, focusing on the degree to which fuel oxidation pathways change in turbulent flames relative to their corresponding laminar flames. This work is based on a lean n-dodecane-air flame DNS database from Aspden et al. (Proc. Combust. Institute, 36 (2017) 2005-2016). The relative roles of dominant reactions that release heat and produce/consume radicals are examined at various turbulence intensities and compared with stretched flame calculations from counterflow flames and perfectly stirred reactors. These results show that spatially integrated (i.e. integrated heat release or radical production rate metrics averaged over the entire flame) chemical pathways are relatively insensitive to turbulence intensity and mimic the behavior of stretched flames. In other words, the contribution of a given reaction to heat release or radical production, integrated over the entire flame, is nearly independent to turbulence. Localized analysis conditioned on topological feature of the flame and on temperature is also performed. The former analysis reveals that much larger alteration of pathways occurs in the positively-curved regions of the flame. The latter localized analysis shows that peak activity in the low temperature (i.e. below 1200K) region shift towards higher temperatures with increases in Karlovitz number. This result is particularly interesting given that prior work with lighter fuels showed the opposite behavior suggesting a disparate response of the reactions involved in the fuel oxidation process to increased turbulence.


title: Topological phases of non-symmorphic crystals : Shastry-Sutherland lattice at integer filling

abstract: Motivated by intertwined crystal symmetries and topological phases, we study the possible realization of topological insulator in nonsymmorphic crystals at integer fillings. In particular, we consider spin orbit coupled electronic systems of two-dimensional crystal Shastry-Sutherland lattice at integer filling where the gapless line degeneracy is protected by glide reflection symmetry. Based on a simple tight-binding model, we investigate how the topological insulating phase is stabilized by breaking nonsymmorphic symmetries but in the presence of time reversal symmetry and inversion symmetry. In addition, we also discuss the regime where Dirac semimetal is stabilized, having non trivial $Z_2$ invariants even without spin orbit coupling (SOC). Our study can be extended to more general cases where all lattice symmetries are broken and we also discuss possible application to topological Kondo insulators in nonsymmorphic crystals where crystal symmetries can be spontaneously broken as a function of Kondo coupling.


title: A Partition Theorem for a Randomly Selected Large Population

abstract: We state and prove a theorem on the partitioning of a randomly selected large population into stationary and non-stationary components by using a property of stationary population identity. Applications of this theorem for practical purposes is summarized at the end.


title: Weight conjectures for fusion systems

abstract: Many of the conjectures of current interest in the representation theory of finite groups in characteristic $p$ are local-to-global statements, in that they predict consequences for the representations of a finite group $G$ given data about the representations of the $p$-local subgroups of $G$. The local structure of a block of a group algebra is encoded in the fusion system of the block together with a compatible family of K\"ulshammer-Puig cohomology classes. Motivated by conjectures in block theory, we state and initiate investigation of a number of seemingly local conjectures for arbitrary triples $(S,\mathcal{F},\alpha)$ consisting of a saturated fusion system $\mathcal{F} $ on a finite $p$-group $S$ and a compatible family $\alpha$.


title: Enhancement of the density of states at the Fermi level due to oxygen atoms in noble metals

abstract: The interaction of oxygen with noble metals such as silver has been an important topic of research for many decades. Here, we show occurrence of a peak in the density of states (DOS) at the Fermi level ($E_F$) when oxygen atoms occupy disordered substitutional positions in noble metals such as Ag, Au or Ag-Au alloy. This results in large enhancement of DOS at $E_F$ with respect to Ag or Au metal. Its origin is attributed to O 2$p$ related disorder broadened flat band that straddles almost all the high symmetry directions of the Brillouin zone. Our work suggests that if a large concentration of disordered oxygen can be realized in nano-structures of noble metals, it may lead to interesting phenomenon.


title: Representation Flow for Action Recognition

abstract: In this paper, we propose a convolutional layer inspired by optical flow algorithms to learn motion representations. Our representation flow layer is a fully-differentiable layer designed to capture the `flow' of any representation channel within a convolutional neural network for action recognition. Its parameters for iterative flow optimization are learned in an end-to-end fashion together with the other CNN model parameters, maximizing the action recognition performance. Furthermore, we newly introduce the concept of learning `flow of flow' representations by stacking multiple representation flow layers. We conducted extensive experimental evaluations, confirming its advantages over previous recognition models using traditional optical flows in both computational speed and performance. Code/models available here: https://piergiaj.github.io/rep-flow-site/


title: Nuclear Dipole Response in the Finite-Temperature Relativistic Time Blocking Approximation

abstract: The radiative neutron capture reaction rates of the r-process nucleosynthesis are immensely affected by the microscopic structure of the low-energy spectra of compound nuclei. The relativistic (quasiparticle) time blocking approximation (R(Q)TBA) has successfully provided a good description of the low-energy strength, in particular, the strength associated with pygmy dipole resonance, describing transitions from and to the nuclear ground state. The finite-temperature generalization of this method is designed for thermally excited compound nuclei and has the potential to enrich the fine structure of the dipole strength, especially in the low-energy region. The finite-temperature RTBA equations are derived using the Matsubara Green's function formalism. We show that with the help of a temperature-dependent projection operator on the subspace of the imaginary time it is possible to reduce the Bethe-Salpeter equation for the nuclear response function to a single frequency variable equation also at finite temperatures. The approach is implemented self-consistently in the framework of quantum hadrodynamics and keeps the ability of connecting the high-energy scale of heavy mesons and the low-energy domain of nuclear medium polarization effects in a parameter-free way. The presented calculations of the dipole response within a self-consistent relativistic framework reveal that, although the Landau damping plays the leading role in the temperature evolution of the strength distribution, (i) at moderate temperatures the PVC effects remain almost as strong as at $T=0$ and (ii) at high temperatures they are tremendously reinforced because of the formation of the new collective low-energy modes. In the dipole channel, the latter effect is responsible for the "disappearance" of the high-frequency GDR or, in other words, brings the GDR to the low-energy domain.


title: Multiwavelength intraday variability: what do the studies tell us about blazar jets?

abstract: In this presentation, we report the results of intraday variability in the optical (BVRI bands) and hard X-ray band (3-79 keV) in a number of blazars. In the optical microvariability studies of the blazars S5 0716+714 and BL Lac, we observed many interesting features such as rapid variability, large variability amplitude, presence of characteristic timescales, bluer-when-brighter achromatic behavior, and single power-law power spectral density. In {\it NuSTAR} observations of several blazars, using spectral and timing analysis, we found similar features consistent with the optical studies. In addition, in BL Lacs we estimated the Lorentz factor of the population of highest energy electrons emitting synchrotron emission, and whereas in flat-spectrum radio quasars, using external Compton models, we estimated the energy of the lower end of the injected electrons to be a few tens of Lorentz factors. In addition, we find that the low flux state exhibit more rapid variability in contrast to the previously reported results showing high flux states displaying rapid variability. In both the studies, the size of the emission regions estimated using variability timescales turn out to be an order magnitude smaller than the gravitational radius of a typical black-hole masses between $\sim 10^8-10^9$ solar masses, believed to be at the center of the radio-loud AGN. The results of the studies suggest that these low-amplitude rapid variability might originate as a result of magnetohydrodynamical instabilities near the base of the jets triggered by the processes modulated by the magnetic field at accretion disc.


title: Iterative Variable-Blaschke Factorization

abstract: Blaschke factorization allows us to write any holomorphic function $F$ as a formal series $$ F = a_0 B_0 + a_1 B_0 B_1 + a_2 B_0 B_1 B_2 + \cdots$$ where $a_i \in \mathbb{C}$ and $B_i$ is a Blaschke product. We introduce a more general variation of the canonical Blaschke product and study the resulting formal series. We prove that the series converges exponentially in the Dirichlet space given a suitable choice of parameters if $F$ is a polynomial and we provide explicit conditions under which this convergence can occur. Finally, we derive analogous properties of Blaschke factorization using our new variable framework.


title: Regolith behavior under asteroid-level gravity conditions: low-velocity impact experiments

abstract: The dusty regolith covering the surfaces of asteroids and planetary satellites differs in size, shape, and composition from terrestrial soil particles and is subject to very different environmental conditions. Experimental studies of the response of planetary regolith in the relevant environmental conditions are thus necessary to facilitate future Solar System exploration activities. We combined the results and provided new data analysis elements for a series of impact experiments into simulated planetary regolith in low-gravity conditions using two experimental setups: the Physics of Regolith Impacts in Microgravity Experiment (PRIME) and the COLLisions Into Dust Experiment (COLLIDE). Results of these experimental campaigns found that there is a significant change in the regolith behavior with the gravity environment. In a 10-2g environment (Lunar g levels), only embedding of the impactor was observed and ejecta production was produced for most impacts at > 20 cm/s. Once at microgravity levels (<10-4g), the lowest impact energies also produced impactor rebound. In these microgravity conditions, ejecta started to be produced for impacts at > 10 cm/s. The measured ejecta speeds were lower than the ones measured at reduced-gravity levels, but the ejected masses were higher. The mean ejecta velocity shows a power-law dependence on the impact energy with an index of ~0.7. When projectile rebound occurred, we observed that its coefficients of restitution on the bed of regolith simulant decrease by a factor of 10 with increasing impact speeds from ~5 cm/s up to 100 cm/s. We could also observe an increased cohesion between the JSC-1 grains compared to the quartz sand targets.


title: Axially symmetric and static solutions of Einstein equations with self-gravitating scalar field

abstract: The exact axisymmetric and static solution of the Einstein equations coupled to axisymmetric and static gravitating scalar (or phantom) field is presented. The spacetimes modified by the scalar field are explicitly given for the so called $\gamma$-metric and Erez-Rosen metric with quadrupole moment $q$, influence of the additional deformation parameters $\gamma_*$ and $q_*$ generated by the scalar field is studied. It is shown that the null energy condition is satisfied for the phantom field, but it is not satisfied for the standard scalar field. The test particle motion in the both modified $\gamma$-metric and Erez-Rosen quadrupole metric is studied; the circular geodesics are determined, and near-circular trajectories are explicitly presented for characteristic values of the spacetime parameters. It is also demonstrated that the parameters $\gamma_*$ and $q_*$ have no influence on the test particle motion in the equatorial plane.


title: The deepest Chandra X-ray study of the plerionic supernova remnant G21.5$-$0.9

abstract: G21.5-0.9 is a plerionic supernova remnant (SNR) used as a calibration target for the Chandra X-ray telescope. The first observations found an extended halo surrounding the bright central pulsar wind nebula (PWN). A 2005 study discovered that this halo is limb-brightened and suggested the halo to be the missing SNR shell. In 2010 the spectrum of the limb-brightened shell was found to be dominated by non-thermal X-rays. In this study, we combine 15 years of Chandra observations comprising over 1~Msec of exposure time (796.1~ks with the Advanced CCD Imaging Spectrometer (ACIS) and 306.1~ks with the High Resolution Camera (HRC)) to provide the deepest-to-date imaging and spectroscopic study. The emission from the limb is primarily non-thermal and is described by a power-law model with a photon index $\Gamma = 2.22 \, (2.04-2.34)$, plus a weak thermal component characterized by a temperature $kT = 0.37\, (0.20-0.64)$ keV and a low ionization timescale of $n_{e}t < 2.95 \times 10^{10}$ cm$^{-3}$s. The northern knot located in the halo is best fitted with a two-component power-law + non-equilibrium ionization thermal model characterized by a temperature of 0.14 keV and an enhanced abundance of silicon, confirming its nature as ejecta. We revisit the spatially resolved spectral study of the PWN and find that its radial spectral profile can be explained by diffusion models. The best fit diffusion coefficient is $D \sim 2.1\times 10^{27}\rm cm^2/s$ assuming a magnetic field $B =130 \mu G$, which is consistent with recent 3D MHD simulation results.


title: A mathematical justification of the finite time approximation of Becker-D\"oring equations by a Fokker-Planck dynamics

abstract: The Becker-D\"oring equations are an infinite dimensional system of ordinary differntial equations describing coagulation/fragmentation processes of species of integer sizes. Formal Taylor expansions motivate that its solution should be well described by a partial differential equation for large sizes, of advection-diffusion type, called Fokker-Planck equation. We rigorously prove the link between these two descriptions for evolutions on finite times rather than in some hydrodynamic limit, motivated by the results of numerical simulations and the construction of dedicated algorithms based on splitting strategies. In fact, the Becker-D\"oring equations and the Fokker-Planck equation are related through some pure diffusion with unbounded diffusion coefficient. The crucial point in the analysis is to obtain decay estimates for the solution of this pure diffusion and its derivates to control remainders in the Taylor expansions. The small parameter in this analysis is the inverse of the minimal size of the species.


title: Lorentz ratio of a compensated metal

abstract: A violation of the Wiedemann-Franz law in a metal can be quantified by comparing the Lorentz ratio, $L=\kappa\rho/T$, where $\kappa$ is the thermal conductivity and $\rho$ is the electrical resistivity, with the universal Sommerfeld constant, $L_0=(\pi^2/3) (k_B/e)^2$. We obtain the Lorentz ratio of a clean compensated metal with intercarrier interaction as the dominant scattering mechanism by solving exactly the system of coupled integral Boltzmann equations. The Lorentz ratio is shown to assume a particular simple form in the forward-scattering limit: $L/L_0=\overline{\Theta^2}/2$, where $\Theta$ is the scattering angle. In this limit, $L/L_0$ can be arbitrarily small. We also show how the same result can be obtained without the benefit of an exact solution. We discuss how a strong downward violation of the Wiedemann-Franz law in a type-II Weyl semimetal WP$_2$ can be explained within our model.


title: Perturbation theory for the matrix square root and matrix modulus

abstract: We provide first order perturbation formulas for the matrix square root (in the positive semi-definite case) and the matrix modulus (in the general case). The results are new for singular matrices, and extend previously known Fr\'{e}chet differentiability formulas provided by the Daleckii-Krein theorem.


title: Evidence for conservative mass transfer in the classical Algol system $\delta$ Librae from its surface carbon-to-nitrogen abundance ratio

abstract: Algol-type binary systems are the product of rapid mass transfer between the initially more massive component to its companion. It is still unknown whether the process is conservative, or whether substantial mass is lost from the system. The history of a system prior to mass exchange is imprinted in the photospheric chemical composition, in particular in the carbon-to-nitrogen (C/N) ratio. We use this to trace the efficiency of mass-transfer processes in the components of a classical Algol-type system, $\delta$ Librae. The present analysis is based on new spectroscopic data (ground-based high-resolution \'echelle spectra) and extracted archival photometric observations (space-based measurements from the STEREO satellites). In the orbital solution, non-Keplerian effects on the radial-velocity variations were taken into account. This reduces the primary's mass by 1.1 \Msun\ ($\sim$23\%) significantly in comparison to previous studies, and removes a long-standing discrepancy between the radius and effective temperature. A spectral disentangling technique is applied to the \'echelle observations and the spectra of the individual components are separated. Atmospheric and abundance analyses are performed for the mass-gaining component and we found C/N $= 1.55 \pm 0.40$ for this star. An extensive set of evolutionary models ($3.5\times10^6$) for both components are calculated from which the best-fitting model is derived. It is found that $\beta$, the parameter which quantifies the efficiency of mass-loss from a binary system, is close to zero. This means that the mass-transfer in $\delta$ Lib is mostly conservative with little mass loss from the system.


title: Unsupervised Machine Learning of Open Source Russian Twitter Data Reveals Global Scope and Operational Characteristics

abstract: We developed and used a collection of statistical methods (unsupervised machine learning) to extract relevant information from a Twitter supplied data set consisting of alleged Russian trolls who (allegedly) attempted to influence the 2016 US Presidential election. These unsupervised statistical methods allow fast identification of (i) emergent language communities within the troll population, (ii) the transnational scope of the operation and (iii) operational characteristics of trolls that can be used for future identification. Using natural language processing, manifold learning and Fourier analysis, we identify an operation that includes not only the 2016 US election, but also the French National and both local and national German elections. We show the resulting troll population is composed of users with common, but clearly customized, behavioral characteristics.


title: An algorithmic approach to perverse derived equivalences: Brou\'e's Conjecture for $\Omega^{+}_8(2)$

abstract: Following Craven and Rouquier's computational method to tackle Brou\'e's abelian defect group conjecture, we present two algorithms implementing that procedure in the case of principal blocks of defect $D \cong C_{\ell} \times C_{\ell}$ for a prime $\ell$; the first describes a stable equivalence between $B_0(G)$ and $B_0(N_G(D))$, and the second tries to lift a such stable equivalence to a perverse derived equivalence. As an application, we show that Brou\'e's conjecture holds for the principal $5$-block of the simple group $\Omega^{+}_8(2)$.


title: Structured Multi-Label Biomedical Text Tagging via Attentive Neural Tree Decoding

abstract: We propose a model for tagging unstructured texts with an arbitrary number of terms drawn from a tree-structured vocabulary (i.e., an ontology). We treat this as a special case of sequence-to-sequence learning in which the decoder begins at the root node of an ontological tree and recursively elects to expand child nodes as a function of the input text, the current node, and the latent decoder state. In our experiments the proposed method outperforms state-of-the-art approaches on the important task of automatically assigning MeSH terms to biomedical abstracts.


title: Modeling and Performance of Microwave and Millimeter-Wave Layered Waveguide Filters

abstract: This paper presents novel designs, analysis, and performance of 4-pole and 8-pole microwave and millimeter-wave (MMW) waveguide filters for operation at X and Y frequency bands. The waveguide filters have been designed and analyzed based on the RF mode matching and coupled resonators design techniques employing layered technology. Thorough waveguide filters working at X-band and Y-band have been designed, analyzed, fabricated, and also tested along with the analysis of the output characteristics. Accurate designs of RF waveguides along with their filters based on the E-plane filter concept have been carried out with the ability of fitting into the layered technology in high frequency production techniques. The filters demonstrate the appropriateness in order to develop high-performance well-established designs for systems that are intended for the multi-layer microwave, millimeter- and sub-millimeter-waves devices and systems; with the potential employment in radar, satellite, and radio astronomy applications.


title: CELLO-3D: Estimating the Covariance of ICP in the Real World

abstract: The fusion of Iterative Closest Point (ICP) reg- istrations in existing state estimation frameworks relies on an accurate estimation of their uncertainty. In this paper, we study the estimation of this uncertainty in the form of a covariance. First, we scrutinize the limitations of existing closed-form covariance estimation algorithms over 3D datasets. Then, we set out to estimate the covariance of ICP registrations through a data-driven approach, with over 5 100 000 registrations on 1020 pairs from real 3D point clouds. We assess our solution upon a wide spectrum of environments, ranging from structured to unstructured and indoor to outdoor. The capacity of our algorithm to predict covariances is accurately assessed, as well as the usefulness of these estimations for uncertainty estimation over trajectories. The proposed method estimates covariances better than existing closed-form solutions, and makes predictions that are consistent with observed trajectories.


title: Sodium Metal Battery using CobaltOxide through in Situ Plating of Sodium Metal

abstract: In this work, we demonstrate that an impugn of energy density for sodium chemistries can be prevail through an anode-free architecture enabled by the use of a (nanocarbon/Cobaltoxide) nucleation layer formed on Aluminium current collectors. Electrochemical studies show this configuration to provide highly stable and efficient plating and stripping of sodium metal over a range of currents up to 5 mA/cm2, sodium loading up to 14 mAh/cm2, and with long-term endurance exceeding 1000 cycles at a current of 0.7 mA/cm2. Building upon this anode-free architecture, we demonstrate a full cell using a presodiated pyrite cathode to achieve energy densities of 400 Wh/kg, far surpassing recent reports on SIBs and even the theoretical maximum for LIB technology while still relying on naturally abundant raw materials and cost-effective aqueous processing.


title: An Optical Study of Two VY Sculptoris-Type Cataclysmic Binary Stars: V704 And and RX J2338+431

abstract: We report observations of the known cataclysmic variable star (CV) V704 And, and also confirm that the optical counterpart of the ROSAT Galactic Plane Survey source RX J2338+431 is a heretofore-neglected CV. Photometric and spectroscopic observations from MDM Observatory show both systems to be novalike variables that exhibit dips of 4-5 magnitudes from their mean brightnesses, establishing them as members of the VY~Scl subclass. From high-state emission-line radial velocities, we determine orbital periods of 0.151424(3) d (3.63 hr) for V704 And and 0.130400(1) d (3.13 hr) for RX J2338+431. In V704 And, we find that the H-alpha emission-line measures cluster into distinct regions on a plot of equivalent width versus full width at half-maximum, which evidently correspond to high, intermediate, and low photometric states. This allows us to assign spectra to photometric states when contemporaneous photometry is not available, an apparently novel method that may be useful in studies of other novalikes. Our low-state spectra of RX J2338+431 show features of an M-type secondary star, from which we estimate a distance of 890 +- 200 pc, in good agreement with the Gaia DR2 parallax.


title: Observation of prompt J/$\psi$ meson elliptic flow in high-multiplicity pPb collisions at $\sqrt{s_\mathrm{NN}} =$ 8.16 TeV

abstract: A measurement of the elliptic flow ($v_2$) of prompt J/$\psi$ mesons in high-multiplicity pPb collisions is reported using data collected by the CMS experiment at a nucleon-nucleon center-of-mass energy $\sqrt{s_\mathrm{NN}} =$ 8.16 TeV. Prompt J/$\psi$ mesons decaying into two muons are reconstructed in the rapidity region in the nucleon-nucleon center-of-mass frame ($y_\mathrm{cm}$), corresponding to either $-$2.86 $\lt y_{\mathrm{cm}} <$ $-$1.86 or 0.94 $\lt y_{\mathrm{cm}} <$ 1.94. The average $v_2$ result from the two rapidity ranges is reported over the transverse momentum (p$_\mathrm{T}$) range from 0.2 to 10 GeV. Positive $v_2$ values are observed for the prompt J/$\psi$ meson, as extracted from long-range two-particle correlations with charged hadrons, for 2 $\lt p_{\mathrm{T}}<$ 8 GeV. The prompt J/$\psi$ results are compared with previous CMS measurements of elliptic flow for open charm mesons (D$^0$) and strange hadrons. From these measurements, constraints can be obtained on the collective dynamics of charm quarks produced in high-multiplicity events arising from small systems.


title: Analysis of Robust Functions for Registration Algorithms

abstract: Registration accuracy is influenced by the presence of outliers and numerous robust solutions have been developed over the years to mitigate their effect. However, without a large scale comparison of solutions to filter outliers, it is becoming tedious to select an appropriate algorithm for a given application. This paper presents a comprehensive analyses of the effects of outlier filters on the ICP algorithm aimed at mobile robotic application. Fourteen of the most common outlier filters (such as M-estimators) have been tested in different types of environments, for a total of more than two million registrations. Furthermore, the influence of tuning parameters have been thoroughly explored. The experimental results show that most outlier filters have similar performance if they are correctly tuned. Nonetheless, filters such as Var. Trim., Cauchy, and Cauchy MAD are more stable against different environment types. Interestingly, the simple norm L1 produces comparable accuracy, while been parameterless.


title: 2d incompressible Euler equations: new explicit solutions

abstract: There are not too many known explicit solutions to the 2-dimensional incompressible Euler equations in Lagrangian coordinates. Special mention must be made of the well-known ones due Gerstner and Kirchhoff, which were already discovered in the 19th century. These two classical solutions share a common characteristic, namely, the dependence of the coordinates from the initial location is determined by a harmonic map, as recognized by Abrashkin and Yakubovich, who more recently -- in the 1980s -- obtained new explicit solutions with a similar feature. We present a more general method for constructing new explicit solutions in Lagrangian coordinates which contain as special cases all previously known ones. This new approach shows that in fact "harmonic labelings" are special cases of a much larger family. In the classical solutions, the matrix Lie groups were essential in describing the time evolution. We see that also the geodesics in these groups are important.


title: Solitary waves in atomic chains and peridynamical media

abstract: Peridynamics describes the nonlinear interactions in spatially extended Hamiltonian systems by nonlocal integro-differential equations, which can be regarded as the natural generalization of lattice models. We prove the existence of solitary traveling waves for super-quadratic potentials by maximizing the potential energy subject to both a norm and a shape constraint. We also discuss the numerical computation of waves and study several asymptotic regimes.


title: Adaptive, Personalized Diversity for Visual Discovery

abstract: Search queries are appropriate when users have explicit intent, but they perform poorly when the intent is difficult to express or if the user is simply looking to be inspired. Visual browsing systems allow e-commerce platforms to address these scenarios while offering the user an engaging shopping experience. Here we explore extensions in the direction of adaptive personalization and item diversification within Stream, a new form of visual browsing and discovery by Amazon. Our system presents the user with a diverse set of interesting items while adapting to user interactions. Our solution consists of three components (1) a Bayesian regression model for scoring the relevance of items while leveraging uncertainty, (2) a submodular diversification framework that re-ranks the top scoring items based on category, and (3) personalized category preferences learned from the user's behavior. When tested on live traffic, our algorithms show a strong lift in click-through-rate and session duration.


title: Smallest Eigenvalue of Large Hankel Matrices at Critical Point: Comparing Conjecture With Parallelised Computation

abstract: We propose a novel parallel numerical algorithm for calculating the smallest eigenvalues of highly ill-conditioned matrices. It is based on the {\it LDLT} decomposition and involves finding a $k \times k$ sub-matrix of the inverse of the original $N \times N$ Hankel matrix $H_N^{-1}$ . The computation involves extremely high precision arithmetic, message passing interface, and shared memory parallelisation. We demonstrate that this approach achieves good scalability on a high performance computing cluster (HPCC) which constitute a major improvement of the earlier approaches. We use this method to study a family of Hankel matrices generated by the weight $w(x)={\rm e}^{-x^{\beta}},$ supported on $[0,\infty)$ and $\beta>0.$ Such weight generates Hankel determinant, a fundamental object in random matrix theory. In the situation where $\beta>1/2,$ the smallest eigenvalue tend to 0, exponentially fast as $N$ gets large. If $\beta<1/2,$ the situation where the classical moment problem is indeterminate, the smallest eigenvalue is bounded from below by a positive number for all $N$, including infinity. If $\beta=1/2,$ it is conjectured that the smallest eigenvalue tends to 0 algebraically, with a precise exponent. The algorithm run on the HPCC producing fantastic match between the theoretical value of $2/\pi$ and the numerical result.


title: Time-Delay Observables for Koopman: Theory and Applications

abstract: Nonlinear dynamical systems are ubiquitous in science and engineering, yet analysis and prediction of these systems remains a challenge. Koopman operator theory circumvents some of these issues by considering the dynamics in the space of observable functions on the state, in which the dynamics are intrinsically linear and thus amenable to standard techniques from numerical analysis and linear algebra. However, practical issues remain with this approach, as the space of observables is infinite-dimensional and selecting a subspace of functions in which to accurately represent the system is a nontrivial task. In this work we consider time-delay observables to represent nonlinear dynamics in the Koopman operator framework. We prove the surprising result that Koopman operators for different systems admit universal (system-independent) representations in these coordinates, and give analytic expressions for these representations. In addition, we show that for certain systems a restricted class of these observables form an optimal finite-dimensional basis for representing the Koopman operator, and that the analytic representation of the Koopman operator in these coordinates coincides with results computed by the dynamic mode decomposition. We provide numerical examples to complement our results. In addition to being theoretically interesting, these results have implications for a number of linearization algorithms for dynamical systems.


title: Learning to Segment Inputs for NMT Favors Character-Level Processing

abstract: Most modern neural machine translation (NMT) systems rely on presegmented inputs. Segmentation granularity importantly determines the input and output sequence lengths, hence the modeling depth, and source and target vocabularies, which in turn determine model size, computational costs of softmax normalization, and handling of out-of-vocabulary words. However, the current practice is to use static, heuristic-based segmentations that are fixed before NMT training. This begs the question whether the chosen segmentation is optimal for the translation task. To overcome suboptimal segmentation choices, we present an algorithm for dynamic segmentation based on the Adaptative Computation Time algorithm (Graves 2016), that is trainable end-to-end and driven by the NMT objective. In an evaluation on four translation tasks we found that, given the freedom to navigate between different segmentation levels, the model prefers to operate on (almost) character level, providing support for purely character-level NMT models from a novel angle.


title: Interval regularization for imprecise linear algebraic equations

abstract: In this paper, we consider the solution of ill-conditioned systems of linear algebraic equations that can be determined imprecisely. To improve the stability of the solution process, we "immerse" the original imprecise linear system in an interval system of linear algebraic equations of the same structure and then consider its tolerable solution set. As the result, the "intervalized" matrix of the system acquires close and better conditioned matrices for which the solution of the corresponding equation system is more stable. As a pseudo-solution of the original linear equation system, we take a point from the tolerable solution set of the intervalized linear system or a point that provides the largest tolerable compatibility (consistency). We propose several computational recipes to find such pseudo-solutions.


title: Diversifying Music Recommendations

abstract: We compare submodular and Jaccard methods to diversify Amazon Music recommendations. Submodularity significantly improves recommendation quality and user engagement. Unlike the Jaccard method, our submodular approach incorporates item relevance score within its optimization function, and produces a relevant and uniformly diverse set.


title: DeepCMB: Lensing Reconstruction of the Cosmic Microwave Background with Deep Neural Networks

abstract: Next-generation cosmic microwave background (CMB) experiments will have lower noise and therefore increased sensitivity, enabling improved constraints on fundamental physics parameters such as the sum of neutrino masses and the tensor-to-scalar ratio r. Achieving competitive constraints on these parameters requires high signal-to-noise extraction of the projected gravitational potential from the CMB maps. Standard methods for reconstructing the lensing potential employ the quadratic estimator (QE). However, the QE performs suboptimally at the low noise levels expected in upcoming experiments. Other methods, like maximum likelihood estimators (MLE), are under active development. In this work, we demonstrate reconstruction of the CMB lensing potential with deep convolutional neural networks (CNN) - ie, a ResUNet. The network is trained and tested on simulated data, and otherwise has no physical parametrization related to the physical processes of the CMB and gravitational lensing. We show that, over a wide range of angular scales, ResUNets recover the input gravitational potential with a higher signal-to-noise ratio than the QE method, reaching levels comparable to analytic approximations of MLE methods. We demonstrate that the network outputs quantifiably different lensing maps when given input CMB maps generated with different cosmologies. We also show we can use the reconstructed lensing map for cosmological parameter estimation. This application of CNN provides a few innovations at the intersection of cosmology and machine learning. First, while training and regressing on images, we predict a continuous-variable field rather than discrete classes. Second, we are able to establish uncertainty measures for the network output that are analogous to standard methods. We expect this approach to excel in capturing hard-to-model non-Gaussian astrophysical foreground and noise contributions.


title: Real-Time Monitoring of Fluorescence in situ Hybridization (FISH) Kinetics

abstract: We present a novel method for real-time monitoring and kinetic analysis of fluorescence in situ hybridization (FISH). We implement the method using a vertical microfluidic probe containing a microstructure designed for rapid switching between a probe solution and a non-fluorescent imaging buffer. The FISH signal is monitored in real time during the imaging buffer wash, during which signal associated with unbound probes is removed. We provide a theoretical description of the method as well as a demonstration of its applicability using a model system of centromeric probes (Cen17). We demonstrate the applicability of the method for the characterization of FISH kinetics under conditions of varying probe concentration, destabilizing agent (formamide) content, volume exclusion agent (dextran sulfate) content, and ionic strength. We show that our method can be used to investigate the effect of each of these variables and provide insight into processes affecting in situ hybridization, facilitating the design of new assays.


title: PhoneMD: Learning to Diagnose Parkinson's Disease from Smartphone Data

abstract: Parkinson's disease is a neurodegenerative disease that can affect a person's movement, speech, dexterity, and cognition. Clinicians primarily diagnose Parkinson's disease by performing a clinical assessment of symptoms. However, misdiagnoses are common. One factor that contributes to misdiagnoses is that the symptoms of Parkinson's disease may not be prominent at the time the clinical assessment is performed. Here, we present a machine-learning approach towards distinguishing between people with and without Parkinson's disease using long-term data from smartphone-based walking, voice, tapping and memory tests. We demonstrate that our attentive deep-learning models achieve significant improvements in predictive performance over strong baselines (area under the receiver operating characteristic curve = 0.85) in data from a cohort of 1853 participants. We also show that our models identify meaningful features in the input data. Our results confirm that smartphone data collected over extended periods of time could in the future potentially be used as a digital biomarker for the diagnosis of Parkinson's disease.


title: Synthesis of Majority Expressions through Primitive Function Manipulation

abstract: Due to technology advancements and circuits miniaturization, the study of logic systems that can be applied to nanotechnology has been progressing steadily. Among the creation of nanoeletronic circuits reversible and majority logic stand out. This paper proposes the MPC (Majority Primitives Combination) algorithm, used for majority logic synthesis. The algorithm receives a truth table as input and returns a majority function that covers the same set of minterms. The formulation of a valid output function is made with the combination of previously optimized functions. As cost criteria the algorithm searches for a function with the least number of levels, followed by the least number of gates, inverters, and gate inputs. In this paper it's also presented a comparison between the MPC and the exact_mig, currently considered the best algorithm for majority synthesis. The exact_mig encode the exact synthesis of majority functions using the number of levels and gates as cost criteria. The MPC considers two additional cost criteria, the number of inverters and the number of gate inputs, with the goal to further improve exact_mig results. Tests have shown that both algorithms return optimal solutions for all functions with 3 input variables. For functions with 4 inputs, the MPC is able to further improve 42,987 (66%) functions and achieves equal results for 7,198 (11%). For functions with 5 input variables, out of a sample of 1,000 randomly generated functions, the MPC further improved 477 (48%) functions and achieved equal results for 112 (11%).


title: Closed-Form Directivity Expression for Arbitrary Volumetric Antenna Arrays

abstract: It is proposed a closed-form expression of directivity for an arbitrary volumetric antenna arrays using a general element pattern expression of type $\sin^u{(\theta)}\cos^v{(\theta)}$, with $v > -\frac{1}{2}$ and $u > -1$, and $u, v \in \mathbb{Z}$. Variations of this expression for different values of $v$ and $u$ are analyzed from the analytical and numerical perspectives. The parameters found in the closed-form expression are related to the order $v$ and $u$ of the element patterns, the rectangular spatial coordinate of each antenna element, the magnitude and phase excitation coefficients (complex excitation) of all elements, and the desired angle in spherical coordinates $(\theta_0, \phi_0)$. The expression found in this work has been validated by numerical results, considering distinct configuration scenarios.


title: Using Machine Learning to Discern Eruption in Noisy Environments: A Case Study using CO2-driven Cold-Water Geyser in Chimayo, New Mexico

abstract: We present an approach based on machine learning (ML) to distinguish eruption and precursory signals of Chimay\'{o} geyser (New Mexico, USA) under noisy environments. This geyser can be considered as a natural analog of $\mathrm{CO}_2$ intrusion into shallow water aquifers. By studying this geyser, we can understand upwelling of $\mathrm{CO}_2$-rich fluids from depth, which has relevance to leak monitoring in a $\mathrm{CO}_2$ sequestration project. ML methods such as Random Forests (RF) are known to be robust multi-class classifiers and perform well under unfavorable noisy conditions. However, the extent of the RF method's accuracy is poorly understood for this $\mathrm{CO}_2$-driven geysering application. The current study aims to quantify the performance of RF-classifiers to discern the geyser state. Towards this goal, we first present the data collected from the seismometer that is installed near the Chimay\'{o} geyser. The seismic signals collected at this site contain different types of noises such as daily temperature variations, seasonal trends, animal movement near the geyser, and human activity. First, we filter the signals from these noises by combining the Butterworth-Highpass filter and an Autoregressive method in a multi-level fashion. We show that by combining these filtering techniques, in a hierarchical fashion, leads to reduction in the noise in the seismic data without removing the precursors and eruption event signals. We then use RF on the filtered data to classify the state of geyser into three classes -- remnant noise, precursor, and eruption states. We show that the classification accuracy using RF on the filtered data is greater than 90\%.These aspects make the proposed ML framework attractive for event discrimination and signal enhancement under noisy conditions, with strong potential for application to monitoring leaks in $\mathrm{CO}_2$ sequestration.

categories: eess.SP cs.LG physics.data-an physics.geo-ph stat.ML


title: Submodular Optimization in the MapReduce Model

abstract: Submodular optimization has received significant attention in both practice and theory, as a wide array of problems in machine learning, auction theory, and combinatorial optimization have submodular structure. In practice, these problems often involve large amounts of data, and must be solved in a distributed way. One popular framework for running such distributed algorithms is MapReduce. In this paper, we present two simple algorithms for cardinality constrained submodular optimization in the MapReduce model: the first is a $(1/2-o(1))$-approximation in 2 MapReduce rounds, and the second is a $(1-1/e-\epsilon)$-approximation in $\frac{1+o(1)}{\epsilon}$ MapReduce rounds.


title: Spectral stability of hydraulic shock profiles

abstract: By reduction to a generalized Sturm Liouville problem, we establish spectral stability of hydraulic shock profiles of the Saint-Venant equations for inclined shallow-water flow, over the full parameter range of their existence, for both smooth-type profiles and discontinuous-type profiles containing subshocks. Together with work of Mascia-Zumbrun and Yang-Zumbrun, this yields linear and nonlinear $H^2\cap L^1 \to H^2$ stability with sharp rates of decay in $L^p$, $p\geq 2$, the first complete stability results for large-amplitude shock profiles of a hyperbolic relaxation system.


title: The production of charged-kaon pairs in proton-antiproton collisions: The role of higher-twist mechanism

abstract: The higher-twist (HT) contribution to the charged kaon pair production in the high energy proton-antiproton collisions at large transverse momentum $p_T$ is investigated by using the frozen coupling constant approach for various kaon distribution amplitudes (DAs), which are predicted by light-cone formalism, the light-front quark model, the nonlocal chiral quark model and the light-front holographic AdS/CFT approach. In the numerics the dependencies of the HT contribution on the transverse momentum $p_T$, the rapidity $y$, and the variable $x_T$ are discussed with special emphasis put on DAs. The HT contribution is also compared with the leading-twist ones. It is shown that the HT contributions are dependent on the kaon DAs and also some other phenomenological parameters such as momentum cut-off parameter $\Delta p$. Inclusive kaon pair production presents a remarkable test case in which HT terms dominate those of LT in certain kinematic regions. The HT direct production process via gluon-gluon fusion contributes significantly to the inclusive cross section at large $p_T$.


title: Correlation-induced localization

abstract: A new paradigm of Anderson localization caused by correlations in the long-range hopping along with uncorrelated on-site disorder is considered which requires a more precise formulation of the basic localization-delocalization principles. A new class of random Hamiltonians with translation-invariant hopping integrals is suggested and the localization properties of such models are established both in the coordinate and in the momentum spaces alongside with the corresponding level statistics. Duality of translation-invariant models in the momentum and coordinate space is uncovered and exploited to find a full localization-delocalization phase diagram for such models. The crucial role of the spectral properties of hopping matrix is established and a new matrix inversion trick is suggested to generate a one-parameter family of equivalent localization/delocalization problems. Optimization over the free parameter in such a transformation together with the localization/delocalization principles allows to establish exact bounds for the localized and ergodic states in long-range hopping models. When applied to the random matrix models with deterministic power-law hopping this transformation allows to confirm localization of states at all values of the exponent in power-law hopping and to prove analytically the symmetry of the exponent in the power-law localized wave functions.


title: Ferroelastic twin reorientation mechanisms in shape memory alloys elucidated with 3D X-ray microscopy

abstract: Three-dimensional (3D) X-ray diffraction methods were used to analyze the evolution of the load-induced rearrangements of monoclinic twin microstructures within bulk nickel-titanium specimens in 3D and across six orders of magnitude in length scales: changes in lattice plane spacings and orientations at the nanoscale, growth and nucleation of martensite twin variants at the microscale, and localization of plastic strain into deformation bands at the macroscale. Portions of the localized deformation bands were reconstructed in situ and in 3D. Analyses of the data elucidate the sequence of twin rearrangement mechanisms that occur within the propagating localized deformation bands, connect these mechanisms to the texture evolution, and reveal the effects of geometrically necessary lattice curvature across the band interfaces. The similarities between shear bands and localized deformation bands in twin reorientation are also discussed. These findings will guide future researchers in employing twin rearrangement in novel multiferroic technologies, and they demonstrate the strength of 3D, multiscale, in situ experiments to improve our understanding of complicated material behaviors and to provide opportunities to advance our abilities to model them.


title: Multiple Delaunay ends solutions of the Cahn-Hilliard equation

abstract: Let $\Sigma$ be a surface of constant mean curvature in ${\mathbb R}^3$ with multiple Delaunay ends. Assuming that $\Sigma$ is non degenerate in this paper we construct new solutions to the Cahn-Hilliard equation $\varepsilon\Delta u+\varepsilon^{-1}u(1-u^2)=\ell_\varepsilon$ in ${\mathbb R}^3$ such that as $\varepsilon\to 0$ the zero level set of $u_\varepsilon$ approaches $\Sigma$. Moreover, on compacts of the connected components of ${\mathbb R}^3\setminus \Sigma$ we have $1-|u_\varepsilon|\to 0$ uniformly.


title: Minimally Unbalanced Quivers

abstract: We develop a classification of \emph{minimally unbalanced} $3d~\mathcal{N}=4$ quiver gauge theories. These gauge theories are important because the isometry group $G$ of their Coulomb branch contains a single factor, which is either a classical or an exceptional Lie group. Concurrently, this provides a classification of hyperk\"ahler cones with isometry group $G$ which are obtainable by Coulomb branch constructions. HyperK\"ahler cones such as Coulomb branches of $3d~\mathcal{N}=4$ quivers are indispensable tools for describing Higgs branches of different theories in various dimensions. In particular, they are used to describe Higgs branches of $5d~\mathcal{N}=1$ SQCD with gauge group $SU(N_c)$ and $6d~\mathcal N = (1,0)$ SQCD with gauge group $Sp(N_c)$ at the respective UV fixed points.


title: A Light-weight Vibrational Motor Powered Recoil Robot that Hops Rapidly Across Granular Media

abstract: A 1 cm coin vibrational motor fixed to the center of a 4 cm square foam platform moves rapidly across granular media (poppy seeds, millet, corn meal) at a speed of up to 30 cm/s, or about 5 body lengths/s. Fast speeds are achieved with dimensionless acceleration number, similar to a Froude number, up to 50, allowing the light-weight 1.4 g mechanism to remain above the substrate, levitated and propelled by its kicks off the surface. The mechanism is low cost and moves without any external moving parts. With 2 s exposures we photograph the trajectory of the mechanism using an LED blocked except for a pin-hole and fixed to the mechanism. Trajectories can exhibit period doubling phenomena similar to a ball bouncing on a vibrating table top. A two dimensional numerical model gives similar trajectories, though a vertical drag force is required to keep the mechanism height low. We attribute the vertical drag force to aerodynamic suction from air flow below the mechanism base and through the granular substrate. Our numerical model suggests that speed is maximized when the mechanism is prevented from jumping high off the surface. In this way the mechanism resembles a galloping or jumping animal whose body remains nearly at the same height above the ground during its gait.


title: Theory and Practice of Finding Eviction Sets

abstract: Many micro-architectural attacks rely on the capability of an attacker to efficiently find small eviction sets: groups of virtual addresses that map to the same cache set. This capability has become a decisive primitive for cache side-channel, rowhammer, and speculative execution attacks. Despite their importance, algorithms for finding small eviction sets have not been systematically studied in the literature. In this paper, we perform such a systematic study. We begin by formalizing the problem and analyzing the probability that a set of random virtual addresses is an eviction set. We then present novel algorithms, based on ideas from threshold group testing, that reduce random eviction sets to their minimal core in linear time, improving over the quadratic state-of-the-art. We complement the theoretical analysis of our algorithms with a rigorous empirical evaluation in which we identify and isolate factors that affect their reliability in practice, such as adaptive cache replacement strategies and TLB thrashing. Our results indicate that our algorithms enable finding small eviction sets much faster than before, and under conditions where this was previously deemed impractical.


title: Galaxy Structure, Stellar Populations, and Star Formation Quenching at 0.6 $\lesssim$ $z$ $\lesssim$ 1.2

abstract: We use both photometric and spectroscopic data from the {\it Hubble Space Telescope} to explore the relationships among 4000 \AA\ break (D4000) strength, colors, stellar masses, and morphology, in a sample of 352 galaxies with log$(M_{*}/M_{\odot}) > 9.44$ at 0.6 $\lesssim z \lesssim$ 1.2. We have identified authentically quiescent galaxies in the $UVJ$ diagram based on their D4000 strengths. This spectroscopic identification is in good agreement with their photometrically-derived specific star formation rates (sSFR). Morphologically, most (that is, 66 out of 68 galaxies, $\sim$ 97 \%) of these newly identified quiescent galaxies have a prominent bulge component. However, not all of the bulge-dominated galaxies are quenched. We found that bulge-dominated galaxies show positive correlations among the D4000 strength, stellar mass, and the S\'ersic index, while late-type disks do not show such strong positive correlations. Also, bulge-dominated galaxies are clearly separated into two main groups in the parameter space of sSFR vs. stellar mass and stellar surface density within the effective radius, $\Sigma_{\rm e}$, while late-type disks and irregulars only show high sSFR. This split is directly linked to the `blue cloud' and the `red sequence' populations, and correlates with the associated central compactness indicated by $\Sigma_{\rm e}$. While star-forming massive late-type disks and irregulars (with D4000 $<$ 1.5 and log$(M_{*}/M_{\odot}) \gtrsim 10.5$) span a stellar mass range comparable to bulge-dominated galaxies, most have systematically lower $\Sigma_{\rm e}$ $\lesssim$ $10^{9}M_{\odot}\rm{kpc^{-2}}$. This suggests that the presence of a bulge is a necessary but not sufficient requirement for quenching at intermediate redshifts.


title: Computing The Invariants of Intersection Algebras of Principal Monomial Ideals

abstract: We continue the study of intersection algebras $\mathcal B = \mathcal B_R(I, J)$ of two ideals $I, J$ in a commutative Noetherian ring $R$. In particular, we exploit the semigroup ring and toric structures in order to calculate various invariants of the intersection algebra when $R$ is a polynomial ring over a field and $I,J$ are principal monomial ideals. Specifically, we calculate the $F$-signature, divisor class group, and Hilbert-Samuel and Hilbert-Kunz multiplicities, sometimes restricting to certain cases in order to obtain explicit formul{\ae}. This provides a new class of rings where formul{\ae} for the $F$-signature and Hilbert-Kunz multiplicity, dependent on families of parameters, are provided.


title: The Discrete Noise of Magnons

abstract: Magnonics is a rapidly developing subfield of spintronics, which deals with devices and circuits that utilize spin currents carried by magnons - quanta of spin waves. Magnon current, i.e. spin waves, can be used for information processing, sensing, and other applications. A possibility of using the amplitude and phase of magnons for sending signals via electrical insulators creates conditions for avoiding Ohmic losses, and achieving ultra-low power dissipation. Most of the envisioned magnonic logic devices are based on spin wave interference, where the minimum energy per operation is limited by the noise level. The sensitivity and selectivity of magnonic sensors is also limited by the low frequency noise. However, the fundamental question "do magnons make noise?" has not been answered yet. It is not known how noisy magnonic devices are compared to their electronic counterparts. Here we show that the low-frequency noise of magnonic devices is dominated by the random telegraph signal noise rather than 1/f noise - a striking contrast to electronic devices (f is a frequency). We found that the noise level of surface magnons depends strongly on the power level, increasing sharply at the on-set of nonlinear dissipation. The presence of the random telegraph signal noise indicates that the current fluctuations involve random discrete macro events. We anticipate that our results will help in developing the next generation of magnonic devices for information processing and sensing.


title: Opinion Formation Threshold Estimates from Different Combinations of Social Media Data-Types

abstract: Passive consumption of a quantifiable amount of social media information related to a topic can cause individuals to form opinions. If a substantial amount of these individuals are motivated to take action from their recently established opinions, a movement or public opinion shift can be induced independent of the information's veracity. Given that social media is ubiquitous in modern society, it is imperative that we understand the threshold at which social media data results in opinion formation. The present study estimates population opinion formation thresholds by querying 2222 participants about the number of various social media data-types (i.e., images, videos, and/or messages) that they would need to passively consume to form opinions. Opinion formation is assessed across three dimensions, 1) data-type(s), 2) context, and 3) source. This work provides a theoretical basis for estimating the amount of data needed to influence a population through social media information.


title: Short Time Existence for the Curve Diffusion Flow with a Contact Angle

abstract: We show short-time existence for curves driven by curve diffusion flow with a prescribed contact angle $\alpha \in (0, \pi)$: The evolving curve has free boundary points, which are supported on a line and it satisfies a no-flux condition. The initial data are suitable curves of class $W_2^{\gamma}$ with $\gamma \in (\tfrac{3}{2}, 2]$. For the proof the evolving curve is represented by a height function over a reference curve: The local well-posedness of the resulting quasilinear, parabolic, fourth-order PDE for the height function is proven with the help of contraction mapping principle. Difficulties arise due to the low regularity of the initial curve. To this end, we have to establish suitable product estimates in time weighted anisotropic $L_2$-Sobolev spaces of low regularity for proving that the non-linearities are well-defined and contractive for small times.


title: Dynamics of wrinkling in ultrathin elastic sheets

abstract: The wrinkling of thin elastic objects provides a means of generating regular patterning at small scales in applications ranging from photovoltaics to microfluidic devices. Static wrinkle patterns are known to be governed by an energetic balance between the object's bending stiffness and an effective substrate stiffness, which may originate from a true substrate stiffness or from tension and curvature along the wrinkles. Here we investigate dynamic wrinkling, induced by the impact of a solid sphere onto an ultra-thin polymer sheet floating on water. The vertical deflection of the sheet's centre induced by impact draws material radially inwards, resulting in an azimuthal compression that is relieved by the wrinkling of the entire sheet. We show that this wrinkling is truly dynamic, exhibiting features that are qualitatively different to those seen in quasi-static wrinkling experiments. Moreover, we show that the wrinkles coarsen dynamically because of the inhibiting effect of the fluid inertia. This dynamic coarsening can be understood heuristically as the result of a dynamic stiffness, which dominates the static stiffnesses reported thus far, and allows new controls of wrinkle wavelength.


title: Automating the Calculation of Hilbert-Kunz Multiplicities and F-Signatures

abstract: The Hilbert-Kunz multiplicity and $F$-signature are important invariants for researchers in commutative algebra and algebraic geometry. We provide software, and describe the automation of a calculation, for the two invariants in the case of intersection algebras over polynomial rings.


title: Kinetic Model of Translational Autoregulation

abstract: We investigate dynamics of a kinetic model of inhibitory autoregulation as exemplified when a protein inhibits its own production by interfering with its messenger RNA, known in molecular biology as translational autoregulation. We first show how linear models without feedback set the stage with a nonequilibrium steady state that constitutes the target of the regulation. However, regulation in the simple linear model is far from optimal. The negative feedback mechanism whereby the protein "jams" the mRNA greatly enhances the effectiveness of the control, with response to perturbation that is targeted, rapid, and metabolically efficient. Understanding the full dynamics of the system phase space is essential to understanding the autoregulation process.


title: Stable covalently photo-cross-linked poly(ionic liquid) membrane with gradient pore size

abstract: An imidazolium-based poly(ionic liquid) is covalently cross-linked via UV light-induced thiolene (click) chemistry to yield a stable porous polyelectrolyte membrane with gradients of crosslink density and pore size distribution along its cross-section.


title: General Synthetic Route Towards Highly Dispersed Metal Clusters Enabled by Poly(ionic liquid)s

abstract: The capability to synthesize a broad spectrum of metal clusters (MCs) with their size controllable in a subnanometer scale presents an enticing prospect for exploring nanosize-dependent properties. Here we report an innovative design of a capping agent from a polytriazolium poly(ionic liquid) (PIL) in a vesicular form in solution that allows for crafting a variety of MCs including transition metals, noble metals, and their bimetallic alloy with precisely controlled sizes (~ 1 nm) and record-high catalytic performance. The ultrastrong stabilization power is result of an unusual synergy between the conventional binding sites in the heterocyclic cations in PIL, and an in-situ generated polycarbene structure induced simultaneously to the reduction reaction. INTRODUCTION


title: On the removal of weak compactness arguments in proof mining

abstract: The main observation of this paper is that some sequential weak compactness arguments in Hilbert space theory can be replaced by Heine/Borel compactness arguments (for the strong topology). Even though the latter form of compactness fails in (infinite-dimensional) Hilbert spaces, it nevertheless trivializes under the so-called bounded functional interpretation. As a consequence, the proof mining programme of extracting computational bounds from ordinary proofs of mathematics can be applied to {\em modified proofs} which use these false Heine/Borel compactness arguments. Additionally, the bounded functional interpretation provides good logical guidance in formulating quantitative versions of analytical statements. We illustrate these claims with three minings. The bounded functional interpretation is here used for the first time in proof mining.


title: Hierarchical community detection by recursive partitioning

abstract: The problem of community detection in networks is usually formulated as finding a single partition of the network into some "correct" number of communities. We argue that it is more interpretable and in some regimes more accurate to construct a hierarchical tree of communities instead. This can be done with a simple top-down recursive partitioning algorithm, starting with a single community and separating the nodes into two communities by spectral clustering repeatedly, until a stopping rule suggests there are no further communities. This class of algorithms is model-free, computationally efficient, and requires no tuning other than selecting a stopping rule. We show that there are regimes where this approach outperforms K-way spectral clustering, and propose a natural framework for analyzing the algorithm's theoretical performance, the binary tree stochastic block model. Under this model, we prove that the algorithm correctly recovers the entire community tree under relatively mild assumptions. We apply the algorithm to a gene network based on gene co-occurrence in 1580 research papers on anemia, and identify six clusters of genes in a meaningful hierarchy. We also illustrate the algorithm on a dataset of statistics papers.


title: Photo-induced anomalous Hall effect in the type-II Weyl-semimetal WTe2 at room-temperature

abstract: Using Hall photovoltage measurements, we demonstrate that an anomalous Hall-voltage can be induced in few layer WTe2 under circularly polarized light illumination. By applying a bias voltage along different crystal axes, we find that the photo-induced anomalous Hall conductivity coincides with a particular crystal axis. Our results are consistent with the underlying Berry-curvature exhibiting a dipolar distribution due to the breaking of crystal inversion symmetry. Using a time-resolved optoelectronic auto-correlation spectroscopy, we find that the decay time of the anomalous Hall voltage exceeds the electron-phonon scattering time by orders of magnitude but is consistent with the comparatively long spin-lifetime of carriers in the momentum-indirect electron and hole pockets in WTe2. Our observation suggests, that a helical modulation of an otherwise isotropic spin-current is the underlying mechanism of the anomalous Hall effect.


title: The Leaky Pipeline for Postdocs: A study of the time between receiving a PhD and securing a faculty job for male and female astronomers

abstract: The transition between receiving a PhD and securing a tenure track faculty position is challenging for nearly every astronomer interested in working in academia. Here we use a publicly available database of recently hired faculty (the Astrophysics Job Rumor Mill) to examine the amount of time astronomers typically spend in this transitory state. Using these data as a starting point to examine the experiences of astronomy postdocs, we find that the average time spent between receiving a PhD and being hired into a faculty position is 4.9$\pm$0.3 years, with female astronomers hired on average 4.2$\pm$0.4 years after receiving a PhD while male astronomers are typically hired after 5.3$\pm$0.4 years. Using a simple model of the labor market, we attempt to recreate this gendered difference in time spent as a postdoc. We can rule out the role of the increasing representation of women among astronomy PhDs, as well as any bias in favor of hiring female astronomers in response to efforts to diversify the faculty ranks. Instead the most likely explanation is that female astronomers are leaving the academic labor market, at a rate that is 3-4 times higher than male astronomers. This scenario explains the distinct hiring time distributions between male and female astronomers, as well as the measured percentage of female assistant professors, and the fraction of female applicants within a typical faculty search. These results provide evidence that more work needs to be done to support and retain female astronomers during the postdoctoral phase of their careers.


title: Initially regular sequences and depths of ideals

abstract: For an arbitrary ideal $I$ in a polynomial ring $R$ we define the notion of initially regular sequences on $R/I$. These sequences share properties with regular sequences. In particular, the length of an initially regular sequence provides a lower bound for the depth of $R/I$. Using combinatorial information from the initial ideal of $I$ we construct sequences of linear polynomials that form initially regular sequences on $R/I$. We identify situations where initially regular sequences are also regular sequences, and we show that our results can be combined with polarization to improve known depth bounds for general monomial ideals.


title: Erd\H{o}s-Rado Classes

abstract: We amalgamate two generalizations of Ramsey's Theorem--Ramsey classes and the Erd\H{o}s-Rado Theorem--into the notion of a combinatorial Erd\H{o}s-Rado class. These classes are closely related to Erd\H{o}s-Rado classes, which are those from which we can build generalized indiscernibles and blueprints in nonelementary classes, especially Abstract Elementary Classes. We give several examples and some applications.


title: Switchable Weyl nodes in topological Kagome ferromagnet Fe3Sn2

abstract: The control of topological quantum materials is the prerequisite for novel devices exploiting these materials. Here we propose that the room temperature ferromagnet Fe3Sn2, whose fundamental building blocks are Kagome bilayers of iron, hosts Weyl nodes at the Fermi level which can move in momentum space depending on the direction of the magnetization, itself readily controlled either by modest external fields or temperature. The proposal is derived from density functional calculations, including a mean field treatment of Hubbard repulsion U, which have been validated by comparison with angle-resolved photoemission data. Ferromagnetism with magnetization along certain directions is shown to lift the Weyl degeneracies, while at the same time inducing texture in the quasiparticle spin polarizations mapped in reciprocal space. In particular, the polarization is attenuated and then rotated from parallel to perpendicular to antiparallel to the magnetization as Weyl points derived from crossing of majority and minority spin bands are traversed.


title: Direct detection of fermionic and vector dark matter with polarised targets

abstract: We study the scattering of Milky Way dark matter (DM) particles by spin-polarised target nuclei within a set of simplified models for fermionic and vector DM where DM interacts with spin 1/2 point-like nuclei through the exchange of a vector or pseudo-vector mediator particle. This study is motivated by the possibility of using polarised targets to gain novel insights into the nature of DM. For fermionic DM, we provide an explicit expression for the polarised DM-nucleus scattering cross section refining previous results found in the literature. For vector DM, we calculate the polarised cross section for DM-nucleus scattering for the first time. We find that polarised targets can in principle be used to discriminate fermionic from vector DM.


title: Cutting Diamonds: Temporal DLs with Probabilistic Distributions over Data

abstract: Recent work has studied a probabilistic extension of the temporal logic LTL that refines the eventuality (or diamond) constructor with a probability distribution on when will this eventuality be satisfied. In this paper, we adapt this notion to a well established temporal extension of DL-Lite, allowing the new probabilistic constructor only in the ABox assertions. We investigate the satisfiability problem of this new temporal DL over equiparametric geometric distributions.


title: Pre-main sequence population of Sco-Cen unveiled with Gaia DR2

abstract: We use Gaia DR2 data to isolate the pre-main sequence population corresponding to the Scorpius-Lupus-Centaurus-Crux area on the sky making use the Hertzsprung-Russell diagram. A sample of $120\,911$ sources was selected with galactic coordinates $285^\circ\leq\ell\leq360^\circ$ and $-10^\circ\leq b\leq+32^\circ$, and parallaxes between $5$ and $12$~mas where the relative uncertainty in parallax was restricted to be $<10\%$. The pre-main sequence sources were isolated due to a clear separation between the pre-main and main sequences, well above the expected $0.75$ magnitude from a possible observed population of equal mass binaries. The final sample contains $14\,459$ young stellar objects. The traditional boundaries of the Sco OB2 association are well traced by clear concentrations of young stars where the Upper Scorpius region stands out as the densest concentration. The IC 2602 cluster is visible naturally near $(\ell,b)=(290^\circ,-5^\circ)$. An additional population located at ($b\sim5^\circ$ and $\ell\sim345^\circ$) with a mean distance of $\sim180\mathrm{pc}$ ($5$-$6$~mas) is observed. This is consistent with previous studies reported in the literature.


title: On a theorem of Hildebrand

abstract: We prove that for each multiplicative subgroup $A$ of finite index in $\mathbb{Q}^+$, the set of integers $a$ with $a, a+1 \in A$ is an IP-set. This generalizes a theorem of Hildebrand concerning completely multiplicative functions taking values in the $k$-th roots of unity.


title: Higher-dimensional quantum hypergraph-product codes

abstract: We describe a family of quantum error-correcting codes which generalize both the quantum hypergraph-product (QHP) codes by Tillich and Z\'emor, and all families of toric codes on $m$-dimensional hypercubic lattices. Similar to the latter, our codes form $m$-complexes ${\cal K}_m$, with $m\ge2$. These are defined recursively, with ${\cal K}_m$ obtained as a tensor product of a complex ${\cal K}_{m-1}$ with a $1$-complex parameterized by a binary matrix. Parameters of the constructed codes are given explicitly in terms of those of binary codes associated with the matrices used in the construction.


title: An Analysis of Approaches Taken in the ACM RecSys Challenge 2018 for Automatic Music Playlist Continuation

abstract: The ACM Recommender Systems Challenge 2018 focused on the task of automatic music playlist continuation, which is a form of the more general task of sequential recommendation. Given a playlist of arbitrary length with some additional meta-data, the task was to recommend up to 500 tracks that fit the target characteristics of the original playlist. For the RecSys Challenge, Spotify released a dataset of one million user-generated playlists. Participants could compete in two tracks, i.e., main and creative tracks. Participants in the main track were only allowed to use the provided training set, however, in the creative track, the use of external public sources was permitted. In total, 113 teams submitted 1,228 runs to the main track; 33 teams submitted 239 runs to the creative track. The highest performing team in the main track achieved an R-precision of 0.2241, an NDCG of 0.3946, and an average number of recommended songs clicks of 1.784. In the creative track, an R-precision of 0.2233, an NDCG of 0.3939, and a click rate of 1.785 was obtained by the best team. This article provides an overview of the challenge, including motivation, task definition, dataset description, and evaluation. We further report and analyze the results obtained by the top performing teams in each track and explore the approaches taken by the winners. We finally summarize our key findings, discuss generalizability of approaches and results to domains other than music, and list the open avenues and possible future directions in the area of automatic playlist continuation.


title: Hyperbolic polynomials and linear-type generating functions

abstract: We prove that the polynomials generated by the relation $\displaystyle{\sum_{m=0}^{\infty} H_m(z)t^m=\frac{1}{P(t)+z t^r Q(t)}}$ are hyperbolic for $m \gg 1$ given that the zeros of the real polynomials $P$ and $Q$ are real and sufficiently separated. The paper also contains a result on a certain family of exponential polynomials, which are demonstrated to have infinitely many real zeros.


title: Distinguishing numbers of finite $4$-valent vertex-transitive graphs

abstract: The distinguishing number of a graph $G$ is the smallest $k$ such that $G$ admits a $k$-colouring for which the only colour-preserving automorphism of $G$ is the identity. We determine the distinguishing number of finite $4$-valent vertex-transitive graphs. We show that, apart from one infinite family and finitely many examples, they all have distinguishing number $2$.


title: Semidefinite Relaxation-Based PAPR-Aware Precoding for Massive MIMO-OFDM Systems

abstract: Massive MIMO requires a large number of antennas and the same amount of power amplifiers (PAs), one per antenna. As opposed to 4G base stations, which could afford highly linear PAs, next-generation base stations will need to use inexpensive PAs, which have a limited region of linear amplification. One of the research challenges is effectively handling signals which have high peak-to-average power ratios (PAPRs), such as orthogonal frequency division multiplexing (OFDM). This paper introduces a PAPR-aware precoding scheme that exploits the excessive spatial degrees-of-freedom of large scale multiple-input multipleoutput (MIMO) antenna systems. This typically requires finding a solution to a nonconvex optimization problem. Instead of relaxing the problem to minimize the peak power, we introduce a practical semidefinite relaxation (SDR) framework that enables accurately and efficiently approximating the theoretical PAPR-aware precoding performance for OFDM-based massive MIMO systems. The framework allows incorporating channel uncertainties and intercell coordination. Numerical results show that several orders of magnitude improvements can be achieved w.r.t. state of the art techniques, such as instantaneous power consumption reduction and multiuser interference cancellation. The proposed PAPRaware precoding can be effectively handled along with the multicell signal processing by the centralized baseband processing platforms of next-generation radio access networks. Performance can be traded for the computing efficiency for other platforms


title: Quotients of Definite Periodic Knots are Definite

abstract: A knot $K$ is definite if $|\sigma(K)| = 2g(K)$. We prove that the quotient of a definite periodic knot is definite by considering equivariant minimal genus Seifert surfaces.


title: Project AMIGA: Distance and Metallicity Gradients Along Andromeda's Giant Southern Stream from the Red Clump

abstract: The Giant Southern Stream (GSS) of M31, a keystone signature of a major accretion event, yields crucial constraints on M31 formation and evolution models. Currently, our understanding of the GSS, in terms of both its geometry and its chemistry, results from either wide-field imaging probing only a few magnitudes below the red giant branch tip, or deep imaging or spectroscopy of isolated regions. Here, we take an alternative approach, using Hubble Space Telescope (HST) imaging to characterize the horizontal branch red clump (RC) using unbinned maximum likelihood fits to luminosity functions (LFs) from observed color-magnitude diagrams (CMDs). Comparing the RC mean magnitude across three fields at projected distances of 21, 52 and 80 kpc from M31, we find a line of sight distance gradient identical to recent literature measurements in fields along the core. We also find tentative evidence that the line of sight distance dispersion increases with projected distance from M31. Meanwhile, the metallicity in the 52 kpc field westward of the GSS core is at least as high as that in the 21 kpc GSS core field, and the peak colors of the RC in these two fields imply identical metallicities to within 0.2 dex. We discuss implications for distance and metallicity gradients both along and perpendicular to the GSS in the context of recent ground-based photometric and spectroscopic results, including evidence for a dropoff in metallicity moving westward from the GSS, as well as prospects for further constraining stellar populations in the vicinity of the GSS.


title: Rank Inequalities on Knot Floer Homology of Periodic Knots

abstract: Let $\widetilde{K}$ be a 2-periodic knot in $S^3$ with quotient $K$. We prove a rank inequality between the knot Floer homology of $\widetilde{K}$ and the knot Floer homology of $K$ using a spectral sequence of Hendricks, Lipshitz and Sarkar. We also conjecture a filtered refinement of this inequality, for which we give computational evidence, and produce applications to the Alexander polynomials of $\widetilde{K}$ and $K$.


title: Harnessing Correlations in Distributed Erasure Coded Key-Value Stores

abstract: Motivated by applications of distributed storage systems to cloud-based key-value stores, the multi-version coding problem has been recently formulated to efficiently store frequently updated data in asynchronous decentralized storage systems. Inspired by consistency requirements in distributed systems, the main goal in multi-version coding is to ensure that the latest possible version of the data is decodable, even if the data updates have not reached some servers in the system. In this paper, we study the storage cost of ensuring consistency for the case where the data versions are correlated, in contrast to previous work where data versions were treated as being independent. We provide multi-version code constructions that show that the storage cost can be significantly smaller than the previous constructions depending on the degree of correlation between the different versions of the data. Our achievability results are based on Reed-Solomon codes and random binning. Through an information-theoretic converse, we show that our multi-version codes are nearly-optimal in certain regimes.


title: Meet-Distributive Lattices have the Intersection Property

abstract: Meet-distributive lattices form an intriguing class of lattices, because they are precisely the lattices obtainable from a closure operator with the so-called anti-exchange property. Moreover, meet-distributive lattices are join semidistributive. Therefore, they admit two natural, secondary structures: the core label order is an alternative order on the lattice elements and the canonical join complex is the flag-simplicial complex on canonical join representations. In this article we present a characterization of finite meet-distributive lattices in terms of the core label order and the canonical join complex, and we show that the core label order of a finite meet-distributive lattice is always a meet-semilattice.


title: Linear representations of random groups

abstract: We show that for a fixed k, Gromov random groups with any positive density have no non-trivial degree-k representations over any field, a.a.s. This is especially interesting in light of the results of Agol, Ollivier and Wise that when the density is less than 1/6 such groups have a faithful linear representation over the rationals, a.a.s.