title: Energetic cost of quantum control protocols

abstract: We quantitatively assess the energetic cost of several well-known control protocols that achieve a finite time adiabatic dynamics, namely counterdiabatic and local counterdiabatic driving, optimal control, and inverse engineering. By employing a cost measure based on the norm of the total driving Hamiltonian, we show that a hierarchy of costs emerges that is dependent on the protocol duration. As case studies we explore the Landau-Zener model, the quantum harmonic oscillator, and the Jaynes-Cummings model and establish that qualitatively similar results hold in all cases. For the analytically tractable Landau-Zener case, we further relate the effectiveness of a control protocol with the spectral features of the new driving Hamiltonians and show that in the case of counterdiabatic driving, it is possible to further minimize the cost by optimizing the ramp.


title: Positive geometry in the diagonal limit of the conformal bootstrap

abstract: We consider the diagonal limit of the conformal bootstrap in arbitrary dimensions and investigate the question if physical theories are given in terms of cyclic polytopes. Recently, it has been pointed out that in $d=1$, the geometric understanding of the bootstrap equations for unitary theories leads to cyclic polytopes for which the faces can all be written down and, in principle, the intersection between the unitarity polytope and the crossing plane can be systematically explored. We find that in higher dimensions, the natural structure that emerges, due to the inclusion of spin, is the weighted Minkowski sum of cyclic polytopes. While it can be explicitly shown that for physical theories, the weighted Minkowski sum of cyclic polytopes is not a cyclic polytope, it also turns out that in the large conformal dimension limit it is indeed a cyclic polytope. We write down several analytic formulae in this limit and show that remarkably, in many cases, this works out to be very good approximation even for $O(1)$ conformal dimensions. Furthermore, we initiate a comparison between usual numerics obtained using linear programming and what arises from positive geometry considerations.


title: Generalized Near Horizon Extreme Binary Black Hole Geometry

abstract: We present a new vacuum solution of Einstein's equations describing the near horizon region of two neutral, extreme (zero-temperature), co-rotating, non-identical Kerr black holes. The metric is stationary, asymptotically near horizon extremal Kerr (NHEK), and contains a localized massless strut along the symmetry axis between the black holes. In the deep infrared, it flows to two separate throats which we call "pierced-NHEK" geometries: each throat is NHEK pierced by a conical singularity. We find that in spite of the presence of the strut for the pierced-NHEK geometries the isometry group SL(2,R)xU(1) is restored. We find the physical parameters and entropy.


title: Searching for Fossil Fields in the Gravity Sector

abstract: Evidence for the presence of extra fields during inflation may be found in the anisotropies of the scalar and tensor spectra across a vast range of scales. Indeed, beyond the single-field slow-roll paradigm, a long tensor mode can modulate the power spectrum inducing a sizable quadrupolar anisotropy. We investigate how this dynamics plays out for the tensor two-point correlator. The resulting quadrupole stores information on squeezed tensor non-Gaussianities, specifically those sourced by the extra field content and responsible for the breaking of so-called consistency relations. We underscore the potential of anisotropies as a probe of new physics: testable at CMB scales through the detection of B-modes, they are accessible at smaller scales via interferometers and pulsar timing arrays.


title: The Complex of Affinely Commutative Sets

abstract: We show that for some classes of groups $G$, the homotopy fiber $E_{\mathrm{com}} G$ of the inclusion of the classifying space for commutativity $E_{\mathrm{com}} G$ into the classifying space $BG$, is contractible if and only if $G$ is abelian. We show this both for compact connected Lie groups and for discrete groups. To prove those results, we define an interesting map $\mathfrak{c} \colon E_{\mathrm{com}} G \to B[G,G]$ and show it is not nullhomotopic for the non-abelian groups in those classes. Additionally, we show that $\mathfrak{c}$ is 3-connected for $G=O(n)$ when $n \ge 3$.


title: KSP-OT-201611a: A Distant Population II Dwarf Nova Candidate Discovered by the KMTNet Supernova Program

abstract: We present a multi-color, high-cadence photometric study of a distant dwarf nova KSP-OT-201611a discovered by the Korea Microlensing Telescope Network Supernova Program. From October 2016 to May 2017, two outbursts, which comprises a super/long outburst followed by a normal/short outburst separated by $\sim$91 days, were detected in the $BVI$ bands. The shapes and amplitudes of the outbursts reveal the nature of KSP-OT-201611a to be an SU UMa- or U Gem-type dwarf nova. Color variations of periodic humps in the super/long outburst possibly indicate that KSP-OT-201611a is an SU UMa-type dwarf nova. The super and normal outbursts show distinctively different color evolutions during the outbursts due most likely to the difference of time when the cooling wave is formed in the accretion disk. The outburst peak magnitudes and the orbital period of the dwarf nova indicate that it is at a large Galactocentric distance ($\sim$13.8 kpc) and height ($\sim$1.7 kpc) from the Galactic plane. KSP-OT-201611a, therefore, may provide a rare opportunity to study the accretion disk process of Population II dwarf novae.


title: NeoNav: Improving the Generalization of Visual Navigation via Generating Next Expected Observations

abstract: We propose improving the cross-target and cross-scene generalization of visual navigation through learning an agent that is guided by conceiving the next observations it expects to see. This is achieved by learning a variational Bayesian model, called NeoNav, which generates the next expected observations (NEO) conditioned on the current observations of the agent and the target view. Our generative model is learned through optimizing a variational objective encompassing two key designs. First, the latent distribution is conditioned on current observations and the target view, leading to a model-based, target-driven navigation. Second, the latent space is modeled with a Mixture of Gaussians conditioned on the current observation and the next best action. Our use of mixture-of-posteriors prior effectively alleviates the issue of over-regularized latent space, thus significantly boosting the model generalization for new targets and in novel scenes. Moreover, the NEO generation models the forward dynamics of agent-environment interaction, which improves the quality of approximate inference and hence benefits data efficiency. We have conducted extensive evaluations on both real-world and synthetic benchmarks, and show that our model consistently outperforms the state-of-the-art models in terms of success rate, data efficiency, and generalization.


title: Heterogeneous Robot Teams for Informative Sampling

abstract: In this paper we present a cooperative multi-robot strategy to adaptively explore and sample environments that are unfavorable for humans. We propose a methodology for a team of heterogeneous robots to collaborate on information based planning for applications like sampling thermal imagery in a wildfire affected site to assist with detecting spot fires and areas of residual fires, fire mapping and monitoring fire progression or applications in marine domain for coral reef monitoring and survey. We use Gabor filter based texture classifier on aerial images from an Unmanned Aerial Vehicle (UAV) to segment the region of interest into classes. A policy gradient based path planner is used on the texture classified aerial image to plan a path for the Unmanned Ground Vehicle (UGV). The UGV then uses a local planner to reach the goals set by the global planner by avoiding obstacles. The UGV also learns the labels for the segmented classes as drivable and non-drivable using the feedback from the performance while reaching the planned waypoints. We evaluated the building blocks of our approach and present the results with application of these strategies to different domains.


title: POEMMA's Target of Opportunity Sensitivity to Cosmic Neutrino Transient Sources

abstract: We investigate the capability of the Probe Of Extreme Multi-Messenger Astrophysics (POEMMA) in performing Target-of-Opportunity (ToO) neutrino observations. POEMMA will detect tau neutrinos via Cherenkov radiation from their upward-moving extensive air showers. POEMMA will be able to quickly slew ($90^{\circ}$ in 500 s) to the direction of an astrophysical source, which in combination with its orbital speed will provide it with unparalleled capability to follow up transient alerts. We calculate POEMMA's transient sensitivity for two observational modes for its two satellites (ToO-stereo and ToO-dual) and investigate variations in neutrino sensitivity across the sky arising from POEMMA's orbit. We explore separate scenarios for long ($\sim 10^{6}$ s) and short ($\sim 10^3$ s) bursts, accounting for intrusion from the Sun and the Moon in long-duration scenarios. For long bursts, POEMMA will improve the average neutrino sensitivity above 300 PeV by up to a factor of 7 with respect to existing experiments (e.g., IceCube, ANTARES, and Pierre Auger), reaching the level of model predictions for neutrino fluences at these energies from several types of long-duration astrophysical transients (e.g., binary neutron star mergers and tidal disruption events). For short bursts in the optimal case, POEMMA will improve the sensitivity over existing experiments by at least an order of magnitude above 100 PeV. POEMMA's orbit and rapid slewing will provide access to the full celestial sky, including regions not accessible to ground-based experiments. Finally, we discuss the prospects for detecting neutrinos from candidate astrophysical neutrino sources in the nearby universe. Our results demonstrate that with its improved neutrino sensitivity at ultra-high energies and unique full-sky coverage, POEMMA will be an essential component in an expanding multi-messenger network.


title: Early Solar System $r$-process Abundances Limit Collapsar Origin

abstract: Heavy elements produced exclusively through rapid neutron capture (the '$r$-process') originate from violent cosmic explosions. While neutron star mergers are the primary candidates, another plausible production site are 'collapsars'---collapsing massive stars that form a black hole with an accretion disk. Here we show that collapsars are too rare to be the prime origin of $r$-process elements in the Solar System. By comparing numerical simulations with the early Solar System abundances of actinides produced exclusively through the $r$-process, we exclude higher than 20% contribution from collapsars with 90% confidence. We additionally limit $r$-process ejecta masses from collapsars to less than 10% of the ejecta mass from neutron star mergers, about $10^{-2}$M$_\odot$.


title: Brain Maturation Study during Adolescence Using Graph Laplacian Learning Based Fourier Transform

abstract: Objective: Longitudinal neuroimaging studies have demonstrated that adolescence is the crucial developmental epoch of continued brain growth and change. A large number of researchers dedicate to uncovering the mechanisms about brain maturity during adolescence. Motivated by both achievement in graph signal processing and recent evidence that some brain areas act as hubs connecting functionally specialized systems, we proposed an approach to detect these regions from spectral analysis perspective. In particular, as human brain undergoes substantial development throughout adolescence, we addressed the challenge by evaluating the functional network difference among age groups from functional magnetic resonance imaging (fMRI) observations. Methods: We treated these observations as graph signals defined on the parcellated functional brain regions and applied graph Laplacian learning based Fourier Transform (GLFT) to transform the original graph signals into frequency domain. Eigen-analysis was conducted afterwards to study the behavior of the corresponding brain regions, which enables the characterization of brain maturation. Result: We first evaluated our method on the synthetic data and further applied the method to resting and task state fMRI imaging data from Philadelphia Neurodevelopmental Cohort (PNC) dataset, comprised of normally developing adolescents from 8 to 22. The model provided a highest accuracy of 95.69% in distinguishing different adolescence stages. Conclusion: We detected 13 hubs from resting state fMRI and 16 hubs from task state fMRI that are highly related to brain maturation process. Significance: The proposed GLFT method is powerful in extracting the brain connectivity patterns and identifying hub regions with a high prediction power


title: Braided Tensor Categories related to $\mathcal{B}_p$ Vertex Algebras

abstract: The $\mathcal{B}_p$-algebras are a family of vertex operator algebras parameterized by $p\in \mathbb Z_{\geq 2}$. They are important examples of logarithmic CFTs and appear as chiral algebras of type $(A_1, A_{2p-3})$ Argyres-Douglas theories. The first member of this series, the $\mathcal{B}_2$-algebra, are the well-known symplectic bosons also often called the $\beta\gamma$ vertex operator algebra. We study categories related to the $\mathcal{B}_p$ vertex operator algebras using their conjectural relation to unrolled restricted quantum groups of $\mathfrak{sl}_2$. These categories are braided, rigid and non semi-simple tensor categories. We list their simple and projective objects, their tensor products and their Hopf links. The latter are successfully compared to modular data of characters thus confirming a proposed Verlinde formula of David Ridout and the second author.


title: Polarization-Based Truncated SU(1,1) Interferometer based on Four-wave Mixing in Rb vapor

abstract: We propose and demonstrate a polarization-based truncated SU(1,1) interferometer that outputs the desired optical joint-quadrature of a two-mode squeezed vacuum field and allows its measurements using a single balanced homodyne detector. Using such setup we demonstrated up to $\approx$2 dB of quantum noise suppression below the shot-noise limit in intensity-difference and phase-sum joint quadratures, and confirmed entanglement between the two quantum fields. Our proposed technique results in a better balance between the two ports of the detector and, consequently, in better common noise suppression for differential measurements. As a result, we were able to observe flat joint-quadrature squeezing and entanglement at wide range of detection frequencies: from several MHz (limited by the photodiode gain bandwidth) down to a few hundred Hz (limited by electronic noises).


title: Hardware Aware Neural Network Architectures using FbNet

abstract: We implement a differentiable Neural Architecture Search (NAS) method inspired by FBNet for discovering neural networks that are heavily optimized for a particular target device. The FBNet NAS method discovers a neural network from a given search space by optimizing over a loss function which accounts for accuracy and target device latency. We extend this loss function by adding an energy term. This will potentially enhance the ``hardware awareness" and help us find a neural network architecture that is optimal in terms of accuracy, latency and energy consumption, given a target device (Raspberry Pi in our case). We name our trained child architecture obtained at the end of search process as Hardware Aware Neural Network Architecture (HANNA). We prove the efficacy of our approach by benchmarking HANNA against two other state-of-the-art neural networks designed for mobile/embedded applications, namely MobileNetv2 and CondenseNet for CIFAR-10 dataset. Our results show that HANNA provides a speedup of about 2.5x and 1.7x, and reduces energy consumption by 3.8x and 2x compared to MobileNetv2 and CondenseNet respectively. HANNA is able to provide such significant speedup and energy efficiency benefits over the state-of-the-art baselines at the cost of a tolerable 4-5% drop in accuracy.


title: Asymptotic Grothendieck groups and c.b.l.f. positive dg-algebras

abstract: We introduce the notion of asymptotic Grothendieck groups for abelian and triangulated categories that are both AB4 and AB4*. We study when the asymptotic Grothendieck group of the heart of a triangulated category with a t-structure is isomorphic to the asymptotic Grothendieck group of the triangulated category itself. We also explain a connexion with the notion of topological Grothendieck group from Achar-Stroppel. Finally, we compute the asymptotic Grothendieck group of some positive (dg-)algebras having a cone bounded, locally finite dimension.


title: The Local Structure Theorem: The wreath product case

abstract: Groups with a large $p$-subgroup, $p$ a prime, include almost all of the groups of Lie type in characteristic $p$ and so the study of such groups adds to our understanding of the finite simple groups. In this article we study a special class of such groups which appear as wreath product cases of the Local Structure Theorem.


title: Nucleon Electromagnetic Form Factors in the Continuum Limit from 2+1+1-flavor Lattice QCD

abstract: Results are presented for the nucleon isovector electromagnetic form factors using 11 ensembles generated by the MILC collaboration using the 2+1+1-flavors HISQ action. They span 4 lattice spacings $a \sim$ 0.06, 0.09, 0.12 and 0.15~fm and 3 values of $M_\pi \sim 135, 225$ and 315 MeV. High-statistics estimates are used to perform a simultaneous extrapolation in the lattice spacing, lattice volume and light-quark masses. The $Q^2$ dependence over the range 0.05-1.4 ${\rm GeV}^2$ is investigated using both the $z$-expansion and the dipole form. Final $z$-expansion estimates for the isovector r.m.s. radius are $r_E = 0.769(27)(30)$ fm $r_M = 0.671(48)(76)$ fm and $\mu^{p-n} = 3.939(86)(138)$ Bohr magneton. The first error is the combined uncertainty from the leading-order analysis, and the second is an estimate of the additional uncertainty due to using the leading order chiral-continuum-finite-volume fits. The dipole estimates, $r_E = 0.765(11)(8)$ fm, $r_M = 0.704(21)(29)$ fm and $\mu^{p-n} = 3.975(84)(125)$, are consistent with those from the $z$-expansion but with smaller errors. Our analysis highlights three points. First, all data from the eleven ensembles and existing lattice data on, or close to, physical mass ensembles from other collaborations collapses more clearly onto a single curve when plotted versus $Q^2/M_N^2$ as compared to $Q^2$ with the scale set by quantities other than $M_N$. The difference between these two analyses is indicative of discretization errors, some of which presumably cancel when the data are plotted versus $Q^2/M_N^2$. Second, the size of the remaining deviation of this common curve from the Kelly curve is small and can be accounted for by statistical and possible systematic uncertainties. Third, to improve lattice estimates, high statistics data for $Q^2 < 0.1$ ${\rm GeV}^2$ are needed.


title: Chromium Nucleosynthesis and Silicon-Carbon Shell Mergers in Massive Stars

abstract: We analyze the production of the element Cr in galactic chemical evolution (GCE) models using the NuGrid nucleosynthesis yields set. We show that the unusually large [Cr/Fe] abundance at [Fe/H] $\approx 0$ reported by previous studies using those yields and predicted by our Milky Way model originates from the merging of convective Si-burning and C-burning shells in a 20 $M_\odot$ model at metallicity $Z=0.01$, about an hour before the star explodes. This merger mixes the incomplete burning material in the Si shell, including $^{51}$V and $^{52}$Cr, out to the edge of the carbon/oxygen (CO) core. The adopted supernova model ejects the outer 2 $M_\odot$ of the CO core, which includes a significant fraction of the Cr-rich material. When including this 20 $M_\odot$ model at $Z=0.01$ in the yields interpolation scheme of our GCE model for stars in between 15 and 25 $M_\odot$, we overestimate [Cr/Fe] by an order of magnitude at [Fe/H] $\approx$ 0 relative to observations in the Galactic disk. This raises a number of questions regarding the occurrence of Si-C shell mergers in nature, the accuracy of different simulation approaches, and the impact of such mergers on the pre-supernova structure and explosion dynamics. According to the conditions in this 1D stellar model, the substantial penetration of C-shell material into the Si-shell could launch a convective-reactive global oscillation, if a merger does take place. In any case, GCE provides stringent constraints on the outcome of this stellar evolution phase.


title: Efficient IMEX Runge-Kutta methods for nonhydrostatic dynamics

abstract: We analyze the stability and accuracy (up to third order) of a new family of implicit-explicit Runge-Kutta (IMEX RK) methods. This analysis expedites development of methods with various balances in the number of explicit stages and implicit solves. We emphasize deriving methods with large stability regions for horizontally explicit vertically implicit (HEVI) partitionings of nonhydrostatic atmosphere models. The IMKG2 and IMKG3 families of IMEX RK methods are formulated within this framework. The HOMME-NH model with a HEVI partitioning is used for testing the accuracy and stability of various IMKG2-3 methods. The efficiency of several IMKG2-3 methods is demonstrated in HOMME-NH and compared to other IMEX RK methods in the literature.


title: Constrained Decoding for Neural NLG from Compositional Representations in Task-Oriented Dialogue

abstract: Generating fluent natural language responses from structured semantic representations is a critical step in task-oriented conversational systems. Avenues like the E2E NLG Challenge have encouraged the development of neural approaches, particularly sequence-to-sequence (Seq2Seq) models for this problem. The semantic representations used, however, are often underspecified, which places a higher burden on the generation model for sentence planning, and also limits the extent to which generated responses can be controlled in a live system. In this paper, we (1) propose using tree-structured semantic representations, like those used in traditional rule-based NLG systems, for better discourse-level structuring and sentence-level planning; (2) introduce a challenging dataset using this representation for the weather domain; (3) introduce a constrained decoding approach for Seq2Seq models that leverages this representation to improve semantic correctness; and (4) demonstrate promising results on our dataset and the E2E dataset.


title: Why and How zk-SNARK Works

abstract: Despite the existence of multiple great resources on zk-SNARK construction, from original papers to explainers, due to the sheer number of moving parts the subject remains a black box for many. While some pieces of the puzzle are given one can not see the full picture without the missing ones. Hence the focus of this work is to shed light onto the topic with a straightforward and clean approach based on examples and answering many whys along the way so that more individuals can appreciate the state of the art technology, its innovators and ultimately the beauty of math. Paper's contribution is a simplistic exposition with a sufficient and gradually increasing level of complexity, necessary to understand zk-SNARK without any prerequisite knowledge of the subject, cryptography or advanced math. The primary goal is not only to explain how it works but why it works and how it came to be this way.


title: DigiVoice: Voice Biomarker Featurization and Analysis Pipeline

abstract: In recent years, data-driven models have enabled significant advances in medicine. Simultaneously, voice has shown potential for analysis in precision medicine as a biomarker for screening illnesses. There has been a growing trend to pursue voice data to understand neuropsychiatric diseases. In this paper, we present DigiVoice, a comprehensive feature extraction and analysis pipeline for voice data. DigiVoice supports raw .WAV files and text transcriptions in order to analyze the entire content of voice. DigiVoice supports feature extraction including acoustic, natural language, linguistic complexity, and semantic coherence features. DigiVoice also supports machine learning capabilities including data visualization, feature selection, feature transformation, and modeling. To our knowledge, DigiVoice provides the most comprehensive voice feature set for data analysis to date. With DigiVoice, we plan to accelerate research to correlate voice biomarkers with illness to enable data-driven treatment. We have worked closely with our industry partner, NeuroLex Laboratories, to make voice computing open source and accessible. DigiVoice enables researchers to leverage our technology across the domains of voice computing and precision medicine without domain-specific expertise. Our work allows any researchers to use voice as a biomarker in their past, current, or future studies.


title: How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4

abstract: The P4 programming language offers high-level, declarative abstractions that bring the flexibility of software to the domain of networking. Unfortunately, the main abstraction used to represent packet data in P4, namely header types, lacks basic safety guarantees. Over the last few years, experience with an increasing number of programs has shown the risks of the unsafe approach, which often leads to subtle software bugs. This paper proposes SafeP4, a domain-specific language for programmable data planes in which all packet data is guaranteed to have a well-defined meaning and satisfy essential safety guarantees. We equip SafeP4 with a formal semantics and a static type system that statically guarantees header validity---a common source of safety bugs according to our analysis of real-world P4 programs. Statically ensuring header validity is challenging because the set of valid headers can be modified at runtime, making it a dynamic program property. Our type system achieves static safety by using a form of path-sensitive reasoning that tracks dynamic information from conditional statements, routing tables, and the control plane. Our evaluation shows that SafeP4's type system can effectively eliminate common failures in many real-world programs.


title: Buoyancy-Driven Entrainment in Dry Thermals

abstract: \citet{turner1957} proposed that dry thermals entrain because of buoyancy (via a constraint which requires an increase in the radius $a$). This however, runs counter to the scaling arguments commonly used to derive the entrainment rate, which rely on either the self-similarity of \citet{scorer1957} or the turbulent entrainment hypothesis of \citet{morton1956}. The assumption of turbulence-driven entrainment was investigated by \citet{lecoanet2018}, who found that the entrainment efficiency $e$ varies by less than $20\%$ between laminar (Re = 630) and turbulent (Re = 6300) thermals. This motivated us to utilize Turner's argument of buoyancy-controlled entrainment in addition to the thermal's vertical momentum equation to build a model for thermal dynamics which does not invoke turbulence or self-similarity. We derive simple expressions for the thermals' kinematic properties and their fractional entrainment rate $\epsilon$ and find close quantitative agreement with the values in direct numerical simulations. In particular, our expression for entrainment rate is consistent with the parameterization $\epsilon \sim B/w^2$, for Archimedean buoyancy $B$ and vertical velocity $w$. We also directly validate the role of buoyancy-driven entrainment by running simulations where gravity is turned off midway through a thermal's rise. The entrainment efficiency $e$ is observed to drop to less than 1/3 of its original value in both the laminar and turbulent cases when $g=0$, affirming the central role of buoyancy in entrainment in dry thermals.


title: On linear convergence of two decentralized algorithms

abstract: Decentralized algorithms solve multi-agent problems over a connected network, where the information can only be exchanged with the accessible neighbors. Though there exist several decentralized optimization algorithms, there are still gaps in convergence conditions and rates between decentralized and centralized algorithms. In this paper, we fill some gaps by considering two decentralized algorithms: EXTRA and NIDS. They both converge linearly with strongly convex objective functions. We will answer two questions regarding them. What are the optimal upper bounds for their stepsizes? Do decentralized algorithms require more properties on the functions for linear convergence than centralized ones? More specifically, we relax the required conditions for linear convergence of both algorithms. For EXTRA, we show that the stepsize is comparable to that of centralized algorithms. For NIDS, the upper bound of the stepsize is shown to be exactly the same as the centralized ones. In addition, we relax the requirement for the objective functions and the mixing matrices. We provide the linear convergence results for both algorithms under the weakest conditions.


title: Evolution of quantum observables: from non-commutativity to commutativity

abstract: A fundamental aspect of the quantum-to-classical limit is the transition from a non-commutative algebra of observables to commutative one. However, this transition is not possible if we only consider unitary evolutions. One way to describe this transition is to consider the Gamow vectors, which introduce exponential decays in the evolution. In this paper, we give two mathematical models in which this transition happens in the infite time limit. In the first one, we consider operators acting on the space of the Gamow vectors, which represent quantum resonances. In the second one, we use an algebraic formalism from scattering theory. We construct a non-commuting algebra which commutes in the infinite time limit.


title: A fractional p-Laplacian problem with multiple critical Hardy-Sobolev nonlinearities

abstract: In this work, we study the existence of weak solution to the following quasi linear elliptic problem involving the fractional $p$-Laplacian operator, a Hardy potential and multiple critical Sobolev nonlinearities with singularities, \begin{align*} (-\Delta_p)^su - \mu \dfrac{\vert u \vert^{p-2} u}{\vert x \vert^{ps}} = \dfrac{\vert u\vert^{p^*_s(\beta)-2}u}{\vert x \vert^{\beta}} + \dfrac{\vert u\vert^{p^*_s(\alpha )-2} u}{\vert x \vert^\alpha }, \end{align*} where $ x \in \mathbb{R}^N$, $u\in D^{s,p}(\mathbb{R}^N)$, $0<s<1$, $1<p<+\infty$, $N>sp$, $0<\alpha<sp$, $0<\beta<sp$, $\beta\neq\alpha$, $\mu < \mu_H := \inf_{u \in D^{s,p}(\mathbb{R}^N) \backslash \{ 0 \}} [u]_{s,p}^p / \vert\vert u \vert\vert_{s,p}^p > 0$. To prove the existence of solution to the problem we have to formulate a refined version of the concentration-compactness principle and, as an independent result, we have to show that the extremals for the Sobolev inequality are attained.


title: Holomorphic curves for Legendrian surgery

abstract: Let $X$ be a Weinstein manifold with ideal contact boundary $Y$. If $\Lambda\subset Y$ is a link of Legendrian spheres in $Y$ then by attaching Weinstein handles to $X$ along $\Lambda$ we get a Weinstein cobordism $X_{\Lambda}$ with a collection of Lagrangian co-core disks $C$ corresponding to $\Lambda$. In \cite{BEE, EL} it was shown that the wrapped Floer cohomology $CW^{\ast}(C)$ of $C$ in the Weinstein manifold $X'_{\Lambda}=X\cup X_{\Lambda}$is naturally isomorphic to the Legendrian differential graded algebra $CE^{\ast}(\Lambda)$ of $\Lambda$ in $Y$. The argument uses properties of moduli spaces of holomorphic curves, the proofs of which were only sketched. The purpose of this paper is to provide proofs of these properties.


title: Classical Linear Harmonic Oscillators to Describe Thermodynamic Properties of Quantum Linear Harmonic Oscillators and Solids

abstract: As known all physical properties of solids are described well by the system of quantum linear harmonic oscillators. It is shown in the present paper that the system consisting of classical linear harmonic oscillators having temperature dependent masses or (and) frequencies has the same partition function as the system consisting of quantum linear harmonic oscillators having temperature independent masses and frequencies while the means of the square displacements of the positions of the oscillators from their mean positions for the system consisting of classical linear harmonic oscillators having: the temperature dependent masses; temperature dependent frequencies; and temperature dependent masses and frequencies differ from each other and from that of the system consisting of quantum linear harmonic oscillators, and hence, the system consisting of classical linear harmonic oscillators describes well the thermodynamic properties of the system consisting of quantum linear harmonic oscillators and solids.


title: Rank-deficient representations in the Theta correspondence over finite fields arise from quantum codes

abstract: Let V be a symplectic vector space and let $\mu$ be the oscillator representation of Sp(V). It is natural to ask how the tensor power representation $\mu^{\otimes t}$ decomposes. If V is a real vector space, then Howe-Kashiwara-Vergne (HKV) duality asserts that there is a one-one correspondence between the irreducible subrepresentations of Sp(V) and the irreps of an orthogonal group O(t). It is well-known that this duality fails over finite fields. Addressing this situation, Gurevich and Howe have recently assigned a notion of rank to each Sp(V) representation. They show that a variant of HKV duality continues to hold over finite fields, if one restricts attention to subrepresentations of maximal rank. The nature of the rank-deficient components was left open. Here, we show that all rank-deficient Sp(V)-subrepresentations arise from embeddings of lower-order tensor products of $\mu$ and $\bar\mu$ into $\mu^{\otimes t}$. The embeddings live on spaces that have been studied in quantum information theory as tensor powers of self-orthogonal Calderbank-Shor-Steane (CSS) quantum codes. We then find that the irreducible Sp(V) subrepresentations of $\mu^{\otimes t}$ are labelled by the irreps of orthogonal groups O(r) acting on certain r-dimensional spaces for r <= t. The results hold in odd charachteristic and the "stable range" t <= 1/2 dim V. Our work has implications for the representation theory of the Clifford group. It can be thought of as a generalization of the known characterization of the invariants of the Clifford group in terms of self-dual codes.


title: The domino shuffling algorithm and Anisotropic KPZ stochastic growth

abstract: The domino-shuffling algorithm can be seen as a stochastic process describing the irreversible growth of a $(2+1)$-dimensional discrete interface. Its stationary speed of growth $v_{\mathtt w}(\rho)$ depends on the average interface slope $\rho$, as well as on the edge weights $\mathtt w$, that are assumed to be periodic in space. We show that this growth model belongs to the Anisotropic KPZ class: one has $\det [D^2 v_{\mathtt w}(\rho)]<0$ and the height fluctuations grow at most logarithmically in time. Moreover, we prove that $D v_{\mathtt w}(\rho)$ is discontinuous at each of the (finitely many) smooth (or "gaseous") slopes $\rho$; at these slopes, fluctuations do not diverge as time grows. For a special case of spatially $2-$periodic weights, analogous results have been recently proven in Chhita-Toninelli (2018) via an explicit computation of $v_{\mathtt w}(\rho)$. In the general case, such a computation is out of reach; instead, our proof goes through a relation between the speed of growth and the limit shape of domino tilings of the Aztec diamond.


title: Quasinormal modes of black holes and Borel summation

abstract: We propose a simple and efficient way to compute quasinormal frequencies of spherically symmetric black holes. We revisit an old idea that relates them to bound state energies of anharmonic oscillators by an analytic continuation. This connection enables us to achieve remarkable high-order computations of WKB series by Rayleigh-Schr\"odinger perturbation theory. The known WKB results are easily reproduced. Our analysis shows that the perturbative WKB series of the quasinormal frequencies turn out to be Borel summable divergent series both for the Schwarzschild and for the Reissner-Nordstr\"om black holes. Their Borel sums reproduce the correct numerical values.


title: Learn to Sense: a Meta-learning Based Sensing and Fusion Framework for Wireless Sensor Networks

abstract: Wireless sensor networks (WSN) acts as the backbone of Internet of Things (IoT) technology. In WSN, field sensing and fusion are the most commonly seen problems, which involve collecting and processing of a huge volume of spatial samples in an unknown field to reconstruct the field or extract its features. One of the major concerns is how to reduce the communication overhead and data redundancy with prescribed fusion accuracy. In this paper, an integrated communication and computation framework based on meta-learning is proposed to enable adaptive field sensing and reconstruction. It consists of a stochastic-gradient-descent (SGD) based base-learner used for the field model prediction aiming to minimize the average prediction error, and a reinforcement meta-learner aiming to optimize the sensing decision by simultaneously rewarding the error reduction with samples obtained so far and penalizing the corresponding communication cost. An adaptive sensing algorithm based on the above two-layer meta-learning framework is presented. It actively determines the next most informative sensing location, and thus considerably reduces the spatial samples and yields superior performance and robustness compared with conventional schemes. The convergence behavior of the proposed algorithm is also comprehensively analyzed and simulated. The results reveal that the proposed field sensing algorithm significantly improves the convergence rate.


title: Combining Adversarial Training and Disentangled Speech Representation for Robust Zero-Resource Subword Modeling

abstract: This study addresses the problem of unsupervised subword unit discovery from untranscribed speech. It forms the basis of the ultimate goal of ZeroSpeech 2019, building text-to-speech systems without text labels. In this work, unit discovery is formulated as a pipeline of phonetically discriminative feature learning and unit inference. One major difficulty in robust unsupervised feature learning is dealing with speaker variation. Here the robustness towards speaker variation is achieved by applying adversarial training and FHVAE based disentangled speech representation learning. A comparison of the two approaches as well as their combination is studied in a DNN-bottleneck feature (DNN-BNF) architecture. Experiments are conducted on ZeroSpeech 2019 and 2017. Experimental results on ZeroSpeech 2017 show that both approaches are effective while the latter is more prominent, and that their combination brings further marginal improvement in across-speaker condition. Results on ZeroSpeech 2019 show that in the ABX discriminability task, our approaches significantly outperform the official baseline, and are competitive to or even outperform the official topline. The proposed unit sequence smoothing algorithm improves synthesis quality, at a cost of slight decrease in ABX discriminability.


title: Negative piezoelectric response of van der Waals layered bismuth tellurohalides

abstract: The polarization and piezoelectric response of the BiTe$X$ ($X$=Cl, Br, and I) layered tellurohalides are computed from first principles. The results confirm a mixed ionic-covalent character of the bonding, and demonstrate that the internal structure within each triple layer is only weakly affected by the external stress, while the changes in the charge distribution with stress produce a substantial negative piezoelectric response. This suggests a new mechanism for negative piezoelectric response that should remain robust even in ultra-thin film form in this class of materials.


title: Topological fluctuating electron-hole Cooper pairs in graphene-GaAs heterostructures

abstract: Fluctuating Cooper pairs formed by spatially separated electrons and holes are precursors of their equilibrium condensation. Their presence strongly impacts transport phenomena and interlayer tunneling in double-layer systems above the transition temperature. Here, we consider a hybrid graphene/quantum well double-layer system and focus on the dynamics of fluctuating Cooper pairs formed by conventional electrons and Dirac holes. We demonstrate that the chiral nature of Dirac holes is manifested in the presence of two (almost) degenerate competing pairing channels, which are intertwined by effective pseudospin-orbit interactions. We argue that the spectrum of the Ginzburg-Landau Hamiltonian describing the energetics of fluctuating Cooper pairs is geometrically nontrivial and can be characterized by the half-integer topological Chern number. We derive a kinetic equation for fluctuating Cooper pairs and demonstrate that their nontrivial geometries generate two anomalous velocities of distinct geometrical origins. These velocities are intricately connected with the Berry curvature and the quantum metric for the Ginzburg-Landau Hamiltonian, respectively. The resulting anomalous contributions to conductivity are singular at the transition temperature, and we discuss possible setups for their experimental observation.


title: Radiation Tests of Hamamatsu Multi-Pixel Photon Counters

abstract: Results of radiation tests of Hamamatsu 2.0 x 2.0~mm2 through-silicon-via (S13360-2050VE) multi-pixel photon counters, or MPPCs [1], are presented. Distinct sets of eight MPPCs were exposed to four different 1~MeV neutron equivalent doses of 200 MeV protons. Measurements of the breakdown voltage, gain and noise rates at different bias overvoltages, photoelectron thresholds, and LED illumination levels were taken before and after irradiation. No significant deterioration in performance was observed for breakdown voltage, gain, and response. Noise rates increased significantly with irradiation. These studies were undertaken in the context of MPPC requirements for the Cosmic Ray Veto detector of the Mu2e experiment at the Fermi National Accelerator Laboratory.


title: Heterotic/$F$-theory Duality and Narasimhan-Seshadri Equivalence

abstract: Finding the $F$-theory dual of a Heterotic model with Wilson-line symmetry breaking presents the challenge of achieving the dual $\mathbb{Z}_{2}$-action on the $F$-theory model in such a way that the $\mathbb{Z}_{2}$-quotient is Calabi-Yau with an Enriques $\mathrm{GUT}$ surface over which $SU\left(5\right)_{gauge}$ symmetry is maintained. We propose a new way to approach this problem by taking advantage of a little-noticed choice in the application of Narasimhan-Seshadri equivalence between real $E_{8}$-bundles with Yang-Mills connection and their associated complex holomorphic $E_{8}^{\mathbb{C}}$-bundles, namely the one given by the real outer automorphism of $E_{8}^{\mathbb{C}}$ by complex conjugation. The triviality of the restriction on the compact real form $E_{8}$ allows one to introduce it into the $\mathbb{Z}_{2}$-action, thereby restoring $E_{8}$- and hence $SU\left(5\right)_{gauge}$- symmetry on which the Wilson line can be wrapped.


title: Local Photothermal Control of Phase Transitions for On-demand Room-temperature Rewritable Magnetic Patterning

abstract: The ability to make controlled patterns of magnetic structures within a nonmagnetic background is essential for several types of existing and proposed technologies. Such patterns provide the foundation of magnetic memory and logic devices, allow the creation of artificial spin-ice lattices and enable the study of magnon propagation. Here, we report a novel approach for magnetic patterning that allows repeated creation and erasure of arbitrary shapes of thin-film ferromagnetic structures. This strategy is enabled by epitaxial Fe$_{0.52}$Rh$_{0.48}$ thin films designed so that both ferromagnetic and antiferromagnetic phases are bistable at room temperature. Starting with the film in a uniform antiferromagnetic state, we demonstrate the ability to write arbitrary patterns of the ferromagnetic phase by local heating with a focused laser. If desired, the results can then be erased by cooling with a thermoelectric cooler and the material repeatedly re-patterned.


title: On the Tu-Zeng Permutation Trinomial of Type $(1/4,3/4)$

abstract: Let $q$ be a power of $2$. Recently, Tu and Zeng considered trinomials of the form $f(X)=X+aX^{(1/4)q^2(q-1)}+bX^{(3/4)q^2(q-1)}$, where $a,b\in\Bbb F_{q^2}^*$. They proved that $f$ is a permutation polynomial of $\Bbb F_{q^2}$ if $b=a^{2-q}$ and $X^3+X+a^{-1-q}$ has no root in $\Bbb F_q$. In this paper, we show that the above sufficient condition is also necessary.


title: Barack's Wife Hillary: Using Knowledge-Graphs for Fact-Aware Language Modeling

abstract: Modeling human language requires the ability to not only generate fluent text but also encode factual knowledge. However, traditional language models are only capable of remembering facts seen at training time, and often have difficulty recalling them. To address this, we introduce the knowledge graph language model (KGLM), a neural language model with mechanisms for selecting and copying facts from a knowledge graph that are relevant to the context. These mechanisms enable the model to render information it has never seen before, as well as generate out-of-vocabulary tokens. We also introduce the Linked WikiText-2 dataset, a corpus of annotated text aligned to the Wikidata knowledge graph whose contents (roughly) match the popular WikiText-2 benchmark. In experiments, we demonstrate that the KGLM achieves significantly better performance than a strong baseline language model. We additionally compare different language model's ability to complete sentences requiring factual knowledge, showing that the KGLM outperforms even very large language models in generating facts.


title: The Little Phone That Could Ch-Ch-Chroot

abstract: Security testing has been a career path that many are beginning to take. In doing so, security testing can hit the realms of many different types of engagements, ranging from web, infrastructure and social engineering. With the risk of sabotage, corporate espionage it has been seen that many organisations are beginning to develop a tactical capability. In doing so, the term 'Red Team' has been coined to market such engagements. Red Teaming is the method of having almost free reign towards a target. By doing such an engagement a target will be able to fully understand the breadth of vulnerabilities facing their organisation. However, Red Teaming can be an expensive and resource intensive task. Through this paper, it is discussed that it is possible to make a covert disposable phone to help aide Red Teamer's with the reconnaissance phase without drawing attention to themselves within a day to day task.


title: Imaging uncompensated moments and exchange-biased emergent ferromagnetism in FeRh thin films

abstract: Uncompensated moments in antiferromagnets are responsible for exchange bias in antiferromagnet/ferromagnet heterostructures; however, they are difficult to directly detect because any signal they contribute is typically overwhelmed by the ferromagnetic layer. We use magneto-thermal microscopy to image uncompensated moments in thin films of FeRh, a room-temperature antiferromagnet that exhibits a 1st-order phase transition to a ferromagnetic state near 100~$^\circ$C. FeRh provides the unique opportunity to study both uncompensated moments in the antiferromagnetic phase and the interaction of uncompensated moments with emergent ferromagnetism within a relatively broad (10-15~$^\circ$C) temperature range near $T_C$. In the AF phase below $T_C$, we image both pinned UMs, which cause local vertical exchange bias, and unpinned UMs, which exhibit an enhanced coercive field that reflects exchange-coupling to the AF bulk. Near $T_C$, where AF and FM order coexist, we find that the emergent FM order is exchange-coupled to the bulk N\'eel order. This exchange coupling leads to the nucleation of unusual configurations in which different FM domains are pinned parallel, antiparallel, and perpendicular to the applied magnetic field before suddenly collapsing into a state uniformly parallel to the field.


title: The Radioactive Source Calibration System of the PROSPECT Reactor Antineutrino Detector

abstract: The Precision Reactor Oscillation and Spectrum (PROSPECT) Experiment is a reactor neutrino experiment designed to search for sterile neutrinos with a mass on the order of 1 eV/c$^2$ and to measure the spectrum of electron antineutrinos from a highly-enriched $^{235}$U nuclear reactor. The PROSPECT detector consists of an 11 by 14 array of optical segments in $^{6}$Li-loaded liquid scintillator at the High Flux Isotope Reactor in Oak Ridge National Laboratory. Antineutrino events are identified via inverse beta decay and read out by photomultiplier tubes located at the ends of each segment. The detector response is characterized using a radioactive source calibration system. This paper describes the design, operation, and performance of the PROSPECT source calibration system.


title: Improving Unsupervised Subword Modeling via Disentangled Speech Representation Learning and Transformation

abstract: This study tackles unsupervised subword modeling in the zero-resource scenario, learning frame-level speech representation that is phonetically discriminative and speaker-invariant, using only untranscribed speech for target languages. Frame label acquisition is an essential step in solving this problem. High quality frame labels should be in good consistency with golden transcriptions and robust to speaker variation. We propose to improve frame label acquisition in our previously adopted deep neural network-bottleneck feature (DNN-BNF) architecture by applying the factorized hierarchical variational autoencoder (FHVAE). FHVAEs learn to disentangle linguistic content and speaker identity information encoded in speech. By discarding or unifying speaker information, speaker-invariant features are learned and fed as inputs to DPGMM frame clustering and DNN-BNF training. Experiments conducted on ZeroSpeech 2017 show that our proposed approaches achieve $2.4\%$ and $0.6\%$ absolute ABX error rate reductions in across- and within-speaker conditions, comparing to the baseline DNN-BNF system without applying FHVAEs. Our proposed approaches significantly outperform vocal tract length normalization in improving frame labeling and subword modeling.


title: Effect of Load Path on Parameter Identification for Plasticity Models using Bayesian Methods

abstract: To evaluate the cyclic behavior under different loading conditions using the kinematic and isotropic hardening theory of steel, a Chaboche viscoplastic material model is employed. The parameters of a constitutive model are usually identified by minimization of the distance between model response and experimental data. However, measurement errors and differences in the specimens lead to deviations in the determined parameters. In this article, the Choboche model is used and a stochastic simulation technique is applied to generate artificial data which exhibit the same stochastic behavior as experimental data. Then the model parameters are identified by applying an estimation using Bayes's theorem. The Gauss-Markov-Kalman filter using functional approximation is introduced and employed to estimate the model parameters in the Bayesian setting. Identified parameters are compared with the true parameters in the simulation, and the efficiency of the identification method is discussed. In the end, the effect of the load path on parameter identification is investigated.


title: An IoT Based Framework For Activity Recognition Using Deep Learning Technique

abstract: Activity recognition is the ability to identify and recognize the action or goals of the agent. The agent can be any object or entity that performs action that has end goals. The agents can be a single agent performing the action or group of agents performing the actions or having some interaction. Human activity recognition has gained popularity due to its demands in many practical applications such as entertainment, healthcare, simulations and surveillance systems. Vision based activity recognition is gaining advantage as it does not require any human intervention or physical contact with humans. Moreover, there are set of cameras that are networked with the intention to track and recognize the activities of the agent. Traditional applications that were required to track or recognize human activities made use of wearable devices. However, such applications require physical contact of the person. To overcome such challenges, vision based activity recognition system can be used, which uses a camera to record the video and a processor that performs the task of recognition. The work is implemented in two stages. In the first stage, an approach for the Implementation of Activity recognition is proposed using background subtraction of images, followed by 3D- Convolutional Neural Networks. The impact of using Background subtraction prior to 3D-Convolutional Neural Networks has been reported. In the second stage, the work is further extended and implemented on Raspberry Pi, that can be used to record a stream of video, followed by recognizing the activity that was involved in the video. Thus, a proof-of-concept for activity recognition using small, IoT based device, is provided, which can enhance the system and extend its applications in various forms like, increase in portability, networking, and other capabilities of the device.


title: Iterative Model-Based Reinforcement Learning Using Simulations in the Differentiable Neural Computer

abstract: We propose a lifelong learning architecture, the Neural Computer Agent (NCA), where a Reinforcement Learning agent is paired with a predictive model of the environment learned by a Differentiable Neural Computer (DNC). The agent and DNC model are trained in conjunction iteratively. The agent improves its policy in simulations generated by the DNC model and rolls out the policy to the live environment, collecting experiences in new portions or tasks of the environment for further learning. Experiments in two synthetic environments show that DNC models can continually learn from pixels alone to simulate new tasks as they are encountered by the agent, while the agents can be successfully trained to solve the tasks using Proximal Policy Optimization entirely in simulations.


title: X-ray and radio studies of SNR CTB 37B hosting the magnetar CXOU J171405.7-381031

abstract: We present a Chandra and XMM-Newton study of the SNR CTB 37B, along with archival radio observations. In radio wavelengths, CTB 37B is an incomplete shell showing bright emission from the eastern side while the X-ray morphology shows diffuse emission from regions surrounding the magnetar CXOU J171405.7-381031. We used archival HI absorption measurements to constrain the distance to the remnant as 9.8+/-1.5 kpc. The X-ray spectrum of the remnant is described by a thermal model in the 1-5 keV energy range, with a temperature of 1.3+/-0.1 keV. The abundances from the spectral fits are consistent with being solar or sub-solar. A small region of diffuse emission is seen to the southern side of the remnant, best fitted by a nonthermal spectrum with an unusually hard photon index of 1.3+/-0.3. Assuming a distance of 9.8 kpc to the SNR, we infer a shock velocity of 915+/-70 km/s and explosion energy of (1.8+/-0.6)e50 ergs. The overall imaging and spectral properties of CTB 37B favor the interpretation of a young SNR (6200 yr) propagating in a low-density medium, under the assumption of a Sedov evolutionary phase.


title: On Cross Sections to the Geodesic and Horocycle Flows on Quotients of $\operatorname{SL}(2, \mathbb{R})$ by Hecke Triangle Groups $G_q$

abstract: In this paper, we provide a model for cross sections to the geodesic and horocycle flows on $\operatorname{SL}(2, \mathbb{R})/G_q$ using an extension of a heuristic of P. Arnoux and A. Nogueira. Our starting point is a continued fraction algorithm related to the group $G_q$, and a cross section to the horocycle flow on $\operatorname{SL}(2, \mathbb{R})/G_q$ from a previous paper. As an application, we get the natural extension and invariant measure for a symmetric $G_q$-Farey interval map resulting from projectivizing the aforementioned continued fraction algorithm.


title: Pose Guided Fashion Image Synthesis Using Deep Generative Model

abstract: Generating a photorealistic image with intended human pose is a promising yet challenging research topic for many applications such as smart photo editing, movie making, virtual try-on, and fashion display. In this paper, we present a novel deep generative model to transfer an image of a person from a given pose to a new pose while keeping fashion item consistent. In order to formulate the framework, we employ one generator and two discriminators for image synthesis. The generator includes an image encoder, a pose encoder and a decoder. The two encoders provide good representation of visual and geometrical context which will be utilized by the decoder in order to generate a photorealistic image. Unlike existing pose-guided image generation models, we exploit two discriminators to guide the synthesis process where one discriminator differentiates between generated image and real images (training samples), and another discriminator verifies the consistency of appearance between a target pose and a generated image. We perform end-to-end training of the network to learn the parameters through back-propagation given ground-truth images. The proposed generative model is capable of synthesizing a photorealistic image of a person given a target pose. We have demonstrated our results by conducting rigorous experiments on two data sets, both quantitatively and qualitatively.


title: On the System-level Performance of Coordinated Multi-point Transmission Schemes in 5G NR Deployment Scenarios

abstract: This paper investigates the system-level performance of dynamic point selection (DPS) and non-coherent joint transmission (NC-JT) coordinated multi-point transmission (CoMP) schemes under different 5G NR deployment scenarios using state-of-the-art system-level simulations. It is observed that at a mid-band carrier frequency, NC-JT does not provide performance gains over DPS or single transmission/reception point (TRP) transmission unless the channel from a TRP is rank deficient. Therefore, benefits with NC-JT are more likely to be found in indoor deployment scenarios where the TRPs are typically equipped with only 2 transmit antenna ports, whereas benefits are less likely to be observed in macro-cell deployments where TRPs typically have a larger number of antennas ports. It is further observed that NC-JT gains tend to diminish with increasing system load, partly due to increased interference, which typically lowers the transmission rank.


title: Statistical Verification of Hyperproperties for Cyber-Physical System

abstract: Many important properties of cyber-physical systems (CPS) are defined upon the relationship between multiple executions simultaneously in continuous time. Examples include probabilistic fairness and sensitivity to modeling errors (i.e., parameters changes) for real-valued signals. These requirements can only be specified by hyperproperties. In this work, we focus on verifying probabilistic hyperproperties for CPS. To cover a wide range of modeling formalisms, we first propose a general model of probabilistic uncertain systems (PUSs) that unify commonly studied CPS models such as continuous-time Markov chains (CTMCs) and probabilistically parametrized Hybrid I/O Automata. To formally specify hyperproperties, we propose a new temporal logic, hyper probabilistic signal temporal logic (HyperPSTL) that serves as a hyper and probabilistic version of the conventional signal temporal logic (STL). Considering complexity of real-world systems that can be captured as PUSs, we adopt a statistical model checking (SMC) approach for their verification. We develop a new SMC technique based on the direct computation of the significance levels of statistical assertions for HyperPSTL specifications, which requires no a priori knowledge on the indifference margin. Then, we introduce SMC algorithms for HyperPSTL specifications on the joint probabilistic distribution of multiple paths, as well as specifications with nested probabilistic operators quantifying different paths, which cannot be handled by existing SMC algorithms. Finally, we show the effectiveness of our SMC algorithms on CPS benchmarks with varying levels of complexity, including the Toyota Powertrain Control~System.


title: Crowdsourcing in the Absence of Ground Truth -- A Case Study

abstract: Crowdsourcing information constitutes an important aspect of human-in-the-loop learning for researchers across multiple disciplines such as AI, HCI, and social science. While using crowdsourced data for subjective tasks is not new, eliciting useful insights from such data remains challenging due to a variety of factors such as difficulty of the task, personal prejudices of the human evaluators, lack of question clarity, etc. In this paper, we consider one such subjective evaluation task, namely that of estimating experienced emotions of distressed individuals who are conversing with a human listener in an online coaching platform. We explore strategies to aggregate the evaluators choices, and show that a simple voting consensus is as effective as an optimum aggregation method for the task considered. Intrigued by how an objective assessment would compare to the subjective evaluation of evaluators, we also designed a machine learning algorithm to perform the same task. Interestingly, we observed a machine learning algorithm that is not explicitly modeled to characterize evaluators' subjectivity is as reliable as the human evaluation in terms of assessing the most dominant experienced emotions.


title: Online Matrix Completion with Side Information

abstract: We give an online algorithm and prove novel mistake and regret bounds for online binary matrix completion with side information. The mistake bounds we prove are of the form $\tilde{O}(D/\gamma^2)$. The term $1/\gamma^2$ is analogous to the usual margin term in SVM (perceptron) bounds. More specifically, if we assume that there is some factorization of the underlying $m \times n$ matrix into $P Q^\intercal$ where the rows of $P$ are interpreted as "classifiers" in $\mathcal{R}^d$ and the rows of $Q$ as "instances" in $\mathcal{R}^d$, then $\gamma$ is the maximum (normalized) margin over all factorizations $P Q^\intercal$ consistent with the observed matrix. The quasi-dimension term $D$ measures the quality of side information. In the presence of vacuous side information, $D= m+n$. However, if the side information is predictive of the underlying factorization of the matrix, then in an ideal case, $D \in O(k + \ell)$ where $k$ is the number of distinct row factors and $\ell$ is the number of distinct column factors. We additionally provide a generalization of our algorithm to the inductive setting. In this setting, we provide an example where the side information is not directly specified in advance. For this example, the quasi-dimension $D$ is now bounded by $O(k^2 + \ell^2)$.


title: Uniform convergence rate for Birkhoff means of certain uniquely ergodic toral maps

abstract: We obtain estimates on the uniform convergence rate of the Birkhoff average of a continuous observable over torus translations and affine skew product toral transformations. The convergence rate depends explicitly on the modulus of continuity of the observable and on the arithmetic properties of the frequency defining the transformation. Furthermore, we show that for the one dimensional torus translation, these estimates are nearly optimal.


title: On the Existence of Pareto Efficient and Envy Free Allocations

abstract: Envy-freeness and Pareto Efficiency are two major goals in welfare economics. The existence of an allocation that satisfies both conditions has been studied for a long time. Whether items are indivisible or divisible, it is impossible to achieve envy-freeness and Pareto Efficiency ex post even in the case of two people and two items. In contrast, in this work, we prove that, for any cardinal utility functions (including complementary utilities for example) and for any number of items and players, there always exists an ex ante mixed allocation which is envy-free and Pareto Efficient, assuming the allowable assignments are closed under swaps, i.e. if given a legal assignment, swapping any two players' allocations produces another legal assignment. The problem remains open in the divisible case. We also investigate the communication complexity for finding a Pareto Efficient and envy-free allocation.


title: Content-aware Density Map for Crowd Counting and Density Estimation

abstract: Precise knowledge about the size of a crowd, its density and flow can provide valuable information for safety and security applications, event planning, architectural design and to analyze consumer behavior. Creating a powerful machine learning model, to employ for such applications requires a large and highly accurate and reliable dataset. Unfortunately the existing crowd counting and density estimation benchmark datasets are not only limited in terms of their size, but also lack annotation, in general too time consuming to implement. This paper attempts to address this very issue through a content aware technique, uses combinations of Chan-Vese segmentation algorithm, two-dimensional Gaussian filter and brute-force nearest neighbor search. The results shows that by simply replacing the commonly used density map generators with the proposed method, higher level of accuracy can be achieved using the existing state of the art models.


title: Contact transparency in mechanically assembled 2D material devices

abstract: Two-dimensional atomic crystals (2DACs) can be mechanically assembled with precision for the fabrication of heterostructures, allowing for the combination of material building blocks with great flexibility. In addition, while conventional nanolithography can be detrimental to most of the 2DACs which are not sufficiently inert, mechanical assembly potentially minimizes the nanofabrication processing and preserves the intrinsic physical properties of the 2DACs. In this work we study the interfacial charge transport between various 2DACs and electrical contacts, by fabricating and characterizing 2DAC-superconductor junctions through mechanical transfer. Compared to devices fabricated with conventional nanolithography, mechanically assembled devices show comparable or better interface transparency. Surface roughness at the electrical contacts is identified to be a major limitation to the interface quality.


title: Concentration of Markov chains with bounded moments

abstract: Let $\{W_t\}_{t=1}^{\infty}$ be a finite state stationary Markov chain, and suppose that $f$ is a real-valued function on the state space. If $f$ is bounded, then Gillman's expander Chernoff bound (1993) provides concentration estimates for the random variable $f(W_1)+\cdots+f(W_n)$ that depend on the spectral gap of the Markov chain and the assumed bound on $f$. Here we obtain analogous inequalities assuming only that the $q$'th moment of $f$ is bounded for some $q \geq 2$. Our proof relies on reasoning that differs substantially from the proofs of Gillman's theorem that are available in the literature, and it generalizes to yield dimension-independent bounds for mappings $f$ that take values in an $L_p(\mu)$ for some $p\ge 2$, thus answering (even in the Hilbertian special case $p=2$) a question of Kargin (2007).


title: Stability and non-linear dynamics of Dual congestion control schemes with two delays

abstract: In this paper, we analyze some local stability and local bifurcation properties of the Proportionally fair, TCP fair, and the Delay-based dual algorithms in the presence of two distinct time delays. In particular, our focus is on the interplay between different notions of fairness, stability, and bifurcation theoretic properties. Different notions of fairness give rise to different non-linear models for the class of Dual algorithms. One can devise conditions for local stability, for each of these models, but such conditions do not offer clear design recommendations on which fairness criteria is desirable. With a bifurcation-theoretic analysis, we have to take non-linear terms into consideration, which helps to learn additional dynamical properties of the various systems. In the case of TCP fair and Delay dual algorithms, with two delays, we present evidence that they can undergo a sub-critical Hopf bifurcation, which has not been previously revealed through analysis of the single delay variants of these algorithms. A sub-critical Hopf bifurcation can result in either large amplitude limit cycles or unstable limit cycles, and hence should be avoided in engineering applications. In the case of the Proportionally fair algorithm, we provide strong evidence to suggest that all one should expect is the occurrence of a super-critical Hopf bifurcation, which leads to stable limit cycles with small amplitude. Thus, from a design perspective, our analysis favors the use of Proportional fairness in the class of dual congestion control algorithms. To best of our knowledge, this is the first study that presents evidence to suggest that fluid models representing Internet congestion control algorithms may undergo a sub-critical Hopf bifurcation.


title: Superheavy Gravitinos and Ultra-High Energy Cosmic Rays

abstract: We argue that the superheavy gravitinos that we had previously proposed as candidates for Dark Matter can offer a possible explanation for the ultra-high energy cosmic ray (UHECR) events observed at the Pierre Auger Observatory, via gravitino anti-gravitino annihilation in the `skin' of neutron stars. The large mass and strong interactions of these particles, together with their stability against decays into standard matter are essential for the proposed explanation to work. In particular, it ensues that UHECR events can be understood to originate from neutron stars inside a GKZ horizon of $\sim$ 50 Mpc. The composition of neutron stars near their surface could play a crucial role in explaining the presence of heavy ions in these events. If confirmed, this new mechanism can be taken as evidence for the fundamental ansatz towards unification on which it is based.


title: Megahertz X-ray microscopy at X-ray Free-Electron Laser and Synchrotron sources

abstract: We demonstrate X-ray phase contrast microscopy performed at the European X-ray Free-Electron Laser sampled at 1.128 MHz rate. We have applied this method to image stochastic processes induced by an optical laser incident on water-filled capillaries with micrometer scale spatial resolution. The generated high speed water jet, cavitation formation and annihilation in water and glass, as well as glass explosions are observed. The comparison between XFEL and previous synchrotron MHz microscopy shows the superior contrast and spatial resolution at the XFEL over the synchrotron. This work opens up new possibilities for the characterization of dynamic stochastic systems on nanosecond to microsecond time scales at megahertz rate with object velocities up to few kilometers per second using X-ray Free-Electron Laser sources.


title: Uncertainty quantification of modified Cahn-Hilliard equation for image inpainting

abstract: In this paper, we review modified Cahn-Hilliard equation for image inpainting and explore the effect when the initial condition is uncertain. We study the statistical properties of the solution when the noise is present. The generalized polynomial chaos and the perturbation expansion are used to analyze the equation. Experimental results are attached for comparison of solution behavior.


title: Recovering shared structure from multiple networks with unknown edge distributions

abstract: In increasingly many settings, data sets consist of multiple samples from a population of networks, with vertices aligned across these networks. For example, brain connectivity networks in neuroscience consist of measures of interaction between brain regions that have been aligned to a common template. We consider the setting where the observed networks have a shared expectation, but may differ in the noise structure on their edges. Our approach exploits the shared mean structure to denoise edge-level measurements of the observed networks and estimate the underlying population-level parameters. We also explore the extent to which edge-level errors influence estimation and downstream inference. We establish a finite-sample concentration inequality for the low-rank eigenvalue truncation of a random weighted adjacency matrix that may be of independent interest. The proposed approach is illustrated on synthetic networks and on data from an fMRI study of schizophrenia.

categories: math.ST cs.LG eess.SP stat.ME stat.ML stat.TH


title: A Multi-Modal Miniature Surface Forces Apparatus (uSFA) for Interfacial Science Measurements

abstract: Advances in the research of intermolecular and surface interactions result from the development of new and improved measurement techniques and combinations of existing techniques. Here, we present a new miniature version of the Surface Force Apparatus (the uSFA) that has been designed for ease of use and multi-modal capabilities with retention of the capabilities of other SFA models including accurate measurement of surface separation distance and physical characterization of dynamic and static physical forces (i.e., normal, shear, and friction) and interactions (e.g., van der Waals, electrostatic, hydrophobic, steric, biospecific). The small physical size of the uSFA, compared to previous SFA models, makes it portable and suitable for integration into commercially available optical and fluorescence light microscopes, as demonstrated here. The large optical path entry and exit ports make it ideal for concurrent force measurements and spectroscopy studies. Examples of the use of the uSFA in combination with surface plasmon resonance (SPR) and Raman spectroscopy measurements are presented. Due to the short working distance constraints associated with Raman spectroscopy, an interferometric technique was developed and applied for calculating the inter-surface separation distance based on Newtons rings. The introduction of the \muSFA will mark a transition in SFA usage from primarily physical characterization to concurrent physical characterization with in situ chemical and biological characterization to study interfacial phenomena, including (but not limited to) molecular adsorption, fluid flow dynamics, determination of surface species and morphology, and (bio) molecular binding kinetics.


title: Multipartite entanglement of fermionic system in accelerated frames

abstract: We investigate the entanglement measures of tripartite W-State and GHZ-state in noninertial frame through the coordinate transformation between Minkowski and Rindler. First it is shown that all three qubits undergo in a uniform acceleration $a$ of W-State, we find that the one-tangle, two-tangle, and $\pi$-tangle decrease when the acceleration parameter $r$ increases, and the two-tangle cannot arrive to infinity of the acceleration. Next we show that the one qubit goes in a uniform acceleration $a_{1}$ and the other two undergo in a uniform acceleration $a$ of GHZ-state, we find that the two-tangle is equal to zero and $N_{B_I (A_I C_I)} = N_{C_I (A_I B_I)}\neq N_{A_I (B_I C_I)}$, but one-tangle and $\pi$-tangle never reduce to zero for any acceleration.


title: A Joint Planning and Learning Framework for Human-Aided Decision-Making

abstract: Conventional reinforcement learning (RL) allows an agent to learn policies via environmental rewards only, with a long and slow learning curve, especially at the beginning stage. On the contrary, human learning is usually much faster because prior and general knowledge and multiple information resources are utilized. In this paper, we propose a \textbf{P}lanner-\textbf{A}ctor-\textbf{C}ritic architecture for hu\textbf{MAN}-centered planning and learning (\textbf{PACMAN}), where an agent uses prior, high-level, deterministic symbolic knowledge to plan for goal-directed actions. PACMAN integrates Actor-Critic algorithm of RL to fine-tune its behavior towards both environmental rewards and human feedback. To the best our knowledge, This is the first unified framework where knowledge-based planning, RL, and human teaching jointly contribute to the policy learning of an agent. Our experiments demonstrate that PACMAN leads to a significant jump-start at the early stage of learning, converges rapidly and with small variance, and is robust to inconsistent, infrequent, and misleading feedback.


title: Variational implicit-solvent predictions of the dry-wet transition pathways for ligand-receptor binding and unbinding kinetics

abstract: Ligand-receptor binding and unbinding are fundamental biomolecular processes and particularly essential to drug efficacy. Environmental water fluctuations, however, impact the corresponding thermodynamics and kinetics and thereby challenge theoretical descriptions. Here, we devise a holistic, implicit-solvent, multi-method approach to predict the (un)binding kinetics for a generic ligand-pocket model. We use the variational implicit-solvent model (VISM) to calculate the solute-solvent interfacial structures and the corresponding free energies, and combine the VISM with the string method to obtain the minimum energy paths and transition states between the various metastable ('dry' and 'wet') hydration states. The resulting dry-wet transition rates are then used in a spatially-dependent multi-state continuous-time Markov chain Brownian dynamics simulations, and the related Fokker-Planck equation calculations, of the ligand stochastic motion, providing the mean first-passage times for binding and unbinding. We find the hydration transitions to significantly slow down the binding process, in semi-quantitative agreement with existing explicit-water simulations, but significantly accelerate the unbinding process. Moreover, our methods allow the characterization of non-equilibrium hydration states of pocket and ligand during the ligand movement, for which we find substantial memory and hysteresis effects for binding versus unbinding. Our study thus provides a significant step forward towards efficient, physics-based interpretation and predictions of the complex kinetics in realistic ligand-receptor systems.


title: Bijective proofs of shuffle compatibility results

abstract: Define a permutation to be any sequence of distinct positive integers. Given two permutations p and s on disjoint underlying sets, we denote by p sh s the set of shuffles of p and s (the set of all permutations obtained by interleaving the two permutations). A permutation statistic is a function St whose domain is the set of permutations such that St(p) only depends on the relative order of the elements of p. A permutation statistic is shuffle compatible if the distribution of St on p sh s depends only on St(p) and St(s) and their lengths rather than on the individual permutations themselves. This notion is implicit in the work of Stanley in his theory of P-partitions. The definition was explicitly given by Gessel and Zhuang who proved that various permutation statistics were shuffle compatible using mainly algebraic means. This work was continued by Grinberg. The purpose of the present article is to use bijective techniques to give demonstrations of shuffle compatibility. In particular, we show how a large number of permutation statistics can be shown to be shuffle compatible using a few simple bijections. Our approach also leads to a method for constructing such bijective proofs rather than having to treat each one in an ad hoc manner. Finally, we are able to prove a conjecture of Gessel and Zhuang about the shuffle compatibility of a certain statistic.


title: Noncommutative rational P\'olya series

abstract: A (noncommutative) P\'olya series over a field $K$ is a formal power series whose nonzero coefficients are contained in a finitely generated subgroup of $K^\times$. We show that rational P\'olya series are unambiguous rational series, proving a 40 year old conjecture of Reutenauer. The proof combines methods from noncommutative algebra, automata theory, and number theory (specifically, unit equations). As a corollary, a rational series is a P\'olya series if and only if it is Hadamard sub-invertible. Phrased differently, we show that every weighted finite automaton taking values in a finitely generated subgroup of a field (and zero) is equivalent to an unambiguous weighted finite automaton.


title: Numerical Representations of Metabolic Systems

abstract: Metabolomics is becoming a mature part of analytical chemistry as evidenced by the growing number of publications and attendees of international conferences dedicated to this topic. Yet, a systematic treatment of the fundamental structure and properties of metabolomics data is lagging behind. We want to fill this gap by introducing two fundamental theories concerning metabolomics data: data theory and measurement theory. Our approach is to ask simple questions, the answers of which require applying these theories to metabolomics. We show that we can distinguish at least four different levels of metabolomics data with different properties and warn against confusing data with numbers.


title: Coherent and Controllable Outfit Generation

abstract: When thinking about dressing oneself, people often have a theme in mind whether they're going to a tropical getaway or wish to appear attractive at a cocktail party. A useful outfit generation system should come up with clothing items that are compatible while matching a theme specified by the user. Existing methods use item-wise compatibility between products but lack an effective way to enforce a global constraint (e.g., style, occasion). We introduce a method that generates outfits whose items match a theme described by a text query. Our method uses text and image embeddings to represent fashion items. We learn a multimodal embedding where the image representation for an item is close to its text representation, and use this embedding to measure item-query coherence. We then use a discriminator to compute compatibility between fashion items. This strategy yields a compatibility prediction method that meets or exceeds the state of the art. Our method combines item-item compatibility and item-query coherence to construct an outfit whose items are (a) close to the query and (b) compatible with one another. Quantitative evaluation shows that the items in our outfits are tightly clustered compared to standard outfits. Furthermore, outfits produced by similar queries are close to one another, and outfits produced by very different queries are far apart. Qualitative evaluation shows that our method responds well to queries. A user study suggests that people understand the match between the queries and the outfits produced by our method.


title: Implementation of a canonical phase measurement with quantum feedback

abstract: Much of modern metrology and communication technology encodes information in electromagnetic waves, typically as an amplitude or phase. While current hardware can perform near-ideal measurements of photon number or field amplitude, to date no device exists that can even in principle perform an ideal phase measurement. In this work, we implement a single-shot canonical phase measurement on a one-photon wave packet, which surpasses the current standard of heterodyne detection and is optimal for single-shot phase estimation. By applying quantum feedback to a Josephson parametric amplifier, our system adaptively changes its measurement basis during photon arrival and allows us to validate the detector's performance by tracking the quantum state of the photon source. These results provide an important capability for optical quantum computing, and demonstrate that quantum feedback can both enhance the precision of a detector and enable it to measure new classes of physical observables.


title: On Products of Closed Subsets in Free Groups

abstract: We present examples of closed subsets of a free group such that their product is not closed in the profinite topology. We discuss how to characterize a subset of a free group which is closed in the profinite topology and its product with any finitely generated subgroup of a free group is also closed in the profinite topology.


title: Limit law for the cover time of a random walk on a binary tree

abstract: Let $T_n$ denote the binary tree of depth $n$ augmented by an extra edge connected to its root. Let $C_n$ denote the cover time of $T_n$ by simple random walk. We prove that $\sqrt{ \mathcal{C}_{n} 2^{-(n+1) } } - m_n$ converges in distribution as $n\to \infty$, where $m_n$ is an explicit constant, and identify the limit.


title: Bayesian Optimization with Binary Auxiliary Information

abstract: This paper presents novel mixed-type Bayesian optimization (BO) algorithms to accelerate the optimization of a target objective function by exploiting correlated auxiliary information of binary type that can be more cheaply obtained, such as in policy search for reinforcement learning and hyperparameter tuning of machine learning models with early stopping. To achieve this, we first propose a mixed-type multi-output Gaussian process (MOGP) to jointly model the continuous target function and binary auxiliary functions. Then, we propose information-based acquisition functions such as mixed-type entropy search (MT-ES) and mixed-type predictive ES (MT-PES) for mixed-type BO based on the MOGP predictive belief of the target and auxiliary functions. The exact acquisition functions of MT-ES and MT-PES cannot be computed in closed form and need to be approximated. We derive an efficient approximation of MT-PES via a novel mixed-type random features approximation of the MOGP model whose cross-correlation structure between the target and auxiliary functions can be exploited for improving the belief of the global target maximizer using observations from evaluating these functions. We propose new practical constraints to relate the global target maximizer to the binary auxiliary functions. We empirically evaluate the performance of MT-ES and MT-PES with synthetic and real-world experiments.


title: Ab initio study of noncentrosymmetric transition-metal monogermanide B20-RhGe synthesized at high temperature and pressure

abstract: We present ab initio density-functional study of the noncentrosymmetric B20-type phase of RhGe, which is not found in nature and can be synthesized only at extreme pressures and temperatures. The structural, thermodynamic, electronic, lattice-dynamical, and transport properties of B20-RhGe are calculated, and their evolution with increasing pressure is traced. The temperature dependence of the charge and heat transport properties is evaluated within the semi-classical Boltzmann approach. Using the quasi-harmonic approximation, we determine the range of pressures and temperatures, in which B20-RhGe is stable, and make recommendations for optimizing the synthesis conditions in order to reduce the number of defects that occur in a sample during solidification.


title: Stability of vacancy-free crystalline phases of titanium monoxide at high pressure and temperature

abstract: There have existed for a long time a paradigm that TiO phases at ambient conditions are stable only if structural vacancies are available. Using an evolutionary algorithm, we perform an ab initio search of possible zero-temperature polymorphs of TiO in wide pressure interval. We obtain the Gibbs energy of the competing phases taking into account entropy via quasiharmonic approximation and build the pressure-temperature diagram of the system. We reveal that two vacancy-free hexagonal phases are the most stable at relatively low temperatures in a wide range of pressures. The transition between these phases takes place at 28 GPa. Only above 1290 K at ambient pressure the phases with vacancies (B1-derived) become stable. In particular, the high-pressure hexagonal phase is shown to have unusual electronic properties, with a pronounced pseudo-gap in the electronic spectrum. The comparison of DFT-GGA and GW calculations demonstrates that the account for many-body corrections significantly changes the electronic spectrum near the Fermi energy.


title: A Structured Distributional Model of Sentence Meaning and Processing

abstract: Most compositional distributional semantic models represent sentence meaning with a single vector. In this paper, we propose a Structured Distributional Model (SDM) that combines word embeddings with formal semantics and is based on the assumption that sentences represent events and situations. The semantic representation of a sentence is a formal structure derived from Discourse Representation Theory and containing distributional vectors. This structure is dynamically and incrementally built by integrating knowledge about events and their typical participants, as they are activated by lexical items. Event knowledge is modeled as a graph extracted from parsed corpora and encoding roles and relationships between participants that are represented as distributional vectors. SDM is grounded on extensive psycholinguistic research showing that generalized knowledge about events stored in semantic memory plays a key role in sentence comprehension. We evaluate SDM on two recently introduced compositionality datasets, and our results show that combining a simple compositional model with event knowledge constantly improves performances, even with different types of word embeddings.


title: Navigating Around Convex Sets

abstract: We review some basic results of convex analysis and geometry in $\mathbb{R}^n$ in the context of formulating a differential equation to track the distance between an observer flying outside a convex set $K$ and $K$ itself.


title: The Cells Out of Sample (COOS) dataset and benchmarks for measuring out-of-sample generalization of image classifiers

abstract: Understanding if classifiers generalize to out-of-sample datasets is a central problem in machine learning. Microscopy images provide a standardized way to measure the generalization capacity of image classifiers, as we can image the same classes of objects under increasingly divergent, but controlled factors of variation. We created a public dataset of 132,209 images of mouse cells, COOS-7 (Cells Out Of Sample 7-Class). COOS-7 provides a classification setting where four test datasets have increasing degrees of covariate shift: some images are random subsets of the training data, while others are from experiments reproduced months later and imaged by different instruments. We benchmarked a range of classification models using different representations, including transferred neural network features, end-to-end classification with a supervised deep CNN, and features from a self-supervised CNN. While most classifiers perform well on test datasets similar to the training dataset, all classifiers failed to generalize their performance to datasets with greater covariate shifts. These baselines highlight the challenges of covariate shifts in image data, and establish metrics for improving the generalization capacity of image classifiers.


title: Superfluids, vortices and spinning charged operators in 4d CFT

abstract: We include vortices in the superfluid EFT for four dimensional CFTs at large global charge. Using the state-operator correspondence, vortices are mapped to charged operators with large spin and we compute their scaling dimensions. Different regimes are identified: phonons, vortex rings, Kelvin waves, and vortex crystals. We also compute correlators with a Noether current insertion in between vortex states. Results for the scaling dimensions of traceless symmetric operators are given in arbitrary spacetime dimensions.


title: Spitzer Albedos of Near-Earth Objects

abstract: Thermal infrared observations are the most effective way to measure asteroid diameter and albedo for a large number of near-Earth objects. Major surveys like NEOWISE, NEOSurvey, ExploreNEOs, and NEOLegacy find a small fraction of high albedo objects that do not have clear analogs in the current meteorite population. About 8% of Spitzer-observed near-Earth objects have nominal albedo solutions greater than 0.5. This may be a result of lightcurve variability leading to an incorrect estimate of diameter or inaccurate absolute visual magnitudes. For a sample of 23 high albedo NEOs we do not find that their shapes are significantly different from the McNeill et al. (2019) near-Earth object shape distribution. We performed a Monte Carlo analysis on 1505 near-Earth objects observed by Spitzer, sampling the visible and thermal fluxes of all targets to determine the likelihood of obtaining a high albedo erroneously. Implementing the McNeill shape distribution for near-Earth objects, we provide an upper-limit on the geometric albedo of 0.5+/-0.1 for the near-Earth population.


title: Tabula nearly rasa: Probing the Linguistic Knowledge of Character-Level Neural Language Models Trained on Unsegmented Text

abstract: Recurrent neural networks (RNNs) have reached striking performance in many natural language processing tasks. This has renewed interest in whether these generic sequence processing devices are inducing genuine linguistic knowledge. Nearly all current analytical studies, however, initialize the RNNs with a vocabulary of known words, and feed them tokenized input during training. We present a multi-lingual study of the linguistic knowledge encoded in RNNs trained as character-level language models, on input data with word boundaries removed. These networks face a tougher and more cognitively realistic task, having to discover any useful linguistic unit from scratch based on input statistics. The results show that our "near tabula rasa" RNNs are mostly able to solve morphological, syntactic and semantic tasks that intuitively presuppose word-level knowledge, and indeed they learned, to some extent, to track word boundaries. Our study opens the door to speculations about the necessity of an explicit, rigid word lexicon in language learning and usage.


title: Generalizing Back-Translation in Neural Machine Translation

abstract: Back-translation - data augmentation by translating target monolingual data - is a crucial component in modern neural machine translation (NMT). In this work, we reformulate back-translation in the scope of cross-entropy optimization of an NMT model, clarifying its underlying mathematical assumptions and approximations beyond its heuristic usage. Our formulation covers broader synthetic data generation schemes, including sampling from a target-to-source NMT model. With this formulation, we point out fundamental problems of the sampling-based approaches and propose to remedy them by (i) disabling label smoothing for the target-to-source model and (ii) sampling from a restricted search space. Our statements are investigated on the WMT 2018 German - English news translation task.


title: Determinants in Quantum Matrix Algebras and Integrable Systems

abstract: We define quantum determinants in Quantum Matrix Algebras, related to couples of compatible braidings following the scheme from [G]. We establish relations between these determinants and the so-called column-(row-)determinants, often used in the theory of integrable systems. Also, we generalize the quantum integrable spin systems from [CFRS] by using generalized Yangians, related to couples of compatible braidings. We demonstrate that such quantum integrable spin systems are not uniquely determined by the "quantum coordinate ring" of the basic space V. For instance, the "quantum plane" xy=qyx gives rise to two different integrable systems: rational and trigonometric ones.


title: Universality of Pattern Formation

abstract: We study a $\mathcal PT$-symmetric scalar Euclidean field theory with a complex action, using both theoretical analysis and lattice simulations. This model has a rich phase structure that exhibits pattern formation in the critical region. Analytical results and simulations associate pattern formation with tachyonic instabilities in the homogeneous phase. Monte Carlo simulation shows that pattern morphologies vary smoothly, without distinct microphases. We suggest that pattern formation in this model may be regarded as a form of arrested spinodal decomposition. We extend our theoretical analysis to multicomponent $\mathcal PT$-symmetric Euclidean scalar field theories and show that they give rise to new universality classes of local field theories that exhibit patterned behavior in the critical region. QCD at finite temperature and density is a member of the $Z(2)$ universality class when the Polyakov loop is used to distinguish confined and deconfined phases. This suggests the possibility of the formation of patterns of confined and deconfined matter in QCD in the critical region in the $\mu-T$ plane.