{"title":"Comparison and Polyhedral Properties of Valid Inequalities for a Polytope of Schedules for Servicing Identical Requests","authors":"R. Yu. Simanchev, I. V. Urazova","doi":"10.1134/s0081543823060202","DOIUrl":"https://doi.org/10.1134/s0081543823060202","url":null,"abstract":"<p>The paper considers the convex hull of a set of schedules for servicing identical requests by parallel devices. Precedence conditions are given on the set of requests. All requests enter the service queue simultaneously and have the same service duration. Interruptions in request servicing are prohibited. Time is discrete. The polyhedral properties of some previously constructed classes of valid inequalities are studied. The “depth” cuts are compared, and the strongest subclasses of cuts are found. The relative position of the schedule polytope and hyperplanes generated by inequalities is also studied.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"10 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757199","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Polynomial-Time Approximability of the Asymmetric Problem of Covering a Graph by a Bounded Number of Cycles","authors":"M. Yu. Khachai, E. D. Neznakhina, K. V. Ryzhenko","doi":"10.1134/s008154382306010x","DOIUrl":"https://doi.org/10.1134/s008154382306010x","url":null,"abstract":"<p>Recently, O. Svensson and V. Traub have provided the first proof of the polynomial-time approximability of the asymmetric traveling salesman problem (ATSP) in the class of constant-factor approximation algorithms. Just as the famous Christofides–Serdyukov algorithm for the symmetric routing problems, these breakthrough results, applied as a “black box,” have opened an opportunity for developing the first constant-factor polynomial-time approximation algorithms for several related combinatorial problems. At the same time, problems have been revealed in which this simple approach, based on reducing a given instance to one or more auxiliary ATSP instances, does not succeed. In the present paper, we extend the Svensson–Traub approach to the wider class of problems related to finding a minimum-weight cycle cover of an edge-weighted directed graph with an additional constraint on the number of cycles. In particular, it is shown for the first time that the minimum weight cycle cover problem with at most <span>(k)</span> cycles admits polynomial-time approximation with constant factor <span>(max{22+varepsilon,4+k})</span> for arbitrary <span>(varepsilon>0)</span>.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"22 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757264","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Fejér-Type Iterative Processes in the Constrained Quadratic Minimization Problem","authors":"V. V. Vasin","doi":"10.1134/s008154382306024x","DOIUrl":"https://doi.org/10.1134/s008154382306024x","url":null,"abstract":"<p>The paper presents an overview of methods for solving an ill-posed problem of constrained convex quadratic minimization based on the Fejér-type iterative methods, which widely use the ideas and approaches developed in the works of I. I. Eremin, the founder of the Ural research school of mathematical programming. Along with a problem statement of general form, we consider variants of the original problem with constraints in the form of systems of equalities and inequalities, which have numerous applications. In addition, particular formulations of the problem are investigated, including the problem of finding a metric projection and solving a linear program, which are of independent interest. A distinctive feature of these methods is that not only convergence but also stability with respect to errors in the input data are established for them; i.e., the methods generate regularizing algorithms in contrast to the direct methods, which do not have this property.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"46 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140889035","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Asymptotics of a Solution to an Optimal Control Problem with a Terminal Convex Performance Index and a Perturbation of the Initial Data","authors":"A. R. Danilin, O. O. Kovrizhnykh","doi":"10.1134/s008154382306007x","DOIUrl":"https://doi.org/10.1134/s008154382306007x","url":null,"abstract":"<p>In this paper, we investigate a problem of optimal control over a finite time interval for a linear system\u0000with constant coefficients and a small parameter in the initial data in the class of piecewise continuous controls\u0000with smooth geometric constraints. We consider a terminal convex performance index. We substantiate the limit relations\u0000as the small parameter tends to zero for the optimal value of the performance index and for the vector generating\u0000the optimal control in the problem. We show that the asymptotics of the solution can be of complicated nature. In\u0000particular, it may have no expansion in the Poincaré sense in any asymptotic sequence of rational functions of the\u0000small parameter or its logarithms.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"38 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757205","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Young Duality of Variational Inequalities. An Application for the Analysis of Interactions in Production Networks","authors":"N. K. Obrosova, A. A. Shananin","doi":"10.1134/s0081543823060172","DOIUrl":"https://doi.org/10.1134/s0081543823060172","url":null,"abstract":"<p>We develop a mathematical technique of Young dual variational inequalities, which are used to model market equilibrium in a network of production clusters that are heterogeneous from a technological point of view. Two formulations of the problem are considered: for a closed system with a given constraint on resources and for an open system in which resources can be supplied from outside at given prices. A theorem is proved on the existence of a solution to the variational inequality corresponding to market equilibrium in an open system.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"110 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757441","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Sharp Carlson Type Inequalities with Many Weights","authors":"K. Yu. Osipenko","doi":"10.1134/s0081543823060184","DOIUrl":"https://doi.org/10.1134/s0081543823060184","url":null,"abstract":"<p>The paper is concerned with sharp Carlson type inequalities of the form\u0000<span>(|w(cdot)x(cdot)|_{L_{q}(T)}leq K|w_{0}(cdot)x(cdot)|_{L_{p}(T)}^{ gamma}max_{1leq jleq n}|w_{j}(cdot)x(cdot)|_{L_{r}(T)}^{1-gamma},)</span>\u0000where <span>(T)</span> is a cone in <span>(mathbb{R}^{d})</span> and the weight functions <span>(w_{j}(cdot))</span>, <span>(j=1,mathinner{ldotpldotpldotp},n)</span>, are homogeneous with some symmetry property.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"9 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757099","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On Intersections of Nilpotent Subgroups in Finite Groups with Simple Socle from the “Atlas of Finite Groups”","authors":"V. I. Zenkov","doi":"10.1134/s0081543823060251","DOIUrl":"https://doi.org/10.1134/s0081543823060251","url":null,"abstract":"<p>Earlier, the author described up to conjugacy all pairs <span>((A,B))</span> of nilpotent subgroups of a finite group <span>(G)</span> with socle <span>(L_{2}(q))</span> for which <span>(Acap B^{g}neq 1)</span> for any element of <span>(G)</span>. A similar description was obtained by the author later for primary subgroups <span>(A)</span> and <span>(B)</span> of a finite group <span>(G)</span> with socle <span>(L_{n}(2^{m}))</span>. In this paper, we describe up to conjugacy all pairs <span>((A,B))</span> of nilpotent subgroups of a finite group <span>(G)</span> with simple socle from the “Atlas of Finite Groups” for which <span>(Acap B^{g}neq 1)</span> for any element <span>(g)</span> of <span>(G)</span>. The results obtained in the considered cases confirm the hypothesis (Problem 15.40 from the “Kourovka Notebook”) that a finite simple nonabelian group <span>(G)</span> for any nilpotent subgroups <span>(N)</span> contains an element <span>(g)</span> such that <span>(Ncap N^{g}=1)</span>.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"68 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757100","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Bicomposition of Conical Projections","authors":"E. A. Nurminski","doi":"10.1134/s0081543823060160","DOIUrl":"https://doi.org/10.1134/s0081543823060160","url":null,"abstract":"<p>We consider a decomposition approach to the problem of finding the orthogonal projection of a given point onto a convex polyhedral cone represented by a finite set of its generators. The reducibility of an arbitrary linear optimization problem to such projection problem potentially makes this approach one of the possible new ways to solve large-scale linear programming problems. Such an approach can be based on the idea of a recurrent dichotomy that splits the original large-scale problem into a binary tree of conical projections corresponding to a successive decomposition of the initial cone into the sum of lesser subcones. The key operation of this approach consists in solving the problem of projecting a certain point onto a cone represented as the sum of two subcones with the smallest possible modification of these subcones and their arbitrary selection. Three iterative algorithms implementing this basic operation are proposed, their convergence is proved, and numerical experiments demonstrating both the computational efficiency of the algorithms and certain challenges in their application are performed.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"22 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757256","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On Operator Inclusions in Spaces with Vector-Valued Metrics","authors":"E. A. Panasenko","doi":"10.1134/s0081543823060196","DOIUrl":"https://doi.org/10.1134/s0081543823060196","url":null,"abstract":"<p>We consider an inclusion <span>(widetilde{y}in F(x))</span> with a multivalued mapping acting in spaces with vector-valued metrics\u0000whose values are elements of cones in Banach spaces and can be infinite. A statement about the existence of a solution <span>(xin X)</span>\u0000and an estimate of its deviation from a given element <span>(x_{0}in X)</span> in a vector-valued metric are obtained. This result extends\u0000the known theorems on similar operator equations and inclusions in metric spaces and in the spaces with <span>(n)</span>-dimensional metric\u0000to a more general case and, applied to particular classes of functional equations and inclusions, allows to get less restrictive,\u0000compared to known, solvability conditions as well as more precise estimates of solutions. We apply this result to the integral inclusion\u0000<span>(widetilde{y}(t)in f(t,intop_{a}^{b}varkappa(t,s)x(s),ds,x(t)), tin[a, b],)</span>\u0000where the function <span>(widetilde{y})</span> is measurable, the mapping <span>(f)</span> satisfies the Carathéodory conditions, and the solution <span>(x)</span> is\u0000required to be only measurable (the integrability of <span>(x)</span> is not assumed).\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"11 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140889097","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On Submodularity and K $$mathfrak{F}$$ -Subnormality in Finite Groups","authors":"V. S. Monakhov, I. L. Sokhor","doi":"10.1134/s0081543823060159","DOIUrl":"https://doi.org/10.1134/s0081543823060159","url":null,"abstract":"<p>Let <span>(mathfrak{F})</span> be a formation, and let <span>(G)</span> be a finite group. A subgroup <span>(H)</span> of <span>(G)</span> is called <span>(mathrm{K}mathfrak{F})</span>-subnormal (submodular) in <span>(G)</span> if there is a subgroup chain <span>(H=H_{0}leq H_{1}leqmathinner{ldotpldotpldotp}leq H_{n-1}leq H_{n}=G)</span> such that, for every <span>(i)</span> either <span>(H_{i})</span> is normal in <span>(H_{i+1})</span> or <span>(H_{i+1}^{mathfrak{F}}leq H_{i})</span> (<span>(H_{i})</span> is a modular subgroup of <span>(H_{i+1})</span>, respectively). We prove that, in a group, a primary subgroup is submodular if and only if it is <span>(mathrm{K}mathfrak{U}_{1})</span>-subnormal. Here <span>(mathfrak{U}_{1})</span> is a formation of all supersolvable groups of square-free exponent. Moreover, for a solvable subgroup-closed formation <span>(mathfrak{F})</span>, every solvable <span>(mathrm{K}mathfrak{F})</span>-subnormal subgroup of a group <span>(G)</span> is contained in the solvable radical of <span>(G)</span>. We also obtain a series of applications of these results to the investigation of groups factorized by <span>(mathrm{K}mathfrak{F})</span>-subnormal and submodular subgroups.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":"6 1","pages":""},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140889099","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}