-
Reliable edge machine learning hardware for scientific applications
Authors:
Tommaso Baldi,
Javier Campos,
Ben Hawks,
Jennifer Ngadiuba,
Nhan Tran,
Daniel Diaz,
Javier Duarte,
Ryan Kastner,
Andres Meza,
Melissa Quinnan,
Olivia Weng,
Caleb Geniesse,
Amir Gholami,
Michael W. Mahoney,
Vladimir Loncar,
Philip Harris,
Joshua Agar,
Shuyu Qin
Abstract:
Extreme data rate scientific experiments create massive amounts of data that require efficient ML edge processing. This leads to unique validation challenges for VLSI implementations of ML algorithms: enabling bit-accurate functional simulations for performance validation in experimental software frameworks, verifying those ML models are robust under extreme quantization and pruning, and enabling…
▽ More
Extreme data rate scientific experiments create massive amounts of data that require efficient ML edge processing. This leads to unique validation challenges for VLSI implementations of ML algorithms: enabling bit-accurate functional simulations for performance validation in experimental software frameworks, verifying those ML models are robust under extreme quantization and pruning, and enabling ultra-fine-grained model inspection for efficient fault tolerance. We discuss approaches to develo** and validating reliable algorithms at the scientific edge under such strict latency, resource, power, and area requirements in extreme experimental environments. We study metrics for develo** robust algorithms, present preliminary results and mitigation strategies, and conclude with an outlook of these and future directions of research towards the longer-term goal of develo** autonomous scientific experimentation methods for accelerated scientific discovery.
△ Less
Submitted 27 June, 2024;
originally announced June 2024.
-
Conventional Quantum Theory Does Not Support A Coherent Relational Account
Authors:
R. E. Kastner
Abstract:
I review a counterexample to the frequent claim that discrepancies among observers resulting from conventional quantum theory's inability to define "measurement", such as those arising in the Wigner's Friend thought experiment, remain private and incommensurable. I consider the implications for a recent attempt to shield Relational Quantum Mechanics from such inconsistencies and conclude that it i…
▽ More
I review a counterexample to the frequent claim that discrepancies among observers resulting from conventional quantum theory's inability to define "measurement", such as those arising in the Wigner's Friend thought experiment, remain private and incommensurable. I consider the implications for a recent attempt to shield Relational Quantum Mechanics from such inconsistencies and conclude that it is not successful.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
Architectural Implications of Neural Network Inference for High Data-Rate, Low-Latency Scientific Applications
Authors:
Olivia Weng,
Alexander Redding,
Nhan Tran,
Javier Mauricio Duarte,
Ryan Kastner
Abstract:
With more scientific fields relying on neural networks (NNs) to process data incoming at extreme throughputs and latencies, it is crucial to develop NNs with all their parameters stored on-chip. In many of these applications, there is not enough time to go off-chip and retrieve weights. Even more so, off-chip memory such as DRAM does not have the bandwidth required to process these NNs as fast as…
▽ More
With more scientific fields relying on neural networks (NNs) to process data incoming at extreme throughputs and latencies, it is crucial to develop NNs with all their parameters stored on-chip. In many of these applications, there is not enough time to go off-chip and retrieve weights. Even more so, off-chip memory such as DRAM does not have the bandwidth required to process these NNs as fast as the data is being produced (e.g., every 25 ns). As such, these extreme latency and bandwidth requirements have architectural implications for the hardware intended to run these NNs: 1) all NN parameters must fit on-chip, and 2) codesigning custom/reconfigurable logic is often required to meet these latency and bandwidth constraints. In our work, we show that many scientific NN applications must run fully on chip, in the extreme case requiring a custom chip to meet such stringent constraints.
△ Less
Submitted 13 March, 2024;
originally announced March 2024.
-
A Note on the Origin of Inertia
Authors:
A. Schlatter,
R. E. Kastner
Abstract:
The question of where the inertial properties of matter come from has been open for a long time. Isaac Newton considered inertia an intrinsic property of matter. Ernst Mach held a different view whereby the inertia of a body comes from its interaction with the rest of the universe. This idea is known today as Mach's principle. We discuss Mach's principle based on transactional gravity, the recentl…
▽ More
The question of where the inertial properties of matter come from has been open for a long time. Isaac Newton considered inertia an intrinsic property of matter. Ernst Mach held a different view whereby the inertia of a body comes from its interaction with the rest of the universe. This idea is known today as Mach's principle. We discuss Mach's principle based on transactional gravity, the recently developed completion of the entropic gravity program by the physics of quantum events induced by transactions. A consequence of the analysis is a fundamental relation between the gravitational constant G and the total mass in the causal universe, derived by means of entropic principles.
△ Less
Submitted 14 February, 2024;
originally announced February 2024.
-
TOP: Towards Open & Predictable Heterogeneous SoCs
Authors:
Luca Valente,
Francesco Restuccia,
Davide Rossi,
Ryan Kastner,
Luca Benini
Abstract:
Ensuring predictability in modern real-time Systems-on-Chip (SoCs) is an increasingly critical concern for many application domains such as automotive, robotics, and industrial automation. An effective approach involves the modeling and development of hardware components, such as interconnects and shared memory resources, to evaluate or enforce their deterministic behavior. Unfortunately, these IP…
▽ More
Ensuring predictability in modern real-time Systems-on-Chip (SoCs) is an increasingly critical concern for many application domains such as automotive, robotics, and industrial automation. An effective approach involves the modeling and development of hardware components, such as interconnects and shared memory resources, to evaluate or enforce their deterministic behavior. Unfortunately, these IPs are often closed-source, and these studies are limited to the single modules that must later be integrated with third-party IPs in more complex SoCs, hindering the precision and scope of modeling and compromising the overall predictability. With the coming-of-age of open-source instruction set architectures (RISC-V) and hardware, major opportunities for changing this status quo are emerging. This study introduces an innovative methodology for modeling and analyzing State-of-the-Art (SoA) open-source SoCs for low-power cyber-physical systems. Our approach models and analyzes the entire set of open-source IPs within these SoCs and then provides a comprehensive analysis of the entire architecture. We validate this methodology on a sample heterogenous low-power RISC-V architecture through RTL simulation and FPGA implementation, minimizing pessimism in bounding the service time of transactions crossing the architecture between 28% and 1%, which is considerably lower when compared to similar SoA works.
△ Less
Submitted 7 June, 2024; v1 submitted 28 January, 2024;
originally announced January 2024.
-
The Arrow of Time is Alive and Well but Forbidden Under the Received View of Physics
Authors:
R. E. Kastner
Abstract:
This essay offers a meta-level analysis in the sociology and history of physics in the context of the so-called "Arrow of Time Problem" or "Two Times Problem," which asserts that the empirically observed directionality of time is in conflict with physical theory. I argue that there is actually no necessary conflict between physics and the arrow of time, and that the observed directionality of time…
▽ More
This essay offers a meta-level analysis in the sociology and history of physics in the context of the so-called "Arrow of Time Problem" or "Two Times Problem," which asserts that the empirically observed directionality of time is in conflict with physical theory. I argue that there is actually no necessary conflict between physics and the arrow of time, and that the observed directionality of time is perfectly consistent with physics unconstrained by certain optional metaphysical, epistemological and methodological beliefs and practices characterizing the conventional or Received View.
△ Less
Submitted 9 June, 2024; v1 submitted 19 November, 2023;
originally announced November 2023.
-
Physical Time as Human Time
Authors:
Ruth E. Kastner
Abstract:
I dissent from the standard assertion of a "Two Times Problem," in which physical time is taken as being at odds with the human sense of a "flow of time." I provide a brief overview of the case to be made for the contrary view: namely, that physical theory is indeed consistent with a genuine temporal dynamism that takes into account the quantum level in connection with spacetime emergence, the lat…
▽ More
I dissent from the standard assertion of a "Two Times Problem," in which physical time is taken as being at odds with the human sense of a "flow of time." I provide a brief overview of the case to be made for the contrary view: namely, that physical theory is indeed consistent with a genuine temporal dynamism that takes into account the quantum level in connection with spacetime emergence, the latter being supervenient on specific quantum processes.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Entropy Cost of "Erasure" in Physically Irreversible Processes
Authors:
R. E. Kastner,
Andreas Schlatter
Abstract:
A restricted form of Landauer's Principle, independent of computational considerations, is shown to hold for thermal systems by reference to the joint entropy associated with conjugate observables. It is shown that the source of the compensating entropy for irreversible physical processes is due to the ontological uncertainty attending values of such mutually incompatible observables, rather than…
▽ More
A restricted form of Landauer's Principle, independent of computational considerations, is shown to hold for thermal systems by reference to the joint entropy associated with conjugate observables. It is shown that the source of the compensating entropy for irreversible physical processes is due to the ontological uncertainty attending values of such mutually incompatible observables, rather than due to epistemic uncertainty as traditionally assumed in the information-theoretic approach. In particular, it is explicitly shown that erasure of logical (epistemic) information via reset operations is not equivalent to erasure of thermodynamic entropy, so that the traditional, information-theoretic form of Landauer's Principle is not supported by the physics. A further implication of the analysis is that, in principle, there can be no Maxwell's Demon in the real world.
△ Less
Submitted 11 January, 2024; v1 submitted 5 July, 2023;
originally announced July 2023.
-
Quantum Theory Needs (And Probably Has) Real Reduction
Authors:
R. E. Kastner
Abstract:
The traditional, standard approach to quantum theory is to assume that the theory ``really'' contains only unitary physical dynamics--i.e., that the only physically quantifiable evolution is that given by the time-dependent Schrodinger equation. This leads to two distinct classes of interpretations for the standard theory in its orthodox form: (i) an Everettian-type approach assuming that all mutu…
▽ More
The traditional, standard approach to quantum theory is to assume that the theory ``really'' contains only unitary physical dynamics--i.e., that the only physically quantifiable evolution is that given by the time-dependent Schrodinger equation. This leads to two distinct classes of interpretations for the standard theory in its orthodox form: (i) an Everettian-type approach assuming that all mutually exclusive outcomes occur in different ``branches'' of the universe; or (ii) single-outcome approaches that assume a ``projection postulate'' (PP) with no accompanying physical account within quantum theory. A contrasting, unorthodox approach is to suggest forms of quantum theory that involve physical non-unitarity; these are called ``objective collapse models.'' Among these are Penrose's theory of gravitation-induced collapse and the Transactional Interpretation. The primary focus of this paper is an example demonstrating that standard quantum theory (with or without the projection postulate) can in-principle yield empirically consequential inconsistencies. Thus, it appears that for quantum theory to be viable in a realist sense (as opposed to being an instrumentalist protocol in which inconsistencies are evaded by changing the protocol), it must possess genuine, physical non-unitarity yielding well-defined single outcomes. This leads to the conclusion that objective collapse models should be more seriously considered.
△ Less
Submitted 7 May, 2023; v1 submitted 20 April, 2023;
originally announced April 2023.
-
Information Flow Coverage Metrics for Hardware Security Verification
Authors:
Andres Meza,
Ryan Kastner
Abstract:
Security graphs model attacks, defenses, mitigations, and vulnerabilities on computer networks and systems. With proper attributes, they provide security metrics using standard graph algorithms. A hyperflow graph is a register-transfer level (RTL) hardware security graph that facilitates security verification. A hyperflow graph models information flows and is annotated with attributes that allow s…
▽ More
Security graphs model attacks, defenses, mitigations, and vulnerabilities on computer networks and systems. With proper attributes, they provide security metrics using standard graph algorithms. A hyperflow graph is a register-transfer level (RTL) hardware security graph that facilitates security verification. A hyperflow graph models information flows and is annotated with attributes that allow security metrics to measure flow paths, flow conditions, and flow rates. Hyperflow graphs enable the understanding of hardware vulnerabilities related to confidentiality, integrity, and availability, as shown on the OpenTitan hardware root of trust under several threat models.
△ Less
Submitted 12 April, 2023;
originally announced April 2023.
-
Within-Camera Multilayer Perceptron DVS Denoising
Authors:
A. Rios-Navarro,
S. Guo,
G Abarajithan,
K. Vijayakumar,
A. Linares-Barranco,
T. Aarrestad,
R. Kastner,
T. Delbruck
Abstract:
In-camera event denoising reduces the data rate of event cameras by filtering out noise at the source. A lightweight multilayer perceptron denoising filter (MLPF) provides state-of-the-art low-cost denoising accuracy. It processes a small neighborhood of pixels from the timestamp image around each event to discriminate signal and noise events. This paper proposes two digital logic implementations…
▽ More
In-camera event denoising reduces the data rate of event cameras by filtering out noise at the source. A lightweight multilayer perceptron denoising filter (MLPF) provides state-of-the-art low-cost denoising accuracy. It processes a small neighborhood of pixels from the timestamp image around each event to discriminate signal and noise events. This paper proposes two digital logic implementations of the MLPF denoiser and quantifies their resource cost, power, and latency. The hardware MLPF quantizes the weights and hidden unit activations to 4 bits and has about 1k weights with about 40% sparsity. The Area-Under-Curve Receiver Operating Characteristic accuracy is nearly indistinguishable from that of the floating point network. The FPGA MLPF processes each event in 10 clock cycles. In FPGA, it uses 3.5k flip flops and 11.5k LUTs. Our ASIC implementation in 65nm digital technology for a 346x260 pixel camera occupies an area of 4.3mm^2 and consumes 4nJ of energy per event at event rates up to 25MHz. The MLPF can be easily integrated into an event camera using an FPGA or as an ASIC directly on the camera chip or in the same package. This denoising could dramatically reduce the energy consumed by the communication and host processor and open new areas of always-on event camera application under scavenged and battery power. Code: https://github.com/SensorsINI/dnd_hls
△ Less
Submitted 15 April, 2023;
originally announced April 2023.
-
Pentimento: Data Remanence in Cloud FPGAs
Authors:
Colin Drewes,
Olivia Weng,
Andres Meza,
Alric Althoff,
David Kohlbrenner,
Ryan Kastner,
Dustin Richmond
Abstract:
Cloud FPGAs strike an alluring balance between computational efficiency, energy efficiency, and cost. It is the flexibility of the FPGA architecture that enables these benefits, but that very same flexibility that exposes new security vulnerabilities. We show that a remote attacker can recover "FPGA pentimenti" - long-removed secret data belonging to a prior user of a cloud FPGA. The sensitive dat…
▽ More
Cloud FPGAs strike an alluring balance between computational efficiency, energy efficiency, and cost. It is the flexibility of the FPGA architecture that enables these benefits, but that very same flexibility that exposes new security vulnerabilities. We show that a remote attacker can recover "FPGA pentimenti" - long-removed secret data belonging to a prior user of a cloud FPGA. The sensitive data constituting an FPGA pentimento is an analog imprint from bias temperature instability (BTI) effects on the underlying transistors. We demonstrate how this slight degradation can be measured using a time-to-digital (TDC) converter when an adversary programs one into the target cloud FPGA.
This technique allows an attacker to ascertain previously safe information on cloud FPGAs, even after it is no longer explicitly present. Notably, it can allow an attacker who knows a non-secret "skeleton" (the physical structure, but not the contents) of the victim's design to (1) extract proprietary details from an encrypted FPGA design image available on the AWS marketplace and (2) recover data loaded at runtime by a previous user of a cloud FPGA using a known design. Our experiments show that BTI degradation (burn-in) and recovery are measurable and constitute a security threat to commercial cloud FPGAs.
△ Less
Submitted 31 March, 2023;
originally announced March 2023.
-
Tailor: Altering Skip Connections for Resource-Efficient Inference
Authors:
Olivia Weng,
Gabriel Marcano,
Vladimir Loncar,
Alireza Khodamoradi,
Nojan Sheybani,
Andres Meza,
Farinaz Koushanfar,
Kristof Denolf,
Javier Mauricio Duarte,
Ryan Kastner
Abstract:
Deep neural networks use skip connections to improve training convergence. However, these skip connections are costly in hardware, requiring extra buffers and increasing on- and off-chip memory utilization and bandwidth requirements. In this paper, we show that skip connections can be optimized for hardware when tackled with a hardware-software codesign approach. We argue that while a network's sk…
▽ More
Deep neural networks use skip connections to improve training convergence. However, these skip connections are costly in hardware, requiring extra buffers and increasing on- and off-chip memory utilization and bandwidth requirements. In this paper, we show that skip connections can be optimized for hardware when tackled with a hardware-software codesign approach. We argue that while a network's skip connections are needed for the network to learn, they can later be removed or shortened to provide a more hardware efficient implementation with minimal to no accuracy loss. We introduce Tailor, a codesign tool whose hardware-aware training algorithm gradually removes or shortens a fully trained network's skip connections to lower their hardware cost. Tailor improves resource utilization by up to 34% for BRAMs, 13% for FFs, and 16% for LUTs for on-chip, dataflow-style architectures. Tailor increases performance by 30% and reduces memory bandwidth by 45% for a 2D processing element array architecture.
△ Less
Submitted 15 September, 2023; v1 submitted 17 January, 2023;
originally announced January 2023.
-
Quantum Haecceity
Authors:
Ruth E. Kastner
Abstract:
There is an extensive philosophical literature on the interrelated issues of identity, individuality, and distinguishability in quantum systems. A key consideration is whether quantum systems are subject to a strong form of individuality termed "haecceity" (from the Latin for "this-ness"). I argue that the traditional, strong form of haecceity does not apply at the quantum level, but that in order…
▽ More
There is an extensive philosophical literature on the interrelated issues of identity, individuality, and distinguishability in quantum systems. A key consideration is whether quantum systems are subject to a strong form of individuality termed "haecceity" (from the Latin for "this-ness"). I argue that the traditional, strong form of haecceity does not apply at the quantum level, but that in order to properly account for the need for symmetrization in quantum systems, a weaker kind of haecceity must be involved, which I call "quantum haecceity." In the process, I also question some generally accepted tenets of the current debate, such as the idea that symmetrization of states for identical quanta must be postulated and reflects permutation invariance. Instead, I note that a perturbative Hamiltonian is required for exchange effects, which suggests that the need for symmetrization arises from specific physical conditions.
△ Less
Submitted 31 March, 2023; v1 submitted 1 January, 2023;
originally announced January 2023.
-
Gravity from Transactions: Fulfilling the Entropic Gravity Program
Authors:
A. Schlatter,
R. E. Kastner
Abstract:
This is a review of new developments in entropic gravity in light of the Relativistic Transactional Interpretation (RTI). A transactional approach to spacetime events can give rise in a natural way to entropic gravity (in the way originally proposed by Erik Verlinde) while also overcoming extant objections to that research program. The theory also naturally gives rise to a Cosmological Constant an…
▽ More
This is a review of new developments in entropic gravity in light of the Relativistic Transactional Interpretation (RTI). A transactional approach to spacetime events can give rise in a natural way to entropic gravity (in the way originally proposed by Erik Verlinde) while also overcoming extant objections to that research program. The theory also naturally gives rise to a Cosmological Constant and to Modified Newtonian Dynamics (MOND) and thus provides a physical explanation for the phenomena historically attributed to "dark energy" and "dark matter".
△ Less
Submitted 13 June, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
Open-source FPGA-ML codesign for the MLPerf Tiny Benchmark
Authors:
Hendrik Borras,
Giuseppe Di Guglielmo,
Javier Duarte,
Nicolò Ghielmetti,
Ben Hawks,
Scott Hauck,
Shih-Chieh Hsu,
Ryan Kastner,
Jason Liang,
Andres Meza,
Jules Muhizi,
Tai Nguyen,
Rushil Roy,
Nhan Tran,
Yaman Umuroglu,
Olivia Weng,
Aidan Yokuda,
Michaela Blott
Abstract:
We present our development experience and recent results for the MLPerf Tiny Inference Benchmark on field-programmable gate array (FPGA) platforms. We use the open-source hls4ml and FINN workflows, which aim to democratize AI-hardware codesign of optimized neural networks on FPGAs. We present the design and implementation process for the keyword spotting, anomaly detection, and image classificatio…
▽ More
We present our development experience and recent results for the MLPerf Tiny Inference Benchmark on field-programmable gate array (FPGA) platforms. We use the open-source hls4ml and FINN workflows, which aim to democratize AI-hardware codesign of optimized neural networks on FPGAs. We present the design and implementation process for the keyword spotting, anomaly detection, and image classification benchmark tasks. The resulting hardware implementations are quantized, configurable, spatial dataflow architectures tailored for speed and efficiency and introduce new generic optimizations and common workflows developed as a part of this work. The full workflow is presented from quantization-aware training to FPGA implementation. The solutions are deployed on system-on-chip (Pynq-Z2) and pure FPGA (Arty A7-100T) platforms. The resulting submissions achieve latencies as low as 20 $μ$s and energy consumption as low as 30 $μ$J per inference. We demonstrate how emerging ML benchmarks on heterogeneous hardware platforms can catalyze collaboration and the development of new techniques and more accessible tools.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Applications and Techniques for Fast Machine Learning in Science
Authors:
Allison McCarn Deiana,
Nhan Tran,
Joshua Agar,
Michaela Blott,
Giuseppe Di Guglielmo,
Javier Duarte,
Philip Harris,
Scott Hauck,
Mia Liu,
Mark S. Neubauer,
Jennifer Ngadiuba,
Seda Ogrenci-Memik,
Maurizio Pierini,
Thea Aarrestad,
Steffen Bahr,
Jurgen Becker,
Anne-Sophie Berthold,
Richard J. Bonventre,
Tomas E. Muller Bravo,
Markus Diefenthaler,
Zhen Dong,
Nick Fritzsche,
Amir Gholami,
Ekaterina Govorkova,
Kyle J Hazelwood
, et al. (62 additional authors not shown)
Abstract:
In this community review report, we discuss applications and techniques for fast machine learning (ML) in science -- the concept of integrating power ML methods into the real-time experimental data processing loop to accelerate scientific discovery. The material for the report builds on two workshops held by the Fast ML for Science community and covers three main areas: applications for fast ML ac…
▽ More
In this community review report, we discuss applications and techniques for fast machine learning (ML) in science -- the concept of integrating power ML methods into the real-time experimental data processing loop to accelerate scientific discovery. The material for the report builds on two workshops held by the Fast ML for Science community and covers three main areas: applications for fast ML across a number of scientific domains; techniques for training and implementing performant and resource-efficient ML algorithms; and computing architectures, platforms, and technologies for deploying these algorithms. We also present overlap** challenges across the multiple scientific domains where common solutions can be found. This community report is intended to give plenty of examples and inspiration for scientific discovery through integrated and accelerated ML solutions. This is followed by a high-level overview and organization of technical advances, including an abundance of pointers to source material, which can enable these breakthroughs.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
Junkyard Computing: Repurposing Discarded Smartphones to Minimize Carbon
Authors:
Jennifer Switzer,
Gabriel Marcano,
Ryan Kastner,
Pat Pannuto
Abstract:
1.5 billion smartphones are sold annually, and most are decommissioned less than two years later. Most of these unwanted smartphones are neither discarded nor recycled but languish in junk drawers and storage units. This computational stockpile represents a substantial wasted potential: modern smartphones have increasingly high-performance and energy-efficient processors, extensive networking capa…
▽ More
1.5 billion smartphones are sold annually, and most are decommissioned less than two years later. Most of these unwanted smartphones are neither discarded nor recycled but languish in junk drawers and storage units. This computational stockpile represents a substantial wasted potential: modern smartphones have increasingly high-performance and energy-efficient processors, extensive networking capabilities, and a reliable built-in power supply. This project studies the ability to reuse smartphones as "junkyard computers." Junkyard computers grow global computing capacity by extending device lifetimes, which supplants the manufacture of new devices. We show that the capabilities of even decade-old smartphones are within those demanded by modern cloud microservices and discuss how to combine phones to perform increasingly complex tasks. We describe how current operation-focused metrics do not capture the actual carbon costs of compute. We propose Computational Carbon Intensity -- a performance metric that balances the continued service of older devices with the superlinear runtime improvements of newer machines. We use this metric to redefine device service lifetime in terms of carbon efficiency. We develop a cloudlet of reused Pixel 3A phones. We analyze the carbon benefits of deploying large, end-to-end microservice-based applications on these smartphones. Finally, we describe system architectures and associated challenges to scale to cloudlets with hundreds and thousands of smartphones.
△ Less
Submitted 25 October, 2022; v1 submitted 13 October, 2021;
originally announced October 2021.
-
AKER: A Design and Verification Framework for Safe andSecure SoC Access Control
Authors:
Francesco Restuccia,
Andres Meza,
Ryan Kastner
Abstract:
Modern systems on a chip (SoCs) utilize heterogeneous architectures where multiple IP cores have concurrent access to on-chip shared resources. In security-critical applications, IP cores have different privilege levels for accessing shared resources, which must be regulated by an access control system. AKER is a design and verification framework for SoC access control. AKER builds upon the Access…
▽ More
Modern systems on a chip (SoCs) utilize heterogeneous architectures where multiple IP cores have concurrent access to on-chip shared resources. In security-critical applications, IP cores have different privilege levels for accessing shared resources, which must be regulated by an access control system. AKER is a design and verification framework for SoC access control. AKER builds upon the Access Control Wrapper (ACW) -- a high performance and easy-to-integrate hardware module that dynamically manages access to shared resources. To build an SoC access control system, AKER distributes the ACWs throughout the SoC, wrap** controller IP cores, and configuring the ACWs to perform local access control. To ensure the access control system is functioning correctly and securely, AKER provides a property-driven security verification using MITRE common weakness enumerations. AKER verifies the SoC access control at the IP level to ensure the absence of bugs in the functionalities of the ACW module, at the firmware level to confirm the secure operation of the ACW when integrated with a hardware root-of-trust (HRoT), and at the system level to evaluate security threats due to the interactions among shared resources. The performance, resource usage, and security of access control systems implemented through AKER is experimentally evaluated on a Xilinx UltraScale+ programmable SoC, it is integrated with the OpenTitan hardware root-of-trust, and it is used to design an access control system for the OpenPULP multicore architecture.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Isadora: Automated Information Flow Property Generation for Hardware Designs
Authors:
Calvin Deutschbein,
Andres Meza,
Francesco Restuccia,
Ryan Kastner,
Cynthia Sturton
Abstract:
Isadora is a methodology for creating information flow specifications of hardware designs. The methodology combines information flow tracking and specification mining to produce a set of information flow properties that are suitable for use during the security validation process, and which support a better understanding of the security posture of the design. Isadora is fully automated; the user pr…
▽ More
Isadora is a methodology for creating information flow specifications of hardware designs. The methodology combines information flow tracking and specification mining to produce a set of information flow properties that are suitable for use during the security validation process, and which support a better understanding of the security posture of the design. Isadora is fully automated; the user provides only the design under consideration and a testbench and need not supply a threat model nor security specifications. We evaluate Isadora on a RISC-V processor plus two designs related to SoC access control. Isadora generates security properties that align with those suggested by the Common Weakness Enumerations (CWEs), and in the case of the SoC designs, align with the properties written manually by security experts.
△ Less
Submitted 2 October, 2021; v1 submitted 14 June, 2021;
originally announced June 2021.
-
Unitary Interactions Do Not Yield Outcomes: Attempting to Model "Wigner's Friend"
Authors:
R. E. Kastner
Abstract:
An experiment by Proietti {\it et al} purporting to instantiate the `Wigner's Friend' thought experiment is discussed. It is pointed out that the stated implications of the experiment regarding the alleged irreconcilability of facts attributed to different observers warrant critical review. In particular, violation of a Clauser-Horne-Shimony inequality by the experimental data actually shows that…
▽ More
An experiment by Proietti {\it et al} purporting to instantiate the `Wigner's Friend' thought experiment is discussed. It is pointed out that the stated implications of the experiment regarding the alleged irreconcilability of facts attributed to different observers warrant critical review. In particular, violation of a Clauser-Horne-Shimony inequality by the experimental data actually shows that the attribution of measurement outcomes to the ``Friends'' (modeled by internal photons undergoing unitary interactions) is erroneous. An elementary but often overlooked result regarding improper mixtures is adduced in support of this assessment. A counterexample is provided which refutes the popular notion that quantum theory leads to `relative facts' that never manifest as empirical inconsistencies. It is further noted that under an assumption of unbroken unitarity, no measurement correlation can ever yield an outcome, since all systems remain in improper mixtures, and attributing a definite but unknown outcome contradicts their composite pure state. It is pointed out that there already exists a solution to this conundrum in the form of an alternative formulation of quantum theory, which accounts for the data showing that no outcomes occurred at the interior entangled photon level and also predicts that outcomes can and do occur at the exterior ``super-observer'' level in this type of experiment.
△ Less
Submitted 29 March, 2023; v1 submitted 4 May, 2021;
originally announced May 2021.
-
The Relativistic Transactional Interpretation and Spacetime Emergence
Authors:
R. E. Kastner
Abstract:
We consider the manner in which the spacetime manifold emerges from a quantum substratum through the transactional process, in which spacetime events and their connections are established. In this account, there is no background spacetime as is generally assumed in physical theorizing. Instead, the usual notion of a background spacetime is replaced by the quantum substratum, comprising quantum sys…
▽ More
We consider the manner in which the spacetime manifold emerges from a quantum substratum through the transactional process, in which spacetime events and their connections are established. In this account, there is no background spacetime as is generally assumed in physical theorizing. Instead, the usual notion of a background spacetime is replaced by the quantum substratum, comprising quantum systems with nonvanishing rest mass. Rest mass corresponds to internal periodicities that function as internal clocks defining proper times, and in turn, inertial frames that are not themselves aspects of the spacetime manifold, but are pre-spacetime reference structures. Specific processes in the quantum substratum serve to distinguish absolute from relative motion.
△ Less
Submitted 20 March, 2021;
originally announced March 2021.
-
Time-Varying Materials in Presence of Dispersion: Plane-Wave Propagation in a Lorentzian Medium with Temporal Discontinuity
Authors:
Diego M. SolÃs,
Raphael Kastner,
Nader Engheta
Abstract:
We study the problem of a temporal discontinuity in the permittivity of an unbounded medium with Lorentzian dispersion. More specifically, we tackle the situation in which a monochromatic plane wave forward-travelling in a (generally lossy) Lorentzian-like medium scatters from the temporal "half-space interface" that results from an abrupt temporal change in its plasma frequency (while kee** its…
▽ More
We study the problem of a temporal discontinuity in the permittivity of an unbounded medium with Lorentzian dispersion. More specifically, we tackle the situation in which a monochromatic plane wave forward-travelling in a (generally lossy) Lorentzian-like medium scatters from the temporal "half-space interface" that results from an abrupt temporal change in its plasma frequency (while kee** its resonance frequency constant). In order to achieve momentum preservation across the temporal discontinuity, we show how, unlike in the well-known problem of a nondispersive discontinuity, the second-order nature of the dielectric function now gives rise to two shifted frequencies. As a consequence, whereas in the nondispersive scenario the continuity of the electric displacement D and the magnetic induction B suffice to find the amplitude of the new forward and backward wave, we now need two extra temporal boundary conditions. That is, two forward and two backward plane waves are now instantaneously generated in response to a forward-only plane wave. We also include a transmission-line equivalent with lumped circuit elements that describes the dispersive time-discontinuous scenario under consideration.
△ Less
Submitted 10 March, 2021;
originally announced March 2021.
-
Hardware-efficient Residual Networks for FPGAs
Authors:
Olivia Weng,
Alireza Khodamoradi,
Ryan Kastner
Abstract:
Residual networks (ResNets) employ skip connections in their networks -- reusing activations from previous layers -- to improve training convergence, but these skip connections create challenges for hardware implementations of ResNets. The hardware must either wait for skip connections to be processed before processing more incoming data or buffer them elsewhere. Without skip connections, ResNets…
▽ More
Residual networks (ResNets) employ skip connections in their networks -- reusing activations from previous layers -- to improve training convergence, but these skip connections create challenges for hardware implementations of ResNets. The hardware must either wait for skip connections to be processed before processing more incoming data or buffer them elsewhere. Without skip connections, ResNets would be more hardware-efficient. Thus, we present the teacher-student learning method to gradually prune away all of a ResNet's skip connections, constructing a network we call NonResNet. We show that when implemented for FPGAs, NonResNet decreases ResNet's BRAM utilization by 9% and LUT utilization by 3% and increases throughput by 5%.
△ Less
Submitted 2 February, 2021;
originally announced February 2021.
-
The Relativistic Transactional Interpretation and The Quantum Direct-Action Theory
Authors:
R. E. Kastner
Abstract:
This paper presents key aspects of the quantum relativistic direct-action theory that underlies the Relativistic Transactional Interpretation. It notes some crucial ways in which traditional interpretations of the direct-action theory have impeded progress in develo** its quantum counterpart. Specifically, (1) the so-called 'light tight box' condition is re-examined and it is shown that the quan…
▽ More
This paper presents key aspects of the quantum relativistic direct-action theory that underlies the Relativistic Transactional Interpretation. It notes some crucial ways in which traditional interpretations of the direct-action theory have impeded progress in develo** its quantum counterpart. Specifically, (1) the so-called 'light tight box' condition is re-examined and it is shown that the quantum version of this condition is much less restrictive than has long been assumed; and (2) the notion of a 'real photon' is disambiguated and revised to take into account that real (on-shell) photons are indeed both emitted and absorbed and therefore have finite lifetimes. Also discussed is the manner in which real, physical non-unitarity naturally arises in the quantum direct-action theory of fields, such that the measurement transition can be clearly defined from within the theory, without reference to external observers and without any need to modify quantum theory itself. It is shown that field quantization arises from the non-unitary interaction.
△ Less
Submitted 25 December, 2021; v1 submitted 3 January, 2021;
originally announced January 2021.
-
A Unified Model for Gate Level Propagation Analysis
Authors:
Jeremy Blackstone,
Wei Hu,
Alric Althoff,
Armaiti Ardeshiricham,
Lu Zhang,
Ryan Kastner
Abstract:
Classic hardware verification techniques (e.g., X-propagation and fault-propagation) and more recent hardware security verification techniques based on information flow tracking (IFT) aim to understand how information passes, affects, and otherwise modifies a circuit. These techniques all have separate usage scenarios, but when dissected into their core functionality, they relate in a fundamental…
▽ More
Classic hardware verification techniques (e.g., X-propagation and fault-propagation) and more recent hardware security verification techniques based on information flow tracking (IFT) aim to understand how information passes, affects, and otherwise modifies a circuit. These techniques all have separate usage scenarios, but when dissected into their core functionality, they relate in a fundamental manner. In this paper, we develop a common framework for gate level propagation analysis. We use our model to generate synthesizable propagation logic to use in standard EDA tools. To justify our model, we prove that Precise Hardware IFT is equivalent to gate level X-propagation and imprecise fault propagation. We also show that the difference between Precise Hardware IFT and fault propagation is not significant for 74X-series and '85 ISCAS benchmarks with more than 313 gates and the difference between imprecise hardware IFT and Precise Hardware IFT is almost always significant regardless of size.
△ Less
Submitted 7 December, 2020;
originally announced December 2020.
-
Did Hurricane Katrina Reduce Mortality?
Authors:
Robert Kaestner
Abstract:
In a recent article in the American Economic Review, Tatyana Deryugina and David Molitor (DM) analyzed the effect of Hurricane Katrina on the mortality of elderly and disabled residents of New Orleans. The authors concluded that Hurricane Katrina improved the eight-year survival rate of elderly and disabled residents of New Orleans by 3% and that most of this decline in mortality was due to declin…
▽ More
In a recent article in the American Economic Review, Tatyana Deryugina and David Molitor (DM) analyzed the effect of Hurricane Katrina on the mortality of elderly and disabled residents of New Orleans. The authors concluded that Hurricane Katrina improved the eight-year survival rate of elderly and disabled residents of New Orleans by 3% and that most of this decline in mortality was due to declines in mortality among those who moved to places with lower mortality. In this article, I provide a critical assessment of the evidence provided by DM to support their conclusions. There are three main problems. First, DM generally fail to account for the fact that people of different ages, races or sex will have different probabilities of dying as time goes by, and when they do allow for this, results change markedly. Second, DM do not account for the fact that residents in New Orleans are likely to be selected non-randomly on the basis of health because of the relatively high mortality rate in New Orleans compared to the rest of the country. Third, there is considerable evidence that among those who moved from New Orleans, the destination chosen was non-random. Finally, DM never directly assessed changes in mortality of those who moved, or stayed, in New Orleans before and after Hurricane Katrina. These problems lead me to conclude that the evidence presented by DM does not support their inferences.
△ Less
Submitted 28 November, 2020; v1 submitted 6 November, 2020;
originally announced November 2020.
-
Decoherence and the Transactional Interpretation
Authors:
R. E. Kastner
Abstract:
This paper presents an analysis of decoherence resulting from the physically real non-unitarity, or 'objective reduction,' that occurs in the Transactional Interpretation (TI). Two distinct aspects of the decoherence process are identified and disambiguated; specifically, (i) the resolution of the basic measurement interaction with respect to the observable under study, and (ii) the effect on the…
▽ More
This paper presents an analysis of decoherence resulting from the physically real non-unitarity, or 'objective reduction,' that occurs in the Transactional Interpretation (TI). Two distinct aspects of the decoherence process are identified and disambiguated; specifically, (i) the resolution of the basic measurement interaction with respect to the observable under study, and (ii) the effect on the measured system of repetition of the measurement interaction. It is shown that the measurement interaction as described in TI leads naturally to the same quantitative expression for the decoherence function as in the standard unitary-only account. However, unlike in the unitary-only approach, under TI, the reduced density operator for the measured system can legitimately be interpreted as representing the occurrence of an actual measurement result.
△ Less
Submitted 1 April, 2020;
originally announced April 2020.
-
FastWave: Accelerating Autoregressive Convolutional Neural Networks on FPGA
Authors:
Shehzeen Hussain,
Mojan Javaheripi,
Paarth Neekhara,
Ryan Kastner,
Farinaz Koushanfar
Abstract:
Autoregressive convolutional neural networks (CNNs) have been widely exploited for sequence generation tasks such as audio synthesis, language modeling and neural machine translation. WaveNet is a deep autoregressive CNN composed of several stacked layers of dilated convolution that is used for sequence generation. While WaveNet produces state-of-the art audio generation results, the naive inferen…
▽ More
Autoregressive convolutional neural networks (CNNs) have been widely exploited for sequence generation tasks such as audio synthesis, language modeling and neural machine translation. WaveNet is a deep autoregressive CNN composed of several stacked layers of dilated convolution that is used for sequence generation. While WaveNet produces state-of-the art audio generation results, the naive inference implementation is quite slow; it takes a few minutes to generate just one second of audio on a high-end GPU. In this work, we develop the first accelerator platform~\textit{FastWave} for autoregressive convolutional neural networks, and address the associated design challenges. We design the Fast-Wavenet inference model in Vivado HLS and perform a wide range of optimizations including fixed-point implementation, array partitioning and pipelining. Our model uses a fully parameterized parallel architecture for fast matrix-vector multiplication that enables per-layer customized latency fine-tuning for further throughput improvement. Our experiments comparatively assess the trade-off between throughput and resource utilization for various optimizations. Our best WaveNet design on the Xilinx XCVU13P FPGA that uses only on-chip memory, achieves 66 faster generation speed compared to CPU implementation and 11 faster generation speed than GPU implementation.
△ Less
Submitted 9 February, 2020;
originally announced February 2020.
-
Unitary-Only Quantum Theory Cannot Consistently Describe the Use of Itself: On the Frauchiger-Renner Paradox
Authors:
R. E. Kastner
Abstract:
The Frauchiger-Renner Paradox is an extension of paradoxes based on the 'Problem of Measurement,' such as Schrodinger's Cat and Wigner's Friend. All of these paradoxes stem from assuming that quantum theory has only unitary (linear) physical dynamics, and the attendant ambiguity about what counts as a 'measurement'--i.e., the inability to account for the observation of determinate measurement outc…
▽ More
The Frauchiger-Renner Paradox is an extension of paradoxes based on the 'Problem of Measurement,' such as Schrodinger's Cat and Wigner's Friend. All of these paradoxes stem from assuming that quantum theory has only unitary (linear) physical dynamics, and the attendant ambiguity about what counts as a 'measurement'--i.e., the inability to account for the observation of determinate measurement outcomes from within the theory itself. This paper discusses a basic inconsistency arising in the FR scenario at a much earlier point than the derived contradiction: namely, the inconsistency inherent in treating an improper mixture (reduced density operator) as a proper, epistemic mixture. This is an illegitimate procedure that is nevertheless endemic if quantum theory is assumed to be always unitary. In contrast, under a non-unitary account of quantum state reduction yielding determinate outcomes, the use of a proper mixture for measurement results becomes legitimate, and this entire class of paradoxes cannot be mounted. The conclusion is that the real lesson of the FR paradox is that it is the unitary-only assumption that needs to be critically reassessed.
△ Less
Submitted 26 January, 2021; v1 submitted 4 February, 2020;
originally announced February 2020.
-
Patient Specific Biomechanics Are Clinically Significant In Accurate Computer Aided Surgical Image Guidance
Authors:
Michael Barrow,
Alice Chao,
Qizhi He,
Sonia Ramamoorthy,
Claude Sirlin,
Ryan Kastner
Abstract:
Augmented Reality is used in Image Guided surgery (AR IG) to fuse surgical landmarks from preoperative images into a video overlay. Physical simulation is essential to maintaining accurate position of the landmarks as surgery progresses and ensuring patient safety by avoiding accidental damage to vessels etc. In liver procedures, AR IG simulation accuracy is hampered by an inability to model stiff…
▽ More
Augmented Reality is used in Image Guided surgery (AR IG) to fuse surgical landmarks from preoperative images into a video overlay. Physical simulation is essential to maintaining accurate position of the landmarks as surgery progresses and ensuring patient safety by avoiding accidental damage to vessels etc. In liver procedures, AR IG simulation accuracy is hampered by an inability to model stiffness variations unique to the patients disease. We introduce a novel method to account for patient specific stiffness variation based on Magnetic Resonance Elastography (MRE) data. To the best of our knowledge we are the first to demonstrate the use of in-vivo biomechanical data for AR IG landmark placement. In this early work, a comparative evaluation of our MRE data driven simulation and the traditional method shows clinically significant differences in accuracy during landmark placement and motivates further animal model trials.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
Estimation of Absolute Scale in Monocular SLAM Using Synthetic Data
Authors:
Danila Rukhovich,
Daniel Mouritzen,
Ralf Kaestner,
Martin Rufli,
Alexander Velizhev
Abstract:
This paper addresses the problem of scale estimation in monocular SLAM by estimating absolute distances between camera centers of consecutive image frames. These estimates would improve the overall performance of classical (not deep) SLAM systems and allow metric feature locations to be recovered from a single monocular camera. We propose several network architectures that lead to an improvement o…
▽ More
This paper addresses the problem of scale estimation in monocular SLAM by estimating absolute distances between camera centers of consecutive image frames. These estimates would improve the overall performance of classical (not deep) SLAM systems and allow metric feature locations to be recovered from a single monocular camera. We propose several network architectures that lead to an improvement of scale estimation accuracy over the state of the art. In addition, we exploit a possibility to train the neural network only with synthetic data derived from a computer graphics simulator. Our key insight is that, using only synthetic training inputs, we can achieve similar scale estimation accuracy as that obtained from real data. This fact indicates that fully annotated simulated data is a viable alternative to existing deep-learning-based SLAM systems trained on real (unlabeled) data. Our experiments with unsupervised domain adaptation also show that the difference in visual appearance between simulated and real data does not affect scale estimation results. Our method operates with low-resolution images (0.03MP), which makes it practical for real-time SLAM applications with a monocular camera.
△ Less
Submitted 2 September, 2019;
originally announced September 2019.
-
The 'Delayed Choice Quantum Eraser' Neither Erases Nor Delays
Authors:
R. E. Kastner
Abstract:
It is demonstrated that 'quantum eraser' (QE) experiments do not erase any information. Nor do they demonstrate retrocausation or 'temporal nonlocality' in their 'delayed choice' form, beyond standard EPR correlations. It is shown that the erroneous erasure claims arise from assuming that the improper mixed state of the signal photon physically prefers either the 'which way' or 'both ways' basis,…
▽ More
It is demonstrated that 'quantum eraser' (QE) experiments do not erase any information. Nor do they demonstrate retrocausation or 'temporal nonlocality' in their 'delayed choice' form, beyond standard EPR correlations. It is shown that the erroneous erasure claims arise from assuming that the improper mixed state of the signal photon physically prefers either the 'which way' or 'both ways' basis, when no such preference is warranted. The latter point is illustrated through comparison of the QE spatial state space with the spin-1/2 space of particles in the EPR-spin experiment.
△ Less
Submitted 8 June, 2019; v1 submitted 8 May, 2019;
originally announced May 2019.
-
Parallel Programming for FPGAs
Authors:
Ryan Kastner,
Janarbek Matai,
Stephen Neuendorffer
Abstract:
This book focuses on the use of algorithmic high-level synthesis (HLS) to build application-specific FPGA systems. Our goal is to give the reader an appreciation of the process of creating an optimized hardware design using HLS. Although the details are, of necessity, different from parallel programming for multicore processors or GPUs, many of the fundamental concepts are similar. For example, de…
▽ More
This book focuses on the use of algorithmic high-level synthesis (HLS) to build application-specific FPGA systems. Our goal is to give the reader an appreciation of the process of creating an optimized hardware design using HLS. Although the details are, of necessity, different from parallel programming for multicore processors or GPUs, many of the fundamental concepts are similar. For example, designers must understand memory hierarchy and bandwidth, spatial and temporal locality of reference, parallelism, and tradeoffs between computation and storage. This book is a practical guide for anyone interested in building FPGA systems. In a university environment, it is appropriate for advanced undergraduate and graduate courses. At the same time, it is also useful for practicing system designers and embedded programmers. The book assumes the reader has a working knowledge of C/C++ and includes a significant amount of sample code. In addition, we assume familiarity with basic computer architecture concepts (pipelining, speedup, Amdahl's Law, etc.). A knowledge of the RTL-based FPGA design flow is helpful, although not required.
△ Less
Submitted 9 May, 2018;
originally announced May 2018.
-
Reply to Marchildon: absorption and non-unitarity remain well-defined in the Relativistic Transactional Interpretation
Authors:
R. E. Kastner
Abstract:
I rebut some erroneous statements and attempt to clear up some misunderstandings in a recent set of critical remarks by Marchildon regarding the Relativistic Transactional Interpretation (RTI), showing that his negative conclusions regarding the transactional model are ill-founded.
I rebut some erroneous statements and attempt to clear up some misunderstandings in a recent set of critical remarks by Marchildon regarding the Relativistic Transactional Interpretation (RTI), showing that his negative conclusions regarding the transactional model are ill-founded.
△ Less
Submitted 27 December, 2017;
originally announced December 2017.
-
Quantifying Absorption in the Transactional Interpretation
Authors:
R. E. Kastner,
John G. Cramer
Abstract:
The Transactional Interpretation offers a solution to the measurement problem by identifying specific physical conditions precipitating the non-unitary `measurement transition' of von Neumann. Specifically, the transition occurs as a result of absorber response (a process lacking in the standard approach to the theory). The purpose of this Letter is to make clear that, despite recent claims to the…
▽ More
The Transactional Interpretation offers a solution to the measurement problem by identifying specific physical conditions precipitating the non-unitary `measurement transition' of von Neumann. Specifically, the transition occurs as a result of absorber response (a process lacking in the standard approach to the theory). The purpose of this Letter is to make clear that, despite recent claims to the contrary, the concepts of `absorber' and `absorber response,' as well as the process of absorption, are physically and quantitatively well-defined in the transactional picture. In addition, the Born Rule is explicitly derived for radiative processes.
△ Less
Submitted 17 June, 2018; v1 submitted 13 November, 2017;
originally announced November 2017.
-
On the Status of the Measurement Problem: Recalling the Relativistic Transactional Interpretation
Authors:
R. E. Kastner
Abstract:
In view of a resurgence of concern about the measurement problem, it is pointed out that the Relativistic Transactional Interpretation (RTI) remedies issues previously considered as drawbacks or refutations of the original TI. Specifically, once one takes into account relativistic processes that are not representable at the non-relativistic level (such as particle creation and annihilation, and vi…
▽ More
In view of a resurgence of concern about the measurement problem, it is pointed out that the Relativistic Transactional Interpretation (RTI) remedies issues previously considered as drawbacks or refutations of the original TI. Specifically, once one takes into account relativistic processes that are not representable at the non-relativistic level (such as particle creation and annihilation, and virtual propagation), absorption is quantitatively defined in unambiguous physical terms. In addition, specifics of the relativistic transactional model demonstrate that the Maudlin `contingent absorber' challenge to the original TI cannot even be mounted: basic features of established relativistic field theories (in particular, the asymmetry between field sources and the bosonic fields, and the fact that slow-moving bound states, such as atoms, are not offer waves) dictate that the `slow-moving offer wave' required for the challenge scenario cannot exist. It is concluded that issues previously considered obstacles for TI are no longer legitimately viewed as such, and that reconsideration of the transactional picture is warranted in connection with solving the measurement problem.
△ Less
Submitted 16 December, 2017; v1 submitted 27 September, 2017;
originally announced September 2017.
-
Taking Heisenberg's Potentia Seriously
Authors:
R. E. Kastner,
Stuart Kauffman,
Michael Epperson
Abstract:
It is argued that quantum theory is best understood as requiring an ontological duality of res extensa and res potentia, where the latter is understood per Heisenberg's original proposal, and the former is roughly equivalent to Descartes' 'extended substance.' However, this is not a dualism of mutually exclusive substances in the classical Cartesian sense, and therefore does not inherit the infamo…
▽ More
It is argued that quantum theory is best understood as requiring an ontological duality of res extensa and res potentia, where the latter is understood per Heisenberg's original proposal, and the former is roughly equivalent to Descartes' 'extended substance.' However, this is not a dualism of mutually exclusive substances in the classical Cartesian sense, and therefore does not inherit the infamous 'mind-body' problem. Rather, res potentia and res extensa are proposed as mutually implicative ontological extants that serve to explain the key conceptual challenges of quantum theory; in particular, nonlocality, entanglement, null measurements, and wave function collapse. It is shown that a natural account of these quantum perplexities emerges, along with a need to reassess our usual ontological commitments involving the nature of space and time.
△ Less
Submitted 21 March, 2018; v1 submitted 11 September, 2017;
originally announced September 2017.
-
Are Dark Energy and Dark Matter Different Aspects of the Same Physical Process?
Authors:
R. E. Kastner,
S. Kauffman
Abstract:
It is suggested that the apparently disparate cosmological phenomena attributed to so-called 'dark matter' and 'dark energy' arise from the same fundamental physical process: the emergence, from the quantum level, of spacetime itself. This creation of spacetime results in metric expansion around mass points in addition to the usual curvature due to stress-energy sources of the gravitational field.…
▽ More
It is suggested that the apparently disparate cosmological phenomena attributed to so-called 'dark matter' and 'dark energy' arise from the same fundamental physical process: the emergence, from the quantum level, of spacetime itself. This creation of spacetime results in metric expansion around mass points in addition to the usual curvature due to stress-energy sources of the gravitational field. A recent modification of Einstein's theory of general relativity by Chadwick, Hodgkinson, and McDonald incorporating spacetime expansion around mass points, which accounts well for the observed galactic rotation curves, is adduced in support of the proposal. Recent observational evidence corroborates a prediction of the model that the apparent amount of 'dark matter' increases with the age of the universe. In addition, the proposal leads to the same result for the small but nonvanishing cosmological constant, related to 'dark energy, as that of the causet model of Sorkin et al.
△ Less
Submitted 16 August, 2017; v1 submitted 9 August, 2017;
originally announced August 2017.
-
From Quantum to Classical Physics: The Role of Distinguishability
Authors:
R. E. Kastner
Abstract:
The transition from quantum to classical statistics is studied in light of Huggett's finding that the empirical data do not support the usual claim that the distinction between classical and quantum objects consists in the capacity of classical objects to carry permutable labels as opposed to quantum objects. Since permutation of the labels of classical objects counts as a distinct configuration,…
▽ More
The transition from quantum to classical statistics is studied in light of Huggett's finding that the empirical data do not support the usual claim that the distinction between classical and quantum objects consists in the capacity of classical objects to carry permutable labels as opposed to quantum objects. Since permutation of the labels of classical objects counts as a distinct configuration, this feature is usually taken as signifying that classical objects are not identical while quantum objects are. Huggett's finding threatens that characterization of the distinction between classical and quantum objects. The various statistical distributions are examined, and it is found that other distinctions, corresponding to separability and distinguishability, emerge in the classical limit. The role of the chemical potential (the rate of change of the Helmholtz free energy with particle number) is found to be of crucial significance in characterizing this emergence of classicality from the quantum distributions.
△ Less
Submitted 14 August, 2017; v1 submitted 27 July, 2017;
originally announced July 2017.
-
Rabi-Bloch Oscillations in Spatially Distributed Systems: Temporal Dynamics and Frequency Spectra
Authors:
Ilay Levie,
Rafael Kastner,
Gregory Slepyan
Abstract:
We considered one-dimensional chain of the two-level quantum systems coupled via tunneling. The chain is driven by the superposition of dc and ac fields in the strong coupling regime. Based on the fundamental principles of electrodynamics and quantum theory, we developed a generalized model of quantum dynamics for such interactions, free of rotating wave approximation (RWA). The system of motion e…
▽ More
We considered one-dimensional chain of the two-level quantum systems coupled via tunneling. The chain is driven by the superposition of dc and ac fields in the strong coupling regime. Based on the fundamental principles of electrodynamics and quantum theory, we developed a generalized model of quantum dynamics for such interactions, free of rotating wave approximation (RWA). The system of motion equations was studied numerically. We analyzed the dynamics and spectra of inversion density, dipole current density and tunneling current density. In the case of resonant interaction with ac-component the particle dynamics exhibits itself in the oscillatory regime, which may be interpreted as a combination of Rabi- and Bloch oscillations with their strong mutual influence. Such scenario for an obliquely incident ac field dramatically differs from the individual picture both types of oscillations due to an interactions. This novel effect is counterintuitive because of the strongly different frequency ranges for such two types of oscillations existence. This dynamics manifests itself in multi-line spectra at different combinations of Rabi- and Bloch frequencies. The effect is promising as a framework of new type of spectroscopy in nanoelectronics and electrical control of nano-devices.
△ Less
Submitted 4 June, 2017;
originally announced June 2017.
-
Demystifying weak measurements
Authors:
R. E. Kastner
Abstract:
A large literature has grown up around the proposed use of 'weak measurements' (i.e., unsharp measurements followed by post-selection) to allegedly provide information about hidden ontological features of quantum systems. This paper attempts to clarify the fact that 'weak measurements' involve strong (projective) measurements on one (pointer) member of an entangled system. The only thing 'weak' ab…
▽ More
A large literature has grown up around the proposed use of 'weak measurements' (i.e., unsharp measurements followed by post-selection) to allegedly provide information about hidden ontological features of quantum systems. This paper attempts to clarify the fact that 'weak measurements' involve strong (projective) measurements on one (pointer) member of an entangled system. The only thing 'weak' about such measurements is that the correlation established via the entanglement does not correspond to eigenstates of the 'weakly measured observable' for the remaining component system(s) subject to the weak measurement. All observed statistics are straightforwardly and easily predicted by standard quantum mechanics. Specifically, it is noted that measurement of the pointer steers the remaining degree(s) of freedom into new states with new statistical properties-constituting a non-trivial (even if generally small) disturbance. In addition, standard quantum mechanics readily allows us to conditionalize on a final state if we choose, so the 'post-selection' that features prominently in time-symmetric formulations is also equipment from standard quantum theory. Assertions in the literature that weak measurements leave a system negligibly disturbed, and/or that standard quantum theory is cumbersome for computing the predicted measurement results, are therefore unsupportable, and ontological claims based on such assertions need to be critically reassessed.
△ Less
Submitted 22 March, 2017; v1 submitted 13 February, 2017;
originally announced February 2017.
-
On Quantum Nonunitarity as a Basis for the Second Law of Thermodynamics
Authors:
R. E. Kastner
Abstract:
It was first suggested by David Z. Albert that the existence of a real, physical non-unitary process (i.e., "collapse") at the quantum level would yield a complete explanation for the Second Law of Thermodynamics (i.e., the increase in entropy over time). The contribution of such a process would be to provide a physical basis for the ontological indeterminacy needed to derive the irreversible Seco…
▽ More
It was first suggested by David Z. Albert that the existence of a real, physical non-unitary process (i.e., "collapse") at the quantum level would yield a complete explanation for the Second Law of Thermodynamics (i.e., the increase in entropy over time). The contribution of such a process would be to provide a physical basis for the ontological indeterminacy needed to derive the irreversible Second Law against a backdrop of otherwise reversible, deterministic physical laws. An alternative understanding of the source of this possible quantum "collapse" or non-unitarity is presented herein, in terms of the Transactional Interpretation (TI). The present model provides a specific physical justification for Boltzmann's often-criticized assumption of molecular randomness (Stosszahlansatz), thereby changing its status from an ad hoc postulate to a theoretically grounded result, without requiring any change to the basic quantum theory. In addition, it is argued that TI provides an elegant way of reconciling, via indeterministic collapse, the time-reversible Liouville evolution with the time-irreversible evolution inherent in so-called "master equations" that specify the changes in occupation of the various possible states in terms of the transition rates between them. The present model is contrasted with the Ghirardi-Rimini-Weber (GRW) "spontaneous collapse" theory previously suggested for this purpose by Albert.
△ Less
Submitted 21 July, 2018; v1 submitted 24 December, 2016;
originally announced December 2016.
-
The Relativistic Transactional Interpretation: Immune to the Maudlin Challenge
Authors:
R. E. Kastner
Abstract:
The Transactional Interpretation has been subject at various times to a challenge based on a type of thought experiment first proposed by Maudlin. It has been argued by several authors that such experiments do not in fact constitute a significant problem for the transactional picture. The purpose of this work is to point out that, when the relativistic level of the interpretation is considered, Ma…
▽ More
The Transactional Interpretation has been subject at various times to a challenge based on a type of thought experiment first proposed by Maudlin. It has been argued by several authors that such experiments do not in fact constitute a significant problem for the transactional picture. The purpose of this work is to point out that, when the relativistic level of the interpretation is considered, Maudlin-type challenges cannot even be mounted, since the putative 'slow-moving offer wave,' taken as subject to contingent confirmation, does not exist. This is a consequence of the Davies relativistic quantum-mechanical version of the direct-action theory together with the asymmetry between fermionic field sources and bosonic fields. The Maudlin challenge therefore evaporates completely when the relativistic level of the theory is taken into account.
△ Less
Submitted 29 January, 2019; v1 submitted 14 October, 2016;
originally announced October 2016.
-
The Transactional Interpretation and its Evolution into the 21st Century: An Overview
Authors:
R. E. Kastner
Abstract:
This essay provides a historical, philosophical, and critical overview of the development of the Transactional Interpretation of Quantum Mechanics (TI). It is separated into two parts. Part I presents the history and development of TI from 1986 up to 2016 (the time of writing). Part II lays out current areas of divergence among researchers in TI.
This essay provides a historical, philosophical, and critical overview of the development of the Transactional Interpretation of Quantum Mechanics (TI). It is separated into two parts. Part I presents the history and development of TI from 1986 up to 2016 (the time of writing). Part II lays out current areas of divergence among researchers in TI.
△ Less
Submitted 1 August, 2016;
originally announced August 2016.
-
Is There Really "Retrocausation" in Time-Symmetric Approaches to Quantum Mechanics?
Authors:
R. E. Kastner
Abstract:
Time-symmetric interpretations of quantum theory are often presented as featuring "retrocausal" effects in addition to the usual forward notion of causation. This paper examines the ontological implications of certain timesymmetric theories, and finds that no dynamical notion of causation applies to them, either forward or backward. It is concluded that such theories actually describe a static pic…
▽ More
Time-symmetric interpretations of quantum theory are often presented as featuring "retrocausal" effects in addition to the usual forward notion of causation. This paper examines the ontological implications of certain timesymmetric theories, and finds that no dynamical notion of causation applies to them, either forward or backward. It is concluded that such theories actually describe a static picture, in which the notion of causation is relegated to a descriptor of static relationships among events. In addition, these theories lead to an epistemic rather than ontologically referring, realist view of quantum states.
△ Less
Submitted 8 August, 2016; v1 submitted 12 July, 2016;
originally announced July 2016.
-
Violation of the Born Rule: Implications for the Classical Electromagnetic Field
Authors:
R. E. Kastner
Abstract:
It is shown that violation of the Born Rule leads to a breakdown of the correspondence between the quantum electromagnetic field and its classical counterpart. Specifically, the relationship of the quantum coherent state to the classical electromagnetic field turns out to imply that if the Born Rule were violated, this could result in apparent deviations from the energy conservation law applying t…
▽ More
It is shown that violation of the Born Rule leads to a breakdown of the correspondence between the quantum electromagnetic field and its classical counterpart. Specifically, the relationship of the quantum coherent state to the classical electromagnetic field turns out to imply that if the Born Rule were violated, this could result in apparent deviations from the energy conservation law applying to the field and its sources (Poynting's Theorem). The result suggests that the Born Rule is just as fundamental a law of Nature as are the conservation laws.
△ Less
Submitted 25 June, 2016; v1 submitted 16 March, 2016;
originally announced March 2016.
-
The Illusory Appeal of Decoherence in the Everettian Picture: Affirming the Consequent
Authors:
R. E. Kastner
Abstract:
The idea that decoherence in a unitary-only quantum theory suffices to explain emergence of classical phenomena has been shown in the peer-reviewed literature to be seriously flawed due to circularity. However, claims continue to be made that this approach, also known as "Quantum Darwinism," is the correct way to understand classical emergence. This Letter reviews the basic problem and points out…
▽ More
The idea that decoherence in a unitary-only quantum theory suffices to explain emergence of classical phenomena has been shown in the peer-reviewed literature to be seriously flawed due to circularity. However, claims continue to be made that this approach, also known as "Quantum Darwinism," is the correct way to understand classical emergence. This Letter reviews the basic problem and points out an additional logical flaw in the argument. It is concluded that the "Quantum Darwinism" program fails.
△ Less
Submitted 15 March, 2016;
originally announced March 2016.
-
Beyond Complementarity
Authors:
R. E. Kastner
Abstract:
It is argued that Niels Bohr ultimately arrived at positivistic and antirealist-flavored statements because of weaknesses in his initial objective of accounting for measurement in physical terms. Bohr's investigative approach faced a dilemma, the choices being (i) conceptual inconsistency or (ii) taking the classical realm as primitive. In either case, Bohr's `Complementarity' does not adequately…
▽ More
It is argued that Niels Bohr ultimately arrived at positivistic and antirealist-flavored statements because of weaknesses in his initial objective of accounting for measurement in physical terms. Bohr's investigative approach faced a dilemma, the choices being (i) conceptual inconsistency or (ii) taking the classical realm as primitive. In either case, Bohr's `Complementarity' does not adequately explain or account for the emergence of a macroscopic, classical domain from a microscopic domain described by quantum mechanics. A diagnosis of the basic problem is offered, and an alternative way forward is indicated.
△ Less
Submitted 6 March, 2016; v1 submitted 27 January, 2016;
originally announced January 2016.
-
Bound States as Emergent Quantum Structures
Authors:
R. E. Kastner
Abstract:
Bound states arise in many interactions among elementary field states, and are represented by poles in the scattering matrix. The emergent nature of bound states suggests that they play a perhaps under-appreciated role in specifying the ontologically relevant degrees of freedom pertaining to composite systems. The basics of this ontology are presented, and it is discussed in light of an example of…
▽ More
Bound states arise in many interactions among elementary field states, and are represented by poles in the scattering matrix. The emergent nature of bound states suggests that they play a perhaps under-appreciated role in specifying the ontologically relevant degrees of freedom pertaining to composite systems. The basics of this ontology are presented, and it is discussed in light of an example of Arsenijevi\' c et al.
△ Less
Submitted 26 January, 2016;
originally announced January 2016.