Searcharxiv⌕ Search

arXiv subjects

Thomas R. Knösche

Publications and source records attributed to Thomas R. Knösche.

4 recordsLinked to original sources

Predictive Statistics Shape Emergent World Representations of Grid Walkers

Next-token predictors often appear to develop internal representations of the latent world and its rules. The probabilistic nature of these models suggests a deep connection between the structure of the world and the geometry of probability distributions. In order to understand this link more precisely, we use a minimal stochastic process as a controlled setting: constrained random walks on a two-dimensional lattice that must reach a fixed endpoint after a predetermined number of steps. Optimal prediction of this process solely depends on a sufficient vector determined by the walker's position relative to the target and the remaining time horizon; in other words, the probability distributions are parametrized by the world's grid geometry. We train decoder-only transformers and recurrent networks on prefixes sampled from the exact distribution of these walks and compare their hidden activations to sufficient statistics of prediction, by measuring alignment and linear readability across layers. We find that the transformer's computation factors into two stages: the first attention block extracts the sufficient statistic from the input, and later layers transform it into the next-step predictive geometry. Across constraint variants the post-attention representation is universal: a shared world-state of the lattice that can be read directly as a world model, traced to the predictive geometry of the data. Later layers then specialize it to each variant's next-step distribution. Recurrent networks reach the same Bayes-optimal loss but do not isolate this world-state as a separate stage, showing that the world-model geometry also depends on architecture. Although demonstrated in a toy system, the results suggest that the geometry of the predictive distribution is a useful lens on how neural networks internalize the structure of their data.

cs.LG↗

PyRates -- A Code-Generation Tool for Dynamical Systems Modeling

Mathematical models allow us to gain a deeper understanding of real-world dynamical systems. One of the most powerful mathematical frameworks for modeling real-world phenomena are systems of differential equations. In the majority of fields that use differential equations, numerical methods are essential for conducting model-based research. Although many software solutions are available for the numerical study of differential equation systems, a common framework for implementing differential equation systems is lacking. This hinders progress in dynamical systems research and limits the shareability and reproducibility of results. PyRates is a Python-based software for modeling and analyzing dynamical systems. It provides a user-friendly interface for defining models, which is based on a graph-based, hierarchical structure that mirrors the modular organization of real-world dynamical systems. This design allows users to leverage the hierarchical structure of their systems and create their models with minimal effort. Importantly, the core of PyRates is a versatile code-generation system, which can translate user-defined models into "backend" implementations in various languages, including Python, Fortran, and Julia. This allows users to access a wide range of analysis methods for dynamical systems, eliminating the need for manual translation between code bases. We demonstrate PyRates's capabilities in three use cases, where it generates NumPy code for numerical simulations, Fortran code for bifurcation analysis, and PyTorch code for neural network optimization. Finally, PyRates can be used as a model definition interface for the creation of new dynamical systems tools. We developed two such software packages, PyCoBi and RectiPy, as extensions of PyRates for specific dynamical systems modeling applications.

cond-mat.dis-nn↗

Comparison of the performance and reliability between improved sampling strategies for polynomial chaos expansion

As uncertainty and sensitivity analysis of complex models grows ever more important, the difficulty of their timely realizations highlights a need for more efficient numerical operations. Non-intrusive Polynomial Chaos methods are highly efficient and accurate methods of mapping input-output relationships to investigate complex models. There is substantial potential to increase the efficacy of the method regarding the selected sampling scheme. We examine state-of-the-art sampling schemes categorized in space-filling-optimal designs such as Latin Hypercube sampling and L1-optimal sampling and compare their empirical performance against standard random sampling. The analysis was performed in the context of L1 minimization using the least-angle regression algorithm to fit the GPCE regression models. Due to the random nature of the sampling schemes, we compared different sampling approaches using statistical stability measures and evaluated the success rates to construct a surrogate model with relative errors of $<0.1$\%, $<1$\%, and $<10$\%, respectively. The sampling schemes are thoroughly investigated by evaluating the y of surrogate models constructed for various distinct test cases, which represent different problem classes covering low, medium and high dimensional problems. Finally, the sampling schemes are tested on an application example to estimate the sensitivity of the self-impedance of a probe that is used to measure the impedance of biological tissues at different frequencies. We observed strong differences in the convergence properties of the methods between the analyzed test functions.

math.NA↗

Mean-field approximations of networks of spiking neurons with short-term synaptic plasticity

Low-dimensional descriptions of neural network dynamics are an effective tool for bridging different scales of organization of brain structure and function. Recent advances in deriving mean-field descriptions for networks of coupled oscillators have sparked the development of a new generation of neural mass models. Of notable interest are mean-field descriptions of all-to-all coupled quadratic integrate-and-fire (QIF) neurons, which have already seen numerous extensions and applications. These extensions include different forms of short-term adaptation (STA) considered to play an important role in generating and sustaining dynamic regimes of interest in the brain. It is an open question, however, whether the incorporation of pre-synaptic forms of synaptic plasticity driven by single neuron activity would still permit the derivation of mean-field equations using the same method. Here, we discuss this problem using an established model of short-term synaptic plasticity at the single neuron level, for which we present two different approaches for the derivation of the mean-field equations. We compare these models with a recently proposed mean-field approximation that assumes stochastic spike timings. In general, the latter fails to accurately reproduce the macroscopic activity in networks of deterministic QIF neurons with distributed parameters. We show that the mean-field models we propose provide a more accurate description of the network dynamics, although they are mathematically more involved. Using bifurcation analysis, we find that QIF networks with pre-synaptic short-term plasticity can express regimes of periodic bursting activity as well as bi-stable regimes. Together, we provide novel insight into the macroscopic effects of short-term synaptic plasticity in spiking neural networks, as well as two different mean-field descriptions for future investigations of such networks.

q-bio.NC↗