Related papers: Rokhlin's signature theorems
Despite significant developments in Proof Theory, surprisingly little attention has been devoted to the concept of proof verifier. In particular, the mathematical community may be interested in studying different types of proof verifiers…
These are notes for a mini-course of 3 lectures given at the St. Petersburg School in Probability and Statistical Physics (June 2012). My aim was to explain, on the example of a particular model, how ideas from the representation theory of…
This paper is devoted to the study of a newly introduced tool, projectional coderivatives and the corresponding calculus rules in finite dimensions. We show that when the restricted set has some nice properties, more specifically, is a…
We propose a method to prove a polyhedral branching formula for Kirillov-Reshetikhin (KR) modules over a quantum affine algebra. When the underlying simple Lie algebra is of exceptional type, such a formula remains conjectural in many…
In May 2022 ICRANet organized the Workshop dedicated to the 80th anniversary of Professor Ruffini. This paper is based on the talk delivered at the meeting. Professor Ruffini was well known for Soviet scientific community not only due to…
Recently, Rogers' dilogarithm identities have attracted much attention in the setting of conformal field theory as well as lattice model calculations. One of the connecting threads is an identity of Richmond-Szekeres that appeared in the…
Cyclotomic polylogarithms are reviewed and new results concerning the special constants that occur are presented. This also allows some comments on previous literature results using PSLQ.
It is shown that the signature of a manifold with a symplectic circle action having only isolated fixed points, equals the alternating sum of the Novikov numbers corresponding to the cohomology class of the generalized moment map. The same…
The aim of the paper is to develop a proper mathematical formalism which can help to clarify the necessary conceptual plugins to the special principle of relativity and leads to a deeper understanding of the principle in its widest…
These informal notes, not intended for publication, provide an approach to the Borsuk--Ulam theorem via Stokes' theorem, in a similar spirit to Lima's proof of the Brouwer fixed point theorem. They are intended to be accessible to anyone…
We discuss our work on pointwise inequalities for the gradient which are connected with the isoperimetric profile associated to a given geometry. We show how they can be used to unify certain aspects of the theory of Sobolev inequalities.…
The present informal set of notes covers the material that has been presented by the author in a series of lectures for the Doctoral School in Mathematics of the Southern Federal State University of Rostov-on-Don in the Fall of 2020 and…
This is the first of a series of papers. Our final goal is to establish Deligne-Riemann-Roch isomorphisms in various settings. In this paper, we establish a uniqueness theorem for Deligne pairings and prove the degree $1$ part of the…
Isakov, Martin, and Ouvry [PRL 83, 580 (1999)] have recently proposed a fresh approach to the potential observation of fractional exclusion statistics. According to their argument, a clear signature of fractional statistics should exist in…
We investigate the structure of circle actions with the Rokhlin property, particularly in relation to equivariant $KK$-theory. Our main results are $\mathbb{T}$-equivariant versions of celebrated results of Kirchberg: any Rokhlin action on…
Recently, E. Samsonadze (arXiv:2411.11859v1) has given an explicit formula for the sums of powers of integers $S_k(n) = 1^k +2^k +\cdots + n^k$. In this short note, we show that Samsonadze's formula corresponds to a well-known formula for…
We provide an asymptotic expression for the probability that a randomly chosen polynomial with given degree, having integral coefficients bounded by some B, has a prescribed signature. We also give certain related formulas and numerical…
This EPTCS volume collects the post-proceedings of the 10th International Workshop On User Interfaces for Theorem Provers (UITP 2012), held as part of the Conferences on Intelligent Computer Mathematics (CICM 2012) in Bremen on July 11th…
In order to find closed form solutions of nonintegrable nonlinear ordinary differential equations, numerous tricks have been proposed. The goal of this short review is to recall classical, 19th-century results, completed in 2006 by…
We derive and present a collection of properties about the Steklov averages, including some results about the derivation with respect to spatial variables, and with respect to time, and a form of the fundamental theorem of the calculus.