-
Random Features Approximation for Control-Affine Systems
Authors:
Kimia Kazemian,
Yahya Sattar,
Sarah Dean
Abstract:
Modern data-driven control applications call for flexible nonlinear models that are amenable to principled controller synthesis and realtime feedback. Many nonlinear dynamical systems of interest are control affine. We propose two novel classes of nonlinear feature representations which capture control affine structure while allowing for arbitrary complexity in the state dependence. Our methods ma…
▽ More
Modern data-driven control applications call for flexible nonlinear models that are amenable to principled controller synthesis and realtime feedback. Many nonlinear dynamical systems of interest are control affine. We propose two novel classes of nonlinear feature representations which capture control affine structure while allowing for arbitrary complexity in the state dependence. Our methods make use of random features (RF) approximations, inheriting the expressiveness of kernel methods at a lower computational cost. We formalize the representational capabilities of our methods by showing their relationship to the Affine Dot Product (ADP) kernel proposed by Castañeda et al. (2021) and a novel Affine Dense (AD) kernel that we introduce. We further illustrate the utility by presenting a case study of data-driven optimization-based control using control certificate functions (CCF). Simulation experiments on a double pendulum empirically demonstrate the advantages of our methods.
△ Less
Submitted 10 June, 2024; v1 submitted 10 June, 2024;
originally announced June 2024.
-
Effusion of stochastic processes on a line
Authors:
David S. Dean,
Satya N. Majumdar,
Gregory Schehr
Abstract:
We consider the problem of leakage or effusion of an ensemble of independent stochastic processes from a region where they are initially randomly distributed. The case of Brownian motion, initially confined to the left half line with uniform density and leaking into the positive half line is an example which has been extensively studied in the literature. Here we derive new results for the average…
▽ More
We consider the problem of leakage or effusion of an ensemble of independent stochastic processes from a region where they are initially randomly distributed. The case of Brownian motion, initially confined to the left half line with uniform density and leaking into the positive half line is an example which has been extensively studied in the literature. Here we derive new results for the average number and variance of the number of leaked particles for arbitrary Gaussian processes initially confined to the negative half line and also derive its joint two-time probability distribution, both for the annealed and the quenched initial conditions. For the annealed case, we show that the two-time joint distribution is a bivariate Poisson distribution. We also discuss the role of correlations in the initial particle positions on the statistics of the number of particles on the positive half line. We show that the strong memory effects in the variance of the particle number on the positive real axis for Brownian particles, seen in recent studies, persist for arbitrary Gaussian processes and also at the level of two-time correlation functions.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
Perception-Based Sampled-Data Optimization of Dynamical Systems
Authors:
Liliaokeawawa Cothren,
Gianluca Bianchin,
Sarah Dean,
Emiliano Dall'Anese
Abstract:
Motivated by perception-based control problems in autonomous systems, this paper addresses the problem of develo** feedback controllers to regulate the inputs and the states of a dynamical system to optimal solutions of an optimization problem when one has no access to exact measurements of the system states. In particular, we consider the case where the states need to be estimated from high-dim…
▽ More
Motivated by perception-based control problems in autonomous systems, this paper addresses the problem of develo** feedback controllers to regulate the inputs and the states of a dynamical system to optimal solutions of an optimization problem when one has no access to exact measurements of the system states. In particular, we consider the case where the states need to be estimated from high-dimensional sensory data received only at discrete time intervals. We develop a sampled-data feedback controller that is based on adaptations of a projected gradient descent method, and that includes neural networks as integral components to estimate the state of the system from perceptual information. We derive sufficient conditions to guarantee (local) input-to-state stability of the control loop. Moreover, we show that the interconnected system tracks the solution trajectory of the underlying optimization problem up to an error that depends on the approximation errors of the neural network and on the time-variability of the optimization problem; the latter originates from time-varying safety and performance objectives, input constraints, and unknown disturbances. As a representative application, we illustrate our results with numerical simulations for vision-based autonomous driving.
△ Less
Submitted 13 October, 2023; v1 submitted 17 November, 2022;
originally announced November 2022.
-
Online Convex Optimization with Unbounded Memory
Authors:
Raunak Kumar,
Sarah Dean,
Robert Kleinberg
Abstract:
Online convex optimization (OCO) is a widely used framework in online learning. In each round, the learner chooses a decision in a convex set and an adversary chooses a convex loss function, and then the learner suffers the loss associated with their current decision. However, in many applications the learner's loss depends not only on the current decision but on the entire history of decisions un…
▽ More
Online convex optimization (OCO) is a widely used framework in online learning. In each round, the learner chooses a decision in a convex set and an adversary chooses a convex loss function, and then the learner suffers the loss associated with their current decision. However, in many applications the learner's loss depends not only on the current decision but on the entire history of decisions until that point. The OCO framework and its existing generalizations do not capture this, and they can only be applied to many settings of interest after a long series of approximation arguments. They also leave open the question of whether the dependence on memory is tight because there are no non-trivial lower bounds. In this work we introduce a generalization of the OCO framework, "Online Convex Optimization with Unbounded Memory", that captures long-term dependence on past decisions. We introduce the notion of $p$-effective memory capacity, $H_p$, that quantifies the maximum influence of past decisions on present losses. We prove an $O(\sqrt{H_p T})$ upper bound on the policy regret and a matching (worst-case) lower bound. As a special case, we prove the first non-trivial lower bound for OCO with finite memory \citep{anavaHM2015online}, which could be of independent interest, and also improve existing upper bounds. We demonstrate the broad applicability of our framework by using it to derive regret bounds, and to improve and simplify existing regret bound derivations, for a variety of online learning problems including online linear control and an online variant of performative prediction.
△ Less
Submitted 29 March, 2024; v1 submitted 18 October, 2022;
originally announced October 2022.
-
Guaranteeing Safety of Learned Perception Modules via Measurement-Robust Control Barrier Functions
Authors:
Sarah Dean,
Andrew J. Taylor,
Ryan K. Cosner,
Benjamin Recht,
Aaron D. Ames
Abstract:
Modern nonlinear control theory seeks to develop feedback controllers that endow systems with properties such as safety and stability. The guarantees ensured by these controllers often rely on accurate estimates of the system state for determining control actions. In practice, measurement model uncertainty can lead to error in state estimates that degrades these guarantees. In this paper, we seek…
▽ More
Modern nonlinear control theory seeks to develop feedback controllers that endow systems with properties such as safety and stability. The guarantees ensured by these controllers often rely on accurate estimates of the system state for determining control actions. In practice, measurement model uncertainty can lead to error in state estimates that degrades these guarantees. In this paper, we seek to unify techniques from control theory and machine learning to synthesize controllers that achieve safety in the presence of measurement model uncertainty. We define the notion of a Measurement-Robust Control Barrier Function (MR-CBF) as a tool for determining safe control inputs when facing measurement model uncertainty. Furthermore, MR-CBFs are used to inform sampling methodologies for learning-based perception systems and quantify tolerable error in the resulting learned models. We demonstrate the efficacy of MR-CBFs in achieving safety with measurement model uncertainty on a simulated Segway system.
△ Less
Submitted 29 October, 2020;
originally announced October 2020.
-
Certainty Equivalent Perception-Based Control
Authors:
Sarah Dean,
Benjamin Recht
Abstract:
In order to certify performance and safety, feedback control requires precise characterization of sensor errors. In this paper, we provide guarantees on such feedback systems when sensors are characterized by solving a supervised learning problem. We show a uniform error bound on nonparametric kernel regression under a dynamically-achievable dense sampling scheme. This allows for a finite-time con…
▽ More
In order to certify performance and safety, feedback control requires precise characterization of sensor errors. In this paper, we provide guarantees on such feedback systems when sensors are characterized by solving a supervised learning problem. We show a uniform error bound on nonparametric kernel regression under a dynamically-achievable dense sampling scheme. This allows for a finite-time convergence rate on the sub-optimality of using the regressor in closed-loop for waypoint tracking. We demonstrate our results in simulation with simplified unmanned aerial vehicle and autonomous driving examples.
△ Less
Submitted 16 April, 2021; v1 submitted 27 August, 2020;
originally announced August 2020.
-
Robust Guarantees for Perception-Based Control
Authors:
Sarah Dean,
Nikolai Matni,
Benjamin Recht,
Vickie Ye
Abstract:
Motivated by vision-based control of autonomous vehicles, we consider the problem of controlling a known linear dynamical system for which partial state information, such as vehicle position, is extracted from complex and nonlinear data, such as a camera image. Our approach is to use a learned perception map that predicts some linear function of the state and to design a corresponding safe set and…
▽ More
Motivated by vision-based control of autonomous vehicles, we consider the problem of controlling a known linear dynamical system for which partial state information, such as vehicle position, is extracted from complex and nonlinear data, such as a camera image. Our approach is to use a learned perception map that predicts some linear function of the state and to design a corresponding safe set and robust controller for the closed loop system with this sensing scheme. We show that under suitable smoothness assumptions on both the perception map and the generative model relating state to complex and nonlinear data, parameters of the safe set can be learned via appropriately dense sampling of the state space. We then prove that the resulting perception-control loop has favorable generalization properties. We illustrate the usefulness of our approach on a synthetic example and on the self-driving car simulation platform CARLA.
△ Less
Submitted 23 December, 2019; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Noninteracting fermions in a trap and random matrix theory
Authors:
David S. Dean,
Pierre Le Doussal,
Satya N. Majumdar,
Gregory Schehr
Abstract:
We review recent advances in the theory of trapped fermions using techniques borrowed from random matrix theory (RMT) and, more generally, from the theory of determinantal point processes. In the presence of a trap, and in the limit of a large number of fermions $N \gg 1$, the spatial density exhibits an edge, beyond which it vanishes. While the spatial correlations far from the edge, i.e. close t…
▽ More
We review recent advances in the theory of trapped fermions using techniques borrowed from random matrix theory (RMT) and, more generally, from the theory of determinantal point processes. In the presence of a trap, and in the limit of a large number of fermions $N \gg 1$, the spatial density exhibits an edge, beyond which it vanishes. While the spatial correlations far from the edge, i.e. close to the center of the trap, are well described by standard many-body techniques, such as the local density approximation (LDA), these methods fail to describe the fluctuations close to the edge of the Fermi gas, where the density is very small and the fluctuations are thus enhanced. It turns out that RMT and determinantal point processes offer a powerful toolbox to study these edge properties in great detail. Here we discuss the principal edge universality classes, that have been recently identified using these modern tools. In dimension $d=1$ and at zero temperature $T=0$, these universality classes are in one-to-one correspondence with the standard universality classes found in the classical unitary random matrix ensembles: soft edge (described by the "Airy kernel") and hard edge (described by the "Bessel kernel") universality classes. We further discuss extensions of these results to higher dimensions $d\geq 2$ and to finite temperature. Finally, we discuss correlations in the phase space, i.e., in the space of positions and momenta, characterized by the so called Wigner function.
△ Less
Submitted 30 October, 2018;
originally announced October 2018.
-
Safely Learning to Control the Constrained Linear Quadratic Regulator
Authors:
Sarah Dean,
Stephen Tu,
Nikolai Matni,
Benjamin Recht
Abstract:
We study the constrained linear quadratic regulator with unknown dynamics, addressing the tension between safety and exploration in data-driven control techniques. We present a framework which allows for system identification through persistent excitation, while maintaining safety by guaranteeing the satisfaction of state and input constraints. This framework involves a novel method for synthesizi…
▽ More
We study the constrained linear quadratic regulator with unknown dynamics, addressing the tension between safety and exploration in data-driven control techniques. We present a framework which allows for system identification through persistent excitation, while maintaining safety by guaranteeing the satisfaction of state and input constraints. This framework involves a novel method for synthesizing robust constraint-satisfying feedback controllers, leveraging newly developed tools from system level synthesis. We connect statistical results with cost sub-optimality bounds to give non-asymptotic guarantees on both estimation and controller performance.
△ Less
Submitted 7 July, 2019; v1 submitted 26 September, 2018;
originally announced September 2018.
-
The defect recollement, the MacPherson-Vilonen construction, and pp formulas
Authors:
Samuel Dean
Abstract:
For any abelian category $\mathcal{A}$, Auslander constructed a localisation $w:\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})\to \mathcal{A}$ called the defect, which is the left adjoint to the Yoneda embedding $Y:\mathcal{A}\to\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})$. If $\mathcal{A}$ has enough projectives, then this localisation is part of a recollement called the defect recolle…
▽ More
For any abelian category $\mathcal{A}$, Auslander constructed a localisation $w:\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})\to \mathcal{A}$ called the defect, which is the left adjoint to the Yoneda embedding $Y:\mathcal{A}\to\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})$. If $\mathcal{A}$ has enough projectives, then this localisation is part of a recollement called the defect recollement. We show that this recollement is an instance of the MacPherson-Vilonen construction if and only if $\mathcal{A}$ is hereditary. We also discuss several subcategories of $\mathrm{fp}(\mathcal{A}^{\mathrm{op}},\mathrm{Ab})$ which arise as canonical features of the defect recollement, and characterise them by properties of their projective presentations and their orthogonality with other subcategories. We apply some parts of the defect recollement to the model theory of modules. Let $R$ be a ring and let $φ/ψ$ be a pp-pair. When $R$ is an artin algebra, we show that there is a smallest pp formula $ρ$ such that $ψ\leqslantρ\leqslantφ$ which agrees with $φ$ on injectives, and that there is a largest pp formula $μ$ such that $ψ\leqslant μ\leqslant φ$ and $ψR=μR$. When $R$ is left coherent, we show that there is a largest pp formula $σ$ such that $ψ\leqslantσ\leqslant φ$ which agrees with $ψ$ on injectives, and that the pp-pair $ψ/φ$ is isomorphic to a pp formula if and only if $ψ=σ$, and that there is a smallest pp formula $ν$ such that $ψ\leqslant ν\leqslantφ$ and $φR=νR$. We also show that, for any pp-pair $φ/ψ$, $w(φ/ψ)\cong (Dψ)R/(Dφ)R$, where $D$ is the elementary duality of pp formulas. We also give an expression for $w(φ/ψ)$ in terms of the free realisation of $φ$ and $ψ$.
△ Less
Submitted 29 May, 2019; v1 submitted 19 August, 2018;
originally announced August 2018.
-
A Broader View on Bias in Automated Decision-Making: Reflecting on Epistemology and Dynamics
Authors:
Roel Dobbe,
Sarah Dean,
Thomas Gilbert,
Nitin Kohli
Abstract:
Machine learning (ML) is increasingly deployed in real world contexts, supplying actionable insights and forming the basis of automated decision-making systems. While issues resulting from biases pre-existing in training data have been at the center of the fairness debate, these systems are also affected by technical and emergent biases, which often arise as context-specific artifacts of implement…
▽ More
Machine learning (ML) is increasingly deployed in real world contexts, supplying actionable insights and forming the basis of automated decision-making systems. While issues resulting from biases pre-existing in training data have been at the center of the fairness debate, these systems are also affected by technical and emergent biases, which often arise as context-specific artifacts of implementation. This position paper interprets technical bias as an epistemological problem and emergent bias as a dynamical feedback phenomenon. In order to stimulate debate on how to change machine learning practice to effectively address these issues, we explore this broader view on bias, stress the need to reflect on epistemology, and point to value-sensitive design methodologies to revisit the design and implementation process of automated decision-making systems.
△ Less
Submitted 6 July, 2018; v1 submitted 2 July, 2018;
originally announced July 2018.
-
Regret Bounds for Robust Adaptive Control of the Linear Quadratic Regulator
Authors:
Sarah Dean,
Horia Mania,
Nikolai Matni,
Benjamin Recht,
Stephen Tu
Abstract:
We consider adaptive control of the Linear Quadratic Regulator (LQR), where an unknown linear system is controlled subject to quadratic costs. Leveraging recent developments in the estimation of linear systems and in robust controller synthesis, we present the first provably polynomial time algorithm that provides high probability guarantees of sub-linear regret on this problem. We further study t…
▽ More
We consider adaptive control of the Linear Quadratic Regulator (LQR), where an unknown linear system is controlled subject to quadratic costs. Leveraging recent developments in the estimation of linear systems and in robust controller synthesis, we present the first provably polynomial time algorithm that provides high probability guarantees of sub-linear regret on this problem. We further study the interplay between regret minimization and parameter estimation by proving a lower bound on the expected regret in terms of the exploration schedule used by any algorithm. Finally, we conduct a numerical study comparing our robust adaptive algorithm to other methods from the adaptive LQR literature, and demonstrate the flexibility of our proposed method by extending it to a demand forecasting problem subject to state constraints.
△ Less
Submitted 23 May, 2018;
originally announced May 2018.
-
On the Sample Complexity of the Linear Quadratic Regulator
Authors:
Sarah Dean,
Horia Mania,
Nikolai Matni,
Benjamin Recht,
Stephen Tu
Abstract:
This paper addresses the optimal control problem known as the Linear Quadratic Regulator in the case when the dynamics are unknown. We propose a multi-stage procedure, called Coarse-ID control, that estimates a model from a few experimental trials, estimates the error in that model with respect to the truth, and then designs a controller using both the model and uncertainty estimate. Our technique…
▽ More
This paper addresses the optimal control problem known as the Linear Quadratic Regulator in the case when the dynamics are unknown. We propose a multi-stage procedure, called Coarse-ID control, that estimates a model from a few experimental trials, estimates the error in that model with respect to the truth, and then designs a controller using both the model and uncertainty estimate. Our technique uses contemporary tools from random matrix theory to bound the error in the estimation procedure. We also employ a recently developed approach to control synthesis called System Level Synthesis that enables robust control design by solving a convex optimization problem. We provide end-to-end bounds on the relative error in control cost that are nearly optimal in the number of parameters and that highlight salient properties of the system to be controlled such as closed-loop sensitivity and optimal control magnitude. We show experimentally that the Coarse-ID approach enables efficient computation of a stabilizing controller in regimes where simple control schemes that do not take the model uncertainty into account fail to stabilize the true system.
△ Less
Submitted 13 December, 2018; v1 submitted 4 October, 2017;
originally announced October 2017.
-
Characterisations of purity in a locally finitely presented additive category: A short functorial proof
Authors:
Samuel Dean
Abstract:
In this expository article, we will give an efficient functorial proof of the equivalence of various characterisations of purity in a finitely accessible additive category $\mathcal C$. The complications of the proofs for specific choices of $\mathcal C$ are contained in the description of fp-injective and injective objects in $(\operatorname{fp}\mathcal C,\mathrm{Ab})$, the category of additive f…
▽ More
In this expository article, we will give an efficient functorial proof of the equivalence of various characterisations of purity in a finitely accessible additive category $\mathcal C$. The complications of the proofs for specific choices of $\mathcal C$ are contained in the description of fp-injective and injective objects in $(\operatorname{fp}\mathcal C,\mathrm{Ab})$, the category of additive functors $\mathcal C\to\mathrm{Ab}$. For example, the equivalence of many characterisations of purity in a module category $\mathcal A\mathrm{-Mod}$ is a simple corollary of what we will prove here, since we know which objects are fp-injective, and which objects are injective, in $(\mathcal A\mathrm{-mod},\mathrm{Ab})$.
△ Less
Submitted 21 April, 2023; v1 submitted 23 February, 2017;
originally announced February 2017.
-
Statistics of the maximal distance and momentum in a trapped Fermi gas at low temperature
Authors:
David S. Dean,
Pierre Le Doussal,
Satya N. Majumdar,
Gregory Schehr
Abstract:
We consider $N$ non-interacting fermions in an isotropic $d$-dimensional harmonic trap. We compute analytically the cumulative distribution of the maximal radial distance of the fermions from the trap center at zero temperature. While in $d=1$ the limiting distribution (in the large $N$ limit), properly centered and scaled, converges to the squared Tracy-Widom distribution of the Gaussian Unitary…
▽ More
We consider $N$ non-interacting fermions in an isotropic $d$-dimensional harmonic trap. We compute analytically the cumulative distribution of the maximal radial distance of the fermions from the trap center at zero temperature. While in $d=1$ the limiting distribution (in the large $N$ limit), properly centered and scaled, converges to the squared Tracy-Widom distribution of the Gaussian Unitary Ensemble in Random Matrix Theory, we show that for all $d>1$, the limiting distribution converges to the Gumbel law. These limiting forms turn out to be universal, i.e., independent of the details of the trap** potential for a large class of isotropic trap** potentials. We also study the position of the right-most fermion in a given direction in $d$ dimensions and, in the case of a harmonic trap, the maximum momentum, and show that they obey similar Gumbel statistics. Finally, we generalize these results to low but finite temperature.
△ Less
Submitted 12 December, 2016;
originally announced December 2016.
-
Derived Recollements and Generalised AR Formulas
Authors:
Samuel Dean,
Jeremy Russell
Abstract:
The Defect Recollement, Restriction Recollement, Auslander-Gruson-Jensen Recollement, and others, are shown to be instances of a general construction using derived functors and methods from stable module theory. The right derived functors $\textsf{W}_k:=R_k(\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )^*$ are computed and it is shown that the functor…
▽ More
The Defect Recollement, Restriction Recollement, Auslander-Gruson-Jensen Recollement, and others, are shown to be instances of a general construction using derived functors and methods from stable module theory. The right derived functors $\textsf{W}_k:=R_k(\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )^*$ are computed and it is shown that the functor $\textsf{W}_2:=R_2(\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )^*$ is right exact and restricts to a duality $\textsf{W}$ of the defect zero functors. The duality $\textsf{W}$ satisfies two identities which we call the Generalised Auslander-Reiten formulas. We show that $\textsf{W}$ restricts to the generalised Auslander-Bridger transpose and show that the Generalised Auslander-Reiten formulas reduce to the well-known Auslander-Reiten formulas.
△ Less
Submitted 17 December, 2016; v1 submitted 5 December, 2016;
originally announced December 2016.
-
Non-interacting fermions at finite temperature in a $d$-dimensional trap: universal correlations
Authors:
David S. Dean,
Pierre Le Doussal,
Satya N. Majumdar,
Gregory Schehr
Abstract:
We study a system of $N$ non-interacting spin-less fermions trapped in a confining potential, in arbitrary dimensions $d$ and arbitrary temperature $T$. The presence of the trap introduces an edge where the average density of fermions vanishes. Far from the edge, near the center of the trap (the so called "bulk regime"), physical properties of the fermions have traditionally been understood using…
▽ More
We study a system of $N$ non-interacting spin-less fermions trapped in a confining potential, in arbitrary dimensions $d$ and arbitrary temperature $T$. The presence of the trap introduces an edge where the average density of fermions vanishes. Far from the edge, near the center of the trap (the so called "bulk regime"), physical properties of the fermions have traditionally been understood using the Local Density Approximation. However, this approximation drastically fails near the edge where the density vanishes. In this paper we show that, even near the edge, novel universal properties emerge, independently of the details of the confining potential. We show that for large $N$, these fermions in a confining trap, in arbitrary dimensions and at finite temperature, form a determinantal point process. As a result, any $n$-point correlation function can be expressed as an $n \times n$ determinant whose entry is called the kernel. Near the edge, we derive the large $N$ scaling form of the kernels. In $d=1$ and $T=0$, this reduces to the so called Airy kernel, that appears in the Gaussian Unitary Ensemble (GUE) of random matrix theory. In $d=1$ and $T>0$ we show a remarkable connection between our kernel and the one appearing in the $1+1$-dimensional Kardar-Parisi-Zhang equation at finite time. Consequently our result provides a finite $T$ generalization of the Tracy-Widom distribution, that describes the fluctuations of the rightmost fermion at $T=0$. In $d>1$ and $T \geq 0$, while the connection to GUE no longer holds, the process is still determinantal whose analysis provides a new class of kernels, generalizing the $1d$ Airy kernel at $T=0$ obtained in random matrix theory. Some of our finite temperature results should be testable in present-day cold atom experiments, most notably our detailed predictions for the temperature dependence of the fluctuations near the edge.
△ Less
Submitted 14 September, 2016;
originally announced September 2016.
-
The Auslander-Gruson-Jensen Recollement
Authors:
Jeremy Russell,
Samuel Dean
Abstract:
For any ring $R$, the Auslander-Gruson-Jensen functor is the exact contravariant functor $$\textsf{D}_A:\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})\longrightarrow(\textsf{mod}(R^{op}),\textsf{Ab})$$ sending representable functors $(X,\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )$ to tensor functors $X\otimes\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} $. We show that this functor admits a fully fa…
▽ More
For any ring $R$, the Auslander-Gruson-Jensen functor is the exact contravariant functor $$\textsf{D}_A:\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})\longrightarrow(\textsf{mod}(R^{op}),\textsf{Ab})$$ sending representable functors $(X,\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} )$ to tensor functors $X\otimes\hspace{0.05cm}\underline{\ \ }\hspace{0.1cm} $. We show that this functor admits a fully faithful left adjoint $\textsf{D}_L$ and a fully faithful right adjoint $\textsf{D}_R$. The left adjoint $$\textsf{D}_L\:(\textsf{mod}(R^{op}),\textsf{Ab})\longrightarrow \textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$$ induces an equivalence of categories $$\frac{\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})}{\{F\ |\ \textsf{D}_A F=0\}}\cong(\textsf{mod}(R^{op}),\textsf{Ab})^{op}$$ where $\{F \ |\ \textsf{D}_A F=0\}$ is the Serre subcategory of $\textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$ consisting of all functors $F$ arising from pure exact sequences. As a result, the functor $\textsf{D}_A$ is seen to be a Serre localization functor. The right adjoint $$\textsf{D}_R:(\textsf{mod}(R^{op}),\textsf{Ab})\longrightarrow \textsf{fp}(\textsf{Mod}(R),\textsf{Ab})$$ together with $\textsf{D}_A$ restricts to the well known Auslander-Gruson-Jensen duality.
△ Less
Submitted 23 February, 2024; v1 submitted 13 June, 2016;
originally announced June 2016.
-
Duality and contravariant functors in the representation theory of artin algebras
Authors:
Samuel Dean
Abstract:
We know that the model theory of modules leads to a way of obtaining definable categories of modules over a ring $R$ as the kernels of certain functors $(R\textbf{-Mod})^{\text{op}}\to\textbf{Ab}$ rather than of functors $R\textbf{-Mod}\to\textbf{Ab}$ which are given by a pp pair. This paper will give various algebraic characterisations of these functors in the case that $R$ is an artin algebra.…
▽ More
We know that the model theory of modules leads to a way of obtaining definable categories of modules over a ring $R$ as the kernels of certain functors $(R\textbf{-Mod})^{\text{op}}\to\textbf{Ab}$ rather than of functors $R\textbf{-Mod}\to\textbf{Ab}$ which are given by a pp pair. This paper will give various algebraic characterisations of these functors in the case that $R$ is an artin algebra.
Suppose that $R$ is an artin algebra. An additive functor $G:(R\textbf{-Mod})^{\text{op}}\to\textbf{Ab}$ preserves inverse limits and $G|_{(R\textbf{-mod})^{\text{op}}}:(R\textbf{-mod})^{\text{op}}\to\textbf{Ab}$ is finitely presented if and only if there is a sequence of natural transformations $(-,A)\to(-,B)\to G\to 0$ for some $A,B\in R\textbf{-mod}$ which is exact when evaluated at any left $R$-module. Any additive functor $(R\textbf{-Mod})^{\text{op}}\to\textbf{Ab}$ with one of these equivalent properties has a definable kernel, and every definable subcategory of $R\textbf{-Mod}$ can be obtained as the kernel of a family of such functors.
In the final section a generalised setting is introduced, so that our results apply to more categories than those of the form $R\textbf{-Mod}$ for an artin algebra $R$. That is, our results are extended to those locally finitely presented $K$-linear categories whose finitely presented objects form a dualising $K$-variety, where $K$ is a commutative artinian ring.
△ Less
Submitted 23 February, 2017; v1 submitted 18 March, 2016;
originally announced March 2016.
-
Finite temperature free fermions and the Kardar-Parisi-Zhang equation at finite time
Authors:
David S. Dean,
Pierre Le Doussal,
Satya N. Majumdar,
Gregory Schehr
Abstract:
We consider the system of $N$ one-dimensional free fermions confined by a harmonic well $V(x) = mω^2 {x^2}/{2}$ at finite inverse temperature $β= 1/T$. The average density of fermions $ρ_N(x,T)$ at position $x$ is derived. For $N \gg 1$ and $β\sim {\cal O}(1/N)$, $ρ_N(x,T)$ is given by a scaling function interpolating between a Gaussian at high temperature, for $β\ll 1/N$, and the Wigner semi-circ…
▽ More
We consider the system of $N$ one-dimensional free fermions confined by a harmonic well $V(x) = mω^2 {x^2}/{2}$ at finite inverse temperature $β= 1/T$. The average density of fermions $ρ_N(x,T)$ at position $x$ is derived. For $N \gg 1$ and $β\sim {\cal O}(1/N)$, $ρ_N(x,T)$ is given by a scaling function interpolating between a Gaussian at high temperature, for $β\ll 1/N$, and the Wigner semi-circle law at low temperature, for $β\gg N^{-1}$. In the latter regime, we unveil a scaling limit, for $β{\hbar ω}= b N^{-1/3}$, where the fluctuations close to the edge of the support, at $x \sim \pm \sqrt{2\hbar N/(mω)}$, are described by a limiting kernel $K^{\rm ff}_b(s,s')$ that depends continuously on $b$ and is a generalization of the Airy kernel, found in the Gaussian Unitary Ensemble of random matrices. Remarkably, exactly the same kernel $K^{\rm ff}_b(s,s')$ arises in the exact solution of the Kardar-Parisi-Zhang (KPZ) equation in 1+1 dimensions at finite time $t$, with the correspondence $t= b^3$.
△ Less
Submitted 9 December, 2015; v1 submitted 4 December, 2014;
originally announced December 2014.
-
Optimal fits of diffusion constants from single time data points of Brownian trajectories
Authors:
Denis Boyer,
David S. Dean,
Carlos Mejía-Monasterio,
Gleb Oshanin
Abstract:
Experimental methods based on single particle tracking (SPT) are being increasingly employed in the physical and biological sciences, where nanoscale objects are visualized with high temporal and spatial resolution. SPT can probe interactions between a particle and its environment but the price to be paid is the absence of ensemble averaging and a consequent lack of statistics. Here we address the…
▽ More
Experimental methods based on single particle tracking (SPT) are being increasingly employed in the physical and biological sciences, where nanoscale objects are visualized with high temporal and spatial resolution. SPT can probe interactions between a particle and its environment but the price to be paid is the absence of ensemble averaging and a consequent lack of statistics. Here we address the benchmark question of how to accurately extract the diffusion constant of one single Brownian trajectory. We analyze a class of estimators based on weighted functionals of the square displacement. For a certain choice of the weight function these functionals provide the true ensemble averaged diffusion coefficient, with a precision that increases with the trajectory resolution.
△ Less
Submitted 6 November, 2012;
originally announced November 2012.
-
Phase Transition in the Aldous-Shields Model of Growing Trees
Authors:
David S. Dean,
Satya N. Majumdar
Abstract:
We study analytically the late time statistics of the number of particles in a growing tree model introduced by Aldous and Shields. In this model, a cluster grows in continuous time on a binary Cayley tree, starting from the root, by absorbing new particles at the empty perimeter sites at a rate proportional to c^{-l} where c is a positive parameter and l is the distance of the perimeter site fr…
▽ More
We study analytically the late time statistics of the number of particles in a growing tree model introduced by Aldous and Shields. In this model, a cluster grows in continuous time on a binary Cayley tree, starting from the root, by absorbing new particles at the empty perimeter sites at a rate proportional to c^{-l} where c is a positive parameter and l is the distance of the perimeter site from the root. For c=1, this model corresponds to random binary search trees and for c=2 it corresponds to digital search trees in computer science. By introducing a backward Fokker-Planck approach, we calculate the mean and the variance of the number of particles at large times and show that the variance undergoes a `phase transition' at a critical value c=sqrt{2}. While for c>sqrt{2} the variance is proportional to the mean and the distribution is normal, for c<sqrt{2} the variance is anomalously large and the distribution is non-Gaussian due to the appearance of extreme fluctuations. The model is generalized to one where growth occurs on a tree with $m$ branches and, in this more general case, we show that the critical point occurs at c=sqrt{m}.
△ Less
Submitted 24 October, 2005; v1 submitted 17 October, 2005;
originally announced October 2005.
-
Exact Solution of a Drop-push Model for Percolation
Authors:
Satya N. Majumdar,
David S. Dean
Abstract:
Motivated by a computer science algorithm known as `linear probing with hashing' we study a new type of percolation model whose basic features include a sequential `drop**' of particles on a substrate followed by their transport via a `pushing' mechanism. Our exact solution in one dimension shows that, unlike the ordinary random percolation model, the drop-push model has nontrivial spatial cor…
▽ More
Motivated by a computer science algorithm known as `linear probing with hashing' we study a new type of percolation model whose basic features include a sequential `drop**' of particles on a substrate followed by their transport via a `pushing' mechanism. Our exact solution in one dimension shows that, unlike the ordinary random percolation model, the drop-push model has nontrivial spatial correlations generated by the dynamics itself. The critical exponents in the drop-push model are also different from that of the ordinary percolation. The relevance of our results to computer science is pointed out.
△ Less
Submitted 16 May, 2002;
originally announced May 2002.
-
Phase Transition in a Random Fragmentation Problem with Applications to Computer Science
Authors:
David S. Dean,
Satya N. Majumdar
Abstract:
We study a fragmentation problem where an initial object of size x is broken into m random pieces provided x>x_0 where x_0 is an atomic cut-off. Subsequently the fragmentation process continues for each of those daughter pieces whose sizes are bigger than x_0. The process stops when all the fragments have sizes smaller than x_0. We show that the fluctuation of the total number of splitting event…
▽ More
We study a fragmentation problem where an initial object of size x is broken into m random pieces provided x>x_0 where x_0 is an atomic cut-off. Subsequently the fragmentation process continues for each of those daughter pieces whose sizes are bigger than x_0. The process stops when all the fragments have sizes smaller than x_0. We show that the fluctuation of the total number of splitting events, characterized by the variance, generically undergoes a nontrivial phase transition as one tunes the branching number m through a critical value m=m_c. For m<m_c, the fluctuations are Gaussian where as for m>m_c they are anomalously large and non-Gaussian. We apply this general result to analyze two different search algorithms in computer science.
△ Less
Submitted 2 May, 2002;
originally announced May 2002.