title: Extreme scenarios: the tightest possible constraints on the power spectrum due to primordial black holes

abstract: Observational constraints on the abundance of primordial black holes (PBHs) constrain the allowed amplitude of the primordial power spectrum on both the smallest and the largest ranges of scales, covering over 20 decades from $1-10^{20}/ \rm{Mpc}$. Despite tight constraints on the allowed fraction of PBHs at their time of formation near horizon entry in the early universe, the corresponding constraints on the primordial power spectrum are quite weak, typically ${\cal P}_\mathcal{R}\lesssim 10^{-2}$ assuming Gaussian perturbations. Motivated by recent claims that the evaporation of just one PBH would destabilise the Higgs vacuum and collapse the universe, we calculate the constraints which follow from assuming there are zero PBHs within the observable universe. This extends the constraints right down to the horizon scale at the end of inflation, but does not significantly tighten the existing power spectrum constraints, even though the constraint on PBH abundance can decrease by up to 46 orders of magnitude. This shows that no future improvement in observational constraints can ever lead to a significant tightening in constraints on inflation (via the power spectrum amplitude). The power spectrum constraints are weak because an order unity perturbation is required in order to overcome pressure forces. We therefore consider an early matter dominated era, during which exponentially more PBHs form for the same initial conditions. We show this leads to far tighter constraints, which approach ${\cal P}_\mathcal{R}\lesssim10^{-9}$, albeit over a smaller range of scales and are very sensitive to when the early matter dominated era ends. Finally, we show that an extended early matter era is incompatible with the argument that an evaporating PBH would destroy the universe, unless the power spectrum amplitude decreases by up to ten orders of magnitude.


title: Determination of the Proton Spin Structure Functions for 0.05 < Q^2 < 5 GeV^2 using CLAS

abstract: We present the results of our final analysis of the full data set of g_1^p(Q^2), the spin structure function of the proton, collected using CLAS at Jefferson Lab in 2000-2001. Polarized electrons with energies of 1.6, 2.5, 4.2 and 5.7 GeV were scattered from proton targets (15^NH_3 dynamically polarized along the beam direction) and detected with CLAS. From the measured double spin asymmetries, we extracted virtual photon asymmetries A_1^p and A_2^p and spin structure functions g_1^p and g_2^p over a wide kinematic range (0.05 GeV^2 < Q^2 < 5 GeV^2 and 1.08 GeV < W < 3 GeV), and calculated moments of g_1^p. We compare our final results with various theoretical models and expectations, as well as with parameterizations of the world data. Our data, with their precision and dense kinematic coverage, are able to constrain fits of polarized parton distributions, test pQCD predictions for quark polarizations at large x, offer a better understanding of quark-hadron duality, and provide more precise values of higher-twist matrix elements in the framework of the Operator Product Expansion.


title: Physiology-Aware Rural Ambulance Routing

abstract: In emergency patient transport from rural medical facility to center tertiary hospital, real-time monitoring of the patient in the ambulance by a physician expert at the tertiary center is crucial. While telemetry healthcare services using mobile networks may enable remote real-time monitoring of transported patients, physiologic measures and tracking are at least as important and requires the existence of high-fidelity communication coverage. However, the wireless networks along the roads especially in rural areas can range from 4G to low-speed 2G, some parts with communication breakage. From a patient care perspective, transport during critical illness can make route selection patient state dependent. Prompt decisions with the relative advantage of a longer more secure bandwidth route versus a shorter, more rapid transport route but with less secure bandwidth must be made. The trade-off between route selection and the quality of wireless communication is an important optimization problem which unfortunately has remained unaddressed by prior work. In this paper, we propose a novel physiology-aware route scheduling approach for emergency ambulance transport of rural patients with acute, high risk diseases in need of continuous remote monitoring. We mathematically model the problem into an NP-hard graph theory problem, and approximate a solution based on a trade-off between communication coverage and shortest path. We profile communication along two major routes in a large rural hospital settings in Illinois, and use the traces to manifest the concept. Further, we design our algorithms and run preliminary experiments for scalability analysis. We believe that our scheduling techniques can become a compelling aid that enables an always-connected remote monitoring system in emergency patient transfer scenarios aimed to prevent morbidity and mortality with early diagnosis treatment.


title: Convergence of the randomized Kaczmarz method for phase retrieval

abstract: The classical Kaczmarz iteration and its randomized variants are popular tools for fast inversion of linear overdetermined systems. This method extends naturally to the setting of the phase retrieval problem via substituting at each iteration the phase of any measurement of the available approximate solution for the unknown phase of the measurement of the true solution. Despite the simplicity of the method, rigorous convergence guarantees that are available for the classical linear setting have not been established so far for the phase retrieval setting. In this short note, we provide a convergence result for the randomized Kaczmarz method for phase retrieval in $\mathbb{R}^d$. We show that with high probability a random measurement system of size $m \asymp d$ will be admissible for this method in the sense that convergence in the mean square sense is guaranteed with any prescribed probability. The convergence is exponential and comparable to the linear setting.


title: Onions in the Crosshairs: When The Man really is out to get you

abstract: We introduce and investigate *targeting adversaries* who selectively attack users of Tor or other secure-communication networks. We argue that attacks by such adversaries are more realistic and more significant threats to those most relying on Tor's protection than are attacks in prior analyses of Tor security. Previous research and Tor design decisions have focused on protecting against adversaries who are equally interested in any user of the network. Our adversaries selectively target users---e.g., those who visit a particular website or chat on a particular private channel---and essentially disregard Tor users other than these. We present a model of such adversaries and investigate three example cases where particular users might be targeted: a cabal conducting meetings using MTor, a published Tor multicast protocol; a cabal meeting on a private IRC channel; and users visiting a particular .onion website. In general for our adversaries, compromise is much faster and provides more feedback and possibilities for adaptation than do attacks examined in prior work. We also discuss selection of websites for targeting of their users based on the distribution across users of site activity. We describe adversaries both attempting to learn the size of a cabal meeting online or of a set of sufficiently active visitors to a targeted site and attempting to identify guards of each targeted user. We compare the threat of targeting adversaries versus previously considered adversaries, and we briefly sketch possible countermeasures for resisting targeting adversaries.


title: Extreme Events related with spatial patterns in an all-solid-state laser with saturable absorber

abstract: The passively Q-switched, self-pulsing all-solid-state laser is a device of widespread use in many applications. Depending on the condition of saturation, which is easy to adjust, different dynamical phenomena are observed: continuous wave emission, stable oscillations, period doubling bifurcations, chaos and, in some chaotic regimes, extreme events in the form of pulses of extraordinary intensity. These pulses are also sometimes called "dissipative optical rogue waves". The mechanism of their formation is still unknown. Here, we report the direct observation of the pulse-to-pulse evolution of the transverse pattern with an ultrafast camera (up to 60,000 frames per second). A specific pattern is correlated with the pulse intensity in the periodical regimes. In the chaotic regimes, the extreme events are correlated with some patterns. The series of patterns before and after an extreme event are often the same. These observations demonstrate that extreme events in this system are the consequence of the deterministic nonlinear interaction of few modes. This information plays a crucial role in the development of a theoretical model able to describe the mechanism giving raise to extreme events. The model is expected to lead to the control of their formation at will, what is of practical interest.


title: On perfect powers that are sums of two Fibonacci numbers

abstract: We study the equation $F_n + F_m = y^p$, where $F_n$ and $F_m$ are respectively the $n$-th and $m$-th Fibonacci numbers and $p \ge 2$. We find all solutions under the assumption $n \equiv m \pmod{2}$.


title: Noisy Networks for Exploration

abstract: We introduce NoisyNet, a deep reinforcement learning agent with parametric noise added to its weights, and show that the induced stochasticity of the agent's policy can be used to aid efficient exploration. The parameters of the noise are learned with gradient descent along with the remaining network weights. NoisyNet is straightforward to implement and adds little computational overhead. We find that replacing the conventional exploration heuristics for A3C, DQN and dueling agents (entropy reward and $\epsilon$-greedy respectively) with NoisyNet yields substantially higher scores for a wide range of Atari games, in some cases advancing the agent from sub to super-human performance.


title: Distribution of real algebraic integers

abstract: In the paper, we study the asymptotic distribution of real algebraic integers of fixed degree as their na\"{\i}ve height tends to infinity. For an arbitrary interval $I \subset \mathbb{R}$ and sufficiently large $Q>0$, we obtain an asymptotic formula for the number of algebraic integers $\alpha\in I$ of fixed degree $n$ and na\"{\i}ve height $H(\alpha)\le Q$. In particular, we show that the real algebraic integers of degree $n$, with their height growing, tend to be distributed like the real algebraic numbers of degree $n-1$. However, we reveal two symmetric "plateaux", where the distribution of real algebraic integers statistically resembles the rational integers.


title: Exploring the Human Connectome Topology in Group Studies

abstract: Visually comparing brain networks, or connectomes, is an essential task in the field of neuroscience. Especially relevant to the field of clinical neuroscience, group studies that examine differences between populations or changes over time within a population enable neuroscientists to reason about effective diagnoses and treatments for a range of neuropsychiatric disorders. In this paper, we specifically explore how visual analytics tools can be used to facilitate various clinical neuroscience tasks, in which observation and analysis of meaningful patterns in the connectome can support patient diagnosis and treatment. We conduct a survey of visualization tasks that enable clinical neuroscience activities, and further explore how existing connectome visualization tools support or fail to support these tasks. Based on our investigation of these tasks, we introduce a novel visualization tool, NeuroCave, to support group studies analyses. We discuss how our design decisions (the use of immersive visualization, the use of hierarchical clustering and dimensionality reduction techniques, and the choice of visual encodings) are motivated by these tasks. We evaluate NeuroCave through two use cases that illustrate the utility of interactive connectome visualization in clinical neuroscience contexts. In the first use case, we study sex differences using functional connectomes and discover hidden connectome patterns associated with well-known cognitive differences in spatial and verbal abilities. In the second use case, we show how the utility of visualizing the brain in different topological space coupled with clustering information can reveal the brain's intrinsic structure.


title: Landscape and flux for quantifying global stability and dynamics of game theory

abstract: Game theory has been widely applied to many areas including economics, biology and social sciences. However, it is still challenging to quantify the global stability and global dynamics of the game theory. We developed a landscape and flux framework to quantify the global stability and global dynamics of the game theory. As an example, we investigated the models of three-strategy games: a special replicator-mutator game, the repeated prison dilemma model. In this model, one stable state, two stable states and limit cycle can emerge under different parameters. The repeated Prisoner's Dilemma system has Hopf bifurcation transitions from one stable state to limit cycle state, and then to another one stable state or two stable states, or vice versa. We explored the global stability of the repeated Prisoner's Dilemma system and the kinetic paths between the basins of attractor. The paths are irreversible due to the non-zero flux. One can explain the game for $Peace$ and $War$.


title: VFISV Inversion Code Documentation for SOLIS/VSM Pipeline Implementation

abstract: Spectral line inversion codes are tools used to interpret spectropolarimetric data; in general, their function is to analyze a set of observed Stokes profiles, and infer the physical properties of the line-formation region in which the Stokes profiles were formed. For the SOLIS/VSM 6302v pipeline, the inversion is based on a Milne-Eddington model atmosphere, optimized to reproduce the observed Stokes profiles of both Fe I lines at 6301.5 and 6302.5 Angstroms . This document provides a detailed overview of the SOLIS/VSM remix of the VFISV (Very Fast Inversion of the Stokes Vector) inversion code, as it is implemented in the SOLIS/VSM pipeline environment.


title: Microlensing of Extremely Magnified Stars near Caustics of Galaxy Clusters

abstract: Recent observations of lensed galaxies at cosmological distances have detected individual stars that are extremely magnified when crossing the caustics of lensing clusters. In idealized cluster lenses with smooth mass distributions, two images of a star of radius $R$ approaching a caustic brighten as $t^{-1/2}$ and reach a peak magnification $\sim 10^{6}\, (10\, R_{\odot}/R)^{1/2}$ before merging on the critical curve. We show that a mass fraction ($\kappa_\star \gtrsim \, 10^{-4.5}$) in microlenses inevitably disrupts the smooth caustic into a network of corrugated microcaustics, and produces light curves with numerous peaks. Using analytical calculations and numerical simulations, we derive the characteristic width of the network, caustic-crossing frequencies, and peak magnifications. For the lens parameters of a recent detection and a population of intracluster stars with $\kappa_\star \sim 0.01$, we find a source-plane width of $\sim 20 \, {\rm pc}$ for the caustic network, which spans $0.2 \, {\rm arcsec}$ on the image plane. A source star takes $\sim 2\times 10^4$ years to cross this width, with a total of $\sim 6 \times 10^4$ crossings, each one lasting for $\sim 5\,{\rm hr}\,(R/10\,R_\odot)$ with typical peak magnifications of $\sim 10^{4} \left( R/ 10\,R_\odot \right)^{-1/2}$. The exquisite sensitivity of caustic-crossing events to the granularity of the lens-mass distribution makes them ideal probes of dark matter components, such as compact halo objects and ultralight axion dark matter.


title: Thermal inclusions: how one spin can destroy a many-body localized phase

abstract: Many-body localized (MBL) systems lie outside the framework of statistical mechanics, as they fail to equilibrate under their own quantum dynamics. Even basic features of MBL systems such as their stability to thermal inclusions and the nature of the dynamical transition to thermalizing behavior remain poorly understood. We study a simple model to address these questions: a two level system interacting with strength $J$ with $N\gg 1$ localized bits subject to random fields. On increasing $J$, the system transitions from a MBL to a delocalized phase on the \emph{vanishing} scale $J_c(N) \sim 1/N$, up to logarithmic corrections. In the transition region, the single-site eigenstate entanglement entropies exhibit bi-modal distributions, so that localized bits are either "on" (strongly entangled) or "off" (weakly entangled) in eigenstates. The clusters of "on" bits vary significantly between eigenstates of the \emph{same} sample, which provides evidence for a heterogenous discontinuous transition out of the localized phase in single-site observables. We obtain these results by perturbative mapping to bond percolation on the hypercube at small $J$ and by numerical exact diagonalization of the full many-body system. Our results imply the MBL phase is unstable in systems with short-range interactions and quenched randomness in dimensions $d$ that are high but finite.


title: Search for grain growth towards the center of L1544

abstract: In dense and cold molecular clouds dust grains are surrounded by thick icy mantles. It is however not clear if dust growth and coagulation take place before the switch-on of a protostar. This is an important issue, as the presence of large grains may affect the chemical structure of dense cloud cores, including the dynamically important ionization fraction, and the future evolution of solids in protoplanetary disks. To study this further, we focus on L1544, one of the most centrally concentrated pre-stellar cores on the verge of star formation, and with a well-known physical structure. We observed L1544 at 1.2 and 2 mm using NIKA, a new receiver at the IRAM 30 m telescope, and we used data from the Herschel Space Observatory archive. We find no evidence of grain growth towards the center of L1544 at the available angular resolution. Therefore, we conclude that single dish observations do not allow us to investigate grain growth toward the pre-stellar core L1544 and high sensitivity interferometer observations are needed. We predict that dust grains can grow to 200 $\mu$m in size toward the central ~300 au of L1544. This will imply a dust opacity change by a factor of ~2.5 at 1.2 mm, which can be detected using the Atacama Large Millimeter and submillimeter Array (ALMA) at different wavelengths and with an angular resolution of 2".


title: Strolling along gauge theory vacua

abstract: We consider classical, pure Yang-Mills theory in a box. We show how a set of static electric fields that solve the theory in an adiabatic limit correspond to geodesic motion on the space of vacua, equipped with a particular Riemannian metric that we identify. The vacua are generated by spontaneously broken global gauge symmetries, leading to an infinite number of conserved momenta of the geodesic motion. We show that these correspond to the soft multipole charges of Yang-Mills theory.


title: Clarifying the Hubble constant tension with a Bayesian hierarchical model of the local distance ladder

abstract: Estimates of the Hubble constant, $H_0$, from the distance ladder and the cosmic microwave background (CMB) differ at the $\sim$3-$\sigma$ level, indicating a potential issue with the standard $\Lambda$CDM cosmology. Interpreting this tension correctly requires a model comparison calculation depending on not only the traditional `$n$-$\sigma$' mismatch but also the tails of the likelihoods. Determining the form of the tails of the local $H_0$ likelihood is impossible with the standard Gaussian least-squares approximation, as it requires using non-Gaussian distributions to faithfully represent anchor likelihoods and model outliers in the Cepheid and supernova (SN) populations, and simultaneous fitting of the full distance-ladder dataset to correctly propagate uncertainties. We have developed a Bayesian hierarchical model that describes the full distance ladder, from nearby geometric anchors through Cepheids to Hubble-Flow SNe. This model does not rely on any distributions being Gaussian, allowing outliers to be modeled and obviating the need for arbitrary data cuts. Sampling from the $\sim$3000-parameter joint posterior using Hamiltonian Monte Carlo, we find $H_0$ = (72.72 $\pm$ 1.67) ${\rm km\,s^{-1}\,Mpc^{-1}}$ when applied to the outlier-cleaned Riess et al. (2016) data, and ($73.15 \pm 1.78$) ${\rm km\,s^{-1}\,Mpc^{-1}}$ with SN outliers reintroduced. Our high-fidelity sampling of the low-$H_0$ tail of the distance-ladder likelihood allows us to apply Bayesian model comparison to assess the evidence for deviation from $\Lambda$CDM. We set up this comparison to yield a lower limit on the odds of the underlying model being $\Lambda$CDM given the distance-ladder and Planck XIII (2016) CMB data. The odds against $\Lambda$CDM are at worst 10:1 or 7:1, depending on whether the SNe outliers are cut or modeled, or 60:1 if an approximation to the Planck Int. XLVI (2016) likelihood is used.


title: Lepton-Jets and Low-Mass Sterile Neutrinos at Hadron Colliders

abstract: Sterile neutrinos, if they exist, are potential harbingers for physics beyond the Standard Model. They have the capacity to shed light on our flavor sector, grand unification frameworks, dark matter sector and origins of baryon anti-baryon asymmetry. There have been a few seminal studies that have broached the subject of sterile neutrinos with low, electroweak-scale masses (i.e. $\Lambda_{\text{\tiny{QCD}}} \ll m_{N_R} \ll m_{W^\pm}$) and investigated their reach at hadron colliders using lepton jets. These preliminary studies nevertheless assume background-free scenarios after certain selection criteria which are overly optimistic and untenable in realistic situations. These lead to incorrect projections. The unique signal topology and challenging hadronic environment also make this mass-scale regime ripe for a careful investigation. With the above motivations, we attempt to perform the first systematic study of low, electroweak-scale, right-handed neutrinos at hadron colliders, in this unique signal topology. There are currently no active searches at hadron colliders for sterile neutrino states in this mass range, and we frame the study in the context of the $13\,\rm{TeV}$ high-luminosity Large Hadron Collider and the proposed FCC-hh/SppC $100\,\rm{TeV}$ $pp$-collider.


title: MC^2: A deeper look at ZwCl 2341.1+0000 with Bayesian galaxy clustering and weak lensing analyses

abstract: ZwCl 2341.1+0000, a merging galaxy cluster with disturbed X-ray morphology and widely separated ($\sim$3 Mpc) double radio relics, was thought to be an extremely massive ($10-30 \times 10^{14} M_\odot$) and complex system with little known about its merger history. We present JVLA 2-4 GHz observations of the cluster, along with new spectroscopy from our Keck/DEIMOS survey, and apply Gaussian Mixture Modeling to the three-dimensional distribution of 227 confirmed cluster galaxies. After adopting the Bayesian Information Criterion to avoid overfitting, which we discover can bias total dynamical mass estimates high, we find that a three-substructure model with a total dynamical mass estimate of $9.39 \pm 0.81 \times 10^{14} M_\odot$ is favored. We also present deep Subaru imaging and perform the first weak lensing analysis on this system, obtaining a weak lensing mass estimate of $5.57 \pm 2.47 \times 10^{14} M_\odot$. This is a more robust estimate because it does not depend on the dynamical state of the system, which is disturbed due to the merger. Our results indicate that ZwCl 2341.1+0000 is a multiple merger system comprised of at least three substructures, with the main merger that produced the radio relics occurring near to the plane of the sky, and a younger merger in the North occurring closer to the line of sight. Dynamical modeling of the main merger reproduces observed quantities (relic positions and polarizations, subcluster separation and radial velocity difference), if the merger axis angle of $\sim$10$^{+34}_{-6}$ degrees and the collision speed at pericenter is $\sim$1900$^{+300}_{-200}$ km/s.


title: From Parity to Preference-based Notions of Fairness in Classification

abstract: The adoption of automated, data-driven decision making in an ever expanding range of applications has raised concerns about its potential unfairness towards certain social groups. In this context, a number of recent studies have focused on defining, detecting, and removing unfairness from data-driven decision systems. However, the existing notions of fairness, based on parity (equality) in treatment or outcomes for different social groups, tend to be quite stringent, limiting the overall decision making accuracy. In this paper, we draw inspiration from the fair-division and envy-freeness literature in economics and game theory and propose preference-based notions of fairness -- given the choice between various sets of decision treatments or outcomes, any group of users would collectively prefer its treatment or outcomes, regardless of the (dis)parity as compared to the other groups. Then, we introduce tractable proxies to design margin-based classifiers that satisfy these preference-based notions of fairness. Finally, we experiment with a variety of synthetic and real-world datasets and show that preference-based fairness allows for greater decision accuracy than parity-based fairness.


title: Electrical switching of magnetic polarity in a multiferroic BiFeO3 device at room temperature

abstract: We have directly imaged reversible electrical switching of the cycloidal rotation direction (magnetic polarity) in a (111)-BiFeO3 epitaxial-film device at room temperature by non-resonant x-ray magnetic scattering. Consistent with previous reports, fully relaxed (111)-BiFeO3 epitaxial films consisting of a single ferroelectric domain were found to comprise a sub-micron-scale mosaic of magneto-elastic domains, all sharing a common direction of the magnetic polarity, which was found to switch reversibly upon reversal of the ferroelectric polarization without any measurable change of the magneto-elastic domain population. A real-space polarimetry map of our device clearly distinguished between regions of the sample electrically addressed into the two magnetic states with a resolution of a few tens of micron. Contrary to the general belief that the magneto-electric coupling in BiFeO3 is weak, we find that electrical switching has a dramatic effect on the magnetic structure, with the magnetic moments rotating on average by 90 degrees at every cycle.


title: Error rates and resource overheads of encoded three-qubit gates

abstract: A non-Clifford gate is required for universal quantum computation, and, typically, this is the most error-prone and resource intensive logical operation on an error-correcting code. Small, single-qubit rotations are popular choices for this non-Clifford gate, but certain three-qubit gates, such as Toffoli or controlled-controlled-Z (CCZ), are equivalent options that are also more suited for implementing some quantum algorithms, for instance those with coherent classical subroutines. Here, we calculate error rates and resource overheads for implementing logical CCZ with pieceable fault-tolerance, a non-transversal method for implementing logical gates. We provide a comparison with a non-local magic-state scheme on a concatenated code and a local magic-state scheme on the surface code. We find the pieceable fault-tolerance scheme particularly advantaged over magic states on concatenated codes and in certain regimes over magic states on the surface code. Our results suggest that pieceable fault-tolerance is a promising candidate for fault-tolerance in a near-future quantum computer.


title: The Simplicial Characterisation of TS networks: Theory and applications

abstract: We use the visibility algorithm to construct the time series networks obtained from the time series of different dynamical regimes of the logistic map. We define the simplicial characterisers of networks which can analyse the simplicial structure at both the global and local levels. These characterisers are used to analyse the TS networks obtained in different dynamical regimes of the logisitic map. It is seen that the simplicial characterisers are able to distinguish between distinct dynamical regimes. We also apply the simplicial characterisers to time series networks constructed from fMRI data, where the preliminary results indicate that the characterisers are able to differentiate between distinct TS networks.


title: The surprising implications of familial association in disease risk

abstract: Background: A wide range of diseases show some degree of clustering in families; family history is therefore an important aspect for clinicians when making risk predictions. Familial aggregation is often quantified in terms of a familial relative risk (FRR), and although at first glance this measure may seem simple and intuitive as an average risk prediction, its implications are not straightforward. Methods: We use two statistical models for the distribution of disease risk in a population: a dichotomous risk model that gives an intuitive understanding of the implication of a given FRR, and a continuous risk model that facilitates a more detailed computation of the inequalities in disease risk. Published estimates of FRRs are used to produce Lorenz curves and Gini indices that quantifies the inequalities in risk for a range of diseases. Results: We demonstrate that even a moderate familial association in disease risk implies a very large difference in risk between individuals in the population. We give examples of diseases for which this is likely to be true, and we further demonstrate the relationship between the point estimates of FRRs and the distribution of risk in the population. Conclusions: The variation in risk for several severe diseases may be larger than the variation in income in many countries. The implications of familial risk estimates should be recognized by epidemiologists and clinicians.


title: Deuce: A Lightweight User Interface for Structured Editing

abstract: We present a structure-aware code editor, called Deuce, that is equipped with direct manipulation capabilities for invoking automated program transformations. Compared to traditional refactoring environments, Deuce employs a direct manipulation interface that is tightly integrated within a text-based editing workflow. In particular, Deuce draws (i) clickable widgets atop the source code that allow the user to structurally select the unstructured text for subexpressions and other relevant features, and (ii) a lightweight, interactive menu of potential transformations based on the current selections. We implement and evaluate our design with mostly standard transformations in the context of a small functional programming language. A controlled user study with 21 participants demonstrates that structural selection is preferred to a more traditional text-selection interface and may be faster overall once users gain experience with the tool. These results accord with Deuce's aim to provide human-friendly structural interactions on top of familiar text-based editing.


title: Non-perturbative analysis of entanglement harvesting from coherent field states

abstract: We study (non-perturbatively) the interactions of delta-coupled detectors with coherent states of a scalar field. We show that the time-evolved density matrix spectra of i) a single detector, ii) two detectors, and iii) the partial transpose of the latter, are all independent of which coherent state the field was in. Furthermore, we find that the eigenvalues in iii) are non-negative, implying that a delta-coupled detector pair cannot harvest entanglement from the vacuum, or any other coherent field state.


title: Collective excitations and supersolid behavior of bosonic atoms inside two crossed optical cavities

abstract: We discuss the nature of symmetry breaking and the associated collective excitations for a system of bosons coupled to the electromagnetic field of two optical cavities. For the specific configuration realized in a recent experiment at ETH, we show that, in absence of direct intercavity scattering and for parameters chosen such that the atoms couple symmetrically to both cavities, the system possesses an approximate $U(1)$ symmetry which holds asymptotically for vanishing cavity field intensity. It corresponds to the invariance with respect to redistributing the total intensity $I=I_1+I_2$ between the two cavities. The spontaneous breaking of this symmetry gives rise to a broken continuous translation-invariance for the atoms, creating a supersolid-like order in the presence of a Bose-Einstein condensate. In particular, we show that atom-mediated scattering between the two cavities, which favors the state with equal light intensities $I_1=I_2$ and reduces the symmetry to $\mathbf{Z}_2\otimes \mathbf{Z}_2$, gives rise to a finite value $\sim \sqrt{I}$ of the effective Goldstone mass. For strong atom driving, this low energy mode is clearly separated from an effective Higgs excitation associated with changes of the total intensity $I$. In addition, we compute the spectral distribution of the cavity light field and show that both the Higgs and Goldstone mode acquire a finite lifetime due to Landau damping at non-zero temperature.


title: Small Profits and Quick Returns: A Practical SocialWelfare Maximizing Incentive Mechanism for Deadline-Sensitive Tasks in Crowdsourcing

abstract: As the driving force of crowdsourcing is the interaction among participants, various incentive mechanisms have been proposed to attract sufficient participants. However, the existing works assume that all the providers always meet the deadline and the task value accordingly remains constant. To bridge the gap of such impractical assumption, we model the heterogeneous punctuality behavior of providers and the task value depreciation of requesters. Based on those models, we propose an Expected Social Welfare Maximizing (ESWM) mechanism that aims to maximize the expected social welfare in polynomial time. Simulation results show that our heuristic-based mechanism achieves higher expected social welfare and platform utility via attracting more participants.


title: A Global div-curl-Lemma for Mixed Boundary Conditions in Weak Lipschitz Domains and a Corresponding Generalized $\mathrm{A}_{0}^{*}$-$\mathrm{A}_{1}$-Lemma in Hilbert Spaces

abstract: We prove global and local versions of the so-called div-curl-lemma, a crucial result in the homogenization theory of partial differential equations, for mixed boundary conditions on bounded weak Lipschitz domains in 3D with weak Lipschitz interfaces. We will generalize our results using an abstract Hilbert space setting, which shows corresponding results to hold in arbitrary dimensions as well as for various differential operators. The crucial tools and the core of our arguments are Hilbert complexes and related compact embeddings.


title: Symmetric group representations and Z

abstract: We discuss implications of the following statement about the representation theory of symmetric groups: every integer appears infinitely often as an irreducible character evaluation, and every nonnegative integer appears infinitely often as a Littlewood-Richardson coefficient and as a Kronecker coefficient.


title: Hamiltonian analysis of subcritical stochastic epidemic dynamics

abstract: We extend a technique of approximation of the long-term behavior of a supercritical stochastic epidemic model, using the WKB approximation and a Hamiltonian phase space, to the subcritical case. The limiting behavior of the model and approximation are qualitatively different in the subcritical case, requiring a novel analysis of the limiting behavior of the Hamiltonian system away from its deterministic subsystem. This yields a novel, general technique of approximation of the quasistationary distribution of stochastic epidemic and birth-death models, and may lead to techniques for analysis of these models beyond the quasistationary distribution. For a classic SIS model, the approximation found for the quasistationary distribution is very similar to published approximations but not identical. For a birth-death process without depletion of susceptibles, the approximation is exact. Dynamics on the phase plane similar to those predicted by the Hamiltonian analysis are demonstrated in cross-sectional data from trachoma treatment trials in Ethiopia, in which declining prevalences are consistent with subcritical epidemic dynamics.


title: A systematic four-dimensional approach to strong field control of molecular torsions

abstract: We introduce a four-dimensional quantum model for describing the torsional control of $\rm G_{16}$-type molecules in the electronic ground state, based on the symmetry-adapted variational method. We define conditions for which lower-dimensional models, commonly used to simulate the strong-field control of molecular torsions, are reliable approximations to a four-dimensional treatment. In particular, we study the role of different types of rotational-torsional couplings---the field-free coupling and the field-induced coupling---and show that the conclusions recently drawn on the role of rotational-torsional couplings in the process of torsional alignment are not correct. Furthermore, we demonstrate how important an adequate description of the molecular polarizability is for reliably predicting the torsional alignment.


title: Exponential Krylov time integration for modeling multi-frequency optical response with monochromatic sources

abstract: Light incident on a layer of scattering material such as a piece of sugar or white paper forms a characteristic speckle pattern in transmission and reflection. The information hidden in the correlations of the speckle pattern with varying frequency, polarization and angle of the incident light can be exploited for applications such as biomedical imaging and high-resolution microscopy. Conventional computational models for multi-frequency optical response involve multiple solution runs of Maxwell's equations with monochromatic sources. Exponential Krylov subspace time solvers are promising candidates for improving efficiency of such models, as single monochromatic solution can be reused for the other frequencies without performing full time-domain computations at each frequency. However, we show that the straightforward implementation appears to have serious limitations. We further propose alternative ways for efficient solution through Krylov subspace methods. Our methods are based on two different splittings of the unknown solution into different parts, each of which can be computed efficiently. Experiments demonstrate a significant gain in computation time with respect to the standard solvers.


title: A Formalized General Theory of Syntax with Bindings

abstract: We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are defined for an arbitrary number of constructors of varying numbers of inputs, quotiented to alpha-equivalence and sorted according to a binding signature. The theory includes a rich collection of properties of the standard operators on terms, such as substitution and freshness. It also includes induction and recursion principles and support for semantic interpretation, all tailored for smooth interaction with the bindings and the standard operators.


title: Quantum limits to gravity estimation with optomechanics

abstract: We present a table-top quantum estimation protocol to measure the gravitational acceleration $g$ by using an optomechanical cavity. In particular, we exploit the non-linear quantum light-matter interaction between an optical field and a massive mirror acting as mechanical oscillator. The gravitational field influences the system dynamics affecting the phase of the cavity field during the interaction. Reading out such phase carried by the radiation leaking from the cavity, we provide an estimate of the gravitational acceleration through interference measurements. Contrary to previous studies, having adopted a fully quantum description, we are able to propose a quantum analysis proving the ultimate bound to the estimability of the gravitational acceleration and verifying optimality of homodyne detection. Noticeably, thanks to the light-matter decoupling at the measurement time, no initial cooling of the mechanical oscillator is in principle demanded.


title: Multilevel weighted least squares polynomial approximation

abstract: Weighted least squares polynomial approximation uses random samples to determine projections of functions onto spaces of polynomials. It has been shown that, using an optimal distribution of sample locations, the number of samples required to achieve quasi-optimal approximation in a given polynomial subspace scales, up to a logarithmic factor, linearly in the dimension of this space. However, in many applications, the computation of samples includes a numerical discretization error. Thus, obtaining polynomial approximations with a single level method can become prohibitively expensive, as it requires a sufficiently large number of samples, each computed with a sufficiently small discretization error. As a solution to this problem, we propose a multilevel method that utilizes samples computed with different accuracies and is able to match the accuracy of single-level approximations with reduced computational cost. We derive complexity bounds under certain assumptions about polynomial approximability and sample work. Furthermore, we propose an adaptive algorithm for situations where such assumptions cannot be verified a priori. Finally, we provide an efficient algorithm for the sampling from optimal distributions and an analysis of computationally favorable alternative distributions. Numerical experiments underscore the practical applicability of our method.


title: Improvements to the APBS biomolecular solvation software suite

abstract: The Adaptive Poisson-Boltzmann Solver (APBS) software was developed to solve the equations of continuum electrostatics for large biomolecular assemblages that has provided impact in the study of a broad range of chemical, biological, and biomedical applications. APBS addresses three key technology challenges for understanding solvation and electrostatics in biomedical applications: accurate and efficient models for biomolecular solvation and electrostatics, robust and scalable software for applying those theories to biomolecular systems, and mechanisms for sharing and analyzing biomolecular electrostatics data in the scientific community. To address new research applications and advancing computational capabilities, we have continually updated APBS and its suite of accompanying software since its release in 2001. In this manuscript, we discuss the models and capabilities that have recently been implemented within the APBS software package including: a Poisson-Boltzmann analytical and a semi-analytical solver, an optimized boundary element solver, a geometry-based geometric flow solvation model, a graph theory based algorithm for determining p$K_a$ values, and an improved web-based visualization tool for viewing electrostatics.


title: Efficient Monte Carlo Integration Using Boosted Decision Trees and Generative Deep Neural Networks

abstract: New machine learning based algorithms have been developed and tested for Monte Carlo integration based on generative Boosted Decision Trees and Deep Neural Networks. Both of these algorithms exhibit substantial improvements compared to existing algorithms for non-factorizable integrands in terms of the achievable integration precision for a given number of target function evaluations. Large scale Monte Carlo generation of complex collider physics processes with improved efficiency can be achieved by implementing these algorithms into commonly used matrix element Monte Carlo generators once their robustness is demonstrated and performance validated for the relevant classes of matrix elements.


title: Chromospheric Inversions of a Micro-flaring Region

abstract: We use spectropolarimetric observations of the Ca II 8542~\AA\ line, taken from the Swedish 1-m Solar Telescope (SST), in an attempt to recover dynamic activity in a micro-flaring region near a sunspot via inversions. These inversions show localized mean temperature enhancements of $\sim$1000~K in the chromosphere and upper photosphere, along with co-spatial bi-directional Doppler shifting of 5 - 10 km s$^{-1}$. This heating also extends along a nearby chromospheric fibril, co-spatial to 10 - 15 km s$^{-1}$ down-flows. Strong magnetic flux cancellation is also apparent in one of the footpoints, concentrated in the chromosphere. This event more closely resembles that of an Ellerman Bomb (EB), though placed slightly higher in the atmosphere than is typically observed.


title: LivingLab PJAIT: Towards Better Urban Participation of Seniors

abstract: In this paper we provide a brief summary of development LivingLab PJAIT as an attempt to establish a comprehensive and sustainable ICT-based solution for empowerment of elderly communities towards better urban participation of seniors. We report on our various endeavors for better involvement and participation of older adults in urban life by lowering ICT barriers, encouraging social inclusion, intergenerational interaction, physical activity and engaging older adults in the process of development of ICT solutions. We report on a model and assumptions of the LivingLab PJAIT as well as a number of activities created and implemented for LivingLab participants: from ICT courses, both traditional and e-learning, through on-line crowdsourcing tasks, to blended activities of different forms and complexity. We also provide conclusions on the lessons learned in the process and some future plans, including solutions for better senior urban participation and citizen science.


title: Mobility in excess of $10^{6}$ cm$^2$/Vs in InAs quantum wells grown on lattice mismatched InP substrates

abstract: InAs-based two-dimensional electron systems grown on lattice mismatched InP substrates offer a robust platform for the pursuit of topologically protected quantum computing. We investigated strained composite quantum wells of In$_{0.75}$Ga$_{0.25}$As/InAs/In$_{0.75}$Ga$_{0.25}$As with In$_{0.75}$Al$_{0.25}$As barriers. By optimizing the widths of the In$_{0.75}$Ga$_{0.25}$As layers, the In$_{0.75}$Al$_{0.25}$As barrier, and the InAs quantum well we demonstrate mobility in excess of $1 \times 10^{6}\,$cm$^{2}/$Vs. Mobility vs. density data indicates that scattering is dominated by a residual three dimensional distribution of charged impurities. We extract the Rashba parameter and spin-orbit length as important material parameters for investigations involving Majorana zero modes.


title: A 3D printed wheel with constant mass and variable moment of inertia for lab and demonstration

abstract: We present a versatile experimental apparatus for exploring rotational motion through the interplay between the moment of inertia, torque and rotational kinetic energy. The heart of this experiment uses a 3D printed wheel along with easily accessible stock components that allow for the adjustment of moment of inertial while keeping the total mass of the wheel constant. The wheel can act as a massive pulley of variable moment of inertia that allows students to measure the moment of inertia of the bare wheel by applying a constant torque to the system. The wheel can also be used to explore rotational kinetic energy in the form of races down ramps. The 3D printed aspect of this wheel allows anyone with access to a 3D printer to create, explore, and modify this wheel at a low cost allowing for more flexibility and accessibility for student and instructor exploration and modification.


title: Numerical Scheme for Dynkin Games under Model Uncertainty

abstract: We introduce an efficient numerical scheme for continuous time Dynkin games under model uncertainty. We use the Skorokhod embedding in order to construct recombining tree approximations. This technique allows us to determine convergence rates and to construct numerically optimal stopping strategies. We apply our method to several examples of game options.


title: On the numerical solution of a variable-coefficient Burgers equation arising in granular segregation

abstract: We study a variable-coefficient Burgers equation arising in the modelling of segregation of dry bidisperse granular mixtures. The equation is subject to nonlinear boundary conditions for the particle flux. We construct a strongly implicit Crank--Nicolson type of numerical scheme for the latter equation. The scheme is benchmarked against a standard exact solution of kink type, showing second-order of accuracy and good discrete conservation properties. Two segregation problems considered in the literature are then solved and discussed. The first is the case of a linear kinetic stress profile, which renders the governing equation of constant-coefficient type, while the second is the case of a variable kinetic stress profile based on an expression fit to particle dynamics simulation data.


title: On the convergence analysis of a hybrid numerical method for multicomponent transport in porous media

abstract: In this article, the convergence of a hybrid numerical method introduced in Daripa and Dutta (J. Comput. Phys., 335:249-282, 2017) has been established. This method integrates a discontinuous finite element method with a modified method of characteristics (MMOC) in combination with finite difference (FD) procedures, and has been successfully applied to solve a coupled system of nonlinear equations that arises in multicomponent two-phase porous media flows. The present convergence analysis is focused on the MMOC-FD procedure for a nonlinear system of transport equations. For this purpose, an analogous single-component system of transport equations has been considered and some key ideas for possible extension to multicomponent systems have been briefly discussed. Error estimates have been obtained and these estimates have also been shown to be consistent with realistic numerical simulations of flows arising in enhanced oil recovery processes.


title: Mesoporous Silica as a Carrier for Amorphous Solid Dispersion

abstract: In the past decade, the discovery of active pharmaceutical substances with high therapeutic value but poor aqueous solubility has increased, thus making it challenging to formulate these compounds as oral dosage forms. The bioavailability of these drugs can be increased by formulating these drugs as an amorphous drug delivery system. Use of porous media like mesoporous silica has been investigated as a potential means to increase the solubility of poorly soluble drugs and to stabilize the amorphous drug delivery system. These materials have nanosized capillaries and the large surface area which enable the materials to accommodate high drug loading and promote the controlled and fast release. Therefore, mesoporous silica has been used as a carrier in the solid dispersion to form an amorphous solid dispersion (ASD). Mesoporous silica is also being used as an adsorbent in a conventional solid dispersion, which has many useful aspects. This review focuses on the use of mesoporous silica in ASD as potential means to increase the dissolution rate and to provide or increase the stability of the ASD. First, an overview of mesoporous silica and the classification is discussed. Subsequently, methods of drug incorporation, the stability of dispersion and, much more are discussed.


title: Distributed Convex Optimization in Networks of Agents with Single Integrator Dynamics

abstract: In this paper, distributed convex optimization problem over non-directed dynamical networks is studied. Here, networked agents with single-integrator dynamics are supposed to rendezvous at a point that is the solution of a global convex optimization problem with some local inequality constraints. To this end, all agents shall cooperate with their neighbors to seek the optimum point of the networks global objective function. A distributed optimization algorithm based on the interior-point method is proposed, which combines an optimization algorithm with a nonlinear consensus protocol to find the optimum value of the global objective function. We tackle this problem by addressing its sub-problems, namely a consensus problem and a convex optimization problem. Firstly, we propose a saturation protocol for the consensus sub-problem. Then to solve the distributed optimization part, we implement a centralized control law, which yields the optimum value of the global objective function, in a distributed fashion with the help of a distributed estimator. Convergence analysis for the proposed protocol based on the stability theory for time-varying nonlinear systems is included. A simulation example is given at the end to illustrate the effectiveness of the proposed algorithm.


title: Large Arrays of Linearly Coupled Josephson Junctions: A Survey

abstract: In this note I survey the extensive literature on the dynamics of large series arrays of identical current biased Josephson junctions coupled through various shared loads. The equations describing the dynamics are invariant under permutation of the junctions so that in addition to the usual dynamical systems and numerical methods, group theoretic methods can be applied. In practice it is desirable to operate these circuits at a stable in-phase oscillation. The works summarized here are devoted to the study of where in parameter space the in-phase oscillations are stable and how the stability is lost. In particular, they focus on the variety of states produced through bifurcation as the in-phase oscillation loses stability. These states include discrete rotating waves and semirotors.


title: Implications of the Trivers-Willard Sex Ratio Hypothesis for Avian Species and Poultry Production, And a Summary of the Historic Context of this Research

abstract: At a theoretical level, the Trivers-Willard Sex Ratio Hypothesis applies to both avian species and mammals. This article, however, conjectures that at the statistical level, sex ratio effects are likely to produce sharper numerical variations among birds than among mammals. We explain this greater statistical variation should likely have beneficial implications for increasing the efficiency of world-wide poultry egg (and perhaps also meat) production.


title: Latency Analysis of Coded Computation Schemes over Wireless Networks

abstract: Large-scale distributed computing systems face two major bottlenecks that limit their scalability: straggler delay caused by the variability of computation times at different worker nodes and communication bottlenecks caused by shuffling data across many nodes in the network. Recently, it has been shown that codes can provide significant gains in overcoming these bottlenecks. In particular, optimal coding schemes for minimizing latency in distributed computation of linear functions and mitigating the effect of stragglers was proposed for a wired network, where the workers can simultaneously transmit messages to a master node without interference. In this paper, we focus on the problem of coded computation over a wireless master-worker setup with straggling workers, where only one worker can transmit the result of its local computation back to the master at a time. We consider 3 asymptotic regimes (determined by how the communication and computation times are scaled with the number of workers) and precisely characterize the total run-time of the distributed algorithm and optimum coding strategy in each regime. In particular, for the regime of practical interest where the computation and communication times of the distributed computing algorithm are comparable, we show that the total run-time approaches a simple lower bound that decouples computation and communication, and demonstrate that coded schemes are $\Theta(\log(n))$ times faster than uncoded schemes.


title: NMSSM Light Decoupled Higgs Singlet at CEPC

abstract: We describe the phenomenology of light singlet Higgs bosons in the Next-to-Minimal Supersymmetry Model (NMSSM) which are mostly decoupled from the rest of Supersymmetry. Noting that the Large Hadron Collider has not excluded this scenario, we describe previous searches for light Higgs bosons at the Large Electron Positron collider and evaluate the sensitivity to neutralino production and decay to light singlet Higgs bosons at the proposed $\sqrt{s}=250$~GeV Circular Electron Positron Collider.


title: Floquet approach for dynamics in short and intense laser pulses

abstract: We present a two-timescale Floquet method that allows one to apply the Kramers-Henneberger approach to short pulses and arbitrary laser frequencies. An efficient numerical procedure to propagate the Floquet Hamiltonian is provided that relies on the Toeplitz matrix formalism and Fast Fourier Transformations. It enables efficient time propagation with large Floquet expansions, while still taking advantage of the cycle-averaged Kramers-Henneberger basis. Three illustrative cases of ionization with different photon energies are analyzed, where the envelope of a short and intense pulse is crucial to the underlying dynamics.


title: Analytical Solution to the Transient Beam Loading Effects of the Superconducting Cavity

abstract: Transient beam loading effect is one of the key issues in any superconducting accelerators, which needs to be carefully investigated. The core problem in the analysis is to obtain the time evolution of cavity voltage under the transient beam loading. To simplify the problem, the second order ordinary differential equation describing the behavior of the cavity voltage is intuitively simplified to a first order one, with the aid of the two critical approximations lacking the proof for their validity. In this paper, the validity is examined mathematically in some specific cases, resulting in a criterion for the simplification. It's popular to solve the approximated equation for the cavity voltage numerically, while this paper shows that it can also be solved analytically under the step function approximation for the driven term. With the analytical solution to the cavity voltage, the transient reflected power from the cavity and the energy gain of the central particle in the bunch can also be calculated analytically. The validity of the step function approximation for the driven term is examined by direct evaluations. After that, the analytical results are compared with the numerical ones.


title: Penalizing Unfairness in Binary Classification

abstract: We present a new approach for mitigating unfairness in learned classifiers. In particular, we focus on binary classification tasks over individuals from two populations, where, as our criterion for fairness, we wish to achieve similar false positive rates in both populations, and similar false negative rates in both populations. As a proof of concept, we implement our approach and empirically evaluate its ability to achieve both fairness and accuracy, using datasets from the fields of criminal risk assessment, credit, lending, and college admissions.


title: Switching of Magnetic Moments of Nanoparticles by Surface Acoustic Waves

abstract: We report evidence of the magnetization reversal in nanoparticles by surface acoustic waves (SAWs). The experimental system consists of isolated magnetite nanoparticles dispersed on a piezoelectric substrate. Magnetic relaxation from a saturated state becomes significantly enhanced in the presence of the SAW at a constant temperature of the substrate. The dependence of the relaxation on SAW power and frequency has been investigated. The effect is explained by the effective ac magnetic field generated by the SAW in the nanoparticles.


title: Fairer and more accurate, but for whom?

abstract: Complex statistical machine learning models are increasingly being used or considered for use in high-stakes decision-making pipelines in domains such as financial services, health care, criminal justice and human services. These models are often investigated as possible improvements over more classical tools such as regression models or human judgement. While the modeling approach may be new, the practice of using some form of risk assessment to inform decisions is not. When determining whether a new model should be adopted, it is therefore essential to be able to compare the proposed model to the existing approach across a range of task-relevant accuracy and fairness metrics. Looking at overall performance metrics, however, may be misleading. Even when two models have comparable overall performance, they may nevertheless disagree in their classifications on a considerable fraction of cases. In this paper we introduce a model comparison framework for automatically identifying subgroups in which the differences between models are most pronounced. Our primary focus is on identifying subgroups where the models differ in terms of fairness-related quantities such as racial or gender disparities. We present experimental results from a recidivism prediction task and a hypothetical lending example.


title: R\'enyi relative entropies and noncommutative $L_p$-spaces II

abstract: We study an extension of the sandwiched R\'enyi relative entropies for normal positive functionals on a von Neumann algebra, for parameter values $\alpha\in [1/2,1)$. This work is intended as a continuation of [A. Jen\v{c}ov\'a, Ann. Henri Poincar\'e 19, 2513-2542, 2018], where the values $\alpha>1$ were studied. We use the Araki-Masuda divergences of [Berta et al., Ann. Henri Poincar\'e 9, 1843-1867, 2018] and treat them in the framework of Kosaki's noncommutative $L_p$-spaces. Using the variational formula, recently obtained by F. Hiai, for $\alpha\in [1/2,1)$, we prove the data processing inequality with respect to positive trace preserving maps and show that for $\alpha\in (1/2,1)$, equality characterizes sufficiency (reversibility) for any 2-positive trace preserving map.


title: Frequency Multiplexing for Quasi-Deterministic Heralded Single-Photon Sources

abstract: Single-photon sources based on optical parametric processes have been used extensively for quantum information applications due to their flexibility, room-temperature operation and potential for photonic integration. However, the intrinsically probabilistic nature of these sources is a major limitation for realizing large-scale quantum networks. Active feedforward switching of photons from multiple probabilistic sources is a promising approach that can be used to build a deterministic source. However, previous implementations of this approach that utilize spatial and/or temporal multiplexing suffer from rapidly increasing switching losses when scaled to a large number of modes. Here, we break this limitation via frequency multiplexing in which the switching losses remain fixed irrespective of the number of modes. We use the third-order nonlinear process of Bragg scattering four-wave mixing as an efficient ultra-low noise frequency switch and demonstrate multiplexing of three frequency modes. We achieve a record generation rate of $4.6\times10^4$ multiplexed photons per second with an ultra-low $g^{2}(0)$ = 0.07, indicating high single-photon purity. Our scalable, all-fiber multiplexing system has a total loss of just 1.3 dB independent of the number of multiplexed modes, such that the 4.8 dB enhancement from multiplexing three frequency modes markedly overcomes switching loss. Our approach offers a highly promising path to creating a deterministic photon source that can be integrated on a chip-based platform.


title: Two divisors of $(n^2+1)/2$ summing up to $\delta n + \delta \pm 2$, $\delta$ even

abstract: We prove there exist infinitely many odd integers $n$ for which there exists a pair of positive divisors $d_1, d_2>1$ of $(n^2+1)/2$ such that $$d_1+d_2=\delta n+(\delta+2).$$ We prove the similar result for $\varepsilon=\delta-2$ and $\delta\equiv4, 6\pmod{8}$ using different approaches and methods.


title: Controlling Non-reciprocity using enhanced Brillouin Scattering

abstract: The properties of space-time modulated media operating in the sub-sonic regime are discussed based on rigorous Bloch-Floquet theory. A geometrical description in the frequency-wavenumber plane is developed to provide insight into the possible interactions and their nature. It is shown that the secular equation has a singularity, which results in a weak/passive second harmonic generation process. Additionally bandgaps arising from the strong/active parametric interaction between an incident wave and its space-time harmonic, result in an inelastic Brillouin like scattering process. Hence when the incident frequency is inside a forward (backward) bandgap, a Stokes' (Anti-Stokes') scattered wave bounces back to the source. Although the forward and backward bandgaps do not generally occur at the same frequency bands, the insertion loss and gap width are equal. Requiring that both gaps do not overlap, enforces a lower bound on the modulation speed. It is shown that although an increase in the modulation index is desirable, as it enhances the non-reciprocal behaviour, it also limits the range of possible modulation speeds. The effective complex refractive index is calculated over a wide frequency range. It is shown that peaks appear in the extinction coefficient, indicating scattering to Stokes' and Anti-Stokes' waves. Finally, a comprehensive numerical analysis based on the Finite Difference Time Domain method is developed to verify and demonstrate the intriguing properties of space-time modulated media.


title: Failing to Learn: Autonomously Identifying Perception Failures for Self-driving Cars

abstract: One of the major open challenges in self-driving cars is the ability to detect cars and pedestrians to safely navigate in the world. Deep learning-based object detector approaches have enabled great advances in using camera imagery to detect and classify objects. But for a safety critical application, such as autonomous driving, the error rates of the current state of the art are still too high to enable safe operation. Moreover, the characterization of object detector performance is primarily limited to testing on prerecorded datasets. Errors that occur on novel data go undetected without additional human labels. In this letter, we propose an automated method to identify mistakes made by object detectors without ground truth labels. We show that inconsistencies in the object detector output between a pair of similar images can be used as hypotheses for false negatives (e.g., missed detections) and using a novel set of features for each hypothesis, an off-the-shelf binary classifier can be used to find valid errors. In particular, we study two distinct cues - temporal and stereo inconsistencies - using data that are readily available on most autonomous vehicles. Our method can be used with any camera-based object detector and we illustrate the technique on several sets of real world data. We show that a state-of-the-art detector, tracker, and our classifier trained only on synthetic data can identify valid errors on KITTI tracking dataset with an average precision of 0.94. We also release a new tracking dataset with 104 sequences totaling 80,655 labeled pairs of stereo images along with ground truth disparity from a game engine to facilitate further research. The dataset and code are available at https://fcav.engin.umich.edu/research/failing-to-learn


title: Bounds on Codes Correcting Tandem and Palindromic Duplications

abstract: In this work, we derive upper bounds on the cardinality of tandem duplication and palindromic deletion correcting codes by deriving the generalized sphere packing bound for these error types. We first prove that an upper bound for tandem deletions is also an upper bound for inserting the respective type of duplications. Therefore, we derive the bounds based on these special deletions as this results in tighter bounds. We determine the spheres for tandem and palindromic duplications/deletions and the number of words with a specific sphere size. Our upper bounds on the cardinality directly imply lower bounds on the redundancy which we compare with the redundancy of the best known construction correcting arbitrary burst errors. Our results indicate that the correction of palindromic duplications requires more redundancy than the correction of tandem duplications. Further, there is a significant gap between the minimum redundancy of duplication correcting codes and burst insertion correcting codes.


title: What is a hierarchically hyperbolic space?

abstract: The first part of this survey is a heuristic, non-technical discussion of what an HHS is, and the aim is to provide a good mental picture both to those actively doing research on HHSs and to those who only seek a basic understanding out of pure curiosity. It can be read independently of the second part, which is a detailed technical discussion of the axioms and the main tools to deal with HHSs.


title: Search for Thermal X-ray Features from the Crab nebula with Hitomi Soft X-ray Spectrometer

abstract: The Crab nebula originated from a core-collapse supernova (SN) explosion observed in 1054 A.D. When viewed as a supernova remnant (SNR), it has an anomalously low observed ejecta mass and kinetic energy for an Fe-core collapse SN. Intensive searches were made for a massive shell that solves this discrepancy, but none has been detected. An alternative idea is that the SN1054 is an electron-capture (EC) explosion with a lower explosion energy by an order of magnitude than Fe-core collapse SNe. In the X-rays, imaging searches were performed for the plasma emission from the shell in the Crab outskirts to set a stringent upper limit to the X-ray emitting mass. However, the extreme brightness of the source hampers access to its vicinity. We thus employed spectroscopic technique using the X-ray micro-calorimeter onboard the Hitomi satellite. By exploiting its superb energy resolution, we set an upper limit for emission or absorption features from yet undetected thermal plasma in the 2-12 keV range. We also re-evaluated the existing Chandra and XMM-Newton data. By assembling these results, a new upper limit was obtained for the X-ray plasma mass of <~ 1Mo for a wide range of assumed shell radius, size, and plasma temperature both in and out of the collisional equilibrium. To compare with the observation, we further performed hydrodynamic simulations of the Crab SNR for two SN models (Fe-core versus EC) under two SN environments (uniform ISM versus progenitor wind). We found that the observed mass limit can be compatible with both SN models if the SN environment has a low density of <~ 0.03 cm-3 (Fe core) or <~ 0.1 cm-3 (EC) for the uniform density, or a progenitor wind density somewhat less than that provided by a mass loss rate of 10-5 Mo yr-1 at 20 km s-1 for the wind environment.


title: Drazin inverses of the sum of four matrices and its applications

abstract: Our aim is to establish relations between Drazin inverses of the pesudo-block matrix $(P,Q,R,S)$ and the block matrix composed of $P,R,S,Q$, where $R^2=S^2=0$. Based on the relations, we give representations for Drazin inverses of the sum $P+Q+R+S$ under weaker restrictions. As its applications, several expressions for Drazin inverses of a $2\times 2$ block matrix are presented under some assumptions. Our results generalize several results in the literature.


title: Resonance Production of Excited u-quark at the FCC Based $\gamma$ $p$ Colliders

abstract: Several Beyond the Standard Model theories are proposed that fermions might have composite substructure. The existence of excited quarks is going to be the noticeable proof for the compositeness of Standard Model fermions. For this reason, excited quarks have been investigated by phenomenological and experimental high energy physicists at various collider options for the last few decades. The Future Circular Collider (FCC) has been recently planned as particle accelerator to be established at CERN. Beside the $\sqrt{s}$ = 100 TeV proton-proton collisions, the FCC includes electron-positron and electron-proton collision options. Construction of linear $e^- e^+$ colliders (or dedicated e-linac) tangential to the FCC will afford an opportunity to handle multi-TeV $ep$ and $\gamma p$ collisions. In this respect, we executed a simulation of the resonance production of the excited $u$ quark at the FCC based $\gamma p$ colliders with choosing both the polarized and unpolarized photon beams. The findings revealed that the chirality structure of the $q^*$-$q$-$\gamma$ vertex can be determined by the photon beam polarization. The attainable mass limits of the excited $u$ quark reached the highest values when the polarized photon beam was chosen. In addition, the ultimate compositeness scale values can be handled by appropriate choice of the photon beam polarization.


title: Time and space adaptivity of the wave equation discretized in time by a second order scheme

abstract: The aim of this paper is to obtain a posteriori error bounds of optimal order in time and space for the linear second-order wave equation discretized by the Newmark scheme in time and the finite element method in space. Error estimates are derived in the $L^{\infty}$-in-time/energy-in-space norm. Numerical experiments are reported for several test cases and confirm equivalence of the proposed estimators and the true error.


title: Multiple VLAD encoding of CNNs for image classification

abstract: Despite the effectiveness of convolutional neural networks (CNNs) especially in image classification tasks, the effect of convolution features on learned representations is still limited. It mostly focuses on the salient object of the images, but ignores the variation information on clutter and local. In this paper, we propose a special framework, which is the multiple VLAD encoding method with the CNNs features for image classification. Furthermore, in order to improve the performance of the VLAD coding method, we explore the multiplicity of VLAD encoding with the extension of three kinds of encoding algorithms, which are the VLAD-SA method, the VLAD-LSA and the VLAD-LLC method. Finally, we equip the spatial pyramid patch (SPM) on VLAD encoding to add the spatial information of CNNs feature. In particular, the power of SPM leads our framework to yield better performance compared to the existing method.


title: Simulating sympathetic cooling of atomic mixtures in nonlinear traps

abstract: We discuss the dynamics of sympathetic cooling of atomic mixtures in realistic, nonlinear trapping potentials using a microscopic effective model developed earlier for harmonic traps. We contrast the effectiveness of different atomic traps, such as Ioffe-Pritchard magnetic traps and optical dipole traps, and the role their intrinsic nonlinearity plays in speeding up or slowing down thermalization between the two atomic species. This discussion includes cases of configurations with lower effective dimensionality. From a more theoretical standpoint, our results provide the first exploration of a generalized Caldeira-Leggett model with nonlinearities both in the trapping potential as well as in the interspecies interactions, and no limitations on their coupling strength.


title: Probing the hot and dense nuclear matter with $K^*,\bar{K}^*$ vector mesons

abstract: We investigate probing the hot and dense nuclear matter with strange vector mesons ($K^*, \bar{K}^*$). Our analysis is based on PHSD which incorporates partonic and hadronic dof and describes the full dynamics of HICs. This allows to study the $K^*$ and $\bar{K}^*$ meson formation from the QGP and the in-medium effects related to the modification of their properties during the propagation in dense and hot matter. We employ relativistic Breit-Wigner spectral functions for the $K^*,\bar{K}^*$ mesons with self-energies obtained from a G-matrix approach to study the role of in-medium effects on the $K^*$ and $\bar{K}^*$ meson dynamics in HIC from FAIR/NICA to LHC energies. According to our analysis most of the final $K^*/\bar{K}^*$s, that can be observed experimentally, are produced during the late hadronic phase and stem dominantly from the $K (\bar{K}) + \pi \to K^*(\bar{K}^*)$ formation channel. The amount of $K^*/\bar{K}^*$s originating from the QGP channel is comparatively small even at LHC energies and such $K^*/\bar{K}^*$s can hardly be reconstructed experimentally due to the rescattering of final pions and (anti-)kaons. This mirrors the results from our previous study on the strange vector-meson production in HICs at RHIC energies. The influence of the in-medium effects on the dynamics of the $K^*/\bar{K}^*$ is rather small since they are mostly produced at low baryon densities. Additional cuts on the shape of the observed signal and the range of the invariant mass region of the $K^*/\bar{K}^*$ also affect the final spectra. We demonstrate that the $K^*/\bar{K}^*$ in-medium effects are more visible at lower beam energy, e.g. FAIR/NICA and BES RHIC energies, where the production of $K^*/\bar{K}^*$s occurs at larger baryon densities. Finally, we present the experimental procedures to extract information on the in-medium masses and widths by fitting final mass spectra at LHC energies.


title: Racial Disparity in Natural Language Processing: A Case Study of Social Media African-American English

abstract: We highlight an important frontier in algorithmic fairness: disparity in the quality of natural language processing algorithms when applied to language from authors of different social groups. For example, current systems sometimes analyze the language of females and minorities more poorly than they do of whites and males. We conduct an empirical analysis of racial disparity in language identification for tweets written in African-American English, and discuss implications of disparity in NLP.


title: The SpeX Prism Library Analysis Toolkit (SPLAT): A Data Curation Model

abstract: I describe our team's development of the SpeX Prism Library Analysis Toolkit (SPLAT), a combined spectral data repository for over 2500 low-resolution spectra of very low mass dwarfs (late M, L and T dwarfs), and Python-based analysis toolkit. SPLAT was constructed through a collaborative, student-centered, research-based model with high school, undergraduate and graduate students and regional K-12 science teachers. The toolkit enables spectral index analysis, classification, spectrophotometry, atmosphere model comparison, population synthesis, and other analyses. I summarize the current components of this code, sample applications, and future development plans.


title: A QCD Sum-Rules Analysis of Vector ($1^{--}$) Heavy Quarkonium Meson-Hybrid Mixing

abstract: We use QCD Laplace sum-rules to study meson-hybrid mixing in vector ($1^{--}$) heavy quarkonium. We compute the QCD cross-correlator between a heavy meson current and a heavy hybrid current within the operator product expansion. In addition to leading-order perturbation theory, we include four- and six-dimensional gluon condensate contributions as well as a six-dimensional quark condensate contribution. We construct several single and multi-resonance models that take known hadron masses as inputs. We investigate which resonances couple to both currents and so exhibit meson-hybrid mixing. Compared to single resonance models that include only the ground state, we find that models that also include excited states lead to significantly improved agreement between QCD and experiment. In the charmonium sector, we find that meson-hybrid mixing is consistent with a two-resonance model consisting of the $J/\psi$ and a 4.3~GeV resonance. In the bottomonium sector, we find evidence for meson-hybrid mixing in the $\Upsilon(1S)$, $\Upsilon(2S)$, $\Upsilon(3S)$, and $\Upsilon(4S)$.


title: Role of anisotropy in determining stability of electrodeposition at solid-solid interfaces

abstract: We investigate the stability of electrodeposition at solid-solid interfaces for materials exhibiting an anisotropic mechanical response. The stability of electrodeposition or resistance to the formation of dendrites is studied within a linear stability analysis. The deformation and stress equations are solved using the Stroh formalism and faithfully recover the boundary conditions at the interface. The stability parameter is used to quantify the stability of different solid-solid interfaces incorporating the full anisotropy of the elastic tensor of the two materials. Results show a high degree of variability in the stability parameter depending on the crystallographic orientation of the solids in contact, and point to opportunities for exploiting this effect in developing Li metal anodes.


title: Quantum Reduced Loop Gravity with matter: eigenvectors of the Hamiltonian operator in isotropic cosmology

abstract: Introducing a new method, we demonstrate how the action of reduced operators can be derived without resorting to a recoupling theory and how they exactly reproduce the results obtained in the standard approach of Quantum Reduced Loop Gravity (QRLG). This is particularly relevant while dealing with volume operator when dealing with the coupling of matter fields to gravity. Apart from reinforcing the close link between QRLG and loop quantum cosmology (LQC), this procedure also sheds new light on the issue of how to extract the continuum limit, without resorting to the large-$j$ expansion, thereby pointing towards a new approach to tackle this problem.


title: What is the Hidden Depolarization Mechanism in Low Luminosity AGN?

abstract: Millimeter wavelength polarimetry of accreting black hole systems can provide a tomographic probe of the accretion flow on a wide range of linear scales. We searched for linear polarization in two low luminosity active galactic nuclei (LLAGN), M81 and M84, using the Combined Array for Millimeter Astronomy (CARMA) and the Submillimeter Array (SMA). We find upper limits of $\sim 1 - 2\%$ averaging over the full bandwidth and with a rotation measure (RM) synthesis technique. These low polarization fractions, along with similar low values for LLAGN M87 and 3C84, suggest that LLAGN have qualitatively different polarization properties than radio-loud sources and Sgr A*. If the sources are intrinsically polarized and then depolarized by Faraday rotation then we place lower limits on the RM of a few times $10^7\, {\rm rad\, m^{-2}}$ for the full bandwidth case and $\sim 10^9\, {\rm rad\, m^{-2}}$ for the RM synthesis analysis. These limits are inconsistent with or marginally consistent with expected accretion flow properties. Alternatively, the sources may be depolarized by cold electrons within a few Schwarzschild radii from the black hole, as suggested by numerical models.


title: Adversarial Image Alignment and Interpolation

abstract: Volumetric (3d) images are acquired for many scientific and biomedical purposes using imaging methods such as serial section microscopy, CT scans, and MRI. A frequent step in the analysis and reconstruction of such data is the alignment and registration of images that were acquired in succession along a spatial or temporal dimension. For example, in serial section electron microscopy, individual 2d sections are imaged via electron microscopy and then must be aligned to one another in order to produce a coherent 3d volume. State of the art approaches find image correspondences derived from patch matching and invariant feature detectors, and then solve optimization problems that rigidly or elastically deform series of images into an aligned volume. Here we show how fully convolutional neural networks trained with an adversarial loss function can be used for two tasks: (1) synthesis of missing or damaged image data from adjacent sections, and (2) fine-scale alignment of block-face electron microscopy data. Finally, we show how these two capabilities can be combined in order to produce artificial isotropic volumes from anisotropic image volumes using a super-resolution adversarial alignment and interpolation approach.


title: Intrinsic translational symmetry breaking in a doped Mott insulator

abstract: A central issue of Mott physics, with symmetries being fully retained in the spin background, concerns the charge excitation. In a two-leg spin ladder with spin gap, an injected hole can exhibit either a Bloch wave or a density wave by tuning the ladder anisotropy through a `quantum critical point' (QCP). The nature of such a QCP has been a subject of recent studies by density matrix renormalization group (DMRG). In this paper, we reexamine the ground state of the one doped hole, and show that a two-component structure is present in the density wave regime in contrast to the single component in the Bloch wave regime. In the former, the density wave itself is still contributed by a standing-wave-like component characterized by a quasiparticle spectral weight $Z$ in a finite-size system. But there is an additional charge incoherent component emerging, which intrinsically breaks the translational symmetry associated with the density wave. The partial momentum is carried away by neutral spin excitations. Such an incoherent part does not manifest in the single-particle spectral function, directly probed by the angle-resolved photoemission spectroscopy (ARPES) measurement, however it is demonstrated in the momentum distribution function. The Landau's one-to-one correspondence hypothesis for a Fermi liquid breaks down here. The microscopic origin of this density wave state as an intrinsic manifestation of the doped Mott physics will be also discussed.


title: Reply to "Comment on `Discovery of slow magnetic fluctuations and critical slowing down in the pseudogap phase of YBa$_2$Cu$_3$O$_y$' "

abstract: We reply to the objections raised in a recent Comment (arXiv:1706.03023) regarding our observation of slow magnetic fluctuations and critical slowing down of magnetic fluctuations in the pseudogap phase of YBa$_2$Cu$_3$O$_y$ by zero-field and longitudinal-field muon spin relaxation (arXiv:1703.06799).


title: Better than Real: Complex-valued Neural Nets for MRI Fingerprinting

abstract: The task of MRI fingerprinting is to identify tissue parameters from complex-valued MRI signals. The prevalent approach is dictionary based, where a test MRI signal is compared to stored MRI signals with known tissue parameters and the most similar signals and tissue parameters retrieved. Such an approach does not scale with the number of parameters and is rather slow when the tissue parameter space is large. Our first novel contribution is to use deep learning as an efficient nonlinear inverse mapping approach. We generate synthetic (tissue, MRI) data from an MRI simulator, and use them to train a deep net to map the MRI signal to the tissue parameters directly. Our second novel contribution is to develop a complex-valued neural network with new cardioid activation functions. Our results demonstrate that complex-valued neural nets could be much more accurate than real-valued neural nets at complex-valued MRI fingerprinting.


title: Surface group representations in ${\rm SL}_2({\mathbb C})$ with finite mapping class orbits

abstract: Given an oriented surface of positive genus with finitely many punctures, we classify the finite orbits of the mapping class group action on the moduli space of semisimple complex special linear two dimensional representations of the fundamental group of the surface. For surfaces of genus at least two, such orbits correspond to homomorphisms with finite image. For genus one, they correspond to the finite or special dihedral representations. We also obtain an analogous result for bounded orbits in the moduli space.


title: All-angle Negative Reflection with An Ultrathin Acoustic Gradient Metasurface: Floquet-Bloch Modes Perspective and Experimental Verification

abstract: Metasurface with gradient phase response offers new alternative for steering the propagation of waves. Conventional Snell's law has been revised by taking the contribution of local phase gradient into account. However, the requirement of momentum matching along the metasurface sets its nontrivial beam manipulation functionality within a limited-angle incidence. In this work, we theoretically and experimentally demonstrate that the acoustic gradient metasurface supports the negative reflection for all-angle incidence. The mode expansion theory is developed to help understand how the gradient metasurface tailors the incident beams, and the all-angle negative reflection occurs when the first negative order Floquet-Bloch mode dominates inside the metasurface slab. The coiling-up space structures are utilized to build desired acoustic gradient metasurface, and the all-angle negative reflections have been perfectly verified by experimental measurements. Our work offers the Floquet-Bloch modes perspective for qualitatively understanding the reflection behaviors of the acoustic gradient metasurface, and the all-angle negative reflection characteristic possessed by acoustic gradient metasurface could enable a new degree of the acoustic wave manipulating and be applied in the functional diffractive acoustic elements, such as the all-angle acoustic back reflector.


title: The eruption of a small-scale emerging flux rope as the driver of an M-class flare and a coronal mass ejection

abstract: Solar flares and coronal mass ejections (CMEs) are the most powerful explosions in the Sun. They are major sources of potentially destructive space weather conditions. However, the possible causes of their initiation remain controversial. By using high resolution data observed by NST of BBSO, supplemented by Solar Dynamics Observatory (SDO) observations, we present unusual observations of a small-scale emerging flux rope near a large sunspot, whose eruption produced an M-class flare and a coronal mass ejection. The presence of the small-scale flux rope was indicated by static nonlinear force free field (NLFFF) extrapolation as well as data-driven MHD modeling of the dynamic evolution of the coronal 3D magnetic field. During the emergence of the flux rope, rotation of satellite sunspots at the footpoints of the flux rope was observed. Meanwhile, the Lorentz force, magnetic energy, vertical current, and transverse fields were increasing during this phase. The free energy from the magnetic flux emergence and twisting magnetic fields is sufficient to power the M-class flare. These observations for the first time present the complete process from the emergence of the small-scale flux rope to the production of solar eruptions.


title: Achieving Efficient and Provably Secure Steganography in Practice

abstract: Steganography is the task of concealing a message within a medium such that the presence of the hidden message cannot be detected. Though the prospect of steganography is conceivably interesting in many contexts, and though work has been done both towards formalizing steganographic security and providing provably secure constructions, little work exists attempting to provide efficient and provably secure steganographic schemes in specific, useful domains. Beginning from the starting point of the initial definition of steganographic security, I have engaged in an exploration which has developed to include two primary tasks, both pointing towards the realization of efficient and secure steganographic systems in practice: (a) investigating the syntactic and semantic applicability of the current formalism of steganographic security to a broader range of potentially interesting domains and (b) constructing and implementing provably secure (symmetric-key) steganographic schemes in domains which are well-suited to the current formalism.


title: Data Decisions and Theoretical Implications when Adversarially Learning Fair Representations

abstract: How can we learn a classifier that is "fair" for a protected or sensitive group, when we do not know if the input to the classifier belongs to the protected group? How can we train such a classifier when data on the protected group is difficult to attain? In many settings, finding out the sensitive input attribute can be prohibitively expensive even during model training, and sometimes impossible during model serving. For example, in recommender systems, if we want to predict if a user will click on a given recommendation, we often do not know many attributes of the user, e.g., race or age, and many attributes of the content are hard to determine, e.g., the language or topic. Thus, it is not feasible to use a different classifier calibrated based on knowledge of the sensitive attribute. Here, we use an adversarial training procedure to remove information about the sensitive attribute from the latent representation learned by a neural network. In particular, we study how the choice of data for the adversarial training effects the resulting fairness properties. We find two interesting results: a small amount of data is needed to train these adversarial models, and the data distribution empirically drives the adversary's notion of fairness.


title: A Steganographic Design Paradigm for General Steganographic Objectives

abstract: Steganography is the task of concealing a message within a medium such that the presence of the hidden message cannot be detected. Beyond the standard scope of private-key steganography, steganography is also potentially interesting from other perspectives; for example, the prospect of steganographic parallels to components in public-key cryptography is particularly interesting. In this project, I begin with an exploration of public-key steganography, and I continue by condensing existing work into a unifying design paradigm that (a) admits provably secret public- and private-key constructions and (b) provides for a conceptual decoupling of channel considerations and steganographic goals, ultimately implying both universal constructions and constructions with channel-specific optimizations. This work is by-and-large a survey of applications of this paradigm: specifically, I use the framework to achieve provably secure distributed steganography, obtain new public-key steganographic constructions using alternative assumptions, and give discussion of channel-specific optimizations allowed by cryptography as a channel and natural language channels and challenges facing practical deployment of steganographic systems at scale.


title: Majorana Zero-Energy Mode and Fractal Structure in Fibonacci-Kitaev Chain

abstract: We theoretically study a Kitaev chain with a quasiperiodic potential, where the quasiperiodicity is introduced by a Fibonacci sequence. Based on an analysis of the Majorana zero-energy mode, we find the critical $p$-wave superconducting pairing potential separating a topological phase and a non-topological phase. The topological phase diagram with respect to Fibonacci potentials follow a self-similar fractal structure characterized by the box-counting dimension, which is an example of the interplay of fractal and topology like the Hofstadter's butterfly in quantum Hall insulators.


title: On the Cryptanalysis via Approximation of Cryptographic Primitives Relying on the Planted Clique Conjecture

abstract: While the reliable use of some NP-complete problem in tandem with the assumption that P is not equal to NP has eluded cryptographers due to lack of results showing average-case hardness, one alternative which has been explored is reliance on assumptions that solving certain NP-hard optimization problems within some degree of accuracy is computationally difficult in specific instance classes. In this work, we explore one such example of this effort which attempts to provide cryptographic primitives by relying on the planted clique conjecture. More specifically, we (1) present this construction in summary, (2) propose a simple cryptanalytic method using only approximation algorithms, and (3) consider the feasibility of such cryptanalysis in the context of existing approximation algorithms for the maximum clique problem. We ultimately find that recent advances in the area of combinatoric approximation algorithms fatally hinders the prospect of any serious application of existing candidate constructions based upon the planted clique conjecture.


title: Synthetic Data for Neural Machine Translation of Spoken-Dialects

abstract: In this paper, we introduce a novel approach to generate synthetic data for training Neural Machine Translation systems. The proposed approach transforms a given parallel corpus between a written language and a target language to a parallel corpus between a spoken dialect variant and the target language. Our approach is language independent and can be used to generate data for any variant of the source language such as slang or spoken dialect or even for a different language that is closely related to the source language. The proposed approach is based on local embedding projection of distributed representations which utilizes monolingual embeddings to transform parallel data across language variants. We report experimental results on Levantine to English translation using Neural Machine Translation. We show that the generated data can improve a very large scale system by more than 2.8 Bleu points using synthetic spoken data which shows that it can be used to provide a reliable translation system for a spoken dialect that does not have sufficient parallel data.