This paper shows how C-numerical-range related new strucures may arise from practical problems in quantum control--and vice versa, how an understanding of these structures helps to tackle hot topics in quantum information. We start out with an overview on the role of C-numerical ranges in current research problems in quantum theory: the quantum mechanical task of maximising the projection of a point on the unitary orbit of an initial state onto a target state C relates to the C-numerical radius of A via maximising the trace function |\tr \{C^\dagger UAU^\dagger\}|. In quantum control of n qubits one may be interested (i) in having U\in SU(2^n) for the entire dynamics, or (ii) in restricting the dynamics to {\em local} operations on each qubit, i.e. to the n-fold tensor product SU(2)\otimes SU(2)\otimes >...\otimes SU(2). Interestingly, the latter then leads to a novel entity, the {\em local} C-numerical range W_{\rm loc}(C,A), whose intricate geometry is neither star-shaped nor simply connected in contrast to the conventional C-numerical range. This is shown in the accompanying paper (math-ph/0702005). We present novel applications of the C-numerical range in quantum control assisted by gradient flows on the local unitary group: (1) they serve as powerful tools for deciding whether a quantum interaction can be inverted in time (in a sense generalising Hahn's famous spin echo); (2) they allow for optimising witnesses of quantum entanglement. We conclude by relating the relative C-numerical range to problems of constrained quantum optimisation, for which we also give Lagrange-type gradient flow algorithms.

We continue our study of colligative properties of solutions initiated in math-ph/0407034. We focus on the situations where, in a system of linear size $L$, the concentration and the chemical potential scale like $c=ξ/L$ and $h=b/L$, respectively. We find that there exists a critical value $\xit$ such that no phase separation occurs for $ξ\le\xit$ while, for $ξ>\xit$, the two phases of the solvent coexist for an interval of values of $b$. Moreover, phase separation begins abruptly in the sense that a macroscopic fraction of the system suddenly freezes (or melts) forming a crystal (or droplet) of the complementary phase when $b$ reaches a critical value. For certain values of system parameters, under ``frozen'' boundary conditions, phase separation also ends abruptly in the sense that the equilibrium droplet grows continuously with increasing $b$ and then suddenly jumps in size to subsume the entire system. Our findings indicate that the onset of freezing-point depression is in fact a surface phenomenon.

In our former study (J. Phys. A: Math. Theor. 43, (2010) 325210 or arXiv:1002.0999v1 [math-ph]) we introduced a modified Fourier-Cattaneo law and derived a non-autonomous telegraph-type heat conduction equation which has desirable self-similar solution. Now we present a detailed in-depth analysis of this model and discuss additional analytic solutions for different parameters. The solutions have a very rich and interesting mathematical structure due to various special functions.

Let H be a self-adjoint operator such that exp(-aH) is of trace class for some a<1. Let V be a symmetric operator, Kato bounded relative to H. We show that log Tr[exp(-H+xV)] is a real analytic function of x in a hood of x=0. We show that the Gibbs states of H+xV form a real analytic Banach manifold. This work has been extended in math-ph/9910031.

Assume that an agent models a financial asset through a measure Q with the goal to price / hedge some derivative or optimize some expected utility. Even if the model Q is chosen in the most skilful and sophisticated way, she is left with the possibility that Q does not provide an "exact" description of reality. This leads us to the following question: will the hedge still be somewhat meaningful for models in the proximity of Q? If we measure proximity with the usual Wasserstein distance (say), the answer is NO. Models which are similar w.r.t. Wasserstein distance may provide dramatically different information on which to base a hedging strategy. Remarkably, this can be overcome by considering a suitable "adapted" version of the Wasserstein distance which takes the temporal structure of pricing models into account. This adapted Wasserstein distance is most closely related to the nested distance as pioneered by Pflug and Pichler \cite{Pf09,PfPi12,PfPi14}. It allows us to establish Lipschitz properties of hedging strategies for semimartingale models in discrete and continuous time. Notably, these abstract results are sharp already for Brownian motion and European call options.

A pathway-based mean-field theory (PBMFT) was recently proposed for E. coli chemotaxis in [G. Si, T. Wu, Q. Quyang and Y. Tu, Phys. Rev. Lett., 109 (2012), 048101]. In this paper, we derived a new moment system of PBMFT by using the moment closure technique in kinetic theory under the assumption that the methylation level is locally concentrated. The new system is hyperbolic with linear convection terms. Under certain assumptions, the new system can recover the original model. Especially the assumption on the methylation difference made there can be understood explicitly in this new moment system. We obtain the Keller-Segel limit by taking into account the different physical time scales of tumbling, adaptation and the experimental observations. We also present numerical evidence to show the quantitative agreement of the moment system with the individual based E. coli chemotaxis simulator.

General reasoning represents a long-standing and formidable challenge in artificial intelligence (AI). Recent breakthroughs, exemplified by large language models (LLMs)1,2 and chain-of-thought (CoT) prompting3, have achieved considerable success on foundational reasoning tasks. However, this success is heavily contingent on extensive human-annotated demonstrations and the capabilities of models are still insufficient for more complex problems. Here we show that the reasoning abilities of LLMs can be incentivized through pure reinforcement learning (RL), obviating the need for human-labelled reasoning trajectories. The proposed RL framework facilitates the emergent development of advanced reasoning patterns, such as self-reflection, verification and dynamic strategy adaptation. Consequently, the trained model achieves superior performance on verifiable tasks such as mathematics, coding competitions and STEM fields, surpassing its counterparts trained through conventional supervised learning on human demonstrations. Moreover, the emergent reasoning patterns exhibited by these large-scale models can be systematically used to guide and enhance the reasoning capabilities of smaller models. A new artificial intelligence model, DeepSeek-R1, is introduced, demonstrating that the reasoning abilities of large language models can be incentivized through pure reinforcement learning, removing the need for human-annotated demonstrations.

In the quiet backwaters of cs.CV, cs.LG and stat.ML, a cornucopia of new learning systems is emerging from a primordial soup of mathematics-learning systems with no need for external supervision. To date, little thought has been given to how these self-supervised learners have sprung into being or the principles that govern their continuing diversification. After a period of deliberate study and dispassionate judgement during which each author set their Zoom virtual background to a separate Galapagos island, we now entertain no doubt that each of these learning machines are lineal descendants of some older and generally extinct species. We make five contributions: (1) We gather and catalogue row-major arrays of machine learning specimens, each exhibiting heritable discriminative features; (2) We document a mutation mechanism by which almost imperceptible changes are introduced to the genotype of new systems, but their phenotype (birdsong in the form of tweets and vestigial plumage such as press releases) communicates dramatic changes; (3) We propose a unifying theory of self-supervised machine evolution and compare to other unifying theories on standard unifying theory benchmarks, where we establish a new (and unifying) state of the art; (4) We discuss the importance of digital biodiversity, in light of the endearingly optimistic Paris Agreement.

See math-ph/0205036 for an expanded version.

This is a survey of the existing digital collections of French mathematical literature, run by non-profit organizations. This includes research monographs, serials, proceedings, Ph. D. theses, collected works, books and personal websites.