DOCSLIB.ORG

Arxiv:0805.2014V2 [Math.FA] 1 Sep 2008 Oteeitneo Eti Yeo Arxcle a Called Matrix of Type Certain Constru a for of 7])

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:0805.2014V2 [Math.FA] 1 Sep 2008 Oteeitneo Eti Yeo Arxcle a Called Matrix of Type Certain Constru a for of 7]) EQUIANGULAR TIGHT FRAMES FROM COMPLEX SEIDEL MATRICES CONTAINING CUBE ROOTS OF UNITY BERNHARD G. BODMANN, VERN I. PAULSEN, AND MARK TOMFORDE Abstract. We derive easily verifiable conditions which characterize when com- plex Seidel matrices containing cube roots of unity have exactly two eigenvalues. The existence of such matrices is equivalent to the existence of equiangular tight frames for which the inner product between any two frame vectors is always a common multiple of the cube roots of unity. We also exhibit a relationship between these equiangular tight frames, complex Seidel matrices, and highly regular, directed graphs. We construct examples of such frames with arbitrarily many vectors. 1. Introduction Equiangular tight frames play an important role in several areas of mathematics, ranging from signal processing (see, e.g. [1, 4, 12, 13] and references therein) to quantum computing (see, e.g. [2, 7]). In comparison with the host of results on the construction of equiangular tight frames for finite dimensional real Hilbert spaces [21, 18, 8, 3, 10], relatively few means are known for constructing equiangular frames in the complex case (see, e.g. [11, 17, 7]). The problem of the existence of equiangular frames is known to be equivalent to the existence of a certain type of matrix called a Seidel matrix [15] or signature matrix [10] with two eigenvalues. A matrix Q is a Seidel matrix provided that it is self-adjoint, its diagonal entries are 0, and its off-diagonal entries are all of modulus one. In the real case, these off-diagonal entries must all be 1; such matrices can then be interpreted as (Seidel) adjacency matrices of graphs.± The case when these adjacency matrices have two eigenvalues has been characterized arXiv:0805.2014v2 [math.FA] 1 Sep 2008 in graph-theoretic terms [19, 20], see also [16], and a fairly complete catalog of all such graphs, when the number of vertices is small, is known. Moreover, such graphs are known to exist for an arbitrarily large number of vertices [5]. In this paper, we study the existence and construction of Seidel matrices with two eigenvalues and off-diagonal entries that are all cube roots of unity. We derive necessary and sufficient conditions for the existence of such matrices and construct examples. In particular, we find arbitrarily large Seidel matrices of this type. We show that the existence of such Seidel matrices is equivalent to the existence of Date: October 23, 2018. 2000 Mathematics Subject Classification. 42C15, 52C17, 05B20. Key words and phrases. equiangular tight frames, roots of unity, directed graphs. The first author was supported by NSF Grant DMS-0807399, the second author by NSF Grant DMS-0600191. 1 2 BERNHARD G. BODMANN, VERN I. PAULSEN, AND MARK TOMFORDE certain highly regular directed graphs, and hence, show that such directed graphs exist on an arbitrarily large number of vertices. This paper is organized as follows. We complete the introduction with a more detailed description of equiangular tight frames, Seidel matrices and their rela- tionship. In Section 2, we derive conditions for the existence of such matrices. In Section 3, we refine these conditions and use our relations, in Section 4, to deter- mine the possible sizes of such Seidel matrices for n 100. Section 5 discusses the connections with directed graphs. Section 6 contains≤ examples and Section 7 gives a method for constructing examples of arbitrarily large size. 1.1. Equiangular Tight Frames. Let be a real or complex Hilbert space. H A finite family of vectors f1,...,fn is called a frame provided that there exist strictly positive real numbers{ A and }B such that n 2 2 2 A x x,fj B x for all x . k k ≤ |h i| ≤ k k ∈H i X=1 A frame is said to be a tight frame if we can choose A = B. When A = B = 1, then the frame is called a normalized tight frame or a Parseval frame. Replacing fi by fi/√A always normalizes a tight frame. One can show (see [4, p. 21], for example) that a family f1,...,fn is a tight frame with constant A if and only if { } n 1 (1.1) x = x,fi fi for all x . A h i ∈H i X=1 There is a natural equivalence relation for tight frames, motivated by simple operations on the frame vectors which preserve identity (1.1). We say that two tight frames f1,f2,...fn and g1, g2,...gn for are uni- tarily equivalent if there exists{ a unitary operator} { U on such} thatH for all H i 1, 2,...n , gi = Ufi. We say that they are switching equivalent if there exist a∈ unitary { operator} U on , a permutation π on 1, 2,...n and a family of uni- H { } modular constants λ , λ , . λn such that for all i 1, 2,...n , gi = λiUf . { 1 2 } ∈ { } π(i) If is a real Hilbert space, U is understood to be orthogonal, and all λi 1 . HIn this paper we shall be concerned only with Parseval frames for the k∈-dimen- {± } sional complex Hilbert space Ck, equipped with the canonical inner product. We use the term (n, k)-frame to mean a Parseval frame of n vectors for Ck. Every such Parseval frame gives rise to an isometric embedding of Ck into Cn via the map k n V : C C , (Vx)j = x,fj for all j 1, 2,...n → h i ∈ { } which is called the analysis operator of the frame. Because V is linear, we may identify V with an n k matrix and the vectors f1,...,fn are the respective columns of V . Conversely,× given any n k matrix{V that defines} an isometry, if ∗ × we let f1,...,fn denote the columns of V ∗, then this set is an (n, k)-frame and V is the{ analysis} operator of the frame. EQUIANGULAR TIGHT FRAMES FROM COMPLEX SEIDEL MATRICES 3 If V is the analysis operator of an (n, k)-frame, then since V is an isometry, we see that V V = Ik and the n n matrix VV is a self-adjoint projection of rank ∗ × ∗ k. Note that VV ∗ has entries (VV ∗)ij = ( fj,fi ). Thus, VV ∗ is the Grammian matrix (or correlation matrix) of the set ofh vectors.i Conversely, any time we have an n n self-adjoint projection P of rank k, we can always factor it as P = VV × ∗ for some n k matrix V . In this case we have V V = Ik and hence V is an × ∗ isometry and the columns of V ∗ are an (n, k)-frame. Moreover, if P = WW ∗ is another factorization of P , then there exists a unitary U such that W ∗ = UV ∗, and the frame corresponding to W differs from the frame corresponding to V by applying the same unitary to all frame vectors, which is included in our equivalence relation. However, switching equivalence is coarser than just identifying all frames with the same Grammian. In [10] it is shown that it corresponds to identifying frames for which the Grammians can be obtained from each other by conjugation with diagonal unitaries and permutation matrices. Definition 1.1. An (n, k)-frame f ,...,fn is called uniform if there is a constant { 1 } u> 0 such that fi = u for all i. An (n, k)-frame is called equiangular if all of the frame vectors arek non-zerok and the angle between the lines generated by any pair of frame vectors is a constant, that is, provided that there is a constant b such that fi/ fi ,fj/ fj = b for all i = j. |h k k k ki| 6 Many places in the literature define equiangular to mean that the (n, k)-frame is uniform and that there is a constant c so that fi,fj = c for all i = j. However, the assumption that the frame is uniform is not|h neededi| in our definition6 as the following result shows. k Proposition 1.2. Let f ,...,fn be a tight frame for C . If all frame vectors { 1 } are non-zero and if there is a constant b so that fi/ fi ,fj/ fj = b for all |h k k k ki| i = j, then fi = fj for every i and j. 6 k k k k Proof. Without loss of generality, we may assume that the frame is a Parseval n 2 frame, so that P = ( fj,fi ) is a projection of rank k. Hence, P = P and so h i i,j=1 upon equating the (i, i)-th entry and using the fact that the trace of P is k, we see 2 n 4 n 2 2 2 4 that fi = fi,fi = fj,fi fi,fj = fi + b fi fj = fi + k k h i j=1h ih i k k j=i k k k k k k b2 f 2(k f 2), which shows that f 2 is a (non-zero)6 constant independent i i P i P ofki. k − k k k k In [10] a family of (n, k)-frames was introduced that was called 2-uniform frames. It was then proved that a Parseval frame is 2-uniform if and only if it is equiangular. Thus, these terminologies are interchangeable in the literature, but the equiangular terminology has become more prevalent. 1.2. Seidel Matrices and Equiangular Tight Frames. At this point we re- visit an approach that has been used to construct equiangular tight frames [15]. The previous section shows that an (n, k)-frame is determined up to unitary equiv- alence by its Grammian matrix.
Load more

Recommended publications
  • Package 'Igraphmatch'
    Package ‘iGraphMatch’ January 27, 2021 Type Package Title Tools Graph Matching Version 1.0.1 Description Graph matching methods and analysis. The package works for both 'igraph' objects and matrix objects. You provide the adjacency matrices of two graphs and some other information you might know, choose the graph matching method, and it returns the graph matching results. 'iGraphMatch' also provides a bunch of useful functions you might need related to graph matching. Depends R (>= 3.3.1) Imports clue (>= 0.3-54), Matrix (>= 1.2-11), igraph (>= 1.1.2), irlba, methods, Rcpp Suggests dplyr (>= 0.5.0), testthat (>= 2.0.0), knitr, rmarkdown VignetteBuilder knitr License GPL (>= 2) LazyData TRUE RoxygenNote 7.1.1 Language en-US Encoding UTF-8 LinkingTo Rcpp NeedsCompilation yes Author Daniel Sussman [aut, cre], Zihuan Qiao [aut], Joshua Agterberg [ctb], Lujia Wang [ctb], Vince Lyzinski [ctb] Maintainer Daniel Sussman <[email protected]> Repository CRAN Date/Publication 2021-01-27 16:00:02 UTC 1 2 bari_start R topics documented: bari_start . .2 best_matches . .4 C.Elegans . .5 center_graph . .6 check_seeds . .7 do_lap . .8 Enron . .9 get_perm . .9 graph_match_convex . 10 graph_match_ExpandWhenStuck . 12 graph_match_IsoRank . 13 graph_match_Umeyama . 15 init_start . 16 innerproduct . 17 lapjv . 18 lapmod . 18 largest_common_cc . 19 matched_adjs . 20 match_plot_igraph . 20 match_report . 22 pad.............................................. 23 row_cor . 24 rperm . 25 sample_correlated_gnp_pair . 25 sample_correlated_ieg_pair . 26 sample_correlated_sbm_pair . 28 split_igraph . 29 splrMatrix-class . 30 splr_sparse_plus_constant . 31 splr_to_sparse . 31 Index 32 bari_start Start matrix initialization Description initialize the start matrix for graph matching iteration. bari_start 3 Usage bari_start(nns, ns = 0, soft_seeds = NULL) rds_sinkhorn_start(nns, ns = 0, soft_seeds = NULL, distribution = "runif") rds_perm_bari_start(nns, ns = 0, soft_seeds = NULL, g = 1, is_splr = TRUE) rds_from_sim_start(nns, ns = 0, soft_seeds = NULL, sim) Arguments nns An integer.
    [Show full text]
  • On Reciprocal Systems and Controllability
    On reciprocal systems and controllability Timothy H. Hughes a aDepartment of Mathematics, University of Exeter, Penryn Campus, Penryn, Cornwall, TR10 9EZ, UK Abstract In this paper, we extend classical results on (i) signature symmetric realizations, and (ii) signature symmetric and passive realizations, to systems which need not be controllable. These results are motivated in part by the existence of important electrical networks, such as the famous Bott-Duffin networks, which possess signature symmetric and passive realizations that are uncontrollable. In this regard, we provide necessary and sufficient algebraic conditions for a behavior to be realized as the driving-point behavior of an electrical network comprising resistors, inductors, capacitors and transformers. Key words: Reciprocity; Passive system; Linear system; Controllability; Observability; Behaviors; Electrical networks. 1 Introduction Practical motivation for developing a theory of reci- procity that does not assume controllability arises from This paper is concerned with reciprocal systems (see, electrical networks. Notably, the driving-point behavior e.g., Casimir, 1963; Willems, 1972; Anderson and Vong- of an electrical network comprising resistors, inductors, panitlerd, 2006; Newcomb, 1966; van der Schaft, 2011). capacitors and transformers (an RLCT network) is nec- Reciprocity is an important form of symmetry in physi- essarily reciprocal, and also passive, 2 but it need not be cal systems which arises in acoustics (Rayleigh-Carson controllable (see C¸amlibel et al., 2003; Willems, 2004; reciprocity); elasticity (the Maxwell-Betti reciprocal Hughes, 2017d). Indeed, as noted by C¸amlibel et al. work theorem); electrostatics (Green's reciprocity); and (2003), it is not known what (uncontrollable) behav- electromagnetics (Lorentz reciprocity), where it follows iors can be realized as the driving-point behavior of an as a result of Maxwell's laws (Newcomb, 1966, p.
    [Show full text]
  • Emergent Spacetimes
    Emergent spacetimes Silke Christine Edith Weinfurtner Department of Mathematics, Statistics and Computer Science — Te Kura Tatau arXiv:0711.4416v1 [gr-qc] 28 Nov 2007 Thesis submitted for the degree of Doctor of Philosophy at the Victoria University of Wellington. In Memory of Johann Weinfurtner Abstract In this thesis we discuss the possibility that spacetime geometry may be an emergent phenomenon. This idea has been motivated by the Analogue Gravity programme. An “effective gravitational field” dominates the kinematics of small perturbations in an Analogue Model. In these models there is no obvious connection between the “gravitational” field tensor and the Einstein equations, as the emergent spacetime geometry arises as a consequence of linearising around some classical field. After a brief survey of the most relevant literature on this topic, we present our contributions to the field. First, we show that the spacetime geometry on the equatorial slice through a rotating Kerr black hole is formally equivalent to the geometry felt by phonons entrained in a rotating fluid vortex. The most general acoustic geometry is compatible with the fluid dynamic equations in a collapsing/ ex- panding perfect-fluid line vortex. We demonstrate that there is a suitable choice of coordinates on the equatorial slice through a Kerr black hole that puts it into this vortex form; though it is not possible to put the entire Kerr spacetime into perfect-fluid “acoustic” form. We then discuss an analogue spacetime based on the propagation of excitations in a 2-component Bose–Einstein condensate. This analogue spacetime has a very rich and complex structure, which permits us to provide a mass-generating mechanism for the quasi-particle excitations.
    [Show full text]
  • Two-Graphs and Skew Two-Graphs in Finite Geometries
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Two-Graphs and Skew Two-Graphs in Finite Geometries G. Eric Moorhouse Department of Mathematics University of Wyoming Laramie Wyoming Dedicated to Professor J. J. Seidel Submitted by Aart Blokhuis ABSTRACT We describe the use of two-graphs and skew (oriented) two-graphs as isomor- phism invariants for translation planes and m-systems (including avoids and spreads) of polar spaces in odd characteristic. 1. INTRODUCTION Two-graphs were first introduced by G. Higman, as natural objects for the action of certain sporadic simple groups. They have since been studied extensively by Seidel, Taylor, and others, in relation to equiangular lines, strongly regular graphs, and other notions; see [26]-[28]. The analogous oriented two-graphs (which we call skew two-graphs) were introduced by Cameron [7], and there is some literature on the equivalent notion of switching classes of tournaments. Our exposition focuses on the use of two-graphs and skew two-graphs as isomorphism invariants of translation planes, and caps, avoids, and spreads of polar spaces in odd characteristic. The earliest precedent for using two-graphs to study ovoids and caps is apparently owing to Shult [29]. The degree sequences of these two-graphs and skew two-graphs yield the invariants known as fingerprints, introduced by J. H. Conway (see Chames [9, lo]). Two LZNEAR ALGEBRA AND ITS APPLZCATZONS 226-228:529-551 (1995) 0 Elsevier Science Inc., 1995 0024-3795/95/$9.50 655 Avenue of the Americas, New York, NY 10010 SSDI 0024-3795(95)00242-J 530 G.
    [Show full text]
  • Hadamard and Conference Matrices
    Hadamard and conference matrices Peter J. Cameron December 2011 with input from Dennis Lin, Will Orrick and Gordon Royle Now det(H) is equal to the volume of the n-dimensional parallelepiped spanned by the rows of H. By assumption, each row has Euclidean length at most n1/2, so that det(H) ≤ nn/2; equality holds if and only if I every entry of H is ±1; > I the rows of H are orthogonal, that is, HH = nI. A matrix attaining the bound is a Hadamard matrix. Hadamard's theorem Let H be an n × n matrix, all of whose entries are at most 1 in modulus. How large can det(H) be? A matrix attaining the bound is a Hadamard matrix. Hadamard's theorem Let H be an n × n matrix, all of whose entries are at most 1 in modulus. How large can det(H) be? Now det(H) is equal to the volume of the n-dimensional parallelepiped spanned by the rows of H. By assumption, each row has Euclidean length at most n1/2, so that det(H) ≤ nn/2; equality holds if and only if I every entry of H is ±1; > I the rows of H are orthogonal, that is, HH = nI. Hadamard's theorem Let H be an n × n matrix, all of whose entries are at most 1 in modulus. How large can det(H) be? Now det(H) is equal to the volume of the n-dimensional parallelepiped spanned by the rows of H. By assumption, each row has Euclidean length at most n1/2, so that det(H) ≤ nn/2; equality holds if and only if I every entry of H is ±1; > I the rows of H are orthogonal, that is, HH = nI.
    [Show full text]
  • On Sign-Symmetric Signed Graphs∗
    ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 19 (2020) 83–93 https://doi.org/10.26493/1855-3974.2161.f55 (Also available at http://amc-journal.eu) On sign-symmetric signed graphs∗ Ebrahim Ghorbani Department of Mathematics, K. N. Toosi University of Technology, P.O. Box 16765-3381, Tehran, Iran Willem H. Haemers Department of Econometrics and Operations Research, Tilburg University, Tilburg, The Netherlands Hamid Reza Maimani , Leila Parsaei Majd y Mathematics Section, Department of Basic Sciences, Shahid Rajaee Teacher Training University, P.O. Box 16785-163, Tehran, Iran Received 24 October 2019, accepted 27 March 2020, published online 10 November 2020 Abstract A signed graph is said to be sign-symmetric if it is switching isomorphic to its negation. Bipartite signed graphs are trivially sign-symmetric. We give new constructions of non- bipartite sign-symmetric signed graphs. Sign-symmetric signed graphs have a symmetric spectrum but not the other way around. We present constructions of signed graphs with symmetric spectra which are not sign-symmetric. This, in particular answers a problem posed by Belardo, Cioaba,˘ Koolen, and Wang in 2018. Keywords: Signed graph, spectrum. Math. Subj. Class. (2020): 05C22, 05C50 1 Introduction Let G be a graph with vertex set V and edge set E. All graphs considered in this paper are undirected, finite, and simple (without loops or multiple edges). A signed graph is a graph in which every edge has been declared positive or negative. In fact, a signed graph Γ is a pair (G; σ), where G = (V; E) is a graph, called the underlying ∗The authors would like to thank the anonymous referees for their helpful comments and suggestions.
    [Show full text]
  • Pretty Good State Transfer in Discrete-Time Quantum Walks
    Pretty good state transfer in discrete-time quantum walks Ada Chan and Hanmeng Zhan Department of Mathematics and Statistics, York University, Toronto, ON, Canada fssachan, [email protected] Abstract We establish the theory for pretty good state transfer in discrete- time quantum walks. For a class of walks, we show that pretty good state transfer is characterized by the spectrum of certain Hermitian adjacency matrix of the graph; more specifically, the vertices involved in pretty good state transfer must be m-strongly cospectral relative to this matrix, and the arccosines of its eigenvalues must satisfy some number theoretic conditions. Using normalized adjacency matrices, cyclic covers, and the theory on linear relations between geodetic an- gles, we construct several infinite families of walks that exhibits this phenomenon. 1 Introduction arXiv:2105.03762v1 [math.CO] 8 May 2021 A quantum walk with nice transport properties is desirable in quantum com- putation. For example, Grover's search algorithm [12] is a quantum walk on the looped complete graph, which sends the all-ones vector to a vector that almost \concentrate on" a vertex. In this paper, we study a slightly stronger notion of state transfer, where the target state can be approximated with arbitrary precision. This is called pretty good state transfer. Pretty good state transfer has been extensively studied in continuous-time quantum walks, especially on the paths [9, 22, 1, 5, 21]. However, not much 1 is known for the discrete-time analogues. The biggest difference between these two models is that in a continuous-time quantum walk, the evolution is completely determined by the adjacency or Laplacian matrix of the graph, while in a discrete-time quantum walk, the transition matrix depends on more than just the graph - usually, it is a product of two unitary matrices: U = SC; where S permutes the arcs of the graph, and C, called the coin matrix, send each arc to a linear combination of the outgoing arcs of the same vertex.
    [Show full text]
  • Hadamard Matrices Include
    Hadamard and conference matrices Peter J. Cameron University of St Andrews & Queen Mary University of London Mathematics Study Group with input from Rosemary Bailey, Katarzyna Filipiak, Joachim Kunert, Dennis Lin, Augustyn Markiewicz, Will Orrick, Gordon Royle and many happy returns . Happy Birthday, MSG!! Happy Birthday, MSG!! and many happy returns . Now det(H) is equal to the volume of the n-dimensional parallelepiped spanned by the rows of H. By assumption, each row has Euclidean length at most n1/2, so that det(H) ≤ nn/2; equality holds if and only if I every entry of H is ±1; > I the rows of H are orthogonal, that is, HH = nI. A matrix attaining the bound is a Hadamard matrix. This is a nice example of a continuous problem whose solution brings us into discrete mathematics. Hadamard's theorem Let H be an n × n matrix, all of whose entries are at most 1 in modulus. How large can det(H) be? A matrix attaining the bound is a Hadamard matrix. This is a nice example of a continuous problem whose solution brings us into discrete mathematics. Hadamard's theorem Let H be an n × n matrix, all of whose entries are at most 1 in modulus. How large can det(H) be? Now det(H) is equal to the volume of the n-dimensional parallelepiped spanned by the rows of H. By assumption, each row has Euclidean length at most n1/2, so that det(H) ≤ nn/2; equality holds if and only if I every entry of H is ±1; > I the rows of H are orthogonal, that is, HH = nI.
    [Show full text]
  • On D. G. Higman's Note on Regular 3-Graphs
    Also available at http://amc.imfm.si ISSN 1855-3966 (printed edn.), ISSN 1855-3974 (electronic edn.) ARS MATHEMATICA CONTEMPORANEA 6 (2013) 99–115 On D. G. Higman’s note on regular 3-graphs Daniel Kalmanovich Department of Mathematics Ben-Gurion University of the Negev 84105 Beer Sheva, Israel Received 17 October 2011, accepted 25 April 2012, published online 4 June 2012 Abstract We introduce the notion of a t-graph and prove that regular 3-graphs are equivalent to cyclic antipodal 3-fold covers of a complete graph. This generalizes the equivalence of regular two-graphs and Taylor graphs. As a consequence, an equivalence between cyclic antipodal distance regular graphs of diameter 3 and certain rank 6 commutative association schemes is proved. New examples of regular 3-graphs are presented. Keywords: Antipodal graph, association scheme, distance regular graph of diameter 3, Godsil- Hensel matrix, group ring, Taylor graph, two-graph. Math. Subj. Class.: 05E30, 05B20, 05E18 1 Introduction This paper is mainly a clarification of [6] — a short draft written by Donald Higman in 1994, entitled “A note on regular 3-graphs”. The considered generalization of two-graphs was introduced by D. G. Higman in [5]. As in the famous correspondence between two-graphs and switching classes of simple graphs, t-graphs are interpreted as equivalence classes of an appropriate switching relation defined on weights, which play the role of simple graphs. In his note Higman uses certain association schemes to characterize regular 3-graphs and to obtain feasibility conditions for their parameters. Specifically, he provides a graph theoretic interpretation of a weight and from the resulted graph he constructs a rank 4 symmetric association scheme and a rank 6 fission of it.
    [Show full text]
  • 2020 Ural Workshop on Group Theory and Combinatorics
    Institute of Natural Sciences and Mathematics of the Ural Federal University named after the first President of Russia B.N.Yeltsin N.N. Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences The Ural Mathematical Center 2020 Ural Workshop on Group Theory and Combinatorics Yekaterinburg – Online, Russia, August 24-30, 2020 Abstracts Yekaterinburg 2020 2020 Ural Workshop on Group Theory and Combinatorics: Abstracts of 2020 Ural Workshop on Group Theory and Combinatorics. Yekaterinburg: N.N. Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences, 2020. DOI Editor in Chief Natalia Maslova Editors Vladislav Kabanov Anatoly Kondrat’ev Managing Editors Nikolai Minigulov Kristina Ilenko Booklet Cover Desiner Natalia Maslova c Institute of Natural Sciences and Mathematics of Ural Federal University named after the first President of Russia B.N.Yeltsin N.N. Krasovskii Institute of Mathematics and Mechanics of the Ural Branch of the Russian Academy of Sciences The Ural Mathematical Center, 2020 2020 Ural Workshop on Group Theory and Combinatorics Conents Contents Conference program 5 Plenary Talks 8 Bailey R. A., Latin cubes . 9 Cameron P. J., From de Bruijn graphs to automorphisms of the shift . 10 Gorshkov I. B., On Thompson’s conjecture for finite simple groups . 11 Ito T., The Weisfeiler–Leman stabilization revisited from the viewpoint of Terwilliger algebras . 12 Ivanov A. A., Densely embedded subgraphs in locally projective graphs . 13 Kabanov V. V., On strongly Deza graphs . 14 Khachay M. Yu., Efficient approximation of vehicle routing problems in metrics of a fixed doubling dimension .
    [Show full text]
  • The Number of Equivalence Classes of Symmetric Sign Patterns
    The number of equivalence classes of symmetric sign patterns Peter J. Cameron a;1 Charles R. Johnson b aSchool of Mathematical Sciences, Queen Mary, University of London, London E1 4NS, U.K. bDepartment of Mathematics, College of William and Mary, Williamsburg, VA, USA Abstract This paper shows that the number of sign patterns of totally non-zero symmetric n-by-n matrices, up to conjugation by monomial matrices and negation, is equal to the number of unlabelled graphs on n vertices. Key words: symmetric matrix, sign pattern, enumeration, duality 1 Introduction By a (totally non-zero) sign pattern, we mean an n-by-n array S = (sij) of + and signs. With S, we associate the set off all real n-by-n matrices − S such that A = (aij) if and only if aij > 0 whenever sij = + and aij < 0 2 S whenever sij = . Many questions about which properties P are required (all elements of enjoy− P ) or allowed (some element of has P ) by a particular sign patternSS have been studied [3,4]. S One may also consider properties of pairs of sign patterns S1 and S2. For example, one such property of recent interest is commutativity of symmetric sign patterns [1]. We say that S1 and S2 allow commutativity (\commute", for short) if there exist symmetric matrices A1 1 and A2 2 such that 2 S 2 S A1A2 = A2A1. For a given n, a complete answer to the above question might be succinctly described by an undirected graph G, whose vertices are the sign patterns, with an edge between two distinct sign patterns if and only if they 1 Corresponding author; email: [email protected].
    [Show full text]
  • The Road to Deterministic Matrices with the Restricted Isometry Property
    Air Force Institute of Technology AFIT Scholar Faculty Publications 2013 The Road to Deterministic Matrices with the Restricted Isometry Property Afonso S. Bandeira Matthew C. Fickus Air Force Institute of Technology Dustin G. Mixon Percy Wong Follow this and additional works at: https://scholar.afit.edu/facpub Part of the Mathematics Commons Recommended Citation Bandeira, A. S., Fickus, M., Mixon, D. G., & Wong, P. (2013). The Road to Deterministic Matrices with the Restricted Isometry Property. Journal of Fourier Analysis and Applications, 19(6), 1123–1149. https://doi.org/10.1007/s00041-013-9293-2 This Article is brought to you for free and open access by AFIT Scholar. It has been accepted for inclusion in Faculty Publications by an authorized administrator of AFIT Scholar. For more information, please contact [email protected]. THE ROAD TO DETERMINISTIC MATRICES WITH THE RESTRICTED ISOMETRY PROPERTY AFONSO S. BANDEIRA, MATTHEW FICKUS, DUSTIN G. MIXON, AND PERCY WONG Abstract. The restricted isometry property (RIP) is a well-known matrix condition that provides state-of-the-art reconstruction guarantees for compressed sensing. While random matrices are known to satisfy this property with high probability, deterministic constructions have found less success. In this paper, we consider various techniques for demonstrating RIP deterministically, some popular and some novel, and we evaluate their performance. In evaluating some techniques, we apply random matrix theory and inadvertently find a simple alternative proof that certain random matrices are RIP. Later, we propose a particular class of matrices as candidates for being RIP, namely, equiangular tight frames (ETFs). Using the known correspondence between real ETFs and strongly regular graphs, we investigate certain combinatorial implications of a real ETF being RIP.
    [Show full text]