Related papers: Interpr\'etation de l'Arithm\'etique dans certains…

We study the structure of a family of algebras which encodes a generalization of the Pieri Rule for the complex orthogonal group. In particular, we show that each of these algebras has a standard monomial basis and has a flat deformation to…

Averaging linear functional on the space continuous functions of the group of diffeomorphisms of interval is found. Amenability of several discrete subgroups of the group of diffeomorphisms $\Diff^3([0,1])$ of interval is prove. In…

We aim to analyze the consistency of the deformation of the Heisenberg algebra in the setting of constrained Hamiltonian systems, providing a procedure to induce the deformation on the Poisson algebra after symplectic reduction. We…

The computation of the normaliser of a permutation group in the full symmetric group is an important and hard problem in computational group theory. This article reports on an algorithm that builds a descending chain of overgroups to…

We characterize charmenability among arithmetic groups and deduce dichotomy statements pertaining normal subgroups, characters, dynamics, representations and associated operator algebras. We do this by studying the stationary dynamics on…

Following Arthur's study of the representations of the orthogonal and symplectic groups, we prove many cases of both the local and global Arthur conjectures for tempered representations of the unitary group. This completes the proof of…

The well known and oft-quoted Feynman's expression, entered the title, leading at a loss and even being objectionable, has not yet a clear explanation. The hidden parameters problem in quantum mechanics is considered here on the base of…

We describe some "unrestricted" algorithms which are useful for the computation of elementary and special functions when the precision required is not known in advance. Several general classes of algorithms are identified and illustrated by…

We introduce a modal logic FIL for Feferman interpretability. In this logic both the provability modality and the interpretability modality can come with a label. This label indicates that in the arithmetical interpretation the axiom set of…

This paper from 2000 is a presentation of a status qu{\ae}stionis at that tiime, to wit of the problem of the interpretability logic of {\em all}\/ reasonable arithmetical theories. We present both the arithmetical side and the modal side…

The notion of chain groups of homeomorphisms of the interval was introduced by Kim, Koberda and Lodha as a generalization of Thompson's group $F$. In this paper, we study an $S^1$-version of chain groups: ring groups. We study the…

Field Arithmetic studies the interplay between arithmetical properties of fields and their absolute Galois groups. Here we studies fields satisfying local global principles for rational points of varieties and profinite groups satisfying…

We establish an operator-theoretic uncertainty principle over arbitrary compact groups, generalizing several previous results. As a consequence, we show that if f is in L^2(G), then the product of the measures of the supports of f and its…

The subgroup structure of Thompson's group F is not yet fully understood. The group F is a subgroup of the group PL(I) of orientation preserving, piecewise linear self homeomorphisms of the unit interval and this larger group thus also has…

A braided generalization of the concept of Hopf algebra (quantum group) is presented. The generalization overcomes an inherent geometrical inhomogeneity of quantum groups, in the sense of allowing completely pointless objects. All…

We give an 'arithmetic regularity lemma' for groups definable in finite fields, analogous to Tao's 'algebraic regularity lemma' for graphs definable in finite fields. More specifically, we show that, for any $M>0$, any finite field…

Arithmetical invariants---such as sets of lengths, catenary and tame degrees---describe the non-uniqueness of factorizations in atomic monoids. We study these arithmetical invariants by the monoid of relations and by presentations of the…

Analytic number theorists usually seek to show that sequences which appear naturally in arithmetic are ``well-distributed'' in some appropriate sense. In various discrepancy problems, combinatorics researchers have analyzed limitations to…

This manuscript represents the author's PhD dissertation thesis.The first part studies decision problems in Thompson's groups F,T,V and some generalizations. The simultaneous conjugacy problem is determined to be solvable for Thompson's…

We adapt the Ping-Pong Lemma, which historically was used to study free products of groups, to the setting of the homeomorphism group of the unit interval. As a consequence, we isolate a large class of generating sets for subgroups of…