Showing 1–10 of 10 results for author: Petrov, F V

Classification of integral modular data up to rank 13

Authors: Max A. Alekseyev, Winfried Bruns, Sebastien Palcoux, Fedor V. Petrov

Abstract: This paper classifies all modular data of integral modular fusion categories up to rank 13. Furthermore, it also classifies all integral half-Frobenius fusion rings up to rank 12. We find that each perfect integral modular fusion category up to rank 13, as well as every perfect integral half-Frobenius fusion ring up to rank 12, is trivial. We have also refined the non-pointed odd-dimensional modul… ▽ More This paper classifies all modular data of integral modular fusion categories up to rank 13. Furthermore, it also classifies all integral half-Frobenius fusion rings up to rank 12. We find that each perfect integral modular fusion category up to rank 13, as well as every perfect integral half-Frobenius fusion ring up to rank 12, is trivial. We have also refined the non-pointed odd-dimensional modular data at ranks below 25 to three items, all of rank 17, FPdim 225, and type [[1,3],[3,8],[5,6]], filling gaps in the literature. For rank 25, we have narrowed down the perfect case to 3 types. Our initial key insight is that the Egyptian fractions, which are typically employed to list possible types, can be chosen with squared denominators. We then develop several type criteria as initial filters. In particular, we establish that the number of distinct basic FPdims in a non-trivial perfect fusion ring must be at least 4. To obtain the fusion rings, we solve the dimension and associativity equations using new features on Normaliz created specifically for this purpose. The S-matrices (if they exist) are obtained by self-transposing the character table, while the T-matrices are derived by solving the Anderson-Moore-Vafa equations. Finally, we verify the extended axioms of modular data. From rank 13 onward, the types were further restricted by additional properties unique to the modular case, which involved the universal grading, congruence representations of the modular group and Galois action, leading to critical arithmetic constraints. In particular, we get that, up to rank 21, a prime divisor of the global FPdim does not exceed the rank, and more strongly up to rank 15 in the non-pointed case, does not exceed half the rank. Ultimately, we narrowed down the classification at rank 14 to 35 possible types, 8 of which are non-perfect. △ Less

Submitted 30 May, 2024; v1 submitted 3 February, 2023; originally announced February 2023.

Comments: 34 pages. New results involving stronger arithmetic constraints, motivated by new results on the rank of Z(Rep(G)); reduction of the rank 14 case to 35 types; reduction of perfect odd-dim rank 25 to 3 types; the computational proofs are now well documented; new features on Normaliz involving modular grading; new SageMath functions available for classifying constrained types. Comments are welcome!

MSC Class: 18M20 (Primary) 20G42; 16T20; 16Z05 (Secondary)

The bounds for the number of linear extensions via chain and antichain coverings

Authors: I. A. Bochkov, F. V. Petrov

Abstract: Let $(\mathcal{P},\leqslant)$ be a finite poset. Define the numbers $a_1,a_2,\ldots$ (respectively, $c_1,c_2,\ldots$) so that $a_1+\ldots+a_k$ (respectively, $c_1+\ldots+c_k$) is the maximal number of elements of $\mathcal{P}$ which may be covered by $k$ antichains (respectively, $k$ chains.) Then the number $e(\mathcal{P})$ of linear extensions of poset $\mathcal{P}$ is not less than… ▽ More Let $(\mathcal{P},\leqslant)$ be a finite poset. Define the numbers $a_1,a_2,\ldots$ (respectively, $c_1,c_2,\ldots$) so that $a_1+\ldots+a_k$ (respectively, $c_1+\ldots+c_k$) is the maximal number of elements of $\mathcal{P}$ which may be covered by $k$ antichains (respectively, $k$ chains.) Then the number $e(\mathcal{P})$ of linear extensions of poset $\mathcal{P}$ is not less than $\prod a_i!$ and not more than $n!/\prod c_i!$. A corollary: if $\mathcal{P}$ is partitioned onto disjoint antichains of size $b_1,b_2, \ldots$, then $e(\mathcal{P})\geqslant \prod b_i!$. △ Less

Submitted 10 January, 2020; originally announced January 2020.

Combinatorial and Probabilistic Formulae for Divided Symmetrization

Authors: Fedor V. Petrov

Abstract: Divided symmetrization of a function $f(x_1,\dots,x_n)$ is symmetrization of the ratio $$DS_G(f)=\frac{f(x_1,\dots,x_n)}{\prod (x_i-x_j)},$$ where the product is taken over the set of edges of some graph $G$. We concentrate on the case when $G$ is a tree and $f$ is a polynomial of degree $n-1$, in this case $DS_G(f)$ is a constant function. We give a combinatorial interpretation of the divided sym… ▽ More Divided symmetrization of a function $f(x_1,\dots,x_n)$ is symmetrization of the ratio $$DS_G(f)=\frac{f(x_1,\dots,x_n)}{\prod (x_i-x_j)},$$ where the product is taken over the set of edges of some graph $G$. We concentrate on the case when $G$ is a tree and $f$ is a polynomial of degree $n-1$, in this case $DS_G(f)$ is a constant function. We give a combinatorial interpretation of the divided symmetrization of monomials for general trees and probabilistic game interpretation for a tree which is a path. In particular, this implies a result by Postnikov originally proved by computing volumes of special polytopes, and suggests its generalization. △ Less

Submitted 5 August, 2017; v1 submitted 22 December, 2015; originally announced December 2015.

General Parity Result and Cycle-plus-Triangles Graphs

Authors: Fedor V. Petrov

Abstract: We generalize a parity result of Fleishner and Stiebitz that being combined with Alon--Tarsi polynomial method allowed them to prove that a 4-regular graph formed by a Hamiltonian cycle and several disjoint triangles is always 3-choosable. Also we present a modification of polynomial method and show how it gives slightly more combinatorial information about colourings than direct application of Al… ▽ More We generalize a parity result of Fleishner and Stiebitz that being combined with Alon--Tarsi polynomial method allowed them to prove that a 4-regular graph formed by a Hamiltonian cycle and several disjoint triangles is always 3-choosable. Also we present a modification of polynomial method and show how it gives slightly more combinatorial information about colourings than direct application of Alon's Combinatorial Nullstellensatz. △ Less

Submitted 19 December, 2015; originally announced December 2015.

Correction of metrics

Authors: F. V. Petrov, P. B. Zatitskiy

Abstract: We prove that a symmetric nonnegative function of two variables on a Lebesgue space that satisfies the triangle inequality for almost all triples of points is equivalent to some semimetric. Some other properties of metric triples (spaces with structures of a measure space and a metric space) are discussed. We prove that a symmetric nonnegative function of two variables on a Lebesgue space that satisfies the triangle inequality for almost all triples of points is equivalent to some semimetric. Some other properties of metric triples (spaces with structures of a measure space and a metric space) are discussed. △ Less

Submitted 11 December, 2011; originally announced December 2011.

Comments: 6 pages

MSC Class: 54E70

Journal ref: Zapiski Nauchn. Sem. POMI v. 390 (2011), pp. 201-209 (Russian)

Partitions of nonzero elements of a finite field into pairs

Authors: R. N. Karasev, F. V. Petrov

Abstract: In this paper we prove that the nonzero elements of a finite field with odd characteristic can be partitioned into pairs with prescribed difference (maybe, with some alternatives) in each pair. The algebraic and topological approaches to such problems are considered. We also give some generalizations of these results to packing translates in a finite or infinite field, and give a short proof of a… ▽ More In this paper we prove that the nonzero elements of a finite field with odd characteristic can be partitioned into pairs with prescribed difference (maybe, with some alternatives) in each pair. The algebraic and topological approaches to such problems are considered. We also give some generalizations of these results to packing translates in a finite or infinite field, and give a short proof of a particular case of the Eliahou--Kervaire--Plaigne theorem about sum-sets. △ Less

Submitted 11 March, 2011; v1 submitted 7 May, 2010; originally announced May 2010.

MSC Class: 05B40; 05E15; 57S17

Uncountable Graphs and Invariant Measures on the Set of Universal Countable Graphs

Authors: F. V. Petrov, A. M. Vershik

Abstract: We give new examples and describe the complete lists of all measures on the set of countable homogeneous universal graphs and $K_s$-free homogeneous universal graphs (for $s\geq 3$) that are invariant with respect to the group of all permutations of the vertices. Such measures can be regarded as random graphs (respectively, random $K_s$-free graphs). The well-known example of Erdös--Rényi (ER) o… ▽ More We give new examples and describe the complete lists of all measures on the set of countable homogeneous universal graphs and $K_s$-free homogeneous universal graphs (for $s\geq 3$) that are invariant with respect to the group of all permutations of the vertices. Such measures can be regarded as random graphs (respectively, random $K_s$-free graphs). The well-known example of Erdös--Rényi (ER) of the random graph corresponds to the Bernoulli measure on the set of adjacency matrices. For the case of the universal $K_s$-free graphs there were no previously known examples of the invariant measures on the space of such graphs. The main idea of our construction is based on the new notions of {\it measurable universal}, and {\it topologically universal} graphs, which are interesting themselves. The realization of the construction can be regarded as two-step randomization for universal measurable graph : {\it "randomization in vertices"} and {\it "randomization in edges"}. For $K_s$-free, $s\geq 3$ there is only randomization in vertices of the measurable graphs. The completeness of our lists is proved using the important theorem by D. Aldous about $S_{\infty}$-invariant matrices, which we reformulate in appropriate way. △ Less

Submitted 30 June, 2009; v1 submitted 21 April, 2008; originally announced April 2008.

Comments: 25 pp.Ref 19

MSC Class: 05C80; 03C35

Linearly rigid metric spaces and the embedding problem

Authors: J. Melleray, F. V. Petrov, A. M. Vershik

Abstract: We consider the problem of isometric embedding of metric spaces to the Banach spaces; and introduce and study the remarkable class of so-called linearly rigid metric spaces: these are the spaces that admit a unique, up to isometry, linearly dense isometric embedding into a Banach space. The first nontrivial example of such a space was given by R. Holmes; he proved that the universal Urysohn spac… ▽ More We consider the problem of isometric embedding of metric spaces to the Banach spaces; and introduce and study the remarkable class of so-called linearly rigid metric spaces: these are the spaces that admit a unique, up to isometry, linearly dense isometric embedding into a Banach space. The first nontrivial example of such a space was given by R. Holmes; he proved that the universal Urysohn space has this property. We give a criterion of linear rigidity of a metric space, which allows us to give a simple proof of the linear rigidity of the Urysohn space and some other metric spaces. The various properties of linearly rigid spaces and related spaces are considered. △ Less

Submitted 11 April, 2008; v1 submitted 2 November, 2006; originally announced November 2006.

Comments: 23 pp. Ref.19

MSC Class: 46B20; 51F99

On S.L. Tabachnikov's conjecture

Authors: A. I. Nazarov, F. V. Petrov

Abstract: S. L. Tabachnikov's conjecture is proved: for any closed curve $Γ$ lying inside convex closed curve $Γ_1$ the mean absolute curvature $T(Γ)$ exceeds $T(Γ_1)$ if $Γ\ne kΓ_1$. An inequality $T(Γ)\ge T(Γ_1)$ is proved for curves in a hemisphere. S. L. Tabachnikov's conjecture is proved: for any closed curve $Γ$ lying inside convex closed curve $Γ_1$ the mean absolute curvature $T(Γ)$ exceeds $T(Γ_1)$ if $Γ\ne kΓ_1$. An inequality $T(Γ)\ge T(Γ_1)$ is proved for curves in a hemisphere. △ Less

Submitted 19 July, 2005; originally announced July 2005.

MSC Class: 52A38; Secondary: 52A40

On a number of rational points on a convex curve

Authors: Fedor V. Petrov

Abstract: Let $γ$ be a bounded convex curve on a plane. Then $\sharp (γ\cap (\Z/n)^2)=o(n^{2/3})$. It streghtens the classical result of Jarn\'ık (an upper estimate $O(n^{2/3})$) and disproves a conjecture of Vershik on existence of the so-called {\it universal Jarn\'ık curve}. Let $γ$ be a bounded convex curve on a plane. Then $\sharp (γ\cap (\Z/n)^2)=o(n^{2/3})$. It streghtens the classical result of Jarn\'ık (an upper estimate $O(n^{2/3})$) and disproves a conjecture of Vershik on existence of the so-called {\it universal Jarn\'ık curve}. △ Less

Submitted 15 March, 2005; originally announced March 2005.

Comments: 8 pages, submitted to FAA

MSC Class: 11H06