total 517took 0.14s

Spin-Polarized Quantum Well States on Bi$_{2-x}$Fe$_x$Se$_3$Jan 22 2015Low temperature scanning tunneling microscopy is used to image the doped topological insulator Bi$_{2-x}$Fe$_x$Se$_3$. Interstitial Fe defects allow the detection of quasiparticle interference (QPI), and the reconstruction of the empty state band structure. ... More

Magnetothermoelectric effects in Fe{1+d}Te{1-x}Se{x}Sep 04 2012We report resistivity as well as the Hall, Seebeck and Nernst coefficients data for Fe{1+d}Te{1-x}Se{x} single crystals with x = 0, 0.38, and 0.40. In the parent compound Fe{1.04}Te we observe at Tn = 61 K a sudden change of all quantities studied, which ... More

Synthesis, crystal structure and chemical stability of the superconductor FeSe_{1-x}May 13 2009We report on a comparative study of the crystal structure and the magnetic properties of FeSe1-x (x= 0.00 - 0.15) superconducting samples by neutron powder diffraction and magnetization measurements. The samples were synthesized by two different methods: ... More

New synthesis route and magnetic structure of Tm2Mn2O7 - pyrochloreJul 10 2015In this work we present a new chemical route to synthesize Tm2Mn2O7 pyrochlore, a compound which is thermodynamically unstable at ambient pressure. Differently from the reported in the past high pressure synthesis of the same compound applying oxides ... More

Novel synthesis method of nonstoichiometric Na2-xIrO3. Crystal structure, transport and magnetic propertiesDec 21 2015Transition metal oxides with 4d or 5d metals are of great interest due to the competing interactions, of the Coulomb repulsion and the itineracy of the d-electrons, opening a possibility of building new quantum ground states. Particularly the 5d metal ... More

A computation of invariants of a rational self-mapJul 26 2007I compute the dynamical degrees in C. Voisin's example of a rational self-map of the variety of lines on a cubic fourfold.

Factorization of Darboux transformations of arbitrary order for 2D Schroedinger operatorsApr 26 2013May 02 2016We give a proof of Darboux's conjecture that every Darboux transformation of arbitrary order of a 2D Schr\"odinger type operator can be factorized into Darboux transformations of order one. The proof is constructive. The result is obtained in the framework ... More

Invertible Darboux TransformationsOct 02 2012Jan 04 2013For operators of many different kinds it has been proved that (generalized) Darboux transformations can be built using so called Wronskian formulae. Such Darboux transformations are not invertible in the sense that the corresponding mappings of the operator ... More

$X$- and $Y$-invariants of Linear Partial Differential Operators in the plane (In Russian)Oct 17 2010Aug 19 2011We consider a classical problem of Computer Algebra: symbolic solution of PDEs. We transform the famous Darboux theorems on differential transformations of hyperbolic operator into the space of invariants. We introduce a new idea -- $X$- and $Y$-invariants ... More

Lower bounds on complexity of geometric 3-orbifoldsDec 29 2009We establish a lower bound on the complexity orientable locally orientable geometric 3-orbifolds in terms of Delzant's T-invariants of their orbifold-fundamental groups, generalizing previously known bounds for complexity of 3-manifolds.

Proof of the Completeness of Darboux Wronskian Formulae for Order TwoNov 05 2011Jun 02 2012Darboux Wronskian formulas allow to construct Darboux transformations, but Laplace transformations, which are Darboux transformations of order one cannot be represented this way. It has been a long standing problem on what are other exceptions. In our ... More

Generalized Mom-structures and ideal triangulations of 3-manifolds with non-spherical boundaryMay 03 2010Mar 17 2011The so-called Mom-structures on hyperbolic cusped 3-manifolds without boundary were introduced by Gabai, Meyerhoff, and Milley, and used by them to identify the smallest closed hyperbolic manifold. In this work we extend the notion of a Mom-structure ... More

Diffeological Levi-Civita connectionsJan 18 2017A diffeological connection on a diffeological vector pseudo-bundle is defined just the usual one on a smooth vector bundle; this is possible to do, because there is a standard diffeological counterpart of the cotangent bundle. On the other hand, there ... More

Multilinear algebra in the context of diffeologyApr 30 2015Dec 22 2015This note is dedicated to some details of multilinear algebra on diffeological vector spaces; most of them are the expected corollaries of standard constructions and various facts of diffeology collected elsewhere. Most of the attention is paid to the ... More

Pseudo-bundles of exterior algebras as diffeological Clifford modulesApr 17 2016Feb 09 2017We consider the diffeological pseudo-bundles of exterior algebras, and the Clifford action of the corresponding Clifford algebras, associated to a given finite-dimensional and locally trivial diffeological vector pseudo-bundle, as well as the behavior ... More

Invariants for Darboux transformations of Arbitrary Order for $D_x D_y +aD_x + bD_y +c$Oct 10 2012We develop the method of regularized moving frames of Fels and Olver to obtain explicit general formulas for the basis invariants that generate all the joint differential invariants, under gauge transformations, for the operators [\o{L}=D_xD_y +a(x,y) ... More

Multiple Factorizations of Bivariate Linear Partial Differential OperatorsOct 18 2010We study the case when a bivariate Linear Partial Differential Operator (LPDO) of orders three or four has several different factorizations. We prove that a third-order bivariate LPDO has a first-order left and right factors such that their symbols are ... More

Refinement of Two-Factor Factorizations of a Linear Partial Differential Operator of Arbitrary Order and DimensionJan 12 2010Oct 12 2010Given a right factor and a left factor of a Linear Partial Differential Operator (LPDO), under which conditions we can refine these two-factor factorizations into one three-factor factorization? This problem is solved for LPDOs of arbitrary order and ... More

The Hitting Times with Taboo for a Random Walk on an Integer LatticeJul 06 2011For a symmetric, homogeneous and irreducible random walk on d-dimensional integer lattice Z^d, having zero mean and a finite variance of jumps, we study the passage times (with possible infinite values) determined by the starting point x, the hitting ... More

CP violating asymmetries of b quarks and leptons in e^+e^- \to t\bar t and supersymmetry (review)Sep 07 1998Oct 28 1998The distributions of the single decay b-quarks and leptons from e^+e^- \to t\bar t assuming CP violation are reviewed. Different asymmetries, sensitive independently to CP violation in the production and in the decay, and sensitive to the real and imaginary ... More

Diffeological connections on diffeological vector pseudo-bundlesNov 23 2016We consider one possible definition of a diffeological connection on a diffeological vector pseudo-bundle. It is different from the one proposed in [7] and is in fact simpler, since it is obtained by a straightforward adaption of the standard definition ... More

Profinite completions of some groups acting on treesNov 09 2004Nov 16 2004We investigate the profinite completions of a certain family of groups acting on trees. It turns out that for some of the groups considered, the completions coincide with the closures of the groups in the full group of tree automorphisms. However, we ... More

Diffeological gluing of vector pseudo-bundles and pseudo-metrics on themJan 02 2016Dec 25 2016Although our main interest here is developing an appropriate analog, for diffeological vector pseudo-bundles, of a Riemannian metric, a significant portion is dedicated to continued study of the gluing operation for pseudo-bundles introduced in arXiv:1509.03023. ... More

Some applications of p-adic uniformization to algebraic dynamicsJul 07 2014This is not a research paper, but a survey submitted to a proceedings volume.

A remark on a question of Beauville about lagrangian fibrationsOct 13 2011Apr 22 2012This note is a proof of the fact that a lagrangian torus on a hyperkaehler fourfold is always a fiber of an almost holomorphic lagrangian fibration.

Modeling and Estimation of the Risk When Choosing a ProviderMar 16 2016The paper provides an algorithm for the risk estimation when a company selects an outsourcing service provider for innovation product. Calculations are based on expert surveys conducted among customers and among providers of outsourcing. The surveys assessed ... More

Asymptotic Behavior of Local Particles Numbers in Branching Random WalkMar 11 2012Critical catalytic branching random walk on d-dimensional integer lattice is investigated for all d. The branching may occur at the origin only and the start point is arbitrary. The asymptotic behavior, as time grows to infinity, is determined for the ... More

Mirror magnetic field and its impact on dark matter distribution in galaxiesFeb 12 2019We obtain the value of the mirror magnetic field during different stages of cosmological evolution. We consider the magnetic field generation in the radiation-dominated era and the post-recombination epoch. We also estimate its galactic low-scale value ... More

Differential 1-forms on diffeological spaces and diffeological gluingMay 24 2016Dec 17 2016This paper aims to describe the behavior of diffeological differential 1-forms under the operation of gluing of diffeological spaces along a smooth map. In the diffeological context, two constructions regarding diffeological forms are available, that ... More

Diffeological vector pseudo-bundlesSep 10 2015We consider a diffeological counterpart of the notion of a vector bundle (we call this counterpart a pseudo-bundle, although in the other works it is called differently; among the existing terms there are a "regular vector bundle" of Vincent and "diffeological ... More

Orbits of Darboux groupoid for hyperbolic operators of order threeNov 24 2014Darboux transformations are viewed as morphisms in a Darboux category. Darboux transformations of type I which we defined previously, make an important subgroupoid consists of Darboux transformations of type I. We describe the orbits of this subgroupoid ... More

On the notion of scalar product for finite-dimensional diffeological vector spacesJul 14 2015It is known that the only finite-dimensional diffeological vector space that admits a diffeologically smooth scalar product is the standard space of appropriate dimension. In this note we consider a way to circumnavigate this issue, by introducing a notion ... More

Varietes de Fano et morphismes: notes d'un mini-coursNov 23 2004This is not a research article. This is a partial version of a mini-cours which I gave at a meeting of the ACI Jeunes Chercheurs "Dynamique des applications polynomiales" in Toulouse in november 2004. This text includes two parts of that mini-cours: the ... More

Some remarks on morphisms between Fano threefoldsMay 11 2004May 21 2004Let $X$, $Y$ be Fano threefolds of Picard number one and such that the ample generators of Picard groups are very ample. Let $X$ be of index one and $Y$ be of index two. It is shown that the only morphisms from $X$ to $Y$ are double coverings. In fact ... More

Diffeological De Rham operatorsMar 04 2017We consider the notion of the De Rham operator on finite-dimensional diffeological spaces such that the diffeological counterpart \Lambda^1(X) of the cotangent bundle, the so-called pseudo-bundle of values of differential 1-forms, has bounded dimension. ... More

On endomorphisms of projective bundlesSep 18 2002Let $X$ be a complex projective bundle. We prove that $X$ admits an endomorphism of degree $>1$ and commuting with the projection to the base, if and only if $X$ trivializes after a finite covering. When $X$ is the projectivization of a vector bundle ... More

On morphisms onto quadricsJun 06 2006It is proved that the degree of a morphism from a smooth projective n-fold with Picard number one to a smooth n-quadric is bounded (provided, of course, that n is at least three). Actually it has been proved some years ago, but I have never written down ... More

Parametric Factorizations of Second-, Third- and Fourth-Order Linear Partial Differential Operators with a Completely Factorable Symbol on the PlaneOct 15 2010Parametric factorizations of linear partial operators on the plane are considered for operators of orders two, three and four. The operators are assumed to have a completely factorable symbol. It is proved that ``irreducible'' parametric factorizations ... More

Pseudo-bundles of exterior algebras as diffeological Clifford modulesApr 17 2016We consider the diffeological pseudo-bundles of exterior algebras, and the Clifford action of the corresponding Clifford algebras, associated to a given finite-dimensional and locally trivial diffeological vector pseudo-bundle, as well as the behavior ... More

The difference cross sections of unpolarized SIDIS with transverse momentum dependenceJul 22 2014Previously we showed that, based only on C and SU(2) invariance, the difference cross sections of hadrons with opposite charge in SIDIS e+N\to l+h+X is expressed solely in terms of the valence-quark densities and certain non-singlet combinations of FFs. ... More

Taylor Series for Adomian Decomposition MethodApr 10 2011In the paper we analyse the exact solutions to scalar PDEs obtained thanks to summable Taylor series provided by Adomian's decomposition method. We propose the modification of the method which makes the calculations of Taylor coefficients easier and more ... More

On the notion of scalar product for finite-dimensional diffeological vector spacesJul 14 2015Jul 28 2017It is known that the only finite-dimensional diffeological vector space that admits a diffeologically smooth scalar product is the standard space of appropriate dimension. In this note we consider a way to circumnavigate this issue, by introducing a notion ... More

Diffeological Clifford algebras and pseudo-bundles of Clifford modulesMay 26 2015Jun 06 2016We consider the diffeological version of the Clifford algebra of a (diffeological) finite-dimensional vector space; we start by commenting on the notion of a diffeological algebra (which is the expected analogue of the usual one) and that of a diffeological ... More

Groups of tree automorphisms as diffeological groupsMay 19 2015Mar 29 2016We consider certain groups of tree automorphisms as so-called diffeological groups. The notion of diffeology, due to Souriau, allows to endow non-manifold topological spaces, such as regular trees that we look at, with a kind of a differentiable structure ... More

On an automorphism of $Hilb^{[2]}$ of certain K3 surfacesJul 20 2009An example of potential density of rational points on the second punctual Hilbert scheme of certain K3 surfaces is treated in detail. This is an amplification of some remarks made by O'Grady and Oguiso.

Diffeological Dirac operators and diffeological gluingJan 24 2017This manuscript attempts to present a way in which the classical construction of the Dirac operator can be carried over to the setting of diffeology. A more specific aim is to describe a procedure for gluing together two usual Dirac operators and to explain ... More

Diffeological connections on diffeological vector pseudo-bundlesNov 23 2016Feb 04 2017We consider one possible definition of a diffeological connection on a diffeological vector pseudo-bundle. It is different from the one proposed in [7] and is in fact simpler, since it is obtained by a straightforward adaption of the standard definition ... More

Design of magnetic spirals in layered perovskites: extending the stability range far beyond room temperatureSep 27 2018In insulating materials with ordered magnetic spiral phases, ferroelectricity can emerge due to the breaking of inversion symmetry. This property is of both fundamental and practical interest, in particular with a view to exploiting it in low-power electronic ... More

Structural Evolution of One-dimensional Spin Ladder Compounds Sr14-xCaxCu24O41 with Ca doping and Related Hole Redistribution EvidenceSep 05 2011Incommensurate crystal structures of spin ladder series Sr14-xCaxCu24O41 (x=3, 7, 11, 12.2) were characterized by powder neutron scattering method and refined using the superspace group Xmmm(00{\gamma})ss0 (equivalent to superspace group Fmmm(0,0,1+{\gamma})ss0); ... More

On Non-singlets in Kaon Production in Semi-inclusive DIS reactionsMar 12 2007We consider semi-inclusive unpolarized DIS for the production of charged kaons and the different possibilities, both in LO and NLO, to test the conventionally used assumptions $s-\bar s=0$ and $D_d^{K^+-K^-}=0$. The considered tests have the advantage ... More

Non-singlets in Semi-inclusive DIS and inclusive e+e- annihilationDec 06 2005We show that non-singlets in semi-inclusive DIS with pi^\pm determine without assumptions Delta u_V, Delta d_V and D_u^{\pi+ - pi-}. Non-singlets in SIDIS and inclusive e+e- -annihilation with K^\pm determine (s-bar s) and (Delta s-Delta bar s), but an ... More

Statistical Proof Pattern Recognition: Automated or Interactive?Mar 05 2013In this paper, we compare different existing approaches employed in data mining of big proof libraries in automated and interactive theorem proving.

ML4PG in Computer Algebra verificationFeb 26 2013May 24 2013ML4PG is a machine-learning extension that provides statistical proof hints during the process of Coq/SSReflect proof development. In this paper, we use ML4PG to find proof patterns in the CoqEAL library -- a library that was devised to verify the correctness ... More

Darboux transformation of boundary conditions of regular Dirac Sturm--Liouville problemNov 11 2007It is shown that boundary conditions of the Darboux transformed Dirac Sturm--Liouville problem are always zero-valued independently on boundary conditions of initial problem.

On families of lagrangian tori on hyperkaehler manifoldsMar 04 2013This is a note on Beauville's problem (solved by Greb, Lehn and Rollenske in the non-algebraic case and by Hwang and Weiss in general) whether a lagrangian torus on an irreducible holomorphic symplectic manifold is a fiber of a lagrangian fibration. We ... More

Integrable cosmological models with non-minimal coupling and bounce solutionsNov 07 2016We remind the way to obtain integrable models with non-minimally coupled scalar fields. We are interesting to models with bounce solutions and compare bounce solutions in two known integrable models. We show that only one model has a bounce solution that ... More

Secure cloud computations: Description of (fully)homomorphic ciphers within the P-adic model of encryptionMar 24 2016In this paper we consider the description of homomorphic and fully homomorphic ciphers in the $p$-adic model of encryption. This model describes a wide class of ciphers, but certainly not all. Homomorphic and fully homomorphic ciphers are used to ensure ... More

Growth of matrix products and mixing properties of the horocycle flowAug 18 2010\noindent In [1] L. Polterovich and Z. Rudnick considered the behavior of a one-parameter subgroup of a Lie group under the influence of a sequence of kicks. Among others they raise the following problem: {\it is the horocycle flow stably quasi-mixing ... More

Obstacles to the Factorization of Linear Partial Differential Operators into Several FactorsOct 13 2010We consider algorithms for the factorization of linear partial differential operators. We introduce several new theoretical notions in order to simplify such considerations. We define an obstacle and a ring of obstacles to factorizations. We derive some ... More

Morrison-Kawamata cone conjecture for hyperkahler manifoldsAug 18 2014Oct 26 2014Let $M$ be a simple holomorphically symplectic manifold, that is, a simply connected holomorphically symplectic manifold of Kahler type with $h^{2,0}=1$. We prove that the group of holomorphic automorphisms of $M$ acts on the set of faces of its Kahler ... More

Strong and weak convergence of population size in supercritical catalytic branching processJun 18 2015A general model of catalytic branching process (CBP) with any finite number of catalysis centers in a discrete space is studied. More exactly, it is assumed that particles move in this space according to a specified Markov chain and they may produce offspring ... More

Endomorphisms of projective bundles over a certain class of varietiesSep 04 2016Let $B$ be a simply-connected projective variety such that the first cohomology groups of all line bundles on $B$ are zero. Let $E$ be a vector bundle over $B$ and $X={\mathbb P} (E)$. It is easily seen that a power of any endomorphism of $X$ takes fibers ... More

Catalytic Branching Random Walk with Semi-exponential IncrementsFeb 03 2019A catalytic branching random walk on a multidimensional lattice, with arbitrary finite number of catalysts, is studied in supercritical regime. The dynamics of spatial spread of the particles population is examined, upon normalization. The components ... More

Moments of normally distributed random matrices - Bijective explicit evaluationNov 29 2013This paper is devoted to the distribution of the eigenvalues of $XUYU^t$ where $X$ and $Y$ are given symmetric matrices and $U$ is a random real valued square matrix of standard normal distribution. More specifically we look at its moments, i.e. the mathematical ... More

Waveform Design for Wireless Power TransferMar 31 2016Aug 09 2016Far-field Wireless Power Transfer (WPT) has attracted significant attention in recent years. Despite the rapid progress, the emphasis of the research community in the last decade has remained largely concentrated on improving the design of energy harvester ... More

Operational Semantics of Resolution and Productivity in Horn Clause LogicApr 14 2016Aug 17 2016This paper presents a study of operational and type-theoretic properties of different resolution strategies in Horn clause logic. We distinguish four different kinds of resolution: resolution by unification (SLD-resolution), resolution by term-matching, ... More

Towards a model independent approach to fragmentation functionsSep 01 2008Nov 10 2008We show that the difference cross sections in unpolarized SIDIS e+N\to e+h+X and pp hadron production p+p\to h+X determine independently in a model independent way, in any order in QCD, the two FFs: D_u^{h-\bar h} and D_d^{h-\bar h}, h=\pi^\pm, K^\pm ... More

Psychologically Motivated Text MiningSep 28 2016Natural language processing techniques are increasingly applied to identify social trends and predict behavior based on large text collections. Existing methods typically rely on surface lexical and syntactic information. Yet, research in psychology shows ... More

Complexity of links in 3-manifoldsOct 07 2008We introduce a natural-valued complexity c(X) for pairs X=(M,L), where M is a closed orientable 3-manifold and L is a link contained in M. The definition employs simple spines, but for well-behaved X's we show that c(X) equals the minimal number of tetrahedra ... More

Complexity and T-invariant of Abelian and Milnor groups, and complexity of 3-manifoldsDec 09 2004We investigate the notion of complexity for finitely presented groups and the related notion of complexity for three-dimensional manifolds. We give two-sided estimates on the complexity of all the Milnor groups (the finite groups with free action on the ... More

Polynomial properties of Jack connection coefficients and generalization of a result by DénesNov 30 2013Sep 14 2014This article is devoted to the computation of Jack connection coefficients, a generalization of the connection coefficients of two classical commutative subalgebras of the group algebra of the symmetric group: the class algebra and the double coset algebra. ... More

Maximum of Catalytic Branching Random Walk with Regularly Varying TailsAug 04 2018For a continuous-time catalytic branching random walk (CBRW) on Z, with an arbitrary finite number of catalysts, we study the asymptotic behavior of position of the rightmost particle when time tends to infinity. The mild requirements include the regular ... More

Finiteness of hitting times under tabooOct 26 2013We consider a continuous-time Markov chain with a finite or countable state space. For a site y and subset H of the state space, the hitting time of y under taboo H is defined to be infinite if the process trajectory hits H before y, and the first hitting ... More

CoALP-Ty'16Dec 09 2016This volume constitutes the pre-proceedings of the Workshop on Coalgebra, Horn Clause Logic Programming and Types (CoALP-Ty'16), held on 28--29 November 2016 in Edinburgh as a mark of the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, ... More

Centralizer of the elementary subgroup of an isotropic reductive groupDec 01 2010Dec 11 2010Let G be an isotropic reductive algebraic group over a commutative ring R. Assume that, for any maximal ideal M of R, the rank of the relative root system of G_{R_M} is greater or equal than 2. We show that under this assumption the centralizer of E(R) ... More

Automaton model of protein: dynamics of conformational and functional statesApr 15 2017In this conceptual paper we propose to explore the analogy between ontic/epistemic description of quantum phenomena and interrelation between dynamics of conformational and functional states of proteins. Another new idea is to apply theory of automata ... More

On colored Turaev-Viro invariants for links in arbitrary 3-manifoldsJan 10 2008We consider certain invariants of links in 3-manifolds, obtained by a specialization of the Turaev-Viro invariants of 3-manifolds, that we call colored Turaev-Viro invariants. Their construction is based on a presentation of a pair (M,L), where M is a ... More

Criteria of ergodicity for $p$-adic dynamical systems in terms of coordinate functionsMar 23 2013This paper is devoted to the problem of ergodicity of $p$-adic dynamical systems. Our aim is to present criteria of ergodicity in terms of coordinate functions corresponding to digits in the canonical expansion of $p$-adic numbers. The coordinate representation ... More

About S-\bar s, ΔS-Δ\bar s and D_d^{K+ - K-} in K^\pm Production in SidisJan 11 2008We consider semi-inclusive unpolarized DIS for the production of charged Kaons and the different possibilities, both in LO and NLO, to test the conventionally used assumptions s-\bar s=0, \Delta s-\Delta \bar s=0 and D_d^{K+ - K-}=0. The considered tests ... More

A Strategy for the Analysis of Semi-Inclusive Deep Inelastic ScatteringJul 26 2000Feb 02 2001We present a strategy for the systematic extraction of a vast amount of detailed information on polarized parton densities and fragmentation functions from semi-inclusive deep inelastic scattering l+N -> l+h+X, in both LO and NLO QCD. A method is suggested ... More

Semi-inclusive π^\pm production - tests for independent fragmentation and for polarized quark densitiesJul 07 1999Nov 24 1999We show that measurements of semi-inclusive $\pi^\pm$ asymmetries on $p$ and $n$ with polarized and unpolarized target and beams allow, without any knowledge of the polarized parton densities 1) to test independent fragmentation and SU(2) symmetry for ... More

Tests for Sivers, Boer-Mulders and transversity distributions in difference cross sections in SIDISDec 04 2015Dec 11 2015A major experimental program is presently underway to determine the Sivers, Boer-Mulders and transversity distributions, vital for understanding the internal structure of the nucleon. To this end we consider the Sivers, Boer-Mulders and transversity azimuthal ... More

On the top-quark polarization and how to measure itOct 02 1997The top quark is expected to decay as a free particle with definite momentum and polarization. Here we consider the possibilities to obtain information about its polarization through the energy and angular distributions of the b-quarks from the decay ... More

HoTT formalisation in Coq: Dependency Graphs \& ML4PGMar 11 2014This note is a response to Bas Spitter's email of 28 February 2014 about ML4PG: "We (Jason actually) are adding dependency graphs to our HoTT library: https://github.com/HoTT/HoTT/wiki I seem to recall that finding the dependency graph was a main obstacle ... More

Classification of multidimensional Darboux transformations: first order and continued typeMay 14 2016Oct 07 2016We analyze Darboux transformations in very general settings for multi-dimensional linear partial differential operators. We consider all known types of Darboux transformations, and present a new type. We obtain a full classification of all operators that ... More

Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and TypesSep 13 2017The Workshop on Coalgebra, Horn Clause Logic Programming and Types was held on the 28-29 November 2016 in Edinburgh. The workshop marked the end of the EPSRC Grant Coalgebraic Logic Programming for Type Inference, by E. Komendantskaya, Heriot-Watt University ... More

Modeling of gap gene regulatory networks in Drosophila with the account of the gene modular structure (in Russian)Jan 10 2018Genes are frequently regulated in complex manners, necessitating modelling approaches which go beyond simple (linear) gene-to-gene interactions and address the modularity of cis-regulatory regions and alternate transcription initiation sites. In particular, ... More

Contraction centers in families of hyperkahler manifoldsMar 12 2019We study the exceptional loci of birational (bimeromorphic) contractions of a hyperk\"ahler 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 ... More

On the existence of branched coverings between surfaces with prescribed branch data, IAug 23 2005May 26 2009For the existence of a branched covering Sigma~ --> Sigma between closed surfaces there are easy necessary conditions in terms of chi(Sigma~), chi(Sigma), orientability, the total degree, and the local degrees at the branching points. A classical problem ... More

Matrix Ordered Operator AlgebrasApr 12 2007Apr 22 2007We study the question when for a given *-algebra $\mathcal{A}$ a sequence of cones $C_n\in M_n(\mathcal{A})$ can be realized as cones of positive operators in a faithful *-representation of $\mathcal{A}$ on a Hilbert space. A characterization of operator ... More

Fibrations meromorphes sur certaines varietes de classe canonique trivialeOct 14 2005Nov 16 2006Motivated by an example, due to Voisin, of a smooth simply-connected projective variety with trivial canonical class and cyclic Picard group, admitting a meromorphic endomorphism of high degree, we study meromorphic fibrations on certain varieties with ... More

Performance evaluation of modulation methods: a combinatorial approachJan 16 2001This paper is devoted to the presentation of a combinatorial approach for analyzing the performance of an important modulation protocol used in mobile telecommunications. We show in particular that a fundamental formula, in this context, is in fact highly ... More

Subcritical catalytic branching random walk with finite or infinite variance of offspring numberDec 06 2012Subcritical catalytic branching random walk on d-dimensional lattice is studied. New theorems concerning the asymptotic behavior of distributions of local particles numbers are established. To prove the results different approaches are used including ... More

Collections of parabolic orbits in homogeneous spaces, homogeneous dynamics and hyperkahler geometryApr 13 2016Let $M$ be a hyperk\"ahler manifold with $b_2(M)\geq 5$. We improve our earlier results on the Morrison-Kawamata cone conjecture by showing that the Beauville-Bogomolov square of the primitive MBM classes (i.e. the classes whose orthogonal hyperplanes ... More

Realizability and exceptionality of candidate surface branched covers: methods and resultsSep 03 2007Sep 10 2007Given two closed orientable surfaces, the Hurwitz existence problem asks whether there exists a branched cover between them having prescribed global degree and local degrees over the branching points. The Riemann-Hurwitz formula gives a necessary condition, ... More

Construction of automorphisms of hyperkähler manifoldsApr 11 2016Let $M$ be an irreducible holomorphic symplectic (hyperk\"ahler) manifold. If $b_2(M)\geq 5$, we construct a deformation $M'$ of $M$ which admits a symplectic automorphism of infinite order. This automorphism is hyperbolic, that is, its action on the ... More

Long Cycle Factorizations : Bijective Computation in the General CaseNov 26 2012Jan 13 2013This paper is devoted to the computation of the number of ordered factorizations of a long cycle in the symmetric group where the number of factors is arbitrary and the cycle structure of the factors is given. Jackson (1988) derived the first closed form ... More

Criteria of measure-preserving for $p$-adic dynamical systems in terms of the van der Put basisOct 16 2012This paper is devoted to (discrete) $p$-adic dynamical systems, an important domain of algebraic and arithmetic dynamics. We consider the following open problem from theory of $p$-adic dynamical systems. Given continuous function $f:Z_p > Z_p.$ Let us ... More

On Kaon production in e+e- and Semi-inclusive DIS reactionsDec 05 2006Jun 04 2007We consider semi-inclusive unpolarized DIS for the production of charged kaons and the different possibilities to test the conventionally used assumptions s-\bar=0 and D_d^{K^+-K^-}=0. The considered tests have the advantage that they do not require any ... More

Using Structural Recursion for CorecursionMar 23 2009We propose a (limited) solution to the problem of constructing stream values defined by recursive equations that do not respect the guardedness condition. The guardedness condition is imposed on definitions of corecursive functions in Coq, AGDA, and other ... More