Add a filter

Of all publications in the section: 38

Sort:

by name

by year

Working paper

In the first section of this work we introduce 4-dimensional Power Geometry for second-order ODEs of a polynomial form. In the next five sections we apply this construction to the first five Painlev ́e equations.

Added: Mar 28, 2015

Working paper

We construct an action of the braid group on n strands on the set of parking functions of n cars such that elementary braids have orbits of length 2 or 3. The construction is motivated by a theorem of Lyashko and Looijenga stating that the number of the distinguished bases for An singularity equals (n + 1)n−1 and thus equals the number of parking functions. We construct an explicit bijection between the set of parking functions and the set of distinguished bases, which allows us to translate the braid group action on distinguished bases in terms of parking functions.

Added: Feb 13, 2015

Working paper

We completely determine the complexity status of the dominating set problem for hereditary graph classes defined by forbidden
induced subgraphs with at most five vertices.

Added: Jun 2, 2015

Working paper

Added: Aug 1, 2017

Working paper

We present direct logarithmically optimal in theory and fast in practice algorithms to implement the tensor product high order finite element method on multi-dimensional rectangular parallelepipeds for solving PDEs of the Poisson kind. They are based on the well-known Fourier approaches. The key new points are the fast direct and inverse FFT-based algorithms for expansion in eigenvectors of the 1D eigenvalue problems for the high order FEM.
The algorithms can further be used for numerous applications, in particular, to implement the tensor product high order finite element methods for various time-dependent PDEs. Results of numerical experiments in 2D and 3D cases are presented.

Added: Sep 29, 2016

Working paper

The paper proposes a new stochastic intervention control model conducted in various commodity and stock markets. The essence of the phenomenon of intervention is described in accordance with current economic theory. A review of papers on intervention research has been made. A general construction of the stochastic intervention model was developed as a Markov process with discrete time, controlled at the time it hits the boundary of a given subset of a set of states. Thus, the problem of optimal control of interventions is reduced to a theoretical problem of control by the specified process or the problem of tuning. A general solution of the tuning problem for a model with discrete time is obtained. It is proved that the optimal control in such a problem is deterministic and is determined by the global maximum point of the function of two discrete variables, for which an explicit analytical representation is obtained. It is noted that the solution of the stochastic tuning problem can be used as a basis for solving control problems of various technical systems in which there is a need to maintain some main parameter in a given set of its values.

Added: Dec 3, 2018

Working paper

B. Totaro showed \cite{totaro} that the rational cohomology of configuration spaces of smooth complex projective varieties is isomorphic as an algebra to the $E_\infty$ term of the Leray spectral sequence corresponding to the open embedding of the configuration space into the Cartesian power. In this note we show that the isomorphism can be chosen to be compatible with the mixed Hodge structures. In particular, we prove that the mixed Hodge structures on the configuration spaces of smooth complex projective varieties are direct sums of pure Hodge structures.

Added: Feb 28, 2017

Working paper

Ovchinnikov A.,

, Vo T. Working papers by Cornell University. Cornell University, 2018
Elimination of unknowns in systems of equations, starting with Gaussian elimination, is a problem of general interest. The problem of finding an a priori upper bound for the number of differentiations in elimination of unknowns in a system of differential-algebraic equations (DAEs) is an important challenge, going back to Ritt (1932). The first characterization of this via an asymptotic analysis is due to Grigoriev's result (1989) on quantifier elimination in differential fields, but the challenge still remained.
In this paper, we present a new bound, which is a major improvement over the previously known results. We also present a new lower bound, which shows asymptotic tightness of our upper bound in low dimensions, which are frequently occurring in applications. Finally, we discuss applications of our results to designing new algorithms for elimination of unknowns in systems of DAEs.

Added: Nov 1, 2019

Working paper

Added: Mar 19, 2015

Working paper

We study Josephson junctions with weak links consisting of two parallel disordered arms with magnetic properties -- ferromagnetic, half-metallic or normal with magnetic impurities. In the case of long links, the Josephson effect is dominated by mesoscopic fluctuations. In this regime, the system realises a $\varphi_0$ junction with sample-dependent $\varphi_0$ and critical current. Cooper pair splitting between the two arms plays a major role and leads to $2\Phi_0$ periodicity of the current as a function of flux between the arms. We calculate the current and its flux and polarization dependence for the three types of magnetic links.

Added: Oct 15, 2016

Working paper

Amzallag E., Minchenko A.,

Working papers by Cornell University. Cornell University, 2019
Algorithms working with linear algebraic groups often represent them via defining polynomial equations. One can always choose defining equations for an algebraic group to be of the degree at most the degree of the group as an algebraic variety. However, the degree of a linear algebraic group G⊂GLn(C) can be arbitrarily large even for n=1. One of the key ingredients of Hrushovski's algorithm for computing the Galois group of a linear differential equation was an idea to `approximate' every algebraic subgroup of GLn(C) by a `similar' group so that the degree of the latter is bounded uniformly in n. Making this uniform bound computationally feasible is crucial for making the algorithm practical.
In this paper, we derive a single-exponential degree bound for such an approximation (we call it toric envelope), which is qualitatively optimal. As an application, we improve the quintuply exponential bound for the first step of the Hrushovski's algorithm due to Feng to a single-exponential bound. For the cases n=2,3 often arising in practice, we further refine our general bound.

Added: Nov 1, 2019

Working paper

The main goal of the present paper are new formulae for degrees of strata in Hurwitz spaces of rational functions having two degenerate critical values with preimages of prescribed multiplicities. We consider the case where the multiplicities of the preimages of one critical value are arbitrary, while the second critical value has degeneracy of codimension 1. Our formulae are based on the universal cohomological expressions for codimension 1 strata in terms of certain basic cohomology classes in general Hurwitz spaces of rational functions obtained by M. Kazarian and S. Lando. We prove new relations valid in cohomology of Hurwitz spaces that were conjectured by M. Kazarian on the base of computer experiments. As a corollary, we obtain new, previously unknown, explicit formulae for certain families of double Hurwitz numbers in genus 0. One may hope that the methods developed in the present paper are applicable to proving more general relations in cohomology rings of Hurwitz spaces and deducing more general formulae for double Hurwitz numbers.

Added: Nov 8, 2016

Working paper

The properties of a two-dimensional low density (n<<1) electron system with strong onsite Hubbard attraction U>W (W is the bandwidth) in the presence of a strong random potential V uniformly distributed in the range from -V to +V are considered. Electronic hoppings only at neighboring sites on the square lattice are taken into account, thus W = 8t. The calculations were carried out for a lattice of 24x24 sites with periodic boundary conditions. In the framework of the Bogoliubov - de Gennes approach we observed an appearance of inhomogeneous states of spatially separated Fermi-Bose mixture of Cooper pairs and unpaired electrons with the formation of bosonic droplets of different size in the matrix of the unpaired normal states.

Added: Jun 26, 2020

Working paper

Zatelepin A.,

Working papers by Cornell University. Cornell University, 2010. No. 1008.3573.
We report on numerical investigation of fractal properties of critical interfaces in two-dimensional Potts models. Algorithms for finding percolating interfaces of Fortuin-Kasteleyn clusters, their external perimeters and interfaces of spin clusters are presented. Fractal dimensions are measured and compared to exact theoretical predictions.

Added: Mar 7, 2016

Working paper

Li W., Ovchinnikov A.,

et al. Working papers by Cornell University. Cornell University, 2018
We establish effective elimination theorems for differential-difference equations. Specifically, we find a computable function B(r,s) of the natural number parameters r and s so that for any system of algebraic differential-difference equations in the variables x=x1,…,xq and y=y1,…,yr each of which has order and degree in y bounded by s over a differential-difference field, there is a non-trivial consequence of this system involving just the x variables if and only if such a consequence may be constructed algebraically by applying no more than B(r,s) iterations of the basic difference and derivation operators to the equations in the system. We relate this finiteness theorem to the problem of finding solutions to such systems of differential-difference equations in rings of functions showing that a system of differential-difference equations over C is algebraically consistent if and only if it has solutions in a certain ring of germs of meromorphic functions.

Added: Nov 1, 2019

Working paper

We derive a new explicit formula in terms of sums over graphs for the n-point correlation functions of general formal weighted double Hurwitz numbers coming from the Orlov-Scherbin partition functions. Notably, we use the change of variables suggested by the associated spectral curve, and our formula turns out to be a polynomial expression in a certain small set of formal functions defined on the spectral curve.

Added: Oct 6, 2020

Working paper

Added: Oct 15, 2019

Working paper

Trautmann P., Vexler B.,

Working papers by Cornell University. Cornell University, 2017. No. 1702.00362.
This work is concerned with the optimal control problems governed by the 1D wave equation with variable coefficients and the control spaces $\mathcal M_T$ of either measure-valued functions $L^2(I,\mathcal M(\Omega))$
or vector measures $\mathcal M(\Omega,L^2(I))$. The cost functional involves the standard quadratic terms and the regularization term $\alpha\|u\|_{\mathcal M_T}$, $\alpha>0$. We construct and study three-level in time bilinear finite element discretizations for the problems. The main focus lies on the derivation of error estimates for the optimal state variable and the error measured in the cost functional. The analysis is mainly based on some previous results of the authors. The numerical results are included.

Added: Feb 2, 2017

Working paper

By a classical result of Darboux, a foliation of a Riemannian surface has the Graves property (also known as the strong evolution property) if and only if the foliation comes from a Liouville net. A similar result of Blaschke says that a pair of orthogonal foliations has the Ivory property if and only if they form a Liouville net.
Let us say that a geodesically convex curve on a Riemannian surface has the Poritsky property if it can be parametrized in such a way that all of its string diffeomorphisms are shifts with respect to this parameter. In 1950, Poritsky has shown that the only closed plane curves with this property are ellipses.
In the present article we show that a curve on a Riemannian surface has the Poritsky property if and only if it is a coordinate curve of a Liouville net. We also recall Blaschke's derivation of the Liouville property from the Ivory property and his proof of Weihnacht's theorem: the only Liouville nets in the plane are nets of confocal conics and their degenerations.
This suggests the following generalization of Birkhoff's conjecture: If an interior neighborhood of a closed geodesically convex curve on a Riemannian surface is foliated by billiard caustics, then the metric in the neighborhood is Liouville, and the curve is one of the coordinate lines.

Added: Nov 12, 2019

Working paper

Hong H., Ovchinnikov A.,

et al. Working papers by Cornell University. Cornell University, 2018
Many real-world processes and phenomena are modeled using systems of ordinary differential equations with parameters. Given such a system, we say that a parameter is globally identifiable if it can be uniquely recovered from input and output data. The main contribution of this paper is to provide theory, an algorithm, and software for deciding global identifiability. First, we rigorously derive an algebraic criterion for global identifiability (this is an analytic property), which yields a deterministic algorithm. Second, we improve the efficiency by randomizing the algorithm while guaranteeing probability of correctness. With our new algorithm, we can tackle problems that could not be tackled before.

Added: Nov 1, 2019

Working paper

Ovchinnikov A.,

, Thompson P. Working papers by Cornell University. Cornell University, 2019
Structural identifiability is a property of a differential model with parameters that allows for the parameters to be determined from the model equations in the absence of noise. The method of input-output equations is one method for verifying structural identifiability. This method stands out in its importance because the additional insights it provides can be used to analyze and improve models. However, its complete theoretical grounds and applicability are still to be established. A subtlety and key for this method to work is knowing if the coefficients of these equations are identifiable.
In this paper, to address this, we prove identifiability of the coefficients of input-output equations for types of differential models that often appear in practice, such as linear models with one output and linear compartment models in which, from each compartment, one can reach either a leak or an input. This shows that checking identifiability via input-output equations for these models is legitimate and, as we prove, that the field of identifiable functions is generated by the coefficients of the input-output equations. For a linear compartment model with an input and strongly connected graph, the field of all identifiable functions is generated by the coefficients of the equations obtained from the model just using Cramer's rule, as we show.

Added: Nov 1, 2019

1
2