-
Streaming Democratized: Ease Across the Latency Spectrum with Delayed View Semantics and Snowflake Dynamic Tables
Authors:
Daniel Sotolongo,
Daniel Mills,
Tyler Akidau,
Anirudh Santhiar,
Attila-Péter Tóth,
Ilaria Battiston,
Ankur Sharma,
Botong Huang,
Boyuan Zhang,
Dzmitry Pauliukevich,
Enrico Sartorello,
Igor Belianski,
Ivan Kalev,
Lawrence Benson,
Leon Papke,
Ling Geng,
Matt Uhlar,
Nikhil Shah,
Niklas Semmler,
Olivia Zhou,
Saras Nowak,
Sasha Lionheart,
Till Merker,
Vlad Lifliand,
Wendy Grus
, et al. (2 additional authors not shown)
Abstract:
Streaming data pipelines remain challenging and expensive to build and maintain, despite significant advancements in stronger consistency, event time semantics, and SQL support over the last decade. Persistent obstacles continue to hinder usability, such as the need for manual incrementalization, semantic discrepancies across SQL implementations, and the lack of enterprise-grade operational featur…
▽ More
Streaming data pipelines remain challenging and expensive to build and maintain, despite significant advancements in stronger consistency, event time semantics, and SQL support over the last decade. Persistent obstacles continue to hinder usability, such as the need for manual incrementalization, semantic discrepancies across SQL implementations, and the lack of enterprise-grade operational features. While the rise of incremental view maintenance (IVM) as a way to integrate streaming with databases has been a huge step forward, transaction isolation in the presence of IVM remains underspecified, leaving the maintenance of application-level invariants as a painful exercise for the user. Meanwhile, most streaming systems optimize for latencies of 100 ms to 3 sec, whereas many practical use cases are well-served by latencies ranging from seconds to tens of minutes.
We present delayed view semantics (DVS), a conceptual foundation that bridges the semantic gap between streaming and databases, and introduce Dynamic Tables, Snowflake's declarative streaming transformation primitive designed to democratize analytical stream processing. DVS formalizes the intuition that stream processing is primarily a technique to eagerly compute derived results asynchronously, while also addressing the need to reason about the resulting system end to end. Dynamic Tables then offer two key advantages: ease of use through DVS, enterprise-grade features, and simplicity; as well as scalable cost efficiency via IVM with an architecture designed for diverse latency requirements.
We first develop extensions to transaction isolation that permit the preservation of invariants in streaming applications. We then detail the implementation challenges of Dynamic Tables and our experience operating it at scale. Finally, we share insights into user adoption and discuss our vision for the future of stream processing.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Comparative Analysis of Advanced AI-based Object Detection Models for Pavement Marking Quality Assessment during Daytime
Authors:
Gian Antariksa,
Rohit Chakraborty,
Shriyank Somvanshi,
Subasish Das,
Mohammad Jalayer,
Deep Rameshkumar Patel,
David Mills
Abstract:
Visual object detection utilizing deep learning plays a vital role in computer vision and has extensive applications in transportation engineering. This paper focuses on detecting pavement marking quality during daytime using the You Only Look Once (YOLO) model, leveraging its advanced architectural features to enhance road safety through precise and real-time assessments. Utilizing image data fro…
▽ More
Visual object detection utilizing deep learning plays a vital role in computer vision and has extensive applications in transportation engineering. This paper focuses on detecting pavement marking quality during daytime using the You Only Look Once (YOLO) model, leveraging its advanced architectural features to enhance road safety through precise and real-time assessments. Utilizing image data from New Jersey, this study employed three YOLOv8 variants: YOLOv8m, YOLOv8n, and YOLOv8x. The models were evaluated based on their prediction accuracy for classifying pavement markings into good, moderate, and poor visibility categories. The results demonstrated that YOLOv8n provides the best balance between accuracy and computational efficiency, achieving the highest mean Average Precision (mAP) for objects with good visibility and demonstrating robust performance across various Intersections over Union (IoU) thresholds. This research enhances transportation safety by offering an automated and accurate method for evaluating the quality of pavement markings.
△ Less
Submitted 16 March, 2025; v1 submitted 13 March, 2025;
originally announced March 2025.
-
On-Chip Verified Quantum Computation with an Ion-Trap Quantum Processing Unit
Authors:
Cica Gustiani,
Dominik Leichtle,
Daniel Mills,
Jonathan Miller,
Ross Grassie,
Elham Kashefi
Abstract:
We present and experimentally demonstrate a novel approach to verification and benchmarking of quantum computing, implementing it on an ion-trap quantum computer. Unlike previous information-theoretically secure verification protocols, which typically require quantum communication between client and server, our approach is implemented entirely on-chip. This eliminates the need for a quantum client…
▽ More
We present and experimentally demonstrate a novel approach to verification and benchmarking of quantum computing, implementing it on an ion-trap quantum computer. Unlike previous information-theoretically secure verification protocols, which typically require quantum communication between client and server, our approach is implemented entirely on-chip. This eliminates the need for a quantum client and significantly enhances practicality.
We perform tomography to justify the additionally required assumption that the noise is independent of the secret used to prepare the Server's single-qubit states. We quantify the soundness error which may be caused by residual secret dependencies. We demonstrate our protocol on the 20-qubit Quantinuum H1-1 ion-trap quantum processing unit, using qubit measurements and resets to construct measurement patterns with up to 52 vertices. To our knowledge, these are the largest verified measurement-based quantum computations performed to date.
Our results pave the way for more accessible and efficient verification and benchmarking strategies in near-term quantum devices, enabling robust performance assessment without the added cost of external quantum infrastructure.
△ Less
Submitted 3 January, 2025; v1 submitted 31 October, 2024;
originally announced October 2024.
-
A reassessment of the "hard-steps" model for the evolution of intelligent life
Authors:
Daniel B. Mills,
Jennifer L. Macalady,
Adam Frank,
Jason T. Wright
Abstract:
According to the "hard-steps" model, the origin of humanity required "successful passage through a number of intermediate steps" (so-called "hard" or "critical" steps) that were intrinsically improbable with respect to the total time available for biological evolution on Earth. This model similarly predicts that technological life analogous to human life on Earth is "exceedingly rare" in the unive…
▽ More
According to the "hard-steps" model, the origin of humanity required "successful passage through a number of intermediate steps" (so-called "hard" or "critical" steps) that were intrinsically improbable with respect to the total time available for biological evolution on Earth. This model similarly predicts that technological life analogous to human life on Earth is "exceedingly rare" in the universe. Here, we critically reevaluate the core assumptions of the hard-steps model in light of recent advances in the Earth and life sciences. Specifically, we advance a potential alternative model where there are no hard steps, and evolutionary novelties (or singularities) required for human origins can be explained via mechanisms outside of intrinsic improbability. Furthermore, if Earth's surface environment was initially inhospitable not only to human life, but also to certain key intermediate steps in human evolution (e.g., the origin of eukaryotic cells, multicellular animals), then the "delay" in the appearance of humans can be best explained through the sequential opening of new global environmental windows of habitability over Earth history, with humanity arising relatively quickly once the right conditions were established. In this co-evolutionary (or geobiological) scenario, humans did not evolve "early" or "late" with respect to the total lifespan of the biosphere, but "on time."
△ Less
Submitted 14 February, 2025; v1 submitted 19 August, 2024;
originally announced August 2024.
-
Quantum Algorithm Exploration using Application-Oriented Performance Benchmarks
Authors:
Thomas Lubinski,
Joshua J. Goings,
Karl Mayer,
Sonika Johri,
Nithin Reddy,
Aman Mehta,
Niranjan Bhatia,
Sonny Rappaport,
Daniel Mills,
Charles H. Baldwin,
Luning Zhao,
Aaron Barbosa,
Smarak Maity,
Pranav S. Mundada
Abstract:
The QED-C suite of Application-Oriented Benchmarks provides the ability to gauge performance characteristics of quantum computers as applied to real-world applications. Its benchmark programs sweep over a range of problem sizes and inputs, capturing key performance metrics related to the quality of results, total time of execution, and quantum gate resources consumed. In this manuscript, we invest…
▽ More
The QED-C suite of Application-Oriented Benchmarks provides the ability to gauge performance characteristics of quantum computers as applied to real-world applications. Its benchmark programs sweep over a range of problem sizes and inputs, capturing key performance metrics related to the quality of results, total time of execution, and quantum gate resources consumed. In this manuscript, we investigate challenges in broadening the relevance of this benchmarking methodology to applications of greater complexity. First, we introduce a method for improving landscape coverage by varying algorithm parameters systematically, exemplifying this functionality in a new scalable HHL linear equation solver benchmark. Second, we add a VQE implementation of a Hydrogen Lattice simulation to the QED-C suite, and introduce a methodology for analyzing the result quality and run-time cost trade-off. We observe a decrease in accuracy with increased number of qubits, but only a mild increase in the execution time. Third, unique characteristics of a supervised machine-learning classification application are explored as a benchmark to gauge the extensibility of the framework to new classes of application. Applying this to a binary classification problem revealed the increase in training time required for larger anzatz circuits, and the significant classical overhead. Fourth, we add methods to include optimization and error mitigation in the benchmarking workflow which allows us to: identify a favourable trade off between approximate gate synthesis and gate noise; observe the benefits of measurement error mitigation and a form of deterministic error mitigation algorithm; and to contrast the improvement with the resulting time overhead. Looking ahead, we discuss how the benchmark framework can be instrumental in facilitating the exploration of algorithmic options and their impact on performance.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
Distributing circuits over heterogeneous, modular quantum computing network architectures
Authors:
Pablo Andres-Martinez,
Tim Forrer,
Daniel Mills,
Jun-Yi Wu,
Luciana Henaut,
Kentaro Yamamoto,
Mio Murao,
Ross Duncan
Abstract:
We consider a heterogeneous network of quantum computing modules, sparsely connected via Bell states. Operations across these connections constitute a computational bottleneck and they are likely to add more noise to the computation than operations performed within a module. We introduce several techniques for transforming a given quantum circuit into one implementable on a network of the aforemen…
▽ More
We consider a heterogeneous network of quantum computing modules, sparsely connected via Bell states. Operations across these connections constitute a computational bottleneck and they are likely to add more noise to the computation than operations performed within a module. We introduce several techniques for transforming a given quantum circuit into one implementable on a network of the aforementioned type, minimising the number of Bell states required to do so.
We extend previous works on circuit distribution over fully connected networks to the case of heterogeneous networks. On the one hand, we extend the hypergraph approach of [Andres-Martinez & Heunen. 2019] to arbitrary network topologies. We additionally make use of Steiner trees to find efficient realisations of the entanglement sharing within the network, reusing already established connections as often as possible. On the other hand, we extend the embedding techniques of [Wu, et al. 2022] to networks with more than two modules. Furthermore, we discuss how these two seemingly incompatible approaches can be made to cooperate. Our proposal is implemented and benchmarked; the results confirming that, when orchestrated, the two approaches complement each other's weaknesses.
△ Less
Submitted 10 July, 2023; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies
Authors:
James Paul Mason,
Alexandra Werth,
Colin G. West,
Allison A. Youngblood,
Donald L. Woodraska,
Courtney Peck,
Kevin Lacjak,
Florian G. Frick,
Moutamen Gabir,
Reema A. Alsinan,
Thomas Jacobsen,
Mohammad Alrubaie,
Kayla M. Chizmar,
Benjamin P. Lau,
Lizbeth Montoya Dominguez,
David Price,
Dylan R. Butler,
Connor J. Biron,
Nikita Feoktistov,
Kai Dewey,
N. E. Loomis,
Michal Bodzianowski,
Connor Kuybus,
Henry Dietrick,
Aubrey M. Wolfe
, et al. (977 additional authors not shown)
Abstract:
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms th…
▽ More
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfvén waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $α=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $α= 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfvén waves are an important driver of coronal heating.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Entanglement-efficient bipartite-distributed quantum computing
Authors:
Jun-Yi Wu,
Kosuke Matsui,
Tim Forrer,
Akihito Soeda,
Pablo Andrés-Martínez,
Daniel Mills,
Luciana Henaut,
Mio Murao
Abstract:
In noisy intermediate-scale quantum computing, the limited scalability of a single quantum processing unit (QPU) can be extended through distributed quantum computing (DQC), in which one can implement global operations over two QPUs by entanglement-assisted local operations and classical communication. To facilitate this type of DQC in experiments, we need an entanglement-efficient protocol. To th…
▽ More
In noisy intermediate-scale quantum computing, the limited scalability of a single quantum processing unit (QPU) can be extended through distributed quantum computing (DQC), in which one can implement global operations over two QPUs by entanglement-assisted local operations and classical communication. To facilitate this type of DQC in experiments, we need an entanglement-efficient protocol. To this end, we extend the protocol in [Eisert et. al., PRA, 62:052317(2000)] implementing each nonlocal controlled-unitary gate locally with one maximally entangled pair to a packing protocol, which can pack multiple nonlocal controlled-unitary gates locally using one maximally entangled pair. In particular, two types of packing processes are introduced as the building blocks, namely the distributing processes and embedding processes. Each distributing process distributes corresponding gates locally with one entangled pair. The efficiency of entanglement is then enhanced by embedding processes, which merge two non-sequential distributing processes and hence save the entanglement cost. We show that the structure of distributability and embeddability of a quantum circuit can be fully represented by the corresponding packing graphs and conflict graphs. Based on these graphs, we derive heuristic algorithms for finding an entanglement-efficient packing of distributing processes for a given quantum circuit to be implemented by two parties. These algorithms can determine the required number of local auxiliary qubits in the DQC. We apply these algorithms for bipartite DQC of unitary coupled-cluster circuits and find a significant reduction of entanglement cost through embeddings. This method can determine a constructive upper bound on the entanglement cost for the DQC of quantum circuits.
△ Less
Submitted 28 November, 2023; v1 submitted 24 December, 2022;
originally announced December 2022.
-
Applications of the Spectral Theory of Chemical Bonding to Simple Hydrocarbons
Authors:
Jeffrey D. Mills
Abstract:
The finite-basis, pair formulation of the Spectral Theory of chemical bonding is briefly surveyed. Solutions of the Born-Oppenheimer polyatomic Hamiltonian totally antisymmetric in electron exchange are obtained from diagonalization of an aggregate matrix built up from conventional diatomic solutions to atom-localized problems. A succession of transformations of the bases of the underlying matrice…
▽ More
The finite-basis, pair formulation of the Spectral Theory of chemical bonding is briefly surveyed. Solutions of the Born-Oppenheimer polyatomic Hamiltonian totally antisymmetric in electron exchange are obtained from diagonalization of an aggregate matrix built up from conventional diatomic solutions to atom-localized problems. A succession of transformations of the bases of the underlying matrices and the unique character of symmetric orthogonalization in producing the archived matrices calculated "once-of-all" in the pairwise-antisymmetrized basis are described. Application is made to molecules containing hydrogens and a single carbon atom. Results in conventional orbital bases are given and compared to experimental and high-level theoretical results. Chemical valence is shown to be respected and subtle angular effects in polyatomic contexts are reproduced. Means of reducing the size of the atomic-state basis and improve the fidelity of the diatomic descriptions for fixed basis size, so as to enable application to larger polyatomic molecules, is outlined along with future initiatives and prospects.
△ Less
Submitted 5 February, 2023; v1 submitted 13 November, 2022;
originally announced November 2022.
-
Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions
Authors:
Tali Boneh-Shitrit,
Shir Amir,
Annika Bremhorst,
Daniel S. Mills,
Stefanie Riemer,
Dror Fried,
Anna Zamansky
Abstract:
Similarly to humans, facial expressions in animals are closely linked with emotional states. However, in contrast to the human domain, automated recognition of emotional states from facial expressions in animals is underexplored, mainly due to difficulties in data collection and establishment of ground truth concerning emotional states of non-verbal users. We apply recent deep learning techniques…
▽ More
Similarly to humans, facial expressions in animals are closely linked with emotional states. However, in contrast to the human domain, automated recognition of emotional states from facial expressions in animals is underexplored, mainly due to difficulties in data collection and establishment of ground truth concerning emotional states of non-verbal users. We apply recent deep learning techniques to classify (positive) anticipation and (negative) frustration of dogs on a dataset collected in a controlled experimental setting. We explore the suitability of different backbones (e.g. ResNet, ViT) under different supervisions to this task, and find that features of a self-supervised pretrained ViT (DINO-ViT) are superior to the other alternatives. To the best of our knowledge, this work is the first to address the task of automatic classification of canine emotions on data acquired in a controlled experiment.
△ Less
Submitted 11 June, 2022;
originally announced June 2022.
-
Volumetric Benchmarking of Error Mitigation with Qermit
Authors:
Cristina Cirstoiu,
Silas Dilkes,
Daniel Mills,
Seyon Sivarajah,
Ross Duncan
Abstract:
The detrimental effect of noise accumulates as quantum computers grow in size. In the case where devices are too small or noisy to perform error correction, error mitigation may be used. Error mitigation does not increase the fidelity of quantum states, but instead aims to reduce the approximation error in quantities of concern, such as expectation values of observables. However, it is as yet uncl…
▽ More
The detrimental effect of noise accumulates as quantum computers grow in size. In the case where devices are too small or noisy to perform error correction, error mitigation may be used. Error mitigation does not increase the fidelity of quantum states, but instead aims to reduce the approximation error in quantities of concern, such as expectation values of observables. However, it is as yet unclear which circuit types, and devices of which characteristics, benefit most from the use of error mitigation. Here we develop a methodology to assess the performance of quantum error mitigation techniques. Our benchmarks are volumetric in design, and are performed on different superconducting hardware devices. Extensive classical simulations are also used for comparison. We use these benchmarks to identify disconnects between the predicted and practical performance of error mitigation protocols, and to identify the situations in which their use is beneficial. To perform these experiments, and for the benefit of the wider community, we introduce Qermit - an open source python package for quantum error mitigation. Qermit supports a wide range of error mitigation methods, is easily extensible and has a modular graph-based software design that facilitates composition of error mitigation protocols and subroutines.
△ Less
Submitted 10 July, 2023; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Application-Motivated, Holistic Benchmarking of a Full Quantum Computing Stack
Authors:
Daniel Mills,
Seyon Sivarajah,
Travis L. Scholten,
Ross Duncan
Abstract:
Quantum computing systems need to be benchmarked in terms of practical tasks they would be expected to do. Here, we propose 3 "application-motivated" circuit classes for benchmarking: deep (relevant for state preparation in the variational quantum eigensolver algorithm), shallow (inspired by IQP-type circuits that might be useful for near-term quantum machine learning), and square (inspired by the…
▽ More
Quantum computing systems need to be benchmarked in terms of practical tasks they would be expected to do. Here, we propose 3 "application-motivated" circuit classes for benchmarking: deep (relevant for state preparation in the variational quantum eigensolver algorithm), shallow (inspired by IQP-type circuits that might be useful for near-term quantum machine learning), and square (inspired by the quantum volume benchmark). We quantify the performance of a quantum computing system in running circuits from these classes using several figures of merit, all of which require exponential classical computing resources and a polynomial number of classical samples (bitstrings) from the system. We study how performance varies with the compilation strategy used and the device on which the circuit is run. Using systems made available by IBM Quantum, we examine their performance, showing that noise-aware compilation strategies may be beneficial, and that device connectivity and noise levels play a crucial role in the performance of the system according to our benchmarks.
△ Less
Submitted 16 March, 2021; v1 submitted 1 June, 2020;
originally announced June 2020.
-
The Born Supremacy: Quantum Advantage and Training of an Ising Born Machine
Authors:
Brian Coyle,
Daniel Mills,
Vincent Danos,
Elham Kashefi
Abstract:
The search for an application of near-term quantum devices is widespread. Quantum Machine Learning is touted as a potential utilisation of such devices, particularly those which are out of the reach of the simulation capabilities of classical computers. In this work, we propose a generative Quantum Machine Learning Model, called the Ising Born Machine (IBM), which we show cannot, in the worst case…
▽ More
The search for an application of near-term quantum devices is widespread. Quantum Machine Learning is touted as a potential utilisation of such devices, particularly those which are out of the reach of the simulation capabilities of classical computers. In this work, we propose a generative Quantum Machine Learning Model, called the Ising Born Machine (IBM), which we show cannot, in the worst case, and up to suitable notions of error, be simulated efficiently by a classical device. We also show this holds for all the circuit families encountered during training. In particular, we explore quantum circuit learning using non-universal circuits derived from Ising Model Hamiltonians, which are implementable on near term quantum devices.
We propose two novel training methods for the IBM by utilising the Stein Discrepancy and the Sinkhorn Divergence cost functions. We show numerically, both using a simulator within Rigetti's Forest platform and on the Aspen-1 16Q chip, that the cost functions we suggest outperform the more commonly used Maximum Mean Discrepancy (MMD) for differentiable training. We also propose an improvement to the MMD by proposing a novel utilisation of quantum kernels which we demonstrate provides improvements over its classical counterpart. We discuss the potential of these methods to learn `hard' quantum distributions, a feat which would demonstrate the advantage of quantum over classical computers, and provide the first formal definitions for what we call `Quantum Learning Supremacy'. Finally, we propose a novel view on the area of quantum circuit compilation by using the IBM to `mimic' target quantum circuits using classical output data only.
△ Less
Submitted 27 April, 2021; v1 submitted 3 April, 2019;
originally announced April 2019.
-
Methods for Classically Simulating Noisy Networked Quantum Architectures
Authors:
Iskren Vankov,
Daniel Mills,
Petros Wallden,
Elham Kashefi
Abstract:
As research on building scalable quantum computers advances, it is important to be able to certify their correctness. Due to the exponential hardness of classically simulating quantum computation, straight-forward verification through classical simulation fails. However, we can classically simulate small scale quantum computations and hence we are able to test that devices behave as expected in th…
▽ More
As research on building scalable quantum computers advances, it is important to be able to certify their correctness. Due to the exponential hardness of classically simulating quantum computation, straight-forward verification through classical simulation fails. However, we can classically simulate small scale quantum computations and hence we are able to test that devices behave as expected in this domain. This constitutes the first step towards obtaining confidence in the anticipated quantum-advantage when we extend to scales which can no longer be simulated.
Realistic devices have restrictions due to their architecture and limitations due to physical imperfections and noise. Here we extend the usual ideal simulations by considering those effects. We provide a general methodology for constructing realistic simulations emulating the physical system which will both provide a benchmark for realistic devices, and guide experimental research in the quest for quantum-advantage.
We exemplify our methodology by simulating a networked architecture and corresponding noise-model; in particular that of the device developed in the Networked Quantum Information Technologies Hub (NQIT). For our simulations we use, with suitable modification, the classical simulator of of Bravyi and Gosset. The specific problems considered belong to the class of Instantaneous Quantum Polynomial-time (IQP) problems, a class believed to be hard for classical computing devices, and to be a promising candidate for the first demonstration of quantum-advantage. We first consider a subclass of IQP, defined by Bermejo-Vega et al, involving two-dimensional dynamical quantum simulators, before moving to more general instances of IQP, but which are still restricted to the architecture of NQIT.
△ Less
Submitted 15 November, 2019; v1 submitted 12 March, 2018;
originally announced March 2018.
-
Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation (Extended Abstract)
Authors:
Daniel Mills,
Anna Pappa,
Theodoros Kapourniotis,
Elham Kashefi
Abstract:
The efficient certification of classically intractable quantum devices has been a central research question for some time. However, to observe a "quantum advantage", it is believed that one does not need to build a large scale universal quantum computer, a task which has proven extremely challenging. Intermediate quantum models that are easier to implement, but which also exhibit this quantum adva…
▽ More
The efficient certification of classically intractable quantum devices has been a central research question for some time. However, to observe a "quantum advantage", it is believed that one does not need to build a large scale universal quantum computer, a task which has proven extremely challenging. Intermediate quantum models that are easier to implement, but which also exhibit this quantum advantage over classical computers, have been proposed. In this work, we present a certification technique for such a sub-universal quantum server which only performs commuting gates and requires very limited quantum memory. By allowing a verifying client to manipulate single qubits, we exploit properties of measurement based blind quantum computing to give them the tools to test the "quantum superiority" of the server.
△ Less
Submitted 1 March, 2018;
originally announced March 2018.
-
Semi-commuting and commuting operators for the Heun family
Authors:
Davide Batic,
Dominic Mills,
Marek Nowakowski
Abstract:
We derive the most general families of differential operators of first and second degree semi-commuting with the differential operators of the Heun class. Among these families we classify all those families commuting with the Heun class. In particular, we discover that a certain generalized Heun equation commutes with the Heun differential operator allowing us to construct the general solution to…
▽ More
We derive the most general families of differential operators of first and second degree semi-commuting with the differential operators of the Heun class. Among these families we classify all those families commuting with the Heun class. In particular, we discover that a certain generalized Heun equation commutes with the Heun differential operator allowing us to construct the general solution to a complicated fourth order linear differential equation with variable coefficients which Maple 16 cannot solve.
△ Less
Submitted 16 May, 2017;
originally announced May 2017.
-
Information Theoretically Secure Hypothesis Test for Temporally Unstructured Quantum Computation
Authors:
Daniel Mills,
Anna Pappa,
Theodoros Kapourniotis,
Elham Kashefi
Abstract:
We propose a new composable and information-theoretically secure protocol to verify that a server has the power to sample from a sub-universal quantum machine implementing only commuting gates. By allowing the client to manipulate single qubits, we exploit properties of Measurement based Blind Quantum Computing to prove security against a malicious Server and therefore certify quantum supremacy wi…
▽ More
We propose a new composable and information-theoretically secure protocol to verify that a server has the power to sample from a sub-universal quantum machine implementing only commuting gates. By allowing the client to manipulate single qubits, we exploit properties of Measurement based Blind Quantum Computing to prove security against a malicious Server and therefore certify quantum supremacy without the need for a universal quantum computer.
△ Less
Submitted 6 April, 2017;
originally announced April 2017.
-
Reply to Saint-Antonin: Low-oxygen-tolerant animals predate oceanic anoxic events
Authors:
Daniel B. Mills,
Lewis M. Ward,
CarriAyne Jones,
Brittany Sweeten,
Michael Forth,
Alexander H. Treusch,
Donald E. Canfield
Abstract:
It is has been assumed for over half a century that the earliest animals were obligate aerobes with relatively high oxygen requirements. However, the conserved biochemistry and widespread phylogenetic distribution of anaerobic energy metabolism in animals suggests a deep ancestral possession of the genes and enzymes necessary for a facultative anaerobic lifestyle. Additionally, non-bilaterian body…
▽ More
It is has been assumed for over half a century that the earliest animals were obligate aerobes with relatively high oxygen requirements. However, the conserved biochemistry and widespread phylogenetic distribution of anaerobic energy metabolism in animals suggests a deep ancestral possession of the genes and enzymes necessary for a facultative anaerobic lifestyle. Additionally, non-bilaterian bodyplans are not expected to require particularly high environmental oxygen levels. This is consistent with experimental evidence demonstrating the low-oxygen tolerance of the sponge Halichondria panicea. While it is conceivable that low-oxygen-adapted animals evolved only sometime during the past 541 million years, perhaps in response to oceanic anoxic events, they most reasonably date back to the first animals themselves, as the last common ancestor of animals likely emerged in a relatively low-oxygen world, possessed the genetic means for anaerobiosis, and exhibited a bodyplan conducive to aerobic growth under oxygen levels less than 4% of modern atmospheric saturation.
△ Less
Submitted 30 April, 2015;
originally announced April 2015.
-
Plasmonic resonances at interfaces patterned by nanoparticle lattices
Authors:
P. A. Letnes,
I. Simonsen,
D. L. Mills
Abstract:
We present theoretical studies of the nature of the collective plasmon resonances of surfaces upon which ordered lattices of spherical metallic particles have been deposited. The collective plasmon modes, excited by light incident on the surface, are explored for both square and rectangular lattices of particles. The particular resonances excited by an incident beam of light depend on the frequenc…
▽ More
We present theoretical studies of the nature of the collective plasmon resonances of surfaces upon which ordered lattices of spherical metallic particles have been deposited. The collective plasmon modes, excited by light incident on the surface, are explored for both square and rectangular lattices of particles. The particular resonances excited by an incident beam of light depend on the frequency, polarization, and angles of incidence. We show that one can create surfaces for which the polarization of the reflected light is frequency dependent. The form of the polarization dependent spectra can be tuned by choosing materials and the parameters of the nanoparticle array.
△ Less
Submitted 9 August, 2012;
originally announced August 2012.
-
Spin Currents in Metallic Nanostructures; Explicit Calculations
Authors:
F. S. M. Guimarães,
A. T. Costa,
R. B. Muniz,
D. L. Mills
Abstract:
In ultrathin ferromagnets deposited on metallic substrates, excitation of precessional motion of the spins produces a spin current in the substrate that transports angular momentum out of the film. This phenomenon is referred to as spin pumping, and is a source of damping of the spin motion. Spin pumping enters importantly in the description of spin dynamics in other nanoscale and subnanoscale sys…
▽ More
In ultrathin ferromagnets deposited on metallic substrates, excitation of precessional motion of the spins produces a spin current in the substrate that transports angular momentum out of the film. This phenomenon is referred to as spin pumping, and is a source of damping of the spin motion. Spin pumping enters importantly in the description of spin dynamics in other nanoscale and subnanoscale systems as well. In this paper, we present an approach based on the Kubo formalism that allows the explicit calculation of this spin current and its spatial variation. We use the formalism to explore features of the spin current generated by spin motions in a simple model system.
△ Less
Submitted 2 December, 2011;
originally announced December 2011.
-
Anomalously large g-factor of single atoms adsorbed on a metal substrate
Authors:
B. Chilian,
A. A. Khajetoorians,
S. Lounis,
A. T. Costa,
D. L. Mills,
J. Wiebe,
R. Wiesendanger
Abstract:
We have performed inelastic scanning tunneling spectroscopy (ISTS) on individual Fe atoms adsorbed on a Ag(111) surface. ISTS reveals a magnetization excitation with a lifetime of about 400 fsec which decreases linearly upon application of a magnetic field. Astoundingly, we find that the g-factor, which characterizes the shift in energy of the excitation in a magnetic field, is g = 3.1 instead of…
▽ More
We have performed inelastic scanning tunneling spectroscopy (ISTS) on individual Fe atoms adsorbed on a Ag(111) surface. ISTS reveals a magnetization excitation with a lifetime of about 400 fsec which decreases linearly upon application of a magnetic field. Astoundingly, we find that the g-factor, which characterizes the shift in energy of the excitation in a magnetic field, is g = 3.1 instead of the regular value of 2. This enhancement can be understood when considering the complete electronic structure of both the Ag(111) surface state and the Fe atom, as shown by ab initio calculations of the magnetic susceptibility.
△ Less
Submitted 11 August, 2011;
originally announced August 2011.
-
Substrate influence on the plasmonic response of clusters of spherical nanoparticles
Authors:
Paul Anton Letnes,
Ingve Simonsen,
D. L. Mills
Abstract:
The plasmonic response of nanoparticles is exploited in many subfields of science and engineering to enhance optical signals associated with probes of nanoscale and subnanoscale entities. We develop a numerical algorithm based on previous theoretical work that addresses the influence of a substrate on the plasmonic response of collections of nanoparticles of spherical shape. Our method is a real s…
▽ More
The plasmonic response of nanoparticles is exploited in many subfields of science and engineering to enhance optical signals associated with probes of nanoscale and subnanoscale entities. We develop a numerical algorithm based on previous theoretical work that addresses the influence of a substrate on the plasmonic response of collections of nanoparticles of spherical shape. Our method is a real space approach within the quasi-static limit that can be applied to a wide range of structures. We illustrate the role of the substrate through numerical calculations that explore single nanospheres and nanosphere dimers fabricated from either a Drude model metal or from silver on dielectric substrates, and from dielectric spheres on silver substrates.
△ Less
Submitted 7 January, 2011; v1 submitted 15 November, 2010;
originally announced November 2010.
-
Theory of Local Dynamical Magnetic Susceptibilities from the Korringa-Kohn-Rostoker Green Function Method
Authors:
S. Lounis,
A. T. Costa,
R. B. Muniz,
D. L. Mills
Abstract:
Within the framework of time-dependent density functional theory combined with the Korringa-Kohn-Rostoker Green function formalism, we present a real space methodology to investigate dynamical magnetic excitations from first-principles. We set forth a scheme which enables one to deduce the correct effective Coulomb potential needed to preserve the spin-invariance signature in the dynamical suscept…
▽ More
Within the framework of time-dependent density functional theory combined with the Korringa-Kohn-Rostoker Green function formalism, we present a real space methodology to investigate dynamical magnetic excitations from first-principles. We set forth a scheme which enables one to deduce the correct effective Coulomb potential needed to preserve the spin-invariance signature in the dynamical susceptibilities, i.e. the Goldstone mode. We use our approach to explore the spin dynamics of 3d adatoms and different dimers deposited on a Cu(001) with emphasis on their decay to particle-hole pairs.
△ Less
Submitted 6 October, 2010;
originally announced October 2010.
-
Itinerant Nature of Atom-Magnetization Excitation by Tunneling Electrons
Authors:
Alexander Ako Khajetoorians,
Samir Lounis,
Bruno Chilian,
Antonio T. Costa,
Lihui Zhou,
Douglas L. Mills,
Jens Wiebe,
Roland Wiesendanger
Abstract:
We have performed single-atom magnetization curve (SAMC) measurements and inelastic scanning tunneling spectroscopy (ISTS) on individual Fe atoms on a Cu(111) surface. The SAMCs show a broad distribution of magnetic moments with $\unit[3.5]{μ_{\rm B}}$ being the mean value. ISTS reveals a magnetization excitation with a lifetime of $\unit[200]{fsec}$ which decreases by a factor of two upon applica…
▽ More
We have performed single-atom magnetization curve (SAMC) measurements and inelastic scanning tunneling spectroscopy (ISTS) on individual Fe atoms on a Cu(111) surface. The SAMCs show a broad distribution of magnetic moments with $\unit[3.5]{μ_{\rm B}}$ being the mean value. ISTS reveals a magnetization excitation with a lifetime of $\unit[200]{fsec}$ which decreases by a factor of two upon application of a magnetic field of $\unit[12]{T}$. The experimental observations are quantitatively explained by the decay of the magnetization excitation into Stoner modes of the itinerant electron system as shown by newly developed theoretical modeling.
△ Less
Submitted 4 November, 2010; v1 submitted 6 October, 2010;
originally announced October 2010.
-
Dynamical magnetic excitations of nanostructures from first-principles
Authors:
S. Lounis,
A. T. Costa,
R. B. Muniz,
D. L. Mills
Abstract:
Within time-dependent density functional theory, combined with the Korringa-Kohn-Rostoker Green functions, we devise a real space method to investigate spin dynamics. Our scheme enables one to deduce the Coulomb potential which assures a proper Goldstone mode is present. We illustrate with application to 3$d$ adatoms and dimers on Cu(100).
Within time-dependent density functional theory, combined with the Korringa-Kohn-Rostoker Green functions, we devise a real space method to investigate spin dynamics. Our scheme enables one to deduce the Coulomb potential which assures a proper Goldstone mode is present. We illustrate with application to 3$d$ adatoms and dimers on Cu(100).
△ Less
Submitted 26 October, 2010; v1 submitted 4 June, 2010;
originally announced June 2010.
-
Spin Orbit Coupling and Spin Waves in Ultrathin Ferromagnets: The Spin Wave Rashba Effect
Authors:
A. T. Costa,
R. B. Muniz,
S. Lounis,
A. B. Klautau,
D. L. Mills
Abstract:
We present theoretical studies of the influence of spin orbit coupling on the spin wave excitations of the Fe monolayer and bilayer on the W(110) surface. The Dzyaloshinskii-Moriya interaction is active in such films, by virtue of the absence of reflection symmetry in the plane of the film. When the magnetization is in plane, this leads to a linear term in the spin wave dispersion relation for pro…
▽ More
We present theoretical studies of the influence of spin orbit coupling on the spin wave excitations of the Fe monolayer and bilayer on the W(110) surface. The Dzyaloshinskii-Moriya interaction is active in such films, by virtue of the absence of reflection symmetry in the plane of the film. When the magnetization is in plane, this leads to a linear term in the spin wave dispersion relation for propagation across the magnetization. The dispersion relation thus assumes a form similar to that of an energy band of an electron trapped on a semiconductor surfaces with Rashba coupling active. We also show SPEELS response functions that illustrate the role of spin orbit coupling in such measurements. In addition to the modifications of the dispersion relations for spin waves, the presence of spin orbit coupling in the W substrate leads to a substantial increase in the linewidth of the spin wave modes. The formalism we have developed applies to a wide range of systems, and the particular system explored in the numerical calculations provides us with an illustration of phenomena which will be present in other ultrathin ferromagnet/substrate combinations.
△ Less
Submitted 18 April, 2010;
originally announced April 2010.
-
Carbon nanotube: a low-loss spin-current waveguide
Authors:
F. S. M. Guimarães,
D. F. Kirwan,
A. T. Costa,
R. B. Muniz,
D. L. Mills,
M. S. Ferreira
Abstract:
We demonstrate with a quantum-mechanical approach that carbon nanotubes are excellent spin-current waveguides and are able to carry information stored in a precessing magnetic moment for long distances with very little dispersion and with tunable degrees of attenuation. Pulsed magnetic excitations are predicted to travel with the nanotube Fermi velocity and are able to induce similar excitations…
▽ More
We demonstrate with a quantum-mechanical approach that carbon nanotubes are excellent spin-current waveguides and are able to carry information stored in a precessing magnetic moment for long distances with very little dispersion and with tunable degrees of attenuation. Pulsed magnetic excitations are predicted to travel with the nanotube Fermi velocity and are able to induce similar excitations in remote locations. Such an efficient way of transporting magnetic information suggests that nanotubes are promising candidates for memory devices with fast magnetization switchings.
△ Less
Submitted 3 February, 2010;
originally announced February 2010.
-
LSST Science Book, Version 2.0
Authors:
LSST Science Collaboration,
Paul A. Abell,
Julius Allison,
Scott F. Anderson,
John R. Andrew,
J. Roger P. Angel,
Lee Armus,
David Arnett,
S. J. Asztalos,
Tim S. Axelrod,
Stephen Bailey,
D. R. Ballantyne,
Justin R. Bankert,
Wayne A. Barkhouse,
Jeffrey D. Barr,
L. Felipe Barrientos,
Aaron J. Barth,
James G. Bartlett,
Andrew C. Becker,
Jacek Becla,
Timothy C. Beers,
Joseph P. Bernstein,
Rahul Biswas,
Michael R. Blanton,
Joshua S. Bloom
, et al. (223 additional authors not shown)
Abstract:
A survey that can cover the sky in optical bands over wide fields to faint magnitudes with a fast cadence will enable many of the exciting science opportunities of the next decade. The Large Synoptic Survey Telescope (LSST) will have an effective aperture of 6.7 meters and an imaging camera with field of view of 9.6 deg^2, and will be devoted to a ten-year imaging survey over 20,000 deg^2 south…
▽ More
A survey that can cover the sky in optical bands over wide fields to faint magnitudes with a fast cadence will enable many of the exciting science opportunities of the next decade. The Large Synoptic Survey Telescope (LSST) will have an effective aperture of 6.7 meters and an imaging camera with field of view of 9.6 deg^2, and will be devoted to a ten-year imaging survey over 20,000 deg^2 south of +15 deg. Each pointing will be imaged 2000 times with fifteen second exposures in six broad bands from 0.35 to 1.1 microns, to a total point-source depth of r~27.5. The LSST Science Book describes the basic parameters of the LSST hardware, software, and observing plans. The book discusses educational and outreach opportunities, then goes on to describe a broad range of science that LSST will revolutionize: mapping the inner and outer Solar System, stellar populations in the Milky Way and nearby galaxies, the structure of the Milky Way disk and halo and other objects in the Local Volume, transient and variable objects both at low and high redshift, and the properties of normal and active galaxies at low and high redshift. It then turns to far-field cosmological topics, exploring properties of supernovae to z~1, strong and weak lensing, the large-scale distribution of galaxies and baryon oscillations, and how these different probes may be combined to constrain cosmological models and the physics of dark energy.
△ Less
Submitted 1 December, 2009;
originally announced December 2009.
-
LSST: from Science Drivers to Reference Design and Anticipated Data Products
Authors:
Željko Ivezić,
Steven M. Kahn,
J. Anthony Tyson,
Bob Abel,
Emily Acosta,
Robyn Allsman,
David Alonso,
Yusra AlSayyad,
Scott F. Anderson,
John Andrew,
James Roger P. Angel,
George Z. Angeli,
Reza Ansari,
Pierre Antilogus,
Constanza Araujo,
Robert Armstrong,
Kirk T. Arndt,
Pierre Astier,
Éric Aubourg,
Nicole Auza,
Tim S. Axelrod,
Deborah J. Bard,
Jeff D. Barr,
Aurelian Barrau,
James G. Bartlett
, et al. (288 additional authors not shown)
Abstract:
(Abridged) We describe here the most ambitious survey currently planned in the optical, the Large Synoptic Survey Telescope (LSST). A vast array of science will be enabled by a single wide-deep-fast sky survey, and LSST will have unique survey capability in the faint time domain. The LSST design is driven by four main science themes: probing dark energy and dark matter, taking an inventory of the…
▽ More
(Abridged) We describe here the most ambitious survey currently planned in the optical, the Large Synoptic Survey Telescope (LSST). A vast array of science will be enabled by a single wide-deep-fast sky survey, and LSST will have unique survey capability in the faint time domain. The LSST design is driven by four main science themes: probing dark energy and dark matter, taking an inventory of the Solar System, exploring the transient optical sky, and mapping the Milky Way. LSST will be a wide-field ground-based system sited at Cerro Pachón in northern Chile. The telescope will have an 8.4 m (6.5 m effective) primary mirror, a 9.6 deg$^2$ field of view, and a 3.2 Gigapixel camera. The standard observing sequence will consist of pairs of 15-second exposures in a given field, with two such visits in each pointing in a given night. With these repeats, the LSST system is capable of imaging about 10,000 square degrees of sky in a single filter in three nights. The typical 5$σ$ point-source depth in a single visit in $r$ will be $\sim 24.5$ (AB). The project is in the construction phase and will begin regular survey operations by 2022. The survey area will be contained within 30,000 deg$^2$ with $δ<+34.5^\circ$, and will be imaged multiple times in six bands, $ugrizy$, covering the wavelength range 320--1050 nm. About 90\% of the observing time will be devoted to a deep-wide-fast survey mode which will uniformly observe a 18,000 deg$^2$ region about 800 times (summed over all six bands) during the anticipated 10 years of operations, and yield a coadded map to $r\sim27.5$. The remaining 10\% of the observing time will be allocated to projects such as a Very Deep and Fast time domain survey. The goal is to make LSST data products, including a relational database of about 32 trillion observations of 40 billion objects, available to the public and scientists around the world.
△ Less
Submitted 23 May, 2018; v1 submitted 15 May, 2008;
originally announced May 2008.
-
Theory of Brillouin Light Scattering from Ferromagnetic Nanospheres
Authors:
Ping Chu,
D. L. Mills
Abstract:
We develop the theory of Brillouin light scattering (BLS) from spin wave modes in ferromagnetic nanospheres, within a framework that incorporates the spatial variation of the optical fields within the sphere. Our recent theory of exchange dipole spin wave modes of the sphere provides us with eigenvectors. When properly normalized, these eigenvectors allow calculation of the absolute cross sectio…
▽ More
We develop the theory of Brillouin light scattering (BLS) from spin wave modes in ferromagnetic nanospheres, within a framework that incorporates the spatial variation of the optical fields within the sphere. Our recent theory of exchange dipole spin wave modes of the sphere provides us with eigenvectors. When properly normalized, these eigenvectors allow calculation of the absolute cross section of various modes which contribute to BLS spectrum. We then present explicit calculation of the BLS spectrum associated with the first few dipole/exchange spin wave modes with emphasis on their relative intensity.
△ Less
Submitted 30 November, 2006;
originally announced November 2006.
-
Spin Waves in Ultrathin Ferromagnets: Intermediate Wave Vectors
Authors:
A. T. Costa,
R. B. Muniz,
D. L. Mills
Abstract:
Our earlier papers explore the nature of large wave vector spin waves in ultrathin ferromagnets, and also the properties and damping of spin waves of zero wave vector, at the center of the two dimensional Brillouin zone, with application to FMR studies. The present paper explores the behavior of spin waves in such films at intermediate wave vectors, which connect the two regimes. For the case of…
▽ More
Our earlier papers explore the nature of large wave vector spin waves in ultrathin ferromagnets, and also the properties and damping of spin waves of zero wave vector, at the center of the two dimensional Brillouin zone, with application to FMR studies. The present paper explores the behavior of spin waves in such films at intermediate wave vectors, which connect the two regimes. For the case of Fe films on Au(100), we study the wave vector dependence of the linewidth of the lowest frequency mode, to find that it contains a term which varies as the fourth power of the wave vector. It is argued that this behavior is expected quite generally. We also explore the nature of the eigenvectors of the two lowest lying modes of the film, as a function of wave vector. Interestingly, as wave vector increases, the lowest mode localizes onto the interface between the film and the substrate, while the second mode evolves into a surface spin wave, localized on the outer layer. We infer similar behavior for a Co film on Cu(100), though this evolution occurs at rather larger wave vectors where, as we have shown previously, the modes are heavily damped with the consequence that identification of distinct eigenmodes is problematical.
△ Less
Submitted 10 September, 2006;
originally announced September 2006.
-
Ferromagnetic Resonance Linewidths in Ultrathin Structures: Theoretical Studies of Spin Pumping
Authors:
A. T. Costa,
R. B. Muniz,
D. L. Mills
Abstract:
We present theoretical studies of the spin pumping contribution to the ferromagnetic resonance linewidth for various ultrathin film ferromagnetic structures. We consider the isolated film on a substrate, with Fe on Au(100) and Fe on W(110) as examples. We explore as well the linewidth from this mechanism for the optical and acoustical collective modes of FM/Cu$_{\rm N}$/FM/Cu(100) structures. Th…
▽ More
We present theoretical studies of the spin pumping contribution to the ferromagnetic resonance linewidth for various ultrathin film ferromagnetic structures. We consider the isolated film on a substrate, with Fe on Au(100) and Fe on W(110) as examples. We explore as well the linewidth from this mechanism for the optical and acoustical collective modes of FM/Cu$_{\rm N}$/FM/Cu(100) structures. The calculations employ a realistic electronic structure, with self consistent ground states generated from the empirical tight binding method, with nine bands for each material in the structure. The spin excitations are generated through use of the random phase approximation applied to the system, including the semi infinite substrate on which the structure is grown. We calculate the frequency response of the system directly by examining the spectral density associated with collective modes whose wave vector parallel to the surface is zero. Linewidths with origin in leakage of spin angular momentum from the adsorbed structure to the semi infinite substrate may be extracted from these results. We discuss a number of issues, including the relationship between the interfilm coupling calculated adiabatically for trilayers, and that extracted from the (dynamical) spin wave spectrum. We obtain excellent agreement with experimental data, within the framework of calculations with no adjustable parameters.
△ Less
Submitted 14 December, 2005;
originally announced December 2005.
-
A bivariate analogue to the composed product of polynomials
Authors:
Donald Mills,
Kent M. Neuerburg
Abstract:
The concept of a composed product for univariate polynomials has been explored extensively by Brawley, Brown, Carlitz, Gao, Mills, et al. Starting with these fundamental ideas and utilizing fractional power series representation (in particular, the Puiseux expansion) of bivariate polynomials, we generalize the univariate results. We define a bivariate composed sum, composed multiplication, and c…
▽ More
The concept of a composed product for univariate polynomials has been explored extensively by Brawley, Brown, Carlitz, Gao, Mills, et al. Starting with these fundamental ideas and utilizing fractional power series representation (in particular, the Puiseux expansion) of bivariate polynomials, we generalize the univariate results. We define a bivariate composed sum, composed multiplication, and composed product (based on function composition). Further, we investigate the algebraic structure of certain classes of bivariate polynomials under these operations. We also generalize a result of Brawley and Carlitz concerning the decomposition of polynomials into irreducibles.
△ Less
Submitted 3 December, 2003;
originally announced December 2003.
-
Existence of primitive polynomials with three coefficients prescribed
Authors:
Donald Mills
Abstract:
We demonstrate, using character sum arguments, the existence of primitive polynomials of degree n over a finite field GF(q) with the coefficients for x^(n-1), x^(n-2), and x^(n-3) prescribed, so long as char(GF(q)) is at least 5 and n is at least 9. The cases n=7, 8 are also considered.
We demonstrate, using character sum arguments, the existence of primitive polynomials of degree n over a finite field GF(q) with the coefficients for x^(n-1), x^(n-2), and x^(n-3) prescribed, so long as char(GF(q)) is at least 5 and n is at least 9. The cases n=7, 8 are also considered.
△ Less
Submitted 27 May, 2003;
originally announced May 2003.
