-
An algorithm for constructing and classifying the space of small integer weighing matrices
Authors:
Radel Ben-Av,
Giora Dula,
Assaf Goldberger,
Yoseph Strassler
Abstract:
In this paper we describe an algorithm for generating all the possible $PIW(m,n,k)$ - integer $m\times n$ Weighing matrices of weight $k$ up to Hadamard equivalence. Our method is efficient on a personal computer for small size matrices, up to $m\le n=12$, and $k\le 50$. As a by product we also improved the \textit{\textbf{nsoks}} \cite{riel2006nsoks} algorithm to find all possible representations…
▽ More
In this paper we describe an algorithm for generating all the possible $PIW(m,n,k)$ - integer $m\times n$ Weighing matrices of weight $k$ up to Hadamard equivalence. Our method is efficient on a personal computer for small size matrices, up to $m\le n=12$, and $k\le 50$. As a by product we also improved the \textit{\textbf{nsoks}} \cite{riel2006nsoks} algorithm to find all possible representations of an integer $k$ as a sum of $n$ integer squares.
We have implemented our algorithm in \texttt{Sagemath} and as an example we provide a complete classification for \ $n=m=7$ and $k=25$. Our list of $IW(7,25)$ can serve as a step towards finding the open classical weighing matrix $W(35,25)$.
△ Less
Submitted 19 April, 2023;
originally announced April 2023.
-
Phase transitions for frame potentials]{Phase transitions for the minimizers of the $p^{th}$ frame potentials in $\mathbb{R}^2$
Authors:
Radel Ben Av,
Xuemei Chen,
Assaf Goldberger,
Shujie Kang,
Kasso A. Okoudjou
Abstract:
Given $N$ points $X=\{x_k\}_{k=1}^N$ on the unit circle in $\mathbb{R}^2$ and a number $0\leq p \leq \infty$ we investigate the minimizers of the functional $\sum_{k, \ell =1}^N |\langle x_k, x_\ell\rangle|^p$. While it is known that each of these minimizers is a spanning set for $\mathbb{R}^2$, less is known about their number as a function of $p$ and $N$ especially for relatively small $p$. In t…
▽ More
Given $N$ points $X=\{x_k\}_{k=1}^N$ on the unit circle in $\mathbb{R}^2$ and a number $0\leq p \leq \infty$ we investigate the minimizers of the functional $\sum_{k, \ell =1}^N |\langle x_k, x_\ell\rangle|^p$. While it is known that each of these minimizers is a spanning set for $\mathbb{R}^2$, less is known about their number as a function of $p$ and $N$ especially for relatively small $p$. In this paper we show that there is unique minimum for this functional for all $p\leq \log 3/\log 2$ and all odd $N\geq 3$. In addition, we present some numerical results suggesting the emergence of a phase transition phenomenon for these minimizers. More specifically, for $N\geq 3$ odd, there exists a sequence of number of points $\log 3/\log 2=p_1< p_2< \cdots < p_N\leq 2$ so that a unique (up to some isometries) minimizer exists on each sub-intervals $(p_k, p_{k+1})$. %In addition we conjecture that $\lim_{k\to \infty}p_{2k+1}=2$.
△ Less
Submitted 8 December, 2022;
originally announced December 2022.
-
Towards a classification of incomplete Gabor POVMs in $\mathbb{C}^d$
Authors:
Assaf Goldberger,
Shujie Kang,
Kasso A. Okoudjou
Abstract:
Every (full) finite Gabor system generated by a unit-norm vector $g\in \mathbb{C}^d$ is a finite unit-norm tight frame (FUNTF), and can thus be associated with a (Gabor) positive operator valued measure (POVM). Such a POVM is informationally complete if the $d^2$ corresponding rank one matrices form a basis for the space of $d\times d$ matrices. A sufficient condition for this to happen is that th…
▽ More
Every (full) finite Gabor system generated by a unit-norm vector $g\in \mathbb{C}^d$ is a finite unit-norm tight frame (FUNTF), and can thus be associated with a (Gabor) positive operator valued measure (POVM). Such a POVM is informationally complete if the $d^2$ corresponding rank one matrices form a basis for the space of $d\times d$ matrices. A sufficient condition for this to happen is that the POVM is symmetric, which is equivalent to the fact that the associated Gabor frame is an equiangular tight frame (ETF). The existence of Gabor ETF is an important special case of the Zauner conjecture. It is known that generically all Gabor FUNTFs lead to informationally complete POVMs. In this paper, we initiate a classification of non-complete Gabor POVMs. In the process we establish some seemingly simple facts about the eigenvalues of the Gram matrix of the rank one matrices generated by a finite Gabor frame. We also use these results to construct some sets of $d^2$ unit vectors in $\mathbb{C}^d$ with a relatively smaller number of distinct inner products.
△ Less
Submitted 2 June, 2021;
originally announced June 2021.
-
Formal Orthogonal Pairs via Monomial Representations and Cohomology
Authors:
Assaf Goldberger,
Ilias Kotsireas
Abstract:
A Formal Orthogonal Pair is a pair $(A,B)$ of symbolic rectangular matrices such that $AB^T=0$. It can be applied for the construction of Hadamard and Weighing matrices. In this paper we introduce a systematic way for constructing such pairs. Our method involves Representation Theory and Group Cohomology. The orthogonality property is a consequence of non-vanishing maps between certain cohomology…
▽ More
A Formal Orthogonal Pair is a pair $(A,B)$ of symbolic rectangular matrices such that $AB^T=0$. It can be applied for the construction of Hadamard and Weighing matrices. In this paper we introduce a systematic way for constructing such pairs. Our method involves Representation Theory and Group Cohomology. The orthogonality property is a consequence of non-vanishing maps between certain cohomology groups. This construction has strong connections to the theory of Association Schemes and (weighted) Coherent Configurations. Our techniques are also capable for producing (anti-) amicable pairs. A handful of examples are given.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
Cohomology-Developed Matrices -- constructing families of weighing matrices and automorphism actions
Authors:
Assaf Goldberger
Abstract:
The aim of this work is to construct families of weighing matrices via their automorphism group action. This action is determined from the $0,1,2$-cohomology groups of the underlying abstract group. As a consequence, some old and new families of weighing matrices are constructed. These include the Paley Conference, the Projective-Space, the Grassmannian, and the Flag-Variety weighing matrices. We…
▽ More
The aim of this work is to construct families of weighing matrices via their automorphism group action. This action is determined from the $0,1,2$-cohomology groups of the underlying abstract group. As a consequence, some old and new families of weighing matrices are constructed. These include the Paley Conference, the Projective-Space, the Grassmannian, and the Flag-Variety weighing matrices. We develop a general theory relying on low dimensional group-cohomology for constructing automorphism group actions, and in turn obtain structured matrices that we call \emph{Cohomology-Developed matrices}. This "Cohomology-Development" generalizes the Cocyclic and Group Developments. The Algebraic structure of modules of Cohomology-Developed matrices is discussed, and an orthogonality result is deduced. We also use this algebraic structure to define the notion of \emph{quasiproducts}, which is a generalization of the Kronecker-product.
△ Less
Submitted 18 August, 2023; v1 submitted 1 March, 2019;
originally announced March 2019.
-
Energy Minimization in $CP^n$: Some Numerical and Analytical Results
Authors:
Radel Ben Av,
Assaf Goldberger,
Giora Dula,
Yossi Strassler
Abstract:
We study the problem of minimizing the energy function $M^p(m,n) := \min \sum_{1\le i<j\le m} |\langle v_i, v_j\rangle|^p$, where $v_i$ are unit vectors in $F^n$, $F=\mathbb R$ or $\mathbb C$, $m,n,p>0$ are integers and $p$ is even. This problem has implications on finding nice polyhedra in projective spaces, and on quantum random access codes. We conduct experimental search in the complex case wh…
▽ More
We study the problem of minimizing the energy function $M^p(m,n) := \min \sum_{1\le i<j\le m} |\langle v_i, v_j\rangle|^p$, where $v_i$ are unit vectors in $F^n$, $F=\mathbb R$ or $\mathbb C$, $m,n,p>0$ are integers and $p$ is even. This problem has implications on finding nice polyhedra in projective spaces, and on quantum random access codes. We conduct experimental search in the complex case which suggests nice patterns on the minimum values. In some cases($p=2$ and partially $n=2$) we supply analytical proofs and give full descriptions of the minimal configurations. We also show that as $m\to \infty$, nearly equidistributed configurations points nearly give the minimal values we expect from our patterns.
△ Less
Submitted 10 October, 2018;
originally announced October 2018.
-
On the finite geometry of $W(23,16)$
Authors:
Assaf Goldberger
Abstract:
We study the local geometry of the zero pattern of a weighing matrix $W(23,16)$. The geometry consists of $23$ lines and $23$ points where each line contains $7$ points. The incidence rules are that every two lines intersect in an odd number of points, and the dual statement holds as well. We show that more than $50\%$ of the pairs of lines must intersect at a single point, and construct a regular…
▽ More
We study the local geometry of the zero pattern of a weighing matrix $W(23,16)$. The geometry consists of $23$ lines and $23$ points where each line contains $7$ points. The incidence rules are that every two lines intersect in an odd number of points, and the dual statement holds as well. We show that more than $50\%$ of the pairs of lines must intersect at a single point, and construct a regular weighted graph out of this geometry. This might indicate that a weighing matrix $W(23,16)$ does not exist.
△ Less
Submitted 8 July, 2015;
originally announced July 2015.
-
Diagonals of real symmetric matrices of given spectra as a measure space
Authors:
Avital Frumkin,
Assaf Goldberger
Abstract:
The set of diagonals of real symmetric matrices of given non negative spectrum is endowed with a measure which is obtained by the push forward of the Haar measure of the real orthogonal group.\\ We prove that the Radon Nicodym derivation of this measure with respect to the relative Euclidean measure is approximated by the coefficients of a sequence of zonal sphere polynomials corresponding with th…
▽ More
The set of diagonals of real symmetric matrices of given non negative spectrum is endowed with a measure which is obtained by the push forward of the Haar measure of the real orthogonal group.\\ We prove that the Radon Nicodym derivation of this measure with respect to the relative Euclidean measure is approximated by the coefficients of a sequence of zonal sphere polynomials corresponding with the given spectrum.
There is a striking similarity between the role of the zonal sphere polynomials in the orthogonal case, and that of the Schur function in the Hermitian case.\\ Following this we obtain a combinatorial approximation for the probability of real symmetric matrix of a given spectrum to appear as the sum of two real symmetric matrices, each of a given spectrum. In addition we obtain a real orthogonal analogue to the Zuber Itzykson Harish Chandra integration formula.
△ Less
Submitted 24 May, 2015;
originally announced May 2015.
