Modal logics, both propositional and predicate, have been used in computer science since the late 1970s. One of the most important properties of modal logics of relevance to their applications in computer science is the complexity of their satisfiability problem. The complexity of satisfiability for modal logics is rather high: it ranges from NP-complete to undecidable for propositional logics and is undecidable for predicate logics. This has, for a long time, motivated research in drawing the borderline between tractable and intractable fragments of propositional modal logics as well as between decidable and undecidable fragments of predicate modal logics. In the present thesis, we investigate some very natural restrictions on the languages of propositional and predicate modal logics and show that placing those restrictions does not decrease complexity of satisfiability. For propositional languages, we consider restricting the number of propositional variables allowed in the construction of formulas, while for predicate languages, we consider restricting the number of individual variables as well as the number and arity of predicate letters allowed in the construction of formulas. We develop original techniques, which build on and develop the techniques known from the literature, for proving that satisfiability for a finite-variable fragment of a propositional modal logic is as computationally hard as satisfiability for the logic in the full language and adapt those techniques to predicate modal logics and prove undecidability of fragments of such logics in the language with a finite number of unary predicate letters as well as restrictions on the number of individual variables. The thesis is based on four articles published or accepted for publication. They concern propositional dynamic logics, propositional branchingand alternating-time temporal logics, propositional logics of symmetric rela tions, and first-order predicate modal and intuitionistic logics. In all cases, we identify the “minimal,” with regard to the criteria mentioned above, fragments whose satisfiability is as computationally hard as satisfiability for the entire logic.

This book deals with mathematical modeling, namely, it describes the mathematical model of heat transfer in a silicon cathode of small (nano) dimensions with the possibility of partial melting taken into account.  This mathematical model is based on the phase field system, i.e., on a contemporary generalization of Stefan-type free boundary problems. The approach used is not purely mathematical but is based on the understanding of the solution structure (construction and study of asymptotic solutions) and computer calculations. The book presents an algorithm for numerical solution of the equations of the mathematical model including its parallel implementation. The results of numerical simulation concludes the book. The book is intended for specialists in the field of heat transfer and field emission processes and can be useful for senior students and postgraduates.​

This volume collects the referred papers based on plenary, invited, and oral talks, as well on the posters presented at the Third International Conference on Computer Simulations in Physics and beyond (CSP2018), which took place September 24-27, 2018 in Moscow. The Conference continues the tradition started by an inaugural conference in 2015. It took place on the campus of A.N. Tikhonov Moscow Institute of Electronics and Mathematics in Strogino, was jointly organized by the National Research University Higher School of Economics, the Landau Institute for Theoretical Physics and Science Center in Chernogolovka.

The Conference is a multidisciplinary meeting, with a focus on computational physics and related subjects. Indeed, methods of computational physics prove useful in a broad spectrum of research in multiple branches of natural sciences, and this volume provides a sample.

We hope that this volume will interest readers, and we are already looking forward to the next conference in the series.

Moscow, Russia

November, 2018

CSP2018 Conference Chair and Volume Editor

Lev Shchur

This book covers the classical theory of Markov chains on general state-spaces as well as many recent developments. The theoretical results are illustrated by simple examples, many of which are taken from Markov Chain Monte Carlo methods. The book is self-contained, while all the results are carefully and concisely proven. Bibliographical notes are added at the end of each chapter to provide an overview of the literature.

This work discusses a possibility to assess the probability of company default using system dynamic model. This approach is based on Monte Carlo Simulation with various inputs for a system dynamic model. The results are compared with the estimations of rating agencies.

This book offers a concise yet thorough introduction to the notion of moduli spaces of complex algebraic curves. Over the last few decades, this notion has become central not only in algebraic geometry, but in mathematical physics, including string theory, as well.

The book begins by studying individual smooth algebraic curves, including the most beautiful ones, before addressing families of curves. Studying families of algebraic curves often proves to be more efficient than studying individual curves: these families and their total spaces can still be smooth, even if there are singular curves among their members. A major discovery of the 20th century, attributed to P. Deligne and D. Mumford, was that curves with only mild singularities form smooth compact moduli spaces. An unexpected byproduct of this discovery was the realization that the analysis of more complex curve singularities is not a necessary step in understanding the geometry of the moduli spaces.

The book does not use the sophisticated machinery of modern algebraic geometry, and most classical objects related to curves – such as Jacobian, space of holomorphic differentials, the Riemann-Roch theorem, and Weierstrass points – are treated at a basic level that does not require a profound command of algebraic geometry, but which is sufficient for extending them to vector bundles and other geometric objects associated to moduli spaces. Nevertheless, it offers clear information on the construction of the moduli spaces, and provides readers with tools for practical operations with this notion.

Based on several lecture courses given by the authors at the Independent University of Moscow and Higher School of Economics, the book also includes a wealth of problems, making it suitable not only for individual research, but also as a textbook for undergraduate and graduate coursework.

This volume, dedicated to the memory of the great American mathematician Bertram Kostant (May 24, 1928 – February 2, 2017), is a collection of 19 invited papers by leading mathematicians working in Lie theory, representation theory, algebra, geometry, and mathematical physics. Kostant’s fundamental work in all of these areas has provided deep new insights and connections, and has created new fields of research. This volume features the only published articles of important recent results of the contributors with full details of their proofs. Key topics include: Poisson structures and potentials (A. Alekseev, A. Berenstein, B. Hoffman) Vertex algebras (T. Arakawa, K. Kawasetsu) Modular irreducible representations of semisimple Lie algebras (R. Bezrukavnikov, I. Losev) Asymptotic Hecke algebras (A. Braverman, D. Kazhdan) Tensor categories and quantum groups (A. Davydov, P. Etingof, D. Nikshych) Nil- Hecke algebras and Whittaker D-modules (V. Ginzburg) Toeplitz operators (V. Guillemin, A. Uribe, Z. Wang) Kashiwara crystals (A. Joseph) Characters of highest weight modules (V. Kac, M. Wakimoto) Alcove polytopes (T. Lam, A. Postnikov) Representation theory of quantized Gieseker varieties (I. Losev) Generalized Bruhat cells and integrable systems (J.-H. Liu, Y. Mi) Almost characters (G. Lusztig) Verlinde formulas (E. Meinrenken) Dirac operator and equivariant index (P.-É. Paradan, M. Vergne) Modality of representations and geometry of-groups (V. L. Popov) Distributions on homogeneous spaces (N. Ressayre) Reduction of orthogonal representations (J.- P. Serre).

This book constitutes the proceedings of the 7th International Conference on Analysis of Images, Social Networks and Texts, AIST 2018, held in Moscow, Russia, in July 2018.

The 29 full papers were carefully reviewed and selected from 107 submissions (of which 26 papers were rejected without being reviewed). The papers are organized in topical sections on natural language processing; analysis of images and video; general topics of data analysis; analysis of dynamic behavior through event data; optimization problems on graphs and network structures; and innovative systems.

This book constitutes extended, revised and selected papers from the 7th International Conference on Optimization Problems and Their Applications, OPTA 2018, held in Omsk, Russia in July 2018. The 27 papers presented in this volume were carefully reviewed and selected from a total of 73 submissions. The papers are listed in thematic sections, namely location problems, scheduling and routing problems, optimization problems in data analysis, mathematical programming, game theory and economical applications, applied optimization problems and metaheuristics.

Control of Discrete-Time Descriptor Systems takes an anisotropy-based approach to the explanation of random input disturbance with an information-theoretic representation. It describes the random input signal more precisely, and the anisotropic norm minimization included in the book enables readers to tune their controllers better through the mathematical methods provided. The book contains numerous examples of practical applications of descriptor systems in various fields, from robotics to economics, and presents an information-theoretic approach to the mathematical description of coloured noise. Anisotropy-based analysis and design for descriptor systems is supplied along with proofs of basic statements, which help readers to understand the algorithms proposed, and to undertake their own numerical simulations.   This book serves as a source of ideas for academic researchers and postgraduate students working in the control of discrete-time systems. The control design procedures outlined are numerically effective and easily implementable in MATLAB®

The materials of The International Scientific – Practical Conference is presented below.

The Conference reflects the modern state of innovation in education, science, industry and social-economic sphere, from the standpoint of introducing new information technologies.

It is interesting for a wide range of researchers, teachers, graduate students and professionals in the field of innovation and information technologies.

This is an advanced guide to optimal stopping and control, focusing on advanced Monte Carlo simulation and its application to finance. Written for quantitative finance practitioners and researchers in academia, the book looks at the classical simulation based algorithms before introducing some of the new, cutting edge approaches under development.

Intended to bridge the gap between the latest methodological developments and cross-cultural research, this interdisciplinary resource presents the latest strategies for analyzing cross-cultural data. Techniques are demonstrated through the use of applications that employ cross-national data sets such as the latest European Social Survey. With an emphasis on the generalized latent variable approach, internationally prominent researchers from a variety of fields explain how the methods work, how to apply them, and how they relate to other methods presented in the book. Syntax and graphical and verbal explanations of the techniques are included. Online resources, available at www.routledge.com/9781138690271, include some of the data sets and syntax commands used in the book.

This edited collection presents a range of methods that can be used to analyse linguistic data quantitatively. A series of case studies of Russian data spanning different aspects of modern linguistics serve as the basis for a discussion of methodological and theoretical issues in linguistic data analysis. The book presents current trends in quantitative linguistics, evaluates methods and presents the advantages and disadvantages of each. The chapters contain introductions to the methods and relevant references for further reading.

The Russian language, despite being one of the most studied in the world, until recently has been little explored quantitatively. After a burst of research activity in the years 1960-1980, quantitative studies of Russian vanished. They are now reappearing in an entirely different context. Today we have large and deeply annotated corpora available for extended quantitative research, such as the Russian National Corpus, ruWac, RuTenTen, to name just a few (websites for these and other resources will be found in a special section in the References). The present volume is intended to fill the lacuna between the available data and the methods that can be applied to studying them.

Our goal is to present current trends in researching Russian quantitative linguistics, to evaluate the research methods vis-à-vis Russian data, and to show both the advantages and the disadvantages of the methods. We especially encouraged our authors to focus on evaluating statistical methods and new models of analysis. New findings concern applicability, evaluation, and the challenges that arise from using quantitative approaches to Russian data.

This volume is a tribute to Maxim Kontsevich, one of the most original and influential mathematicians of our time. Maxim’s vision has inspired major developments in many areas of mathematics, ranging all the way from probability theory to motives over finite fields, and has brought forth a paradigm shift at the interface of modern geometry and mathematical physics. Many of his papers have opened completely new directions of research and led to the solutions of many classical problems. This book collects papers by leading experts currently engaged in research on topics close to Maxim’s heart.

We study typical points with respect to ergofic averaging of a general dynamical system.

 We consider the algebras M_p of Fourier multipliers and show that for every bounded continuous function f on R^d there exists a self-homeomorphism h of R^d such that the superposition foh$ is in M_p(R^d) for all p, 1<p<\infty. Moreover, under certain assumptions on a family K of continuous functions, one h will suffice for all f\in K. A similar result holds for functions on the torus T^d. This may be contrasted with the known solution of Luzin's problem related to the Wiener algebra.

For classical groups SL(n), SO(n) and Sp(2n), we define uniformly geometric valuations on the corresponding complete flag varieties. The valuation in every type comes from a natural coordinate system on the open Schubert cell and is combinatorially related to the Gelfand-Zetlin pattern in the same type. In types A and C, we identify the corresponding Newton-Okounkov polytopes with the Feigin-Fourier-Littelmann-Vinberg polytopes. In types B and D, we compute low-dimensional examples and formulate open questions.

We introduce a family of classical integrable systems describing dynamics of M interacting glN integrable tops. It extends the previously known model of interacting elliptic tops. Our construction is based on the GLNR-matrix satisfying the associative Yang-Baxter equation. The obtained systems can be considered as extensions of the spin type Calogero-Moser models with (the classical analogues of) anisotropic spin exchange operators given in terms of the R-matrix data. In N = 1 case the spin Calogero-Moser model is reproduced. Explicit expressions for glNM -valued Lax pair with spectral parameter and its classical dynamical r-matrix are obtained. Possible applications are briefly discussed.

Bachet’s game is a variant of the game of Nim. There are 𝑛 objects in one pile. Two players take turns to remove any positive number of objects not exceeding some fixed number 𝑚. The player who takes the last object loses. We consider a variant of Bachet’s game in which each move is a lottery over set {1, 2, . . . ,𝑚}. The outcome of a lottery is the number of objects that player takes from the pile. We show that under some nondegenericity assumptions on the set of available lotteries the probability that the first player wins in subgame perfect Nash equilibrium converges to 1/2 as 𝑛 tends to infinity.

Formulas for the asymptotics of some class of integrals of rapidly oscillating functions that generalize the well-known stationary phase method, which were obtained in the previous paper of the author, are applied to integrals arising in the well-known tsunami hydrodynamic piston model in the case of a constant pool bottom. As a result, asymptotic formulas are obtained for the head part of the wave for large values of the time elapsed since the occurrence of the tsunami. These formulas contain some special reference integrals and have different forms depending on combinations of wave and time parameters.

 

A general idea of the qualitative study of dynamical systems, going back to the works by A. Andronov, E. Leontovich, A. Mayer, is a possibility to describe dynamics of a system using combinatorial invariants. So M. Peixoto proved that the structurally stable flows on surfaces are uniquely determined, up to topological equivalence, by the isomorphic class of a directed graph. Multidimensional structurally stable flows does not allow entering their classification into the framework of a general combinatorial invariant. However, for some subclasses of such systems it is possible to achieve the complet combinatorial description of their dynamics. 

In the present paper, based on  classification results by S. Pilyugin, A. Prishlyak, V.  Grines, E.  Gurevich, O.  Pochinka,  any connected bi-color tree implemented as gradient-like flow of $n$-sphere, $n > 2$ without heteroclinic intersections. This problem is solved using the appropriate gluing operations of the so-called  Cherry boxes to the flow-shift. This result not only completes the topological classification for such flows, but also allows to model systems with a regular behavior. For such flows, the implementation is especially important because they model, for example, the reconnection processes in the solar corona.

 In the present paper we construct an example of 4-dimensional flows on $S^3\times S^1$ whose saddle periodic orbit has a wildly embedded 2-dimensional unstable manifold. We prove that such a property has every suspension under a non-trivial Pixton's diffeomorphism. Moreover we give a complete topological classification of these suspensions.

The nonlinear stage of the modulational (Benjamin–Feir) instability of unidirectional deep-water surface gravity waves is simulated numerically by the fifth-order nonlinear envelope equations. The conditions of steep and breaking waves are concerned. The results are compared with the solution of the full potential Euler equations and with the lower-order envelope models (the 3-order nonlinear Schrödinger equation and the standard 4-order Dysthe equations). The generalized Dysthe model is shown to exhibit the tendency to re-stabilization of steep waves with respect to long perturbations.

We consider two nested billiards in ℝd, d≥3, with C2-smooth strictly convex boundaries. We prove that if the corresponding actions by reflections on the space of oriented lines commute, then the billiards are confocal ellipsoids. This together with the previous analogous result of the author in two dimensions solves completely the Commuting Billiard Conjecture due to Sergei Tabachnikov. The main result is deduced from the classical theorem due to Marcel Berger saying that in higher dimensions only quadrics may have caustics. We also prove versions of Berger's theorem and the main result for billiards in spaces of constant curvature: space forms.

In the present paper we consider preserving orientation Morse-Smale diffeomorphisms on surfaces. Using the methods of factorization and linearizing neighborhoods we prove that such diffeomorphisms have a finite number of orientable heteroclinic orbits.

Consider a family of Fano varieties π:X⟶B∋o over a curve germ with a smooth total space X. Assume that the generic fiber is smooth and the special fiber F=π^{−1}(o) has simple normal crossings. Then F is called a semistable degeneration of Fano varieties. We show that the dual complex of F is a simplex of dimension ≤dim F. Simplices of any admissible dimension can be realized for any dimension of the fiber. Using this result and the Minimal Model Program in dimension 3 we reproduce the classification of the semistable degenerations of del Pezzo surfaces obtained by Fujita. We also show that the maximal degeneration is unique and has trivial monodromy in dimension ≤3.

We show that over an algebraically closed field of characteristic not equal to 2, homological projective duality for smooth quadric hypersurfaces and for double covers of projective spaces branched over smooth quadric hypersurfaces is a combination of two operations: one interchanges a quadric hypersurface with its classical projective dual and the other interchanges a quadric hypersurface with the double cover branched along it.

In this paper we introduce a class of noncommutative (finitely generated) monomial algebras whose Hilbert series are algebraic functions. We use the concept of graded homology and the theory of unambiguous context-free grammars for this purpose. We also provide examples of finitely presented graded algebras whose corresponding leading monomial algebras belong to the proposed class and hence possess algebraic Hilbert series.

For a polarized variety (X,L) and a closed connected subgroup G⊂Aut(X,L) we define a G-invariant version of the δ-threshold. We prove that for a Fano variety (X,−KX) and a connected subgroup G⊂Aut(X) this invariant characterizes G-equivariant uniform K-stability. We also use this invariant to investigate G-equivariant K-stability of some Fano varieties with large groups of symmetries, including spherical Fano varieties. We also consider the case of G being a finite group.

We give a simple recursion labeled by binary sequences which computes rational q,t-Catalan power series, both in relatively prime and non relatively prime cases. It is inspired by, but not identical to recursions due to B. Elias, M. Hogancamp, and A. Mellit, obtained in their study of link homology. We also compare our recursion with the Hogancamp-Mellit's recursion and verify a connection between the Khovanov-Rozansky homology of N,M-torus links and the rational q,t-Catalan power series for general positive N,M.

Recent work of the first author, Negut and Rasmussen, and of Oblomkov and Rozansky in the context of Khovanov-Rozansky knot homology produces a family of polynomials in q and t labeled by integer sequences. These polynomials can be expressed as equivariant Euler characteristics of certain line bundles on flag Hilbert schemes. The q,t-Catalan numbers and their rational analogues are special cases of this construction. In this paper, we give a purely combinatorial treatment of these polynomials and show that in many cases they have nonnegative integer coefficients.  For sequences of length at most 4, we prove that these coefficients enumerate subdiagrams in a certain fixed Young diagram and give an explicit symmetric chain decomposition of the set of such diagrams. This strengthens results of Lee, Li and Loehr for (4,n) rational q,t-Catalan numbers.

We describe the universal target of annular Khovanov-Rozansky link homology functors as the homotopy category of a free symmetric monoidal category generated by one object and one endomorphism. This categorifies the ring of symmetric functions and admits categorical analogues of plethystic transformations, which we use to characterize the annular invariants of Coxeter braids. Further, we prove the existence of symmetric group actions on the Khovanov-Rozansky invariants of cabled tangles and we introduce spectral sequences that aid in computing the homologies of generalized Hopf links. Finally, we conjecture a characterization of the horizontal traces of Rouquier complexes of Coxeter braids in other types.

We prove that the full twist is a Serre functor in the homotopy category of type A Soergel bimodules. As a consequence, we relate the top and bottom Hochschild degrees in Khovanov-Rozansky homology, categorifying a theorem of Kálmán.

We characterize open embeddings of Stein spaces and of $C^\infty$-manifolds in terms of certain flatness-type conditions on the respective homomorphisms of function algebras.  

Let S={s1<s2<s3<…} be the sequence of all natural numbers which can be represented as a sum of two squares of integers. For X≥2 we denote by g(X) the largest gap between consecutive elements of S that do not exceed X. We prove that for X→+∞ the lower bound g(X)≥(390/449−o(1))lnX holds.  This estimate is twice the recent estimate by R. Dietmann and C. Elsholtz.

The convolution ring K^{GL_n(\OOO)⋊ℂ×}(Gr_{GL_n}) was identified with a quantum unipotent cell of the loop group LSL_2 in [Cautis-Williams, arXiv:1801.08111]. We identify the basis formed by the classes of irreducible equivariant perverse coherent sheaves with the dual canonical basis of the quantum unipotent cell.

We compute the Coulomb branch of a multiloop quiver gauge theory for the quiver with a single vertex, r loops, one-dimensional framing, and dim V = 2. We identify it with a Slodowy slice in the nilpotent cone of the symplectic Lie algebra of rank r. Hence it possesses a symplectic resolution with 2r fixed points with respect to a Hamiltonian torus action. We also idenfity its flavor deformation with a base change of the full Slodowy slice.

The Littlewood-Richardson coefficients describe the decomposition of tensor products of irreducible representations of a simple Lie algebra into irreducibles. Assuming the number of factors is large, one gets a measure on the space of weights. This limiting measure was extensively studied by many authors. In particular, Kerov computed the corresponding density in a special case in type A and Kuperberg gave a formula for the general case. The goal of this paper is to give a short, self-contained and pure Lie theoretic proof of the formula for the density of the limiting measure. Our approach is based on the link between the limiting measure induced by the Littlewood-Richardson coefficients and the measure defined by the weight multiplicities of the tensor products.

Let M be a holomorphic symplectic Kähler manifold equipped with a Lagrangian fibration π with compact fibers. The base of this manifold is equipped with a special Kähler structure, that is, a Kähler structure (I,g,ω) and a symplectic flat connection ∇ such that the metric g is locally the Hessian of a function. We prove that any Lagrangian subvariety Z⊂M which intersects smooth fibers of π and smoothly projects toπ(Z) is a toric fibration over its image π(Z) in B, and this image is also special Kähler. This answers a question of N. Hitchin related to Kapustin-Witten BBB/BAA duality.

We study the exceptional loci of birational (bimeromorphic) contractions of a hyperkähler manifold M. Such a contraction locus is the union of all minimal rational curves in a collection of cohomology classes which are orthogonal to a wall of the Kähler cone. Homology classes which can possibly be orthogonal to a wall of the Kähler cone of some deformation of M are called MBM classes. We prove that all MBM classes of type (1,1) can be represented by rational curves, called MBM curves. All MBM curves can be contracted on an appropriate birational model of M, unless b_2(M)≤5. When b_2(M)>5, this property can be used as an alternative definition of an MBM class and an MBM curve. Using the results of Bakker and Lehn, we prove that the diffeomorphism type of a contraction locus remains stable under all deformations for which these classes remains of type (1,1), unless the contracted variety has b2≤4. Moreover, these diffeomorphisms preserve the MBM curves, and induce biholomorphic maps on the contraction fibers, if they are normal.