Arxiv:1902.02406V2 [Math.FA] 8 Sep 2020 Where Def 1 X Fb(A) = F(Δ)Wa(Δ) ∈ X

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:1902.02406V2 [Math.FA] 8 Sep 2020 Where Def 1 X Fb(A) = F(Δ)Wa(Δ) ∈ X POLYNOMIAL INEQUALITIES ON THE HAMMING CUBE ALEXANDROS ESKENAZIS AND PAATA IVANISVILI Abstract. Let (X; k · kX ) be a Banach space. The purpose of this article is to systematically investigate dimension independent properties of vector valued functions f : {−1; 1gn ! X on the Hamming cube whose spectrum is bounded above or below. Our proofs exploit contractivity properties of the heat flow, induced by the geometry of the target space (X; k · kX ), combined with duality arguments and suitable tools from approximation theory and complex analysis. We obtain a series of improvements of various well-studied estimates for functions with bounded spectrum, including moment comparison results for low degree Walsh polynomials and Bernstein{Markov type inequalities, which constitute discrete vector valued analogues of Freud's inequality in Gauss space (1971). Many of these inequalities are new even for scalar valued functions. Furthermore, we provide a short proof of Mendel and Naor's heat smoothing theorem (2014) for functions in tail spaces with values in spaces of nontrivial type and we also prove a dual lower bound on the decay of the heat semigroup acting on functions with spectrum bounded from above. Finally, we improve the reverse Bernstein{Markov inequalities of Meyer (1984) and Mendel and Naor (2014) for functions with narrow enough spectrum and improve the bounds of Filmus, Hatami, Keller and 4 Lifshitz (2016) on the `p sums of influences of bounded functions for p 2 1; 3 . 2010 Mathematics Subject Classification. Primary: 42C10; Secondary: 41A17, 41A63, 46B07. Key words. Hamming cube, heat semigroup, hypercontractivity, Bernstein{Markov inequality, moment comparison. 1. Introduction Fix n 2 N and let (X; k · kX ) be a Banach space. If p 2 [1; 1), the vector valued Lp norm of a function f : {−1; 1gn ! X is defined as 1=p def 1 X p kfk n = kf(")k : (1) Lp({−1;1g ;X) 2n X "∈{−1;1gn def n n As usual, we denote kfkL1({−1;1g ;X) = max"∈{−1;1g kf(")kX . For a subset A ⊆ f1; : : : ; ng the n Q Walsh function wA : {−1; 1g ! {−1; 1g is the Boolean function given by wA(") = i2A "i, where n n " = ("1;:::;"n) 2 {−1; 1g . Every function f : {−1; 1g ! X admits an expansion of the form X f = fb(A)wA; (2) A⊆{1;:::;ng arXiv:1902.02406v2 [math.FA] 8 Sep 2020 where def 1 X fb(A) = f(δ)wA(δ) 2 X: (3) 2n δ∈{−1;1gn For i 2 f1; : : : ; ng the i-th partial derivative of such a function f is given by def f(") − f("1;:::;"i−1; −"i;"i+1;:::;"n) X @if(") = = fb(A)wA(") (4) 2 A⊆{1;:::;ng i2A P. I. was partially supported by NSF DMS-1856486 and NSF CAREER-1945102. This work was carried out under the auspices of the Simons Algorithms and Geometry (A&G) Think Tank. 1 2 and satisfies @i f = @if. Therefore, the hypercube Laplacian of f is defined as n def X X ∆f = @if = jAjfb(A)wA: (5) i=1 A⊆{1;:::;ng −t∆ Finally, the action of the discrete heat semigroup fe gt>0 on the function f is given by −t∆ def X −tjAj 8 t > 0; e f = e fb(A)wA: (6) A⊆{1;:::;ng A straightforward calculation shows that the heat semigroup can equivalently be expressed as 1 X X X X e−t∆f(") = e−tjBj(1 − e−t)n−|Bjf " e + δ e ; (7) 2n j j j j δ∈{−1;1gn B⊆{1:::;ng j2B j2f1;:::;ngrB n where fe1; : : : ; eng is the orthonormal basis of R , which by convexity implies that for every t > 0 −t∆ n n and p 2 [1; 1], ke fkLp({−1;1g ;X) 6 kfkLp({−1;1g ;X). Identity (7) also has a useful probabilistic n n interpretation. For a fixed " 2 {−1; 1g and t > 0, consider a random vector η 2 {−1; 1g such that 1+e−t each coordinate ηi is chosen independently to coincide with "i with probability 2 and with −"i 1−e−t −t∆ with probability 2 . Then, the value e f(") is the expectation of the random vector f(η). The main purpose of this paper is to investigate finer contractivity properties of the heat semi- group under suitable assumptions on the spectrum of the function f and the geometry of the target space (X; k · kX ). The common feature in the proofs of most of the following results is a duality argument inspired by classical work of Figiel (see [MS86, Theorem 14.6]), which allows the self- improvement of contractivity properties of the heat semigroup relying on suitable inequalities from classical approximation theory and complex analysis. All Banach spaces in the ensuing discussion will be assumed to be over the field of complex numbers. In the rest of the introduction, we proceed to describe our results in decreasing order of generality. In Section 1.1, we present estimates for functions with spectrum bounded from above and values in a general Banach space. In Section 1.2, we improve the bounds of Section 1.1 under the additional assumption that the target space (X; k·kX ) is K-convex (we postpone the relevant definitions until Section 1.2). We also present a new proof of a theorem of Mendel and Naor [MN14] related to the heat smoothing conjecture. Finally, in Section 1.3 we present explicit estimates which hold true for scalar valued functions. These include various Bernstein{Markov type inequalities and their reverses, estimates on the influences of bounded functions and moment comparison results. 1.1. Estimates for a general Banach space. Fix n 2 N and let (X; k · kX ) be a Banach space. If d 2 f0; 1 : : : ; ng, we say that a function f : {−1; 1gn ! X has degree at most d if fb(A) = 0 when jAj > d and we say that f belongs in the d-th tail space if fb(A) = 0 when jAj < d. Finally, we say that f is d-homogeneous if fb(A) = 0 when jAj 6= d. 1.1.1. A lower bound on the decay of the heat semigroup. The following theorem establishes a lower bound on the decay of the heat semigroup acting on functions of low degree. Theorem 1. Fix n; d 2 N with d 2 f1; : : : ; ng and let (X; k · kX ) be a Banach space. For every p 2 [1; 1] and every function f : {−1; 1gn ! X of degree at most d, we have −t∆ 1 8 t 0; ke fk n kfk n ; (8) > Lp({−1;1g ;X) > t Lp({−1;1g ;X) Td(e ) where Td is the d-th Chebyshev polynomial of the first kind. 2 We note that a weaker bound in the spirit of Theorem1, attributed partially to Oleszkiewicz, was established in [FHKL16, Lemma 5.4] (see Remark 18 below for a comparison with Theorem1). Using Theorem1 and the hypercontractivity of the discrete heat semigroup (see [Bon70]), we deduce the following moment comparison for functions of low degree. Corollary 2. Fix n; d 2 N with d 2 f1; : : : ; ng and let (X; k · kX ) be a Banach space. For every p > q > 1 and every function f : {−1; 1gn ! X of degree at most d, we have rp − 1 kfk n T kfk n : (9) Lp({−1;1g ;X) 6 d q − 1 Lq({−1;1g ;X) To the extent of our knowledge, the best previously known moment comparison for general vector valued functions of low degree on the discrete cube can be extracted from an argument in the monograph [KW92] of Kwapie´nand Woyczy´nski.In Remark 19 below, we quantify their argument and show that the bounds of [KW92, Proposition 6.5.1] are weaker than those of Corollary2. Another application of Theorem1 is a refinement of a celebrated inequality on the discrete cube due to Pisier [Pis86]. In connection with his work on nonlinear type, Pisier showed that for every n Banach space (X; k · kX ), every p 2 [1; 1] and every function f : {−1; 1g ! X, we have n 1 X 1 X X p 1=p f − f(δ) (log n + 1) δi@if : (10) n n 6 n n 2 Lp({−1;1g ;X) 2 Lp({−1;1g ;X) δ∈{−1;1gn δ∈{−1;1gn i=1 For X = R, the right hand side of (10) is equivalent to the Lp norm of the gradient of f due to Khintchine's inequality [Khi23], thus (10) can be understood as a vector valued Poincar´einequality. The dependence on the dimension n in Pisier's inequality (10) for various classes of spaces X is fundamental in investigations in the nonlinear geometry of Banach spaces and the Ribe program (see [Nao12] for a detailed discussion around this topic). For general Banach spaces, Talagrand [Tal93] has proven that the factor log n in (10) is asymptotically optimal for every p 2 [1; 1), whereas Wagner [Wag00] has shown that when p = 1, Pisier's inequality holds with an absolute constant. Here we show the following refinement of Pisier's inequality for functions of low degree. Theorem 3. Fix n; d 2 N with d 2 f1; : : : ; ng and let (X; k · kX ) be a Banach space. For every p 2 [1; 1) and every function f : {−1; 1gn ! X of degree at most d, we have n 1 X 1 X X p 1=p f − f(δ) 3(log d + 1) δi@if (11) n n 6 n n 2 Lp({−1;1g ;X) 2 Lp({−1;1g ;X) δ∈{−1;1gn δ∈{−1;1gn i=1 and the log d factor is asymptotically sharp for every p 2 [1; 1).
Recommended publications
  • Walsh-Like Functions and Their Relations
    WaIsh-like functions and their relations B.J. Falkowski S.Rahardja Indexing terms: Discrete transforms, Walshfunctions, Haar functions form except that the absolute value of the output is Abstract: A new discrete transform, the ‘Haar- taken before applying to the next stage. However, the Walsh transform’, has been introduced. Similar to rapid transform is nonorthogonal and does not have an well known Walsh and non-normalised Haar inverse. Another modified transform is based on a transforms, the new transform assumes only +1 hybrid version of the Haar and Walsh transforms [2, and -1 values, hence it is a Walsh-like function 111. This transform is derived from different linear and can be used in different applications of combinations of the basis Haar functions with an digital signal and image processing. In particular, appropriate scaling factor. Such a combinatioii of basis it is extremely well suited to the processing of functions have been found advantageous for feature two-valued binary logic signals. Besides being a selection and pattern recognition. The rationalised ver- discrete transform on its own, the proposed sion of this transform has also been introduced [12]. transform can also convert Haar and Walsh Another family of orthogonal functions related to the spectra uniquely between themselves. Besides the Walsh and Haar functions has been introduced [13-15]1. fast algorithm that can be implemented in the They are called bridge functions and can be generated form of in-place flexible architecture, the new by copy theory originated from work by Swick [16] for transform may be conveniently calculated using Walsh functions.
    [Show full text]
  • The Heisenberg-Weyl Group W (Z2 )
    Symmetry and Sequence Design I: m The Heisenberg-Weyl Group W (Z2 ) Robert Calderbank Stephen Howard Bill Moran Princeton University Defence Science & Technology Melbourne University Organization Australia Maximal X - Z = H−1XH Commutative Subgroup Walsh Dirac Orthonormal Basis - Sequences Sequences Supported by Defense Advanced Research Projects Agency and Air Force Office of Scientific Research D4: The Symmetry Group of the Square 0 1 1 0 Generated by matrices x = ( 1 0 ) and z = 0 −1 π xz = 0 −1 anticlockwise rotation by 1 0 2 1 0 z = 0 −1 reflection in the horizontal axis D4 is the set of eight 2 × 2 matrices ε D(a, b) given by 0 1 a 1 0 b ε D(a, b) = ε ( 1 0 ) 0 −1 where ε = ±1 and a, b = 0 or 1. 2 2 x = z = I2 1 1 1 zx = −1 ( 1 ) = −1 # xz = −zx 1 1 −1 xz = ( 1 ) −1 = 1 The Hadamard Transform H = √1 + + reflects the lattice of subgroups across the central 2 2 + − axis of symmetry D4 2 −1 H2 = I2 and H2 = H2 h±xi hxzi h±zi H2xH2 = z hxi h−xi h−I2i h−zi hzi H2zH2 = x hI2i a b a b a b ab b a H2[εx z ]H2 = ε(H2x H2)(H2z H2) = εz x = (−1) x z ab H2[εD(a, b)]H2 = (−1) εD(b, a) Kronecker Products of Matrices Given a p × p matrix X = [xij ] and a q × q matrix Y = [Yij ], the Kronecker products X ⊗ Y is defined by x11Y ... x1pY .
    [Show full text]
  • A Multiscale Model of Nucleic Acid Imaging
    Scientific Visualization, 2020, volume 12, number 3, pages 61 - 78, DOI: 10.26583/sv.12.3.06 A multiscale model of nucleic acid imaging I.V. Stepanyan1 Institute of Machine Science named after A.A.Blagonravov of the RAS 1 ORCID: 0000-0003-3176-5279, [email protected] Abstract The paper describes new results in the field of algebraic biology, where matrix methods are used [Petukhov, 2008, 2012, 2013; Petuhov, He, 2010] with the transition from matrix algebra to discrete geometry and computer visualization of the genetic code. The algorithms allow to display the composition of sequences of nitrogenous bases in parametric spaces of various dimensions. Examples of visualization of the nucleotide composition of genetic se- quences of various species of living organisms are given. The analysis was carried out in the spaces of binary orthogonal Walsh functions taking into account the physical and chemical parameters of the nitrogen bases. The results are compared with the rules of Erwin Chargaff concerning genetic sequences in the composition of DNA molecules. The developed method makes it possible to substantiate the relationship between DNA and RNA molecules with fractal and other geometric mosaics, reveals the orderliness and symmetries of polynucleotide chains of nitrogen bases and the noise immunity of their visual representations in the orthog- onal coordinate system. The proposed methods can serve to simplify the researchers' percep- tion of long chains of nitrogenous bases through their geometrical visualization in parametric spaces of various dimensions, and also serve as an additional criterion for classifying and identifying interspecific relationships. Keywords: visualization algorithms, Walsh functions, Chargaff’s rules, multidimension- al analysis, nucleotide composition, fractals, bioinformatics, DNA, chromosomes, symme- tries.
    [Show full text]
  • Recent Developments in the Theory of Walsh Series
    I nternat. J. Math. & Math. Sci. 625 Vol. 5 No. 4 (I982) 625-673 RECENT DEVELOPMENTS IN THE THEORY OF WALSH SERIES WILLIAM R. WADE Department of Mathematics University of Tennessee Knoxville, Tennessee 37916 U.S.A. (Received May 20, 1982) ABSTRACT. We survey research done on the theory of Walsh series during the decade 1971-1981. Particular attention is given to convergence of Walsh-Fourier series, gap Walsh series, growth of Walsh-Fourier coefficients, dyadic differentiation, and uniqueness of Walsh series. KEY WORDS AND PHRASES. Walsh-Paley system, dyadic group, maximal functns, dyadic Hp space, BMO, Vilenkin gups, weak type (p,p) dyadic differentiation. 980 MATHEMATICS SUBJECT CLASSIFICATION CODES. 42C10, 43A75. I. INTRODUCTION. This article surveys recent results on Walsh series. To avoid duplication of material appearing in Balaov and Rubintein [1970], a decision was made to concen- trate on the decade 1971-1981. References to earlier work will be made when neces- sary to relate what is herein reported to that which preceeded it. Discussion of the relationships between this material and the general theory of orthogonal series has been left to those more qualified for this task (e.g., Ul'janov [1972], Olevskii [1975] and Bokarev [1978b])o In addition to this introductory section, there remain five sections: II. Walsh-Fourier Series, III. Approximation by Walsh Series, IV. Walsh-Fourier Coefficients, V. Dyadic Differentiation, and VI. Uniqueness. These sections have been further divided into consecutively numbered subsections, each dealing with a 626 W.R. WADE particular facet of the subject and each carrying a descriptive title to help the reader quickly find those parts which interest him most.
    [Show full text]
  • A Demonstration of the Use of Walsh Functions for Multiplexed Imaging
    Calhoun: The NPS Institutional Archive Theses and Dissertations Thesis Collection 1990-12 A demonstration of the use of Walsh functions for multiplexed imaging McKenzie, Robert Hugh, III Monterey, California: Naval Postgraduate School http://hdl.handle.net/10945/27636 NAVAL POSTGRADUATE SCHOOL " Monterey, California AD-A246 138 ft LECTE i R ADt' FEB 2 0, 199 2 U THESIS A DEMONSTRATION OF THE USE OF WALSH FUNCTIONS FOR MULTIPLEXED IMAGING by Robert Hugh McKenzie III DECEMBER 1990 Thesis Advisor: David S. Davis Approved for public release: Distribution is unlimited 92-03974 92 2 NCLASSIFIED CURITY CLASS!FICATION OF THIS PAGE i i i iiN I Form Approved REPORT DOCUMENTATION PAGE OMB No 0704-0188 a REPORT SECURITY CLASSIFiCATION lb RESTRICT:VE MARK!NGS Unclassified a SECURITY CLASSIFICATION AUTHORITY 3 DISTRIBUTION ,AVAI.ABILITY OF EPORT Approved for pubi c release: b DECLASSIFICATION! DOWNGRADING SCHEDULE Distribution is unlimited PERFORMING ORGANIZATION REPORT NUMBER(S) S MONITORING ORGANIZATION REPORT NUMBER(S) a NAME OF PERFORMING ORGANIZATION r6b OFFICE SYMBOL 7a NAME OF MONITORING ORGANiZATION 4aval Postgraduate School I6Dv(If applicable) Naval Postgraduate School ,c.ADDRESS (City, State, and ZIPCode) 7b ADDRESS (City, State, and ZIP Code) Monterey, CA 93943-5000 Monterey, CA 93943-5000 Ia NAME OF FUNDING/SPONSORING r8b OFFICE SYMBOL 9 PROCUREMENT INSTRUMENT IDENTIFICATION NU.VBER ORGANIZATIONj (ifapplicable) c. ADDRESS (City, State, and ZIP Code) 10 SOURCE OF FUNDING NUMBERS PROGRAM IPROjECT ITASK I VORo, UNIT ELEMENT NO NO NO ACCESSiO% NO 1 1 TITLE (Include Security Classification) A DEMONSTRATION OF THE USE OF W 7 SH FUNCTIONS FOR MULTIPLEXED IMAGING "2 P - MCKENZIE III 13a TYPE OF REPORT 13b TIME COVERED 14 D REPORT ~onth.0Day) :5 PAGE CO AJT Master's Thesis FROM _ TO _____ 131 16 SUPPLEMENTARY NOTATION The iews expressed in this thesis are those of the author and do not reflect the official policy or position of the Department of Defense or the U.S.
    [Show full text]
  • Arxiv:1909.01143V2 [Math.NA] 30 Mar 2021
    NON-UNIFORM RECOVERY GUARANTEES FOR BINARY MEASUREMENTS AND INFINITE-DIMENSIONAL COMPRESSED SENSING L. THESING AND A. C. HANSEN ABSTRACT. Due to the many applications in Magnetic Resonance Imaging (MRI), Nuclear Magnetic Reso- nance (NMR), radio interferometry, helium atom scattering etc., the theory of compressed sensing with Fourier transform measurements has reached a mature level. However, for binary measurements via the Walsh trans- form, the theory has long been merely non-existent, despite the large number of applications such as fluorescence microscopy, single pixel cameras, lensless cameras, compressive holography, laser-based failure-analysis etc. Bi- nary measurements are a mainstay in signal and image processing and can be modelled by the Walsh transform and Walsh series that are binary cousins of the respective Fourier counterparts. We help bridging the theoreti- cal gap by providing non-uniform recovery guarantees for infinite-dimensional compressed sensing with Walsh samples and wavelet reconstruction. The theoretical results demonstrate that compressed sensing with Walsh samples, as long as the sampling strategy is highly structured and follows the structured sparsity of the signal, is as effective as in the Fourier case. However, there is a fundamental difference in the asymptotic results when the smoothness and vanishing moments of the wavelet increase. In the Fourier case, this changes the optimal sampling patterns, whereas this is not the case in the Walsh setting. 1. INTRODUCTION Since Shannon’s classical sampling theorem [59, 64], sampling theory has been a widely studied field in signal and image processing. Infinite-dimensional compressed sensing [7, 9, 18, 43, 44, 56, 57] is part of this rich theory and offers a method that allows for infinite-dimensional signals to be recovered from undersampled linear measurements.
    [Show full text]
  • Comparing the Walsh Domain to the Fourier Domain with a Labview-Based Communication Systems Toolkit
    AC 2007-1038: COMPARING THE WALSH DOMAIN TO THE FOURIER DOMAIN WITH A LABVIEW-BASED COMMUNICATION SYSTEMS TOOLKIT Murat Tanyel, Geneva College Murat Tanyel is a professor of engineering at Geneva College. He teaches upper level electrical engineering courses. Prior to Geneva College, Dr. Tanyel taught at Dordt College, Sioux Center, IA from Aug. 1995 to Aug. 2003. Prior to 1995, he was at Drexel University, Philadelphia, PA where he worked for the Enhanced Educational Experience for Engineering Students (E4) project, setting up and teaching laboratory and hands-on computer experiments for engineering freshmen and sophomores. For one semester, he was also a visiting professor at the United Arab Emirates University in Al-Ain, UAE where he helped set up an innovative introductory engineering curriculum. Dr. Tanyel received his B. S. degree in electrical engineering from Bo?aziçi University, Istanbul, Turkey in 1981, his M. S. degree in electrical engineering from Bucknell University, Lewisburg, PA in 1985 and his Ph. D. in biomedical engineering from Drexel University, Philadelphia, PA in 1990. Page 12.382.1 Page © American Society for Engineering Education, 2007 Comparing the Walsh Domain to the Fourier Domain with a LabVIEW Based Communication Systems Toolkit Abstract Although the Fourier Transform is the traditional frequency domain analysis tool in communications systems, other transforms are pointed out in the context of orthogonal series representation of periodic signals. Last year, we became interested in the Walsh Transform and developed virtual instruments (VIs) to compute the Walsh transform, to generate the Walsh basis functions and modified LabVIEW’s natural ordered fast Walsh Transform (FWT) routine to provide Walsh ordered Walsh transforms and a recent publication 1 reported on this expansion of the Communication Systems Toolkit into the Walsh domain.
    [Show full text]
  • International Centre for Theoretical Physics
    IC/95/242 INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS CERTAIN PROBLEMS CONCERNING WAVELETS AND WAVELET PACKETS A.H. Siddiqi INTERNATIONAL ATOMIC ENERGY AGENCY UNITED NATIONS EDUCATIONAL, SCIENTIFIC AND CULTURAL ORGANIZATION MIRAMARE-TRIESTE IC/95/242 International Atomic Energy Agency and United Nations Educational Scientific and Cultural Organization INTERNATIONAL CENTRE FOR THEORETICAL PHYSICS CERTAIN PROBLEMS CONCERNING WAVELETS AND WAVELET PACKETS A.H. Siddiqi1 International Centre for Theoretical Physics, Trieste, Italy. ABSTRACT Wavelet analysis is the outcome of the synthesis of ideas that have emerged in different branches of science and technology, mainly, in the last decade. The concept of wavelet packets, which are superpositions of wavelets, has been introduced a couple of years ago. They form bases which retain many properties of wavelets like orthogonality, smoothness and localization. The Walsh orthonormal system is a special case of wavelet packet. The wavelet packets provide at our disposal a library of orthonormal bases, each of which can be used to analyse a given signal of finite energy. The optimal choice is decided by the entropy criterion. In the present paper we discuss results concerning convergence, coefficients, and approximation of wavelet packets series in general and wavelets series in particular. Wavelet packet techniques for solutions of differential equations are also mentioned. MIRAMARE - TRIESTE September 1995 'Permanent address: Department of Mathematics, Aligarh Muslim University, Aligarh • 202002, India. 1 Introduction Wavelet analysis is the outcome of the synthesis of ideas that have emerged in different branches of Mathematics, Physics and Engineering. Since the days of Fourier, scientists and engineers, besides mathematicians themselves, have made vigorous efforts to represent square integrable functions (signals having finite energy) as linear combination of functions having some nice properties.
    [Show full text]
  • Introduction to the Development of a Radio Astronomy System at Brigham Young University
    Brigham Young University BYU ScholarsArchive Theses and Dissertations 2014-07-01 Introduction to the Development of a Radio Astronomy System at Brigham Young University Daniel Robert Blakley Brigham Young University - Provo Follow this and additional works at: https://scholarsarchive.byu.edu/etd Part of the Astrophysics and Astronomy Commons BYU ScholarsArchive Citation Blakley, Daniel Robert, "Introduction to the Development of a Radio Astronomy System at Brigham Young University" (2014). Theses and Dissertations. 5297. https://scholarsarchive.byu.edu/etd/5297 This Thesis is brought to you for free and open access by BYU ScholarsArchive. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of BYU ScholarsArchive. For more information, please contact [email protected], [email protected]. Introduction to the Development of a Radio Astronomy System at Brigham Young University Daniel Robert Blakley A thesis submitted to the faculty of Brigham Young University in partial fulfillment of the requirements for the degree of Master of Science Victor Migenes, Chair J. Ward Moody Karl Warnick Department of Physics and Astronomy Brigham Young University July 2014 Copyright © 2014 Daniel Robert Blakley All Rights Reserved ABSTRACT Introduction to the Development of a Radio Astronomy System at Brigham Young University Daniel Robert Blakley Department of Physics and Astronomy, BYU Master of Science The intent of this project was founded upon the need to train students in the techniques of radio astronomy with the purpose of establishing a radio telescope in order to teach the principles and practice of radio astronomy. This document describes the theory and research necessary to establish the 1st generation radio telescope system within the Department of Physics and Astronomy at Brigham Young University.
    [Show full text]
  • Walsh-Synthesized Noise Filters for Quantum Logic
    Ball and Biercuk EPJ Quantum Technology (2015)2:11 DOI 10.1140/epjqt/s40507-015-0022-4 R E S E A R C H Open Access Walsh-synthesized noise filters for quantum logic Harrison Ball1,2 and Michael J Biercuk1,2* *Correspondence: [email protected] Abstract 1ARC Centre for Engineered Quantum Systems, School of We study a novel class of open-loop control protocols constructed to perform Physics, The University of Sydney, arbitrary nontrivial single-qubit logic operations robust against time-dependent Sydney, NSW 2006, Australia non-Markovian noise. Amplitude and phase modulation protocols are crafted 2National Measurement Institute, West Lindfield, Sydney, NSW 2070, leveraging insights from functional synthesis and the basis set of Walsh functions. We Australia employ the experimentally validated generalized filter-transfer function formalism in order to find optimized control protocols for target operations in SU(2) by defining a cost function for the filter-transfer function to be minimized through the applied modulation. Our work details the various techniques by which we define and then optimize the filter-synthesis process in the Walsh basis, including the definition of specific analytic design rules which serve to efficiently constrain the available synthesis space. This approach yields modulated-gate constructions consisting of chains of discrete pulse-segments of arbitrary form, whose modulation envelopes possess intrinsic compatibility with digital logic and clocking. We derive novel families of Walsh-modulated noise filters designed to suppress dephasing and coherent amplitude-damping noise, and describe how well-known sequences derived in NMR also fall within the Walsh-synthesis framework. Finally, our work considers the effects of realistic experimental constraints such as limited modulation bandwidth on achievable filter performance.
    [Show full text]
  • Analysis of Periodic Data Using Walsh Functions
    Behavior Research Methods, Instruments, & Computers 1992, 24 (2), 238-247 Analysis of periodic data using Walsh functions HILARY A. BROADBENT and YORK A. MAKSIK Brown University, Providence, Rhode Island (Student Award Winning Paper for 1991) Data often contain periodic components plus random variability. Walsh analysis reveals perio­ dicities by fitting rectangular functions to data. It is analogous to Fourier analysis, which repre­ sents data as sine and cosine functions. For many behavioral measures, Fourier transforms can produce spurious peaks in power spectra and fail to resolve separable components. Walsh analy­ sis is superior for strongly discontinuous data. The strengths and weaknesses of each transform are discussed, and specific algorithms are given for the newer Walsh technique. There are many methods for analyzing periodicities in The Fourier Series data. In the time domain, autocorrelations provide a con­ Fourier analysis is one common method of periodic venient way to look for cyclic patterns. However, such analysis. It consists of fitting a series of orthogonal sine time-domain analyses often fail to resolve multiple perio­ and cosine functions to the data and computing the mag­ dicities superimposed in a single data set, particularly if nitude of each fitted function. The left panel of Figure 2 some frequency components have little amplitude rela­ shows the first eight nonzero frequency components of tive to others. Frequency-domain analyses typically pro­ a Fourier series. A power spectrum provides a convenient vide greater resolution and are therefore often a better quantitative and graphical summary of the transform. It approach than their time-based counterparts; but many is derived from the transform by combining the magni­ frequency-based methods exist, and the choice ofthe best tude coefficients of the sine and cosine functions at each method for a given data set is not always straightforward.
    [Show full text]
  • ISOMETRIES on BANACH SPACES: Function Spaces
    CHAPMAN & HALUCRC Monographs and Surveys in Pure and Applied Mathematics 1 29 ISOMETRIES ON BANACH SPACES: function spaces O 2003 by Chapman & HallICRC CHAPMAN & HALLICRC Monographs and Surveys in Pure and Applied Mathematics Main Editors H. Brezis, Universite' de Paris R.G. Douglas, Texas A&M University A. Jeffrey, University of Newcastle upon Tyne (Founding Editor) Editorial Board R. Aris, University of Minnesota G.I. Barenblatt, University of California at Berkeley H. Begehr, Freie Universitat Berlin P. Bullen, University of British Columbia R.J. Elliott, University of Alberta R.P. Gilbert, University of Delaware R. Glowinski, University of Houston D. Jerison, Massachusetts Institute of Technology K. Kirchgassner, Universitat Stuttgart B. Lawson, State University of New York B. Moodie, University of Alberta L.E. Payne, Cornell University D.B. Pearson, University of Hull G.E Roach, University of Strathclyde I. Stakgold, University of Delaware W.A. Strauss, Brown University J. van der Hoek, University of Adelaide O 2003 by Chapman & HallICRC CHAPMAN & HALUCRC Monographs and Surveys in Pure and Applied Mathematics 1 29 ISOMETRIES ON BANACH SPACES: function spoces RICHARD J. FLEMING JAMES E. JAMISON CHAPMAN & HALUCRC A CRC Press Company Boca Raton London NewYork Washington, D.C. O 2003 by Chapman & HallICRC Library of Congress Cataloging-in-PublicationData Fleming, Richard J. Isometries on Banach spaces : function spaces I by Richard J. Fleming and James E. Jamison. p. cm. - (Chapman & HallICRC monographs and surveys in pure and applied mathematics ; 129) Includes bibliographical references and index. ISBN 1-58488-040-6 (alk. paper) 1. Function spaces. 2. Banach spaces. 3. Isometrics (Mathematics) I.
    [Show full text]