Related papers: Rokhlin's signature theorems
The main content of this book is composed from two doctoral theses: by V.\,V.~Katrakhov (1989) and by S.\,M.~Sitnik (2016). In our work, for the first time in the format of a monograph, we systematically expound the theory of transmutation…
In this short note, we show the rigidity of a trace estimate for Steklov eigenvalues with respect to functions in our previous work (Trace and inverse trace of Steklov eigenvalues. J. Differential Equations 261 (2016), no. 3, 2026--2040.).…
Based on various strategies, we obtain several simple proofs of the celebrated Sharkovsky cycle coexistence theorem.
This expository note, written for the proceedings of ICCM 2023, presents recent work [arXiv:2004.13894]. We particularly prove an Carleman estimate on conic manifolds, using a multiple-weight Carleman argument.
These personal reminiscences of the great Russian mathematician Sergey K. Godunov (1929-2023) arose from a request by his daughter, Ekaterina, to contribute a piece to a book she is writing about her father's life. I was honoured to accept…
The present issue of the series <<Modern Problems in Mathematical Physics>> represents the Proceedings of the Students Training Contest Olympiad in Mathematical and Theoretical Physics and includes the statements and the solutions of the…
This entry contains the core material of my habilitation thesis, soon to be officially submitted. It provides a self-contained presentation of the original results in this thesis, in addition to their detailed proofs. The motivation of…
This is an expository paper on the characterization of the even (or odd) smooth homogeneous convolution Calder\'on-Zygmund operators in R^n such that the maximal singular integral can be controlled in the L^2 norm by the singular integral.…
This is a technical report, containing all the theorem proofs and additional evaluations in paper "Monitor Placement for Maximal Identifiability in Network Tomography" by Liang Ma, Ting He, Kin K. Leung, Ananthram Swami, Don Towsley,…
In this article we show that some recent results on the existence of best proximity points can be obtained from the same result in fixed point theory.
In this paper we consider cryptographic applications of the arithmetic on the hyperoctahedral group. On an appropriate subgroup of the latter, we particularly propose to construct public key cryptosystems based on the discrete logarithm.…
A paper on ordinal partitions by Erd\H{o}s and Milner (1972) has been formalised using the proof assistant Isabelle/HOL, augmented with a library for Zermelo-Fraenkel set theory. The work is part of a project on formalising the partition…
In this note I describe reliability standards for writing and reviewing mathematical papers; these standards are (in my opinion) vital for the progress of mathematics. I give examples of applying the described or other reliability…
This paper introduces a new cohomology theory for schemes of finite type over an arithmetic ring. The main motivation for this Arakelov-theoretic version of motivic cohomology is the conjecture on special values of $L$-functions and zeta…
This is an review on the point classification of second order ODE's by Ruslan Sharipov. His works were published in 1997-1998 at the Electronic Archive at LANL and undeservedly forgotten. Last chapter is an application of this…
In 1984, Wim Ruitenburg published a surprising result about periodic sequences in intuitionistic propositional calculus (IPC). The property established by Ruitenburg naturally generalizes local finiteness; recall that intuitionistic logic…
The aim of this paper is to give a proof of improving of Zalcman's lemma.
These notes originated in a series of lectures I gave in Marseille in May, 2013. I was invited to give an introduction to the isomorphism theorems, originating with Dynkin, which connect Markov local times and Gaussian processes. This is an…
The paper presents theorems on the calculation of the index of a singular point and at the infinity of monotone type mappings. These theorems cover basic cases when the principal linear part of a mapping is degenerate. Applications of these…
Boolean calculus has been studied extensively in the past in the context of switching circuits, error-correcting codes etc. This work generalizes several approaches to defining a differential calculus for Boolean functions. A unified theory…