Mathematics College of Arts & Sciences
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Research Statement
D. A. Williams II June 2021 Research Statement I am an algebraist with expertise in the areas of representation theory of Lie superalgebras, associative superalgebras, and algebraic objects related to mathematical physics. As a post- doctoral fellow, I have extended my research to include topics in enumerative and algebraic combinatorics. My research is collaborative, and I welcome collaboration in familiar areas and in newer undertakings. The referenced open problems here, their subproblems, and other ideas in mind are suitable for undergraduate projects and theses, doctoral proposals, or scholarly contributions to academic journals. In what follows, I provide a technical description of the motivation and history of my work in Lie superalgebras and super representation theory. This is then followed by a description of the work I am currently supervising and mentoring, in combinatorics, as I serve as the Postdoctoral Research Advisor for the Mathematical Sciences Research Institute's Undergraduate Program 2021. 1 Super Representation Theory 1.1 History 1.1.1 Superalgebras In 1941, Whitehead dened a product on the graded homotopy groups of a pointed topological space, the rst non-trivial example of a Lie superalgebra. Whitehead's work in algebraic topol- ogy [Whi41] was known to mathematicians who dened new graded geo-algebraic structures, such as -graded algebras, or superalgebras to physicists, and their modules. A Lie superalge- Z2 bra would come to be a -graded vector space, even (respectively, odd) elements g = g0 ⊕ g1 Z2 found in (respectively, ), with a parity-respecting bilinear multiplication termed the Lie g0 g1 superbracket inducing1 a symmetric intertwining map of -modules. -
Introduction to Computational Social Choice
1 Introduction to Computational Social Choice Felix Brandta, Vincent Conitzerb, Ulle Endrissc, J´er^omeLangd, and Ariel D. Procacciae 1.1 Computational Social Choice at a Glance Social choice theory is the field of scientific inquiry that studies the aggregation of individual preferences towards a collective choice. For example, social choice theorists|who hail from a range of different disciplines, including mathematics, economics, and political science|are interested in the design and theoretical evalu- ation of voting rules. Questions of social choice have stimulated intellectual thought for centuries. Over time the topic has fascinated many a great mind, from the Mar- quis de Condorcet and Pierre-Simon de Laplace, through Charles Dodgson (better known as Lewis Carroll, the author of Alice in Wonderland), to Nobel Laureates such as Kenneth Arrow, Amartya Sen, and Lloyd Shapley. Computational social choice (COMSOC), by comparison, is a very young field that formed only in the early 2000s. There were, however, a few precursors. For instance, David Gale and Lloyd Shapley's algorithm for finding stable matchings between two groups of people with preferences over each other, dating back to 1962, truly had a computational flavor. And in the late 1980s, a series of papers by John Bartholdi, Craig Tovey, and Michael Trick showed that, on the one hand, computational complexity, as studied in theoretical computer science, can serve as a barrier against strategic manipulation in elections, but on the other hand, it can also prevent the efficient use of some voting rules altogether. Around the same time, a research group around Bernard Monjardet and Olivier Hudry also started to study the computational complexity of preference aggregation procedures. -
RESOURCES in NUMERICAL ANALYSIS Kendall E
RESOURCES IN NUMERICAL ANALYSIS Kendall E. Atkinson University of Iowa Introduction I. General Numerical Analysis A. Introductory Sources B. Advanced Introductory Texts with Broad Coverage C. Books With a Sampling of Introductory Topics D. Major Journals and Serial Publications 1. General Surveys 2. Leading journals with a general coverage in numerical analysis. 3. Other journals with a general coverage in numerical analysis. E. Other Printed Resources F. Online Resources II. Numerical Linear Algebra, Nonlinear Algebra, and Optimization A. Numerical Linear Algebra 1. General references 2. Eigenvalue problems 3. Iterative methods 4. Applications on parallel and vector computers 5. Over-determined linear systems. B. Numerical Solution of Nonlinear Systems 1. Single equations 2. Multivariate problems C. Optimization III. Approximation Theory A. Approximation of Functions 1. General references 2. Algorithms and software 3. Special topics 4. Multivariate approximation theory 5. Wavelets B. Interpolation Theory 1. Multivariable interpolation 2. Spline functions C. Numerical Integration and Differentiation 1. General references 2. Multivariate numerical integration IV. Solving Differential and Integral Equations A. Ordinary Differential Equations B. Partial Differential Equations C. Integral Equations V. Miscellaneous Important References VI. History of Numerical Analysis INTRODUCTION Numerical analysis is the area of mathematics and computer science that creates, analyzes, and implements algorithms for solving numerically the problems of continuous mathematics. Such problems originate generally from real-world applications of algebra, geometry, and calculus, and they involve variables that vary continuously; these problems occur throughout the natural sciences, social sciences, engineering, medicine, and business. During the second half of the twentieth century and continuing up to the present day, digital computers have grown in power and availability. -
Introduction to Computational Social Choice Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D
Introduction to Computational Social Choice Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D. Procaccia To cite this version: Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D. Procaccia. Introduction to Computational Social Choice. Felix Brandt, Vincent Conitzer, Ulle Endriss, Jérôme Lang, Ariel D. Procaccia, Handbook of Computational Social Choice, Cambridge University Press, pp.1-29, 2016, 9781107446984. 10.1017/CBO9781107446984. hal-01493516 HAL Id: hal-01493516 https://hal.archives-ouvertes.fr/hal-01493516 Submitted on 21 Mar 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. 1 Introduction to Computational Social Choice Felix Brandta, Vincent Conitzerb, Ulle Endrissc, J´er^omeLangd, and Ariel D. Procacciae 1.1 Computational Social Choice at a Glance Social choice theory is the field of scientific inquiry that studies the aggregation of individual preferences towards a collective choice. For example, social choice theorists|who hail from a range of different disciplines, including mathematics, economics, and political science|are interested in the design and theoretical evalu- ation of voting rules. Questions of social choice have stimulated intellectual thought for centuries. Over time the topic has fascinated many a great mind, from the Mar- quis de Condorcet and Pierre-Simon de Laplace, through Charles Dodgson (better known as Lewis Carroll, the author of Alice in Wonderland), to Nobel Laureates such as Kenneth Arrow, Amartya Sen, and Lloyd Shapley. -
Efficient Space-Time Sampling with Pixel-Wise Coded Exposure For
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE 1 Efficient Space-Time Sampling with Pixel-wise Coded Exposure for High Speed Imaging Dengyu Liu, Jinwei Gu, Yasunobu Hitomi, Mohit Gupta, Tomoo Mitsunaga, Shree K. Nayar Abstract—Cameras face a fundamental tradeoff between spatial and temporal resolution. Digital still cameras can capture images with high spatial resolution, but most high-speed video cameras have relatively low spatial resolution. It is hard to overcome this tradeoff without incurring a significant increase in hardware costs. In this paper, we propose techniques for sampling, representing and reconstructing the space-time volume in order to overcome this tradeoff. Our approach has two important distinctions compared to previous works: (1) we achieve sparse representation of videos by learning an over-complete dictionary on video patches, and (2) we adhere to practical hardware constraints on sampling schemes imposed by architectures of current image sensors, which means that our sampling function can be implemented on CMOS image sensors with modified control units in the future. We evaluate components of our approach - sampling function and sparse representation by comparing them to several existing approaches. We also implement a prototype imaging system with pixel-wise coded exposure control using a Liquid Crystal on Silicon (LCoS) device. System characteristics such as field of view, Modulation Transfer Function (MTF) are evaluated for our imaging system. Both simulations and experiments on a wide range of -
Applied Analysis & Scientific Computing Discrete Mathematics
CENTER FOR NONLINEAR ANALYSIS The CNA provides an environment to enhance and coordinate research and training in applied analysis, including partial differential equations, calculus of Applied Analysis & variations, numerical analysis and scientific computation. It advances research and educational opportunities at the broad interface between mathematics and Scientific Computing physical sciences and engineering. The CNA fosters networks and collaborations within CMU and with US and international institutions. Discrete Mathematics & Operations Research RANKINGS DOCTOR OF PHILOSOPHY IN ALGORITHMS, COMBINATORICS, U.S. News & World Report AND OPTIMIZATION #16 | Applied Mathematics Carnegie Mellon University offers an interdisciplinary Ph.D program in Algorithms, Combinatorics, and #7 | Discrete Mathematics and Combinatorics Optimization. This program is the first of its kind in the United States. It is administered jointly #6 | Best Graduate Schools for Logic by the Tepper School of Business (Operations Research group), the Computer Science Department (Algorithms and Complexity group), and the Quantnet Department of Mathematical Sciences (Discrete Mathematics group). #4 | Best Financial Engineering Programs Carnegie Mellon University does not CONTACT discriminate in admission, employment, or Logic administration of its programs or activities on Department of Mathematical Sciences the basis of race, color, national origin, sex, handicap or disability, age, sexual orientation, 5000 Forbes Avenue gender identity, religion, creed, ancestry, -
Discrete Mathematics Discrete Probability
Introduction Probability Theory Discrete Mathematics Discrete Probability Prof. Steven Evans Prof. Steven Evans Discrete Mathematics Introduction Probability Theory 7.1: An Introduction to Discrete Probability Prof. Steven Evans Discrete Mathematics Introduction Probability Theory Finite probability Definition An experiment is a procedure that yields one of a given set os possible outcomes. The sample space of the experiment is the set of possible outcomes. An event is a subset of the sample space. Laplace's definition of the probability p(E) of an event E in a sample space S with finitely many equally possible outcomes is jEj p(E) = : jSj Prof. Steven Evans Discrete Mathematics By the product rule, the number of hands containing a full house is the product of the number of ways to pick two kinds in order, the number of ways to pick three out of four for the first kind, and the number of ways to pick two out of the four for the second kind. We see that the number of hands containing a full house is P(13; 2) · C(4; 3) · C(4; 2) = 13 · 12 · 4 · 6 = 3744: Because there are C(52; 5) = 2; 598; 960 poker hands, the probability of a full house is 3744 ≈ 0:0014: 2598960 Introduction Probability Theory Finite probability Example What is the probability that a poker hand contains a full house, that is, three of one kind and two of another kind? Prof. Steven Evans Discrete Mathematics Introduction Probability Theory Finite probability Example What is the probability that a poker hand contains a full house, that is, three of one kind and two of another kind? By the product rule, the number of hands containing a full house is the product of the number of ways to pick two kinds in order, the number of ways to pick three out of four for the first kind, and the number of ways to pick two out of the four for the second kind. -
Why Theory of Quantum Computing Should Be Based on Finite Mathematics Felix Lev
Why Theory of Quantum Computing Should be Based on Finite Mathematics Felix Lev To cite this version: Felix Lev. Why Theory of Quantum Computing Should be Based on Finite Mathematics. 2018. hal-01918572 HAL Id: hal-01918572 https://hal.archives-ouvertes.fr/hal-01918572 Preprint submitted on 11 Nov 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Why Theory of Quantum Computing Should be Based on Finite Mathematics Felix M. Lev Artwork Conversion Software Inc., 1201 Morningside Drive, Manhattan Beach, CA 90266, USA (Email: [email protected]) Abstract We discuss finite quantum theory (FQT) developed in our previous publica- tions and give a simple explanation that standard quantum theory is a special case of FQT in the formal limit p ! 1 where p is the characteristic of the ring or field used in FQT. Then we argue that FQT is a more natural basis for quantum computing than standard quantum theory. Keywords: finite mathematics, quantum theory, quantum computing 1 Motivation Classical computer science is based on discrete mathematics for obvious reasons. Any computer can operate only with a finite number of bits, a bit represents the minimum amount of information and the notions of one half of the bit, one third of the bit etc. -
Metal Complexes of Penicillin and Cephalosporin Antibiotics
I METAL COMPLEXES OF PENICILLIN AND CEPHALOSPORIN ANTIBIOTICS A thesis submitted to THE UNIVERSITY OF CAPE TOWN in fulfilment of the requirement$ forTown the degree of DOCTOR OF PHILOSOPHY Cape of by GRAHAM E. JACKSON University Department of Chernis try, University of Cape Town, Rondebosch, Cape, · South Africa. September 1975. The copyright of th:s the~is is held by the University of C::i~r:: To\vn. Reproduction of i .. c whole or any part \ . may be made for study purposes only, and \; not for publication. The copyright of this thesis vests in the author. No quotation from it or information derived from it is to be published without full acknowledgementTown of the source. The thesis is to be used for private study or non- commercial research purposes only. Cape Published by the University ofof Cape Town (UCT) in terms of the non-exclusive license granted to UCT by the author. University '· ii ACKNOWLEDGEMENTS I would like to express my sincere thanks to my supervisors: Dr. L.R. Nassimbeni, Dr. P.W. Linder and Dr. G.V. Fazakerley for their invaluable guidance and friendship throughout the course of this work. I would also like to thank my colleagues, Jill Russel, Melanie Wolf and Graham Mortimor for their many useful conrrnents. I am indebted to AE & CI for financial assistance during the course of. this study. iii ABSTRACT The interaction between metal"'.'ions and the penici l)in and cephalosporin antibiotics have been studied in an attempt to determine both the site and mechanism of this interaction. The solution conformation of the Cu(II) and Mn(II) complexes were determined using an n.m.r, line broadening, technique. -
Quality Improvement of Compressed Color Images Using a Probabilistic Approach
QUALITY IMPROVEMENT OF COMPRESSED COLOR IMAGES USING A PROBABILISTIC APPROACH Nobuteru Takao, Shun Haraguchi, Hideki Noda, Michiharu Niimi Kyushu Institute of Technology, Dept. of Systems Design and Informatics, 680-4 Kawazu, Iizuka, 820-8502 Japan E-mail: {takao, haraguchi, noda, niimi}@mip.ces.kyutech.ac.jp ABSTRACT method using information on luminance component which is not downsampled. In compressed color images, colors are usually represented by luminance and chrominance (YCbCr) components. Con- The interpolation aims to recover only resolution of chromi- sidering characteristics of human vision system, chromi- nance components lost by downsampling. Alternatively, we nance (CbCr) components are generally represented more aim to recover not only resolution lost by downsampling coarsely than luminance component. Aiming at possible re- but also precision lost by a coarser quantization, if possi- covery of chrominance components, we propose a model- ble. Aiming at such recovery of chrominance components, based chrominance estimation algorithm where color im- we propose a model-based method where color images are ages are modeled by a Markov random field (MRF). A sim- modeled by a Markov random field (MRF). A simple MRF ple MRF model is here used whose local conditional proba- model is here used whose local conditional probability den- bility density function (pdf) for a color vector of a pixel is a sity function (pdf) for a color vector of a pixel is a Gaussian Gaussian pdf depending on color vectors of its neighboring pdf depending on color vectors of its neighboring pixels. pixels. Chrominance components of a pixel are estimated Chrominance components of a pixel are estimated by max- by maximizing the conditional pdf given its luminance com- imizing the conditional pdf given its luminance component ponent and its neighboring color vectors. -
Numerical Analysis to Quantum Computing
Credit: evv/Shutterstock.com and D-Wave, Inc. and D-Wave, Credit: evv/Shutterstock.com How NASA-USRA collaborations have advanced knowledge in and with the use of new computing technologies. When USRA was created in 1969, later its first task was the management the Chief Scientist at the FROM of the Lunar Science Institute near Center. In February of 1972, Duberg NASA’s Manned Spacecraft Center wrote a memorandum to the senior NUMERICAL (now the Johnson Space Center). management of LaRC, expressing A little more than three years his view that: TO later, USRA began to manage the ANALYSIS Institute for Computer Applications The field of computers and their in Science and Engineering (ICASE) application in the scientific QUANTUM at NASA’s Langley Research Center community has had a profound (LaRC). The rationale for creating effect on the progress of ICASE was developed by Dr. John aerospace research as well as COMPUTING E. Duberg (1917-2002), who was technology in general for the the Associate Director at LaRC and past 15 years. With the advent of “super computers,” based on parallel and pipeline techniques, the potentials for research and problem solving in the future seem even more promising and challenging. The only question is how long will it take to identify the potentials, harness the power, and develop the disciplines necessary to employ such tools effectively.1 Twenty years later, Duberg reflected on the creation of ICASE: By the 1970s, Langley’s computing capabilities had kept pace with the rapidly developing John E. Duberg, Chief Scientist, LaRC; George M. -
Mathematics (MATH) 1
Mathematics (MATH) 1 MATHEMATICS (MATH) MATH 505: Mathematical Fluid Mechanics 3 Credits MATH 501: Real Analysis Kinematics, balance laws, constitutive equations; ideal fluids, viscous 3 Credits flows, boundary layers, lubrication; gas dynamics. Legesgue measure theory. Measurable sets and measurable functions. Prerequisite: MATH 402 or MATH 404 Legesgue integration, convergence theorems. Lp spaces. Decomposition MATH 506: Ergodic Theory and differentiation of measures. Convolutions. The Fourier transform. MATH 501 Real Analysis I (3) This course develops Lebesgue measure 3 Credits and integration theory. This is a centerpiece of modern analysis, providing a key tool in many areas of pure and applied mathematics. The course Measure-preserving transformations and flows, ergodic theorems, covers the following topics: Lebesgue measure theory, measurable sets ergodicity, mixing, weak mixing, spectral invariants, measurable and measurable functions, Lebesgue integration, convergence theorems, partitions, entropy, ornstein isomorphism theory. Lp spaces, decomposition and differentiation of measures, convolutions, the Fourier transform. Prerequisite: MATH 502 Prerequisite: MATH 404 MATH 507: Dynamical Systems I MATH 502: Complex Analysis 3 Credits 3 Credits Fundamental concepts; extensive survey of examples; equivalence and classification of dynamical systems, principal classes of asymptotic Complex numbers. Holomorphic functions. Cauchy's theorem. invariants, circle maps. Meromorphic functions. Laurent expansions, residue calculus. Conformal