Showing 1–29 of 29 results for author: Koshkin, S

Logical reduction of relations: from relational databases to Peirce's reduction thesis

Authors: Sergiy Koshkin

Abstract: We study logical reduction (factorization) of relations into relations of lower arity by Boolean or relative products that come from applying conjunctions and existential quantifiers to predicates, i.e. by primitive positive formulas of predicate calculus. Our algebraic framework unifies natural joins and data dependencies of database theory and relational algebra of clone theory with the bond alg… ▽ More We study logical reduction (factorization) of relations into relations of lower arity by Boolean or relative products that come from applying conjunctions and existential quantifiers to predicates, i.e. by primitive positive formulas of predicate calculus. Our algebraic framework unifies natural joins and data dependencies of database theory and relational algebra of clone theory with the bond algebra of C.S. Peirce. We also offer new constructions of reductions, systematically study irreducible relations and reductions to them, and introduce a new characteristic of relations, ternarity, that measures their `complexity of relating' and allows to refine reduction results. In particular, we refine Peirce's controversial reduction thesis, and show that reducibility behavior is dramatically different on finite and infinite domains. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 31 pages, 4 figures

MSC Class: 03G15 68P15 03B10 03E20 03A05 08A40 08A70 03B70 03-03

Journal ref: Logic Journal of the IGPL, 2023

Is Peirce's reduction thesis gerrymandered?

Authors: Sergiy Koshkin

Abstract: We argue that traditional formulations of the reduction thesis that tie it to privileged relational operations do not suffice for Peirce's justification of the categories, and invite the charge of gerrymandering to make it come out as true. We then develop a more robust invariant formulation of the thesis by explicating the use of triads in any relational operations, which is immune to that charge… ▽ More We argue that traditional formulations of the reduction thesis that tie it to privileged relational operations do not suffice for Peirce's justification of the categories, and invite the charge of gerrymandering to make it come out as true. We then develop a more robust invariant formulation of the thesis by explicating the use of triads in any relational operations, which is immune to that charge. The explication also allows us to track how Thirdness enters the structure of higher order relations, and even propose a numerical measure of it. Our analysis reveals new conceptual phenomena when negation or disjunction are used to compound relations. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 24 pages, 8 figures

MSC Class: 03G15 03A05 00A30 03E20 03-03

Journal ref: Transactions of the Charles S. Peirce Society, 58 (2022) no.4, 271-300

Can the quadratrix truly square the circle?

Authors: Luis Cruz, Sergiy Koshkin

Abstract: The quadratrix received its name from the circle quadrature, squaring the circle, but it only solves it if completed by taking a limit, as pointed out already in antiquity. We ask if it can square the circle without limits and restrict its use accordingly, to converting ratios of angles and segments into each other. The problem is then translated into algebra by analogy to straightedge and compass… ▽ More The quadratrix received its name from the circle quadrature, squaring the circle, but it only solves it if completed by taking a limit, as pointed out already in antiquity. We ask if it can square the circle without limits and restrict its use accordingly, to converting ratios of angles and segments into each other. The problem is then translated into algebra by analogy to straightedge and compass constructions, and leads to an open question in transcendental number theory. In particular, Lindemann's impossibility result no longer suffices, and the answer depends on whether $π$ belongs to the analog of Ritt's exponential-logarithmic field with an algebraic base. We then derive that it does not from the well-known Schanuel conjecture. Thus, the quadratrix so restricted cannot square the circle after all. △ Less

Submitted 20 June, 2024; originally announced June 2024.

Comments: 18 pages, 7 figures

MSC Class: 51M15; 11J81; 11U09; 01A20

Optimal allocation in annual plants with density dependent fitness

Authors: Sergiy Koshkin, Zachary Zalles, Michael F. Tobin, Nicolas Toumbacaris, Cameron Spiess

Abstract: 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 al… ▽ More 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. △ Less

Submitted 22 June, 2022; originally announced June 2022.

Comments: 29 pages, 12 figures

MSC Class: 37N25 49K15 49K30 92C80 49N90 92D15

Journal ref: Theory in Biosciences, 140 (2021) no.2, 177-196

Linear recurrent cryptography: golden-like cryptography for higher order linear recurrences

Authors: Sergiy Koshkin, Daniel Rodriguez

Abstract: 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 s… ▽ More 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. △ Less

Submitted 22 June, 2022; originally announced June 2022.

Comments: 27 pages, 1 figure

MSC Class: 94A60 11B37 15A48 15A36 15A18 11B39 11C20 94B60 94B25 11B37 15B36; 11K16

Journal ref: Discrete Mathematics, Algorithms and Applications, 2022

Wittgenstein, Peirce, and paradoxes of mathematical proof

Authors: Sergiy Koshkin

Abstract: 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 d… ▽ More 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. △ Less

Submitted 22 June, 2022; originally announced June 2022.

Comments: 24 pages, no figures

MSC Class: 00A30 03A05 03-03

Journal ref: Analytic Philosophy 62 (2021) no. 3, 252-274

Swinging a playground swing: torque controls for inducing sustained oscillations

Authors: Sergiy Koshkin, Vojin Jovanovic

Abstract: 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 mod… ▽ More 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. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Comments: 26 pages, 10 figures

MSC Class: 70K05 34C15 70K40 70E17 70Q05 93D25 93C85

Journal ref: IEEE Control Systems Magazine, 42 (2022) no. 2, 18-34

Harmonic Oscillators of Mathematical Biology: Many Faces of a Predator-Prey Model

Authors: Sergiy Koshkin, Isaiah Meyers

Abstract: 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 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. △ Less

Submitted 19 June, 2022; originally announced June 2022.

Comments: 15 pages, 10 figures. Mathematics Magazine, April 2022

MSC Class: 37N25 34C15 37G15 34C26 92C60 92C80

Caustics of light rays and Euler's angle of inclination

Authors: Sergiy Koshkin, Ivan Rocha

Abstract: 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,… ▽ More 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. △ Less

Submitted 19 June, 2022; originally announced June 2022.

Comments: 19 pages, 14 figures

MSC Class: 53A04 78A05 34K06

Journal ref: PUMP Journal of Undergraduate Research, 3 (2020) 205-225

Bisecting horn angles

Authors: Sergiy Koshkin

Abstract: 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… ▽ More 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. △ Less

Submitted 19 June, 2022; originally announced June 2022.

Comments: 8 pages, 6 figures

MSC Class: 51M04 01A20 01A60 30C20 51M15

Journal ref: College Mathematics Journal 51 (2020) no. 2, 124-131

Non-classical linear divisibility sequences and cyclotomic polynomials

Authors: Sergiy Koshkin

Abstract: 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 po… ▽ More 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. △ Less

Submitted 19 June, 2022; originally announced June 2022.

Comments: 14 pages, 4 figures

MSC Class: 11B39; 11B83; 37P05; 11B37

Journal ref: Fibonacci Quarterly 57 (2019) no. 1, 68-80

From Golden to Unimodular Cryptography

Authors: Sergiy Koshkin, Taylor Styers

Abstract: 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… ▽ More 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. △ Less

Submitted 4 February, 2019; originally announced April 2019.

Comments: 20 pages, no figures

MSC Class: 94B60; 11B39

Journal ref: Chaos, Solitons and Fractals, 105 (2017) pp. 208-214

Fitting rectangles under vulnerability curves: optimal water flow through plants

Authors: Sergiy Koshkin, Michael Tobin, Jeffae Schroff, Matt Capobianco, Sarah Oldfield

Abstract: 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 co… ▽ More 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. △ Less

Submitted 13 February, 2019; originally announced February 2019.

Comments: 13 pages, 2 tables, 3 figures

MSC Class: 92B05; 92C80; 37N25; 76B75

Journal ref: Mathematical Methods in the Applied Sciences, 41 (2018) pp.7949-7957

Optimal control of a thermistor problem with vanishing conductivity

Authors: Volodymyr Hrynkiv, Sergiy Koshkin

Abstract: An optimal control of a steady state thermistor problem is considered, where the convective boundary coefficient is taken as the control variable. A distinctive feature of this paper is that the problem is considered in arbitrary dimensions, and the electrical conductivity is allowed to vanish above a threshold temperature value. The existence of a steady state is proved, an objective functional i… ▽ More An optimal control of a steady state thermistor problem is considered, where the convective boundary coefficient is taken as the control variable. A distinctive feature of this paper is that the problem is considered in arbitrary dimensions, and the electrical conductivity is allowed to vanish above a threshold temperature value. The existence of a steady state is proved, an objective functional is introduced, the existence of the optimal control is proved, and the optimality system is derived. △ Less

Submitted 4 February, 2019; originally announced February 2019.

Comments: 23 pages, no figures

MSC Class: 49J20; 35J62; 35A15; 93C20

Journal ref: Applied Mathematics & Optimization (2018)

Imaginary triangles, Pythagorean theorems, and algebraic geometry

Authors: Sergiy Koshkin

Abstract: We extend the notion of triangle to "imaginary triangles" with complex valued sides and angles, and parametrize families of such triangles by plane algebraic curves. We study in detail families of triangles with two commensurable angles, and apply the theory of plane Cremona transformations to find "Pythagorean theorems" for them, which are interpreted as the implicit equations of their parametriz… ▽ More We extend the notion of triangle to "imaginary triangles" with complex valued sides and angles, and parametrize families of such triangles by plane algebraic curves. We study in detail families of triangles with two commensurable angles, and apply the theory of plane Cremona transformations to find "Pythagorean theorems" for them, which are interpreted as the implicit equations of their parametrizing curves. △ Less

Submitted 17 December, 2017; originally announced December 2017.

Comments: 15 pages, 1 table, 8 figures

Realization of Nonholonomic Constraints and Singular Perturbation Theory for Plane Dumbbells

Authors: Sergiy Koshkin, Vojin Jovanovic

Abstract: We study the dynamics of pairs of connected masses in the plane, when nonholonomic (knife-edge) constraints are realized by forces of viscous friction, in particular its relation to constrained dynamics, and its approximation by the method of matching asymptotics of singular perturbation theory when the mass to friction ratio is taken as the small parameter. It turns out that long term behaviors o… ▽ More We study the dynamics of pairs of connected masses in the plane, when nonholonomic (knife-edge) constraints are realized by forces of viscous friction, in particular its relation to constrained dynamics, and its approximation by the method of matching asymptotics of singular perturbation theory when the mass to friction ratio is taken as the small parameter. It turns out that long term behaviors of the frictional and constrained systems may differ dramatically no matter how small the perturbation is, and when this happens is not determined by any transparent feature of the equations of motion. The choice of effective time scales for matching asymptotics is also subtle and non-obvious, and secular terms appearing in them can not be dealt with by the classical methods. Our analysis is based on comparison to analytic solutions, and we present a reduction procedure for plane dumbbells that leads to them in some cases. △ Less

Submitted 16 May, 2017; originally announced May 2017.

Comments: 30 pages, 10 figures

Journal ref: Journal of Engineering Mathematics (2017) 19 pp

Invasion waves in the presence of a mutualist

Authors: Volodymyr Hrynkiv, Sergiy Koshkin

Abstract: 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 spread… ▽ More 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. △ Less

Submitted 15 May, 2017; originally announced May 2017.

Comments: 21 pages, 4 figures

Journal ref: Mathematical Methods in the Applied Sciences, 37 (2014), no. 15, 2185-2197

The asymptotic trace norm of random circulants and the graph energy

Authors: Sergiy Koshkin

Abstract: We compute the expected normalized trace norm (matrix/graph energy) of random symmetric band circulant matrices and graphs in the limit of large sizes, and obtain explicit bounds on the rate of convergence to the limit, and on the probabilities of large deviations. We also show that random symmetric band Toeplitz matrices have the same limit norm assuming that their band widths remain small relati… ▽ More We compute the expected normalized trace norm (matrix/graph energy) of random symmetric band circulant matrices and graphs in the limit of large sizes, and obtain explicit bounds on the rate of convergence to the limit, and on the probabilities of large deviations. We also show that random symmetric band Toeplitz matrices have the same limit norm assuming that their band widths remain small relative to their sizes. We compare the limit norms across a range of related random matrix and graph ensembles. △ Less

Submitted 7 October, 2016; originally announced October 2016.

Comments: 25 pages, no figures

MSC Class: 05C80; 60B20; 05C50; 15B52

Positive semigroups and algebraic Riccati equations in Banach spaces

Authors: Sergiy Koshkin

Abstract: We generalize Wonham's theorem on solvability of algebraic operator Riccati equations to Banach spaces, namely there is a unique stabilizing solution to A*P+PA-PBB*P+C*C=0 when (A,B) is exponentially stabilizable and (C,A) is exponentially detectable. The proof is based on a new approach that treats the linear part of the equation as the generator of a positive semigroup on the space of symmetric… ▽ More We generalize Wonham's theorem on solvability of algebraic operator Riccati equations to Banach spaces, namely there is a unique stabilizing solution to A*P+PA-PBB*P+C*C=0 when (A,B) is exponentially stabilizable and (C,A) is exponentially detectable. The proof is based on a new approach that treats the linear part of the equation as the generator of a positive semigroup on the space of symmetric operators from a Banach space to its dual, and the quadratic part as an order concave map. A direct analog of global Newton's iteration for concave functions is then used to approximate the solution, the approximations converge in the strong operator topology, and the convergence is monotone. The linearized equations are the well-known Lyapunov equations of the form A*P+PA=-Q, and semigroup stability criterion in terms of them is also generalized. △ Less

Submitted 22 July, 2015; originally announced July 2015.

Comments: 24 pages, no figures

MSC Class: 49K27; 34D20; 47B65; 47D06

Positive semigroups and abstract Lyapunov equations

Authors: Sergiy Koshkin

Abstract: 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… ▽ More 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. △ Less

Submitted 27 January, 2014; originally announced January 2014.

Comments: 22 pages, no figures

MSC Class: 47D06; 47B65; 49K27; 34D20

A short proof of the Arendt-Chernoff-Kato theorem

Authors: Sergiy Koshkin

Abstract: 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 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. △ Less

Submitted 14 August, 2013; originally announced August 2013.

Comments: 4 pages, no figures

MSC Class: 47D06; 47B60; 34K30

Journal ref: Archiv der Mathematik, vol. 101 (2013), no. 2, pp. 143-147

The Ritz method with Lagrange multipliers

Authors: Vojin Jovanovic, Sergiy Koshkin

Abstract: We develop a general form of the Ritz method for trial functions that do not satisfy the essential boundary conditions. The idea is to treat the latter as variational constraints and remove them using the Lagrange multipliers. In multidimensional problems in addition to the trial functions boundary weight functions also have to be selected to approximate the boundary conditions. We prove convergen… ▽ More We develop a general form of the Ritz method for trial functions that do not satisfy the essential boundary conditions. The idea is to treat the latter as variational constraints and remove them using the Lagrange multipliers. In multidimensional problems in addition to the trial functions boundary weight functions also have to be selected to approximate the boundary conditions. We prove convergence of the method and discuss its limitations and implementation issues. In particular, we discuss the required regularity of the variational functional, the completeness of systems of the trial functions, and conditions for consistency of the equations for the trial solutions. The discussion is accompanied by a detailed examination of examples, both analytic and numerical, to illustrate the method. △ Less

Submitted 5 March, 2013; originally announced March 2013.

Comments: 48 pages, 3 tables, no figures

Journal ref: Advances in Mathematical Physics (2016), article ID 7058017, 12 pp

Binomial ARMA count series from renewal processes

Authors: Sergiy Koshkin, Yunwei Cui

Abstract: 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 inte… ▽ More 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. △ Less

Submitted 19 December, 2011; originally announced December 2011.

Comments: 11 pages, no figures

Synchronization of Huygens' clocks and the Poincare method

Authors: Vojin Jovanovic, Sergiy Koshkin

Abstract: 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 ex… ▽ More 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. △ Less

Submitted 19 December, 2011; originally announced December 2011.

Comments: 23 pages, 8 figures

Journal ref: Journal of Sound and Vibration Volume 331, Number 12 (2012), pp.2887-2900

Homotopy classification of maps into homogeneous spaces

Authors: Sergiy Koshkin

Abstract: 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 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. △ Less

Submitted 21 September, 2009; v1 submitted 31 July, 2008; originally announced August 2008.

Comments: Appendix deleted, exposition improved, contact information updated; 13 pages, no figures

MSC Class: 57R22; 55Q25; 46M20; 57R22; 46M20; 81T10; 58D50; 55Q25

Journal ref: Journal of Homotopy and Related Structures: Volume 4, Number 1 (2009), pp.331-346

Quantum Barnes function as the partition function of the resolved conifold

Authors: Sergiy Koshkin

Abstract: 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… ▽ More 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. △ Less

Submitted 15 October, 2007; originally announced October 2007.

Comments: 47 pages, 7 figures

MSC Class: 14J32; 14N35; 57M27; 57R56; 81T45

Journal ref: International Journal of Mathematics and Mathematical Sciences Volume 2008 (2008), Article ID 438648

Introduction to the Gopakumar-Vafa Large N Duality

Authors: Dave Auckly, Sergiy Koshkin

Abstract: Gopakumar-Vafa large N duality is a correspondence between Chern-Simons invariants of a link in a 3-manifold and relative Gromov-Witten invariants of a 6-dimensional symplectic manifold relative to a Lagrangian submanifold. We address the correspondence between the Chern-Simons free energy of S^3 with no link and the Gromov-Witten invariant of the resolved conifold in great detail. This case avo… ▽ More Gopakumar-Vafa large N duality is a correspondence between Chern-Simons invariants of a link in a 3-manifold and relative Gromov-Witten invariants of a 6-dimensional symplectic manifold relative to a Lagrangian submanifold. We address the correspondence between the Chern-Simons free energy of S^3 with no link and the Gromov-Witten invariant of the resolved conifold in great detail. This case avoids mathematical difficulties in formulating a definition of relative Gromov-Witten invariants, but includes all of the important ideas. There is a vast amount of background material related to this duality. We make a point of collecting all of the background material required to check this duality in the case of the 3-sphere, and we have tried to present the material in a way complementary to the existing literature. This paper contains a large section on Gromov-Witten theory and a large section on quantum invariants of 3-manifolds. It also includes some physical motivation, but for the most part it avoids physical terminology. △ Less

Submitted 13 March, 2009; v1 submitted 20 January, 2007; originally announced January 2007.

Comments: This is the version published by Geometry & Topology Monographs on 21 September 2007

MSC Class: 81T45; 14N35; 17B37; 57M27; 81T30

Journal ref: Geom. Topol. Monogr. 8 (2006) 195-456

Homogeneous spaces and Faddeev-Skyrme models

Authors: Sergiy Koshkin

Abstract: We study geometric variational problems for a class of effective models in quantum field theory known as Faddeev-Skyrme models. Mathematically one considers minimizing an energy functional on homotopy classes of maps from closed 3-manifolds into homogeneous spaces of compact Lie groups. The energy minimizers known as Hopfions describe stable configurations of subatomic particles such as protons… ▽ More We study geometric variational problems for a class of effective models in quantum field theory known as Faddeev-Skyrme models. Mathematically one considers minimizing an energy functional on homotopy classes of maps from closed 3-manifolds into homogeneous spaces of compact Lie groups. The energy minimizers known as Hopfions describe stable configurations of subatomic particles such as protons and their strong interactions. In particular, we introduce novel Sobolev spaces suitable for our variational problem and develop the notion of homotopy type for maps in such spaces that generalizes homotopy for smooth and continuous maps. This notion is based on defining a generalized Hopf invariant for Sobolev maps into homogeneous spaces that was previously known only for maps into $S^2$. Since the spaces in question are neither linear nor even convex we represent maps by gauge potentials that form a linear space and reformulate the problem in terms of these potentials. However, this representation of maps introduces some gauge ambiguity into the picture and we work out 'gauge calculus' for the principal bundles involved to apply the gauge-fixing techniques that eliminate the ambiguity. These bundles arise as pullbacks of the structure bundles $H\hra G\to G/H$ of homogeneous spaces and we study their topology and geometry that are of independent interest. 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 only in each 2-homotopy class. △ Less

Submitted 16 August, 2006; originally announced August 2006.

Comments: 89 pages, no figures

MSC Class: 58E50; 81T10

Conormal bundles to knots and the Gopakumar-Vafa conjecture

Authors: Sergiy Koshkin

Abstract: We offer a new construction of Lagrangian submanifolds for the Gopakumar-Vafa conjecture relating the Chern-Simons theory on the 3-sphere and the Gromov-Witten theory on the resolved conifold. Given a knot in the 3-sphere its conormal bundle is perturbed to disconnect it from the zero section and then pulled through the conifold transition. The construction produces totally real submanifolds of… ▽ More We offer a new construction of Lagrangian submanifolds for the Gopakumar-Vafa conjecture relating the Chern-Simons theory on the 3-sphere and the Gromov-Witten theory on the resolved conifold. Given a knot in the 3-sphere its conormal bundle is perturbed to disconnect it from the zero section and then pulled through the conifold transition. The construction produces totally real submanifolds of the resolved conifold that are Lagrangian in a perturbed symplectic structure and correspond to knots in a natural and explicit way. We prove that both the resolved conifold and the knot Lagrangians in it have bounded geometry, and that the moduli spaces of holomorphic curves ending on the Lagrangians are compact in the Gromov topology. △ Less

Submitted 20 March, 2007; v1 submitted 13 March, 2005; originally announced March 2005.

Comments: Proof of the main result simplified, conclusions and references added, exposition improved, typos fixed; 38 pages, 8 postscript figures

MSC Class: 32Q65; 53D05; 53D12