-
Chromatic polynomials of signed graphs and dominating-vertex deletion formulae
Authors:
Gary R. W. Greaves,
Jeven Syatriadi,
Charissa I. Utomo
Abstract:
We exhibit non-switching-isomorphic signed graphs that share a common underlying graph and common chromatic polynomials, thereby answering a question posed by Zaslavsky. For various joins of all-positive or all-negative signed complete graphs, we derive a closed-form expression for their chromatic polynomials. As a generalisation of the chromatic polynomials for a signed graph, we introduce a new…
▽ More
We exhibit non-switching-isomorphic signed graphs that share a common underlying graph and common chromatic polynomials, thereby answering a question posed by Zaslavsky. For various joins of all-positive or all-negative signed complete graphs, we derive a closed-form expression for their chromatic polynomials. As a generalisation of the chromatic polynomials for a signed graph, we introduce a new pair of bivariate chromatic polynomials. We establish recursive dominating-vertex deletion formulae for these bivariate chromatic polynomials. Finally, we show that for certain families of signed threshold graphs, isomorphism is equivalent to the equality of bivariate chromatic polynomials.
△ Less
Submitted 30 June, 2024;
originally announced July 2024.
-
The coherent rank of a graph with three eigenvalues
Authors:
Gary Greaves,
Jose Yip
Abstract:
We characterise graphs that have three distinct eigenvalues and coherent ranks 8 and 9, linking the former to certain symmetric 2-designs and the latter to specific quasi-symmetric 2-designs. This characterisation leads to the discovery of a new biregular graph with three distinct eigenvalues. Additionally, we demonstrate that the coherent rank of a triregular graph with three distinct eigenvalues…
▽ More
We characterise graphs that have three distinct eigenvalues and coherent ranks 8 and 9, linking the former to certain symmetric 2-designs and the latter to specific quasi-symmetric 2-designs. This characterisation leads to the discovery of a new biregular graph with three distinct eigenvalues. Additionally, we demonstrate that the coherent rank of a triregular graph with three distinct eigenvalues is at least 14. Finally, we introduce a conjecturally infinite family of biregular graphs with three distinct eigenvalues, obtained by switching the block graphs of orthogonal arrays.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Bootstrap** cascaded random matrix models: correlations in permutations of matrix products
Authors:
Niall Byrnes,
Gary R. W. Greaves,
Matthew R. Foreman
Abstract:
Random matrix theory is a useful tool in the study of the physics of multiple scattering systems, often striking a balance between computation speed and physical rigour. Propagation of waves through thick disordered media, as arises in for example optical scattering or electron transport, typically necessitates cascading of multiple random matrices drawn from an underlying ensemble for thin media,…
▽ More
Random matrix theory is a useful tool in the study of the physics of multiple scattering systems, often striking a balance between computation speed and physical rigour. Propagation of waves through thick disordered media, as arises in for example optical scattering or electron transport, typically necessitates cascading of multiple random matrices drawn from an underlying ensemble for thin media, greatly increasing computational burden. Here we propose a dual pool based bootstrap** approach to speed up statistical studies of scattering in thick random media. We examine how potential matrix reuse in a pool based approach can impact statistical estimates of population averages. Specifically, we discuss how both bias and additional variance in the sample mean estimator are introduced through bootstrap**. In the diffusive scattering regime, the extra estimator variance is shown to originate from samples in which cascaded transfer matrices are permuted matrix products. Through analysis of the combinatorics and cycle structure of permutations we quantify the resulting correlations. Proofs of several analytic formulae enumerating the frequency with which correlations of different strengths occur are derived. Extension to the ballistic regime is briefly considered.
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Constructions of $t$-designs from weighing matrices and walk-regular graphs
Authors:
Gary Greaves,
Sho Suda
Abstract:
We provide a method to construct $t$-designs from weighing matrices and walk-regular graphs.
One instance of our method can produce a $3$-design from any (symmetric or skew-symmetric) conference matrix, thereby providing a partial answer to a question of Gunderson and Semeraro JCTB 2017.
We explore variations of our method on some matrices that satisfy certain combinatorial restrictions.
In…
▽ More
We provide a method to construct $t$-designs from weighing matrices and walk-regular graphs.
One instance of our method can produce a $3$-design from any (symmetric or skew-symmetric) conference matrix, thereby providing a partial answer to a question of Gunderson and Semeraro JCTB 2017.
We explore variations of our method on some matrices that satisfy certain combinatorial restrictions.
In particular, we show that there exist various infinite families of partially balanced incomplete block designs with block size four on the binary Hamming schemes and the $3$-class association schemes attached to symmetric designs, and regular pairwise balanced designs with block sizes three and four.
△ Less
Submitted 27 February, 2024;
originally announced February 2024.
-
Irradiation of TiBe12 and CrBe12 with He+ ions and ex-situ transmission electron microscopy to investigate ion damage as a proxy for neutron irradiation damage in nuclear fusion
Authors:
Jo Sharp,
Viacheslav Kuksenko,
Ramil Gaisin,
Graeme Greaves,
Jonathan Hinks,
Pavel Vladimirov,
Stephen Donnelly
Abstract:
Ti and Cr beryllides are materials of potential importance as neutron multipliers for tritium breeding in nuclear fusion reactors. The n-to-2n transmutation reaction also produces tritium and helium, which form bubbles. Neutron irradiation from fusion plasma also introduces point defects. The effect on beryllides' microstructure is important for understanding their mechanical properties and evolut…
▽ More
Ti and Cr beryllides are materials of potential importance as neutron multipliers for tritium breeding in nuclear fusion reactors. The n-to-2n transmutation reaction also produces tritium and helium, which form bubbles. Neutron irradiation from fusion plasma also introduces point defects. The effect on beryllides' microstructure is important for understanding their mechanical properties and evolution in the fusion reactor environment. This study determines and describes the microstructural features that occur in TiBe12 and CrBe12 when He and fast-particle-induced point defects are introduced at fusion reactor neutron breeder relevant temperatures. Beryllide samples were implanted with 300kV He at temperatures between $387-900^{\circ}C$, sectioned down through the implantation surface with a focused ion beam post-irradiation, and the resulting microstructures examined using transmission electron microscopy, electron-dispersive spectroscopy (EDS) and precession diffraction map**. Nanometre bubbles grew in both TiBe12 and CrBe12 at $600^{\circ}C$; larger (100 nm and over) bubbles, some faceted, grew at $900^{\circ}C$. Some bubbles in CrBe12 were lined with Cr, some oxidised. TiBe12 developed planar faults, on $\{110\}$ planes at $600^{\circ}C$ and below but on $\{111\}$ at $900^{\circ}C$. Faults were preferentially associated with large bubbles. The displacement vectors of faults on the $\{110\}$ planes had some commonality with previous studies that found displacement vectors of families $R=\langle 011\rangle$ and $R= \langle 110\rangle$; the present study also found faults that matched neither previously found type. CrBe12 also developed planar faults with an appearance quite different from the typical striped appearance of planar stacking faults; their nature remains unknown. Oxide particles were found in both beryllides, most prominently in CrBe12.
△ Less
Submitted 19 June, 2023;
originally announced June 2023.
-
Radiation-resistant aluminium alloy for space missions in the extreme environment of the solar system
Authors:
Patrick D. Willenshofer,
Matheus A. Tunes,
Ho T. Vo,
Lukas Stemper,
Oliver Renk,
Graeme Greaves,
Peter J. Uggowitzer,
Stefan Pogatscher
Abstract:
Future human-based exploration of our solar system requires the invention of materials that can resist harsh environments. Age-hardenable aluminium alloys would be attractive candidates for structural components in long-distance spacecrafts, but their radiation resistance to solar energetic particles is insufficient. Common hardening phases dissolve and displacement damage occurs in the alloy matr…
▽ More
Future human-based exploration of our solar system requires the invention of materials that can resist harsh environments. Age-hardenable aluminium alloys would be attractive candidates for structural components in long-distance spacecrafts, but their radiation resistance to solar energetic particles is insufficient. Common hardening phases dissolve and displacement damage occurs in the alloy matrix, which strongly degrades properties. Here we present an alloy where hardening is achieved by T-phase, featuring a giant unit cell and highly-negative enthalpy of formation. The phase shows record radiation survivability and can stabilize an ultrafine-grained structure upon temperature and radiation in the alloy, therby successfully preventing displacement damage to occur. Such concept can be considered ideal for the next-generation space materials and the design of radiation resistant alloy.
△ Less
Submitted 12 October, 2022; v1 submitted 7 October, 2022;
originally announced October 2022.
-
Real equiangular lines in dimension 18 and the Jacobi identity for complementary subgraphs
Authors:
Gary R. W. Greaves,
Jeven Syatriadi
Abstract:
We show that the maximum cardinality of an equiangular line system in $\mathbb R^{18}$ is at most $59$. Our proof includes a novel application of the Jacobi identity for complementary subgraphs. In particular, we show that there does not exist a graph whose adjacency matrix has characteristic polynomial $(x-22)(x-2)^{42} (x+6)^{15} (x+8)^2$.
We show that the maximum cardinality of an equiangular line system in $\mathbb R^{18}$ is at most $59$. Our proof includes a novel application of the Jacobi identity for complementary subgraphs. In particular, we show that there does not exist a graph whose adjacency matrix has characteristic polynomial $(x-22)(x-2)^{42} (x+6)^{15} (x+8)^2$.
△ Less
Submitted 7 September, 2023; v1 submitted 9 June, 2022;
originally announced June 2022.
-
Signed $(0,2)$-graphs with few eigenvalues and a symmetric spectrum
Authors:
Gary R. W. Greaves,
Zoran Stanić
Abstract:
We investigate properties of signed graphs that have few distinct eigenvalues together with a symmetric spectrum. Our main contribution is to determine all signed $(0,2)$-graphs with vertex degree at most $6$ that have precisely two distinct eigenvalues $\pm λ$. Next, we consider to what extent induced subgraphs of signed graph with two distinct eigenvalues $\pm λ$ are determined by their spectra.…
▽ More
We investigate properties of signed graphs that have few distinct eigenvalues together with a symmetric spectrum. Our main contribution is to determine all signed $(0,2)$-graphs with vertex degree at most $6$ that have precisely two distinct eigenvalues $\pm λ$. Next, we consider to what extent induced subgraphs of signed graph with two distinct eigenvalues $\pm λ$ are determined by their spectra. Lastly, we classify signed $(0,2)$-graphs that have a symmetric spectrum with three distinct eigenvalues and give a partial classification for those with four distinct eigenvalues.
△ Less
Submitted 24 July, 2021;
originally announced July 2021.
-
Hermitian matrices of roots of unity and their characteristic polynomials
Authors:
Gary R. W. Greaves,
Chin Jian Woo
Abstract:
We investigate spectral conditions on Hermitian matrices of roots of unity. Our main results are conjecturally sharp upper bounds on the number of residue classes of the characteristic polynomial of such matrices modulo ideals generated by powers of $(1-ζ)$, where $ζ$ is a root of unity. We also prove a generalisation of a classical result of Harary and Schwenk about a relation for traces of power…
▽ More
We investigate spectral conditions on Hermitian matrices of roots of unity. Our main results are conjecturally sharp upper bounds on the number of residue classes of the characteristic polynomial of such matrices modulo ideals generated by powers of $(1-ζ)$, where $ζ$ is a root of unity. We also prove a generalisation of a classical result of Harary and Schwenk about a relation for traces of powers of a graph-adjacency matrix, which is a crucial ingredient for the proofs of our main results.
△ Less
Submitted 14 July, 2023; v1 submitted 9 June, 2021;
originally announced June 2021.
-
Equiangular lines in Euclidean spaces: dimensions 17 and 18
Authors:
Gary R. W. Greaves,
Jeven Syatriadi,
Pavlo Yatsyna
Abstract:
We show that the maximum cardinality of an equiangular line system in 17 dimensions is 48, thereby solving a longstanding open problem. Furthermore, by giving an explicit construction, we improve the lower bound on the maximum cardinality of an equiangular line system in 18 dimensions to 57.
We show that the maximum cardinality of an equiangular line system in 17 dimensions is 48, thereby solving a longstanding open problem. Furthermore, by giving an explicit construction, we improve the lower bound on the maximum cardinality of an equiangular line system in 18 dimensions to 57.
△ Less
Submitted 31 January, 2023; v1 submitted 9 April, 2021;
originally announced April 2021.
-
In situ $He^{+}$ irradiation of the double solid solution $(Ti_{0.5},Zr_{0.5})_{2}(Al_{0.5},Sn_{0.5})C$ MAX phase: Defect evolution in the 350-800 °C temperature range
Authors:
B. Tunca,
G. Greaves,
J. A. Hinks,
P. O. Å. Persson,
J. Vleugels,
K. Lambrinou
Abstract:
Thin foils of the double solid solution $(Zr{_0.5},Ti{_0.5})_{2}(Al_{0.5},Sn_{0.5})C$ MAX phase were in situ irradiated in a transmission electron microscope (TEM) up to a fluence of $1.3\times10^{17} ions$ $cm^{-2}$ (${\sim}$ 7.5 dpa), using 6 keV $He^{+}$ ions. Irradiations were performed in the 350-800 °C temperature range. In situ and post-irradiation examination (PIE) by TEM was used to study…
▽ More
Thin foils of the double solid solution $(Zr{_0.5},Ti{_0.5})_{2}(Al_{0.5},Sn_{0.5})C$ MAX phase were in situ irradiated in a transmission electron microscope (TEM) up to a fluence of $1.3\times10^{17} ions$ $cm^{-2}$ (${\sim}$ 7.5 dpa), using 6 keV $He^{+}$ ions. Irradiations were performed in the 350-800 °C temperature range. In situ and post-irradiation examination (PIE) by TEM was used to study the evolution of irradiation-induced defects as function of dose and temperature. Spherical He bubbles and string-like arrangements thereof, He platelets, and dislocation loops were observed. Dislocation loop segments were found to lie in non-basal-planes. At irradiation temperatures ${\geq}$ 450 °C, grain boundary tearing was observed locally due to He bubble segregation. However, the tears did not result in transgranular crack propagation. The intensity of specific spots in the selected area electron diffraction patterns weakened upon irradiation at 450 and 500 °C, indicating an increased crystal symmetry. Above 700 °C this was not observed, indicating damage recovery at the high end of the investigated temperature range. High-resolution scanning TEM imaging performed during the PIE of foils previously irradiated at 700 °C showed that the chemical ordering and nanolamination of the MAX phase were preserved after 7.5 dpa $He^{+}$ irradiation. The size distributions of the He platelets and spherical bubbles were evaluated as function of temperature and dose.
△ Less
Submitted 13 January, 2021;
originally announced January 2021.
-
Frames over finite fields: Equiangular lines in orthogonal geometry
Authors:
Gary R. W. Greaves,
Joseph W. Iverson,
John Jasper,
Dustin G. Mixon
Abstract:
We investigate equiangular lines in finite orthogonal geometries, focusing specifically on equiangular tight frames (ETFs). In parallel with the known correspondence between real ETFs and strongly regular graphs (SRGs) that satisfy certain parameter constraints, we prove that ETFs in finite orthogonal geometries are closely aligned with a modular generalization of SRGs. The constraints in our fini…
▽ More
We investigate equiangular lines in finite orthogonal geometries, focusing specifically on equiangular tight frames (ETFs). In parallel with the known correspondence between real ETFs and strongly regular graphs (SRGs) that satisfy certain parameter constraints, we prove that ETFs in finite orthogonal geometries are closely aligned with a modular generalization of SRGs. The constraints in our finite field setting are weaker, and all but~18 known SRG parameters on $v \leq 1300$ vertices satisfy at least one of them. Applying our results to triangular graphs, we deduce that Gerzon's bound is attained in finite orthogonal geometries of infinitely many dimensions. We also demonstrate connections with real ETFs, and derive necessary conditions for ETFs in finite orthogonal geometries. As an application, we show that Gerzon's bound cannot be attained in a finite orthogonal geometry of dimension~5.
△ Less
Submitted 14 November, 2021; v1 submitted 25 December, 2020;
originally announced December 2020.
-
Frames over finite fields: Basic theory and equiangular lines in unitary geometry
Authors:
Gary R. W. Greaves,
Joseph W. Iverson,
John Jasper,
Dustin G. Mixon
Abstract:
We introduce the study of frames and equiangular lines in classical geometries over finite fields. After develo** the basic theory, we give several examples and demonstrate finite field analogs of equiangular tight frames (ETFs) produced by modular difference sets, and by translation and modulation operators. Using the latter, we prove that Gerzon's bound is attained in each unitary geometry of…
▽ More
We introduce the study of frames and equiangular lines in classical geometries over finite fields. After develo** the basic theory, we give several examples and demonstrate finite field analogs of equiangular tight frames (ETFs) produced by modular difference sets, and by translation and modulation operators. Using the latter, we prove that Gerzon's bound is attained in each unitary geometry of dimension $d = 2^{2l+1}$ over the field $\mathbb{F}_{3^2}$. We also investigate interactions between complex ETFs and those in finite unitary geometries, and we show that every complex ETF implies the existence of ETFs with the same size over infinitely many finite fields.
△ Less
Submitted 14 July, 2021; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Improving the Delsarte bound
Authors:
Gary R. W. Greaves,
Jack H. Koolen,
Jongyook Park
Abstract:
In this paper, we study the order of a maximal clique in an amply regular graph with a fixed smallest eigenvalue by considering a vertex that is adjacent to some (but not all) vertices of the maximal clique. As a consequence, we show that if a strongly regular graph contains a Delsarte clique, then the parameter $μ$ is either small or large.
Furthermore, we obtain a cubic polynomial that assures…
▽ More
In this paper, we study the order of a maximal clique in an amply regular graph with a fixed smallest eigenvalue by considering a vertex that is adjacent to some (but not all) vertices of the maximal clique. As a consequence, we show that if a strongly regular graph contains a Delsarte clique, then the parameter $μ$ is either small or large.
Furthermore, we obtain a cubic polynomial that assures that a maximal clique in an amply regular graph is either small or large (under certain assumptions). Combining this cubic polynomial with the claw-bound, we rule out an infinite family of feasible parameters $(v,k,λ,μ)$ for strongly regular graphs. Lastly, we provide tables of parameters $(v,k,λ,μ)$ for nonexistent strongly regular graphs with smallest eigenvalue $-4, -5, -6$ or $-7$.
△ Less
Submitted 16 December, 2020;
originally announced December 2020.
-
Equiangular lines in low dimensional Euclidean spaces
Authors:
Gary R. W. Greaves,
Jeven Syatriadi,
Pavlo Yatsyna
Abstract:
We show that the maximum cardinality of an equiangular line system in 14 and 16 dimensions is 28 and 40, respectively, thereby solving a longstanding open problem. We also improve the upper bounds on the cardinality of equiangular line systems in 19 and 20 dimensions to 74 and 94, respectively.
We show that the maximum cardinality of an equiangular line system in 14 and 16 dimensions is 28 and 40, respectively, thereby solving a longstanding open problem. We also improve the upper bounds on the cardinality of equiangular line systems in 19 and 20 dimensions to 74 and 94, respectively.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
A multi-stop time-of-flight spectrometer for the measurement of positron annihilation-induced electrons in coincidence with the Doppler-shifted annihilation gamma photon
Authors:
V. A. Chirayath,
R. W. Gladen,
A. D. McDonald,
A. J. Fairchild,
P. V. Joglekar,
S. Satyal,
Z. H. Lim,
T. N. Shead,
M. D. Chrysler,
S. Mukherjee,
B. M. Barnett,
N. K. Byrnes,
A. R. Koymen,
R. G. Greaves,
A. H. Weiss
Abstract:
Here we describe an advanced multi functional, variable-energy positron beam system capable of measuring the energies of multiple positron-induced electrons in coincidence with the Doppler-shifted gamma photon resulting from the annihilation of the correlated positron. The measurements were carried out using the unique characteristics of the digital time-of-flight spectrometer and the gamma spectr…
▽ More
Here we describe an advanced multi functional, variable-energy positron beam system capable of measuring the energies of multiple positron-induced electrons in coincidence with the Doppler-shifted gamma photon resulting from the annihilation of the correlated positron. The measurements were carried out using the unique characteristics of the digital time-of-flight spectrometer and the gamma spectrometer available with the advanced positron beam system. These measurements have resulted in (i) the first digital time of flight spectrum of positron annihilation-induced Auger electrons generated using coincident signals from a high-purity Ge detector and a micro-channel plate; (ii) a two-dimensional array of the energy of Doppler-broadened annihilation gamma and the time of flight of positron-annihilation induced Auger electrons or secondary electrons measured in coincidence with the annihilation gamma photon; and (iii) the time of flight spectra of multiple secondary electrons ejected from a bilayer graphene surface as a result of the impact and(or) annihilation of positrons. The novelty of the gamma electron coincidence spectroscopy has been demonstrated by extracting the Doppler-broadened spectrum of gamma photons emitted due to the annihilation of positrons exclusively with 1s electrons of carbon. The width of the extracted Doppler-broadened gamma spectrum has been found to be consistent with the expected broadening of the annihilation gamma spectrum due to the momentum of the 1s electrons in carbon.
△ Less
Submitted 27 January, 2020;
originally announced January 2020.
-
Radiation Damage and Thermal Recovery of Perovskite Superconductor Yttrium Barium Copper Oxide
Authors:
A. Khobnya,
M. E. Pek,
G. Greaves,
M. Danaie,
G. D. Brittles,
S. E. Donnelly,
F. Schoofs,
A. Reilly,
P. D. Edmondson,
S. Pedrazzini
Abstract:
High temperature superconducting materials are being considered to generate the magnetic fields required for the confinement of plasma in fusion reactors. The present study aims to assess the microstructural degradation resulting from ion implantation at room temperature under two implantation conditions in Yttrium Barium Copper Oxide (YBCO) tapes. Xray Diffraction (XRD) and high resolution charac…
▽ More
High temperature superconducting materials are being considered to generate the magnetic fields required for the confinement of plasma in fusion reactors. The present study aims to assess the microstructural degradation resulting from ion implantation at room temperature under two implantation conditions in Yttrium Barium Copper Oxide (YBCO) tapes. Xray Diffraction (XRD) and high resolution characterisation techniques including Atom Probe Tomography (APT) and Transmission Electron Microscopy (TEM) analyses were used to correlate alterations in superconducting behaviour measured using a Magnetic Properties Measurement System (MPMS) to amorphization and recovery caused by ion implantation. TEM analysis was performed to depth profile the degree of crystallinity (or lack thereof) on irradiated samples. SRIM predicted the damage depth at 900 nm below the sample surface of the 2 MeV Xe implanted sample and 450 nm beneath the surface of the 0.6 MeV Xe implanted sample. 2 MeV Xe implantation caused the superconducting temperature to decrease by 10 K and the critical current density to display a 10 fold reduction. Post irradiation heat treatments up to 600C caused recrystallisation of the irradiated layer, but also oxygen loss and alterations in grain size. The recrystallised grain orientation was random in TEM lamellae, however, bulk samples re-grew along the original crystal orientation provided that some of the original material was not amorphized (ie if they nucleated on crystalline YBCO). This is extremely promising for the thermal recovery of tokamak components.
△ Less
Submitted 10 March, 2020; v1 submitted 24 October, 2018;
originally announced October 2018.
-
Another construction of edge-regular graphs with regular cliques
Authors:
Gary R. W. Greaves,
J. H. Koolen
Abstract:
We exhibit a new construction of edge-regular graphs with regular cliques that are not strongly regular. The infinite family of graphs resulting from this construction includes an edge-regular graph with parameters $(24,8,2)$. We also show that edge-regular graphs with $1$-regular cliques that are not strongly regular must have at least $24$ vertices.
We exhibit a new construction of edge-regular graphs with regular cliques that are not strongly regular. The infinite family of graphs resulting from this construction includes an edge-regular graph with parameters $(24,8,2)$. We also show that edge-regular graphs with $1$-regular cliques that are not strongly regular must have at least $24$ vertices.
△ Less
Submitted 17 October, 2018;
originally announced October 2018.
-
Reed-Solomon codes over small fields with constrained generator matrices
Authors:
Gary Greaves,
Jeven Syatriadi
Abstract:
We give constructions of some special cases of $[n,k]$ Reed-Solomon codes over finite fields of size at least $n$ and $n+1$ whose generator matrices have constrained support. Furthermore, we consider a generalisation of the GM-MDS conjecture proposed by Lovett in 2018. We show that Lovett's conjecture is false in general and we specify when the conjecture is true.
We give constructions of some special cases of $[n,k]$ Reed-Solomon codes over finite fields of size at least $n$ and $n+1$ whose generator matrices have constrained support. Furthermore, we consider a generalisation of the GM-MDS conjecture proposed by Lovett in 2018. We show that Lovett's conjecture is false in general and we specify when the conjecture is true.
△ Less
Submitted 28 January, 2019; v1 submitted 20 August, 2018;
originally announced August 2018.
-
On equiangular lines in 17 dimensions and the characteristic polynomial of a Seidel matrix
Authors:
Gary R. W. Greaves,
Pavlo Yatsyna
Abstract:
For $e$ a positive integer, we find restrictions modulo $2^e$ on the coefficients of the characteristic polynomial $χ_S(x)$ of a Seidel matrix $S$. We show that, for a Seidel matrix of order $n$ even (resp. odd), there are at most $2^{\binom{e-2}{2}}$ (resp. $2^{\binom{e-2}{2}+1}$) possibilities for the congruence class of $χ_S(x)$ modulo $2^e\mathbb Z[x]$. As an application of these results, we o…
▽ More
For $e$ a positive integer, we find restrictions modulo $2^e$ on the coefficients of the characteristic polynomial $χ_S(x)$ of a Seidel matrix $S$. We show that, for a Seidel matrix of order $n$ even (resp. odd), there are at most $2^{\binom{e-2}{2}}$ (resp. $2^{\binom{e-2}{2}+1}$) possibilities for the congruence class of $χ_S(x)$ modulo $2^e\mathbb Z[x]$. As an application of these results, we obtain an improvement to the upper bound for the number of equiangular lines in $\mathbb R^{17}$, that is, we reduce the known upper bound from $50$ to $49$.
△ Less
Submitted 22 July, 2019; v1 submitted 21 June, 2018;
originally announced June 2018.
-
Ion implantation in nanodiamonds: size effect and energy dependence
Authors:
Andrey A. Shiryaev,
Jonathan A. Hinks,
Nigel A. Marks,
Graeme Greaves,
Felipe J. Valencia,
Stephen E. Donnelly,
Rafael I. González,
Miguel Kiwi,
Alexander L. Trigub,
Eduardo M. Bringa,
Jason L. Fogg,
Igor I. Vlasov
Abstract:
Nanoparticles are ubiquitous in nature and are increasingly important for technology. They are subject to bombardment by ionizing radiation in a diverse range of environments. In particular, nanodiamonds represent a variety of nanoparticles of significant fundamental and applied interest. Here we present a combined experimental and computational study of the behaviour of nanodiamonds under irradia…
▽ More
Nanoparticles are ubiquitous in nature and are increasingly important for technology. They are subject to bombardment by ionizing radiation in a diverse range of environments. In particular, nanodiamonds represent a variety of nanoparticles of significant fundamental and applied interest. Here we present a combined experimental and computational study of the behaviour of nanodiamonds under irradiation by xenon ions. Unexpectedly, we observed a pronounced size effect on the radiation resistance of the nanodiamonds: particles larger than 8 nm behave similarly to macroscopic diamond (i.e. characterized by high radiation resistance) whereas smaller particles can be completely destroyed by a single impact from an ion in a defined energy range. This latter observation is explained by extreme heating of the nanodiamonds by the penetrating ion. The obtained results are not limited to nanodiamonds, making them of interest for several fields, putting constraints on processes for the controlled modification of nanodiamonds, on the survival of dust in astrophysical environments, and on the behaviour of actinides released from nuclear waste into the environment.
△ Less
Submitted 24 March, 2018;
originally announced March 2018.
-
On the Smith normal form of a skew-symmetric D-optimal design of order $n\equiv 2\pmod{4}$
Authors:
Gary Greaves,
Sho Suda
Abstract:
We show that the Smith normal form of a skew-symmetric D-optimal design of order $n\equiv 2\pmod{4}$ is determined by its order. Furthermore, we show that the Smith normal form of such a design can be written explicitly in terms of the order $n$, thereby proving a recent conjecture of Armario. We apply our result to show that certain D-optimal designs of order $n\equiv 2\pmod{4}$ are not equivalen…
▽ More
We show that the Smith normal form of a skew-symmetric D-optimal design of order $n\equiv 2\pmod{4}$ is determined by its order. Furthermore, we show that the Smith normal form of such a design can be written explicitly in terms of the order $n$, thereby proving a recent conjecture of Armario. We apply our result to show that certain D-optimal designs of order $n\equiv 2\pmod{4}$ are not equivalent to any skew-symmetric D-optimal design. We also provide a correction to a result in the literature on the Smith normal form of D-optimal designs.
△ Less
Submitted 6 May, 2018; v1 submitted 23 January, 2018;
originally announced January 2018.
-
Dynamics, Structure and Glass Formation of Calcium Aluminate Liquids
Authors:
Hao Liu,
Ruikun Pan,
Wenlin Chen,
Zhitao Shan,
Ang Qiao,
Sandro Jahn,
James W. E. Drewitt,
Louis Hennet,
David P. Langstaff,
Haizheng Tao,
G. Neville Greaves,
Yuanzheng Yue
Abstract:
Crystalline calcium-aluminates include the phases essential in the setting of Portland cements developed over the last century. It is only within recent decades, however, that calcium-aluminate melts and glasses have begun to attract attention, bringing new functionalities in photonic and electronic applications. These studies, though, have been limited to compositions close to a deep eutectic fro…
▽ More
Crystalline calcium-aluminates include the phases essential in the setting of Portland cements developed over the last century. It is only within recent decades, however, that calcium-aluminate melts and glasses have begun to attract attention, bringing new functionalities in photonic and electronic applications. These studies, though, have been limited to compositions close to a deep eutectic from where glasses easily form. With the development of contactless levitation furnaces the glass forming region can now be hugely extended. We have taken advantage of these developments to rationalise, for the first time, melt rheology with structural properties across this expanded compositional range, substantiating this with atomistic simulation. In the process, we have discovered that supercooled calcium-aluminates comprise a new system where fragile-to-strong phase transitions are ubiquitous. Taking this holistic approach, we have quantified the common basis of thermo-physical and structural diversity in this novel glass-forming system, together with its inherent polyamorphism.
△ Less
Submitted 22 December, 2017;
originally announced January 2018.
-
Quantum chemical calculations to elucidate the electronic and elastic properties of topologically equivalent metal organic frameworks
Authors:
Mo Xiong,
Neng Li,
George Neville Greaves,
Yuanzheng Yue,
Xiujian Zhao
Abstract:
We have theoretically investigated the elastic properties of three topologically identical zeolitic imidazolate frameworks: ZIF-4, ZIF-62 and TIF-4, by means of ab initio calculations. The ZIFs are a subset of metal organic frameworks (MOFs), whose versatile functionality is providing exciting opportunities in solid state science. Understanding the relationship between structure and elastic proper…
▽ More
We have theoretically investigated the elastic properties of three topologically identical zeolitic imidazolate frameworks: ZIF-4, ZIF-62 and TIF-4, by means of ab initio calculations. The ZIFs are a subset of metal organic frameworks (MOFs), whose versatile functionality is providing exciting opportunities in solid state science. Understanding the relationship between structure and elastic properties of hybrid materials is making it possible to develop a new generation of functional materials. In this work we have determined the bulk ($K$), shear ($G$) and Young's moduli ($E$), together with Poisson's ratio($\upsilon$), and the universal elastic anisotropy index ($A$$^{\textbf{U}}$) from the computed elastic coefficients. Tensorial analysis of the elastic constants reveals unusual and highly anisotropic elastic behaviour. All three materials exhibit low Young's and shear moduli. In addition, their flexibility incorporates regions of negative Poisson's ratio (NPR) and negative linear compressibility (NLC). The elastic properties of these ZIF crystals are are affected by the substituted organic linkages.
△ Less
Submitted 20 December, 2017;
originally announced December 2017.
-
Edge-regular graphs with regular cliques
Authors:
Gary R. W. Greaves,
Jack H. Koolen
Abstract:
We exhibit infinitely many examples of edge-regular graphs that have regular cliques and that are not strongly regular. This answers a question of Neumaier from 1981.
We exhibit infinitely many examples of edge-regular graphs that have regular cliques and that are not strongly regular. This answers a question of Neumaier from 1981.
△ Less
Submitted 1 April, 2018; v1 submitted 20 August, 2017;
originally announced August 2017.
-
On a lower bound for the Laplacian eigenvalues of a graph
Authors:
Gary R. W. Greaves,
Akihiro Munemasa,
Anni Peng
Abstract:
If $μ_m$ and $d_m$ denote, respectively, the $m$-th largest Laplacian eigenvalue and the $m$-th largest vertex degree of a graph, then $μ_m \geqslant d_m-m+2$. This inequality was conjectured by Guo in 2007 and proved by Brouwer and Haemers in 2008. Brouwer and Haemers gave several examples of graphs achieving equality, but a complete characterisation was not given. In this paper we consider the p…
▽ More
If $μ_m$ and $d_m$ denote, respectively, the $m$-th largest Laplacian eigenvalue and the $m$-th largest vertex degree of a graph, then $μ_m \geqslant d_m-m+2$. This inequality was conjectured by Guo in 2007 and proved by Brouwer and Haemers in 2008. Brouwer and Haemers gave several examples of graphs achieving equality, but a complete characterisation was not given. In this paper we consider the problem of characterising graphs satisfying $μ_m = d_m-m+2$. In particular we give a full classification of graphs with $μ_m = d_m-m+2 \leqslant 1$.
△ Less
Submitted 25 July, 2017; v1 submitted 11 July, 2017;
originally announced July 2017.
-
Equiangular line systems and switching classes containing regular graphs
Authors:
Gary R. W. Greaves
Abstract:
We develop the theory of equiangular lines in Euclidean spaces. Our focus is on the question of when a Seidel matrix having precisely three distinct eigenvalues has a regular graph in its switching class. We make some progress towards an answer to this question by finding some necessary conditions and some sufficient conditions. Furthermore, we show that the cardinality of an equiangular line syst…
▽ More
We develop the theory of equiangular lines in Euclidean spaces. Our focus is on the question of when a Seidel matrix having precisely three distinct eigenvalues has a regular graph in its switching class. We make some progress towards an answer to this question by finding some necessary conditions and some sufficient conditions. Furthermore, we show that the cardinality of an equiangular line system in $18$ dimensional Euclidean space is at most $60$.
△ Less
Submitted 8 September, 2017; v1 submitted 12 December, 2016;
originally announced December 2016.
-
On the clique number of a strongly regular graph
Authors:
Gary R. W. Greaves,
Leonard H. Soicher
Abstract:
We determine new upper bounds for the clique numbers of strongly regular graphs in terms of their parameters. These bounds improve on the Delsarte bound for infinitely many feasible parameter tuples for strongly regular graphs, including infinitely many parameter tuples that correspond to Paley graphs.
We determine new upper bounds for the clique numbers of strongly regular graphs in terms of their parameters. These bounds improve on the Delsarte bound for infinitely many feasible parameter tuples for strongly regular graphs, including infinitely many parameter tuples that correspond to Paley graphs.
△ Less
Submitted 27 April, 2016;
originally announced April 2016.
-
Interlacing families and the Hermitian spectral norm of digraphs
Authors:
Gary Greaves,
Bojan Mohar,
O Suil
Abstract:
It is proved that for any finite connected graph $G$, there exists an orientation of $G$ such that the spectral radius of the corresponding Hermitian adjacency matrix is smaller or equal to the spectral radius of the universal cover of $G$ (with equality if and only if $G$ is a tree). This resolves a problem proposed by Mohar. The proof uses the method of interlacing families of polynomials that w…
▽ More
It is proved that for any finite connected graph $G$, there exists an orientation of $G$ such that the spectral radius of the corresponding Hermitian adjacency matrix is smaller or equal to the spectral radius of the universal cover of $G$ (with equality if and only if $G$ is a tree). This resolves a problem proposed by Mohar. The proof uses the method of interlacing families of polynomials that was developed by Marcus, Spielman, and Srivastava in their seminal work on the existence of infinite families of Ramanujan graphs.
△ Less
Submitted 19 February, 2016;
originally announced February 2016.
-
Symmetric and skew-symmetric $\{0,\pm 1\}$-matrices with large determinants
Authors:
Gary Greaves,
Sho Suda
Abstract:
We show that the existence of $\{\pm 1\}$-matrices having largest possible determinant is equivalent to the existence of certain tournament matrices. In particular, we prove a recent conjecture of Armario. We also show that large submatrices of conference matrices are determined by their spectrum.
We show that the existence of $\{\pm 1\}$-matrices having largest possible determinant is equivalent to the existence of certain tournament matrices. In particular, we prove a recent conjecture of Armario. We also show that large submatrices of conference matrices are determined by their spectrum.
△ Less
Submitted 15 July, 2017; v1 submitted 12 January, 2016;
originally announced January 2016.
-
Graphs with three eigenvalues and second largest eigenvalue at most 1
Authors:
Xi-Ming Cheng,
Gary R. W. Greaves,
Jack H. Koolen
Abstract:
We classify the connected graphs with precisely three distinct eigenvalues and second largest eigenvalue at most 1.
We classify the connected graphs with precisely three distinct eigenvalues and second largest eigenvalue at most 1.
△ Less
Submitted 8 June, 2015;
originally announced June 2015.
-
Biregular graphs with three eigenvalues
Authors:
Xi-Ming Cheng,
Alexander L. Gavrilyuk,
Gary R. W. Greaves,
Jack H. Koolen
Abstract:
We consider nonregular graphs having precisely three distinct eigenvalues. The focus is mainly on the case of graphs having two distinct valencies and our results include constructions of new examples, structure theorems, valency constraints, and a classification of certain special families of such graphs. We also present a new example of a graph with three valencies and three eigenvalues of which…
▽ More
We consider nonregular graphs having precisely three distinct eigenvalues. The focus is mainly on the case of graphs having two distinct valencies and our results include constructions of new examples, structure theorems, valency constraints, and a classification of certain special families of such graphs. We also present a new example of a graph with three valencies and three eigenvalues of which there are currently only finitely many known examples.
△ Less
Submitted 12 April, 2016; v1 submitted 22 December, 2014;
originally announced December 2014.
-
Perfect and Stable Hybrid Glasses from Strong and Fragile Metal-Organic Framework Liquids
Authors:
T. D. Bennett,
**-Chong Tan,
Y. Z. Yue,
C. Ducati,
N. Terril,
H. H. M. Yeung,
Z. Zhou,
W. Chen,
S. Henke,
A. K. Cheetham,
G. N. Greaves
Abstract:
Hybrid glasses connect emerging fields of metal-organic frameworks (MOFs) with the glass-formation, amorphization, and melting processes of these structurally diverse and chemically versatile systems. Most zeolites, including MOFs, amorphize around the glass transition, devitrifying and then melting at much higher temperatures. The relationship between the two processes has so far not been investi…
▽ More
Hybrid glasses connect emerging fields of metal-organic frameworks (MOFs) with the glass-formation, amorphization, and melting processes of these structurally diverse and chemically versatile systems. Most zeolites, including MOFs, amorphize around the glass transition, devitrifying and then melting at much higher temperatures. The relationship between the two processes has so far not been investigated. Herein we show how heating first results in a low density perfect glass, following an order-order transition, leading to a super-strong liquid of low fragility that dynamically controls MOF collapse. A subsequent order-disorder transition creates a high density liquid of greater fragility. After crystallization and melting, subsequent cooling results in a stable glass virtually identical to the high density phase. Furthermore, the wide-ranging melting temperatures of different MOFs suggest these can be differentiated by topology. Our research provides new insight into the stability and functionality of these novel ductile crystalline materials, including the possibility of melt-casting MOFs.
△ Less
Submitted 13 September, 2014;
originally announced September 2014.
-
Equiangular lines in Euclidean spaces
Authors:
G. Greaves,
J. H. Koolen,
A. Munemasa,
F. Szöllősi
Abstract:
We obtain several new results contributing to the theory of real equiangular line systems. Among other things, we present a new general lower bound on the maximum number of equiangular lines in d dimensional Euclidean space; we describe the two-graphs on 12 vertices; and we investigate Seidel matrices with exactly three distinct eigenvalues. As a result, we improve on two long-standing upper bound…
▽ More
We obtain several new results contributing to the theory of real equiangular line systems. Among other things, we present a new general lower bound on the maximum number of equiangular lines in d dimensional Euclidean space; we describe the two-graphs on 12 vertices; and we investigate Seidel matrices with exactly three distinct eigenvalues. As a result, we improve on two long-standing upper bounds regarding the maximum number of equiangular lines in dimensions d=14, and d=16. Additionally, we prove the nonexistence of certain regular graphs with four eigenvalues, and correct some tables from the literature.
△ Less
Submitted 22 September, 2015; v1 submitted 10 March, 2014;
originally announced March 2014.
-
Edge-signed graphs with smallest eigenvalue greater than -2
Authors:
Gary Greaves,
Jack Koolen,
Akihiro Munemasa,
Yoshio Sano,
Tetsuji Taniguchi
Abstract:
We give a structural classification of edge-signed graphs with smallest eigenvalue greater than -2. We prove a conjecture of Hoffman about the smallest eigenvalue of the line graph of a tree that was stated in the 1970s. Furthermore, we prove a more general result extending Hoffman's original statement to all edge-signed graphs with smallest eigenvalue greater than -2. Our results give a classific…
▽ More
We give a structural classification of edge-signed graphs with smallest eigenvalue greater than -2. We prove a conjecture of Hoffman about the smallest eigenvalue of the line graph of a tree that was stated in the 1970s. Furthermore, we prove a more general result extending Hoffman's original statement to all edge-signed graphs with smallest eigenvalue greater than -2. Our results give a classification of the special graphs of fat Hoffman graphs with smallest eigenvalue greater than -3.
△ Less
Submitted 13 August, 2014; v1 submitted 20 September, 2013;
originally announced September 2013.
-
Lehmer's conjecture for Hermitian matrices over the Eisenstein and Gaussian integers
Authors:
Gary Greaves,
Graeme Taylor
Abstract:
We solve Lehmer's problem for a class of polynomials arising from Hermitian matrices over the Eisenstein and Gaussian integers, that is, we show that all such polynomials have Mahler measure at least Lehmer's number τ_0 = 1.17628... .
We solve Lehmer's problem for a class of polynomials arising from Hermitian matrices over the Eisenstein and Gaussian integers, that is, we show that all such polynomials have Mahler measure at least Lehmer's number τ_0 = 1.17628... .
△ Less
Submitted 8 June, 2012;
originally announced June 2012.
-
Small-span Hermitian matrices over quadratic integer rings
Authors:
Gary Greaves
Abstract:
Building on the classification of all characteristic polynomials of integer symmetric matrices having small span (span less than 4), we obtain a classification of small-span polynomials that are the characteristic polynomial of a Hermitian matrix over some quadratic integer ring. Taking quadratic integer rings as our base, we obtain as characteristic polynomials some low-degree small-span polynomi…
▽ More
Building on the classification of all characteristic polynomials of integer symmetric matrices having small span (span less than 4), we obtain a classification of small-span polynomials that are the characteristic polynomial of a Hermitian matrix over some quadratic integer ring. Taking quadratic integer rings as our base, we obtain as characteristic polynomials some low-degree small-span polynomials that are not the characteristic (or minimal) polynomial of any integer symmetric matrix.
△ Less
Submitted 10 June, 2013; v1 submitted 8 February, 2012;
originally announced February 2012.
-
Cyclotomic matrices over real quadratic integer rings
Authors:
Gary Greaves
Abstract:
We classify all cyclotomic matrices over real quadratic integer rings and we show that this classification is the same as classifying cyclotomic matrices over the compositum all real quadratic integer rings. Moreover, we enumerate a related class of symmetric matrices; those matrices whose eigenvalues are contained inside the interval [-2,2] but whose characteristic polynomials are not in Z[x].
We classify all cyclotomic matrices over real quadratic integer rings and we show that this classification is the same as classifying cyclotomic matrices over the compositum all real quadratic integer rings. Moreover, we enumerate a related class of symmetric matrices; those matrices whose eigenvalues are contained inside the interval [-2,2] but whose characteristic polynomials are not in Z[x].
△ Less
Submitted 13 July, 2012; v1 submitted 30 January, 2012;
originally announced January 2012.
-
Cyclotomic matrices over the Eisenstein and Gaussian integers
Authors:
Gary Greaves
Abstract:
We classify all cyclotomic matrices over the Eisenstein and Gaussian integers, that is, all Hermitian matrices over the Eisenstein and Gaussian integers that have all their eigenvalues in the interval [-2, 2].
We classify all cyclotomic matrices over the Eisenstein and Gaussian integers, that is, all Hermitian matrices over the Eisenstein and Gaussian integers that have all their eigenvalues in the interval [-2, 2].
△ Less
Submitted 3 October, 2012; v1 submitted 8 February, 2011;
originally announced February 2011.