Showing 1–18 of 18 results for author: Frenkel, P E

The triangulant

Authors: Tamás Bencze, Péter E. Frenkel

Abstract: We introduce the triangulant of two matrices, and relate it to the existence of orthogonal eigenvectors. We also use it for a new characterization of mutually unbiased bases. Generalizing the notion, we introduce higher order triangulants of two matrices, and relate them to the existence of nontrivially intersecting invariant subspaces of complementary dimensions. We introduce the triangulant of two matrices, and relate it to the existence of orthogonal eigenvectors. We also use it for a new characterization of mutually unbiased bases. Generalizing the notion, we introduce higher order triangulants of two matrices, and relate them to the existence of nontrivially intersecting invariant subspaces of complementary dimensions. △ Less

Submitted 19 June, 2024; originally announced June 2024.

Comments: 16 pages

Integral formula for quantum relative entropy implies data processing inequality

Authors: Péter E. Frenkel

Abstract: Integral representations of quantum relative entropy, and of the directional second and higher order derivatives of von Neumann entropy, are established, and used to give simple proofs of fundamental, known data processing inequalities: the Holevo bound on the quantity of information transmitted by a quantum communication channel, and, much more generally, the monotonicity of quantum relative entr… ▽ More Integral representations of quantum relative entropy, and of the directional second and higher order derivatives of von Neumann entropy, are established, and used to give simple proofs of fundamental, known data processing inequalities: the Holevo bound on the quantity of information transmitted by a quantum communication channel, and, much more generally, the monotonicity of quantum relative entropy under trace-preserving positive linear maps -- complete positivity of the map need not be assumed. The latter result was first proved by Müller-Hermes and Reeb, based on work of Beigi. For a simple application of such monotonicities, we consider any `divergence' that is non-increasing under quantum measurements, such as the concavity of von Neumann entropy, or various known quantum divergences. An elegant argument due to Hiai, Ohya, and Tsukada is used to show that the infimum of such a `divergence' on pairs of quantum states with prescribed trace distance is the same as the corresponding infimum on pairs of binary classical states. Applications of the new integral formulae to the general probabilistic model of information theory, and a related integral formula for the classical Rényi divergence, are also discussed. △ Less

Submitted 5 September, 2023; v1 submitted 25 August, 2022; originally announced August 2022.

Comments: 16 pages. Accepted to Quantum

Journal ref: Quantum 7, 1102 (2023)

Estimating the greatest common divisor of the value of two polynomials

Authors: Péter E. Frenkel, Gergely Zábrádi

Abstract: Let $p$ be a fixed prime, and let $v(a)$ stand for the exponent of $p$ in the prime factorization of the integer $a$. Let $f$ and $g$ be two monic polynomials with integer coefficients and nonzero resultant $r$. Write $S$ for the maximum of $v(\gcd (f(n), g(n)))$ over all integers $n$. It is known that $S \le v(r)$. We give various lower and upper bounds for the least possible value of $v(r)-S$ pr… ▽ More Let $p$ be a fixed prime, and let $v(a)$ stand for the exponent of $p$ in the prime factorization of the integer $a$. Let $f$ and $g$ be two monic polynomials with integer coefficients and nonzero resultant $r$. Write $S$ for the maximum of $v(\gcd (f(n), g(n)))$ over all integers $n$. It is known that $S \le v(r)$. We give various lower and upper bounds for the least possible value of $v(r)-S$ provided that a given power $p^s$ divides both $f(n)$ and $g(n)$ for all $n$. In particular, the least possible value is $ps^2-s$ for $s\le p$ and is asymptotically $(p-1)s^2$ for large $s$. △ Less

Submitted 4 December, 2017; originally announced December 2017.

Comments: 12 pages

On the greatest common divisor of the value of two polynomials

Authors: Péter E. Frenkel, József Pelikán

Abstract: We show that if two monic polynomials with integer coefficients have square-free resultant, then all positive divisors of the resultant arise as the greatest common divisor of the values of the two polynomials at a suitable integer. We show that if two monic polynomials with integer coefficients have square-free resultant, then all positive divisors of the resultant arise as the greatest common divisor of the values of the two polynomials at a suitable integer. △ Less

Submitted 29 August, 2016; originally announced August 2016.

Comments: 6 pages

MSC Class: 11N32; 11C08; 11C20; 11A05; 13P15; 12E05; 15A03; 15A21

Journal ref: Amer. Math. Monthly 124 (2017), no. 5, 446--450

Convergence of graphs with intermediate density

Authors: Péter E. Frenkel

Abstract: We propose a notion of graph convergence that interpolates between the Benjamini--Schramm convergence of bounded degree graphs and the dense graph convergence developed by László Lovász and his coauthors. We prove that spectra of graphs, and also some important graph parameters such as numbers of colorings or matchings, behave well in convergent graph sequences. Special attention is given to graph… ▽ More We propose a notion of graph convergence that interpolates between the Benjamini--Schramm convergence of bounded degree graphs and the dense graph convergence developed by László Lovász and his coauthors. We prove that spectra of graphs, and also some important graph parameters such as numbers of colorings or matchings, behave well in convergent graph sequences. Special attention is given to graph sequences of large essential girth, for which asymptotics of coloring numbers are explicitly calculated. We also treat numbers of matchings in approximately regular graphs. We introduce tentative limit objects that we call graphonings because they are common generalizations of graphons and graphings. Special forms of these, called Hausdorff and Euclidean graphonings, involve geometric measure theory. We construct Euclidean graphonings that provide limits of hypercubes and of finite projective planes, and, more generally, of a wide class of regular sequences of large essential girth. For any convergent sequence of large essential girth, we construct weaker limit objects: an involution invariant probability measure on the sub-Markov space of consistent measure sequences (this is unique), or an acyclic reversible sub-Markov kernel on a probability space (non-unique). We also pose some open problems. △ Less

Submitted 26 December, 2017; v1 submitted 18 February, 2016; originally announced February 2016.

Comments: 41 pages. Minor errors have been corrected

On endomorphisms of the Einstein gyrogroup in arbitrary dimension

Authors: Péter E. Frenkel

Abstract: We determine the automorphisms and the continuous endomorphisms of the Einstein gyrogroup in arbitrary dimension. This generalizes a recent result of Lajos Molnár and Dániel Virosztek, who have determined the continuous endomorphisms in the three-dimensional case. We determine the automorphisms and the continuous endomorphisms of the Einstein gyrogroup in arbitrary dimension. This generalizes a recent result of Lajos Molnár and Dániel Virosztek, who have determined the continuous endomorphisms in the three-dimensional case. △ Less

Submitted 15 December, 2015; originally announced December 2015.

Comments: 4 pages

MSC Class: 83A05

Journal ref: J. Math. Phys. 57 (2016), no. 3, 032301, 3 pp

Chromatic roots and limits of dense graphs

Authors: Peter Csikvari, Peter E. Frenkel, Jan Hladky, Tamas Hubai

Abstract: In this short note we observe that recent results of Abert and Hubai and of Csikvari and Frenkel about Benjamini--Schramm continuity of the holomorphic moments of the roots of the chromatic polynomial extend to the theory of dense graph sequences. We offer a number of problems and conjectures motivated by this observation. In this short note we observe that recent results of Abert and Hubai and of Csikvari and Frenkel about Benjamini--Schramm continuity of the holomorphic moments of the roots of the chromatic polynomial extend to the theory of dense graph sequences. We offer a number of problems and conjectures motivated by this observation. △ Less

Submitted 4 November, 2016; v1 submitted 30 November, 2015; originally announced November 2015.

Comments: 9 pages

Journal ref: Discrete Math. 340 (2017), no. 5, 1129-1135

Polynomial identities for matrices over the Grassmann algebra

Authors: Péter E. Frenkel

Abstract: We determine minimal Cayley--Hamilton and Capelli identities for matrices over a Grassmann algebra of finite rank. For minimal standard identities, we give lower and upper bounds on the degree. These results improve on upper bounds given by L.\ Márki, J.\ Meyer, J.\ Szigeti, and L.\ van Wyk in a recent paper. We determine minimal Cayley--Hamilton and Capelli identities for matrices over a Grassmann algebra of finite rank. For minimal standard identities, we give lower and upper bounds on the degree. These results improve on upper bounds given by L.\ Márki, J.\ Meyer, J.\ Szigeti, and L.\ van Wyk in a recent paper. △ Less

Submitted 10 May, 2016; v1 submitted 17 November, 2015; originally announced November 2015.

Comments: 9 pages

Minkowski's inequality and sums of squares

Authors: Péter E. Frenkel, Péter Horváth

Abstract: Positive polynomials arising from Muirhead's inequality, from classical power mean and elementary symmetric mean inequalities and from Minkowski's inequality can be rewritten as sums of squares. Positive polynomials arising from Muirhead's inequality, from classical power mean and elementary symmetric mean inequalities and from Minkowski's inequality can be rewritten as sums of squares. △ Less

Submitted 14 January, 2013; v1 submitted 25 June, 2012; originally announced June 2012.

Comments: 8 pages

MSC Class: 26D05

Journal ref: Cent. Eur. J. Math. 12 (2014), no. 3, 510--516

Benjamini--Schramm continuity of root moments of graph polynomials

Authors: Péter Csikvári, Péter E. Frenkel

Abstract: Recently, M.\ Abért and T.\ Hubai studied the following problem. The chromatic measure of a finite simple graph is defined to be the uniform distribution on its chromatic roots. Abért and Hubai proved that for a Benjamini-Schramm convergent sequence of finite graphs, the chromatic measures converge in holomorphic moments. They also showed that the normalized log of the chromatic polynomial converg… ▽ More Recently, M.\ Abért and T.\ Hubai studied the following problem. The chromatic measure of a finite simple graph is defined to be the uniform distribution on its chromatic roots. Abért and Hubai proved that for a Benjamini-Schramm convergent sequence of finite graphs, the chromatic measures converge in holomorphic moments. They also showed that the normalized log of the chromatic polynomial converges to a harmonic real function outside a bounded disc. In this paper we generalize their work to a wide class of graph polynomials, namely, multiplicative graph polynomials of bounded exponential type. A special case of our results is that for any fixed complex number $v_0$ the measures arising from the Tutte polynomial $Z_{G_n}(z,v_0)$ converge in holomorphic moments if the sequence $(G_n)$ of finite graphs is Benjamini--Schramm convergent. This answers a question of Abért and Hubai in the affirmative. Even in the original case of the chromatic polynomial, our proof is considerably simpler. △ Less

Submitted 19 February, 2015; v1 submitted 2 April, 2012; originally announced April 2012.

Comments: 22 pages. Minor corrections made

MSC Class: 05C31 (Primary); 05C15; 05C40; 05C60 (Secondary)

Journal ref: European J. Combin. 52 (2016), part B, 302--320

On vector configurations that can be realized in the cone of positive matrices

Authors: Péter E. Frenkel, Mihály Weiner

Abstract: Let $v_1$,..., $v_n$ be $n$ vectors in an inner product space. Can we find a natural number $d$ and positive (semidefinite) complex matrices $A_1$,..., $A_n$ of size $d \times d$ such that ${\rm Tr}(A_kA_l)= <v_k, v_l>$ for all $k,l=1,..., n$? For such matrices to exist, one must have $<v_k, v_l> \geq 0$ for all $k,l=1,..., n$. We prove that if $n<5$ then this trivial necessary condition is also… ▽ More Let $v_1$,..., $v_n$ be $n$ vectors in an inner product space. Can we find a natural number $d$ and positive (semidefinite) complex matrices $A_1$,..., $A_n$ of size $d \times d$ such that ${\rm Tr}(A_kA_l)= <v_k, v_l>$ for all $k,l=1,..., n$? For such matrices to exist, one must have $<v_k, v_l> \geq 0$ for all $k,l=1,..., n$. We prove that if $n<5$ then this trivial necessary condition is also a sufficient one and find an appropriate example showing that from $n=5$ this is not so --- even if we allowed realizations by positive operators in a von Neumann algebra with a faithful normal tracial state. The fact that the first such example occurs at $n=5$ is similar to what one has in the well-investigated problem of positive factorization of positive (semidefinite) matrices. If the matrix $(<v_k, v_l>)$ has a positive factorization, then matrices $A_1$,..., $A_n$ as above exist. However, as we show by a large class of examples constructed with the help of the Clifford algebra, the converse implication is false. △ Less

Submitted 5 April, 2010; originally announced April 2010.

Comments: 8 pages

MSC Class: 15B48

Journal ref: Linear Alg. Appl. 459 (2014), 465--474

Remarks on the $α$--permanent

Authors: Péter E. Frenkel

Abstract: We recall Vere-Jones's definition of the $α$--permanent and describe the connection between the (1/2)--permanent and the hafnian. We establish expansion formulae for the $α$--permanent in terms of partitions of the index set, and we use these to prove Lieb-type inequalities for the $\pmα$--permanent of a positive semi-definite Hermitian $n\times n$ matrix and the $α/2$--permanent of a positive s… ▽ More We recall Vere-Jones's definition of the $α$--permanent and describe the connection between the (1/2)--permanent and the hafnian. We establish expansion formulae for the $α$--permanent in terms of partitions of the index set, and we use these to prove Lieb-type inequalities for the $\pmα$--permanent of a positive semi-definite Hermitian $n\times n$ matrix and the $α/2$--permanent of a positive semi-definite real symmetric $n\times n$ matrix if $α$ is a nonnegative integer or $α\ge n-1$. We are unable to settle Shirai's nonnegativity conjecture for $α$--permanents when $α\ge 1$, but we verify it up to the $5\times 5$ case, in addition to recovering and refining some of Shirai's partial results by purely combinatorial proofs. △ Less

Submitted 5 December, 2009; originally announced December 2009.

Comments: 9 pages

MSC Class: 15A15

Journal ref: Math. Res. Lett. 17 (2010), no. 4, 795--802

Pfaffians, hafnians and products of real linear functionals

Authors: Péter E. Frenkel

Abstract: We prove pfaffian and hafnian versions of Lieb's inequalities on determinants and permanents of positive semi-definite matrices. We use the hafnian inequality to improve the lower bound of Révész and Sarantopoulos on the norm of a product of linear functionals on a real Euclidean space (this subject is sometimes called the `real linear polarization constant' problem). We prove pfaffian and hafnian versions of Lieb's inequalities on determinants and permanents of positive semi-definite matrices. We use the hafnian inequality to improve the lower bound of Révész and Sarantopoulos on the norm of a product of linear functionals on a real Euclidean space (this subject is sometimes called the `real linear polarization constant' problem). △ Less

Submitted 26 February, 2008; v1 submitted 2 April, 2007; originally announced April 2007.

Comments: 10 pages

MSC Class: 46C05; 15A15

Journal ref: Math. Res. Lett. 15 (2008), no. 2, 351--358

Character formulae for classical groups

Authors: P. E. Frenkel

Abstract: We give formulae relating the value of an irreducible character of a classical group at a matrix to entries of powers of the matrix. This yields a far-reaching generalization of a result of J. L. Cisneros-Molina concerning the $GL_2$ case. We give formulae relating the value of an irreducible character of a classical group at a matrix to entries of powers of the matrix. This yields a far-reaching generalization of a result of J. L. Cisneros-Molina concerning the $GL_2$ case. △ Less

Submitted 8 November, 2005; originally announced November 2005.

Comments: 8 pages

MSC Class: 20G05

Journal ref: Cent. Eur. J. Math. 4 (2006), no. 2, 242--249 (electronic)

Simple proof of Chebotarev's theorem on roots of unity

Authors: P. E. Frenkel

Abstract: We give a simple proof of Chebotarev's theorem: Let $p$ be a prime and $ω$ a primitive $p$th root of unity. Then all minors of the matrix $(ω^{ij})_{i,j=0}^{p-1}$ are non-zero. We give a simple proof of Chebotarev's theorem: Let $p$ be a prime and $ω$ a primitive $p$th root of unity. Then all minors of the matrix $(ω^{ij})_{i,j=0}^{p-1}$ are non-zero. △ Less

Submitted 1 July, 2004; v1 submitted 22 December, 2003; originally announced December 2003.

Comments: 3 pages. References added

MSC Class: 11T22

Mod 2 indecomposable orthogonal invariants

Authors: M. Domokos, P. E. Frenkel

Abstract: Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the $m$-fold direct sum $k^n \oplus...\oplus k^n$ of the standard vector representation. It is proved for O(n) $(n\geq 2)$ and for SO(n) $(n\geq 3)$ that there exist… ▽ More Over an algebraically closed base field $k$ of characteristic 2, the ring $R^G$ of invariants is studied, $G$ being the orthogonal group O(n) or the special orthogonal group SO(n) and acting naturally on the coordinate ring $R$ of the $m$-fold direct sum $k^n \oplus...\oplus k^n$ of the standard vector representation. It is proved for O(n) $(n\geq 2)$ and for SO(n) $(n\geq 3)$ that there exist $m$--linear invariants with $m$ arbitrarily large that are indecomposable (i. e., not expressible as polynomials in invariants of lower degree). In fact, they are explicitly constructed for all possible values of $m$. Indecomposability of corresponding invariants over $\mathbb Z$ immediately follows. The constructions rely on analysing the Pfaffian of the skew-symmetric matrix whose entries above the diagonal are the scalar products of the vector variables. △ Less

Submitted 2 September, 2004; v1 submitted 2 October, 2003; originally announced October 2003.

Comments: 9 pages. Theorem 6 stated and proved in strenghtened form. To appear in Advances in Mathematics

MSC Class: 13A50; 15A72; 20G05

Journal ref: Adv. Math. 192 (2005), no. 1, 209--217

On orthogonal invariants in characteristic 2

Authors: M. Domokos, P. E. Frenkel

Abstract: Working over an algebraically closed base field $k$ of characteristic 2, the ring of invariants $R^G$ is studied, where $G$ is the orthogonal group O(n) or the special orthogonal group SO(n), acting naturally on the coordinate ring $R$ of the $m$-fold direct sum $k^n \oplus...\oplus k^n$ of the standard vector representation. It is proved for O(2), $O(3)=SO(3)$, SO(4), and O(4), that there exist… ▽ More Working over an algebraically closed base field $k$ of characteristic 2, the ring of invariants $R^G$ is studied, where $G$ is the orthogonal group O(n) or the special orthogonal group SO(n), acting naturally on the coordinate ring $R$ of the $m$-fold direct sum $k^n \oplus...\oplus k^n$ of the standard vector representation. It is proved for O(2), $O(3)=SO(3)$, SO(4), and O(4), that there exists an $m$-linear invariant with $m$ arbitrarily large, which is not expressible as a polynomial of invariants of lower degree. This is in sharp contrast with the uniform description of the ring of invariants valid in all other characteristics, and supports the conjecture that the same phenomena occur for all $n$. For general even $n$, new O(n)-invariants are constructed, which are not expressible as polynomials of the quadratic invariants. In contrast with these results, it is shown that rational invariants have a uniform description valid in all characteristics. Similarly, if $m \leq n$, then $R^O(n)$ is generated by the obvious invariants. For all $n$, the algebra $R^G$ is a finitely generated module over the subalgebra generated by the quadratic invariants, and for odd $n$, the square of any SO(n)-invariant is a polynomial of the quadratic invariants. Finally we mention that for even $n$, an $n$-linear SO(n)-invariant is given, which distinguishes between SO(n) and O(n) (just like the determinant in all characteristics different from 2). △ Less

Submitted 13 September, 2003; v1 submitted 9 March, 2003; originally announced March 2003.

Comments: 26 pages. Results of Section 4.4 extended. To be published in the Journal of Algebra

MSC Class: 13A50; 15A72; 20G05

Journal ref: J. Algebra 274 (2004), no. 2, 662--688

Fixed point data of finite groups acting on 3-manifolds

Authors: Peter E. Frenkel

Abstract: We consider fully effective orientation-preserving smooth actions of a given finite group G on smooth, closed, oriented 3-manifolds M. We investigate the relations that necessarily hold between the numbers of fixed points of various non-cyclic subgroups. In Section 2, we show that all such relations are in fact equations mod 2, and we explain how the number of independent equations yields inform… ▽ More We consider fully effective orientation-preserving smooth actions of a given finite group G on smooth, closed, oriented 3-manifolds M. We investigate the relations that necessarily hold between the numbers of fixed points of various non-cyclic subgroups. In Section 2, we show that all such relations are in fact equations mod 2, and we explain how the number of independent equations yields information concerning low-dimensional equivariant cobordism groups. Moreover, we restate a theorem of A. Szucs asserting that under the conditions imposed on a smooth action of G on M as above, the number of G-orbits of points x in M with non-cyclic stabilizer G_x is even, and we prove the result by using arguments of G. Moussong. In Sections 3 and 4, we determine all the equations for non-cyclic subgroups G of SO(3). △ Less

Submitted 26 August, 2003; v1 submitted 15 January, 2003; originally announced January 2003.

Comments: Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol3/agt-3-24.abs.html

MSC Class: 57S17 (Primary); 57R85 (Secondary)

Journal ref: Algebr. Geom. Topol. 3 (2003) 709-718