This paper attributes the sudden emergence of mathematical probability and statistics in the second half of the seventeenth century to Calvin's Reformed theology. Calvin accommodated Epicurean chance with Stoic determinism and synthesised \emph{phronesis/prudentia}, founded personal experience and employed to deal with \emph{tyche/fortuna}, and \emph{episteme/scientia}, universal knowledge. This meant that matters of chance, which had previously been considered too particular for mathematical treatment, became part of \emph{episteme/scientia}. Clear evidence of the significance of Calvin in mathematics is in the facts that Huygens considered using the word 'hope' to describe mathematical expectation and French mathematics still uses \emph{espérance} for mathematical expectation. Calvin asserted that Hope represented a universal, objective and indubitable idea making it characteristic of mathematics. The argument is built on a review of how the ideas of Hope, Faith and Prudence have evolved in European thought that highlights Calvin's innovations. The conclusion identifies contemporary issues in the application of mathematics in society that are illuminated in light of Calvin's doct
This project report summarizes our journey to perform stable diffusion fine-tuning on a dataset containing Calvin and Hobbes comics. The purpose is to convert any given input image into the comic style of Calvin and Hobbes, essentially performing style transfer. We train stable-diffusion-v1.5 using Low Rank Adaptation (LoRA) to efficiently speed up the fine-tuning process. The diffusion itself is handled by a Variational Autoencoder (VAE), which is a U-net. Our results were visually appealing for the amount of training time and the quality of input data that went into training.
There are many models of the Calvin cycle of photosynthesis in the literature. When investigating the dynamics of these models one strategy is to look at the simplest possible models in order to get the most detailed insights. We investigate a minimal model of the Calvin cycle introduced by Hahn while he was pursuing this strategy. In a variant of the model not including photorespiration it is shown that there exists exactly one positive steady state and that this steady state is unstable. For generic initial data either all concentrations tend to infinity at lates times or all concentrations tend to zero at late times. In a variant including photorespiration it is shown that for suitable values of the parameters of the model there exist two positive steady states, one stable and one unstable. For generic initial data either the solution tends to the stable steady state at late times or all concentrations tend to zero at late times. Thus we obtain rigorous proofs of mathematical statements which together confirm the intuitive idea proposed by Hahn that photorespiration can stabilize the operation of the Calvin cycle. In the case that the concentrations tend to infinity we derive fo
General-purpose robots coexisting with humans in their environment must learn to relate human language to their perceptions and actions to be useful in a range of daily tasks. Moreover, they need to acquire a diverse repertoire of general-purpose skills that allow composing long-horizon tasks by following unconstrained language instructions. In this paper, we present CALVIN (Composing Actions from Language and Vision), an open-source simulated benchmark to learn long-horizon language-conditioned tasks. Our aim is to make it possible to develop agents that can solve many robotic manipulation tasks over a long horizon, from onboard sensors, and specified only via human language. CALVIN tasks are more complex in terms of sequence length, action space, and language than existing vision-and-language task datasets and supports flexible specification of sensor suites. We evaluate the agents in zero-shot to novel language instructions and to novel environments and objects. We show that a baseline model based on multi-context imitation learning performs poorly on CALVIN, suggesting that there is significant room for developing innovative agents that learn to relate human language to their w
This paper compares a number of mathematical models for the Calvin cycle of photosynthesis and presents theorems on the existence and stability of steady states of these models. Results on five-variable models in the literature are surveyed. Next a number of larger models related to one introduced by Pettersson and Ryde-Pettersson are discussed. The mathematical nature of this model is clarified, showing that it is naturally defined as a system of differential-algebraic equations. It is proved that there are choices of parameters for which this model admits more than one positive steady state. This is done by analysing the limit where the storage of sugars from the cycle as starch is shut down. There is also a discussion of the minimal models for the cycle due to Hahn.
In this paper results are obtained concerning the number of positive stationary solutions in simple models of the Calvin cycle of photosynthesis and the stability of these solutions. It is proved that there are open sets of parameters in a model of Zhu et. al. for which there exist two positive stationary solutions. There are never more than two isolated positive stationary solutions but under certain explicit special conditions on the parameters there is a whole continuum of positive stationary solutions. It is also shown that in the set of parameter values for which two isolated positive stationary solutions exist there is an open subset where one of the solutions is asymptotically stable and the other is unstable. In related models , for which it was known that more that one positive stationary solution exists, it is proved that there are parameter values for which one of these solutions is asymptotically stable and the other unstable. A key technical aspect of the proofs is to exploit the fact that there is a bifurcation where the centre manifold is one-dimensional.
Modelling the Calvin cycle of photosynthesis leads to various systems of ordinary differential equations and reaction-diffusion equations. They differ by the choice of chemical substances included in the model, the choices of stoichiometric coefficients and chemical kinetics and whether or not diffusion is taken into account. This paper studies the long-time behaviour of solutions of several of these systems, concentrating on the ODE case. In some examples it is shown that there exist two positive stationary solutions. In several cases it is shown that there exist solutions where the concentrations of all substrates tend to zero at late times and others (runaway solutions) where the concentrations of all substrates increase without limit. In another case, where the concentration of ATP is explicitly included, runaway solutions are ruled out.
The dynamics of a mathematical model of the Calvin cycle, which is part of photosynthesis, is analysed. Since diffusion of ATP is included in the model a system of reaction-diffusion equations is obtained. It is proved that for a suitable choice of parameters there exist spatially inhomogeneous positive steady states, in fact infinitely many of them. It is also shown that all positive steady states, homogeneous and inhomogeneous, are nonlinearly unstable. The only smooth steady state which could be stable is a trivial one, where all concentrations except that of ATP are zero. It is found that in the spatially homogeneous case there are steady states with the property that the linearization about that state has eigenvalues which are not real, indicating the presence of oscillations. Numerical simulations exhibit solutions for which the concentrations are not monotone functions of time.
ReLU neural networks trained as surrogate models can be embedded exactly in mixed-integer linear programs (MILPs), enabling global optimization over the learned function. The tractability of the resulting MILP depends on structural properties of the network, i.e., the number of binary variables in associated formulations and the tightness of the continuous LP relaxation. These properties are determined during training, yet standard training objectives (prediction loss with classical weight regularization) offer no mechanism to directly control them. This work studies training regularizers that directly target downstream MILP tractability. Specifically, we propose simple bound-based regularizers that penalize the big-M constants of MILP formulations and/or the number of unstable neurons. Moreover, we introduce an LP relaxation gap regularizer that explicitly penalizes the per-sample gap of the continuous relaxation at training points. We derive its associated gradient and provide an implementation from LP dual variables without custom automatic differentiation tools. We show that combining the above regularizers can approximate the full total derivative of the LP gap with respect to
In [GL24], Galashin and Lam discovered that when $k$ and $n$ are coprime, the proportion of subspaces in $\mathrm{Gr}(k,n)(\mathbb{F}_q)$ that lie in the top-dimensional open positroid variety $Π_{k,n}^\circ(\mathbb{F}_q)$ is $|(\mathbb{F}_q^\times)^n|/|\mathbb{F}_{q^n}^\times|$. In this paper, I recover this point count identity by relating the split torus action on $(Π_{k,n}^\circ)_{\mathbb{F}_q}$ and an anisotropic torus action on a $\mathbb{F}_q$ rational form of $Π_{k,n}^\circ$. The main step in the point count argument and the main technical result in this paper is that cyclic rotation acts trivially on the torus-equivariant cohomology of $Π_{k,n}^\circ$ when $k$ and $n$ are coprime.
A fundamental symmetry of the non-Hermitian operators describing wave-propagation in time-varying media imbue such systems with non-trivial topology. This topology may be measured directly in a wide range of experimental settings as a quantised real part of the Berry phase, contrasting unconstrained geometric gain or loss. This topological index is provided explicitly for practical examples, including a non-Hermitian analogue of the Su-Schrieffer-Heeger model.
Previous work of the author and N. Reshetikhin defines an invariant $\operatorname{Z}_{N}^ψ(K, ρ, μ)$ of a knot $K$, a representation $ρ: π_{1}(S^{3} \setminus K) \to \operatorname{SL}_2(\mathbb{C})$, and a logarithm $μ$ of a meridian eigenvalue of $ρ$. It can be interpreted as a geometric twist of the Kasahev invariant or as a quantization of the $\operatorname{SL}(\mathbb{C})$ Chern-Simons invariant and is defined using a discrete state-sum involving quantum dilogarithms. In this paper we show how to express $\operatorname{Z}_{N}^ψ(K, ρ, μ)$ as a sum over contour integrals in a space parametrizing hyperbolic structures on the knot complement. Such integral presentations are an important step in determining the asymptotics of quantum invariants as predicted by the Volume Conjecture. We discuss this perspective and the remaining obstacles to establishing exponential growth of $\operatorname{Z}_{N}^ψ$.
TabPFN [Hollmann et al., 2023], a Transformer model pretrained to perform in-context learning on fresh tabular classification problems, was presented at the last ICLR conference. To better understand its behavior, we treat it as a black-box function approximator generator and observe its generated function approximations on a varied selection of training datasets. Exploring its learned inductive biases in this manner, we observe behavior that is at turns either brilliant or baffling. We conclude this post with thoughts on how these results might inform the development, evaluation, and application of prior-data fitted networks (PFNs) in the future.
The maintenance of primary mirror segment co-phasing is a critical aspect to the operation of segmented telescopes. However, speckle-based measurements of the phasing of the Keck primary have estimated semi-static surface aberrations of approximately 65 nm rms, which were not sensed by the current phasing control system. We propose directly sensing and controlling the primary via the adaptive optics (AO) system, as a Controllable Segmented Primary (CSP), to actively correct its phasing. We develop a methodology for separating the independent controllable signal of the CSP from the rest of the AO system and show estimations of the achievable measurement precision from models of the Keck-II AO system.
We derive an explicit formula for the holonomy $R$-matrix of quantum $\mathfrak{sl}_2$ at a root of unity. We show it factorizes into a product of four quantum dilogarithms and satisfies a holonomy Yang-Baxter equation. This factorization extends previously known results and we collect many existing results needed for our computation.
We introduce a class of proper differential graded algebras which we call Serre cyclotomic. They generalize fractionally Calabi-Yau algebras and categorify de la Peña's algebras of cyclotomic type. Path algebras of affine type and (higher) canonical algebras are examples of Serre cyclotomic algebras. Our definition is related to Elias-Hogancamp's theory of categorical diagonalization. We compute the categorical entropy of their Serre functors, in the sense of Dimitrov-Haiden-Katzarkov-Kontsevich, and use this to determine which graded path algebras and which homologically smooth graded gentle algebras are Serre cyclotomic. Finally, we show that trivial extension algebras of Serre cyclotomic algebras have finite global complexity.
We define a sequence of invariants $\mathcal{Z}_{N}^ψ$ of tangles with flat $\mathfrak{sl}_{2}$ connections (i.e. hyperbolic structures) on their complements. These can be interpreted as a geometric twist of the Kashaev invariant or as a quantization of the $\operatorname{SL}_{2}(\mathbb{C})$ Chern-Simons invariant. To support the second interpretation we give a new description $\mathcal{I}^ψ$ of the Chern-Simons invariant of a tangle exterior. $\mathcal{Z}_{N}^ψ$ directly recovers $\mathcal{I}^ψ$ when $N = 1$. We build $\mathcal{Z}_{N}^ψ$ using modules over unrestricted quantum $\mathfrak{sl}_{2}$ at a root of unity and the holonomy $R$-matrices previously constructed by the author and Reshetikhin (arXiv:2509.02354). Unlike most previous constructions of geometric quantum invariants $\mathcal{Z}_{N}^ψ$ is defined without any phase ambiguity. It is natural to conjecture that $\mathcal{Z}_{N}^ψ$ is related to the quantization of Chern-Simons theory with complex, noncompact gauge group $\operatorname{SL}_{2}(\mathbb{C})$ and we discuss how to interpret our results in this context.
The Tsetlin Machine (TM) is a propositional logic based model that uses conjunctive clauses to learn patterns from data. As with typical neural networks, the performance of a Tsetlin Machine is largely dependent on its parameter count, with a larger number of parameters producing higher accuracy but slower execution. Knowledge distillation in neural networks transfers information from an already-trained teacher model to a smaller student model to increase accuracy in the student without increasing execution time. We propose a novel approach to implementing knowledge distillation in Tsetlin Machines by utilizing the probability distributions of each output sample in the teacher to provide additional context to the student. Additionally, we propose a novel clause-transfer algorithm that weighs the importance of each clause in the teacher and initializes the student with only the most essential data. We find that our algorithm can significantly improve performance in the student model without negatively impacting latency in the tested domains of image recognition and text classification.
Next location prediction is a discipline that involves predicting a users next location. Its applications include resource allocation, quality of service, energy efficiency, and traffic management. This paper proposes an energy-efficient, small, and low parameter machine learning (ML) architecture for accurate next location prediction, deployable on modest base stations and edge devices. To accomplish this we ran a hundred hyperparameter experiments on the full human mobility patterns of an entire city, to determine an exact ML architecture that reached a plateau of accuracy with the least amount of model parameters. We successfully achieved a reduction in the number of model parameters within published ML architectures from 202 million down to 2 million. This reduced the total size of the model parameters from 791 MB down to 8 MB. Additionally, this decreased the training time by a factor of four, the amount of graphics processing unit (GPU) memory needed for training by a factor of twenty, and the overall accuracy was increased from 80.16% to 82.54%. This improvement allows for modest base stations and edge devices which do not have a large amount of memory or storage, to deploy
This paper introduces a novel approach to schema inference as an on-demand function integrated directly within a DBMS, targeting NoSQL databases where schema flexibility can create challenges. Unlike previous methods relying on external frameworks like Apache Spark, our solution enables schema inference as a SQL function, allowing users to infer schemas natively within the DBMS. Implemented in Apache AsterixDB, it performs schema discovery in two phases, local inference and global schema merging, leveraging internal resources for improved performance. Experiments with real world datasets show up to a two orders of magnitude performance boost over external methods, enhancing usability and scalability.