Related papers: Unique Factorization and Controllability of Tail-B…
Entanglement is resolved in conformal field theory (CFT) with respect to conformal families to all orders in the UV cutoff. To leading order, symmetry-resolved entanglement is connected to the quantum dimension of a conformal family, while…
We present an almost complete classification of the parameterized complexity of all operator fragments of the satisfiability problem in computation tree logic CTL. The investigated parameterization is the sum of temporal depth and…
We prove a functional central limit theorem for partial sums of symmetric stationary long range dependent heavy tailed infinitely divisible processes with a certain type of negative dependence. Previously only positive dependence could be…
We consider the set of partition functions that result from the insertion of twist operators compatible with conformal invariance in a given 2D Conformal Field Theory (CFT). A consistency equation, which gives a classification of twists, is…
We worked out the Batalin-Fradkin-Tyutin (BFT) conversion program of second class constraints to first class constraints in the GS superstring using light cone coordinates. By applying this systematic procedure we were able to obtain a…
We study the defect CFT associated with the half-BPS Wilson line in $\mathcal{N}=4$ Super Yang-Mills theory in four dimensions. Using a perturbative bootstrap approach, we derive new analytical results for multipoint correlators of…
Many energy-based control strategies for mechanical systems require the choice of a Coriolis factorization satisfying a skew-symmetry property. This paper (a) explores if and when a control designer has flexibility in this choice, (b)…
We propose a connection between conformal field theory (CFT) and the exact solution and integrability of the reduced BCS model of superconductivity. The relevant CFT is given by the $SU(2)_k$-WZW model in the singular limit when the level k…
We discuss in detail the uniform discretization approach to the quantization of totally constrained theories. This approach allows to construct the continuum theory of interest as a well defined, controlled, limit of well behaved discrete…
We will present a few new generalizations of the multi-controlled X (MCX) gate that uses the quantum Fourier transform (QFT). Firstly, we will optimize QFT-MCX and prove that it is equivalent to a stair MCX gates array. This stair-wise…
We construct toral Chern-Simons theory with gauge group $\mathbb T=\mathfrak t/\Lambda\cong U(1)^n$ from an even, integral, nondegenerate symmetric bilinear form $K:\Lambda\times\Lambda\to\mathbb Z$ by geometric quantization via real…
The purpose of this paper is to study the realization theory of quantum linear systems. It is shown that for a general quantum linear system its controllability and observability are equivalent and they can be checked by means of a simple…
We establish strong laws of large numbers and central limit theorems for the regret of two of the most popular bandit algorithms: Thompson sampling and UCB. Here, our characterizations of the regret distribution complement the…
We prove singularity of some distributions of random continued fractions that correspond to iterated function systems with overlap and a parabolic point. These arose while studying the conductance of Galton-Watson trees.
In this proceedings I review the soft-collinear effective theory (SCET), an effective theory for energetic particles. I also discuss factorization in exclusive and inclusive B-> D^(*)X decays, and tests which can help distinguish whether…
Safety filters based on Control Barrier Functions (CBFs) provide formal guarantees of forward invariance, but are often difficult to implement in networked dynamical systems. This is due to global coupling and communication requirements.…
Linearization based controllers for incompressible flows have been proven to work in theory and in simulations. To realize such a controller numerically, the infinite dimensional system has to be linearized and discretized. The unavoidable…
Bounded Derivation Depth property (BDD) and Finite Controllability (FC) are two properties of sets of datalog rules and tuple generating dependencies (known as Datalog +/- programs), which recently attracted some attention. We conjecture…
This tutorial paper presents recent work of the authors that extends the theory of Control Barrier Functions (CBFs) to address practical challenges in the synthesis of safe controllers for autonomous systems and robots. We present novel…
Transistors, regardless of their size, rely on electrical gates to control the conductance between source and drain contacts. In atomic-scale transistors, this conductance is exquisitely sensitive to single electrons hopping via individual…