A doubling construction for Williamson matrices

Curtis Bright

DOI: https://doi.org/10.48550/arXiv.1803.01480

2018-03-05

Combinatorics

Abstract:A construction that generates Williamson matrices of order $2n$ from Williamson matrices of odd order $n$ is presented. The construction is completely constructive and only uses three simple sequence operations.

What problem does this paper attempt to address?

On Simultaneous Symplectic Diagonalization in the sense of Williamson's Theorem

Rudra Kamat

2024-04-30

Abstract:Williamson's theorem is well known for symmetric matrices. In this paper, we state and re-derive some of the cases of Williamson's theorem for symmetric positive-semi definite matrices and symmetric matrices having negative index 1, due to Hörmander. We prove theorems that guarantee conditions under which two symmetric positive-definite matrices can be simultaneously diagonalized in the sense of Williamson's theorem and their corollaries. Finally, we provide an application of this result to physical systems and another connecting the decompositions for the degenerate and non-degenerate cases, involving phase space constraints that we later apply to phase space cylinders and ellipsoids via symplectic capacities.

Rings and Algebras,Mathematical Physics,Symplectic Geometry,Quantum Physics
A unifying construction of semifields of order $p^{2m}$

Lukas Kölsch

2024-05-15

Abstract:In this article, we present two new constructions for semifields of order $p^{2m}$. Together, the constructions unify and generalize around a dozen distinct semifield constructions, including both the oldest known construction by Dickson and the largest known construction in odd characteristic by Taniguchi. The constructions also provably yield many new semifields. We give precise conditions when the new semifields we find are equivalent and count precisely how many new inequivalent semifields we construct.

Combinatorics,Rings and Algebras
Counting toroidal binary arrays, II

S. N. Ethier,Jiyeon Lee

DOI: https://doi.org/10.48550/arXiv.1502.03792

2015-02-13

Abstract:We derive formulas for $(i)$ the number of toroidal $n\times n$ binary arrays, allowing rotation of rows and/or columns as well as matrix transposition, and $(ii)$ the number of toroidal $n\times n$ binary arrays, allowing rotation and/or reflection of rows and/or columns as well as matrix transposition.

Combinatorics
Matrix divisibility sequences

Gunther Cornelissen,Jonathan Reynolds

DOI: https://doi.org/10.48550/arXiv.1107.2203

2011-09-04

Abstract:We show that many existing divisibility sequences can be seen as sequences of determinants of matrix divisibility sequences, which arise naturally as Jacobian matrices associated to groups of maps on affine spaces.

Number Theory
Constructions of 2-resilient rotation symmetric Boolean functions with odd number of variables

Jiao Du,Lin Li,Shaojing Fu,Longjiang Qu,Chao Li

DOI: https://doi.org/10.1016/j.tcs.2024.114429

IF: 1.002

2024-04-01

Theoretical Computer Science

Abstract:In this paper, a new method for constructing 2-resilient rotation symmetric Boolean functions with odd number of variables is presented. Based on an equivalent characterization of this class of functions and the relation between the orbit matrices and their complements, a system of equations about 2-tuples distribution matrix is established. Then the constructions of some 2-resilient rotation symmetric Boolean functions with odd number of variables can be converted into the solutions of the system of equations. We also give a sufficient condition for the constructed functions to have the maximum algebraic degree. Moreover, we provide a lower bound on the number of nonlinear 2-resilient rotation symmetric Boolean functions with odd number of variables. Particularly, the lower bound is 152 for seven number of variables.

computer science, theory & methods
On the impossibility of certain $({n^2+n+k}_{n+1})$ configurations

Jackson Philbrook,Benjamin Peet

2024-08-27

Abstract:This paper investigates the impossibility of certain $({n^2+n+k}_{n+1})$ configurations. Firstly, for $k=2$, the result of \cite{gropp1992non} that $\frac{n^2+n}{2}$ is even and $n+1$ is a perfect square or $\frac{n^2+n}{2}$ is odd and $n-1$ is a perfect square is reproved using the incidence matrix $N$ and analysing the form of $N^TN$. Then, for all $k$, configurations where paralellism is a transitive property are considered. It is then analogously established that if $n\equiv0$ or $n\equiv k-1$ mod $k$ for $k$ even, then $\frac{n^2+n}{k}$ is even and $n+1$ is a perfect square or $\frac{n^2+n}{k}$ is odd and $n-(k-1)$ is a perfect square. Finally, the case $k=3$ is investigated in full generality.

Combinatorics
A note on the Sundaram--Stanley bijection (or, Viennot for up-down tableaux)

Elijah Bodish,Ben Elias,David E. V. Rose,Logan Tatham

DOI: https://doi.org/10.48550/arXiv.2108.11528

2021-08-26

Combinatorics

Abstract:We give a direct proof of a result of Sundaram and Stanley: that the dimension of the space of invariant vectors in a $2k$-fold tensor product of the vector representation of $\mathfrak{sp}_{2n}$ equals the number of $(n+1)$-avoiding matchings of $2k$ points. This can be viewed as an extension of Schensted's theorem on longest decreasing subsequences. Our main tool is an extension of Viennot's geometric construction to the setting of up-down tableaux.
On the Waring rank of binary forms: The binomial formula and a dihedral cover of rank two forms

Laura Brustenga i Moncusí,Shreedevi K. Masuti

DOI: https://doi.org/10.48550/arXiv.1901.08320

2019-01-24

Abstract:Waring problem for forms is important and classical in mathematics. It has been widely investigated because of its wide applications in several areas. In this paper, we consider the Waring problem for binary forms with complex coefficients. Firstly, we give an explicit formula for the Waring rank of any binary binomial and several examples to illustrating it. Secondly, we prove that, up to scalar multiplication, there are exactly $\binom{d-1}{2}$ binary forms of degree $d$ with Waring rank two and multiple of three fixed distinct linear forms.

Algebraic Geometry
Freiman–Ruzsa-type Theory for Small Doubling Constant

Hansheng Diao

DOI: https://doi.org/10.1017/s0305004108001898

2009-01-01

Mathematical Proceedings of the Cambridge Philosophical Society

Abstract:AbstractIn this paper, we study the linear structure of sets A ⊂ $\mathbb{F}_2^n$ with doubling constant σ(A) < 2, where σ(A):=|A+A|/|A|. In particular, we show that A is contained in a small affine subspace. We also show that A can be covered by at most four shifts of some subspace V with |V| ≤ |A|. Finally, we classify all binary sets with small doubling constant.
Two constructions of quaternary Legendre pairs of even length

Jonathan Jedwab,Thomas Pender

2024-08-16

Abstract:We give the first general constructions of even length quaternary Legendre pairs: there is a quaternary Legendre pair of length $(q-1)/2$ for every prime power $q$ congruent to $1$ modulo $4$, and there is a quaternary Legendre pair of length $2p$ for every odd prime $p$ for which $2p-1$ is a prime power.

Combinatorics
Odd quadratic orders and real $j$-invariants

Yuri G. Zarhin

2024-07-10

Abstract:Let $O$ be an order of odd discriminant $D$ in an imaginary quadratic field $K$. Let $Cl(O)$ be the group of proper $O$-ideals and $Cl(O)[2]$ the kernel of multiplication by $2$ in $Cl(O)$. We describe explicitly the group $Cl(O)[2]$. In particular, we prove that its order is $2^{s_D-1}$ where $s_D$ is the number of prime divisors of $D$.

Number Theory,Algebraic Geometry
Block perturbation of symplectic matrices in Williamson's theorem

Gajendra Babu,Hemant K. Mishra

DOI: https://doi.org/10.4153/S0008439523000620

2023-08-17

Abstract:Williamson's theorem states that for any $2n \times 2n$ real positive definite matrix $A$, there exists a $2n \times 2n$ real symplectic matrix $S$ such that $S^TAS=D \oplus D$, where $D$ is an $n\times n$ diagonal matrix with positive diagonal entries which are known as the symplectic eigenvalues of $A$. Let $H$ be any $2n \times 2n$ real symmetric matrix such that the perturbed matrix $A+H$ is also positive definite. In this paper, we show that any symplectic matrix $\tilde{S}$ diagonalizing $A+H$ in Williamson's theorem is of the form $\tilde{S}=S Q+\mathcal{O}(\|H\|)$, where $Q$ is a $2n \times 2n$ real symplectic as well as orthogonal matrix. Moreover, $Q$ is in $\textit{symplectic block diagonal}$ form with the block sizes given by twice the multiplicities of the symplectic eigenvalues of $A$. Consequently, we show that $\tilde{S}$ and $S$ can be chosen so that $\|\tilde{S}-S\|=\mathcal{O}(\|H\|)$. Our results hold even if $A$ has repeated symplectic eigenvalues. This generalizes the stability result of symplectic matrices for non-repeated symplectic eigenvalues given by Idel, Gaona, and Wolf [$\textit{Linear Algebra Appl., 525:45-58, 2017}$].

Functional Analysis,Mathematical Physics,Quantum Physics
Extension of Paley Construction for Hadamard Matrix

Shipra Kumari,Hrishikesh Mahato

DOI: https://doi.org/10.48550/arXiv.1912.10755

2019-12-23

Combinatorics

Abstract:We have extended the Paley constructions for Hadamard matrices and obtained some series of Hadamard matrices. Especially Paley construction-II is applicable for odd prime power q is congruent to 1(mod 4) however our method is applicable for any odd prime power. Some of which are non-isomorphic to the matrices obtained by standard Paley constructions, Sylvester construction, Williamson construction or combination of either of these constructions with Sylvester construction. In fact we have used the conference matrix of order prime power q in some different manner which is applicable for any odd prime power q or product of twin primes.
Laws of inertia in higher degree binary forms

Bruce Reznick

DOI: https://doi.org/10.48550/arXiv.0906.5559

2009-06-30

Abstract:We consider representations of real forms of even degree as a linear combination of powers of real linear forms, counting the number of positive and negative coefficients. We show that the natural generalization of Sylvester's Law of Inertia holds for binary quartics, but fails for binary sextics.

Number Theory,Algebraic Geometry
$2$-Modular Matrices

James Oxley,Zach Walsh

DOI: https://doi.org/10.1137/21M1419131

2024-05-02

Abstract:A rank-$r$ integer matrix $A$ is $\Delta$-modular if the determinant of each $r \times r$ submatrix has absolute value at most $\Delta$. The class of $1$-modular, or unimodular, matrices is of fundamental significance in both integer programming theory and matroid theory. A 1957 result of Heller shows that the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ unimodular matrix is ${r + 1 \choose 2}$. We prove that, for each sufficiently large integer $r$, the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ $2$-modular matrix is ${r + 2 \choose 2} - 2$.

Combinatorics
Balancing permuted copies of multigraphs and integer matrices

Coen del Valle,Peter J. Dukes

2023-06-02

Abstract:Given a square matrix $A$ over the integers, we consider the $\mathbb{Z}$-module $M_A$ generated by the set of all matrices that are permutation-similar to $A$. Motivated by analogous problems on signed graph decompositions and block designs, we are interested in the completely symmetric matrices $a I + b J$ belonging to $M_A$. We give a relatively fast method to compute a generator for such matrices, avoiding the need for a very large canonical form over $\mathbb{Z}$. We consider several special cases in detail. In particular, the problem for symmetric matrices answers a question of Cameron and Cioabǎ on determining the eventual period for integers $\lambda$ such that the $\lambda$-fold complete graph $\lambda K_n$ has an edge-decomposition into a given (multi)graph.

Combinatorics
On Double-One Matrices and Double-Zero Matrices

Hung-Min Sun,Tzonelih Hwang

DOI: https://doi.org/10.1080/03081089208818121

1992-01-01

Abstract:We investigate two special classes of matrices over GF(2) with certain interesting properties. These properties can be applied to construct nonsingular matrix pairs efficiently and thus provide a solution to the long-key problems of McEIiece's public-key cryptosystem.
On the Construction of Doubly Even Order Magic Squares

Grasha Jacob,A. Murugan

DOI: https://doi.org/10.48550/arXiv.1402.3273

2014-02-12

Abstract:Magic squares have been an enthralling topic in mathematics for centuries. They are formed by filling in all the cells of a square matrix with the numbers starting from one so that the sum of all rows, columns, and diagonals is the same. Magic squares have applications in entertainment, music and even cryptography. This paper focuses on a simple and easy method to construct doubly even magic squares.

History and Overview
Even-Odd partition identities of Göellnitz-Gordon type

Pooneh Afsharijoo

2024-03-15

Abstract:In this paper, we prove a theorem which adds a new member to the famous Göellnitz-Gordon identities. We construct a "new system of recurrence formulas" in order to prove it.

Combinatorics,Commutative Algebra
A database of constructions of Hadamard matrices

Matteo Cati,Dmitrii V. Pasechnik

2024-11-28

Abstract:Hadamard matrices of order $n$ are conjectured to exist whenever $n$ is $1$, $2$, or a multiple of $4$; a similar conjecture exists for skew Hadamard matrices. We provide constructions covering orders $\le 1208$ of all known Hadamard and skew Hadamard matrices in the open-source software SageMath. This allowed us to verify the correctness of results given in the literature. Within this range, just one order, $292$, of a skew Hadamard matrix claimed to have a known construction, required a fix. We also produce the up to date tables, for $n \le 2999$ (resp. $n\le 999$ for skew case), of the minimum exponents $m$ such that a (skew) Hadamard matrix of order $2^m n$ is known, improving over 100 entries in the previously published sources. We explain how tables' entries are related to Riesel numbers. As a by-product of the latter, we show that the Paley constructions of (skew-)Hadamard matrices do not work for the order $2^m 509203$, for any $m$.

Combinatorics,Discrete Mathematics

A doubling construction for Williamson matrices

On Simultaneous Symplectic Diagonalization in the sense of Williamson's Theorem

A unifying construction of semifields of order $p^{2m}$

Counting toroidal binary arrays, II

Matrix divisibility sequences

Constructions of 2-resilient rotation symmetric Boolean functions with odd number of variables

On the impossibility of certain $({n^2+n+k}_{n+1})$ configurations

A note on the Sundaram--Stanley bijection (or, Viennot for up-down tableaux)

On the Waring rank of binary forms: The binomial formula and a dihedral cover of rank two forms

Freiman–Ruzsa-type Theory for Small Doubling Constant

Two constructions of quaternary Legendre pairs of even length

Odd quadratic orders and real $j$-invariants

Block perturbation of symplectic matrices in Williamson's theorem

Extension of Paley Construction for Hadamard Matrix

Laws of inertia in higher degree binary forms

$2$-Modular Matrices

Balancing permuted copies of multigraphs and integer matrices

On Double-One Matrices and Double-Zero Matrices

On the Construction of Doubly Even Order Magic Squares

Even-Odd partition identities of Göellnitz-Gordon type

A database of constructions of Hadamard matrices