相关论文: What Juris Hartmanis taught me about Reductions

This is an updated version of the lectures notes for a course on condensed mathematics taught in the summer term 2019 at the University of Bonn. The material presented is joint work with Dustin Clausen. This is intended as a stable citable…

Naturally reductive spaces, in general, can be seen as an adequate generalization of Riemannian symmetric spaces. Nevertheless, there are some that are closer to symmetric spaces than others. On the one hand, there is the series of Hopf…

These are the notes of a series of lectures delivered by the author at the Graduate School of Mathematics of the University of Tokyo, during the month of October 2015. They were meant to be as self-contained as possible, taking into account…

In this note we survey some of our results on the Lagrangian reduction of discrete-time mechanical systems (DMSs). It is intended as an introduction to the general ideas that we used in the reduction of DMSs with nonholonomic constraints,…

These are notes on de Jong's proof of the period=index theorem over fields of transcendence degree two. They are actually about the simplified proof sketched by de Jong in the last section of his paper. These notes were meant as support for…

Reduction theory has played a major role in the study of Hamiltonian systems. On the other hand, the Hamilton-Jacobi theory is one of the main tools to integrate the dynamics of certain Hamiltonian problems and a topic of research on its…

This is the text of a series of five lectures given by the author at the "Second Annual Spring Institute on Noncommutative Geometry and Operator Algebras" held at Vanderbilt University in May 2004. It is meant as an overview of recent…

We develop data-driven reinforcement learning (RL) control designs for input-affine nonlinear systems. We use Carleman linearization to express the state-space representation of the nonlinear dynamical model in the Carleman space, and…

Using appropriate notation systems for proofs, cut-reduction can often be rendered feasible on these notations, and explicit bounds can be given. Developing a suitable notation system for Bounded Arithmetic, and applying these bounds, all…

For the past five years advanced students have developed projects for our redesigned Calculus II classes to use. Our student project designers are often mathematically early in their careers, and so this provides them with an opportunity to…

We provide a summary of the mathematical and computational techniques that have enabled learning reductions to effectively address a wide class of problems, and show that this approach to solving machine learning problems can be broadly…

On-line learning of a rule given by an N-dimensional Ising perceptron, is considered for the case when the student is constrained to take values in a discrete state space of size $L^N$. For L=2 no on-line algorithm can achieve a finite…

Some concepts, such as non-compactness measure and condensing operators, defined on metric spaces are extended to uniform spaces. Such extensions allow us to locate, in the context of uniform spaces, some classical results existing in…

Metric learning aims at finding a suitable distance metric over the input space, to improve the performance of distance-based learning algorithms. In high-dimensional settings, it can also serve as dimensionality reduction by imposing a…

The aim of these lecture notes is, after having quickly described various compactifications of the Teichm\"{u}ller space of a compact connected oriented surface minus finitely many points, to give a construction, by the equivariant Gromov…

With the recent success of pre-trained models in NLP, a significant focus was put on interpreting their representations. One of the most prominent approaches is structural probing (Hewitt and Manning, 2019), where a linear projection of…

We give some lectures on the work on formal logic of Jacques Herbrand, and sketch his life and his influence on automated theorem proving. The intended audience ranges from students interested in logic over historians to logicians. Besides…

These are notes from talks given at ICMS, Edinburgh, 4/2007 ("Geometry and Algorithms workshop") and at Bernoulli Center, Lausanne 5/2007 ("Limits of graphs in group theory and computer science"). We survey the following type of dichotomies…

As we typically teach in an introductory mechanics course, choosing a "good" reference frame with convenient axes may present a major simplification to a problem. Additionally, knowing some conserved quantities provides an extremely…

I was interested in the work of Solomon Marcus in Mathematical Linguistics as a high-school student. Later, I had the opportunity to discuss with him about many topics. He was a polymath. We wrote a paper together, and I refereed an…