Showing 1–36 of 36 results for author: Hammond, K

Flexible Stellarator Physics Facility

Authors: F. I. Parra, S. -G. Baek, M. Churchill, D. R. Demers, B. Dudson, N. M. Ferraro, B. Geiger, S. Gerhardt, K. C. Hammond, S. Hudson, R. Jorge, E. Kolemen, D. M. Kriete, S. T. A. Kumar, M. Landreman, C. Lowe, D. A. Maurer, F. Nespoli, N. Pablant, M. J. Pueschel, A. Punjabi, J. A. Schwartz, C. P. S. Swanson, A. M. Wright

Abstract: We propose to build a Flexible Stellarator Physics Facility to explore promising regions of the vast parameter space of disruption-free stellarator solutions for Fusion Pilot Plants (FPPs). We propose to build a Flexible Stellarator Physics Facility to explore promising regions of the vast parameter space of disruption-free stellarator solutions for Fusion Pilot Plants (FPPs). △ Less

Submitted 4 July, 2024; originally announced July 2024.

Comments: White paper submitted to FESAC subcommittee on Facilities, 8 pages

Satyrn: A Platform for Analytics Augmented Generation

Authors: Marko Sterbentz, Cameron Barrie, Shubham Shahi, Abhratanu Dutta, Donna Hooshmand, Harper Pack, Kristian J. Hammond

Abstract: Large language models (LLMs) are capable of producing documents, and retrieval augmented generation (RAG) has shown itself to be a powerful method for improving accuracy without sacrificing fluency. However, not all information can be retrieved from text. We propose an approach that uses the analysis of structured data to generate fact sets that are used to guide generation in much the same way th… ▽ More Large language models (LLMs) are capable of producing documents, and retrieval augmented generation (RAG) has shown itself to be a powerful method for improving accuracy without sacrificing fluency. However, not all information can be retrieved from text. We propose an approach that uses the analysis of structured data to generate fact sets that are used to guide generation in much the same way that retrieved documents are used in RAG. This analytics augmented generation (AAG) approach supports the ability to utilize standard analytic techniques to generate facts that are then converted to text and passed to an LLM. We present a neurosymbolic platform, Satyrn that leverages AAG to produce accurate, fluent, and coherent reports grounded in large scale databases. In our experiments, we find that Satyrn generates reports in which over 86% accurate claims while maintaining high levels of fluency and coherence, even when using smaller language models such as Mistral-7B, as compared to GPT-4 Code Interpreter in which just 57% of claims are accurate. △ Less

Submitted 17 June, 2024; originally announced June 2024.

Chain of Logic: Rule-Based Reasoning with Large Language Models

Authors: Sergio Servantez, Joe Barrow, Kristian Hammond, Rajiv Jain

Abstract: Rule-based reasoning, a fundamental type of legal reasoning, enables us to draw conclusions by accurately applying a rule to a set of facts. We explore causal language models as rule-based reasoners, specifically with respect to compositional rules - rules consisting of multiple elements which form a complex logical expression. Reasoning about compositional rules is challenging because it requires… ▽ More Rule-based reasoning, a fundamental type of legal reasoning, enables us to draw conclusions by accurately applying a rule to a set of facts. We explore causal language models as rule-based reasoners, specifically with respect to compositional rules - rules consisting of multiple elements which form a complex logical expression. Reasoning about compositional rules is challenging because it requires multiple reasoning steps, and attending to the logical relationships between elements. We introduce a new prompting method, Chain of Logic, which elicits rule-based reasoning through decomposition (solving elements as independent threads of logic), and recomposition (recombining these sub-answers to resolve the underlying logical expression). This method was inspired by the IRAC (Issue, Rule, Application, Conclusion) framework, a sequential reasoning approach used by lawyers. We evaluate chain of logic across eight rule-based reasoning tasks involving three distinct compositional rules from the LegalBench benchmark and demonstrate it consistently outperforms other prompting methods, including chain of thought and self-ask, using open-source and commercial language models. △ Less

Submitted 23 February, 2024; v1 submitted 15 February, 2024; originally announced February 2024.

Lightweight Knowledge Representations for Automating Data Analysis

Authors: Marko Sterbentz, Cameron Barrie, Donna Hooshmand, Shubham Shahi, Abhratanu Dutta, Harper Pack, Andong Li Zhao, Andrew Paley, Alexander Einarsson, Kristian Hammond

Abstract: The principal goal of data science is to derive meaningful information from data. To do this, data scientists develop a space of analytic possibilities and from it reach their information goals by using their knowledge of the domain, the available data, the operations that can be performed on those data, the algorithms/models that are fed the data, and how all of these facets interweave. In this w… ▽ More The principal goal of data science is to derive meaningful information from data. To do this, data scientists develop a space of analytic possibilities and from it reach their information goals by using their knowledge of the domain, the available data, the operations that can be performed on those data, the algorithms/models that are fed the data, and how all of these facets interweave. In this work, we take the first steps towards automating a key aspect of the data science pipeline: data analysis. We present an extensible taxonomy of data analytic operations that scopes across domains and data, as well as a method for codifying domain-specific knowledge that links this analytics taxonomy to actual data. We validate the functionality of our analytics taxonomy by implementing a system that leverages it, alongside domain labelings for 8 distinct domains, to automatically generate a space of answerable questions and associated analytic plans. In this way, we produce information spaces over data that enable complex analyses and search over this data and pave the way for fully automated data analysis. △ Less

Submitted 15 October, 2023; originally announced November 2023.

Improved stellarator permanent magnet designs through combined discrete and continuous optimizations

Authors: K. C. Hammond, A. A. Kaptanoglu

Abstract: A common optimization problem in the areas of magnetized plasmas and fusion energy is the design of magnets to produce a given three-dimensional magnetic field distribution to high precision. When designing arrays of permanent magnets for stellarator plasma confinement, such problems have tens of thousands of degrees of freedom whose solutions, for practical reasons, should be constrained to discr… ▽ More A common optimization problem in the areas of magnetized plasmas and fusion energy is the design of magnets to produce a given three-dimensional magnetic field distribution to high precision. When designing arrays of permanent magnets for stellarator plasma confinement, such problems have tens of thousands of degrees of freedom whose solutions, for practical reasons, should be constrained to discrete spaces. We perform a direct comparison between two algorithms that have been developed previously for this purpose, and demonstrate that composite procedures that apply both algorithms in sequence can produce substantially improved results. One approach uses a continuous, quasi-Newton procedure to optimize the dipole moments of a set of magnets and then projects the solution onto a discrete space. The second uses an inherently discrete greedy optimization procedure that has been enhanced and generalized for this work. The approaches are both applied to design arrays cubic rare-Earth permanent magnets to confine a quasi-axisymmetric plasma with a magnetic field on axis of 0.5 T. The first approach tends to find solutions with higher field accuracy, whereas the second can find solutions with substantially (up to 30%) fewer magnets. When the approaches are combined, they can obtain solutions with magnet quantities comparable to the second approach while matching the field accuracy of the first. △ Less

Submitted 16 February, 2024; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: 14 pages, 13 figures

Journal ref: Computer Physics Communications 299, 109127 (2024)

Algebraic Reasoning About Timeliness

Authors: Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy, Magne Haveraaen, Neil J. Davies, Mikhail Barash, Kevin Hammond, James Chapman

Abstract: Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time bounds, is a central aspect of predictable performance. In this paper, we focus on timeliness using the DELTA-Q Systems Development paradigm (DELTA-QSD, developed by PNSol), which… ▽ More Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e., delivering results within defined time bounds, is a central aspect of predictable performance. In this paper, we focus on timeliness using the DELTA-Q Systems Development paradigm (DELTA-QSD, developed by PNSol), which computes timeliness by modelling systems observationally using so-called outcome expressions. An outcome expression is a compositional definition of a system's observed behaviour in terms of its basic operations. Given the behaviour of the basic operations, DELTA-QSD efficiently computes the stochastic behaviour of the whole system including its timeliness. This paper formally proves useful algebraic properties of outcome expressions w.r.t. timeliness. We prove the different algebraic structures the set of outcome expressions form with the different DELTA-QSD operators and demonstrate why those operators do not form richer structures. We prove or disprove the set of all possible distributivity results on outcome expressions. On our way for disproving 8 of those distributivity results, we develop a technique called properisation, which gives rise to the first body of maths for improper random variables. Finally, we also prove 14 equivalences that have been used in the past in the practice of DELTA-QSD. An immediate benefit is rewrite rules that can be used for design exploration under established timeliness equivalence. This work is part of an ongoing project to disseminate and build tool support for DELTA-QSD. The ability to rewrite outcome expressions is essential for efficient tool support. △ Less

Submitted 21 August, 2023; originally announced August 2023.

Comments: In Proceedings ICE 2023, arXiv:2308.08920

ACM Class: B.8.2; C.4; D.2.4; D.2.8; F.3.2; F.3.1; F.4.1; F.4.3; I.1.1

Journal ref: EPTCS 383, 2023, pp. 35-54

"Explanation" is Not a Technical Term: The Problem of Ambiguity in XAI

Authors: Leilani H. Gilpin, Andrew R. Paley, Mohammed A. Alam, Sarah Spurlock, Kristian J. Hammond

Abstract: There is broad agreement that Artificial Intelligence (AI) systems, particularly those using Machine Learning (ML), should be able to "explain" their behavior. Unfortunately, there is little agreement as to what constitutes an "explanation." This has caused a disconnect between the explanations that systems produce in service of explainable Artificial Intelligence (XAI) and those explanations that… ▽ More There is broad agreement that Artificial Intelligence (AI) systems, particularly those using Machine Learning (ML), should be able to "explain" their behavior. Unfortunately, there is little agreement as to what constitutes an "explanation." This has caused a disconnect between the explanations that systems produce in service of explainable Artificial Intelligence (XAI) and those explanations that users and other audiences actually need, which should be defined by the full spectrum of functional roles, audiences, and capabilities for explanation. In this paper, we explore the features of explanations and how to use those features in evaluating their utility. We focus on the requirements for explanations defined by their functional role, the knowledge states of users who are trying to understand them, and the availability of the information needed to generate them. Further, we discuss the risk of XAI enabling trust in systems without establishing their trustworthiness and define a critical next step for the field of XAI to establish metrics to guide and ground the utility of system-generated explanations. △ Less

Submitted 27 June, 2022; originally announced July 2022.

Design of an arrangement of cubic magnets for a quasi-axisymmetric stellarator experiment

Authors: K. C. Hammond, C. Zhu, K. Corrigan, D. A. Gates, R. Lown, R. Mercurio, T. M. Qian, M. C. Zarnstorff

Abstract: The usage of permanent magnets to shape the confining magnetic field of a stellarator has the potential to reduce or eliminate the need for non-planar coils. As a proof-of-concept for this idea, we have developed a procedure for designing an array of cubic permanent magnets that works in tandem with a set of toroidal-field coils to confine a stellarator plasma. All of the magnets in the design are… ▽ More The usage of permanent magnets to shape the confining magnetic field of a stellarator has the potential to reduce or eliminate the need for non-planar coils. As a proof-of-concept for this idea, we have developed a procedure for designing an array of cubic permanent magnets that works in tandem with a set of toroidal-field coils to confine a stellarator plasma. All of the magnets in the design are constrained to have identical geometry and one of three polarization types in order to simplify fabrication while still producing sufficient field accuracy. We present some of the key steps leading to the design, including the geometric arrangement of the magnets around the device, the procedure for optimizing the polarizations according to the three allowable magnet types, and the choice of magnet types to be used. We apply these methods to design an array of rare-Earth permanent magnets that can be paired with a set of planar toroidal-field coils to confine a quasi-axisymmetric plasma with a toroidal magnetic field strength of about 0.5 T on axis. △ Less

Submitted 16 November, 2022; v1 submitted 15 April, 2022; originally announced April 2022.

Comments: 17 pages, 11 figures

Journal ref: Nuclear Fusion 62, 126065 (2022)

Requirements for Open Political Information: Transparency Beyond Open Data

Authors: Andong Luis Li Zhao, Andrew Paley, Rachel Adler, Harper Pack, Sergio Servantez, Alexander Einarsson, Cameron Barrie, Marko Sterbentz, Kristian Hammond

Abstract: A politically informed citizenry is imperative for a welldeveloped democracy. While the US government has pursued policies for open data, these efforts have been insufficient in achieving an open government because only people with technical and domain knowledge can access information in the data. In this work, we conduct user interviews to identify wants and needs among stakeholders. We further u… ▽ More A politically informed citizenry is imperative for a welldeveloped democracy. While the US government has pursued policies for open data, these efforts have been insufficient in achieving an open government because only people with technical and domain knowledge can access information in the data. In this work, we conduct user interviews to identify wants and needs among stakeholders. We further use this information to sketch out the foundational requirements for a functional political information technical system. △ Less

Submitted 6 December, 2021; originally announced December 2021.

Comments: Presented at AAAI FSS-21: Artificial Intelligence in Government and Public Sector, Washington, DC, USA

Initial operation and data processing on a system for real-time evaluation of Thomson scattering signals on the Large Helical Device

Authors: K. C. Hammond, F. M. Laggner, A. Diallo, S. Doskoczynski, C. Freeman, H. Funaba, D. A. Gates, R. Rozenblat, G. Tchilinguirian, Z. Xing, I. Yamada, R. Yasuhara, G. Zimmer, E. Kolemen

Abstract: A scalable system for real-time analysis of electron temperature and density based on signals from the Thomson scattering diagnostic, initially developed for and installed on the NSTX-U experiment, was recently adapted for the Large Helical Device (LHD) and operated for the first time during plasma discharges. During its initial operation run, it routinely recorded and processed signals for four s… ▽ More A scalable system for real-time analysis of electron temperature and density based on signals from the Thomson scattering diagnostic, initially developed for and installed on the NSTX-U experiment, was recently adapted for the Large Helical Device (LHD) and operated for the first time during plasma discharges. During its initial operation run, it routinely recorded and processed signals for four spatial points at the laser repetition rate of 30 Hz, well within the system's rated capability for 60 Hz. We present examples of data collected from this initial run and describe subsequent adaptations to the analysis code to improve the fidelity of the temperature calculations. △ Less

Submitted 23 June, 2021; v1 submitted 9 January, 2021; originally announced January 2021.

Comments: 5 pages, 5 figures

Journal ref: Review of Scientific Instruments 92, 063523 (2021)

Metaheuristics "In the Large"

Authors: Jerry Swan, Steven Adriaensen, Alexander E. I. Brownlee, Kevin Hammond, Colin G. Johnson, Ahmed Kheiri, Faustyna Krawiec, J. J. Merelo, Leandro L. Minku, Ender Özcan, Gisele L. Pappa, Pablo García-Sánchez, Kenneth Sörensen, Stefan Voß, Markus Wagner, David R. White

Abstract: Following decades of sustained improvement, metaheuristics are one of the great success stories of optimization research. However, in order for research in metaheuristics to avoid fragmentation and a lack of reproducibility, there is a pressing need for stronger scientific and computational infrastructure to support the development, analysis and comparison of new approaches. We argue that, via pri… ▽ More Following decades of sustained improvement, metaheuristics are one of the great success stories of optimization research. However, in order for research in metaheuristics to avoid fragmentation and a lack of reproducibility, there is a pressing need for stronger scientific and computational infrastructure to support the development, analysis and comparison of new approaches. We argue that, via principled choice of infrastructure support, the field can pursue a higher level of scientific enquiry. We describe our vision and report on progress, showing how the adoption of common protocols for all metaheuristics can help liberate the potential of the field, easing the exploration of the design space of metaheuristics. △ Less

Submitted 3 June, 2021; v1 submitted 19 November, 2020; originally announced November 2020.

MSC Class: 68W99

Geometric concepts for stellarator permanent magnet arrays

Authors: K. C. Hammond, C. Zhu, T. Brown, K. Corrigan, D. A. Gates, M. Sibilia

Abstract: The development of stellarators that use permanent magnet arrays to shape their confining magnetic fields has been a topic of recent interest, but the requirements for how such magnets must be shaped, manufactured, and assembled remain to be determined. To address these open questions, we have performed a study of geometric concepts for magnet arrays with the aid of the newly developed MAGPIE code… ▽ More The development of stellarators that use permanent magnet arrays to shape their confining magnetic fields has been a topic of recent interest, but the requirements for how such magnets must be shaped, manufactured, and assembled remain to be determined. To address these open questions, we have performed a study of geometric concepts for magnet arrays with the aid of the newly developed MAGPIE code. A proposed experiment similar to the National Compact Stellarator Experiment (NCSX) is used as a test case. Two classes of magnet geometry are explored: curved bricks that conform to a regular grid in cylindrical coordinates, and hexahedra that conform to the toroidal plasma geometry. In addition, we test constraints on the magnet polarization. While magnet configurations constrained to be polarized normally to a toroidal surface around the plasma are unable to meet the required magnetic field parameters when subject to physical limitations on the strength of present-day magnets, configurations with unconstrained polarizations are shown to satisfy the physics requirements for a targeted plasma. △ Less

Submitted 12 August, 2020; v1 submitted 29 May, 2020; originally announced June 2020.

Comments: 21 pages, 17 figures

Journal ref: Nuclear Fusion 60, 106010 (2020)

Topology optimization of permanent magnets for stellarators

Authors: Caoxiang Zhu, Kenneth Hammond, Thomas Brown, David Gates, Michael Zarnstorff, Keith Corrigan, Marc Sibilia, Eliot Feibush

Abstract: We introduce a topology optimization method to design permanent magnets for advanced stellarators. Recent researches show that permanent magnets have great potentials to simplify stellarator coils. We adopt state-of-the-art numerical techniques to determine the presence of magnets in the entire designing space. The FAMUS code is developed and it can design engineering-feasible permanent magnets fo… ▽ More We introduce a topology optimization method to design permanent magnets for advanced stellarators. Recent researches show that permanent magnets have great potentials to simplify stellarator coils. We adopt state-of-the-art numerical techniques to determine the presence of magnets in the entire designing space. The FAMUS code is developed and it can design engineering-feasible permanent magnets for general stellarators satisfying the constraints of the maximum material magnetization and explicitly forbidden regions. FAMUS has been successfully verified against the previously proposed linear method. Three different permanent magnet designs together with planar TF coils for a half-Tesla NCSX configuration have been obtained for demonstrations. The designs have good accuracy in generating the desired equilibrium and offer considerably large plasma access on the outboard side. The results show that FAMUS is a flexible, advanced numerical tool for future permanent magnet stellarator designs. △ Less

Submitted 11 May, 2020; originally announced May 2020.

Comments: 16 pages, 14 figures

Heat and particle flux detachment with stable plasma conditions in the Wendelstein 7-X stellarator fusion experiment

Authors: Marcin Jakubowski, Ralf König, Oliver Schmitz, Yuhe Feng, Maciej Krychowiak, Matthias Otte, Felix Reimold, Andreas Dinklage, Peter Drewelow, Florian Effenberg, Yu Gao, Holger Niemann, Georg Schlisio, Andrea Pavone, Thomas Sunn Pedersen, Uwe Wenzel, Daihong Zhang, Sebastijan Brezinsek, Sergey Bozhenkov, Kai Jakob Brunner, Daniel Carralero, Ken Hammond, Golo Fuchert, Jens Knauer, Andreas Langenberg , et al. (8 additional authors not shown)

Abstract: Reduction of particle and heat fluxes to plasma facing components is critical to achieve stable conditions for both the plasma and the plasma material interface in magnetic confinement fusion experiments. A stable and reproducible plasma state in which the heat flux is almost completely removed from the material surfaces was discovered recently in the Wendelstein 7-X stellarator experiment. At the… ▽ More Reduction of particle and heat fluxes to plasma facing components is critical to achieve stable conditions for both the plasma and the plasma material interface in magnetic confinement fusion experiments. A stable and reproducible plasma state in which the heat flux is almost completely removed from the material surfaces was discovered recently in the Wendelstein 7-X stellarator experiment. At the same time also particle fluxes are reduced such that material erosion can be mitigated. Sufficient neutral pressure was reached to maintain stable particle exhaust for density control in this plasma state. This regime could be maintained for up to 28 seconds with a minimum feedback control. △ Less

Submitted 10 January, 2020; v1 submitted 7 January, 2020; originally announced January 2020.

Comments: Aimed at Physical Review Letters

Large vacuum flux surfaces generated by tilted planar coils

Authors: Jessica L. Li, Jacob Austin, Ben Y. Israeli, Kenneth C. Hammond, Francesco A. Volpe

Abstract: Helical equilibria can be generated by arrangements of planar coils similar to tokamaks, but without a central solenoid and with the toroidal field (TF) coils tilted with respect to the vertical. This is known from earlier numerical works, e.g. P.E. Moroz, Phys.Plasmas 2, 4269 (1995). However, such concept tends to need large coils (of low aspect ratio) but form small plasmas (of large aspect rati… ▽ More Helical equilibria can be generated by arrangements of planar coils similar to tokamaks, but without a central solenoid and with the toroidal field (TF) coils tilted with respect to the vertical. This is known from earlier numerical works, e.g. P.E. Moroz, Phys.Plasmas 2, 4269 (1995). However, such concept tends to need large coils (of low aspect ratio) but form small plasmas (of large aspect ratio). Here it is numerically shown that larger, more attractive vacuum flux surfaces -- relative to the size of the device -- can be generated by carefully optimizing the inclination of the TF coils and currents in the various coil-sets. Vacuum configurations of aspect ratios as low as 4 are found for 6 tilted TF circular coils. Higher numbers of TF coils have advantages (smaller effective ripple) and disadvantages (lower rotational transform, smaller plasma). Finally, the aspect-ratio $A$ of the vacuum flux surfaces is quantified as a function of the ratio $A_c$ of the coil-radius to the radial location of the coil-center. It is found that, in order to minimize $A$, it is beneficial to interlink or marginally interlink the TF coils ($A_c \lesssim 1$). △ Less

Submitted 10 December, 2018; v1 submitted 27 September, 2018; originally announced September 2018.

Comments: 21 pages, 12 figures

NFL Injuries Before and After the 2011 Collective Bargaining Agreement (CBA)

Authors: Zachary O. Binney, Kyle E. Hammond, Mitchel Klein, Michael Goodman, A. Cecile J. W. Janssens

Abstract: The National Football League's (NFL) 2011 collective bargaining agreement (CBA) with its players placed a number of contact and quantity limitations on practices and workouts. Some coaches and others have expressed a concern that this has led to poor conditioning and a subsequent increase in injuries. We sought to assess whether the 2011 CBA's practice restrictions affected the number of overall,… ▽ More The National Football League's (NFL) 2011 collective bargaining agreement (CBA) with its players placed a number of contact and quantity limitations on practices and workouts. Some coaches and others have expressed a concern that this has led to poor conditioning and a subsequent increase in injuries. We sought to assess whether the 2011 CBA's practice restrictions affected the number of overall, conditioning-dependent, and/or non-conditioning-dependent injuries in the NFL or the number of games missed due to those injuries. The study population was player-seasons from 2007-2016. We included regular season, non-illness, non-head, game-loss injuries. Injuries were identified using a database from Football Outsiders. The primary outcomes were overall, conditioning-dependent and non-conditioning-dependent injury counts by season. We examined time trends in injury counts before (2007-2010) and after (2011-2016) the CBA using a Poisson interrupted time series model. The number of game-loss regular season, non-head, non-illness injuries grew from 701 in 2007 to 804 in 2016 (15% increase). The number of regular season weeks missed exhibited a similar increase. Conditioning-dependent injuries increased from 197 in 2007 to 271 in 2011 (38% rise), but were lower and remained relatively unchanged at 220-240 injuries per season thereafter. Non-conditioning injuries decreased by 37% in the first three years of the new CBA before returning to historic levels in 2014-2016. Poisson models for all, conditioning-dependent, and non-conditioning-dependent game-loss injury counts did not show statistically significant or meaningful detrimental changes associated with the CBA. We did not observe an increase in injuries following the 2011 CBA. Other concurrent injury-related rule and regulation changes limit specific causal inferences about the practice restrictions, however. △ Less

Submitted 3 May, 2018; originally announced May 2018.

Comments: 22 pages, 4 figures, 5 tables; conference presentation at JSM 2018; lay version at FootballOutsiders.com

Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis

Authors: František Farka, Ekaterina Komendantskya, Kevin Hammond

Abstract: First-order resolution has been used for type inference for many years, including in Hindley- Milner type inference, type-classes, and constrained data types. Dependent types are a new trend in functional languages. In this paper, we show that proof-relevant first-order resolution can play an important role in automating type inference and term synthesis for dependently typed languages. We propose… ▽ More First-order resolution has been used for type inference for many years, including in Hindley- Milner type inference, type-classes, and constrained data types. Dependent types are a new trend in functional languages. In this paper, we show that proof-relevant first-order resolution can play an important role in automating type inference and term synthesis for dependently typed languages. We propose a calculus that translates type inference and term synthesis problems in a dependently typed language to a logic program and a goal in the proof-relevant first-order Horn clause logic. The computed answer substitution and proof term then provide a solution to the given type inference and term synthesis problem. We prove the decidability and soundness of our method. The paper is under consideration for acceptance in TPLP. △ Less

Submitted 30 April, 2018; originally announced April 2018.

Comments: Paper presented at the 34nd International Conference on Logic Programming (ICLP 2018), Oxford, UK, July 14 to July 17, 2018 18 pages, LaTeX, 0 PDF figures

Spectra of Tridiagonal Matrices

Authors: J. J. P. Veerman, D. K. Hammond, Pablo E. Baldivieso

Abstract: We characterize the eigenvalues and eigenvectors of a class of complex valued tridiagonal $n$ by $n$ matrices subject to arbitrary boundary conditions, i.e. with arbitrary elements on the first and last rows of the matrix. %By boundary conditions, we mean the first and last row of the matrix. For large $n$, we show there are up to $4$ eigenvalues, the so-called \emph{special eigenvalues}, whose be… ▽ More We characterize the eigenvalues and eigenvectors of a class of complex valued tridiagonal $n$ by $n$ matrices subject to arbitrary boundary conditions, i.e. with arbitrary elements on the first and last rows of the matrix. %By boundary conditions, we mean the first and last row of the matrix. For large $n$, we show there are up to $4$ eigenvalues, the so-called \emph{special eigenvalues}, whose behavior depends sensitively on the boundary conditions. The other eigenvalues, the so-called \emph{regular eigenvalues} vary very little as function of the boundary conditions. For large $n$, we determine the regular eigenvalues up to ${\cal O}(n^{-2})$, and the special eigenvalues up to ${\cal O}(κ^n)$, for some $κ\in (0,1)$. The components of the eigenvectors are determined up to ${\cal O}(n^{-1})$. The matrices we study have important applications throughout the sciences. Among the most common ones are arrays of linear dynamical systems with nearest neighbor coupling, and discretizations of second order linear partial differential equations. In both cases, we give examples where specific choices of boundary conditions substantially influence leading eigenvalues, and therefore the global dynamics of the system. △ Less

Submitted 13 December, 2017; originally announced January 2018.

Comments: 20 pages, 5 figures

MSC Class: 15A18; 34B09; 35P05

Overdense microwave plasma heating in the CNT stellarator

Authors: K. C. Hammond, R. R. Diaz-Pacheco, A. Koehn, F. A. Volpe, Y. Wei

Abstract: Overdense plasmas have been attained with 2.45 GHz microwave heating in the low-field, low-aspect-ratio CNT stellarator. Densities higher than four times the ordinary (O) mode cutoff density were measured with 8 kW of power injected in the O-mode and, alternatively, with 6.5 kW in the extraordinary (X) mode. The temperature profiles peak at the plasma edge. This was ascribed to collisional dam**… ▽ More Overdense plasmas have been attained with 2.45 GHz microwave heating in the low-field, low-aspect-ratio CNT stellarator. Densities higher than four times the ordinary (O) mode cutoff density were measured with 8 kW of power injected in the O-mode and, alternatively, with 6.5 kW in the extraordinary (X) mode. The temperature profiles peak at the plasma edge. This was ascribed to collisional dam** of the X-mode at the upper hybrid resonant layer. The X-mode reaches that location by tunneling, mode-conversions or after polarization-scrambling reflections off the wall and in-vessel coils, regardless of the initial launch being in O- or X-mode. This interpretation was confirmed by full-wave numerical simulations. Also, as the CNT plasma is not completely ionized at these low microwave power levels, electron density was shown to increase with power. A dependence on magnetic field strength was also observed (for O-mode launch) and discussed. △ Less

Submitted 8 August, 2017; originally announced August 2017.

Comments: 24 pages, 12 figures

Changes in lipid membranes may trigger amyloid toxicity in Alzheimer's disease

Authors: Elizabeth Drolle, Alexander Negoda, Keely Hammond, Evgeny Pavlov, Zoya Leonenko

Abstract: Amyloid beta peptides (A\b{eta}), implicated in Alzheimers disease (AD), interact with the cellular membrane and induce amyloid toxicity. The composition of cellular membranes changes in aging and AD. We designed multi component lipid models to mimic healthy and diseased states of the neuronal membrane. Using atomic force microscopy (AFM), Kelvin probe force microscopy (KPFM) and black lipid membr… ▽ More Amyloid beta peptides (A\b{eta}), implicated in Alzheimers disease (AD), interact with the cellular membrane and induce amyloid toxicity. The composition of cellular membranes changes in aging and AD. We designed multi component lipid models to mimic healthy and diseased states of the neuronal membrane. Using atomic force microscopy (AFM), Kelvin probe force microscopy (KPFM) and black lipid membrane (BLM) techniques, we demonstrated that these model membranes differ in their nanoscale structure and physical properties, and interact differently with A\b{eta}. Based on our data, we propose a new hypothesis that changes in lipid membrane due to aging and AD may trigger amyloid toxicity through electrostatic mechanisms, similar to the accepted mechanism of antimicrobial peptide action. Understanding the role of the membrane changes as a key activating amyloid toxicity may aid in the development of a new avenue for the prevention and treatment of AD. △ Less

Submitted 26 April, 2017; originally announced April 2017.

High-$β$ equilibrium and ballooning stability of the low aspect ratio CNT stellarator

Authors: K. C. Hammond, S. A. Lazerson, F. A. Volpe

Abstract: The existence and ballooning-stability of low aspect ratio stellarator equilibria is predicted for CNT with the aid of 3D numerical tools. In addition to having a low aspect ratio, CNT is characterized by a low magnetic field and small plasma volume. Also, highly overdense plasmas were recently heated in CNT by means of microwaves. These characteristics suggest that CNT might attain relatively hig… ▽ More The existence and ballooning-stability of low aspect ratio stellarator equilibria is predicted for CNT with the aid of 3D numerical tools. In addition to having a low aspect ratio, CNT is characterized by a low magnetic field and small plasma volume. Also, highly overdense plasmas were recently heated in CNT by means of microwaves. These characteristics suggest that CNT might attain relatively high values of plasma $β$ and thus be of use in the experimental study of stellarator stability to high-$β$ instabilities such as ballooning modes. As a first step in that direction, here the ballooning stability limit is found numerically. Depending on the particular magnetic configuration we expect volume-averaged $β$ limits in the range 0.9-3.0%, and possibly higher, and observe indications of a second region of ballooning stability. As the aspect ratio is reduced, stability is found to increase in some configurations and decrease in others. Energy-balance estimates using stellarator scaling laws indicate that the lower $β$ limit may be attainable with overdense heating at powers of of 40 to 100 kW. The present study serves the additional purpose of testing VMEC and other stellarator codes at high values of $β$ and at low aspect ratios. For this reason, the study was carried out both for free boundary, for maximum fidelity to experiment, as well as with a fixed boundary, as a numerical test. △ Less

Submitted 11 April, 2017; v1 submitted 29 December, 2016; originally announced December 2016.

Comments: 8 pages, 10 figures

Journal ref: Physics of Plasmas 24, 042510 (2017)

Coinductive Soundness of Corecursive Type Class Resolution

Authors: František Farka, Ekaterina Komendantskaya, Kevin Hammond

Abstract: Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed, with the goal of allowing (co)recursive dictionary construction where resolution does not termi- nate. This paper shows, for the first time, that corecursive type class resolution and its extensions are coinductively so… ▽ More Horn clauses and first-order resolution are commonly used to implement type classes in Haskell. Several corecursive extensions to type class resolution have recently been proposed, with the goal of allowing (co)recursive dictionary construction where resolution does not termi- nate. This paper shows, for the first time, that corecursive type class resolution and its extensions are coinductively sound with respect to the greatest Herbrand models of logic programs and that they are induc- tively unsound with respect to the least Herbrand models. We establish incompleteness results for various fragments of the proof system. △ Less

Submitted 8 December, 2016; v1 submitted 18 August, 2016; originally announced August 2016.

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

Report number: LOPSTR/2016/2

Molecular Dynamics simulations and Kelvin Probe Force microscopy to study of cholesterol-induced electrostatic nanodomains in complex lipid mixtures

Authors: Elizabeth Drolle, W. F. D. Bennett, K. Hammond, Edward Lyman, Mikko Karttunen, Zoya Leonenko

Abstract: The molecular arrangement of lipids and proteins within biomembranes and monolayers gives rise to complex film morphologies as well as regions of distinct electrical surface potential, topographical and electrostatic nanoscale domains. To probe these nanodomains in soft matter is a challenging task both experimentally and theoretically. This work addresses the effects of cholesterol, lipid composi… ▽ More The molecular arrangement of lipids and proteins within biomembranes and monolayers gives rise to complex film morphologies as well as regions of distinct electrical surface potential, topographical and electrostatic nanoscale domains. To probe these nanodomains in soft matter is a challenging task both experimentally and theoretically. This work addresses the effects of cholesterol, lipid composition, lipid charge, and lipid phase on the monolayer structure and the electrical surface potential distribution. Atomic Force Microscopy (AFM) was used to resolve topographical nanodomains and Kelvin Probe Force Microscopy (KPFM) to resolve electrical surface potential of these nanodomains in lipid monolayers. Model monolayers composed of dipalmitoylphosphatidylcholine (DPPC), 1,2-dioleoyl-sn-glycero-3-phosphocholine (DOPC), 1-palmitoyl-2-oleoyl-sn-glycero-3-phosphocholine (POPC), 1,2-dioleoyl-sn-glycero-3-[phospho-rac-(3-lysyl(1-glycerol))] (DOPG), sphingomyelin, and cholesterol were studied. It is shown that cholesterol changes nanoscale domain formation, affecting both topography and electrical surface potential. The molecular basis for differences in electrical surface potential was addressed with atomistic molecular dynamics (MD). MD simulations qualitatively match the experimental results, with 100s of mV difference in electrostatic potential between liquid-disordered bilayer (Ld, less cholesterol and lower chain order) and a liquid-ordered bilayer (Lo, more cholesterol and higher chain order). Importantly, the difference in electrostatic properties between Lo and Ld phases suggests a new mechanism by which membrane composition couples to membrane function. △ Less

Submitted 24 November, 2016; v1 submitted 30 June, 2016; originally announced July 2016.

Onion-peeling inversion of stellarator images

Authors: K. C. Hammond, R. Diaz-Pacheco, Y. Kornbluth, F. A. Volpe, Y. Wei

Abstract: An onion-peeling technique is developed for inferring the emissivity profile of a stellarator plasma from a two-dimensional image acquired through a CCD or CMOS camera. Each pixel in the image is treated as an integral of emission along a particular line-of-sight. Additionally, the flux surfaces in the plasma are partitioned into discrete layers, each of which is assumed to have uniform emissivity… ▽ More An onion-peeling technique is developed for inferring the emissivity profile of a stellarator plasma from a two-dimensional image acquired through a CCD or CMOS camera. Each pixel in the image is treated as an integral of emission along a particular line-of-sight. Additionally, the flux surfaces in the plasma are partitioned into discrete layers, each of which is assumed to have uniform emissivity. If the topology of the flux surfaces is known, this construction permits the development of a system of linear equations that can be solved for the emissivity of each layer. We present initial results of this method applied to wide-angle visible images of the CNT stellarator plasma. △ Less

Submitted 12 July, 2016; v1 submitted 9 June, 2016; originally announced June 2016.

Comments: 5 pages, 6 figures

Journal ref: Review of Scientific Instruments 87, 11E119 (2016)

Experimental and numerical study of error fields in the CNT stellarator

Authors: K. C. Hammond, A. Anichowski, P. W. Brenner, T. S. Pedersen, S. Raftopoulos, P. Traverso, F. A. Volpe

Abstract: Sources of error fields were indirectly inferred in a stellarator by reconciling computed and numerical flux surfaces. Sources considered so far include the displacements and tilts (but not the deformations, yet) of the four circular coils featured in the simple CNT stellarator. The flux surfaces were measured by means of an electron beam and phosphor rod, and were computed by means of a Biot-Sava… ▽ More Sources of error fields were indirectly inferred in a stellarator by reconciling computed and numerical flux surfaces. Sources considered so far include the displacements and tilts (but not the deformations, yet) of the four circular coils featured in the simple CNT stellarator. The flux surfaces were measured by means of an electron beam and phosphor rod, and were computed by means of a Biot-Savart field-line tracing code. If the ideal coil locations and orientations are used in the computation, agreement with measurements is poor. Discrepancies are ascribed to errors in the positioning and orientation of the in-vessel interlocked coils. To that end, an iterative numerical method was developed. A Newton-Raphson algorithm searches for the coils' displacements and tilts that minimize the discrepancy between the measured and computed flux surfaces. This method was verified by misplacing and tilting the coils in a numerical model of CNT, calculating the flux surfaces that they generated, and testing the algorithm's ability to deduce the coils' displacements and tilts. Subsequently, the numerical method was applied to the experimental data, arriving at a set of coil displacements whose resulting field errors exhibited significantly improved quantitative and qualitative agreement with experimental results. △ Less

Submitted 10 June, 2016; v1 submitted 15 February, 2016; originally announced February 2016.

Comments: Special Issue on the 20th International Stellarator-Heliotron Workshop

Journal ref: Plasma Physics and Controlled Fusion 58, 074002 (2016)

Metamaterial lens of specifiable frequency-dependent focus and adjustable aperture for electron cyclotron emission in the DIII-D tokamak

Authors: K. C. Hammond, W. J. Capecchi, S. D. Massidda, F. A. Volpe

Abstract: Electron Cyclotron Emission (ECE) of different frequencies originates at different locations in non-uniformly magnetized plasmas. For simultaneous observation of multiple ECE frequencies from the outside edge of a toroidal plasma confinement device (e.g. a tokamak), the focal length of the collecting optics should increase with the frequency to maximize the resolution on a line of sight along the… ▽ More Electron Cyclotron Emission (ECE) of different frequencies originates at different locations in non-uniformly magnetized plasmas. For simultaneous observation of multiple ECE frequencies from the outside edge of a toroidal plasma confinement device (e.g. a tokamak), the focal length of the collecting optics should increase with the frequency to maximize the resolution on a line of sight along the magnetic field gradient. Here we present the design and numerical study of a zoned metamaterial lens with such characteristics, for possible deployment with the 83-130 GHz ECE radiometer in the DIII-D tokamak. The lens consists of a concentric array of miniaturized element phase-shifters. These were reverse-engineered starting from the desired Gaussian beam waist locations and further optimized to account for diffraction and finite-aperture effects that tend to displace the waist. At the same time we imposed high and uniform transmittance, averaged over all phase-shifters. The focal length is shown to increase from 1.37 m to 1.97 m over the frequency range of interest, as desired for low-field DIII-D discharges (B = -1.57 T). Retracting the lens to receded positions rigidly moves the waists accordingly, resulting in a good match -within a fraction of the Rayleigh length- of the EC-emitting layer positions at higher fields (up to B = -2.00 T). Further, it is shown how varying the lens aperture might move the waists "non-rigidly" to better match the non-rigid movement of the EC-emitting layers with the magnetic field. The numerical method presented is very general and can be used to engineer any dependence of the focal length on the frequency, including zero or minimal chromatic aberration. △ Less

Submitted 13 October, 2014; originally announced October 2014.

Comments: 18 pages, 9 figures, http://link.springer.com/article/10.1007%2Fs10762-013-9987-1

Journal ref: Journal of Infrared, Millimeter, and Terahertz Waves 34, 437 (2013)

Proto-CIRCUS Tilted-Coil Tokamak-Torsatron Hybrid: Design and Construction

Authors: A. W. Clark, M. Doumet, K. C. Hammond, Y. Kornbluth, D. A. Spong, R. Sweeney, F. A. Volpe

Abstract: We present the field-line modeling, design and construction of a prototype circular-coil tokamak-torsatron hybrid called Proto-CIRCUS. The device has a major radius R = 16 cm and minor radius a < 5 cm. The six "toroidal field" coils are planar as in a tokamak, but they are tilted. This, combined with induced or driven plasma current, is expected to generate rotational transform, as seen in field-l… ▽ More We present the field-line modeling, design and construction of a prototype circular-coil tokamak-torsatron hybrid called Proto-CIRCUS. The device has a major radius R = 16 cm and minor radius a < 5 cm. The six "toroidal field" coils are planar as in a tokamak, but they are tilted. This, combined with induced or driven plasma current, is expected to generate rotational transform, as seen in field-line tracing and equilibrium calculations. The device is expected to operate at lower plasma current than a tokamak of comparable size and magnetic field, which might have interesting implications for disruptions and steady-state operation. Additionally, the toroidal magnetic ripple is less pronounced than in an equivalent tokamak in which the coils are not tilted. The tilted coils are interlocked, resulting in a relatively low aspect ratio, and can be moved, both radially and in tilt angle, between discharges. This capability will be exploited for detailed comparisons between calculations and field-line map** measurements. Such comparisons will reveal whether this relatively simple concept can generate the expected rotational transform. △ Less

Submitted 8 October, 2014; originally announced October 2014.

Comments: 10 pages, 10 figures, 1 table

Journal ref: Fusion Engineering and Design 89 (2014) 2732-2737

GSPBOX: A toolbox for signal processing on graphs

Authors: Nathanaël Perraudin, Johan Paratte, David Shuman, Lionel Martin, Vassilis Kalofolias, Pierre Vandergheynst, David K. Hammond

Abstract: This document introduces the Graph Signal Processing Toolbox (GSPBox) a framework that can be used to tackle graph related problems with a signal processing approach. It explains the structure and the organization of this software. It also contains a general description of the important modules. This document introduces the Graph Signal Processing Toolbox (GSPBox) a framework that can be used to tackle graph related problems with a signal processing approach. It explains the structure and the organization of this software. It also contains a general description of the important modules. △ Less

Submitted 15 March, 2016; v1 submitted 25 August, 2014; originally announced August 2014.

Tridiagonal Matrices and Boundary Conditions

Authors: J. J. P. Veerman, David K. Hammond

Abstract: We describe the spectra of certain tridiagonal matrices arising from differential equations commonly used for modeling flocking behavior. In particular we consider systems resulting from allowing an arbitrary boundary condition for the end of a one dimensional flock. We apply our results to demonstrate how asymptotic stability for consensus and flocking systems depends on the imposed boundary cond… ▽ More We describe the spectra of certain tridiagonal matrices arising from differential equations commonly used for modeling flocking behavior. In particular we consider systems resulting from allowing an arbitrary boundary condition for the end of a one dimensional flock. We apply our results to demonstrate how asymptotic stability for consensus and flocking systems depends on the imposed boundary condition. △ Less

Submitted 5 August, 2014; originally announced August 2014.

Comments: 13 pages, 4 figures

MSC Class: 15A18

Simulation and Analysis of TE Wave Propagation as a Probe for Electron Clouds in Particle Accelerators

Authors: Kiran G. Sonnad, Kenneth Hammond, Robert Schwartz, Seth Veitzer

Abstract: The use of transverse electric (TE) waves has proved to be a powerful, noninvasive method for estimating the densities of electron clouds formed in particle accelerators. Results from the plasma simulation program VORPAL have been a useful guide for experimental studies related to this method, which have been performed at various accelerator facilities. This paper provides results of the simulatio… ▽ More The use of transverse electric (TE) waves has proved to be a powerful, noninvasive method for estimating the densities of electron clouds formed in particle accelerators. Results from the plasma simulation program VORPAL have been a useful guide for experimental studies related to this method, which have been performed at various accelerator facilities. This paper provides results of the simulation and modeling work done in conjunction with experimental efforts carried out at CesrTA. The discussion starts from the phase shift induced by electron clouds in the transmission of the wave, followed by the effect of reflections along the beam-pipe, the simulation of the resonant wave method and the effects of external magnetic fields, namely dipoles and wigglers. A derivation of the dispersion relationship of wave propagation for arbitrary geometries in field free regions with a uniform cloud density is also provided. △ Less

Submitted 4 January, 2014; v1 submitted 22 November, 2013; originally announced November 2013.

Comments: submitted to Nuclear Inst. and Methods in Physics Research, A

Electron Cloud Density Measurements in Accelerator Beam-pipe Using Resonant Microwave Excitation

Authors: John P. Sikora, Benjamin T. Carlson, Danielle O. Duggins, Kenneth C. Hammond, Stefano De Santis, Alister J. Tencate

Abstract: An accelerator beam can generate low energy electrons in the beam-pipe, generally called electron cloud, that can produce instabilities in a positively charged beam. One method of measuring the electron cloud density is by coupling microwaves into and out of the beam-pipe and observing the response of the microwaves to the presence of the electron cloud. In the original technique, microwaves are t… ▽ More An accelerator beam can generate low energy electrons in the beam-pipe, generally called electron cloud, that can produce instabilities in a positively charged beam. One method of measuring the electron cloud density is by coupling microwaves into and out of the beam-pipe and observing the response of the microwaves to the presence of the electron cloud. In the original technique, microwaves are transmitted through a section of beam-pipe and a change in EC density produces a change in the phase of the transmitted signal. This paper describes a variation on this technique in which the beam-pipe is resonantly excited with microwaves and the electron cloud density calculated from the change that it produces in the resonant frequency of the beam-pipe. The resonant technique has the advantage that measurements can be localized to sections of beam-pipe that are a meter or less in length with a greatly improved signal to noise ratio. △ Less

Submitted 5 May, 2014; v1 submitted 21 November, 2013; originally announced November 2013.

Comments: 10 pages, 10 figures, re-submitted to Nuclear Instruments and Methods in Physics Research A

Signal Velocity in Oscillator Networks

Authors: Carlos E. Cantos, J. J. P. Veerman, David K. Hammond

Abstract: We investigate a system of coupled oscillators on the circle, which arises from a simple model for behavior of large numbers of autonomous vehicles. The model considers asymmetric, linear, decentralized dynamics, where the acceleration of each vehicle depends on the relative positions and velocities between itself and a set of local neighbors. We first derive necessary and sufficient conditions fo… ▽ More We investigate a system of coupled oscillators on the circle, which arises from a simple model for behavior of large numbers of autonomous vehicles. The model considers asymmetric, linear, decentralized dynamics, where the acceleration of each vehicle depends on the relative positions and velocities between itself and a set of local neighbors. We first derive necessary and sufficient conditions for asymptotic stability, then derive expressions for the phase velocity of propagation of disturbances in velocity through this system. We show that the high frequencies exhibit dam**, which implies existence of well-defined signal velocities $c_+>0$ and $c_-<0$ such that low frequency disturbances travel through the flock as $f(x-c_+t)$ in the direction of increasing agent numbers and $f(x-c_-t)$ in the other. △ Less

Submitted 7 October, 2014; v1 submitted 26 July, 2013; originally announced July 2013.

Comments: 18 pages, 4 figures

MSC Class: 34D06

Stabilizing Nonuniformly Quantized Compressed Sensing with Scalar Companders

Authors: L. Jacques, D. K. Hammond, M. J. Fadili

Abstract: This paper studies the problem of reconstructing sparse or compressible signals from compressed sensing measurements that have undergone nonuniform quantization. Previous approaches to this Quantized Compressed Sensing (QCS) problem based on Gaussian models (bounded l2-norm) for the quantization distortion yield results that, while often acceptable, may not be fully consistent: re-measurement and… ▽ More This paper studies the problem of reconstructing sparse or compressible signals from compressed sensing measurements that have undergone nonuniform quantization. Previous approaches to this Quantized Compressed Sensing (QCS) problem based on Gaussian models (bounded l2-norm) for the quantization distortion yield results that, while often acceptable, may not be fully consistent: re-measurement and quantization of the reconstructed signal do not necessarily match the initial observations. Quantization distortion instead more closely resembles heteroscedastic uniform noise, with variance depending on the observed quantization bin. Generalizing our previous work on uniform quantization, we show that for nonuniform quantizers described by the "compander" formalism, quantization distortion may be better characterized as having bounded weighted lp-norm (p >= 2), for a particular weighting. We develop a new reconstruction approach, termed Generalized Basis Pursuit DeNoise (GBPDN), which minimizes the sparsity of the reconstructed signal under this weighted lp-norm fidelity constraint. We prove that for B bits per measurement and under the oversampled QCS scenario (when the number of measurements is large compared to the signal sparsity) if the sensing matrix satisfies a proposed generalized Restricted Isometry Property, then, GBPDN provides a reconstruction error of sparse signals which decreases like O(2^{-B}/\sqrt{p+1}): a reduction by a factor \sqrt{p+1} relative to that produced by using the l2-norm. Besides the QCS scenario, we also show that GBPDN applies straightforwardly to the related case of CS measurements corrupted by heteroscedastic Generalized Gaussian noise with provable reconstruction error reduction. Finally, we describe an efficient numerical procedure for computing GBPDN via a primal-dual convex optimization scheme, and demonstrate its effectiveness through simulations. △ Less

Submitted 16 May, 2013; v1 submitted 26 June, 2012; originally announced June 2012.

Comments: 30 pages, 9 figures

Wavelets on Graphs via Spectral Graph Theory

Authors: David K Hammond, Pierre Vandergheynst, Rémi Gribonval

Abstract: We propose a novel method for constructing wavelet transforms of functions defined on the vertices of an arbitrary finite weighted graph. Our approach is based on defining scaling using the the graph analogue of the Fourier domain, namely the spectral decomposition of the discrete graph Laplacian $Ł$. Given a wavelet generating kernel $g$ and a scale parameter $t$, we define the scaled wavelet o… ▽ More We propose a novel method for constructing wavelet transforms of functions defined on the vertices of an arbitrary finite weighted graph. Our approach is based on defining scaling using the the graph analogue of the Fourier domain, namely the spectral decomposition of the discrete graph Laplacian $Ł$. Given a wavelet generating kernel $g$ and a scale parameter $t$, we define the scaled wavelet operator $T_g^t = g(tŁ)$. The spectral graph wavelets are then formed by localizing this operator by applying it to an indicator function. Subject to an admissibility condition on $g$, this procedure defines an invertible transform. We explore the localization properties of the wavelets in the limit of fine scales. Additionally, we present a fast Chebyshev polynomial approximation algorithm for computing the transform that avoids the need for diagonalizing $Ł$. We highlight potential applications of the transform through examples of wavelets on graphs corresponding to a variety of different problem domains. △ Less

Submitted 18 December, 2009; originally announced December 2009.

MSC Class: 42C40; 65T90

Dequantizing Compressed Sensing: When Oversampling and Non-Gaussian Constraints Combine

Authors: Laurent Jacques, David K. Hammond, M. Jalal Fadili

Abstract: In this paper we study the problem of recovering sparse or compressible signals from uniformly quantized measurements. We present a new class of convex optimization programs, or decoders, coined Basis Pursuit DeQuantizer of moment $p$ (BPDQ$_p$), that model the quantization distortion more faithfully than the commonly used Basis Pursuit DeNoise (BPDN) program. Our decoders proceed by minimizing th… ▽ More In this paper we study the problem of recovering sparse or compressible signals from uniformly quantized measurements. We present a new class of convex optimization programs, or decoders, coined Basis Pursuit DeQuantizer of moment $p$ (BPDQ$_p$), that model the quantization distortion more faithfully than the commonly used Basis Pursuit DeNoise (BPDN) program. Our decoders proceed by minimizing the sparsity of the signal to be reconstructed subject to a data-fidelity constraint expressed in the $\ell_p$-norm of the residual error for $2\leq p\leq \infty$. We show theoretically that, (i) the reconstruction error of these new decoders is bounded if the sensing matrix satisfies an extended Restricted Isometry Property involving the $\ell_p$ norm, and (ii), for Gaussian random matrices and uniformly quantized measurements, BPDQ$_p$ performance exceeds that of BPDN by dividing the reconstruction error due to quantization by $\sqrt{p+1}$. This last effect happens with high probability when the number of measurements exceeds a value growing with $p$, i.e. in an oversampled situation compared to what is commonly required by BPDN = BPDQ$_2$. To demonstrate the theoretical power of BPDQ$_p$, we report numerical simulations on signal and image reconstruction problems. △ Less

Submitted 22 June, 2010; v1 submitted 13 February, 2009; originally announced February 2009.

Wavelet domain Bayesian denoising of string signal in the cosmic microwave background

Authors: D. K. Hammond, Y. Wiaux, P. Vandergheynst

Abstract: An algorithm is proposed for denoising the signal induced by cosmic strings in the cosmic microwave background (CMB). A Bayesian approach is taken, based on modeling the string signal in the wavelet domain with generalized Gaussian distributions. Good performance of the algorithm is demonstrated by simulated experiments at arcminute resolution under noise conditions including primary and seconda… ▽ More An algorithm is proposed for denoising the signal induced by cosmic strings in the cosmic microwave background (CMB). A Bayesian approach is taken, based on modeling the string signal in the wavelet domain with generalized Gaussian distributions. Good performance of the algorithm is demonstrated by simulated experiments at arcminute resolution under noise conditions including primary and secondary CMB anisotropies, as well as instrumental noise. △ Less

Submitted 27 April, 2009; v1 submitted 8 November, 2008; originally announced November 2008.

Comments: 16 pages, 11 figures. Version 2 matches version accepted for publication in MNRAS. Changes include substantial clarifications on our approach and a significant reduction of manuscript length

Report number: EPFL-LTS-06.2008

Journal ref: Mon. Not. R. Astron. Soc. 398 (2009) 1317