-
Relative Inverse Limit Perfection of Derived Commutative Rings
Authors:
Daniel Fink
Abstract:
We study the relative Frobenius map associated with a map of derived commutative rings over a field of positive characteristic. As part of this, we examine a relative analog of perfectness and construct a relative inverse limit perfection which, under suitable conditions on the base, serves as a right adjoint to the inclusion of relatively perfect algebras into the category of all algebras. Specia…
▽ More
We study the relative Frobenius map associated with a map of derived commutative rings over a field of positive characteristic. As part of this, we examine a relative analog of perfectness and construct a relative inverse limit perfection which, under suitable conditions on the base, serves as a right adjoint to the inclusion of relatively perfect algebras into the category of all algebras. Specializing to animated rings, we investigate relative versions of semiperfectness and F-finiteness, and use these to show that any map of F-finite animated rings factors into a free map of finite type, followed by a relatively perfect map, followed by a surjective map. We also show that, for a morphism of Noetherian F-finite rings, the vanishing of the cotangent complex implies that the morphism is relatively perfect.
△ Less
Submitted 12 June, 2025;
originally announced June 2025.
-
$L$-smooth factorization for Noetherian $F$-finite rings
Authors:
Manuel Blickle,
Daniel Fink
Abstract:
We show that any homomorphism between Noetherian $F$-finite rings can be factored into a regular morphism between Noetherian $F$-finite rings followed by a surjection. This result establishes an analog of the 'smooth-by-surjective' factorization for finite type maps. As part of our analysis, we observe that for maps of Noetherian $F$-finite rings, regularity and formal smoothness are both equivale…
▽ More
We show that any homomorphism between Noetherian $F$-finite rings can be factored into a regular morphism between Noetherian $F$-finite rings followed by a surjection. This result establishes an analog of the 'smooth-by-surjective' factorization for finite type maps. As part of our analysis, we observe that for maps of Noetherian $F$-finite rings, regularity and formal smoothness are both equivalent to $L$-smoothness, meaning that the cotangent complex, as in the smooth case, is a locally free module of finite rank concentrated in degree zero.
Our findings may also be viewed as a relative version of Gabber's final remark in \citep{Gab04}, which states that any Noetherian $F$-finite ring is a quotient of a regular Noetherian $F$-finite ring.
△ Less
Submitted 16 January, 2025;
originally announced January 2025.
-
On the injective dimension of unit Cartier and Frobenius modules
Authors:
Manuel Blickle,
Daniel Fink,
Alexandria Wheeler,
Wenliang Zhang
Abstract:
Let $R$ be a regular $F$-finite ring of prime characteristic $p$. We prove that the injective dimension of every unit Frobenius module $M$ in the category of unit Frobenius modules is at most $\operatorname{dim}(\operatorname{Supp}_R(M))+1$. We further show that for unit Cartier modules the same bound holds over any noetherian $F$-finite ring $A$ of prime characteristic $p$. This shows that…
▽ More
Let $R$ be a regular $F$-finite ring of prime characteristic $p$. We prove that the injective dimension of every unit Frobenius module $M$ in the category of unit Frobenius modules is at most $\operatorname{dim}(\operatorname{Supp}_R(M))+1$. We further show that for unit Cartier modules the same bound holds over any noetherian $F$-finite ring $A$ of prime characteristic $p$. This shows that $\dim A+1$ is a uniform upper bound for the injective dimension of any unit Cartier module over a noetherian $F$-finite ring $A$.
△ Less
Submitted 11 December, 2024;
originally announced December 2024.
-
Training robust and generalizable quantum models
Authors:
Julian Berberich,
Daniel Fink,
Daniel Pranjić,
Christian Tutschku,
Christian Holm
Abstract:
Adversarial robustness and generalization are both crucial properties of reliable machine learning models. In this paper, we study these properties in the context of quantum machine learning based on Lipschitz bounds. We derive parameter-dependent Lipschitz bounds for quantum models with trainable encoding, showing that the norm of the data encoding has a crucial impact on the robustness against d…
▽ More
Adversarial robustness and generalization are both crucial properties of reliable machine learning models. In this paper, we study these properties in the context of quantum machine learning based on Lipschitz bounds. We derive parameter-dependent Lipschitz bounds for quantum models with trainable encoding, showing that the norm of the data encoding has a crucial impact on the robustness against data perturbations. Further, we derive a bound on the generalization error which explicitly involves the parameters of the data encoding. Our theoretical findings give rise to a practical strategy for training robust and generalizable quantum models by regularizing the Lipschitz bound in the cost. Further, we show that, for fixed and non-trainable encodings, as those frequently employed in quantum machine learning, the Lipschitz bound cannot be influenced by tuning the parameters. Thus, trainable encodings are crucial for systematically adapting robustness and generalization during training. The practical implications of our theoretical findings are illustrated with numerical results.
△ Less
Submitted 23 May, 2024; v1 submitted 20 November, 2023;
originally announced November 2023.
-
Quantum computing through the lens of control: A tutorial introduction
Authors:
Julian Berberich,
Daniel Fink
Abstract:
Quantum computing is a fascinating interdisciplinary research field that promises to revolutionize computing by efficiently solving previously intractable problems. Recent years have seen tremendous progress on both the experimental realization of quantum computing devices as well as the development and implementation of quantum algorithms. Yet, realizing computational advantages of quantum comput…
▽ More
Quantum computing is a fascinating interdisciplinary research field that promises to revolutionize computing by efficiently solving previously intractable problems. Recent years have seen tremendous progress on both the experimental realization of quantum computing devices as well as the development and implementation of quantum algorithms. Yet, realizing computational advantages of quantum computers in practice remains a widely open problem due to numerous fundamental challenges. Interestingly, many of these challenges are connected to performance, robustness, scalability, optimization, or feedback, all of which are central concepts in control theory. This paper provides a tutorial introduction to quantum computing from the perspective of control theory. We introduce the mathematical framework of quantum algorithms ranging from basic elements including quantum bits and quantum gates to more advanced concepts such as variational quantum algorithms and quantum errors. The tutorial only requires basic knowledge of linear algebra and, in particular, no prior exposure to quantum physics. Our main goal is to equip readers with the mathematical basics required to understand and possibly solve (control-related) problems in quantum computing. In particular, beyond the tutorial introduction, we provide a list of research challenges in the field of quantum computing and discuss their connections to control.
△ Less
Submitted 3 December, 2024; v1 submitted 19 October, 2023;
originally announced October 2023.
-
Robustness of quantum algorithms against coherent control errors
Authors:
Julian Berberich,
Daniel Fink,
Christian Holm
Abstract:
Coherent control errors, for which ideal Hamiltonians are perturbed by unknown multiplicative noise terms, are a major obstacle for reliable quantum computing. In this paper, we present a framework for analyzing the robustness of quantum algorithms against coherent control errors using Lipschitz bounds. We derive worst-case fidelity bounds which show that the resilience against coherent control er…
▽ More
Coherent control errors, for which ideal Hamiltonians are perturbed by unknown multiplicative noise terms, are a major obstacle for reliable quantum computing. In this paper, we present a framework for analyzing the robustness of quantum algorithms against coherent control errors using Lipschitz bounds. We derive worst-case fidelity bounds which show that the resilience against coherent control errors is mainly influenced by the norms of the Hamiltonians generating the individual gates. These bounds are explicitly computable even for large circuits, and they can be used to guarantee fault-tolerance via threshold theorems. Moreover, we apply our theoretical framework to derive a novel guideline for robust quantum algorithm design and transpilation, which amounts to reducing the norms of the Hamiltonians. Using the $3$-qubit Quantum Fourier Transform as an example application, we demonstrate that this guideline targets robustness more effectively than existing ones based on circuit depth or gate count. Furthermore, we apply our framework to study the effect of parameter regularization in variational quantum algorithms. The practicality of the theoretical results is demonstrated via implementations in simulation and on a quantum computer.
△ Less
Submitted 3 December, 2024; v1 submitted 1 March, 2023;
originally announced March 2023.
-
Cartier Crystals have finite global dimension
Authors:
Manuel Blickle,
Daniel Fink
Abstract:
We show that the category of quasi-coherent Cartier crystals is equivalent to the category of unit Cartier modules on an F-finite noetherian ring R, and that these equivalent categories have finite global dimension, by showing that every quasi-coherent Cartier crystal has a finite injective resolution. The length of the resolution is uniformly bounded by a bound only depending on R. Our result sho…
▽ More
We show that the category of quasi-coherent Cartier crystals is equivalent to the category of unit Cartier modules on an F-finite noetherian ring R, and that these equivalent categories have finite global dimension, by showing that every quasi-coherent Cartier crystal has a finite injective resolution. The length of the resolution is uniformly bounded by a bound only depending on R. Our result should be viewed as a generalization of a result of Ma showing that the category of unit R[F]-modules over a F-finite regular ring R has finite global dimension dim R + 1.
△ Less
Submitted 21 November, 2022;
originally announced November 2022.
