{"title":"Examples of Nonpronormal Relatively Maximal Subgroups of Finite Simple Groups","authors":"B. Li, D. O. Revin","doi":"10.1134/s0081543823060135","DOIUrl":"https://doi.org/10.1134/s0081543823060135","url":null,"abstract":"<p>Using R. Wilson’s recent results, we prove the existence of triples <span>((mathfrak{X},G,H))</span> such that <span>(mathfrak{X})</span> is a complete (i.e., closed under taking subgroups, homomorphic images, and extensions) class of finite groups, <span>(G)</span> is a finite simple group, and <span>(H)</span> is its <span>(mathfrak{X})</span>-maximal subgroup nonpronormal in <span>(G)</span>. This disproves a conjecture stated earlier by the second author and W. Guo.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757383","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":"Reconstruction of a Function Analytic in a Disk from the Boundary Values of Its Real Part Using Interpolation Wavelets","authors":"N. I. Chernykh","doi":"10.1134/s0081543823060068","DOIUrl":"https://doi.org/10.1134/s0081543823060068","url":null,"abstract":"<p>For a function <span>(f(z))</span> analytic in a disk, a method of approximate reconstruction from known (or arbitrarily specified) boundary values of its real part (under the condition of its continuity) using interpolation wavelets is proposed; the method is easy to implement numerically. Despite the fact that there are known exact analytical formulas for solving this problem, the explicit formulas for approximating the function <span>(f(z))</span> proposed here are much easier to apply in practice, since the previously known exact formulas lead to the necessity to apply numerical integration methods when calculating convolutions of functions with Poisson or Schwartz kernels. For the approximations used in this paper, effective upper bounds are obtained for the error of approximation of functions analytic in the disk by interpolation wavelets in the spaces <span>(L_{p}(0,2pi))</span> for any <span>(pgeq 2)</span>. These estimates can be used to find the parameters of the wavelets from a desired accuracy of recovering the function <span>(f(z))</span>. Note that if the real part of <span>(f(z))</span> is continuous on the boundary of the disk, the continuity of <span>(f(z))</span> in the closure of the disk cannot be guaranteed; that is why it is impossible to estimate the approximation error for <span>(f(z))</span> in the uniform metric (for <span>(p=infty)</span>) in the general case.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757090","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 Generalized Translation Operator Generated by the Sinc Function on an Interval","authors":"V. V. Arestov, M. V. Deikalova","doi":"10.1134/s0081543823060032","DOIUrl":"https://doi.org/10.1134/s0081543823060032","url":null,"abstract":"<p>We discuss the properties of the generalized translation operator generated by the system of functions <span>(mathfrak{S}={{(sin kpi x)}/{(kpi x)}}_{k=1}^{infty})</span> in the spaces <span>(L^{q}=L^{q}((0,1),{upsilon}))</span>, <span>(qgeq 1)</span>, on the interval <span>((0,1))</span> with the weight <span>(upsilon(x)=x^{2})</span>. We find an integral representation of this operator and study its norm in the spaces <span>(L^{q})</span>, <span>(1leq qleqinfty)</span>. The translation operator is applied to the study of Nikol’skii’s inequality between the uniform norm and the <span>(L^{q})</span>-norm of polynomials in the system <span>(mathfrak{S})</span>.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757201","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":"Optimization of the Optimal Value Function in Problems of Convex Parametric Programming","authors":"O. V. Khamisov","doi":"10.1134/s0081543823060111","DOIUrl":"https://doi.org/10.1134/s0081543823060111","url":null,"abstract":"<p>We consider a problem of convex parametric programming in which the objective function and the constraint functions are convex functions of an external parameter. Computational procedures are suggested for finding the maximum and minimum values of the optimal value function and for finding inner and outer approximations to the set of parameters for which the problem is consistent. All procedures are based on the application of support functions. Illustrative examples are provided.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757258","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":"Periodic Groups with One Finite Nontrivial Sylow 2-Subgroup","authors":"D. V. Lytkina, V. D. Mazurov","doi":"10.1134/s0081543823060147","DOIUrl":"https://doi.org/10.1134/s0081543823060147","url":null,"abstract":"<p>The following results are proved. Let <span>(d)</span> be a natural number, and let <span>(G)</span> be a group of finite even exponent such that each of its finite subgroups is contained in a subgroup isomorphic to the direct product of <span>(m)</span> dihedral groups, where <span>(mleq d)</span>. Then <span>(G)</span> is finite (and isomorphic to the direct product of at most <span>(d)</span> dihedral groups). Next, suppose that <span>(G)</span> is a periodic group and <span>(p)</span> is an odd prime. If every finite subgroup of <span>(G)</span> is contained in a subgroup isomorphic to the direct product <span>(D_{1}times D_{2})</span>, where <span>(D_{i})</span> is a dihedral group of order <span>(2p^{r_{i}})</span> with natural <span>(r_{i})</span>, <span>(i=1,2)</span>, then <span>(G=M_{1}times M_{2})</span>, where <span>(M_{i}=langle H_{i},trangle)</span>, <span>(t_{i})</span> is an element of order <span>(2)</span>, <span>(H_{i})</span> is a locally cyclic <span>(p)</span>-group, and <span>(h^{t_{i}}=h^{-1})</span> for every <span>(hin H_{i})</span>, <span>(i=1,2)</span>. Now, suppose that <span>(d)</span> is a natural number and <span>(G)</span> is a solvable periodic group such that every of its finite subgroups is contained in a subgroup isomorphic to the direct product of at most <span>(d)</span> dihedral groups. Then <span>(G)</span> is locally finite and is an extension of an abelian normal subgroup by an elementary abelian <span>(2)</span>-subgroup of order at most <span>(2^{2d})</span>.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757097","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":"Minimizing Sequences in a Constrained DC Optimization Problem","authors":"A. S. Strekalovsky","doi":"10.1134/s0081543823060214","DOIUrl":"https://doi.org/10.1134/s0081543823060214","url":null,"abstract":"<p>A smooth nonconvex optimization problem is considered, where the equality and inequality constraints and the objective function are given by DC functions. First, the original problem is reduced to an unconstrained problem with the help of I. I. Eremin’s exact penalty theory, and the objective function of the penalized problem also turns out to be a DC function. Necessary and sufficient conditions for minimizing sequences of the penalized problem are proved. On this basis, a “theoretical method” for constructing a minimizing sequence in the penalized problem with a fixed penalty parameter is proposed and the convergence of the method is proved. A well-known local search method and its properties are used for developing a new global search scheme based on global optimality conditions with a varying penalty parameter. The sequence constructed using the global search scheme turns out to be minimizing in the “limit” penalized problem, and each of its terms <span>(z^{k+1})</span> turns out to be an approximately critical vector for the local search method and an approximate solution of the current penalized problem <span>((mathcal{P}_{k})triangleq(mathcal{P}_{sigma_{k}}))</span>. Finally, under an additional condition of “approximate feasibility,” the constructed sequence turns out to be minimizing for the original problem with DC constraints.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139757440","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 Graph with a Locally Projective Vertex-Transitive Group of Automorphisms Aut( $$Fi_{22}$$ ) Which Has a Nontrivial Stabilizer of a Ball of Radius $$2$$","authors":"V. I. Trofimov","doi":"10.1134/s0081543823060238","DOIUrl":"https://doi.org/10.1134/s0081543823060238","url":null,"abstract":"<p>Earlier, to confirm that one of the possibilities for the structure of vertex stabilizers of graphs with projective suborbits is realizable, we announced the existence of a connected graph <span>(Gamma)</span> admitting a group of automorphisms <span>(G)</span> which is isomorphic to Aut<span>((Fi_{22}))</span> and has the following properties. First, the group <span>(G)</span> acts transitively on the set of vertices of <span>(Gamma)</span>, but intransitively on the set of <span>(3)</span>-arcs of <span>(Gamma)</span>. Second, the stabilizer in <span>(G)</span> of a vertex of <span>(Gamma)</span> induces on the neighborhood of this vertex a group <span>(PSL_{3}(3))</span> in its natural doubly transitive action. Third, the pointwise stabilizer in <span>(G)</span> of a ball of radius 2 in <span>(Gamma)</span> is nontrivial. In this paper, we construct such a graph <span>(Gamma)</span> with <span>(G=mathrm{Aut}(Gamma))</span>.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140889032","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 Study of New Methods for Localizing Discontinuity Lines on Extended Correctness Classes","authors":"A. L. Ageev, T. V. Antonova","doi":"10.1134/s0081543823060020","DOIUrl":"https://doi.org/10.1134/s0081543823060020","url":null,"abstract":"<p>We consider the ill-posed problem of finding the position of the discontinuity lines of a function of two variables.\u0000It is assumed that the function is smooth outside the lines of discontinuity but has a discontinuity of the first kind on the line.\u0000At each node of a uniform grid with step <span>(tau)</span>, the mean values of the perturbed function on a square with side <span>(tau)</span> are known.\u0000The perturbed function approximates the exact function in the space <span>(L_{2}(mathbb{R}^{2}))</span>. The perturbation level <span>(delta)</span> is assumed\u0000to be known. Previously, the authors investigated (accuracy estimates were obtained) global discrete regularizing algorithms\u0000for approximating the set of lines of discontinuity of a noisy function provided that the line of discontinuity of the exact function\u0000satisfies the local Lipschitz condition. In this paper, we introduce a one-sided Lipschitz condition and formulate a new, wider\u0000correctness class. New methods for localizing discontinuity lines are constructed that work on an extended class of functions.\u0000A convergence theorem is proved, and estimates of the approximation error and other important characteristics of the algorithms\u0000are obtained. It is shown that the new methods determine the position of the discontinuity lines with guarantee in situations\u0000where the standard methods do not work.\u0000</p>","PeriodicalId":54557,"journal":{"name":"Proceedings of the Steklov Institute of Mathematics","volume":null,"pages":null},"PeriodicalIF":0.5,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140889037","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":"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":null,"pages":null},"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":null,"pages":null},"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}