title: Quantile Regression Neural Networks: A Bayesian Approach

abstract: This article introduces a Bayesian neural network estimation method for quantile regression assuming an asymmetric Laplace distribution (ALD) for the response variable. It is shown that the posterior distribution for feedforward neural network quantile regression is asymptotically consistent under a misspecified ALD model. This consistency proof embeds the problem from density estimation domain and uses bounds on the bracketing entropy to derive the posterior consistency over Hellinger neighborhoods. This consistency result is shown in the setting where the number of hidden nodes grow with the sample size. The Bayesian implementation utilizes the normal-exponential mixture representation of the ALD density. The algorithm uses Markov chain Monte Carlo (MCMC) simulation technique - Gibbs sampling coupled with Metropolis-Hastings algorithm. We have addressed the issue of complexity associated with the afore-mentioned MCMC implementation in the context of chain convergence, choice of starting values, and step sizes. We have illustrated the proposed method with simulation studies and real data examples.


title: A Ranking-based, Balanced Loss Function Unifying Classification and Localisation in Object Detection

abstract: We propose average Localisation-Recall-Precision (aLRP), a unified, bounded, balanced and ranking-based loss function for both classification and localisation tasks in object detection. aLRP extends the Localisation-Recall-Precision (LRP) performance metric (Oksuz et al., 2018) inspired from how Average Precision (AP) Loss extends precision to a ranking-based loss function for classification (Chen et al., 2020). aLRP has the following distinct advantages: (i) aLRP is the first ranking-based loss function for both classification and localisation tasks. (ii) Thanks to using ranking for both tasks, aLRP naturally enforces high-quality localisation for high-precision classification. (iii) aLRP provides provable balance between positives and negatives. (iv) Compared to on average $\sim$6 hyperparameters in the loss functions of state-of-the-art detectors, aLRP Loss has only one hyperparameter, which we did not tune in practice. On the COCO dataset, aLRP Loss improves its ranking-based predecessor, AP Loss, up to around $5$ AP points, achieves $48.9$ AP without test time augmentation and outperforms all one-stage detectors. Code available at: https://github.com/kemaloksuz/aLRPLoss .


title: A POD-Galerkin reduced order model for a LES filtering approach

abstract: We propose a Proper Orthogonal Decomposition (POD)-Galerkin based Reduced Order Model (ROM) for a Leray model. For the implementation of the model, we combine a two-step algorithm called Evolve-Filter (EF) with a computationally efficient finite volume method. The main novelty of the proposed approach relies in applying spatial filtering both for the collection of the snapshots and in the reduced order model, as well as in considering the pressure field at reduced level. In both steps of the EF algorithm, velocity and pressure fields are approximated by using different POD basis and coefficients. For the reconstruction of the pressures fields, we use a pressure Poisson equation approach. We test our ROM on two benchmark problems: 2D and 3D unsteady flow past a cylinder at Reynolds number 0 <= Re <= 100. The accuracy of the reduced order model is assessed against results obtained with the full order model. For the 2D case, a parametric study with respect to the filtering radius is also presented.


title: On gauge invariance of transverse momentum dependent distributions at small-x

abstract: Transverse momentum dependent (TMD) distributions at small x exhibit a rich infinite twist structure that encompasses the leading twist (partonic) distributions as well as the physics of gluon saturation. Progress to further the connection between the standard TMD framework at moderate x and small x has been recently made. In this context, we show that light cone Wilson line operators at small-x can be formulated in terms of transverse gauge links. This new formulation of small x operators allows a direct matching with the standard leading twist gluon TMD distributions and provides an efficient and general prescription for computing TMD distributions at small x beyond leading twist.


title: Forecasting Short-term load using Econometrics time series model with T-student Distribution

abstract: By significant improvements in modern electrical systems, planning for unit commitment and power dispatching of them are two big concerns between the researchers. Short-term load forecasting plays a significant role in planning and dispatching them. In recent years, numerous works have been done on Short-term load forecasting. Having an accurate model for predicting the load can be beneficial for optimizing the electrical sources and protecting energy. Several models such as Artificial Intelligence and Statistics model have been used to improve the accuracy of load forecasting. Among the statistics models, time series models show a great performance. In this paper, an Autoregressive integrated moving average (SARIMA) - generalized autoregressive conditional heteroskedasticity (GARCH) model as a powerful tool for modeling the conditional mean and volatility of time series with the T-student Distribution is used to forecast electric load in short period of time. The attained model is compared with the ARIMA model with Normal Distribution. Finally, the effectiveness of the proposed approach is validated by applying real electric load data from the Electric Reliability Council of Texas (ERCOT). KEYWORDS: Electricity load, Forecasting, Econometrics Time Series Forecasting, SARIMA


title: An Analytic Proof of the Stable Reduction Theorem

abstract: The stable reduction theorem says that a family of curves of genus $g\geq 2$ over a punctured curve can be uniquely completed (after possible base change) by inserting certain stable curves at the punctures. We give a new proof of this result for curves defined over $\mathbb{C}$ using the K\"ahler-Einstein metrics on the fibers to obtain the limiting stable curves at the punctures.


title: Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE

abstract: We use computer-assisted proof techniques to prove that a branch of non-trivial equilibrium solutions in the Kuramoto-Sivashinsky partial differential equation undergoes a Hopf bifurcation. Furthermore, we obtain an essentially constructive proof of the family of time-periodic solutions near the Hopf bifurcation. To this end, near the Hopf point we rewrite the time periodic problem for the Kuramoto-Sivashinsky equation in a desingularized formulation. We then apply a parametrized Newton-Kantorovich approach to validate a solution branch of time-periodic orbits. By construction, this solution branch includes the Hopf bifurcation point.


title: Anomaly Detection and Sampling Cost Control via Hierarchical GANs

abstract: Anomaly detection incurs certain sampling and sensing costs and therefore it is of great importance to strike a balance between the detection accuracy and these costs. In this work, we study anomaly detection by considering the detection of threshold crossings in a stochastic time series without the knowledge of its statistics. To reduce the sampling cost in this detection process, we propose the use of hierarchical generative adversarial networks (GANs) to perform nonuniform sampling. In order to improve the detection accuracy and reduce the delay in detection, we introduce a buffer zone in the operation of the proposed GAN-based detector. In the experiments, we analyze the performance of the proposed hierarchical GAN detector considering the metrics of detection delay, miss rates, average cost of error, and sampling ratio. We identify the tradeoffs in the performance as the buffer zone sizes and the number of GAN levels in the hierarchy vary. We also compare the performance with that of a sampling policy that approximately minimizes the sum of average costs of sampling and error given the parameters of the stochastic process. We demonstrate that the proposed GAN-based detector can have significant performance improvements in terms of detection delay and average cost of error with a larger buffer zone but at the cost of increased sampling rates.


title: Tunable three-body loss in a nonlinear Rydberg medium

abstract: Long-range Rydberg interactions, in combination with electromagnetically induced transparency (EIT), give rise to strongly interacting photons where the strength, sign, and form of the interactions are widely tunable and controllable. Such control can be applied to both coherent and dissipative interactions, which provides the potential to generate novel few-photon states. Recently it has been shown that Rydberg-EIT is a rare system in which three-body interactions can be as strong or stronger than two-body interactions. In this work, we study a three-body scattering loss for Rydberg-EIT in a wide regime of single and two-photon detunings. Our numerical simulations of the full three-body wavefunction and analytical estimates based on Fermi's Golden Rule strongly suggest that the observed features in the outgoing photonic correlations are caused by the resonant enhancement of the three-body losses.


title: Patterns of Nonlinear Opinion Formation on Networks

abstract: When communicating agents form opinions about a set of possible options, agreement and disagreement are both possible outcomes. Depending on the context, either can be desirable or undesirable. We show that for nonlinear opinion dynamics on networks, and a variety of network structures, the spectral properties of the underlying adjacency matrix fully characterize the occurrence of either agreement or disagreement. We further show how the corresponding eigenvector centrality, as well as any symmetry in the network, informs the resulting patterns of opinion formation and agent sensitivity to input that triggers opinion cascades.


title: Geometry of quantum hydrodynamics in theoretical chemistry

abstract: This thesis investigates geometric approaches to quantum hydrodynamics (QHD) in order to develop applications in theoretical quantum chemistry. Based upon the momentum map geometric structure of QHD and the associated Lie-Poisson and Euler-Poincar\'e equations, alternative geometric approaches to the classical limit in QHD are presented. These include a new regularised Lagrangian which allows for singular solutions called 'Bohmions' as well as a 'cold fluid' classical closure quantum mixed states. The momentum map approach to QHD is then applied to the nuclear dynamics in a chemistry model known as exact factorization. The geometric treatment extends existing approaches to include unitary electronic evolution in the frame of the nuclear flow, with the resulting dynamics carrying both Euler-Poincar\'e and Lie-Poisson structures. A new mixed quantum-classical model is then derived by considering a generalised factorisation ansatz at the level of the molecular density matrix. A new alternative geometric formulation of QHD is then constructed. Introducing a $\mathfrak{u}(1)$ connection as the new fundamental variable provides a new method for incorporating holonomy in QHD, which follows from its constant non-zero curvature. The fluid flow is no longer irrotational and carries a non-trivial circulation theorem, allowing for vortex filament solutions. Finally, non-Abelian connections are then considered in quantum mechanics. The dynamics of the spin vector in the Pauli equation allows for the introduction of an $\mathfrak{so}(3)$ connection whilst a more general $\mathfrak{u}(\mathscr{H})$ connection is introduced from the unitary evolution of a quantum system. This is used to provide a new geometric picture for the Berry connection and quantum geometric tensor, whilst relevant applications to quantum chemistry are then considered.

categories: math-ph math.MP physics.chem-ph quant-ph


title: Non-Pharmaceutical Intervention Discovery with Topic Modeling

abstract: We consider the task of discovering categories of non-pharmaceutical interventions during the evolving COVID-19 pandemic. We explore topic modeling on two corpora with national and international scope. These models discover existing categories when compared with human intervention labels while reduced human effort needed.


title: Visual Pivoting for (Unsupervised) Entity Alignment

abstract: This work studies the use of visual semantic representations to align entities in heterogeneous knowledge graphs (KGs). Images are natural components of many existing KGs. By combining visual knowledge with other auxiliary information, we show that the proposed new approach, EVA, creates a holistic entity representation that provides strong signals for cross-graph entity alignment. Besides, previous entity alignment methods require human labelled seed alignment, restricting availability. EVA provides a completely unsupervised solution by leveraging the visual similarity of entities to create an initial seed dictionary (visual pivots). Experiments on benchmark data sets DBP15k and DWY15k show that EVA offers state-of-the-art performance on both monolingual and cross-lingual entity alignment tasks. Furthermore, we discover that images are particularly useful to align long-tail KG entities, which inherently lack the structural contexts necessary for capturing the correspondences.


title: A $P_{k+2}$ polynomial lifting operator on polygons and polyhedrons

abstract: A $P_{k+2}$ polynomial lifting operator is defined on polygons and polyhedrons. It lifts discontinuous polynomials inside the polygon/polyhedron and on the faces to a one-piece $P_{k+2}$ polynomial. With this lifting operator, we prove that the weak Galerkin finite element solution, after this lifting, converges at two orders higher than the optimal order, in both $L^2$ and $H^1$ norms. The theory is confirmed by numerical solutions of 2D and 3D Poisson equations.


title: iMLCA: Machine Learning-powered Iterative Combinatorial Auctions with Interval Bidding

abstract: Preference elicitation is a major challenge in large combinatorial auctions because the bundle space grows exponentially in the number of items. Recent work has used machine learning (ML) algorithms to identify a small set of bundles to query from each bidder. However, a shortcoming of this prior work is that bidders must submit exact values for the queried bundles, which can be quite costly. To address this, we propose iMLCA, a new ML-powered iterative combinatorial auction with interval bidding (i.e., where bidders submit upper and lower bounds instead of exact values). To steer the auction towards an efficient allocation, we introduce a price-based activity rule, asking bidders to tighten bounds on relevant bundles only. In our experiments, iMLCA achieves the same allocative efficiency as the prior ML-based auction that uses exact bidding. Moreover, it outperforms the well-known combinatorial clock auction in a realistically-sized domain.


title: A hybrid optoelectronic Mott insulator

abstract: The coupling of electronic degrees of freedom in materials to create hybridized functionalities is a holy grail of modern condensed matter physics that may produce novel mechanisms of control. Correlated electron systems often exhibit coupled degrees of freedom with a high degree of tunability which sometimes lead to hybridized functionalities based on external stimuli. However, the mechanisms of tunability and the sensitivity to external stimuli are determined by intrinsic material properties which are not always controllable. A Mott metal-insulator transition, which is technologically attractive due to the large changes in resistance, can be tuned by doping, strain, electric fields, and orbital occupancy but cannot be, in and of itself, controlled externally with light. Here we present a new approach to produce hybridized functionalities using a properly engineered photoconductor/strongly-correlated hybrid heterostructure, showing control of the Metal-to-Insulator transition (MIT) using optical means. This approach combines a photoconductor, which does not exhibit an MIT, with a strongly correlated oxide, which is not photoconducting. Due to the close proximity between the two materials, the heterostructure exhibits large volatile and nonvolatile, photoinduced resistivity changes and substantial photoinduced shifts in the MIT transition temperatures. This approach can potentially be extended to other judiciously chosen combinations of strongly correlated materials with systems which exhibit optically, electrically or magnetically controllable behavior.


title: Modulus of continuity for spectral measures of suspension flows over Salem type substitutions

abstract: We study the spectrum of the self-similar suspension flows of sub-shifts arising from primitive substitutions. We focus on the case where the substitution matrix has a Salem number {\alpha} as dominant eigenvalue. We obtain a H\"older exponent for the spectral measures for points away from zero and belonging to the field Q({\alpha}). This exponent depends only on three parameters of each of these points: its absolute value, the absolute value of its real conjugate and its denominator.


title: Translates of rational points along expanding closed horocycles on the modular surface

abstract: We study the limiting distribution of the rational points under a horizontal translation along a sequence of expanding closed horocycles on the modular surface. Using spectral methods we confirm equidistribution of these sample points for any translate when the sequence of horocycles expands within a certain polynomial range. We show that the equidistribution fails for generic translates and a slightly faster expanding rate. We also prove both equidistribution and non-equidistribution results by obtaining explicit limiting measures while allowing the sequence of horocycles to expand arbitrarily fast. Similar results are also obtained for translates of primitive rational points.


title: Compositionality of Linearly Solvable Optimal Control in Networked Multi-Agent Systems

abstract: In this paper, we discuss the methodology of generalizing the optimal control law from learned component tasks to unlearned composite tasks on Multi-Agent Systems (MASs), by using the linearity composition principle of linearly solvable optimal control (LSOC) problems. The proposed approach achieves both the compositionality and optimality of control actions simultaneously within the cooperative MAS framework in both discrete- and continuous-time in a sample-efficient manner, which reduces the burden of re-computation of the optimal control solutions for the new task on the MASs. We investigate the application of the proposed approach on the MAS with coordination between agents. The experiments show feasible results in investigated scenarios, including both discrete and continuous dynamical systems for task generalization without resampling.


title: The universal six-functor formalism

abstract: We prove that Morel-Voevodsky's stable $\mathbb{A}^1$-homotopy theory affords the universal coefficient system, giving rise to Grothendieck's six operations.


title: Water diffusion in carbon nanotubes: interplay between confinement, surface deformation and temperature

abstract: In this article we investigate through molecular dynamics simulations the diffusion behavior of the TIP4P/2005 water when confined in pristine and deformed carbon nanotubes (armchair and zigzag). To analyze different diffusive mechanisms, the water temperature was varied from $210\leq T\leq 380$~K. The results of our simulations reveal that water present a non-Arrhenius to Arrhenius diffusion crossover. The confinement shifts the diffusion transition to higher temperatures when compared with the bulk system. In addition, for narrower nanotubes, water diffuses in a single line which leads to a mobility independent of the activation energy.


title: Atomic Spectra in a Six-Level Scheme for Electromagnetically Induced Transparency and Autler-Townes Splitting in Rydberg Atoms

abstract: We investigate electromagnetically induced transparency (EIT) and Autler-Townes (AT) splitting in Rydberg rubidium atoms for a six-level excitation scheme. In this six-level system, one radio-frequency field simultaneously couples to two high-laying Rydberg states and results in interesting atomic spectra observed in the EIT lines. We present experimental results for several excitation parameters. We also present two theoretical models for this atomic system, where these two models capture different aspects of the observed spectra. One is a six-level model used to predict dominant spectral features and the other a more complex eight-level model used to predict the full characteristics of this system. Both models shows very good agreement with the experimental data.


title: Joint Spatio-Textual Reasoning for Answering Tourism Questions

abstract: Our goal is to answer real-world tourism questions that seek Points-of-Interest (POI) recommendations. Such questions express various kinds of spatial and non-spatial constraints, necessitating a combination of textual and spatial reasoning. In response, we develop the first joint spatio-textual reasoning model, which combines geo-spatial knowledge with information in textual corpora to answer questions. We first develop a modular spatial-reasoning network that uses geo-coordinates of location names mentioned in a question, and of candidate answer POIs, to reason over only spatial constraints. We then combine our spatial-reasoner with a textual reasoner in a joint model and present experiments on a real world POI recommendation task. We report substantial improvements over existing models with-out joint spatio-textual reasoning.


title: Modelling the prompt optical emission of GRB 180325A: the evolution of a spike from the optical to gamma-rays

abstract: The transition from prompt to the afterglow emission is one of the most exciting and least understood phases in gamma-ray bursts (GRBs). Correlations among optical, X-ray and gamma-ray emission in GRBs have been explored, to attempt to answer whether the earliest optical emission comes from internal and/or external shocks. We present optical photometric observations of GRB 180325A collected with the TAROT and RATIR ground-based telescopes. These observations show two strong optical flashes with separate peaks at $\sim50\;$s and $\sim120\;$s, followed by a temporally extended optical emission. We also present X-rays and gamma-ray observations of GRB 180325A, detected by the Burst Alert Telescope (BAT) and X-ray Telescope (XRT), on the Neil Gehrels Swift observatory, which both observed a narrow flash at $\sim80\;$s. We show that the prompt gamma- and X-ray early emission shares similar temporal and spectral features consistent with internal dissipation within the relativistic outflow (e.g. by internal shocks or magnetic reconnection), while the early optical flashes are likely generated by the reverse shock that decelerates the ejecta as it sweeps up the external medium.


title: Multi-focus Image Fusion for Visual Sensor Networks

abstract: Image fusion in visual sensor networks (VSNs) aims to combine information from multiple images of the same scene in order to transform a single image with more information. Image fusion methods based on discrete cosine transform (DCT) are less complex and time-saving in DCT based standards of image and video which makes them more suitable for VSN applications. In this paper, an efficient algorithm for the fusion of multi-focus images in the DCT domain is proposed. The Sum of modified laplacian (SML) of corresponding blocks of source images is used as a contrast criterion and blocks with the larger value of SML are absorbed to output images. The experimental results on several images show the improvement of the proposed algorithm in terms of both subjective and objective quality of fused image relative to other DCT based techniques.


title: Space-charge effects in the field-assisted thermionic emission from nonuniform cathodes

abstract: We use computational simulations to study the electron emission and propagation in planar vacuum diodes. We show how space-charge affects thermionic emission from cathodes with two different values of work function that form a checkerboard pattern of finite extent on the cathode surface. We confirm that, for intermediate cathode temperature, the local current density from low work function regions can exceed the space-charge limit for the entire cathode. As the cathode temperature rises space-charge effects lead to homogeneous current density from the interior of the emitting area and a higher current density from its periphery. We show how beam emittance and brightness are affected, and show that the operating temperature for optimal brightness is such that it corresponds to the transition region between source-limited and space-charge limited emission. Finally we show how beam current and beam quality depend on how fine grained the structure of the cathode is.


title: Dirichlet-type energy of mappings between two concentric annuli

abstract: Let $\mathbb{A}$ and $\mathbb{A_{*}}$ be two non-degenerate spherical annuli in $\mathbb{R}^{n}$ equipped with the Euclidean metric and the weighted metric $|y|^{1-n}$, respectively. Let $\mathcal{F}(\mathbb{A},\mathbb{A_{*}})$ denote the class of homeomorphisms in $\mathcal{W}^{1,n-1}(\mathbb{A},\mathbb{A_{*}})$. For $n=3$, the second author \cite{kalaj2018} proved that the minimizers of the Dirichlet-type energy $\mathcal{E}[h]=\int_{\mathbb{A}} \frac{\|Dh(x)\|^{n-1}}{|h(x)|^{n-1}}dx$ are certain generalized radial diffeomorphisms, where $h\in \mathcal{F}(\mathbb{A},\mathbb{A_{*}})$. For the case $n\geq 4$, he conjectured that the minimizers are also certain generalized radial diffeomorphisms between $\mathbb{A}$ and $\mathbb{A_{*}}$. The main aim of this paper is to consider this conjecture. First, we investigate the minimality of the following combined energy integral: $$ \mathbb{E}[a,b][h] =\int_{\mathbb{A}}\frac{a^{2}\rho^{n-1}(x)\|DS(x)\|^{n-1}+b^{2}|\nabla \rho(x)|^{n-1}}{|\rho(x)|^{n-1}}dx, $$ where $h=\rho S\in \mathcal{F}(\mathbb{A},\mathbb{A_{*}})$, $\rho=|h|$ and $a,b>0$. The obtained result is a generalization of \cite[Theorem 1.1]{kalaj2018}. As an application, we show that the above conjecture is almost true for the case $n\geq 4$, i.e., the minimizer of the energy integral $\mathcal{E}[h]$ does not exist but there exists a minimizing sequence which belongs to the generalized radial mappings.


title: Ternary and Binary Representation of Coordinate and Momentum in Quantum Mechanics

abstract: To simulate a quantum system with continuous degrees of freedom on a quantum computer based on quantum digits, it is necessary to reduce continuous observables (primarily coordinates and momenta) to discrete observables. We consider this problem based on expanding quantum observables in series in powers of two and three analogous to the binary and ternary representations of real numbers. The coefficients of the series ("digits") are, therefore, Hermitian operators. We investigate the corresponding quantum mechanical operators and the relations between them and show that the binary and ternary expansions of quantum observables automatically leads to renormalization of some divergent integrals and series (giving them finite values).


title: Ferrite: A Judgmental Embedding of Session Types in Rust

abstract: This paper introduces Ferrite, a shallow embedding of session types in Rust. In contrast to existing session type libraries and embeddings for mainstream languages, Ferrite not only supports linear session types but also shared session types. Shared session types allow sharing (aliasing) of channels while preserving session fidelity (preservation) using type modalities for acquiring and releasing sessions. Ferrite adopts a propositions as types approach and encodes typing derivations as Rust functions, with the proof of successful type-checking manifesting as a Rust program. We provide an evaluation of Ferrite using Servo as a practical example, and demonstrate how safe communication can be achieved in the canvas component using Ferrite.


title: The Emergence of Higher-Order Structure in Scientific and Technological Knowledge Networks

abstract: The growth of science and technology is a recombinative process, wherein new discoveries and inventions are built from prior knowledge. Yet relatively little is known about the manner in which scientific and technological knowledge develop and coalesce into larger structures that enable or constrain future breakthroughs. Network science has recently emerged as a framework for measuring the structure and dynamics of knowledge. While helpful, existing approaches struggle to capture the global properties of the underlying networks, leading to conflicting observations about the nature of scientific and technological progress. We bridge this methodological gap using tools from algebraic topology to characterize the higher-order structure of knowledge networks in science and technology across scale. We observe rapid growth in the higher-order structure of knowledge in many scientific and technological fields. This growth is not observable using traditional network measures. We further demonstrate that the emergence of higher-order structure coincides with decline in lower-order structure, and has historically far outpaced the corresponding emergence of higher-order structure in scientific and technological collaboration networks. Up to a point, increases in higher-order structure are associated with better outcomes, as measured by the novelty and impact of papers and patents. However, the nature of science and technology produced under higher-order regimes also appears to be qualitatively different from that produced under lower-order ones, with the former exhibiting greater linguistic abstractness and greater tendencies for building upon prior streams of knowledge.


title: Rydberg Magnetoexcitons in Cu$_2$O Quantum Wells

abstract: We present theoretical approach that allows for calculation of optical functions for Cu$_2$O Quantum Well (QW) with Rydberg excitons in an external magnetic field of an arbitrary field strength. Both Faraday and Voigt configurations are considered, in the energetic region of p-excitons. We use the real density matrix approach and an effective e-h potential, which enable to derive analytical expressions for the QW magneto-optical functions. For both configurations, all three field regimes: weak, intermediate, and high field, are considered and treated separately. With the help of the developed approximeted method we are able to estimate the limits between the field regimes. The obtained theoretical magneto-absorption spectra show a good agreement with available experimental data.


title: A posteriori corrections to the Iterative Qubit Coupled Cluster method to minimize the use of quantum resources in large-scale calculations

abstract: The iterative qubit coupled cluster (iQCC) method is a systematic variational approach to solve the electronic structure problem on universal quantum computers. It is able to use arbitrarily shallow quantum circuits at expense of iterative canonical transformation of the Hamiltonian and rebuilding a circuit. Here we present a variety of a posteriori corrections to the iQCC energies to reduce the number of iterations to achieve the desired accuracy. Our energy corrections are based on a low-order perturbation theory series that can be efficiently evaluated on a classical computer. Moreover, capturing a part of the total energy perturbatively, allows us to formulate the qubit active-space concept, in which only a subset of all qubits is treated variationally. As a result, further reduction of quantum resource requirements is achieved. We demonstrate the utility and efficiency of our approach numerically on the examples of 10-qubit N$_2$ molecule dissociation, the 24-qubit H$_2$O symmetric stretch, and 56-qubit singlet-triplet gap calculations for the technologically important complex, tris-(2-phenylpyridine)iridium(III), Ir(ppy)$_3$.


title: TOI 540 b: A Planet Smaller than Earth Orbiting a Nearby Rapidly Rotating Low-mass Star

abstract: We present the discovery of TOI 540 b, a hot planet slightly smaller than Earth orbiting the low-mass star 2MASS J05051443-4756154. The planet has an orbital period of $P = 1.239149$ days ($\pm$ 170 ms) and a radius of $r = 0.903 \pm 0.052 R_{\rm Earth}$, and is likely terrestrial based on the observed mass-radius distribution of small exoplanets at similar insolations. The star is 14.008 pc away and we estimate its mass and radius to be $M = 0.159 \pm 0.014 M_{\rm Sun}$ and $R = 0.1895 \pm 0.0079 R_{\rm Sun}$, respectively. The star is distinctive in its very short rotational period of $P_{\rm rot} = 17.4264 +/- 0.0094$ hours and correspondingly small Rossby number of 0.007 as well as its high X-ray-to-bolometric luminosity ratio of $L_X / L_{\rm bol} = 0.0028$ based on a serendipitous XMM-Newton detection during a slew operation. This is consistent with the X-ray emission being observed at a maximum value of $L_X / L_{\rm bol} \simeq 10^{-3}$ as predicted for the most rapidly rotating M dwarfs. TOI 540 b may be an alluring target to study atmospheric erosion due to the strong stellar X-ray emission. It is also among the most accessible targets for transmission and emission spectroscopy and eclipse photometry with JWST, and may permit Doppler tomography with high-resolution spectroscopy during transit. This discovery is based on precise photometric data from TESS and ground-based follow-up observations by the MEarth team.


title: Slit-strip Ising boundary conformal field theory 1: Discrete and continuous function spaces

abstract: This is the first in a series of articles about recovering the full algebraic structure of a boundary conformal field theory (CFT) from the scaling limit of the critical Ising model in slit-strip geometry. Here, we introduce spaces of holomorphic functions in continuum domains as well as corresponding spaces of discrete holomorphic functions in lattice domains. We find distinguished sets of functions characterized by their singular behavior in the three infinite directions in the slit-strip domains. We prove convergence results of the distinguished discrete holomorphic functions to the continuum ones. In the subsequent articles, the discrete holomorphic functions will be used for the calculation of the Ising model fusion coefficients (as well as for the diagonalization of the Ising transfer matrix), and the convergence of the functions is used to prove the convergence of the fusion coefficients. It will also be shown that the vertex operator algebra of the boundary conformal field theory can be recovered from the limit of the fusion coefficients via geometric transformations involving the distinguished continuum functions.


title: Negative superluminal velocity and violation of Kramers-Kronig relations in "causal" optical setups

abstract: We investigate nonanalyticities (e.g., zeros and poles) of refractive index $n(\omega)$ and group index $n_g(\omega)$ in different optical setups. We first demonstrate that: while a Lorentzian dielectric has no nonanalyticity in the upper half of the complex frequency plane (CFP), its group index -- which governs the pulse-center propagation -- violates the Kramers-Kronig relations (KKRs). Thus, we classify the nonanalyticities as in the (a) first-order (refractive index or reflection) and (b) second-order (group index or group delay). The latter contains the derivative of the former. Then, we study a possible connection between the negative superluminal velocities and the presence of nonanalyticities in the upper half of the CFP. We show that presence of nonanalyticities in the upper half of the CFP for (a) the first-order response and (b) the second-order response are accompanied by the appearance of negative (a) phase velocity and (b) group velocity, respectively. We also distinguish between two kinds of superluminosity, $v>c$ and $v<0$, where we show that the second one ($v<0$) appears with the violation of KKRs.


title: Monitoring My Dehydration: A Non-Invasive Dehydration Alert System Using Electrodermal Activity

abstract: Staying hydrated and drinking fluids is extremely crucial to stay healthy and maintaining even basic bodily functions. Studies have shown that dehydration leads to loss of productivity, cognitive impairment and mood in both men and women. However, there are no such an existing tool that can monitor dehydration continuously and provide alert to users before it affects on their health. In this paper, we propose to utilize wearable Electrodermal Activity (EDA) sensors in conjunction with signal processing and machine learning techniques to develop first time ever a dehydration self-monitoring tool, \emph{Monitoring My Dehydration} (MMD), that can instantly detect the hydration level of human skin. Moreover, we develop an Android application over Bluetooth to connect with wearable EDA sensor integrated wristband to track hydration levels of the users real-time and instantly alert to the users when the hydration level goes beyond the danger level. To validate our developed tool's performance, we recruit 5 users, carefully designed the water intake routines to annotate the dehydration ground truth and trained state-of-art machine learning models to predict instant hydration level i.e., well-hydrated, hydrated, dehydrated and very dehydrated. Our system provides an accuracy of 84.5% in estimating dehydration level with an sensitivity of 87.5% and a specificity of 90.3% which provides us confidence of moving forward with our method for larger longitudinal study.


title: Fully Automated Left Atrium Segmentation from Anatomical Cine Long-axis MRI Sequences using Deep Convolutional Neural Network with Unscented Kalman Filter

abstract: This study proposes a fully automated approach for the left atrial segmentation from routine cine long-axis cardiac magnetic resonance image sequences using deep convolutional neural networks and Bayesian filtering. The proposed approach consists of a classification network that automatically detects the type of long-axis sequence and three different convolutional neural network models followed by unscented Kalman filtering (UKF) that delineates the left atrium. Instead of training and predicting all long-axis sequence types together, the proposed approach first identifies the image sequence type as to 2, 3 and 4 chamber views, and then performs prediction based on neural nets trained for that particular sequence type. The datasets were acquired retrospectively and ground truth manual segmentation was provided by an expert radiologist. In addition to neural net based classification and segmentation, another neural net is trained and utilized to select image sequences for further processing using UKF to impose temporal consistency over cardiac cycle. A cyclic dynamic model with time-varying angular frequency is introduced in UKF to characterize the variations in cardiac motion during image scanning. The proposed approach was trained and evaluated separately with varying amount of training data with images acquired from 20, 40, 60 and 80 patients. Evaluations over 1515 images with equal number of images from each chamber group acquired from an additional 20 patients demonstrated that the proposed model outperformed state-of-the-art and yielded a mean Dice coefficient value of 94.1%, 93.7% and 90.1% for 2, 3 and 4-chamber sequences, respectively, when trained with datasets from 80 patients.


title: On a Berry-Esseen type limit theorem for Boolean convolution

abstract: We obtain a sharp estimate of the speed of convergence in the Boolean central limit theorem for measures of finite sixth moment. The main tool is a quantitative version of the Stieltjes-Perron inversion formula.


title: Calibration methods for spatial Data

abstract: In an environmental framework, extreme values of certain spatio-temporal processes, for example wind speeds, are the main cause of severe damage in property, such as electrical networks, transport and agricultural infrastructures. Therefore, availability of accurate data on such processes is highly important in risk analysis, and in particular in producing probability maps showing the spatial distribution of damage risks. Typically, as is the case of wind speeds, data are available at few stations with many missing observations and consequently simulated data are often used to augment information, due to simulated environmental data being available at high spatial and temporal resolutions. However, simulated data often mismatch observed data, particularly at tails, therefore calibrating and bringing it in line with observed data may offer practitioners more reliable and richer data sources. Although the calibration methods that we describe in this manuscript may equally apply to other environmental variables, we describe the methods specifically with reference to wind data and its consequences. Since most damages are caused by extreme winds, it is particularly important to calibrate the right tail of simulated data based on observations. Response relationships between the extremes of simulated and observed data are by nature highly non-linear and non-Gaussian, therefore data fusion techniques available for spatial data may not be adequate for this purpose. After giving a brief description of standard calibration and data fusion methods to update simulated data based on the observed data, we propose and describe in detail a specific conditional quantile matching calibration method and show how our wind speed data can be calibrated using this method.


title: Thermodynamic driving force in the formation of hexagonal-diamond Si and Ge nanowires

abstract: The metastable hexagonal-diamond phase of Si and Ge (and of SiGe alloys) displays superior optical properties with respect to the cubic-diamond one. The latter is the most stable and popular one: growing hexagonal-diamond Si or Ge without working at extreme conditions proved not to be trivial. Recently, however, the possibility of growing hexagonal-diamond group-IV nanowires has been demonstrated, attracting attention on such systems. Based on first-principle calculations we show that the surface energy of the typical facets exposed in Si and Ge nanowires is lower in the hexagonal-diamond phase than in cubic ones. By exploiting a synergic approach based also on a recent state-of-the-art interatomic potential and on a simple geometrical model, we investigate the relative stability of nanowires in the two phases up to few tens of nm in radius, highlighting the surface-related driving force and discussing its relevance in recent experiments. We also explore the stability of Si and Ge core-shell nanowires with hexagonal cores (made of GaP for Si nanowires, of GaAs for Ge nanowires). In this case, the stability of the hexagonal shell over the cubic one is also favored by the energy cost associated with the interface linking the two phases. Interestingly, our calculations indicate a critical radius of the hexagonal shell much lower than the one reported in recent experiments, indicating the presence of a large kinetic barrier allowing for the enlargement of the wire in a metastable phase.


title: Tempura: A General Cost Based Optimizer Framework for Incremental Data Processing (Extended Version)

abstract: Incremental processing is widely-adopted in many applications, ranging from incremental view maintenance, stream computing, to recently emerging progressive data warehouse and intermittent query processing. Despite many algorithms developed on this topic, none of them can produce an incremental plan that always achieves the best performance, since the optimal plan is data dependent. In this paper, we develop a novel cost-based optimizer framework, called Tempura, for optimizing incremental data processing. We propose an incremental query planning model called TIP based on the concept of time-varying relations, which can formally model incremental processing in its most general form. We give a full specification of Tempura, which can not only unify various existing techniques to generate an optimal incremental plan, but also allow the developer to add their rewrite rules. We study how to explore the plan space and search for an optimal incremental plan. We conduct a thorough experimental evaluation of Tempura in various incremental processing scenarios to show its effectiveness and efficiency.


title: Dynamic network congestion games

abstract: Congestion games are a classical type of games studied in game theory, in which n players choose a resource, and their individual cost increases with the number of other players choosing the same resource. In network congestion games (NCGs), the resources correspond to simple paths in a graph, e.g. representing routing options from a source to a target. In this paper, we introduce a variant of NCGs, referred to as dynamic NCGs: in this setting, players take transitions synchronously, they select their next transitions dynamically, and they are charged a cost that depends on the number of players simultaneously using the same transition. We study, from a complexity perspective, standard concepts of game theory in dynamic NCGs: social optima, Nash equilibria, and subgame perfect equilibria. Our contributions are the following: the existence of a strategy profile with social cost bounded by a constant is in PSPACE and NP-hard. (Pure) Nash equilibria always exist in dynamic NCGs; the existence of a Nash equilibrium with bounded cost can be decided in EXPSPACE, and computing a witnessing strategy profile can be done in doubly-exponential time. The existence of a subgame perfect equilibrium with bounded cost can be decided in 2EXPSPACE, and a witnessing strategy profile can be computed in triply-exponential time.


title: The $^{229}$Th isomer: prospects for a nuclear optical clock

abstract: The proposal for the development of a nuclear optical clock has triggered a multitude of experimental and theoretical studies. In particular the prediction of an unprecedented systematic frequency uncertainty of about $10^{-19}$ has rendered a nuclear clock an interesting tool for many applications, potentially even for a re-definition of the second. The focus of the corresponding research is a nuclear transition of the $^{229}$Th nucleus, which possesses a uniquely low nuclear excitation energy of only $8.12\pm0.11$ eV ($152.7\pm2.1$ nm). This energy is sufficiently low to allow for nuclear laser spectroscopy, an inherent requirement for a nuclear clock. Recently, some significant progress toward the development of a nuclear frequency standard has been made and by today there is no doubt that a nuclear clock will become reality, most likely not even in the too far future. Here we present a comprehensive review of the current status of nuclear clock development with the objective of providing a rather complete list of literature related to the topic, which could serve as a reference for future investigations.


title: MPG-Net: Multi-Prediction Guided Network for Segmentation of Retinal Layers in OCT Images

abstract: Optical coherence tomography (OCT) is a commonly-used method of extracting high resolution retinal information. Moreover there is an increasing demand for the automated retinal layer segmentation which facilitates the retinal disease diagnosis. In this paper, we propose a novel multiprediction guided attention network (MPG-Net) for automated retinal layer segmentation in OCT images. The proposed method consists of two major steps to strengthen the discriminative power of a U-shape Fully convolutional network (FCN) for reliable automated segmentation. Firstly, the feature refinement module which adaptively re-weights the feature channels is exploited in the encoder to capture more informative features and discard information in irrelevant regions. Furthermore, we propose a multi-prediction guided attention mechanism which provides pixel-wise semantic prediction guidance to better recover the segmentation mask at each scale. This mechanism which transforms the deep supervision to supervised attention is able to guide feature aggregation with more semantic information between intermediate layers. Experiments on the publicly available Duke OCT dataset confirm the effectiveness of the proposed method as well as an improved performance over other state-of-the-art approaches.


title: Cross-Task Representation Learning for Anatomical Landmark Detection

abstract: Recently, there is an increasing demand for automatically detecting anatomical landmarks which provide rich structural information to facilitate subsequent medical image analysis. Current methods related to this task often leverage the power of deep neural networks, while a major challenge in fine tuning such models in medical applications arises from insufficient number of labeled samples. To address this, we propose to regularize the knowledge transfer across source and target tasks through cross-task representation learning. The proposed method is demonstrated for extracting facial anatomical landmarks which facilitate the diagnosis of fetal alcohol syndrome. The source and target tasks in this work are face recognition and landmark detection, respectively. The main idea of the proposed method is to retain the feature representations of the source model on the target task data, and to leverage them as an additional source of supervisory signals for regularizing the target model learning, thereby improving its performance under limited training samples. Concretely, we present two approaches for the proposed representation learning by constraining either final or intermediate model features on the target model. Experimental results on a clinical face image dataset demonstrate that the proposed approach works well with few labeled data, and outperforms other compared approaches.


title: A General Bayesian Model for Heteroskedastic Data with Fully Conjugate Full-Conditional Distributions

abstract: Models for heteroskedastic data are relevant in a wide variety of applications ranging from financial time series to environmental statistics. However, the topic of modeling the variance function conditionally has not seen near as much attention as modeling the mean. Volatility models have been used in specific applications, but these models can be difficult to fit in a Bayesian setting due to posterior distributions that are challenging to sample from efficiently. In this work, we introduce a general model for heteroskedastic data. This approach models the conditional variance in a mixed model approach as a function of any desired covariates or random effects. We rely on new distribution theory in order to construct priors that yield fully conjugate full conditional distributions. Thus, our approach can easily be fit via Gibbs sampling. Furthermore, we extend the model to a deep learning approach that can provide highly accurate estimates for time dependent data. We also provide an extension for heavy-tailed data. We illustrate our methodology via three applications. The first application utilizes a high dimensional soil dataset with inherent spatial dependence. The second application involves modeling of asset volatility. The third application focuses on clinical trial data for creatinine.


title: Resolving the Bethe-Salpeter kernel

abstract: A novel method for constructing a Bethe-Salpeter kernel for the meson bound-state problem is described. It produces a closed-form kernel that is symmetry-consistent (discrete and continuous) with the gap equation defined by any admissible gluon-quark vertex. Applicable even when the diagrammatic content of that vertex is unknown, the scheme can foster new synergies between continuum and lattice approaches to strong interactions. The framework is illustrated by demonstrating that the presence of a dressed-quark anomalous magnetic moment in the gluon-quark vertex, an emergent feature of strong interactions, can remedy many defects of widely used meson bound-state kernels, including the level ordering of pseudoscalar and vector meson radial excitations.


title: The Phase-curve Signature of Condensible Water-rich Atmospheres on Slowly Rotating Tidally Locked Exoplanets

abstract: We use an idealized three-dimensional general circulation model to study condensible-rich atmospheres with an ineffective cold trap on slowly rotating tidally locked terrestrial planets. In particular, we show the climate dynamics in a thin and temperate atmosphere with condensible water vapor. The similarities between our thin and temperate atmosphere and the warm and thick atmosphere approaching the water vapor runaway greenhouse in previous works are discussed, including the reversal of the thermal emission between the day and night hemispheres. Different from the transit spectroscopy of water vapor that depends on the absolute amount of atmospheric water vapor, the contrast between the dayside and nightside thermal emission provides information regarding the relative ratio of water vapor to the background atmosphere as well as the atmospheric pressure near the substellar tropopause and the emission level on the nightside on potentially habitable worlds.


title: An inverse random source problem for the one-dimensional Helmholtz equation with attenuation

abstract: This paper is concerned with an inverse random source problem for the one-dimensional stochastic Helmholtz equation with attenuation. The source is assumed to be a microlocally isotropic Gaussian random field with its covariance operator being a classical pseudo-differential operator. The random sources under consideration are equivalent to the generalized fractional Gaussian random fields which include rough fields and can be even rougher than the white noise, and hence should be interpreted as distributions. The well-posedness of the direct source scattering problem is established in the distribution sense. The micro-correlation strength of the random source, which appears to be the strength in the principal symbol of the covariance operator, is proved to be uniquely determined by the wave field in an open measurement set. Numerical experiments are presented for the white noise model to demonstrate the validity and effectiveness of the proposed method.


title: TEL: Low-Latency Failover Traffic Engineering in Data Plane

abstract: Modern network applications demand low-latency traffic engineering in the presence of network failure while preserving the quality of service constraints like delay and capacity. Fast Re-Route (FRR) mechanisms are widely used for traffic re-routing purposes in failure scenarios. Control plane FRR typically computes the backup forwarding rules to detour the traffic in the data plane when the failure occurs. This mechanism could be computed in the data plane with the emergence of programmable data planes. In this paper, we propose a system (called TEL) that contains two FRR mechanisms, namely, TEL-C and TEL-D. The first one computes backup forwarding rules in the control plane, satisfying max-min fair allocation. The second mechanism provides FRR in the data plane. Both algorithms require minimal memory on programmable data planes and are well-suited with modern line rate match-action forwarding architectures (e.g., PISA). We implement both mechanisms on P4 programmable software switches (e.g., BMv2 and Tofino) and measure their performance on various topologies. The obtained results from a datacenter topology show that our FRR mechanism can improve the flow completion time up to 4.6x$-$7.3x (i.e., small flows) and 3.1x$-$12x (i.e., large flows) compared to recirculation-based mechanisms, such as F10, respectively.


title: A Geometric Application for the $det^{S^2}$ Map

abstract: We discuss properties of the $det^{S^2}$ map, present a few explicit computations, and give a geometrical interpretation for the condition $det^{S^2}((v_{i,j})_{1\leq i<j\leq 4})=0$.


title: The joint fluctuations of the lengths of the Beta$(2-\alpha, \alpha)$-coalescents

abstract: We consider Beta$(2-\alpha, \alpha)$-coalescents with parameter range $1 <\alpha<2$ starting from $n$ leaves. The length $\ell^{(n)}_r$ of order $r$ in the $n$-Beta$(2-\alpha, \alpha)$-coalescent tree is defined as the sum of the lengths of all branches that carry a subtree with $r$ leaves. We show that for any $s \in \mathbb N$ the vector of suitably centered and rescaled lengths of orders $1\le r \le s$ converges in distribution to a multivariate stable distribution as the number of leaves tends to infinity.


title: Differential invariance of the multiplicity of real and complex analytic sets

abstract: This paper is devoted to proving the differential invariance of the multiplicity of real and complex analytic sets. In particular, we prove the real version of Gau-Lipman's Theorem, i.e., it is proved that the multiplicity mod 2 of real analytic sets is a differential invariant. We prove also a generalization of Gau-Lipman's Theorem.


title: A Distributed Computing Perspective of Unconditionally Secure Information Transmission in Russian Cards Problems

abstract: The problem of $A$ privately transmitting information to $B$ by a public announcement overheard by an eavesdropper $C$ is considered. To do so by a deterministic protocol, their inputs must be correlated. Dependent inputs are represented using a deck of cards. There is a publicly known signature $(a,b,c)$, where $n = a + b + c + r$, and $A$ gets $a$ cards, $B$ gets $b$ cards, and $C$ gets $c$ cards, out of the deck of $n$ cards. Using a deterministic protocol, $A$ decides its announcement based on her hand. Using techniques from coding theory, Johnson graphs, and additive number theory, a novel perspective inspired by distributed computing theory is provided, to analyze the amount of information that $A$ needs to send, while preventing $C$ from learning a single card of her hand. In one extreme, the generalized Russian cards problem, $B$ wants to learn all of $A$'s cards, and in the other, $B$ wishes to learn something about $A$'s hand.


title: MITHRA 2.0: A Full-Wave Simulation Tool for Free Electron Lasers

abstract: Free Electron Lasers (FELs) are a solution for providing intense, coherent and bright radiation in the hard X-ray regime. Due to the low wall-plug efficiency of FEL facilities, it is crucial and additionally very useful to develop complete and accurate simulation tools for better optimizing a FEL interaction. The highly sophisticated dynamics involved in a FEL process was the main obstacle hindering the development of general simulation tools for this problem. The software MITHRA tackles this problem by offering a platform for full-wave simulation of FEL process. The full-wave solver employs a numerical algorithm based on finite difference time domain/Particle in cell (FDTD/PIC) in a Lorentz boosted coordinate system. The developed software offers a suitable tool for the analysis of FEL interactions without considering any of the usual approximations. This contribution is the complete manual for the second version of this software, namely MITHRA 2.0, which is released after extensive efforts on optimizing the software performance and removal of several bugs in the code.


title: A Psychology of Visualization or (External) Representation?

abstract: What is a visualization? There is limited utility in trifling with definitions, except insofar as one serves as a tool for communicating and conceptualizing our subject matter; a statement of identity for a community. To establish Visualization Psychology as a viable inter-disciplinary research programme, we must first define the object(s) of our collective inquiry. I propose that while we might refer to the study of "visualization" for the term's colloquial accessibility and pragmatic alignment with other fields, we should consider for exploration a class of artifacts and corresponding processes more expansive and profound: external representations. What follows is an argument for the study of external representation as the foundation for a new interdisciplinary endeavor, and approach to mapping the corresponding problem space.


title: Stable cubulations, bicombings, and barycenters

abstract: We prove that the hierarchical hulls of finite sets of points in mapping class groups and Teichm\"uller spaces are stably approximated by a CAT(0) cube complexes, strengthening a result of Behrstock-Hagen-Sisto. As applications, we prove that mapping class groups are semihyperbolic and Teichm\"uller spaces are coarsely equivariantly bicombable, and both admit stable coarse barycenters. Our results apply to the broader class of "colorable" hierarchically hyperbolic spaces and groups.


title: New Computations of the Superbridge Index

abstract: The knots $8_1$, $8_2$, $8_3$, $8_5$, $8_6$, $8_7$, $8_8$, $8_{10}$, $8_{11}$, $8_{12}$, $8_{13}$, $8_{14}$, $8_{15}$, $9_7$, $9_{16}$, $9_{20}$, $9_{26}$, $9_{28}$, $9_{32}$, and $9_{33}$ all have superbridge index equal to 4. This follows from new upper bounds on superbridge index not coming from the stick number and increases the number of knots from the Rolfsen table for which superbridge index is known from 29 to 49. Appendix A gives the current state of knowledge of superbridge index for prime knots through 10 crossings.


title: The EMPATHIC Framework for Task Learning from Implicit Human Feedback

abstract: Reactions such as gestures, facial expressions, and vocalizations are an abundant, naturally occurring channel of information that humans provide during interactions. A robot or other agent could leverage an understanding of such implicit human feedback to improve its task performance at no cost to the human. This approach contrasts with common agent teaching methods based on demonstrations, critiques, or other guidance that need to be attentively and intentionally provided. In this paper, we first define the general problem of learning from implicit human feedback and then propose to address this problem through a novel data-driven framework, EMPATHIC. This two-stage method consists of (1) mapping implicit human feedback to relevant task statistics such as reward, optimality, and advantage; and (2) using such a mapping to learn a task. We instantiate the first stage and three second-stage evaluations of the learned mapping. To do so, we collect a dataset of human facial reactions while participants observe an agent execute a sub-optimal policy for a prescribed training task. We train a deep neural network on this data and demonstrate its ability to (1) infer relative reward ranking of events in the training task from prerecorded human facial reactions; (2) improve the policy of an agent in the training task using live human facial reactions; and (3) transfer to a novel domain in which it evaluates robot manipulation trajectories.


title: Towards a Measure of Individual Fairness for Deep Learning

abstract: Deep learning has produced big advances in artificial intelligence, but trained neural networks often reflect and amplify bias in their training data, and thus produce unfair predictions. We propose a novel measure of individual fairness, called prediction sensitivity, that approximates the extent to which a particular prediction is dependent on a protected attribute. We show how to compute prediction sensitivity using standard automatic differentiation capabilities present in modern deep learning frameworks, and present preliminary empirical results suggesting that prediction sensitivity may be effective for measuring bias in individual predictions.


title: The two-sided Pompeiu problem for discrete groups

abstract: We consider a two-sided Pompeiu type problem for a discrete group $G$. We give necessary and sufficient conditions for a finite set $K$ of $G$ to have the $\mathcal{F}(G)$-Pompeiu property. Using group von Neumann algebra techniques, we give necessary and sufficient conditions for $G$ to be a $\ell^2(G)$-Pompeiu group


title: Time-Resolved Detection of Photon-Surface-Plasmon Coupling at the Single-Quanta Level

abstract: The interplay of nonclassical light and surface plasmons has attracted considerable attention due to fundamental interests and potential applications. To gain more insight into the quantum nature of the photon-surface-plasmon coupling, time-resolved detection of the interaction is invaluable. Here we demonstrate the time-resolved detection of photon-surface-plasmon coupling by exploiting single and entangled photons with long coherence time to excite single optical plasmons. We examine the nonclassical correlation between the single photons and single optical plasmons in such systems using the time-resolved Cauchy-Schwarz inequality. We also realize single optical plasmons with programmable temporal wavepacket by manipulating the waveform of incident single photons. The time-resolved detection and coherent control of single optical plasmons offer new opportunities to study and control the light-matter interaction at the nanoscale.


title: Bayesian inference of dense matter EOS encapsulating a first-order hadron-quark phase transition from observables of canonical neutron stars

abstract: [Purpose:] We infer the posterior probability distribution functions (PDFs) and correlations of nine parameters characterizing the EOS of dense neutron-rich matter encapsulating a first-order hadron-quark phase transition from the radius data of canonical NSs reported by LIGO/VIRGO, NICER and Chandra Collaborations. We also infer the quark matter (QM) mass fraction and its radius in a 1.4 M$_{\odot}$ NS and predict their values in more massive NSs. [Method:] Meta-modelings are used to generate both hadronic and QM EOSs in the Markov-Chain Monte Carlo sampling process within the Bayesian statistical framework. An explicitly isospin-dependent parametric EOS for the $npe\mu$ matter in NSs at $\beta$ equilibrium is connected through the Maxwell construction to the QM EOS described by the constant speed of sound (CSS) model of Alford, Han and Prakash. [Results:] (1) The most probable values of the hadron-quark transition density $\rho_t/\rho_0$ and the relative energy density jump there $\De\ep/\ep_t$ are $\rho_t/\rho_0=1.6^{+1.2}_{-0.4}$ and $\De\ep/\ep_t=0.4^{+0.20}_{-0.15}$ at 68\% confidence level, respectively. The corresponding probability distribution of QM fraction in a 1.4 M$_{\odot}$ NS peaks around 0.9 in a 10 km sphere. Strongly correlated to the PDFs of $\rho_t$ and $\De\ep/\ep_t$, the PDF of the QM speed of sound squared $\cQMsq/c^2$ peaks at $0.95^{+0.05}_{-0.35}$, and the total probability of being less than 1/3 is very small. (2) The correlations between PDFs of hadronic and QM EOS parameters are very weak. [Conclusions:] The available astrophysical data considered together with all known EOS constraints from theories and terrestrial nuclear experiments prefer the formation of a large volume of QM even in canonical NSs.


title: Strong Orbit Equivalence and Superlinear Complexity

abstract: We show that within any strong orbit equivalent class, there exist minimal subshifts with arbitrarily low superlinear complexity. This is done by proving that for any simple dimension group with unit $(G,G^+,u)$ and any sequence of positive numbers $(p_n)_{n\in\mathbb{N}}$ such that $\lim n/p_n=0$, there exist a minimal subshift whose dimension group is order isomorphic to $(G,G^+,u)$ and whose complexity function grows slower than $p_n$. As a consequence, we get that any Choquet simplex can be realized as the set of invariant measures of a minimal Toeplitz subshift whose complexity grows slower than $p_n$.


title: Conversational Semantic Parsing

abstract: The structured representation for semantic parsing in task-oriented assistant systems is geared towards simple understanding of one-turn queries. Due to the limitations of the representation, the session-based properties such as co-reference resolution and context carryover are processed downstream in a pipelined system. In this paper, we propose a semantic representation for such task-oriented conversational systems that can represent concepts such as co-reference and context carryover, enabling comprehensive understanding of queries in a session. We release a new session-based, compositional task-oriented parsing dataset of 20k sessions consisting of 60k utterances. Unlike Dialog State Tracking Challenges, the queries in the dataset have compositional forms. We propose a new family of Seq2Seq models for the session-based parsing above, which achieve better or comparable performance to the current state-of-the-art on ATIS, SNIPS, TOP and DSTC2. Notably, we improve the best known results on DSTC2 by up to 5 points for slot-carryover.


title: Learning Knowledge Bases with Parameters for Task-Oriented Dialogue Systems

abstract: Task-oriented dialogue systems are either modularized with separate dialogue state tracking (DST) and management steps or end-to-end trainable. In either case, the knowledge base (KB) plays an essential role in fulfilling user requests. Modularized systems rely on DST to interact with the KB, which is expensive in terms of annotation and inference time. End-to-end systems use the KB directly as input, but they cannot scale when the KB is larger than a few hundred entries. In this paper, we propose a method to embed the KB, of any size, directly into the model parameters. The resulting model does not require any DST or template responses, nor the KB as input, and it can dynamically update its KB via fine-tuning. We evaluate our solution in five task-oriented dialogue datasets with small, medium, and large KB size. Our experiments show that end-to-end models can effectively embed knowledge bases in their parameters and achieve competitive performance in all evaluated datasets.


title: Relaxation to Equilibrium in a Quantum Network

abstract: The approach to equilibrium of quantum mechanical systems is a topic as old as quantum mechanics itself, but has recently seen a surge of interest due to applications in quantum technologies, including, but not limited to, quantum computation and sensing. The mechanisms by which a quantum system approaches its long-time, limiting stationary state are fascinating and, sometimes, quite different from their classical counterparts. In this respect, quantum networks represent a mesoscopic quantum systems of interest. In such a case, the graph encodes the elementary quantum systems (say qubits) at its vertices, while the links define the interactions between them. We study here the relaxation to equilibrium for a fully connected quantum network with CNOT gates representing the interaction between the constituting qubits. We give a number of results for the equilibration in these systems, including analytic estimates. The results are checked using numerical methods for systems with up to 15-16 qubits. It is emphasized in which way the size of the network controls the convergency.


title: Improve Transformer Models with Better Relative Position Embeddings

abstract: Transformer architectures rely on explicit position encodings in order to preserve a notion of word order. In this paper, we argue that existing work does not fully utilize position information. For example, the initial proposal of a sinusoid embedding is fixed and not learnable. In this paper, we first review absolute position embeddings and existing methods for relative position embeddings. We then propose new techniques that encourage increased interaction between query, key and relative position embeddings in the self-attention mechanism. Our most promising approach is a generalization of the absolute position embedding, improving results on SQuAD1.1 compared to previous position embeddings approaches. In addition, we address the inductive property of whether a position embedding can be robust enough to handle long sequences. We demonstrate empirically that our relative position embedding method is reasonably generalized and robust from the inductive perspective. Finally, we show that our proposed method can be adopted as a near drop-in replacement for improving the accuracy of large models with a small computational budget.


title: Network Analysis of the 2016 Presidential Campaign Tweets

abstract: We applied complex network analysis to ~27,000 tweets posted by the 2016 presidential election's principal participants in the USA. We identified the stages of the election campaigns and the recurring topics addressed by the candidates. Finally, we revealed the leader-follower relationships between the candidates. We conclude that Secretary Hillary Clinton's Twitter performance was subordinate to that of Donald Trump, which may have been one factor that led to her electoral defeat.


title: Spin-orbit coupling and linear crossings of dipolar magnons in van der Waals antiferromagnets

abstract: A magnon spin-orbit coupling, induced by the dipole-dipole interaction, is derived in monoclinic-stacked bilayer honeycomb spin lattice with perpendicular magnetic anisotropy and antiferromagnetic interlayer coupling. Linear crossings are predicted in the magnon spectrum around the band minimum in G valley, as well as in the high frequency range around the zone boundary. The linear crossings in K and K' valleys, which connect the acoustic and optical bands, can be gapped when the intralayer dipole-dipole or Kitaev interactions exceed the interlayer dipole-dipole interaction, resulting in a phase transition from semimetal to insulator. Our results are useful for analyzing the magnon spin dynamics and transport properties in van der Waals antiferromagnet.


title: Infinite System of Random Walkers: Winners and Losers

abstract: We study an infinite system of particles initially occupying a half-line $y\leq 0$ and undergoing random walks on the entire line. The right-most particle is called a leader. Surprisingly, every particle except the original leader may never achieve the leadership throughout the evolution. For the equidistant initial configuration, the $k^{\text{th}}$ particle attains the leadership with probability $e^{-2} k^{-1} (\ln k)^{-1/2}$ when $k\gg 1$. This provides a quantitative measure of the correlation between earlier misfortune (represented by $k$) and eternal failure. We also show that the winner defined as the first walker overtaking the initial leader has label $k\gg 1$ with probability decaying as $\exp\!\left[-\tfrac{1}{2}(\ln k)^2\right]$.


title: Bi-directional streaming of particles accelerated at the STEREO-A shock on 9th March 2008

abstract: We present an interpretation of anisotropy and intensity of supra-thermal ions near a fast quasi-perpendicular reverse shock measured by Solar Terrestrial Relations Observatory Ahead (ST-A) on 2008 March 9th. The measured intensity profiles of the supra-thermal particles exhibit an enhancement, or "spike", at the time of the shock arrival and pitch-angle anisotropies before the shock arrival are bi-modal, jointly suggesting trapping of near-scatter-free ions along magnetic field lines that intersect the shock at two locations. We run test-particle simulations with pre-existing upstream magnetostatic fluctuations advected across the shock. The measured bi-modal upstream anisotropy, the nearly field-aligned anisotropies up to ~15 minutes upstream of the shock, as well as the "pancake-like" anisotropies up to ~10 minutes downstream of the shock are well reproduced by the simulations. These results, in agreement with earlier works, suggest a dominant role of the large-scale structure (100s of supra-thermal proton gyroradii) of the magnetic field in forging the early-on particle acceleration at shocks.


title: Quantum Phase Diagrams of Matter-Field Hamiltonians II: Wigner Function Analysis

abstract: Non-classical states are of practical interest in quantum computing and quantum metrology. These states can be detected through their Wigner function negativity in some regions. In this paper, we calculate the ground state of the three-level generalised Dicke model for a single atom and determine the structure of its phase diagram using a fidelity criterion. We also calculate the Wigner function of the electromagnetic modes of the ground state through the corresponding reduced density matrix, and show in the phase diagram the regions where entanglement is present. A finer classification for the continuous phase transitions is obtained through the computation of the surface of maximum Bures distance.


title: Breaking the Memory Wall for AI Chip with a New Dimension

abstract: Recent advancements in deep learning have led to the widespread adoption of artificial intelligence (AI) in applications such as computer vision and natural language processing. As neural networks become deeper and larger, AI modeling demands outstrip the capabilities of conventional chip architectures. Memory bandwidth falls behind processing power. Energy consumption comes to dominate the total cost of ownership. Currently, memory capacity is insufficient to support the most advanced NLP models. In this work, we present a 3D AI chip, called Sunrise, with near-memory computing architecture to address these three challenges. This distributed, near-memory computing architecture allows us to tear down the performance-limiting memory wall with an abundance of data bandwidth. We achieve the same level of energy efficiency on 40nm technology as competing chips on 7nm technology. By moving to similar technologies as other AI chips, we project to achieve more than ten times the energy efficiency, seven times the performance of the current state-of-the-art chips, and twenty times of memory capacity as compared with the best chip in each benchmark.


title: Riemannian Anosov extension and applications

abstract: Let $\Sigma$ be a Riemannian manifold with strictly convex spherical boundary. Assuming absence of conjugate points and that the trapped set is hyperbolic, we show that $\Sigma$ can be isometrically embedded into a closed Riemannian manifold with Anosov geodesic flow. We use this embedding to provide a direct link between the classical Livshits theorem for Anosov flows and the Livshits theorem for the X-ray transform which appears in the boundary rigidity program. Also, we give an application for lens rigidity in a conformal class.


title: The Area Localized Coupled Model for Analytical Mean Flow Prediction in Arbitrary Wind Farm Geometries

abstract: This work introduces the Area Localized Coupled (ALC) model, which extends earlier approaches to coupling classical wake superposition and atmospheric boundary layer models in order to enable applicability to arbitrary wind-farm layouts. Coupling wake and top-down boundary layer models is particularly challenging since the latter requires averaging over planform areas associated with certain turbine-specific regions of the flow. The ALC model uses Voronoi tesselation to define a local area around each turbine. A top-down description of a developing internal boundary layers is then applied over Voronoi cells upstream of each turbine to estimate the local mean velocity profile. Coupling between the velocity at hub-height based on this localized top-down model and a wake model is achieved by enforcing a minimum least-square-error in mean velocity in each cell. The ALC model is implemented using a wake model with a profile that transitions from a top-hat to Gaussian function and accounts for wake interactions through linear superposition. Detailed comparisons to large-eddy simulation (LES) data demonstrate the efficacy of the model in accurate predictions of both power and hub height velocity for complex wind farm geometries. Further validation with LES for a hybrid array-random farm that has half of the turbines arranged in an array and the other half randomly distributed indicates the model's versatility with respect to capturing results from different wind farm configurations. In both cases, the ALC model is shown to produce improved power predictions for both the farm and individual turbines over prevailing approaches for a range of wind inflow directions.


title: Revisiting transverse momentum broadening in dense QCD media

abstract: We reconsider the problem of transverse momentum broadening of a highly-energetic parton suffering multiple scatterings in dense colored media, such as the thermal Quark-Gluon plasma or large nuclei. In the framework of Moli\`ere's theory of multiple scattering we re-derive a simple analytic formula, to be used in jet quenching phenomenology, that accounts for both the multiple soft and hard Rutherford scattering regimes. Further, we discuss the sensitivity of momentum broadening to modeling of the non-perturbative infrared sector by presenting a detailed analytic and numerical comparison between the two widely used models in phenomenology: the Hard Thermal Loop and the Gyulassy-Wang potentials. We show that for the relevant values of the parameters the non-universal, model dependent contributions are negligible, at LHC, RHIC and EIC energies thus consolidating the predictive power of jet quenching theory.


title: Parameter Critic: a Model Free Variance Reduction Method Through Imperishable Samples

abstract: We consider the problem of finding a policy that maximizes an expected reward throughout the trajectory of an agent that interacts with an unknown environment. Frequently denoted Reinforcement Learning, this framework suffers from the need of large amount of samples in each step of the learning process. To this end, we introduce parameter critic, a formulation that allows samples to keep their validity even when the parameters of the policy change. In particular, we propose the use of a function approximator to directly learn the relationship between the parameters and the expected cumulative reward. Through convergence analysis, we demonstrate the parameter critic outperforms gradient-free parameter space exploration techniques as it is robust to noise. Empirically, we show that our method solves the cartpole problem which corroborates our claim as the agent can successfully learn an optimal policy while learning the relationship between the parameters and the cumulative reward.


title: Yang-Baxter Equations for General Metaplectic Ice

abstract: In this paper, we extend results connecting quantum groups to spherical Whittaker functions on metaplectic covers of $GL_r(F)$, for $F$ a nonarchimedean local field. Brubaker, Buciumas, and Bump showed that for a certain metaplectic $n$-fold cover of $GL_r(F)$ a set of Yang-Baxter equations model the action of standard intertwiners on principal series Whittaker functions. These equations arise from a Drinfeld twist of the quantum affine Lie superalgebra $U_{\sqrt{v}}(\widehat{\frak{gl}}(n)),$ where $v = q^{-1}$ for $q$ the cardinality of the residue field. We extend their results to all metaplectic covers of $GL_r(F)$, providing new solutions to Yang-Baxter equations matching the scattering matrix for the associated Whittaker functions. Each cover has an associated integer invariant $n_Q$ and the resulting solutions are connected to the quantum group $U_{\sqrt{v}}(\widehat{\frak{gl}}(n_Q))$ and quantum superalgebra $U_{\sqrt{v}}(\widehat{\frak{gl}}(1|n_Q))$.


title: Ensemble Kalman Filter for non-conservative moving mesh solvers with a joint physics and mesh location update

abstract: Numerical solvers using adaptive meshes can focus computational power on important regions of a model domain capturing important or unresolved physics. The adaptation can be informed by the model state, external information, or made to depend on the model physics. In this latter case, one can think of the mesh configuration {\it as part of the model state}. If observational data is to be assimilated into the model, the question of updating the mesh configuration with the physical values arises. Adaptive meshes present significant challenges when using popular ensemble Data Assimilation (DA) methods. We develop a novel strategy for ensemble-based DA for which the adaptive mesh is updated along with the physical values. This involves including the node locations as a part of the model state itself allowing them to be updated automatically at the analysis step. This poses a number of challenges which we resolve to produce an effective approach that promises to apply with some generality. We evaluate our strategy with two testbed models in 1-d comparing to a strategy that does not update the mesh configuration. We find updating the mesh improves the fidelity and convergence of the filter.


title: Truncation of long-range percolation model with square non-summable interactions

abstract: We consider some problems related to the truncation question in long-range percolation. It is given probabilities that certain long-range oriented bonds are open; assuming that this probabilities are not summable, we ask if the probability of percolation is positive when we truncate the graph, disallowing bonds of range above a possibly large but finite threshold. This question is still open if the set of vertices is $\Z^2$. We give some conditions in which the answer is affirmative. One of these results generalize the previous result in [Alves, Hil\'ario, de Lima, Valesin, Journ. Stat. Phys. {\bf 122}, 972 (2017)].


title: $\mathrm{e}^+$$\mathrm{e}^-$ Beam-beam Parameter Study for a TeV-scale PWFA Linear Collider

abstract: We perform a beam-beam parameter study for a TeV-scale PWFA (particle-driven plasma wakefield acceleration) $\mathrm{e}^+$$\mathrm{e}^-$ linear collider using GUINEA-PIG simulations. The study shows that the total luminosity follows the $1/\sqrt{\sigma_z}$-scaling predicted by beamstrahlung theory, where $\sigma_z$ is the rms beam length, which is advantageous for PWFA, as short beam lengths are preferred. We also derive a parameter set for a 3 TeV PWFA linear collider with main beam parameters optimised for luminosity and luminosity spread introduced by beamstrahlung. Lastly, the study also compare the performance for scenarios with reduced positron beam charge at 3 TeV and 14 TeV with CLIC parameters.


title: High-dimensional CLT for Sums of Non-degenerate Random Vectors: $n^{-1/2}$-rate

abstract: In this note, we provide a Berry--Esseen bounds for rectangles in high-dimensions when the random vectors have non-singular covariance matrices. Under this assumption of non-singularity, we prove an $n^{-1/2}$ scaling for the Berry--Esseen bound for sums of mean independent random vectors with a finite third moment. The proof is essentially the method of compositions proof of multivariate Berry--Esseen bound from Senatov (2011). Similar to other existing works (Kuchibhotla et al. 2018, Fang and Koike 2020a), this note considers the applicability and effectiveness of classical CLT proof techniques for the high-dimensional case.


title: Vaccination strategies against COVID-19 and the diffusion of anti-vaccination views

abstract: Miss-information is usually adjusted to fit distinct narratives and can propagate rapidly through communities of interest, which work as echo chambers, cause reinforcement and foster confirmation bias. False beliefs, once adopted, are rarely corrected. Amidst the COVID-19 crisis, pandemic-deniers and people who oppose wearing face masks or quarantines have already been a substantial aspect of the development of the pandemic. With a potential vaccine for COVID-19, different anti-vaccine narratives will be created and, likely, adopted by large population groups, with critical consequences. Here, we analyse epidemic spreading and optimal vaccination strategies, measured with the average years of life lost, in two network topologies (scale-free and small-world) assuming full adherence to vaccine administration. We consider the spread of anti-vaccine views in the network, using a similar diffusion model as the one used in epidemics, which are adopted based on a persuasiveness parameter of anti-vaccine views. Results show that even if an anti-vaccine narrative has a small persuasiveness, a large part of the population will be rapidly exposed to them. Assuming that all individuals are equally likely to adopt anti-vaccine views after being exposed, more central nodes in the network are more exposed and therefore are more likely to adopt them. Comparing years of life lost, anti-vaccine views could have a significant cost not only on those who share them, since the core social benefits of a limited vaccination strategy (reduction of susceptible hosts, network disruptions and slowing the spread of the disease) are substantially shortened.


title: Deep Learning-based Symbolic Indoor Positioning using the Serving eNodeB

abstract: This paper presents a novel indoor positioning method designed for residential apartments. The proposed method makes use of cellular signals emitting from a serving eNodeB which eliminates the need for specialized positioning infrastructure. Additionally, it utilizes Denoising Autoencoders to mitigate the effects of cellular signal loss. We evaluated the proposed method using real-world data collected from two different smartphones inside a representative apartment of eight symbolic spaces. Experimental results verify that the proposed method outperforms conventional symbolic indoor positioning techniques in various performance metrics. To promote reproducibility and foster new research efforts, we made all the data and codes associated with this work publicly available.


title: The Grey Hoodie Project: Big Tobacco, Big Tech, and the threat on academic integrity

abstract: As governmental bodies rely on academics' expert advice to shape policy regarding Artificial Intelligence, it is important that these academics not have conflicts of interests that may cloud or bias their judgement. Our work explores how Big Tech can actively distort the academic landscape to suit its needs. By comparing the well-studied actions of another industry (Big Tobacco) to the current actions of Big Tech we see similar strategies employed by both industries. These strategies enable either industry to sway and influence academic and public discourse. We examine the funding of academic research as a tool used by Big Tech to put forward a socially responsible public image, influence events hosted by and decisions made by funded universities, influence the research questions and plans of individual scientists, and discover receptive academics who can be leveraged. We demonstrate how Big Tech can affect academia from the institutional level down to individual researchers. Thus, we believe that it is vital, particularly for universities and other institutions of higher learning, to discuss the appropriateness and the tradeoffs of accepting funding from Big Tech, and what limitations or conditions should be put in place.


title: Convergence of solutions of Hamilton-Jacobi equations depending nonlinearly on the unknown function

abstract: Motivated by the vanishing contact problem, we study in the present paper the convergence of solutions of Hamilton-Jacobi equations depending nonlinearly on the unknown function. Let $H(x,p,u)$ be a continuous Hamiltonian which is strictly increasing in $u$, and is convex and coercive in $p$. For each parameter $\lambda>0$, we denote by $u^\lambda$ the unique viscosity solution of the H-J equation \[H( x,Du(x),\lambda u(x) )=c.\] Under quite general assumptions, we prove that $u^\lambda$ converges uniformly, as $\lambda$ tends to zero, to a specific solution of the critical H-J equation $ H(x,Du(x),0)=c.$ We also characterize the limit solution in terms of Peierls barrier and Mather measures.


title: Noise Variance Estimation Using Asymptotic Residual in Compressed Sensing

abstract: In compressed sensing, the measurement is usually contaminated by additive noise, and hence the information on the noise variance is often required to design algorithms. In this paper, we propose an estimation method for the unknown noise variance in compressed sensing problems. The proposed method, called asymptotic residual matching (ARM), estimates the noise variance from a single measurement vector on the basis of the asymptotic result for the $\ell_{1}$ optimization problem. Specifically, we derive the asymptotic residual corresponding to the $\ell_{1}$ optimization and show that it depends on the noise variance. The proposed ARM approach obtains the estimate by comparing the asymptotic residual with the actual one, which can be obtained by the empirical reconstruction without the information of the noise variance. For the proposed ARM, we also propose a method to choose a reasonable parameter on the basis of the asymptotic residual as well. The idea of the proposed ARM can be applied not only to the reconstruction of the sparse vector but also to that of other structured vectors such as the binary vector. Simulation results show that the proposed noise variance estimation outperforms several conventional methods, especially when the problem size is small. We also show that, by using the proposed method, we can tune the regularization parameter of the $\ell_{1}$ optimization to achieve good reconstruction performance even when the noise variance is unknown.


title: Lower Bounds on the F-pure Threshold and Extremal Singularities

abstract: We prove that if $f$ is a reduced homogenous polynomial of degree $d$, then its $F$-pure threshold at the unique homogeneous maximal ideal is at least $\frac{1}{d-1}$. We show, furthermore, that its $F$-pure threshold equals $\frac{1}{d-1}$ if and only if $f\in \mathfrak m^{[q]}$ and $d=q+1$, where $q$ is a power of $p$. Up to linear changes of coordinates (over a fixed algebraically closed field), we classify such "extremal singularities," and show that there is at most one with isolated singularity. Finally, we indicate several ways in which the projective hypersurfaces defined by such forms are "extremal," for example, in terms of the configurations of lines they can contain.


title: Numerical Evaluation of Exact Person-by-Person Optimal Nonlinear Control Strategies of the Witsenhausen Counterexample

abstract: Witsenhausen's 1968 counterexmaple is a simple two-stage decentralized stochastic control problem that highlighted the difficulties of sequential decision problems with non-classical information structures. Despite extensive prior efforts, what is known currently, is the exact Person-by-Person (PbP) optimal nonlinear strategies, which satisfy two nonlinear integral equations, announced in 2014, and obtained using Girsanov's change of measure transformations. In this paper, we provide numerical solutions to the two exact nonlinear PbP optimal control strategies, using the Gauss Hermite Quadrature to approximate the integrals and then solve a system of non-linear equations to compute the signaling levels. Further, we analyse and compare our numerical results to existing results previously reported in the literature.


title: Generalized Hamiltonian to describe imperfections in ion-light interaction

abstract: We derive a general Hamiltonian that governs the interaction between an $N$-ion chain and an externally controlled laser field, where the ion motion is quantized and the laser field is considered beyond the plane-wave approximation. This general form not only explicitly includes terms that are used to drive ion-ion entanglement, but also a series of unwanted terms that can lead to quantum gate infidelity. We demonstrate the power of our expressivity of the general Hamiltonian by singling out the effect of axial mode heating and confirm this experimentally. We discuss pathways forward in furthering the trapped-ion quantum computational quality, guiding hardware design decisions.


title: VIVO: Visual Vocabulary Pre-Training for Novel Object Captioning

abstract: It is highly desirable yet challenging to generate image captions that can describe novel objects which are unseen in caption-labeled training data, a capability that is evaluated in the novel object captioning challenge (nocaps). In this challenge, no additional image-caption training data, other thanCOCO Captions, is allowed for model training. Thus, conventional Vision-Language Pre-training (VLP) methods cannot be applied. This paper presents VIsual VOcabulary pretraining (VIVO) that performs pre-training in the absence of caption annotations. By breaking the dependency of paired image-caption training data in VLP, VIVO can leverage large amounts of paired image-tag data to learn a visual vocabulary. This is done by pre-training a multi-layer Transformer model that learns to align image-level tags with their corresponding image region features. To address the unordered nature of image tags, VIVO uses a Hungarian matching loss with masked tag prediction to conduct pre-training. We validate the effectiveness of VIVO by fine-tuning the pre-trained model for image captioning. In addition, we perform an analysis of the visual-text alignment inferred by our model. The results show that our model can not only generate fluent image captions that describe novel objects, but also identify the locations of these objects. Our single model has achieved new state-of-the-art results on nocaps and surpassed the human CIDEr score.


title: Real-time video streaming in vivo using ultrasound as the communication channel

abstract: The emergence of capsule endoscopy has provided a means of capturing video of the small intestines without having to resort to an invasive procedure involving intubation. However, real-time video streaming to a receiver outside the body remains challenging for capsule endoscopy. Traditional electromagnetic-based solutions are limited in their data rates and available power. Recently, ultrasound was investigated as a communication channel for through-tissue data transmission. To achieve real-time video streaming through tissue, data rates of ultrasound need to exceed 1 Mbps. In a previous study, we demonstrated ultrasound communications with data rates greater than 30 Mbps with two focused ultrasound transducers using a large footprint laboratory system through slabs of lossy tissues [1]. While the form factor of the transmitter is also crucial for capsule endoscopy, it is obvious that a large, focused transducer cannot fit within the size of a capsule. Several other challenges for achieving high-speed ultrasonic communication through tissue include strong reflections leading to multipath effects and attenuation. In this work, we demonstrate ultrasonic video communications using a mm-scale microcrystal transmitter with video streaming supplied by a camera connected to a Field Programmable Gate Array (FPGA). The signals were transmitted through a tissue-mimicking phantom and through the abdomen of a rabbit in vivo. The ultrasound signal was recorded by an array probe connected to a Verasonics Vantage system and decoded back to video. To improve the received signal quality, we combined the signal from multiple channels of the array probe. Orthogonal frequency division multiplexing (OFDM) modulation was used to reduce the receiver complexity under a strong multipath environment.