title: On Generalized Zeckendorf Decompositions and Generalized Golden Strings

abstract: Zeckendorf proved that every positive integer has a unique representation as a sum of non-consecutive Fibonacci numbers. A natural generalization of this theorem is to look at the sequence defined as follows: for $n\ge 2$, let $F_{n,1} = F_{n,2} = \cdots = F_{n,n} = 1$ and $F_{n, m+1} = F_{n, m} + F_{n, m+1-n}$ for all $m\ge n$. It is known that every positive integer has a unique representation as a sum of $F_{n,m}$'s where the indexes of summands are at least $n$ apart. We call this the $n$-decomposition. Griffiths showed an interesting relationship between the Zeckendorf decomposition and the golden string. In this paper, we continue the work to show a relationship between the $n$-decomposition and the generalized golden string.


title: Duality of Weighted Sum Formulas of Alternating Multiple $T$-Values

abstract: Recently, a new kind of multiple zeta value level two $T({\bf k})$ (which is called multiple $T$-values) was introduced and studied by Kaneko and Tsumura. In this paper, we define a kind of alternating version of multiple $T$-values, and study several duality formulas of weighted sum formulas about alternating multiple $T$-values by using the methods of iterated integral representations and series representations. Some special values of alternating multiple $T$-values can also be obtained.


title: Interplay between superconductivity and non-Fermi liquid at a quantum critical point in a metal. II. The $\gamma$-model at a finite $T$ for $0<\gamma <1$

abstract: In this paper we continue the analysis of the interplay between non-Fermi liquid and superconductivity for quantum-critical systems, the low-energy physics of which is described by an effective model with dynamical electron-electron interaction $V(\Omega_m) \propto 1/|\Omega_m|^\gamma$ (the $\gamma$ model). In paper I [A. Abanov and A. V. Chubukov, Phys Rev B. 102, 024524 (2020)] two of us analyzed the $\gamma$ model at $T=0$ for $0<\gamma <1$ and argued that there exist a discrete, infinite set of topologically distinct solutions for the superconducting gap, all with the same spatial symmetry. The gap function $\Delta_n (\omega_m)$ for the $n$th solution changes sign $n$ times as the function of Matsubara frequency. In this paper we analyze the linearized gap equation at a finite $T$. We show that there exist an infinite set of pairing instability temperatures, $T_{p,n}$, and the eigenfunction $\Delta_n (\omega_{m})$ changes sign $n$ times as a function of a Matsubara number $m$. We argue that $\Delta_n (\omega_{m})$ retains its functional form below $T_{p,n}$ and at $T=0$ coincides with the $n$th solution of the nonlinear gap equation. Like in paper I, we extend the model to the case when the interaction in the pairing channel has an additional factor $1/N$ compared to that in the particle-hole channel. We show that $T_{p,0}$ remains finite at large $N$ due to special properties of fermions with Matsubara frequencies $\pm \pi T$, but all other $T_{p,n}$ terminate at $N_{cr} = O(1)$. The gap function vanishes at $T \to 0$ for $N > N_{cr}$ and remains finite for $N < N_{cr}$. This is consistent with the $T =0$ analysis.


title: Pionium as a source of false events in the $K\to\pi\nu\bar\nu$ decays

abstract: We suggest that the decay modes of kaons with a pion and a pionium ($\pi^+\pi^-$ atom) in the final state can constitute a not yet considered background to the very rare decay $K\to\pi\nu\bar\nu$. In fact, a part of pioniums may escape the decay region before decaying into two $\pi^0$s (or to $\pi^0\pi^0\gamma$ in the case of excited pionium). To illustrate the importance of this background, we show that it may even explain, under some assumptions, the unexpected $K_L$ decay events that appeared in the KOTO experiment.


title: On sums of coefficients of Borwein type polynomials over arithmetic progressions

abstract: We obtain asymptotic formulas for sums over arithmetic progressions of coefficients of polynomials of the form $$\prod_{j=1}^n\prod_{k=1}^{p-1}(1-q^{pj-k})^s,$$ where $p$ is an odd prime and $n, s$ are positive integers. Let us denote by $a_i$ the coefficient of $q^i$ in the above polynomial and suppose that $b$ is an integer. We prove that $$\Big|\sum_{i\equiv b\ \text{mod}\ 2pn}a_i-\frac{v(b)p^{sn}}{2pn}\Big|\leq p^{sn/2},$$ where $v(b)=p-1$ if $b$ divisible by $p$ and $v(b)=-1$ otherwise. This improves a recent result of Goswami and Pantangi.


title: The effect of a dynamo-generated field on the Parker wind

abstract: Stellar winds are an integral part of the underlying dynamo, the motor of stellar activity. The wind controls the star's angular momentum loss, which depends on the magnetic field geometry which varies significantly in time and latitude. Here we study basic properties of a self-consistent model that includes simple representations of both the global stellar dynamo in a spherical shell and the exterior in which the wind accelerates and becomes supersonic. We numerically solve an axisymmetric mean-field model for the induction, momentum, and continuity equations using an isothermal equation of state. The model allows for the simultaneous generation of a mean magnetic field and the development of a Parker wind. The resulting flow is transonic at the critical point, which we arrange to be between the inner and outer radii of the model. The boundary conditions are assumed to be such that the magnetic field is antisymmetric about the equator, i.e., dipolar. At the solar rotation rate, the dynamo is oscillatory and of $\alpha^2$ type. In most of the domain, the magnetic field corresponds to that of a split monopole. The magnetic energy flux is largest between the stellar surface and the critical point. The angular momentum flux is highly variable in time and can reach negative values, especially at midlatitudes. At rapid rotation of up to 50 times the solar value, most of the magnetic field is lost along the axis within the inner tangential cylinder of the model. The model reveals unexpected features that are not generally anticipated from models that are designed to reproduce the solar wind: highly variable angular momentum fluxes even from just an $\alpha^2$ dynamo in the star. A major caveat of our isothermal models with a magnetic field produced by a dynamo is the difficulty to reach small enough plasma betas without the dynamo itself becoming unrealistically strong inside the star.


title: Severability of mesoscale components and local time scales in dynamical networks

abstract: A major goal of dynamical systems theory is the search for simplified descriptions of the dynamics of a large number of interacting states. For overwhelmingly complex dynamical systems, the derivation of a reduced description on the entire dynamics at once is computationally infeasible. Other complex systems are so expansive that despite the continual onslaught of new data only partial information is available. To address this challenge, we define and optimise for a local quality function severability for measuring the dynamical coherency of a set of states over time. The theoretical underpinnings of severability lie in our local adaptation of the Simon-Ando-Fisher time-scale separation theorem, which formalises the intuition of local wells in the Markov landscape of a dynamical process, or the separation between a microscopic and a macroscopic dynamics. Finally, we demonstrate the practical relevance of severability by applying it to examples drawn from power networks, image segmentation, social networks, metabolic networks, and word association.

categories: physics.soc-ph cs.IR cs.SI physics.data-an


title: Structure and photoinduced effects in elemental chalcogens: A review on Raman scattering

abstract: Much progress has been made over a long period, spanning more than a century, in understanding the atomic arrangement on various length scales of noncrystalline chalcogens and their transitions upon certain external stimuli. However, it is broadly admitted that there are still several unsettled issues that call for proper rationalization. The current review presents an assessment of Raman scattering studies of noncrystalline phases of elemental chalcogens and their mixtures. First, a few remarks on the analysis of Raman data, related to polarization details and spectra reduction are presented. The effect of temperature, pressure and irradiation on the structure of chalcogens is reviewed in detail. As only selenium can form a stable glass at ambient conditions, the interest on sulfur and tellurium has been placed in the melt and the amorphous phase, respectively, whereas reference is also made to the sporadic structural studies of glassy sulfur at low temperatures. It is shown how Raman scattering can be exploited to explore unique phenomena emerging in the liquid state of sulfur, offering valuable information on the details of lambda transition including various thermodynamic related properties. The subtle nature of this transition in selenium is also discussed. Tellurium is not only impossible to be prepared in the bulk glassy state, but also forms a very liable to crystallization amorphous film. Therefore, the emphasis is placed on light induced nanostructuring and effects related to photo amorphization and photo oxidation.


title: Design of a Sag and Surge Detector For Residential Voltage

abstract: An inexpensive protection device capable of disconnecting a load upon detecting a voltage sag or surge is presented. Said device is aimed towards the residential voltage of Venezuela's electrical system. The device is based on the Arduino platform, and uses an ATmega 328P. It detects the presence of a voltage sag or surge by sampling the residential voltage used to feed the load, and continuously measuring the RMS $\frac{1}{2}$ voltage. It disconnects the load after 3 semi-cycles where the residential voltage is outside the boundaries established by Venezuela's national electrical code, and therefore there is the presence of a voltage sag or surge. The device is capable of transmitting the data of the sampled signal, for making further analysis.


title: On the number of minimal codewords in codes generated by the adjacency matrix of a graph

abstract: Minimal codewords have applications in decoding linear codes and in cryptography. We study the number of minimal codewords in binary linear codes that arise by appending a unit matrix to the adjacency matrix of a graph.


title: An introduction to strange stars

abstract: The description of the heaviest neutron stars observed in Nature depends on the understanding of the physical concepts present in General Relativity and Quantum Chromodynamics. In this work, we review the basic concepts need to describe strange stars, constituted by up, down and strange quarks, which is one of the possible alternatives to describe the general properties of the most dense neutron stars. We will review the Bodmer-Witten-Terazawa hypothesis, which states that strange matter is absolutely stable in relation to ordinary nuclear matter, and discuss the basic properties that characterize strange stars. Our goal is to present the necessary concepts to understand this important theme of Astroparticles.


title: Coastal Flood Risk in the Mortgage Market: Storm Surge Models' Predictions vs. Flood Insurance Maps

abstract: Prior literature has argued that flood insurance maps may not capture the extent of flood risk. This paper performs a granular assessment of coastal flood risk in the mortgage market by using physical simulations of hurricane storm surge heights instead of using FEMA's flood insurance maps. Matching neighborhood-level predicted storm surge heights with mortgage files suggests that coastal flood risk may be large: originations and securitizations in storm surge areas have been rising sharply since 2012, while they remain stable when using flood insurance maps. Every year, more than 50 billion dollars of originations occur in storm surge areas outside of insurance floodplains. The share of agency mortgages increases in storm surge areas, yet remains stable in the flood insurance 100-year floodplain. Mortgages in storm surge areas are more likely to be complex: non-fully amortizing features such as interest-only or adjustable rates. Households may also be more vulnerable in storm surge areas: median household income is lower, the share of African Americans and Hispanics is substantially higher, the share of individuals with health coverage is lower. Price-to-rent ratios are declining in storm surge areas while they are increasing in flood insurance areas. This paper suggests that uncovering future financial flood risk requires scientific models that are independent of the flood insurance mapping process.


title: Injective Hulls of Quantale-Enriched Multicategories

abstract: In this communication we generalize some recent results of Rump to categories enriched in a commutative quantale V. Using these results, we show that every quantale-enriched multicategory admits an injective hull. Finally, we expose a connection between the Isbell adjunction and the construction of injective hulls for topological spaces made by Banaschewski in 1973.


title: Single-step deep reinforcement learning for open-loop control of laminar and turbulent flows

abstract: This research gauges the ability of deep reinforcement learning (DRL) techniques to assist the optimization and control of fluid mechanical systems. It combines a novel, "degenerate" version of the proximal policy optimization (PPO) algorithm, that trains a neural network in optimizing the system only once per learning episode, and an in-house stabilized finite elements environment implementing the variational multiscale (VMS) method, that computes the numerical reward fed to the neural network. Three prototypical examples of separated flows in two dimensions are used as testbed for developing the methodology, each of which adds a layer of complexity due either to the unsteadiness of the flow solutions, or the sharpness of the objective function, or the dimension of the control parameter space. Relevance is carefully assessed by comparing systematically to reference data obtained by canonical direct and adjoint methods. Beyond adding value to the shallow literature on this subject, these findings establish the potential of single-step PPO for reliable black-box optimization of computational fluid dynamics (CFD) systems, which paves the way for future progress in optimal flow control using this new class of methods.


title: Proposal for photoacoustic ultrasonic generator based on Tamm plasmon structures

abstract: The scheme of generation of ultrasound waves based on optically excited Tamm plasmon structures is proposed. It is shown that Tamm plasmon structures can provide total absorption of a laser pulse with arbitrary wavelength in a metallic layer providing the possibility of the use of an infrared semiconductor laser for the excitation of ultrasound waves. Laser pulse absorption, heat transfer and dynamical properties of the structure are modeled, and the optimal design of the structure is found. It is demonstrated that the Tamm plasmon-based photoacoustic generator can emit ultrasound waves in the frequency band up to 100 MHz with pre-defined frequency spectrum. Optical power to sound power conversion efficiency grows linearly with frequency of the laser modulation and excitation power.


title: Optimal Inverse Design of Magnetic Field Profiles in a Magnetically Shielded Cylinder

abstract: Magnetic shields that use both active and passive components to enable the generation of a tailored low-field environment are required for many applications in science, engineering, and medical imaging. Until now, accurate field nulling, or field generation, has only been possible over a small fraction of the overall volume of the shield. This is due to the interaction between the active field-generating components and the surrounding high-permeability passive shielding material. In this paper, we formulate the interaction between an arbitrary static current flow on a cylinder and an exterior closed high-permeability cylinder. We modify the Green's function for the magnetic vector potential and match boundary conditions on the shield's interior surface to calculate the total magnetic field generated by the system. We cast this formulation into an inverse optimization problem to design active--passive magnetic field shaping systems that accurately generate any physical static magnetic field in the interior of a closed cylindrical passive shield. We illustrate this method by designing hybrid systems that generate a range of magnetic field profiles to high accuracy over large interior volumes, and simulate them in real-world shields whose passive components have finite permeability, thickness, and axial entry holes. Our optimization procedure can be adapted to design active--passive magnetic field shaping systems that accurately generate any physical user-specified static magnetic field in the interior of a closed cylindrical shield of any length, enabling the development and miniaturization of systems that require accurate magnetic shielding and control.


title: Yellow symbiotic star AG Draconis in the scope of the New Online Database of Symbiotic Variables

abstract: Symbiotic stars are strongly interacting binaries, consisting of a white dwarf and a cool giant, mainly of spectral type M. AG Draconis belongs to a less numerous group of the yellow symbiotic systems, as the cool component in this binary is of a spectral type earlier than K4. Recently, after seven years of quiescence, this symbiotic star exhibited a very unusual active stage with the four minor outbursts observed. Thanks to the excellent involvement of amateur astronomers and professional observatories, we can study the activity of AG Draconis in unprecedented details. In the present work, we discuss the activity and peculiarities of this interacting system within the entire group of symbiotic stars whose properties have recently been presented in our New Online Database of Symbiotic Variables.


title: Median regression with differential privacy

abstract: Median regression analysis has robustness properties which make it attractive compared with regression based on the mean, while differential privacy can protect individual privacy during statistical analysis of certain datasets. In this paper, three privacy preserving methods are proposed for median regression. The first algorithm is based on a finite smoothing method, the second provides an iterative way and the last one further employs the greedy coordinate descent approach. Privacy preserving properties of these three methods are all proved. Accuracy bound or convergence properties of these algorithms are also provided. Numerical calculation shows that the first method has better accuracy than the others when the sample size is small. When the sample size becomes larger, the first method needs more time while the second method needs less time with well-matched accuracy. For the third method, it costs less time in both cases, while it highly depends on step size.


title: Generalized barycenters and variance maximization on metric spaces

abstract: We show that the variance of a probability measure $\mu$ on a compact subset $X$ of a complete metric space $M$ is bounded by the square of the circumradius $R$ of the canonical embedding of $X$ into the space $P(M)$ of probability measures on $M$, equipped with the Wasserstein metric. When barycenters of measures on $X$ are unique (such as on CAT($0$) spaces), our approach shows that $R$ in fact coincides with the circumradius of $X$ and so this result extends a recent result of Lim-McCann from Euclidean space. Our approach involves bi-linear minimax theory on $P(X) \times P(M)$ and extends easily to the case when the variance is replaced by very general moments. As an application, we provide a simple proof of Jung's theorem on CAT($k$) spaces, a result originally due to Dekster and Lang-Schroeder.


title: Bayesian workflow for disease transmission modeling in Stan

abstract: This tutorial shows how to build, fit, and criticize disease transmission models in Stan, and should be useful to researchers interested in modeling the SARS-CoV-2 pandemic and other infectious diseases in a Bayesian framework. Bayesian modeling provides a principled way to quantify uncertainty and incorporate both data and prior knowledge into the model estimates. Stan is an expressive probabilistic programming language that abstracts the inference and allows users to focus on the modeling. As a result, Stan code is readable and easily extensible, which makes the modeler's work more transparent. Furthermore, Stan's main inference engine, Hamiltonian Monte Carlo sampling, is amiable to diagnostics, which means the user can verify whether the obtained inference is reliable. In this tutorial, we demonstrate how to formulate, fit, and diagnose a compartmental transmission model in Stan, first with a simple Susceptible-Infected-Recovered (SIR) model, then with a more elaborate transmission model used during the SARS-CoV-2 pandemic. We also cover advanced topics which can further help practitioners fit sophisticated models; notably, how to use simulations to probe the model and priors, and computational techniques to scale-up models based on ordinary differential equations.


title: A Novel Update Mechanism for Q-Networks Based On Extreme Learning Machines

abstract: Reinforcement learning is a popular machine learning paradigm which can find near optimal solutions to complex problems. Most often, these procedures involve function approximation using neural networks with gradient based updates to optimise weights for the problem being considered. While this common approach generally works well, there are other update mechanisms which are largely unexplored in reinforcement learning. One such mechanism is Extreme Learning Machines. These were initially proposed to drastically improve the training speed of neural networks and have since seen many applications. Here we attempt to apply extreme learning machines to a reinforcement learning problem in the same manner as gradient based updates. This new algorithm is called Extreme Q-Learning Machine (EQLM). We compare its performance to a typical Q-Network on the cart-pole task - a benchmark reinforcement learning problem - and show EQLM has similar long-term learning performance to a Q-Network.


title: Evaluating the Effectiveness of Regional Lockdown Policies in the Containment of Covid-19: Evidence from Pakistan

abstract: To slow down the spread of Covid-19, administrative regions within Pakistan imposed complete and partial lockdown restrictions on socio-economic activities, religious congregations, and human movement. Here we examine the impact of regional lockdown strategies on Covid-19 outcomes. After conducting econometric analyses (Regression Discontinuity and Negative Binomial Regressions) on official data from the National Institute of Health (NIH) Pakistan, we find that the strategies did not lead to a similar level of Covid-19 caseload (positive cases and deaths) in all regions. In terms of reduction in the overall caseload (positive cases and deaths), compared to no lockdown, complete and partial lockdown appeared to be effective in four regions: Balochistan, Gilgit Baltistan (GT), Islamabad Capital Territory (ICT), and Azad Jammu and Kashmir (AJK). Contrarily, complete and partial lockdowns did not appear to be effective in containing the virus in the three largest provinces of Punjab, Sindh, and Khyber Pakhtunkhwa (KPK). The observed regional heterogeneity in the effectiveness of lockdowns advocates for a careful use of lockdown strategies based on the demographic, social, and economic factors.


title: An integer program and new lower bounds for computing the strong rainbow connection numbers of graphs

abstract: We present an integer programming model to compute the strong rainbow connection number, $src(G)$, of any simple graph $G$. We introduce several enhancements to the proposed model, including a fast heuristic, and a variable elimination scheme. Moreover, we present a novel lower bound for $src(G)$ which may be of independent research interest. We solve the integer program both directly and using an alternative method based on iterative lower bound improvement, the latter of which we show to be highly effective in practice. To our knowledge, these are the first computational methods for the strong rainbow connection problem. We demonstrate the efficacy of our methods by computing the strong rainbow connection numbers of graphs containing up to $379$ vertices.


title: Transfer matrix for long-range potentials

abstract: We extend the notion of the transfer matrix of potential scattering to a large class of long-range potentials $v(x)$ and derive its basic properties. We outline a dynamical formulation of the time-independent scattering theory for this class of potentials where we identify their transfer matrix with the $S$-matrix of a certain effective non-unitary two-level quantum system. For sufficiently large values of $|x|$, we express $v(x)$ as the sum of a short-range potential and an exactly solvable long-range potential. Using this result and the composition property of the transfer matrix, we outline an approximation scheme for solving the scattering problem for $v(x)$. To demonstrate the effectiveness of this scheme, we construct an exactly solvable long-range potential and compare the exact values of its reflection and transmission coefficients with those we obtain using our approximation scheme.

categories: quant-ph cond-mat.other math-ph math.MP physics.optics


title: Phase transition of the energy flux in the near-inertial wave--mesoscale eddy coupled turbulence

abstract: Wind forcing injects energy into the mesoscale eddies and near-inertial waves (NIWs) in the ocean, and the NIW is believed to solve the puzzle of mesoscale energy budget by absorbing energy from mesoscale eddies followed by a forward cascade of NIW energy which finally dissipates at the ocean interior. This work studies the turbulent energy transfer in the NIW--quasigeostrophic mean mesoscale eddy coupled system based on a previously derived two-dimensional model which has a Hamiltonian structure and inherits conserved quantities in the Boussinesq equations (Xie \& Vanneste, \textit{J. Fluid Mech.}, vol. 774, 2015, pp. 147--169). Based on the conservation of energy, potential enstrophy and wave action, we propose a heuristic argument predicting the existence of phase transition with changing the relative strength between NIW and mean flow. By running forced-dissipative numerical simulations with varying parameter $R$, the ratio of the magnitude of NIW and mean-flow forcing, we justify the existence of phase transition, which is found to be second-order, around critical value $R_c$. When $0<R<R_c$, energy transfers bidirectionally, wave action transfers downscale, and vorticity form strong cyclones. While when $R>R_c$, energy transfers downscale, wave action transfers bidirectionally, and vortex filaments are dominant. We find the catalytic wave induction (CWI) mechanism where the NIW induces a downscale energy flux of the mean flow. The CWI mechanism differs from the stimulated loss of balance by the absence of energy conversion from the mesoscale eddy to NIW, and it is found to be effective in the toy-model study, making it potentially important for ocean energetics.


title: MHVAE: a Human-Inspired Deep Hierarchical Generative Model for Multimodal Representation Learning

abstract: Humans are able to create rich representations of their external reality. Their internal representations allow for cross-modality inference, where available perceptions can induce the perceptual experience of missing input modalities. In this paper, we contribute the Multimodal Hierarchical Variational Auto-encoder (MHVAE), a hierarchical multimodal generative model for representation learning. Inspired by human cognitive models, the MHVAE is able to learn modality-specific distributions, of an arbitrary number of modalities, and a joint-modality distribution, responsible for cross-modality inference. We formally derive the model's evidence lower bound and propose a novel methodology to approximate the joint-modality posterior based on modality-specific representation dropout. We evaluate the MHVAE on standard multimodal datasets. Our model performs on par with other state-of-the-art generative models regarding joint-modality reconstruction from arbitrary input modalities and cross-modality inference.


title: On a nonlinear parabolic problem arising in the quantum diffusive description of a degenerate fermion gas

abstract: This article studies, both theoretically and numerically, a nonlinear drift-diffusion equation describing a gas of fermions in the zero-temperature limit. The equation is considered on a bounded domain whose boundary is divided into an "insulating" part, where homogeneous Neumann conditions are imposed, and a "contact" part, where nonhomogeneous Dirichlet data are assigned. The existence of stationary solutions for a suitable class of Dirichlet data is proven by assuming a simple domain configuration. The long-time behavior of the time-dependent solution, for more complex domain configurations, is investigated by means of numerical experiments.


title: Large solutions of semilinear equations with Hardy potential

abstract: We consider equations of the form $-L_\mu u +f(u)=0$ in a smooth domain $\Omega$, where $L_\mu=\Delta + \mu\delta^{-2}$ and $\delta(x)$ denotes the distance of the point $x$ to the boundary of the domain. The nonlinear term $f$ is positive, increasing and convex on $(0,\infty)$, satisfies the Keller-Osserman condition and some additional technical assumptions. The conditions are satisfied, in particular, by power and exponential nonlinearities. We discuss the question of existence and uniqueness of large solutions when $\mu>0$.


title: Quickly proving Diestel's normal spanning tree criterion

abstract: We present two short proofs for Diestel's criterion that a connected graph has a normal spanning tree provided it contains no subdivision of a countable clique in which every edge has been replaced by uncountably many parallel edges.


title: Inferring food intake from multiple biomarkers using a latent variable model

abstract: Metabolomic based approaches have gained much attention in recent years due to their promising potential to deliver objective tools for assessment of food intake. In particular, multiple biomarkers have emerged for single foods. However, there is a lack of statistical tools available for combining multiple biomarkers to infer food intake. Furthermore, there is a paucity of approaches for estimating the uncertainty around biomarker based prediction of intake. Here, to facilitate inference on the relationship between multiple metabolomic biomarkers and food intake in an intervention study conducted under the A-DIET research programme, a latent variable model, multiMarker, is proposed. The proposed model draws on factor analytic and mixture of experts models, describing intake as a continuous latent variable whose value gives raise to the observed biomarker values. We employ a mixture of Gaussian distributions to flexibly model the latent variable. A Bayesian hierarchical modelling framework provides flexibility to adapt to different biomarker distributions and facilitates prediction of the latent intake along with its associated uncertainty. Simulation studies are conducted to assess the performance of the proposed multiMarker framework, prior to its application to the motivating application of quantifying apple intake.


title: Manipulation with Shared Grasping

abstract: A shared grasp is a grasp formed by contacts between the manipulated object and both the robot hand and the environment. By trading off hand contacts for environmental contacts, a shared grasp requires fewer contacts with the hand, and enables manipulation even when a full grasp is not possible. Previous research has used shared grasps for non-prehensile manipulation such as pivoting and tumbling. This paper treats the problem more generally, with methods to select the best shared grasp and robot actions for a desired object motion. The central issue is to evaluate the feasible contact modes: for each contact, whether that contact will remain active, and whether slip will occur. Robustness is important. When a contact mode fails, e.g., when a contact is lost, or when unintentional slip occurs, the operation will fail, and in some cases damage may occur. In this work, we enumerate all feasible contact modes, calculate corresponding controls, and select the most robust candidate. We can also optimize the contact geometry for robustness. This paper employs quasi-static analysis of planar rigid bodies with Coulomb friction to derive the algorithms and controls. Finally, we demonstrate the robustness of shared grasping and the use of our methods in representative experiments and examples. The video can be found at https://youtu.be/tyNhJvRYZNk


title: Non-Vanishing of Derivatives of L-Functions of Hilbert Modular Forms in The Critical Strip

abstract: In this paper, we show that, on average, the derivatives of $L$-functions of cuspidal Hilbert modular forms with sufficiently large weight $k$ do not vanish on the line segments $\Im(s)=t_{0}$, $\Re(s)\in(\frac{k-1}{2},\frac{k}{2}-\epsilon)\cup(\frac{k}{2}+\epsilon,\frac{k+1}{2})$. This is analogous to the case of classical modular forms.


title: 4-cop-win graphs have at least 19 vertices

abstract: We show that the cop number of any graph on 18 or fewer vertices is at most 3. This answers a question posed by Andreae in 1986, as well as more recently by Baird et al. We also find all 3-cop-win graphs on 11 vertices, narrow down the possible 4-cop-win graphs on 19 vertices and make some progress on finding the minimum order of 3-cop-win planar graphs.


title: Multiple scattering camouflaged as magnetic stripes in single crystals of superconducting (La,Sr)$_2$CuO$_4$

abstract: Neutron diffraction has been a very prominent tool to investigate high-temperature superconductors, in particular through the discovery of an incommensurate magnetic signal known as stripes. We here report the findings of a neutron diffraction experiment on the superconductor (La,Sr)$_2$CuO$_4$, where a spurious signal appeared to be magnetic stripes. The signal strength was found to be strongly dependent on the neutron energy, peaking at $E = 4.6$~meV. We therefore attribute the origin of this signal to be a combination of multiple scattering and crystal twinning. A forward calculation of the scattering intensity including these two effects almost completely recovers our experimental observations. We emphasise the need for employing such analysis when searching for ways to avoid spurious scattering signals.


title: Differentiable Linear Bandit Algorithm

abstract: Upper Confidence Bound (UCB) is arguably the most commonly used method for linear multi-arm bandit problems. While conceptually and computationally simple, this method highly relies on the confidence bounds, failing to strike the optimal exploration-exploitation if these bounds are not properly set. In the literature, confidence bounds are typically derived from concentration inequalities based on assumptions on the reward distribution, e.g., sub-Gaussianity. The validity of these assumptions however is unknown in practice. In this work, we aim at learning the confidence bound in a data-driven fashion, making it adaptive to the actual problem structure. Specifically, noting that existing UCB-typed algorithms are not differentiable with respect to confidence bound, we first propose a novel differentiable linear bandit algorithm. Then, we introduce a gradient estimator, which allows the confidence bound to be learned via gradient ascent. Theoretically, we show that the proposed algorithm achieves a $\tilde{\mathcal{O}}(\hat{\beta}\sqrt{dT})$ upper bound of $T$-round regret, where $d$ is the dimension of arm features and $\hat{\beta}$ is the learned size of confidence bound. Empirical results show that $\hat{\beta}$ is significantly smaller than its theoretical upper bound and proposed algorithms outperforms baseline ones on both simulated and real-world datasets.


title: A Siamese Neural Network with Modified Distance Loss For Transfer Learning in Speech Emotion Recognition

abstract: Automatic emotion recognition plays a significant role in the process of human computer interaction and the design of Internet of Things (IOT) technologies. Yet, a common problem in emotion recognition systems lies in the scarcity of reliable labels. By modeling pairwise differences between samples of interest, a Siamese network can help to mitigate this challenge since it requires fewer samples than traditional deep learning methods. In this paper, we propose a distance loss, which can be applied on the Siamese network fine-tuning, by optimizing the model based on the relevant distance between same and difference class pairs. Our system use samples from the source data to pre-train the weights of proposed Siamese neural network, which are fine-tuned based on the target data. We present an emotion recognition task that uses speech, since it is one of the most ubiquitous and frequently used bio-behavioral signals. Our target data comes from the RAVDESS dataset, while the CREMA-D and eNTERFACE'05 are used as source data, respectively. Our results indicate that the proposed distance loss is able to greatly benefit the fine-tuning process of Siamese network. Also, the selection of source data has more effect on the Siamese network performance compared to the number of frozen layers. These suggest the great potential of applying the Siamese network and modelling pairwise differences in the field of transfer learning for automatic emotion recognition.


title: Linguists Who Use Probabilistic Models Love Them: Quantification in Functional Distributional Semantics

abstract: Functional Distributional Semantics provides a computationally tractable framework for learning truth-conditional semantics from a corpus. Previous work in this framework has provided a probabilistic version of first-order logic, recasting quantification as Bayesian inference. In this paper, I show how the previous formulation gives trivial truth values when a precise quantifier is used with vague predicates. I propose an improved account, avoiding this problem by treating a vague predicate as a distribution over precise predicates. I connect this account to recent work in the Rational Speech Acts framework on modelling generic quantification, and I extend this to modelling donkey sentences. Finally, I explain how the generic quantifier can be both pragmatically complex and yet computationally simpler than precise quantifiers.


title: Motivic Multiple Zeta Values and the Block Filtration

abstract: We extend the block filtration, defined by Brown based on the work of Charlton, to all motivic multiple zeta values, and study relations compatible with this filtration. We construct a Lie algebra describing relations among motivic multiple zeta values modulo terms of lower block degree, proving Charlton's cyclic insertion conjecture in this structure, and showing the existence of a `block shuffle' relation, and a previously unknown dihedral symmetry and differential relation.


title: Hot Hydride Superconductivity above 550 K

abstract: The search for room temperature superconductivity has accelerated dramatically in the last few years driven largely by theoretical predictions that first indicated alloying dense hydrogen with other elements could produce conventional phonon-mediated superconductivity at very high temperatures and at accessible pressures, and more recently, with the success of structure search methods that have identified specific candidates and pressure-temperature (P-T) conditions for synthesis. These theoretical advances have prompted improvements in experimental techniques to test these predictions. As a result, experimental studies of simple binary hydrides under pressure have yielded high critical superconducting transition temperatures (Tc), of 260 K in LaH10, close to the commonly accepted threshold for room temperature, 293 K, at pressures near 180 GPa. We successfully synthesized a metallic La-based superhydride from La metal and ammonia borane, NH3BH3, and find a multi-step transition with a Tc of 294 K for the highest onset. When subjected to subsequent thermal excursions to higher temperatures that promoted a chemical reaction to what we believe is a ternary or higher order system, the transition temperature was driven to higher temperatures. Although the reaction does not appear to be complete, the onset temperature was pushed from 294 K to 556 K before the experiments had to be terminated. The results provide evidence for hot superconductivity well above room temperature, in line with recent predictions for a higher order hydride under pressure.


title: Learning DAGs without imposing acyclicity

abstract: We explore if it is possible to learn a directed acyclic graph (DAG) from data without imposing explicitly the acyclicity constraint. In particular, for Gaussian distributions, we frame structural learning as a sparse matrix factorization problem and we empirically show that solving an $\ell_1$-penalized optimization yields to good recovery of the true graph and, in general, to almost-DAG graphs. Moreover, this approach is computationally efficient and is not affected by the explosion of combinatorial complexity as in classical structural learning algorithms.


title: On the Minor Problem and Branching Coefficients

abstract: The Minor problem, namely the study of the spectrum of a principal submatrix of a Hermitian matrix taken at random on its orbit under conjugation, is revisited, with emphasis on the use of orbital integrals and on the connection with branching coefficients in the decomposition of an irreducible representation of U(n), resp. SU(n), into irreps of U(n-1), resp. SU(n-1).


title: An Inference and Learning Engine for Spiking Neural Networks in Computational RAM (CRAM)

abstract: Spiking Neural Networks (SNN) represent a biologically inspired computation model capable of emulating neural computation in human brain and brain-like structures. The main promise is very low energy consumption. Unfortunately, classic Von Neumann architecture based SNN accelerators often fail to address demanding computation and data transfer requirements efficiently at scale. In this work, we propose a promising alternative, an in-memory SNN accelerator based on Spintronic Computational RAM (CRAM) to overcome scalability limitations, which can reduce the energy consumption by up to 164.1$\times$ when compared to a representative ASIC solution.


title: Arithmeticity, superrigidity and totally geodesic submanifolds of complex hyperbolic manifolds

abstract: For $n \ge 2$, we prove that a finite volume complex hyperbolic $n$-manifold containing infinitely many maximal properly immersed totally geodesic submanifolds of dimension at least two is arithmetic, paralleling our previous work for real hyperbolic manifolds. As in the real hyperbolic case, our primary result is a superrigidity theorem for certain representations of complex hyperbolic lattices. The proof requires developing new general tools not needed in the real hyperbolic case. Our main results also have a number of other applications. For example, we prove nonexistence of certain maps between complex hyperbolic manifolds, which is related to a question of Siu, that certain hyperbolic $3$-manifolds cannot be totally geodesic submanifolds of complex hyperbolic manifolds, and that arithmeticity of complex hyperbolic manifolds is detected purely by the topology of the underlying complex variety, which is related to a question of Margulis. Our results also provide some evidence for a conjecture of Klingler that is a broad generalization of the Zilber--Pink conjecture.


title: List-three-coloring $ P_t $-free graphs with no induced 1-subdivision of $ K_{1,s} $

abstract: Let $s$ and $t$ be positive integers. We use $P_t$ to denote the path with $t$ vertices and $K_{1,s}$ to denote the complete bipartite graph with parts of size $1$ and $s$ respectively. The one-subdivision of $K_{1,s}$ is obtained by replacing every edge $\{u,v\}$ of $K_{1,s}$ by two edges $\{u,w\}$ and $\{v,w\}$ with a new vertex $w$. In this paper, we give a polynomial-time algorithm for the list-three-coloring problem restricted to the class of $P_t$-free graph with no induced 1-subdivision of $K_{1,s}$.


title: Syntactic Search by Example

abstract: We present a system that allows a user to search a large linguistically annotated corpus using syntactic patterns over dependency graphs. In contrast to previous attempts to this effect, we introduce a light-weight query language that does not require the user to know the details of the underlying syntactic representations, and instead to query the corpus by providing an example sentence coupled with simple markup. Search is performed at an interactive speed due to an efficient linguistic graph-indexing and retrieval engine. This allows for rapid exploration, development and refinement of syntax-based queries. We demonstrate the system using queries over two corpora: the English wikipedia, and a collection of English pubmed abstracts. A demo of the wikipedia system is available at: https://allenai.github.io/spike


title: Fully compressible simulations of waves and core convection in main-sequence stars

abstract: Context. Recent, nonlinear simulations of wave generation and propagation in full-star models have been carried out in the anelastic approximation using spectral methods. Although it makes long time steps possible, this approach excludes the physics of sound waves completely and rather high artificial viscosity and thermal diffusivity are needed for numerical stability. Direct comparison with observations is thus limited. Aims. We explore the capabilities of our compressible multidimensional hydrodynamics code SLH to simulate stellar oscillations. Methods. We compare some fundamental properties of internal gravity and pressure waves in 2D SLH simulations to linear wave theory using two test cases: (1) an interval gravity wave packet in the Boussinesq limit and (2) a realistic $3\mathrm{M}_\odot$ stellar model with a convective core and a radiative envelope. Oscillation properties of the stellar model are also discussed in the context of observations. Results. Our tests show that specialized low-Mach techniques are necessary when simulating oscillations in stellar interiors. Basic properties of internal gravity and pressure waves in our simulations are in good agreement with linear wave theory. As compared to anelastic simulations of the same stellar model, we can follow internal gravity waves of much lower frequencies. The temporal frequency spectra of velocity and temperature are flat and compatible with observed spectra of massive stars. Conclusion. The low-Mach compressible approach to hydrodynamical simulations of stellar oscillations is promising. Our simulations are less dissipative and require less luminosity boosting than comparable spectral simulations. The fully-compressible approach allows the coupling of gravity and pressure waves to be studied too.


title: Photometric detection of internal gravity waves in upper main-sequence stars. II. Combined TESS photometry and high-resolution spectroscopy

abstract: Context. Massive stars are predicted to excite internal gravity waves (IGWs) by turbulent core convection and from turbulent pressure fluctuations in their near-surface layers. These IGWs are extremely efficient at transporting angular momentum and chemical species within stellar interiors, but they remain largely unconstrained observationally. Aims. We aim to characterise the photometric detection of IGWs across a large number of O and early-B stars in the Hertzsprung-Russell diagram, and explain the ubiquitous detection of stochastic variability in the photospheres of massive stars. Methods. We combined high-precision time-series photometry from the NASA Transiting Exoplanet Survey Satellite with high-resolution ground-based spectroscopy of 70 stars with spectral types O and B to probe the relationship between the photometric signatures of IGWs and parameters such as spectroscopic mass, luminosity, and macroturbulence. Results. A relationship is found between the location of a star in the spectroscopic Hertzsprung-Russell diagram and the amplitudes and frequencies of stochastic photometric variability in the light curves of massive stars. Furthermore, the properties of the stochastic variability are statistically correlated with macroturbulent velocity broadening in the spectral lines of massive stars. Conclusions. The common ensemble morphology for the stochastic low-frequency variability detected in space photometry and its relationship to macroturbulence is strong evidence for IGWs in massive stars, since these types of waves are unique in providing the dominant tangential velocity field required to explain the observed spectroscopy.


title: On the derived category of the Iwahori-Hecke algebra

abstract: We state a conjecture that relates the derived category of smooth representations of a p-adic split reductive group with the derived category of (quasi-)coherent sheaves on a stack of L-parameters. We investigate the conjecture in the case of the principal block of GL_n by showing that the functor should be given by the derived tensor product with the family of representations interpolating the modified Langlands correspondence over the stack of L-parameters that is suggested by the work of Helm and Emerton-Helm.


title: Uncovering the mesoscale structure of the credit default swap market to improve portfolio risk modelling

abstract: One of the most challenging aspects in the analysis and modelling of financial markets, including Credit Default Swap (CDS) markets, is the presence of an emergent, intermediate level of structure standing in between the microscopic dynamics of individual financial entities and the macroscopic dynamics of the market as a whole. This elusive, mesoscopic level of organisation is often sought for via factor models that ultimately decompose the market according to geographic regions and economic industries. However, at a more general level the presence of mesoscopic structure might be revealed in an entirely data-driven approach, looking for a modular and possibly hierarchical organisation of the empirical correlation matrix between financial time series. The crucial ingredient in such an approach is the definition of an appropriate null model for the correlation matrix. Recent research showed that community detection techniques developed for networks become intrinsically biased when applied to correlation matrices. For this reason, a method based on Random Matrix Theory has been developed, which identifies the optimal hierarchical decomposition of the system into internally correlated and mutually anti-correlated communities. Building upon this technique, here we resolve the mesoscopic structure of the CDS market and identify groups of issuers that cannot be traced back to standard industry/region taxonomies, thereby being inaccessible to standard factor models. We use this decomposition to introduce a novel default risk model that is shown to outperform more traditional alternatives.


title: Quadruply Stochastic Gaussian Processes

abstract: We introduce a stochastic variational inference procedure for training scalable Gaussian process (GP) models whose per-iteration complexity is independent of both the number of training points, $n$, and the number basis functions used in the kernel approximation, $m$. Our central contributions include an unbiased stochastic estimator of the evidence lower bound (ELBO) for a Gaussian likelihood, as well as a stochastic estimator that lower bounds the ELBO for several other likelihoods such as Laplace and logistic. Independence of the stochastic optimization update complexity on $n$ and $m$ enables inference on huge datasets using large capacity GP models. We demonstrate accurate inference on large classification and regression datasets using GPs and relevance vector machines with up to $m = 10^7$ basis functions.


title: The importance of being discrete: on the inaccuracy of continuous approximations in auction theory

abstract: While auction theory views bids and valuations as continuous variables, real-world auctions are necessarily discrete. In this paper, we use a combination of analytical and computational methods to investigate whether incorporating discreteness substantially changes the predictions of auction theory, focusing on the case of uniformly distributed valuations so that our results bear on the majority of auction experiments. In some cases, we find that introducing discreteness changes little. For example, the first-price auction with two bidders and an even number of values has a symmetric equilibrium that closely resembles its continuous counterpart and converges to its continuous counterpart as the discretisation goes to zero. In others, however, we uncover discontinuity results. For instance, introducing an arbitrarily small amount of discreteness into the all-pay auction makes its symmetric, pure-strategy equilibrium disappear; and appears (based on computational experiments) to rob the game of pure-strategy equilibria altogether. These results raise questions about the continuity approximations on which auction theory is based and prompt a re-evaluation of the experimental literature.


title: Dynamics of a cell motility model near the sharp interface limit

abstract: Phase-field models have recently had great success in describing the dynamic morphologies and motility of eukaryotic cells. In this work we investigate the minimal phase-field model introduced in [Berlyand, Potomkin, Rybalko (2017)]. Rigorous analysis of its sharp interface limit dynamics was completed in [Mizuhara, Berlyand, Rybalko, Zhang (2016); Mizuhara, Zhang (2019)], where it was observed that persistent cell motion was not stable. In this work we numerically study the pre-limiting phase-field model near the sharp interface limit, to better understand this lack of persistent motion. We find that immobile, persistent, and rotating states are all exhibited in this minimal model, and investigate the loss of persistent motion in the sharp interface limit. In addition we study cell speed as a function of biophysical parameters.


title: Toward Long-Term and Archivable Reproducibility

abstract: Analysis pipelines commonly use high-level technologies that are popular when created, but are unlikely to be readable, executable, or sustainable in the long term. A set of criteria is introduced to address this problem: Completeness (no execution requirement beyond a minimal Unix-like operating system, no administrator privileges, no network connection, and storage primarily in plain text); modular design; minimal complexity; scalability; verifiable inputs and outputs; version control; linking analysis with narrative; and free and open source software. As a proof of concept, we introduce "Maneage" (Managing data lineage), enabling cheap archiving, provenance extraction, and peer verification that has been tested in several research publications. We show that longevity is a realistic requirement that does not sacrifice immediate or short-term reproducibility. The caveats (with proposed solutions) are then discussed and we conclude with the benefits for the various stakeholders. This article is itself a Maneage'd project (project commit 54e4eb2).


title: Complexity and Momentum

abstract: Previous work has explored the connections between three concepts -- operator size, complexity, and the bulk radial momentum of an infalling object -- in the context of JT gravity and the SYK model. In this paper we investigate the higher dimensional generalizations of these connections. We use a toy model to study the growth of an operator when perturbing the vacuum of a CFT. From circuit analysis we relate the operator growth to the rate of increase of complexity and check it by complexity-volume duality. We further give an empirical formula relating complexity and the bulk radial momentum that works from the time that the perturbation just comes in from the cutoff boundary, to after the scrambling time.


title: Feedback mechanisms for self-organization to the edge of a phase transition

abstract: Scale-free outbursts of activity are commonly observed in physical, geological, and biological systems. The idea of self-organized criticality (SOC), introduced back in 1987 by Bak, Tang and Wiesenfeld suggests that, under certain circumstances, natural systems can seemingly self-tune to a critical state with its concomitant power-laws and scaling. Theoretical progress allowed for a rationalization of how SOC works by relating its critical properties to those of a standard non-equilibrium second-order phase transition that separates an active state in which dynamical activity reverberates indefinitely, from an absorbing or quiescent state where activity eventually ceases. Here, we briefly review these ideas as well as a recent closely-related concept: self-organized bistability (SOB). In SOB, the very same type of feedback operates in a system characterized by a discontinuos phase transition, which has no critical point but instead presents bistability between active and quiescent states. SOB also leads to scale-invariant avalanches of activity but, in this case, with a different type of scaling and coexisting with anomalously large outbursts. Moreover, SOB explains experiments with real sandpiles more closely than SOC. We review similarities and differences between SOC and SOB by presenting and analyzing them under a common theoretical framework, covering recent results as well as possible future developments. We also discuss other related concepts for "imperfect" self-organization such as "self-organized quasi-criticality" and "self-organized collective oscillations", of relevance in e.g. neuroscience, with the aim of providing an overview of feedback mechanisms for self-organization to the edge of a phase transition.


title: Leptogenesis and low-energy CP violation in a type-II-dominated left-right seesaw model

abstract: We consider leptogenesis in a left-right-symmetric seesaw scenario in which neutrino mass generation and leptogenesis are dominated by the type-II seesaw term. Motivated by grand unification, we assume that the neutrino Dirac mass matrix is dominated by a single entry of the order of the top-quark mass, which leaves the low-energy phases of the lepton mixing matrix as the only sources of CP violation. Working in a regime where the triplet scalar predominantly decays into leptons, this results in a predictive scenario based on a minimal number of parameters. We perform a detailed analysis of the flavored Boltzmann equations within a revised density matrix framework and demonstrate that the observed baryon asymmetry can be successfully generated in this simple model. We point out that the significance of flavor effects is limited, and we discuss the implications for low-energy observables such as the Dirac CP phase and neutrinoless double beta decay.


title: Response to LiveBot: Generating Live Video Comments Based on Visual and Textual Contexts

abstract: Live video commenting systems are an emerging feature of online video sites. Recently the Chinese video sharing platform Bilibili, has popularised a novel captioning system where user comments are displayed as streams of moving subtitles overlaid on the video playback screen and broadcast to all viewers in real-time. LiveBot was recently introduced as a novel Automatic Live Video Commenting (ALVC) application. This enables the automatic generation of live video comments from both the existing video stream and existing viewers comments. In seeking to reproduce the baseline results reported in the original Livebot paper, we found differences between the reproduced results using the project codebase and the numbers reported in the paper. Further examination of this situation suggests that this may be caused by a number of small issues in the project code, including a non-obvious overlap between the training and test sets. In this paper, we study these discrepancies in detail and propose an alternative baseline implementation as a reference for other researchers in this field.


title: Digital Currency and Economic Crises: Helping States Respond

abstract: The current crisis, at the time of writing, has had a profound impact on the financial world, introducing the need for creative approaches to revitalising the economy at the micro level as well as the macro level. In this informal analysis and design proposal, we describe how infrastructure for digital assets can serve as a useful monetary and fiscal policy tool and an enabler of existing tools in the future, particularly during crises, while aligning the trajectory of financial technology innovation toward a brighter future. We propose an approach to digital currency that would allow people without banking relationships to transact electronically and privately, including both internet purchases and point-of-sale purchases that are required to be cashless. We also propose an approach to digital currency that would allow for more efficient and transparent clearing and settlement, implementation of monetary and fiscal policy, and management of systemic risk. The digital currency could be implemented as central bank digital currency (CBDC), or it could be issued by the government and collateralised by public funds or Treasury assets. Our proposed architecture allows both manifestations and would be operated by banks and other money services businesses, operating within a framework overseen by government regulators. We argue that now is the time for action to undertake development of such a system, not only because of the current crisis but also in anticipation of future crises resulting from geopolitical risks, the continued globalisation of the digital economy, and the changing value and risks that technology brings.


title: Exact D7-brane embedding in the Pilch-Warner background

abstract: A new supersymmetric D7-brane embedding in the Pilch-Warner gravitational background is found exactly, by solving the supersymmetric condition. In the dual holographic picture, our setting corresponds to adding a quenched fundamental matter sector to N=2* super Yang-Mills theory, at zero temperature. We show that previous results in the same setting are missing the Wess-Zumino term in the D-brane action, and how our results complete the picture.


title: A statistical Testing Procedure for Validating Class Labels

abstract: Motivated by an open problem of validating protein identities in label-free shotgun proteomics work-flows, we present a testing procedure to validate class/protein labels using available measurements across instances/peptides. More generally, we present a solution to the problem of identifying instances that are deemed, based on some distance (or quasi-distance) measure, as outliers relative to the subset of instances assigned to the same class. The proposed procedure is non-parametric and requires no specific distributional assumption on the measured distances. The only assumption underlying the testing procedure is that measured distances between instances within the same class are stochastically smaller than measured distances between instances from different classes. The test is shown to simultaneously control the Type I and Type II error probabilities whilst also controlling the overall error probability of the repeated testing invoked in the validation procedure of initial class labeling. The theoretical results are supplemented with results from an extensive numerical study, simulating a typical setup for labeling validation in proteomics work-flow applications. These results illustrate the applicability and viability of our method. Even with up to 25% of instances mislabeled, our testing procedure maintains a high specificity and greatly reduces the proportion of mislabeled instances.


title: Effects of geometric frustration in Kitaev chains

abstract: We study the topological phase transitions of a Kitaev chain in the presence of geometric frustration caused by the addition of a single long-range hopping. The latter condition defines a legged-ring geometry (Kitaev tie) lacking of translational invariance. In order to study the topological properties of the system, we generalize the transfer matrix approach through which the emergence of Majorana modes is studied. We find that geometric frustration gives rise to a topological phase diagram in which non-trivial phases alternate with trivial ones at varying the range of the extra hopping and the chemical potential. Frustration effects are also studied in a translational invariant model consisting of multiple-ties. In the latter system, the translational invariance permits to use the topological bulk invariant to determine the phase diagram and bulk-edge correspondence is recovered. It has been demonstrated that geometric frustration effects persist even when translational invariance is restored. These findings are relevant in studying the topological phases of looped ballistic conductors.


title: Probing the angular and polarization reconstruction of the ARIANNA detector at the South Pole

abstract: The sources of ultra-high energy (UHE) cosmic rays, which can have energies up to 10^20 eV, remain a mystery. UHE neutrinos may provide important clues to understanding the nature of cosmic-ray sources. ARIANNA aims to detect UHE neutrinos via radio (Askaryan) emission from particle showers when a neutrino interacts with ice, which is an efficient method for neutrinos with energies between 10^16 eV and 10^20 eV. The ARIANNA radio detectors are located in Antarctic ice just beneath the surface. Neutrino observation requires that radio pulses propagate to the antennas at the surface with minimum distortion by the ice and firn medium. Using the residual hole from the South Pole Ice Core Project, radio pulses were emitted from a transmitter located up to 1.7 km below the snow surface. By measuring these signals with an ARIANNA surface station, the angular and polarization reconstruction abilities are quantified, which are required to measure the direction of the neutrino. After deconvolving the raw signals for the detector response and attenuation from propagation through the ice, the signal pulses show no significant distortion and agree with a reference measurement of the emitter made in an anechoic chamber. Furthermore, the signal pulses reveal no significant birefringence for our tested geometry of mostly vertical ice propagation. The origin of the transmitted radio pulse was measured with an angular resolution of 0.37 degrees indicating that the neutrino direction can be determined with good precision if the polarization of the radio-pulse can be well determined. In the present study we obtained a resolution of the polarization vector of 2.7 degrees. Neither measurement show a significant offset relative to expectation.


title: Visually Guided Sound Source Separation using Cascaded Opponent Filter Network

abstract: The objective of this paper is to recover the original component signals from a mixture audio with the aid of visual cues of the sound sources. Such task is usually referred as visually guided sound source separation. The proposed Cascaded Opponent Filter (COF) framework consists of multiple stages, which recursively refine the source separation. A key element in COF is a novel opponent filter module that identifies and relocates residual components between sources. The system is guided by the appearance and motion of the source, and, for this purpose, we study different representations based on video frames, optical flows, dynamic images, and their combinations. Finally, we propose a Sound Source Location Masking (SSLM) technique, which, together with COF, produces a pixel level mask of the source location. The entire system is trained end-to-end using a large set of unlabelled videos. We compare COF with recent baselines and obtain the state-of-the-art performance in three challenging datasets (MUSIC, A-MUSIC, and A-NATURAL). Project page: https://ly-zhu.github.io/cof-net.


title: Differential operators on classical invariant rings do not lift modulo $p$

abstract: Levasseur and Stafford described the rings of differential operators on various classical invariant rings of characteristic zero; in each of the cases that they considered, the differential operators form a simple ring. Towards an attack on the simplicity of rings of differential operators on invariant rings of linearly reductive groups over the complex numbers, Smith and Van den Bergh asked if differential operators on the corresponding rings of positive prime characteristic lift to characteristic zero differential operators. We prove that, in general, this is not the case for determinantal hypersurfaces, as well as for Pfaffian and symmetric determinantal hypersurfaces. We also prove that, with very few exceptions, these hypersurfaces -- and, more generally, classical invariant rings -- do not admit a mod $p^2$ lift of the Frobenius endomorphism.


title: Elliptic Blowup Equations for 6d SCFTs. IV: Matters

abstract: Given the recent geometrical classification of 6d $(1,0)$ SCFTs, a major question is how to compute for this large class their elliptic genera. The latter encode the refined BPS spectrum of the SCFTs, which determines geometric invariants of the associated elliptic non-compact Calabi-Yau threefolds. In this paper we establish for all 6d $(1,0)$ SCFTs in the atomic classification blowup equations that fix these elliptic genera to large extent. The latter fall into two types: the unity- and the vanishing blowup equations. For almost all rank one theories, we find unity blowup equations which determine the elliptic genera completely. We develop several techniques to compute elliptic genera and BPS invariants from the blowup equations, including a recursion formula with respect to the number of strings, a Weyl orbit expansion, a refined BPS expansion and an $\epsilon_1,\epsilon_2$ expansion. For higher-rank theories, we propose a gluing rule to obtain all their blowup equations based on those of rank one theories. For example, we explicitly give the elliptic blowup equations for the three higher-rank non-Higgsable clusters, ADE chain of $-2$ curves and conformal matter theories. We also give the toric construction for many elliptic non-compact Calabi-Yau threefolds which engineer 6d $(1,0)$ SCFTs with various matter representations.


title: Nimble: Efficiently Compiling Dynamic Neural Networks for Model Inference

abstract: Modern deep neural networks increasingly make use of features such as dynamic control flow, data structures and dynamic tensor shapes. Existing deep learning systems focus on optimizing and executing static neural networks which assume a pre-determined model architecture and input data shapes--assumptions which are violated by dynamic neural networks. Therefore, executing dynamic models with deep learning systems is currently both inflexible and sub-optimal, if not impossible. Optimizing dynamic neural networks is more challenging than static neural networks; optimizations must consider all possible execution paths and tensor shapes. This paper proposes Nimble, a high-performance and flexible system to optimize, compile, and execute dynamic neural networks on multiple platforms. Nimble handles model dynamism by introducing a dynamic type system, a set of dynamism-oriented optimizations, and a light-weight virtual machine runtime. Our evaluation demonstrates that Nimble outperforms state-of-the-art deep learning frameworks and runtime systems for dynamic neural networks by up to 20x on hardware platforms including Intel CPUs, ARM CPUs, and Nvidia GPUs.


title: Algorithms for quantum simulation at finite energies

abstract: We introduce two kinds of quantum algorithms to explore microcanonical and canonical properties of many-body systems. The first one is a hybrid quantum algorithm that, given an efficiently preparable state, computes expectation values in a finite energy interval around its mean energy. This algorithm is based on a filtering operator, similar to quantum phase estimation, which projects out energies outside the desired energy interval. However, instead of performing this operation on a physical state, it recovers the physical values by performing interferometric measurements without the need to prepare the filtered state. We show that the computational time scales polynomially with the number of qubits, the inverse of the prescribed variance, and the inverse error. In practice, the algorithm does not require the evolution for long times, but instead a significant number of measurements in order to obtain sensible results. Our second algorithm is a quantum-assisted Monte Carlo sampling method to compute other quantities which approach the expectation values for the microcanonical and canonical ensembles. Using classical Monte Carlo techniques and the quantum computer as a resource, this method circumvents the sign problem that is plaguing classical Quantum Monte Carlo simulations, as long as one can prepare states with suitable energies. All algorithms can be used with small quantum computers and analog quantum simulators, as long as they can perform the interferometric measurements. We also show that this last task can be greatly simplified at the expense of performing more measurements.


title: Polarized electron-deuteron deep-inelastic scattering with spectator nucleon tagging

abstract: Background: DIS on the polarized deuteron with detection of a proton in the nuclear breakup region (spectator tagging) represents a unique method for extracting the neutron spin structure functions and studying nuclear modifications. The tagged proton momentum controls the nuclear configuration during the DIS process and enables a differential analysis of nuclear effects. Such measurements could be performed with the future electron-ion collider (EIC) and forward proton detectors if deuteron beam polarization could be achieved. Purpose: Develop theoretical framework for polarized deuteron DIS with spectator tagging. Formulate procedures for neutron spin structure extraction. Methods: A covariant spin density matrix formalism is used to describe general deuteron polarization in collider experiments (vector/tensor, pure/mixed). Light-front (LF) quantum mechanics is employed to factorize nuclear and nucleonic structure in the DIS process. A 4-dimensional representation of LF spin structure is used to construct the polarized deuteron LF wave function and efficiently evaluate the spin sums. Free neutron structure is extracted using the impulse approximation and analyticity in the tagged proton momentum (pole extrapolation). Results: General expressions of the polarized tagged DIS observables in collider experiments. Analytic and numerical study of the polarized deuteron LF spectral function and nucleon momentum distributions. Practical procedures for neutron spin structure extraction from the tagged deuteron spin asymmetries. Conclusions: Spectator tagging provides new tools for precise neutron spin structure measurements. D-wave depolarization and nuclear binding effects can be eliminated through the tagged proton momentum dependence. The methods can be extended to tensor-polarized observables, spin-orbit effects, and diffractive processes.


title: SEIRD model to study the asymptomatic growth during COVID-19 pandemic in India

abstract: According to the current perception, symptomatic, presymptomatic, and asymptomatic infectious persons can infect the healthy population susceptible to the SARS-Cov-2. More importantly, various reports indicate that the number of asymptomatic cases can be several-fold higher than the reported symptomatic cases. In this article, we take the reported cases in India and various states within the country till September 1, as the specimen to understand the progression of the COVID-19. Employing a modified SEIRD model, we predict the spread of COVID-19 by the symptomatic as well as asymptomatic infectious population. Considering reported infection primarily due to symptomatic we compare the model predicted results with the available data to estimate the dynamics of the asymptomatically infected population. Our data indicate that in the absence of the asymptomatic infectious population, the number of symptomatic cases would have been much less. Therefore, the current progress of the symptomatic infection can be reduced by quarantining the asymptomatically infectious population via extensive or random testing. This study is motivated strictly towards academic pursuit; this theoretical investigation is not meant for influencing policy decisions or public health practices.


title: Accuracy of Y-function methods for parameters extraction of two-dimensional FETs across different technologies

abstract: The accuracy of contact resistance values of two-dimensional field-effect transistors extracted with the \textit{Y}-function considering the impact of the intrinsic mobility degradation is evaluated here. The difference between methodologies that take this factor into account and ignore it is pointed out by a detailed analysis of the approximations of the transport model used for each extraction. In contrast to the oftenly used approach where the intrinsic mobility degradation is neglected, a \textit{Y}-function-based method considering a more complete transport model yields contact resistance values similar to reference values obtained by other intricate approaches. The latter values are more suitable also to describe experimental data of two dimensional devices of different technologies. The intrinsic mobility degradation factor of two-dimensional transistors is experimentally characterized for the first time and its impact on the device performance is described and evaluated.


title: Symplectic Kloosterman Sums and Poincar\'e Series

abstract: We prove power-saving bounds for general Kloosterman sums on $\operatorname{Sp}(4)$ associated to all Weyl elements via a stratification argument coupled with $p$-adic stationary phase methods. We relate these Kloosterman sums to the Fourier coefficients of $\operatorname{Sp}(4)$ Poincar\'e series.


title: Mass Renormalization in Transition Metal Dichalcogenides

abstract: It is shown that the three-fold rotational symmetry in transition metal dichalcogenides leads to a Coulomb induced renormalization of the effective electron and hole masses near the $K$-points of the Brillouin zone. The magnitude of the renormalization depends on the dielectric configuration. The effective exciton mass $m=0.4 m_0$ of a freely suspended MoS$_2$ monolayer changes to $m= 0.35 m_0$ with hBN encapsulation. The mass renormalization increases the excitonic binding energy and reduces the exciton diamagnetic shift and cyclotron frequency. Detailed comparisons with high field measurements of the excitonic diamagnetic shift show excellent agreement.


title: Generic scarring for minimal hypersurfaces along stable hypersurfaces

abstract: Let $M^{n+1}$ be a closed manifold of dimension $3\leq n+1\leq 7$. We show that for a $C^\infty$-generic metric $g$ on $M$, to any connected, closed, embedded, $2$-sided, stable, minimal hypersurface $S\subset (M,g)$ corresponds a sequence of closed, embedded, minimal hypersurfaces $\{\Sigma_k\}$ scarring along $S$, in the sense that the area and Morse index of $\Sigma_k$ both diverge to infinity and, when properly renormalized, $\Sigma_k$ converges to $S$ as varifolds. We also show that scarring of immersed minimal surfaces along stable surfaces occurs in most closed Riemannian $3$-manifods.


title: The SOFC-Exp Corpus and Neural Approaches to Information Extraction in the Materials Science Domain

abstract: This paper presents a new challenging information extraction task in the domain of materials science. We develop an annotation scheme for marking information on experiments related to solid oxide fuel cells in scientific publications, such as involved materials and measurement conditions. With this paper, we publish our annotation guidelines, as well as our SOFC-Exp corpus consisting of 45 open-access scholarly articles annotated by domain experts. A corpus and an inter-annotator agreement study demonstrate the complexity of the suggested named entity recognition and slot filling tasks as well as high annotation quality. We also present strong neural-network based models for a variety of tasks that can be addressed on the basis of our new data set. On all tasks, using BERT embeddings leads to large performance gains, but with increasing task complexity, adding a recurrent neural network on top seems beneficial. Our models will serve as competitive baselines in future work, and analysis of their performance highlights difficult cases when modeling the data and suggests promising research directions.


title: Deep learning-based reduced order models in cardiac electrophysiology

abstract: Predicting the electrical behavior of the heart, from the cellular scale to the tissue level, relies on the formulation and numerical approximation of coupled nonlinear dynamical systems. These systems describe the cardiac action potential, that is the polarization/depolarization cycle occurring at every heart beat that models the time evolution of the electrical potential across the cell membrane, as well as a set of ionic variables. Multiple solutions of these systems, corresponding to different model inputs, are required to evaluate outputs of clinical interest, such as activation maps and action potential duration. More importantly, these models feature coherent structures that propagate over time, such as wavefronts. These systems can hardly be reduced to lower dimensional problems by conventional reduced order models (ROMs) such as, e.g., the reduced basis (RB) method. This is primarily due to the low regularity of the solution manifold (with respect to the problem parameters) as well as to the nonlinear nature of the input-output maps that we intend to reconstruct numerically. To overcome this difficulty, in this paper we propose a new, nonlinear approach which exploits deep learning (DL) algorithms to obtain accurate and efficient ROMs, whose dimensionality matches the number of system parameters. Our DL approach combines deep feedforward neural networks (NNs) and convolutional autoencoders (AEs). We show that the proposed DL-ROM framework can efficiently provide solutions to parametrized electrophysiology problems, thus enabling multi-scenario analysis in pathological cases. We investigate three challenging test cases in cardiac electrophysiology and prove that DL-ROM outperforms classical projection-based ROMs.


title: Sample Complexity of Asynchronous Q-Learning: Sharper Analysis and Variance Reduction

abstract: Asynchronous Q-learning aims to learn the optimal action-value function (or Q-function) of a Markov decision process (MDP), based on a single trajectory of Markovian samples induced by a behavior policy. Focusing on a $\gamma$-discounted MDP with state space $\mathcal{S}$ and action space $\mathcal{A}$, we demonstrate that the $\ell_{\infty}$-based sample complexity of classical asynchronous Q-learning --- namely, the number of samples needed to yield an entrywise $\varepsilon$-accurate estimate of the Q-function --- is at most on the order of $\frac{1}{\mu_{\min}(1-\gamma)^5\varepsilon^2}+ \frac{t_{mix}}{\mu_{\min}(1-\gamma)}$ up to some logarithmic factor, provided that a proper constant learning rate is adopted. Here, $t_{mix}$ and $\mu_{\min}$ denote respectively the mixing time and the minimum state-action occupancy probability of the sample trajectory. The first term of this bound matches the sample complexity in the synchronous case with independent samples drawn from the stationary distribution of the trajectory. The second term reflects the cost taken for the empirical distribution of the Markovian trajectory to reach a steady state, which is incurred at the very beginning and becomes amortized as the algorithm runs. Encouragingly, the above bound improves upon the state-of-the-art result \cite{qu2020finite} by a factor of at least $|\mathcal{S}||\mathcal{A}|$ for all scenarios, and by a factor of at least $t_{mix}|\mathcal{S}||\mathcal{A}|$ for any sufficiently small accuracy level $\varepsilon$. Further, we demonstrate that the scaling on the effective horizon $\frac{1}{1-\gamma}$ can be improved by means of variance reduction.

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


title: Access-optimal Linear MDS Convertible Codes for All Parameters

abstract: In large-scale distributed storage systems, erasure codes are used to achieve fault tolerance in the face of node failures. Tuning code parameters to observed failure rates has been shown to significantly reduce storage cost. Such tuning of redundancy requires "code conversion", i.e., a change in code dimension and length on already encoded data. Convertible codes are a new class of codes designed to perform such conversions efficiently. The access cost of conversion is the number of nodes accessed during conversion. Existing literature has characterized the access cost of conversion of linear MDS convertible codes only for a specific and small subset of parameters. In this paper, we present lower bounds on the access cost of conversion of linear MDS codes for all valid parameters. Furthermore, we show that these lower bounds are tight by presenting an explicit construction for access-optimal linear MDS convertible codes for all valid parameters. En route, we show that, one of the degrees-of-freedom in the design of convertible codes that was inconsequential in the previously studied parameter regimes, turns out to be crucial when going beyond these regimes and adds to the challenge in the analysis and code construction.


title: The Clockwork Standard Model

abstract: We consider various bulk fields with general dilaton couplings in the linear dilaton background in five dimensions as the continuum limit of clockwork models. We show that the localization of the zero modes of bulk fields and the mass gap in the KK spectrum depend not only on the bulk dilaton coupling, but also on the bulk mass parameter in the case of a bulk fermion. The consistency from universality and perturbativity of gauge couplings constrain the dilaton couplings to the brane-localized matter fields as well as the bulk gauge bosons. Constructing the Clockwork Standard Model (SM) in the linear dilaton background, we provide the necessary conditions for the bulk mass parameters for explaining the mass hierarchy and mixing for the SM fermions. We can introduce a sizable expansion parameter $\varepsilon=e^{-\frac{2}{3} kz_c}$ for the realistic flavor structure in the quark sector without a fine-tuning in the bulk mass parameters, but at the expense of a large 5D Planck scale. On the other hand, we can use a smaller expansion parameter for lepton masses, in favor of the solution to the hierarchy problem of the Higgs mass parameter. We found that massive Kaluza-Klein (KK) gauge bosons and massive KK gravitons couple more strongly to light and heavy fermions, respectively, so there is a complementarity in the resonance researches for those KK modes at the LHC.


title: Unstable Throughput: When the Difficulty Algorithm Breaks

abstract: In Proof-of-Work blockchains, difficulty algorithms serve the crucial purpose of maintaining a stable transaction throughput by dynamically adjusting the block difficulty in response to the miners' constantly changing computational power. Blockchains that may experience severe hash rate fluctuations need difficulty algorithms that quickly adapt the mining difficulty. However, without careful design, the system could be gamed by miners using coin-hopping strategies to manipulate the block difficulty for profit. Such miner behavior results in an unreliable system due to the unstable processing of transactions. We provide an empirical analysis of how Bitcoin Cash's difficulty algorithm design leads to cyclicality in block solve times as a consequence of a positive feedback loop. In response, we mathematically derive a difficulty algorithm using a negative exponential filter which prohibits the formation of positive feedback and exhibits additional desirable properties, such as history agnosticism. We compare the described algorithm to that of Bitcoin Cash in a simulated mining environment and verify that the former would eliminate the severe oscillations in transaction throughput.


title: Online Versus Offline Rate in Streaming Codes for Variable-Size Messages

abstract: One pervasive challenge in providing a high quality-of-service for live communication is to recover lost packets in real-time. Streaming codes are a class of erasure codes that are designed for such strict, low-latency streaming communication settings. Motivated by applications that transmit messages whose sizes vary over time, such as live video streaming, this paper considers the setting of streaming codes under variable-size messages. In practice, streaming codes operate in an "online" setting where the sizes of the future messages are unknown. "Offline" codes, in contrast, have access to the sizes of all messages, including future ones. This paper introduces the first online rate-optimal streaming codes for communicating over a burst-only packet loss channel for two broad parameter regimes. These two online codes match the rates of optimal offline codes for the two settings despite the apparent advantage of the offline setting. This paper further establishes that online codes cannot attain the optimal rate for offline codes for all remaining parameter settings.


title: Rotation Curves in z~1-2 Star-Forming Disks: Evidence for Cored Dark Matter Distributions

abstract: We report high quality, Halpha or CO rotation curves (RCs) to several Re for 41 large, massive, star-forming disk galaxies (SFGs), across the peak of cosmic galaxy evolution (z~0.67-2.45), taken with the ESO-VLT, the LBT and IRAM-NOEMA. Most RC41 SFGs have reflection symmetric RCs plausibly described by equilibrium dynamics. We fit the major axis position-velocity cuts with beam-convolved, forward modeling with a bulge, a turbulent rotating disk, and a dark matter (DM) halo. We include priors for stellar and molecular gas masses, optical light effective radii and inclinations, and DM masses from abundance matching scaling relations. Two-thirds or more of the z>1.2 SFGs are baryon dominated within a few Re of typically 5.5 kpc, and have DM fractions less than maximal disks (<fDM (Re)>=0.12). At lower redshift (z<1.2) that fraction is less than one-third. DM fractions correlate inversely with the baryonic angular momentum parameter, baryonic surface density and bulge mass. Inferred low DM fractions cannot apply to the entire disk & halo but more plausibly reflect a flattened, or cored, inner DM density distribution. The typical central 'DM deficit' in these cores relative to NFW distributions is ~30% of the bulge mass. The observations are consistent with rapid radial transport of baryons in the first generation massive gas rich halos forming globally gravitationally unstable disks, and leading to efficient build-up of massive bulges and central black holes. A combination of heating due to dynamical friction and AGN feedback may drive DM out of the initial cusps.


title: An efficient numerical algorithm for solving data driven feedback control problems

abstract: The goal of this paper is to solve a class of stochastic optimal control problems numerically, in which the state process is governed by an It\^o type stochastic differential equation with control process entering both in the drift and the diffusion, and is observed partially. The optimal control of feedback form is determined based on the available observational data. We call this type of control problems the data driven feedback control. The computational framework that we introduce to solve such type of problems aims to find the best estimate for the optimal control as a conditional expectation given the observational information. To make our method feasible in providing timely feedback to the controlled system from data, we develop an efficient stochastic optimization algorithm to implement our computational framework.


title: Asymmetric Leaky Private Information Retrieval

abstract: Information-theoretic formulations of the private information retrieval (PIR) problem have been investigated under a variety of scenarios. Symmetric private information retrieval (SPIR) is a variant where a user is able to privately retrieve one out of $K$ messages from $N$ non-colluding replicated databases without learning anything about the remaining $K-1$ messages. However, the goal of perfect privacy can be too taxing for certain applications. In this paper, we investigate if the information-theoretic capacity of SPIR (equivalently, the inverse of the minimum download cost) can be increased by relaxing both user and DB privacy definitions. Such relaxation is relevant in applications where privacy can be traded for communication efficiency. We introduce and investigate the Asymmetric Leaky PIR (AL-PIR) model with different privacy leakage budgets in each direction. For user privacy leakage, we bound the probability ratios between all possible realizations of DB queries by a function of a non-negative constant $\epsilon$. For DB privacy, we bound the mutual information between the undesired messages, the queries, and the answers, by a function of a non-negative constant $\delta$. We propose a general AL-PIR scheme that achieves an upper bound on the optimal download cost for arbitrary $\epsilon$ and $\delta$. We show that the optimal download cost of AL-PIR is upper-bounded as $D^{*}(\epsilon,\delta)\leq 1+\frac{1}{N-1}-\frac{\delta e^{\epsilon}}{N^{K-1}-1}$. Second, we obtain an information-theoretic lower bound on the download cost as $D^{*}(\epsilon,\delta)\geq 1+\frac{1}{Ne^{\epsilon}-1}-\frac{\delta}{(Ne^{\epsilon})^{K-1}-1}$. The gap analysis between the two bounds shows that our AL-PIR scheme is optimal when $\epsilon =0$, i.e., under perfect user privacy and it is optimal within a maximum multiplicative gap of $\frac{N-e^{-\epsilon}}{N-1}$ for any $(\epsilon,\delta)$.


title: The sign of longitudinal magnetoconductivity and the planar Hall effect in Weyl semimetals

abstract: The manifestation of chiral anomaly in Weyl semimetals typically relies on the observation of longitudinal magnetoconductance (LMC) along with the planar Hall effect, with a specific magnetic field and angle dependence. Here we solve the Boltzmann equation in the semiclassical regime for a prototype of a Weyl semimetal, allowing for both intravalley and intervalley scattering, along with including effects from the orbital magnetic moment (OMM), in a geometry where the electric and magnetic fields are not necessarily parallel to each other. We construct the phase diagram in the relevant parameter space that describes the shift from positive to negative LMC in the presence of OMM and sufficiently strong intervalley scattering, as has been recently pointed out for only parallel electric and magnetic fields. On the other hand, we find that the chiral anomaly contribution to the planar Hall effect always remains positive (unlike the LMC) irrespective of the inclusion or exclusion of OMM, or the strength of the intervalley scattering. Our predictions can be directly tested in experiments, and may be employed as new diagnostic procedures to verify chiral anomaly in Weyl systems.


title: Mt. Wendelstein imaging of comet 41P/Tuttle-Giacobini-Kresak during the 2017 perihelion arc

abstract: Comet 41P/Tuttle-Giacobini-Kresak (41P), a Jupiter family comet with three discoveries over about 100 years, is in a short-periodic orbit around the Sun with the perihelion close to the Earth distance. The 2017 apparition of 41P offered a long-lasting visibility of the comet at a close distance to Earth. The four month-long imaging campaign with the 2 m telescope at the Mount Wendelstein Observatory was aimed at characterizing dust activity and nucleus properties of the comet. Using a new analysis method of the inner coma flux, we derived a small mean equivalent radius of about 600 m for the nucleus with an unusual body axes ratio that is higher than two. The nucleus rotation axis was determined from the geometric appearance of coma structures, which were enhanced in the images. A long-lasting coma fan was produced by an extended region at high latitudes on the slowly rotating nucleus, whereas isolated jets originated from narrow, low latitude active regions on the nucleus. The dust activity of 41P, despite being difficult to quantify exactly because of an unknown phase function correction for the comet, indicates a steep radial profile that falls off with an increasing distance from the Sun. Colors and flux profiles provide evidence for dust fragmentation in the inner coma of the comet. A singular outburst event created various dust structures in the coma. The outburst came from an extended region on the nucleus and was due to either a landslide on the nucleus or a sudden material release from a subsurface pocket of volatile ice.


title: NewB: 200,000+ Sentences for Political Bias Detection

abstract: We present the Newspaper Bias Dataset (NewB), a text corpus of more than 200,000 sentences from eleven news sources regarding Donald Trump. While previous datasets have labeled sentences as either liberal or conservative, NewB covers the political views of eleven popular media sources, capturing more nuanced political viewpoints than a traditional binary classification system does. We train two state-of-the-art deep learning models to predict the news source of a given sentence from eleven newspapers and find that a recurrent neural network achieved top-1, top-3, and top-5 accuracies of 33.3%, 61.4%, and 77.6%, respectively, significantly outperforming a baseline logistic regression model's accuracies of 18.3%, 42.6%, and 60.8%. Using the news source label of sentences, we analyze the top n-grams with our model to gain meaningful insight into the portrayal of Trump by media sources.We hope that the public release of our dataset will encourage further research in using natural language processing to analyze more complex political biases. Our dataset is posted at https://github.com/JerryWeiAI/NewB .