Source author record

Daniel Bennequin

Daniel Bennequin appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
11topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Topos and Stacks of Deep Neural Networks

Every known artificial deep neural network (DNN) corresponds to an object in a canonical Grothendieck's topos; its learning dynamic corresponds to a flow of morphisms in this topos. Invariance structures in the layers (like CNNs or LSTMs) correspond to Giraud's stacks. This invariance is supposed to be responsible of the generalization property, that is extrapolation from learning data under constraints. The fibers represent pre-semantic categories (Culioli, Thom), over which artificial languages are defined, with internal logics, intuitionist, classical or linear (Girard). Semantic functioning of a network is its ability to express theories in such a language for answering questions in output about input data. Quantities and spaces of semantic information are defined by analogy with the homological interpretation of Shannon's entropy of P.Baudot and D.Bennequin in 2015). They generalize the measures found by Carnap and Bar-Hillel (1952). Amazingly, the above semantical structures are classified by geometric fibrant objects in a closed model category of Quillen, then they give rise to homotopical invariants of DNNs and of their semantic functioning. Intentional type theories (Martin-Loef) organize these objects and fibrations between them. Information contents and exchanges are analyzed by Grothendieck's derivators.

preprint2020arXiv

A functional equation related to generalized entropies and the modular group

We solve a functional equation connected to the algebraic characterization of generalized information functions. To prove the symmetry of the solution, we study a related system of functional equations, which involves two homographies. These transformations generate the modular group, and this fact plays a crucial role in solving the system. The method suggests a more general relation between conditional probabilities and arithmetic.

preprint2016arXiv

The unfolded universe of elementary particles. A geometric explanation of the standard model structure

We propose a geometric explanation of the standard model of Glashow, Weinberg and Salam for the known elementary particles. Our model is a generic Quantum Field Theory in dimension four, obtained by developing along a Lorentz sub-manifold the lagrangian of Einstein and Dirac in dimension twelve. The main mechanism which gives birth to the standard model is a certain gauge fixing of triality, which permits to identify the multiplicity of fermions, as seen from the four dimensional world, with the eight unseen dimensions of the generating universe. In this way we get the known tables of particles, explaining the series of fermions and the gauge bosons. We suggest that the Higgs field dynamics could appear through a bosonization of the right handed neutrino and correspond to a displacement in the unseen dimensions. We also propose hypotheses for dark matter, and perhaps dark energy. Then we suggest predictions to go beyond the standard model.

preprint2014arXiv

Optimized Schwarz Waveform Relaxation for Advection Reaction Diffusion Equations in Two Dimensions

Optimized Schwarz Waveform Relaxation methods have been developed over the last decade for the parallel solution of evolution problems. They are based on a decomposition in space and an iteration, where only subproblems in space-time need to be solved. Each subproblem can be simulated using an adapted numerical method, for example with local time stepping, or one can even use a different model in different subdomains, which makes these methods very suitable also from a modeling point of view. For rapid convergence however, it is important to use effective transmission conditions between the space-time subdomains, and for best performance, these transmission conditions need to take the physics of the underlying evolution problem into account. The optimization of these transmission conditions leads to a mathematically hard best approximation problem of homographic type. We study in this paper in detail this problem for the case of linear advection reaction diffusion equations in two spatial dimensions. We prove comprehensively best approximation results for transmission conditions of Robin and Ventcel type. We give for each case closed form asymptotic values for the parameters, which guarantee asymptotically best performance of the iterative methods. We finally show extensive numerical experiments, and we measure performance corresponding to our analysis

preprint2014arXiv

Parsimony, exhaustivity and balanced detection in neocortex

One fascinating aspect of the brain is its ability to process information in a fast and reliable manner. The functional architecture is thought to play a central role in this task, by encoding efficiently complex stimuli and facilitating higher level processing. In the early visual cortex of higher mammals, information is processed within functional maps whose layout is thought to underlie visual perception. The possible principles underlying the topology of the different maps, as well as the role of a specific functional architecture on information processing, is however poorly understood. We demonstrate mathematically here that two natural principles, local exhaustivity of representation and parsimony, would constrain the orientation and spatial frequency maps to display co-located singularities around which the orientation is organized as a pinwheel and spatial frequency as a dipole. This observation is perfectly in line with new optical imaging data on the cat visual cortex we analyze in a companion paper. Here we further focus on the theoretical implications of this structure. Using a computational model, we show that this architecture allows a trade-off in the local perception of orientation and spatial frequency, but this would occur for sharper selectivity than the tuning width reported in the literature. We therefore re-examined physiological data and show that indeed the spatial frequency selectivity substantially sharpens near maps singularities, bringing to the prediction that the system tends to optimize balanced detection between different attributes. These results shed new light on the principles at play in the emergence of functional architecture of cortical maps, as well as their potential role in processing information.

preprint2014arXiv

Supersymmetric field equations from momentum space

It is known that every irreducible unitary representation of positive energy of the Poincaré group can be realized as a subspace of tensor fields on Minkowski spacetime subjected to suitable partial differential equations. We first describe geometrically the general mechanism that produces, via Fourier transform, the invariant differential operators corresponding to those representations. Then, using a super-version of the Fourier transform, we show explicitly how a massive irreducible unitary representation of the super Poincaré group in dimension $(4|4)$ can be realized as a linear sub-supermanifold of suitably constrained superfunctions. In this way, we obtain supersymmetric equations in terms of ordinary (non-Grassmannian) fields. Finally, using the functor of points, we show how our equations can be related in a natural way to the Wess-Zumino equations for massive chiral superfields.

preprint2012arXiv

Affine invariance of human hand movements: a direct test

Geometrical invariance, in particular affine invariance, has been recently proposed as an important principle underlying the production of hand movements. However, tests of affine invariance have traditionally been applied to the consequences of this principle rather to the principle itself. Here, we designed and performed an original, direct, test of affine invariance in a scribbling experiment. In each of the 10800 pairs of randomly-selected scribbling segments, we compared the time parameterizations obtained by transforming the first segment using four different transportation rules - affine, equi-affine, Euclidian and constant - with the experimentally-observed parameterization of the second segment. We observed that, when the two paths are affinely-similar, the affine transportation of the first segment yields the time parameterization that best matches the experimental parameterization of the second segment, which directly demonstrates the existence of affine invariance in the production of hand movements.