BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Sergiy Koshkin contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
A horn angle between a circle and its tangent is considered in Euclid's Elements, and Euclid remarks that it is smaller than any acute rectilinear angle. Already in antiquity, Proclus wondered whether it is possible to bisect horn angles. We will give a construction of a bisector which was within the means of ancient geometers since the time of Archimedes and Apollonius. We will also compare it to the conformal bisection method introduced in modern times.
Euler used intrinsic equations expressing the radius of curvature as a function of the angle of inclination to find curves similar to their evolutes. We interpret the evolute of a plane curve optically, as the caustic (envelope) of light rays normal to it, and study the Euler's problem for general caustics. The resulting curves are characterized when the rays are at a constant angle to the curve, generalizing the case of evolutes. Aside from analogs of classical solutions we encounter some new types of curves. We also consider caustics of parallel rays reflected by a curved mirror, where Euler's problem leads to a novel pantograph equation, and describe its analytic solutions.
We show that a number of models in virus dynamics, epidemiology and plant biology can be presented as ``damped" versions of the Lotka-Volterra predator-prey model, by analogy to the damped harmonic oscillator. The analogy deepens with the use of Lyapunov functions, which allow us to characterize their dynamics and even make some estimates.
We develop matrix cryptography based on linear recurrent sequences of any order that allows securing encryption against brute force and chosen plaintext attacks. In particular, we solve the problem of generalizing error detection and correction algorithms of golden cryptography previously known only for recurrences of a special form. They are based on proving the checking relations (inequalities satisfied by the ciphertext) under the condition that the analog of the golden $Q$-matrix has the strong Perron-Frobenius property. These algorithms are proved to be especially efficient when the characteristic polynomial of the recurrence is a Pisot polynomial. Finally, we outline algorithms for generating recurrences that satisfy our conditions.
Divisibility sequences are defined by the property that their elements divide each other whenever their indices do. The divisibility sequences that also satisfy a linear recurrence, like the Fibonacci numbers, are generated by polynomials that divide their compositions with every positive integer power. We completely characterize such polynomials in terms of their factorizations into cyclotomic polynomials using labeled Hasse diagrams, and construct new integer divisibility sequences based on them. We also show that, unlike the Fibonacci numbers, these non-classical sequences do not have the property of strong divisibility.
We study optimal two-sector (vegetative and reproductive) allocation models of annual plants in temporally variable environments, that incorporate effects of density dependent lifetime variability and juvenile mortality in a fitness function whose expected value is maximized. Only special cases of arithmetic and geometric mean maximizers have previously been considered in the literature, and we also allow a wider range of production functions with diminishing returns. The model predicts that the time of maturity is pushed to an earlier date as the correlation between individual lifetimes increases, and while optimal schedules are bang-bang at the extremes, the transition is mediated by schedules where vegetative growth is mixed with reproduction for a wide intermediate range. The mixed growth lasts longer when the production function is less concave allowing for better leveraging of plant size when generating seeds. Analytic estimates are obtained for the power means that interpolate between arithmetic and geometric mean and correspond to partially correlated lifetime distributions.
Models of a playground swing have been studied since the 1960s. However, in most of them, the position of the swinger is controlled directly. This simplifies the problem but hides the mechanics of torques applied to keep the swing moving in a regular pattern. This article studies these mechanics. Two models of a swing with torques as controls that we consider are identical to popular models of modern robotics: the Acrobot and reaction wheel pendulum. However, the control task of sustaining the swing's regular oscillations by a static feedback control is new and challenging, especially when damping in the joint connecting the swing to the frame is considered. We develop two types of controls to accomplish this task. One works for small damping and is based on linearizing the undamped system by a suitable preliminary feedback control. The other works for large damping. In the steady state, the resulting closed-loop system describes a harmonically driven damped pendulum (a simple system known for its complex behavior), including chaotic motion for some parameter values. To address such complexities, we build free parameters into the controls, then adjust them based on simulations to avoid chaos and achieve regular oscillations that are seen on playgrounds.
Wittgenstein's paradoxical theses that unproved propositions are meaningless, proofs form new concepts and rules, and contradictions are of limited concern, led to a variety of interpretations, most of them centered on the rule-following skepticism. We argue that his intuitions rather reflect resistance to treating meaning as fixed content, and are better understood in the light of C.S. Peirce's distinction between corollarial and theorematic proofs. We show how Peirce's insight that "all necessary reasoning is diagrammatic", vindicated in modern epistemic logic and semantic information theory, helps explain the paradoxical ability of deduction to generate new knowledge and meaning.
We study an optimization problem for a model of steady state water transport through plants that maximizes water flow subject to the constraints on hydraulic conductance due to vulnerability to embolism (air blockage of conduits). The model has an elementary geometric interpretation, and exhibits bottleneck behavior where one of the plant segments limits the overall optimal flow, sometimes in a counterintuitive way. The results show good agreement with experimental measurements and provide support for the hypothesis that leaves serve as a safety buffer protecting stems against excessive embolism.
We introduce a natural generalization of the golden cryptography, which uses general unimodular matrices in place of the traditional Q-matrices, and prove that it preserves the original error correction properties of the encryption. Moreover, the additional parameters involved in generating the coding matrices make this unimodular cryptography resilient to the chosen plaintext attacks that worked against the golden cryptography. Finally, we show that even the golden cryptography is generally unable to correct double errors in the same row of the ciphertext matrix, and offer an additional check number which, if transmitted, allows for the correction.
This paper studies invasion waves in the diffusive Competitor-Competitor-Mutualist model generalizing the 2-species Lotka-Volterra model studied by Weinberger et al. The mutualist may benefit the invading or the resident species producing two different types of invasions. Sufficient conditions for linear determinacy are derived in both cases, and when they hold, explicit formulas for linear spreading speeds of the invasions are obtained by linearizing the model. While in the first case the linear speed is increased by the mutualist, it is unaffected in the second case. Mathematical methods are based on converting the model into a cooperative reaction-diffusion system.
We consider abstract equations of the form Ax=-z on a locally convex space, where A generates a positive semigroup and z is a positive element. This is an abstract version of the operator Lyapunov equation A*P+PA=-Q from control theory. It is proved that under suitable assumptions existence of a positive solution implies that -A has a positive inverse, and the generated semigroup is asymptotically stable. We do not require that z is an order unit, or that the space contains any order units. As an application, we generalize Wonham's theorem on the operator Lyapunov equations with detectable right hand sides to reflexive Banach spaces.
We give a short new proof of the Arendt-Chernoff-Kato theorem, which characterizes generators of positive C0 semigroups in order unit spaces. The proof avoids half-norms and subdifferentials, and is based on a sufficient condition for an operator to have positive inverse, which is new even for matrices.
We describe a new method for finding analytic solutions to some initial-boundary problems for partial differential equations with constant coefficients. The method is based on expanding the denominator of the Laplace transformed Green's function of the problem into a convergent geometric series. If the denominator is a linear combination of exponents with real powers one obtains a closed form solution as a sum with finite but time dependent number of terms. We call it a d'Alembert sum. This representation is computationally most effective for small evolution times, but it remains valid even when the system of eigenmodes is incomplete and the eigenmode expansion is unavailable. Moreover, it simplifies in such cases. In vibratory problems d'Alembert sums represent superpositions of original and partially reflected traveling waves. They generalize the d'Alembert type formulas for the wave equation, and reduce to them when original waves can undergo only finitely many reflections in the entire course of evolution. The method is applied to vibrations of a bar with dampers at each end and at some internal point. The results are illustrated by computer simulations and comparisons to modal and FEM solutions.
This paper describes a new method for generating stationary integer-valued time series from renewal processes. We prove that if the lifetime distribution of renewal processes is nonlattice and the probability generating function is rational, then the generated time series satisfy causal and invertible ARMA type stochastic difference equations. The result provides an easy method for generating integer-valued time series with ARMA type autocovariance functions. Examples of generating binomial ARMA(p,p-1) series from lifetime distributions with constant hazard rates after lag p are given as an illustration. An estimation method is developed for the AR(p) cases.
We investigate longitudinal vibrations of a bar subjected to viscous boundary conditions at each end, and an internal damper at an arbitrary point along the bar's length. The system is described by four independent parameters and exhibits a variety of behaviors including rigid motion, super stability/instability and zero damping. The solution is obtained by applying the Laplace transform to the equation of motion and computing the Green's function of the transformed problem. This leads to an unconventional eigenvalue-like problem with the spectral variable in the boundary conditions. The eigenmodes of the problem are necessarily complex-valued and are not orthogonal in the usual inner product. Nonetheless, in generic cases we obtain an explicit eigenmode expansion for the response of the bar to initial conditions and external force. For some special values of parameters the system of eigenmodes may become incomplete, or no non-trivial eigenmodes may exist at all. We thoroughly analyze physical and mathematical reasons for this behavior and explicitly identify the corresponding parameter values. In particular, when no eigenmodes exist, we obtain closed form solutions. Theoretical analysis is complemented by numerical simulations, and analytic solutions are compared to computations using finite elements.
We study two models of connected pendulum clocks synchronizing their oscillations, a phenomenon originally observed by Huygens. The oscillation angles are assumed to be small so that the pendulums are modeled by harmonic oscillators, clock escapements are modeled by the van der Pol terms. The mass ratio of the pendulum bobs to their casings is taken as a small parameter. Analytic conditions for existence and stability of synchronization regimes, and analytic expressions for their stable amplitudes and period corrections are derived using the Poincare theorem on existence of periodic solutions in autonomous quasi-linear systems. The anti-phase regime always exists and is stable under variation of the system parameters. The in-phase regime may exist and be stable, exist and be unstable, or not exist at all depending on parameter values. As the damping in the frame connecting the clocks is increased the in-phase stable amplitude and period are decreasing until the regime first destabilizes and then disappears. The results are most complete for the traditional three degrees of freedom model, where the clock casings and the frame are consolidated into a single mass.
We study geometric variational problems for a class of nonlinear sigma-models in quantum field theory. Mathematically, one needs to minimize an energy functional on homotopy classes of maps from closed 3-manifolds into compact homogeneous spaces G/H. The minimizers are known as Hopfions and exhibit localized knot-like structure. Our main results include proving existence of Hopfions as finite energy Sobolev maps in each (generalized) homotopy class when the target space is a symmetric space. For more general spaces we obtain a weaker result on existence of minimizers in each 2-homotopy class. Our approach is based on representing maps into G/H by equivalence classes of flat connections. The equivalence is given by gauge symmetry on pullbacks of G-->G/H bundles. We work out a gauge calculus for connections under this symmetry, and use it to eliminate non-compactness from the minimization problem by fixing the gauge.
We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the notion of homotopy to Sobolev maps. This is required for applications to variational problems of mathematical physics.
We suggest a new strategy for proving large $N$ duality by interpreting Gromov-Witten, Donaldson-Thomas and Chern-Simons invariants of a Calabi-Yau threefold as different characterizations of the same holomorphic function. For the resolved conifold this function turns out to be the quantum Barnes function, a natural $q$-deformation of the classical one that in its turn generalizes Euler's gamma function. Our reasoning is based on a new formula for this function that expresses it as a graded product of $q$-shifted multifactorials.