A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.
In this paper, we study the bound states of quantum layers. We prove that for the quantum layer built over a parabolic manifold which is not totally geodesic, if the second fundamantal form decays sufficiently fast, then the bound states exist. In the 2d case, we prove that the quantum layer over a convex surface whose…
We study the existence of monopole bound states saturating the BPS bound in N=2 supersymmetric Yang-Mills theories. We describe how the existence of such bound states relates to the topology of index bundles over the moduli space of BPS solutions. Using an L2 index theorem, we prove the existence of certain BPS stat…
We study the existence of D-brane bound states at threshold in Type II string theories. In a number of situations, we can reduce the question of existence to quadrature, and the study of a particular limit of the propagator for the system of D-branes. This involves a derivation of an index theorem for a family of non-F…
We present a novel framework for specifying and verifying correctness globally for neural networks on perception tasks. Most previous works on neural network verification for perception tasks focus on robustness verification. Unlike robustness verification, which aims to verify that the prediction of a network is stabl…
The problem of reinforcement learning in an unknown and discrete Markov Decision Process (MDP) under the average-reward criterion is considered, when the learner interacts with the system in a single stream of observations, starting from an initial state without any reset. We revisit the minimax lower bound for that pr…
We present an algorithm based on the \emph{Optimism in the Face of Uncertainty} (OFU) principle which is able to learn Reinforcement Learning (RL) modeled by Markov decision process (MDP) with finite state-action space efficiently. By evaluating the state-pair difference of the optimal bias function h∗, the propos…
Model reduction of Markov processes is a basic problem in modeling state-transition systems. Motivated by the state aggregation approach rooted in control theory, we study the statistical state compression of a discrete-state Markov chain from empirical trajectories. Through the lens of spectral decomposition, we study…
We address reinforcement learning problems with finite state and action spaces where the underlying MDP has some known structure that could be potentially exploited to minimize the exploration rates of suboptimal (state, action) pairs. For any arbitrary structure, we derive problem-specific regret lower bounds satisfie…
We consider complete spacelike hypersurfaces with constant mean curvature in the open region of de Sitter space known as the steady state space. We prove that if the hypersurface is bounded away from the infinity of the ambient space, then the mean curvature must be H=1. Moreover, in the 2-dimensional case we obtain th…
The main theorem states that any complete connected Riemannian manifold of bounded geometry can be isometrically realized as a leaf with trivial holonomy in a compact Riemannian foliated space.
This paper addresses the problem of online learning in a dynamic setting. We consider a social network in which each individual observes a private signal about the underlying state of the world and communicates with her neighbors at each time period. Unlike many existing approaches, the underlying state is dynamic, and…
The Riemannian Bures metric on the space of (normalized) complex positive matrices is used for parameter estimation of mixed quantum states based on repeated measurements just as the Fisher information in classical statistics. It appears also in the concept of purifications of mixed states in quantum physics. Here we d…
The density matrices are positively semi-definite Hermitian matrices of unit trace that describe the state of a quantum system. The goal of the paper is to develop minimax lower bounds on error rates of estimation of low rank density matrices in trace regression models used in quantum state tomography (in particular, i…
We tackle the problem of acting in an unknown finite and discrete Markov Decision Process (MDP) for which the expected shortest path from any state to any other state is bounded by a finite number D. An MDP consists of S states and A possible actions per state. Upon choosing an action at at state st, one re…
We consider Markov Decision Processes (MDPs) where the rewards are unknown and may change in an adversarial manner. We provide an algorithm that achieves state-of-the-art regret bound of O(τ(ln∣S∣+ln∣A∣)Tln(T)), where S is the state space, A is the action space, τ is the mixing time of the MDP, and $…
We determine when certain state cycles represent nontrivial Khovanov homology classes by analyzing features of the state graph. Using this method, we are able to produce hyperbolic knots with arbitrarily many diagonals containing nontrivial state cycle homology classes. This gives lower bounds on the Khovanov width of …
Signal temporal logic (STL) is an expressive language to specify time-bound real-world robotic tasks and safety specifications. Recently, there has been an interest in learning optimal policies to satisfy STL specifications via reinforcement learning (RL). Learning to satisfy STL specifications often needs a sufficient…